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.60/0.66 c [STEP] solving
0.60/0.66 c #variables 1272 #constraints 94227
0.60/0.66 c SMALL=int, LARGE=long long
0.60/0.66 c bounds - >= -1272 @ 0.47248
0.60/0.66 c stratification level: 0
0.79/0.83 c bounds - >= -238 @ 0.576546
0.79/0.83 c bounds - >= -237 @ 0.57838
0.79/0.83 c bounds - >= -236 @ 0.578641
0.79/0.83 c bounds - >= -235 @ 0.579278
0.79/0.83 c bounds - >= -234 @ 0.579637
0.79/0.83 c bounds - >= -233 @ 0.580633
0.79/0.83 c bounds - >= -232 @ 0.580633
0.79/0.83 c bounds - >= -231 @ 0.580633
0.79/0.83 c bounds - >= -230 @ 0.580633
0.79/0.83 c bounds - >= -229 @ 0.581424
0.79/0.83 c bounds - >= -228 @ 0.582198
0.79/0.83 c bounds - >= -227 @ 0.582625
0.79/0.83 c bounds - >= -226 @ 0.58333
0.79/0.83 c bounds - >= -225 @ 0.584612
0.79/0.83 c bounds - >= -224 @ 0.584614
0.79/0.83 c bounds - >= -223 @ 0.585597
0.79/0.83 c bounds - >= -222 @ 0.586296
0.79/0.83 c bounds - >= -221 @ 0.586594
0.79/0.83 c bounds - >= -220 @ 0.586594
0.79/0.83 c bounds - >= -219 @ 0.586595
0.79/0.83 c bounds - >= -218 @ 0.58759
0.79/0.83 c bounds - >= -217 @ 0.587756
0.79/0.83 c bounds - >= -216 @ 0.588585
0.79/0.83 c bounds - >= -215 @ 0.588994
0.79/0.83 c bounds - >= -214 @ 0.590678
0.79/0.83 c bounds - >= -213 @ 0.592355
0.79/0.83 c bounds - >= -212 @ 0.593547
0.79/0.83 c bounds - >= -211 @ 0.594559
0.79/0.83 c bounds - >= -210 @ 0.594832
0.79/0.83 c bounds - >= -209 @ 0.596502
0.79/0.83 c bounds - >= -208 @ 0.598889
0.79/0.83 c finalizing WCE round: reformulating cores
15.84/15.92 c bounds -22 >= -237 @ 0.608934
15.84/15.92 c bounds -25 >= -234 @ 0.630693
15.84/15.92 c #Conflicts: 1000 | #Constraints: 95513
15.84/15.92 c bounds -28 >= -230 @ 1.13173
15.84/15.92 c bounds -28 >= -230 @ 1.14235
15.84/15.92 c bounds -28 >= -230 @ 1.15328
15.84/15.92 c #Conflicts: 2000 | #Constraints: 96525
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c bounds -28 >= -230 @ 1.20298
15.84/15.92 c #Conflicts: 3000 | #Constraints: 96378
15.84/15.92 c bounds -29 >= -224 @ 1.60036
15.84/15.92 c #Conflicts: 4000 | #Constraints: 97382
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 5000 | #Constraints: 96691
15.84/15.92 c #Conflicts: 6000 | #Constraints: 97694
15.84/15.92 c bounds -30 >= -219 @ 2.75824
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 7000 | #Constraints: 96796
15.84/15.92 c #Conflicts: 8000 | #Constraints: 97798
15.84/15.92 c bounds -31 >= -215 @ 3.70008
15.84/15.92 c bounds -31 >= -215 @ 3.71384
15.84/15.92 c #Conflicts: 9000 | #Constraints: 98807
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 10000 | #Constraints: 97516
15.84/15.92 c bounds -32 >= -210 @ 4.59391
15.84/15.92 c #Conflicts: 11000 | #Constraints: 98522
15.84/15.92 c #Conflicts: 12000 | #Constraints: 99524
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 13000 | #Constraints: 98012
15.84/15.92 c #Conflicts: 14000 | #Constraints: 99017
15.84/15.92 c #Conflicts: 15000 | #Constraints: 100019
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 16000 | #Constraints: 98283
15.84/15.92 c bounds -33 >= -202 @ 7.24024
15.84/15.92 c #Conflicts: 17000 | #Constraints: 99287
15.84/15.92 c #Conflicts: 18000 | #Constraints: 100289
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c bounds -33 >= -198 @ 8.49194
15.84/15.92 c #Conflicts: 19000 | #Constraints: 98308
15.84/15.92 c #Conflicts: 20000 | #Constraints: 99313
15.84/15.92 c bounds -34 >= -195 @ 9.28387
15.84/15.92 c bounds -34 >= -194 @ 9.28722
15.84/15.92 c bounds -34 >= -193 @ 9.2959
15.84/15.92 c bounds -34 >= -192 @ 9.30964
15.84/15.92 c bounds -34 >= -191 @ 9.35437
15.84/15.92 c #Conflicts: 21000 | #Constraints: 100431
15.84/15.92 c bounds -34 >= -190 @ 9.43782
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 22000 | #Constraints: 98259
15.84/15.92 c bounds -34 >= -189 @ 9.67476
15.84/15.92 c #Conflicts: 23000 | #Constraints: 99317
15.84/15.92 c #Conflicts: 24000 | #Constraints: 100317
15.84/15.92 c #Conflicts: 25000 | #Constraints: 101317
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 26000 | #Constraints: 98905
15.84/15.92 c #Conflicts: 27000 | #Constraints: 99905
15.84/15.92 c bounds -34 >= -188 @ 10.2522
15.84/15.92 c #Conflicts: 28000 | #Constraints: 100942
15.84/15.92 c #Conflicts: 29000 | #Constraints: 101942
15.84/15.92 c INPROCESSING
15.84/15.92 c #Conflicts: 30000 | #Constraints: 99328
15.84/15.92 c #Conflicts: 31000 | #Constraints: 100328
15.84/15.92 c #Conflicts: 32000 | #Constraints: 101328
15.84/15.92 c #Conflicts: 33000 | #Constraints: 102328
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 34000 | #Constraints: 99519
15.84/15.92 c #Conflicts: 35000 | #Constraints: 100519
15.84/15.92 c #Conflicts: 36000 | #Constraints: 101519
15.84/15.92 c #Conflicts: 37000 | #Constraints: 102519
15.84/15.92 c INPROCESSING
15.84/15.92 c #Conflicts: 38000 | #Constraints: 99531
15.84/15.92 c #Conflicts: 39000 | #Constraints: 100531
15.84/15.92 c #Conflicts: 40000 | #Constraints: 101531
15.84/15.92 c #Conflicts: 41000 | #Constraints: 102531
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 42000 | #Constraints: 99332
15.84/15.92 c #Conflicts: 43000 | #Constraints: 100332
15.84/15.92 c #Conflicts: 44000 | #Constraints: 101332
15.84/15.92 c #Conflicts: 45000 | #Constraints: 102332
15.84/15.92 c #Conflicts: 46000 | #Constraints: 103332
15.84/15.92 c INPROCESSING
15.84/15.92 c #Conflicts: 47000 | #Constraints: 99941
15.84/15.92 c #Conflicts: 48000 | #Constraints: 100941
15.84/15.92 c #Conflicts: 49000 | #Constraints: 101941
15.84/15.92 c #Conflicts: 50000 | #Constraints: 102941
15.84/15.92 c #Conflicts: 51000 | #Constraints: 103941
15.84/15.92 c INPROCESSING
15.84/15.92 c GARBAGE COLLECT
15.84/15.92 c #Conflicts: 52000 | #Constraints: 100344
15.84/15.92 c #Conflicts: 53000 | #Constraints: 101344
15.84/15.92 c #Conflicts: 54000 | #Constraints: 102344
15.84/15.92 c #Conflicts: 55000 | #Constraints: 103344
15.84/15.92 c #Conflicts: 56000 | #Constraints: 104344
15.84/15.92 c INPROCESSING
15.84/15.92 c #Conflicts: 57000 | #Constraints: 100540
15.84/15.92 c #Conflicts: 58000 | #Constraints: 101540
40.76/40.98 c #Conflicts: 59000 | #Constraints: 102540
40.76/40.98 c #Conflicts: 60000 | #Constraints: 103540
40.76/40.98 c #Conflicts: 61000 | #Constraints: 104540
40.76/40.98 c INPROCESSING
40.76/40.98 c GARBAGE COLLECT
40.76/40.98 c #Conflicts: 62000 | #Constraints: 100535
40.76/40.98 c #Conflicts: 63000 | #Constraints: 101535
40.76/40.98 c #Conflicts: 64000 | #Constraints: 102535
40.76/40.98 c #Conflicts: 65000 | #Constraints: 103535
40.76/40.98 c #Conflicts: 66000 | #Constraints: 104535
40.76/40.98 c INPROCESSING
40.76/40.98 c #Conflicts: 67000 | #Constraints: 100334
40.76/40.98 c #Conflicts: 68000 | #Constraints: 101334
40.76/40.98 c #Conflicts: 69000 | #Constraints: 102334
40.76/40.98 c #Conflicts: 70000 | #Constraints: 103334
40.76/40.98 c #Conflicts: 71000 | #Constraints: 104334
40.76/40.98 c #Conflicts: 72000 | #Constraints: 105334
40.76/40.98 c INPROCESSING
40.76/40.98 c GARBAGE COLLECT
40.76/40.98 c #Conflicts: 73000 | #Constraints: 100934
40.76/40.98 c #Conflicts: 74000 | #Constraints: 101934
40.76/40.98 c #Conflicts: 75000 | #Constraints: 102934
40.76/40.98 c #Conflicts: 76000 | #Constraints: 103934
40.76/40.98 c #Conflicts: 77000 | #Constraints: 104934
40.76/40.98 c #Conflicts: 78000 | #Constraints: 105934
40.76/40.98 c INPROCESSING
40.76/40.98 c #Conflicts: 79000 | #Constraints: 101343
40.76/40.98 c #Conflicts: 80000 | #Constraints: 102343
40.76/40.98 c #Conflicts: 81000 | #Constraints: 103343
40.76/40.98 c #Conflicts: 82000 | #Constraints: 104343
40.76/40.98 c #Conflicts: 83000 | #Constraints: 105343
40.76/40.98 c #Conflicts: 84000 | #Constraints: 106343
40.76/40.98 c INPROCESSING
40.76/40.98 c GARBAGE COLLECT
40.76/40.98 c #Conflicts: 85000 | #Constraints: 101545
40.76/40.98 c #Conflicts: 86000 | #Constraints: 102545
40.76/40.98 c #Conflicts: 87000 | #Constraints: 103545
40.76/40.98 c #Conflicts: 88000 | #Constraints: 104545
40.76/40.98 c #Conflicts: 89000 | #Constraints: 105545
40.76/40.98 c #Conflicts: 90000 | #Constraints: 106545
40.76/40.98 c INPROCESSING
40.76/40.98 c #Conflicts: 91000 | #Constraints: 101547
40.76/40.98 c #Conflicts: 92000 | #Constraints: 102547
40.76/40.98 c #Conflicts: 93000 | #Constraints: 103547
40.76/40.98 c #Conflicts: 94000 | #Constraints: 104547
40.76/40.98 c #Conflicts: 95000 | #Constraints: 105547
40.76/40.98 c #Conflicts: 96000 | #Constraints: 106547
40.76/40.98 c INPROCESSING
40.76/40.98 c GARBAGE COLLECT
40.76/40.98 c #Conflicts: 97000 | #Constraints: 101345
40.76/40.98 c #Conflicts: 98000 | #Constraints: 102345
40.76/40.98 c #Conflicts: 99000 | #Constraints: 103345
40.76/40.98 c #Conflicts: 100000 | #Constraints: 104345
40.76/40.98 c #Conflicts: 101000 | #Constraints: 105345
40.76/40.98 c #Conflicts: 102000 | #Constraints: 106345
40.76/40.98 c #Conflicts: 103000 | #Constraints: 107345
40.76/40.98 c INPROCESSING
40.76/40.98 c #Conflicts: 104000 | #Constraints: 101949
40.76/40.98 c #Conflicts: 105000 | #Constraints: 102949
40.76/40.98 c #Conflicts: 106000 | #Constraints: 103949
40.76/40.98 c #Conflicts: 107000 | #Constraints: 104949
40.76/40.98 c bounds -34 >= -187 @ 28.9191
40.76/40.98 c #Conflicts: 108000 | #Constraints: 106004
40.76/40.98 c #Conflicts: 109000 | #Constraints: 107004
40.76/40.98 c #Conflicts: 110000 | #Constraints: 108004
40.76/40.98 c #Conflicts: 111000 | #Constraints: 109004
40.76/40.98 c #Conflicts: 112000 | #Constraints: 110004
40.76/40.98 c #Conflicts: 113000 | #Constraints: 111004
40.76/40.98 c #Conflicts: 114000 | #Constraints: 112004
40.76/40.98 c #Conflicts: 115000 | #Constraints: 113004
40.76/40.98 c #Conflicts: 116000 | #Constraints: 114004
40.76/40.98 c #Conflicts: 117000 | #Constraints: 115004
40.76/40.98 c #Conflicts: 118000 | #Constraints: 116004
40.76/40.98 c #Conflicts: 119000 | #Constraints: 117004
40.76/40.98 c #Conflicts: 120000 | #Constraints: 118004
40.76/40.98 c #Conflicts: 121000 | #Constraints: 119004
40.76/40.98 c #Conflicts: 122000 | #Constraints: 120004
40.76/40.98 c #Conflicts: 123000 | #Constraints: 121004
40.76/40.98 c #Conflicts: 124000 | #Constraints: 122004
40.76/40.98 c #Conflicts: 125000 | #Constraints: 123004
40.76/40.98 c #Conflicts: 126000 | #Constraints: 124004
40.76/40.98 c #Conflicts: 127000 | #Constraints: 125004
40.76/40.98 c #Conflicts: 128000 | #Constraints: 126004
40.76/40.98 c #Conflicts: 129000 | #Constraints: 127004
40.76/40.98 c #Conflicts: 130000 | #Constraints: 128004
40.76/40.98 c #Conflicts: 131000 | #Constraints: 129004
40.76/40.98 c #Conflicts: 132000 | #Constraints: 130004
87.62/87.95 c INPROCESSING
87.62/87.95 c GARBAGE COLLECT
87.62/87.95 c #Conflicts: 133000 | #Constraints: 113158
87.62/87.95 c #Conflicts: 134000 | #Constraints: 114158
87.62/87.95 c #Conflicts: 135000 | #Constraints: 115158
87.62/87.95 c #Conflicts: 136000 | #Constraints: 116158
87.62/87.95 c #Conflicts: 137000 | #Constraints: 117158
87.62/87.95 c #Conflicts: 138000 | #Constraints: 118158
87.62/87.95 c #Conflicts: 139000 | #Constraints: 119158
87.62/87.95 c #Conflicts: 140000 | #Constraints: 120158
87.62/87.95 c INPROCESSING
87.62/87.95 c GARBAGE COLLECT
87.62/87.95 c #Conflicts: 141000 | #Constraints: 108290
87.62/87.95 c #Conflicts: 142000 | #Constraints: 109290
87.62/87.95 c #Conflicts: 143000 | #Constraints: 110290
87.62/87.95 c #Conflicts: 144000 | #Constraints: 111290
87.62/87.95 c #Conflicts: 145000 | #Constraints: 112290
87.62/87.95 c #Conflicts: 146000 | #Constraints: 113290
87.62/87.95 c #Conflicts: 147000 | #Constraints: 114290
87.62/87.95 c #Conflicts: 148000 | #Constraints: 115290
87.62/87.95 c INPROCESSING
87.62/87.95 c GARBAGE COLLECT
87.62/87.95 c #Conflicts: 149000 | #Constraints: 105804
87.62/87.95 c #Conflicts: 150000 | #Constraints: 106804
87.62/87.95 c #Conflicts: 151000 | #Constraints: 107804
87.62/87.95 c #Conflicts: 152000 | #Constraints: 108804
87.62/87.95 c #Conflicts: 153000 | #Constraints: 109804
87.62/87.95 c #Conflicts: 154000 | #Constraints: 110804
87.62/87.95 c #Conflicts: 155000 | #Constraints: 111804
87.62/87.95 c #Conflicts: 156000 | #Constraints: 112804
87.62/87.95 c INPROCESSING
87.62/87.95 c GARBAGE COLLECT
87.62/87.95 c #Conflicts: 157000 | #Constraints: 104434
87.62/87.95 c #Conflicts: 158000 | #Constraints: 105434
87.62/87.95 c #Conflicts: 159000 | #Constraints: 106434
87.62/87.95 c #Conflicts: 160000 | #Constraints: 107434
87.62/87.95 c #Conflicts: 161000 | #Constraints: 108434
87.62/87.95 c #Conflicts: 162000 | #Constraints: 109434
87.62/87.95 c #Conflicts: 163000 | #Constraints: 110434
87.62/87.95 c #Conflicts: 164000 | #Constraints: 111434
87.62/87.95 c #Conflicts: 165000 | #Constraints: 112434
87.62/87.95 c #Conflicts: 166000 | #Constraints: 113434
87.62/87.95 c #Conflicts: 167000 | #Constraints: 114434
87.62/87.95 c #Conflicts: 168000 | #Constraints: 115434
87.62/87.95 c #Conflicts: 169000 | #Constraints: 116434
87.62/87.95 c #Conflicts: 170000 | #Constraints: 117434
87.62/87.95 c #Conflicts: 171000 | #Constraints: 118434
87.62/87.95 c #Conflicts: 172000 | #Constraints: 119434
87.62/87.95 c #Conflicts: 173000 | #Constraints: 120434
87.62/87.95 c #Conflicts: 174000 | #Constraints: 121434
87.62/87.95 c #Conflicts: 175000 | #Constraints: 122434
87.62/87.95 c #Conflicts: 176000 | #Constraints: 123434
87.62/87.95 c #Conflicts: 177000 | #Constraints: 124434
87.62/87.95 c #Conflicts: 178000 | #Constraints: 125434
87.62/87.95 c #Conflicts: 179000 | #Constraints: 126434
87.62/87.95 c #Conflicts: 180000 | #Constraints: 127434
87.62/87.95 c #Conflicts: 181000 | #Constraints: 128434
87.62/87.95 c #Conflicts: 182000 | #Constraints: 129434
87.62/87.95 c #Conflicts: 183000 | #Constraints: 130434
87.62/87.95 c #Conflicts: 184000 | #Constraints: 131434
87.62/87.95 c #Conflicts: 185000 | #Constraints: 132434
87.62/87.95 c #Conflicts: 186000 | #Constraints: 133434
87.62/87.95 c #Conflicts: 187000 | #Constraints: 134434
87.62/87.95 c #Conflicts: 188000 | #Constraints: 135434
87.62/87.95 c #Conflicts: 189000 | #Constraints: 136434
87.62/87.95 c #Conflicts: 190000 | #Constraints: 137434
87.62/87.95 c #Conflicts: 191000 | #Constraints: 138434
87.62/87.95 c INPROCESSING
87.62/87.95 c GARBAGE COLLECT
87.62/87.95 c #Conflicts: 192000 | #Constraints: 117451
87.62/87.95 c #Conflicts: 193000 | #Constraints: 118451
87.62/87.95 c #Conflicts: 194000 | #Constraints: 119451
87.62/87.95 c #Conflicts: 195000 | #Constraints: 120451
87.62/87.95 c #Conflicts: 196000 | #Constraints: 121451
87.62/87.95 c #Conflicts: 197000 | #Constraints: 122451
87.62/87.95 c #Conflicts: 198000 | #Constraints: 123451
87.62/87.95 c #Conflicts: 199000 | #Constraints: 124451
87.62/87.95 c #Conflicts: 200000 | #Constraints: 125451
87.62/87.95 c #Conflicts: 201000 | #Constraints: 126451
87.62/87.95 c INPROCESSING
87.62/87.95 c GARBAGE COLLECT
87.62/87.95 c #Conflicts: 202000 | #Constraints: 111640
87.62/87.95 c #Conflicts: 203000 | #Constraints: 112640
87.62/87.95 c #Conflicts: 204000 | #Constraints: 113640
87.62/87.95 c #Conflicts: 205000 | #Constraints: 114640
87.62/87.95 c #Conflicts: 206000 | #Constraints: 115640
87.62/87.95 c #Conflicts: 207000 | #Constraints: 116640
142.33/142.81 c #Conflicts: 208000 | #Constraints: 117640
142.33/142.81 c #Conflicts: 209000 | #Constraints: 118640
142.33/142.81 c #Conflicts: 210000 | #Constraints: 119640
142.33/142.81 c INPROCESSING
142.33/142.81 c GARBAGE COLLECT
142.33/142.81 c #Conflicts: 211000 | #Constraints: 107869
142.33/142.81 c #Conflicts: 212000 | #Constraints: 108869
142.33/142.81 c #Conflicts: 213000 | #Constraints: 109869
142.33/142.81 c #Conflicts: 214000 | #Constraints: 110869
142.33/142.81 c #Conflicts: 215000 | #Constraints: 111869
142.33/142.81 c #Conflicts: 216000 | #Constraints: 112869
142.33/142.81 c #Conflicts: 217000 | #Constraints: 113869
142.33/142.81 c #Conflicts: 218000 | #Constraints: 114869
142.33/142.81 c #Conflicts: 219000 | #Constraints: 115869
142.33/142.81 c #Conflicts: 220000 | #Constraints: 116869
142.33/142.81 c INPROCESSING
142.33/142.81 c GARBAGE COLLECT
142.33/142.81 c #Conflicts: 221000 | #Constraints: 106451
142.33/142.81 c #Conflicts: 222000 | #Constraints: 107451
142.33/142.81 c #Conflicts: 223000 | #Constraints: 108451
142.33/142.81 c #Conflicts: 224000 | #Constraints: 109451
142.33/142.81 c #Conflicts: 225000 | #Constraints: 110451
142.33/142.81 c #Conflicts: 226000 | #Constraints: 111451
142.33/142.81 c #Conflicts: 227000 | #Constraints: 112451
142.33/142.81 c #Conflicts: 228000 | #Constraints: 113451
142.33/142.81 c #Conflicts: 229000 | #Constraints: 114451
142.33/142.81 c #Conflicts: 230000 | #Constraints: 115451
142.33/142.81 c #Conflicts: 231000 | #Constraints: 116451
142.33/142.81 c #Conflicts: 232000 | #Constraints: 117451
142.33/142.81 c #Conflicts: 233000 | #Constraints: 118451
142.33/142.81 c #Conflicts: 234000 | #Constraints: 119451
142.33/142.81 c #Conflicts: 235000 | #Constraints: 120451
142.33/142.81 c #Conflicts: 236000 | #Constraints: 121451
142.33/142.81 c #Conflicts: 237000 | #Constraints: 122451
142.33/142.81 c #Conflicts: 238000 | #Constraints: 123451
142.33/142.81 c #Conflicts: 239000 | #Constraints: 124451
142.33/142.81 c #Conflicts: 240000 | #Constraints: 125451
142.33/142.81 c #Conflicts: 241000 | #Constraints: 126451
142.33/142.81 c #Conflicts: 242000 | #Constraints: 127451
142.33/142.81 c #Conflicts: 243000 | #Constraints: 128451
142.33/142.81 c #Conflicts: 244000 | #Constraints: 129451
142.33/142.81 c #Conflicts: 245000 | #Constraints: 130451
142.33/142.81 c #Conflicts: 246000 | #Constraints: 131451
142.33/142.81 c #Conflicts: 247000 | #Constraints: 132451
142.33/142.81 c #Conflicts: 248000 | #Constraints: 133451
142.33/142.81 c #Conflicts: 249000 | #Constraints: 134451
142.33/142.81 c #Conflicts: 250000 | #Constraints: 135451
142.33/142.81 c #Conflicts: 251000 | #Constraints: 136451
142.33/142.81 c #Conflicts: 252000 | #Constraints: 137451
142.33/142.81 c #Conflicts: 253000 | #Constraints: 138451
142.33/142.81 c #Conflicts: 254000 | #Constraints: 139451
142.33/142.81 c #Conflicts: 255000 | #Constraints: 140451
142.33/142.81 c #Conflicts: 256000 | #Constraints: 141451
142.33/142.81 c #Conflicts: 257000 | #Constraints: 142451
142.33/142.81 c #Conflicts: 258000 | #Constraints: 143451
142.33/142.81 c #Conflicts: 259000 | #Constraints: 144451
142.33/142.81 c #Conflicts: 260000 | #Constraints: 145451
142.33/142.81 c INPROCESSING
142.33/142.81 c GARBAGE COLLECT
142.33/142.81 c #Conflicts: 261000 | #Constraints: 120818
142.33/142.81 c #Conflicts: 262000 | #Constraints: 121818
142.33/142.81 c #Conflicts: 263000 | #Constraints: 122818
142.33/142.81 c #Conflicts: 264000 | #Constraints: 123818
142.33/142.81 c #Conflicts: 265000 | #Constraints: 124818
142.33/142.81 c #Conflicts: 266000 | #Constraints: 125818
142.33/142.81 c #Conflicts: 267000 | #Constraints: 126818
142.33/142.81 c #Conflicts: 268000 | #Constraints: 127818
142.33/142.81 c #Conflicts: 269000 | #Constraints: 128818
142.33/142.81 c #Conflicts: 270000 | #Constraints: 129818
142.33/142.81 c #Conflicts: 271000 | #Constraints: 130818
142.33/142.81 c #Conflicts: 272000 | #Constraints: 131818
142.33/142.81 c INPROCESSING
142.33/142.81 c GARBAGE COLLECT
142.33/142.81 c #Conflicts: 273000 | #Constraints: 114353
142.33/142.81 c #Conflicts: 274000 | #Constraints: 115353
142.33/142.81 c #Conflicts: 275000 | #Constraints: 116353
142.33/142.81 c #Conflicts: 276000 | #Constraints: 117353
142.33/142.81 c #Conflicts: 277000 | #Constraints: 118353
142.33/142.81 c #Conflicts: 278000 | #Constraints: 119353
142.33/142.81 c #Conflicts: 279000 | #Constraints: 120353
142.33/142.81 c #Conflicts: 280000 | #Constraints: 121353
142.33/142.81 c #Conflicts: 281000 | #Constraints: 122353
142.33/142.81 c #Conflicts: 282000 | #Constraints: 123353
142.33/142.81 c #Conflicts: 283000 | #Constraints: 124353
142.33/142.81 c INPROCESSING
203.94/204.64 c GARBAGE COLLECT
203.94/204.64 c #Conflicts: 284000 | #Constraints: 110389
203.94/204.64 c #Conflicts: 285000 | #Constraints: 111389
203.94/204.64 c #Conflicts: 286000 | #Constraints: 112389
203.94/204.64 c #Conflicts: 287000 | #Constraints: 113389
203.94/204.64 c #Conflicts: 288000 | #Constraints: 114389
203.94/204.64 c #Conflicts: 289000 | #Constraints: 115389
203.94/204.64 c #Conflicts: 290000 | #Constraints: 116389
203.94/204.64 c #Conflicts: 291000 | #Constraints: 117389
203.94/204.64 c #Conflicts: 292000 | #Constraints: 118389
203.94/204.64 c #Conflicts: 293000 | #Constraints: 119389
203.94/204.64 c #Conflicts: 294000 | #Constraints: 120389
203.94/204.64 c #Conflicts: 295000 | #Constraints: 121389
203.94/204.64 c INPROCESSING
203.94/204.64 c GARBAGE COLLECT
203.94/204.64 c #Conflicts: 296000 | #Constraints: 109032
203.94/204.64 c #Conflicts: 297000 | #Constraints: 110032
203.94/204.64 c #Conflicts: 298000 | #Constraints: 111032
203.94/204.64 c #Conflicts: 299000 | #Constraints: 112032
203.94/204.64 c #Conflicts: 300000 | #Constraints: 113032
203.94/204.64 c #Conflicts: 301000 | #Constraints: 114032
203.94/204.64 c #Conflicts: 302000 | #Constraints: 115032
203.94/204.64 c #Conflicts: 303000 | #Constraints: 116032
203.94/204.64 c #Conflicts: 304000 | #Constraints: 117032
203.94/204.64 c #Conflicts: 305000 | #Constraints: 118032
203.94/204.64 c #Conflicts: 306000 | #Constraints: 119032
203.94/204.64 c #Conflicts: 307000 | #Constraints: 120032
203.94/204.64 c #Conflicts: 308000 | #Constraints: 121032
203.94/204.64 c #Conflicts: 309000 | #Constraints: 122032
203.94/204.64 c #Conflicts: 310000 | #Constraints: 123032
203.94/204.64 c #Conflicts: 311000 | #Constraints: 124032
203.94/204.64 c #Conflicts: 312000 | #Constraints: 125032
203.94/204.64 c #Conflicts: 313000 | #Constraints: 126032
203.94/204.64 c #Conflicts: 314000 | #Constraints: 127032
203.94/204.64 c #Conflicts: 315000 | #Constraints: 128032
203.94/204.64 c #Conflicts: 316000 | #Constraints: 129032
203.94/204.64 c #Conflicts: 317000 | #Constraints: 130032
203.94/204.64 c #Conflicts: 318000 | #Constraints: 131032
203.94/204.64 c #Conflicts: 319000 | #Constraints: 132032
203.94/204.64 c #Conflicts: 320000 | #Constraints: 133032
203.94/204.64 c #Conflicts: 321000 | #Constraints: 134032
203.94/204.64 c #Conflicts: 322000 | #Constraints: 135032
203.94/204.64 c #Conflicts: 323000 | #Constraints: 136032
203.94/204.64 c #Conflicts: 324000 | #Constraints: 137032
203.94/204.64 c #Conflicts: 325000 | #Constraints: 138032
203.94/204.64 c #Conflicts: 326000 | #Constraints: 139032
203.94/204.64 c #Conflicts: 327000 | #Constraints: 140032
203.94/204.64 c #Conflicts: 328000 | #Constraints: 141032
203.94/204.64 c #Conflicts: 329000 | #Constraints: 142032
203.94/204.64 c #Conflicts: 330000 | #Constraints: 143032
203.94/204.64 c #Conflicts: 331000 | #Constraints: 144032
203.94/204.64 c #Conflicts: 332000 | #Constraints: 145032
203.94/204.64 c #Conflicts: 333000 | #Constraints: 146032
203.94/204.64 c #Conflicts: 334000 | #Constraints: 147032
203.94/204.64 c #Conflicts: 335000 | #Constraints: 148032
203.94/204.64 c #Conflicts: 336000 | #Constraints: 149032
203.94/204.64 c #Conflicts: 337000 | #Constraints: 150032
203.94/204.64 c #Conflicts: 338000 | #Constraints: 151032
203.94/204.64 c #Conflicts: 339000 | #Constraints: 152032
203.94/204.64 c #Conflicts: 340000 | #Constraints: 153032
203.94/204.64 c INPROCESSING
203.94/204.64 c GARBAGE COLLECT
203.94/204.64 c #Conflicts: 341000 | #Constraints: 124774
203.94/204.64 c #Conflicts: 342000 | #Constraints: 125774
203.94/204.64 c #Conflicts: 343000 | #Constraints: 126774
203.94/204.64 c #Conflicts: 344000 | #Constraints: 127774
203.94/204.64 c #Conflicts: 345000 | #Constraints: 128774
203.94/204.64 c #Conflicts: 346000 | #Constraints: 129774
203.94/204.64 c #Conflicts: 347000 | #Constraints: 130774
203.94/204.64 c #Conflicts: 348000 | #Constraints: 131774
203.94/204.64 c #Conflicts: 349000 | #Constraints: 132774
203.94/204.64 c #Conflicts: 350000 | #Constraints: 133774
203.94/204.64 c #Conflicts: 351000 | #Constraints: 134774
203.94/204.64 c #Conflicts: 352000 | #Constraints: 135774
203.94/204.64 c #Conflicts: 353000 | #Constraints: 136774
203.94/204.64 c INPROCESSING
203.94/204.64 c GARBAGE COLLECT
203.94/204.64 c #Conflicts: 354000 | #Constraints: 116632
203.94/204.64 c #Conflicts: 355000 | #Constraints: 117632
203.94/204.64 c #Conflicts: 356000 | #Constraints: 118632
203.94/204.64 c #Conflicts: 357000 | #Constraints: 119632
203.94/204.64 c #Conflicts: 358000 | #Constraints: 120632
203.94/204.64 c #Conflicts: 359000 | #Constraints: 121632
203.94/204.64 c #Conflicts: 360000 | #Constraints: 122632
261.77/262.68 c #Conflicts: 361000 | #Constraints: 123632
261.77/262.68 c #Conflicts: 362000 | #Constraints: 124632
261.77/262.68 c #Conflicts: 363000 | #Constraints: 125632
261.77/262.68 c #Conflicts: 364000 | #Constraints: 126632
261.77/262.68 c #Conflicts: 365000 | #Constraints: 127632
261.77/262.68 c #Conflicts: 366000 | #Constraints: 128632
261.77/262.68 c INPROCESSING
261.77/262.68 c GARBAGE COLLECT
261.77/262.68 c #Conflicts: 367000 | #Constraints: 112425
261.77/262.68 c #Conflicts: 368000 | #Constraints: 113425
261.77/262.68 c #Conflicts: 369000 | #Constraints: 114425
261.77/262.68 c #Conflicts: 370000 | #Constraints: 115425
261.77/262.68 c #Conflicts: 371000 | #Constraints: 116425
261.77/262.68 c #Conflicts: 372000 | #Constraints: 117425
261.77/262.68 c #Conflicts: 373000 | #Constraints: 118425
261.77/262.68 c #Conflicts: 374000 | #Constraints: 119425
261.77/262.68 c #Conflicts: 375000 | #Constraints: 120425
261.77/262.68 c #Conflicts: 376000 | #Constraints: 121425
261.77/262.68 c #Conflicts: 377000 | #Constraints: 122425
261.77/262.68 c #Conflicts: 378000 | #Constraints: 123425
261.77/262.68 c #Conflicts: 379000 | #Constraints: 124425
261.77/262.68 c #Conflicts: 380000 | #Constraints: 125425
261.77/262.68 c INPROCESSING
261.77/262.68 c GARBAGE COLLECT
261.77/262.68 c #Conflicts: 381000 | #Constraints: 111154
261.77/262.68 c #Conflicts: 382000 | #Constraints: 112154
261.77/262.68 c #Conflicts: 383000 | #Constraints: 113154
261.77/262.68 c #Conflicts: 384000 | #Constraints: 114154
261.77/262.68 c #Conflicts: 385000 | #Constraints: 115154
261.77/262.68 c #Conflicts: 386000 | #Constraints: 116154
261.77/262.68 c #Conflicts: 387000 | #Constraints: 117154
261.77/262.68 c #Conflicts: 388000 | #Constraints: 118154
261.77/262.68 c #Conflicts: 389000 | #Constraints: 119154
261.77/262.68 c #Conflicts: 390000 | #Constraints: 120154
261.77/262.68 c #Conflicts: 391000 | #Constraints: 121154
261.77/262.68 c #Conflicts: 392000 | #Constraints: 122154
261.77/262.68 c #Conflicts: 393000 | #Constraints: 123154
261.77/262.68 c #Conflicts: 394000 | #Constraints: 124154
261.77/262.68 c #Conflicts: 395000 | #Constraints: 125154
261.77/262.68 c #Conflicts: 396000 | #Constraints: 126154
261.77/262.68 c #Conflicts: 397000 | #Constraints: 127154
261.77/262.68 c #Conflicts: 398000 | #Constraints: 128154
261.77/262.68 c #Conflicts: 399000 | #Constraints: 129154
261.77/262.68 c #Conflicts: 400000 | #Constraints: 130154
261.77/262.68 c #Conflicts: 401000 | #Constraints: 131154
261.77/262.68 c #Conflicts: 402000 | #Constraints: 132154
261.77/262.68 c #Conflicts: 403000 | #Constraints: 133154
261.77/262.68 c #Conflicts: 404000 | #Constraints: 134154
261.77/262.68 c #Conflicts: 405000 | #Constraints: 135154
261.77/262.68 c #Conflicts: 406000 | #Constraints: 136154
261.77/262.68 c #Conflicts: 407000 | #Constraints: 137154
261.77/262.68 c #Conflicts: 408000 | #Constraints: 138154
261.77/262.68 c #Conflicts: 409000 | #Constraints: 139154
261.77/262.68 c #Conflicts: 410000 | #Constraints: 140154
261.77/262.68 c #Conflicts: 411000 | #Constraints: 141154
261.77/262.68 c #Conflicts: 412000 | #Constraints: 142154
261.77/262.68 c #Conflicts: 413000 | #Constraints: 143154
261.77/262.68 c #Conflicts: 414000 | #Constraints: 144154
261.77/262.68 c #Conflicts: 415000 | #Constraints: 145154
261.77/262.68 c #Conflicts: 416000 | #Constraints: 146154
261.77/262.68 c #Conflicts: 417000 | #Constraints: 147154
261.77/262.68 c #Conflicts: 418000 | #Constraints: 148154
261.77/262.68 c #Conflicts: 419000 | #Constraints: 149154
261.77/262.68 c #Conflicts: 420000 | #Constraints: 150154
261.77/262.68 c #Conflicts: 421000 | #Constraints: 151154
261.77/262.68 c #Conflicts: 422000 | #Constraints: 152154
261.77/262.68 c bounds -34 >= -186 @ 253.723
261.77/262.68 c #Conflicts: 423000 | #Constraints: 153203
261.77/262.68 c #Conflicts: 424000 | #Constraints: 154203
261.77/262.68 c #Conflicts: 425000 | #Constraints: 155203
261.77/262.68 c #Conflicts: 426000 | #Constraints: 156203
261.77/262.68 c #Conflicts: 427000 | #Constraints: 157203
261.77/262.68 c #Conflicts: 428000 | #Constraints: 158203
261.77/262.68 c #Conflicts: 429000 | #Constraints: 159203
261.77/262.68 c #Conflicts: 430000 | #Constraints: 160203
261.77/262.68 c INPROCESSING
261.77/262.68 c GARBAGE COLLECT
261.77/262.68 c #Conflicts: 431000 | #Constraints: 128308
261.77/262.68 c #Conflicts: 432000 | #Constraints: 129308
261.77/262.68 c #Conflicts: 433000 | #Constraints: 130308
261.77/262.68 c #Conflicts: 434000 | #Constraints: 131308
261.77/262.68 c #Conflicts: 435000 | #Constraints: 132308
261.77/262.68 c #Conflicts: 436000 | #Constraints: 133308
316.41/317.43 c #Conflicts: 437000 | #Constraints: 134308
316.41/317.43 c #Conflicts: 438000 | #Constraints: 135308
316.41/317.43 c #Conflicts: 439000 | #Constraints: 136308
316.41/317.43 c #Conflicts: 440000 | #Constraints: 137308
316.41/317.43 c #Conflicts: 441000 | #Constraints: 138308
316.41/317.43 c #Conflicts: 442000 | #Constraints: 139308
316.41/317.43 c #Conflicts: 443000 | #Constraints: 140308
316.41/317.43 c #Conflicts: 444000 | #Constraints: 141308
316.41/317.43 c #Conflicts: 445000 | #Constraints: 142308
316.41/317.43 c INPROCESSING
316.41/317.43 c GARBAGE COLLECT
316.41/317.43 c #Conflicts: 446000 | #Constraints: 119522
316.41/317.43 c #Conflicts: 447000 | #Constraints: 120522
316.41/317.43 c #Conflicts: 448000 | #Constraints: 121522
316.41/317.43 c #Conflicts: 449000 | #Constraints: 122522
316.41/317.43 c #Conflicts: 450000 | #Constraints: 123522
316.41/317.43 c #Conflicts: 451000 | #Constraints: 124522
316.41/317.43 c #Conflicts: 452000 | #Constraints: 125522
316.41/317.43 c #Conflicts: 453000 | #Constraints: 126522
316.41/317.43 c #Conflicts: 454000 | #Constraints: 127522
316.41/317.43 c #Conflicts: 455000 | #Constraints: 128522
316.41/317.43 c #Conflicts: 456000 | #Constraints: 129522
316.41/317.43 c #Conflicts: 457000 | #Constraints: 130522
316.41/317.43 c #Conflicts: 458000 | #Constraints: 131522
316.41/317.43 c #Conflicts: 459000 | #Constraints: 132522
316.41/317.43 c #Conflicts: 460000 | #Constraints: 133522
316.41/317.43 c INPROCESSING
316.41/317.43 c GARBAGE COLLECT
316.41/317.43 c #Conflicts: 461000 | #Constraints: 115148
316.41/317.43 c #Conflicts: 462000 | #Constraints: 116148
316.41/317.43 c #Conflicts: 463000 | #Constraints: 117148
316.41/317.43 c #Conflicts: 464000 | #Constraints: 118148
316.41/317.43 c #Conflicts: 465000 | #Constraints: 119148
316.41/317.43 c #Conflicts: 466000 | #Constraints: 120148
316.41/317.43 c #Conflicts: 467000 | #Constraints: 121148
316.41/317.43 c #Conflicts: 468000 | #Constraints: 122148
316.41/317.43 c #Conflicts: 469000 | #Constraints: 123148
316.41/317.43 c #Conflicts: 470000 | #Constraints: 124148
316.41/317.43 c #Conflicts: 471000 | #Constraints: 125148
316.41/317.43 c #Conflicts: 472000 | #Constraints: 126148
316.41/317.43 c #Conflicts: 473000 | #Constraints: 127148
316.41/317.43 c #Conflicts: 474000 | #Constraints: 128148
316.41/317.43 c #Conflicts: 475000 | #Constraints: 129148
316.41/317.43 c INPROCESSING
316.41/317.43 c GARBAGE COLLECT
316.41/317.43 c #Conflicts: 476000 | #Constraints: 112919
316.41/317.43 c #Conflicts: 477000 | #Constraints: 113919
316.41/317.43 c #Conflicts: 478000 | #Constraints: 114919
316.41/317.43 c #Conflicts: 479000 | #Constraints: 115919
316.41/317.43 c #Conflicts: 480000 | #Constraints: 116919
316.41/317.43 c #Conflicts: 481000 | #Constraints: 117919
316.41/317.43 c #Conflicts: 482000 | #Constraints: 118919
316.41/317.43 c #Conflicts: 483000 | #Constraints: 119919
316.41/317.43 c #Conflicts: 484000 | #Constraints: 120919
316.41/317.43 c #Conflicts: 485000 | #Constraints: 121919
316.41/317.43 c #Conflicts: 486000 | #Constraints: 122919
316.41/317.43 c #Conflicts: 487000 | #Constraints: 123919
316.41/317.43 c #Conflicts: 488000 | #Constraints: 124919
316.41/317.43 c #Conflicts: 489000 | #Constraints: 125919
316.41/317.43 c #Conflicts: 490000 | #Constraints: 126919
316.41/317.43 c #Conflicts: 491000 | #Constraints: 127919
316.41/317.43 c #Conflicts: 492000 | #Constraints: 128919
316.41/317.43 c #Conflicts: 493000 | #Constraints: 129919
316.41/317.43 c #Conflicts: 494000 | #Constraints: 130919
316.41/317.43 c #Conflicts: 495000 | #Constraints: 131919
316.41/317.43 c #Conflicts: 496000 | #Constraints: 132919
316.41/317.43 c #Conflicts: 497000 | #Constraints: 133919
316.41/317.43 c #Conflicts: 498000 | #Constraints: 134919
316.41/317.43 c #Conflicts: 499000 | #Constraints: 135919
316.41/317.43 c #Conflicts: 500000 | #Constraints: 136919
316.41/317.43 c #Conflicts: 501000 | #Constraints: 137919
316.41/317.43 c #Conflicts: 502000 | #Constraints: 138919
316.41/317.43 c #Conflicts: 503000 | #Constraints: 139919
316.41/317.43 c #Conflicts: 504000 | #Constraints: 140919
316.41/317.43 c #Conflicts: 505000 | #Constraints: 141919
316.41/317.43 c #Conflicts: 506000 | #Constraints: 142919
316.41/317.43 c #Conflicts: 507000 | #Constraints: 143919
316.41/317.43 c #Conflicts: 508000 | #Constraints: 144919
316.41/317.43 c #Conflicts: 509000 | #Constraints: 145919
316.41/317.43 c #Conflicts: 510000 | #Constraints: 146919
316.41/317.43 c #Conflicts: 511000 | #Constraints: 147919
316.41/317.43 c #Conflicts: 512000 | #Constraints: 148919
316.41/317.43 c #Conflicts: 513000 | #Constraints: 149919
395.96/397.29 c #Conflicts: 514000 | #Constraints: 150919
395.96/397.29 c #Conflicts: 515000 | #Constraints: 151919
395.96/397.29 c #Conflicts: 516000 | #Constraints: 152919
395.96/397.29 c #Conflicts: 517000 | #Constraints: 153919
395.96/397.29 c #Conflicts: 518000 | #Constraints: 154919
395.96/397.29 c #Conflicts: 519000 | #Constraints: 155919
395.96/397.29 c #Conflicts: 520000 | #Constraints: 156919
395.96/397.29 c #Conflicts: 521000 | #Constraints: 157919
395.96/397.29 c #Conflicts: 522000 | #Constraints: 158919
395.96/397.29 c #Conflicts: 523000 | #Constraints: 159919
395.96/397.29 c #Conflicts: 524000 | #Constraints: 160919
395.96/397.29 c #Conflicts: 525000 | #Constraints: 161919
395.96/397.29 c #Conflicts: 526000 | #Constraints: 162919
395.96/397.29 c #Conflicts: 527000 | #Constraints: 163919
395.96/397.29 c #Conflicts: 528000 | #Constraints: 164919
395.96/397.29 c #Conflicts: 529000 | #Constraints: 165919
395.96/397.29 c #Conflicts: 530000 | #Constraints: 166919
395.96/397.29 c #Conflicts: 531000 | #Constraints: 167919
395.96/397.29 c INPROCESSING
395.96/397.29 c GARBAGE COLLECT
395.96/397.29 c #Conflicts: 532000 | #Constraints: 132420
395.96/397.29 c #Conflicts: 533000 | #Constraints: 133420
395.96/397.29 c #Conflicts: 534000 | #Constraints: 134420
395.96/397.29 c #Conflicts: 535000 | #Constraints: 135420
395.96/397.29 c #Conflicts: 536000 | #Constraints: 136420
395.96/397.29 c #Conflicts: 537000 | #Constraints: 137420
395.96/397.29 c #Conflicts: 538000 | #Constraints: 138420
395.96/397.29 c #Conflicts: 539000 | #Constraints: 139420
395.96/397.29 c #Conflicts: 540000 | #Constraints: 140420
395.96/397.29 c #Conflicts: 541000 | #Constraints: 141420
395.96/397.29 c #Conflicts: 542000 | #Constraints: 142420
395.96/397.29 c #Conflicts: 543000 | #Constraints: 143420
395.96/397.29 c #Conflicts: 544000 | #Constraints: 144420
395.96/397.29 c #Conflicts: 545000 | #Constraints: 145420
395.96/397.29 c #Conflicts: 546000 | #Constraints: 146420
395.96/397.29 c #Conflicts: 547000 | #Constraints: 147420
395.96/397.29 c INPROCESSING
395.96/397.29 c GARBAGE COLLECT
395.96/397.29 c #Conflicts: 548000 | #Constraints: 121951
395.96/397.29 c #Conflicts: 549000 | #Constraints: 122951
395.96/397.29 c #Conflicts: 550000 | #Constraints: 123951
395.96/397.29 c #Conflicts: 551000 | #Constraints: 124951
395.96/397.29 c #Conflicts: 552000 | #Constraints: 125951
395.96/397.29 c #Conflicts: 553000 | #Constraints: 126951
395.96/397.29 c #Conflicts: 554000 | #Constraints: 127951
395.96/397.29 c #Conflicts: 555000 | #Constraints: 128951
395.96/397.29 c #Conflicts: 556000 | #Constraints: 129951
395.96/397.29 c #Conflicts: 557000 | #Constraints: 130951
395.96/397.29 c #Conflicts: 558000 | #Constraints: 131951
395.96/397.29 c #Conflicts: 559000 | #Constraints: 132951
395.96/397.29 c #Conflicts: 560000 | #Constraints: 133951
395.96/397.29 c #Conflicts: 561000 | #Constraints: 134951
395.96/397.29 c #Conflicts: 562000 | #Constraints: 135951
395.96/397.29 c #Conflicts: 563000 | #Constraints: 136951
395.96/397.29 c #Conflicts: 564000 | #Constraints: 137951
395.96/397.29 c INPROCESSING
395.96/397.29 c GARBAGE COLLECT
395.96/397.29 c #Conflicts: 565000 | #Constraints: 117421
395.96/397.29 c #Conflicts: 566000 | #Constraints: 118421
395.96/397.29 c #Conflicts: 567000 | #Constraints: 119421
395.96/397.29 c #Conflicts: 568000 | #Constraints: 120421
395.96/397.29 c #Conflicts: 569000 | #Constraints: 121421
395.96/397.29 c #Conflicts: 570000 | #Constraints: 122421
395.96/397.29 c #Conflicts: 571000 | #Constraints: 123421
395.96/397.29 c #Conflicts: 572000 | #Constraints: 124421
395.96/397.29 c #Conflicts: 573000 | #Constraints: 125421
395.96/397.29 c #Conflicts: 574000 | #Constraints: 126421
395.96/397.29 c #Conflicts: 575000 | #Constraints: 127421
395.96/397.29 c #Conflicts: 576000 | #Constraints: 128421
395.96/397.29 c #Conflicts: 577000 | #Constraints: 129421
395.96/397.29 c #Conflicts: 578000 | #Constraints: 130421
395.96/397.29 c #Conflicts: 579000 | #Constraints: 131421
395.96/397.29 c #Conflicts: 580000 | #Constraints: 132421
395.96/397.29 c INPROCESSING
395.96/397.29 c GARBAGE COLLECT
395.96/397.29 c #Conflicts: 581000 | #Constraints: 114281
395.96/397.29 c #Conflicts: 582000 | #Constraints: 115281
395.96/397.29 c #Conflicts: 583000 | #Constraints: 116281
395.96/397.29 c #Conflicts: 584000 | #Constraints: 117281
395.96/397.29 c #Conflicts: 585000 | #Constraints: 118281
395.96/397.29 c #Conflicts: 586000 | #Constraints: 119281
395.96/397.29 c #Conflicts: 587000 | #Constraints: 120281
395.96/397.29 c #Conflicts: 588000 | #Constraints: 121281
395.96/397.29 c #Conflicts: 589000 | #Constraints: 122281
507.31/508.90 c #Conflicts: 590000 | #Constraints: 123281
507.31/508.90 c #Conflicts: 591000 | #Constraints: 124281
507.31/508.90 c #Conflicts: 592000 | #Constraints: 125281
507.31/508.90 c #Conflicts: 593000 | #Constraints: 126281
507.31/508.90 c #Conflicts: 594000 | #Constraints: 127281
507.31/508.90 c #Conflicts: 595000 | #Constraints: 128281
507.31/508.90 c #Conflicts: 596000 | #Constraints: 129281
507.31/508.90 c #Conflicts: 597000 | #Constraints: 130281
507.31/508.90 c #Conflicts: 598000 | #Constraints: 131281
507.31/508.90 c #Conflicts: 599000 | #Constraints: 132281
507.31/508.90 c #Conflicts: 600000 | #Constraints: 133281
507.31/508.90 c #Conflicts: 601000 | #Constraints: 134281
507.31/508.90 c #Conflicts: 602000 | #Constraints: 135281
507.31/508.90 c #Conflicts: 603000 | #Constraints: 136281
507.31/508.90 c #Conflicts: 604000 | #Constraints: 137281
507.31/508.90 c #Conflicts: 605000 | #Constraints: 138281
507.31/508.90 c #Conflicts: 606000 | #Constraints: 139281
507.31/508.90 c #Conflicts: 607000 | #Constraints: 140281
507.31/508.90 c #Conflicts: 608000 | #Constraints: 141281
507.31/508.90 c #Conflicts: 609000 | #Constraints: 142281
507.31/508.90 c #Conflicts: 610000 | #Constraints: 143281
507.31/508.90 c #Conflicts: 611000 | #Constraints: 144281
507.31/508.90 c #Conflicts: 612000 | #Constraints: 145281
507.31/508.90 c #Conflicts: 613000 | #Constraints: 146281
507.31/508.90 c #Conflicts: 614000 | #Constraints: 147281
507.31/508.90 c #Conflicts: 615000 | #Constraints: 148281
507.31/508.90 c #Conflicts: 616000 | #Constraints: 149281
507.31/508.90 c #Conflicts: 617000 | #Constraints: 150281
507.31/508.90 c #Conflicts: 618000 | #Constraints: 151281
507.31/508.90 c #Conflicts: 619000 | #Constraints: 152281
507.31/508.90 c #Conflicts: 620000 | #Constraints: 153281
507.31/508.90 c #Conflicts: 621000 | #Constraints: 154281
507.31/508.90 c #Conflicts: 622000 | #Constraints: 155281
507.31/508.90 c #Conflicts: 623000 | #Constraints: 156281
507.31/508.90 c #Conflicts: 624000 | #Constraints: 157281
507.31/508.90 c #Conflicts: 625000 | #Constraints: 158281
507.31/508.90 c #Conflicts: 626000 | #Constraints: 159281
507.31/508.90 c #Conflicts: 627000 | #Constraints: 160281
507.31/508.90 c #Conflicts: 628000 | #Constraints: 161281
507.31/508.90 c #Conflicts: 629000 | #Constraints: 162281
507.31/508.90 c #Conflicts: 630000 | #Constraints: 163281
507.31/508.90 c #Conflicts: 631000 | #Constraints: 164281
507.31/508.90 c #Conflicts: 632000 | #Constraints: 165281
507.31/508.90 c #Conflicts: 633000 | #Constraints: 166281
507.31/508.90 c #Conflicts: 634000 | #Constraints: 167281
507.31/508.90 c #Conflicts: 635000 | #Constraints: 168281
507.31/508.90 c #Conflicts: 636000 | #Constraints: 169281
507.31/508.90 c #Conflicts: 637000 | #Constraints: 170281
507.31/508.90 c #Conflicts: 638000 | #Constraints: 171281
507.31/508.90 c #Conflicts: 639000 | #Constraints: 172281
507.31/508.90 c #Conflicts: 640000 | #Constraints: 173281
507.31/508.90 c #Conflicts: 641000 | #Constraints: 174281
507.31/508.90 c INPROCESSING
507.31/508.90 c GARBAGE COLLECT
507.31/508.90 c #Conflicts: 642000 | #Constraints: 135161
507.31/508.90 c #Conflicts: 643000 | #Constraints: 136161
507.31/508.90 c #Conflicts: 644000 | #Constraints: 137161
507.31/508.90 c #Conflicts: 645000 | #Constraints: 138161
507.31/508.90 c #Conflicts: 646000 | #Constraints: 139161
507.31/508.90 c #Conflicts: 647000 | #Constraints: 140161
507.31/508.90 c #Conflicts: 648000 | #Constraints: 141161
507.31/508.90 c #Conflicts: 649000 | #Constraints: 142161
507.31/508.90 c #Conflicts: 650000 | #Constraints: 143161
507.31/508.90 c #Conflicts: 651000 | #Constraints: 144161
507.31/508.90 c #Conflicts: 652000 | #Constraints: 145161
507.31/508.90 c #Conflicts: 653000 | #Constraints: 146161
507.31/508.90 c #Conflicts: 654000 | #Constraints: 147161
507.31/508.90 c #Conflicts: 655000 | #Constraints: 148161
507.31/508.90 c #Conflicts: 656000 | #Constraints: 149161
507.31/508.90 c #Conflicts: 657000 | #Constraints: 150161
507.31/508.90 c #Conflicts: 658000 | #Constraints: 151161
507.31/508.90 c #Conflicts: 659000 | #Constraints: 152161
507.31/508.90 c #Conflicts: 660000 | #Constraints: 153161
507.31/508.90 c INPROCESSING
507.31/508.90 c GARBAGE COLLECT
507.31/508.90 c #Conflicts: 661000 | #Constraints: 125093
507.31/508.90 c #Conflicts: 662000 | #Constraints: 126093
507.31/508.90 c #Conflicts: 663000 | #Constraints: 127093
507.31/508.90 c #Conflicts: 664000 | #Constraints: 128093
507.31/508.90 c #Conflicts: 665000 | #Constraints: 129093
507.31/508.90 c #Conflicts: 666000 | #Constraints: 130093
507.31/508.90 c #Conflicts: 667000 | #Constraints: 131093
592.85/594.72 c #Conflicts: 668000 | #Constraints: 132093
592.85/594.72 c #Conflicts: 669000 | #Constraints: 133093
592.85/594.72 c #Conflicts: 670000 | #Constraints: 134093
592.85/594.72 c #Conflicts: 671000 | #Constraints: 135093
592.85/594.72 c #Conflicts: 672000 | #Constraints: 136093
592.85/594.72 c #Conflicts: 673000 | #Constraints: 137093
592.85/594.72 c #Conflicts: 674000 | #Constraints: 138093
592.85/594.72 c #Conflicts: 675000 | #Constraints: 139093
592.85/594.72 c #Conflicts: 676000 | #Constraints: 140093
592.85/594.72 c #Conflicts: 677000 | #Constraints: 141093
592.85/594.72 c #Conflicts: 678000 | #Constraints: 142093
592.85/594.72 c INPROCESSING
592.85/594.72 c GARBAGE COLLECT
592.85/594.72 c #Conflicts: 679000 | #Constraints: 119365
592.85/594.72 c #Conflicts: 680000 | #Constraints: 120365
592.85/594.72 c #Conflicts: 681000 | #Constraints: 121365
592.85/594.72 c #Conflicts: 682000 | #Constraints: 122365
592.85/594.72 c #Conflicts: 683000 | #Constraints: 123365
592.85/594.72 c #Conflicts: 684000 | #Constraints: 124365
592.85/594.72 c #Conflicts: 685000 | #Constraints: 125365
592.85/594.72 c #Conflicts: 686000 | #Constraints: 126365
592.85/594.72 c #Conflicts: 687000 | #Constraints: 127365
592.85/594.72 c #Conflicts: 688000 | #Constraints: 128365
592.85/594.72 c #Conflicts: 689000 | #Constraints: 129365
592.85/594.72 c #Conflicts: 690000 | #Constraints: 130365
592.85/594.72 c #Conflicts: 691000 | #Constraints: 131365
592.85/594.72 c #Conflicts: 692000 | #Constraints: 132365
592.85/594.72 c #Conflicts: 693000 | #Constraints: 133365
592.85/594.72 c #Conflicts: 694000 | #Constraints: 134365
592.85/594.72 c #Conflicts: 695000 | #Constraints: 135365
592.85/594.72 c #Conflicts: 696000 | #Constraints: 136365
592.85/594.72 c INPROCESSING
592.85/594.72 c GARBAGE COLLECT
592.85/594.72 c #Conflicts: 697000 | #Constraints: 116257
592.85/594.72 c #Conflicts: 698000 | #Constraints: 117257
592.85/594.72 c #Conflicts: 699000 | #Constraints: 118257
592.85/594.72 c #Conflicts: 700000 | #Constraints: 119257
592.85/594.72 c #Conflicts: 701000 | #Constraints: 120257
592.85/594.72 c #Conflicts: 702000 | #Constraints: 121257
592.85/594.72 c #Conflicts: 703000 | #Constraints: 122257
592.85/594.72 c #Conflicts: 704000 | #Constraints: 123257
592.85/594.72 c #Conflicts: 705000 | #Constraints: 124257
592.85/594.72 c #Conflicts: 706000 | #Constraints: 125257
592.85/594.72 c #Conflicts: 707000 | #Constraints: 126257
592.85/594.72 c #Conflicts: 708000 | #Constraints: 127257
592.85/594.72 c #Conflicts: 709000 | #Constraints: 128257
592.85/594.72 c #Conflicts: 710000 | #Constraints: 129257
592.85/594.72 c #Conflicts: 711000 | #Constraints: 130257
592.85/594.72 c #Conflicts: 712000 | #Constraints: 131257
592.85/594.72 c #Conflicts: 713000 | #Constraints: 132257
592.85/594.72 c #Conflicts: 714000 | #Constraints: 133257
592.85/594.72 c #Conflicts: 715000 | #Constraints: 134257
592.85/594.72 c #Conflicts: 716000 | #Constraints: 135257
592.85/594.72 c #Conflicts: 717000 | #Constraints: 136257
592.85/594.72 c #Conflicts: 718000 | #Constraints: 137257
592.85/594.72 c #Conflicts: 719000 | #Constraints: 138257
592.85/594.72 c #Conflicts: 720000 | #Constraints: 139257
592.85/594.72 c #Conflicts: 721000 | #Constraints: 140257
592.85/594.72 c #Conflicts: 722000 | #Constraints: 141257
592.85/594.72 c #Conflicts: 723000 | #Constraints: 142257
592.85/594.72 c #Conflicts: 724000 | #Constraints: 143257
592.85/594.72 c #Conflicts: 725000 | #Constraints: 144257
592.85/594.72 c #Conflicts: 726000 | #Constraints: 145257
592.85/594.72 c #Conflicts: 727000 | #Constraints: 146257
592.85/594.72 c #Conflicts: 728000 | #Constraints: 147257
592.85/594.72 c #Conflicts: 729000 | #Constraints: 148257
592.85/594.72 c #Conflicts: 730000 | #Constraints: 149257
592.85/594.72 c #Conflicts: 731000 | #Constraints: 150257
592.85/594.72 c #Conflicts: 732000 | #Constraints: 151257
592.85/594.72 c #Conflicts: 733000 | #Constraints: 152257
592.85/594.72 c #Conflicts: 734000 | #Constraints: 153257
592.85/594.72 c #Conflicts: 735000 | #Constraints: 154257
592.85/594.72 c #Conflicts: 736000 | #Constraints: 155257
592.85/594.72 c #Conflicts: 737000 | #Constraints: 156257
592.85/594.72 c #Conflicts: 738000 | #Constraints: 157257
592.85/594.72 c #Conflicts: 739000 | #Constraints: 158257
592.85/594.72 c #Conflicts: 740000 | #Constraints: 159257
592.85/594.72 c #Conflicts: 741000 | #Constraints: 160257
592.85/594.72 c #Conflicts: 742000 | #Constraints: 161257
592.85/594.72 c #Conflicts: 743000 | #Constraints: 162257
592.85/594.72 c #Conflicts: 744000 | #Constraints: 163257
715.77/718.04 c #Conflicts: 745000 | #Constraints: 164257
715.77/718.04 c #Conflicts: 746000 | #Constraints: 165257
715.77/718.04 c #Conflicts: 747000 | #Constraints: 166257
715.77/718.04 c #Conflicts: 748000 | #Constraints: 167257
715.77/718.04 c #Conflicts: 749000 | #Constraints: 168257
715.77/718.04 c #Conflicts: 750000 | #Constraints: 169257
715.77/718.04 c #Conflicts: 751000 | #Constraints: 170257
715.77/718.04 c #Conflicts: 752000 | #Constraints: 171257
715.77/718.04 c #Conflicts: 753000 | #Constraints: 172257
715.77/718.04 c #Conflicts: 754000 | #Constraints: 173257
715.77/718.04 c #Conflicts: 755000 | #Constraints: 174257
715.77/718.04 c #Conflicts: 756000 | #Constraints: 175257
715.77/718.04 c #Conflicts: 757000 | #Constraints: 176257
715.77/718.04 c #Conflicts: 758000 | #Constraints: 177257
715.77/718.04 c #Conflicts: 759000 | #Constraints: 178257
715.77/718.04 c #Conflicts: 760000 | #Constraints: 179257
715.77/718.04 c #Conflicts: 761000 | #Constraints: 180257
715.77/718.04 c #Conflicts: 762000 | #Constraints: 181257
715.77/718.04 c #Conflicts: 763000 | #Constraints: 182257
715.77/718.04 c INPROCESSING
715.77/718.04 c GARBAGE COLLECT
715.77/718.04 c #Conflicts: 764000 | #Constraints: 139528
715.77/718.04 c #Conflicts: 765000 | #Constraints: 140528
715.77/718.04 c #Conflicts: 766000 | #Constraints: 141528
715.77/718.04 c #Conflicts: 767000 | #Constraints: 142528
715.77/718.04 c #Conflicts: 768000 | #Constraints: 143528
715.77/718.04 c #Conflicts: 769000 | #Constraints: 144528
715.77/718.04 c #Conflicts: 770000 | #Constraints: 145528
715.77/718.04 c #Conflicts: 771000 | #Constraints: 146528
715.77/718.04 c #Conflicts: 772000 | #Constraints: 147528
715.77/718.04 c #Conflicts: 773000 | #Constraints: 148528
715.77/718.04 c #Conflicts: 774000 | #Constraints: 149528
715.77/718.04 c #Conflicts: 775000 | #Constraints: 150528
715.77/718.04 c #Conflicts: 776000 | #Constraints: 151528
715.77/718.04 c #Conflicts: 777000 | #Constraints: 152528
715.77/718.04 c #Conflicts: 778000 | #Constraints: 153528
715.77/718.04 c #Conflicts: 779000 | #Constraints: 154528
715.77/718.04 c #Conflicts: 780000 | #Constraints: 155528
715.77/718.04 c #Conflicts: 781000 | #Constraints: 156528
715.77/718.04 c #Conflicts: 782000 | #Constraints: 157528
715.77/718.04 c #Conflicts: 783000 | #Constraints: 158528
715.77/718.04 c INPROCESSING
715.77/718.04 c GARBAGE COLLECT
715.77/718.04 c #Conflicts: 784000 | #Constraints: 127748
715.77/718.04 c #Conflicts: 785000 | #Constraints: 128748
715.77/718.04 c #Conflicts: 786000 | #Constraints: 129748
715.77/718.04 c #Conflicts: 787000 | #Constraints: 130748
715.77/718.04 c #Conflicts: 788000 | #Constraints: 131748
715.77/718.04 c #Conflicts: 789000 | #Constraints: 132748
715.77/718.04 c #Conflicts: 790000 | #Constraints: 133748
715.77/718.04 c #Conflicts: 791000 | #Constraints: 134748
715.77/718.04 c #Conflicts: 792000 | #Constraints: 135748
715.77/718.04 c #Conflicts: 793000 | #Constraints: 136748
715.77/718.04 c #Conflicts: 794000 | #Constraints: 137748
715.77/718.04 c #Conflicts: 795000 | #Constraints: 138748
715.77/718.04 c #Conflicts: 796000 | #Constraints: 139748
715.77/718.04 c #Conflicts: 797000 | #Constraints: 140748
715.77/718.04 c #Conflicts: 798000 | #Constraints: 141748
715.77/718.04 c #Conflicts: 799000 | #Constraints: 142748
715.77/718.04 c #Conflicts: 800000 | #Constraints: 143748
715.77/718.04 c #Conflicts: 801000 | #Constraints: 144748
715.77/718.04 c #Conflicts: 802000 | #Constraints: 145748
715.77/718.04 c #Conflicts: 803000 | #Constraints: 146748
715.77/718.04 c INPROCESSING
715.77/718.04 c GARBAGE COLLECT
715.77/718.04 c #Conflicts: 804000 | #Constraints: 121849
715.77/718.04 c #Conflicts: 805000 | #Constraints: 122849
715.77/718.04 c #Conflicts: 806000 | #Constraints: 123849
715.77/718.04 c #Conflicts: 807000 | #Constraints: 124849
715.77/718.04 c #Conflicts: 808000 | #Constraints: 125849
715.77/718.04 c #Conflicts: 809000 | #Constraints: 126849
715.77/718.04 c #Conflicts: 810000 | #Constraints: 127849
715.77/718.04 c #Conflicts: 811000 | #Constraints: 128849
715.77/718.04 c #Conflicts: 812000 | #Constraints: 129849
715.77/718.04 c #Conflicts: 813000 | #Constraints: 130849
715.77/718.04 c #Conflicts: 814000 | #Constraints: 131849
715.77/718.04 c #Conflicts: 815000 | #Constraints: 132849
715.77/718.04 c #Conflicts: 816000 | #Constraints: 133849
715.77/718.04 c #Conflicts: 817000 | #Constraints: 134849
715.77/718.04 c #Conflicts: 818000 | #Constraints: 135849
715.77/718.04 c #Conflicts: 819000 | #Constraints: 136849
715.77/718.04 c #Conflicts: 820000 | #Constraints: 137849
715.77/718.04 c #Conflicts: 821000 | #Constraints: 138849
838.17/840.84 c #Conflicts: 822000 | #Constraints: 139849
838.17/840.84 c #Conflicts: 823000 | #Constraints: 140849
838.17/840.84 c INPROCESSING
838.17/840.84 c GARBAGE COLLECT
838.17/840.84 c #Conflicts: 824000 | #Constraints: 118820
838.17/840.84 c #Conflicts: 825000 | #Constraints: 119820
838.17/840.84 c #Conflicts: 826000 | #Constraints: 120820
838.17/840.84 c #Conflicts: 827000 | #Constraints: 121820
838.17/840.84 c #Conflicts: 828000 | #Constraints: 122820
838.17/840.84 c #Conflicts: 829000 | #Constraints: 123820
838.17/840.84 c #Conflicts: 830000 | #Constraints: 124820
838.17/840.84 c #Conflicts: 831000 | #Constraints: 125820
838.17/840.84 c #Conflicts: 832000 | #Constraints: 126820
838.17/840.84 c #Conflicts: 833000 | #Constraints: 127820
838.17/840.84 c #Conflicts: 834000 | #Constraints: 128820
838.17/840.84 c #Conflicts: 835000 | #Constraints: 129820
838.17/840.84 c #Conflicts: 836000 | #Constraints: 130820
838.17/840.84 c #Conflicts: 837000 | #Constraints: 131820
838.17/840.84 c #Conflicts: 838000 | #Constraints: 132820
838.17/840.84 c #Conflicts: 839000 | #Constraints: 133820
838.17/840.84 c #Conflicts: 840000 | #Constraints: 134820
838.17/840.84 c #Conflicts: 841000 | #Constraints: 135820
838.17/840.84 c #Conflicts: 842000 | #Constraints: 136820
838.17/840.84 c #Conflicts: 843000 | #Constraints: 137820
838.17/840.84 c #Conflicts: 844000 | #Constraints: 138820
838.17/840.84 c #Conflicts: 845000 | #Constraints: 139820
838.17/840.84 c #Conflicts: 846000 | #Constraints: 140820
838.17/840.84 c #Conflicts: 847000 | #Constraints: 141820
838.17/840.84 c #Conflicts: 848000 | #Constraints: 142820
838.17/840.84 c #Conflicts: 849000 | #Constraints: 143820
838.17/840.84 c #Conflicts: 850000 | #Constraints: 144820
838.17/840.84 c #Conflicts: 851000 | #Constraints: 145820
838.17/840.84 c #Conflicts: 852000 | #Constraints: 146820
838.17/840.84 c #Conflicts: 853000 | #Constraints: 147820
838.17/840.84 c #Conflicts: 854000 | #Constraints: 148820
838.17/840.84 c #Conflicts: 855000 | #Constraints: 149820
838.17/840.84 c #Conflicts: 856000 | #Constraints: 150820
838.17/840.84 c #Conflicts: 857000 | #Constraints: 151820
838.17/840.84 c #Conflicts: 858000 | #Constraints: 152820
838.17/840.84 c #Conflicts: 859000 | #Constraints: 153820
838.17/840.84 c #Conflicts: 860000 | #Constraints: 154820
838.17/840.84 c #Conflicts: 861000 | #Constraints: 155820
838.17/840.84 c #Conflicts: 862000 | #Constraints: 156820
838.17/840.84 c #Conflicts: 863000 | #Constraints: 157820
838.17/840.84 c #Conflicts: 864000 | #Constraints: 158820
838.17/840.84 c #Conflicts: 865000 | #Constraints: 159820
838.17/840.84 c #Conflicts: 866000 | #Constraints: 160820
838.17/840.84 c #Conflicts: 867000 | #Constraints: 161820
838.17/840.84 c #Conflicts: 868000 | #Constraints: 162820
838.17/840.84 c #Conflicts: 869000 | #Constraints: 163820
838.17/840.84 c #Conflicts: 870000 | #Constraints: 164820
838.17/840.84 c #Conflicts: 871000 | #Constraints: 165820
838.17/840.84 c #Conflicts: 872000 | #Constraints: 166820
838.17/840.84 c #Conflicts: 873000 | #Constraints: 167820
838.17/840.84 c #Conflicts: 874000 | #Constraints: 168820
838.17/840.84 c #Conflicts: 875000 | #Constraints: 169820
838.17/840.84 c #Conflicts: 876000 | #Constraints: 170820
838.17/840.84 c #Conflicts: 877000 | #Constraints: 171820
838.17/840.84 c #Conflicts: 878000 | #Constraints: 172820
838.17/840.84 c #Conflicts: 879000 | #Constraints: 173820
838.17/840.84 c #Conflicts: 880000 | #Constraints: 174820
838.17/840.84 c #Conflicts: 881000 | #Constraints: 175820
838.17/840.84 c #Conflicts: 882000 | #Constraints: 176820
838.17/840.84 c #Conflicts: 883000 | #Constraints: 177820
838.17/840.84 c #Conflicts: 884000 | #Constraints: 178820
838.17/840.84 c #Conflicts: 885000 | #Constraints: 179820
838.17/840.84 c #Conflicts: 886000 | #Constraints: 180820
838.17/840.84 c #Conflicts: 887000 | #Constraints: 181820
838.17/840.84 c #Conflicts: 888000 | #Constraints: 182820
838.17/840.84 c #Conflicts: 889000 | #Constraints: 183820
838.17/840.84 c #Conflicts: 890000 | #Constraints: 184820
838.17/840.84 c #Conflicts: 891000 | #Constraints: 185820
838.17/840.84 c #Conflicts: 892000 | #Constraints: 186820
838.17/840.84 c #Conflicts: 893000 | #Constraints: 187820
838.17/840.84 c #Conflicts: 894000 | #Constraints: 188820
838.17/840.84 c INPROCESSING
838.17/840.84 c GARBAGE COLLECT
838.17/840.84 c #Conflicts: 895000 | #Constraints: 142432
838.17/840.84 c #Conflicts: 896000 | #Constraints: 143432
838.17/840.84 c #Conflicts: 897000 | #Constraints: 144432
838.17/840.84 c #Conflicts: 898000 | #Constraints: 145432
838.17/840.84 c #Conflicts: 899000 | #Constraints: 146432
939.42/942.41 c #Conflicts: 900000 | #Constraints: 147432
939.42/942.41 c #Conflicts: 901000 | #Constraints: 148432
939.42/942.41 c #Conflicts: 902000 | #Constraints: 149432
939.42/942.41 c #Conflicts: 903000 | #Constraints: 150432
939.42/942.41 c #Conflicts: 904000 | #Constraints: 151432
939.42/942.41 c #Conflicts: 905000 | #Constraints: 152432
939.42/942.41 c #Conflicts: 906000 | #Constraints: 153432
939.42/942.41 c #Conflicts: 907000 | #Constraints: 154432
939.42/942.41 c #Conflicts: 908000 | #Constraints: 155432
939.42/942.41 c #Conflicts: 909000 | #Constraints: 156432
939.42/942.41 c #Conflicts: 910000 | #Constraints: 157432
939.42/942.41 c #Conflicts: 911000 | #Constraints: 158432
939.42/942.41 c #Conflicts: 912000 | #Constraints: 159432
939.42/942.41 c #Conflicts: 913000 | #Constraints: 160432
939.42/942.41 c #Conflicts: 914000 | #Constraints: 161432
939.42/942.41 c #Conflicts: 915000 | #Constraints: 162432
939.42/942.41 c #Conflicts: 916000 | #Constraints: 163432
939.42/942.41 c INPROCESSING
939.42/942.41 c GARBAGE COLLECT
939.42/942.41 c #Conflicts: 917000 | #Constraints: 130025
939.42/942.41 c #Conflicts: 918000 | #Constraints: 131025
939.42/942.41 c #Conflicts: 919000 | #Constraints: 132025
939.42/942.41 c #Conflicts: 920000 | #Constraints: 133025
939.42/942.41 c #Conflicts: 921000 | #Constraints: 134025
939.42/942.41 c #Conflicts: 922000 | #Constraints: 135025
939.42/942.41 c #Conflicts: 923000 | #Constraints: 136025
939.42/942.41 c #Conflicts: 924000 | #Constraints: 137025
939.42/942.41 c #Conflicts: 925000 | #Constraints: 138025
939.42/942.41 c #Conflicts: 926000 | #Constraints: 139025
939.42/942.41 c #Conflicts: 927000 | #Constraints: 140025
939.42/942.41 c #Conflicts: 928000 | #Constraints: 141025
939.42/942.41 c #Conflicts: 929000 | #Constraints: 142025
939.42/942.41 c #Conflicts: 930000 | #Constraints: 143025
939.42/942.41 c #Conflicts: 931000 | #Constraints: 144025
939.42/942.41 c #Conflicts: 932000 | #Constraints: 145025
939.42/942.41 c #Conflicts: 933000 | #Constraints: 146025
939.42/942.41 c #Conflicts: 934000 | #Constraints: 147025
939.42/942.41 c #Conflicts: 935000 | #Constraints: 148025
939.42/942.41 c #Conflicts: 936000 | #Constraints: 149025
939.42/942.41 c #Conflicts: 937000 | #Constraints: 150025
939.42/942.41 c #Conflicts: 938000 | #Constraints: 151025
939.42/942.41 c INPROCESSING
939.42/942.41 c GARBAGE COLLECT
939.42/942.41 c #Conflicts: 939000 | #Constraints: 123930
939.42/942.41 c #Conflicts: 940000 | #Constraints: 124930
939.42/942.41 c #Conflicts: 941000 | #Constraints: 125930
939.42/942.41 c #Conflicts: 942000 | #Constraints: 126930
939.42/942.41 c #Conflicts: 943000 | #Constraints: 127930
939.42/942.41 c #Conflicts: 944000 | #Constraints: 128930
939.42/942.41 c #Conflicts: 945000 | #Constraints: 129930
939.42/942.41 c #Conflicts: 946000 | #Constraints: 130930
939.42/942.41 c #Conflicts: 947000 | #Constraints: 131930
939.42/942.41 c #Conflicts: 948000 | #Constraints: 132930
939.42/942.41 c #Conflicts: 949000 | #Constraints: 133930
939.42/942.41 c #Conflicts: 950000 | #Constraints: 134930
939.42/942.41 c #Conflicts: 951000 | #Constraints: 135930
939.42/942.41 c #Conflicts: 952000 | #Constraints: 136930
939.42/942.41 c #Conflicts: 953000 | #Constraints: 137930
939.42/942.41 c #Conflicts: 954000 | #Constraints: 138930
939.42/942.41 c #Conflicts: 955000 | #Constraints: 139930
939.42/942.41 c #Conflicts: 956000 | #Constraints: 140930
939.42/942.41 c #Conflicts: 957000 | #Constraints: 141930
939.42/942.41 c #Conflicts: 958000 | #Constraints: 142930
939.42/942.41 c #Conflicts: 959000 | #Constraints: 143930
939.42/942.41 c #Conflicts: 960000 | #Constraints: 144930
939.42/942.41 c INPROCESSING
939.42/942.41 c GARBAGE COLLECT
939.42/942.41 c #Conflicts: 961000 | #Constraints: 120966
939.42/942.41 c #Conflicts: 962000 | #Constraints: 121966
939.42/942.41 c #Conflicts: 963000 | #Constraints: 122966
939.42/942.41 c #Conflicts: 964000 | #Constraints: 123966
939.42/942.41 c #Conflicts: 965000 | #Constraints: 124966
939.42/942.41 c #Conflicts: 966000 | #Constraints: 125966
939.42/942.41 c #Conflicts: 967000 | #Constraints: 126966
939.42/942.41 c #Conflicts: 968000 | #Constraints: 127966
939.42/942.41 c #Conflicts: 969000 | #Constraints: 128966
939.42/942.41 c #Conflicts: 970000 | #Constraints: 129966
939.42/942.41 c #Conflicts: 971000 | #Constraints: 130966
939.42/942.41 c #Conflicts: 972000 | #Constraints: 131966
939.42/942.41 c #Conflicts: 973000 | #Constraints: 132966
939.42/942.41 c #Conflicts: 974000 | #Constraints: 133966
939.42/942.41 c #Conflicts: 975000 | #Constraints: 134966
1091.65/1095.11 c #Conflicts: 976000 | #Constraints: 135966
1091.65/1095.11 c #Conflicts: 977000 | #Constraints: 136966
1091.65/1095.11 c #Conflicts: 978000 | #Constraints: 137966
1091.65/1095.11 c #Conflicts: 979000 | #Constraints: 138966
1091.65/1095.11 c #Conflicts: 980000 | #Constraints: 139966
1091.65/1095.11 c #Conflicts: 981000 | #Constraints: 140966
1091.65/1095.11 c #Conflicts: 982000 | #Constraints: 141966
1091.65/1095.11 c #Conflicts: 983000 | #Constraints: 142966
1091.65/1095.11 c #Conflicts: 984000 | #Constraints: 143966
1091.65/1095.11 c #Conflicts: 985000 | #Constraints: 144966
1091.65/1095.11 c #Conflicts: 986000 | #Constraints: 145966
1091.65/1095.11 c #Conflicts: 987000 | #Constraints: 146966
1091.65/1095.11 c #Conflicts: 988000 | #Constraints: 147966
1091.65/1095.11 c #Conflicts: 989000 | #Constraints: 148966
1091.65/1095.11 c #Conflicts: 990000 | #Constraints: 149966
1091.65/1095.11 c #Conflicts: 991000 | #Constraints: 150966
1091.65/1095.11 c #Conflicts: 992000 | #Constraints: 151966
1091.65/1095.11 c #Conflicts: 993000 | #Constraints: 152966
1091.65/1095.11 c #Conflicts: 994000 | #Constraints: 153966
1091.65/1095.11 c #Conflicts: 995000 | #Constraints: 154966
1091.65/1095.11 c #Conflicts: 996000 | #Constraints: 155966
1091.65/1095.11 c #Conflicts: 997000 | #Constraints: 156966
1091.65/1095.11 c #Conflicts: 998000 | #Constraints: 157966
1091.65/1095.11 c #Conflicts: 999000 | #Constraints: 158966
1091.65/1095.11 c #Conflicts: 1000000 | #Constraints: 159966
1091.65/1095.11 c #Conflicts: 1001000 | #Constraints: 160966
1091.65/1095.11 c #Conflicts: 1002000 | #Constraints: 161966
1091.65/1095.11 c #Conflicts: 1003000 | #Constraints: 162966
1091.65/1095.11 c #Conflicts: 1004000 | #Constraints: 163966
1091.65/1095.11 c #Conflicts: 1005000 | #Constraints: 164966
1091.65/1095.11 c #Conflicts: 1006000 | #Constraints: 165966
1091.65/1095.11 c #Conflicts: 1007000 | #Constraints: 166966
1091.65/1095.11 c #Conflicts: 1008000 | #Constraints: 167966
1091.65/1095.11 c #Conflicts: 1009000 | #Constraints: 168966
1091.65/1095.11 c #Conflicts: 1010000 | #Constraints: 169966
1091.65/1095.11 c #Conflicts: 1011000 | #Constraints: 170966
1091.65/1095.11 c #Conflicts: 1012000 | #Constraints: 171966
1091.65/1095.11 c #Conflicts: 1013000 | #Constraints: 172966
1091.65/1095.11 c #Conflicts: 1014000 | #Constraints: 173966
1091.65/1095.11 c #Conflicts: 1015000 | #Constraints: 174966
1091.65/1095.11 c #Conflicts: 1016000 | #Constraints: 175966
1091.65/1095.11 c #Conflicts: 1017000 | #Constraints: 176966
1091.65/1095.11 c #Conflicts: 1018000 | #Constraints: 177966
1091.65/1095.11 c #Conflicts: 1019000 | #Constraints: 178966
1091.65/1095.11 c #Conflicts: 1020000 | #Constraints: 179966
1091.65/1095.11 c #Conflicts: 1021000 | #Constraints: 180966
1091.65/1095.11 c #Conflicts: 1022000 | #Constraints: 181966
1091.65/1095.11 c #Conflicts: 1023000 | #Constraints: 182966
1091.65/1095.11 c #Conflicts: 1024000 | #Constraints: 183966
1091.65/1095.11 c #Conflicts: 1025000 | #Constraints: 184966
1091.65/1095.11 c #Conflicts: 1026000 | #Constraints: 185966
1091.65/1095.11 c #Conflicts: 1027000 | #Constraints: 186966
1091.65/1095.11 c #Conflicts: 1028000 | #Constraints: 187966
1091.65/1095.11 c #Conflicts: 1029000 | #Constraints: 188966
1091.65/1095.11 c #Conflicts: 1030000 | #Constraints: 189966
1091.65/1095.11 c #Conflicts: 1031000 | #Constraints: 190966
1091.65/1095.11 c #Conflicts: 1032000 | #Constraints: 191966
1091.65/1095.11 c #Conflicts: 1033000 | #Constraints: 192966
1091.65/1095.11 c #Conflicts: 1034000 | #Constraints: 193966
1091.65/1095.11 c #Conflicts: 1035000 | #Constraints: 194966
1091.65/1095.11 c #Conflicts: 1036000 | #Constraints: 195966
1091.65/1095.11 c #Conflicts: 1037000 | #Constraints: 196966
1091.65/1095.11 c INPROCESSING
1091.65/1095.11 c GARBAGE COLLECT
1091.65/1095.11 c #Conflicts: 1038000 | #Constraints: 146981
1091.65/1095.11 c #Conflicts: 1039000 | #Constraints: 147981
1091.65/1095.11 c #Conflicts: 1040000 | #Constraints: 148981
1091.65/1095.11 c #Conflicts: 1041000 | #Constraints: 149981
1091.65/1095.11 c #Conflicts: 1042000 | #Constraints: 150981
1091.65/1095.11 c #Conflicts: 1043000 | #Constraints: 151981
1091.65/1095.11 c #Conflicts: 1044000 | #Constraints: 152981
1091.65/1095.11 c #Conflicts: 1045000 | #Constraints: 153981
1091.65/1095.11 c #Conflicts: 1046000 | #Constraints: 154981
1091.65/1095.11 c #Conflicts: 1047000 | #Constraints: 155981
1091.65/1095.11 c #Conflicts: 1048000 | #Constraints: 156981
1091.65/1095.11 c #Conflicts: 1049000 | #Constraints: 157981
1091.65/1095.11 c #Conflicts: 1050000 | #Constraints: 158981
1091.65/1095.11 c #Conflicts: 1051000 | #Constraints: 159981
1091.65/1095.11 c #Conflicts: 1052000 | #Constraints: 160981
1091.65/1095.11 c #Conflicts: 1053000 | #Constraints: 161981
1091.65/1095.11 c #Conflicts: 1054000 | #Constraints: 162981
1181.86/1185.69 c #Conflicts: 1055000 | #Constraints: 163981
1181.86/1185.69 c #Conflicts: 1056000 | #Constraints: 164981
1181.86/1185.69 c #Conflicts: 1057000 | #Constraints: 165981
1181.86/1185.69 c #Conflicts: 1058000 | #Constraints: 166981
1181.86/1185.69 c #Conflicts: 1059000 | #Constraints: 167981
1181.86/1185.69 c #Conflicts: 1060000 | #Constraints: 168981
1181.86/1185.69 c INPROCESSING
1181.86/1185.69 c GARBAGE COLLECT
1181.86/1185.69 c #Conflicts: 1061000 | #Constraints: 132867
1181.86/1185.69 c #Conflicts: 1062000 | #Constraints: 133867
1181.86/1185.69 c #Conflicts: 1063000 | #Constraints: 134867
1181.86/1185.69 c #Conflicts: 1064000 | #Constraints: 135867
1181.86/1185.69 c #Conflicts: 1065000 | #Constraints: 136867
1181.86/1185.69 c #Conflicts: 1066000 | #Constraints: 137867
1181.86/1185.69 c #Conflicts: 1067000 | #Constraints: 138867
1181.86/1185.69 c #Conflicts: 1068000 | #Constraints: 139867
1181.86/1185.69 c #Conflicts: 1069000 | #Constraints: 140867
1181.86/1185.69 c #Conflicts: 1070000 | #Constraints: 141867
1181.86/1185.69 c #Conflicts: 1071000 | #Constraints: 142867
1181.86/1185.69 c #Conflicts: 1072000 | #Constraints: 143867
1181.86/1185.69 c #Conflicts: 1073000 | #Constraints: 144867
1181.86/1185.69 c #Conflicts: 1074000 | #Constraints: 145867
1181.86/1185.69 c #Conflicts: 1075000 | #Constraints: 146867
1181.86/1185.69 c #Conflicts: 1076000 | #Constraints: 147867
1181.86/1185.69 c #Conflicts: 1077000 | #Constraints: 148867
1181.86/1185.69 c #Conflicts: 1078000 | #Constraints: 149867
1181.86/1185.69 c #Conflicts: 1079000 | #Constraints: 150867
1181.86/1185.69 c #Conflicts: 1080000 | #Constraints: 151867
1181.86/1185.69 c #Conflicts: 1081000 | #Constraints: 152867
1181.86/1185.69 c #Conflicts: 1082000 | #Constraints: 153867
1181.86/1185.69 c #Conflicts: 1083000 | #Constraints: 154867
1181.86/1185.69 c INPROCESSING
1181.86/1185.69 c GARBAGE COLLECT
1181.86/1185.69 c #Conflicts: 1084000 | #Constraints: 125618
1181.86/1185.69 c #Conflicts: 1085000 | #Constraints: 126618
1181.86/1185.69 c #Conflicts: 1086000 | #Constraints: 127618
1181.86/1185.69 c #Conflicts: 1087000 | #Constraints: 128618
1181.86/1185.69 c #Conflicts: 1088000 | #Constraints: 129618
1181.86/1185.69 c #Conflicts: 1089000 | #Constraints: 130618
1181.86/1185.69 c #Conflicts: 1090000 | #Constraints: 131618
1181.86/1185.69 c #Conflicts: 1091000 | #Constraints: 132618
1181.86/1185.69 c #Conflicts: 1092000 | #Constraints: 133618
1181.86/1185.69 c #Conflicts: 1093000 | #Constraints: 134618
1181.86/1185.69 c #Conflicts: 1094000 | #Constraints: 135618
1181.86/1185.69 c #Conflicts: 1095000 | #Constraints: 136618
1181.86/1185.69 c #Conflicts: 1096000 | #Constraints: 137618
1181.86/1185.69 c #Conflicts: 1097000 | #Constraints: 138618
1181.86/1185.69 c #Conflicts: 1098000 | #Constraints: 139618
1181.86/1185.69 c #Conflicts: 1099000 | #Constraints: 140618
1181.86/1185.69 c #Conflicts: 1100000 | #Constraints: 141618
1181.86/1185.69 c #Conflicts: 1101000 | #Constraints: 142618
1181.86/1185.69 c #Conflicts: 1102000 | #Constraints: 143618
1181.86/1185.69 c #Conflicts: 1103000 | #Constraints: 144618
1181.86/1185.69 c #Conflicts: 1104000 | #Constraints: 145618
1181.86/1185.69 c #Conflicts: 1105000 | #Constraints: 146618
1181.86/1185.69 c #Conflicts: 1106000 | #Constraints: 147618
1181.86/1185.69 c #Conflicts: 1107000 | #Constraints: 148618
1181.86/1185.69 c INPROCESSING
1181.86/1185.69 c GARBAGE COLLECT
1181.86/1185.69 c #Conflicts: 1108000 | #Constraints: 122688
1181.86/1185.69 c #Conflicts: 1109000 | #Constraints: 123688
1181.86/1185.69 c #Conflicts: 1110000 | #Constraints: 124688
1181.86/1185.69 c #Conflicts: 1111000 | #Constraints: 125688
1181.86/1185.69 c #Conflicts: 1112000 | #Constraints: 126688
1181.86/1185.69 c #Conflicts: 1113000 | #Constraints: 127688
1181.86/1185.69 c #Conflicts: 1114000 | #Constraints: 128688
1181.86/1185.69 c #Conflicts: 1115000 | #Constraints: 129688
1181.86/1185.69 c #Conflicts: 1116000 | #Constraints: 130688
1181.86/1185.69 c #Conflicts: 1117000 | #Constraints: 131688
1181.86/1185.69 c #Conflicts: 1118000 | #Constraints: 132688
1181.86/1185.69 c #Conflicts: 1119000 | #Constraints: 133688
1181.86/1185.69 c #Conflicts: 1120000 | #Constraints: 134688
1181.86/1185.69 c #Conflicts: 1121000 | #Constraints: 135688
1181.86/1185.69 c #Conflicts: 1122000 | #Constraints: 136688
1181.86/1185.69 c #Conflicts: 1123000 | #Constraints: 137688
1181.86/1185.69 c #Conflicts: 1124000 | #Constraints: 138688
1181.86/1185.69 c #Conflicts: 1125000 | #Constraints: 139688
1181.86/1185.69 c #Conflicts: 1126000 | #Constraints: 140688
1181.86/1185.69 c #Conflicts: 1127000 | #Constraints: 141688
1181.86/1185.69 c #Conflicts: 1128000 | #Constraints: 142688
1181.86/1185.69 c #Conflicts: 1129000 | #Constraints: 143688
1181.86/1185.69 c #Conflicts: 1130000 | #Constraints: 144688
1378.42/1382.81 c #Conflicts: 1131000 | #Constraints: 145688
1378.42/1382.81 c #Conflicts: 1132000 | #Constraints: 146688
1378.42/1382.81 c #Conflicts: 1133000 | #Constraints: 147688
1378.42/1382.81 c #Conflicts: 1134000 | #Constraints: 148688
1378.42/1382.81 c #Conflicts: 1135000 | #Constraints: 149688
1378.42/1382.81 c #Conflicts: 1136000 | #Constraints: 150688
1378.42/1382.81 c #Conflicts: 1137000 | #Constraints: 151688
1378.42/1382.81 c #Conflicts: 1138000 | #Constraints: 152688
1378.42/1382.81 c #Conflicts: 1139000 | #Constraints: 153688
1378.42/1382.81 c #Conflicts: 1140000 | #Constraints: 154688
1378.42/1382.81 c #Conflicts: 1141000 | #Constraints: 155688
1378.42/1382.81 c #Conflicts: 1142000 | #Constraints: 156688
1378.42/1382.81 c #Conflicts: 1143000 | #Constraints: 157688
1378.42/1382.81 c #Conflicts: 1144000 | #Constraints: 158688
1378.42/1382.81 c #Conflicts: 1145000 | #Constraints: 159688
1378.42/1382.81 c #Conflicts: 1146000 | #Constraints: 160688
1378.42/1382.81 c #Conflicts: 1147000 | #Constraints: 161688
1378.42/1382.81 c #Conflicts: 1148000 | #Constraints: 162688
1378.42/1382.81 c #Conflicts: 1149000 | #Constraints: 163688
1378.42/1382.81 c #Conflicts: 1150000 | #Constraints: 164688
1378.42/1382.81 c #Conflicts: 1151000 | #Constraints: 165688
1378.42/1382.81 c #Conflicts: 1152000 | #Constraints: 166688
1378.42/1382.81 c #Conflicts: 1153000 | #Constraints: 167688
1378.42/1382.81 c #Conflicts: 1154000 | #Constraints: 168688
1378.42/1382.81 c #Conflicts: 1155000 | #Constraints: 169688
1378.42/1382.81 c #Conflicts: 1156000 | #Constraints: 170688
1378.42/1382.81 c #Conflicts: 1157000 | #Constraints: 171688
1378.42/1382.81 c #Conflicts: 1158000 | #Constraints: 172688
1378.42/1382.81 c #Conflicts: 1159000 | #Constraints: 173688
1378.42/1382.81 c #Conflicts: 1160000 | #Constraints: 174688
1378.42/1382.81 c #Conflicts: 1161000 | #Constraints: 175688
1378.42/1382.81 c #Conflicts: 1162000 | #Constraints: 176688
1378.42/1382.81 c #Conflicts: 1163000 | #Constraints: 177688
1378.42/1382.81 c #Conflicts: 1164000 | #Constraints: 178688
1378.42/1382.81 c #Conflicts: 1165000 | #Constraints: 179688
1378.42/1382.81 c #Conflicts: 1166000 | #Constraints: 180688
1378.42/1382.81 c #Conflicts: 1167000 | #Constraints: 181688
1378.42/1382.81 c #Conflicts: 1168000 | #Constraints: 182688
1378.42/1382.81 c #Conflicts: 1169000 | #Constraints: 183688
1378.42/1382.81 c #Conflicts: 1170000 | #Constraints: 184688
1378.42/1382.81 c #Conflicts: 1171000 | #Constraints: 185688
1378.42/1382.81 c #Conflicts: 1172000 | #Constraints: 186688
1378.42/1382.81 c #Conflicts: 1173000 | #Constraints: 187688
1378.42/1382.81 c #Conflicts: 1174000 | #Constraints: 188688
1378.42/1382.81 c #Conflicts: 1175000 | #Constraints: 189688
1378.42/1382.81 c #Conflicts: 1176000 | #Constraints: 190688
1378.42/1382.81 c #Conflicts: 1177000 | #Constraints: 191688
1378.42/1382.81 c #Conflicts: 1178000 | #Constraints: 192688
1378.42/1382.81 c #Conflicts: 1179000 | #Constraints: 193688
1378.42/1382.81 c #Conflicts: 1180000 | #Constraints: 194688
1378.42/1382.81 c #Conflicts: 1181000 | #Constraints: 195688
1378.42/1382.81 c #Conflicts: 1182000 | #Constraints: 196688
1378.42/1382.81 c #Conflicts: 1183000 | #Constraints: 197688
1378.42/1382.81 c #Conflicts: 1184000 | #Constraints: 198688
1378.42/1382.81 c #Conflicts: 1185000 | #Constraints: 199688
1378.42/1382.81 c #Conflicts: 1186000 | #Constraints: 200688
1378.42/1382.81 c #Conflicts: 1187000 | #Constraints: 201688
1378.42/1382.81 c #Conflicts: 1188000 | #Constraints: 202688
1378.42/1382.81 c #Conflicts: 1189000 | #Constraints: 203688
1378.42/1382.81 c INPROCESSING
1378.42/1382.81 c GARBAGE COLLECT
1378.42/1382.81 c #Conflicts: 1190000 | #Constraints: 150038
1378.42/1382.81 c #Conflicts: 1191000 | #Constraints: 151038
1378.42/1382.81 c #Conflicts: 1192000 | #Constraints: 152038
1378.42/1382.81 c #Conflicts: 1193000 | #Constraints: 153038
1378.42/1382.81 c #Conflicts: 1194000 | #Constraints: 154038
1378.42/1382.81 c #Conflicts: 1195000 | #Constraints: 155038
1378.42/1382.81 c #Conflicts: 1196000 | #Constraints: 156038
1378.42/1382.81 c #Conflicts: 1197000 | #Constraints: 157038
1378.42/1382.81 c #Conflicts: 1198000 | #Constraints: 158038
1378.42/1382.81 c #Conflicts: 1199000 | #Constraints: 159038
1378.42/1382.81 c #Conflicts: 1200000 | #Constraints: 160038
1378.42/1382.81 c #Conflicts: 1201000 | #Constraints: 161038
1378.42/1382.81 c #Conflicts: 1202000 | #Constraints: 162038
1378.42/1382.81 c #Conflicts: 1203000 | #Constraints: 163038
1378.42/1382.81 c #Conflicts: 1204000 | #Constraints: 164038
1378.42/1382.81 c #Conflicts: 1205000 | #Constraints: 165038
1378.42/1382.81 c #Conflicts: 1206000 | #Constraints: 166038
1378.42/1382.81 c #Conflicts: 1207000 | #Constraints: 167038
1378.42/1382.81 c #Conflicts: 1208000 | #Constraints: 168038
1378.42/1382.81 c #Conflicts: 1209000 | #Constraints: 169038
1487.06/1491.89 c #Conflicts: 1210000 | #Constraints: 170038
1487.06/1491.89 c #Conflicts: 1211000 | #Constraints: 171038
1487.06/1491.89 c #Conflicts: 1212000 | #Constraints: 172038
1487.06/1491.89 c #Conflicts: 1213000 | #Constraints: 173038
1487.06/1491.89 c #Conflicts: 1214000 | #Constraints: 174038
1487.06/1491.89 c INPROCESSING
1487.06/1491.89 c GARBAGE COLLECT
1487.06/1491.89 c #Conflicts: 1215000 | #Constraints: 135319
1487.06/1491.89 c #Conflicts: 1216000 | #Constraints: 136319
1487.06/1491.89 c #Conflicts: 1217000 | #Constraints: 137319
1487.06/1491.89 c #Conflicts: 1218000 | #Constraints: 138319
1487.06/1491.89 c #Conflicts: 1219000 | #Constraints: 139319
1487.06/1491.89 c #Conflicts: 1220000 | #Constraints: 140319
1487.06/1491.89 c #Conflicts: 1221000 | #Constraints: 141319
1487.06/1491.89 c #Conflicts: 1222000 | #Constraints: 142319
1487.06/1491.89 c #Conflicts: 1223000 | #Constraints: 143319
1487.06/1491.89 c #Conflicts: 1224000 | #Constraints: 144319
1487.06/1491.89 c #Conflicts: 1225000 | #Constraints: 145319
1487.06/1491.89 c #Conflicts: 1226000 | #Constraints: 146319
1487.06/1491.89 c #Conflicts: 1227000 | #Constraints: 147319
1487.06/1491.89 c #Conflicts: 1228000 | #Constraints: 148319
1487.06/1491.89 c #Conflicts: 1229000 | #Constraints: 149319
1487.06/1491.89 c #Conflicts: 1230000 | #Constraints: 150319
1487.06/1491.89 c #Conflicts: 1231000 | #Constraints: 151319
1487.06/1491.89 c #Conflicts: 1232000 | #Constraints: 152319
1487.06/1491.89 c #Conflicts: 1233000 | #Constraints: 153319
1487.06/1491.89 c #Conflicts: 1234000 | #Constraints: 154319
1487.06/1491.89 c #Conflicts: 1235000 | #Constraints: 155319
1487.06/1491.89 c #Conflicts: 1236000 | #Constraints: 156319
1487.06/1491.89 c #Conflicts: 1237000 | #Constraints: 157319
1487.06/1491.89 c #Conflicts: 1238000 | #Constraints: 158319
1487.06/1491.89 c #Conflicts: 1239000 | #Constraints: 159319
1487.06/1491.89 c INPROCESSING
1487.06/1491.89 c GARBAGE COLLECT
1487.06/1491.89 c #Conflicts: 1240000 | #Constraints: 127899
1487.06/1491.89 c #Conflicts: 1241000 | #Constraints: 128899
1487.06/1491.89 c #Conflicts: 1242000 | #Constraints: 129899
1487.06/1491.89 c #Conflicts: 1243000 | #Constraints: 130899
1487.06/1491.89 c #Conflicts: 1244000 | #Constraints: 131899
1487.06/1491.89 c #Conflicts: 1245000 | #Constraints: 132899
1487.06/1491.89 c #Conflicts: 1246000 | #Constraints: 133899
1487.06/1491.89 c #Conflicts: 1247000 | #Constraints: 134899
1487.06/1491.89 c #Conflicts: 1248000 | #Constraints: 135899
1487.06/1491.89 c #Conflicts: 1249000 | #Constraints: 136899
1487.06/1491.89 c #Conflicts: 1250000 | #Constraints: 137899
1487.06/1491.89 c #Conflicts: 1251000 | #Constraints: 138899
1487.06/1491.89 c #Conflicts: 1252000 | #Constraints: 139899
1487.06/1491.89 c #Conflicts: 1253000 | #Constraints: 140899
1487.06/1491.89 c #Conflicts: 1254000 | #Constraints: 141899
1487.06/1491.89 c #Conflicts: 1255000 | #Constraints: 142899
1487.06/1491.89 c #Conflicts: 1256000 | #Constraints: 143899
1487.06/1491.89 c #Conflicts: 1257000 | #Constraints: 144899
1487.06/1491.89 c #Conflicts: 1258000 | #Constraints: 145899
1487.06/1491.89 c #Conflicts: 1259000 | #Constraints: 146899
1487.06/1491.89 c #Conflicts: 1260000 | #Constraints: 147899
1487.06/1491.89 c #Conflicts: 1261000 | #Constraints: 148899
1487.06/1491.89 c #Conflicts: 1262000 | #Constraints: 149899
1487.06/1491.89 c #Conflicts: 1263000 | #Constraints: 150899
1487.06/1491.89 c #Conflicts: 1264000 | #Constraints: 151899
1487.06/1491.89 c INPROCESSING
1487.06/1491.89 c GARBAGE COLLECT
1487.06/1491.89 c #Conflicts: 1265000 | #Constraints: 124000
1487.06/1491.89 c #Conflicts: 1266000 | #Constraints: 125000
1487.06/1491.89 c #Conflicts: 1267000 | #Constraints: 126000
1487.06/1491.89 c #Conflicts: 1268000 | #Constraints: 127000
1487.06/1491.89 c #Conflicts: 1269000 | #Constraints: 128000
1487.06/1491.89 c #Conflicts: 1270000 | #Constraints: 129000
1487.06/1491.89 c #Conflicts: 1271000 | #Constraints: 130000
1487.06/1491.89 c #Conflicts: 1272000 | #Constraints: 131000
1487.06/1491.89 c #Conflicts: 1273000 | #Constraints: 132000
1487.06/1491.89 c #Conflicts: 1274000 | #Constraints: 133000
1487.06/1491.89 c #Conflicts: 1275000 | #Constraints: 134000
1487.06/1491.89 c #Conflicts: 1276000 | #Constraints: 135000
1487.06/1491.89 c #Conflicts: 1277000 | #Constraints: 136000
1487.06/1491.89 c #Conflicts: 1278000 | #Constraints: 137000
1487.06/1491.89 c #Conflicts: 1279000 | #Constraints: 138000
1487.06/1491.89 c #Conflicts: 1280000 | #Constraints: 139000
1487.06/1491.89 c #Conflicts: 1281000 | #Constraints: 140000
1487.06/1491.89 c #Conflicts: 1282000 | #Constraints: 141000
1487.06/1491.89 c #Conflicts: 1283000 | #Constraints: 142000
1487.06/1491.89 c #Conflicts: 1284000 | #Constraints: 143000
1487.06/1491.89 c #Conflicts: 1285000 | #Constraints: 144000
1679.46/1684.80 c #Conflicts: 1286000 | #Constraints: 145000
1679.46/1684.80 c #Conflicts: 1287000 | #Constraints: 146000
1679.46/1684.80 c #Conflicts: 1288000 | #Constraints: 147000
1679.46/1684.80 c #Conflicts: 1289000 | #Constraints: 148000
1679.46/1684.80 c #Conflicts: 1290000 | #Constraints: 149000
1679.46/1684.80 c #Conflicts: 1291000 | #Constraints: 150000
1679.46/1684.80 c #Conflicts: 1292000 | #Constraints: 151000
1679.46/1684.80 c #Conflicts: 1293000 | #Constraints: 152000
1679.46/1684.80 c #Conflicts: 1294000 | #Constraints: 153000
1679.46/1684.80 c #Conflicts: 1295000 | #Constraints: 154000
1679.46/1684.80 c #Conflicts: 1296000 | #Constraints: 155000
1679.46/1684.80 c #Conflicts: 1297000 | #Constraints: 156000
1679.46/1684.80 c #Conflicts: 1298000 | #Constraints: 157000
1679.46/1684.80 c #Conflicts: 1299000 | #Constraints: 158000
1679.46/1684.80 c #Conflicts: 1300000 | #Constraints: 159000
1679.46/1684.80 c #Conflicts: 1301000 | #Constraints: 160000
1679.46/1684.80 c #Conflicts: 1302000 | #Constraints: 161000
1679.46/1684.80 c #Conflicts: 1303000 | #Constraints: 162000
1679.46/1684.80 c #Conflicts: 1304000 | #Constraints: 163000
1679.46/1684.80 c #Conflicts: 1305000 | #Constraints: 164000
1679.46/1684.80 c #Conflicts: 1306000 | #Constraints: 165000
1679.46/1684.80 c #Conflicts: 1307000 | #Constraints: 166000
1679.46/1684.80 c #Conflicts: 1308000 | #Constraints: 167000
1679.46/1684.80 c #Conflicts: 1309000 | #Constraints: 168000
1679.46/1684.80 c #Conflicts: 1310000 | #Constraints: 169000
1679.46/1684.80 c #Conflicts: 1311000 | #Constraints: 170000
1679.46/1684.80 c #Conflicts: 1312000 | #Constraints: 171000
1679.46/1684.80 c #Conflicts: 1313000 | #Constraints: 172000
1679.46/1684.80 c #Conflicts: 1314000 | #Constraints: 173000
1679.46/1684.80 c #Conflicts: 1315000 | #Constraints: 174000
1679.46/1684.80 c #Conflicts: 1316000 | #Constraints: 175000
1679.46/1684.80 c #Conflicts: 1317000 | #Constraints: 176000
1679.46/1684.80 c #Conflicts: 1318000 | #Constraints: 177000
1679.46/1684.80 c #Conflicts: 1319000 | #Constraints: 178000
1679.46/1684.80 c #Conflicts: 1320000 | #Constraints: 179000
1679.46/1684.80 c #Conflicts: 1321000 | #Constraints: 180000
1679.46/1684.80 c #Conflicts: 1322000 | #Constraints: 181000
1679.46/1684.80 c #Conflicts: 1323000 | #Constraints: 182000
1679.46/1684.80 c #Conflicts: 1324000 | #Constraints: 183000
1679.46/1684.80 c #Conflicts: 1325000 | #Constraints: 184000
1679.46/1684.80 c #Conflicts: 1326000 | #Constraints: 185000
1679.46/1684.80 c #Conflicts: 1327000 | #Constraints: 186000
1679.46/1684.80 c #Conflicts: 1328000 | #Constraints: 187000
1679.46/1684.80 c #Conflicts: 1329000 | #Constraints: 188000
1679.46/1684.80 c #Conflicts: 1330000 | #Constraints: 189000
1679.46/1684.80 c #Conflicts: 1331000 | #Constraints: 190000
1679.46/1684.80 c #Conflicts: 1332000 | #Constraints: 191000
1679.46/1684.80 c #Conflicts: 1333000 | #Constraints: 192000
1679.46/1684.80 c #Conflicts: 1334000 | #Constraints: 193000
1679.46/1684.80 c #Conflicts: 1335000 | #Constraints: 194000
1679.46/1684.80 c #Conflicts: 1336000 | #Constraints: 195000
1679.46/1684.80 c #Conflicts: 1337000 | #Constraints: 196000
1679.46/1684.80 c #Conflicts: 1338000 | #Constraints: 197000
1679.46/1684.80 c #Conflicts: 1339000 | #Constraints: 198000
1679.46/1684.80 c #Conflicts: 1340000 | #Constraints: 199000
1679.46/1684.80 c #Conflicts: 1341000 | #Constraints: 200000
1679.46/1684.80 c #Conflicts: 1342000 | #Constraints: 201000
1679.46/1684.80 c #Conflicts: 1343000 | #Constraints: 202000
1679.46/1684.80 c #Conflicts: 1344000 | #Constraints: 203000
1679.46/1684.80 c #Conflicts: 1345000 | #Constraints: 204000
1679.46/1684.80 c #Conflicts: 1346000 | #Constraints: 205000
1679.46/1684.80 c #Conflicts: 1347000 | #Constraints: 206000
1679.46/1684.80 c #Conflicts: 1348000 | #Constraints: 207000
1679.46/1684.80 c #Conflicts: 1349000 | #Constraints: 208000
1679.46/1684.80 c #Conflicts: 1350000 | #Constraints: 209000
1679.46/1684.80 c #Conflicts: 1351000 | #Constraints: 210000
1679.46/1684.80 c #Conflicts: 1352000 | #Constraints: 211000
1679.46/1684.80 c INPROCESSING
1679.46/1684.80 c GARBAGE COLLECT
1679.46/1684.80 c #Conflicts: 1353000 | #Constraints: 153802
1679.46/1684.80 c #Conflicts: 1354000 | #Constraints: 154802
1679.46/1684.80 c #Conflicts: 1355000 | #Constraints: 155802
1679.46/1684.80 c #Conflicts: 1356000 | #Constraints: 156802
1679.46/1684.80 c #Conflicts: 1357000 | #Constraints: 157802
1679.46/1684.80 c #Conflicts: 1358000 | #Constraints: 158802
1679.46/1684.80 c #Conflicts: 1359000 | #Constraints: 159802
1679.46/1684.80 c #Conflicts: 1360000 | #Constraints: 160802
1679.46/1684.80 c #Conflicts: 1361000 | #Constraints: 161802
1679.46/1684.80 c #Conflicts: 1362000 | #Constraints: 162802
1679.46/1684.80 c #Conflicts: 1363000 | #Constraints: 163802
1679.46/1684.80 c #Conflicts: 1364000 | #Constraints: 164802
1818.62/1824.43 c #Conflicts: 1365000 | #Constraints: 165802
1818.62/1824.43 c #Conflicts: 1366000 | #Constraints: 166802
1818.62/1824.43 c #Conflicts: 1367000 | #Constraints: 167802
1818.62/1824.43 c #Conflicts: 1368000 | #Constraints: 168802
1818.62/1824.43 c #Conflicts: 1369000 | #Constraints: 169802
1818.62/1824.43 c #Conflicts: 1370000 | #Constraints: 170802
1818.62/1824.43 c #Conflicts: 1371000 | #Constraints: 171802
1818.62/1824.43 c #Conflicts: 1372000 | #Constraints: 172802
1818.62/1824.43 c #Conflicts: 1373000 | #Constraints: 173802
1818.62/1824.43 c #Conflicts: 1374000 | #Constraints: 174802
1818.62/1824.43 c #Conflicts: 1375000 | #Constraints: 175802
1818.62/1824.43 c #Conflicts: 1376000 | #Constraints: 176802
1818.62/1824.43 c #Conflicts: 1377000 | #Constraints: 177802
1818.62/1824.43 c #Conflicts: 1378000 | #Constraints: 178802
1818.62/1824.43 c #Conflicts: 1379000 | #Constraints: 179802
1818.62/1824.43 c INPROCESSING
1818.62/1824.43 c GARBAGE COLLECT
1818.62/1824.43 c #Conflicts: 1380000 | #Constraints: 138353
1818.62/1824.43 c #Conflicts: 1381000 | #Constraints: 139353
1818.62/1824.43 c #Conflicts: 1382000 | #Constraints: 140353
1818.62/1824.43 c #Conflicts: 1383000 | #Constraints: 141353
1818.62/1824.44 c #Conflicts: 1384000 | #Constraints: 142353
1818.62/1824.44 c #Conflicts: 1385000 | #Constraints: 143353
1818.62/1824.44 c #Conflicts: 1386000 | #Constraints: 144353
1818.62/1824.44 c #Conflicts: 1387000 | #Constraints: 145353
1818.62/1824.44 c #Conflicts: 1388000 | #Constraints: 146353
1818.62/1824.44 c #Conflicts: 1389000 | #Constraints: 147353
1818.62/1824.44 c #Conflicts: 1390000 | #Constraints: 148353
1818.62/1824.44 c #Conflicts: 1391000 | #Constraints: 149353
1818.62/1824.44 c #Conflicts: 1392000 | #Constraints: 150353
1818.62/1824.44 c #Conflicts: 1393000 | #Constraints: 151353
1818.62/1824.44 c #Conflicts: 1394000 | #Constraints: 152353
1818.62/1824.44 c #Conflicts: 1395000 | #Constraints: 153353
1818.62/1824.44 c #Conflicts: 1396000 | #Constraints: 154353
1818.62/1824.44 c #Conflicts: 1397000 | #Constraints: 155353
1818.62/1824.44 c #Conflicts: 1398000 | #Constraints: 156353
1818.62/1824.44 c #Conflicts: 1399000 | #Constraints: 157353
1818.62/1824.44 c #Conflicts: 1400000 | #Constraints: 158353
1818.62/1824.44 c #Conflicts: 1401000 | #Constraints: 159353
1818.62/1824.44 c #Conflicts: 1402000 | #Constraints: 160353
1818.62/1824.44 c #Conflicts: 1403000 | #Constraints: 161353
1818.62/1824.44 c #Conflicts: 1404000 | #Constraints: 162353
1818.62/1824.44 c #Conflicts: 1405000 | #Constraints: 163353
1818.62/1824.44 c INPROCESSING
1818.62/1824.44 c GARBAGE COLLECT
1818.62/1824.44 c #Conflicts: 1406000 | #Constraints: 129754
1818.62/1824.44 c #Conflicts: 1407000 | #Constraints: 130754
1818.62/1824.44 c #Conflicts: 1408000 | #Constraints: 131754
1818.62/1824.44 c #Conflicts: 1409000 | #Constraints: 132754
1818.62/1824.44 c #Conflicts: 1410000 | #Constraints: 133754
1818.62/1824.44 c #Conflicts: 1411000 | #Constraints: 134754
1818.62/1824.44 c #Conflicts: 1412000 | #Constraints: 135754
1818.62/1824.44 c #Conflicts: 1413000 | #Constraints: 136754
1818.62/1824.44 c #Conflicts: 1414000 | #Constraints: 137754
1818.62/1824.44 c #Conflicts: 1415000 | #Constraints: 138754
1818.62/1824.44 c #Conflicts: 1416000 | #Constraints: 139754
1818.62/1824.44 c #Conflicts: 1417000 | #Constraints: 140754
1818.62/1824.44 c #Conflicts: 1418000 | #Constraints: 141754
1818.62/1824.44 c #Conflicts: 1419000 | #Constraints: 142754
1818.62/1824.44 c #Conflicts: 1420000 | #Constraints: 143754
1818.62/1824.44 c #Conflicts: 1421000 | #Constraints: 144754
1818.62/1824.44 c #Conflicts: 1422000 | #Constraints: 145754
1818.62/1824.44 c #Conflicts: 1423000 | #Constraints: 146754
1818.62/1824.44 c #Conflicts: 1424000 | #Constraints: 147754
1818.62/1824.44 c #Conflicts: 1425000 | #Constraints: 148754
1818.62/1824.44 c #Conflicts: 1426000 | #Constraints: 149754
1818.62/1824.44 c #Conflicts: 1427000 | #Constraints: 150754
1818.62/1824.44 c #Conflicts: 1428000 | #Constraints: 151754
1818.62/1824.44 c #Conflicts: 1429000 | #Constraints: 152754
1818.62/1824.44 c #Conflicts: 1430000 | #Constraints: 153754
1818.62/1824.44 c #Conflicts: 1431000 | #Constraints: 154754
1818.62/1824.44 c #Conflicts: 1432000 | #Constraints: 155754
1818.62/1824.44 c INPROCESSING
1818.62/1824.44 c GARBAGE COLLECT
1818.62/1824.44 c #Conflicts: 1433000 | #Constraints: 125931
1818.62/1824.44 c #Conflicts: 1434000 | #Constraints: 126931
1818.62/1824.44 c #Conflicts: 1435000 | #Constraints: 127931
1818.62/1824.44 c #Conflicts: 1436000 | #Constraints: 128931
1818.62/1824.44 c #Conflicts: 1437000 | #Constraints: 129931
1818.62/1824.44 c #Conflicts: 1438000 | #Constraints: 130931
1818.62/1824.44 c #Conflicts: 1439000 | #Constraints: 131931
1818.62/1824.44 c #Conflicts: 1440000 | #Constraints: 132931
1997.28/2003.70 c #Conflicts: 1441000 | #Constraints: 133931
1997.28/2003.70 c #Conflicts: 1442000 | #Constraints: 134931
1997.28/2003.70 c #Conflicts: 1443000 | #Constraints: 135931
1997.28/2003.70 c #Conflicts: 1444000 | #Constraints: 136931
1997.28/2003.70 c #Conflicts: 1445000 | #Constraints: 137931
1997.28/2003.70 c #Conflicts: 1446000 | #Constraints: 138931
1997.28/2003.70 c #Conflicts: 1447000 | #Constraints: 139931
1997.28/2003.70 c #Conflicts: 1448000 | #Constraints: 140931
1997.28/2003.70 c #Conflicts: 1449000 | #Constraints: 141931
1997.28/2003.70 c #Conflicts: 1450000 | #Constraints: 142931
1997.28/2003.70 c #Conflicts: 1451000 | #Constraints: 143931
1997.28/2003.70 c #Conflicts: 1452000 | #Constraints: 144931
1997.28/2003.70 c #Conflicts: 1453000 | #Constraints: 145931
1997.28/2003.70 c #Conflicts: 1454000 | #Constraints: 146931
1997.28/2003.70 c #Conflicts: 1455000 | #Constraints: 147931
1997.28/2003.70 c #Conflicts: 1456000 | #Constraints: 148931
1997.28/2003.70 c #Conflicts: 1457000 | #Constraints: 149931
1997.28/2003.70 c #Conflicts: 1458000 | #Constraints: 150931
1997.28/2003.70 c #Conflicts: 1459000 | #Constraints: 151931
1997.28/2003.70 c #Conflicts: 1460000 | #Constraints: 152931
1997.28/2003.70 c #Conflicts: 1461000 | #Constraints: 153931
1997.28/2003.70 c #Conflicts: 1462000 | #Constraints: 154931
1997.28/2003.70 c #Conflicts: 1463000 | #Constraints: 155931
1997.28/2003.70 c #Conflicts: 1464000 | #Constraints: 156931
1997.28/2003.70 c #Conflicts: 1465000 | #Constraints: 157931
1997.28/2003.70 c #Conflicts: 1466000 | #Constraints: 158931
1997.28/2003.70 c #Conflicts: 1467000 | #Constraints: 159931
1997.28/2003.70 c #Conflicts: 1468000 | #Constraints: 160931
1997.28/2003.70 c #Conflicts: 1469000 | #Constraints: 161931
1997.28/2003.70 c #Conflicts: 1470000 | #Constraints: 162931
1997.28/2003.70 c #Conflicts: 1471000 | #Constraints: 163931
1997.28/2003.70 c #Conflicts: 1472000 | #Constraints: 164931
1997.28/2003.70 c #Conflicts: 1473000 | #Constraints: 165931
1997.28/2003.70 c #Conflicts: 1474000 | #Constraints: 166931
1997.28/2003.70 c #Conflicts: 1475000 | #Constraints: 167931
1997.28/2003.70 c #Conflicts: 1476000 | #Constraints: 168931
1997.28/2003.70 c #Conflicts: 1477000 | #Constraints: 169931
1997.28/2003.70 c #Conflicts: 1478000 | #Constraints: 170931
1997.28/2003.70 c #Conflicts: 1479000 | #Constraints: 171931
1997.28/2003.70 c #Conflicts: 1480000 | #Constraints: 172931
1997.28/2003.70 c #Conflicts: 1481000 | #Constraints: 173931
1997.28/2003.70 c #Conflicts: 1482000 | #Constraints: 174931
1997.28/2003.70 c #Conflicts: 1483000 | #Constraints: 175931
1997.28/2003.70 c #Conflicts: 1484000 | #Constraints: 176931
1997.28/2003.70 c #Conflicts: 1485000 | #Constraints: 177931
1997.28/2003.70 c #Conflicts: 1486000 | #Constraints: 178931
1997.28/2003.70 c #Conflicts: 1487000 | #Constraints: 179931
1997.28/2003.70 c #Conflicts: 1488000 | #Constraints: 180931
1997.28/2003.70 c #Conflicts: 1489000 | #Constraints: 181931
1997.28/2003.70 c #Conflicts: 1490000 | #Constraints: 182931
1997.28/2003.70 c #Conflicts: 1491000 | #Constraints: 183931
1997.28/2003.70 c #Conflicts: 1492000 | #Constraints: 184931
1997.28/2003.70 c #Conflicts: 1493000 | #Constraints: 185931
1997.28/2003.70 c #Conflicts: 1494000 | #Constraints: 186931
1997.28/2003.70 c #Conflicts: 1495000 | #Constraints: 187931
1997.28/2003.70 c #Conflicts: 1496000 | #Constraints: 188931
1997.28/2003.70 c #Conflicts: 1497000 | #Constraints: 189931
1997.28/2003.70 c #Conflicts: 1498000 | #Constraints: 190931
1997.28/2003.70 c #Conflicts: 1499000 | #Constraints: 191931
1997.28/2003.70 c #Conflicts: 1500000 | #Constraints: 192931
1997.28/2003.70 c #Conflicts: 1501000 | #Constraints: 193931
1997.28/2003.70 c #Conflicts: 1502000 | #Constraints: 194931
1997.28/2003.70 c #Conflicts: 1503000 | #Constraints: 195931
1997.28/2003.70 c #Conflicts: 1504000 | #Constraints: 196931
1997.28/2003.70 c #Conflicts: 1505000 | #Constraints: 197931
1997.28/2003.70 c #Conflicts: 1506000 | #Constraints: 198931
1997.28/2003.70 c #Conflicts: 1507000 | #Constraints: 199931
1997.28/2003.70 c #Conflicts: 1508000 | #Constraints: 200931
1997.28/2003.70 c #Conflicts: 1509000 | #Constraints: 201931
1997.28/2003.70 c #Conflicts: 1510000 | #Constraints: 202931
1997.28/2003.70 c #Conflicts: 1511000 | #Constraints: 203931
1997.28/2003.70 c #Conflicts: 1512000 | #Constraints: 204931
1997.28/2003.70 c #Conflicts: 1513000 | #Constraints: 205931
1997.28/2003.70 c #Conflicts: 1514000 | #Constraints: 206931
1997.28/2003.70 c #Conflicts: 1515000 | #Constraints: 207931
1997.28/2003.70 c #Conflicts: 1516000 | #Constraints: 208931
1997.28/2003.70 c #Conflicts: 1517000 | #Constraints: 209931
1997.28/2003.70 c #Conflicts: 1518000 | #Constraints: 210931
1997.28/2003.70 c #Conflicts: 1519000 | #Constraints: 211931
2169.67/2176.78 c #Conflicts: 1520000 | #Constraints: 212931
2169.67/2176.78 c #Conflicts: 1521000 | #Constraints: 213931
2169.67/2176.78 c #Conflicts: 1522000 | #Constraints: 214931
2169.67/2176.78 c #Conflicts: 1523000 | #Constraints: 215931
2169.67/2176.78 c #Conflicts: 1524000 | #Constraints: 216931
2169.67/2176.78 c #Conflicts: 1525000 | #Constraints: 217931
2169.67/2176.78 c INPROCESSING
2169.67/2176.78 c GARBAGE COLLECT
2169.67/2176.78 c #Conflicts: 1526000 | #Constraints: 157108
2169.67/2176.78 c #Conflicts: 1527000 | #Constraints: 158108
2169.67/2176.78 c #Conflicts: 1528000 | #Constraints: 159108
2169.67/2176.78 c #Conflicts: 1529000 | #Constraints: 160108
2169.67/2176.78 c #Conflicts: 1530000 | #Constraints: 161108
2169.67/2176.78 c #Conflicts: 1531000 | #Constraints: 162108
2169.67/2176.78 c #Conflicts: 1532000 | #Constraints: 163108
2169.67/2176.78 c #Conflicts: 1533000 | #Constraints: 164108
2169.67/2176.78 c #Conflicts: 1534000 | #Constraints: 165108
2169.67/2176.78 c #Conflicts: 1535000 | #Constraints: 166108
2169.67/2176.78 c #Conflicts: 1536000 | #Constraints: 167108
2169.67/2176.78 c #Conflicts: 1537000 | #Constraints: 168108
2169.67/2176.78 c #Conflicts: 1538000 | #Constraints: 169108
2169.67/2176.78 c #Conflicts: 1539000 | #Constraints: 170108
2169.67/2176.78 c #Conflicts: 1540000 | #Constraints: 171108
2169.67/2176.78 c #Conflicts: 1541000 | #Constraints: 172108
2169.67/2176.78 c #Conflicts: 1542000 | #Constraints: 173108
2169.67/2176.78 c #Conflicts: 1543000 | #Constraints: 174108
2169.67/2176.78 c #Conflicts: 1544000 | #Constraints: 175108
2169.67/2176.78 c #Conflicts: 1545000 | #Constraints: 176108
2169.67/2176.78 c #Conflicts: 1546000 | #Constraints: 177108
2169.67/2176.78 c #Conflicts: 1547000 | #Constraints: 178108
2169.67/2176.78 c #Conflicts: 1548000 | #Constraints: 179108
2169.67/2176.78 c #Conflicts: 1549000 | #Constraints: 180108
2169.67/2176.78 c #Conflicts: 1550000 | #Constraints: 181108
2169.67/2176.78 c #Conflicts: 1551000 | #Constraints: 182108
2169.67/2176.78 c #Conflicts: 1552000 | #Constraints: 183108
2169.67/2176.78 c #Conflicts: 1553000 | #Constraints: 184108
2169.67/2176.78 c #Conflicts: 1554000 | #Constraints: 185108
2169.67/2176.78 c INPROCESSING
2169.67/2176.78 c GARBAGE COLLECT
2169.67/2176.78 c #Conflicts: 1555000 | #Constraints: 141062
2169.67/2176.78 c #Conflicts: 1556000 | #Constraints: 142062
2169.67/2176.78 c #Conflicts: 1557000 | #Constraints: 143062
2169.67/2176.78 c #Conflicts: 1558000 | #Constraints: 144062
2169.67/2176.78 c #Conflicts: 1559000 | #Constraints: 145062
2169.67/2176.78 c #Conflicts: 1560000 | #Constraints: 146062
2169.67/2176.78 c #Conflicts: 1561000 | #Constraints: 147062
2169.67/2176.78 c #Conflicts: 1562000 | #Constraints: 148062
2169.67/2176.78 c #Conflicts: 1563000 | #Constraints: 149062
2169.67/2176.78 c #Conflicts: 1564000 | #Constraints: 150062
2169.67/2176.78 c #Conflicts: 1565000 | #Constraints: 151062
2169.67/2176.78 c #Conflicts: 1566000 | #Constraints: 152062
2169.67/2176.78 c #Conflicts: 1567000 | #Constraints: 153062
2169.67/2176.78 c #Conflicts: 1568000 | #Constraints: 154062
2169.67/2176.78 c #Conflicts: 1569000 | #Constraints: 155062
2169.67/2176.78 c #Conflicts: 1570000 | #Constraints: 156062
2169.67/2176.78 c #Conflicts: 1571000 | #Constraints: 157062
2169.67/2176.78 c #Conflicts: 1572000 | #Constraints: 158062
2169.67/2176.78 c #Conflicts: 1573000 | #Constraints: 159062
2169.67/2176.78 c #Conflicts: 1574000 | #Constraints: 160062
2169.67/2176.78 c #Conflicts: 1575000 | #Constraints: 161062
2169.67/2176.78 c #Conflicts: 1576000 | #Constraints: 162062
2169.67/2176.78 c #Conflicts: 1577000 | #Constraints: 163062
2169.67/2176.78 c #Conflicts: 1578000 | #Constraints: 164062
2169.67/2176.78 c #Conflicts: 1579000 | #Constraints: 165062
2169.67/2176.78 c #Conflicts: 1580000 | #Constraints: 166062
2169.67/2176.78 c #Conflicts: 1581000 | #Constraints: 167062
2169.67/2176.78 c #Conflicts: 1582000 | #Constraints: 168062
2169.67/2176.78 c INPROCESSING
2169.67/2176.78 c GARBAGE COLLECT
2169.67/2176.78 c #Conflicts: 1583000 | #Constraints: 132305
2169.67/2176.78 c #Conflicts: 1584000 | #Constraints: 133305
2169.67/2176.78 c #Conflicts: 1585000 | #Constraints: 134305
2169.67/2176.78 c #Conflicts: 1586000 | #Constraints: 135305
2169.67/2176.78 c #Conflicts: 1587000 | #Constraints: 136305
2169.67/2176.78 c #Conflicts: 1588000 | #Constraints: 137305
2169.67/2176.78 c #Conflicts: 1589000 | #Constraints: 138305
2169.67/2176.78 c #Conflicts: 1590000 | #Constraints: 139305
2169.67/2176.78 c #Conflicts: 1591000 | #Constraints: 140305
2169.67/2176.78 c #Conflicts: 1592000 | #Constraints: 141305
2169.67/2176.78 c #Conflicts: 1593000 | #Constraints: 142305
2169.67/2176.78 c #Conflicts: 1594000 | #Constraints: 143305
2169.67/2176.78 c #Conflicts: 1595000 | #Constraints: 144305
2169.67/2176.78 c #Conflicts: 1596000 | #Constraints: 145305
2305.99/2313.57 c #Conflicts: 1597000 | #Constraints: 146305
2305.99/2313.57 c #Conflicts: 1598000 | #Constraints: 147305
2305.99/2313.57 c #Conflicts: 1599000 | #Constraints: 148305
2305.99/2313.57 c #Conflicts: 1600000 | #Constraints: 149305
2305.99/2313.57 c #Conflicts: 1601000 | #Constraints: 150305
2305.99/2313.57 c #Conflicts: 1602000 | #Constraints: 151305
2305.99/2313.57 c #Conflicts: 1603000 | #Constraints: 152305
2305.99/2313.57 c #Conflicts: 1604000 | #Constraints: 153305
2305.99/2313.57 c #Conflicts: 1605000 | #Constraints: 154305
2305.99/2313.57 c #Conflicts: 1606000 | #Constraints: 155305
2305.99/2313.57 c #Conflicts: 1607000 | #Constraints: 156305
2305.99/2313.57 c #Conflicts: 1608000 | #Constraints: 157305
2305.99/2313.57 c #Conflicts: 1609000 | #Constraints: 158305
2305.99/2313.57 c #Conflicts: 1610000 | #Constraints: 159305
2305.99/2313.57 c #Conflicts: 1611000 | #Constraints: 160305
2305.99/2313.57 c INPROCESSING
2305.99/2313.57 c GARBAGE COLLECT
2305.99/2313.57 c #Conflicts: 1612000 | #Constraints: 128540
2305.99/2313.57 c #Conflicts: 1613000 | #Constraints: 129540
2305.99/2313.57 c #Conflicts: 1614000 | #Constraints: 130540
2305.99/2313.57 c #Conflicts: 1615000 | #Constraints: 131540
2305.99/2313.57 c #Conflicts: 1616000 | #Constraints: 132540
2305.99/2313.57 c #Conflicts: 1617000 | #Constraints: 133540
2305.99/2313.57 c #Conflicts: 1618000 | #Constraints: 134540
2305.99/2313.57 c #Conflicts: 1619000 | #Constraints: 135540
2305.99/2313.57 c #Conflicts: 1620000 | #Constraints: 136540
2305.99/2313.57 c #Conflicts: 1621000 | #Constraints: 137540
2305.99/2313.57 c #Conflicts: 1622000 | #Constraints: 138540
2305.99/2313.57 c #Conflicts: 1623000 | #Constraints: 139540
2305.99/2313.57 c #Conflicts: 1624000 | #Constraints: 140540
2305.99/2313.57 c #Conflicts: 1625000 | #Constraints: 141540
2305.99/2313.57 c #Conflicts: 1626000 | #Constraints: 142540
2305.99/2313.57 c #Conflicts: 1627000 | #Constraints: 143540
2305.99/2313.57 c #Conflicts: 1628000 | #Constraints: 144540
2305.99/2313.57 c #Conflicts: 1629000 | #Constraints: 145540
2305.99/2313.57 c #Conflicts: 1630000 | #Constraints: 146540
2305.99/2313.57 c #Conflicts: 1631000 | #Constraints: 147540
2305.99/2313.57 c #Conflicts: 1632000 | #Constraints: 148540
2305.99/2313.57 c #Conflicts: 1633000 | #Constraints: 149540
2305.99/2313.57 c #Conflicts: 1634000 | #Constraints: 150540
2305.99/2313.57 c #Conflicts: 1635000 | #Constraints: 151540
2305.99/2313.57 c #Conflicts: 1636000 | #Constraints: 152540
2305.99/2313.57 c #Conflicts: 1637000 | #Constraints: 153540
2305.99/2313.57 c #Conflicts: 1638000 | #Constraints: 154540
2305.99/2313.57 c #Conflicts: 1639000 | #Constraints: 155540
2305.99/2313.57 c #Conflicts: 1640000 | #Constraints: 156540
2305.99/2313.57 c #Conflicts: 1641000 | #Constraints: 157540
2305.99/2313.57 c #Conflicts: 1642000 | #Constraints: 158540
2305.99/2313.57 c #Conflicts: 1643000 | #Constraints: 159540
2305.99/2313.57 c #Conflicts: 1644000 | #Constraints: 160540
2305.99/2313.57 c #Conflicts: 1645000 | #Constraints: 161540
2305.99/2313.57 c #Conflicts: 1646000 | #Constraints: 162540
2305.99/2313.57 c #Conflicts: 1647000 | #Constraints: 163540
2305.99/2313.57 c #Conflicts: 1648000 | #Constraints: 164540
2305.99/2313.57 c #Conflicts: 1649000 | #Constraints: 165540
2305.99/2313.57 c #Conflicts: 1650000 | #Constraints: 166540
2305.99/2313.57 c #Conflicts: 1651000 | #Constraints: 167540
2305.99/2313.57 c #Conflicts: 1652000 | #Constraints: 168540
2305.99/2313.57 c #Conflicts: 1653000 | #Constraints: 169540
2305.99/2313.57 c #Conflicts: 1654000 | #Constraints: 170540
2305.99/2313.57 c #Conflicts: 1655000 | #Constraints: 171540
2305.99/2313.57 c #Conflicts: 1656000 | #Constraints: 172540
2305.99/2313.57 c #Conflicts: 1657000 | #Constraints: 173540
2305.99/2313.57 c #Conflicts: 1658000 | #Constraints: 174540
2305.99/2313.57 c #Conflicts: 1659000 | #Constraints: 175540
2305.99/2313.57 c #Conflicts: 1660000 | #Constraints: 176540
2305.99/2313.57 c #Conflicts: 1661000 | #Constraints: 177540
2305.99/2313.57 c #Conflicts: 1662000 | #Constraints: 178540
2305.99/2313.57 c #Conflicts: 1663000 | #Constraints: 179540
2305.99/2313.57 c #Conflicts: 1664000 | #Constraints: 180540
2305.99/2313.57 c #Conflicts: 1665000 | #Constraints: 181540
2305.99/2313.57 c #Conflicts: 1666000 | #Constraints: 182540
2305.99/2313.57 c #Conflicts: 1667000 | #Constraints: 183540
2305.99/2313.57 c #Conflicts: 1668000 | #Constraints: 184540
2305.99/2313.57 c #Conflicts: 1669000 | #Constraints: 185540
2305.99/2313.57 c #Conflicts: 1670000 | #Constraints: 186540
2305.99/2313.57 c #Conflicts: 1671000 | #Constraints: 187540
2305.99/2313.57 c #Conflicts: 1672000 | #Constraints: 188540
2305.99/2313.57 c #Conflicts: 1673000 | #Constraints: 189540
2305.99/2313.57 c #Conflicts: 1674000 | #Constraints: 190540
2545.36/2553.76 c #Conflicts: 1675000 | #Constraints: 191540
2545.36/2553.76 c #Conflicts: 1676000 | #Constraints: 192540
2545.36/2553.76 c #Conflicts: 1677000 | #Constraints: 193540
2545.36/2553.76 c #Conflicts: 1678000 | #Constraints: 194540
2545.36/2553.76 c #Conflicts: 1679000 | #Constraints: 195540
2545.36/2553.76 c #Conflicts: 1680000 | #Constraints: 196540
2545.36/2553.76 c #Conflicts: 1681000 | #Constraints: 197540
2545.36/2553.76 c #Conflicts: 1682000 | #Constraints: 198540
2545.36/2553.76 c #Conflicts: 1683000 | #Constraints: 199540
2545.36/2553.76 c #Conflicts: 1684000 | #Constraints: 200540
2545.36/2553.76 c #Conflicts: 1685000 | #Constraints: 201540
2545.36/2553.76 c #Conflicts: 1686000 | #Constraints: 202540
2545.36/2553.76 c #Conflicts: 1687000 | #Constraints: 203540
2545.36/2553.76 c #Conflicts: 1688000 | #Constraints: 204540
2545.36/2553.76 c #Conflicts: 1689000 | #Constraints: 205540
2545.36/2553.76 c #Conflicts: 1690000 | #Constraints: 206540
2545.36/2553.76 c #Conflicts: 1691000 | #Constraints: 207540
2545.36/2553.76 c #Conflicts: 1692000 | #Constraints: 208540
2545.36/2553.76 c #Conflicts: 1693000 | #Constraints: 209540
2545.36/2553.76 c #Conflicts: 1694000 | #Constraints: 210540
2545.36/2553.76 c #Conflicts: 1695000 | #Constraints: 211540
2545.36/2553.76 c #Conflicts: 1696000 | #Constraints: 212540
2545.36/2553.76 c #Conflicts: 1697000 | #Constraints: 213540
2545.36/2553.76 c #Conflicts: 1698000 | #Constraints: 214540
2545.36/2553.76 c #Conflicts: 1699000 | #Constraints: 215540
2545.36/2553.76 c #Conflicts: 1700000 | #Constraints: 216540
2545.36/2553.76 c #Conflicts: 1701000 | #Constraints: 217540
2545.36/2553.76 c #Conflicts: 1702000 | #Constraints: 218540
2545.36/2553.76 c #Conflicts: 1703000 | #Constraints: 219540
2545.36/2553.76 c #Conflicts: 1704000 | #Constraints: 220540
2545.36/2553.76 c #Conflicts: 1705000 | #Constraints: 221540
2545.36/2553.76 c #Conflicts: 1706000 | #Constraints: 222540
2545.36/2553.76 c #Conflicts: 1707000 | #Constraints: 223540
2545.36/2553.76 c #Conflicts: 1708000 | #Constraints: 224540
2545.36/2553.76 c #Conflicts: 1709000 | #Constraints: 225540
2545.36/2553.76 c INPROCESSING
2545.36/2553.76 c GARBAGE COLLECT
2545.36/2553.76 c #Conflicts: 1710000 | #Constraints: 161039
2545.36/2553.76 c #Conflicts: 1711000 | #Constraints: 162039
2545.36/2553.76 c #Conflicts: 1712000 | #Constraints: 163039
2545.36/2553.76 c #Conflicts: 1713000 | #Constraints: 164039
2545.36/2553.76 c #Conflicts: 1714000 | #Constraints: 165039
2545.36/2553.76 c #Conflicts: 1715000 | #Constraints: 166039
2545.36/2553.76 c #Conflicts: 1716000 | #Constraints: 167039
2545.36/2553.76 c #Conflicts: 1717000 | #Constraints: 168039
2545.36/2553.76 c #Conflicts: 1718000 | #Constraints: 169039
2545.36/2553.76 c #Conflicts: 1719000 | #Constraints: 170039
2545.36/2553.76 c #Conflicts: 1720000 | #Constraints: 171039
2545.36/2553.76 c #Conflicts: 1721000 | #Constraints: 172039
2545.36/2553.76 c #Conflicts: 1722000 | #Constraints: 173039
2545.36/2553.76 c #Conflicts: 1723000 | #Constraints: 174039
2545.36/2553.76 c #Conflicts: 1724000 | #Constraints: 175039
2545.36/2553.76 c #Conflicts: 1725000 | #Constraints: 176039
2545.36/2553.76 c #Conflicts: 1726000 | #Constraints: 177039
2545.36/2553.76 c #Conflicts: 1727000 | #Constraints: 178039
2545.36/2553.76 c #Conflicts: 1728000 | #Constraints: 179039
2545.36/2553.76 c #Conflicts: 1729000 | #Constraints: 180039
2545.36/2553.76 c #Conflicts: 1730000 | #Constraints: 181039
2545.36/2553.76 c #Conflicts: 1731000 | #Constraints: 182039
2545.36/2553.76 c #Conflicts: 1732000 | #Constraints: 183039
2545.36/2553.76 c #Conflicts: 1733000 | #Constraints: 184039
2545.36/2553.76 c #Conflicts: 1734000 | #Constraints: 185039
2545.36/2553.76 c #Conflicts: 1735000 | #Constraints: 186039
2545.36/2553.76 c #Conflicts: 1736000 | #Constraints: 187039
2545.36/2553.76 c #Conflicts: 1737000 | #Constraints: 188039
2545.36/2553.76 c #Conflicts: 1738000 | #Constraints: 189039
2545.36/2553.76 c #Conflicts: 1739000 | #Constraints: 190039
2545.36/2553.76 c INPROCESSING
2545.36/2553.76 c GARBAGE COLLECT
2545.36/2553.76 c #Conflicts: 1740000 | #Constraints: 143294
2545.36/2553.76 c #Conflicts: 1741000 | #Constraints: 144294
2545.36/2553.76 c #Conflicts: 1742000 | #Constraints: 145294
2545.36/2553.76 c #Conflicts: 1743000 | #Constraints: 146294
2545.36/2553.76 c #Conflicts: 1744000 | #Constraints: 147294
2545.36/2553.76 c #Conflicts: 1745000 | #Constraints: 148294
2545.36/2553.76 c #Conflicts: 1746000 | #Constraints: 149294
2545.36/2553.76 c #Conflicts: 1747000 | #Constraints: 150294
2545.36/2553.76 c #Conflicts: 1748000 | #Constraints: 151294
2545.36/2553.76 c #Conflicts: 1749000 | #Constraints: 152294
2545.36/2553.76 c #Conflicts: 1750000 | #Constraints: 153294
2545.36/2553.76 c #Conflicts: 1751000 | #Constraints: 154294
2545.36/2553.76 c #Conflicts: 1752000 | #Constraints: 155294
2671.07/2679.80 c #Conflicts: 1753000 | #Constraints: 156294
2671.07/2679.80 c #Conflicts: 1754000 | #Constraints: 157294
2671.07/2679.80 c #Conflicts: 1755000 | #Constraints: 158294
2671.07/2679.80 c #Conflicts: 1756000 | #Constraints: 159294
2671.07/2679.80 c #Conflicts: 1757000 | #Constraints: 160294
2671.07/2679.80 c #Conflicts: 1758000 | #Constraints: 161294
2671.07/2679.80 c #Conflicts: 1759000 | #Constraints: 162294
2671.07/2679.80 c #Conflicts: 1760000 | #Constraints: 163294
2671.07/2679.80 c #Conflicts: 1761000 | #Constraints: 164294
2671.07/2679.80 c #Conflicts: 1762000 | #Constraints: 165294
2671.07/2679.80 c #Conflicts: 1763000 | #Constraints: 166294
2671.07/2679.80 c #Conflicts: 1764000 | #Constraints: 167294
2671.07/2679.80 c #Conflicts: 1765000 | #Constraints: 168294
2671.07/2679.80 c #Conflicts: 1766000 | #Constraints: 169294
2671.07/2679.80 c #Conflicts: 1767000 | #Constraints: 170294
2671.07/2679.80 c #Conflicts: 1768000 | #Constraints: 171294
2671.07/2679.80 c #Conflicts: 1769000 | #Constraints: 172294
2671.07/2679.80 c INPROCESSING
2671.07/2679.80 c GARBAGE COLLECT
2671.07/2679.80 c #Conflicts: 1770000 | #Constraints: 134350
2671.07/2679.80 c #Conflicts: 1771000 | #Constraints: 135350
2671.07/2679.80 c #Conflicts: 1772000 | #Constraints: 136350
2671.07/2679.80 c #Conflicts: 1773000 | #Constraints: 137350
2671.07/2679.80 c #Conflicts: 1774000 | #Constraints: 138350
2671.07/2679.80 c #Conflicts: 1775000 | #Constraints: 139350
2671.07/2679.80 c #Conflicts: 1776000 | #Constraints: 140350
2671.07/2679.80 c #Conflicts: 1777000 | #Constraints: 141350
2671.07/2679.80 c #Conflicts: 1778000 | #Constraints: 142350
2671.07/2679.80 c #Conflicts: 1779000 | #Constraints: 143350
2671.07/2679.80 c #Conflicts: 1780000 | #Constraints: 144350
2671.07/2679.80 c #Conflicts: 1781000 | #Constraints: 145350
2671.07/2679.80 c #Conflicts: 1782000 | #Constraints: 146350
2671.07/2679.80 c #Conflicts: 1783000 | #Constraints: 147350
2671.07/2679.80 c #Conflicts: 1784000 | #Constraints: 148350
2671.07/2679.80 c #Conflicts: 1785000 | #Constraints: 149350
2671.07/2679.80 c #Conflicts: 1786000 | #Constraints: 150350
2671.07/2679.80 c #Conflicts: 1787000 | #Constraints: 151350
2671.07/2679.80 c #Conflicts: 1788000 | #Constraints: 152350
2671.07/2679.80 c #Conflicts: 1789000 | #Constraints: 153350
2671.07/2679.80 c #Conflicts: 1790000 | #Constraints: 154350
2671.07/2679.80 c #Conflicts: 1791000 | #Constraints: 155350
2671.07/2679.80 c #Conflicts: 1792000 | #Constraints: 156350
2671.07/2679.80 c #Conflicts: 1793000 | #Constraints: 157350
2671.07/2679.80 c #Conflicts: 1794000 | #Constraints: 158350
2671.07/2679.80 c #Conflicts: 1795000 | #Constraints: 159350
2671.07/2679.80 c #Conflicts: 1796000 | #Constraints: 160350
2671.07/2679.80 c #Conflicts: 1797000 | #Constraints: 161350
2671.07/2679.80 c #Conflicts: 1798000 | #Constraints: 162350
2671.07/2679.80 c #Conflicts: 1799000 | #Constraints: 163350
2671.07/2679.80 c #Conflicts: 1800000 | #Constraints: 164350
2671.07/2679.80 c INPROCESSING
2671.07/2679.80 c GARBAGE COLLECT
2671.07/2679.80 c #Conflicts: 1801000 | #Constraints: 130690
2671.07/2679.80 c #Conflicts: 1802000 | #Constraints: 131690
2671.07/2679.80 c #Conflicts: 1803000 | #Constraints: 132690
2671.07/2679.80 c #Conflicts: 1804000 | #Constraints: 133690
2671.07/2679.80 c #Conflicts: 1805000 | #Constraints: 134690
2671.07/2679.80 c #Conflicts: 1806000 | #Constraints: 135690
2671.07/2679.80 c #Conflicts: 1807000 | #Constraints: 136690
2671.07/2679.80 c #Conflicts: 1808000 | #Constraints: 137690
2671.07/2679.80 c #Conflicts: 1809000 | #Constraints: 138690
2671.07/2679.80 c #Conflicts: 1810000 | #Constraints: 139690
2671.07/2679.80 c #Conflicts: 1811000 | #Constraints: 140690
2671.07/2679.80 c #Conflicts: 1812000 | #Constraints: 141690
2671.07/2679.80 c #Conflicts: 1813000 | #Constraints: 142690
2671.07/2679.80 c #Conflicts: 1814000 | #Constraints: 143690
2671.07/2679.80 c #Conflicts: 1815000 | #Constraints: 144690
2671.07/2679.80 c #Conflicts: 1816000 | #Constraints: 145690
2671.07/2679.80 c #Conflicts: 1817000 | #Constraints: 146690
2671.07/2679.80 c #Conflicts: 1818000 | #Constraints: 147690
2671.07/2679.80 c #Conflicts: 1819000 | #Constraints: 148690
2671.07/2679.80 c #Conflicts: 1820000 | #Constraints: 149690
2671.07/2679.80 c #Conflicts: 1821000 | #Constraints: 150690
2671.07/2679.80 c #Conflicts: 1822000 | #Constraints: 151690
2671.07/2679.80 c #Conflicts: 1823000 | #Constraints: 152690
2671.07/2679.80 c #Conflicts: 1824000 | #Constraints: 153690
2671.07/2679.80 c #Conflicts: 1825000 | #Constraints: 154690
2671.07/2679.80 c #Conflicts: 1826000 | #Constraints: 155690
2671.07/2679.80 c #Conflicts: 1827000 | #Constraints: 156690
2671.07/2679.80 c #Conflicts: 1828000 | #Constraints: 157690
2671.07/2679.80 c #Conflicts: 1829000 | #Constraints: 158690
2917.21/2926.87 c #Conflicts: 1830000 | #Constraints: 159690
2917.21/2926.87 c #Conflicts: 1831000 | #Constraints: 160690
2917.21/2926.87 c #Conflicts: 1832000 | #Constraints: 161690
2917.21/2926.87 c #Conflicts: 1833000 | #Constraints: 162690
2917.21/2926.87 c #Conflicts: 1834000 | #Constraints: 163690
2917.21/2926.87 c #Conflicts: 1835000 | #Constraints: 164690
2917.21/2926.87 c #Conflicts: 1836000 | #Constraints: 165690
2917.21/2926.87 c #Conflicts: 1837000 | #Constraints: 166690
2917.21/2926.87 c #Conflicts: 1838000 | #Constraints: 167690
2917.21/2926.87 c #Conflicts: 1839000 | #Constraints: 168690
2917.21/2926.87 c #Conflicts: 1840000 | #Constraints: 169690
2917.21/2926.87 c #Conflicts: 1841000 | #Constraints: 170690
2917.21/2926.87 c #Conflicts: 1842000 | #Constraints: 171690
2917.21/2926.87 c #Conflicts: 1843000 | #Constraints: 172690
2917.21/2926.87 c #Conflicts: 1844000 | #Constraints: 173690
2917.21/2926.87 c #Conflicts: 1845000 | #Constraints: 174690
2917.21/2926.87 c #Conflicts: 1846000 | #Constraints: 175690
2917.21/2926.87 c #Conflicts: 1847000 | #Constraints: 176690
2917.21/2926.87 c #Conflicts: 1848000 | #Constraints: 177690
2917.21/2926.87 c #Conflicts: 1849000 | #Constraints: 178690
2917.21/2926.87 c #Conflicts: 1850000 | #Constraints: 179690
2917.21/2926.87 c #Conflicts: 1851000 | #Constraints: 180690
2917.21/2926.87 c #Conflicts: 1852000 | #Constraints: 181690
2917.21/2926.87 c #Conflicts: 1853000 | #Constraints: 182690
2917.21/2926.87 c #Conflicts: 1854000 | #Constraints: 183690
2917.21/2926.87 c #Conflicts: 1855000 | #Constraints: 184690
2917.21/2926.87 c #Conflicts: 1856000 | #Constraints: 185690
2917.21/2926.87 c #Conflicts: 1857000 | #Constraints: 186690
2917.21/2926.87 c #Conflicts: 1858000 | #Constraints: 187690
2917.21/2926.87 c #Conflicts: 1859000 | #Constraints: 188690
2917.21/2926.87 c #Conflicts: 1860000 | #Constraints: 189690
2917.21/2926.87 c #Conflicts: 1861000 | #Constraints: 190690
2917.21/2926.87 c #Conflicts: 1862000 | #Constraints: 191690
2917.21/2926.87 c #Conflicts: 1863000 | #Constraints: 192690
2917.21/2926.87 c #Conflicts: 1864000 | #Constraints: 193690
2917.21/2926.87 c #Conflicts: 1865000 | #Constraints: 194690
2917.21/2926.87 c #Conflicts: 1866000 | #Constraints: 195690
2917.21/2926.87 c #Conflicts: 1867000 | #Constraints: 196690
2917.21/2926.87 c #Conflicts: 1868000 | #Constraints: 197690
2917.21/2926.87 c #Conflicts: 1869000 | #Constraints: 198690
2917.21/2926.87 c #Conflicts: 1870000 | #Constraints: 199690
2917.21/2926.87 c #Conflicts: 1871000 | #Constraints: 200690
2917.21/2926.87 c #Conflicts: 1872000 | #Constraints: 201690
2917.21/2926.87 c #Conflicts: 1873000 | #Constraints: 202690
2917.21/2926.87 c #Conflicts: 1874000 | #Constraints: 203690
2917.21/2926.87 c #Conflicts: 1875000 | #Constraints: 204690
2917.21/2926.87 c #Conflicts: 1876000 | #Constraints: 205690
2917.21/2926.87 c #Conflicts: 1877000 | #Constraints: 206690
2917.21/2926.87 c #Conflicts: 1878000 | #Constraints: 207690
2917.21/2926.87 c #Conflicts: 1879000 | #Constraints: 208690
2917.21/2926.87 c #Conflicts: 1880000 | #Constraints: 209690
2917.21/2926.87 c #Conflicts: 1881000 | #Constraints: 210690
2917.21/2926.87 c #Conflicts: 1882000 | #Constraints: 211690
2917.21/2926.87 c #Conflicts: 1883000 | #Constraints: 212690
2917.21/2926.87 c #Conflicts: 1884000 | #Constraints: 213690
2917.21/2926.87 c #Conflicts: 1885000 | #Constraints: 214690
2917.21/2926.87 c #Conflicts: 1886000 | #Constraints: 215690
2917.21/2926.87 c #Conflicts: 1887000 | #Constraints: 216690
2917.21/2926.87 c #Conflicts: 1888000 | #Constraints: 217690
2917.21/2926.87 c #Conflicts: 1889000 | #Constraints: 218690
2917.21/2926.87 c #Conflicts: 1890000 | #Constraints: 219690
2917.21/2926.87 c #Conflicts: 1891000 | #Constraints: 220690
2917.21/2926.87 c #Conflicts: 1892000 | #Constraints: 221690
2917.21/2926.87 c #Conflicts: 1893000 | #Constraints: 222690
2917.21/2926.87 c #Conflicts: 1894000 | #Constraints: 223690
2917.21/2926.87 c #Conflicts: 1895000 | #Constraints: 224690
2917.21/2926.87 c #Conflicts: 1896000 | #Constraints: 225690
2917.21/2926.87 c #Conflicts: 1897000 | #Constraints: 226690
2917.21/2926.87 c #Conflicts: 1898000 | #Constraints: 227690
2917.21/2926.87 c #Conflicts: 1899000 | #Constraints: 228690
2917.21/2926.87 c #Conflicts: 1900000 | #Constraints: 229690
2917.21/2926.87 c #Conflicts: 1901000 | #Constraints: 230690
2917.21/2926.87 c #Conflicts: 1902000 | #Constraints: 231690
2917.21/2926.87 c #Conflicts: 1903000 | #Constraints: 232690
2917.21/2926.87 c INPROCESSING
2917.21/2926.87 c GARBAGE COLLECT
2917.21/2926.87 c #Conflicts: 1904000 | #Constraints: 164586
2917.21/2926.87 c #Conflicts: 1905000 | #Constraints: 165586
2917.21/2926.87 c #Conflicts: 1906000 | #Constraints: 166586
2917.21/2926.87 c #Conflicts: 1907000 | #Constraints: 167586
3121.28/3131.63 c #Conflicts: 1908000 | #Constraints: 168586
3121.28/3131.63 c #Conflicts: 1909000 | #Constraints: 169586
3121.28/3131.63 c #Conflicts: 1910000 | #Constraints: 170586
3121.28/3131.63 c #Conflicts: 1911000 | #Constraints: 171586
3121.28/3131.63 c #Conflicts: 1912000 | #Constraints: 172586
3121.28/3131.63 c #Conflicts: 1913000 | #Constraints: 173586
3121.28/3131.63 c #Conflicts: 1914000 | #Constraints: 174586
3121.28/3131.63 c #Conflicts: 1915000 | #Constraints: 175586
3121.28/3131.63 c #Conflicts: 1916000 | #Constraints: 176586
3121.28/3131.63 c #Conflicts: 1917000 | #Constraints: 177586
3121.28/3131.63 c #Conflicts: 1918000 | #Constraints: 178586
3121.28/3131.63 c #Conflicts: 1919000 | #Constraints: 179586
3121.28/3131.63 c #Conflicts: 1920000 | #Constraints: 180586
3121.28/3131.63 c #Conflicts: 1921000 | #Constraints: 181586
3121.28/3131.63 c #Conflicts: 1922000 | #Constraints: 182586
3121.28/3131.63 c #Conflicts: 1923000 | #Constraints: 183586
3121.28/3131.63 c #Conflicts: 1924000 | #Constraints: 184586
3121.28/3131.63 c #Conflicts: 1925000 | #Constraints: 185586
3121.28/3131.63 c #Conflicts: 1926000 | #Constraints: 186586
3121.28/3131.63 c #Conflicts: 1927000 | #Constraints: 187586
3121.28/3131.63 c #Conflicts: 1928000 | #Constraints: 188586
3121.28/3131.63 c #Conflicts: 1929000 | #Constraints: 189586
3121.28/3131.63 c #Conflicts: 1930000 | #Constraints: 190586
3121.28/3131.63 c #Conflicts: 1931000 | #Constraints: 191586
3121.28/3131.63 c #Conflicts: 1932000 | #Constraints: 192586
3121.28/3131.63 c #Conflicts: 1933000 | #Constraints: 193586
3121.28/3131.63 c #Conflicts: 1934000 | #Constraints: 194586
3121.28/3131.63 c #Conflicts: 1935000 | #Constraints: 195586
3121.28/3131.63 c INPROCESSING
3121.28/3131.63 c GARBAGE COLLECT
3121.28/3131.63 c #Conflicts: 1936000 | #Constraints: 146194
3121.28/3131.63 c #Conflicts: 1937000 | #Constraints: 147194
3121.28/3131.63 c #Conflicts: 1938000 | #Constraints: 148194
3121.28/3131.63 c #Conflicts: 1939000 | #Constraints: 149194
3121.28/3131.63 c #Conflicts: 1940000 | #Constraints: 150194
3121.28/3131.63 c #Conflicts: 1941000 | #Constraints: 151194
3121.28/3131.63 c #Conflicts: 1942000 | #Constraints: 152194
3121.28/3131.63 c #Conflicts: 1943000 | #Constraints: 153194
3121.28/3131.63 c #Conflicts: 1944000 | #Constraints: 154194
3121.28/3131.63 c #Conflicts: 1945000 | #Constraints: 155194
3121.28/3131.63 c #Conflicts: 1946000 | #Constraints: 156194
3121.28/3131.63 c #Conflicts: 1947000 | #Constraints: 157194
3121.28/3131.63 c #Conflicts: 1948000 | #Constraints: 158194
3121.28/3131.63 c #Conflicts: 1949000 | #Constraints: 159194
3121.28/3131.63 c #Conflicts: 1950000 | #Constraints: 160194
3121.28/3131.63 c #Conflicts: 1951000 | #Constraints: 161194
3121.28/3131.63 c #Conflicts: 1952000 | #Constraints: 162194
3121.28/3131.63 c #Conflicts: 1953000 | #Constraints: 163194
3121.28/3131.63 c #Conflicts: 1954000 | #Constraints: 164194
3121.28/3131.63 c #Conflicts: 1955000 | #Constraints: 165194
3121.28/3131.63 c #Conflicts: 1956000 | #Constraints: 166194
3121.28/3131.63 c #Conflicts: 1957000 | #Constraints: 167194
3121.28/3131.63 c #Conflicts: 1958000 | #Constraints: 168194
3121.28/3131.63 c #Conflicts: 1959000 | #Constraints: 169194
3121.28/3131.63 c #Conflicts: 1960000 | #Constraints: 170194
3121.28/3131.63 c #Conflicts: 1961000 | #Constraints: 171194
3121.28/3131.63 c #Conflicts: 1962000 | #Constraints: 172194
3121.28/3131.63 c #Conflicts: 1963000 | #Constraints: 173194
3121.28/3131.63 c #Conflicts: 1964000 | #Constraints: 174194
3121.28/3131.63 c #Conflicts: 1965000 | #Constraints: 175194
3121.28/3131.63 c #Conflicts: 1966000 | #Constraints: 176194
3121.28/3131.63 c #Conflicts: 1967000 | #Constraints: 177194
3121.28/3131.63 c INPROCESSING
3121.28/3131.63 c GARBAGE COLLECT
3121.28/3131.63 c #Conflicts: 1968000 | #Constraints: 137035
3121.28/3131.63 c #Conflicts: 1969000 | #Constraints: 138035
3121.28/3131.63 c #Conflicts: 1970000 | #Constraints: 139035
3121.28/3131.63 c #Conflicts: 1971000 | #Constraints: 140035
3121.28/3131.63 c #Conflicts: 1972000 | #Constraints: 141035
3121.28/3131.63 c #Conflicts: 1973000 | #Constraints: 142035
3121.28/3131.63 c #Conflicts: 1974000 | #Constraints: 143035
3121.28/3131.63 c #Conflicts: 1975000 | #Constraints: 144035
3121.28/3131.63 c #Conflicts: 1976000 | #Constraints: 145035
3121.28/3131.63 c #Conflicts: 1977000 | #Constraints: 146035
3121.28/3131.63 c #Conflicts: 1978000 | #Constraints: 147035
3121.28/3131.63 c #Conflicts: 1979000 | #Constraints: 148035
3121.28/3131.63 c #Conflicts: 1980000 | #Constraints: 149035
3121.28/3131.63 c #Conflicts: 1981000 | #Constraints: 150035
3121.28/3131.63 c #Conflicts: 1982000 | #Constraints: 151035
3121.28/3131.63 c #Conflicts: 1983000 | #Constraints: 152035
3121.28/3131.63 c #Conflicts: 1984000 | #Constraints: 153035
3121.28/3131.63 c #Conflicts: 1985000 | #Constraints: 154035
3275.72/3286.60 c #Conflicts: 1986000 | #Constraints: 155035
3275.72/3286.60 c #Conflicts: 1987000 | #Constraints: 156035
3275.72/3286.60 c #Conflicts: 1988000 | #Constraints: 157035
3275.72/3286.60 c #Conflicts: 1989000 | #Constraints: 158035
3275.72/3286.60 c #Conflicts: 1990000 | #Constraints: 159035
3275.72/3286.60 c #Conflicts: 1991000 | #Constraints: 160035
3275.72/3286.60 c #Conflicts: 1992000 | #Constraints: 161035
3275.72/3286.60 c #Conflicts: 1993000 | #Constraints: 162035
3275.72/3286.60 c #Conflicts: 1994000 | #Constraints: 163035
3275.72/3286.60 c #Conflicts: 1995000 | #Constraints: 164035
3275.72/3286.60 c #Conflicts: 1996000 | #Constraints: 165035
3275.72/3286.60 c #Conflicts: 1997000 | #Constraints: 166035
3275.72/3286.60 c #Conflicts: 1998000 | #Constraints: 167035
3275.72/3286.60 c #Conflicts: 1999000 | #Constraints: 168035
3275.72/3286.60 c INPROCESSING
3275.72/3286.60 c GARBAGE COLLECT
3275.72/3286.60 c #Conflicts: 2000000 | #Constraints: 132412
3275.72/3286.60 c #Conflicts: 2001000 | #Constraints: 133412
3275.72/3286.60 c #Conflicts: 2002000 | #Constraints: 134412
3275.72/3286.60 c #Conflicts: 2003000 | #Constraints: 135412
3275.72/3286.60 c #Conflicts: 2004000 | #Constraints: 136412
3275.72/3286.60 c #Conflicts: 2005000 | #Constraints: 137412
3275.72/3286.60 c #Conflicts: 2006000 | #Constraints: 138412
3275.72/3286.60 c #Conflicts: 2007000 | #Constraints: 139412
3275.72/3286.60 c #Conflicts: 2008000 | #Constraints: 140412
3275.72/3286.60 c #Conflicts: 2009000 | #Constraints: 141412
3275.72/3286.60 c #Conflicts: 2010000 | #Constraints: 142412
3275.72/3286.60 c #Conflicts: 2011000 | #Constraints: 143412
3275.72/3286.60 c #Conflicts: 2012000 | #Constraints: 144412
3275.72/3286.60 c #Conflicts: 2013000 | #Constraints: 145412
3275.72/3286.60 c #Conflicts: 2014000 | #Constraints: 146412
3275.72/3286.60 c #Conflicts: 2015000 | #Constraints: 147412
3275.72/3286.60 c #Conflicts: 2016000 | #Constraints: 148412
3275.72/3286.60 c #Conflicts: 2017000 | #Constraints: 149412
3275.72/3286.60 c #Conflicts: 2018000 | #Constraints: 150412
3275.72/3286.60 c #Conflicts: 2019000 | #Constraints: 151412
3275.72/3286.60 c #Conflicts: 2020000 | #Constraints: 152412
3275.72/3286.60 c #Conflicts: 2021000 | #Constraints: 153412
3275.72/3286.60 c #Conflicts: 2022000 | #Constraints: 154412
3275.72/3286.60 c #Conflicts: 2023000 | #Constraints: 155412
3275.72/3286.60 c #Conflicts: 2024000 | #Constraints: 156412
3275.72/3286.60 c #Conflicts: 2025000 | #Constraints: 157412
3275.72/3286.60 c #Conflicts: 2026000 | #Constraints: 158412
3275.72/3286.60 c #Conflicts: 2027000 | #Constraints: 159412
3275.72/3286.60 c #Conflicts: 2028000 | #Constraints: 160412
3275.72/3286.60 c #Conflicts: 2029000 | #Constraints: 161412
3275.72/3286.60 c #Conflicts: 2030000 | #Constraints: 162412
3275.72/3286.60 c #Conflicts: 2031000 | #Constraints: 163412
3275.72/3286.60 c #Conflicts: 2032000 | #Constraints: 164412
3275.72/3286.60 c #Conflicts: 2033000 | #Constraints: 165412
3275.72/3286.60 c #Conflicts: 2034000 | #Constraints: 166412
3275.72/3286.60 c #Conflicts: 2035000 | #Constraints: 167412
3275.72/3286.60 c #Conflicts: 2036000 | #Constraints: 168412
3275.72/3286.60 c #Conflicts: 2037000 | #Constraints: 169412
3275.72/3286.60 c #Conflicts: 2038000 | #Constraints: 170412
3275.72/3286.60 c #Conflicts: 2039000 | #Constraints: 171412
3275.72/3286.60 c #Conflicts: 2040000 | #Constraints: 172412
3275.72/3286.60 c #Conflicts: 2041000 | #Constraints: 173412
3275.72/3286.60 c #Conflicts: 2042000 | #Constraints: 174412
3275.72/3286.60 c #Conflicts: 2043000 | #Constraints: 175412
3275.72/3286.60 c #Conflicts: 2044000 | #Constraints: 176412
3275.72/3286.60 c #Conflicts: 2045000 | #Constraints: 177412
3275.72/3286.60 c #Conflicts: 2046000 | #Constraints: 178412
3275.72/3286.60 c #Conflicts: 2047000 | #Constraints: 179412
3275.72/3286.60 c #Conflicts: 2048000 | #Constraints: 180412
3275.72/3286.60 c #Conflicts: 2049000 | #Constraints: 181412
3275.72/3286.60 c #Conflicts: 2050000 | #Constraints: 182412
3275.72/3286.60 c #Conflicts: 2051000 | #Constraints: 183412
3275.72/3286.60 c #Conflicts: 2052000 | #Constraints: 184412
3275.72/3286.60 c #Conflicts: 2053000 | #Constraints: 185412
3275.72/3286.60 c #Conflicts: 2054000 | #Constraints: 186412
3275.72/3286.60 c #Conflicts: 2055000 | #Constraints: 187412
3275.72/3286.60 c #Conflicts: 2056000 | #Constraints: 188412
3275.72/3286.60 c #Conflicts: 2057000 | #Constraints: 189412
3275.72/3286.60 c #Conflicts: 2058000 | #Constraints: 190412
3275.72/3286.60 c #Conflicts: 2059000 | #Constraints: 191412
3275.72/3286.60 c #Conflicts: 2060000 | #Constraints: 192412
3275.72/3286.60 c #Conflicts: 2061000 | #Constraints: 193412
3275.72/3286.60 c #Conflicts: 2062000 | #Constraints: 194412
3275.72/3286.60 c #Conflicts: 2063000 | #Constraints: 195412
3577.28/3589.27 c #Conflicts: 2064000 | #Constraints: 196412
3577.28/3589.27 c #Conflicts: 2065000 | #Constraints: 197412
3577.28/3589.27 c #Conflicts: 2066000 | #Constraints: 198412
3577.28/3589.27 c #Conflicts: 2067000 | #Constraints: 199412
3577.28/3589.27 c #Conflicts: 2068000 | #Constraints: 200412
3577.28/3589.27 c #Conflicts: 2069000 | #Constraints: 201412
3577.28/3589.27 c #Conflicts: 2070000 | #Constraints: 202412
3577.28/3589.27 c #Conflicts: 2071000 | #Constraints: 203412
3577.28/3589.27 c #Conflicts: 2072000 | #Constraints: 204412
3577.28/3589.27 c #Conflicts: 2073000 | #Constraints: 205412
3577.28/3589.27 c #Conflicts: 2074000 | #Constraints: 206412
3577.28/3589.27 c #Conflicts: 2075000 | #Constraints: 207412
3577.28/3589.27 c #Conflicts: 2076000 | #Constraints: 208412
3577.28/3589.27 c #Conflicts: 2077000 | #Constraints: 209412
3577.28/3589.27 c #Conflicts: 2078000 | #Constraints: 210412
3577.28/3589.27 c #Conflicts: 2079000 | #Constraints: 211412
3577.28/3589.27 c #Conflicts: 2080000 | #Constraints: 212412
3577.28/3589.27 c #Conflicts: 2081000 | #Constraints: 213412
3577.28/3589.27 c #Conflicts: 2082000 | #Constraints: 214412
3577.28/3589.27 c #Conflicts: 2083000 | #Constraints: 215412
3577.28/3589.27 c #Conflicts: 2084000 | #Constraints: 216412
3577.28/3589.27 c #Conflicts: 2085000 | #Constraints: 217412
3577.28/3589.27 c #Conflicts: 2086000 | #Constraints: 218412
3577.28/3589.27 c #Conflicts: 2087000 | #Constraints: 219412
3577.28/3589.27 c #Conflicts: 2088000 | #Constraints: 220412
3577.28/3589.27 c #Conflicts: 2089000 | #Constraints: 221412
3577.28/3589.27 c #Conflicts: 2090000 | #Constraints: 222412
3577.28/3589.27 c #Conflicts: 2091000 | #Constraints: 223412
3577.28/3589.27 c #Conflicts: 2092000 | #Constraints: 224412
3577.28/3589.27 c #Conflicts: 2093000 | #Constraints: 225412
3577.28/3589.27 c #Conflicts: 2094000 | #Constraints: 226412
3577.28/3589.27 c #Conflicts: 2095000 | #Constraints: 227412
3577.28/3589.27 c #Conflicts: 2096000 | #Constraints: 228412
3577.28/3589.27 c #Conflicts: 2097000 | #Constraints: 229412
3577.28/3589.27 c #Conflicts: 2098000 | #Constraints: 230412
3577.28/3589.27 c #Conflicts: 2099000 | #Constraints: 231412
3577.28/3589.27 c #Conflicts: 2100000 | #Constraints: 232412
3577.28/3589.27 c #Conflicts: 2101000 | #Constraints: 233412
3577.28/3589.27 c #Conflicts: 2102000 | #Constraints: 234412
3577.28/3589.27 c #Conflicts: 2103000 | #Constraints: 235412
3577.28/3589.27 c #Conflicts: 2104000 | #Constraints: 236412
3577.28/3589.27 c #Conflicts: 2105000 | #Constraints: 237412
3577.28/3589.27 c #Conflicts: 2106000 | #Constraints: 238412
3577.28/3589.27 c #Conflicts: 2107000 | #Constraints: 239412
3577.28/3589.27 c #Conflicts: 2108000 | #Constraints: 240412
3577.28/3589.27 c INPROCESSING
3577.28/3589.27 c GARBAGE COLLECT
3577.28/3589.27 c #Conflicts: 2109000 | #Constraints: 168703
3577.28/3589.27 c #Conflicts: 2110000 | #Constraints: 169703
3577.28/3589.27 c #Conflicts: 2111000 | #Constraints: 170703
3577.28/3589.27 c #Conflicts: 2112000 | #Constraints: 171703
3577.28/3589.27 c #Conflicts: 2113000 | #Constraints: 172703
3577.28/3589.27 c #Conflicts: 2114000 | #Constraints: 173703
3577.28/3589.27 c #Conflicts: 2115000 | #Constraints: 174703
3577.28/3589.27 c #Conflicts: 2116000 | #Constraints: 175703
3577.28/3589.27 c #Conflicts: 2117000 | #Constraints: 176703
3577.28/3589.27 c #Conflicts: 2118000 | #Constraints: 177703
3577.28/3589.27 c #Conflicts: 2119000 | #Constraints: 178703
3577.28/3589.27 c #Conflicts: 2120000 | #Constraints: 179703
3577.28/3589.27 c #Conflicts: 2121000 | #Constraints: 180703
3577.28/3589.27 c #Conflicts: 2122000 | #Constraints: 181703
3577.28/3589.27 c #Conflicts: 2123000 | #Constraints: 182703
3577.28/3589.27 c #Conflicts: 2124000 | #Constraints: 183703
3577.28/3589.27 c #Conflicts: 2125000 | #Constraints: 184703
3577.28/3589.27 c #Conflicts: 2126000 | #Constraints: 185703
3577.28/3589.27 c #Conflicts: 2127000 | #Constraints: 186703
3577.28/3589.27 c #Conflicts: 2128000 | #Constraints: 187703
3577.28/3589.27 c #Conflicts: 2129000 | #Constraints: 188703
3577.28/3589.27 c #Conflicts: 2130000 | #Constraints: 189703
3577.28/3589.27 c #Conflicts: 2131000 | #Constraints: 190703
3577.28/3589.27 c #Conflicts: 2132000 | #Constraints: 191703
3577.28/3589.27 c #Conflicts: 2133000 | #Constraints: 192703
3577.28/3589.27 c #Conflicts: 2134000 | #Constraints: 193703
3577.28/3589.27 c #Conflicts: 2135000 | #Constraints: 194703
3577.28/3589.27 c #Conflicts: 2136000 | #Constraints: 195703
3577.28/3589.27 c #Conflicts: 2137000 | #Constraints: 196703
3577.28/3589.27 c #Conflicts: 2138000 | #Constraints: 197703
3577.28/3589.27 c #Conflicts: 2139000 | #Constraints: 198703
3577.28/3589.27 c #Conflicts: 2140000 | #Constraints: 199703
3577.28/3589.27 c #Conflicts: 2141000 | #Constraints: 200703
3600.01/3612.02 c INPROCESSING
3600.01/3612.02 c GARBAGE COLLECT
3600.01/3612.02 c #Conflicts: 2142000 | #Constraints: 148669
3600.01/3612.02 c #Conflicts: 2143000 | #Constraints: 149669
3600.01/3612.02 c #Conflicts: 2144000 | #Constraints: 150669
3600.01/3612.02 c #Conflicts: 2145000 | #Constraints: 151669
3600.01/3612.02 c #Conflicts: 2146000 | #Constraints: 152669
3600.01/3612.02 c #Conflicts: 2147000 | #Constraints: 153669
3600.01/3612.02 c #Conflicts: 2148000 | #Constraints: 154669
3600.01/3612.02 c #Conflicts: 2149000 | #Constraints: 155669
3600.01/3612.02 c #Conflicts: 2150000 | #Constraints: 156669
3600.01/3612.02 c #Conflicts: 2151000 | #Constraints: 157669
3600.01/3612.02 c #Conflicts: 2152000 | #Constraints: 158669
3600.01/3612.02 c Program interrupted by user.
3600.01/3612.02 c cpu time 3589.77 s
3600.01/3612.02 c deterministic time 373705037578 3.74e+11
3600.01/3612.02 c optimization time 29.5196 s
3600.01/3612.02 c total solve time 3559.77 s
3600.01/3612.02 c core-guided solve time 3559.77 s
3600.01/3612.02 c propagation time 3016.31 s
3600.01/3612.02 c conflict analysis time 550.111 s
3600.01/3612.02 c propagations 782321838
3600.01/3612.02 c resolve steps 53663527
3600.01/3612.02 c decisions 4142815
3600.01/3612.02 c conflicts 2152304
3600.01/3612.02 c restarts 4092
3600.01/3612.02 c inprocessing phases 86
3600.01/3612.02 c input clauses 94592
3600.01/3612.02 c input cardinalities 232
3600.01/3612.02 c input general constraints 141
3600.01/3612.02 c input average constraint length 2.75
3600.01/3612.02 c input average constraint degree 1.46
3600.01/3612.02 c learned clauses 1761513
3600.01/3612.02 c learned cardinalities 6467
3600.01/3612.02 c learned general constraints 384312
3600.01/3612.02 c learned average constraint length 91.27
3600.01/3612.02 c learned average constraint degree 42.95
3600.01/3612.02 c watched constraints 344837
3600.01/3612.02 c counting constraints 39616
3600.01/3612.02 c gcd simplifications 9217
3600.01/3612.02 c detected cardinalities 769
3600.01/3612.02 c weakened non-implied lits 10470478
3600.01/3612.02 c weakened non-implying lits 14973
3600.01/3612.02 c original variables 1272
3600.01/3612.02 c clausal propagations 746332095
3600.01/3612.02 c cardinality propagations 503711
3600.01/3612.02 c watched propagations 6234117
3600.01/3612.02 c counting propagations 27338574
3600.01/3612.02 c watch lookups 83644283099
3600.01/3612.02 c watch backjump lookups 66380998028
3600.01/3612.02 c watch checks 205946438488
3600.01/3612.02 c propagation checks 15546067388
3600.01/3612.02 c constraint additions 612169357
3600.01/3612.02 c trail pops 788616564
3600.01/3612.02 c formula constraints 94227
3600.01/3612.02 c learned constraints 2152292
3600.01/3612.02 c bound constraints 53
3600.01/3612.02 c core-guided constraints 685
3600.01/3612.02 c encountered formula constraints 23380733
3600.01/3612.02 c encountered learned constraints 30359745
3600.01/3612.02 c encountered bound constraints 393
3600.01/3612.02 c encountered core-guided constraints 2074960
3600.01/3612.02 c LP total time 0 s
3600.01/3612.02 c LP solve time 0 s
3600.01/3612.02 c LP constraints added 0
3600.01/3612.02 c LP constraints removed 0
3600.01/3612.02 c LP pivots internal 0
3600.01/3612.02 c LP pivots root 0
3600.01/3612.02 c LP calls 0
3600.01/3612.02 c LP optimalities 0
3600.01/3612.02 c LP no pivot count 0
3600.01/3612.02 c LP infeasibilities 0
3600.01/3612.02 c LP valid Farkas constraints 0
3600.01/3612.02 c LP learned Farkas constraints 0
3600.01/3612.02 c LP basis resets 0
3600.01/3612.02 c LP cycling count 0
3600.01/3612.02 c LP singular count 0
3600.01/3612.02 c LP no primal count 0
3600.01/3612.02 c LP no farkas count 0
3600.01/3612.02 c LP other issue count 0
3600.01/3612.02 c LP Gomory cuts 0
3600.01/3612.02 c LP learned cuts 0
3600.01/3612.02 c LP deleted cuts 0
3600.01/3612.02 c LP encountered Gomory constraints 0
3600.01/3612.02 c LP encountered Farkas constraints 0
3600.01/3612.02 c LP encountered learned Farkas constraints 0
3600.01/3612.02 c CG auxiliary variables introduced 396
3600.01/3612.02 c CG solutions found 1
3600.01/3612.02 c CG cores constructed 40
3600.01/3612.02 c CG core cardinality constraints returned 0
3600.01/3612.02 c CG unit cores 0
3600.01/3612.02 c CG single cores 40
3600.01/3612.02 c CG blocks removed during cardinality reduction 0
3600.01/3612.02 c CG first core best 0
3600.01/3612.02 c CG decision core best 0
3600.01/3612.02 c CG core reduction tie 0
3600.01/3612.02 c CG core degree average 1.00
3600.01/3612.02 c CG core slack average 8.25
3600.01/3612.02 c CG exhausted 13
3600.01/3612.02 c CG exhaust time 8.67927 s
3600.01/3612.02 c CG trimmed 4
3600.01/3612.02 c CG trim time 0.000921 s
3600.01/3612.02 c CG minimized 0
3600.01/3612.02 c CG minimize time 0 s
3600.01/3612.02 c CG am1 prop time 0.014277 s
3600.01/3612.02 c CG # am1s reformulated 236
3600.01/3612.02 c CG lower bound derived from am1s 1033
3600.01/3612.02 c CG # clausal cores 40
3600.01/3612.02 c CG # cardinality cores 0
3600.01/3612.02 c CG # pb cores 0
3600.01/3612.02 c CG # pb reforms 0
3600.01/3612.02 c CG # cores discarded because of pb reform 0
3600.01/3612.02 d LOWERBOUND -186
3600.01/3612.02 d NCORES 40
3600.01/3612.02 d NPBCORES 0
3600.01/3612.02 d NPBREFORM 0
3600.01/3612.02 d NTRIMMED 4
3600.01/3612.02 d NEXHAUSTED 13
3600.01/3612.02 d NAM1S 236
3600.01/3612.02 d AM1LB 1033
3600.01/3612.02 o -34
3600.01/3612.02 s SATISFIABLE
3600.01/3612.02 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62851 MiB free)
memory of node 1: 64510 MiB (63090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454368-1721437414/watcher-4454368-1721437414 -o /tmp/evaluation-result-4454368-1721437414/solver-4454368-1721437414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032986 --watchdog 3760 pb-oll-rs HOME/instance-4454368-1721437414.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1033040, runsolver pid=1033031
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.04 1.13 1.59 6/244 1033049
/proc/meminfo: memFree=128955076/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=39716 memory=6484 CPUtime=0.11 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 579 0 0 0 8 3 0 0 20 0 1 0 195900991 40669184 1621 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 9929 1621 1235 291 0 1463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 39716 KiB
Current children cumulated memory: 6484 KiB
[startup+0.213335 s]*
/proc/loadavg: 1.04 1.13 1.59 6/244 1033049
/proc/meminfo: memFree=128949520/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=40112 memory=7540 CPUtime=0.22 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 851 0 0 0 16 6 0 0 20 0 1 0 195900991 41074688 1885 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 10028 1885 1235 291 0 1562 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40112 KiB
Current children cumulated memory: 7540 KiB
[startup+0.313325 s]*
/proc/loadavg: 1.04 1.13 1.59 6/244 1033049
/proc/meminfo: memFree=128941864/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=40508 memory=10380 CPUtime=0.32 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 1069 0 0 0 23 9 0 0 20 0 1 0 195900991 41480192 2595 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 10127 2595 1235 291 0 1661 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40508 KiB
Current children cumulated memory: 10380 KiB
[startup+0.700277 s]
/proc/loadavg: 1.04 1.13 1.59 6/244 1033049
/proc/meminfo: memFree=128931208/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=45128 memory=15488 CPUtime=0.69 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 2270 0 0 0 50 19 0 0 20 0 1 0 195900991 46211072 3872 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 11282 3872 1331 291 0 2816 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45128 KiB
Current children cumulated memory: 15488 KiB
[startup+1.50029 s]
/proc/loadavg: 1.04 1.13 1.59 6/244 1033049
/proc/meminfo: memFree=128891256/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=61940 memory=31492 CPUtime=1.48 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 5737 0 0 0 124 24 0 0 20 0 1 0 195900991 63426560 7873 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 15485 7873 1408 291 0 7019 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61940 KiB
Current children cumulated memory: 31492 KiB
[startup+3.1126 s]
/proc/loadavg: 1.36 1.19 1.60 6/244 1033051
/proc/meminfo: memFree=128821344/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=71832 memory=43092 CPUtime=3.09 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 7030 0 0 0 282 27 0 0 20 0 1 0 195900991 73555968 10773 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 17958 10773 1461 291 0 9492 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71832 KiB
Current children cumulated memory: 43092 KiB
[startup+6.30026 s]
/proc/loadavg: 1.36 1.19 1.60 6/244 1033051
/proc/meminfo: memFree=128782820/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=86332 memory=53280 CPUtime=6.27 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 9996 0 0 0 596 31 0 0 20 0 1 0 195900991 88403968 13320 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 21583 13320 1461 291 0 13117 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86332 KiB
Current children cumulated memory: 53280 KiB
[startup+12.7003 s]
/proc/loadavg: 1.76 1.28 1.63 6/244 1033052
/proc/meminfo: memFree=128765240/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=93104 memory=64152 CPUtime=12.65 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 13563 0 0 0 1221 44 0 0 20 0 1 0 195900991 95338496 16038 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 23276 16038 1461 291 0 14810 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93104 KiB
Current children cumulated memory: 64152 KiB
[startup+25.5003 s]
/proc/loadavg: 2.11 1.37 1.66 6/244 1033055
/proc/meminfo: memFree=128759524/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=93944 memory=64944 CPUtime=25.41 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 13777 0 0 0 2476 65 0 0 20 0 1 0 195900991 96198656 16236 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 23486 16236 1461 291 0 15020 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 93944 KiB
Current children cumulated memory: 64944 KiB
[startup+51.1129 s]
/proc/loadavg: 2.83 1.60 1.73 6/244 1033058
/proc/meminfo: memFree=128748400/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=96112 memory=67320 CPUtime=50.94 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 14357 0 0 0 5004 90 0 0 20 0 1 0 195900991 98418688 16830 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 24028 16830 1461 291 0 15562 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 96112 KiB
Current children cumulated memory: 67320 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.02 1.86 6/244 1033068
/proc/meminfo: memFree=128742360/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=97788 memory=68964 CPUtime=101.97 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 15471 0 0 0 10064 133 0 0 20 0 1 0 195900991 100134912 17241 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 24447 17241 1461 291 0 15981 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 97788 KiB
Current children cumulated memory: 68964 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.42 2.01 6/243 1033079
/proc/meminfo: memFree=128736264/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=98388 memory=69656 CPUtime=161.77 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 16460 0 0 0 16010 167 0 0 20 0 1 0 195900991 100749312 17414 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 24597 17414 1461 291 0 16131 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 98388 KiB
Current children cumulated memory: 69656 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.74 2.15 6/243 1033089
/proc/meminfo: memFree=128731332/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=99140 memory=70336 CPUtime=221.59 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 17414 0 0 0 21963 196 0 0 20 0 1 0 195900991 101519360 17584 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 24785 17584 1461 291 0 16319 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 99140 KiB
Current children cumulated memory: 70336 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 3.03 2.29 6/242 1033099
/proc/meminfo: memFree=128727312/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=100632 memory=72016 CPUtime=281.41 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 18435 0 0 0 27910 231 0 0 20 0 1 0 195900991 103047168 18004 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 25158 18004 1461 291 0 16692 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 100632 KiB
Current children cumulated memory: 72016 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.23 2.40 6/242 1033110
/proc/meminfo: memFree=128726756/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=100632 memory=72016 CPUtime=341.23 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 18469 0 0 0 33865 258 0 0 20 0 1 0 195900991 103047168 18004 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 25158 18004 1461 291 0 16692 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 100632 KiB
Current children cumulated memory: 72016 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.38 2.51 6/242 1033120
/proc/meminfo: memFree=128718512/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=123340 memory=76372 CPUtime=401.04 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 19567 0 0 0 39815 289 0 0 20 0 1 0 195900991 126300160 19093 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 30835 19093 1461 291 0 22369 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 123340 KiB
Current children cumulated memory: 76372 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.53 2.62 6/244 1033134
/proc/meminfo: memFree=128715124/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=123340 memory=76716 CPUtime=460.87 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 19694 0 0 0 45778 309 0 0 20 0 1 0 195900991 126300160 19179 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
################
# More data... #
################
Current children cumulated memory: 111412 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.06 6/244 1034198
/proc/meminfo: memFree=128504424/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=164820 memory=111412 CPUtime=2852.93 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 26418 0 0 0 284405 888 0 0 20 0 1 0 195900991 168775680 27853 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41205 27853 1461 291 0 32739 0
Current children cumulated CPU time: 2852.93 s
Current children cumulated vsize: 164820 KiB
Current children cumulated memory: 111412 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.06 6/244 1034208
/proc/meminfo: memFree=128496640/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=166572 memory=115064 CPUtime=2912.72 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 26908 0 0 0 290376 896 0 0 20 0 1 0 195900991 170569728 28766 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41643 28766 1461 291 0 33177 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 115064 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.06 6/244 1034219
/proc/meminfo: memFree=128492672/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=166572 memory=115220 CPUtime=2972.51 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 26944 0 0 0 296345 906 0 0 20 0 1 0 195900991 170569728 28805 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41643 28805 1461 291 0 33177 0
Current children cumulated CPU time: 2972.51 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 115220 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.06 6/244 1034230
/proc/meminfo: memFree=128492288/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=166572 memory=115220 CPUtime=3032.3 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 26985 0 0 0 302315 915 0 0 20 0 1 0 195900991 170569728 28805 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41643 28805 1461 291 0 33177 0
Current children cumulated CPU time: 3032.3 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 115220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.06 6/243 1034240
/proc/meminfo: memFree=128491772/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=166572 memory=115220 CPUtime=3092.08 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 27022 0 0 0 308280 928 0 0 20 0 1 0 195900991 170569728 28805 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41643 28805 1461 291 0 33177 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 115220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.07 6/244 1034636
/proc/meminfo: memFree=128491724/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=165384 memory=113832 CPUtime=3151.86 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 27449 0 0 0 314240 946 0 0 20 0 1 0 195900991 169353216 28458 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41346 28458 1461 291 0 32880 0
Current children cumulated CPU time: 3151.86 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 113832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.07 6/244 1034646
/proc/meminfo: memFree=128488720/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=165384 memory=114080 CPUtime=3211.65 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 27485 0 0 0 320197 968 0 0 20 0 1 0 195900991 169353216 28520 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41346 28520 1461 291 0 32880 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 114080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.07 6/244 1034656
/proc/meminfo: memFree=128491160/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=165384 memory=114080 CPUtime=3271.44 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 27528 0 0 0 326166 978 0 0 20 0 1 0 195900991 169353216 28520 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41346 28520 1461 291 0 32880 0
Current children cumulated CPU time: 3271.44 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 114080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.07 6/245 1034836
/proc/meminfo: memFree=128490560/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=165384 memory=114080 CPUtime=3331.22 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 27574 0 0 0 332134 988 0 0 20 0 1 0 195900991 169353216 28520 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41346 28520 1461 291 0 32880 0
Current children cumulated CPU time: 3331.22 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 114080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.07 6/246 1034849
/proc/meminfo: memFree=128490496/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=165384 memory=114080 CPUtime=3391.01 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 27624 0 0 0 338105 996 0 0 20 0 1 0 195900991 169353216 28520 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41346 28520 1461 291 0 32880 0
Current children cumulated CPU time: 3391.01 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 114080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.08 6/244 1034870
/proc/meminfo: memFree=128489584/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=165384 memory=116128 CPUtime=3450.79 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 27675 0 0 0 344076 1003 0 0 20 0 1 0 195900991 169353216 29032 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41346 29032 1461 291 0 32880 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 116128 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.08 6/244 1034880
/proc/meminfo: memFree=128484168/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=167600 memory=118276 CPUtime=3510.58 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 28249 0 0 0 350047 1011 0 0 20 0 1 0 195900991 171622400 29569 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41900 29569 1461 291 0 33434 0
Current children cumulated CPU time: 3510.58 s
Current children cumulated vsize: 167600 KiB
Current children cumulated memory: 118276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.09 6/245 1034892
/proc/meminfo: memFree=128483988/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=167600 memory=118276 CPUtime=3570.39 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 28291 0 0 0 356019 1020 0 0 20 0 1 0 195900991 171622400 29569 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41900 29569 1461 291 0 33434 0
Current children cumulated CPU time: 3570.39 s
Current children cumulated vsize: 167600 KiB
Current children cumulated memory: 118276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.10 4.11 4.09 5/244 1035036
/proc/meminfo: memFree=128708848/131655788 swapFree=131071996/131071996
[pid=1033040] ppid=1033031 vsize=167600 memory=118276 CPUtime=3600.01 cores=0,2
/proc/1033040/stat : 1033040 (pb-oll-rs) R 1033031 1033040 1032976 0 -1 4194304 28326 0 0 0 358975 1026 0 0 20 0 1 0 195900991 171622400 29569 134679101440 4194304 5384485 140729990813312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16986112 140729990820885 140729990820962 140729990820962 140729990827979 0
/proc/1033040/statm: 41900 29569 1461 291 0 33434 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 167600 KiB
Current children cumulated memory: 118276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 1033040 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.77 s, system=10.264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.02
CPU time (s): 3600.03
CPU user time (s): 3589.77
CPU system time (s): 10.264
CPU usage (%): 99.668
Max. virtual memory (cumulated for all children) (KiB): 167600
Max. memory (cumulated for all children) (KiB): 118276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.77
system time used= 10.264
maximum resident set size= 119016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28343
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= 55
involuntary context switches= 24643
# summary of solver processes directly reported to runsolver:
# pid: 1033040
# total CPU time (s): 3600.03
# total CPU user time (s): 3589.77
# total CPU system time (s): 10.264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7488 second user time and 37.0588 second system time
The end
Begin job on nodeC009 at 2024-07-20 03:03:46
IDJOB=4454368
IDBENCH=146672
IDSOLVER=3082
FILE ID=nodeC009/4454368-1721437414
RUNJOBID= nodeC009-1721437426-1032986
SLURM_JOB_ID= 7545646
Free space on /tmp= 723760 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454368-1721437414/watcher-4454368-1721437414 -o /tmp/evaluation-result-4454368-1721437414/solver-4454368-1721437414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032986 --watchdog 3760 pb-oll-rs HOME/instance-4454368-1721437414.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=817136528
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.337
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.317
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.316
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.327
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.330
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128965292 kB
MemAvailable: 129906156 kB
Buffers: 588564 kB
Cached: 1196824 kB
SwapCached: 0 kB
Active: 1139208 kB
Inactive: 998388 kB
Active(anon): 1380 kB
Inactive(anon): 396712 kB
Active(file): 1137828 kB
Inactive(file): 601676 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 15044 kB
Writeback: 0 kB
AnonPages: 352072 kB
Mapped: 107408 kB
Shmem: 45892 kB
KReclaimable: 82784 kB
Slab: 183924 kB
SReclaimable: 82784 kB
SUnreclaim: 101140 kB
KernelStack: 3696 kB
PageTables: 9888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 657272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC009 at 2024-07-20 04:03:58