0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 319 #constraints 6
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.001857
0.00/0.00 c stratification level: 85
0.00/0.00 c bounds 710 >= 0 @ 0.002324
0.00/0.00 c stratification level: 83
0.00/0.01 c bounds 689 >= 0 @ 0.002849
0.00/0.01 c stratification level: 82
0.00/0.01 c bounds 670 >= 0 @ 0.003272
0.00/0.01 c stratification level: 81
0.00/0.01 c bounds 432 >= 0 @ 0.004331
0.00/0.01 c stratification level: 80
0.00/0.01 c bounds 431 >= 0 @ 0.00696
0.00/0.01 c stratification level: 78
0.00/0.01 c bounds 430 >= 0 @ 0.007914
0.00/0.01 c stratification level: 77
0.00/0.02 c bounds 429 >= 0 @ 0.008189
0.00/0.02 c stratification level: 76
0.00/0.02 c bounds 426 >= 0 @ 0.012655
0.00/0.02 c stratification level: 75
0.00/0.02 c bounds 423 >= 0 @ 0.014568
0.00/0.02 c stratification level: 73
0.00/0.02 c bounds 421 >= 0 @ 0.015124
0.00/0.02 c stratification level: 72
0.00/0.04 c bounds 367 >= 0 @ 0.02448
0.00/0.04 c stratification level: 70
0.00/0.04 c bounds 363 >= 0 @ 0.025084
0.00/0.04 c stratification level: 69
0.10/0.17 c bounds 362 >= 0 @ 0.144298
0.10/0.17 c stratification level: 68
0.10/0.17 c bounds 360 >= 0 @ 0.145312
0.10/0.17 c stratification level: 67
0.10/0.18 c bounds 359 >= 0 @ 0.151536
0.10/0.18 c stratification level: 66
0.21/0.29 c bounds 309 >= 0 @ 0.26205
0.21/0.29 c stratification level: 65
0.31/0.38 c #Conflicts: 1000 | #Constraints: 1021
0.31/0.38 c bounds 308 >= 0 @ 0.346621
0.31/0.38 c stratification level: 64
0.31/0.40 c bounds 307 >= 0 @ 0.36677
0.31/0.40 c stratification level: 63
23.93/24.06 c bounds 307 >= 63 @ 0.374221
23.93/24.06 c #Conflicts: 2000 | #Constraints: 2024
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 3000 | #Constraints: 2011
23.93/24.06 c #Conflicts: 4000 | #Constraints: 3011
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 5000 | #Constraints: 2421
23.93/24.06 c #Conflicts: 6000 | #Constraints: 3421
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 7000 | #Constraints: 2427
23.93/24.06 c #Conflicts: 8000 | #Constraints: 3427
23.93/24.06 c #Conflicts: 9000 | #Constraints: 4427
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 10000 | #Constraints: 3127
23.93/24.06 c #Conflicts: 11000 | #Constraints: 4127
23.93/24.06 c #Conflicts: 12000 | #Constraints: 5127
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 13000 | #Constraints: 3582
23.93/24.06 c #Conflicts: 14000 | #Constraints: 4582
23.93/24.06 c #Conflicts: 15000 | #Constraints: 5582
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 16000 | #Constraints: 3806
23.93/24.06 c #Conflicts: 17000 | #Constraints: 4806
23.93/24.06 c #Conflicts: 18000 | #Constraints: 5806
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 19000 | #Constraints: 3820
23.93/24.06 c #Conflicts: 20000 | #Constraints: 4820
23.93/24.06 c #Conflicts: 21000 | #Constraints: 5820
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 22000 | #Constraints: 3636
23.93/24.06 c #Conflicts: 23000 | #Constraints: 4636
23.93/24.06 c #Conflicts: 24000 | #Constraints: 5636
23.93/24.06 c #Conflicts: 25000 | #Constraints: 6636
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 26000 | #Constraints: 4235
23.93/24.06 c #Conflicts: 27000 | #Constraints: 5235
23.93/24.06 c #Conflicts: 28000 | #Constraints: 6235
23.93/24.06 c #Conflicts: 29000 | #Constraints: 7235
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 30000 | #Constraints: 4643
23.93/24.06 c #Conflicts: 31000 | #Constraints: 5643
23.93/24.06 c #Conflicts: 32000 | #Constraints: 6643
23.93/24.06 c #Conflicts: 33000 | #Constraints: 7643
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 34000 | #Constraints: 4843
23.93/24.06 c #Conflicts: 35000 | #Constraints: 5843
23.93/24.06 c #Conflicts: 36000 | #Constraints: 6843
23.93/24.06 c #Conflicts: 37000 | #Constraints: 7843
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 38000 | #Constraints: 4833
23.93/24.06 c #Conflicts: 39000 | #Constraints: 5833
23.93/24.06 c #Conflicts: 40000 | #Constraints: 6833
23.93/24.06 c #Conflicts: 41000 | #Constraints: 7833
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 42000 | #Constraints: 4632
23.93/24.06 c #Conflicts: 43000 | #Constraints: 5632
23.93/24.06 c #Conflicts: 44000 | #Constraints: 6632
23.93/24.06 c #Conflicts: 45000 | #Constraints: 7632
23.93/24.06 c #Conflicts: 46000 | #Constraints: 8632
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 47000 | #Constraints: 5227
23.93/24.06 c #Conflicts: 48000 | #Constraints: 6227
23.93/24.06 c #Conflicts: 49000 | #Constraints: 7227
23.93/24.06 c #Conflicts: 50000 | #Constraints: 8227
23.93/24.06 c #Conflicts: 51000 | #Constraints: 9227
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 52000 | #Constraints: 5626
23.93/24.06 c #Conflicts: 53000 | #Constraints: 6626
23.93/24.06 c #Conflicts: 54000 | #Constraints: 7626
23.93/24.06 c #Conflicts: 55000 | #Constraints: 8626
23.93/24.06 c #Conflicts: 56000 | #Constraints: 9626
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 57000 | #Constraints: 5844
23.93/24.06 c #Conflicts: 58000 | #Constraints: 6844
23.93/24.06 c #Conflicts: 59000 | #Constraints: 7844
23.93/24.06 c #Conflicts: 60000 | #Constraints: 8844
23.93/24.06 c #Conflicts: 61000 | #Constraints: 9844
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 62000 | #Constraints: 5839
23.93/24.06 c #Conflicts: 63000 | #Constraints: 6839
23.93/24.06 c #Conflicts: 64000 | #Constraints: 7839
23.93/24.06 c #Conflicts: 65000 | #Constraints: 8839
23.93/24.06 c #Conflicts: 66000 | #Constraints: 9839
23.93/24.06 c INPROCESSING
23.93/24.06 c GARBAGE COLLECT
23.93/24.06 c #Conflicts: 67000 | #Constraints: 5637
23.93/24.06 c #Conflicts: 68000 | #Constraints: 6637
56.43/56.60 c #Conflicts: 69000 | #Constraints: 7637
56.43/56.60 c #Conflicts: 70000 | #Constraints: 8637
56.43/56.60 c #Conflicts: 71000 | #Constraints: 9637
56.43/56.60 c #Conflicts: 72000 | #Constraints: 10637
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 73000 | #Constraints: 6240
56.43/56.60 c #Conflicts: 74000 | #Constraints: 7240
56.43/56.60 c #Conflicts: 75000 | #Constraints: 8240
56.43/56.60 c #Conflicts: 76000 | #Constraints: 9240
56.43/56.60 c #Conflicts: 77000 | #Constraints: 10240
56.43/56.60 c #Conflicts: 78000 | #Constraints: 11240
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 79000 | #Constraints: 6648
56.43/56.60 c #Conflicts: 80000 | #Constraints: 7648
56.43/56.60 c #Conflicts: 81000 | #Constraints: 8648
56.43/56.60 c #Conflicts: 82000 | #Constraints: 9648
56.43/56.60 c #Conflicts: 83000 | #Constraints: 10648
56.43/56.60 c #Conflicts: 84000 | #Constraints: 11648
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 85000 | #Constraints: 6841
56.43/56.60 c #Conflicts: 86000 | #Constraints: 7841
56.43/56.60 c #Conflicts: 87000 | #Constraints: 8841
56.43/56.60 c #Conflicts: 88000 | #Constraints: 9841
56.43/56.60 c #Conflicts: 89000 | #Constraints: 10841
56.43/56.60 c #Conflicts: 90000 | #Constraints: 11841
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 91000 | #Constraints: 6834
56.43/56.60 c #Conflicts: 92000 | #Constraints: 7834
56.43/56.60 c #Conflicts: 93000 | #Constraints: 8834
56.43/56.60 c #Conflicts: 94000 | #Constraints: 9834
56.43/56.60 c #Conflicts: 95000 | #Constraints: 10834
56.43/56.60 c #Conflicts: 96000 | #Constraints: 11834
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 97000 | #Constraints: 6629
56.43/56.60 c #Conflicts: 98000 | #Constraints: 7629
56.43/56.60 c #Conflicts: 99000 | #Constraints: 8629
56.43/56.60 c #Conflicts: 100000 | #Constraints: 9629
56.43/56.60 c #Conflicts: 101000 | #Constraints: 10629
56.43/56.60 c #Conflicts: 102000 | #Constraints: 11629
56.43/56.60 c #Conflicts: 103000 | #Constraints: 12629
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 104000 | #Constraints: 7254
56.43/56.60 c #Conflicts: 105000 | #Constraints: 8254
56.43/56.60 c #Conflicts: 106000 | #Constraints: 9254
56.43/56.60 c #Conflicts: 107000 | #Constraints: 10254
56.43/56.60 c #Conflicts: 108000 | #Constraints: 11254
56.43/56.60 c #Conflicts: 109000 | #Constraints: 12254
56.43/56.60 c #Conflicts: 110000 | #Constraints: 13254
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 111000 | #Constraints: 7654
56.43/56.60 c #Conflicts: 112000 | #Constraints: 8654
56.43/56.60 c #Conflicts: 113000 | #Constraints: 9654
56.43/56.60 c #Conflicts: 114000 | #Constraints: 10654
56.43/56.60 c #Conflicts: 115000 | #Constraints: 11654
56.43/56.60 c #Conflicts: 116000 | #Constraints: 12654
56.43/56.60 c #Conflicts: 117000 | #Constraints: 13654
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 118000 | #Constraints: 7851
56.43/56.60 c #Conflicts: 119000 | #Constraints: 8851
56.43/56.60 c #Conflicts: 120000 | #Constraints: 9851
56.43/56.60 c #Conflicts: 121000 | #Constraints: 10851
56.43/56.60 c #Conflicts: 122000 | #Constraints: 11851
56.43/56.60 c #Conflicts: 123000 | #Constraints: 12851
56.43/56.60 c #Conflicts: 124000 | #Constraints: 13851
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 125000 | #Constraints: 7870
56.43/56.60 c #Conflicts: 126000 | #Constraints: 8870
56.43/56.60 c #Conflicts: 127000 | #Constraints: 9870
56.43/56.60 c #Conflicts: 128000 | #Constraints: 10870
56.43/56.60 c #Conflicts: 129000 | #Constraints: 11870
56.43/56.60 c #Conflicts: 130000 | #Constraints: 12870
56.43/56.60 c #Conflicts: 131000 | #Constraints: 13870
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 132000 | #Constraints: 7676
56.43/56.60 c #Conflicts: 133000 | #Constraints: 8676
56.43/56.60 c #Conflicts: 134000 | #Constraints: 9676
56.43/56.60 c #Conflicts: 135000 | #Constraints: 10676
56.43/56.60 c #Conflicts: 136000 | #Constraints: 11676
56.43/56.60 c #Conflicts: 137000 | #Constraints: 12676
56.43/56.60 c #Conflicts: 138000 | #Constraints: 13676
56.43/56.60 c #Conflicts: 139000 | #Constraints: 14676
56.43/56.60 c INPROCESSING
56.43/56.60 c GARBAGE COLLECT
56.43/56.60 c #Conflicts: 140000 | #Constraints: 8264
140.76/141.29 c #Conflicts: 141000 | #Constraints: 9264
140.76/141.29 c #Conflicts: 142000 | #Constraints: 10264
140.76/141.29 c #Conflicts: 143000 | #Constraints: 11264
140.76/141.29 c #Conflicts: 144000 | #Constraints: 12264
140.76/141.29 c #Conflicts: 145000 | #Constraints: 13264
140.76/141.29 c #Conflicts: 146000 | #Constraints: 14264
140.76/141.29 c #Conflicts: 147000 | #Constraints: 15264
140.76/141.29 c INPROCESSING
140.76/141.29 c GARBAGE COLLECT
140.76/141.29 c #Conflicts: 148000 | #Constraints: 8644
140.76/141.29 c #Conflicts: 149000 | #Constraints: 9644
140.76/141.29 c #Conflicts: 150000 | #Constraints: 10644
140.76/141.29 c #Conflicts: 151000 | #Constraints: 11644
140.76/141.29 c #Conflicts: 152000 | #Constraints: 12644
140.76/141.29 c #Conflicts: 153000 | #Constraints: 13644
140.76/141.29 c #Conflicts: 154000 | #Constraints: 14644
140.76/141.29 c #Conflicts: 155000 | #Constraints: 15644
140.76/141.29 c INPROCESSING
140.76/141.29 c GARBAGE COLLECT
140.76/141.29 c #Conflicts: 156000 | #Constraints: 8844
140.76/141.29 c #Conflicts: 157000 | #Constraints: 9844
140.76/141.29 c #Conflicts: 158000 | #Constraints: 10844
140.76/141.29 c #Conflicts: 159000 | #Constraints: 11844
140.76/141.29 c #Conflicts: 160000 | #Constraints: 12844
140.76/141.29 c #Conflicts: 161000 | #Constraints: 13844
140.76/141.29 c #Conflicts: 162000 | #Constraints: 14844
140.76/141.29 c #Conflicts: 163000 | #Constraints: 15844
140.76/141.29 c INPROCESSING
140.76/141.29 c GARBAGE COLLECT
140.76/141.29 c #Conflicts: 164000 | #Constraints: 8836
140.76/141.29 c #Conflicts: 165000 | #Constraints: 9836
140.76/141.29 c #Conflicts: 166000 | #Constraints: 10836
140.76/141.29 c #Conflicts: 167000 | #Constraints: 11836
140.76/141.29 c #Conflicts: 168000 | #Constraints: 12836
140.76/141.29 c #Conflicts: 169000 | #Constraints: 13836
140.76/141.29 c #Conflicts: 170000 | #Constraints: 14836
140.76/141.29 c #Conflicts: 171000 | #Constraints: 15836
140.76/141.29 c #Conflicts: 172000 | #Constraints: 16836
140.76/141.29 c #Conflicts: 173000 | #Constraints: 17836
140.76/141.29 c #Conflicts: 174000 | #Constraints: 18836
140.76/141.29 c #Conflicts: 175000 | #Constraints: 19836
140.76/141.29 c #Conflicts: 176000 | #Constraints: 20836
140.76/141.29 c #Conflicts: 177000 | #Constraints: 21836
140.76/141.29 c #Conflicts: 178000 | #Constraints: 22836
140.76/141.29 c #Conflicts: 179000 | #Constraints: 23836
140.76/141.29 c #Conflicts: 180000 | #Constraints: 24836
140.76/141.29 c #Conflicts: 181000 | #Constraints: 25836
140.76/141.29 c #Conflicts: 182000 | #Constraints: 26836
140.76/141.29 c #Conflicts: 183000 | #Constraints: 27836
140.76/141.29 c #Conflicts: 184000 | #Constraints: 28836
140.76/141.29 c #Conflicts: 185000 | #Constraints: 29836
140.76/141.29 c #Conflicts: 186000 | #Constraints: 30836
140.76/141.29 c #Conflicts: 187000 | #Constraints: 31836
140.76/141.29 c #Conflicts: 188000 | #Constraints: 32836
140.76/141.29 c #Conflicts: 189000 | #Constraints: 33836
140.76/141.29 c #Conflicts: 190000 | #Constraints: 34836
140.76/141.29 c #Conflicts: 191000 | #Constraints: 35836
140.76/141.29 c #Conflicts: 192000 | #Constraints: 36836
140.76/141.29 c #Conflicts: 193000 | #Constraints: 37836
140.76/141.29 c #Conflicts: 194000 | #Constraints: 38836
140.76/141.29 c #Conflicts: 195000 | #Constraints: 39836
140.76/141.29 c #Conflicts: 196000 | #Constraints: 40836
140.76/141.29 c #Conflicts: 197000 | #Constraints: 41836
140.76/141.29 c #Conflicts: 198000 | #Constraints: 42836
140.76/141.29 c #Conflicts: 199000 | #Constraints: 43836
140.76/141.29 c #Conflicts: 200000 | #Constraints: 44836
140.76/141.29 c #Conflicts: 201000 | #Constraints: 45836
140.76/141.29 c INPROCESSING
140.76/141.29 c GARBAGE COLLECT
140.76/141.29 c #Conflicts: 202000 | #Constraints: 23785
140.76/141.29 c #Conflicts: 203000 | #Constraints: 24785
140.76/141.29 c #Conflicts: 204000 | #Constraints: 25785
140.76/141.29 c #Conflicts: 205000 | #Constraints: 26785
140.76/141.29 c #Conflicts: 206000 | #Constraints: 27785
140.76/141.29 c #Conflicts: 207000 | #Constraints: 28785
140.76/141.29 c #Conflicts: 208000 | #Constraints: 29785
140.76/141.29 c #Conflicts: 209000 | #Constraints: 30785
140.76/141.29 c #Conflicts: 210000 | #Constraints: 31785
140.76/141.29 c INPROCESSING
140.76/141.29 c GARBAGE COLLECT
140.76/141.29 c #Conflicts: 211000 | #Constraints: 16541
140.76/141.29 c #Conflicts: 212000 | #Constraints: 17541
140.76/141.29 c #Conflicts: 213000 | #Constraints: 18541
140.76/141.29 c #Conflicts: 214000 | #Constraints: 19541
140.76/141.29 c #Conflicts: 215000 | #Constraints: 20541
140.76/141.29 c #Conflicts: 216000 | #Constraints: 21541
248.39/249.13 c #Conflicts: 217000 | #Constraints: 22541
248.39/249.13 c #Conflicts: 218000 | #Constraints: 23541
248.39/249.13 c #Conflicts: 219000 | #Constraints: 24541
248.39/249.13 c #Conflicts: 220000 | #Constraints: 25541
248.39/249.13 c INPROCESSING
248.39/249.13 c GARBAGE COLLECT
248.39/249.13 c #Conflicts: 221000 | #Constraints: 13533
248.39/249.13 c #Conflicts: 222000 | #Constraints: 14533
248.39/249.13 c #Conflicts: 223000 | #Constraints: 15533
248.39/249.13 c #Conflicts: 224000 | #Constraints: 16533
248.39/249.13 c #Conflicts: 225000 | #Constraints: 17533
248.39/249.13 c #Conflicts: 226000 | #Constraints: 18533
248.39/249.13 c #Conflicts: 227000 | #Constraints: 19533
248.39/249.13 c #Conflicts: 228000 | #Constraints: 20533
248.39/249.13 c #Conflicts: 229000 | #Constraints: 21533
248.39/249.13 c #Conflicts: 230000 | #Constraints: 22533
248.39/249.13 c INPROCESSING
248.39/249.13 c GARBAGE COLLECT
248.39/249.13 c #Conflicts: 231000 | #Constraints: 12083
248.39/249.13 c #Conflicts: 232000 | #Constraints: 13083
248.39/249.13 c #Conflicts: 233000 | #Constraints: 14083
248.39/249.13 c #Conflicts: 234000 | #Constraints: 15083
248.39/249.13 c #Conflicts: 235000 | #Constraints: 16083
248.39/249.13 c #Conflicts: 236000 | #Constraints: 17083
248.39/249.13 c #Conflicts: 237000 | #Constraints: 18083
248.39/249.13 c #Conflicts: 238000 | #Constraints: 19083
248.39/249.13 c #Conflicts: 239000 | #Constraints: 20083
248.39/249.13 c #Conflicts: 240000 | #Constraints: 21083
248.39/249.13 c #Conflicts: 241000 | #Constraints: 22083
248.39/249.13 c #Conflicts: 242000 | #Constraints: 23083
248.39/249.13 c #Conflicts: 243000 | #Constraints: 24083
248.39/249.13 c #Conflicts: 244000 | #Constraints: 25083
248.39/249.13 c #Conflicts: 245000 | #Constraints: 26083
248.39/249.13 c #Conflicts: 246000 | #Constraints: 27083
248.39/249.13 c #Conflicts: 247000 | #Constraints: 28083
248.39/249.13 c #Conflicts: 248000 | #Constraints: 29083
248.39/249.13 c #Conflicts: 249000 | #Constraints: 30083
248.39/249.13 c #Conflicts: 250000 | #Constraints: 31083
248.39/249.13 c #Conflicts: 251000 | #Constraints: 32083
248.39/249.13 c #Conflicts: 252000 | #Constraints: 33083
248.39/249.13 c #Conflicts: 253000 | #Constraints: 34083
248.39/249.13 c #Conflicts: 254000 | #Constraints: 35083
248.39/249.13 c #Conflicts: 255000 | #Constraints: 36083
248.39/249.13 c #Conflicts: 256000 | #Constraints: 37083
248.39/249.13 c #Conflicts: 257000 | #Constraints: 38083
248.39/249.13 c #Conflicts: 258000 | #Constraints: 39083
248.39/249.13 c #Conflicts: 259000 | #Constraints: 40083
248.39/249.13 c #Conflicts: 260000 | #Constraints: 41083
248.39/249.13 c #Conflicts: 261000 | #Constraints: 42083
248.39/249.13 c #Conflicts: 262000 | #Constraints: 43083
248.39/249.13 c #Conflicts: 263000 | #Constraints: 44083
248.39/249.13 c #Conflicts: 264000 | #Constraints: 45083
248.39/249.13 c #Conflicts: 265000 | #Constraints: 46083
248.39/249.13 c #Conflicts: 266000 | #Constraints: 47083
248.39/249.13 c #Conflicts: 267000 | #Constraints: 48083
248.39/249.13 c #Conflicts: 268000 | #Constraints: 49083
248.39/249.13 c #Conflicts: 269000 | #Constraints: 50083
248.39/249.13 c #Conflicts: 270000 | #Constraints: 51083
248.39/249.13 c #Conflicts: 271000 | #Constraints: 52083
248.39/249.13 c #Conflicts: 272000 | #Constraints: 53083
248.39/249.13 c #Conflicts: 273000 | #Constraints: 54083
248.39/249.13 c INPROCESSING
248.39/249.13 c GARBAGE COLLECT
248.39/249.13 c #Conflicts: 274000 | #Constraints: 27658
248.39/249.13 c #Conflicts: 275000 | #Constraints: 28658
248.39/249.13 c #Conflicts: 276000 | #Constraints: 29658
248.39/249.13 c #Conflicts: 277000 | #Constraints: 30658
248.39/249.13 c #Conflicts: 278000 | #Constraints: 31658
248.39/249.13 c #Conflicts: 279000 | #Constraints: 32658
248.39/249.13 c #Conflicts: 280000 | #Constraints: 33658
248.39/249.13 c #Conflicts: 281000 | #Constraints: 34658
248.39/249.13 c #Conflicts: 282000 | #Constraints: 35658
248.39/249.13 c #Conflicts: 283000 | #Constraints: 36658
248.39/249.13 c #Conflicts: 284000 | #Constraints: 37658
248.39/249.13 c #Conflicts: 285000 | #Constraints: 38658
248.39/249.13 c INPROCESSING
248.39/249.13 c GARBAGE COLLECT
248.39/249.13 c #Conflicts: 286000 | #Constraints: 20345
248.39/249.13 c #Conflicts: 287000 | #Constraints: 21345
248.39/249.13 c #Conflicts: 288000 | #Constraints: 22345
248.39/249.13 c #Conflicts: 289000 | #Constraints: 23345
248.39/249.13 c #Conflicts: 290000 | #Constraints: 24345
248.39/249.13 c #Conflicts: 291000 | #Constraints: 25345
248.39/249.13 c #Conflicts: 292000 | #Constraints: 26345
398.86/400.06 c #Conflicts: 293000 | #Constraints: 27345
398.86/400.06 c #Conflicts: 294000 | #Constraints: 28345
398.86/400.06 c #Conflicts: 295000 | #Constraints: 29345
398.86/400.06 c #Conflicts: 296000 | #Constraints: 30345
398.86/400.06 c INPROCESSING
398.86/400.06 c GARBAGE COLLECT
398.86/400.06 c #Conflicts: 297000 | #Constraints: 15088
398.86/400.06 c #Conflicts: 298000 | #Constraints: 16088
398.86/400.06 c #Conflicts: 299000 | #Constraints: 17088
398.86/400.06 c #Conflicts: 300000 | #Constraints: 18088
398.86/400.06 c #Conflicts: 301000 | #Constraints: 19088
398.86/400.06 c #Conflicts: 302000 | #Constraints: 20088
398.86/400.06 c #Conflicts: 303000 | #Constraints: 21088
398.86/400.06 c #Conflicts: 304000 | #Constraints: 22088
398.86/400.06 c #Conflicts: 305000 | #Constraints: 23088
398.86/400.06 c #Conflicts: 306000 | #Constraints: 24088
398.86/400.06 c #Conflicts: 307000 | #Constraints: 25088
398.86/400.06 c #Conflicts: 308000 | #Constraints: 26088
398.86/400.06 c #Conflicts: 309000 | #Constraints: 27088
398.86/400.06 c #Conflicts: 310000 | #Constraints: 28088
398.86/400.06 c #Conflicts: 311000 | #Constraints: 29088
398.86/400.06 c #Conflicts: 312000 | #Constraints: 30088
398.86/400.06 c #Conflicts: 313000 | #Constraints: 31088
398.86/400.06 c #Conflicts: 314000 | #Constraints: 32088
398.86/400.06 c #Conflicts: 315000 | #Constraints: 33088
398.86/400.06 c #Conflicts: 316000 | #Constraints: 34088
398.86/400.06 c #Conflicts: 317000 | #Constraints: 35088
398.86/400.06 c #Conflicts: 318000 | #Constraints: 36088
398.86/400.06 c #Conflicts: 319000 | #Constraints: 37088
398.86/400.06 c #Conflicts: 320000 | #Constraints: 38088
398.86/400.06 c #Conflicts: 321000 | #Constraints: 39088
398.86/400.06 c #Conflicts: 322000 | #Constraints: 40088
398.86/400.06 c #Conflicts: 323000 | #Constraints: 41088
398.86/400.06 c #Conflicts: 324000 | #Constraints: 42088
398.86/400.06 c #Conflicts: 325000 | #Constraints: 43088
398.86/400.06 c #Conflicts: 326000 | #Constraints: 44088
398.86/400.06 c #Conflicts: 327000 | #Constraints: 45088
398.86/400.06 c #Conflicts: 328000 | #Constraints: 46088
398.86/400.06 c #Conflicts: 329000 | #Constraints: 47088
398.86/400.06 c #Conflicts: 330000 | #Constraints: 48088
398.86/400.06 c #Conflicts: 331000 | #Constraints: 49088
398.86/400.06 c #Conflicts: 332000 | #Constraints: 50088
398.86/400.06 c #Conflicts: 333000 | #Constraints: 51088
398.86/400.06 c #Conflicts: 334000 | #Constraints: 52088
398.86/400.06 c #Conflicts: 335000 | #Constraints: 53088
398.86/400.06 c #Conflicts: 336000 | #Constraints: 54088
398.86/400.06 c #Conflicts: 337000 | #Constraints: 55088
398.86/400.06 c #Conflicts: 338000 | #Constraints: 56088
398.86/400.06 c #Conflicts: 339000 | #Constraints: 57088
398.86/400.06 c #Conflicts: 340000 | #Constraints: 58088
398.86/400.06 c #Conflicts: 341000 | #Constraints: 59088
398.86/400.06 c #Conflicts: 342000 | #Constraints: 60088
398.86/400.06 c #Conflicts: 343000 | #Constraints: 61088
398.86/400.06 c #Conflicts: 344000 | #Constraints: 62088
398.86/400.06 c INPROCESSING
398.86/400.06 c GARBAGE COLLECT
398.86/400.06 c #Conflicts: 345000 | #Constraints: 32055
398.86/400.06 c #Conflicts: 346000 | #Constraints: 33055
398.86/400.06 c #Conflicts: 347000 | #Constraints: 34055
398.86/400.06 c #Conflicts: 348000 | #Constraints: 35055
398.86/400.06 c #Conflicts: 349000 | #Constraints: 36055
398.86/400.06 c #Conflicts: 350000 | #Constraints: 37055
398.86/400.06 c #Conflicts: 351000 | #Constraints: 38055
398.86/400.06 c #Conflicts: 352000 | #Constraints: 39055
398.86/400.06 c #Conflicts: 353000 | #Constraints: 40055
398.86/400.06 c #Conflicts: 354000 | #Constraints: 41055
398.86/400.06 c #Conflicts: 355000 | #Constraints: 42055
398.86/400.06 c #Conflicts: 356000 | #Constraints: 43055
398.86/400.06 c INPROCESSING
398.86/400.06 c GARBAGE COLLECT
398.86/400.06 c #Conflicts: 357000 | #Constraints: 22192
398.86/400.06 c #Conflicts: 358000 | #Constraints: 23192
398.86/400.06 c #Conflicts: 359000 | #Constraints: 24192
398.86/400.06 c #Conflicts: 360000 | #Constraints: 25192
398.86/400.06 c #Conflicts: 361000 | #Constraints: 26192
398.86/400.06 c #Conflicts: 362000 | #Constraints: 27192
398.86/400.06 c #Conflicts: 363000 | #Constraints: 28192
398.86/400.06 c #Conflicts: 364000 | #Constraints: 29192
398.86/400.06 c #Conflicts: 365000 | #Constraints: 30192
398.86/400.06 c #Conflicts: 366000 | #Constraints: 31192
398.86/400.06 c #Conflicts: 367000 | #Constraints: 32192
398.86/400.06 c #Conflicts: 368000 | #Constraints: 33192
398.86/400.06 c #Conflicts: 369000 | #Constraints: 34192
523.30/524.87 c INPROCESSING
523.30/524.87 c GARBAGE COLLECT
523.30/524.87 c #Conflicts: 370000 | #Constraints: 17814
523.30/524.87 c #Conflicts: 371000 | #Constraints: 18814
523.30/524.87 c #Conflicts: 372000 | #Constraints: 19814
523.30/524.87 c #Conflicts: 373000 | #Constraints: 20814
523.30/524.87 c #Conflicts: 374000 | #Constraints: 21814
523.30/524.87 c #Conflicts: 375000 | #Constraints: 22814
523.30/524.87 c #Conflicts: 376000 | #Constraints: 23814
523.30/524.87 c #Conflicts: 377000 | #Constraints: 24814
523.30/524.87 c #Conflicts: 378000 | #Constraints: 25814
523.30/524.87 c #Conflicts: 379000 | #Constraints: 26814
523.30/524.87 c #Conflicts: 380000 | #Constraints: 27814
523.30/524.87 c #Conflicts: 381000 | #Constraints: 28814
523.30/524.87 c #Conflicts: 382000 | #Constraints: 29814
523.30/524.87 c #Conflicts: 383000 | #Constraints: 30814
523.30/524.87 c #Conflicts: 384000 | #Constraints: 31814
523.30/524.87 c #Conflicts: 385000 | #Constraints: 32814
523.30/524.87 c #Conflicts: 386000 | #Constraints: 33814
523.30/524.87 c #Conflicts: 387000 | #Constraints: 34814
523.30/524.87 c #Conflicts: 388000 | #Constraints: 35814
523.30/524.87 c #Conflicts: 389000 | #Constraints: 36814
523.30/524.87 c #Conflicts: 390000 | #Constraints: 37814
523.30/524.87 c #Conflicts: 391000 | #Constraints: 38814
523.30/524.87 c #Conflicts: 392000 | #Constraints: 39814
523.30/524.87 c #Conflicts: 393000 | #Constraints: 40814
523.30/524.87 c #Conflicts: 394000 | #Constraints: 41814
523.30/524.87 c #Conflicts: 395000 | #Constraints: 42814
523.30/524.87 c #Conflicts: 396000 | #Constraints: 43814
523.30/524.87 c #Conflicts: 397000 | #Constraints: 44814
523.30/524.87 c #Conflicts: 398000 | #Constraints: 45814
523.30/524.87 c #Conflicts: 399000 | #Constraints: 46814
523.30/524.87 c #Conflicts: 400000 | #Constraints: 47814
523.30/524.87 c #Conflicts: 401000 | #Constraints: 48814
523.30/524.87 c #Conflicts: 402000 | #Constraints: 49814
523.30/524.87 c #Conflicts: 403000 | #Constraints: 50814
523.30/524.87 c #Conflicts: 404000 | #Constraints: 51814
523.30/524.87 c #Conflicts: 405000 | #Constraints: 52814
523.30/524.87 c #Conflicts: 406000 | #Constraints: 53814
523.30/524.87 c #Conflicts: 407000 | #Constraints: 54814
523.30/524.87 c #Conflicts: 408000 | #Constraints: 55814
523.30/524.87 c #Conflicts: 409000 | #Constraints: 56814
523.30/524.87 c #Conflicts: 410000 | #Constraints: 57814
523.30/524.87 c #Conflicts: 411000 | #Constraints: 58814
523.30/524.87 c #Conflicts: 412000 | #Constraints: 59814
523.30/524.87 c #Conflicts: 413000 | #Constraints: 60814
523.30/524.87 c #Conflicts: 414000 | #Constraints: 61814
523.30/524.87 c #Conflicts: 415000 | #Constraints: 62814
523.30/524.87 c #Conflicts: 416000 | #Constraints: 63814
523.30/524.87 c #Conflicts: 417000 | #Constraints: 64814
523.30/524.87 c #Conflicts: 418000 | #Constraints: 65814
523.30/524.87 c #Conflicts: 419000 | #Constraints: 66814
523.30/524.87 c #Conflicts: 420000 | #Constraints: 67814
523.30/524.87 c #Conflicts: 421000 | #Constraints: 68814
523.30/524.87 c INPROCESSING
523.30/524.87 c GARBAGE COLLECT
523.30/524.87 c #Conflicts: 422000 | #Constraints: 35224
523.30/524.87 c #Conflicts: 423000 | #Constraints: 36224
523.30/524.87 c #Conflicts: 424000 | #Constraints: 37224
523.30/524.87 c #Conflicts: 425000 | #Constraints: 38224
523.30/524.87 c #Conflicts: 426000 | #Constraints: 39224
523.30/524.87 c #Conflicts: 427000 | #Constraints: 40224
523.30/524.87 c #Conflicts: 428000 | #Constraints: 41224
523.30/524.87 c #Conflicts: 429000 | #Constraints: 42224
523.30/524.87 c #Conflicts: 430000 | #Constraints: 43224
523.30/524.87 c #Conflicts: 431000 | #Constraints: 44224
523.30/524.87 c #Conflicts: 432000 | #Constraints: 45224
523.30/524.87 c #Conflicts: 433000 | #Constraints: 46224
523.30/524.87 c #Conflicts: 434000 | #Constraints: 47224
523.30/524.87 c #Conflicts: 435000 | #Constraints: 48224
523.30/524.87 c INPROCESSING
523.30/524.87 c GARBAGE COLLECT
523.30/524.87 c #Conflicts: 436000 | #Constraints: 24822
523.30/524.87 c #Conflicts: 437000 | #Constraints: 25822
523.30/524.87 c #Conflicts: 438000 | #Constraints: 26822
523.30/524.87 c #Conflicts: 439000 | #Constraints: 27822
523.30/524.87 c #Conflicts: 440000 | #Constraints: 28822
523.30/524.87 c #Conflicts: 441000 | #Constraints: 29822
523.30/524.87 c #Conflicts: 442000 | #Constraints: 30822
523.30/524.87 c #Conflicts: 443000 | #Constraints: 31822
523.30/524.87 c #Conflicts: 444000 | #Constraints: 32822
523.30/524.87 c #Conflicts: 445000 | #Constraints: 33822
523.30/524.87 c #Conflicts: 446000 | #Constraints: 34822
636.19/638.01 c #Conflicts: 447000 | #Constraints: 35822
636.19/638.01 c #Conflicts: 448000 | #Constraints: 36822
636.19/638.01 c #Conflicts: 449000 | #Constraints: 37822
636.19/638.01 c #Conflicts: 450000 | #Constraints: 38822
636.19/638.01 c INPROCESSING
636.19/638.01 c GARBAGE COLLECT
636.19/638.01 c #Conflicts: 451000 | #Constraints: 20433
636.19/638.01 c #Conflicts: 452000 | #Constraints: 21433
636.19/638.01 c #Conflicts: 453000 | #Constraints: 22433
636.19/638.01 c #Conflicts: 454000 | #Constraints: 23433
636.19/638.01 c #Conflicts: 455000 | #Constraints: 24433
636.19/638.01 c #Conflicts: 456000 | #Constraints: 25433
636.19/638.01 c #Conflicts: 457000 | #Constraints: 26433
636.19/638.01 c #Conflicts: 458000 | #Constraints: 27433
636.19/638.01 c #Conflicts: 459000 | #Constraints: 28433
636.19/638.01 c #Conflicts: 460000 | #Constraints: 29433
636.19/638.01 c #Conflicts: 461000 | #Constraints: 30433
636.19/638.01 c #Conflicts: 462000 | #Constraints: 31433
636.19/638.01 c #Conflicts: 463000 | #Constraints: 32433
636.19/638.01 c #Conflicts: 464000 | #Constraints: 33433
636.19/638.01 c #Conflicts: 465000 | #Constraints: 34433
636.19/638.01 c #Conflicts: 466000 | #Constraints: 35433
636.19/638.01 c #Conflicts: 467000 | #Constraints: 36433
636.19/638.01 c #Conflicts: 468000 | #Constraints: 37433
636.19/638.01 c #Conflicts: 469000 | #Constraints: 38433
636.19/638.01 c #Conflicts: 470000 | #Constraints: 39433
636.19/638.01 c #Conflicts: 471000 | #Constraints: 40433
636.19/638.01 c #Conflicts: 472000 | #Constraints: 41433
636.19/638.01 c #Conflicts: 473000 | #Constraints: 42433
636.19/638.01 c #Conflicts: 474000 | #Constraints: 43433
636.19/638.01 c #Conflicts: 475000 | #Constraints: 44433
636.19/638.01 c #Conflicts: 476000 | #Constraints: 45433
636.19/638.01 c #Conflicts: 477000 | #Constraints: 46433
636.19/638.01 c #Conflicts: 478000 | #Constraints: 47433
636.19/638.01 c #Conflicts: 479000 | #Constraints: 48433
636.19/638.01 c #Conflicts: 480000 | #Constraints: 49433
636.19/638.01 c #Conflicts: 481000 | #Constraints: 50433
636.19/638.01 c #Conflicts: 482000 | #Constraints: 51433
636.19/638.01 c #Conflicts: 483000 | #Constraints: 52433
636.19/638.01 c #Conflicts: 484000 | #Constraints: 53433
636.19/638.01 c #Conflicts: 485000 | #Constraints: 54433
636.19/638.01 c #Conflicts: 486000 | #Constraints: 55433
636.19/638.01 c #Conflicts: 487000 | #Constraints: 56433
636.19/638.01 c #Conflicts: 488000 | #Constraints: 57433
636.19/638.01 c #Conflicts: 489000 | #Constraints: 58433
636.19/638.01 c #Conflicts: 490000 | #Constraints: 59433
636.19/638.01 c #Conflicts: 491000 | #Constraints: 60433
636.19/638.01 c #Conflicts: 492000 | #Constraints: 61433
636.19/638.01 c #Conflicts: 493000 | #Constraints: 62433
636.19/638.01 c #Conflicts: 494000 | #Constraints: 63433
636.19/638.01 c #Conflicts: 495000 | #Constraints: 64433
636.19/638.01 c #Conflicts: 496000 | #Constraints: 65433
636.19/638.01 c #Conflicts: 497000 | #Constraints: 66433
636.19/638.01 c #Conflicts: 498000 | #Constraints: 67433
636.19/638.01 c #Conflicts: 499000 | #Constraints: 68433
636.19/638.01 c #Conflicts: 500000 | #Constraints: 69433
636.19/638.01 c #Conflicts: 501000 | #Constraints: 70433
636.19/638.01 c #Conflicts: 502000 | #Constraints: 71433
636.19/638.01 c #Conflicts: 503000 | #Constraints: 72433
636.19/638.01 c #Conflicts: 504000 | #Constraints: 73433
636.19/638.01 c #Conflicts: 505000 | #Constraints: 74433
636.19/638.01 c #Conflicts: 506000 | #Constraints: 75433
636.19/638.01 c INPROCESSING
636.19/638.01 c GARBAGE COLLECT
636.19/638.01 c #Conflicts: 507000 | #Constraints: 38741
636.19/638.01 c #Conflicts: 508000 | #Constraints: 39741
636.19/638.01 c #Conflicts: 509000 | #Constraints: 40741
636.19/638.01 c #Conflicts: 510000 | #Constraints: 41741
636.19/638.01 c #Conflicts: 511000 | #Constraints: 42741
636.19/638.01 c #Conflicts: 512000 | #Constraints: 43741
636.19/638.01 c #Conflicts: 513000 | #Constraints: 44741
636.19/638.01 c #Conflicts: 514000 | #Constraints: 45741
636.19/638.01 c #Conflicts: 515000 | #Constraints: 46741
636.19/638.01 c #Conflicts: 516000 | #Constraints: 47741
636.19/638.01 c #Conflicts: 517000 | #Constraints: 48741
636.19/638.01 c #Conflicts: 518000 | #Constraints: 49741
636.19/638.01 c #Conflicts: 519000 | #Constraints: 50741
636.19/638.01 c #Conflicts: 520000 | #Constraints: 51741
636.19/638.01 c #Conflicts: 521000 | #Constraints: 52741
636.19/638.01 c INPROCESSING
636.19/638.01 c GARBAGE COLLECT
636.19/638.01 c #Conflicts: 522000 | #Constraints: 27038
793.77/796.08 c #Conflicts: 523000 | #Constraints: 28038
793.77/796.08 c #Conflicts: 524000 | #Constraints: 29038
793.77/796.08 c #Conflicts: 525000 | #Constraints: 30038
793.77/796.08 c #Conflicts: 526000 | #Constraints: 31038
793.77/796.08 c #Conflicts: 527000 | #Constraints: 32038
793.77/796.08 c #Conflicts: 528000 | #Constraints: 33038
793.77/796.08 c #Conflicts: 529000 | #Constraints: 34038
793.77/796.08 c #Conflicts: 530000 | #Constraints: 35038
793.77/796.08 c #Conflicts: 531000 | #Constraints: 36038
793.77/796.08 c #Conflicts: 532000 | #Constraints: 37038
793.77/796.08 c #Conflicts: 533000 | #Constraints: 38038
793.77/796.08 c #Conflicts: 534000 | #Constraints: 39038
793.77/796.08 c #Conflicts: 535000 | #Constraints: 40038
793.77/796.08 c #Conflicts: 536000 | #Constraints: 41038
793.77/796.08 c #Conflicts: 537000 | #Constraints: 42038
793.77/796.08 c INPROCESSING
793.77/796.08 c GARBAGE COLLECT
793.77/796.08 c #Conflicts: 538000 | #Constraints: 21729
793.77/796.08 c #Conflicts: 539000 | #Constraints: 22729
793.77/796.08 c #Conflicts: 540000 | #Constraints: 23729
793.77/796.08 c #Conflicts: 541000 | #Constraints: 24729
793.77/796.08 c #Conflicts: 542000 | #Constraints: 25729
793.77/796.08 c #Conflicts: 543000 | #Constraints: 26729
793.77/796.08 c #Conflicts: 544000 | #Constraints: 27729
793.77/796.08 c #Conflicts: 545000 | #Constraints: 28729
793.77/796.08 c #Conflicts: 546000 | #Constraints: 29729
793.77/796.08 c #Conflicts: 547000 | #Constraints: 30729
793.77/796.08 c #Conflicts: 548000 | #Constraints: 31729
793.77/796.08 c #Conflicts: 549000 | #Constraints: 32729
793.77/796.08 c #Conflicts: 550000 | #Constraints: 33729
793.77/796.08 c #Conflicts: 551000 | #Constraints: 34729
793.77/796.08 c #Conflicts: 552000 | #Constraints: 35729
793.77/796.08 c #Conflicts: 553000 | #Constraints: 36729
793.77/796.08 c #Conflicts: 554000 | #Constraints: 37729
793.77/796.08 c #Conflicts: 555000 | #Constraints: 38729
793.77/796.08 c #Conflicts: 556000 | #Constraints: 39729
793.77/796.08 c #Conflicts: 557000 | #Constraints: 40729
793.77/796.08 c #Conflicts: 558000 | #Constraints: 41729
793.77/796.08 c #Conflicts: 559000 | #Constraints: 42729
793.77/796.08 c #Conflicts: 560000 | #Constraints: 43729
793.77/796.08 c #Conflicts: 561000 | #Constraints: 44729
793.77/796.08 c #Conflicts: 562000 | #Constraints: 45729
793.77/796.08 c #Conflicts: 563000 | #Constraints: 46729
793.77/796.08 c #Conflicts: 564000 | #Constraints: 47729
793.77/796.08 c #Conflicts: 565000 | #Constraints: 48729
793.77/796.08 c #Conflicts: 566000 | #Constraints: 49729
793.77/796.08 c #Conflicts: 567000 | #Constraints: 50729
793.77/796.08 c #Conflicts: 568000 | #Constraints: 51729
793.77/796.08 c #Conflicts: 569000 | #Constraints: 52729
793.77/796.08 c #Conflicts: 570000 | #Constraints: 53729
793.77/796.08 c #Conflicts: 571000 | #Constraints: 54729
793.77/796.08 c #Conflicts: 572000 | #Constraints: 55729
793.77/796.08 c #Conflicts: 573000 | #Constraints: 56729
793.77/796.08 c #Conflicts: 574000 | #Constraints: 57729
793.77/796.08 c #Conflicts: 575000 | #Constraints: 58729
793.77/796.08 c #Conflicts: 576000 | #Constraints: 59729
793.77/796.08 c #Conflicts: 577000 | #Constraints: 60729
793.77/796.08 c #Conflicts: 578000 | #Constraints: 61729
793.77/796.08 c #Conflicts: 579000 | #Constraints: 62729
793.77/796.08 c #Conflicts: 580000 | #Constraints: 63729
793.77/796.08 c #Conflicts: 581000 | #Constraints: 64729
793.77/796.08 c #Conflicts: 582000 | #Constraints: 65729
793.77/796.08 c #Conflicts: 583000 | #Constraints: 66729
793.77/796.08 c #Conflicts: 584000 | #Constraints: 67729
793.77/796.08 c #Conflicts: 585000 | #Constraints: 68729
793.77/796.08 c #Conflicts: 586000 | #Constraints: 69729
793.77/796.08 c #Conflicts: 587000 | #Constraints: 70729
793.77/796.08 c #Conflicts: 588000 | #Constraints: 71729
793.77/796.08 c #Conflicts: 589000 | #Constraints: 72729
793.77/796.08 c #Conflicts: 590000 | #Constraints: 73729
793.77/796.08 c #Conflicts: 591000 | #Constraints: 74729
793.77/796.08 c #Conflicts: 592000 | #Constraints: 75729
793.77/796.08 c #Conflicts: 593000 | #Constraints: 76729
793.77/796.08 c #Conflicts: 594000 | #Constraints: 77729
793.77/796.08 c #Conflicts: 595000 | #Constraints: 78729
793.77/796.08 c #Conflicts: 596000 | #Constraints: 79729
793.77/796.08 c #Conflicts: 597000 | #Constraints: 80729
793.77/796.08 c INPROCESSING
793.77/796.08 c GARBAGE COLLECT
793.77/796.08 c #Conflicts: 598000 | #Constraints: 39589
793.77/796.08 c #Conflicts: 599000 | #Constraints: 40589
793.77/796.08 c #Conflicts: 600000 | #Constraints: 41589
929.51/932.19 c #Conflicts: 601000 | #Constraints: 42589
929.51/932.19 c #Conflicts: 602000 | #Constraints: 43589
929.51/932.19 c #Conflicts: 603000 | #Constraints: 44589
929.51/932.19 c #Conflicts: 604000 | #Constraints: 45589
929.51/932.19 c #Conflicts: 605000 | #Constraints: 46589
929.51/932.19 c #Conflicts: 606000 | #Constraints: 47589
929.51/932.19 c #Conflicts: 607000 | #Constraints: 48589
929.51/932.19 c #Conflicts: 608000 | #Constraints: 49589
929.51/932.19 c #Conflicts: 609000 | #Constraints: 50589
929.51/932.19 c #Conflicts: 610000 | #Constraints: 51589
929.51/932.19 c #Conflicts: 611000 | #Constraints: 52589
929.51/932.19 c #Conflicts: 612000 | #Constraints: 53589
929.51/932.19 c #Conflicts: 613000 | #Constraints: 54589
929.51/932.19 c #Conflicts: 614000 | #Constraints: 55589
929.51/932.19 c #Conflicts: 615000 | #Constraints: 56589
929.51/932.19 c INPROCESSING
929.51/932.19 c GARBAGE COLLECT
929.51/932.19 c #Conflicts: 616000 | #Constraints: 29311
929.51/932.19 c #Conflicts: 617000 | #Constraints: 30311
929.51/932.19 c #Conflicts: 618000 | #Constraints: 31311
929.51/932.19 c #Conflicts: 619000 | #Constraints: 32311
929.51/932.19 c #Conflicts: 620000 | #Constraints: 33311
929.51/932.19 c #Conflicts: 621000 | #Constraints: 34311
929.51/932.19 c #Conflicts: 622000 | #Constraints: 35311
929.51/932.19 c #Conflicts: 623000 | #Constraints: 36311
929.51/932.19 c #Conflicts: 624000 | #Constraints: 37311
929.51/932.19 c #Conflicts: 625000 | #Constraints: 38311
929.51/932.19 c #Conflicts: 626000 | #Constraints: 39311
929.51/932.19 c #Conflicts: 627000 | #Constraints: 40311
929.51/932.19 c #Conflicts: 628000 | #Constraints: 41311
929.51/932.19 c #Conflicts: 629000 | #Constraints: 42311
929.51/932.19 c #Conflicts: 630000 | #Constraints: 43311
929.51/932.19 c #Conflicts: 631000 | #Constraints: 44311
929.51/932.19 c #Conflicts: 632000 | #Constraints: 45311
929.51/932.19 c INPROCESSING
929.51/932.19 c GARBAGE COLLECT
929.51/932.19 c #Conflicts: 633000 | #Constraints: 23470
929.51/932.19 c #Conflicts: 634000 | #Constraints: 24470
929.51/932.19 c #Conflicts: 635000 | #Constraints: 25470
929.51/932.19 c #Conflicts: 636000 | #Constraints: 26470
929.51/932.19 c #Conflicts: 637000 | #Constraints: 27470
929.51/932.19 c #Conflicts: 638000 | #Constraints: 28470
929.51/932.19 c #Conflicts: 639000 | #Constraints: 29470
929.51/932.19 c #Conflicts: 640000 | #Constraints: 30470
929.51/932.19 c #Conflicts: 641000 | #Constraints: 31470
929.51/932.19 c #Conflicts: 642000 | #Constraints: 32470
929.51/932.19 c #Conflicts: 643000 | #Constraints: 33470
929.51/932.19 c #Conflicts: 644000 | #Constraints: 34470
929.51/932.19 c #Conflicts: 645000 | #Constraints: 35470
929.51/932.19 c #Conflicts: 646000 | #Constraints: 36470
929.51/932.19 c #Conflicts: 647000 | #Constraints: 37470
929.51/932.19 c #Conflicts: 648000 | #Constraints: 38470
929.51/932.19 c #Conflicts: 649000 | #Constraints: 39470
929.51/932.19 c #Conflicts: 650000 | #Constraints: 40470
929.51/932.19 c #Conflicts: 651000 | #Constraints: 41470
929.51/932.19 c #Conflicts: 652000 | #Constraints: 42470
929.51/932.19 c #Conflicts: 653000 | #Constraints: 43470
929.51/932.19 c #Conflicts: 654000 | #Constraints: 44470
929.51/932.19 c #Conflicts: 655000 | #Constraints: 45470
929.51/932.19 c #Conflicts: 656000 | #Constraints: 46470
929.51/932.19 c #Conflicts: 657000 | #Constraints: 47470
929.51/932.19 c #Conflicts: 658000 | #Constraints: 48470
929.51/932.19 c #Conflicts: 659000 | #Constraints: 49470
929.51/932.19 c #Conflicts: 660000 | #Constraints: 50470
929.51/932.19 c #Conflicts: 661000 | #Constraints: 51470
929.51/932.19 c #Conflicts: 662000 | #Constraints: 52470
929.51/932.19 c #Conflicts: 663000 | #Constraints: 53470
929.51/932.19 c #Conflicts: 664000 | #Constraints: 54470
929.51/932.19 c #Conflicts: 665000 | #Constraints: 55470
929.51/932.19 c #Conflicts: 666000 | #Constraints: 56470
929.51/932.19 c #Conflicts: 667000 | #Constraints: 57470
929.51/932.19 c #Conflicts: 668000 | #Constraints: 58470
929.51/932.19 c #Conflicts: 669000 | #Constraints: 59470
929.51/932.19 c #Conflicts: 670000 | #Constraints: 60470
929.51/932.19 c #Conflicts: 671000 | #Constraints: 61470
929.51/932.19 c #Conflicts: 672000 | #Constraints: 62470
929.51/932.19 c #Conflicts: 673000 | #Constraints: 63470
929.51/932.19 c #Conflicts: 674000 | #Constraints: 64470
929.51/932.19 c #Conflicts: 675000 | #Constraints: 65470
929.51/932.19 c #Conflicts: 676000 | #Constraints: 66470
929.51/932.19 c #Conflicts: 677000 | #Constraints: 67470
1081.79/1084.83 c #Conflicts: 678000 | #Constraints: 68470
1081.79/1084.83 c #Conflicts: 679000 | #Constraints: 69470
1081.79/1084.83 c #Conflicts: 680000 | #Constraints: 70470
1081.79/1084.83 c #Conflicts: 681000 | #Constraints: 71470
1081.79/1084.83 c #Conflicts: 682000 | #Constraints: 72470
1081.79/1084.83 c #Conflicts: 683000 | #Constraints: 73470
1081.79/1084.83 c #Conflicts: 684000 | #Constraints: 74470
1081.79/1084.83 c #Conflicts: 685000 | #Constraints: 75470
1081.79/1084.83 c #Conflicts: 686000 | #Constraints: 76470
1081.79/1084.83 c #Conflicts: 687000 | #Constraints: 77470
1081.79/1084.83 c #Conflicts: 688000 | #Constraints: 78470
1081.79/1084.83 c #Conflicts: 689000 | #Constraints: 79470
1081.79/1084.83 c #Conflicts: 690000 | #Constraints: 80470
1081.79/1084.83 c #Conflicts: 691000 | #Constraints: 81470
1081.79/1084.83 c #Conflicts: 692000 | #Constraints: 82470
1081.79/1084.83 c #Conflicts: 693000 | #Constraints: 83470
1081.79/1084.83 c #Conflicts: 694000 | #Constraints: 84470
1081.79/1084.83 c #Conflicts: 695000 | #Constraints: 85470
1081.79/1084.83 c #Conflicts: 696000 | #Constraints: 86470
1081.79/1084.83 c INPROCESSING
1081.79/1084.83 c GARBAGE COLLECT
1081.79/1084.83 c #Conflicts: 697000 | #Constraints: 43858
1081.79/1084.83 c #Conflicts: 698000 | #Constraints: 44858
1081.79/1084.83 c #Conflicts: 699000 | #Constraints: 45858
1081.79/1084.83 c #Conflicts: 700000 | #Constraints: 46858
1081.79/1084.83 c #Conflicts: 701000 | #Constraints: 47858
1081.79/1084.83 c #Conflicts: 702000 | #Constraints: 48858
1081.79/1084.83 c #Conflicts: 703000 | #Constraints: 49858
1081.79/1084.83 c #Conflicts: 704000 | #Constraints: 50858
1081.79/1084.83 c #Conflicts: 705000 | #Constraints: 51858
1081.79/1084.83 c #Conflicts: 706000 | #Constraints: 52858
1081.79/1084.83 c #Conflicts: 707000 | #Constraints: 53858
1081.79/1084.83 c #Conflicts: 708000 | #Constraints: 54858
1081.79/1084.83 c #Conflicts: 709000 | #Constraints: 55858
1081.79/1084.83 c #Conflicts: 710000 | #Constraints: 56858
1081.79/1084.83 c #Conflicts: 711000 | #Constraints: 57858
1081.79/1084.83 c #Conflicts: 712000 | #Constraints: 58858
1081.79/1084.83 c #Conflicts: 713000 | #Constraints: 59858
1081.79/1084.83 c #Conflicts: 714000 | #Constraints: 60858
1081.79/1084.83 c #Conflicts: 715000 | #Constraints: 61858
1081.79/1084.83 c INPROCESSING
1081.79/1084.83 c GARBAGE COLLECT
1081.79/1084.83 c #Conflicts: 716000 | #Constraints: 31693
1081.79/1084.83 c #Conflicts: 717000 | #Constraints: 32693
1081.79/1084.83 c #Conflicts: 718000 | #Constraints: 33693
1081.79/1084.83 c #Conflicts: 719000 | #Constraints: 34693
1081.79/1084.83 c #Conflicts: 720000 | #Constraints: 35693
1081.79/1084.83 c #Conflicts: 721000 | #Constraints: 36693
1081.79/1084.83 c #Conflicts: 722000 | #Constraints: 37693
1081.79/1084.83 c #Conflicts: 723000 | #Constraints: 38693
1081.79/1084.83 c #Conflicts: 724000 | #Constraints: 39693
1081.79/1084.83 c #Conflicts: 725000 | #Constraints: 40693
1081.79/1084.83 c #Conflicts: 726000 | #Constraints: 41693
1081.79/1084.83 c #Conflicts: 727000 | #Constraints: 42693
1081.79/1084.83 c #Conflicts: 728000 | #Constraints: 43693
1081.79/1084.83 c #Conflicts: 729000 | #Constraints: 44693
1081.79/1084.83 c #Conflicts: 730000 | #Constraints: 45693
1081.79/1084.83 c #Conflicts: 731000 | #Constraints: 46693
1081.79/1084.83 c #Conflicts: 732000 | #Constraints: 47693
1081.79/1084.83 c #Conflicts: 733000 | #Constraints: 48693
1081.79/1084.83 c #Conflicts: 734000 | #Constraints: 49693
1081.79/1084.83 c INPROCESSING
1081.79/1084.83 c GARBAGE COLLECT
1081.79/1084.83 c #Conflicts: 735000 | #Constraints: 25663
1081.79/1084.83 c #Conflicts: 736000 | #Constraints: 26663
1081.79/1084.83 c #Conflicts: 737000 | #Constraints: 27663
1081.79/1084.83 c #Conflicts: 738000 | #Constraints: 28663
1081.79/1084.83 c #Conflicts: 739000 | #Constraints: 29663
1081.79/1084.83 c #Conflicts: 740000 | #Constraints: 30663
1081.79/1084.83 c #Conflicts: 741000 | #Constraints: 31663
1081.79/1084.83 c #Conflicts: 742000 | #Constraints: 32663
1081.79/1084.83 c #Conflicts: 743000 | #Constraints: 33663
1081.79/1084.83 c #Conflicts: 744000 | #Constraints: 34663
1081.79/1084.83 c #Conflicts: 745000 | #Constraints: 35663
1081.79/1084.83 c #Conflicts: 746000 | #Constraints: 36663
1081.79/1084.83 c #Conflicts: 747000 | #Constraints: 37663
1081.79/1084.83 c #Conflicts: 748000 | #Constraints: 38663
1081.79/1084.83 c #Conflicts: 749000 | #Constraints: 39663
1081.79/1084.83 c #Conflicts: 750000 | #Constraints: 40663
1081.79/1084.83 c #Conflicts: 751000 | #Constraints: 41663
1081.79/1084.83 c #Conflicts: 752000 | #Constraints: 42663
1081.79/1084.83 c #Conflicts: 753000 | #Constraints: 43663
1081.79/1084.83 c #Conflicts: 754000 | #Constraints: 44663
1312.04/1315.78 c #Conflicts: 755000 | #Constraints: 45663
1312.04/1315.78 c #Conflicts: 756000 | #Constraints: 46663
1312.04/1315.78 c #Conflicts: 757000 | #Constraints: 47663
1312.04/1315.78 c #Conflicts: 758000 | #Constraints: 48663
1312.04/1315.78 c #Conflicts: 759000 | #Constraints: 49663
1312.04/1315.78 c #Conflicts: 760000 | #Constraints: 50663
1312.04/1315.78 c #Conflicts: 761000 | #Constraints: 51663
1312.04/1315.78 c #Conflicts: 762000 | #Constraints: 52663
1312.04/1315.78 c #Conflicts: 763000 | #Constraints: 53663
1312.04/1315.78 c #Conflicts: 764000 | #Constraints: 54663
1312.04/1315.78 c #Conflicts: 765000 | #Constraints: 55663
1312.04/1315.78 c #Conflicts: 766000 | #Constraints: 56663
1312.04/1315.78 c #Conflicts: 767000 | #Constraints: 57663
1312.04/1315.78 c #Conflicts: 768000 | #Constraints: 58663
1312.04/1315.78 c #Conflicts: 769000 | #Constraints: 59663
1312.04/1315.78 c #Conflicts: 770000 | #Constraints: 60663
1312.04/1315.78 c #Conflicts: 771000 | #Constraints: 61663
1312.04/1315.78 c #Conflicts: 772000 | #Constraints: 62663
1312.04/1315.78 c #Conflicts: 773000 | #Constraints: 63663
1312.04/1315.78 c #Conflicts: 774000 | #Constraints: 64663
1312.04/1315.78 c #Conflicts: 775000 | #Constraints: 65663
1312.04/1315.78 c #Conflicts: 776000 | #Constraints: 66663
1312.04/1315.78 c #Conflicts: 777000 | #Constraints: 67663
1312.04/1315.78 c #Conflicts: 778000 | #Constraints: 68663
1312.04/1315.78 c #Conflicts: 779000 | #Constraints: 69663
1312.04/1315.78 c #Conflicts: 780000 | #Constraints: 70663
1312.04/1315.78 c #Conflicts: 781000 | #Constraints: 71663
1312.04/1315.78 c #Conflicts: 782000 | #Constraints: 72663
1312.04/1315.78 c #Conflicts: 783000 | #Constraints: 73663
1312.04/1315.78 c #Conflicts: 784000 | #Constraints: 74663
1312.04/1315.78 c #Conflicts: 785000 | #Constraints: 75663
1312.04/1315.78 c #Conflicts: 786000 | #Constraints: 76663
1312.04/1315.78 c #Conflicts: 787000 | #Constraints: 77663
1312.04/1315.78 c #Conflicts: 788000 | #Constraints: 78663
1312.04/1315.78 c #Conflicts: 789000 | #Constraints: 79663
1312.04/1315.78 c #Conflicts: 790000 | #Constraints: 80663
1312.04/1315.78 c #Conflicts: 791000 | #Constraints: 81663
1312.04/1315.78 c #Conflicts: 792000 | #Constraints: 82663
1312.04/1315.78 c #Conflicts: 793000 | #Constraints: 83663
1312.04/1315.78 c #Conflicts: 794000 | #Constraints: 84663
1312.04/1315.78 c #Conflicts: 795000 | #Constraints: 85663
1312.04/1315.78 c #Conflicts: 796000 | #Constraints: 86663
1312.04/1315.78 c #Conflicts: 797000 | #Constraints: 87663
1312.04/1315.78 c #Conflicts: 798000 | #Constraints: 88663
1312.04/1315.78 c #Conflicts: 799000 | #Constraints: 89663
1312.04/1315.78 c #Conflicts: 800000 | #Constraints: 90663
1312.04/1315.78 c #Conflicts: 801000 | #Constraints: 91663
1312.04/1315.78 c #Conflicts: 802000 | #Constraints: 92663
1312.04/1315.78 c #Conflicts: 803000 | #Constraints: 93663
1312.04/1315.78 c INPROCESSING
1312.04/1315.78 c GARBAGE COLLECT
1312.04/1315.78 c #Conflicts: 804000 | #Constraints: 47850
1312.04/1315.78 c #Conflicts: 805000 | #Constraints: 48850
1312.04/1315.78 c #Conflicts: 806000 | #Constraints: 49850
1312.04/1315.78 c #Conflicts: 807000 | #Constraints: 50850
1312.04/1315.78 c #Conflicts: 808000 | #Constraints: 51850
1312.04/1315.78 c #Conflicts: 809000 | #Constraints: 52850
1312.04/1315.78 c #Conflicts: 810000 | #Constraints: 53850
1312.04/1315.78 c #Conflicts: 811000 | #Constraints: 54850
1312.04/1315.78 c #Conflicts: 812000 | #Constraints: 55850
1312.04/1315.78 c #Conflicts: 813000 | #Constraints: 56850
1312.04/1315.78 c #Conflicts: 814000 | #Constraints: 57850
1312.04/1315.78 c #Conflicts: 815000 | #Constraints: 58850
1312.04/1315.78 c #Conflicts: 816000 | #Constraints: 59850
1312.04/1315.78 c #Conflicts: 817000 | #Constraints: 60850
1312.04/1315.78 c #Conflicts: 818000 | #Constraints: 61850
1312.04/1315.78 c #Conflicts: 819000 | #Constraints: 62850
1312.04/1315.78 c #Conflicts: 820000 | #Constraints: 63850
1312.04/1315.78 c #Conflicts: 821000 | #Constraints: 64850
1312.04/1315.78 c #Conflicts: 822000 | #Constraints: 65850
1312.04/1315.78 c #Conflicts: 823000 | #Constraints: 66850
1312.04/1315.78 c INPROCESSING
1312.04/1315.78 c GARBAGE COLLECT
1312.04/1315.78 c #Conflicts: 824000 | #Constraints: 34343
1312.04/1315.78 c #Conflicts: 825000 | #Constraints: 35343
1312.04/1315.78 c #Conflicts: 826000 | #Constraints: 36343
1312.04/1315.78 c #Conflicts: 827000 | #Constraints: 37343
1312.04/1315.78 c #Conflicts: 828000 | #Constraints: 38343
1312.04/1315.78 c #Conflicts: 829000 | #Constraints: 39343
1312.04/1315.78 c #Conflicts: 830000 | #Constraints: 40343
1312.04/1315.78 c #Conflicts: 831000 | #Constraints: 41343
1312.04/1315.78 c #Conflicts: 832000 | #Constraints: 42343
1496.63/1500.81 c #Conflicts: 833000 | #Constraints: 43343
1496.63/1500.81 c #Conflicts: 834000 | #Constraints: 44343
1496.63/1500.81 c #Conflicts: 835000 | #Constraints: 45343
1496.63/1500.81 c #Conflicts: 836000 | #Constraints: 46343
1496.63/1500.81 c #Conflicts: 837000 | #Constraints: 47343
1496.63/1500.81 c #Conflicts: 838000 | #Constraints: 48343
1496.63/1500.81 c #Conflicts: 839000 | #Constraints: 49343
1496.63/1500.81 c #Conflicts: 840000 | #Constraints: 50343
1496.63/1500.81 c #Conflicts: 841000 | #Constraints: 51343
1496.63/1500.81 c #Conflicts: 842000 | #Constraints: 52343
1496.63/1500.81 c #Conflicts: 843000 | #Constraints: 53343
1496.63/1500.81 c INPROCESSING
1496.63/1500.81 c GARBAGE COLLECT
1496.63/1500.81 c #Conflicts: 844000 | #Constraints: 27399
1496.63/1500.81 c #Conflicts: 845000 | #Constraints: 28399
1496.63/1500.81 c #Conflicts: 846000 | #Constraints: 29399
1496.63/1500.81 c #Conflicts: 847000 | #Constraints: 30399
1496.63/1500.81 c #Conflicts: 848000 | #Constraints: 31399
1496.63/1500.81 c #Conflicts: 849000 | #Constraints: 32399
1496.63/1500.81 c #Conflicts: 850000 | #Constraints: 33399
1496.63/1500.81 c #Conflicts: 851000 | #Constraints: 34399
1496.63/1500.81 c #Conflicts: 852000 | #Constraints: 35399
1496.63/1500.81 c #Conflicts: 853000 | #Constraints: 36399
1496.63/1500.81 c #Conflicts: 854000 | #Constraints: 37399
1496.63/1500.81 c #Conflicts: 855000 | #Constraints: 38399
1496.63/1500.81 c #Conflicts: 856000 | #Constraints: 39399
1496.63/1500.81 c #Conflicts: 857000 | #Constraints: 40399
1496.63/1500.81 c #Conflicts: 858000 | #Constraints: 41399
1496.63/1500.81 c #Conflicts: 859000 | #Constraints: 42399
1496.63/1500.81 c #Conflicts: 860000 | #Constraints: 43399
1496.63/1500.81 c #Conflicts: 861000 | #Constraints: 44399
1496.63/1500.81 c #Conflicts: 862000 | #Constraints: 45399
1496.63/1500.81 c #Conflicts: 863000 | #Constraints: 46399
1496.63/1500.81 c #Conflicts: 864000 | #Constraints: 47399
1496.63/1500.81 c #Conflicts: 865000 | #Constraints: 48399
1496.63/1500.81 c #Conflicts: 866000 | #Constraints: 49399
1496.63/1500.81 c #Conflicts: 867000 | #Constraints: 50399
1496.63/1500.81 c #Conflicts: 868000 | #Constraints: 51399
1496.63/1500.81 c #Conflicts: 869000 | #Constraints: 52399
1496.63/1500.81 c #Conflicts: 870000 | #Constraints: 53399
1496.63/1500.81 c #Conflicts: 871000 | #Constraints: 54399
1496.63/1500.81 c #Conflicts: 872000 | #Constraints: 55399
1496.63/1500.81 c #Conflicts: 873000 | #Constraints: 56399
1496.63/1500.81 c #Conflicts: 874000 | #Constraints: 57399
1496.63/1500.81 c #Conflicts: 875000 | #Constraints: 58399
1496.63/1500.81 c #Conflicts: 876000 | #Constraints: 59399
1496.63/1500.81 c #Conflicts: 877000 | #Constraints: 60399
1496.63/1500.81 c #Conflicts: 878000 | #Constraints: 61399
1496.63/1500.81 c #Conflicts: 879000 | #Constraints: 62399
1496.63/1500.81 c #Conflicts: 880000 | #Constraints: 63399
1496.63/1500.81 c #Conflicts: 881000 | #Constraints: 64399
1496.63/1500.81 c #Conflicts: 882000 | #Constraints: 65399
1496.63/1500.81 c #Conflicts: 883000 | #Constraints: 66399
1496.63/1500.81 c #Conflicts: 884000 | #Constraints: 67399
1496.63/1500.81 c #Conflicts: 885000 | #Constraints: 68399
1496.63/1500.81 c #Conflicts: 886000 | #Constraints: 69399
1496.63/1500.81 c #Conflicts: 887000 | #Constraints: 70399
1496.63/1500.81 c #Conflicts: 888000 | #Constraints: 71399
1496.63/1500.81 c #Conflicts: 889000 | #Constraints: 72399
1496.63/1500.81 c #Conflicts: 890000 | #Constraints: 73399
1496.63/1500.81 c #Conflicts: 891000 | #Constraints: 74399
1496.63/1500.81 c #Conflicts: 892000 | #Constraints: 75399
1496.63/1500.81 c #Conflicts: 893000 | #Constraints: 76399
1496.63/1500.81 c #Conflicts: 894000 | #Constraints: 77399
1496.63/1500.81 c #Conflicts: 895000 | #Constraints: 78399
1496.63/1500.81 c #Conflicts: 896000 | #Constraints: 79399
1496.63/1500.81 c #Conflicts: 897000 | #Constraints: 80399
1496.63/1500.81 c #Conflicts: 898000 | #Constraints: 81399
1496.63/1500.81 c #Conflicts: 899000 | #Constraints: 82399
1496.63/1500.81 c #Conflicts: 900000 | #Constraints: 83399
1496.63/1500.81 c #Conflicts: 901000 | #Constraints: 84399
1496.63/1500.81 c #Conflicts: 902000 | #Constraints: 85399
1496.63/1500.81 c #Conflicts: 903000 | #Constraints: 86399
1496.63/1500.81 c #Conflicts: 904000 | #Constraints: 87399
1496.63/1500.81 c #Conflicts: 905000 | #Constraints: 88399
1496.63/1500.81 c #Conflicts: 906000 | #Constraints: 89399
1496.63/1500.81 c #Conflicts: 907000 | #Constraints: 90399
1496.63/1500.81 c #Conflicts: 908000 | #Constraints: 91399
1496.63/1500.81 c #Conflicts: 909000 | #Constraints: 92399
1496.63/1500.81 c #Conflicts: 910000 | #Constraints: 93399
1647.31/1651.95 c #Conflicts: 911000 | #Constraints: 94399
1647.31/1651.95 c #Conflicts: 912000 | #Constraints: 95399
1647.31/1651.95 c #Conflicts: 913000 | #Constraints: 96399
1647.31/1651.95 c #Conflicts: 914000 | #Constraints: 97399
1647.31/1651.95 c #Conflicts: 915000 | #Constraints: 98399
1647.31/1651.95 c #Conflicts: 916000 | #Constraints: 99399
1647.31/1651.95 c INPROCESSING
1647.31/1651.95 c GARBAGE COLLECT
1647.31/1651.95 c #Conflicts: 917000 | #Constraints: 50522
1647.31/1651.95 c #Conflicts: 918000 | #Constraints: 51522
1647.31/1651.95 c #Conflicts: 919000 | #Constraints: 52522
1647.31/1651.95 c #Conflicts: 920000 | #Constraints: 53522
1647.31/1651.95 c #Conflicts: 921000 | #Constraints: 54522
1647.31/1651.95 c #Conflicts: 922000 | #Constraints: 55522
1647.31/1651.95 c #Conflicts: 923000 | #Constraints: 56522
1647.31/1651.95 c #Conflicts: 924000 | #Constraints: 57522
1647.31/1651.95 c #Conflicts: 925000 | #Constraints: 58522
1647.31/1651.95 c #Conflicts: 926000 | #Constraints: 59522
1647.31/1651.95 c #Conflicts: 927000 | #Constraints: 60522
1647.31/1651.95 c #Conflicts: 928000 | #Constraints: 61522
1647.31/1651.95 c #Conflicts: 929000 | #Constraints: 62522
1647.31/1651.95 c #Conflicts: 930000 | #Constraints: 63522
1647.31/1651.95 c #Conflicts: 931000 | #Constraints: 64522
1647.31/1651.95 c #Conflicts: 932000 | #Constraints: 65522
1647.31/1651.95 c #Conflicts: 933000 | #Constraints: 66522
1647.31/1651.95 c #Conflicts: 934000 | #Constraints: 67522
1647.31/1651.95 c #Conflicts: 935000 | #Constraints: 68522
1647.31/1651.95 c #Conflicts: 936000 | #Constraints: 69522
1647.31/1651.95 c #Conflicts: 937000 | #Constraints: 70522
1647.31/1651.95 c #Conflicts: 938000 | #Constraints: 71522
1647.31/1651.95 c INPROCESSING
1647.31/1651.95 c GARBAGE COLLECT
1647.31/1651.95 c #Conflicts: 939000 | #Constraints: 36735
1647.31/1651.95 c #Conflicts: 940000 | #Constraints: 37735
1647.31/1651.95 c #Conflicts: 941000 | #Constraints: 38735
1647.31/1651.95 c #Conflicts: 942000 | #Constraints: 39735
1647.31/1651.95 c #Conflicts: 943000 | #Constraints: 40735
1647.31/1651.95 c #Conflicts: 944000 | #Constraints: 41735
1647.31/1651.95 c #Conflicts: 945000 | #Constraints: 42735
1647.31/1651.95 c #Conflicts: 946000 | #Constraints: 43735
1647.31/1651.95 c #Conflicts: 947000 | #Constraints: 44735
1647.31/1651.95 c #Conflicts: 948000 | #Constraints: 45735
1647.31/1651.95 c #Conflicts: 949000 | #Constraints: 46735
1647.31/1651.95 c #Conflicts: 950000 | #Constraints: 47735
1647.31/1651.95 c #Conflicts: 951000 | #Constraints: 48735
1647.31/1651.95 c #Conflicts: 952000 | #Constraints: 49735
1647.31/1651.95 c #Conflicts: 953000 | #Constraints: 50735
1647.31/1651.95 c #Conflicts: 954000 | #Constraints: 51735
1647.31/1651.95 c #Conflicts: 955000 | #Constraints: 52735
1647.31/1651.95 c #Conflicts: 956000 | #Constraints: 53735
1647.31/1651.95 c #Conflicts: 957000 | #Constraints: 54735
1647.31/1651.95 c #Conflicts: 958000 | #Constraints: 55735
1647.31/1651.95 c #Conflicts: 959000 | #Constraints: 56735
1647.31/1651.95 c #Conflicts: 960000 | #Constraints: 57735
1647.31/1651.95 c INPROCESSING
1647.31/1651.95 c GARBAGE COLLECT
1647.31/1651.95 c #Conflicts: 961000 | #Constraints: 32409
1647.31/1651.95 c #Conflicts: 962000 | #Constraints: 33409
1647.31/1651.95 c #Conflicts: 963000 | #Constraints: 34409
1647.31/1651.95 c #Conflicts: 964000 | #Constraints: 35409
1647.31/1651.95 c #Conflicts: 965000 | #Constraints: 36409
1647.31/1651.95 c #Conflicts: 966000 | #Constraints: 37409
1647.31/1651.95 c #Conflicts: 967000 | #Constraints: 38409
1647.31/1651.95 c #Conflicts: 968000 | #Constraints: 39409
1647.31/1651.95 c #Conflicts: 969000 | #Constraints: 40409
1647.31/1651.95 c #Conflicts: 970000 | #Constraints: 41409
1647.31/1651.95 c #Conflicts: 971000 | #Constraints: 42409
1647.31/1651.95 c #Conflicts: 972000 | #Constraints: 43409
1647.31/1651.95 c #Conflicts: 973000 | #Constraints: 44409
1647.31/1651.95 c #Conflicts: 974000 | #Constraints: 45409
1647.31/1651.95 c #Conflicts: 975000 | #Constraints: 46409
1647.31/1651.95 c #Conflicts: 976000 | #Constraints: 47409
1647.31/1651.95 c #Conflicts: 977000 | #Constraints: 48409
1647.31/1651.95 c #Conflicts: 978000 | #Constraints: 49409
1647.31/1651.95 c #Conflicts: 979000 | #Constraints: 50409
1647.31/1651.95 c #Conflicts: 980000 | #Constraints: 51409
1647.31/1651.95 c #Conflicts: 981000 | #Constraints: 52409
1647.31/1651.95 c #Conflicts: 982000 | #Constraints: 53409
1647.31/1651.95 c #Conflicts: 983000 | #Constraints: 54409
1647.31/1651.95 c #Conflicts: 984000 | #Constraints: 55409
1647.31/1651.95 c #Conflicts: 985000 | #Constraints: 56409
1647.31/1651.95 c #Conflicts: 986000 | #Constraints: 57409
1647.31/1651.95 c #Conflicts: 987000 | #Constraints: 58409
1857.72/1862.90 c #Conflicts: 988000 | #Constraints: 59409
1857.72/1862.90 c #Conflicts: 989000 | #Constraints: 60409
1857.72/1862.90 c #Conflicts: 990000 | #Constraints: 61409
1857.72/1862.90 c #Conflicts: 991000 | #Constraints: 62409
1857.72/1862.90 c #Conflicts: 992000 | #Constraints: 63409
1857.72/1862.90 c #Conflicts: 993000 | #Constraints: 64409
1857.72/1862.90 c #Conflicts: 994000 | #Constraints: 65409
1857.72/1862.90 c #Conflicts: 995000 | #Constraints: 66409
1857.72/1862.90 c #Conflicts: 996000 | #Constraints: 67409
1857.72/1862.90 c #Conflicts: 997000 | #Constraints: 68409
1857.72/1862.90 c #Conflicts: 998000 | #Constraints: 69409
1857.72/1862.90 c #Conflicts: 999000 | #Constraints: 70409
1857.72/1862.90 c #Conflicts: 1000000 | #Constraints: 71409
1857.72/1862.90 c #Conflicts: 1001000 | #Constraints: 72409
1857.72/1862.90 c #Conflicts: 1002000 | #Constraints: 73409
1857.72/1862.90 c #Conflicts: 1003000 | #Constraints: 74409
1857.72/1862.90 c #Conflicts: 1004000 | #Constraints: 75409
1857.72/1862.90 c #Conflicts: 1005000 | #Constraints: 76409
1857.72/1862.90 c #Conflicts: 1006000 | #Constraints: 77409
1857.72/1862.90 c #Conflicts: 1007000 | #Constraints: 78409
1857.72/1862.90 c #Conflicts: 1008000 | #Constraints: 79409
1857.72/1862.90 c #Conflicts: 1009000 | #Constraints: 80409
1857.72/1862.90 c #Conflicts: 1010000 | #Constraints: 81409
1857.72/1862.90 c #Conflicts: 1011000 | #Constraints: 82409
1857.72/1862.90 c #Conflicts: 1012000 | #Constraints: 83409
1857.72/1862.90 c #Conflicts: 1013000 | #Constraints: 84409
1857.72/1862.90 c #Conflicts: 1014000 | #Constraints: 85409
1857.72/1862.90 c #Conflicts: 1015000 | #Constraints: 86409
1857.72/1862.90 c #Conflicts: 1016000 | #Constraints: 87409
1857.72/1862.90 c #Conflicts: 1017000 | #Constraints: 88409
1857.72/1862.90 c #Conflicts: 1018000 | #Constraints: 89409
1857.72/1862.90 c #Conflicts: 1019000 | #Constraints: 90409
1857.72/1862.90 c #Conflicts: 1020000 | #Constraints: 91409
1857.72/1862.90 c #Conflicts: 1021000 | #Constraints: 92409
1857.72/1862.90 c #Conflicts: 1022000 | #Constraints: 93409
1857.72/1862.90 c #Conflicts: 1023000 | #Constraints: 94409
1857.72/1862.90 c #Conflicts: 1024000 | #Constraints: 95409
1857.72/1862.90 c #Conflicts: 1025000 | #Constraints: 96409
1857.72/1862.90 c #Conflicts: 1026000 | #Constraints: 97409
1857.72/1862.90 c #Conflicts: 1027000 | #Constraints: 98409
1857.72/1862.90 c #Conflicts: 1028000 | #Constraints: 99409
1857.72/1862.90 c #Conflicts: 1029000 | #Constraints: 100409
1857.72/1862.90 c #Conflicts: 1030000 | #Constraints: 101409
1857.72/1862.90 c #Conflicts: 1031000 | #Constraints: 102409
1857.72/1862.90 c #Conflicts: 1032000 | #Constraints: 103409
1857.72/1862.90 c #Conflicts: 1033000 | #Constraints: 104409
1857.72/1862.90 c #Conflicts: 1034000 | #Constraints: 105409
1857.72/1862.90 c #Conflicts: 1035000 | #Constraints: 106409
1857.72/1862.90 c #Conflicts: 1036000 | #Constraints: 107409
1857.72/1862.90 c #Conflicts: 1037000 | #Constraints: 108409
1857.72/1862.90 c INPROCESSING
1857.72/1862.90 c GARBAGE COLLECT
1857.72/1862.90 c #Conflicts: 1038000 | #Constraints: 55224
1857.72/1862.90 c #Conflicts: 1039000 | #Constraints: 56224
1857.72/1862.90 c #Conflicts: 1040000 | #Constraints: 57224
1857.72/1862.90 c #Conflicts: 1041000 | #Constraints: 58224
1857.72/1862.90 c #Conflicts: 1042000 | #Constraints: 59224
1857.72/1862.90 c #Conflicts: 1043000 | #Constraints: 60224
1857.72/1862.90 c #Conflicts: 1044000 | #Constraints: 61224
1857.72/1862.90 c #Conflicts: 1045000 | #Constraints: 62224
1857.72/1862.91 c #Conflicts: 1046000 | #Constraints: 63224
1857.72/1862.91 c #Conflicts: 1047000 | #Constraints: 64224
1857.72/1862.91 c #Conflicts: 1048000 | #Constraints: 65224
1857.72/1862.91 c #Conflicts: 1049000 | #Constraints: 66224
1857.72/1862.91 c #Conflicts: 1050000 | #Constraints: 67224
1857.72/1862.91 c #Conflicts: 1051000 | #Constraints: 68224
1857.72/1862.91 c #Conflicts: 1052000 | #Constraints: 69224
1857.72/1862.91 c #Conflicts: 1053000 | #Constraints: 70224
1857.72/1862.91 c #Conflicts: 1054000 | #Constraints: 71224
1857.72/1862.91 c #Conflicts: 1055000 | #Constraints: 72224
1857.72/1862.91 c #Conflicts: 1056000 | #Constraints: 73224
1857.72/1862.91 c #Conflicts: 1057000 | #Constraints: 74224
1857.72/1862.91 c #Conflicts: 1058000 | #Constraints: 75224
1857.72/1862.91 c #Conflicts: 1059000 | #Constraints: 76224
1857.72/1862.91 c #Conflicts: 1060000 | #Constraints: 77224
1857.72/1862.91 c INPROCESSING
1857.72/1862.91 c GARBAGE COLLECT
1857.72/1862.91 c #Conflicts: 1061000 | #Constraints: 39540
1857.72/1862.91 c #Conflicts: 1062000 | #Constraints: 40540
1857.72/1862.91 c #Conflicts: 1063000 | #Constraints: 41540
1857.72/1862.91 c #Conflicts: 1064000 | #Constraints: 42540
2143.89/2149.93 c #Conflicts: 1065000 | #Constraints: 43540
2143.89/2149.93 c #Conflicts: 1066000 | #Constraints: 44540
2143.89/2149.93 c #Conflicts: 1067000 | #Constraints: 45540
2143.89/2149.93 c #Conflicts: 1068000 | #Constraints: 46540
2143.89/2149.93 c #Conflicts: 1069000 | #Constraints: 47540
2143.89/2149.93 c #Conflicts: 1070000 | #Constraints: 48540
2143.89/2149.93 c #Conflicts: 1071000 | #Constraints: 49540
2143.89/2149.93 c #Conflicts: 1072000 | #Constraints: 50540
2143.89/2149.93 c #Conflicts: 1073000 | #Constraints: 51540
2143.89/2149.93 c #Conflicts: 1074000 | #Constraints: 52540
2143.89/2149.93 c #Conflicts: 1075000 | #Constraints: 53540
2143.89/2149.93 c #Conflicts: 1076000 | #Constraints: 54540
2143.89/2149.93 c #Conflicts: 1077000 | #Constraints: 55540
2143.89/2149.93 c #Conflicts: 1078000 | #Constraints: 56540
2143.89/2149.93 c #Conflicts: 1079000 | #Constraints: 57540
2143.89/2149.93 c #Conflicts: 1080000 | #Constraints: 58540
2143.89/2149.93 c #Conflicts: 1081000 | #Constraints: 59540
2143.89/2149.93 c #Conflicts: 1082000 | #Constraints: 60540
2143.89/2149.93 c #Conflicts: 1083000 | #Constraints: 61540
2143.89/2149.93 c #Conflicts: 1084000 | #Constraints: 62540
2143.89/2149.93 c #Conflicts: 1085000 | #Constraints: 63540
2143.89/2149.93 c #Conflicts: 1086000 | #Constraints: 64540
2143.89/2149.93 c #Conflicts: 1087000 | #Constraints: 65540
2143.89/2149.93 c #Conflicts: 1088000 | #Constraints: 66540
2143.89/2149.93 c #Conflicts: 1089000 | #Constraints: 67540
2143.89/2149.93 c #Conflicts: 1090000 | #Constraints: 68540
2143.89/2149.93 c #Conflicts: 1091000 | #Constraints: 69540
2143.89/2149.93 c #Conflicts: 1092000 | #Constraints: 70540
2143.89/2149.93 c #Conflicts: 1093000 | #Constraints: 71540
2143.89/2149.93 c #Conflicts: 1094000 | #Constraints: 72540
2143.89/2149.93 c #Conflicts: 1095000 | #Constraints: 73540
2143.89/2149.93 c #Conflicts: 1096000 | #Constraints: 74540
2143.89/2149.93 c #Conflicts: 1097000 | #Constraints: 75540
2143.89/2149.93 c #Conflicts: 1098000 | #Constraints: 76540
2143.89/2149.93 c #Conflicts: 1099000 | #Constraints: 77540
2143.89/2149.93 c #Conflicts: 1100000 | #Constraints: 78540
2143.89/2149.93 c #Conflicts: 1101000 | #Constraints: 79540
2143.89/2149.93 c #Conflicts: 1102000 | #Constraints: 80540
2143.89/2149.93 c #Conflicts: 1103000 | #Constraints: 81540
2143.89/2149.93 c #Conflicts: 1104000 | #Constraints: 82540
2143.89/2149.93 c #Conflicts: 1105000 | #Constraints: 83540
2143.89/2149.93 c #Conflicts: 1106000 | #Constraints: 84540
2143.89/2149.93 c #Conflicts: 1107000 | #Constraints: 85540
2143.89/2149.93 c #Conflicts: 1108000 | #Constraints: 86540
2143.89/2149.93 c #Conflicts: 1109000 | #Constraints: 87540
2143.89/2149.93 c #Conflicts: 1110000 | #Constraints: 88540
2143.89/2149.93 c #Conflicts: 1111000 | #Constraints: 89540
2143.89/2149.93 c #Conflicts: 1112000 | #Constraints: 90540
2143.89/2149.93 c #Conflicts: 1113000 | #Constraints: 91540
2143.89/2149.93 c #Conflicts: 1114000 | #Constraints: 92540
2143.89/2149.93 c #Conflicts: 1115000 | #Constraints: 93540
2143.89/2149.93 c #Conflicts: 1116000 | #Constraints: 94540
2143.89/2149.93 c #Conflicts: 1117000 | #Constraints: 95540
2143.89/2149.93 c #Conflicts: 1118000 | #Constraints: 96540
2143.89/2149.93 c #Conflicts: 1119000 | #Constraints: 97540
2143.89/2149.93 c #Conflicts: 1120000 | #Constraints: 98540
2143.89/2149.93 c #Conflicts: 1121000 | #Constraints: 99540
2143.89/2149.93 c #Conflicts: 1122000 | #Constraints: 100540
2143.89/2149.93 c #Conflicts: 1123000 | #Constraints: 101540
2143.89/2149.93 c #Conflicts: 1124000 | #Constraints: 102540
2143.89/2149.93 c #Conflicts: 1125000 | #Constraints: 103540
2143.89/2149.93 c #Conflicts: 1126000 | #Constraints: 104540
2143.89/2149.93 c #Conflicts: 1127000 | #Constraints: 105540
2143.89/2149.93 c #Conflicts: 1128000 | #Constraints: 106540
2143.89/2149.93 c #Conflicts: 1129000 | #Constraints: 107540
2143.89/2149.93 c #Conflicts: 1130000 | #Constraints: 108540
2143.89/2149.93 c #Conflicts: 1131000 | #Constraints: 109540
2143.89/2149.93 c #Conflicts: 1132000 | #Constraints: 110540
2143.89/2149.93 c #Conflicts: 1133000 | #Constraints: 111540
2143.89/2149.93 c #Conflicts: 1134000 | #Constraints: 112540
2143.89/2149.93 c #Conflicts: 1135000 | #Constraints: 113540
2143.89/2149.93 c #Conflicts: 1136000 | #Constraints: 114540
2143.89/2149.93 c #Conflicts: 1137000 | #Constraints: 115540
2143.89/2149.93 c #Conflicts: 1138000 | #Constraints: 116540
2143.89/2149.93 c #Conflicts: 1139000 | #Constraints: 117540
2143.89/2149.93 c #Conflicts: 1140000 | #Constraints: 118540
2143.89/2149.93 c INPROCESSING
2143.89/2149.93 c GARBAGE COLLECT
2143.89/2149.93 c #Conflicts: 1141000 | #Constraints: 60142
2143.89/2149.93 c #Conflicts: 1142000 | #Constraints: 61142
2357.36/2364.01 c #Conflicts: 1143000 | #Constraints: 62142
2357.36/2364.01 c #Conflicts: 1144000 | #Constraints: 63142
2357.36/2364.01 c #Conflicts: 1145000 | #Constraints: 64142
2357.36/2364.01 c #Conflicts: 1146000 | #Constraints: 65142
2357.36/2364.01 c #Conflicts: 1147000 | #Constraints: 66142
2357.36/2364.01 c #Conflicts: 1148000 | #Constraints: 67142
2357.36/2364.01 c #Conflicts: 1149000 | #Constraints: 68142
2357.36/2364.01 c #Conflicts: 1150000 | #Constraints: 69142
2357.36/2364.01 c #Conflicts: 1151000 | #Constraints: 70142
2357.36/2364.01 c #Conflicts: 1152000 | #Constraints: 71142
2357.36/2364.01 c #Conflicts: 1153000 | #Constraints: 72142
2357.36/2364.01 c #Conflicts: 1154000 | #Constraints: 73142
2357.36/2364.01 c #Conflicts: 1155000 | #Constraints: 74142
2357.36/2364.01 c #Conflicts: 1156000 | #Constraints: 75142
2357.36/2364.01 c #Conflicts: 1157000 | #Constraints: 76142
2357.36/2364.01 c #Conflicts: 1158000 | #Constraints: 77142
2357.36/2364.01 c #Conflicts: 1159000 | #Constraints: 78142
2357.36/2364.01 c #Conflicts: 1160000 | #Constraints: 79142
2357.36/2364.01 c #Conflicts: 1161000 | #Constraints: 80142
2357.36/2364.01 c #Conflicts: 1162000 | #Constraints: 81142
2357.36/2364.01 c #Conflicts: 1163000 | #Constraints: 82142
2357.36/2364.01 c #Conflicts: 1164000 | #Constraints: 83142
2357.36/2364.01 c INPROCESSING
2357.36/2364.01 c GARBAGE COLLECT
2357.36/2364.01 c #Conflicts: 1165000 | #Constraints: 45190
2357.36/2364.01 c #Conflicts: 1166000 | #Constraints: 46190
2357.36/2364.01 c #Conflicts: 1167000 | #Constraints: 47190
2357.36/2364.01 c #Conflicts: 1168000 | #Constraints: 48190
2357.36/2364.01 c #Conflicts: 1169000 | #Constraints: 49190
2357.36/2364.01 c #Conflicts: 1170000 | #Constraints: 50190
2357.36/2364.01 c #Conflicts: 1171000 | #Constraints: 51190
2357.36/2364.01 c #Conflicts: 1172000 | #Constraints: 52190
2357.36/2364.01 c #Conflicts: 1173000 | #Constraints: 53190
2357.36/2364.01 c #Conflicts: 1174000 | #Constraints: 54190
2357.36/2364.01 c #Conflicts: 1175000 | #Constraints: 55190
2357.36/2364.01 c #Conflicts: 1176000 | #Constraints: 56190
2357.36/2364.01 c #Conflicts: 1177000 | #Constraints: 57190
2357.36/2364.01 c #Conflicts: 1178000 | #Constraints: 58190
2357.36/2364.01 c #Conflicts: 1179000 | #Constraints: 59190
2357.36/2364.01 c #Conflicts: 1180000 | #Constraints: 60190
2357.36/2364.01 c #Conflicts: 1181000 | #Constraints: 61190
2357.36/2364.01 c #Conflicts: 1182000 | #Constraints: 62190
2357.36/2364.01 c #Conflicts: 1183000 | #Constraints: 63190
2357.36/2364.01 c #Conflicts: 1184000 | #Constraints: 64190
2357.36/2364.01 c #Conflicts: 1185000 | #Constraints: 65190
2357.36/2364.01 c #Conflicts: 1186000 | #Constraints: 66190
2357.36/2364.01 c #Conflicts: 1187000 | #Constraints: 67190
2357.36/2364.01 c #Conflicts: 1188000 | #Constraints: 68190
2357.36/2364.01 c #Conflicts: 1189000 | #Constraints: 69190
2357.36/2364.01 c #Conflicts: 1190000 | #Constraints: 70190
2357.36/2364.01 c #Conflicts: 1191000 | #Constraints: 71190
2357.36/2364.01 c #Conflicts: 1192000 | #Constraints: 72190
2357.36/2364.01 c #Conflicts: 1193000 | #Constraints: 73190
2357.36/2364.01 c #Conflicts: 1194000 | #Constraints: 74190
2357.36/2364.01 c #Conflicts: 1195000 | #Constraints: 75190
2357.36/2364.01 c #Conflicts: 1196000 | #Constraints: 76190
2357.36/2364.01 c #Conflicts: 1197000 | #Constraints: 77190
2357.36/2364.01 c #Conflicts: 1198000 | #Constraints: 78190
2357.36/2364.01 c #Conflicts: 1199000 | #Constraints: 79190
2357.36/2364.01 c #Conflicts: 1200000 | #Constraints: 80190
2357.36/2364.01 c #Conflicts: 1201000 | #Constraints: 81190
2357.36/2364.01 c #Conflicts: 1202000 | #Constraints: 82190
2357.36/2364.01 c #Conflicts: 1203000 | #Constraints: 83190
2357.36/2364.01 c #Conflicts: 1204000 | #Constraints: 84190
2357.36/2364.01 c #Conflicts: 1205000 | #Constraints: 85190
2357.36/2364.01 c #Conflicts: 1206000 | #Constraints: 86190
2357.36/2364.01 c #Conflicts: 1207000 | #Constraints: 87190
2357.36/2364.01 c #Conflicts: 1208000 | #Constraints: 88190
2357.36/2364.01 c #Conflicts: 1209000 | #Constraints: 89190
2357.36/2364.01 c #Conflicts: 1210000 | #Constraints: 90190
2357.36/2364.01 c #Conflicts: 1211000 | #Constraints: 91190
2357.36/2364.01 c #Conflicts: 1212000 | #Constraints: 92190
2357.36/2364.01 c #Conflicts: 1213000 | #Constraints: 93190
2357.36/2364.01 c #Conflicts: 1214000 | #Constraints: 94190
2357.36/2364.01 c #Conflicts: 1215000 | #Constraints: 95190
2357.36/2364.01 c #Conflicts: 1216000 | #Constraints: 96190
2357.36/2364.01 c #Conflicts: 1217000 | #Constraints: 97190
2357.36/2364.01 c #Conflicts: 1218000 | #Constraints: 98190
2357.36/2364.01 c #Conflicts: 1219000 | #Constraints: 99190
2357.36/2364.01 c #Conflicts: 1220000 | #Constraints: 100190
2357.36/2364.01 c #Conflicts: 1221000 | #Constraints: 101190
2614.18/2621.69 c #Conflicts: 1222000 | #Constraints: 102190
2614.18/2621.69 c #Conflicts: 1223000 | #Constraints: 103190
2614.18/2621.69 c #Conflicts: 1224000 | #Constraints: 104190
2614.18/2621.69 c #Conflicts: 1225000 | #Constraints: 105190
2614.18/2621.69 c #Conflicts: 1226000 | #Constraints: 106190
2614.18/2621.69 c #Conflicts: 1227000 | #Constraints: 107190
2614.18/2621.69 c #Conflicts: 1228000 | #Constraints: 108190
2614.18/2621.69 c #Conflicts: 1229000 | #Constraints: 109190
2614.18/2621.69 c #Conflicts: 1230000 | #Constraints: 110190
2614.18/2621.69 c #Conflicts: 1231000 | #Constraints: 111190
2614.18/2621.69 c #Conflicts: 1232000 | #Constraints: 112190
2614.18/2621.69 c #Conflicts: 1233000 | #Constraints: 113190
2614.18/2621.69 c #Conflicts: 1234000 | #Constraints: 114190
2614.18/2621.69 c #Conflicts: 1235000 | #Constraints: 115190
2614.18/2621.69 c #Conflicts: 1236000 | #Constraints: 116190
2614.18/2621.69 c #Conflicts: 1237000 | #Constraints: 117190
2614.18/2621.69 c #Conflicts: 1238000 | #Constraints: 118190
2614.18/2621.69 c #Conflicts: 1239000 | #Constraints: 119190
2614.18/2621.69 c #Conflicts: 1240000 | #Constraints: 120190
2614.18/2621.69 c #Conflicts: 1241000 | #Constraints: 121190
2614.18/2621.69 c #Conflicts: 1242000 | #Constraints: 122190
2614.18/2621.69 c #Conflicts: 1243000 | #Constraints: 123190
2614.18/2621.69 c #Conflicts: 1244000 | #Constraints: 124190
2614.18/2621.69 c #Conflicts: 1245000 | #Constraints: 125190
2614.18/2621.69 c #Conflicts: 1246000 | #Constraints: 126190
2614.18/2621.69 c #Conflicts: 1247000 | #Constraints: 127190
2614.18/2621.69 c #Conflicts: 1248000 | #Constraints: 128190
2614.18/2621.69 c INPROCESSING
2614.18/2621.69 c GARBAGE COLLECT
2614.18/2621.69 c #Conflicts: 1249000 | #Constraints: 65112
2614.18/2621.69 c #Conflicts: 1250000 | #Constraints: 66112
2614.18/2621.69 c #Conflicts: 1251000 | #Constraints: 67112
2614.18/2621.69 c #Conflicts: 1252000 | #Constraints: 68112
2614.18/2621.69 c #Conflicts: 1253000 | #Constraints: 69112
2614.18/2621.69 c #Conflicts: 1254000 | #Constraints: 70112
2614.18/2621.69 c #Conflicts: 1255000 | #Constraints: 71112
2614.18/2621.69 c #Conflicts: 1256000 | #Constraints: 72112
2614.18/2621.69 c #Conflicts: 1257000 | #Constraints: 73112
2614.18/2621.69 c #Conflicts: 1258000 | #Constraints: 74112
2614.18/2621.69 c #Conflicts: 1259000 | #Constraints: 75112
2614.18/2621.69 c #Conflicts: 1260000 | #Constraints: 76112
2614.18/2621.69 c #Conflicts: 1261000 | #Constraints: 77112
2614.18/2621.69 c #Conflicts: 1262000 | #Constraints: 78112
2614.18/2621.69 c #Conflicts: 1263000 | #Constraints: 79112
2614.18/2621.69 c #Conflicts: 1264000 | #Constraints: 80112
2614.18/2621.69 c #Conflicts: 1265000 | #Constraints: 81112
2614.18/2621.69 c #Conflicts: 1266000 | #Constraints: 82112
2614.18/2621.69 c #Conflicts: 1267000 | #Constraints: 83112
2614.18/2621.69 c #Conflicts: 1268000 | #Constraints: 84112
2614.18/2621.69 c #Conflicts: 1269000 | #Constraints: 85112
2614.18/2621.69 c #Conflicts: 1270000 | #Constraints: 86112
2614.18/2621.69 c #Conflicts: 1271000 | #Constraints: 87112
2614.18/2621.69 c #Conflicts: 1272000 | #Constraints: 88112
2614.18/2621.69 c #Conflicts: 1273000 | #Constraints: 89112
2614.18/2621.69 c INPROCESSING
2614.18/2621.69 c GARBAGE COLLECT
2614.18/2621.69 c #Conflicts: 1274000 | #Constraints: 48736
2614.18/2621.69 c #Conflicts: 1275000 | #Constraints: 49736
2614.18/2621.69 c #Conflicts: 1276000 | #Constraints: 50736
2614.18/2621.69 c #Conflicts: 1277000 | #Constraints: 51736
2614.18/2621.69 c #Conflicts: 1278000 | #Constraints: 52736
2614.18/2621.69 c #Conflicts: 1279000 | #Constraints: 53736
2614.18/2621.69 c #Conflicts: 1280000 | #Constraints: 54736
2614.18/2621.69 c #Conflicts: 1281000 | #Constraints: 55736
2614.18/2621.69 c #Conflicts: 1282000 | #Constraints: 56736
2614.18/2621.69 c #Conflicts: 1283000 | #Constraints: 57736
2614.18/2621.69 c #Conflicts: 1284000 | #Constraints: 58736
2614.18/2621.69 c #Conflicts: 1285000 | #Constraints: 59736
2614.18/2621.69 c #Conflicts: 1286000 | #Constraints: 60736
2614.18/2621.69 c #Conflicts: 1287000 | #Constraints: 61736
2614.18/2621.69 c #Conflicts: 1288000 | #Constraints: 62736
2614.18/2621.69 c #Conflicts: 1289000 | #Constraints: 63736
2614.18/2621.69 c #Conflicts: 1290000 | #Constraints: 64736
2614.18/2621.69 c #Conflicts: 1291000 | #Constraints: 65736
2614.18/2621.69 c #Conflicts: 1292000 | #Constraints: 66736
2614.18/2621.69 c #Conflicts: 1293000 | #Constraints: 67736
2614.18/2621.69 c #Conflicts: 1294000 | #Constraints: 68736
2614.18/2621.69 c #Conflicts: 1295000 | #Constraints: 69736
2614.18/2621.69 c #Conflicts: 1296000 | #Constraints: 70736
2614.18/2621.69 c #Conflicts: 1297000 | #Constraints: 71736
2614.18/2621.69 c #Conflicts: 1298000 | #Constraints: 72736
2904.68/2912.91 c #Conflicts: 1299000 | #Constraints: 73736
2904.68/2912.91 c #Conflicts: 1300000 | #Constraints: 74736
2904.68/2912.91 c #Conflicts: 1301000 | #Constraints: 75736
2904.68/2912.91 c #Conflicts: 1302000 | #Constraints: 76736
2904.68/2912.91 c #Conflicts: 1303000 | #Constraints: 77736
2904.68/2912.91 c #Conflicts: 1304000 | #Constraints: 78736
2904.68/2912.91 c #Conflicts: 1305000 | #Constraints: 79736
2904.68/2912.91 c #Conflicts: 1306000 | #Constraints: 80736
2904.68/2912.91 c #Conflicts: 1307000 | #Constraints: 81736
2904.68/2912.91 c #Conflicts: 1308000 | #Constraints: 82736
2904.68/2912.91 c #Conflicts: 1309000 | #Constraints: 83736
2904.68/2912.91 c #Conflicts: 1310000 | #Constraints: 84736
2904.68/2912.91 c #Conflicts: 1311000 | #Constraints: 85736
2904.68/2912.91 c #Conflicts: 1312000 | #Constraints: 86736
2904.68/2912.91 c #Conflicts: 1313000 | #Constraints: 87736
2904.68/2912.91 c #Conflicts: 1314000 | #Constraints: 88736
2904.68/2912.91 c #Conflicts: 1315000 | #Constraints: 89736
2904.68/2912.91 c #Conflicts: 1316000 | #Constraints: 90736
2904.68/2912.91 c #Conflicts: 1317000 | #Constraints: 91736
2904.68/2912.91 c #Conflicts: 1318000 | #Constraints: 92736
2904.68/2912.91 c #Conflicts: 1319000 | #Constraints: 93736
2904.68/2912.91 c #Conflicts: 1320000 | #Constraints: 94736
2904.68/2912.91 c #Conflicts: 1321000 | #Constraints: 95736
2904.68/2912.91 c #Conflicts: 1322000 | #Constraints: 96736
2904.68/2912.91 c #Conflicts: 1323000 | #Constraints: 97736
2904.68/2912.91 c #Conflicts: 1324000 | #Constraints: 98736
2904.68/2912.91 c #Conflicts: 1325000 | #Constraints: 99736
2904.68/2912.91 c #Conflicts: 1326000 | #Constraints: 100736
2904.68/2912.91 c #Conflicts: 1327000 | #Constraints: 101736
2904.68/2912.91 c #Conflicts: 1328000 | #Constraints: 102736
2904.68/2912.91 c #Conflicts: 1329000 | #Constraints: 103736
2904.68/2912.91 c #Conflicts: 1330000 | #Constraints: 104736
2904.68/2912.91 c #Conflicts: 1331000 | #Constraints: 105736
2904.68/2912.91 c #Conflicts: 1332000 | #Constraints: 106736
2904.68/2912.91 c #Conflicts: 1333000 | #Constraints: 107736
2904.68/2912.91 c #Conflicts: 1334000 | #Constraints: 108736
2904.68/2912.91 c #Conflicts: 1335000 | #Constraints: 109736
2904.68/2912.91 c #Conflicts: 1336000 | #Constraints: 110736
2904.68/2912.91 c #Conflicts: 1337000 | #Constraints: 111736
2904.68/2912.91 c #Conflicts: 1338000 | #Constraints: 112736
2904.68/2912.91 c #Conflicts: 1339000 | #Constraints: 113736
2904.68/2912.91 c #Conflicts: 1340000 | #Constraints: 114736
2904.68/2912.91 c #Conflicts: 1341000 | #Constraints: 115736
2904.68/2912.91 c #Conflicts: 1342000 | #Constraints: 116736
2904.68/2912.91 c #Conflicts: 1343000 | #Constraints: 117736
2904.68/2912.91 c #Conflicts: 1344000 | #Constraints: 118736
2904.68/2912.91 c #Conflicts: 1345000 | #Constraints: 119736
2904.68/2912.91 c #Conflicts: 1346000 | #Constraints: 120736
2904.68/2912.91 c #Conflicts: 1347000 | #Constraints: 121736
2904.68/2912.91 c #Conflicts: 1348000 | #Constraints: 122736
2904.68/2912.91 c #Conflicts: 1349000 | #Constraints: 123736
2904.68/2912.91 c #Conflicts: 1350000 | #Constraints: 124736
2904.68/2912.91 c #Conflicts: 1351000 | #Constraints: 125736
2904.68/2912.91 c #Conflicts: 1352000 | #Constraints: 126736
2904.68/2912.91 c #Conflicts: 1353000 | #Constraints: 127736
2904.68/2912.91 c #Conflicts: 1354000 | #Constraints: 128736
2904.68/2912.91 c #Conflicts: 1355000 | #Constraints: 129736
2904.68/2912.91 c #Conflicts: 1356000 | #Constraints: 130736
2904.68/2912.91 c #Conflicts: 1357000 | #Constraints: 131736
2904.68/2912.91 c #Conflicts: 1358000 | #Constraints: 132736
2904.68/2912.91 c #Conflicts: 1359000 | #Constraints: 133736
2904.68/2912.91 c #Conflicts: 1360000 | #Constraints: 134736
2904.68/2912.91 c INPROCESSING
2904.68/2912.91 c GARBAGE COLLECT
2904.68/2912.91 c #Conflicts: 1361000 | #Constraints: 68341
2904.68/2912.91 c #Conflicts: 1362000 | #Constraints: 69341
2904.68/2912.91 c #Conflicts: 1363000 | #Constraints: 70341
2904.68/2912.91 c #Conflicts: 1364000 | #Constraints: 71341
2904.68/2912.91 c #Conflicts: 1365000 | #Constraints: 72341
2904.68/2912.91 c #Conflicts: 1366000 | #Constraints: 73341
2904.68/2912.91 c #Conflicts: 1367000 | #Constraints: 74341
2904.68/2912.91 c #Conflicts: 1368000 | #Constraints: 75341
2904.68/2912.91 c #Conflicts: 1369000 | #Constraints: 76341
2904.68/2912.91 c #Conflicts: 1370000 | #Constraints: 77341
2904.68/2912.91 c #Conflicts: 1371000 | #Constraints: 78341
2904.68/2912.91 c #Conflicts: 1372000 | #Constraints: 79341
2904.68/2912.91 c #Conflicts: 1373000 | #Constraints: 80341
2904.68/2912.91 c #Conflicts: 1374000 | #Constraints: 81341
2904.68/2912.91 c #Conflicts: 1375000 | #Constraints: 82341
2904.68/2912.91 c #Conflicts: 1376000 | #Constraints: 83341
3151.53/3160.42 c #Conflicts: 1377000 | #Constraints: 84341
3151.53/3160.42 c #Conflicts: 1378000 | #Constraints: 85341
3151.53/3160.42 c #Conflicts: 1379000 | #Constraints: 86341
3151.53/3160.42 c #Conflicts: 1380000 | #Constraints: 87341
3151.53/3160.42 c #Conflicts: 1381000 | #Constraints: 88341
3151.53/3160.42 c #Conflicts: 1382000 | #Constraints: 89341
3151.53/3160.42 c #Conflicts: 1383000 | #Constraints: 90341
3151.53/3160.42 c #Conflicts: 1384000 | #Constraints: 91341
3151.53/3160.42 c #Conflicts: 1385000 | #Constraints: 92341
3151.53/3160.42 c #Conflicts: 1386000 | #Constraints: 93341
3151.53/3160.42 c #Conflicts: 1387000 | #Constraints: 94341
3151.53/3160.42 c INPROCESSING
3151.53/3160.42 c GARBAGE COLLECT
3151.53/3160.42 c #Conflicts: 1388000 | #Constraints: 56393
3151.53/3160.42 c #Conflicts: 1389000 | #Constraints: 57393
3151.53/3160.42 c #Conflicts: 1390000 | #Constraints: 58393
3151.53/3160.42 c #Conflicts: 1391000 | #Constraints: 59393
3151.53/3160.42 c #Conflicts: 1392000 | #Constraints: 60393
3151.53/3160.42 c #Conflicts: 1393000 | #Constraints: 61393
3151.53/3160.42 c #Conflicts: 1394000 | #Constraints: 62393
3151.53/3160.42 c #Conflicts: 1395000 | #Constraints: 63393
3151.53/3160.42 c #Conflicts: 1396000 | #Constraints: 64393
3151.53/3160.42 c #Conflicts: 1397000 | #Constraints: 65393
3151.53/3160.42 c #Conflicts: 1398000 | #Constraints: 66393
3151.53/3160.42 c #Conflicts: 1399000 | #Constraints: 67393
3151.53/3160.42 c #Conflicts: 1400000 | #Constraints: 68393
3151.53/3160.42 c #Conflicts: 1401000 | #Constraints: 69393
3151.53/3160.42 c #Conflicts: 1402000 | #Constraints: 70393
3151.53/3160.42 c #Conflicts: 1403000 | #Constraints: 71393
3151.53/3160.42 c #Conflicts: 1404000 | #Constraints: 72393
3151.53/3160.42 c #Conflicts: 1405000 | #Constraints: 73393
3151.53/3160.42 c #Conflicts: 1406000 | #Constraints: 74393
3151.53/3160.42 c #Conflicts: 1407000 | #Constraints: 75393
3151.53/3160.42 c #Conflicts: 1408000 | #Constraints: 76393
3151.53/3160.42 c #Conflicts: 1409000 | #Constraints: 77393
3151.53/3160.42 c #Conflicts: 1410000 | #Constraints: 78393
3151.53/3160.42 c #Conflicts: 1411000 | #Constraints: 79393
3151.53/3160.42 c #Conflicts: 1412000 | #Constraints: 80393
3151.53/3160.42 c #Conflicts: 1413000 | #Constraints: 81393
3151.53/3160.42 c #Conflicts: 1414000 | #Constraints: 82393
3151.53/3160.42 c #Conflicts: 1415000 | #Constraints: 83393
3151.53/3160.42 c #Conflicts: 1416000 | #Constraints: 84393
3151.53/3160.42 c #Conflicts: 1417000 | #Constraints: 85393
3151.53/3160.42 c #Conflicts: 1418000 | #Constraints: 86393
3151.53/3160.42 c #Conflicts: 1419000 | #Constraints: 87393
3151.53/3160.42 c #Conflicts: 1420000 | #Constraints: 88393
3151.53/3160.42 c #Conflicts: 1421000 | #Constraints: 89393
3151.53/3160.42 c #Conflicts: 1422000 | #Constraints: 90393
3151.53/3160.42 c #Conflicts: 1423000 | #Constraints: 91393
3151.53/3160.42 c #Conflicts: 1424000 | #Constraints: 92393
3151.53/3160.42 c #Conflicts: 1425000 | #Constraints: 93393
3151.53/3160.42 c #Conflicts: 1426000 | #Constraints: 94393
3151.53/3160.42 c #Conflicts: 1427000 | #Constraints: 95393
3151.53/3160.42 c #Conflicts: 1428000 | #Constraints: 96393
3151.53/3160.42 c #Conflicts: 1429000 | #Constraints: 97393
3151.53/3160.42 c #Conflicts: 1430000 | #Constraints: 98393
3151.53/3160.42 c #Conflicts: 1431000 | #Constraints: 99393
3151.53/3160.42 c #Conflicts: 1432000 | #Constraints: 100393
3151.53/3160.42 c #Conflicts: 1433000 | #Constraints: 101393
3151.53/3160.42 c #Conflicts: 1434000 | #Constraints: 102393
3151.53/3160.42 c #Conflicts: 1435000 | #Constraints: 103393
3151.53/3160.42 c #Conflicts: 1436000 | #Constraints: 104393
3151.53/3160.42 c #Conflicts: 1437000 | #Constraints: 105393
3151.53/3160.42 c #Conflicts: 1438000 | #Constraints: 106393
3151.53/3160.42 c #Conflicts: 1439000 | #Constraints: 107393
3151.53/3160.42 c #Conflicts: 1440000 | #Constraints: 108393
3151.53/3160.42 c #Conflicts: 1441000 | #Constraints: 109393
3151.53/3160.42 c #Conflicts: 1442000 | #Constraints: 110393
3151.53/3160.42 c #Conflicts: 1443000 | #Constraints: 111393
3151.53/3160.42 c #Conflicts: 1444000 | #Constraints: 112393
3151.53/3160.42 c #Conflicts: 1445000 | #Constraints: 113393
3151.53/3160.42 c #Conflicts: 1446000 | #Constraints: 114393
3151.53/3160.42 c #Conflicts: 1447000 | #Constraints: 115393
3151.53/3160.42 c #Conflicts: 1448000 | #Constraints: 116393
3151.53/3160.42 c #Conflicts: 1449000 | #Constraints: 117393
3151.53/3160.42 c #Conflicts: 1450000 | #Constraints: 118393
3151.53/3160.42 c #Conflicts: 1451000 | #Constraints: 119393
3151.53/3160.42 c #Conflicts: 1452000 | #Constraints: 120393
3151.53/3160.42 c #Conflicts: 1453000 | #Constraints: 121393
3151.53/3160.42 c #Conflicts: 1454000 | #Constraints: 122393
3398.48/3408.08 c #Conflicts: 1455000 | #Constraints: 123393
3398.48/3408.08 c #Conflicts: 1456000 | #Constraints: 124393
3398.48/3408.08 c #Conflicts: 1457000 | #Constraints: 125393
3398.48/3408.08 c #Conflicts: 1458000 | #Constraints: 126393
3398.48/3408.08 c #Conflicts: 1459000 | #Constraints: 127393
3398.48/3408.08 c #Conflicts: 1460000 | #Constraints: 128393
3398.48/3408.08 c #Conflicts: 1461000 | #Constraints: 129393
3398.48/3408.08 c #Conflicts: 1462000 | #Constraints: 130393
3398.48/3408.08 c #Conflicts: 1463000 | #Constraints: 131393
3398.48/3408.08 c #Conflicts: 1464000 | #Constraints: 132393
3398.48/3408.08 c #Conflicts: 1465000 | #Constraints: 133393
3398.48/3408.08 c #Conflicts: 1466000 | #Constraints: 134393
3398.48/3408.08 c #Conflicts: 1467000 | #Constraints: 135393
3398.48/3408.08 c #Conflicts: 1468000 | #Constraints: 136393
3398.48/3408.08 c #Conflicts: 1469000 | #Constraints: 137393
3398.48/3408.08 c #Conflicts: 1470000 | #Constraints: 138393
3398.48/3408.08 c #Conflicts: 1471000 | #Constraints: 139393
3398.48/3408.08 c #Conflicts: 1472000 | #Constraints: 140393
3398.48/3408.08 c #Conflicts: 1473000 | #Constraints: 141393
3398.48/3408.08 c #Conflicts: 1474000 | #Constraints: 142393
3398.48/3408.08 c #Conflicts: 1475000 | #Constraints: 143393
3398.48/3408.08 c #Conflicts: 1476000 | #Constraints: 144393
3398.48/3408.08 c INPROCESSING
3398.48/3408.08 c GARBAGE COLLECT
3398.48/3408.08 c #Conflicts: 1477000 | #Constraints: 72918
3398.48/3408.08 c #Conflicts: 1478000 | #Constraints: 73918
3398.48/3408.08 c #Conflicts: 1479000 | #Constraints: 74918
3398.48/3408.08 c #Conflicts: 1480000 | #Constraints: 75918
3398.48/3408.08 c #Conflicts: 1481000 | #Constraints: 76918
3398.48/3408.08 c #Conflicts: 1482000 | #Constraints: 77918
3398.48/3408.08 c #Conflicts: 1483000 | #Constraints: 78918
3398.48/3408.08 c #Conflicts: 1484000 | #Constraints: 79918
3398.48/3408.08 c #Conflicts: 1485000 | #Constraints: 80918
3398.48/3408.08 c #Conflicts: 1486000 | #Constraints: 81918
3398.48/3408.08 c #Conflicts: 1487000 | #Constraints: 82918
3398.48/3408.08 c #Conflicts: 1488000 | #Constraints: 83918
3398.48/3408.08 c #Conflicts: 1489000 | #Constraints: 84918
3398.48/3408.08 c #Conflicts: 1490000 | #Constraints: 85918
3398.48/3408.08 c #Conflicts: 1491000 | #Constraints: 86918
3398.48/3408.08 c #Conflicts: 1492000 | #Constraints: 87918
3398.48/3408.08 c #Conflicts: 1493000 | #Constraints: 88918
3398.48/3408.08 c #Conflicts: 1494000 | #Constraints: 89918
3398.48/3408.08 c #Conflicts: 1495000 | #Constraints: 90918
3398.48/3408.08 c #Conflicts: 1496000 | #Constraints: 91918
3398.48/3408.08 c #Conflicts: 1497000 | #Constraints: 92918
3398.48/3408.08 c #Conflicts: 1498000 | #Constraints: 93918
3398.48/3408.08 c #Conflicts: 1499000 | #Constraints: 94918
3398.48/3408.08 c #Conflicts: 1500000 | #Constraints: 95918
3398.48/3408.08 c #Conflicts: 1501000 | #Constraints: 96918
3398.48/3408.08 c #Conflicts: 1502000 | #Constraints: 97918
3398.48/3408.08 c #Conflicts: 1503000 | #Constraints: 98918
3398.48/3408.08 c #Conflicts: 1504000 | #Constraints: 99918
3398.48/3408.08 c #Conflicts: 1505000 | #Constraints: 100918
3398.48/3408.08 c INPROCESSING
3398.48/3408.08 c GARBAGE COLLECT
3398.48/3408.08 c #Conflicts: 1506000 | #Constraints: 62094
3398.48/3408.08 c #Conflicts: 1507000 | #Constraints: 63094
3398.48/3408.08 c #Conflicts: 1508000 | #Constraints: 64094
3398.48/3408.08 c #Conflicts: 1509000 | #Constraints: 65094
3398.48/3408.08 c #Conflicts: 1510000 | #Constraints: 66094
3398.48/3408.08 c #Conflicts: 1511000 | #Constraints: 67094
3398.48/3408.08 c #Conflicts: 1512000 | #Constraints: 68094
3398.48/3408.08 c #Conflicts: 1513000 | #Constraints: 69094
3398.48/3408.08 c #Conflicts: 1514000 | #Constraints: 70094
3398.48/3408.08 c #Conflicts: 1515000 | #Constraints: 71094
3398.48/3408.08 c #Conflicts: 1516000 | #Constraints: 72094
3398.48/3408.08 c #Conflicts: 1517000 | #Constraints: 73094
3398.48/3408.08 c #Conflicts: 1518000 | #Constraints: 74094
3398.48/3408.08 c #Conflicts: 1519000 | #Constraints: 75094
3398.48/3408.08 c #Conflicts: 1520000 | #Constraints: 76094
3398.48/3408.08 c #Conflicts: 1521000 | #Constraints: 77094
3398.48/3408.08 c #Conflicts: 1522000 | #Constraints: 78094
3398.48/3408.08 c #Conflicts: 1523000 | #Constraints: 79094
3398.48/3408.08 c #Conflicts: 1524000 | #Constraints: 80094
3398.48/3408.08 c #Conflicts: 1525000 | #Constraints: 81094
3398.48/3408.08 c #Conflicts: 1526000 | #Constraints: 82094
3398.48/3408.08 c #Conflicts: 1527000 | #Constraints: 83094
3398.48/3408.08 c #Conflicts: 1528000 | #Constraints: 84094
3398.48/3408.08 c #Conflicts: 1529000 | #Constraints: 85094
3398.48/3408.08 c #Conflicts: 1530000 | #Constraints: 86094
3398.48/3408.08 c #Conflicts: 1531000 | #Constraints: 87094
3398.48/3408.08 c #Conflicts: 1532000 | #Constraints: 88094
3600.04/3610.11 c #Conflicts: 1533000 | #Constraints: 89094
3600.04/3610.11 c #Conflicts: 1534000 | #Constraints: 90094
3600.04/3610.11 c #Conflicts: 1535000 | #Constraints: 91094
3600.04/3610.11 c #Conflicts: 1536000 | #Constraints: 92094
3600.04/3610.11 c #Conflicts: 1537000 | #Constraints: 93094
3600.04/3610.11 c #Conflicts: 1538000 | #Constraints: 94094
3600.04/3610.11 c #Conflicts: 1539000 | #Constraints: 95094
3600.04/3610.11 c #Conflicts: 1540000 | #Constraints: 96094
3600.04/3610.11 c #Conflicts: 1541000 | #Constraints: 97094
3600.04/3610.11 c #Conflicts: 1542000 | #Constraints: 98094
3600.04/3610.11 c #Conflicts: 1543000 | #Constraints: 99094
3600.04/3610.11 c #Conflicts: 1544000 | #Constraints: 100094
3600.04/3610.11 c #Conflicts: 1545000 | #Constraints: 101094
3600.04/3610.11 c #Conflicts: 1546000 | #Constraints: 102094
3600.04/3610.11 c #Conflicts: 1547000 | #Constraints: 103094
3600.04/3610.11 c #Conflicts: 1548000 | #Constraints: 104094
3600.04/3610.11 c #Conflicts: 1549000 | #Constraints: 105094
3600.04/3610.11 c #Conflicts: 1550000 | #Constraints: 106094
3600.04/3610.11 c #Conflicts: 1551000 | #Constraints: 107094
3600.04/3610.11 c #Conflicts: 1552000 | #Constraints: 108094
3600.04/3610.11 c #Conflicts: 1553000 | #Constraints: 109094
3600.04/3610.11 c #Conflicts: 1554000 | #Constraints: 110094
3600.04/3610.11 c #Conflicts: 1555000 | #Constraints: 111094
3600.04/3610.11 c #Conflicts: 1556000 | #Constraints: 112094
3600.04/3610.11 c #Conflicts: 1557000 | #Constraints: 113094
3600.04/3610.11 c #Conflicts: 1558000 | #Constraints: 114094
3600.04/3610.11 c #Conflicts: 1559000 | #Constraints: 115094
3600.04/3610.11 c #Conflicts: 1560000 | #Constraints: 116094
3600.04/3610.11 c #Conflicts: 1561000 | #Constraints: 117094
3600.04/3610.11 c #Conflicts: 1562000 | #Constraints: 118094
3600.04/3610.11 c #Conflicts: 1563000 | #Constraints: 119094
3600.04/3610.11 c #Conflicts: 1564000 | #Constraints: 120094
3600.04/3610.11 c #Conflicts: 1565000 | #Constraints: 121094
3600.04/3610.11 c #Conflicts: 1566000 | #Constraints: 122094
3600.04/3610.11 c #Conflicts: 1567000 | #Constraints: 123094
3600.04/3610.11 c #Conflicts: 1568000 | #Constraints: 124094
3600.04/3610.11 c #Conflicts: 1569000 | #Constraints: 125094
3600.04/3610.11 c #Conflicts: 1570000 | #Constraints: 126094
3600.04/3610.11 c #Conflicts: 1571000 | #Constraints: 127094
3600.04/3610.11 c #Conflicts: 1572000 | #Constraints: 128094
3600.04/3610.11 c #Conflicts: 1573000 | #Constraints: 129094
3600.04/3610.11 c #Conflicts: 1574000 | #Constraints: 130094
3600.04/3610.11 c #Conflicts: 1575000 | #Constraints: 131094
3600.04/3610.11 c #Conflicts: 1576000 | #Constraints: 132094
3600.04/3610.11 c #Conflicts: 1577000 | #Constraints: 133094
3600.04/3610.11 c #Conflicts: 1578000 | #Constraints: 134094
3600.04/3610.11 c #Conflicts: 1579000 | #Constraints: 135094
3600.04/3610.11 c #Conflicts: 1580000 | #Constraints: 136094
3600.04/3610.11 c #Conflicts: 1581000 | #Constraints: 137094
3600.04/3610.11 c Program interrupted by user.
3600.04/3610.11 c cpu time 3584.2 s
3600.04/3610.11 c deterministic time 575271774626 5.75e+11
3600.04/3610.11 c optimization time 242.412 s
3600.04/3610.11 c total solve time 3341.78 s
3600.04/3610.11 c core-guided solve time 3341.78 s
3600.04/3610.11 c propagation time 3030.59 s
3600.04/3610.11 c conflict analysis time 523.216 s
3600.04/3610.11 c propagations 90395706
3600.04/3610.11 c resolve steps 8202604
3600.04/3610.11 c decisions 9576759
3600.04/3610.11 c conflicts 1581626
3600.04/3610.11 c restarts 3068
3600.04/3610.11 c inprocessing phases 70
3600.04/3610.11 c input clauses 0
3600.04/3610.11 c input cardinalities 0
3600.04/3610.11 c input general constraints 25
3600.04/3610.11 c input average constraint length 292.16
3600.04/3610.11 c input average constraint degree 18502.28
3600.04/3610.11 c learned clauses 961019
3600.04/3610.11 c learned cardinalities 1968
3600.04/3610.11 c learned general constraints 618638
3600.04/3610.11 c learned average constraint length 169.35
3600.04/3610.11 c learned average constraint degree 2344821.20
3600.04/3610.11 c watched constraints 450742
3600.04/3610.11 c counting constraints 167921
3600.04/3610.11 c gcd simplifications 533571
3600.04/3610.11 c detected cardinalities 594
3600.04/3610.11 c weakened non-implied lits 127542030
3600.04/3610.11 c weakened non-implying lits 1170959
3600.04/3610.11 c original variables 319
3600.04/3610.11 c clausal propagations 2799461
3600.04/3610.11 c cardinality propagations 201222
3600.04/3610.11 c watched propagations 14338863
3600.04/3610.11 c counting propagations 71530587
3600.04/3610.11 c watch lookups 67029393364
3600.04/3610.11 c watch backjump lookups 60160780447
3600.04/3610.11 c watch checks 387285765356
3600.04/3610.11 c propagation checks 58722701095
3600.04/3610.11 c constraint additions 1871608101
3600.04/3610.11 c trail pops 101553797
3600.04/3610.11 c formula constraints 6
3600.04/3610.11 c learned constraints 1581625
3600.04/3610.11 c bound constraints 19
3600.04/3610.11 c core-guided constraints 0
3600.04/3610.11 c encountered formula constraints 496443
3600.04/3610.11 c encountered learned constraints 8665324
3600.04/3610.11 c encountered bound constraints 622463
3600.04/3610.11 c encountered core-guided constraints 0
3600.04/3610.11 c LP total time 0 s
3600.04/3610.11 c LP solve time 0 s
3600.04/3610.11 c LP constraints added 0
3600.04/3610.11 c LP constraints removed 0
3600.04/3610.11 c LP pivots internal 0
3600.04/3610.11 c LP pivots root 0
3600.04/3610.11 c LP calls 0
3600.04/3610.11 c LP optimalities 0
3600.04/3610.11 c LP no pivot count 0
3600.04/3610.11 c LP infeasibilities 0
3600.04/3610.11 c LP valid Farkas constraints 0
3600.04/3610.11 c LP learned Farkas constraints 0
3600.04/3610.11 c LP basis resets 0
3600.04/3610.11 c LP cycling count 0
3600.04/3610.11 c LP singular count 0
3600.04/3610.11 c LP no primal count 0
3600.04/3610.11 c LP no farkas count 0
3600.04/3610.11 c LP other issue count 0
3600.04/3610.11 c LP Gomory cuts 0
3600.04/3610.11 c LP learned cuts 0
3600.04/3610.11 c LP deleted cuts 0
3600.04/3610.11 c LP encountered Gomory constraints 0
3600.04/3610.11 c LP encountered Farkas constraints 0
3600.04/3610.11 c LP encountered learned Farkas constraints 0
3600.04/3610.11 c CG auxiliary variables introduced 0
3600.04/3610.11 c CG solutions found 18
3600.04/3610.11 c CG cores constructed 1
3600.04/3610.11 c CG core cardinality constraints returned 0
3600.04/3610.11 c CG unit cores 0
3600.04/3610.11 c CG single cores 1
3600.04/3610.11 c CG blocks removed during cardinality reduction 0
3600.04/3610.11 c CG first core best 0
3600.04/3610.11 c CG decision core best 0
3600.04/3610.11 c CG core reduction tie 0
3600.04/3610.11 c CG core degree average 1.00
3600.04/3610.11 c CG core slack average 292.00
3600.04/3610.11 c CG exhausted 0
3600.04/3610.11 c CG exhaust time 0 s
3600.04/3610.11 c CG trimmed 0
3600.04/3610.11 c CG trim time 0.000869 s
3600.04/3610.11 c CG minimized 0
3600.04/3610.11 c CG minimize time 0 s
3600.04/3610.11 c CG am1 prop time 0.000988 s
3600.04/3610.11 c CG # am1s reformulated 0
3600.04/3610.11 c CG lower bound derived from am1s 0
3600.04/3610.11 c CG # clausal cores 1
3600.04/3610.11 c CG # cardinality cores 0
3600.04/3610.11 c CG # pb cores 0
3600.04/3610.11 c CG # pb reforms 0
3600.04/3610.11 c CG # cores discarded because of pb reform 0
3600.04/3610.11 d LOWERBOUND 63
3600.04/3610.11 d NCORES 1
3600.04/3610.11 d NPBCORES 0
3600.04/3610.11 d NPBREFORM 0
3600.04/3610.11 d NTRIMMED 0
3600.04/3610.11 d NEXHAUSTED 0
3600.04/3610.11 d NAM1S 0
3600.04/3610.11 d AM1LB 0
3600.04/3610.11 o 307
3600.04/3610.11 s SATISFIABLE
3600.04/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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63263 MiB free)
memory of node 1: 64510 MiB (63424 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435787-1721076336/watcher-4435787-1721076336 -o /tmp/evaluation-result-4435787-1721076336/solver-4435787-1721076336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721076346-816034 --watchdog 3760 pb-oll-rs HOME/instance-4435787-1721076336.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=816278, runsolver pid=816275
Current StackSize limit: 8192 KiB
[startup+0.100732 s]*
/proc/loadavg: 1.16 1.12 1.52 5/245 816279
/proc/meminfo: memFree=129726064/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=39176 memory=6384 CPUtime=0.1 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 438 0 0 0 8 2 0 0 20 0 1 0 159792834 40116224 1596 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 9794 1596 1337 291 0 1328 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39176 KiB
Current children cumulated memory: 6384 KiB
[startup+0.212579 s]*
/proc/loadavg: 1.16 1.12 1.52 5/245 816279
/proc/meminfo: memFree=129724300/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=39304 memory=7032 CPUtime=0.21 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 599 0 0 0 19 2 0 0 20 0 1 0 159792834 40247296 1758 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 9826 1758 1337 291 0 1360 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 7032 KiB
[startup+0.312154 s]*
/proc/loadavg: 1.16 1.12 1.52 5/245 816279
/proc/meminfo: memFree=129722816/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=39436 memory=7560 CPUtime=0.31 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 733 0 0 0 28 3 0 0 20 0 1 0 159792834 40382464 1890 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 9859 1890 1337 291 0 1393 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39436 KiB
Current children cumulated memory: 7560 KiB
[startup+0.700259 s]
/proc/loadavg: 1.16 1.12 1.52 5/245 816279
/proc/meminfo: memFree=129719144/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=40216 memory=10724 CPUtime=0.68 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 1045 0 0 0 63 5 0 0 20 0 1 0 159792834 41181184 2681 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 10054 2681 1337 291 0 1588 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40216 KiB
Current children cumulated memory: 10724 KiB
[startup+1.50025 s]
/proc/loadavg: 1.16 1.12 1.52 6/245 816279
/proc/meminfo: memFree=129716092/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=41556 memory=12536 CPUtime=1.48 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 1383 0 0 0 140 8 0 0 20 0 1 0 159792834 42553344 3134 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 10389 3134 1398 291 0 1923 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41556 KiB
Current children cumulated memory: 12536 KiB
[startup+3.11271 s]
/proc/loadavg: 1.39 1.17 1.53 6/245 816279
/proc/meminfo: memFree=129699776/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=46200 memory=17312 CPUtime=3.09 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 2068 0 0 0 297 12 0 0 20 0 1 0 159792834 47308800 4328 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 11550 4328 1398 291 0 3084 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46200 KiB
Current children cumulated memory: 17312 KiB
[startup+6.30024 s]
/proc/loadavg: 1.39 1.17 1.53 6/245 816281
/proc/meminfo: memFree=129691956/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=48376 memory=19212 CPUtime=6.27 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 2539 0 0 0 608 19 0 0 20 0 1 0 159792834 49537024 4803 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 12094 4803 1398 291 0 3628 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48376 KiB
Current children cumulated memory: 19212 KiB
[startup+12.7003 s]
/proc/loadavg: 1.79 1.26 1.56 6/242 816281
/proc/meminfo: memFree=129666904/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=54288 memory=21968 CPUtime=12.66 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 3229 0 0 0 1233 33 0 0 20 0 1 0 159792834 55590912 5492 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 13572 5492 1398 291 0 5106 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54288 KiB
Current children cumulated memory: 21968 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 1.35 1.59 6/242 816284
/proc/meminfo: memFree=129615768/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=57696 memory=27316 CPUtime=25.42 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 4067 0 0 0 2484 58 0 0 20 0 1 0 159792834 59080704 6829 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 14424 6829 1398 291 0 5958 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57696 KiB
Current children cumulated memory: 27316 KiB
[startup+51.1127 s]
/proc/loadavg: 2.84 1.58 1.66 6/242 816333
/proc/meminfo: memFree=129163536/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=68944 memory=34756 CPUtime=50.95 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 5510 0 0 0 4993 102 0 0 20 0 1 0 159792834 70598656 8689 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 17236 8689 1398 291 0 8770 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 68944 KiB
Current children cumulated memory: 34756 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.01 1.80 6/242 816341
/proc/meminfo: memFree=128244500/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=120884 memory=76348 CPUtime=101.97 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 10940 0 0 0 10037 160 0 0 20 0 1 0 159792834 123785216 19087 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 30221 19087 1398 291 0 21755 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 120884 KiB
Current children cumulated memory: 76348 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.39 1.94 6/242 816351
/proc/meminfo: memFree=127958560/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=126476 memory=95656 CPUtime=161.8 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 12306 0 0 0 15974 206 0 0 20 0 1 0 159792834 129511424 23914 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 31619 23914 1398 291 0 23153 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 126476 KiB
Current children cumulated memory: 95656 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.71 2.09 6/241 816362
/proc/meminfo: memFree=127396076/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=173076 memory=115980 CPUtime=221.64 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 15485 0 0 0 21934 230 0 0 20 0 1 0 159792834 177229824 28995 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 43269 28995 1398 291 0 34803 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 173076 KiB
Current children cumulated memory: 115980 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.97 2.21 6/242 816375
/proc/meminfo: memFree=126945848/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=173900 memory=116820 CPUtime=281.48 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 15832 0 0 0 27872 276 0 0 20 0 1 0 159792834 178073600 29205 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 43475 29205 1398 291 0 35009 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 173900 KiB
Current children cumulated memory: 116820 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.17 2.33 6/242 816385
/proc/meminfo: memFree=126927320/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=180244 memory=121404 CPUtime=341.31 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 16963 0 0 0 33831 300 0 0 20 0 1 0 159792834 184569856 30351 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 45061 30351 1398 291 0 36595 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 180244 KiB
Current children cumulated memory: 121404 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.36 2.45 6/242 816396
/proc/meminfo: memFree=126822020/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=184252 memory=130696 CPUtime=401.14 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 18101 0 0 0 39779 335 0 0 20 0 1 0 159792834 188674048 32674 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 46063 32674 1398 291 0 37597 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 184252 KiB
Current children cumulated memory: 130696 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.49 2.56 6/242 816406
/proc/meminfo: memFree=126742036/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=184468 memory=130880 CPUtime=460.98 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 18148 0 0 0 45726 372 0 0 20 0 1 0 159792834 188895232 32720 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 46117 32720 1398 291 0 37651 0
################
# More data... #
################
Current children cumulated memory: 233212 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.02 6/244 818022
/proc/meminfo: memFree=123919724/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=291760 memory=236564 CPUtime=2914.06 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 35292 0 0 0 290006 1400 0 0 20 0 1 0 159792834 298762240 59141 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 72940 59141 1398 291 0 64474 0
Current children cumulated CPU time: 2914.06 s
Current children cumulated vsize: 291760 KiB
Current children cumulated memory: 236564 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.03 6/244 818032
/proc/meminfo: memFree=123916112/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=292756 memory=237432 CPUtime=2973.9 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 35596 0 0 0 295963 1427 0 0 20 0 1 0 159792834 299782144 59358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 73189 59358 1398 291 0 64723 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 292756 KiB
Current children cumulated memory: 237432 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.03 6/241 818044
/proc/meminfo: memFree=123797956/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=292756 memory=237432 CPUtime=3033.74 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 35695 0 0 0 301933 1441 0 0 20 0 1 0 159792834 299782144 59358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 73189 59358 1398 291 0 64723 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 292756 KiB
Current children cumulated memory: 237432 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.04 6/241 818054
/proc/meminfo: memFree=123686316/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=292756 memory=237452 CPUtime=3093.58 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 35803 0 0 0 307904 1454 0 0 20 0 1 0 159792834 299782144 59363 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 73189 59363 1398 291 0 64723 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 292756 KiB
Current children cumulated memory: 237452 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.04 6/241 818064
/proc/meminfo: memFree=123322204/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=292624 memory=237324 CPUtime=3153.43 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 35914 0 0 0 313877 1466 0 0 20 0 1 0 159792834 299646976 59331 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 73156 59331 1398 291 0 64690 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 292624 KiB
Current children cumulated memory: 237324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.05 6/241 818075
/proc/meminfo: memFree=123020152/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=294188 memory=238012 CPUtime=3213.27 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 36255 0 0 0 319849 1478 0 0 20 0 1 0 159792834 301248512 59503 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 73547 59503 1398 291 0 65081 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 294188 KiB
Current children cumulated memory: 238012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.15 4.06 8/244 818090
/proc/meminfo: memFree=122901908/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=299308 memory=249168 CPUtime=3273.1 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 37111 0 0 0 325823 1487 0 0 20 0 1 0 159792834 306491392 62292 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 74827 62292 1398 291 0 66361 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 299308 KiB
Current children cumulated memory: 249168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.06 6/245 818103
/proc/meminfo: memFree=122822596/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=301224 memory=252564 CPUtime=3332.95 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 37802 0 0 0 331787 1508 0 0 20 0 1 0 159792834 308453376 63141 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 75306 63141 1398 291 0 66840 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 301224 KiB
Current children cumulated memory: 252564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.06 6/245 818114
/proc/meminfo: memFree=122757628/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=302220 memory=253432 CPUtime=3392.79 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 38101 0 0 0 337747 1532 0 0 20 0 1 0 159792834 309473280 63358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 75555 63358 1398 291 0 67089 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 253432 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.15 4.07 6/245 818124
/proc/meminfo: memFree=122720284/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=302220 memory=253432 CPUtime=3452.63 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 38111 0 0 0 343714 1549 0 0 20 0 1 0 159792834 309473280 63358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 75555 63358 1398 291 0 67089 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 253432 KiB
[startup+3522.3 s]
/proc/loadavg: 4.82 4.34 4.14 6/245 818136
/proc/meminfo: memFree=122678208/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=302220 memory=253432 CPUtime=3512.46 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 38216 0 0 0 349681 1565 0 0 20 0 1 0 159792834 309473280 63358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 75555 63358 1398 291 0 67089 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 253432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.40 4.30 4.14 6/245 818146
/proc/meminfo: memFree=122654668/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=302220 memory=253432 CPUtime=3572.31 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 38224 0 0 0 355651 1580 0 0 20 0 1 0 159792834 309473280 63358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 75555 63358 1398 291 0 67089 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 253432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.26 4.28 4.14 5/245 818198
/proc/meminfo: memFree=122946496/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=302220 memory=253432 CPUtime=3600.04 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 38226 0 0 0 358419 1585 0 0 20 0 1 0 159792834 309473280 63358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 75555 63358 1398 291 0 67089 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 253432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 816278 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.2 s, system=15.8543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.26 4.28 4.14 5/245 818198
/proc/meminfo: memFree=122946496/131655788 swapFree=131071996/131071996
[pid=816278] ppid=816275 vsize=302220 memory=253432 CPUtime=3600.04 cores=1,3
/proc/816278/stat : 816278 (pb-oll-rs) R 816275 816278 816022 0 -1 4194304 38226 0 0 0 358419 1585 0 0 20 0 1 0 159792834 309473280 63358 134679101440 4194304 5384005 140733605599344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 14458880 140733605602327 140733605602404 140733605602404 140733605609419 0
/proc/816278/statm: 75555 63358 1398 291 0 67089 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 253432 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.05
CPU user time (s): 3584.2
CPU system time (s): 15.8543
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 303068
Max. memory (cumulated for all children) (KiB): 253820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.2
system time used= 15.8543
maximum resident set size= 253820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38243
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= 96
involuntary context switches= 2230
# summary of solver processes directly reported to runsolver:
# pid: 816278
# total CPU time (s): 3600.05
# total CPU user time (s): 3584.2
# total CPU system time (s): 15.8543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0019 second user time and 36.4322 second system time
The end
Begin job on nodeC010 at 2024-07-15 22:45:47
IDJOB=4435787
IDBENCH=146929
IDSOLVER=3067
FILE ID=nodeC010/4435787-1721076336
RUNJOBID= nodeC010-1721076346-816034
SLURM_JOB_ID= 7505551
Free space on /tmp= 723776 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435787-1721076336/watcher-4435787-1721076336 -o /tmp/evaluation-result-4435787-1721076336/solver-4435787-1721076336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721076346-816034 --watchdog 3760 pb-oll-rs HOME/instance-4435787-1721076336.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa
RANDOM SEED=1385183916
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1840.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.292
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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.181
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 1640.863
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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 : 1345.767
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.168
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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.189
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129728072 kB
MemAvailable: 129941876 kB
Buffers: 382464 kB
Cached: 674804 kB
SwapCached: 0 kB
Active: 693536 kB
Inactive: 716720 kB
Active(anon): 1432 kB
Inactive(anon): 388948 kB
Active(file): 692104 kB
Inactive(file): 327772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9404 kB
Writeback: 0 kB
AnonPages: 352772 kB
Mapped: 107644 kB
Shmem: 37704 kB
KReclaimable: 67916 kB
Slab: 160708 kB
SReclaimable: 67916 kB
SUnreclaim: 92792 kB
KernelStack: 3996 kB
PageTables: 10048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 667796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51232 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC010 at 2024-07-15 23:45:58