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.000452
0.00/0.00 c stratification level: 85
0.00/0.00 c bounds 710 >= 0 @ 0.000913
0.00/0.00 c stratification level: 83
0.00/0.00 c bounds 689 >= 0 @ 0.000976
0.00/0.00 c stratification level: 82
0.00/0.00 c bounds 670 >= 0 @ 0.000991
0.00/0.00 c stratification level: 81
0.00/0.00 c bounds 432 >= 0 @ 0.001415
0.00/0.00 c stratification level: 80
0.00/0.00 c bounds 431 >= 0 @ 0.002326
0.00/0.00 c stratification level: 78
0.00/0.00 c bounds 430 >= 0 @ 0.003655
0.00/0.00 c stratification level: 77
0.00/0.00 c bounds 429 >= 0 @ 0.004052
0.00/0.00 c stratification level: 76
0.00/0.00 c bounds 426 >= 0 @ 0.00562
0.00/0.00 c stratification level: 75
0.00/0.01 c bounds 423 >= 0 @ 0.006626
0.00/0.01 c stratification level: 73
0.00/0.01 c bounds 421 >= 0 @ 0.006992
0.00/0.01 c stratification level: 72
0.00/0.01 c bounds 367 >= 0 @ 0.009702
0.00/0.01 c stratification level: 70
0.00/0.01 c bounds 363 >= 0 @ 0.010104
0.00/0.01 c stratification level: 69
0.00/0.05 c bounds 362 >= 0 @ 0.050936
0.00/0.05 c stratification level: 68
0.00/0.05 c bounds 360 >= 0 @ 0.051622
0.00/0.05 c stratification level: 67
0.00/0.06 c bounds 359 >= 0 @ 0.052998
0.00/0.06 c stratification level: 66
0.00/0.09 c bounds 309 >= 0 @ 0.088215
0.00/0.09 c stratification level: 65
0.09/0.13 c #Conflicts: 1000 | #Constraints: 1021
0.09/0.13 c bounds 308 >= 0 @ 0.116532
0.09/0.13 c stratification level: 64
0.09/0.13 c bounds 307 >= 0 @ 0.123911
0.09/0.13 c stratification level: 63
23.11/23.21 c bounds 307 >= 63 @ 0.127568
23.11/23.21 c #Conflicts: 2000 | #Constraints: 2024
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 3000 | #Constraints: 2011
23.11/23.21 c #Conflicts: 4000 | #Constraints: 3011
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 5000 | #Constraints: 2421
23.11/23.21 c #Conflicts: 6000 | #Constraints: 3421
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 7000 | #Constraints: 2427
23.11/23.21 c #Conflicts: 8000 | #Constraints: 3427
23.11/23.21 c #Conflicts: 9000 | #Constraints: 4427
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 10000 | #Constraints: 3127
23.11/23.21 c #Conflicts: 11000 | #Constraints: 4127
23.11/23.21 c #Conflicts: 12000 | #Constraints: 5127
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 13000 | #Constraints: 3582
23.11/23.21 c #Conflicts: 14000 | #Constraints: 4582
23.11/23.21 c #Conflicts: 15000 | #Constraints: 5582
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 16000 | #Constraints: 3806
23.11/23.21 c #Conflicts: 17000 | #Constraints: 4806
23.11/23.21 c #Conflicts: 18000 | #Constraints: 5806
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 19000 | #Constraints: 3820
23.11/23.21 c #Conflicts: 20000 | #Constraints: 4820
23.11/23.21 c #Conflicts: 21000 | #Constraints: 5820
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 22000 | #Constraints: 3636
23.11/23.21 c #Conflicts: 23000 | #Constraints: 4636
23.11/23.21 c #Conflicts: 24000 | #Constraints: 5636
23.11/23.21 c #Conflicts: 25000 | #Constraints: 6636
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 26000 | #Constraints: 4235
23.11/23.21 c #Conflicts: 27000 | #Constraints: 5235
23.11/23.21 c #Conflicts: 28000 | #Constraints: 6235
23.11/23.21 c #Conflicts: 29000 | #Constraints: 7235
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 30000 | #Constraints: 4643
23.11/23.21 c #Conflicts: 31000 | #Constraints: 5643
23.11/23.21 c #Conflicts: 32000 | #Constraints: 6643
23.11/23.21 c #Conflicts: 33000 | #Constraints: 7643
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 34000 | #Constraints: 4843
23.11/23.21 c #Conflicts: 35000 | #Constraints: 5843
23.11/23.21 c #Conflicts: 36000 | #Constraints: 6843
23.11/23.21 c #Conflicts: 37000 | #Constraints: 7843
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 38000 | #Constraints: 4833
23.11/23.21 c #Conflicts: 39000 | #Constraints: 5833
23.11/23.21 c #Conflicts: 40000 | #Constraints: 6833
23.11/23.21 c #Conflicts: 41000 | #Constraints: 7833
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 42000 | #Constraints: 4632
23.11/23.21 c #Conflicts: 43000 | #Constraints: 5632
23.11/23.21 c #Conflicts: 44000 | #Constraints: 6632
23.11/23.21 c #Conflicts: 45000 | #Constraints: 7632
23.11/23.21 c #Conflicts: 46000 | #Constraints: 8632
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 47000 | #Constraints: 5227
23.11/23.21 c #Conflicts: 48000 | #Constraints: 6227
23.11/23.21 c #Conflicts: 49000 | #Constraints: 7227
23.11/23.21 c #Conflicts: 50000 | #Constraints: 8227
23.11/23.21 c #Conflicts: 51000 | #Constraints: 9227
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 52000 | #Constraints: 5626
23.11/23.21 c #Conflicts: 53000 | #Constraints: 6626
23.11/23.21 c #Conflicts: 54000 | #Constraints: 7626
23.11/23.21 c #Conflicts: 55000 | #Constraints: 8626
23.11/23.21 c #Conflicts: 56000 | #Constraints: 9626
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 57000 | #Constraints: 5844
23.11/23.21 c #Conflicts: 58000 | #Constraints: 6844
23.11/23.21 c #Conflicts: 59000 | #Constraints: 7844
23.11/23.21 c #Conflicts: 60000 | #Constraints: 8844
23.11/23.21 c #Conflicts: 61000 | #Constraints: 9844
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 62000 | #Constraints: 5839
23.11/23.21 c #Conflicts: 63000 | #Constraints: 6839
23.11/23.21 c #Conflicts: 64000 | #Constraints: 7839
23.11/23.21 c #Conflicts: 65000 | #Constraints: 8839
23.11/23.21 c #Conflicts: 66000 | #Constraints: 9839
23.11/23.21 c INPROCESSING
23.11/23.21 c GARBAGE COLLECT
23.11/23.21 c #Conflicts: 67000 | #Constraints: 5637
23.11/23.21 c #Conflicts: 68000 | #Constraints: 6637
55.11/55.39 c #Conflicts: 69000 | #Constraints: 7637
55.11/55.39 c #Conflicts: 70000 | #Constraints: 8637
55.11/55.39 c #Conflicts: 71000 | #Constraints: 9637
55.11/55.39 c #Conflicts: 72000 | #Constraints: 10637
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 73000 | #Constraints: 6240
55.11/55.39 c #Conflicts: 74000 | #Constraints: 7240
55.11/55.39 c #Conflicts: 75000 | #Constraints: 8240
55.11/55.39 c #Conflicts: 76000 | #Constraints: 9240
55.11/55.39 c #Conflicts: 77000 | #Constraints: 10240
55.11/55.39 c #Conflicts: 78000 | #Constraints: 11240
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 79000 | #Constraints: 6648
55.11/55.39 c #Conflicts: 80000 | #Constraints: 7648
55.11/55.39 c #Conflicts: 81000 | #Constraints: 8648
55.11/55.39 c #Conflicts: 82000 | #Constraints: 9648
55.11/55.39 c #Conflicts: 83000 | #Constraints: 10648
55.11/55.39 c #Conflicts: 84000 | #Constraints: 11648
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 85000 | #Constraints: 6841
55.11/55.39 c #Conflicts: 86000 | #Constraints: 7841
55.11/55.39 c #Conflicts: 87000 | #Constraints: 8841
55.11/55.39 c #Conflicts: 88000 | #Constraints: 9841
55.11/55.39 c #Conflicts: 89000 | #Constraints: 10841
55.11/55.39 c #Conflicts: 90000 | #Constraints: 11841
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 91000 | #Constraints: 6834
55.11/55.39 c #Conflicts: 92000 | #Constraints: 7834
55.11/55.39 c #Conflicts: 93000 | #Constraints: 8834
55.11/55.39 c #Conflicts: 94000 | #Constraints: 9834
55.11/55.39 c #Conflicts: 95000 | #Constraints: 10834
55.11/55.39 c #Conflicts: 96000 | #Constraints: 11834
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 97000 | #Constraints: 6629
55.11/55.39 c #Conflicts: 98000 | #Constraints: 7629
55.11/55.39 c #Conflicts: 99000 | #Constraints: 8629
55.11/55.39 c #Conflicts: 100000 | #Constraints: 9629
55.11/55.39 c #Conflicts: 101000 | #Constraints: 10629
55.11/55.39 c #Conflicts: 102000 | #Constraints: 11629
55.11/55.39 c #Conflicts: 103000 | #Constraints: 12629
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 104000 | #Constraints: 7254
55.11/55.39 c #Conflicts: 105000 | #Constraints: 8254
55.11/55.39 c #Conflicts: 106000 | #Constraints: 9254
55.11/55.39 c #Conflicts: 107000 | #Constraints: 10254
55.11/55.39 c #Conflicts: 108000 | #Constraints: 11254
55.11/55.39 c #Conflicts: 109000 | #Constraints: 12254
55.11/55.39 c #Conflicts: 110000 | #Constraints: 13254
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 111000 | #Constraints: 7654
55.11/55.39 c #Conflicts: 112000 | #Constraints: 8654
55.11/55.39 c #Conflicts: 113000 | #Constraints: 9654
55.11/55.39 c #Conflicts: 114000 | #Constraints: 10654
55.11/55.39 c #Conflicts: 115000 | #Constraints: 11654
55.11/55.39 c #Conflicts: 116000 | #Constraints: 12654
55.11/55.39 c #Conflicts: 117000 | #Constraints: 13654
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 118000 | #Constraints: 7851
55.11/55.39 c #Conflicts: 119000 | #Constraints: 8851
55.11/55.39 c #Conflicts: 120000 | #Constraints: 9851
55.11/55.39 c #Conflicts: 121000 | #Constraints: 10851
55.11/55.39 c #Conflicts: 122000 | #Constraints: 11851
55.11/55.39 c #Conflicts: 123000 | #Constraints: 12851
55.11/55.39 c #Conflicts: 124000 | #Constraints: 13851
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 125000 | #Constraints: 7870
55.11/55.39 c #Conflicts: 126000 | #Constraints: 8870
55.11/55.39 c #Conflicts: 127000 | #Constraints: 9870
55.11/55.39 c #Conflicts: 128000 | #Constraints: 10870
55.11/55.39 c #Conflicts: 129000 | #Constraints: 11870
55.11/55.39 c #Conflicts: 130000 | #Constraints: 12870
55.11/55.39 c #Conflicts: 131000 | #Constraints: 13870
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 132000 | #Constraints: 7676
55.11/55.39 c #Conflicts: 133000 | #Constraints: 8676
55.11/55.39 c #Conflicts: 134000 | #Constraints: 9676
55.11/55.39 c #Conflicts: 135000 | #Constraints: 10676
55.11/55.39 c #Conflicts: 136000 | #Constraints: 11676
55.11/55.39 c #Conflicts: 137000 | #Constraints: 12676
55.11/55.39 c #Conflicts: 138000 | #Constraints: 13676
55.11/55.39 c #Conflicts: 139000 | #Constraints: 14676
55.11/55.39 c INPROCESSING
55.11/55.39 c GARBAGE COLLECT
55.11/55.39 c #Conflicts: 140000 | #Constraints: 8264
141.42/141.92 c #Conflicts: 141000 | #Constraints: 9264
141.42/141.92 c #Conflicts: 142000 | #Constraints: 10264
141.42/141.92 c #Conflicts: 143000 | #Constraints: 11264
141.42/141.92 c #Conflicts: 144000 | #Constraints: 12264
141.42/141.92 c #Conflicts: 145000 | #Constraints: 13264
141.42/141.92 c #Conflicts: 146000 | #Constraints: 14264
141.42/141.92 c #Conflicts: 147000 | #Constraints: 15264
141.42/141.92 c INPROCESSING
141.42/141.92 c GARBAGE COLLECT
141.42/141.92 c #Conflicts: 148000 | #Constraints: 8644
141.42/141.92 c #Conflicts: 149000 | #Constraints: 9644
141.42/141.92 c #Conflicts: 150000 | #Constraints: 10644
141.42/141.92 c #Conflicts: 151000 | #Constraints: 11644
141.42/141.92 c #Conflicts: 152000 | #Constraints: 12644
141.42/141.92 c #Conflicts: 153000 | #Constraints: 13644
141.42/141.92 c #Conflicts: 154000 | #Constraints: 14644
141.42/141.92 c #Conflicts: 155000 | #Constraints: 15644
141.42/141.92 c INPROCESSING
141.42/141.92 c GARBAGE COLLECT
141.42/141.92 c #Conflicts: 156000 | #Constraints: 8844
141.42/141.92 c #Conflicts: 157000 | #Constraints: 9844
141.42/141.92 c #Conflicts: 158000 | #Constraints: 10844
141.42/141.92 c #Conflicts: 159000 | #Constraints: 11844
141.42/141.92 c #Conflicts: 160000 | #Constraints: 12844
141.42/141.92 c #Conflicts: 161000 | #Constraints: 13844
141.42/141.92 c #Conflicts: 162000 | #Constraints: 14844
141.42/141.92 c #Conflicts: 163000 | #Constraints: 15844
141.42/141.92 c INPROCESSING
141.42/141.92 c GARBAGE COLLECT
141.42/141.92 c #Conflicts: 164000 | #Constraints: 8836
141.42/141.92 c #Conflicts: 165000 | #Constraints: 9836
141.42/141.92 c #Conflicts: 166000 | #Constraints: 10836
141.42/141.92 c #Conflicts: 167000 | #Constraints: 11836
141.42/141.92 c #Conflicts: 168000 | #Constraints: 12836
141.42/141.92 c #Conflicts: 169000 | #Constraints: 13836
141.42/141.92 c #Conflicts: 170000 | #Constraints: 14836
141.42/141.92 c #Conflicts: 171000 | #Constraints: 15836
141.42/141.92 c #Conflicts: 172000 | #Constraints: 16836
141.42/141.92 c #Conflicts: 173000 | #Constraints: 17836
141.42/141.92 c #Conflicts: 174000 | #Constraints: 18836
141.42/141.92 c #Conflicts: 175000 | #Constraints: 19836
141.42/141.92 c #Conflicts: 176000 | #Constraints: 20836
141.42/141.92 c #Conflicts: 177000 | #Constraints: 21836
141.42/141.92 c #Conflicts: 178000 | #Constraints: 22836
141.42/141.92 c #Conflicts: 179000 | #Constraints: 23836
141.42/141.92 c #Conflicts: 180000 | #Constraints: 24836
141.42/141.92 c #Conflicts: 181000 | #Constraints: 25836
141.42/141.92 c #Conflicts: 182000 | #Constraints: 26836
141.42/141.92 c #Conflicts: 183000 | #Constraints: 27836
141.42/141.92 c #Conflicts: 184000 | #Constraints: 28836
141.42/141.92 c #Conflicts: 185000 | #Constraints: 29836
141.42/141.92 c #Conflicts: 186000 | #Constraints: 30836
141.42/141.92 c #Conflicts: 187000 | #Constraints: 31836
141.42/141.92 c #Conflicts: 188000 | #Constraints: 32836
141.42/141.92 c #Conflicts: 189000 | #Constraints: 33836
141.42/141.92 c #Conflicts: 190000 | #Constraints: 34836
141.42/141.92 c #Conflicts: 191000 | #Constraints: 35836
141.42/141.92 c #Conflicts: 192000 | #Constraints: 36836
141.42/141.92 c #Conflicts: 193000 | #Constraints: 37836
141.42/141.92 c #Conflicts: 194000 | #Constraints: 38836
141.42/141.92 c #Conflicts: 195000 | #Constraints: 39836
141.42/141.92 c #Conflicts: 196000 | #Constraints: 40836
141.42/141.92 c #Conflicts: 197000 | #Constraints: 41836
141.42/141.92 c #Conflicts: 198000 | #Constraints: 42836
141.42/141.92 c #Conflicts: 199000 | #Constraints: 43836
141.42/141.92 c #Conflicts: 200000 | #Constraints: 44836
141.42/141.92 c #Conflicts: 201000 | #Constraints: 45836
141.42/141.92 c INPROCESSING
141.42/141.92 c GARBAGE COLLECT
141.42/141.92 c #Conflicts: 202000 | #Constraints: 23785
141.42/141.92 c #Conflicts: 203000 | #Constraints: 24785
141.42/141.92 c #Conflicts: 204000 | #Constraints: 25785
141.42/141.92 c #Conflicts: 205000 | #Constraints: 26785
141.42/141.92 c #Conflicts: 206000 | #Constraints: 27785
141.42/141.92 c #Conflicts: 207000 | #Constraints: 28785
141.42/141.92 c #Conflicts: 208000 | #Constraints: 29785
141.42/141.92 c #Conflicts: 209000 | #Constraints: 30785
141.42/141.92 c #Conflicts: 210000 | #Constraints: 31785
141.42/141.92 c INPROCESSING
141.42/141.92 c GARBAGE COLLECT
141.42/141.92 c #Conflicts: 211000 | #Constraints: 16541
141.42/141.92 c #Conflicts: 212000 | #Constraints: 17541
141.42/141.92 c #Conflicts: 213000 | #Constraints: 18541
141.42/141.92 c #Conflicts: 214000 | #Constraints: 19541
141.42/141.92 c #Conflicts: 215000 | #Constraints: 20541
141.42/141.92 c #Conflicts: 216000 | #Constraints: 21541
250.65/251.58 c #Conflicts: 217000 | #Constraints: 22541
250.65/251.58 c #Conflicts: 218000 | #Constraints: 23541
250.65/251.58 c #Conflicts: 219000 | #Constraints: 24541
250.65/251.58 c #Conflicts: 220000 | #Constraints: 25541
250.65/251.58 c INPROCESSING
250.65/251.58 c GARBAGE COLLECT
250.65/251.58 c #Conflicts: 221000 | #Constraints: 13533
250.65/251.58 c #Conflicts: 222000 | #Constraints: 14533
250.65/251.58 c #Conflicts: 223000 | #Constraints: 15533
250.65/251.58 c #Conflicts: 224000 | #Constraints: 16533
250.65/251.58 c #Conflicts: 225000 | #Constraints: 17533
250.65/251.58 c #Conflicts: 226000 | #Constraints: 18533
250.65/251.58 c #Conflicts: 227000 | #Constraints: 19533
250.65/251.58 c #Conflicts: 228000 | #Constraints: 20533
250.65/251.58 c #Conflicts: 229000 | #Constraints: 21533
250.65/251.58 c #Conflicts: 230000 | #Constraints: 22533
250.65/251.58 c INPROCESSING
250.65/251.58 c GARBAGE COLLECT
250.65/251.58 c #Conflicts: 231000 | #Constraints: 12083
250.65/251.58 c #Conflicts: 232000 | #Constraints: 13083
250.65/251.58 c #Conflicts: 233000 | #Constraints: 14083
250.65/251.58 c #Conflicts: 234000 | #Constraints: 15083
250.65/251.58 c #Conflicts: 235000 | #Constraints: 16083
250.65/251.58 c #Conflicts: 236000 | #Constraints: 17083
250.65/251.58 c #Conflicts: 237000 | #Constraints: 18083
250.65/251.58 c #Conflicts: 238000 | #Constraints: 19083
250.65/251.58 c #Conflicts: 239000 | #Constraints: 20083
250.65/251.58 c #Conflicts: 240000 | #Constraints: 21083
250.65/251.58 c #Conflicts: 241000 | #Constraints: 22083
250.65/251.58 c #Conflicts: 242000 | #Constraints: 23083
250.65/251.58 c #Conflicts: 243000 | #Constraints: 24083
250.65/251.58 c #Conflicts: 244000 | #Constraints: 25083
250.65/251.58 c #Conflicts: 245000 | #Constraints: 26083
250.65/251.58 c #Conflicts: 246000 | #Constraints: 27083
250.65/251.58 c #Conflicts: 247000 | #Constraints: 28083
250.65/251.58 c #Conflicts: 248000 | #Constraints: 29083
250.65/251.58 c #Conflicts: 249000 | #Constraints: 30083
250.65/251.58 c #Conflicts: 250000 | #Constraints: 31083
250.65/251.58 c #Conflicts: 251000 | #Constraints: 32083
250.65/251.58 c #Conflicts: 252000 | #Constraints: 33083
250.65/251.58 c #Conflicts: 253000 | #Constraints: 34083
250.65/251.58 c #Conflicts: 254000 | #Constraints: 35083
250.65/251.58 c #Conflicts: 255000 | #Constraints: 36083
250.65/251.58 c #Conflicts: 256000 | #Constraints: 37083
250.65/251.58 c #Conflicts: 257000 | #Constraints: 38083
250.65/251.58 c #Conflicts: 258000 | #Constraints: 39083
250.65/251.58 c #Conflicts: 259000 | #Constraints: 40083
250.65/251.58 c #Conflicts: 260000 | #Constraints: 41083
250.65/251.58 c #Conflicts: 261000 | #Constraints: 42083
250.65/251.58 c #Conflicts: 262000 | #Constraints: 43083
250.65/251.58 c #Conflicts: 263000 | #Constraints: 44083
250.65/251.58 c #Conflicts: 264000 | #Constraints: 45083
250.65/251.58 c #Conflicts: 265000 | #Constraints: 46083
250.65/251.58 c #Conflicts: 266000 | #Constraints: 47083
250.65/251.58 c #Conflicts: 267000 | #Constraints: 48083
250.65/251.58 c #Conflicts: 268000 | #Constraints: 49083
250.65/251.58 c #Conflicts: 269000 | #Constraints: 50083
250.65/251.58 c #Conflicts: 270000 | #Constraints: 51083
250.65/251.58 c #Conflicts: 271000 | #Constraints: 52083
250.65/251.58 c #Conflicts: 272000 | #Constraints: 53083
250.65/251.58 c #Conflicts: 273000 | #Constraints: 54083
250.65/251.58 c INPROCESSING
250.65/251.58 c GARBAGE COLLECT
250.65/251.58 c #Conflicts: 274000 | #Constraints: 27658
250.65/251.58 c #Conflicts: 275000 | #Constraints: 28658
250.65/251.58 c #Conflicts: 276000 | #Constraints: 29658
250.65/251.58 c #Conflicts: 277000 | #Constraints: 30658
250.65/251.58 c #Conflicts: 278000 | #Constraints: 31658
250.65/251.58 c #Conflicts: 279000 | #Constraints: 32658
250.65/251.58 c #Conflicts: 280000 | #Constraints: 33658
250.65/251.58 c #Conflicts: 281000 | #Constraints: 34658
250.65/251.58 c #Conflicts: 282000 | #Constraints: 35658
250.65/251.58 c #Conflicts: 283000 | #Constraints: 36658
250.65/251.58 c #Conflicts: 284000 | #Constraints: 37658
250.65/251.58 c #Conflicts: 285000 | #Constraints: 38658
250.65/251.58 c INPROCESSING
250.65/251.58 c GARBAGE COLLECT
250.65/251.58 c #Conflicts: 286000 | #Constraints: 20345
250.65/251.58 c #Conflicts: 287000 | #Constraints: 21345
250.65/251.58 c #Conflicts: 288000 | #Constraints: 22345
250.65/251.58 c #Conflicts: 289000 | #Constraints: 23345
250.65/251.58 c #Conflicts: 290000 | #Constraints: 24345
250.65/251.58 c #Conflicts: 291000 | #Constraints: 25345
250.65/251.58 c #Conflicts: 292000 | #Constraints: 26345
399.44/400.80 c #Conflicts: 293000 | #Constraints: 27345
399.44/400.80 c #Conflicts: 294000 | #Constraints: 28345
399.44/400.80 c #Conflicts: 295000 | #Constraints: 29345
399.44/400.80 c #Conflicts: 296000 | #Constraints: 30345
399.44/400.80 c INPROCESSING
399.44/400.80 c GARBAGE COLLECT
399.44/400.80 c #Conflicts: 297000 | #Constraints: 15088
399.44/400.80 c #Conflicts: 298000 | #Constraints: 16088
399.44/400.80 c #Conflicts: 299000 | #Constraints: 17088
399.44/400.80 c #Conflicts: 300000 | #Constraints: 18088
399.44/400.80 c #Conflicts: 301000 | #Constraints: 19088
399.44/400.80 c #Conflicts: 302000 | #Constraints: 20088
399.44/400.80 c #Conflicts: 303000 | #Constraints: 21088
399.44/400.80 c #Conflicts: 304000 | #Constraints: 22088
399.44/400.80 c #Conflicts: 305000 | #Constraints: 23088
399.44/400.80 c #Conflicts: 306000 | #Constraints: 24088
399.44/400.80 c #Conflicts: 307000 | #Constraints: 25088
399.44/400.80 c #Conflicts: 308000 | #Constraints: 26088
399.44/400.80 c #Conflicts: 309000 | #Constraints: 27088
399.44/400.80 c #Conflicts: 310000 | #Constraints: 28088
399.44/400.80 c #Conflicts: 311000 | #Constraints: 29088
399.44/400.80 c #Conflicts: 312000 | #Constraints: 30088
399.44/400.80 c #Conflicts: 313000 | #Constraints: 31088
399.44/400.80 c #Conflicts: 314000 | #Constraints: 32088
399.44/400.80 c #Conflicts: 315000 | #Constraints: 33088
399.44/400.80 c #Conflicts: 316000 | #Constraints: 34088
399.44/400.80 c #Conflicts: 317000 | #Constraints: 35088
399.44/400.80 c #Conflicts: 318000 | #Constraints: 36088
399.44/400.80 c #Conflicts: 319000 | #Constraints: 37088
399.44/400.80 c #Conflicts: 320000 | #Constraints: 38088
399.44/400.80 c #Conflicts: 321000 | #Constraints: 39088
399.44/400.80 c #Conflicts: 322000 | #Constraints: 40088
399.44/400.80 c #Conflicts: 323000 | #Constraints: 41088
399.44/400.80 c #Conflicts: 324000 | #Constraints: 42088
399.44/400.80 c #Conflicts: 325000 | #Constraints: 43088
399.44/400.80 c #Conflicts: 326000 | #Constraints: 44088
399.44/400.80 c #Conflicts: 327000 | #Constraints: 45088
399.44/400.80 c #Conflicts: 328000 | #Constraints: 46088
399.44/400.80 c #Conflicts: 329000 | #Constraints: 47088
399.44/400.80 c #Conflicts: 330000 | #Constraints: 48088
399.44/400.80 c #Conflicts: 331000 | #Constraints: 49088
399.44/400.80 c #Conflicts: 332000 | #Constraints: 50088
399.44/400.80 c #Conflicts: 333000 | #Constraints: 51088
399.44/400.80 c #Conflicts: 334000 | #Constraints: 52088
399.44/400.80 c #Conflicts: 335000 | #Constraints: 53088
399.44/400.80 c #Conflicts: 336000 | #Constraints: 54088
399.44/400.80 c #Conflicts: 337000 | #Constraints: 55088
399.44/400.80 c #Conflicts: 338000 | #Constraints: 56088
399.44/400.80 c #Conflicts: 339000 | #Constraints: 57088
399.44/400.80 c #Conflicts: 340000 | #Constraints: 58088
399.44/400.80 c #Conflicts: 341000 | #Constraints: 59088
399.44/400.80 c #Conflicts: 342000 | #Constraints: 60088
399.44/400.80 c #Conflicts: 343000 | #Constraints: 61088
399.44/400.80 c #Conflicts: 344000 | #Constraints: 62088
399.44/400.80 c INPROCESSING
399.44/400.80 c GARBAGE COLLECT
399.44/400.80 c #Conflicts: 345000 | #Constraints: 32055
399.44/400.80 c #Conflicts: 346000 | #Constraints: 33055
399.44/400.80 c #Conflicts: 347000 | #Constraints: 34055
399.44/400.80 c #Conflicts: 348000 | #Constraints: 35055
399.44/400.80 c #Conflicts: 349000 | #Constraints: 36055
399.44/400.80 c #Conflicts: 350000 | #Constraints: 37055
399.44/400.80 c #Conflicts: 351000 | #Constraints: 38055
399.44/400.80 c #Conflicts: 352000 | #Constraints: 39055
399.44/400.80 c #Conflicts: 353000 | #Constraints: 40055
399.44/400.80 c #Conflicts: 354000 | #Constraints: 41055
399.44/400.80 c #Conflicts: 355000 | #Constraints: 42055
399.44/400.80 c #Conflicts: 356000 | #Constraints: 43055
399.44/400.80 c INPROCESSING
399.44/400.80 c GARBAGE COLLECT
399.44/400.80 c #Conflicts: 357000 | #Constraints: 22192
399.44/400.80 c #Conflicts: 358000 | #Constraints: 23192
399.44/400.80 c #Conflicts: 359000 | #Constraints: 24192
399.44/400.80 c #Conflicts: 360000 | #Constraints: 25192
399.44/400.80 c #Conflicts: 361000 | #Constraints: 26192
399.44/400.80 c #Conflicts: 362000 | #Constraints: 27192
399.44/400.80 c #Conflicts: 363000 | #Constraints: 28192
399.44/400.80 c #Conflicts: 364000 | #Constraints: 29192
399.44/400.80 c #Conflicts: 365000 | #Constraints: 30192
399.44/400.80 c #Conflicts: 366000 | #Constraints: 31192
399.44/400.80 c #Conflicts: 367000 | #Constraints: 32192
399.44/400.80 c #Conflicts: 368000 | #Constraints: 33192
399.44/400.80 c #Conflicts: 369000 | #Constraints: 34192
523.43/525.20 c INPROCESSING
523.43/525.20 c GARBAGE COLLECT
523.43/525.20 c #Conflicts: 370000 | #Constraints: 17814
523.43/525.20 c #Conflicts: 371000 | #Constraints: 18814
523.43/525.20 c #Conflicts: 372000 | #Constraints: 19814
523.43/525.20 c #Conflicts: 373000 | #Constraints: 20814
523.43/525.20 c #Conflicts: 374000 | #Constraints: 21814
523.43/525.20 c #Conflicts: 375000 | #Constraints: 22814
523.43/525.20 c #Conflicts: 376000 | #Constraints: 23814
523.43/525.20 c #Conflicts: 377000 | #Constraints: 24814
523.43/525.20 c #Conflicts: 378000 | #Constraints: 25814
523.43/525.20 c #Conflicts: 379000 | #Constraints: 26814
523.43/525.20 c #Conflicts: 380000 | #Constraints: 27814
523.43/525.20 c #Conflicts: 381000 | #Constraints: 28814
523.43/525.20 c #Conflicts: 382000 | #Constraints: 29814
523.43/525.20 c #Conflicts: 383000 | #Constraints: 30814
523.43/525.20 c #Conflicts: 384000 | #Constraints: 31814
523.43/525.20 c #Conflicts: 385000 | #Constraints: 32814
523.43/525.20 c #Conflicts: 386000 | #Constraints: 33814
523.43/525.20 c #Conflicts: 387000 | #Constraints: 34814
523.43/525.20 c #Conflicts: 388000 | #Constraints: 35814
523.43/525.20 c #Conflicts: 389000 | #Constraints: 36814
523.43/525.20 c #Conflicts: 390000 | #Constraints: 37814
523.43/525.20 c #Conflicts: 391000 | #Constraints: 38814
523.43/525.20 c #Conflicts: 392000 | #Constraints: 39814
523.43/525.20 c #Conflicts: 393000 | #Constraints: 40814
523.43/525.20 c #Conflicts: 394000 | #Constraints: 41814
523.43/525.20 c #Conflicts: 395000 | #Constraints: 42814
523.43/525.20 c #Conflicts: 396000 | #Constraints: 43814
523.43/525.20 c #Conflicts: 397000 | #Constraints: 44814
523.43/525.20 c #Conflicts: 398000 | #Constraints: 45814
523.43/525.20 c #Conflicts: 399000 | #Constraints: 46814
523.43/525.20 c #Conflicts: 400000 | #Constraints: 47814
523.43/525.20 c #Conflicts: 401000 | #Constraints: 48814
523.43/525.20 c #Conflicts: 402000 | #Constraints: 49814
523.43/525.20 c #Conflicts: 403000 | #Constraints: 50814
523.43/525.20 c #Conflicts: 404000 | #Constraints: 51814
523.43/525.20 c #Conflicts: 405000 | #Constraints: 52814
523.43/525.20 c #Conflicts: 406000 | #Constraints: 53814
523.43/525.20 c #Conflicts: 407000 | #Constraints: 54814
523.43/525.20 c #Conflicts: 408000 | #Constraints: 55814
523.43/525.20 c #Conflicts: 409000 | #Constraints: 56814
523.43/525.20 c #Conflicts: 410000 | #Constraints: 57814
523.43/525.20 c #Conflicts: 411000 | #Constraints: 58814
523.43/525.20 c #Conflicts: 412000 | #Constraints: 59814
523.43/525.20 c #Conflicts: 413000 | #Constraints: 60814
523.43/525.20 c #Conflicts: 414000 | #Constraints: 61814
523.43/525.20 c #Conflicts: 415000 | #Constraints: 62814
523.43/525.20 c #Conflicts: 416000 | #Constraints: 63814
523.43/525.20 c #Conflicts: 417000 | #Constraints: 64814
523.43/525.20 c #Conflicts: 418000 | #Constraints: 65814
523.43/525.20 c #Conflicts: 419000 | #Constraints: 66814
523.43/525.20 c #Conflicts: 420000 | #Constraints: 67814
523.43/525.20 c #Conflicts: 421000 | #Constraints: 68814
523.43/525.20 c INPROCESSING
523.43/525.20 c GARBAGE COLLECT
523.43/525.20 c #Conflicts: 422000 | #Constraints: 35224
523.43/525.20 c #Conflicts: 423000 | #Constraints: 36224
523.43/525.20 c #Conflicts: 424000 | #Constraints: 37224
523.43/525.20 c #Conflicts: 425000 | #Constraints: 38224
523.43/525.20 c #Conflicts: 426000 | #Constraints: 39224
523.43/525.20 c #Conflicts: 427000 | #Constraints: 40224
523.43/525.20 c #Conflicts: 428000 | #Constraints: 41224
523.43/525.20 c #Conflicts: 429000 | #Constraints: 42224
523.43/525.20 c #Conflicts: 430000 | #Constraints: 43224
523.43/525.20 c #Conflicts: 431000 | #Constraints: 44224
523.43/525.20 c #Conflicts: 432000 | #Constraints: 45224
523.43/525.20 c #Conflicts: 433000 | #Constraints: 46224
523.43/525.20 c #Conflicts: 434000 | #Constraints: 47224
523.43/525.20 c #Conflicts: 435000 | #Constraints: 48224
523.43/525.20 c INPROCESSING
523.43/525.20 c GARBAGE COLLECT
523.43/525.20 c #Conflicts: 436000 | #Constraints: 24822
523.43/525.20 c #Conflicts: 437000 | #Constraints: 25822
523.43/525.20 c #Conflicts: 438000 | #Constraints: 26822
523.43/525.20 c #Conflicts: 439000 | #Constraints: 27822
523.43/525.20 c #Conflicts: 440000 | #Constraints: 28822
523.43/525.20 c #Conflicts: 441000 | #Constraints: 29822
523.43/525.20 c #Conflicts: 442000 | #Constraints: 30822
523.43/525.20 c #Conflicts: 443000 | #Constraints: 31822
523.43/525.20 c #Conflicts: 444000 | #Constraints: 32822
523.43/525.20 c #Conflicts: 445000 | #Constraints: 33822
523.43/525.20 c #Conflicts: 446000 | #Constraints: 34822
637.13/639.34 c #Conflicts: 447000 | #Constraints: 35822
637.13/639.34 c #Conflicts: 448000 | #Constraints: 36822
637.13/639.34 c #Conflicts: 449000 | #Constraints: 37822
637.13/639.34 c #Conflicts: 450000 | #Constraints: 38822
637.13/639.34 c INPROCESSING
637.13/639.34 c GARBAGE COLLECT
637.13/639.34 c #Conflicts: 451000 | #Constraints: 20433
637.13/639.34 c #Conflicts: 452000 | #Constraints: 21433
637.13/639.34 c #Conflicts: 453000 | #Constraints: 22433
637.13/639.34 c #Conflicts: 454000 | #Constraints: 23433
637.13/639.34 c #Conflicts: 455000 | #Constraints: 24433
637.13/639.34 c #Conflicts: 456000 | #Constraints: 25433
637.13/639.34 c #Conflicts: 457000 | #Constraints: 26433
637.13/639.34 c #Conflicts: 458000 | #Constraints: 27433
637.13/639.34 c #Conflicts: 459000 | #Constraints: 28433
637.13/639.34 c #Conflicts: 460000 | #Constraints: 29433
637.13/639.34 c #Conflicts: 461000 | #Constraints: 30433
637.13/639.34 c #Conflicts: 462000 | #Constraints: 31433
637.13/639.34 c #Conflicts: 463000 | #Constraints: 32433
637.13/639.34 c #Conflicts: 464000 | #Constraints: 33433
637.13/639.34 c #Conflicts: 465000 | #Constraints: 34433
637.13/639.34 c #Conflicts: 466000 | #Constraints: 35433
637.13/639.34 c #Conflicts: 467000 | #Constraints: 36433
637.13/639.34 c #Conflicts: 468000 | #Constraints: 37433
637.13/639.34 c #Conflicts: 469000 | #Constraints: 38433
637.13/639.34 c #Conflicts: 470000 | #Constraints: 39433
637.13/639.34 c #Conflicts: 471000 | #Constraints: 40433
637.13/639.34 c #Conflicts: 472000 | #Constraints: 41433
637.13/639.34 c #Conflicts: 473000 | #Constraints: 42433
637.13/639.34 c #Conflicts: 474000 | #Constraints: 43433
637.13/639.34 c #Conflicts: 475000 | #Constraints: 44433
637.13/639.34 c #Conflicts: 476000 | #Constraints: 45433
637.13/639.34 c #Conflicts: 477000 | #Constraints: 46433
637.13/639.34 c #Conflicts: 478000 | #Constraints: 47433
637.13/639.34 c #Conflicts: 479000 | #Constraints: 48433
637.13/639.34 c #Conflicts: 480000 | #Constraints: 49433
637.13/639.34 c #Conflicts: 481000 | #Constraints: 50433
637.13/639.34 c #Conflicts: 482000 | #Constraints: 51433
637.13/639.34 c #Conflicts: 483000 | #Constraints: 52433
637.13/639.34 c #Conflicts: 484000 | #Constraints: 53433
637.13/639.34 c #Conflicts: 485000 | #Constraints: 54433
637.13/639.34 c #Conflicts: 486000 | #Constraints: 55433
637.13/639.34 c #Conflicts: 487000 | #Constraints: 56433
637.13/639.34 c #Conflicts: 488000 | #Constraints: 57433
637.13/639.34 c #Conflicts: 489000 | #Constraints: 58433
637.13/639.34 c #Conflicts: 490000 | #Constraints: 59433
637.13/639.34 c #Conflicts: 491000 | #Constraints: 60433
637.13/639.34 c #Conflicts: 492000 | #Constraints: 61433
637.13/639.34 c #Conflicts: 493000 | #Constraints: 62433
637.13/639.34 c #Conflicts: 494000 | #Constraints: 63433
637.13/639.34 c #Conflicts: 495000 | #Constraints: 64433
637.13/639.34 c #Conflicts: 496000 | #Constraints: 65433
637.13/639.34 c #Conflicts: 497000 | #Constraints: 66433
637.13/639.34 c #Conflicts: 498000 | #Constraints: 67433
637.13/639.34 c #Conflicts: 499000 | #Constraints: 68433
637.13/639.34 c #Conflicts: 500000 | #Constraints: 69433
637.13/639.34 c #Conflicts: 501000 | #Constraints: 70433
637.13/639.34 c #Conflicts: 502000 | #Constraints: 71433
637.13/639.34 c #Conflicts: 503000 | #Constraints: 72433
637.13/639.34 c #Conflicts: 504000 | #Constraints: 73433
637.13/639.34 c #Conflicts: 505000 | #Constraints: 74433
637.13/639.34 c #Conflicts: 506000 | #Constraints: 75433
637.13/639.34 c INPROCESSING
637.13/639.34 c GARBAGE COLLECT
637.13/639.34 c #Conflicts: 507000 | #Constraints: 38741
637.13/639.34 c #Conflicts: 508000 | #Constraints: 39741
637.13/639.34 c #Conflicts: 509000 | #Constraints: 40741
637.13/639.34 c #Conflicts: 510000 | #Constraints: 41741
637.13/639.34 c #Conflicts: 511000 | #Constraints: 42741
637.13/639.34 c #Conflicts: 512000 | #Constraints: 43741
637.13/639.34 c #Conflicts: 513000 | #Constraints: 44741
637.13/639.34 c #Conflicts: 514000 | #Constraints: 45741
637.13/639.34 c #Conflicts: 515000 | #Constraints: 46741
637.13/639.34 c #Conflicts: 516000 | #Constraints: 47741
637.13/639.34 c #Conflicts: 517000 | #Constraints: 48741
637.13/639.34 c #Conflicts: 518000 | #Constraints: 49741
637.13/639.34 c #Conflicts: 519000 | #Constraints: 50741
637.13/639.34 c #Conflicts: 520000 | #Constraints: 51741
637.13/639.34 c #Conflicts: 521000 | #Constraints: 52741
637.13/639.34 c INPROCESSING
637.13/639.34 c GARBAGE COLLECT
637.13/639.34 c #Conflicts: 522000 | #Constraints: 27038
805.16/807.96 c #Conflicts: 523000 | #Constraints: 28038
805.16/807.96 c #Conflicts: 524000 | #Constraints: 29038
805.16/807.96 c #Conflicts: 525000 | #Constraints: 30038
805.16/807.96 c #Conflicts: 526000 | #Constraints: 31038
805.16/807.96 c #Conflicts: 527000 | #Constraints: 32038
805.16/807.96 c #Conflicts: 528000 | #Constraints: 33038
805.16/807.96 c #Conflicts: 529000 | #Constraints: 34038
805.16/807.96 c #Conflicts: 530000 | #Constraints: 35038
805.16/807.96 c #Conflicts: 531000 | #Constraints: 36038
805.16/807.96 c #Conflicts: 532000 | #Constraints: 37038
805.16/807.96 c #Conflicts: 533000 | #Constraints: 38038
805.16/807.96 c #Conflicts: 534000 | #Constraints: 39038
805.16/807.96 c #Conflicts: 535000 | #Constraints: 40038
805.16/807.96 c #Conflicts: 536000 | #Constraints: 41038
805.16/807.96 c #Conflicts: 537000 | #Constraints: 42038
805.16/807.96 c INPROCESSING
805.16/807.96 c GARBAGE COLLECT
805.16/807.96 c #Conflicts: 538000 | #Constraints: 21729
805.16/807.96 c #Conflicts: 539000 | #Constraints: 22729
805.16/807.96 c #Conflicts: 540000 | #Constraints: 23729
805.16/807.96 c #Conflicts: 541000 | #Constraints: 24729
805.16/807.96 c #Conflicts: 542000 | #Constraints: 25729
805.16/807.96 c #Conflicts: 543000 | #Constraints: 26729
805.16/807.96 c #Conflicts: 544000 | #Constraints: 27729
805.16/807.96 c #Conflicts: 545000 | #Constraints: 28729
805.16/807.96 c #Conflicts: 546000 | #Constraints: 29729
805.16/807.96 c #Conflicts: 547000 | #Constraints: 30729
805.16/807.96 c #Conflicts: 548000 | #Constraints: 31729
805.16/807.96 c #Conflicts: 549000 | #Constraints: 32729
805.16/807.96 c #Conflicts: 550000 | #Constraints: 33729
805.16/807.96 c #Conflicts: 551000 | #Constraints: 34729
805.16/807.96 c #Conflicts: 552000 | #Constraints: 35729
805.16/807.96 c #Conflicts: 553000 | #Constraints: 36729
805.16/807.96 c #Conflicts: 554000 | #Constraints: 37729
805.16/807.96 c #Conflicts: 555000 | #Constraints: 38729
805.16/807.96 c #Conflicts: 556000 | #Constraints: 39729
805.16/807.96 c #Conflicts: 557000 | #Constraints: 40729
805.16/807.96 c #Conflicts: 558000 | #Constraints: 41729
805.16/807.96 c #Conflicts: 559000 | #Constraints: 42729
805.16/807.96 c #Conflicts: 560000 | #Constraints: 43729
805.16/807.96 c #Conflicts: 561000 | #Constraints: 44729
805.16/807.96 c #Conflicts: 562000 | #Constraints: 45729
805.16/807.96 c #Conflicts: 563000 | #Constraints: 46729
805.16/807.96 c #Conflicts: 564000 | #Constraints: 47729
805.16/807.96 c #Conflicts: 565000 | #Constraints: 48729
805.16/807.96 c #Conflicts: 566000 | #Constraints: 49729
805.16/807.96 c #Conflicts: 567000 | #Constraints: 50729
805.16/807.96 c #Conflicts: 568000 | #Constraints: 51729
805.16/807.96 c #Conflicts: 569000 | #Constraints: 52729
805.16/807.96 c #Conflicts: 570000 | #Constraints: 53729
805.16/807.96 c #Conflicts: 571000 | #Constraints: 54729
805.16/807.96 c #Conflicts: 572000 | #Constraints: 55729
805.16/807.96 c #Conflicts: 573000 | #Constraints: 56729
805.16/807.96 c #Conflicts: 574000 | #Constraints: 57729
805.16/807.96 c #Conflicts: 575000 | #Constraints: 58729
805.16/807.96 c #Conflicts: 576000 | #Constraints: 59729
805.16/807.96 c #Conflicts: 577000 | #Constraints: 60729
805.16/807.96 c #Conflicts: 578000 | #Constraints: 61729
805.16/807.96 c #Conflicts: 579000 | #Constraints: 62729
805.16/807.96 c #Conflicts: 580000 | #Constraints: 63729
805.16/807.96 c #Conflicts: 581000 | #Constraints: 64729
805.16/807.96 c #Conflicts: 582000 | #Constraints: 65729
805.16/807.96 c #Conflicts: 583000 | #Constraints: 66729
805.16/807.96 c #Conflicts: 584000 | #Constraints: 67729
805.16/807.96 c #Conflicts: 585000 | #Constraints: 68729
805.16/807.96 c #Conflicts: 586000 | #Constraints: 69729
805.16/807.96 c #Conflicts: 587000 | #Constraints: 70729
805.16/807.96 c #Conflicts: 588000 | #Constraints: 71729
805.16/807.96 c #Conflicts: 589000 | #Constraints: 72729
805.16/807.96 c #Conflicts: 590000 | #Constraints: 73729
805.16/807.96 c #Conflicts: 591000 | #Constraints: 74729
805.16/807.96 c #Conflicts: 592000 | #Constraints: 75729
805.16/807.96 c #Conflicts: 593000 | #Constraints: 76729
805.16/807.96 c #Conflicts: 594000 | #Constraints: 77729
805.16/807.96 c #Conflicts: 595000 | #Constraints: 78729
805.16/807.96 c #Conflicts: 596000 | #Constraints: 79729
805.16/807.96 c #Conflicts: 597000 | #Constraints: 80729
805.16/807.96 c INPROCESSING
805.16/807.96 c GARBAGE COLLECT
805.16/807.96 c #Conflicts: 598000 | #Constraints: 39589
805.16/807.96 c #Conflicts: 599000 | #Constraints: 40589
805.16/807.96 c #Conflicts: 600000 | #Constraints: 41589
954.06/957.31 c #Conflicts: 601000 | #Constraints: 42589
954.06/957.31 c #Conflicts: 602000 | #Constraints: 43589
954.06/957.31 c #Conflicts: 603000 | #Constraints: 44589
954.06/957.31 c #Conflicts: 604000 | #Constraints: 45589
954.06/957.31 c #Conflicts: 605000 | #Constraints: 46589
954.06/957.31 c #Conflicts: 606000 | #Constraints: 47589
954.06/957.31 c #Conflicts: 607000 | #Constraints: 48589
954.06/957.31 c #Conflicts: 608000 | #Constraints: 49589
954.06/957.31 c #Conflicts: 609000 | #Constraints: 50589
954.06/957.31 c #Conflicts: 610000 | #Constraints: 51589
954.06/957.31 c #Conflicts: 611000 | #Constraints: 52589
954.06/957.31 c #Conflicts: 612000 | #Constraints: 53589
954.06/957.31 c #Conflicts: 613000 | #Constraints: 54589
954.06/957.31 c #Conflicts: 614000 | #Constraints: 55589
954.06/957.31 c #Conflicts: 615000 | #Constraints: 56589
954.06/957.31 c INPROCESSING
954.06/957.31 c GARBAGE COLLECT
954.06/957.31 c #Conflicts: 616000 | #Constraints: 29311
954.06/957.31 c #Conflicts: 617000 | #Constraints: 30311
954.06/957.31 c #Conflicts: 618000 | #Constraints: 31311
954.06/957.31 c #Conflicts: 619000 | #Constraints: 32311
954.06/957.31 c #Conflicts: 620000 | #Constraints: 33311
954.06/957.31 c #Conflicts: 621000 | #Constraints: 34311
954.06/957.31 c #Conflicts: 622000 | #Constraints: 35311
954.06/957.31 c #Conflicts: 623000 | #Constraints: 36311
954.06/957.31 c #Conflicts: 624000 | #Constraints: 37311
954.06/957.31 c #Conflicts: 625000 | #Constraints: 38311
954.06/957.31 c #Conflicts: 626000 | #Constraints: 39311
954.06/957.31 c #Conflicts: 627000 | #Constraints: 40311
954.06/957.31 c #Conflicts: 628000 | #Constraints: 41311
954.06/957.31 c #Conflicts: 629000 | #Constraints: 42311
954.06/957.31 c #Conflicts: 630000 | #Constraints: 43311
954.06/957.31 c #Conflicts: 631000 | #Constraints: 44311
954.06/957.31 c #Conflicts: 632000 | #Constraints: 45311
954.06/957.31 c INPROCESSING
954.06/957.31 c GARBAGE COLLECT
954.06/957.31 c #Conflicts: 633000 | #Constraints: 23470
954.06/957.31 c #Conflicts: 634000 | #Constraints: 24470
954.06/957.31 c #Conflicts: 635000 | #Constraints: 25470
954.06/957.31 c #Conflicts: 636000 | #Constraints: 26470
954.06/957.31 c #Conflicts: 637000 | #Constraints: 27470
954.06/957.31 c #Conflicts: 638000 | #Constraints: 28470
954.06/957.31 c #Conflicts: 639000 | #Constraints: 29470
954.06/957.31 c #Conflicts: 640000 | #Constraints: 30470
954.06/957.31 c #Conflicts: 641000 | #Constraints: 31470
954.06/957.31 c #Conflicts: 642000 | #Constraints: 32470
954.06/957.31 c #Conflicts: 643000 | #Constraints: 33470
954.06/957.31 c #Conflicts: 644000 | #Constraints: 34470
954.06/957.31 c #Conflicts: 645000 | #Constraints: 35470
954.06/957.31 c #Conflicts: 646000 | #Constraints: 36470
954.06/957.31 c #Conflicts: 647000 | #Constraints: 37470
954.06/957.31 c #Conflicts: 648000 | #Constraints: 38470
954.06/957.31 c #Conflicts: 649000 | #Constraints: 39470
954.06/957.31 c #Conflicts: 650000 | #Constraints: 40470
954.06/957.31 c #Conflicts: 651000 | #Constraints: 41470
954.06/957.31 c #Conflicts: 652000 | #Constraints: 42470
954.06/957.31 c #Conflicts: 653000 | #Constraints: 43470
954.06/957.31 c #Conflicts: 654000 | #Constraints: 44470
954.06/957.31 c #Conflicts: 655000 | #Constraints: 45470
954.06/957.31 c #Conflicts: 656000 | #Constraints: 46470
954.06/957.31 c #Conflicts: 657000 | #Constraints: 47470
954.06/957.31 c #Conflicts: 658000 | #Constraints: 48470
954.06/957.31 c #Conflicts: 659000 | #Constraints: 49470
954.06/957.31 c #Conflicts: 660000 | #Constraints: 50470
954.06/957.31 c #Conflicts: 661000 | #Constraints: 51470
954.06/957.31 c #Conflicts: 662000 | #Constraints: 52470
954.06/957.31 c #Conflicts: 663000 | #Constraints: 53470
954.06/957.31 c #Conflicts: 664000 | #Constraints: 54470
954.06/957.31 c #Conflicts: 665000 | #Constraints: 55470
954.06/957.31 c #Conflicts: 666000 | #Constraints: 56470
954.06/957.31 c #Conflicts: 667000 | #Constraints: 57470
954.06/957.31 c #Conflicts: 668000 | #Constraints: 58470
954.06/957.31 c #Conflicts: 669000 | #Constraints: 59470
954.06/957.31 c #Conflicts: 670000 | #Constraints: 60470
954.06/957.31 c #Conflicts: 671000 | #Constraints: 61470
954.06/957.31 c #Conflicts: 672000 | #Constraints: 62470
954.06/957.31 c #Conflicts: 673000 | #Constraints: 63470
954.06/957.31 c #Conflicts: 674000 | #Constraints: 64470
954.06/957.31 c #Conflicts: 675000 | #Constraints: 65470
954.06/957.31 c #Conflicts: 676000 | #Constraints: 66470
954.06/957.31 c #Conflicts: 677000 | #Constraints: 67470
1118.71/1122.57 c #Conflicts: 678000 | #Constraints: 68470
1118.71/1122.57 c #Conflicts: 679000 | #Constraints: 69470
1118.71/1122.57 c #Conflicts: 680000 | #Constraints: 70470
1118.71/1122.57 c #Conflicts: 681000 | #Constraints: 71470
1118.71/1122.57 c #Conflicts: 682000 | #Constraints: 72470
1118.71/1122.57 c #Conflicts: 683000 | #Constraints: 73470
1118.71/1122.57 c #Conflicts: 684000 | #Constraints: 74470
1118.71/1122.57 c #Conflicts: 685000 | #Constraints: 75470
1118.71/1122.57 c #Conflicts: 686000 | #Constraints: 76470
1118.71/1122.57 c #Conflicts: 687000 | #Constraints: 77470
1118.71/1122.57 c #Conflicts: 688000 | #Constraints: 78470
1118.71/1122.57 c #Conflicts: 689000 | #Constraints: 79470
1118.71/1122.57 c #Conflicts: 690000 | #Constraints: 80470
1118.71/1122.57 c #Conflicts: 691000 | #Constraints: 81470
1118.71/1122.57 c #Conflicts: 692000 | #Constraints: 82470
1118.71/1122.57 c #Conflicts: 693000 | #Constraints: 83470
1118.71/1122.57 c #Conflicts: 694000 | #Constraints: 84470
1118.71/1122.57 c #Conflicts: 695000 | #Constraints: 85470
1118.71/1122.57 c #Conflicts: 696000 | #Constraints: 86470
1118.71/1122.57 c INPROCESSING
1118.71/1122.57 c GARBAGE COLLECT
1118.71/1122.57 c #Conflicts: 697000 | #Constraints: 43858
1118.71/1122.57 c #Conflicts: 698000 | #Constraints: 44858
1118.71/1122.57 c #Conflicts: 699000 | #Constraints: 45858
1118.71/1122.57 c #Conflicts: 700000 | #Constraints: 46858
1118.71/1122.57 c #Conflicts: 701000 | #Constraints: 47858
1118.71/1122.57 c #Conflicts: 702000 | #Constraints: 48858
1118.71/1122.57 c #Conflicts: 703000 | #Constraints: 49858
1118.71/1122.57 c #Conflicts: 704000 | #Constraints: 50858
1118.71/1122.57 c #Conflicts: 705000 | #Constraints: 51858
1118.71/1122.57 c #Conflicts: 706000 | #Constraints: 52858
1118.71/1122.57 c #Conflicts: 707000 | #Constraints: 53858
1118.71/1122.57 c #Conflicts: 708000 | #Constraints: 54858
1118.71/1122.57 c #Conflicts: 709000 | #Constraints: 55858
1118.71/1122.57 c #Conflicts: 710000 | #Constraints: 56858
1118.71/1122.57 c #Conflicts: 711000 | #Constraints: 57858
1118.71/1122.57 c #Conflicts: 712000 | #Constraints: 58858
1118.71/1122.57 c #Conflicts: 713000 | #Constraints: 59858
1118.71/1122.57 c #Conflicts: 714000 | #Constraints: 60858
1118.71/1122.57 c #Conflicts: 715000 | #Constraints: 61858
1118.71/1122.57 c INPROCESSING
1118.71/1122.57 c GARBAGE COLLECT
1118.71/1122.57 c #Conflicts: 716000 | #Constraints: 31693
1118.71/1122.57 c #Conflicts: 717000 | #Constraints: 32693
1118.71/1122.57 c #Conflicts: 718000 | #Constraints: 33693
1118.71/1122.57 c #Conflicts: 719000 | #Constraints: 34693
1118.71/1122.57 c #Conflicts: 720000 | #Constraints: 35693
1118.71/1122.57 c #Conflicts: 721000 | #Constraints: 36693
1118.71/1122.57 c #Conflicts: 722000 | #Constraints: 37693
1118.71/1122.57 c #Conflicts: 723000 | #Constraints: 38693
1118.71/1122.57 c #Conflicts: 724000 | #Constraints: 39693
1118.71/1122.57 c #Conflicts: 725000 | #Constraints: 40693
1118.71/1122.57 c #Conflicts: 726000 | #Constraints: 41693
1118.71/1122.57 c #Conflicts: 727000 | #Constraints: 42693
1118.71/1122.57 c #Conflicts: 728000 | #Constraints: 43693
1118.71/1122.57 c #Conflicts: 729000 | #Constraints: 44693
1118.71/1122.57 c #Conflicts: 730000 | #Constraints: 45693
1118.71/1122.57 c #Conflicts: 731000 | #Constraints: 46693
1118.71/1122.57 c #Conflicts: 732000 | #Constraints: 47693
1118.71/1122.57 c #Conflicts: 733000 | #Constraints: 48693
1118.71/1122.57 c #Conflicts: 734000 | #Constraints: 49693
1118.71/1122.57 c INPROCESSING
1118.71/1122.57 c GARBAGE COLLECT
1118.71/1122.57 c #Conflicts: 735000 | #Constraints: 25663
1118.71/1122.57 c #Conflicts: 736000 | #Constraints: 26663
1118.71/1122.57 c #Conflicts: 737000 | #Constraints: 27663
1118.71/1122.57 c #Conflicts: 738000 | #Constraints: 28663
1118.71/1122.57 c #Conflicts: 739000 | #Constraints: 29663
1118.71/1122.57 c #Conflicts: 740000 | #Constraints: 30663
1118.71/1122.57 c #Conflicts: 741000 | #Constraints: 31663
1118.71/1122.57 c #Conflicts: 742000 | #Constraints: 32663
1118.71/1122.57 c #Conflicts: 743000 | #Constraints: 33663
1118.71/1122.57 c #Conflicts: 744000 | #Constraints: 34663
1118.71/1122.57 c #Conflicts: 745000 | #Constraints: 35663
1118.71/1122.57 c #Conflicts: 746000 | #Constraints: 36663
1118.71/1122.57 c #Conflicts: 747000 | #Constraints: 37663
1118.71/1122.57 c #Conflicts: 748000 | #Constraints: 38663
1118.71/1122.57 c #Conflicts: 749000 | #Constraints: 39663
1118.71/1122.57 c #Conflicts: 750000 | #Constraints: 40663
1118.71/1122.57 c #Conflicts: 751000 | #Constraints: 41663
1118.71/1122.57 c #Conflicts: 752000 | #Constraints: 42663
1118.71/1122.57 c #Conflicts: 753000 | #Constraints: 43663
1118.71/1122.57 c #Conflicts: 754000 | #Constraints: 44663
1358.40/1363.10 c #Conflicts: 755000 | #Constraints: 45663
1358.40/1363.10 c #Conflicts: 756000 | #Constraints: 46663
1358.40/1363.10 c #Conflicts: 757000 | #Constraints: 47663
1358.40/1363.10 c #Conflicts: 758000 | #Constraints: 48663
1358.40/1363.10 c #Conflicts: 759000 | #Constraints: 49663
1358.40/1363.10 c #Conflicts: 760000 | #Constraints: 50663
1358.40/1363.10 c #Conflicts: 761000 | #Constraints: 51663
1358.40/1363.10 c #Conflicts: 762000 | #Constraints: 52663
1358.40/1363.10 c #Conflicts: 763000 | #Constraints: 53663
1358.40/1363.10 c #Conflicts: 764000 | #Constraints: 54663
1358.40/1363.10 c #Conflicts: 765000 | #Constraints: 55663
1358.40/1363.10 c #Conflicts: 766000 | #Constraints: 56663
1358.40/1363.10 c #Conflicts: 767000 | #Constraints: 57663
1358.40/1363.10 c #Conflicts: 768000 | #Constraints: 58663
1358.40/1363.10 c #Conflicts: 769000 | #Constraints: 59663
1358.40/1363.10 c #Conflicts: 770000 | #Constraints: 60663
1358.40/1363.10 c #Conflicts: 771000 | #Constraints: 61663
1358.40/1363.10 c #Conflicts: 772000 | #Constraints: 62663
1358.40/1363.10 c #Conflicts: 773000 | #Constraints: 63663
1358.40/1363.10 c #Conflicts: 774000 | #Constraints: 64663
1358.40/1363.10 c #Conflicts: 775000 | #Constraints: 65663
1358.40/1363.10 c #Conflicts: 776000 | #Constraints: 66663
1358.40/1363.10 c #Conflicts: 777000 | #Constraints: 67663
1358.40/1363.10 c #Conflicts: 778000 | #Constraints: 68663
1358.40/1363.10 c #Conflicts: 779000 | #Constraints: 69663
1358.40/1363.10 c #Conflicts: 780000 | #Constraints: 70663
1358.40/1363.10 c #Conflicts: 781000 | #Constraints: 71663
1358.40/1363.10 c #Conflicts: 782000 | #Constraints: 72663
1358.40/1363.10 c #Conflicts: 783000 | #Constraints: 73663
1358.40/1363.10 c #Conflicts: 784000 | #Constraints: 74663
1358.40/1363.10 c #Conflicts: 785000 | #Constraints: 75663
1358.40/1363.10 c #Conflicts: 786000 | #Constraints: 76663
1358.40/1363.10 c #Conflicts: 787000 | #Constraints: 77663
1358.40/1363.10 c #Conflicts: 788000 | #Constraints: 78663
1358.40/1363.10 c #Conflicts: 789000 | #Constraints: 79663
1358.40/1363.10 c #Conflicts: 790000 | #Constraints: 80663
1358.40/1363.10 c #Conflicts: 791000 | #Constraints: 81663
1358.40/1363.10 c #Conflicts: 792000 | #Constraints: 82663
1358.40/1363.10 c #Conflicts: 793000 | #Constraints: 83663
1358.40/1363.10 c #Conflicts: 794000 | #Constraints: 84663
1358.40/1363.10 c #Conflicts: 795000 | #Constraints: 85663
1358.40/1363.10 c #Conflicts: 796000 | #Constraints: 86663
1358.40/1363.10 c #Conflicts: 797000 | #Constraints: 87663
1358.40/1363.10 c #Conflicts: 798000 | #Constraints: 88663
1358.40/1363.10 c #Conflicts: 799000 | #Constraints: 89663
1358.40/1363.10 c #Conflicts: 800000 | #Constraints: 90663
1358.40/1363.10 c #Conflicts: 801000 | #Constraints: 91663
1358.40/1363.10 c #Conflicts: 802000 | #Constraints: 92663
1358.40/1363.10 c #Conflicts: 803000 | #Constraints: 93663
1358.40/1363.10 c INPROCESSING
1358.40/1363.10 c GARBAGE COLLECT
1358.40/1363.10 c #Conflicts: 804000 | #Constraints: 47850
1358.40/1363.10 c #Conflicts: 805000 | #Constraints: 48850
1358.40/1363.10 c #Conflicts: 806000 | #Constraints: 49850
1358.40/1363.10 c #Conflicts: 807000 | #Constraints: 50850
1358.40/1363.10 c #Conflicts: 808000 | #Constraints: 51850
1358.40/1363.10 c #Conflicts: 809000 | #Constraints: 52850
1358.40/1363.10 c #Conflicts: 810000 | #Constraints: 53850
1358.40/1363.10 c #Conflicts: 811000 | #Constraints: 54850
1358.40/1363.10 c #Conflicts: 812000 | #Constraints: 55850
1358.40/1363.10 c #Conflicts: 813000 | #Constraints: 56850
1358.40/1363.10 c #Conflicts: 814000 | #Constraints: 57850
1358.40/1363.10 c #Conflicts: 815000 | #Constraints: 58850
1358.40/1363.10 c #Conflicts: 816000 | #Constraints: 59850
1358.40/1363.10 c #Conflicts: 817000 | #Constraints: 60850
1358.40/1363.10 c #Conflicts: 818000 | #Constraints: 61850
1358.40/1363.10 c #Conflicts: 819000 | #Constraints: 62850
1358.40/1363.10 c #Conflicts: 820000 | #Constraints: 63850
1358.40/1363.10 c #Conflicts: 821000 | #Constraints: 64850
1358.40/1363.10 c #Conflicts: 822000 | #Constraints: 65850
1358.40/1363.10 c #Conflicts: 823000 | #Constraints: 66850
1358.40/1363.10 c INPROCESSING
1358.40/1363.10 c GARBAGE COLLECT
1358.40/1363.10 c #Conflicts: 824000 | #Constraints: 34343
1358.40/1363.10 c #Conflicts: 825000 | #Constraints: 35343
1358.40/1363.10 c #Conflicts: 826000 | #Constraints: 36343
1358.40/1363.10 c #Conflicts: 827000 | #Constraints: 37343
1358.40/1363.10 c #Conflicts: 828000 | #Constraints: 38343
1358.40/1363.10 c #Conflicts: 829000 | #Constraints: 39343
1358.40/1363.10 c #Conflicts: 830000 | #Constraints: 40343
1358.40/1363.10 c #Conflicts: 831000 | #Constraints: 41343
1358.40/1363.10 c #Conflicts: 832000 | #Constraints: 42343
1540.29/1545.56 c #Conflicts: 833000 | #Constraints: 43343
1540.29/1545.56 c #Conflicts: 834000 | #Constraints: 44343
1540.29/1545.56 c #Conflicts: 835000 | #Constraints: 45343
1540.29/1545.56 c #Conflicts: 836000 | #Constraints: 46343
1540.29/1545.56 c #Conflicts: 837000 | #Constraints: 47343
1540.29/1545.56 c #Conflicts: 838000 | #Constraints: 48343
1540.29/1545.56 c #Conflicts: 839000 | #Constraints: 49343
1540.29/1545.56 c #Conflicts: 840000 | #Constraints: 50343
1540.29/1545.56 c #Conflicts: 841000 | #Constraints: 51343
1540.29/1545.56 c #Conflicts: 842000 | #Constraints: 52343
1540.29/1545.56 c #Conflicts: 843000 | #Constraints: 53343
1540.29/1545.56 c INPROCESSING
1540.29/1545.56 c GARBAGE COLLECT
1540.29/1545.56 c #Conflicts: 844000 | #Constraints: 27399
1540.29/1545.56 c #Conflicts: 845000 | #Constraints: 28399
1540.29/1545.56 c #Conflicts: 846000 | #Constraints: 29399
1540.29/1545.56 c #Conflicts: 847000 | #Constraints: 30399
1540.29/1545.56 c #Conflicts: 848000 | #Constraints: 31399
1540.29/1545.56 c #Conflicts: 849000 | #Constraints: 32399
1540.29/1545.56 c #Conflicts: 850000 | #Constraints: 33399
1540.29/1545.56 c #Conflicts: 851000 | #Constraints: 34399
1540.29/1545.56 c #Conflicts: 852000 | #Constraints: 35399
1540.29/1545.56 c #Conflicts: 853000 | #Constraints: 36399
1540.29/1545.56 c #Conflicts: 854000 | #Constraints: 37399
1540.29/1545.56 c #Conflicts: 855000 | #Constraints: 38399
1540.29/1545.56 c #Conflicts: 856000 | #Constraints: 39399
1540.29/1545.56 c #Conflicts: 857000 | #Constraints: 40399
1540.29/1545.56 c #Conflicts: 858000 | #Constraints: 41399
1540.29/1545.56 c #Conflicts: 859000 | #Constraints: 42399
1540.29/1545.56 c #Conflicts: 860000 | #Constraints: 43399
1540.29/1545.56 c #Conflicts: 861000 | #Constraints: 44399
1540.29/1545.56 c #Conflicts: 862000 | #Constraints: 45399
1540.29/1545.56 c #Conflicts: 863000 | #Constraints: 46399
1540.29/1545.56 c #Conflicts: 864000 | #Constraints: 47399
1540.29/1545.56 c #Conflicts: 865000 | #Constraints: 48399
1540.29/1545.56 c #Conflicts: 866000 | #Constraints: 49399
1540.29/1545.56 c #Conflicts: 867000 | #Constraints: 50399
1540.29/1545.56 c #Conflicts: 868000 | #Constraints: 51399
1540.29/1545.56 c #Conflicts: 869000 | #Constraints: 52399
1540.29/1545.56 c #Conflicts: 870000 | #Constraints: 53399
1540.29/1545.56 c #Conflicts: 871000 | #Constraints: 54399
1540.29/1545.56 c #Conflicts: 872000 | #Constraints: 55399
1540.29/1545.56 c #Conflicts: 873000 | #Constraints: 56399
1540.29/1545.56 c #Conflicts: 874000 | #Constraints: 57399
1540.29/1545.56 c #Conflicts: 875000 | #Constraints: 58399
1540.29/1545.56 c #Conflicts: 876000 | #Constraints: 59399
1540.29/1545.56 c #Conflicts: 877000 | #Constraints: 60399
1540.29/1545.56 c #Conflicts: 878000 | #Constraints: 61399
1540.29/1545.56 c #Conflicts: 879000 | #Constraints: 62399
1540.29/1545.56 c #Conflicts: 880000 | #Constraints: 63399
1540.29/1545.56 c #Conflicts: 881000 | #Constraints: 64399
1540.29/1545.56 c #Conflicts: 882000 | #Constraints: 65399
1540.29/1545.56 c #Conflicts: 883000 | #Constraints: 66399
1540.29/1545.56 c #Conflicts: 884000 | #Constraints: 67399
1540.29/1545.56 c #Conflicts: 885000 | #Constraints: 68399
1540.29/1545.56 c #Conflicts: 886000 | #Constraints: 69399
1540.29/1545.56 c #Conflicts: 887000 | #Constraints: 70399
1540.29/1545.56 c #Conflicts: 888000 | #Constraints: 71399
1540.29/1545.56 c #Conflicts: 889000 | #Constraints: 72399
1540.29/1545.56 c #Conflicts: 890000 | #Constraints: 73399
1540.29/1545.56 c #Conflicts: 891000 | #Constraints: 74399
1540.29/1545.56 c #Conflicts: 892000 | #Constraints: 75399
1540.29/1545.56 c #Conflicts: 893000 | #Constraints: 76399
1540.29/1545.56 c #Conflicts: 894000 | #Constraints: 77399
1540.29/1545.56 c #Conflicts: 895000 | #Constraints: 78399
1540.29/1545.56 c #Conflicts: 896000 | #Constraints: 79399
1540.29/1545.56 c #Conflicts: 897000 | #Constraints: 80399
1540.29/1545.56 c #Conflicts: 898000 | #Constraints: 81399
1540.29/1545.56 c #Conflicts: 899000 | #Constraints: 82399
1540.29/1545.56 c #Conflicts: 900000 | #Constraints: 83399
1540.29/1545.56 c #Conflicts: 901000 | #Constraints: 84399
1540.29/1545.56 c #Conflicts: 902000 | #Constraints: 85399
1540.29/1545.56 c #Conflicts: 903000 | #Constraints: 86399
1540.29/1545.56 c #Conflicts: 904000 | #Constraints: 87399
1540.29/1545.56 c #Conflicts: 905000 | #Constraints: 88399
1540.29/1545.56 c #Conflicts: 906000 | #Constraints: 89399
1540.29/1545.56 c #Conflicts: 907000 | #Constraints: 90399
1540.29/1545.56 c #Conflicts: 908000 | #Constraints: 91399
1540.29/1545.56 c #Conflicts: 909000 | #Constraints: 92399
1540.29/1545.56 c #Conflicts: 910000 | #Constraints: 93399
1691.59/1697.39 c #Conflicts: 911000 | #Constraints: 94399
1691.59/1697.39 c #Conflicts: 912000 | #Constraints: 95399
1691.59/1697.39 c #Conflicts: 913000 | #Constraints: 96399
1691.59/1697.39 c #Conflicts: 914000 | #Constraints: 97399
1691.59/1697.39 c #Conflicts: 915000 | #Constraints: 98399
1691.59/1697.39 c #Conflicts: 916000 | #Constraints: 99399
1691.59/1697.39 c INPROCESSING
1691.59/1697.39 c GARBAGE COLLECT
1691.59/1697.39 c #Conflicts: 917000 | #Constraints: 50522
1691.59/1697.39 c #Conflicts: 918000 | #Constraints: 51522
1691.59/1697.39 c #Conflicts: 919000 | #Constraints: 52522
1691.59/1697.39 c #Conflicts: 920000 | #Constraints: 53522
1691.59/1697.39 c #Conflicts: 921000 | #Constraints: 54522
1691.59/1697.39 c #Conflicts: 922000 | #Constraints: 55522
1691.59/1697.39 c #Conflicts: 923000 | #Constraints: 56522
1691.59/1697.39 c #Conflicts: 924000 | #Constraints: 57522
1691.59/1697.39 c #Conflicts: 925000 | #Constraints: 58522
1691.59/1697.39 c #Conflicts: 926000 | #Constraints: 59522
1691.59/1697.39 c #Conflicts: 927000 | #Constraints: 60522
1691.59/1697.39 c #Conflicts: 928000 | #Constraints: 61522
1691.59/1697.39 c #Conflicts: 929000 | #Constraints: 62522
1691.59/1697.39 c #Conflicts: 930000 | #Constraints: 63522
1691.59/1697.39 c #Conflicts: 931000 | #Constraints: 64522
1691.59/1697.39 c #Conflicts: 932000 | #Constraints: 65522
1691.59/1697.39 c #Conflicts: 933000 | #Constraints: 66522
1691.59/1697.39 c #Conflicts: 934000 | #Constraints: 67522
1691.59/1697.39 c #Conflicts: 935000 | #Constraints: 68522
1691.59/1697.39 c #Conflicts: 936000 | #Constraints: 69522
1691.59/1697.39 c #Conflicts: 937000 | #Constraints: 70522
1691.59/1697.39 c #Conflicts: 938000 | #Constraints: 71522
1691.59/1697.39 c INPROCESSING
1691.59/1697.39 c GARBAGE COLLECT
1691.59/1697.39 c #Conflicts: 939000 | #Constraints: 36735
1691.59/1697.39 c #Conflicts: 940000 | #Constraints: 37735
1691.59/1697.39 c #Conflicts: 941000 | #Constraints: 38735
1691.59/1697.39 c #Conflicts: 942000 | #Constraints: 39735
1691.59/1697.39 c #Conflicts: 943000 | #Constraints: 40735
1691.59/1697.39 c #Conflicts: 944000 | #Constraints: 41735
1691.59/1697.39 c #Conflicts: 945000 | #Constraints: 42735
1691.59/1697.39 c #Conflicts: 946000 | #Constraints: 43735
1691.59/1697.39 c #Conflicts: 947000 | #Constraints: 44735
1691.59/1697.39 c #Conflicts: 948000 | #Constraints: 45735
1691.59/1697.39 c #Conflicts: 949000 | #Constraints: 46735
1691.59/1697.39 c #Conflicts: 950000 | #Constraints: 47735
1691.59/1697.39 c #Conflicts: 951000 | #Constraints: 48735
1691.59/1697.39 c #Conflicts: 952000 | #Constraints: 49735
1691.59/1697.39 c #Conflicts: 953000 | #Constraints: 50735
1691.59/1697.39 c #Conflicts: 954000 | #Constraints: 51735
1691.59/1697.39 c #Conflicts: 955000 | #Constraints: 52735
1691.59/1697.39 c #Conflicts: 956000 | #Constraints: 53735
1691.59/1697.39 c #Conflicts: 957000 | #Constraints: 54735
1691.59/1697.39 c #Conflicts: 958000 | #Constraints: 55735
1691.59/1697.39 c #Conflicts: 959000 | #Constraints: 56735
1691.59/1697.39 c #Conflicts: 960000 | #Constraints: 57735
1691.59/1697.39 c INPROCESSING
1691.59/1697.39 c GARBAGE COLLECT
1691.59/1697.39 c #Conflicts: 961000 | #Constraints: 32409
1691.59/1697.39 c #Conflicts: 962000 | #Constraints: 33409
1691.59/1697.39 c #Conflicts: 963000 | #Constraints: 34409
1691.59/1697.39 c #Conflicts: 964000 | #Constraints: 35409
1691.59/1697.39 c #Conflicts: 965000 | #Constraints: 36409
1691.59/1697.39 c #Conflicts: 966000 | #Constraints: 37409
1691.59/1697.39 c #Conflicts: 967000 | #Constraints: 38409
1691.59/1697.39 c #Conflicts: 968000 | #Constraints: 39409
1691.59/1697.39 c #Conflicts: 969000 | #Constraints: 40409
1691.59/1697.39 c #Conflicts: 970000 | #Constraints: 41409
1691.59/1697.39 c #Conflicts: 971000 | #Constraints: 42409
1691.59/1697.39 c #Conflicts: 972000 | #Constraints: 43409
1691.59/1697.39 c #Conflicts: 973000 | #Constraints: 44409
1691.59/1697.39 c #Conflicts: 974000 | #Constraints: 45409
1691.59/1697.39 c #Conflicts: 975000 | #Constraints: 46409
1691.59/1697.39 c #Conflicts: 976000 | #Constraints: 47409
1691.59/1697.39 c #Conflicts: 977000 | #Constraints: 48409
1691.59/1697.39 c #Conflicts: 978000 | #Constraints: 49409
1691.59/1697.39 c #Conflicts: 979000 | #Constraints: 50409
1691.59/1697.39 c #Conflicts: 980000 | #Constraints: 51409
1691.59/1697.39 c #Conflicts: 981000 | #Constraints: 52409
1691.59/1697.39 c #Conflicts: 982000 | #Constraints: 53409
1691.59/1697.39 c #Conflicts: 983000 | #Constraints: 54409
1691.59/1697.39 c #Conflicts: 984000 | #Constraints: 55409
1691.59/1697.39 c #Conflicts: 985000 | #Constraints: 56409
1691.59/1697.39 c #Conflicts: 986000 | #Constraints: 57409
1691.59/1697.39 c #Conflicts: 987000 | #Constraints: 58409
1903.27/1909.74 c #Conflicts: 988000 | #Constraints: 59409
1903.27/1909.74 c #Conflicts: 989000 | #Constraints: 60409
1903.27/1909.74 c #Conflicts: 990000 | #Constraints: 61409
1903.27/1909.74 c #Conflicts: 991000 | #Constraints: 62409
1903.27/1909.74 c #Conflicts: 992000 | #Constraints: 63409
1903.27/1909.74 c #Conflicts: 993000 | #Constraints: 64409
1903.27/1909.74 c #Conflicts: 994000 | #Constraints: 65409
1903.27/1909.74 c #Conflicts: 995000 | #Constraints: 66409
1903.27/1909.74 c #Conflicts: 996000 | #Constraints: 67409
1903.27/1909.74 c #Conflicts: 997000 | #Constraints: 68409
1903.27/1909.74 c #Conflicts: 998000 | #Constraints: 69409
1903.27/1909.74 c #Conflicts: 999000 | #Constraints: 70409
1903.27/1909.74 c #Conflicts: 1000000 | #Constraints: 71409
1903.27/1909.74 c #Conflicts: 1001000 | #Constraints: 72409
1903.27/1909.74 c #Conflicts: 1002000 | #Constraints: 73409
1903.27/1909.74 c #Conflicts: 1003000 | #Constraints: 74409
1903.27/1909.74 c #Conflicts: 1004000 | #Constraints: 75409
1903.27/1909.74 c #Conflicts: 1005000 | #Constraints: 76409
1903.27/1909.74 c #Conflicts: 1006000 | #Constraints: 77409
1903.27/1909.74 c #Conflicts: 1007000 | #Constraints: 78409
1903.27/1909.74 c #Conflicts: 1008000 | #Constraints: 79409
1903.27/1909.74 c #Conflicts: 1009000 | #Constraints: 80409
1903.27/1909.74 c #Conflicts: 1010000 | #Constraints: 81409
1903.27/1909.74 c #Conflicts: 1011000 | #Constraints: 82409
1903.27/1909.74 c #Conflicts: 1012000 | #Constraints: 83409
1903.27/1909.74 c #Conflicts: 1013000 | #Constraints: 84409
1903.27/1909.74 c #Conflicts: 1014000 | #Constraints: 85409
1903.27/1909.74 c #Conflicts: 1015000 | #Constraints: 86409
1903.27/1909.74 c #Conflicts: 1016000 | #Constraints: 87409
1903.27/1909.74 c #Conflicts: 1017000 | #Constraints: 88409
1903.27/1909.74 c #Conflicts: 1018000 | #Constraints: 89409
1903.27/1909.74 c #Conflicts: 1019000 | #Constraints: 90409
1903.27/1909.74 c #Conflicts: 1020000 | #Constraints: 91409
1903.27/1909.74 c #Conflicts: 1021000 | #Constraints: 92409
1903.27/1909.74 c #Conflicts: 1022000 | #Constraints: 93409
1903.27/1909.74 c #Conflicts: 1023000 | #Constraints: 94409
1903.27/1909.74 c #Conflicts: 1024000 | #Constraints: 95409
1903.27/1909.74 c #Conflicts: 1025000 | #Constraints: 96409
1903.27/1909.74 c #Conflicts: 1026000 | #Constraints: 97409
1903.27/1909.74 c #Conflicts: 1027000 | #Constraints: 98409
1903.27/1909.74 c #Conflicts: 1028000 | #Constraints: 99409
1903.27/1909.74 c #Conflicts: 1029000 | #Constraints: 100409
1903.27/1909.74 c #Conflicts: 1030000 | #Constraints: 101409
1903.27/1909.74 c #Conflicts: 1031000 | #Constraints: 102409
1903.27/1909.74 c #Conflicts: 1032000 | #Constraints: 103409
1903.27/1909.74 c #Conflicts: 1033000 | #Constraints: 104409
1903.27/1909.74 c #Conflicts: 1034000 | #Constraints: 105409
1903.27/1909.74 c #Conflicts: 1035000 | #Constraints: 106409
1903.27/1909.74 c #Conflicts: 1036000 | #Constraints: 107409
1903.27/1909.74 c #Conflicts: 1037000 | #Constraints: 108409
1903.27/1909.74 c INPROCESSING
1903.27/1909.74 c GARBAGE COLLECT
1903.27/1909.74 c #Conflicts: 1038000 | #Constraints: 55224
1903.27/1909.74 c #Conflicts: 1039000 | #Constraints: 56224
1903.27/1909.74 c #Conflicts: 1040000 | #Constraints: 57224
1903.27/1909.74 c #Conflicts: 1041000 | #Constraints: 58224
1903.27/1909.74 c #Conflicts: 1042000 | #Constraints: 59224
1903.27/1909.74 c #Conflicts: 1043000 | #Constraints: 60224
1903.27/1909.74 c #Conflicts: 1044000 | #Constraints: 61224
1903.27/1909.74 c #Conflicts: 1045000 | #Constraints: 62224
1903.27/1909.74 c #Conflicts: 1046000 | #Constraints: 63224
1903.27/1909.74 c #Conflicts: 1047000 | #Constraints: 64224
1903.27/1909.74 c #Conflicts: 1048000 | #Constraints: 65224
1903.27/1909.74 c #Conflicts: 1049000 | #Constraints: 66224
1903.27/1909.74 c #Conflicts: 1050000 | #Constraints: 67224
1903.27/1909.74 c #Conflicts: 1051000 | #Constraints: 68224
1903.27/1909.74 c #Conflicts: 1052000 | #Constraints: 69224
1903.27/1909.74 c #Conflicts: 1053000 | #Constraints: 70224
1903.27/1909.74 c #Conflicts: 1054000 | #Constraints: 71224
1903.27/1909.74 c #Conflicts: 1055000 | #Constraints: 72224
1903.27/1909.74 c #Conflicts: 1056000 | #Constraints: 73224
1903.27/1909.74 c #Conflicts: 1057000 | #Constraints: 74224
1903.27/1909.74 c #Conflicts: 1058000 | #Constraints: 75224
1903.27/1909.74 c #Conflicts: 1059000 | #Constraints: 76224
1903.27/1909.74 c #Conflicts: 1060000 | #Constraints: 77224
1903.27/1909.74 c INPROCESSING
1903.27/1909.74 c GARBAGE COLLECT
1903.27/1909.74 c #Conflicts: 1061000 | #Constraints: 39540
1903.27/1909.74 c #Conflicts: 1062000 | #Constraints: 40540
1903.27/1909.74 c #Conflicts: 1063000 | #Constraints: 41540
1903.27/1909.74 c #Conflicts: 1064000 | #Constraints: 42540
2188.40/2195.86 c #Conflicts: 1065000 | #Constraints: 43540
2188.40/2195.86 c #Conflicts: 1066000 | #Constraints: 44540
2188.40/2195.86 c #Conflicts: 1067000 | #Constraints: 45540
2188.40/2195.86 c #Conflicts: 1068000 | #Constraints: 46540
2188.40/2195.86 c #Conflicts: 1069000 | #Constraints: 47540
2188.40/2195.86 c #Conflicts: 1070000 | #Constraints: 48540
2188.40/2195.86 c #Conflicts: 1071000 | #Constraints: 49540
2188.40/2195.86 c #Conflicts: 1072000 | #Constraints: 50540
2188.40/2195.86 c #Conflicts: 1073000 | #Constraints: 51540
2188.40/2195.86 c #Conflicts: 1074000 | #Constraints: 52540
2188.40/2195.86 c #Conflicts: 1075000 | #Constraints: 53540
2188.40/2195.86 c #Conflicts: 1076000 | #Constraints: 54540
2188.40/2195.86 c #Conflicts: 1077000 | #Constraints: 55540
2188.40/2195.86 c #Conflicts: 1078000 | #Constraints: 56540
2188.40/2195.86 c #Conflicts: 1079000 | #Constraints: 57540
2188.40/2195.86 c #Conflicts: 1080000 | #Constraints: 58540
2188.40/2195.86 c #Conflicts: 1081000 | #Constraints: 59540
2188.40/2195.86 c #Conflicts: 1082000 | #Constraints: 60540
2188.40/2195.86 c #Conflicts: 1083000 | #Constraints: 61540
2188.40/2195.86 c #Conflicts: 1084000 | #Constraints: 62540
2188.40/2195.86 c #Conflicts: 1085000 | #Constraints: 63540
2188.40/2195.86 c #Conflicts: 1086000 | #Constraints: 64540
2188.40/2195.86 c #Conflicts: 1087000 | #Constraints: 65540
2188.40/2195.86 c #Conflicts: 1088000 | #Constraints: 66540
2188.40/2195.86 c #Conflicts: 1089000 | #Constraints: 67540
2188.40/2195.86 c #Conflicts: 1090000 | #Constraints: 68540
2188.40/2195.86 c #Conflicts: 1091000 | #Constraints: 69540
2188.40/2195.86 c #Conflicts: 1092000 | #Constraints: 70540
2188.40/2195.86 c #Conflicts: 1093000 | #Constraints: 71540
2188.40/2195.86 c #Conflicts: 1094000 | #Constraints: 72540
2188.40/2195.86 c #Conflicts: 1095000 | #Constraints: 73540
2188.40/2195.86 c #Conflicts: 1096000 | #Constraints: 74540
2188.40/2195.86 c #Conflicts: 1097000 | #Constraints: 75540
2188.40/2195.86 c #Conflicts: 1098000 | #Constraints: 76540
2188.40/2195.86 c #Conflicts: 1099000 | #Constraints: 77540
2188.40/2195.86 c #Conflicts: 1100000 | #Constraints: 78540
2188.40/2195.86 c #Conflicts: 1101000 | #Constraints: 79540
2188.40/2195.86 c #Conflicts: 1102000 | #Constraints: 80540
2188.40/2195.86 c #Conflicts: 1103000 | #Constraints: 81540
2188.40/2195.86 c #Conflicts: 1104000 | #Constraints: 82540
2188.40/2195.86 c #Conflicts: 1105000 | #Constraints: 83540
2188.40/2195.86 c #Conflicts: 1106000 | #Constraints: 84540
2188.40/2195.86 c #Conflicts: 1107000 | #Constraints: 85540
2188.40/2195.86 c #Conflicts: 1108000 | #Constraints: 86540
2188.40/2195.86 c #Conflicts: 1109000 | #Constraints: 87540
2188.40/2195.86 c #Conflicts: 1110000 | #Constraints: 88540
2188.40/2195.86 c #Conflicts: 1111000 | #Constraints: 89540
2188.40/2195.86 c #Conflicts: 1112000 | #Constraints: 90540
2188.40/2195.86 c #Conflicts: 1113000 | #Constraints: 91540
2188.40/2195.86 c #Conflicts: 1114000 | #Constraints: 92540
2188.40/2195.86 c #Conflicts: 1115000 | #Constraints: 93540
2188.40/2195.86 c #Conflicts: 1116000 | #Constraints: 94540
2188.40/2195.86 c #Conflicts: 1117000 | #Constraints: 95540
2188.40/2195.86 c #Conflicts: 1118000 | #Constraints: 96540
2188.40/2195.86 c #Conflicts: 1119000 | #Constraints: 97540
2188.40/2195.86 c #Conflicts: 1120000 | #Constraints: 98540
2188.40/2195.86 c #Conflicts: 1121000 | #Constraints: 99540
2188.40/2195.86 c #Conflicts: 1122000 | #Constraints: 100540
2188.40/2195.86 c #Conflicts: 1123000 | #Constraints: 101540
2188.40/2195.86 c #Conflicts: 1124000 | #Constraints: 102540
2188.40/2195.86 c #Conflicts: 1125000 | #Constraints: 103540
2188.40/2195.86 c #Conflicts: 1126000 | #Constraints: 104540
2188.40/2195.86 c #Conflicts: 1127000 | #Constraints: 105540
2188.40/2195.86 c #Conflicts: 1128000 | #Constraints: 106540
2188.40/2195.86 c #Conflicts: 1129000 | #Constraints: 107540
2188.40/2195.86 c #Conflicts: 1130000 | #Constraints: 108540
2188.40/2195.86 c #Conflicts: 1131000 | #Constraints: 109540
2188.40/2195.86 c #Conflicts: 1132000 | #Constraints: 110540
2188.40/2195.86 c #Conflicts: 1133000 | #Constraints: 111540
2188.40/2195.86 c #Conflicts: 1134000 | #Constraints: 112540
2188.40/2195.86 c #Conflicts: 1135000 | #Constraints: 113540
2188.40/2195.86 c #Conflicts: 1136000 | #Constraints: 114540
2188.40/2195.86 c #Conflicts: 1137000 | #Constraints: 115540
2188.40/2195.86 c #Conflicts: 1138000 | #Constraints: 116540
2188.40/2195.86 c #Conflicts: 1139000 | #Constraints: 117540
2188.40/2195.86 c #Conflicts: 1140000 | #Constraints: 118540
2188.40/2195.86 c INPROCESSING
2188.40/2195.86 c GARBAGE COLLECT
2188.40/2195.86 c #Conflicts: 1141000 | #Constraints: 60142
2188.40/2195.86 c #Conflicts: 1142000 | #Constraints: 61142
2400.96/2409.11 c #Conflicts: 1143000 | #Constraints: 62142
2400.96/2409.11 c #Conflicts: 1144000 | #Constraints: 63142
2400.96/2409.11 c #Conflicts: 1145000 | #Constraints: 64142
2400.96/2409.11 c #Conflicts: 1146000 | #Constraints: 65142
2400.96/2409.11 c #Conflicts: 1147000 | #Constraints: 66142
2400.96/2409.11 c #Conflicts: 1148000 | #Constraints: 67142
2400.96/2409.11 c #Conflicts: 1149000 | #Constraints: 68142
2400.96/2409.11 c #Conflicts: 1150000 | #Constraints: 69142
2400.96/2409.11 c #Conflicts: 1151000 | #Constraints: 70142
2400.96/2409.11 c #Conflicts: 1152000 | #Constraints: 71142
2400.96/2409.11 c #Conflicts: 1153000 | #Constraints: 72142
2400.96/2409.11 c #Conflicts: 1154000 | #Constraints: 73142
2400.96/2409.11 c #Conflicts: 1155000 | #Constraints: 74142
2400.96/2409.11 c #Conflicts: 1156000 | #Constraints: 75142
2400.96/2409.11 c #Conflicts: 1157000 | #Constraints: 76142
2400.96/2409.11 c #Conflicts: 1158000 | #Constraints: 77142
2400.96/2409.11 c #Conflicts: 1159000 | #Constraints: 78142
2400.96/2409.11 c #Conflicts: 1160000 | #Constraints: 79142
2400.96/2409.11 c #Conflicts: 1161000 | #Constraints: 80142
2400.96/2409.11 c #Conflicts: 1162000 | #Constraints: 81142
2400.96/2409.11 c #Conflicts: 1163000 | #Constraints: 82142
2400.96/2409.11 c #Conflicts: 1164000 | #Constraints: 83142
2400.96/2409.11 c INPROCESSING
2400.96/2409.11 c GARBAGE COLLECT
2400.96/2409.11 c #Conflicts: 1165000 | #Constraints: 45190
2400.96/2409.11 c #Conflicts: 1166000 | #Constraints: 46190
2400.96/2409.11 c #Conflicts: 1167000 | #Constraints: 47190
2400.96/2409.11 c #Conflicts: 1168000 | #Constraints: 48190
2400.96/2409.11 c #Conflicts: 1169000 | #Constraints: 49190
2400.96/2409.11 c #Conflicts: 1170000 | #Constraints: 50190
2400.96/2409.11 c #Conflicts: 1171000 | #Constraints: 51190
2400.96/2409.11 c #Conflicts: 1172000 | #Constraints: 52190
2400.96/2409.11 c #Conflicts: 1173000 | #Constraints: 53190
2400.96/2409.11 c #Conflicts: 1174000 | #Constraints: 54190
2400.96/2409.11 c #Conflicts: 1175000 | #Constraints: 55190
2400.96/2409.11 c #Conflicts: 1176000 | #Constraints: 56190
2400.96/2409.11 c #Conflicts: 1177000 | #Constraints: 57190
2400.96/2409.11 c #Conflicts: 1178000 | #Constraints: 58190
2400.96/2409.11 c #Conflicts: 1179000 | #Constraints: 59190
2400.96/2409.11 c #Conflicts: 1180000 | #Constraints: 60190
2400.96/2409.11 c #Conflicts: 1181000 | #Constraints: 61190
2400.96/2409.11 c #Conflicts: 1182000 | #Constraints: 62190
2400.96/2409.11 c #Conflicts: 1183000 | #Constraints: 63190
2400.96/2409.11 c #Conflicts: 1184000 | #Constraints: 64190
2400.96/2409.11 c #Conflicts: 1185000 | #Constraints: 65190
2400.96/2409.11 c #Conflicts: 1186000 | #Constraints: 66190
2400.96/2409.11 c #Conflicts: 1187000 | #Constraints: 67190
2400.96/2409.11 c #Conflicts: 1188000 | #Constraints: 68190
2400.96/2409.11 c #Conflicts: 1189000 | #Constraints: 69190
2400.96/2409.11 c #Conflicts: 1190000 | #Constraints: 70190
2400.96/2409.11 c #Conflicts: 1191000 | #Constraints: 71190
2400.96/2409.11 c #Conflicts: 1192000 | #Constraints: 72190
2400.96/2409.11 c #Conflicts: 1193000 | #Constraints: 73190
2400.96/2409.11 c #Conflicts: 1194000 | #Constraints: 74190
2400.96/2409.11 c #Conflicts: 1195000 | #Constraints: 75190
2400.96/2409.11 c #Conflicts: 1196000 | #Constraints: 76190
2400.96/2409.11 c #Conflicts: 1197000 | #Constraints: 77190
2400.96/2409.11 c #Conflicts: 1198000 | #Constraints: 78190
2400.96/2409.11 c #Conflicts: 1199000 | #Constraints: 79190
2400.96/2409.11 c #Conflicts: 1200000 | #Constraints: 80190
2400.96/2409.11 c #Conflicts: 1201000 | #Constraints: 81190
2400.96/2409.11 c #Conflicts: 1202000 | #Constraints: 82190
2400.96/2409.11 c #Conflicts: 1203000 | #Constraints: 83190
2400.96/2409.11 c #Conflicts: 1204000 | #Constraints: 84190
2400.96/2409.11 c #Conflicts: 1205000 | #Constraints: 85190
2400.96/2409.11 c #Conflicts: 1206000 | #Constraints: 86190
2400.96/2409.11 c #Conflicts: 1207000 | #Constraints: 87190
2400.96/2409.11 c #Conflicts: 1208000 | #Constraints: 88190
2400.96/2409.11 c #Conflicts: 1209000 | #Constraints: 89190
2400.96/2409.11 c #Conflicts: 1210000 | #Constraints: 90190
2400.96/2409.11 c #Conflicts: 1211000 | #Constraints: 91190
2400.96/2409.11 c #Conflicts: 1212000 | #Constraints: 92190
2400.96/2409.11 c #Conflicts: 1213000 | #Constraints: 93190
2400.96/2409.11 c #Conflicts: 1214000 | #Constraints: 94190
2400.96/2409.11 c #Conflicts: 1215000 | #Constraints: 95190
2400.96/2409.11 c #Conflicts: 1216000 | #Constraints: 96190
2400.96/2409.11 c #Conflicts: 1217000 | #Constraints: 97190
2400.96/2409.11 c #Conflicts: 1218000 | #Constraints: 98190
2400.96/2409.11 c #Conflicts: 1219000 | #Constraints: 99190
2400.96/2409.11 c #Conflicts: 1220000 | #Constraints: 100190
2400.96/2409.11 c #Conflicts: 1221000 | #Constraints: 101190
2652.18/2661.22 c #Conflicts: 1222000 | #Constraints: 102190
2652.18/2661.22 c #Conflicts: 1223000 | #Constraints: 103190
2652.18/2661.22 c #Conflicts: 1224000 | #Constraints: 104190
2652.18/2661.22 c #Conflicts: 1225000 | #Constraints: 105190
2652.18/2661.22 c #Conflicts: 1226000 | #Constraints: 106190
2652.18/2661.22 c #Conflicts: 1227000 | #Constraints: 107190
2652.18/2661.22 c #Conflicts: 1228000 | #Constraints: 108190
2652.18/2661.22 c #Conflicts: 1229000 | #Constraints: 109190
2652.18/2661.22 c #Conflicts: 1230000 | #Constraints: 110190
2652.18/2661.22 c #Conflicts: 1231000 | #Constraints: 111190
2652.18/2661.22 c #Conflicts: 1232000 | #Constraints: 112190
2652.18/2661.22 c #Conflicts: 1233000 | #Constraints: 113190
2652.18/2661.22 c #Conflicts: 1234000 | #Constraints: 114190
2652.18/2661.22 c #Conflicts: 1235000 | #Constraints: 115190
2652.18/2661.22 c #Conflicts: 1236000 | #Constraints: 116190
2652.18/2661.22 c #Conflicts: 1237000 | #Constraints: 117190
2652.18/2661.22 c #Conflicts: 1238000 | #Constraints: 118190
2652.18/2661.22 c #Conflicts: 1239000 | #Constraints: 119190
2652.18/2661.22 c #Conflicts: 1240000 | #Constraints: 120190
2652.18/2661.22 c #Conflicts: 1241000 | #Constraints: 121190
2652.18/2661.22 c #Conflicts: 1242000 | #Constraints: 122190
2652.18/2661.22 c #Conflicts: 1243000 | #Constraints: 123190
2652.18/2661.22 c #Conflicts: 1244000 | #Constraints: 124190
2652.18/2661.22 c #Conflicts: 1245000 | #Constraints: 125190
2652.18/2661.22 c #Conflicts: 1246000 | #Constraints: 126190
2652.18/2661.22 c #Conflicts: 1247000 | #Constraints: 127190
2652.18/2661.22 c #Conflicts: 1248000 | #Constraints: 128190
2652.18/2661.22 c INPROCESSING
2652.18/2661.22 c GARBAGE COLLECT
2652.18/2661.22 c #Conflicts: 1249000 | #Constraints: 65112
2652.18/2661.22 c #Conflicts: 1250000 | #Constraints: 66112
2652.18/2661.22 c #Conflicts: 1251000 | #Constraints: 67112
2652.18/2661.22 c #Conflicts: 1252000 | #Constraints: 68112
2652.18/2661.22 c #Conflicts: 1253000 | #Constraints: 69112
2652.18/2661.22 c #Conflicts: 1254000 | #Constraints: 70112
2652.18/2661.22 c #Conflicts: 1255000 | #Constraints: 71112
2652.18/2661.22 c #Conflicts: 1256000 | #Constraints: 72112
2652.18/2661.22 c #Conflicts: 1257000 | #Constraints: 73112
2652.18/2661.22 c #Conflicts: 1258000 | #Constraints: 74112
2652.18/2661.22 c #Conflicts: 1259000 | #Constraints: 75112
2652.18/2661.22 c #Conflicts: 1260000 | #Constraints: 76112
2652.18/2661.22 c #Conflicts: 1261000 | #Constraints: 77112
2652.18/2661.22 c #Conflicts: 1262000 | #Constraints: 78112
2652.18/2661.22 c #Conflicts: 1263000 | #Constraints: 79112
2652.18/2661.22 c #Conflicts: 1264000 | #Constraints: 80112
2652.18/2661.22 c #Conflicts: 1265000 | #Constraints: 81112
2652.18/2661.22 c #Conflicts: 1266000 | #Constraints: 82112
2652.18/2661.22 c #Conflicts: 1267000 | #Constraints: 83112
2652.18/2661.22 c #Conflicts: 1268000 | #Constraints: 84112
2652.18/2661.22 c #Conflicts: 1269000 | #Constraints: 85112
2652.18/2661.22 c #Conflicts: 1270000 | #Constraints: 86112
2652.18/2661.22 c #Conflicts: 1271000 | #Constraints: 87112
2652.18/2661.22 c #Conflicts: 1272000 | #Constraints: 88112
2652.18/2661.22 c #Conflicts: 1273000 | #Constraints: 89112
2652.18/2661.22 c INPROCESSING
2652.18/2661.22 c GARBAGE COLLECT
2652.18/2661.22 c #Conflicts: 1274000 | #Constraints: 48736
2652.18/2661.22 c #Conflicts: 1275000 | #Constraints: 49736
2652.18/2661.22 c #Conflicts: 1276000 | #Constraints: 50736
2652.18/2661.22 c #Conflicts: 1277000 | #Constraints: 51736
2652.18/2661.22 c #Conflicts: 1278000 | #Constraints: 52736
2652.18/2661.22 c #Conflicts: 1279000 | #Constraints: 53736
2652.18/2661.22 c #Conflicts: 1280000 | #Constraints: 54736
2652.18/2661.22 c #Conflicts: 1281000 | #Constraints: 55736
2652.18/2661.22 c #Conflicts: 1282000 | #Constraints: 56736
2652.18/2661.22 c #Conflicts: 1283000 | #Constraints: 57736
2652.18/2661.22 c #Conflicts: 1284000 | #Constraints: 58736
2652.18/2661.22 c #Conflicts: 1285000 | #Constraints: 59736
2652.18/2661.22 c #Conflicts: 1286000 | #Constraints: 60736
2652.18/2661.22 c #Conflicts: 1287000 | #Constraints: 61736
2652.18/2661.22 c #Conflicts: 1288000 | #Constraints: 62736
2652.18/2661.22 c #Conflicts: 1289000 | #Constraints: 63736
2652.18/2661.22 c #Conflicts: 1290000 | #Constraints: 64736
2652.18/2661.22 c #Conflicts: 1291000 | #Constraints: 65736
2652.18/2661.22 c #Conflicts: 1292000 | #Constraints: 66736
2652.18/2661.22 c #Conflicts: 1293000 | #Constraints: 67736
2652.18/2661.22 c #Conflicts: 1294000 | #Constraints: 68736
2652.18/2661.22 c #Conflicts: 1295000 | #Constraints: 69736
2652.18/2661.22 c #Conflicts: 1296000 | #Constraints: 70736
2652.18/2661.22 c #Conflicts: 1297000 | #Constraints: 71736
2652.18/2661.22 c #Conflicts: 1298000 | #Constraints: 72736
2967.90/2978.09 c #Conflicts: 1299000 | #Constraints: 73736
2967.90/2978.09 c #Conflicts: 1300000 | #Constraints: 74736
2967.90/2978.09 c #Conflicts: 1301000 | #Constraints: 75736
2967.90/2978.09 c #Conflicts: 1302000 | #Constraints: 76736
2967.90/2978.09 c #Conflicts: 1303000 | #Constraints: 77736
2967.90/2978.09 c #Conflicts: 1304000 | #Constraints: 78736
2967.90/2978.09 c #Conflicts: 1305000 | #Constraints: 79736
2967.90/2978.09 c #Conflicts: 1306000 | #Constraints: 80736
2967.90/2978.09 c #Conflicts: 1307000 | #Constraints: 81736
2967.90/2978.09 c #Conflicts: 1308000 | #Constraints: 82736
2967.90/2978.09 c #Conflicts: 1309000 | #Constraints: 83736
2967.90/2978.09 c #Conflicts: 1310000 | #Constraints: 84736
2967.90/2978.09 c #Conflicts: 1311000 | #Constraints: 85736
2967.90/2978.09 c #Conflicts: 1312000 | #Constraints: 86736
2967.90/2978.09 c #Conflicts: 1313000 | #Constraints: 87736
2967.90/2978.09 c #Conflicts: 1314000 | #Constraints: 88736
2967.90/2978.09 c #Conflicts: 1315000 | #Constraints: 89736
2967.90/2978.09 c #Conflicts: 1316000 | #Constraints: 90736
2967.90/2978.09 c #Conflicts: 1317000 | #Constraints: 91736
2967.90/2978.09 c #Conflicts: 1318000 | #Constraints: 92736
2967.90/2978.09 c #Conflicts: 1319000 | #Constraints: 93736
2967.90/2978.09 c #Conflicts: 1320000 | #Constraints: 94736
2967.90/2978.09 c #Conflicts: 1321000 | #Constraints: 95736
2967.90/2978.09 c #Conflicts: 1322000 | #Constraints: 96736
2967.90/2978.09 c #Conflicts: 1323000 | #Constraints: 97736
2967.90/2978.09 c #Conflicts: 1324000 | #Constraints: 98736
2967.90/2978.09 c #Conflicts: 1325000 | #Constraints: 99736
2967.90/2978.09 c #Conflicts: 1326000 | #Constraints: 100736
2967.90/2978.09 c #Conflicts: 1327000 | #Constraints: 101736
2967.90/2978.09 c #Conflicts: 1328000 | #Constraints: 102736
2967.90/2978.09 c #Conflicts: 1329000 | #Constraints: 103736
2967.90/2978.09 c #Conflicts: 1330000 | #Constraints: 104736
2967.90/2978.09 c #Conflicts: 1331000 | #Constraints: 105736
2967.90/2978.09 c #Conflicts: 1332000 | #Constraints: 106736
2967.90/2978.09 c #Conflicts: 1333000 | #Constraints: 107736
2967.90/2978.09 c #Conflicts: 1334000 | #Constraints: 108736
2967.90/2978.09 c #Conflicts: 1335000 | #Constraints: 109736
2967.90/2978.09 c #Conflicts: 1336000 | #Constraints: 110736
2967.90/2978.09 c #Conflicts: 1337000 | #Constraints: 111736
2967.90/2978.09 c #Conflicts: 1338000 | #Constraints: 112736
2967.90/2978.09 c #Conflicts: 1339000 | #Constraints: 113736
2967.90/2978.09 c #Conflicts: 1340000 | #Constraints: 114736
2967.90/2978.09 c #Conflicts: 1341000 | #Constraints: 115736
2967.90/2978.09 c #Conflicts: 1342000 | #Constraints: 116736
2967.90/2978.09 c #Conflicts: 1343000 | #Constraints: 117736
2967.90/2978.09 c #Conflicts: 1344000 | #Constraints: 118736
2967.90/2978.09 c #Conflicts: 1345000 | #Constraints: 119736
2967.90/2978.09 c #Conflicts: 1346000 | #Constraints: 120736
2967.90/2978.09 c #Conflicts: 1347000 | #Constraints: 121736
2967.90/2978.09 c #Conflicts: 1348000 | #Constraints: 122736
2967.90/2978.09 c #Conflicts: 1349000 | #Constraints: 123736
2967.90/2978.09 c #Conflicts: 1350000 | #Constraints: 124736
2967.90/2978.09 c #Conflicts: 1351000 | #Constraints: 125736
2967.90/2978.09 c #Conflicts: 1352000 | #Constraints: 126736
2967.90/2978.09 c #Conflicts: 1353000 | #Constraints: 127736
2967.90/2978.09 c #Conflicts: 1354000 | #Constraints: 128736
2967.90/2978.09 c #Conflicts: 1355000 | #Constraints: 129736
2967.90/2978.09 c #Conflicts: 1356000 | #Constraints: 130736
2967.90/2978.09 c #Conflicts: 1357000 | #Constraints: 131736
2967.90/2978.09 c #Conflicts: 1358000 | #Constraints: 132736
2967.90/2978.09 c #Conflicts: 1359000 | #Constraints: 133736
2967.90/2978.09 c #Conflicts: 1360000 | #Constraints: 134736
2967.90/2978.09 c INPROCESSING
2967.90/2978.09 c GARBAGE COLLECT
2967.90/2978.09 c #Conflicts: 1361000 | #Constraints: 68341
2967.90/2978.09 c #Conflicts: 1362000 | #Constraints: 69341
2967.90/2978.09 c #Conflicts: 1363000 | #Constraints: 70341
2967.90/2978.09 c #Conflicts: 1364000 | #Constraints: 71341
2967.90/2978.09 c #Conflicts: 1365000 | #Constraints: 72341
2967.90/2978.09 c #Conflicts: 1366000 | #Constraints: 73341
2967.90/2978.09 c #Conflicts: 1367000 | #Constraints: 74341
2967.90/2978.09 c #Conflicts: 1368000 | #Constraints: 75341
2967.90/2978.09 c #Conflicts: 1369000 | #Constraints: 76341
2967.90/2978.09 c #Conflicts: 1370000 | #Constraints: 77341
2967.90/2978.09 c #Conflicts: 1371000 | #Constraints: 78341
2967.90/2978.09 c #Conflicts: 1372000 | #Constraints: 79341
2967.90/2978.09 c #Conflicts: 1373000 | #Constraints: 80341
2967.90/2978.09 c #Conflicts: 1374000 | #Constraints: 81341
2967.90/2978.09 c #Conflicts: 1375000 | #Constraints: 82341
2967.90/2978.09 c #Conflicts: 1376000 | #Constraints: 83341
3241.85/3252.97 c #Conflicts: 1377000 | #Constraints: 84341
3241.85/3252.97 c #Conflicts: 1378000 | #Constraints: 85341
3241.85/3252.97 c #Conflicts: 1379000 | #Constraints: 86341
3241.85/3252.97 c #Conflicts: 1380000 | #Constraints: 87341
3241.85/3252.97 c #Conflicts: 1381000 | #Constraints: 88341
3241.85/3252.97 c #Conflicts: 1382000 | #Constraints: 89341
3241.85/3252.97 c #Conflicts: 1383000 | #Constraints: 90341
3241.85/3252.97 c #Conflicts: 1384000 | #Constraints: 91341
3241.85/3252.97 c #Conflicts: 1385000 | #Constraints: 92341
3241.85/3252.97 c #Conflicts: 1386000 | #Constraints: 93341
3241.85/3252.97 c #Conflicts: 1387000 | #Constraints: 94341
3241.85/3252.97 c INPROCESSING
3241.85/3252.97 c GARBAGE COLLECT
3241.85/3252.97 c #Conflicts: 1388000 | #Constraints: 56393
3241.85/3252.97 c #Conflicts: 1389000 | #Constraints: 57393
3241.85/3252.97 c #Conflicts: 1390000 | #Constraints: 58393
3241.85/3252.97 c #Conflicts: 1391000 | #Constraints: 59393
3241.85/3252.97 c #Conflicts: 1392000 | #Constraints: 60393
3241.85/3252.97 c #Conflicts: 1393000 | #Constraints: 61393
3241.85/3252.97 c #Conflicts: 1394000 | #Constraints: 62393
3241.85/3252.97 c #Conflicts: 1395000 | #Constraints: 63393
3241.85/3252.97 c #Conflicts: 1396000 | #Constraints: 64393
3241.85/3252.97 c #Conflicts: 1397000 | #Constraints: 65393
3241.85/3252.97 c #Conflicts: 1398000 | #Constraints: 66393
3241.85/3252.97 c #Conflicts: 1399000 | #Constraints: 67393
3241.85/3252.97 c #Conflicts: 1400000 | #Constraints: 68393
3241.85/3252.97 c #Conflicts: 1401000 | #Constraints: 69393
3241.85/3252.97 c #Conflicts: 1402000 | #Constraints: 70393
3241.85/3252.97 c #Conflicts: 1403000 | #Constraints: 71393
3241.85/3252.97 c #Conflicts: 1404000 | #Constraints: 72393
3241.85/3252.97 c #Conflicts: 1405000 | #Constraints: 73393
3241.85/3252.97 c #Conflicts: 1406000 | #Constraints: 74393
3241.85/3252.97 c #Conflicts: 1407000 | #Constraints: 75393
3241.85/3252.97 c #Conflicts: 1408000 | #Constraints: 76393
3241.85/3252.97 c #Conflicts: 1409000 | #Constraints: 77393
3241.85/3252.97 c #Conflicts: 1410000 | #Constraints: 78393
3241.85/3252.97 c #Conflicts: 1411000 | #Constraints: 79393
3241.85/3252.97 c #Conflicts: 1412000 | #Constraints: 80393
3241.85/3252.97 c #Conflicts: 1413000 | #Constraints: 81393
3241.85/3252.97 c #Conflicts: 1414000 | #Constraints: 82393
3241.85/3252.97 c #Conflicts: 1415000 | #Constraints: 83393
3241.85/3252.97 c #Conflicts: 1416000 | #Constraints: 84393
3241.85/3252.97 c #Conflicts: 1417000 | #Constraints: 85393
3241.85/3252.97 c #Conflicts: 1418000 | #Constraints: 86393
3241.85/3252.97 c #Conflicts: 1419000 | #Constraints: 87393
3241.85/3252.97 c #Conflicts: 1420000 | #Constraints: 88393
3241.85/3252.97 c #Conflicts: 1421000 | #Constraints: 89393
3241.85/3252.97 c #Conflicts: 1422000 | #Constraints: 90393
3241.85/3252.97 c #Conflicts: 1423000 | #Constraints: 91393
3241.85/3252.97 c #Conflicts: 1424000 | #Constraints: 92393
3241.85/3252.97 c #Conflicts: 1425000 | #Constraints: 93393
3241.85/3252.97 c #Conflicts: 1426000 | #Constraints: 94393
3241.85/3252.97 c #Conflicts: 1427000 | #Constraints: 95393
3241.85/3252.97 c #Conflicts: 1428000 | #Constraints: 96393
3241.85/3252.97 c #Conflicts: 1429000 | #Constraints: 97393
3241.85/3252.97 c #Conflicts: 1430000 | #Constraints: 98393
3241.85/3252.97 c #Conflicts: 1431000 | #Constraints: 99393
3241.85/3252.97 c #Conflicts: 1432000 | #Constraints: 100393
3241.85/3252.97 c #Conflicts: 1433000 | #Constraints: 101393
3241.85/3252.97 c #Conflicts: 1434000 | #Constraints: 102393
3241.85/3252.97 c #Conflicts: 1435000 | #Constraints: 103393
3241.85/3252.97 c #Conflicts: 1436000 | #Constraints: 104393
3241.85/3252.97 c #Conflicts: 1437000 | #Constraints: 105393
3241.85/3252.97 c #Conflicts: 1438000 | #Constraints: 106393
3241.85/3252.97 c #Conflicts: 1439000 | #Constraints: 107393
3241.85/3252.97 c #Conflicts: 1440000 | #Constraints: 108393
3241.85/3252.97 c #Conflicts: 1441000 | #Constraints: 109393
3241.85/3252.97 c #Conflicts: 1442000 | #Constraints: 110393
3241.85/3252.97 c #Conflicts: 1443000 | #Constraints: 111393
3241.85/3252.97 c #Conflicts: 1444000 | #Constraints: 112393
3241.85/3252.97 c #Conflicts: 1445000 | #Constraints: 113393
3241.85/3252.97 c #Conflicts: 1446000 | #Constraints: 114393
3241.85/3252.97 c #Conflicts: 1447000 | #Constraints: 115393
3241.85/3252.97 c #Conflicts: 1448000 | #Constraints: 116393
3241.85/3252.97 c #Conflicts: 1449000 | #Constraints: 117393
3241.85/3252.97 c #Conflicts: 1450000 | #Constraints: 118393
3241.85/3252.97 c #Conflicts: 1451000 | #Constraints: 119393
3241.85/3252.97 c #Conflicts: 1452000 | #Constraints: 120393
3241.85/3252.97 c #Conflicts: 1453000 | #Constraints: 121393
3241.85/3252.97 c #Conflicts: 1454000 | #Constraints: 122393
3506.97/3518.94 c #Conflicts: 1455000 | #Constraints: 123393
3506.97/3518.94 c #Conflicts: 1456000 | #Constraints: 124393
3506.97/3518.94 c #Conflicts: 1457000 | #Constraints: 125393
3506.97/3518.94 c #Conflicts: 1458000 | #Constraints: 126393
3506.97/3518.94 c #Conflicts: 1459000 | #Constraints: 127393
3506.97/3518.94 c #Conflicts: 1460000 | #Constraints: 128393
3506.97/3518.94 c #Conflicts: 1461000 | #Constraints: 129393
3506.97/3518.94 c #Conflicts: 1462000 | #Constraints: 130393
3506.97/3518.94 c #Conflicts: 1463000 | #Constraints: 131393
3506.97/3518.94 c #Conflicts: 1464000 | #Constraints: 132393
3506.97/3518.94 c #Conflicts: 1465000 | #Constraints: 133393
3506.97/3518.94 c #Conflicts: 1466000 | #Constraints: 134393
3506.97/3518.94 c #Conflicts: 1467000 | #Constraints: 135393
3506.97/3518.94 c #Conflicts: 1468000 | #Constraints: 136393
3506.97/3518.94 c #Conflicts: 1469000 | #Constraints: 137393
3506.97/3518.94 c #Conflicts: 1470000 | #Constraints: 138393
3506.97/3518.94 c #Conflicts: 1471000 | #Constraints: 139393
3506.97/3518.94 c #Conflicts: 1472000 | #Constraints: 140393
3506.97/3518.94 c #Conflicts: 1473000 | #Constraints: 141393
3506.97/3518.94 c #Conflicts: 1474000 | #Constraints: 142393
3506.97/3518.94 c #Conflicts: 1475000 | #Constraints: 143393
3506.97/3518.94 c #Conflicts: 1476000 | #Constraints: 144393
3506.97/3518.94 c INPROCESSING
3506.97/3518.94 c GARBAGE COLLECT
3506.97/3518.94 c #Conflicts: 1477000 | #Constraints: 72918
3506.97/3518.94 c #Conflicts: 1478000 | #Constraints: 73918
3506.97/3518.94 c #Conflicts: 1479000 | #Constraints: 74918
3506.97/3518.94 c #Conflicts: 1480000 | #Constraints: 75918
3506.97/3518.94 c #Conflicts: 1481000 | #Constraints: 76918
3506.97/3518.94 c #Conflicts: 1482000 | #Constraints: 77918
3506.97/3518.94 c #Conflicts: 1483000 | #Constraints: 78918
3506.97/3518.94 c #Conflicts: 1484000 | #Constraints: 79918
3506.97/3518.94 c #Conflicts: 1485000 | #Constraints: 80918
3506.97/3518.94 c #Conflicts: 1486000 | #Constraints: 81918
3506.97/3518.94 c #Conflicts: 1487000 | #Constraints: 82918
3506.97/3518.94 c #Conflicts: 1488000 | #Constraints: 83918
3506.97/3518.94 c #Conflicts: 1489000 | #Constraints: 84918
3506.97/3518.94 c #Conflicts: 1490000 | #Constraints: 85918
3506.97/3518.94 c #Conflicts: 1491000 | #Constraints: 86918
3506.97/3518.94 c #Conflicts: 1492000 | #Constraints: 87918
3506.97/3518.94 c #Conflicts: 1493000 | #Constraints: 88918
3506.97/3518.94 c #Conflicts: 1494000 | #Constraints: 89918
3506.97/3518.94 c #Conflicts: 1495000 | #Constraints: 90918
3506.97/3518.94 c #Conflicts: 1496000 | #Constraints: 91918
3506.97/3518.94 c #Conflicts: 1497000 | #Constraints: 92918
3506.97/3518.94 c #Conflicts: 1498000 | #Constraints: 93918
3506.97/3518.94 c #Conflicts: 1499000 | #Constraints: 94918
3506.97/3518.94 c #Conflicts: 1500000 | #Constraints: 95918
3506.97/3518.94 c #Conflicts: 1501000 | #Constraints: 96918
3506.97/3518.94 c #Conflicts: 1502000 | #Constraints: 97918
3506.97/3518.94 c #Conflicts: 1503000 | #Constraints: 98918
3506.97/3518.94 c #Conflicts: 1504000 | #Constraints: 99918
3506.97/3518.94 c #Conflicts: 1505000 | #Constraints: 100918
3506.97/3518.94 c INPROCESSING
3506.97/3518.94 c GARBAGE COLLECT
3506.97/3518.94 c #Conflicts: 1506000 | #Constraints: 62094
3506.97/3518.94 c #Conflicts: 1507000 | #Constraints: 63094
3506.97/3518.94 c #Conflicts: 1508000 | #Constraints: 64094
3506.97/3518.94 c #Conflicts: 1509000 | #Constraints: 65094
3506.97/3518.94 c #Conflicts: 1510000 | #Constraints: 66094
3506.97/3518.94 c #Conflicts: 1511000 | #Constraints: 67094
3506.97/3518.94 c #Conflicts: 1512000 | #Constraints: 68094
3506.97/3518.94 c #Conflicts: 1513000 | #Constraints: 69094
3506.97/3518.94 c #Conflicts: 1514000 | #Constraints: 70094
3506.97/3518.94 c #Conflicts: 1515000 | #Constraints: 71094
3506.97/3518.94 c #Conflicts: 1516000 | #Constraints: 72094
3506.97/3518.94 c #Conflicts: 1517000 | #Constraints: 73094
3506.97/3518.94 c #Conflicts: 1518000 | #Constraints: 74094
3506.97/3518.94 c #Conflicts: 1519000 | #Constraints: 75094
3506.97/3518.94 c #Conflicts: 1520000 | #Constraints: 76094
3506.97/3518.94 c #Conflicts: 1521000 | #Constraints: 77094
3506.97/3518.94 c #Conflicts: 1522000 | #Constraints: 78094
3506.97/3518.94 c #Conflicts: 1523000 | #Constraints: 79094
3506.97/3518.94 c #Conflicts: 1524000 | #Constraints: 80094
3506.97/3518.94 c #Conflicts: 1525000 | #Constraints: 81094
3506.97/3518.94 c #Conflicts: 1526000 | #Constraints: 82094
3506.97/3518.94 c #Conflicts: 1527000 | #Constraints: 83094
3506.97/3518.94 c #Conflicts: 1528000 | #Constraints: 84094
3506.97/3518.94 c #Conflicts: 1529000 | #Constraints: 85094
3506.97/3518.94 c #Conflicts: 1530000 | #Constraints: 86094
3506.97/3518.94 c #Conflicts: 1531000 | #Constraints: 87094
3506.97/3518.94 c #Conflicts: 1532000 | #Constraints: 88094
3600.06/3612.30 c #Conflicts: 1533000 | #Constraints: 89094
3600.06/3612.30 c #Conflicts: 1534000 | #Constraints: 90094
3600.06/3612.30 c #Conflicts: 1535000 | #Constraints: 91094
3600.06/3612.30 c #Conflicts: 1536000 | #Constraints: 92094
3600.06/3612.30 c #Conflicts: 1537000 | #Constraints: 93094
3600.06/3612.30 c #Conflicts: 1538000 | #Constraints: 94094
3600.06/3612.30 c #Conflicts: 1539000 | #Constraints: 95094
3600.06/3612.30 c #Conflicts: 1540000 | #Constraints: 96094
3600.06/3612.30 c #Conflicts: 1541000 | #Constraints: 97094
3600.06/3612.30 c #Conflicts: 1542000 | #Constraints: 98094
3600.06/3612.30 c #Conflicts: 1543000 | #Constraints: 99094
3600.06/3612.30 c #Conflicts: 1544000 | #Constraints: 100094
3600.06/3612.30 c #Conflicts: 1545000 | #Constraints: 101094
3600.06/3612.30 c #Conflicts: 1546000 | #Constraints: 102094
3600.06/3612.30 c #Conflicts: 1547000 | #Constraints: 103094
3600.06/3612.30 c #Conflicts: 1548000 | #Constraints: 104094
3600.06/3612.30 c #Conflicts: 1549000 | #Constraints: 105094
3600.06/3612.30 c #Conflicts: 1550000 | #Constraints: 106094
3600.06/3612.30 c #Conflicts: 1551000 | #Constraints: 107094
3600.06/3612.30 c #Conflicts: 1552000 | #Constraints: 108094
3600.06/3612.30 c #Conflicts: 1553000 | #Constraints: 109094
3600.06/3612.30 c #Conflicts: 1554000 | #Constraints: 110094
3600.06/3612.30 c #Conflicts: 1555000 | #Constraints: 111094
3600.06/3612.30 c #Conflicts: 1556000 | #Constraints: 112094
3600.06/3612.30 c #Conflicts: 1557000 | #Constraints: 113094
3600.06/3612.30 c #Conflicts: 1558000 | #Constraints: 114094
3600.06/3612.30 c #Conflicts: 1559000 | #Constraints: 115094
3600.06/3612.30 c Program interrupted by user.
3600.06/3612.30 c cpu time 3585.16 s
3600.06/3612.30 c deterministic time 559323662360 5.59e+11
3600.06/3612.30 c optimization time 138.289 s
3600.06/3612.30 c total solve time 3446.87 s
3600.06/3612.30 c core-guided solve time 3446.87 s
3600.06/3612.30 c propagation time 3028.71 s
3600.06/3612.30 c conflict analysis time 526.032 s
3600.06/3612.30 c propagations 88727544
3600.06/3612.30 c resolve steps 8083615
3600.06/3612.30 c decisions 9413478
3600.06/3612.30 c conflicts 1559776
3600.06/3612.30 c restarts 3067
3600.06/3612.30 c inprocessing phases 70
3600.06/3612.30 c input clauses 0
3600.06/3612.30 c input cardinalities 0
3600.06/3612.30 c input general constraints 25
3600.06/3612.30 c input average constraint length 292.16
3600.06/3612.30 c input average constraint degree 18502.28
3600.06/3612.30 c learned clauses 948018
3600.06/3612.30 c learned cardinalities 1895
3600.06/3612.30 c learned general constraints 609863
3600.06/3612.30 c learned average constraint length 169.71
3600.06/3612.30 c learned average constraint degree 2353676.85
3600.06/3612.30 c watched constraints 444439
3600.06/3612.30 c counting constraints 165449
3600.06/3612.30 c gcd simplifications 526261
3600.06/3612.30 c detected cardinalities 564
3600.06/3612.30 c weakened non-implied lits 125507248
3600.06/3612.30 c weakened non-implying lits 1154513
3600.06/3612.30 c original variables 319
3600.06/3612.30 c clausal propagations 2747417
3600.06/3612.30 c cardinality propagations 195003
3600.06/3612.30 c watched propagations 14170914
3600.06/3612.30 c counting propagations 70108833
3600.06/3612.30 c watch lookups 64989500715
3600.06/3612.30 c watch backjump lookups 58332955996
3600.06/3612.30 c watch checks 376697861556
3600.06/3612.30 c propagation checks 57260684817
3600.06/3612.30 c constraint additions 1844817670
3600.06/3612.30 c trail pops 99700583
3600.06/3612.30 c formula constraints 6
3600.06/3612.30 c learned constraints 1559776
3600.06/3612.30 c bound constraints 19
3600.06/3612.30 c core-guided constraints 0
3600.06/3612.30 c encountered formula constraints 490375
3600.06/3612.30 c encountered learned constraints 8541957
3600.06/3612.30 c encountered bound constraints 611059
3600.06/3612.30 c encountered core-guided constraints 0
3600.06/3612.30 c LP total time 0 s
3600.06/3612.30 c LP solve time 0 s
3600.06/3612.30 c LP constraints added 0
3600.06/3612.30 c LP constraints removed 0
3600.06/3612.30 c LP pivots internal 0
3600.06/3612.30 c LP pivots root 0
3600.06/3612.30 c LP calls 0
3600.06/3612.30 c LP optimalities 0
3600.06/3612.30 c LP no pivot count 0
3600.06/3612.30 c LP infeasibilities 0
3600.06/3612.30 c LP valid Farkas constraints 0
3600.06/3612.30 c LP learned Farkas constraints 0
3600.06/3612.30 c LP basis resets 0
3600.06/3612.30 c LP cycling count 0
3600.06/3612.30 c LP singular count 0
3600.06/3612.30 c LP no primal count 0
3600.06/3612.30 c LP no farkas count 0
3600.06/3612.30 c LP other issue count 0
3600.06/3612.30 c LP Gomory cuts 0
3600.06/3612.30 c LP learned cuts 0
3600.06/3612.30 c LP deleted cuts 0
3600.06/3612.30 c LP encountered Gomory constraints 0
3600.06/3612.30 c LP encountered Farkas constraints 0
3600.06/3612.30 c LP encountered learned Farkas constraints 0
3600.06/3612.30 c CG auxiliary variables introduced 0
3600.06/3612.30 c CG solutions found 18
3600.06/3612.30 c CG cores constructed 1
3600.06/3612.30 c CG core cardinality constraints returned 0
3600.06/3612.30 c CG unit cores 0
3600.06/3612.30 c CG single cores 1
3600.06/3612.30 c CG blocks removed during cardinality reduction 0
3600.06/3612.30 c CG first core best 0
3600.06/3612.30 c CG decision core best 0
3600.06/3612.30 c CG core reduction tie 0
3600.06/3612.30 c CG core degree average 1.00
3600.06/3612.30 c CG core slack average 292.00
3600.06/3612.30 c CG exhausted 0
3600.06/3612.30 c CG exhaust time 0 s
3600.06/3612.30 c CG trimmed 0
3600.06/3612.30 c CG trim time 0.000272 s
3600.06/3612.30 c CG minimized 0
3600.06/3612.30 c CG minimize time 0 s
3600.06/3612.30 c CG am1 prop time 0.000388 s
3600.06/3612.30 c CG # am1s reformulated 0
3600.06/3612.30 c CG lower bound derived from am1s 0
3600.06/3612.30 c CG # clausal cores 1
3600.06/3612.30 c CG # cardinality cores 0
3600.06/3612.30 c CG # pb cores 0
3600.06/3612.30 c CG # pb reforms 0
3600.06/3612.30 c CG # cores discarded because of pb reform 0
3600.06/3612.30 d LOWERBOUND 63
3600.06/3612.30 d NCORES 1
3600.06/3612.30 d NPBCORES 0
3600.06/3612.30 d NPBREFORM 0
3600.06/3612.30 d NTRIMMED 0
3600.06/3612.30 d NEXHAUSTED 0
3600.06/3612.30 d NAM1S 0
3600.06/3612.30 d AM1LB 0
3600.06/3612.30 o 307
3600.06/3612.30 s SATISFIABLE
3600.06/3612.30 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: 63931 MiB (61054 MiB free)
memory of node 1: 64510 MiB (62962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454229-1721449658/watcher-4454229-1721449658 -o /tmp/evaluation-result-4454229-1721449658/solver-4454229-1721449658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059493 --watchdog 3760 pb-oll-rs HOME/instance-4454229-1721449658.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1061749, runsolver pid=1061746
[startup+0.100305 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 1061750
/proc/meminfo: memFree=126986212/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=39436 memory=8872 CPUtime=0.09 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 547 0 0 0 9 0 0 0 20 0 1 0 197129970 40382464 2218 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 9859 2218 1376 291 0 1393 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39436 KiB
Current children cumulated memory: 8872 KiB
[startup+0.205371 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 1061750
/proc/meminfo: memFree=126985372/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=40084 memory=9584 CPUtime=0.2 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 704 0 0 0 19 1 0 0 20 0 1 0 197129970 41046016 2396 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 10021 2396 1392 291 0 1555 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40084 KiB
Current children cumulated memory: 9584 KiB
[startup+0.304929 s]*
/proc/loadavg: 4.05 4.08 4.09 5/256 1061750
/proc/meminfo: memFree=126984924/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=40348 memory=9848 CPUtime=0.3 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 775 0 0 0 28 2 0 0 20 0 1 0 197129970 41316352 2462 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 10087 2462 1392 291 0 1621 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 9848 KiB
[startup+0.70016 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126983744/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=41828 memory=12456 CPUtime=0.69 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 1344 0 0 0 66 3 0 0 20 0 1 0 197129970 42831872 3114 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 10457 3114 1454 291 0 1991 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 12456 KiB
[startup+1.50018 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126978592/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=42508 memory=14040 CPUtime=1.48 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 1745 0 0 0 143 5 0 0 20 0 1 0 197129970 43528192 3510 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 10627 3510 1454 291 0 2161 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 14040 KiB
[startup+3.10544 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126971964/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=47160 memory=17404 CPUtime=3.08 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 2547 0 0 0 300 8 0 0 20 0 1 0 197129970 48291840 4351 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 11790 4351 1454 291 0 3324 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47160 KiB
Current children cumulated memory: 17404 KiB
[startup+6.30017 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1061751
/proc/meminfo: memFree=126962908/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=48664 memory=19644 CPUtime=6.26 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 3132 0 0 0 611 15 0 0 20 0 1 0 197129970 49831936 4911 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 12166 4911 1454 291 0 3700 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 48664 KiB
Current children cumulated memory: 19644 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.09 5/256 1061753
/proc/meminfo: memFree=126918088/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=54288 memory=22196 CPUtime=12.65 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 3749 0 0 0 1237 28 0 0 20 0 1 0 197129970 55590912 5549 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 13572 5549 1454 291 0 5106 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 54288 KiB
Current children cumulated memory: 22196 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1061923
/proc/meminfo: memFree=126886604/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=57824 memory=28840 CPUtime=25.41 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 4738 0 0 0 2492 49 0 0 20 0 1 0 197129970 59211776 7210 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 14456 7210 1454 291 0 5990 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57824 KiB
Current children cumulated memory: 28840 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1061975
/proc/meminfo: memFree=126321556/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=69104 memory=36092 CPUtime=50.93 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 5829 0 0 0 5003 90 0 0 20 0 1 0 197129970 70762496 9023 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 17276 9023 1454 291 0 8810 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 69104 KiB
Current children cumulated memory: 36092 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/258 1061983
/proc/meminfo: memFree=125453732/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=121268 memory=77940 CPUtime=101.96 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 11791 0 0 0 10056 140 0 0 20 0 1 0 197129970 124178432 19485 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 30317 19485 1454 291 0 21851 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 121268 KiB
Current children cumulated memory: 77940 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 1062050
/proc/meminfo: memFree=125216080/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=126476 memory=92588 CPUtime=161.75 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 13619 0 0 0 15983 192 0 0 20 0 1 0 197129970 129511424 23147 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 31619 23147 1454 291 0 23153 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 126476 KiB
Current children cumulated memory: 92588 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 1062061
/proc/meminfo: memFree=124510496/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=172308 memory=112600 CPUtime=221.55 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 16682 0 0 0 21936 219 0 0 20 0 1 0 197129970 176443392 28150 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 43077 28150 1454 291 0 34611 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 172308 KiB
Current children cumulated memory: 112600 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1062071
/proc/meminfo: memFree=124214736/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=173900 memory=116252 CPUtime=281.35 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 17219 0 0 0 27876 259 0 0 20 0 1 0 197129970 178073600 29063 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 43475 29063 1454 291 0 35009 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 173900 KiB
Current children cumulated memory: 116252 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1062081
/proc/meminfo: memFree=124199212/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=179988 memory=120932 CPUtime=341.15 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 18415 0 0 0 33834 281 0 0 20 0 1 0 197129970 184307712 30233 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 44997 30233 1454 291 0 36531 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 179988 KiB
Current children cumulated memory: 120932 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1062093
/proc/meminfo: memFree=124030620/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=184252 memory=130836 CPUtime=400.95 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 19641 0 0 0 39786 309 0 0 20 0 1 0 197129970 188674048 32709 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 46063 32709 1454 291 0 37597 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 184252 KiB
Current children cumulated memory: 130836 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 1062103
/proc/meminfo: memFree=123998240/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=184468 memory=131044 CPUtime=460.74 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 19684 0 0 0 45730 344 0 0 20 0 1 0 197129970 188895232 32761 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 46117 32761 1454 291 0 37651 0
################
# More data... #
################
Current children cumulated memory: 212876 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/254 1063119
/proc/meminfo: memFree=121293784/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=289968 memory=214128 CPUtime=2912.38 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 35930 0 0 0 289952 1286 0 0 20 0 1 0 197129970 296927232 53532 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 72492 53532 1454 291 0 64026 0
Current children cumulated CPU time: 2912.38 s
Current children cumulated vsize: 289968 KiB
Current children cumulated memory: 214128 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/254 1063130
/proc/meminfo: memFree=121141636/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=291760 memory=217904 CPUtime=2972.18 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 36692 0 0 0 295910 1308 0 0 20 0 1 0 197129970 298762240 54476 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 72940 54476 1454 291 0 64474 0
Current children cumulated CPU time: 2972.18 s
Current children cumulated vsize: 291760 KiB
Current children cumulated memory: 217904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/254 1063140
/proc/meminfo: memFree=120935776/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=292756 memory=218672 CPUtime=3031.98 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 36914 0 0 0 301864 1334 0 0 20 0 1 0 197129970 299782144 54668 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 73189 54668 1454 291 0 64723 0
Current children cumulated CPU time: 3031.98 s
Current children cumulated vsize: 292756 KiB
Current children cumulated memory: 218672 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/254 1063150
/proc/meminfo: memFree=120544900/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=292756 memory=218672 CPUtime=3091.76 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 36919 0 0 0 307822 1354 0 0 20 0 1 0 197129970 299782144 54668 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 73189 54668 1454 291 0 64723 0
Current children cumulated CPU time: 3091.76 s
Current children cumulated vsize: 292756 KiB
Current children cumulated memory: 218672 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/256 1063164
/proc/meminfo: memFree=120520336/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=292756 memory=218672 CPUtime=3151.56 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 36927 0 0 0 313787 1369 0 0 20 0 1 0 197129970 299782144 54668 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 73189 54668 1454 291 0 64723 0
Current children cumulated CPU time: 3151.56 s
Current children cumulated vsize: 292756 KiB
Current children cumulated memory: 218672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/256 1063175
/proc/meminfo: memFree=120512716/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=292624 memory=218684 CPUtime=3211.35 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 36951 0 0 0 319754 1381 0 0 20 0 1 0 197129970 299646976 54671 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 73156 54671 1454 291 0 64690 0
Current children cumulated CPU time: 3211.35 s
Current children cumulated vsize: 292624 KiB
Current children cumulated memory: 218684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/256 1063185
/proc/meminfo: memFree=120508220/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=292624 memory=218884 CPUtime=3271.15 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 37011 0 0 0 325721 1394 0 0 20 0 1 0 197129970 299646976 54721 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 73156 54721 1454 291 0 64690 0
Current children cumulated CPU time: 3271.15 s
Current children cumulated vsize: 292624 KiB
Current children cumulated memory: 218884 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/256 1063195
/proc/meminfo: memFree=120440584/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=296492 memory=223760 CPUtime=3330.95 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 37769 0 0 0 331691 1404 0 0 20 0 1 0 197129970 303607808 55940 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 74123 55940 1454 291 0 65657 0
Current children cumulated CPU time: 3330.95 s
Current children cumulated vsize: 296492 KiB
Current children cumulated memory: 223760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/256 1063207
/proc/meminfo: memFree=120371972/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=301224 memory=235708 CPUtime=3390.75 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 39098 0 0 0 337661 1414 0 0 20 0 1 0 197129970 308453376 58927 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 75306 58927 1454 291 0 66840 0
Current children cumulated CPU time: 3390.75 s
Current children cumulated vsize: 301224 KiB
Current children cumulated memory: 235708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/257 1063600
/proc/meminfo: memFree=120247700/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=301224 memory=235708 CPUtime=3450.56 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 39103 0 0 0 343619 1437 0 0 20 0 1 0 197129970 308453376 58927 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 75306 58927 1454 291 0 66840 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 301224 KiB
Current children cumulated memory: 235708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/256 1063610
/proc/meminfo: memFree=120158272/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=302220 memory=236476 CPUtime=3510.35 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 39320 0 0 0 349572 1463 0 0 20 0 1 0 197129970 309473280 59119 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 75555 59119 1454 291 0 67089 0
Current children cumulated CPU time: 3510.35 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 236476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/256 1063621
/proc/meminfo: memFree=120115664/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=302220 memory=236576 CPUtime=3570.16 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 39837 0 0 0 355534 1482 0 0 20 0 1 0 197129970 309473280 59144 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 75555 59144 1454 291 0 67089 0
Current children cumulated CPU time: 3570.16 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 236576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.45 4.18 4.15 5/256 1063763
/proc/meminfo: memFree=121375008/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=302220 memory=236576 CPUtime=3600.06 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 39837 0 0 0 358515 1491 0 0 20 0 1 0 197129970 309473280 59144 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 75555 59144 1454 291 0 67089 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 236576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.31 s]
# the end of solver process 1061749 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.16 s, system=14.9182 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.45 4.18 4.15 5/256 1063763
/proc/meminfo: memFree=121375008/131524600 swapFree=131071996/131071996
[pid=1061749] ppid=1061746 vsize=302220 memory=236576 CPUtime=3600.06 cores=0,2
/proc/1061749/stat : 1061749 (pb-oll-rs) R 1061746 1061749 1059483 0 -1 4194304 39837 0 0 0 358515 1491 0 0 20 0 1 0 197129970 309473280 59144 134679101440 4194304 5384485 140728259585552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 11370496 140728259589141 140728259589218 140728259589218 140728259596235 0
/proc/1061749/statm: 75555 59144 1454 291 0 67089 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 302220 KiB
Current children cumulated memory: 236576 KiB
Child status: 0
Real time (s): 3612.31
CPU time (s): 3600.08
CPU user time (s): 3585.16
CPU system time (s): 14.9182
CPU usage (%): 99.6614
Max. virtual memory (cumulated for all children) (KiB): 303068
Max. memory (cumulated for all children) (KiB): 237044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.16
system time used= 14.9182
maximum resident set size= 237044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39853
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= 15
involuntary context switches= 25240
# summary of solver processes directly reported to runsolver:
# pid: 1061749
# total CPU time (s): 3600.08
# total CPU user time (s): 3585.16
# total CPU system time (s): 14.9182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5398 second user time and 12.7929 second system time
The end
Begin job on nodeC022 at 2024-07-20 06:27:51
IDJOB=4454229
IDBENCH=146929
IDSOLVER=3082
FILE ID=nodeC022/4454229-1721449658
RUNJOBID= nodeC022-1721446059-1059493
SLURM_JOB_ID= 7545669
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454229-1721449658/watcher-4454229-1721449658 -o /tmp/evaluation-result-4454229-1721449658/solver-4454229-1721449658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059493 --watchdog 3760 pb-oll-rs HOME/instance-4454229-1721449658.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa
RANDOM SEED=507219951
nodeC022.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 : 0xb00002a
cpu MHz : 3642.098
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.640
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.553
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.435
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.727
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.657
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.615
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.231
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126993444 kB
MemAvailable: 129642884 kB
Buffers: 538872 kB
Cached: 2935336 kB
SwapCached: 0 kB
Active: 1241536 kB
Inactive: 2632228 kB
Active(anon): 1572 kB
Inactive(anon): 443900 kB
Active(file): 1239964 kB
Inactive(file): 2188328 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 9016 kB
Writeback: 0 kB
AnonPages: 399028 kB
Mapped: 112152 kB
Shmem: 45912 kB
KReclaimable: 121588 kB
Slab: 238312 kB
SReclaimable: 121588 kB
SUnreclaim: 116724 kB
KernelStack: 4124 kB
PageTables: 10256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 841528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71520 kB
HardwareCorrupted: 0 kB
AnonHugePages: 266240 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-20 07:28:03