0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.36/7.16 c #variables 9324 #constraints 28660
0.36/7.16 c objective is ce32
0.36/7.18 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.36/7.18 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.36/7.18 c GLOBAL bounds - >= 0 @ 0.360552
0.44/7.21 c GLOBAL bounds - >= 0 @ 0.37012
1.44/8.25 c GLOBAL bounds - >= 0 @ 1.37475
1.44/8.27 c GLOBAL bounds - >= 0 @ 1.37891
1.44/8.27 c GLOBAL bounds - >= 0 @ 1.37951
1.44/8.28 c GLOBAL bounds - >= 0 @ 1.38242
1.44/8.28 c GLOBAL bounds - >= 0 @ 1.38308
1.44/8.30 c GLOBAL bounds - >= 0 @ 1.3884
1.44/8.30 c GLOBAL bounds - >= 0 @ 1.38858
1.54/8.31 c GLOBAL bounds - >= 0 @ 1.39357
1.54/8.31 c GLOBAL bounds - >= 0 @ 1.39404
1.54/8.32 c GLOBAL bounds - >= 0 @ 1.40006
1.54/8.37 c GLOBAL bounds - >= 0 @ 1.43924
1.54/8.38 c GLOBAL bounds - >= 0 @ 1.44223
8.41/15.28 c #Conflicts: 1000 | #Constraints: 29665
8.41/15.28 c #Conflicts: 2000 | #Constraints: 30665
8.41/15.28 c INPROCESSING
8.41/15.28 c #Conflicts: 3000 | #Constraints: 30674
8.41/15.28 c #Conflicts: 4000 | #Constraints: 31674
8.41/15.28 c INPROCESSING
8.41/15.28 c GARBAGE COLLECT
8.41/15.28 c #Conflicts: 5000 | #Constraints: 31079
8.41/15.28 c #Conflicts: 6000 | #Constraints: 32079
8.41/15.28 c GLOBAL bounds - >= 0 @ 8.2289
8.41/15.29 c GLOBAL bounds - >= 0 @ 8.23175
38.91/45.87 c INPROCESSING
38.91/45.87 c GARBAGE COLLECT
38.91/45.87 c #Conflicts: 7000 | #Constraints: 31086
38.91/45.87 c #Conflicts: 8000 | #Constraints: 32086
38.91/45.87 c #Conflicts: 9000 | #Constraints: 33086
38.91/45.87 c INPROCESSING
38.91/45.87 c GARBAGE COLLECT
38.91/45.87 c #Conflicts: 10000 | #Constraints: 31785
38.91/45.87 c #Conflicts: 11000 | #Constraints: 32785
38.91/45.87 c #Conflicts: 12000 | #Constraints: 33785
38.91/45.87 c INPROCESSING
38.91/45.87 c GARBAGE COLLECT
38.91/45.87 c #Conflicts: 13000 | #Constraints: 32232
38.91/45.87 c #Conflicts: 14000 | #Constraints: 33233
38.91/45.87 c #Conflicts: 15000 | #Constraints: 34233
38.91/45.87 c INPROCESSING
38.91/45.87 c GARBAGE COLLECT
38.91/45.87 c #Conflicts: 16000 | #Constraints: 32458
38.91/45.87 c #Conflicts: 17000 | #Constraints: 33458
38.91/45.87 c #Conflicts: 18000 | #Constraints: 34458
38.91/45.87 c INPROCESSING
38.91/45.87 c GARBAGE COLLECT
38.91/45.87 c #Conflicts: 19000 | #Constraints: 32472
38.91/45.87 c #Conflicts: 20000 | #Constraints: 33472
38.91/45.87 c #Conflicts: 21000 | #Constraints: 34472
38.91/45.87 c INPROCESSING
38.91/45.87 c GARBAGE COLLECT
38.91/45.87 c #Conflicts: 22000 | #Constraints: 32276
38.91/45.88 c #Conflicts: 23000 | #Constraints: 33276
38.91/45.88 c #Conflicts: 24000 | #Constraints: 34276
38.91/45.88 c #Conflicts: 25000 | #Constraints: 35276
38.91/45.88 c INPROCESSING
38.91/45.88 c GARBAGE COLLECT
38.91/45.88 c rational objective 38.9563
56.76/63.73 c #Conflicts: 26000 | #Constraints: 32977
56.76/63.73 c #Conflicts: 27000 | #Constraints: 33978
56.76/63.73 c #Conflicts: 28000 | #Constraints: 34978
56.76/63.73 c #Conflicts: 29000 | #Constraints: 35978
56.76/63.73 c INPROCESSING
56.76/63.73 c GARBAGE COLLECT
56.76/63.73 c #Conflicts: 30000 | #Constraints: 33331
56.76/63.73 c #Conflicts: 31000 | #Constraints: 34331
56.76/63.73 c #Conflicts: 32000 | #Constraints: 35331
56.76/63.73 c #Conflicts: 33000 | #Constraints: 36331
56.76/63.73 c INPROCESSING
56.76/63.73 c GARBAGE COLLECT
56.76/63.73 c #Conflicts: 34000 | #Constraints: 33515
56.76/63.73 c #Conflicts: 35000 | #Constraints: 34515
56.76/63.73 c #Conflicts: 36000 | #Constraints: 35515
56.76/63.73 c #Conflicts: 37000 | #Constraints: 36515
56.76/63.73 c INPROCESSING
56.76/63.73 c GARBAGE COLLECT
56.76/63.73 c #Conflicts: 38000 | #Constraints: 33505
56.76/63.73 c #Conflicts: 39000 | #Constraints: 34505
56.76/63.73 c #Conflicts: 40000 | #Constraints: 35510
56.76/63.73 c #Conflicts: 41000 | #Constraints: 36510
56.76/63.73 c INPROCESSING
56.76/63.73 c GARBAGE COLLECT
56.76/63.73 c rational objective 41.5367
94.14/101.24 c #Conflicts: 42000 | #Constraints: 33401
94.14/101.24 c #Conflicts: 43000 | #Constraints: 34401
94.14/101.24 c #Conflicts: 44000 | #Constraints: 35401
94.14/101.24 c #Conflicts: 45000 | #Constraints: 36401
94.14/101.24 c #Conflicts: 46000 | #Constraints: 37401
94.14/101.24 c INPROCESSING
94.14/101.24 c GARBAGE COLLECT
94.14/101.24 c #Conflicts: 47000 | #Constraints: 33946
94.14/101.24 c #Conflicts: 48000 | #Constraints: 34946
94.14/101.24 c #Conflicts: 49000 | #Constraints: 35946
94.14/101.24 c #Conflicts: 50000 | #Constraints: 36946
94.14/101.24 c #Conflicts: 51000 | #Constraints: 37946
94.14/101.24 c INPROCESSING
94.14/101.24 c GARBAGE COLLECT
94.14/101.24 c rational objective 41.5367
95.13/102.29 c #Conflicts: 52000 | #Constraints: 34402
95.13/102.29 c #Conflicts: 53000 | #Constraints: 35402
95.13/102.29 c #Conflicts: 54000 | #Constraints: 36402
95.13/102.29 c #Conflicts: 55000 | #Constraints: 37402
95.13/102.29 c #Conflicts: 56000 | #Constraints: 38402
95.13/102.29 c INPROCESSING
95.13/102.29 c GARBAGE COLLECT
95.13/102.29 c #Conflicts: 57000 | #Constraints: 34549
95.13/102.29 c #Conflicts: 58000 | #Constraints: 35549
95.13/102.29 c #Conflicts: 59000 | #Constraints: 36549
95.13/102.29 c #Conflicts: 60000 | #Constraints: 37549
95.13/102.29 c #Conflicts: 61000 | #Constraints: 38549
95.13/102.29 c INPROCESSING
95.13/102.29 c GARBAGE COLLECT
95.13/102.29 c #Conflicts: 62000 | #Constraints: 34523
95.13/102.29 c #Conflicts: 63000 | #Constraints: 35523
95.13/102.29 c GLOBAL bounds - >= 0 @ 94.3211
95.13/102.30 c GLOBAL bounds - >= 0 @ 94.3234
139.61/146.83 c #Conflicts: 64000 | #Constraints: 36524
139.61/146.83 c #Conflicts: 65000 | #Constraints: 37524
139.61/146.83 c #Conflicts: 66000 | #Constraints: 38524
139.61/146.83 c INPROCESSING
139.61/146.83 c GARBAGE COLLECT
139.61/146.83 c rational objective 42.5005
176.21/183.50 c #Conflicts: 67000 | #Constraints: 34399
176.21/183.50 c #Conflicts: 68000 | #Constraints: 35399
176.21/183.50 c #Conflicts: 69000 | #Constraints: 36399
176.21/183.50 c #Conflicts: 70000 | #Constraints: 37399
176.21/183.50 c #Conflicts: 71000 | #Constraints: 38399
176.21/183.50 c #Conflicts: 72000 | #Constraints: 39399
176.21/183.50 c INPROCESSING
176.21/183.50 c GARBAGE COLLECT
176.21/183.50 c #Conflicts: 73000 | #Constraints: 34949
176.21/183.50 c #Conflicts: 74000 | #Constraints: 35949
176.21/183.50 c #Conflicts: 75000 | #Constraints: 36949
176.21/183.50 c #Conflicts: 76000 | #Constraints: 37949
176.21/183.50 c #Conflicts: 77000 | #Constraints: 38949
176.21/183.50 c #Conflicts: 78000 | #Constraints: 39949
176.21/183.50 c INPROCESSING
176.21/183.50 c GARBAGE COLLECT
176.21/183.50 c #Conflicts: 79000 | #Constraints: 35322
176.21/183.50 c #Conflicts: 80000 | #Constraints: 36322
176.21/183.50 c #Conflicts: 81000 | #Constraints: 37322
176.21/183.50 c #Conflicts: 82000 | #Constraints: 38322
176.21/183.50 c #Conflicts: 83000 | #Constraints: 39322
176.21/183.50 c #Conflicts: 84000 | #Constraints: 40322
176.21/183.50 c INPROCESSING
176.21/183.50 c GARBAGE COLLECT
176.21/183.50 c #Conflicts: 85000 | #Constraints: 35514
176.21/183.50 c #Conflicts: 86000 | #Constraints: 36514
176.21/183.50 c #Conflicts: 87000 | #Constraints: 37514
176.21/183.50 c #Conflicts: 88000 | #Constraints: 38514
176.21/183.50 c #Conflicts: 89000 | #Constraints: 39514
176.21/183.50 c #Conflicts: 90000 | #Constraints: 40514
176.21/183.50 c INPROCESSING
176.21/183.50 c GARBAGE COLLECT
176.21/183.50 c #Conflicts: 91000 | #Constraints: 35508
176.21/183.50 c #Conflicts: 92000 | #Constraints: 36508
176.21/183.50 c #Conflicts: 93000 | #Constraints: 37508
176.21/183.50 c #Conflicts: 94000 | #Constraints: 38508
176.21/183.50 c #Conflicts: 95000 | #Constraints: 39508
176.21/183.50 c #Conflicts: 96000 | #Constraints: 40508
176.21/183.50 c INPROCESSING
176.21/183.50 c GARBAGE COLLECT
176.21/183.50 c #Conflicts: 97000 | #Constraints: 35307
176.21/183.50 c #Conflicts: 98000 | #Constraints: 36307
176.21/183.50 c #Conflicts: 99000 | #Constraints: 37307
176.21/183.50 c #Conflicts: 100000 | #Constraints: 38307
176.21/183.50 c #Conflicts: 101000 | #Constraints: 39307
176.21/183.50 c #Conflicts: 102000 | #Constraints: 40307
176.21/183.50 c #Conflicts: 103000 | #Constraints: 41307
176.21/183.50 c INPROCESSING
176.21/183.50 c GARBAGE COLLECT
176.21/183.50 c #Conflicts: 104000 | #Constraints: 35904
176.21/183.50 c #Conflicts: 105000 | #Constraints: 36904
176.21/183.50 c #Conflicts: 106000 | #Constraints: 37905
176.21/183.50 c #Conflicts: 107000 | #Constraints: 38905
176.21/183.50 c #Conflicts: 108000 | #Constraints: 39905
176.21/183.50 c #Conflicts: 109000 | #Constraints: 40905
176.21/183.50 c #Conflicts: 110000 | #Constraints: 41905
176.21/183.50 c INPROCESSING
176.21/183.50 c GARBAGE COLLECT
176.21/183.50 c rational objective 42.5084
219.39/226.87 c #Conflicts: 111000 | #Constraints: 36362
219.39/226.87 c #Conflicts: 112000 | #Constraints: 37362
219.39/226.87 c #Conflicts: 113000 | #Constraints: 38362
219.39/226.87 c #Conflicts: 114000 | #Constraints: 39362
219.39/226.87 c #Conflicts: 115000 | #Constraints: 40362
219.39/226.87 c #Conflicts: 116000 | #Constraints: 41362
219.39/226.87 c #Conflicts: 117000 | #Constraints: 42362
219.39/226.87 c INPROCESSING
219.39/226.87 c GARBAGE COLLECT
219.39/226.87 c #Conflicts: 118000 | #Constraints: 36533
219.39/226.87 c #Conflicts: 119000 | #Constraints: 37533
219.39/226.87 c #Conflicts: 120000 | #Constraints: 38533
219.39/226.87 c #Conflicts: 121000 | #Constraints: 39533
219.39/226.87 c #Conflicts: 122000 | #Constraints: 40533
219.39/226.87 c #Conflicts: 123000 | #Constraints: 41533
219.39/226.87 c #Conflicts: 124000 | #Constraints: 42533
219.39/226.87 c INPROCESSING
219.39/226.87 c GARBAGE COLLECT
219.39/226.87 c #Conflicts: 125000 | #Constraints: 36517
219.39/226.87 c #Conflicts: 126000 | #Constraints: 37517
219.39/226.87 c #Conflicts: 127000 | #Constraints: 38517
219.39/226.87 c #Conflicts: 128000 | #Constraints: 39517
219.39/226.87 c #Conflicts: 129000 | #Constraints: 40517
219.39/226.87 c #Conflicts: 130000 | #Constraints: 41517
219.39/226.87 c #Conflicts: 131000 | #Constraints: 42517
219.39/226.87 c INPROCESSING
219.39/226.87 c GARBAGE COLLECT
219.39/226.87 c rational objective 44.0518
266.18/273.72 c #Conflicts: 132000 | #Constraints: 36363
266.18/273.72 c #Conflicts: 133000 | #Constraints: 37363
266.18/273.72 c #Conflicts: 134000 | #Constraints: 38363
266.18/273.72 c #Conflicts: 135000 | #Constraints: 39363
266.18/273.72 c #Conflicts: 136000 | #Constraints: 40363
266.18/273.72 c #Conflicts: 137000 | #Constraints: 41363
266.18/273.72 c #Conflicts: 138000 | #Constraints: 42363
266.18/273.72 c #Conflicts: 139000 | #Constraints: 43363
266.18/273.72 c INPROCESSING
266.18/273.72 c GARBAGE COLLECT
266.18/273.72 c rational objective 57
309.27/316.93 c #Conflicts: 140000 | #Constraints: 37012
309.27/316.93 c #Conflicts: 141000 | #Constraints: 38012
309.27/316.93 c #Conflicts: 142000 | #Constraints: 39012
309.27/316.93 c #Conflicts: 143000 | #Constraints: 40012
309.27/316.93 c #Conflicts: 144000 | #Constraints: 41012
309.27/316.93 c #Conflicts: 145000 | #Constraints: 42012
309.27/316.93 c #Conflicts: 146000 | #Constraints: 43012
309.27/316.93 c #Conflicts: 147000 | #Constraints: 44012
309.27/316.93 c INPROCESSING
309.27/316.93 c GARBAGE COLLECT
309.27/316.93 c #Conflicts: 148000 | #Constraints: 37360
309.27/316.93 c #Conflicts: 149000 | #Constraints: 38360
309.27/316.93 c #Conflicts: 150000 | #Constraints: 39360
309.27/316.93 c #Conflicts: 151000 | #Constraints: 40360
309.27/316.93 c #Conflicts: 152000 | #Constraints: 41360
309.27/316.93 c #Conflicts: 153000 | #Constraints: 42360
309.27/316.93 c #Conflicts: 154000 | #Constraints: 43360
309.27/316.93 c #Conflicts: 155000 | #Constraints: 44360
309.27/316.93 c INPROCESSING
309.27/316.93 c GARBAGE COLLECT
309.27/316.93 c #Conflicts: 156000 | #Constraints: 37535
309.27/316.93 c #Conflicts: 157000 | #Constraints: 38535
309.27/316.93 c #Conflicts: 158000 | #Constraints: 39535
309.27/316.93 c #Conflicts: 159000 | #Constraints: 40535
309.27/316.93 c #Conflicts: 160000 | #Constraints: 41535
309.27/316.93 c #Conflicts: 161000 | #Constraints: 42535
309.27/316.93 c #Conflicts: 162000 | #Constraints: 43535
309.27/316.93 c #Conflicts: 163000 | #Constraints: 44535
309.27/316.93 c INPROCESSING
309.27/316.93 c GARBAGE COLLECT
309.27/316.93 c #Conflicts: 164000 | #Constraints: 37525
309.27/316.93 c #Conflicts: 165000 | #Constraints: 38525
309.27/316.93 c #Conflicts: 166000 | #Constraints: 39525
309.27/316.93 c #Conflicts: 167000 | #Constraints: 40525
309.27/316.93 c #Conflicts: 168000 | #Constraints: 41525
309.27/316.93 c #Conflicts: 169000 | #Constraints: 42525
309.27/316.93 c #Conflicts: 170000 | #Constraints: 43525
309.27/316.93 c #Conflicts: 171000 | #Constraints: 44525
309.27/316.93 c INPROCESSING
309.27/316.93 c GARBAGE COLLECT
309.27/316.93 c #Conflicts: 172000 | #Constraints: 37318
309.27/316.93 c #Conflicts: 173000 | #Constraints: 38318
309.27/316.93 c #Conflicts: 174000 | #Constraints: 39318
309.27/316.93 c #Conflicts: 175000 | #Constraints: 40318
309.27/316.93 c #Conflicts: 176000 | #Constraints: 41318
309.27/316.93 c #Conflicts: 177000 | #Constraints: 42318
309.27/316.93 c #Conflicts: 178000 | #Constraints: 43318
309.27/316.93 c #Conflicts: 179000 | #Constraints: 44318
309.27/316.93 c #Conflicts: 180000 | #Constraints: 45318
309.27/316.93 c INPROCESSING
309.27/316.93 c GARBAGE COLLECT
309.27/316.93 c #Conflicts: 181000 | #Constraints: 37914
309.27/316.93 c #Conflicts: 182000 | #Constraints: 38914
309.27/316.93 c #Conflicts: 183000 | #Constraints: 39914
309.27/316.93 c #Conflicts: 184000 | #Constraints: 40914
309.27/316.93 c #Conflicts: 185000 | #Constraints: 41914
309.27/316.93 c #Conflicts: 186000 | #Constraints: 42915
309.27/316.93 c #Conflicts: 187000 | #Constraints: 43915
309.27/316.93 c #Conflicts: 188000 | #Constraints: 44915
309.27/316.93 c #Conflicts: 189000 | #Constraints: 45915
309.27/316.93 c INPROCESSING
309.27/316.93 c GARBAGE COLLECT
309.27/316.93 c rational objective 62
328.33/336.06 c #Conflicts: 190000 | #Constraints: 38372
328.33/336.06 c #Conflicts: 191000 | #Constraints: 39372
328.33/336.06 c #Conflicts: 192000 | #Constraints: 40372
328.33/336.06 c #Conflicts: 193000 | #Constraints: 41372
328.33/336.06 c #Conflicts: 194000 | #Constraints: 42372
328.33/336.06 c #Conflicts: 195000 | #Constraints: 43372
328.33/336.06 c #Conflicts: 196000 | #Constraints: 44372
328.33/336.06 c #Conflicts: 197000 | #Constraints: 45372
328.33/336.06 c #Conflicts: 198000 | #Constraints: 46372
328.33/336.06 c INPROCESSING
328.33/336.06 c GARBAGE COLLECT
328.33/336.06 c rational objective 63
355.26/363.01 c #Conflicts: 199000 | #Constraints: 38588
355.26/363.01 c #Conflicts: 200000 | #Constraints: 39588
355.26/363.01 c #Conflicts: 201000 | #Constraints: 40588
355.26/363.01 c #Conflicts: 202000 | #Constraints: 41588
355.26/363.01 c #Conflicts: 203000 | #Constraints: 42588
355.26/363.01 c #Conflicts: 204000 | #Constraints: 43588
355.26/363.01 c #Conflicts: 205000 | #Constraints: 44588
355.26/363.01 c #Conflicts: 206000 | #Constraints: 45588
355.26/363.01 c #Conflicts: 207000 | #Constraints: 46588
355.26/363.01 c INPROCESSING
355.26/363.01 c GARBAGE COLLECT
355.26/363.01 c #Conflicts: 208000 | #Constraints: 38551
355.26/363.01 c #Conflicts: 209000 | #Constraints: 39551
355.26/363.01 c #Conflicts: 210000 | #Constraints: 40551
355.26/363.01 c #Conflicts: 211000 | #Constraints: 41551
355.26/363.01 c #Conflicts: 212000 | #Constraints: 42551
355.26/363.01 c #Conflicts: 213000 | #Constraints: 43551
355.26/363.01 c #Conflicts: 214000 | #Constraints: 44551
355.26/363.01 c #Conflicts: 215000 | #Constraints: 45551
355.26/363.01 c #Conflicts: 216000 | #Constraints: 46551
355.26/363.01 c INPROCESSING
355.26/363.01 c GARBAGE COLLECT
355.26/363.01 c rational objective 65
483.81/491.98 c #Conflicts: 217000 | #Constraints: 38388
483.81/491.98 c #Conflicts: 218000 | #Constraints: 39388
483.81/491.98 c #Conflicts: 219000 | #Constraints: 40388
483.81/491.98 c #Conflicts: 220000 | #Constraints: 41388
483.81/491.98 c #Conflicts: 221000 | #Constraints: 42388
483.81/491.98 c #Conflicts: 222000 | #Constraints: 43388
483.81/491.98 c #Conflicts: 223000 | #Constraints: 44388
483.81/491.98 c #Conflicts: 224000 | #Constraints: 45388
483.81/491.98 c #Conflicts: 225000 | #Constraints: 46388
483.81/491.98 c #Conflicts: 226000 | #Constraints: 47388
483.81/491.98 c INPROCESSING
483.81/491.98 c GARBAGE COLLECT
483.81/491.98 c #Conflicts: 227000 | #Constraints: 38947
483.81/491.98 c #Conflicts: 228000 | #Constraints: 39947
483.81/491.98 c #Conflicts: 229000 | #Constraints: 40947
483.81/491.98 c #Conflicts: 230000 | #Constraints: 41947
483.81/491.98 c #Conflicts: 231000 | #Constraints: 42947
483.81/491.98 c #Conflicts: 232000 | #Constraints: 43947
483.81/491.98 c #Conflicts: 233000 | #Constraints: 44947
483.81/491.98 c #Conflicts: 234000 | #Constraints: 45947
483.81/491.98 c #Conflicts: 235000 | #Constraints: 46947
483.81/491.98 c #Conflicts: 236000 | #Constraints: 47947
483.81/491.98 c INPROCESSING
483.81/491.98 c GARBAGE COLLECT
483.81/491.98 c #Conflicts: 237000 | #Constraints: 39329
483.81/491.98 c #Conflicts: 238000 | #Constraints: 40329
483.81/491.98 c #Conflicts: 239000 | #Constraints: 41329
483.81/491.98 c #Conflicts: 240000 | #Constraints: 42329
483.81/491.98 c #Conflicts: 241000 | #Constraints: 43329
483.81/491.98 c #Conflicts: 242000 | #Constraints: 44329
483.81/491.98 c #Conflicts: 243000 | #Constraints: 45329
483.81/491.98 c #Conflicts: 244000 | #Constraints: 46330
483.81/491.98 c #Conflicts: 245000 | #Constraints: 47330
483.81/491.98 c #Conflicts: 246000 | #Constraints: 48330
483.81/491.98 c INPROCESSING
483.81/491.98 c GARBAGE COLLECT
483.81/491.98 c #Conflicts: 247000 | #Constraints: 39526
483.81/491.98 c #Conflicts: 248000 | #Constraints: 40526
483.81/491.98 c #Conflicts: 249000 | #Constraints: 41526
483.81/491.98 c #Conflicts: 250000 | #Constraints: 42526
483.81/491.98 c #Conflicts: 251000 | #Constraints: 43526
483.81/491.98 c #Conflicts: 252000 | #Constraints: 44526
483.81/491.98 c #Conflicts: 253000 | #Constraints: 45526
483.81/491.98 c #Conflicts: 254000 | #Constraints: 46526
483.81/491.98 c #Conflicts: 255000 | #Constraints: 47526
483.81/491.98 c #Conflicts: 256000 | #Constraints: 48526
483.81/491.98 c INPROCESSING
483.81/491.98 c GARBAGE COLLECT
483.81/491.98 c #Conflicts: 257000 | #Constraints: 39511
483.81/491.98 c #Conflicts: 258000 | #Constraints: 40511
483.81/491.98 c #Conflicts: 259000 | #Constraints: 41511
483.81/491.98 c #Conflicts: 260000 | #Constraints: 42511
483.81/491.98 c #Conflicts: 261000 | #Constraints: 43511
483.81/491.98 c #Conflicts: 262000 | #Constraints: 44511
483.81/491.98 c #Conflicts: 263000 | #Constraints: 45511
483.81/491.98 c #Conflicts: 264000 | #Constraints: 46511
483.81/491.98 c #Conflicts: 265000 | #Constraints: 47511
483.81/491.98 c #Conflicts: 266000 | #Constraints: 48511
483.81/491.98 c INPROCESSING
483.81/491.98 c GARBAGE COLLECT
483.81/491.98 c #Conflicts: 267000 | #Constraints: 39311
483.81/491.98 c #Conflicts: 268000 | #Constraints: 40311
483.81/491.98 c #Conflicts: 269000 | #Constraints: 41311
483.81/491.98 c #Conflicts: 270000 | #Constraints: 42311
483.81/491.98 c #Conflicts: 271000 | #Constraints: 43311
483.81/491.98 c #Conflicts: 272000 | #Constraints: 44311
483.81/491.99 c #Conflicts: 273000 | #Constraints: 45311
483.81/491.99 c #Conflicts: 274000 | #Constraints: 46311
483.81/491.99 c #Conflicts: 275000 | #Constraints: 47311
483.81/491.99 c #Conflicts: 276000 | #Constraints: 48311
483.81/491.99 c #Conflicts: 277000 | #Constraints: 49311
483.81/491.99 c INPROCESSING
483.81/491.99 c GARBAGE COLLECT
483.81/491.99 c #Conflicts: 278000 | #Constraints: 39912
483.81/491.99 c #Conflicts: 279000 | #Constraints: 40912
483.81/491.99 c #Conflicts: 280000 | #Constraints: 41912
483.81/491.99 c #Conflicts: 281000 | #Constraints: 42912
483.81/491.99 c #Conflicts: 282000 | #Constraints: 43912
483.81/491.99 c #Conflicts: 283000 | #Constraints: 44912
483.81/491.99 c #Conflicts: 284000 | #Constraints: 45912
483.81/491.99 c #Conflicts: 285000 | #Constraints: 46912
483.81/491.99 c #Conflicts: 286000 | #Constraints: 47912
483.81/491.99 c #Conflicts: 287000 | #Constraints: 48912
483.81/491.99 c #Conflicts: 288000 | #Constraints: 49912
483.81/491.99 c INPROCESSING
483.81/491.99 c GARBAGE COLLECT
483.81/491.99 c rational objective 66.0228
509.96/518.14 c #Conflicts: 289000 | #Constraints: 40391
509.96/518.14 c #Conflicts: 290000 | #Constraints: 41391
509.96/518.14 c #Conflicts: 291000 | #Constraints: 42391
509.96/518.14 c #Conflicts: 292000 | #Constraints: 43391
509.96/518.14 c #Conflicts: 293000 | #Constraints: 44391
509.96/518.14 c #Conflicts: 294000 | #Constraints: 45391
509.96/518.14 c #Conflicts: 295000 | #Constraints: 46391
509.96/518.14 c #Conflicts: 296000 | #Constraints: 47391
509.96/518.14 c #Conflicts: 297000 | #Constraints: 48391
509.96/518.14 c #Conflicts: 298000 | #Constraints: 49391
509.96/518.14 c #Conflicts: 299000 | #Constraints: 50391
509.96/518.14 c INPROCESSING
509.96/518.14 c GARBAGE COLLECT
509.96/518.14 c rational objective 66.0228
537.28/545.55 c #Conflicts: 300000 | #Constraints: 40632
537.28/545.55 c #Conflicts: 301000 | #Constraints: 41632
537.28/545.55 c #Conflicts: 302000 | #Constraints: 42632
537.28/545.55 c #Conflicts: 303000 | #Constraints: 43632
537.28/545.55 c #Conflicts: 304000 | #Constraints: 44632
537.28/545.55 c #Conflicts: 305000 | #Constraints: 45632
537.28/545.55 c #Conflicts: 306000 | #Constraints: 46632
537.28/545.55 c #Conflicts: 307000 | #Constraints: 47632
537.28/545.55 c #Conflicts: 308000 | #Constraints: 48632
537.28/545.55 c #Conflicts: 309000 | #Constraints: 49632
537.28/545.55 c #Conflicts: 310000 | #Constraints: 50632
537.28/545.55 c INPROCESSING
537.28/545.55 c GARBAGE COLLECT
537.28/545.55 c #Conflicts: 311000 | #Constraints: 40577
537.28/545.55 c #Conflicts: 312000 | #Constraints: 41577
537.28/545.55 c #Conflicts: 313000 | #Constraints: 42577
537.28/545.55 c #Conflicts: 314000 | #Constraints: 43577
537.28/545.55 c #Conflicts: 315000 | #Constraints: 44578
537.28/545.55 c #Conflicts: 316000 | #Constraints: 45578
537.28/545.55 c #Conflicts: 317000 | #Constraints: 46578
537.28/545.55 c #Conflicts: 318000 | #Constraints: 47578
537.28/545.55 c #Conflicts: 319000 | #Constraints: 48578
537.28/545.55 c #Conflicts: 320000 | #Constraints: 49578
537.28/545.55 c #Conflicts: 321000 | #Constraints: 50578
537.28/545.55 c INPROCESSING
537.28/545.55 c GARBAGE COLLECT
537.28/545.55 c rational objective 66.0271
577.87/586.26 c #Conflicts: 322000 | #Constraints: 40425
577.87/586.26 c #Conflicts: 323000 | #Constraints: 41425
577.87/586.26 c #Conflicts: 324000 | #Constraints: 42425
577.87/586.26 c #Conflicts: 325000 | #Constraints: 43425
577.87/586.26 c #Conflicts: 326000 | #Constraints: 44425
577.87/586.26 c #Conflicts: 327000 | #Constraints: 45425
577.87/586.26 c #Conflicts: 328000 | #Constraints: 46425
577.87/586.26 c #Conflicts: 329000 | #Constraints: 47425
577.87/586.26 c #Conflicts: 330000 | #Constraints: 48425
577.87/586.26 c #Conflicts: 331000 | #Constraints: 49425
577.87/586.26 c #Conflicts: 332000 | #Constraints: 50425
577.87/586.26 c #Conflicts: 333000 | #Constraints: 51425
577.87/586.26 c INPROCESSING
577.87/586.26 c GARBAGE COLLECT
577.87/586.26 c rational objective 66.0305
638.63/647.11 c #Conflicts: 334000 | #Constraints: 41039
638.63/647.11 c #Conflicts: 335000 | #Constraints: 42039
638.63/647.11 c #Conflicts: 336000 | #Constraints: 43039
638.63/647.11 c #Conflicts: 337000 | #Constraints: 44039
638.63/647.11 c #Conflicts: 338000 | #Constraints: 45039
638.63/647.11 c #Conflicts: 339000 | #Constraints: 46039
638.63/647.11 c #Conflicts: 340000 | #Constraints: 47039
638.63/647.11 c #Conflicts: 341000 | #Constraints: 48039
638.63/647.11 c #Conflicts: 342000 | #Constraints: 49039
638.63/647.11 c #Conflicts: 343000 | #Constraints: 50039
638.63/647.11 c #Conflicts: 344000 | #Constraints: 51039
638.63/647.11 c #Conflicts: 345000 | #Constraints: 52039
638.63/647.11 c INPROCESSING
638.63/647.11 c GARBAGE COLLECT
638.63/647.11 c #Conflicts: 346000 | #Constraints: 41374
638.63/647.11 c #Conflicts: 347000 | #Constraints: 42374
638.63/647.11 c #Conflicts: 348000 | #Constraints: 43374
638.63/647.11 c #Conflicts: 349000 | #Constraints: 44374
638.63/647.11 c #Conflicts: 350000 | #Constraints: 45374
638.63/647.11 c #Conflicts: 351000 | #Constraints: 46374
638.63/647.11 c #Conflicts: 352000 | #Constraints: 47374
638.63/647.11 c #Conflicts: 353000 | #Constraints: 48374
638.63/647.11 c #Conflicts: 354000 | #Constraints: 49374
638.63/647.11 c #Conflicts: 355000 | #Constraints: 50374
638.63/647.11 c #Conflicts: 356000 | #Constraints: 51374
638.63/647.11 c #Conflicts: 357000 | #Constraints: 52374
638.63/647.11 c INPROCESSING
638.63/647.11 c GARBAGE COLLECT
638.63/647.11 c #Conflicts: 358000 | #Constraints: 41543
638.63/647.11 c #Conflicts: 359000 | #Constraints: 42543
638.63/647.11 c #Conflicts: 360000 | #Constraints: 43543
638.63/647.11 c #Conflicts: 361000 | #Constraints: 44543
638.63/647.11 c #Conflicts: 362000 | #Constraints: 45543
638.63/647.11 c #Conflicts: 363000 | #Constraints: 46543
638.63/647.11 c #Conflicts: 364000 | #Constraints: 47543
638.63/647.11 c #Conflicts: 365000 | #Constraints: 48543
638.63/647.11 c #Conflicts: 366000 | #Constraints: 49543
638.63/647.11 c #Conflicts: 367000 | #Constraints: 50543
638.63/647.11 c #Conflicts: 368000 | #Constraints: 51543
638.63/647.11 c #Conflicts: 369000 | #Constraints: 52543
638.63/647.11 c INPROCESSING
638.63/647.11 c GARBAGE COLLECT
638.63/647.11 c #Conflicts: 370000 | #Constraints: 41525
638.63/647.11 c #Conflicts: 371000 | #Constraints: 42525
638.63/647.11 c #Conflicts: 372000 | #Constraints: 43525
638.63/647.11 c #Conflicts: 373000 | #Constraints: 44525
638.63/647.11 c #Conflicts: 374000 | #Constraints: 45525
638.63/647.11 c #Conflicts: 375000 | #Constraints: 46525
638.63/647.11 c #Conflicts: 376000 | #Constraints: 47525
638.63/647.11 c #Conflicts: 377000 | #Constraints: 48525
638.63/647.11 c #Conflicts: 378000 | #Constraints: 49525
638.63/647.11 c #Conflicts: 379000 | #Constraints: 50525
638.63/647.11 c #Conflicts: 380000 | #Constraints: 51525
638.63/647.11 c #Conflicts: 381000 | #Constraints: 52525
638.63/647.11 c INPROCESSING
638.63/647.11 c GARBAGE COLLECT
638.63/647.11 c rational objective 66.0315
668.24/676.88 c #Conflicts: 382000 | #Constraints: 41404
668.24/676.88 c #Conflicts: 383000 | #Constraints: 42404
668.24/676.88 c #Conflicts: 384000 | #Constraints: 43404
668.24/676.88 c #Conflicts: 385000 | #Constraints: 44404
668.24/676.88 c #Conflicts: 386000 | #Constraints: 45404
668.24/676.88 c #Conflicts: 387000 | #Constraints: 46405
668.24/676.88 c #Conflicts: 388000 | #Constraints: 47405
668.24/676.88 c #Conflicts: 389000 | #Constraints: 48405
668.24/676.88 c #Conflicts: 390000 | #Constraints: 49405
668.24/676.88 c #Conflicts: 391000 | #Constraints: 50405
668.24/676.88 c #Conflicts: 392000 | #Constraints: 51405
668.24/676.88 c #Conflicts: 393000 | #Constraints: 52405
668.24/676.88 c #Conflicts: 394000 | #Constraints: 53405
668.24/676.88 c INPROCESSING
668.24/676.88 c GARBAGE COLLECT
668.24/676.88 c rational objective 66.0346
668.74/677.35 c #Conflicts: 395000 | #Constraints: 42047
668.74/677.35 c #Conflicts: 396000 | #Constraints: 43047
668.74/677.35 c GLOBAL bounds - >= 0 @ 664.393
668.74/677.36 c GLOBAL bounds - >= 0 @ 664.399
734.39/743.12 c #Conflicts: 397000 | #Constraints: 44048
734.39/743.12 c #Conflicts: 398000 | #Constraints: 45048
734.39/743.12 c #Conflicts: 399000 | #Constraints: 46048
734.39/743.12 c #Conflicts: 400000 | #Constraints: 47048
734.39/743.12 c #Conflicts: 401000 | #Constraints: 48048
734.39/743.12 c #Conflicts: 402000 | #Constraints: 49048
734.39/743.12 c #Conflicts: 403000 | #Constraints: 50048
734.39/743.12 c #Conflicts: 404000 | #Constraints: 51048
734.39/743.12 c #Conflicts: 405000 | #Constraints: 52048
734.39/743.12 c #Conflicts: 406000 | #Constraints: 53048
734.39/743.12 c #Conflicts: 407000 | #Constraints: 54048
734.39/743.12 c INPROCESSING
734.39/743.12 c GARBAGE COLLECT
734.39/743.12 c rational objective 66.0376
780.64/789.53 c #Conflicts: 408000 | #Constraints: 42467
780.64/789.53 c #Conflicts: 409000 | #Constraints: 43467
780.64/789.53 c #Conflicts: 410000 | #Constraints: 44467
780.64/789.53 c #Conflicts: 411000 | #Constraints: 45467
780.64/789.53 c #Conflicts: 412000 | #Constraints: 46467
780.64/789.53 c #Conflicts: 413000 | #Constraints: 47467
780.64/789.53 c #Conflicts: 414000 | #Constraints: 48467
780.64/789.53 c #Conflicts: 415000 | #Constraints: 49467
780.64/789.53 c #Conflicts: 416000 | #Constraints: 50467
780.64/789.53 c #Conflicts: 417000 | #Constraints: 51467
780.64/789.53 c #Conflicts: 418000 | #Constraints: 52467
780.64/789.53 c #Conflicts: 419000 | #Constraints: 53467
780.64/789.53 c #Conflicts: 420000 | #Constraints: 54467
780.64/789.53 c INPROCESSING
780.64/789.53 c GARBAGE COLLECT
780.64/789.53 c #Conflicts: 421000 | #Constraints: 42589
780.64/789.53 c #Conflicts: 422000 | #Constraints: 43589
780.64/789.53 c #Conflicts: 423000 | #Constraints: 44589
780.64/789.53 c #Conflicts: 424000 | #Constraints: 45589
780.64/789.53 c #Conflicts: 425000 | #Constraints: 46589
780.64/789.53 c #Conflicts: 426000 | #Constraints: 47589
780.64/789.53 c #Conflicts: 427000 | #Constraints: 48589
780.64/789.53 c #Conflicts: 428000 | #Constraints: 49589
780.64/789.53 c #Conflicts: 429000 | #Constraints: 50589
780.64/789.53 c #Conflicts: 430000 | #Constraints: 51589
780.64/789.53 c #Conflicts: 431000 | #Constraints: 52589
780.64/789.53 c #Conflicts: 432000 | #Constraints: 53589
780.64/789.53 c #Conflicts: 433000 | #Constraints: 54589
780.64/789.53 c INPROCESSING
780.64/789.53 c GARBAGE COLLECT
780.64/789.53 c #Conflicts: 434000 | #Constraints: 42555
780.64/789.53 c #Conflicts: 435000 | #Constraints: 43555
780.64/789.53 c #Conflicts: 436000 | #Constraints: 44555
780.64/789.53 c #Conflicts: 437000 | #Constraints: 45555
780.64/789.53 c #Conflicts: 438000 | #Constraints: 46555
780.64/789.53 c #Conflicts: 439000 | #Constraints: 47555
780.64/789.53 c #Conflicts: 440000 | #Constraints: 48555
780.64/789.53 c #Conflicts: 441000 | #Constraints: 49555
780.64/789.53 c #Conflicts: 442000 | #Constraints: 50555
780.64/789.53 c #Conflicts: 443000 | #Constraints: 51555
780.64/789.53 c #Conflicts: 444000 | #Constraints: 52555
780.64/789.53 c #Conflicts: 445000 | #Constraints: 53555
780.64/789.53 c #Conflicts: 446000 | #Constraints: 54555
780.64/789.53 c INPROCESSING
780.64/789.53 c GARBAGE COLLECT
780.64/789.53 c #Conflicts: 447000 | #Constraints: 42329
780.64/789.53 c #Conflicts: 448000 | #Constraints: 43329
780.64/789.53 c #Conflicts: 449000 | #Constraints: 44329
780.64/789.53 c #Conflicts: 450000 | #Constraints: 45329
780.64/789.53 c #Conflicts: 451000 | #Constraints: 46329
780.64/789.53 c #Conflicts: 452000 | #Constraints: 47329
780.64/789.53 c #Conflicts: 453000 | #Constraints: 48329
780.64/789.53 c #Conflicts: 454000 | #Constraints: 49329
780.64/789.53 c #Conflicts: 455000 | #Constraints: 50329
780.64/789.53 c #Conflicts: 456000 | #Constraints: 51329
780.64/789.53 c #Conflicts: 457000 | #Constraints: 52329
780.64/789.53 c #Conflicts: 458000 | #Constraints: 53329
780.64/789.53 c #Conflicts: 459000 | #Constraints: 54329
780.64/789.53 c #Conflicts: 460000 | #Constraints: 55329
780.64/789.53 c INPROCESSING
780.64/789.53 c GARBAGE COLLECT
780.64/789.53 c rational objective 66.0379
812.07/821.06 c #Conflicts: 461000 | #Constraints: 42994
812.07/821.06 c #Conflicts: 462000 | #Constraints: 43994
812.07/821.06 c #Conflicts: 463000 | #Constraints: 44994
812.07/821.06 c #Conflicts: 464000 | #Constraints: 45994
812.07/821.06 c #Conflicts: 465000 | #Constraints: 46994
812.07/821.06 c #Conflicts: 466000 | #Constraints: 47994
812.07/821.06 c #Conflicts: 467000 | #Constraints: 48994
812.07/821.06 c #Conflicts: 468000 | #Constraints: 49994
812.07/821.06 c #Conflicts: 469000 | #Constraints: 50994
812.07/821.06 c #Conflicts: 470000 | #Constraints: 51994
812.07/821.06 c #Conflicts: 471000 | #Constraints: 52994
812.07/821.06 c #Conflicts: 472000 | #Constraints: 53994
812.07/821.06 c #Conflicts: 473000 | #Constraints: 54994
812.07/821.06 c #Conflicts: 474000 | #Constraints: 55994
812.07/821.06 c INPROCESSING
812.07/821.06 c GARBAGE COLLECT
812.07/821.06 c rational objective 66.0386
890.65/899.86 c #Conflicts: 475000 | #Constraints: 43430
890.65/899.86 c #Conflicts: 476000 | #Constraints: 44430
890.65/899.86 c #Conflicts: 477000 | #Constraints: 45430
890.65/899.86 c #Conflicts: 478000 | #Constraints: 46430
890.65/899.86 c #Conflicts: 479000 | #Constraints: 47430
890.65/899.86 c #Conflicts: 480000 | #Constraints: 48430
890.65/899.86 c #Conflicts: 481000 | #Constraints: 49430
890.65/899.86 c #Conflicts: 482000 | #Constraints: 50430
890.65/899.86 c #Conflicts: 483000 | #Constraints: 51430
890.65/899.86 c #Conflicts: 484000 | #Constraints: 52430
890.65/899.86 c #Conflicts: 485000 | #Constraints: 53430
890.65/899.86 c #Conflicts: 486000 | #Constraints: 54430
890.65/899.86 c #Conflicts: 487000 | #Constraints: 55430
890.65/899.86 c #Conflicts: 488000 | #Constraints: 56430
890.65/899.86 c INPROCESSING
890.65/899.86 c GARBAGE COLLECT
890.65/899.86 c rational objective 66.0396
949.30/958.65 c #Conflicts: 489000 | #Constraints: 43645
949.30/958.65 c #Conflicts: 490000 | #Constraints: 44645
949.30/958.65 c #Conflicts: 491000 | #Constraints: 45645
949.30/958.65 c #Conflicts: 492000 | #Constraints: 46645
949.30/958.65 c #Conflicts: 493000 | #Constraints: 47645
949.30/958.65 c #Conflicts: 494000 | #Constraints: 48645
949.30/958.65 c #Conflicts: 495000 | #Constraints: 49645
949.30/958.65 c #Conflicts: 496000 | #Constraints: 50645
949.30/958.65 c #Conflicts: 497000 | #Constraints: 51645
949.30/958.65 c #Conflicts: 498000 | #Constraints: 52645
949.30/958.65 c #Conflicts: 499000 | #Constraints: 53645
949.30/958.65 c #Conflicts: 500000 | #Constraints: 54645
949.30/958.65 c #Conflicts: 501000 | #Constraints: 55645
949.30/958.65 c #Conflicts: 502000 | #Constraints: 56645
949.30/958.65 c INPROCESSING
949.30/958.65 c GARBAGE COLLECT
949.30/958.65 c #Conflicts: 503000 | #Constraints: 43582
949.30/958.65 c #Conflicts: 504000 | #Constraints: 44582
949.30/958.65 c #Conflicts: 505000 | #Constraints: 45582
949.30/958.65 c #Conflicts: 506000 | #Constraints: 46582
949.30/958.65 c #Conflicts: 507000 | #Constraints: 47582
949.30/958.65 c #Conflicts: 508000 | #Constraints: 48582
949.30/958.65 c #Conflicts: 509000 | #Constraints: 49582
949.30/958.65 c #Conflicts: 510000 | #Constraints: 50582
949.30/958.65 c #Conflicts: 511000 | #Constraints: 51582
949.30/958.65 c #Conflicts: 512000 | #Constraints: 52582
949.30/958.65 c #Conflicts: 513000 | #Constraints: 53582
949.30/958.65 c #Conflicts: 514000 | #Constraints: 54582
949.30/958.65 c #Conflicts: 515000 | #Constraints: 55582
949.30/958.65 c #Conflicts: 516000 | #Constraints: 56582
949.30/958.65 c INPROCESSING
949.30/958.65 c GARBAGE COLLECT
949.30/958.65 c #Conflicts: 517000 | #Constraints: 43342
949.30/958.65 c #Conflicts: 518000 | #Constraints: 44342
949.30/958.65 c #Conflicts: 519000 | #Constraints: 45342
949.30/958.65 c #Conflicts: 520000 | #Constraints: 46342
949.30/958.65 c #Conflicts: 521000 | #Constraints: 47342
949.30/958.65 c #Conflicts: 522000 | #Constraints: 48342
949.30/958.65 c #Conflicts: 523000 | #Constraints: 49342
949.30/958.65 c #Conflicts: 524000 | #Constraints: 50342
949.30/958.65 c #Conflicts: 525000 | #Constraints: 51342
949.30/958.65 c #Conflicts: 526000 | #Constraints: 52342
949.30/958.65 c #Conflicts: 527000 | #Constraints: 53342
949.30/958.65 c #Conflicts: 528000 | #Constraints: 54342
949.30/958.65 c #Conflicts: 529000 | #Constraints: 55342
949.30/958.65 c #Conflicts: 530000 | #Constraints: 56342
949.30/958.65 c #Conflicts: 531000 | #Constraints: 57342
949.30/958.65 c INPROCESSING
949.30/958.65 c GARBAGE COLLECT
949.30/958.65 c #Conflicts: 532000 | #Constraints: 43928
949.30/958.65 c #Conflicts: 533000 | #Constraints: 44928
949.30/958.65 c #Conflicts: 534000 | #Constraints: 45928
949.30/958.65 c #Conflicts: 535000 | #Constraints: 46928
949.30/958.65 c #Conflicts: 536000 | #Constraints: 47928
949.30/958.65 c #Conflicts: 537000 | #Constraints: 48928
949.30/958.65 c #Conflicts: 538000 | #Constraints: 49928
949.30/958.65 c #Conflicts: 539000 | #Constraints: 50928
949.30/958.65 c #Conflicts: 540000 | #Constraints: 51928
949.30/958.65 c #Conflicts: 541000 | #Constraints: 52928
949.30/958.65 c #Conflicts: 542000 | #Constraints: 53928
949.30/958.65 c #Conflicts: 543000 | #Constraints: 54928
949.30/958.65 c #Conflicts: 544000 | #Constraints: 55928
949.30/958.65 c #Conflicts: 545000 | #Constraints: 56928
949.30/958.65 c #Conflicts: 546000 | #Constraints: 57928
949.30/958.65 c INPROCESSING
949.30/958.65 c GARBAGE COLLECT
949.30/958.65 c rational objective 66.0469
976.53/985.99 c #Conflicts: 547000 | #Constraints: 44397
976.53/985.99 c #Conflicts: 548000 | #Constraints: 45397
976.53/985.99 c #Conflicts: 549000 | #Constraints: 46397
976.53/985.99 c #Conflicts: 550000 | #Constraints: 47397
976.53/985.99 c #Conflicts: 551000 | #Constraints: 48397
976.53/985.99 c #Conflicts: 552000 | #Constraints: 49397
976.53/985.99 c #Conflicts: 553000 | #Constraints: 50397
976.53/985.99 c #Conflicts: 554000 | #Constraints: 51397
976.53/985.99 c #Conflicts: 555000 | #Constraints: 52397
976.53/985.99 c #Conflicts: 556000 | #Constraints: 53397
976.53/985.99 c #Conflicts: 557000 | #Constraints: 54397
976.53/985.99 c #Conflicts: 558000 | #Constraints: 55397
976.53/985.99 c #Conflicts: 559000 | #Constraints: 56397
976.53/985.99 c #Conflicts: 560000 | #Constraints: 57397
976.53/985.99 c #Conflicts: 561000 | #Constraints: 58397
976.53/985.99 c INPROCESSING
976.53/985.99 c GARBAGE COLLECT
976.53/985.99 c rational objective 66.0509
1005.21/1014.72 c #Conflicts: 562000 | #Constraints: 44634
1005.21/1014.72 c #Conflicts: 563000 | #Constraints: 45634
1005.21/1014.72 c #Conflicts: 564000 | #Constraints: 46634
1005.21/1014.72 c #Conflicts: 565000 | #Constraints: 47634
1005.21/1014.72 c #Conflicts: 566000 | #Constraints: 48634
1005.21/1014.72 c #Conflicts: 567000 | #Constraints: 49634
1005.21/1014.72 c #Conflicts: 568000 | #Constraints: 50634
1005.21/1014.72 c #Conflicts: 569000 | #Constraints: 51634
1005.21/1014.72 c #Conflicts: 570000 | #Constraints: 52634
1005.21/1014.72 c #Conflicts: 571000 | #Constraints: 53634
1005.21/1014.72 c #Conflicts: 572000 | #Constraints: 54634
1005.21/1014.72 c #Conflicts: 573000 | #Constraints: 55634
1005.21/1014.72 c #Conflicts: 574000 | #Constraints: 56634
1005.21/1014.72 c #Conflicts: 575000 | #Constraints: 57634
1005.21/1014.72 c #Conflicts: 576000 | #Constraints: 58634
1005.21/1014.72 c INPROCESSING
1005.21/1014.72 c GARBAGE COLLECT
1005.21/1014.72 c #Conflicts: 577000 | #Constraints: 44574
1005.21/1014.72 c #Conflicts: 578000 | #Constraints: 45574
1005.21/1014.72 c #Conflicts: 579000 | #Constraints: 46574
1005.21/1014.72 c #Conflicts: 580000 | #Constraints: 47574
1005.21/1014.72 c #Conflicts: 581000 | #Constraints: 48574
1005.21/1014.72 c #Conflicts: 582000 | #Constraints: 49574
1005.21/1014.72 c #Conflicts: 583000 | #Constraints: 50574
1005.21/1014.72 c #Conflicts: 584000 | #Constraints: 51574
1005.21/1014.72 c #Conflicts: 585000 | #Constraints: 52574
1005.21/1014.72 c #Conflicts: 586000 | #Constraints: 53574
1005.21/1014.72 c #Conflicts: 587000 | #Constraints: 54574
1005.21/1014.72 c #Conflicts: 588000 | #Constraints: 55574
1005.21/1014.72 c #Conflicts: 589000 | #Constraints: 56574
1005.21/1014.72 c #Conflicts: 590000 | #Constraints: 57574
1005.21/1014.72 c #Conflicts: 591000 | #Constraints: 58574
1005.21/1014.72 c INPROCESSING
1005.21/1014.72 c GARBAGE COLLECT
1005.21/1014.72 c rational objective 67.3333
1036.72/1046.35 c #Conflicts: 592000 | #Constraints: 44425
1036.72/1046.35 c #Conflicts: 593000 | #Constraints: 45425
1036.72/1046.35 c #Conflicts: 594000 | #Constraints: 46425
1036.72/1046.35 c #Conflicts: 595000 | #Constraints: 47425
1036.72/1046.35 c #Conflicts: 596000 | #Constraints: 48425
1036.72/1046.35 c #Conflicts: 597000 | #Constraints: 49425
1036.72/1046.35 c #Conflicts: 598000 | #Constraints: 50425
1036.72/1046.35 c #Conflicts: 599000 | #Constraints: 51425
1036.72/1046.35 c #Conflicts: 600000 | #Constraints: 52425
1036.72/1046.35 c #Conflicts: 601000 | #Constraints: 53425
1036.72/1046.35 c #Conflicts: 602000 | #Constraints: 54425
1036.72/1046.35 c #Conflicts: 603000 | #Constraints: 55425
1036.72/1046.35 c #Conflicts: 604000 | #Constraints: 56425
1036.72/1046.35 c #Conflicts: 605000 | #Constraints: 57425
1036.72/1046.35 c #Conflicts: 606000 | #Constraints: 58425
1036.72/1046.35 c #Conflicts: 607000 | #Constraints: 59425
1036.72/1046.35 c INPROCESSING
1036.72/1046.35 c GARBAGE COLLECT
1036.72/1046.35 c rational objective 67.3333
1087.75/1097.50 c #Conflicts: 608000 | #Constraints: 45029
1087.75/1097.50 c #Conflicts: 609000 | #Constraints: 46029
1087.75/1097.50 c #Conflicts: 610000 | #Constraints: 47029
1087.75/1097.50 c #Conflicts: 611000 | #Constraints: 48029
1087.75/1097.50 c #Conflicts: 612000 | #Constraints: 49029
1087.75/1097.50 c #Conflicts: 613000 | #Constraints: 50029
1087.75/1097.50 c #Conflicts: 614000 | #Constraints: 51029
1087.75/1097.50 c #Conflicts: 615000 | #Constraints: 52029
1087.75/1097.50 c #Conflicts: 616000 | #Constraints: 53029
1087.75/1097.50 c #Conflicts: 617000 | #Constraints: 54029
1087.75/1097.50 c #Conflicts: 618000 | #Constraints: 55029
1087.75/1097.50 c #Conflicts: 619000 | #Constraints: 56029
1087.75/1097.50 c #Conflicts: 620000 | #Constraints: 57029
1087.75/1097.50 c #Conflicts: 621000 | #Constraints: 58029
1087.75/1097.50 c #Conflicts: 622000 | #Constraints: 59029
1087.75/1097.50 c #Conflicts: 623000 | #Constraints: 60029
1087.75/1097.50 c INPROCESSING
1087.75/1097.50 c GARBAGE COLLECT
1087.75/1097.50 c rational objective 67.3333
1118.65/1128.57 c #Conflicts: 624000 | #Constraints: 45449
1118.65/1128.57 c #Conflicts: 625000 | #Constraints: 46449
1118.65/1128.57 c #Conflicts: 626000 | #Constraints: 47449
1118.65/1128.57 c #Conflicts: 627000 | #Constraints: 48449
1118.65/1128.57 c #Conflicts: 628000 | #Constraints: 49449
1118.65/1128.57 c #Conflicts: 629000 | #Constraints: 50449
1118.65/1128.57 c #Conflicts: 630000 | #Constraints: 51449
1118.65/1128.57 c #Conflicts: 631000 | #Constraints: 52449
1118.65/1128.57 c #Conflicts: 632000 | #Constraints: 53449
1118.65/1128.57 c #Conflicts: 633000 | #Constraints: 54449
1118.65/1128.57 c #Conflicts: 634000 | #Constraints: 55449
1118.65/1128.57 c #Conflicts: 635000 | #Constraints: 56449
1118.65/1128.57 c #Conflicts: 636000 | #Constraints: 57449
1118.65/1128.57 c #Conflicts: 637000 | #Constraints: 58449
1118.65/1128.57 c #Conflicts: 638000 | #Constraints: 59449
1118.65/1128.57 c #Conflicts: 639000 | #Constraints: 60449
1118.65/1128.57 c INPROCESSING
1118.65/1128.57 c GARBAGE COLLECT
1118.65/1128.57 c #Conflicts: 640000 | #Constraints: 45591
1118.65/1128.57 c #Conflicts: 641000 | #Constraints: 46591
1118.65/1128.57 c #Conflicts: 642000 | #Constraints: 47591
1118.65/1128.57 c #Conflicts: 643000 | #Constraints: 48591
1118.65/1128.57 c #Conflicts: 644000 | #Constraints: 49591
1118.65/1128.57 c #Conflicts: 645000 | #Constraints: 50591
1118.65/1128.57 c #Conflicts: 646000 | #Constraints: 51591
1118.65/1128.57 c #Conflicts: 647000 | #Constraints: 52591
1118.65/1128.57 c #Conflicts: 648000 | #Constraints: 53591
1118.65/1128.57 c #Conflicts: 649000 | #Constraints: 54591
1118.65/1128.57 c #Conflicts: 650000 | #Constraints: 55591
1118.65/1128.57 c #Conflicts: 651000 | #Constraints: 56591
1118.65/1128.57 c #Conflicts: 652000 | #Constraints: 57591
1118.65/1128.57 c #Conflicts: 653000 | #Constraints: 58591
1118.65/1128.57 c #Conflicts: 654000 | #Constraints: 59591
1118.65/1128.57 c #Conflicts: 655000 | #Constraints: 60591
1118.65/1128.57 c INPROCESSING
1118.65/1128.57 c GARBAGE COLLECT
1118.65/1128.57 c rational objective 67.3333
1153.95/1163.99 c #Conflicts: 656000 | #Constraints: 45615
1153.95/1163.99 c #Conflicts: 657000 | #Constraints: 46615
1153.95/1163.99 c #Conflicts: 658000 | #Constraints: 47615
1153.95/1163.99 c #Conflicts: 659000 | #Constraints: 48615
1153.95/1163.99 c #Conflicts: 660000 | #Constraints: 49615
1153.95/1163.99 c #Conflicts: 661000 | #Constraints: 50615
1153.95/1163.99 c #Conflicts: 662000 | #Constraints: 51615
1153.95/1163.99 c #Conflicts: 663000 | #Constraints: 52615
1153.95/1163.99 c #Conflicts: 664000 | #Constraints: 53615
1153.95/1163.99 c #Conflicts: 665000 | #Constraints: 54615
1153.95/1163.99 c #Conflicts: 666000 | #Constraints: 55615
1153.95/1163.99 c #Conflicts: 667000 | #Constraints: 56615
1153.95/1163.99 c #Conflicts: 668000 | #Constraints: 57615
1153.95/1163.99 c #Conflicts: 669000 | #Constraints: 58615
1153.95/1163.99 c #Conflicts: 670000 | #Constraints: 59615
1153.95/1163.99 c #Conflicts: 671000 | #Constraints: 60615
1153.95/1163.99 c INPROCESSING
1153.95/1163.99 c GARBAGE COLLECT
1153.95/1163.99 c rational objective 67.3333
1228.33/1238.57 c #Conflicts: 672000 | #Constraints: 45438
1228.33/1238.57 c #Conflicts: 673000 | #Constraints: 46438
1228.33/1238.57 c #Conflicts: 674000 | #Constraints: 47438
1228.33/1238.57 c #Conflicts: 675000 | #Constraints: 48438
1228.33/1238.57 c #Conflicts: 676000 | #Constraints: 49438
1228.33/1238.57 c #Conflicts: 677000 | #Constraints: 50438
1228.33/1238.57 c #Conflicts: 678000 | #Constraints: 51438
1228.33/1238.57 c #Conflicts: 679000 | #Constraints: 52438
1228.33/1238.57 c #Conflicts: 680000 | #Constraints: 53438
1228.33/1238.57 c #Conflicts: 681000 | #Constraints: 54438
1228.33/1238.57 c #Conflicts: 682000 | #Constraints: 55438
1228.33/1238.57 c #Conflicts: 683000 | #Constraints: 56438
1228.33/1238.57 c #Conflicts: 684000 | #Constraints: 57438
1228.33/1238.57 c #Conflicts: 685000 | #Constraints: 58438
1228.33/1238.57 c #Conflicts: 686000 | #Constraints: 59438
1228.33/1238.57 c #Conflicts: 687000 | #Constraints: 60438
1228.33/1238.57 c #Conflicts: 688000 | #Constraints: 61438
1228.33/1238.57 c INPROCESSING
1228.33/1238.57 c GARBAGE COLLECT
1228.33/1238.57 c rational objective 67.3333
1305.13/1315.57 c #Conflicts: 689000 | #Constraints: 46031
1305.13/1315.57 c #Conflicts: 690000 | #Constraints: 47031
1305.13/1315.57 c #Conflicts: 691000 | #Constraints: 48031
1305.13/1315.57 c #Conflicts: 692000 | #Constraints: 49031
1305.13/1315.57 c #Conflicts: 693000 | #Constraints: 50031
1305.13/1315.57 c #Conflicts: 694000 | #Constraints: 51031
1305.13/1315.57 c #Conflicts: 695000 | #Constraints: 52031
1305.13/1315.57 c #Conflicts: 696000 | #Constraints: 53031
1305.13/1315.57 c #Conflicts: 697000 | #Constraints: 54031
1305.13/1315.57 c #Conflicts: 698000 | #Constraints: 55031
1305.13/1315.57 c #Conflicts: 699000 | #Constraints: 56031
1305.13/1315.57 c #Conflicts: 700000 | #Constraints: 57031
1305.13/1315.57 c #Conflicts: 701000 | #Constraints: 58031
1305.13/1315.57 c #Conflicts: 702000 | #Constraints: 59031
1305.13/1315.57 c #Conflicts: 703000 | #Constraints: 60031
1305.13/1315.57 c #Conflicts: 704000 | #Constraints: 61031
1305.13/1315.57 c #Conflicts: 705000 | #Constraints: 62031
1305.13/1315.57 c INPROCESSING
1305.13/1315.57 c GARBAGE COLLECT
1305.13/1315.57 c rational objective 67.3333
1333.15/1343.60 c #Conflicts: 706000 | #Constraints: 46444
1333.15/1343.60 c #Conflicts: 707000 | #Constraints: 47444
1333.15/1343.60 c #Conflicts: 708000 | #Constraints: 48444
1333.15/1343.60 c #Conflicts: 709000 | #Constraints: 49444
1333.15/1343.60 c #Conflicts: 710000 | #Constraints: 50444
1333.15/1343.60 c #Conflicts: 711000 | #Constraints: 51444
1333.15/1343.60 c #Conflicts: 712000 | #Constraints: 52444
1333.15/1343.60 c #Conflicts: 713000 | #Constraints: 53444
1333.15/1343.60 c #Conflicts: 714000 | #Constraints: 54444
1333.15/1343.60 c #Conflicts: 715000 | #Constraints: 55444
1333.15/1343.60 c #Conflicts: 716000 | #Constraints: 56444
1333.15/1343.60 c #Conflicts: 717000 | #Constraints: 57444
1333.15/1343.60 c #Conflicts: 718000 | #Constraints: 58444
1333.15/1343.60 c #Conflicts: 719000 | #Constraints: 59444
1333.15/1343.60 c #Conflicts: 720000 | #Constraints: 60444
1333.15/1343.60 c #Conflicts: 721000 | #Constraints: 61444
1333.15/1343.60 c #Conflicts: 722000 | #Constraints: 62444
1333.15/1343.60 c INPROCESSING
1333.15/1343.60 c GARBAGE COLLECT
1333.15/1343.60 c #Conflicts: 723000 | #Constraints: 46581
1333.15/1343.60 c #Conflicts: 724000 | #Constraints: 47581
1333.15/1343.60 c #Conflicts: 725000 | #Constraints: 48581
1333.15/1343.60 c #Conflicts: 726000 | #Constraints: 49581
1333.15/1343.60 c #Conflicts: 727000 | #Constraints: 50581
1333.15/1343.60 c #Conflicts: 728000 | #Constraints: 51581
1333.15/1343.60 c #Conflicts: 729000 | #Constraints: 52581
1333.15/1343.60 c #Conflicts: 730000 | #Constraints: 53581
1333.15/1343.60 c #Conflicts: 731000 | #Constraints: 54581
1333.15/1343.60 c #Conflicts: 732000 | #Constraints: 55581
1333.15/1343.60 c #Conflicts: 733000 | #Constraints: 56581
1333.15/1343.60 c #Conflicts: 734000 | #Constraints: 57581
1333.15/1343.60 c #Conflicts: 735000 | #Constraints: 58581
1333.15/1343.60 c #Conflicts: 736000 | #Constraints: 59581
1333.15/1343.60 c #Conflicts: 737000 | #Constraints: 60581
1333.15/1343.60 c #Conflicts: 738000 | #Constraints: 61581
1333.15/1343.60 c #Conflicts: 739000 | #Constraints: 62581
1333.15/1343.60 c INPROCESSING
1333.15/1343.60 c GARBAGE COLLECT
1333.15/1343.60 c #Conflicts: 740000 | #Constraints: 46552
1333.15/1343.60 c #Conflicts: 741000 | #Constraints: 47552
1333.15/1343.60 c #Conflicts: 742000 | #Constraints: 48552
1333.15/1343.60 c #Conflicts: 743000 | #Constraints: 49552
1333.15/1343.60 c #Conflicts: 744000 | #Constraints: 50552
1333.15/1343.60 c #Conflicts: 745000 | #Constraints: 51552
1333.15/1343.60 c #Conflicts: 746000 | #Constraints: 52552
1333.15/1343.60 c #Conflicts: 747000 | #Constraints: 53552
1333.15/1343.60 c #Conflicts: 748000 | #Constraints: 54552
1333.15/1343.60 c #Conflicts: 749000 | #Constraints: 55552
1333.15/1343.60 c #Conflicts: 750000 | #Constraints: 56552
1333.15/1343.60 c #Conflicts: 751000 | #Constraints: 57552
1333.15/1343.60 c #Conflicts: 752000 | #Constraints: 58552
1333.15/1343.60 c #Conflicts: 753000 | #Constraints: 59552
1333.15/1343.60 c #Conflicts: 754000 | #Constraints: 60552
1333.15/1343.60 c #Conflicts: 755000 | #Constraints: 61552
1333.15/1343.60 c #Conflicts: 756000 | #Constraints: 62552
1333.15/1343.60 c INPROCESSING
1333.15/1343.60 c GARBAGE COLLECT
1333.15/1343.60 c rational objective 67.3333
1369.57/1380.12 c #Conflicts: 757000 | #Constraints: 46399
1369.57/1380.12 c #Conflicts: 758000 | #Constraints: 47399
1369.57/1380.12 c #Conflicts: 759000 | #Constraints: 48399
1369.57/1380.12 c #Conflicts: 760000 | #Constraints: 49399
1369.57/1380.12 c #Conflicts: 761000 | #Constraints: 50399
1369.57/1380.12 c #Conflicts: 762000 | #Constraints: 51399
1369.57/1380.12 c #Conflicts: 763000 | #Constraints: 52399
1369.57/1380.12 c #Conflicts: 764000 | #Constraints: 53399
1369.57/1380.12 c #Conflicts: 765000 | #Constraints: 54399
1369.57/1380.12 c #Conflicts: 766000 | #Constraints: 55399
1369.57/1380.12 c #Conflicts: 767000 | #Constraints: 56399
1369.57/1380.12 c #Conflicts: 768000 | #Constraints: 57399
1369.57/1380.12 c #Conflicts: 769000 | #Constraints: 58399
1369.57/1380.12 c #Conflicts: 770000 | #Constraints: 59399
1369.57/1380.12 c #Conflicts: 771000 | #Constraints: 60399
1369.57/1380.12 c #Conflicts: 772000 | #Constraints: 61399
1369.57/1380.12 c #Conflicts: 773000 | #Constraints: 62399
1369.57/1380.12 c #Conflicts: 774000 | #Constraints: 63399
1369.57/1380.12 c INPROCESSING
1369.57/1380.12 c GARBAGE COLLECT
1369.57/1380.12 c rational objective 67.3333
1418.09/1428.85 c #Conflicts: 775000 | #Constraints: 47013
1418.09/1428.85 c #Conflicts: 776000 | #Constraints: 48013
1418.09/1428.85 c #Conflicts: 777000 | #Constraints: 49013
1418.09/1428.85 c #Conflicts: 778000 | #Constraints: 50013
1418.09/1428.85 c #Conflicts: 779000 | #Constraints: 51013
1418.09/1428.85 c #Conflicts: 780000 | #Constraints: 52013
1418.09/1428.85 c #Conflicts: 781000 | #Constraints: 53013
1418.09/1428.85 c #Conflicts: 782000 | #Constraints: 54013
1418.09/1428.85 c #Conflicts: 783000 | #Constraints: 55013
1418.09/1428.85 c #Conflicts: 784000 | #Constraints: 56013
1418.09/1428.85 c #Conflicts: 785000 | #Constraints: 57013
1418.09/1428.85 c #Conflicts: 786000 | #Constraints: 58013
1418.09/1428.85 c #Conflicts: 787000 | #Constraints: 59013
1418.09/1428.85 c #Conflicts: 788000 | #Constraints: 60013
1418.09/1428.85 c #Conflicts: 789000 | #Constraints: 61013
1418.09/1428.85 c #Conflicts: 790000 | #Constraints: 62013
1418.09/1428.85 c #Conflicts: 791000 | #Constraints: 63013
1418.09/1428.85 c #Conflicts: 792000 | #Constraints: 64013
1418.09/1428.85 c INPROCESSING
1418.09/1428.85 c GARBAGE COLLECT
1418.09/1428.85 c rational objective 67.3333
1460.18/1471.04 c #Conflicts: 793000 | #Constraints: 47428
1460.18/1471.04 c #Conflicts: 794000 | #Constraints: 48428
1460.18/1471.04 c #Conflicts: 795000 | #Constraints: 49428
1460.18/1471.04 c #Conflicts: 796000 | #Constraints: 50428
1460.18/1471.04 c #Conflicts: 797000 | #Constraints: 51428
1460.18/1471.04 c #Conflicts: 798000 | #Constraints: 52428
1460.18/1471.04 c #Conflicts: 799000 | #Constraints: 53428
1460.18/1471.04 c #Conflicts: 800000 | #Constraints: 54428
1460.18/1471.04 c #Conflicts: 801000 | #Constraints: 55428
1460.18/1471.04 c #Conflicts: 802000 | #Constraints: 56428
1460.18/1471.04 c #Conflicts: 803000 | #Constraints: 57428
1460.18/1471.04 c #Conflicts: 804000 | #Constraints: 58428
1460.18/1471.04 c #Conflicts: 805000 | #Constraints: 59428
1460.18/1471.04 c #Conflicts: 806000 | #Constraints: 60428
1460.18/1471.04 c #Conflicts: 807000 | #Constraints: 61428
1460.18/1471.04 c #Conflicts: 808000 | #Constraints: 62428
1460.18/1471.04 c #Conflicts: 809000 | #Constraints: 63428
1460.18/1471.04 c #Conflicts: 810000 | #Constraints: 64428
1460.18/1471.04 c INPROCESSING
1460.18/1471.04 c GARBAGE COLLECT
1460.18/1471.04 c #Conflicts: 811000 | #Constraints: 47576
1460.18/1471.04 c #Conflicts: 812000 | #Constraints: 48576
1460.18/1471.04 c #Conflicts: 813000 | #Constraints: 49576
1460.18/1471.04 c #Conflicts: 814000 | #Constraints: 50576
1460.18/1471.04 c #Conflicts: 815000 | #Constraints: 51576
1460.18/1471.04 c #Conflicts: 816000 | #Constraints: 52576
1460.18/1471.04 c #Conflicts: 817000 | #Constraints: 53576
1460.18/1471.04 c #Conflicts: 818000 | #Constraints: 54576
1460.18/1471.04 c #Conflicts: 819000 | #Constraints: 55576
1460.18/1471.04 c #Conflicts: 820000 | #Constraints: 56576
1460.18/1471.04 c #Conflicts: 821000 | #Constraints: 57576
1460.18/1471.04 c #Conflicts: 822000 | #Constraints: 58576
1460.18/1471.04 c #Conflicts: 823000 | #Constraints: 59576
1460.18/1471.04 c #Conflicts: 824000 | #Constraints: 60576
1460.18/1471.04 c #Conflicts: 825000 | #Constraints: 61576
1460.18/1471.04 c #Conflicts: 826000 | #Constraints: 62576
1460.18/1471.04 c #Conflicts: 827000 | #Constraints: 63576
1460.18/1471.04 c #Conflicts: 828000 | #Constraints: 64576
1460.18/1471.04 c INPROCESSING
1460.18/1471.04 c GARBAGE COLLECT
1460.18/1471.04 c rational objective 67.3333
1490.86/1501.81 c #Conflicts: 829000 | #Constraints: 47607
1490.86/1501.81 c #Conflicts: 830000 | #Constraints: 48607
1490.86/1501.81 c #Conflicts: 831000 | #Constraints: 49607
1490.86/1501.81 c #Conflicts: 832000 | #Constraints: 50607
1490.86/1501.81 c #Conflicts: 833000 | #Constraints: 51607
1490.86/1501.81 c #Conflicts: 834000 | #Constraints: 52607
1490.86/1501.81 c #Conflicts: 835000 | #Constraints: 53607
1490.86/1501.81 c #Conflicts: 836000 | #Constraints: 54607
1490.86/1501.81 c #Conflicts: 837000 | #Constraints: 55607
1490.86/1501.81 c #Conflicts: 838000 | #Constraints: 56607
1490.86/1501.81 c #Conflicts: 839000 | #Constraints: 57607
1490.86/1501.81 c #Conflicts: 840000 | #Constraints: 58607
1490.86/1501.81 c #Conflicts: 841000 | #Constraints: 59607
1490.86/1501.81 c #Conflicts: 842000 | #Constraints: 60607
1490.86/1501.81 c #Conflicts: 843000 | #Constraints: 61607
1490.86/1501.81 c #Conflicts: 844000 | #Constraints: 62607
1490.86/1501.81 c #Conflicts: 845000 | #Constraints: 63607
1490.86/1501.81 c #Conflicts: 846000 | #Constraints: 64607
1490.86/1501.81 c INPROCESSING
1490.86/1501.81 c GARBAGE COLLECT
1490.86/1501.81 c rational objective 67.3333
1525.07/1536.15 c #Conflicts: 847000 | #Constraints: 47430
1525.07/1536.15 c #Conflicts: 848000 | #Constraints: 48430
1525.07/1536.15 c #Conflicts: 849000 | #Constraints: 49430
1525.07/1536.15 c #Conflicts: 850000 | #Constraints: 50430
1525.07/1536.15 c #Conflicts: 851000 | #Constraints: 51430
1525.07/1536.15 c #Conflicts: 852000 | #Constraints: 52430
1525.07/1536.15 c #Conflicts: 853000 | #Constraints: 53430
1525.07/1536.15 c #Conflicts: 854000 | #Constraints: 54430
1525.07/1536.15 c #Conflicts: 855000 | #Constraints: 55430
1525.07/1536.15 c #Conflicts: 856000 | #Constraints: 56430
1525.07/1536.15 c #Conflicts: 857000 | #Constraints: 57430
1525.07/1536.15 c #Conflicts: 858000 | #Constraints: 58430
1525.07/1536.15 c #Conflicts: 859000 | #Constraints: 59430
1525.07/1536.15 c #Conflicts: 860000 | #Constraints: 60430
1525.07/1536.15 c #Conflicts: 861000 | #Constraints: 61430
1525.07/1536.15 c #Conflicts: 862000 | #Constraints: 62430
1525.07/1536.15 c #Conflicts: 863000 | #Constraints: 63430
1525.07/1536.15 c #Conflicts: 864000 | #Constraints: 64430
1525.07/1536.15 c #Conflicts: 865000 | #Constraints: 65430
1525.07/1536.15 c INPROCESSING
1525.07/1536.15 c GARBAGE COLLECT
1525.07/1536.15 c rational objective 67.3333
1559.17/1570.40 c #Conflicts: 866000 | #Constraints: 48032
1559.17/1570.40 c #Conflicts: 867000 | #Constraints: 49032
1559.17/1570.40 c #Conflicts: 868000 | #Constraints: 50032
1559.17/1570.40 c #Conflicts: 869000 | #Constraints: 51032
1559.17/1570.40 c #Conflicts: 870000 | #Constraints: 52032
1559.17/1570.40 c #Conflicts: 871000 | #Constraints: 53032
1559.17/1570.40 c #Conflicts: 872000 | #Constraints: 54032
1559.17/1570.40 c #Conflicts: 873000 | #Constraints: 55032
1559.17/1570.40 c #Conflicts: 874000 | #Constraints: 56032
1559.17/1570.40 c #Conflicts: 875000 | #Constraints: 57032
1559.17/1570.40 c #Conflicts: 876000 | #Constraints: 58032
1559.17/1570.40 c #Conflicts: 877000 | #Constraints: 59032
1559.17/1570.40 c #Conflicts: 878000 | #Constraints: 60032
1559.17/1570.40 c #Conflicts: 879000 | #Constraints: 61032
1559.17/1570.40 c #Conflicts: 880000 | #Constraints: 62032
1559.17/1570.40 c #Conflicts: 881000 | #Constraints: 63032
1559.17/1570.40 c #Conflicts: 882000 | #Constraints: 64032
1559.17/1570.40 c #Conflicts: 883000 | #Constraints: 65032
1559.17/1570.40 c #Conflicts: 884000 | #Constraints: 66032
1559.17/1570.40 c INPROCESSING
1559.17/1570.40 c GARBAGE COLLECT
1559.17/1570.40 c rational objective 67.3333
1608.41/1619.81 c #Conflicts: 885000 | #Constraints: 48427
1608.41/1619.81 c #Conflicts: 886000 | #Constraints: 49427
1608.41/1619.81 c #Conflicts: 887000 | #Constraints: 50427
1608.41/1619.81 c #Conflicts: 888000 | #Constraints: 51427
1608.41/1619.81 c #Conflicts: 889000 | #Constraints: 52427
1608.41/1619.81 c #Conflicts: 890000 | #Constraints: 53427
1608.41/1619.81 c #Conflicts: 891000 | #Constraints: 54427
1608.41/1619.81 c #Conflicts: 892000 | #Constraints: 55427
1608.41/1619.81 c #Conflicts: 893000 | #Constraints: 56427
1608.41/1619.81 c #Conflicts: 894000 | #Constraints: 57427
1608.41/1619.81 c #Conflicts: 895000 | #Constraints: 58427
1608.41/1619.81 c #Conflicts: 896000 | #Constraints: 59427
1608.41/1619.81 c #Conflicts: 897000 | #Constraints: 60427
1608.41/1619.81 c #Conflicts: 898000 | #Constraints: 61427
1608.41/1619.81 c #Conflicts: 899000 | #Constraints: 62427
1608.41/1619.81 c #Conflicts: 900000 | #Constraints: 63427
1608.41/1619.81 c #Conflicts: 901000 | #Constraints: 64427
1608.41/1619.81 c #Conflicts: 902000 | #Constraints: 65427
1608.41/1619.81 c #Conflicts: 903000 | #Constraints: 66427
1608.41/1619.81 c INPROCESSING
1608.41/1619.81 c GARBAGE COLLECT
1608.41/1619.81 c rational objective 67.3333
1631.15/1642.67 c #Conflicts: 904000 | #Constraints: 48638
1631.15/1642.67 c #Conflicts: 905000 | #Constraints: 49638
1631.15/1642.67 c #Conflicts: 906000 | #Constraints: 50638
1631.15/1642.67 c #Conflicts: 907000 | #Constraints: 51638
1631.15/1642.67 c #Conflicts: 908000 | #Constraints: 52638
1631.15/1642.67 c #Conflicts: 909000 | #Constraints: 53638
1631.15/1642.67 c #Conflicts: 910000 | #Constraints: 54638
1631.15/1642.67 c #Conflicts: 911000 | #Constraints: 55638
1631.15/1642.67 c #Conflicts: 912000 | #Constraints: 56638
1631.15/1642.67 c #Conflicts: 913000 | #Constraints: 57638
1631.15/1642.67 c #Conflicts: 914000 | #Constraints: 58638
1631.15/1642.67 c #Conflicts: 915000 | #Constraints: 59638
1631.15/1642.67 c #Conflicts: 916000 | #Constraints: 60638
1631.15/1642.67 c #Conflicts: 917000 | #Constraints: 61638
1631.15/1642.67 c #Conflicts: 918000 | #Constraints: 62638
1631.15/1642.67 c #Conflicts: 919000 | #Constraints: 63638
1631.15/1642.67 c #Conflicts: 920000 | #Constraints: 64638
1631.15/1642.67 c #Conflicts: 921000 | #Constraints: 65638
1631.15/1642.67 c #Conflicts: 922000 | #Constraints: 66638
1631.15/1642.67 c INPROCESSING
1631.15/1642.67 c GARBAGE COLLECT
1631.15/1642.67 c rational objective 67.3333
1656.69/1668.22 c #Conflicts: 923000 | #Constraints: 48648
1656.69/1668.22 c #Conflicts: 924000 | #Constraints: 49648
1656.69/1668.22 c #Conflicts: 925000 | #Constraints: 50648
1656.69/1668.22 c #Conflicts: 926000 | #Constraints: 51648
1656.69/1668.22 c #Conflicts: 927000 | #Constraints: 52648
1656.69/1668.22 c #Conflicts: 928000 | #Constraints: 53648
1656.69/1668.22 c #Conflicts: 929000 | #Constraints: 54648
1656.69/1668.22 c #Conflicts: 930000 | #Constraints: 55648
1656.69/1668.22 c #Conflicts: 931000 | #Constraints: 56648
1656.69/1668.22 c #Conflicts: 932000 | #Constraints: 57648
1656.69/1668.22 c #Conflicts: 933000 | #Constraints: 58648
1656.69/1668.22 c #Conflicts: 934000 | #Constraints: 59648
1656.69/1668.22 c #Conflicts: 935000 | #Constraints: 60648
1656.69/1668.22 c #Conflicts: 936000 | #Constraints: 61648
1656.69/1668.22 c #Conflicts: 937000 | #Constraints: 62648
1656.69/1668.22 c #Conflicts: 938000 | #Constraints: 63648
1656.69/1668.22 c #Conflicts: 939000 | #Constraints: 64648
1656.69/1668.22 c #Conflicts: 940000 | #Constraints: 65648
1656.69/1668.22 c #Conflicts: 941000 | #Constraints: 66648
1656.69/1668.22 c INPROCESSING
1656.69/1668.22 c GARBAGE COLLECT
1656.69/1668.22 c rational objective 67.3333
1679.62/1691.25 c #Conflicts: 942000 | #Constraints: 48440
1679.62/1691.25 c #Conflicts: 943000 | #Constraints: 49440
1679.62/1691.25 c #Conflicts: 944000 | #Constraints: 50440
1679.62/1691.25 c #Conflicts: 945000 | #Constraints: 51440
1679.62/1691.25 c #Conflicts: 946000 | #Constraints: 52440
1679.62/1691.25 c #Conflicts: 947000 | #Constraints: 53440
1679.62/1691.25 c #Conflicts: 948000 | #Constraints: 54440
1679.62/1691.25 c #Conflicts: 949000 | #Constraints: 55440
1679.62/1691.25 c #Conflicts: 950000 | #Constraints: 56440
1679.62/1691.25 c #Conflicts: 951000 | #Constraints: 57440
1679.62/1691.25 c #Conflicts: 952000 | #Constraints: 58440
1679.62/1691.25 c #Conflicts: 953000 | #Constraints: 59440
1679.62/1691.25 c #Conflicts: 954000 | #Constraints: 60440
1679.62/1691.25 c #Conflicts: 955000 | #Constraints: 61440
1679.62/1691.25 c #Conflicts: 956000 | #Constraints: 62440
1679.62/1691.25 c #Conflicts: 957000 | #Constraints: 63440
1679.62/1691.25 c #Conflicts: 958000 | #Constraints: 64440
1679.62/1691.25 c #Conflicts: 959000 | #Constraints: 65440
1679.62/1691.25 c #Conflicts: 960000 | #Constraints: 66440
1679.62/1691.25 c #Conflicts: 961000 | #Constraints: 67440
1679.62/1691.25 c INPROCESSING
1679.62/1691.25 c GARBAGE COLLECT
1679.62/1691.25 c rational objective 67.3333
1700.06/1711.70 c #Conflicts: 962000 | #Constraints: 49039
1700.06/1711.70 c #Conflicts: 963000 | #Constraints: 50039
1700.06/1711.70 c #Conflicts: 964000 | #Constraints: 51039
1700.06/1711.70 c #Conflicts: 965000 | #Constraints: 52039
1700.06/1711.70 c #Conflicts: 966000 | #Constraints: 53039
1700.06/1711.70 c #Conflicts: 967000 | #Constraints: 54039
1700.06/1711.70 c #Conflicts: 968000 | #Constraints: 55039
1700.06/1711.70 c #Conflicts: 969000 | #Constraints: 56039
1700.06/1711.70 c #Conflicts: 970000 | #Constraints: 57039
1700.06/1711.70 c #Conflicts: 971000 | #Constraints: 58039
1700.06/1711.70 c #Conflicts: 972000 | #Constraints: 59039
1700.06/1711.70 c #Conflicts: 973000 | #Constraints: 60039
1700.06/1711.70 c #Conflicts: 974000 | #Constraints: 61039
1700.06/1711.70 c #Conflicts: 975000 | #Constraints: 62039
1700.06/1711.70 c #Conflicts: 976000 | #Constraints: 63039
1700.06/1711.70 c #Conflicts: 977000 | #Constraints: 64039
1700.06/1711.70 c #Conflicts: 978000 | #Constraints: 65039
1700.06/1711.70 c #Conflicts: 979000 | #Constraints: 66039
1700.06/1711.70 c #Conflicts: 980000 | #Constraints: 67039
1700.06/1711.70 c #Conflicts: 981000 | #Constraints: 68039
1700.06/1711.70 c INPROCESSING
1700.06/1711.70 c GARBAGE COLLECT
1700.06/1711.70 c rational objective 67.3333
1722.11/1733.88 c #Conflicts: 982000 | #Constraints: 49441
1722.11/1733.88 c #Conflicts: 983000 | #Constraints: 50441
1722.11/1733.88 c #Conflicts: 984000 | #Constraints: 51441
1722.11/1733.88 c #Conflicts: 985000 | #Constraints: 52441
1722.11/1733.88 c #Conflicts: 986000 | #Constraints: 53441
1722.11/1733.88 c #Conflicts: 987000 | #Constraints: 54441
1722.11/1733.88 c #Conflicts: 988000 | #Constraints: 55441
1722.11/1733.88 c #Conflicts: 989000 | #Constraints: 56441
1722.11/1733.88 c #Conflicts: 990000 | #Constraints: 57441
1722.11/1733.88 c #Conflicts: 991000 | #Constraints: 58441
1722.11/1733.88 c #Conflicts: 992000 | #Constraints: 59441
1722.11/1733.88 c #Conflicts: 993000 | #Constraints: 60441
1722.11/1733.88 c #Conflicts: 994000 | #Constraints: 61441
1722.11/1733.88 c #Conflicts: 995000 | #Constraints: 62441
1722.11/1733.88 c #Conflicts: 996000 | #Constraints: 63441
1722.11/1733.88 c #Conflicts: 997000 | #Constraints: 64441
1722.11/1733.88 c #Conflicts: 998000 | #Constraints: 65441
1722.11/1733.88 c #Conflicts: 999000 | #Constraints: 66441
1722.11/1733.88 c #Conflicts: 1000000 | #Constraints: 67441
1722.11/1733.88 c #Conflicts: 1001000 | #Constraints: 68441
1722.11/1733.88 c INPROCESSING
1722.11/1733.88 c GARBAGE COLLECT
1722.11/1733.88 c rational objective 67.3333
1750.35/1762.18 c #Conflicts: 1002000 | #Constraints: 49634
1750.35/1762.18 c #Conflicts: 1003000 | #Constraints: 50634
1750.35/1762.18 c #Conflicts: 1004000 | #Constraints: 51634
1750.35/1762.18 c #Conflicts: 1005000 | #Constraints: 52634
1750.35/1762.18 c #Conflicts: 1006000 | #Constraints: 53634
1750.35/1762.18 c #Conflicts: 1007000 | #Constraints: 54634
1750.35/1762.18 c #Conflicts: 1008000 | #Constraints: 55634
1750.35/1762.18 c #Conflicts: 1009000 | #Constraints: 56634
1750.35/1762.18 c #Conflicts: 1010000 | #Constraints: 57634
1750.35/1762.18 c #Conflicts: 1011000 | #Constraints: 58634
1750.35/1762.18 c #Conflicts: 1012000 | #Constraints: 59634
1750.35/1762.18 c #Conflicts: 1013000 | #Constraints: 60634
1750.35/1762.18 c #Conflicts: 1014000 | #Constraints: 61634
1750.35/1762.18 c #Conflicts: 1015000 | #Constraints: 62634
1750.35/1762.18 c #Conflicts: 1016000 | #Constraints: 63634
1750.35/1762.18 c #Conflicts: 1017000 | #Constraints: 64634
1750.35/1762.18 c #Conflicts: 1018000 | #Constraints: 65634
1750.35/1762.18 c #Conflicts: 1019000 | #Constraints: 66634
1750.35/1762.18 c #Conflicts: 1020000 | #Constraints: 67634
1750.35/1762.18 c #Conflicts: 1021000 | #Constraints: 68634
1750.35/1762.18 c INPROCESSING
1750.35/1762.18 c GARBAGE COLLECT
1750.35/1762.18 c rational objective 67.3333
1774.57/1786.46 c #Conflicts: 1022000 | #Constraints: 49634
1774.57/1786.46 c #Conflicts: 1023000 | #Constraints: 50634
1774.57/1786.46 c #Conflicts: 1024000 | #Constraints: 51634
1774.57/1786.46 c #Conflicts: 1025000 | #Constraints: 52634
1774.57/1786.46 c #Conflicts: 1026000 | #Constraints: 53634
1774.57/1786.46 c #Conflicts: 1027000 | #Constraints: 54634
1774.57/1786.46 c #Conflicts: 1028000 | #Constraints: 55634
1774.57/1786.46 c #Conflicts: 1029000 | #Constraints: 56634
1774.57/1786.46 c #Conflicts: 1030000 | #Constraints: 57634
1774.57/1786.46 c #Conflicts: 1031000 | #Constraints: 58634
1774.57/1786.46 c #Conflicts: 1032000 | #Constraints: 59634
1774.57/1786.46 c #Conflicts: 1033000 | #Constraints: 60634
1774.57/1786.46 c #Conflicts: 1034000 | #Constraints: 61634
1774.57/1786.46 c #Conflicts: 1035000 | #Constraints: 62634
1774.57/1786.46 c #Conflicts: 1036000 | #Constraints: 63634
1774.57/1786.46 c #Conflicts: 1037000 | #Constraints: 64634
1774.57/1786.46 c #Conflicts: 1038000 | #Constraints: 65634
1774.57/1786.46 c #Conflicts: 1039000 | #Constraints: 66634
1774.57/1786.46 c #Conflicts: 1040000 | #Constraints: 67634
1774.57/1786.46 c #Conflicts: 1041000 | #Constraints: 68634
1774.57/1786.46 c INPROCESSING
1774.57/1786.46 c GARBAGE COLLECT
1774.57/1786.46 c rational objective 67.3333
1808.27/1820.21 c #Conflicts: 1042000 | #Constraints: 49434
1808.27/1820.21 c #Conflicts: 1043000 | #Constraints: 50434
1808.27/1820.21 c #Conflicts: 1044000 | #Constraints: 51434
1808.27/1820.21 c #Conflicts: 1045000 | #Constraints: 52434
1808.27/1820.21 c #Conflicts: 1046000 | #Constraints: 53434
1808.27/1820.21 c #Conflicts: 1047000 | #Constraints: 54434
1808.27/1820.21 c #Conflicts: 1048000 | #Constraints: 55434
1808.27/1820.21 c #Conflicts: 1049000 | #Constraints: 56434
1808.27/1820.21 c #Conflicts: 1050000 | #Constraints: 57434
1808.27/1820.21 c #Conflicts: 1051000 | #Constraints: 58434
1808.27/1820.21 c #Conflicts: 1052000 | #Constraints: 59434
1808.27/1820.21 c #Conflicts: 1053000 | #Constraints: 60434
1808.27/1820.21 c #Conflicts: 1054000 | #Constraints: 61434
1808.27/1820.21 c #Conflicts: 1055000 | #Constraints: 62434
1808.27/1820.21 c #Conflicts: 1056000 | #Constraints: 63434
1808.27/1820.21 c #Conflicts: 1057000 | #Constraints: 64434
1808.27/1820.21 c #Conflicts: 1058000 | #Constraints: 65434
1808.27/1820.21 c #Conflicts: 1059000 | #Constraints: 66434
1808.27/1820.21 c #Conflicts: 1060000 | #Constraints: 67434
1808.27/1820.21 c #Conflicts: 1061000 | #Constraints: 68434
1808.27/1820.21 c #Conflicts: 1062000 | #Constraints: 69434
1808.27/1820.21 c INPROCESSING
1808.27/1820.21 c GARBAGE COLLECT
1808.27/1820.21 c rational objective 67.3333
1849.24/1861.37 c #Conflicts: 1063000 | #Constraints: 50030
1849.24/1861.37 c #Conflicts: 1064000 | #Constraints: 51030
1849.24/1861.37 c #Conflicts: 1065000 | #Constraints: 52030
1849.24/1861.37 c #Conflicts: 1066000 | #Constraints: 53030
1849.24/1861.37 c #Conflicts: 1067000 | #Constraints: 54030
1849.24/1861.37 c #Conflicts: 1068000 | #Constraints: 55030
1849.24/1861.37 c #Conflicts: 1069000 | #Constraints: 56030
1849.24/1861.37 c #Conflicts: 1070000 | #Constraints: 57030
1849.24/1861.37 c #Conflicts: 1071000 | #Constraints: 58030
1849.24/1861.37 c #Conflicts: 1072000 | #Constraints: 59030
1849.24/1861.37 c #Conflicts: 1073000 | #Constraints: 60030
1849.24/1861.37 c #Conflicts: 1074000 | #Constraints: 61030
1849.24/1861.37 c #Conflicts: 1075000 | #Constraints: 62030
1849.24/1861.37 c #Conflicts: 1076000 | #Constraints: 63030
1849.24/1861.37 c #Conflicts: 1077000 | #Constraints: 64030
1849.24/1861.37 c #Conflicts: 1078000 | #Constraints: 65030
1849.24/1861.37 c #Conflicts: 1079000 | #Constraints: 66030
1849.24/1861.37 c #Conflicts: 1080000 | #Constraints: 67030
1849.24/1861.37 c #Conflicts: 1081000 | #Constraints: 68030
1849.24/1861.37 c #Conflicts: 1082000 | #Constraints: 69030
1849.24/1861.37 c #Conflicts: 1083000 | #Constraints: 70030
1849.24/1861.37 c INPROCESSING
1849.24/1861.37 c GARBAGE COLLECT
1849.24/1861.37 c rational objective 67.3333
1897.18/1909.45 c #Conflicts: 1084000 | #Constraints: 50434
1897.18/1909.45 c #Conflicts: 1085000 | #Constraints: 51434
1897.18/1909.45 c #Conflicts: 1086000 | #Constraints: 52434
1897.18/1909.45 c #Conflicts: 1087000 | #Constraints: 53434
1897.18/1909.45 c #Conflicts: 1088000 | #Constraints: 54434
1897.18/1909.45 c #Conflicts: 1089000 | #Constraints: 55434
1897.18/1909.45 c #Conflicts: 1090000 | #Constraints: 56434
1897.18/1909.45 c #Conflicts: 1091000 | #Constraints: 57434
1897.18/1909.45 c #Conflicts: 1092000 | #Constraints: 58434
1897.18/1909.45 c #Conflicts: 1093000 | #Constraints: 59434
1897.18/1909.45 c #Conflicts: 1094000 | #Constraints: 60434
1897.18/1909.45 c #Conflicts: 1095000 | #Constraints: 61434
1897.18/1909.45 c #Conflicts: 1096000 | #Constraints: 62434
1897.18/1909.45 c #Conflicts: 1097000 | #Constraints: 63434
1897.18/1909.45 c #Conflicts: 1098000 | #Constraints: 64434
1897.18/1909.45 c #Conflicts: 1099000 | #Constraints: 65434
1897.18/1909.45 c #Conflicts: 1100000 | #Constraints: 66434
1897.18/1909.45 c #Conflicts: 1101000 | #Constraints: 67434
1897.18/1909.45 c #Conflicts: 1102000 | #Constraints: 68434
1897.18/1909.45 c #Conflicts: 1103000 | #Constraints: 69434
1897.18/1909.45 c #Conflicts: 1104000 | #Constraints: 70434
1897.18/1909.45 c INPROCESSING
1897.18/1909.45 c GARBAGE COLLECT
1897.18/1909.45 c rational objective 67.3333
1924.60/1937.01 c #Conflicts: 1105000 | #Constraints: 50632
1924.60/1937.01 c #Conflicts: 1106000 | #Constraints: 51632
1924.60/1937.01 c #Conflicts: 1107000 | #Constraints: 52632
1924.60/1937.01 c #Conflicts: 1108000 | #Constraints: 53632
1924.60/1937.01 c #Conflicts: 1109000 | #Constraints: 54632
1924.60/1937.01 c #Conflicts: 1110000 | #Constraints: 55632
1924.60/1937.01 c #Conflicts: 1111000 | #Constraints: 56632
1924.60/1937.01 c #Conflicts: 1112000 | #Constraints: 57632
1924.60/1937.01 c #Conflicts: 1113000 | #Constraints: 58632
1924.60/1937.01 c #Conflicts: 1114000 | #Constraints: 59632
1924.60/1937.01 c #Conflicts: 1115000 | #Constraints: 60632
1924.60/1937.01 c #Conflicts: 1116000 | #Constraints: 61632
1924.60/1937.01 c #Conflicts: 1117000 | #Constraints: 62632
1924.60/1937.01 c #Conflicts: 1118000 | #Constraints: 63632
1924.60/1937.01 c #Conflicts: 1119000 | #Constraints: 64632
1924.60/1937.01 c #Conflicts: 1120000 | #Constraints: 65632
1924.60/1937.01 c #Conflicts: 1121000 | #Constraints: 66632
1924.60/1937.01 c #Conflicts: 1122000 | #Constraints: 67632
1924.60/1937.01 c #Conflicts: 1123000 | #Constraints: 68632
1924.60/1937.01 c #Conflicts: 1124000 | #Constraints: 69632
1924.60/1937.01 c #Conflicts: 1125000 | #Constraints: 70632
1924.60/1937.01 c INPROCESSING
1924.60/1937.01 c GARBAGE COLLECT
1924.60/1937.01 c rational objective 67.3333
1949.12/1961.57 c #Conflicts: 1126000 | #Constraints: 50629
1949.12/1961.57 c #Conflicts: 1127000 | #Constraints: 51629
1949.12/1961.57 c #Conflicts: 1128000 | #Constraints: 52629
1949.12/1961.57 c #Conflicts: 1129000 | #Constraints: 53629
1949.12/1961.57 c #Conflicts: 1130000 | #Constraints: 54629
1949.12/1961.57 c #Conflicts: 1131000 | #Constraints: 55629
1949.12/1961.57 c #Conflicts: 1132000 | #Constraints: 56629
1949.12/1961.57 c #Conflicts: 1133000 | #Constraints: 57629
1949.12/1961.57 c #Conflicts: 1134000 | #Constraints: 58629
1949.12/1961.57 c #Conflicts: 1135000 | #Constraints: 59629
1949.12/1961.57 c #Conflicts: 1136000 | #Constraints: 60629
1949.12/1961.57 c #Conflicts: 1137000 | #Constraints: 61629
1949.12/1961.57 c #Conflicts: 1138000 | #Constraints: 62629
1949.12/1961.57 c #Conflicts: 1139000 | #Constraints: 63629
1949.12/1961.57 c #Conflicts: 1140000 | #Constraints: 64629
1949.12/1961.57 c #Conflicts: 1141000 | #Constraints: 65629
1949.12/1961.57 c #Conflicts: 1142000 | #Constraints: 66629
1949.12/1961.57 c #Conflicts: 1143000 | #Constraints: 67629
1949.12/1961.57 c #Conflicts: 1144000 | #Constraints: 68629
1949.12/1961.57 c #Conflicts: 1145000 | #Constraints: 69629
1949.12/1961.57 c #Conflicts: 1146000 | #Constraints: 70629
1949.12/1961.57 c INPROCESSING
1949.12/1961.57 c GARBAGE COLLECT
1949.12/1961.57 c rational objective 67.3333
1978.14/1990.65 c #Conflicts: 1147000 | #Constraints: 50436
1978.14/1990.65 c #Conflicts: 1148000 | #Constraints: 51436
1978.14/1990.65 c #Conflicts: 1149000 | #Constraints: 52436
1978.14/1990.65 c #Conflicts: 1150000 | #Constraints: 53436
1978.14/1990.65 c #Conflicts: 1151000 | #Constraints: 54436
1978.14/1990.65 c #Conflicts: 1152000 | #Constraints: 55436
1978.14/1990.65 c #Conflicts: 1153000 | #Constraints: 56436
1978.14/1990.65 c #Conflicts: 1154000 | #Constraints: 57436
1978.14/1990.65 c #Conflicts: 1155000 | #Constraints: 58436
1978.14/1990.65 c #Conflicts: 1156000 | #Constraints: 59436
1978.14/1990.65 c #Conflicts: 1157000 | #Constraints: 60436
1978.14/1990.65 c #Conflicts: 1158000 | #Constraints: 61436
1978.14/1990.65 c #Conflicts: 1159000 | #Constraints: 62436
1978.14/1990.65 c #Conflicts: 1160000 | #Constraints: 63436
1978.14/1990.65 c #Conflicts: 1161000 | #Constraints: 64436
1978.14/1990.65 c #Conflicts: 1162000 | #Constraints: 65436
1978.14/1990.65 c #Conflicts: 1163000 | #Constraints: 66436
1978.14/1990.65 c #Conflicts: 1164000 | #Constraints: 67436
1978.14/1990.65 c #Conflicts: 1165000 | #Constraints: 68436
1978.14/1990.65 c #Conflicts: 1166000 | #Constraints: 69436
1978.14/1990.65 c #Conflicts: 1167000 | #Constraints: 70436
1978.14/1990.65 c #Conflicts: 1168000 | #Constraints: 71436
1978.14/1990.65 c INPROCESSING
1978.14/1990.65 c GARBAGE COLLECT
1978.14/1990.65 c rational objective 67.3333
2020.90/2033.53 c #Conflicts: 1169000 | #Constraints: 51032
2020.90/2033.53 c #Conflicts: 1170000 | #Constraints: 52032
2020.90/2033.53 c #Conflicts: 1171000 | #Constraints: 53032
2020.90/2033.53 c #Conflicts: 1172000 | #Constraints: 54032
2020.90/2033.53 c #Conflicts: 1173000 | #Constraints: 55032
2020.90/2033.53 c #Conflicts: 1174000 | #Constraints: 56032
2020.90/2033.53 c #Conflicts: 1175000 | #Constraints: 57032
2020.90/2033.53 c #Conflicts: 1176000 | #Constraints: 58032
2020.90/2033.53 c #Conflicts: 1177000 | #Constraints: 59032
2020.90/2033.53 c #Conflicts: 1178000 | #Constraints: 60032
2020.90/2033.53 c #Conflicts: 1179000 | #Constraints: 61032
2020.90/2033.53 c #Conflicts: 1180000 | #Constraints: 62032
2020.90/2033.53 c #Conflicts: 1181000 | #Constraints: 63032
2020.90/2033.53 c #Conflicts: 1182000 | #Constraints: 64032
2020.90/2033.53 c #Conflicts: 1183000 | #Constraints: 65032
2020.90/2033.53 c #Conflicts: 1184000 | #Constraints: 66032
2020.90/2033.53 c #Conflicts: 1185000 | #Constraints: 67032
2020.90/2033.53 c #Conflicts: 1186000 | #Constraints: 68032
2020.90/2033.53 c #Conflicts: 1187000 | #Constraints: 69032
2020.90/2033.53 c #Conflicts: 1188000 | #Constraints: 70032
2020.90/2033.53 c #Conflicts: 1189000 | #Constraints: 71032
2020.90/2033.53 c #Conflicts: 1190000 | #Constraints: 72032
2020.90/2033.53 c INPROCESSING
2020.90/2033.53 c GARBAGE COLLECT
2020.90/2033.53 c rational objective 67.3333
2045.52/2058.27 c #Conflicts: 1191000 | #Constraints: 51428
2045.52/2058.27 c #Conflicts: 1192000 | #Constraints: 52428
2045.52/2058.27 c #Conflicts: 1193000 | #Constraints: 53428
2045.52/2058.27 c #Conflicts: 1194000 | #Constraints: 54428
2045.52/2058.27 c #Conflicts: 1195000 | #Constraints: 55428
2045.52/2058.27 c #Conflicts: 1196000 | #Constraints: 56428
2045.52/2058.27 c #Conflicts: 1197000 | #Constraints: 57428
2045.52/2058.27 c #Conflicts: 1198000 | #Constraints: 58428
2045.52/2058.27 c #Conflicts: 1199000 | #Constraints: 59428
2045.52/2058.27 c #Conflicts: 1200000 | #Constraints: 60428
2045.52/2058.27 c #Conflicts: 1201000 | #Constraints: 61428
2045.52/2058.27 c #Conflicts: 1202000 | #Constraints: 62428
2045.52/2058.27 c #Conflicts: 1203000 | #Constraints: 63428
2045.52/2058.27 c #Conflicts: 1204000 | #Constraints: 64428
2045.52/2058.27 c #Conflicts: 1205000 | #Constraints: 65428
2045.52/2058.27 c #Conflicts: 1206000 | #Constraints: 66429
2045.52/2058.27 c #Conflicts: 1207000 | #Constraints: 67429
2045.52/2058.27 c #Conflicts: 1208000 | #Constraints: 68429
2045.52/2058.27 c #Conflicts: 1209000 | #Constraints: 69429
2045.52/2058.27 c #Conflicts: 1210000 | #Constraints: 70429
2045.52/2058.27 c #Conflicts: 1211000 | #Constraints: 71429
2045.52/2058.27 c #Conflicts: 1212000 | #Constraints: 72429
2045.52/2058.27 c INPROCESSING
2045.52/2058.27 c GARBAGE COLLECT
2045.52/2058.27 c rational objective 67.3333
2081.69/2094.51 c #Conflicts: 1213000 | #Constraints: 51625
2081.69/2094.51 c #Conflicts: 1214000 | #Constraints: 52625
2081.69/2094.51 c #Conflicts: 1215000 | #Constraints: 53625
2081.69/2094.51 c #Conflicts: 1216000 | #Constraints: 54625
2081.69/2094.51 c #Conflicts: 1217000 | #Constraints: 55625
2081.69/2094.51 c #Conflicts: 1218000 | #Constraints: 56625
2081.69/2094.51 c #Conflicts: 1219000 | #Constraints: 57625
2081.69/2094.51 c #Conflicts: 1220000 | #Constraints: 58625
2081.69/2094.51 c #Conflicts: 1221000 | #Constraints: 59625
2081.69/2094.51 c #Conflicts: 1222000 | #Constraints: 60625
2081.69/2094.51 c #Conflicts: 1223000 | #Constraints: 61625
2081.69/2094.51 c #Conflicts: 1224000 | #Constraints: 62625
2081.69/2094.51 c #Conflicts: 1225000 | #Constraints: 63625
2081.69/2094.51 c #Conflicts: 1226000 | #Constraints: 64625
2081.69/2094.51 c #Conflicts: 1227000 | #Constraints: 65625
2081.69/2094.51 c #Conflicts: 1228000 | #Constraints: 66625
2081.69/2094.51 c #Conflicts: 1229000 | #Constraints: 67625
2081.69/2094.51 c #Conflicts: 1230000 | #Constraints: 68625
2081.69/2094.51 c #Conflicts: 1231000 | #Constraints: 69625
2081.69/2094.51 c #Conflicts: 1232000 | #Constraints: 70625
2081.69/2094.51 c #Conflicts: 1233000 | #Constraints: 71625
2081.69/2094.51 c #Conflicts: 1234000 | #Constraints: 72625
2081.69/2094.51 c INPROCESSING
2081.69/2094.51 c GARBAGE COLLECT
2081.69/2094.51 c rational objective 67.3333
2109.59/2122.59 c #Conflicts: 1235000 | #Constraints: 51638
2109.59/2122.59 c #Conflicts: 1236000 | #Constraints: 52638
2109.59/2122.59 c #Conflicts: 1237000 | #Constraints: 53638
2109.59/2122.59 c #Conflicts: 1238000 | #Constraints: 54638
2109.59/2122.59 c #Conflicts: 1239000 | #Constraints: 55638
2109.59/2122.59 c #Conflicts: 1240000 | #Constraints: 56638
2109.59/2122.59 c #Conflicts: 1241000 | #Constraints: 57638
2109.59/2122.59 c #Conflicts: 1242000 | #Constraints: 58638
2109.59/2122.59 c #Conflicts: 1243000 | #Constraints: 59638
2109.59/2122.59 c #Conflicts: 1244000 | #Constraints: 60638
2109.59/2122.59 c #Conflicts: 1245000 | #Constraints: 61638
2109.59/2122.59 c #Conflicts: 1246000 | #Constraints: 62638
2109.59/2122.59 c #Conflicts: 1247000 | #Constraints: 63638
2109.59/2122.59 c #Conflicts: 1248000 | #Constraints: 64638
2109.59/2122.59 c #Conflicts: 1249000 | #Constraints: 65638
2109.59/2122.59 c #Conflicts: 1250000 | #Constraints: 66638
2109.59/2122.59 c #Conflicts: 1251000 | #Constraints: 67638
2109.59/2122.59 c #Conflicts: 1252000 | #Constraints: 68638
2109.59/2122.59 c #Conflicts: 1253000 | #Constraints: 69638
2109.59/2122.59 c #Conflicts: 1254000 | #Constraints: 70638
2109.59/2122.59 c #Conflicts: 1255000 | #Constraints: 71638
2109.59/2122.59 c #Conflicts: 1256000 | #Constraints: 72638
2109.59/2122.59 c INPROCESSING
2109.59/2122.59 c GARBAGE COLLECT
2109.59/2122.59 c rational objective 67.3333
2156.52/2169.69 c #Conflicts: 1257000 | #Constraints: 51435
2156.52/2169.69 c #Conflicts: 1258000 | #Constraints: 52435
2156.52/2169.69 c #Conflicts: 1259000 | #Constraints: 53435
2156.52/2169.69 c #Conflicts: 1260000 | #Constraints: 54435
2156.52/2169.69 c #Conflicts: 1261000 | #Constraints: 55435
2156.52/2169.69 c #Conflicts: 1262000 | #Constraints: 56435
2156.52/2169.69 c #Conflicts: 1263000 | #Constraints: 57435
2156.52/2169.69 c #Conflicts: 1264000 | #Constraints: 58435
2156.52/2169.69 c #Conflicts: 1265000 | #Constraints: 59435
2156.52/2169.69 c #Conflicts: 1266000 | #Constraints: 60435
2156.52/2169.69 c #Conflicts: 1267000 | #Constraints: 61435
2156.52/2169.69 c #Conflicts: 1268000 | #Constraints: 62435
2156.52/2169.69 c #Conflicts: 1269000 | #Constraints: 63435
2156.52/2169.69 c #Conflicts: 1270000 | #Constraints: 64435
2156.52/2169.69 c #Conflicts: 1271000 | #Constraints: 65435
2156.52/2169.69 c #Conflicts: 1272000 | #Constraints: 66435
2156.52/2169.69 c #Conflicts: 1273000 | #Constraints: 67435
2156.52/2169.69 c #Conflicts: 1274000 | #Constraints: 68435
2156.52/2169.69 c #Conflicts: 1275000 | #Constraints: 69435
2156.52/2169.69 c #Conflicts: 1276000 | #Constraints: 70435
2156.52/2169.69 c #Conflicts: 1277000 | #Constraints: 71435
2156.52/2169.69 c #Conflicts: 1278000 | #Constraints: 72435
2156.52/2169.69 c #Conflicts: 1279000 | #Constraints: 73435
2156.52/2169.69 c INPROCESSING
2156.52/2169.69 c GARBAGE COLLECT
2156.52/2169.69 c rational objective 67.3333
2197.58/2210.84 c #Conflicts: 1280000 | #Constraints: 52042
2197.58/2210.84 c #Conflicts: 1281000 | #Constraints: 53042
2197.58/2210.84 c #Conflicts: 1282000 | #Constraints: 54042
2197.58/2210.84 c #Conflicts: 1283000 | #Constraints: 55042
2197.58/2210.84 c #Conflicts: 1284000 | #Constraints: 56042
2197.58/2210.84 c #Conflicts: 1285000 | #Constraints: 57042
2197.58/2210.84 c #Conflicts: 1286000 | #Constraints: 58042
2197.58/2210.84 c #Conflicts: 1287000 | #Constraints: 59042
2197.58/2210.84 c #Conflicts: 1288000 | #Constraints: 60042
2197.58/2210.84 c #Conflicts: 1289000 | #Constraints: 61042
2197.58/2210.84 c #Conflicts: 1290000 | #Constraints: 62042
2197.58/2210.84 c #Conflicts: 1291000 | #Constraints: 63042
2197.58/2210.84 c #Conflicts: 1292000 | #Constraints: 64042
2197.58/2210.84 c #Conflicts: 1293000 | #Constraints: 65042
2197.58/2210.84 c #Conflicts: 1294000 | #Constraints: 66042
2197.58/2210.84 c #Conflicts: 1295000 | #Constraints: 67042
2197.58/2210.84 c #Conflicts: 1296000 | #Constraints: 68042
2197.58/2210.84 c #Conflicts: 1297000 | #Constraints: 69042
2197.58/2210.84 c #Conflicts: 1298000 | #Constraints: 70042
2197.58/2210.84 c #Conflicts: 1299000 | #Constraints: 71042
2197.58/2210.84 c #Conflicts: 1300000 | #Constraints: 72042
2197.58/2210.84 c #Conflicts: 1301000 | #Constraints: 73042
2197.58/2210.84 c #Conflicts: 1302000 | #Constraints: 74042
2197.58/2210.84 c INPROCESSING
2197.58/2210.84 c GARBAGE COLLECT
2197.58/2210.84 c rational objective 67.3333
2227.59/2240.94 c #Conflicts: 1303000 | #Constraints: 52445
2227.59/2240.94 c #Conflicts: 1304000 | #Constraints: 53445
2227.59/2240.94 c #Conflicts: 1305000 | #Constraints: 54445
2227.59/2240.94 c #Conflicts: 1306000 | #Constraints: 55445
2227.59/2240.94 c #Conflicts: 1307000 | #Constraints: 56445
2227.59/2240.94 c #Conflicts: 1308000 | #Constraints: 57445
2227.59/2240.94 c #Conflicts: 1309000 | #Constraints: 58445
2227.59/2240.94 c #Conflicts: 1310000 | #Constraints: 59445
2227.59/2240.94 c #Conflicts: 1311000 | #Constraints: 60445
2227.59/2240.94 c #Conflicts: 1312000 | #Constraints: 61445
2227.59/2240.94 c #Conflicts: 1313000 | #Constraints: 62445
2227.59/2240.94 c #Conflicts: 1314000 | #Constraints: 63445
2227.59/2240.94 c #Conflicts: 1315000 | #Constraints: 64445
2227.59/2240.94 c #Conflicts: 1316000 | #Constraints: 65445
2227.59/2240.94 c #Conflicts: 1317000 | #Constraints: 66445
2227.59/2240.94 c #Conflicts: 1318000 | #Constraints: 67445
2227.59/2240.94 c #Conflicts: 1319000 | #Constraints: 68445
2227.59/2240.94 c #Conflicts: 1320000 | #Constraints: 69445
2227.59/2240.94 c #Conflicts: 1321000 | #Constraints: 70445
2227.59/2240.94 c #Conflicts: 1322000 | #Constraints: 71445
2227.59/2240.94 c #Conflicts: 1323000 | #Constraints: 72445
2227.59/2240.94 c #Conflicts: 1324000 | #Constraints: 73445
2227.59/2240.94 c #Conflicts: 1325000 | #Constraints: 74445
2227.59/2240.94 c INPROCESSING
2227.59/2240.94 c GARBAGE COLLECT
2227.59/2240.94 c rational objective 67.3333
2259.70/2273.17 c #Conflicts: 1326000 | #Constraints: 52643
2259.70/2273.17 c #Conflicts: 1327000 | #Constraints: 53643
2259.70/2273.17 c #Conflicts: 1328000 | #Constraints: 54643
2259.70/2273.17 c #Conflicts: 1329000 | #Constraints: 55643
2259.70/2273.17 c #Conflicts: 1330000 | #Constraints: 56643
2259.70/2273.17 c #Conflicts: 1331000 | #Constraints: 57643
2259.70/2273.17 c #Conflicts: 1332000 | #Constraints: 58643
2259.70/2273.17 c #Conflicts: 1333000 | #Constraints: 59643
2259.70/2273.17 c #Conflicts: 1334000 | #Constraints: 60643
2259.70/2273.17 c #Conflicts: 1335000 | #Constraints: 61643
2259.70/2273.17 c #Conflicts: 1336000 | #Constraints: 62643
2259.70/2273.17 c #Conflicts: 1337000 | #Constraints: 63643
2259.70/2273.17 c #Conflicts: 1338000 | #Constraints: 64643
2259.70/2273.17 c #Conflicts: 1339000 | #Constraints: 65643
2259.70/2273.17 c #Conflicts: 1340000 | #Constraints: 66643
2259.70/2273.17 c #Conflicts: 1341000 | #Constraints: 67643
2259.70/2273.17 c #Conflicts: 1342000 | #Constraints: 68643
2259.70/2273.17 c #Conflicts: 1343000 | #Constraints: 69643
2259.70/2273.17 c #Conflicts: 1344000 | #Constraints: 70643
2259.70/2273.17 c #Conflicts: 1345000 | #Constraints: 71643
2259.70/2273.17 c #Conflicts: 1346000 | #Constraints: 72643
2259.70/2273.17 c #Conflicts: 1347000 | #Constraints: 73643
2259.70/2273.17 c #Conflicts: 1348000 | #Constraints: 74643
2259.70/2273.17 c INPROCESSING
2259.70/2273.17 c GARBAGE COLLECT
2259.70/2273.17 c rational objective 67.3333
2305.73/2319.34 c #Conflicts: 1349000 | #Constraints: 52646
2305.73/2319.34 c #Conflicts: 1350000 | #Constraints: 53646
2305.73/2319.34 c #Conflicts: 1351000 | #Constraints: 54646
2305.73/2319.34 c #Conflicts: 1352000 | #Constraints: 55646
2305.73/2319.34 c #Conflicts: 1353000 | #Constraints: 56646
2305.73/2319.34 c #Conflicts: 1354000 | #Constraints: 57646
2305.73/2319.34 c #Conflicts: 1355000 | #Constraints: 58646
2305.73/2319.34 c #Conflicts: 1356000 | #Constraints: 59646
2305.73/2319.34 c #Conflicts: 1357000 | #Constraints: 60646
2305.73/2319.34 c #Conflicts: 1358000 | #Constraints: 61646
2305.73/2319.34 c #Conflicts: 1359000 | #Constraints: 62646
2305.73/2319.34 c #Conflicts: 1360000 | #Constraints: 63646
2305.73/2319.34 c #Conflicts: 1361000 | #Constraints: 64646
2305.73/2319.34 c #Conflicts: 1362000 | #Constraints: 65646
2305.73/2319.34 c #Conflicts: 1363000 | #Constraints: 66646
2305.73/2319.34 c #Conflicts: 1364000 | #Constraints: 67646
2305.73/2319.34 c #Conflicts: 1365000 | #Constraints: 68646
2305.73/2319.34 c #Conflicts: 1366000 | #Constraints: 69646
2305.73/2319.34 c #Conflicts: 1367000 | #Constraints: 70646
2305.73/2319.34 c #Conflicts: 1368000 | #Constraints: 71646
2305.73/2319.34 c #Conflicts: 1369000 | #Constraints: 72646
2305.73/2319.34 c #Conflicts: 1370000 | #Constraints: 73646
2305.73/2319.34 c #Conflicts: 1371000 | #Constraints: 74646
2305.73/2319.34 c INPROCESSING
2305.73/2319.34 c GARBAGE COLLECT
2305.73/2319.34 c rational objective 67.3333
2373.91/2387.76 c #Conflicts: 1372000 | #Constraints: 52446
2373.91/2387.76 c #Conflicts: 1373000 | #Constraints: 53446
2373.91/2387.76 c #Conflicts: 1374000 | #Constraints: 54446
2373.91/2387.76 c #Conflicts: 1375000 | #Constraints: 55446
2373.91/2387.76 c #Conflicts: 1376000 | #Constraints: 56446
2373.91/2387.76 c #Conflicts: 1377000 | #Constraints: 57446
2373.91/2387.76 c #Conflicts: 1378000 | #Constraints: 58446
2373.91/2387.76 c #Conflicts: 1379000 | #Constraints: 59446
2373.91/2387.76 c #Conflicts: 1380000 | #Constraints: 60446
2373.91/2387.76 c #Conflicts: 1381000 | #Constraints: 61446
2373.91/2387.76 c #Conflicts: 1382000 | #Constraints: 62446
2373.91/2387.76 c #Conflicts: 1383000 | #Constraints: 63446
2373.91/2387.76 c #Conflicts: 1384000 | #Constraints: 64446
2373.91/2387.76 c #Conflicts: 1385000 | #Constraints: 65446
2373.91/2387.76 c #Conflicts: 1386000 | #Constraints: 66446
2373.91/2387.76 c #Conflicts: 1387000 | #Constraints: 67446
2373.91/2387.76 c #Conflicts: 1388000 | #Constraints: 68446
2373.91/2387.76 c #Conflicts: 1389000 | #Constraints: 69446
2373.91/2387.76 c #Conflicts: 1390000 | #Constraints: 70446
2373.91/2387.76 c #Conflicts: 1391000 | #Constraints: 71446
2373.91/2387.76 c #Conflicts: 1392000 | #Constraints: 72446
2373.91/2387.76 c #Conflicts: 1393000 | #Constraints: 73446
2373.91/2387.76 c #Conflicts: 1394000 | #Constraints: 74446
2373.91/2387.76 c #Conflicts: 1395000 | #Constraints: 75446
2373.91/2387.76 c INPROCESSING
2373.91/2387.76 c GARBAGE COLLECT
2373.91/2387.76 c rational objective 67.3333
2404.83/2418.71 c #Conflicts: 1396000 | #Constraints: 53049
2404.83/2418.71 c #Conflicts: 1397000 | #Constraints: 54049
2404.83/2418.71 c #Conflicts: 1398000 | #Constraints: 55049
2404.83/2418.71 c #Conflicts: 1399000 | #Constraints: 56049
2404.83/2418.71 c #Conflicts: 1400000 | #Constraints: 57049
2404.83/2418.71 c #Conflicts: 1401000 | #Constraints: 58049
2404.83/2418.71 c #Conflicts: 1402000 | #Constraints: 59049
2404.83/2418.71 c #Conflicts: 1403000 | #Constraints: 60049
2404.83/2418.71 c #Conflicts: 1404000 | #Constraints: 61049
2404.83/2418.71 c #Conflicts: 1405000 | #Constraints: 62049
2404.83/2418.71 c #Conflicts: 1406000 | #Constraints: 63049
2404.83/2418.71 c #Conflicts: 1407000 | #Constraints: 64049
2404.83/2418.71 c #Conflicts: 1408000 | #Constraints: 65049
2404.83/2418.71 c #Conflicts: 1409000 | #Constraints: 66049
2404.83/2418.71 c #Conflicts: 1410000 | #Constraints: 67049
2404.83/2418.71 c #Conflicts: 1411000 | #Constraints: 68049
2404.83/2418.71 c #Conflicts: 1412000 | #Constraints: 69049
2404.83/2418.71 c #Conflicts: 1413000 | #Constraints: 70049
2404.83/2418.71 c #Conflicts: 1414000 | #Constraints: 71049
2404.83/2418.71 c #Conflicts: 1415000 | #Constraints: 72049
2404.83/2418.72 c #Conflicts: 1416000 | #Constraints: 73049
2404.83/2418.72 c #Conflicts: 1417000 | #Constraints: 74049
2404.83/2418.72 c #Conflicts: 1418000 | #Constraints: 75049
2404.83/2418.72 c #Conflicts: 1419000 | #Constraints: 76049
2404.83/2418.72 c INPROCESSING
2404.83/2418.72 c GARBAGE COLLECT
2404.83/2418.72 c rational objective 67.3333
2433.65/2447.67 c #Conflicts: 1420000 | #Constraints: 53443
2433.65/2447.67 c #Conflicts: 1421000 | #Constraints: 54443
2433.65/2447.67 c #Conflicts: 1422000 | #Constraints: 55443
2433.65/2447.67 c #Conflicts: 1423000 | #Constraints: 56443
2433.65/2447.67 c #Conflicts: 1424000 | #Constraints: 57443
2433.65/2447.67 c #Conflicts: 1425000 | #Constraints: 58443
2433.65/2447.67 c #Conflicts: 1426000 | #Constraints: 59443
2433.65/2447.67 c #Conflicts: 1427000 | #Constraints: 60443
2433.65/2447.67 c #Conflicts: 1428000 | #Constraints: 61443
2433.65/2447.67 c #Conflicts: 1429000 | #Constraints: 62443
2433.65/2447.67 c #Conflicts: 1430000 | #Constraints: 63443
2433.65/2447.67 c #Conflicts: 1431000 | #Constraints: 64443
2433.65/2447.67 c #Conflicts: 1432000 | #Constraints: 65443
2433.65/2447.67 c #Conflicts: 1433000 | #Constraints: 66443
2433.65/2447.67 c #Conflicts: 1434000 | #Constraints: 67443
2433.65/2447.67 c #Conflicts: 1435000 | #Constraints: 68443
2433.65/2447.67 c #Conflicts: 1436000 | #Constraints: 69443
2433.65/2447.67 c #Conflicts: 1437000 | #Constraints: 70443
2433.65/2447.67 c #Conflicts: 1438000 | #Constraints: 71443
2433.65/2447.67 c #Conflicts: 1439000 | #Constraints: 72443
2433.65/2447.67 c #Conflicts: 1440000 | #Constraints: 73443
2433.65/2447.67 c #Conflicts: 1441000 | #Constraints: 74443
2433.65/2447.67 c #Conflicts: 1442000 | #Constraints: 75443
2433.65/2447.67 c #Conflicts: 1443000 | #Constraints: 76443
2433.65/2447.67 c INPROCESSING
2433.65/2447.67 c GARBAGE COLLECT
2433.65/2447.67 c rational objective 67.3333
2463.08/2477.13 c #Conflicts: 1444000 | #Constraints: 53639
2463.08/2477.13 c #Conflicts: 1445000 | #Constraints: 54639
2463.08/2477.13 c #Conflicts: 1446000 | #Constraints: 55639
2463.08/2477.13 c #Conflicts: 1447000 | #Constraints: 56639
2463.08/2477.13 c #Conflicts: 1448000 | #Constraints: 57639
2463.08/2477.13 c #Conflicts: 1449000 | #Constraints: 58639
2463.08/2477.13 c #Conflicts: 1450000 | #Constraints: 59639
2463.08/2477.13 c #Conflicts: 1451000 | #Constraints: 60639
2463.08/2477.13 c #Conflicts: 1452000 | #Constraints: 61639
2463.08/2477.13 c #Conflicts: 1453000 | #Constraints: 62639
2463.08/2477.13 c #Conflicts: 1454000 | #Constraints: 63639
2463.08/2477.13 c #Conflicts: 1455000 | #Constraints: 64639
2463.08/2477.13 c #Conflicts: 1456000 | #Constraints: 65639
2463.08/2477.13 c #Conflicts: 1457000 | #Constraints: 66639
2463.08/2477.13 c #Conflicts: 1458000 | #Constraints: 67639
2463.08/2477.13 c #Conflicts: 1459000 | #Constraints: 68639
2463.08/2477.13 c #Conflicts: 1460000 | #Constraints: 69639
2463.08/2477.13 c #Conflicts: 1461000 | #Constraints: 70639
2463.08/2477.13 c #Conflicts: 1462000 | #Constraints: 71639
2463.08/2477.13 c #Conflicts: 1463000 | #Constraints: 72639
2463.08/2477.13 c #Conflicts: 1464000 | #Constraints: 73639
2463.08/2477.13 c #Conflicts: 1465000 | #Constraints: 74639
2463.08/2477.13 c #Conflicts: 1466000 | #Constraints: 75639
2463.08/2477.13 c #Conflicts: 1467000 | #Constraints: 76639
2463.08/2477.13 c INPROCESSING
2463.08/2477.13 c GARBAGE COLLECT
2463.08/2477.13 c rational objective 67.3333
2498.77/2512.94 c #Conflicts: 1468000 | #Constraints: 53620
2498.77/2512.94 c #Conflicts: 1469000 | #Constraints: 54620
2498.77/2512.94 c #Conflicts: 1470000 | #Constraints: 55620
2498.77/2512.94 c #Conflicts: 1471000 | #Constraints: 56620
2498.77/2512.94 c #Conflicts: 1472000 | #Constraints: 57620
2498.77/2512.94 c #Conflicts: 1473000 | #Constraints: 58620
2498.77/2512.94 c #Conflicts: 1474000 | #Constraints: 59620
2498.77/2512.94 c #Conflicts: 1475000 | #Constraints: 60620
2498.77/2512.94 c #Conflicts: 1476000 | #Constraints: 61620
2498.77/2512.94 c #Conflicts: 1477000 | #Constraints: 62620
2498.77/2512.94 c #Conflicts: 1478000 | #Constraints: 63620
2498.77/2512.94 c #Conflicts: 1479000 | #Constraints: 64620
2498.77/2512.94 c #Conflicts: 1480000 | #Constraints: 65620
2498.77/2512.94 c #Conflicts: 1481000 | #Constraints: 66620
2498.77/2512.94 c #Conflicts: 1482000 | #Constraints: 67620
2498.77/2512.94 c #Conflicts: 1483000 | #Constraints: 68620
2498.77/2512.94 c #Conflicts: 1484000 | #Constraints: 69620
2498.77/2512.94 c #Conflicts: 1485000 | #Constraints: 70620
2498.77/2512.94 c #Conflicts: 1486000 | #Constraints: 71620
2498.77/2512.94 c #Conflicts: 1487000 | #Constraints: 72620
2498.77/2512.94 c #Conflicts: 1488000 | #Constraints: 73620
2498.77/2512.94 c #Conflicts: 1489000 | #Constraints: 74620
2498.77/2512.94 c #Conflicts: 1490000 | #Constraints: 75620
2498.77/2512.94 c #Conflicts: 1491000 | #Constraints: 76620
2498.77/2512.94 c INPROCESSING
2498.77/2512.94 c GARBAGE COLLECT
2498.77/2512.94 c rational objective 67.3333
2527.29/2541.50 c #Conflicts: 1492000 | #Constraints: 53432
2527.29/2541.50 c #Conflicts: 1493000 | #Constraints: 54432
2527.29/2541.50 c #Conflicts: 1494000 | #Constraints: 55432
2527.29/2541.50 c #Conflicts: 1495000 | #Constraints: 56432
2527.29/2541.50 c #Conflicts: 1496000 | #Constraints: 57432
2527.29/2541.50 c #Conflicts: 1497000 | #Constraints: 58432
2527.29/2541.50 c #Conflicts: 1498000 | #Constraints: 59432
2527.29/2541.50 c #Conflicts: 1499000 | #Constraints: 60432
2527.29/2541.50 c #Conflicts: 1500000 | #Constraints: 61432
2527.29/2541.50 c #Conflicts: 1501000 | #Constraints: 62432
2527.29/2541.50 c #Conflicts: 1502000 | #Constraints: 63432
2527.29/2541.50 c #Conflicts: 1503000 | #Constraints: 64432
2527.29/2541.50 c #Conflicts: 1504000 | #Constraints: 65432
2527.29/2541.50 c #Conflicts: 1505000 | #Constraints: 66432
2527.29/2541.50 c #Conflicts: 1506000 | #Constraints: 67432
2527.29/2541.50 c #Conflicts: 1507000 | #Constraints: 68432
2527.29/2541.50 c #Conflicts: 1508000 | #Constraints: 69432
2527.29/2541.50 c #Conflicts: 1509000 | #Constraints: 70432
2527.29/2541.50 c #Conflicts: 1510000 | #Constraints: 71432
2527.29/2541.50 c #Conflicts: 1511000 | #Constraints: 72432
2527.29/2541.50 c #Conflicts: 1512000 | #Constraints: 73432
2527.29/2541.50 c #Conflicts: 1513000 | #Constraints: 74432
2527.29/2541.50 c #Conflicts: 1514000 | #Constraints: 75432
2527.29/2541.50 c #Conflicts: 1515000 | #Constraints: 76432
2527.29/2541.50 c #Conflicts: 1516000 | #Constraints: 77432
2527.29/2541.50 c INPROCESSING
2527.29/2541.50 c GARBAGE COLLECT
2527.29/2541.50 c rational objective 67.3333
2563.81/2578.14 c #Conflicts: 1517000 | #Constraints: 54025
2563.81/2578.14 c #Conflicts: 1518000 | #Constraints: 55025
2563.81/2578.14 c #Conflicts: 1519000 | #Constraints: 56025
2563.81/2578.14 c #Conflicts: 1520000 | #Constraints: 57025
2563.81/2578.14 c #Conflicts: 1521000 | #Constraints: 58025
2563.81/2578.14 c #Conflicts: 1522000 | #Constraints: 59025
2563.81/2578.14 c #Conflicts: 1523000 | #Constraints: 60025
2563.81/2578.14 c #Conflicts: 1524000 | #Constraints: 61025
2563.81/2578.14 c #Conflicts: 1525000 | #Constraints: 62025
2563.81/2578.14 c #Conflicts: 1526000 | #Constraints: 63025
2563.81/2578.14 c #Conflicts: 1527000 | #Constraints: 64025
2563.81/2578.14 c #Conflicts: 1528000 | #Constraints: 65025
2563.81/2578.14 c #Conflicts: 1529000 | #Constraints: 66025
2563.81/2578.14 c #Conflicts: 1530000 | #Constraints: 67025
2563.81/2578.14 c #Conflicts: 1531000 | #Constraints: 68025
2563.81/2578.14 c #Conflicts: 1532000 | #Constraints: 69025
2563.81/2578.14 c #Conflicts: 1533000 | #Constraints: 70025
2563.81/2578.14 c #Conflicts: 1534000 | #Constraints: 71025
2563.81/2578.14 c #Conflicts: 1535000 | #Constraints: 72025
2563.81/2578.14 c #Conflicts: 1536000 | #Constraints: 73025
2563.81/2578.14 c #Conflicts: 1537000 | #Constraints: 74025
2563.81/2578.14 c #Conflicts: 1538000 | #Constraints: 75025
2563.81/2578.14 c #Conflicts: 1539000 | #Constraints: 76025
2563.81/2578.14 c #Conflicts: 1540000 | #Constraints: 77025
2563.81/2578.14 c #Conflicts: 1541000 | #Constraints: 78025
2563.81/2578.14 c INPROCESSING
2563.81/2578.14 c GARBAGE COLLECT
2563.81/2578.14 c rational objective 67.3333
2590.21/2604.69 c #Conflicts: 1542000 | #Constraints: 54438
2590.21/2604.69 c #Conflicts: 1543000 | #Constraints: 55438
2590.21/2604.69 c #Conflicts: 1544000 | #Constraints: 56438
2590.21/2604.69 c #Conflicts: 1545000 | #Constraints: 57438
2590.21/2604.69 c #Conflicts: 1546000 | #Constraints: 58438
2590.21/2604.69 c #Conflicts: 1547000 | #Constraints: 59438
2590.21/2604.69 c #Conflicts: 1548000 | #Constraints: 60438
2590.21/2604.69 c #Conflicts: 1549000 | #Constraints: 61438
2590.21/2604.69 c #Conflicts: 1550000 | #Constraints: 62438
2590.21/2604.69 c #Conflicts: 1551000 | #Constraints: 63438
2590.21/2604.69 c #Conflicts: 1552000 | #Constraints: 64438
2590.21/2604.69 c #Conflicts: 1553000 | #Constraints: 65438
2590.21/2604.69 c #Conflicts: 1554000 | #Constraints: 66438
2590.21/2604.69 c #Conflicts: 1555000 | #Constraints: 67438
2590.21/2604.69 c #Conflicts: 1556000 | #Constraints: 68438
2590.21/2604.69 c #Conflicts: 1557000 | #Constraints: 69438
2590.21/2604.69 c #Conflicts: 1558000 | #Constraints: 70438
2590.21/2604.69 c #Conflicts: 1559000 | #Constraints: 71438
2590.21/2604.69 c #Conflicts: 1560000 | #Constraints: 72438
2590.21/2604.69 c #Conflicts: 1561000 | #Constraints: 73438
2590.21/2604.69 c #Conflicts: 1562000 | #Constraints: 74438
2590.21/2604.69 c #Conflicts: 1563000 | #Constraints: 75438
2590.21/2604.69 c #Conflicts: 1564000 | #Constraints: 76438
2590.21/2604.69 c #Conflicts: 1565000 | #Constraints: 77438
2590.21/2604.69 c #Conflicts: 1566000 | #Constraints: 78438
2590.21/2604.69 c INPROCESSING
2590.21/2604.69 c GARBAGE COLLECT
2590.21/2604.69 c rational objective 67.3333
2654.25/2668.81 c #Conflicts: 1567000 | #Constraints: 54638
2654.25/2668.81 c #Conflicts: 1568000 | #Constraints: 55638
2654.25/2668.81 c #Conflicts: 1569000 | #Constraints: 56638
2654.25/2668.81 c #Conflicts: 1570000 | #Constraints: 57638
2654.25/2668.81 c #Conflicts: 1571000 | #Constraints: 58638
2654.25/2668.81 c #Conflicts: 1572000 | #Constraints: 59638
2654.25/2668.81 c #Conflicts: 1573000 | #Constraints: 60638
2654.25/2668.81 c #Conflicts: 1574000 | #Constraints: 61638
2654.25/2668.81 c #Conflicts: 1575000 | #Constraints: 62638
2654.25/2668.81 c #Conflicts: 1576000 | #Constraints: 63638
2654.25/2668.81 c #Conflicts: 1577000 | #Constraints: 64638
2654.25/2668.81 c #Conflicts: 1578000 | #Constraints: 65638
2654.25/2668.81 c #Conflicts: 1579000 | #Constraints: 66638
2654.25/2668.81 c #Conflicts: 1580000 | #Constraints: 67638
2654.25/2668.81 c #Conflicts: 1581000 | #Constraints: 68638
2654.25/2668.81 c #Conflicts: 1582000 | #Constraints: 69638
2654.25/2668.81 c #Conflicts: 1583000 | #Constraints: 70638
2654.25/2668.81 c #Conflicts: 1584000 | #Constraints: 71638
2654.25/2668.81 c #Conflicts: 1585000 | #Constraints: 72638
2654.25/2668.81 c #Conflicts: 1586000 | #Constraints: 73638
2654.25/2668.81 c #Conflicts: 1587000 | #Constraints: 74638
2654.25/2668.81 c #Conflicts: 1588000 | #Constraints: 75638
2654.25/2668.81 c #Conflicts: 1589000 | #Constraints: 76638
2654.25/2668.81 c #Conflicts: 1590000 | #Constraints: 77638
2654.25/2668.81 c #Conflicts: 1591000 | #Constraints: 78638
2654.25/2668.81 c INPROCESSING
2654.25/2668.81 c GARBAGE COLLECT
2654.25/2668.81 c rational objective 67.3333
2689.65/2704.33 c #Conflicts: 1592000 | #Constraints: 54636
2689.65/2704.33 c #Conflicts: 1593000 | #Constraints: 55636
2689.65/2704.33 c #Conflicts: 1594000 | #Constraints: 56636
2689.65/2704.33 c #Conflicts: 1595000 | #Constraints: 57636
2689.65/2704.33 c #Conflicts: 1596000 | #Constraints: 58636
2689.65/2704.33 c #Conflicts: 1597000 | #Constraints: 59636
2689.65/2704.33 c #Conflicts: 1598000 | #Constraints: 60636
2689.65/2704.33 c #Conflicts: 1599000 | #Constraints: 61636
2689.65/2704.33 c #Conflicts: 1600000 | #Constraints: 62636
2689.65/2704.33 c #Conflicts: 1601000 | #Constraints: 63636
2689.65/2704.33 c #Conflicts: 1602000 | #Constraints: 64636
2689.65/2704.33 c #Conflicts: 1603000 | #Constraints: 65636
2689.65/2704.33 c #Conflicts: 1604000 | #Constraints: 66636
2689.65/2704.33 c #Conflicts: 1605000 | #Constraints: 67636
2689.65/2704.33 c #Conflicts: 1606000 | #Constraints: 68636
2689.65/2704.33 c #Conflicts: 1607000 | #Constraints: 69636
2689.65/2704.33 c #Conflicts: 1608000 | #Constraints: 70636
2689.65/2704.33 c #Conflicts: 1609000 | #Constraints: 71636
2689.65/2704.33 c #Conflicts: 1610000 | #Constraints: 72636
2689.65/2704.33 c #Conflicts: 1611000 | #Constraints: 73636
2689.65/2704.33 c #Conflicts: 1612000 | #Constraints: 74636
2689.65/2704.33 c #Conflicts: 1613000 | #Constraints: 75636
2689.65/2704.33 c #Conflicts: 1614000 | #Constraints: 76636
2689.65/2704.33 c #Conflicts: 1615000 | #Constraints: 77636
2689.65/2704.33 c #Conflicts: 1616000 | #Constraints: 78636
2689.65/2704.33 c INPROCESSING
2689.65/2704.33 c GARBAGE COLLECT
2689.65/2704.33 c rational objective 67.3333
2742.59/2757.42 c #Conflicts: 1617000 | #Constraints: 54420
2742.59/2757.42 c #Conflicts: 1618000 | #Constraints: 55420
2742.59/2757.42 c #Conflicts: 1619000 | #Constraints: 56420
2742.59/2757.42 c #Conflicts: 1620000 | #Constraints: 57420
2742.59/2757.42 c #Conflicts: 1621000 | #Constraints: 58420
2742.59/2757.42 c #Conflicts: 1622000 | #Constraints: 59420
2742.59/2757.42 c #Conflicts: 1623000 | #Constraints: 60420
2742.59/2757.42 c #Conflicts: 1624000 | #Constraints: 61420
2742.59/2757.42 c #Conflicts: 1625000 | #Constraints: 62420
2742.59/2757.42 c #Conflicts: 1626000 | #Constraints: 63420
2742.59/2757.42 c #Conflicts: 1627000 | #Constraints: 64420
2742.59/2757.42 c #Conflicts: 1628000 | #Constraints: 65420
2742.59/2757.42 c #Conflicts: 1629000 | #Constraints: 66420
2742.59/2757.42 c #Conflicts: 1630000 | #Constraints: 67420
2742.59/2757.42 c #Conflicts: 1631000 | #Constraints: 68420
2742.59/2757.42 c #Conflicts: 1632000 | #Constraints: 69420
2742.59/2757.42 c #Conflicts: 1633000 | #Constraints: 70420
2742.59/2757.42 c #Conflicts: 1634000 | #Constraints: 71420
2742.59/2757.42 c #Conflicts: 1635000 | #Constraints: 72420
2742.59/2757.42 c #Conflicts: 1636000 | #Constraints: 73420
2742.59/2757.42 c #Conflicts: 1637000 | #Constraints: 74420
2742.59/2757.42 c #Conflicts: 1638000 | #Constraints: 75420
2742.59/2757.42 c #Conflicts: 1639000 | #Constraints: 76420
2742.59/2757.42 c #Conflicts: 1640000 | #Constraints: 77420
2742.59/2757.42 c #Conflicts: 1641000 | #Constraints: 78420
2742.59/2757.42 c #Conflicts: 1642000 | #Constraints: 79420
2742.59/2757.42 c INPROCESSING
2742.59/2757.42 c GARBAGE COLLECT
2742.59/2757.42 c rational objective 67.3333
2784.68/2799.66 c #Conflicts: 1643000 | #Constraints: 55014
2784.68/2799.66 c #Conflicts: 1644000 | #Constraints: 56014
2784.68/2799.66 c #Conflicts: 1645000 | #Constraints: 57014
2784.68/2799.66 c #Conflicts: 1646000 | #Constraints: 58014
2784.68/2799.66 c #Conflicts: 1647000 | #Constraints: 59014
2784.68/2799.66 c #Conflicts: 1648000 | #Constraints: 60014
2784.68/2799.66 c #Conflicts: 1649000 | #Constraints: 61014
2784.68/2799.66 c #Conflicts: 1650000 | #Constraints: 62014
2784.68/2799.66 c #Conflicts: 1651000 | #Constraints: 63014
2784.68/2799.66 c #Conflicts: 1652000 | #Constraints: 64014
2784.68/2799.66 c #Conflicts: 1653000 | #Constraints: 65014
2784.68/2799.66 c #Conflicts: 1654000 | #Constraints: 66014
2784.68/2799.66 c #Conflicts: 1655000 | #Constraints: 67014
2784.68/2799.66 c #Conflicts: 1656000 | #Constraints: 68014
2784.68/2799.66 c #Conflicts: 1657000 | #Constraints: 69014
2784.68/2799.66 c #Conflicts: 1658000 | #Constraints: 70014
2784.68/2799.66 c #Conflicts: 1659000 | #Constraints: 71014
2784.68/2799.66 c #Conflicts: 1660000 | #Constraints: 72014
2784.68/2799.66 c #Conflicts: 1661000 | #Constraints: 73014
2784.68/2799.66 c #Conflicts: 1662000 | #Constraints: 74014
2784.68/2799.66 c #Conflicts: 1663000 | #Constraints: 75014
2784.68/2799.66 c #Conflicts: 1664000 | #Constraints: 76014
2784.68/2799.66 c #Conflicts: 1665000 | #Constraints: 77014
2784.68/2799.66 c #Conflicts: 1666000 | #Constraints: 78014
2784.68/2799.66 c #Conflicts: 1667000 | #Constraints: 79014
2784.68/2799.66 c #Conflicts: 1668000 | #Constraints: 80014
2784.68/2799.66 c INPROCESSING
2784.68/2799.66 c GARBAGE COLLECT
2784.68/2799.66 c rational objective 67.3333
2821.48/2836.50 c #Conflicts: 1669000 | #Constraints: 55426
2821.48/2836.50 c #Conflicts: 1670000 | #Constraints: 56426
2821.48/2836.50 c #Conflicts: 1671000 | #Constraints: 57426
2821.48/2836.50 c #Conflicts: 1672000 | #Constraints: 58426
2821.48/2836.50 c #Conflicts: 1673000 | #Constraints: 59426
2821.48/2836.50 c #Conflicts: 1674000 | #Constraints: 60426
2821.48/2836.50 c #Conflicts: 1675000 | #Constraints: 61426
2821.48/2836.50 c #Conflicts: 1676000 | #Constraints: 62426
2821.48/2836.50 c #Conflicts: 1677000 | #Constraints: 63426
2821.48/2836.50 c #Conflicts: 1678000 | #Constraints: 64426
2821.48/2836.50 c #Conflicts: 1679000 | #Constraints: 65426
2821.48/2836.50 c #Conflicts: 1680000 | #Constraints: 66426
2821.48/2836.50 c #Conflicts: 1681000 | #Constraints: 67426
2821.48/2836.50 c #Conflicts: 1682000 | #Constraints: 68426
2821.48/2836.50 c #Conflicts: 1683000 | #Constraints: 69426
2821.48/2836.50 c #Conflicts: 1684000 | #Constraints: 70426
2821.48/2836.50 c #Conflicts: 1685000 | #Constraints: 71426
2821.48/2836.50 c #Conflicts: 1686000 | #Constraints: 72426
2821.48/2836.50 c #Conflicts: 1687000 | #Constraints: 73426
2821.48/2836.50 c #Conflicts: 1688000 | #Constraints: 74426
2821.48/2836.50 c #Conflicts: 1689000 | #Constraints: 75426
2821.48/2836.50 c #Conflicts: 1690000 | #Constraints: 76426
2821.48/2836.50 c #Conflicts: 1691000 | #Constraints: 77426
2821.48/2836.50 c #Conflicts: 1692000 | #Constraints: 78426
2821.48/2836.50 c #Conflicts: 1693000 | #Constraints: 79426
2821.48/2836.50 c #Conflicts: 1694000 | #Constraints: 80426
2821.48/2836.50 c INPROCESSING
2821.48/2836.50 c GARBAGE COLLECT
2821.48/2836.50 c rational objective 67.3333
2861.07/2876.24 c #Conflicts: 1695000 | #Constraints: 55633
2861.07/2876.24 c #Conflicts: 1696000 | #Constraints: 56633
2861.07/2876.24 c #Conflicts: 1697000 | #Constraints: 57633
2861.07/2876.24 c #Conflicts: 1698000 | #Constraints: 58633
2861.07/2876.24 c #Conflicts: 1699000 | #Constraints: 59633
2861.07/2876.24 c #Conflicts: 1700000 | #Constraints: 60633
2861.07/2876.24 c #Conflicts: 1701000 | #Constraints: 61633
2861.07/2876.24 c #Conflicts: 1702000 | #Constraints: 62633
2861.07/2876.24 c #Conflicts: 1703000 | #Constraints: 63633
2861.07/2876.24 c #Conflicts: 1704000 | #Constraints: 64633
2861.07/2876.24 c #Conflicts: 1705000 | #Constraints: 65633
2861.07/2876.24 c #Conflicts: 1706000 | #Constraints: 66633
2861.07/2876.24 c #Conflicts: 1707000 | #Constraints: 67633
2861.07/2876.24 c #Conflicts: 1708000 | #Constraints: 68633
2861.07/2876.24 c #Conflicts: 1709000 | #Constraints: 69633
2861.07/2876.24 c #Conflicts: 1710000 | #Constraints: 70633
2861.07/2876.24 c #Conflicts: 1711000 | #Constraints: 71633
2861.07/2876.24 c #Conflicts: 1712000 | #Constraints: 72633
2861.07/2876.24 c #Conflicts: 1713000 | #Constraints: 73633
2861.07/2876.24 c #Conflicts: 1714000 | #Constraints: 74633
2861.07/2876.24 c #Conflicts: 1715000 | #Constraints: 75633
2861.07/2876.24 c #Conflicts: 1716000 | #Constraints: 76633
2861.07/2876.24 c #Conflicts: 1717000 | #Constraints: 77633
2861.07/2876.24 c #Conflicts: 1718000 | #Constraints: 78633
2861.07/2876.24 c #Conflicts: 1719000 | #Constraints: 79633
2861.07/2876.24 c #Conflicts: 1720000 | #Constraints: 80633
2861.07/2876.24 c INPROCESSING
2861.07/2876.24 c GARBAGE COLLECT
2861.07/2876.24 c rational objective 67.3333
2898.48/2913.80 c #Conflicts: 1721000 | #Constraints: 55637
2898.48/2913.80 c #Conflicts: 1722000 | #Constraints: 56637
2898.48/2913.80 c #Conflicts: 1723000 | #Constraints: 57637
2898.48/2913.80 c #Conflicts: 1724000 | #Constraints: 58637
2898.48/2913.80 c #Conflicts: 1725000 | #Constraints: 59637
2898.48/2913.80 c #Conflicts: 1726000 | #Constraints: 60637
2898.48/2913.80 c #Conflicts: 1727000 | #Constraints: 61637
2898.48/2913.80 c #Conflicts: 1728000 | #Constraints: 62637
2898.48/2913.80 c #Conflicts: 1729000 | #Constraints: 63637
2898.48/2913.80 c #Conflicts: 1730000 | #Constraints: 64637
2898.48/2913.80 c #Conflicts: 1731000 | #Constraints: 65637
2898.48/2913.80 c #Conflicts: 1732000 | #Constraints: 66637
2898.48/2913.80 c #Conflicts: 1733000 | #Constraints: 67637
2898.48/2913.80 c #Conflicts: 1734000 | #Constraints: 68637
2898.48/2913.80 c #Conflicts: 1735000 | #Constraints: 69637
2898.48/2913.80 c #Conflicts: 1736000 | #Constraints: 70637
2898.48/2913.80 c #Conflicts: 1737000 | #Constraints: 71637
2898.48/2913.80 c #Conflicts: 1738000 | #Constraints: 72637
2898.48/2913.80 c #Conflicts: 1739000 | #Constraints: 73637
2898.48/2913.80 c #Conflicts: 1740000 | #Constraints: 74637
2898.48/2913.80 c #Conflicts: 1741000 | #Constraints: 75637
2898.48/2913.80 c #Conflicts: 1742000 | #Constraints: 76637
2898.48/2913.80 c #Conflicts: 1743000 | #Constraints: 77637
2898.48/2913.80 c #Conflicts: 1744000 | #Constraints: 78637
2898.48/2913.80 c #Conflicts: 1745000 | #Constraints: 79637
2898.48/2913.80 c #Conflicts: 1746000 | #Constraints: 80637
2898.48/2913.80 c INPROCESSING
2898.48/2913.80 c GARBAGE COLLECT
2898.48/2913.80 c rational objective 67.3333
2931.38/2946.72 c #Conflicts: 1747000 | #Constraints: 55425
2931.38/2946.72 c #Conflicts: 1748000 | #Constraints: 56425
2931.38/2946.72 c #Conflicts: 1749000 | #Constraints: 57425
2931.38/2946.72 c #Conflicts: 1750000 | #Constraints: 58425
2931.38/2946.72 c #Conflicts: 1751000 | #Constraints: 59425
2931.38/2946.72 c #Conflicts: 1752000 | #Constraints: 60425
2931.38/2946.72 c #Conflicts: 1753000 | #Constraints: 61425
2931.38/2946.72 c #Conflicts: 1754000 | #Constraints: 62425
2931.38/2946.72 c #Conflicts: 1755000 | #Constraints: 63425
2931.38/2946.72 c #Conflicts: 1756000 | #Constraints: 64425
2931.38/2946.72 c #Conflicts: 1757000 | #Constraints: 65425
2931.38/2946.72 c #Conflicts: 1758000 | #Constraints: 66425
2931.38/2946.72 c #Conflicts: 1759000 | #Constraints: 67425
2931.38/2946.72 c #Conflicts: 1760000 | #Constraints: 68425
2931.38/2946.72 c #Conflicts: 1761000 | #Constraints: 69425
2931.38/2946.72 c #Conflicts: 1762000 | #Constraints: 70425
2931.38/2946.72 c #Conflicts: 1763000 | #Constraints: 71425
2931.38/2946.72 c #Conflicts: 1764000 | #Constraints: 72425
2931.38/2946.72 c #Conflicts: 1765000 | #Constraints: 73425
2931.38/2946.72 c #Conflicts: 1766000 | #Constraints: 74425
2931.38/2946.72 c #Conflicts: 1767000 | #Constraints: 75425
2931.38/2946.72 c #Conflicts: 1768000 | #Constraints: 76425
2931.38/2946.72 c #Conflicts: 1769000 | #Constraints: 77425
2931.38/2946.72 c #Conflicts: 1770000 | #Constraints: 78425
2931.38/2946.72 c #Conflicts: 1771000 | #Constraints: 79425
2931.38/2946.72 c #Conflicts: 1772000 | #Constraints: 80425
2931.38/2946.72 c #Conflicts: 1773000 | #Constraints: 81425
2931.38/2946.72 c INPROCESSING
2931.38/2946.72 c GARBAGE COLLECT
2931.38/2946.72 c rational objective 67.3333
2980.34/2995.81 c #Conflicts: 1774000 | #Constraints: 56020
2980.34/2995.81 c #Conflicts: 1775000 | #Constraints: 57020
2980.34/2995.81 c #Conflicts: 1776000 | #Constraints: 58020
2980.34/2995.81 c #Conflicts: 1777000 | #Constraints: 59020
2980.34/2995.81 c #Conflicts: 1778000 | #Constraints: 60020
2980.34/2995.81 c #Conflicts: 1779000 | #Constraints: 61020
2980.34/2995.81 c #Conflicts: 1780000 | #Constraints: 62020
2980.34/2995.81 c #Conflicts: 1781000 | #Constraints: 63020
2980.34/2995.81 c #Conflicts: 1782000 | #Constraints: 64020
2980.34/2995.81 c #Conflicts: 1783000 | #Constraints: 65020
2980.34/2995.81 c #Conflicts: 1784000 | #Constraints: 66020
2980.34/2995.81 c #Conflicts: 1785000 | #Constraints: 67020
2980.34/2995.81 c #Conflicts: 1786000 | #Constraints: 68020
2980.34/2995.81 c #Conflicts: 1787000 | #Constraints: 69020
2980.34/2995.81 c #Conflicts: 1788000 | #Constraints: 70020
2980.34/2995.81 c #Conflicts: 1789000 | #Constraints: 71020
2980.34/2995.81 c #Conflicts: 1790000 | #Constraints: 72020
2980.34/2995.81 c #Conflicts: 1791000 | #Constraints: 73020
2980.34/2995.81 c #Conflicts: 1792000 | #Constraints: 74020
2980.34/2995.81 c #Conflicts: 1793000 | #Constraints: 75020
2980.34/2995.81 c #Conflicts: 1794000 | #Constraints: 76020
2980.34/2995.81 c #Conflicts: 1795000 | #Constraints: 77020
2980.34/2995.81 c #Conflicts: 1796000 | #Constraints: 78020
2980.34/2995.81 c #Conflicts: 1797000 | #Constraints: 79020
2980.34/2995.81 c #Conflicts: 1798000 | #Constraints: 80020
2980.34/2995.81 c #Conflicts: 1799000 | #Constraints: 81020
2980.34/2995.81 c #Conflicts: 1800000 | #Constraints: 82020
2980.34/2995.81 c INPROCESSING
2980.34/2995.81 c GARBAGE COLLECT
2980.34/2995.81 c rational objective 67.3333
3018.85/3034.48 c #Conflicts: 1801000 | #Constraints: 56428
3018.85/3034.48 c #Conflicts: 1802000 | #Constraints: 57428
3018.85/3034.48 c #Conflicts: 1803000 | #Constraints: 58428
3018.85/3034.48 c #Conflicts: 1804000 | #Constraints: 59428
3018.85/3034.48 c #Conflicts: 1805000 | #Constraints: 60428
3018.85/3034.48 c #Conflicts: 1806000 | #Constraints: 61428
3018.85/3034.48 c #Conflicts: 1807000 | #Constraints: 62428
3018.85/3034.48 c #Conflicts: 1808000 | #Constraints: 63428
3018.85/3034.48 c #Conflicts: 1809000 | #Constraints: 64428
3018.85/3034.48 c #Conflicts: 1810000 | #Constraints: 65428
3018.85/3034.48 c #Conflicts: 1811000 | #Constraints: 66428
3018.85/3034.48 c #Conflicts: 1812000 | #Constraints: 67428
3018.85/3034.48 c #Conflicts: 1813000 | #Constraints: 68428
3018.85/3034.48 c #Conflicts: 1814000 | #Constraints: 69428
3018.85/3034.48 c #Conflicts: 1815000 | #Constraints: 70428
3018.85/3034.48 c #Conflicts: 1816000 | #Constraints: 71428
3018.85/3034.48 c #Conflicts: 1817000 | #Constraints: 72428
3018.85/3034.48 c #Conflicts: 1818000 | #Constraints: 73428
3018.85/3034.48 c #Conflicts: 1819000 | #Constraints: 74428
3018.85/3034.48 c #Conflicts: 1820000 | #Constraints: 75428
3018.85/3034.48 c #Conflicts: 1821000 | #Constraints: 76428
3018.85/3034.48 c #Conflicts: 1822000 | #Constraints: 77428
3018.85/3034.48 c #Conflicts: 1823000 | #Constraints: 78428
3018.85/3034.48 c #Conflicts: 1824000 | #Constraints: 79428
3018.85/3034.48 c #Conflicts: 1825000 | #Constraints: 80428
3018.85/3034.48 c #Conflicts: 1826000 | #Constraints: 81428
3018.85/3034.48 c #Conflicts: 1827000 | #Constraints: 82428
3018.85/3034.48 c INPROCESSING
3018.85/3034.48 c GARBAGE COLLECT
3018.85/3034.48 c rational objective 67.3333
3067.21/3082.94 c #Conflicts: 1828000 | #Constraints: 56624
3067.21/3082.94 c #Conflicts: 1829000 | #Constraints: 57624
3067.21/3082.94 c #Conflicts: 1830000 | #Constraints: 58624
3067.21/3082.94 c #Conflicts: 1831000 | #Constraints: 59624
3067.21/3082.94 c #Conflicts: 1832000 | #Constraints: 60624
3067.21/3082.94 c #Conflicts: 1833000 | #Constraints: 61624
3067.21/3082.94 c #Conflicts: 1834000 | #Constraints: 62624
3067.21/3082.94 c #Conflicts: 1835000 | #Constraints: 63624
3067.21/3082.94 c #Conflicts: 1836000 | #Constraints: 64624
3067.21/3082.94 c #Conflicts: 1837000 | #Constraints: 65624
3067.21/3082.94 c #Conflicts: 1838000 | #Constraints: 66624
3067.21/3082.94 c #Conflicts: 1839000 | #Constraints: 67624
3067.21/3082.94 c #Conflicts: 1840000 | #Constraints: 68624
3067.21/3082.94 c #Conflicts: 1841000 | #Constraints: 69624
3067.21/3082.94 c #Conflicts: 1842000 | #Constraints: 70624
3067.21/3082.94 c #Conflicts: 1843000 | #Constraints: 71624
3067.21/3082.94 c #Conflicts: 1844000 | #Constraints: 72624
3067.21/3082.94 c #Conflicts: 1845000 | #Constraints: 73624
3067.21/3082.94 c #Conflicts: 1846000 | #Constraints: 74624
3067.21/3082.94 c #Conflicts: 1847000 | #Constraints: 75624
3067.21/3082.94 c #Conflicts: 1848000 | #Constraints: 76624
3067.21/3082.94 c #Conflicts: 1849000 | #Constraints: 77624
3067.21/3082.94 c #Conflicts: 1850000 | #Constraints: 78624
3067.21/3082.94 c #Conflicts: 1851000 | #Constraints: 79624
3067.21/3082.94 c #Conflicts: 1852000 | #Constraints: 80624
3067.21/3082.94 c #Conflicts: 1853000 | #Constraints: 81624
3067.21/3082.94 c #Conflicts: 1854000 | #Constraints: 82624
3067.21/3082.94 c INPROCESSING
3067.21/3082.94 c GARBAGE COLLECT
3067.21/3082.94 c rational objective 67.3333
3110.88/3126.76 c #Conflicts: 1855000 | #Constraints: 56626
3110.88/3126.76 c #Conflicts: 1856000 | #Constraints: 57626
3110.88/3126.76 c #Conflicts: 1857000 | #Constraints: 58626
3110.88/3126.76 c #Conflicts: 1858000 | #Constraints: 59626
3110.88/3126.76 c #Conflicts: 1859000 | #Constraints: 60626
3110.88/3126.76 c #Conflicts: 1860000 | #Constraints: 61626
3110.88/3126.76 c #Conflicts: 1861000 | #Constraints: 62626
3110.88/3126.76 c #Conflicts: 1862000 | #Constraints: 63626
3110.88/3126.76 c #Conflicts: 1863000 | #Constraints: 64626
3110.88/3126.76 c #Conflicts: 1864000 | #Constraints: 65626
3110.88/3126.76 c #Conflicts: 1865000 | #Constraints: 66626
3110.88/3126.76 c #Conflicts: 1866000 | #Constraints: 67626
3110.88/3126.76 c #Conflicts: 1867000 | #Constraints: 68626
3110.88/3126.76 c #Conflicts: 1868000 | #Constraints: 69626
3110.88/3126.76 c #Conflicts: 1869000 | #Constraints: 70626
3110.88/3126.76 c #Conflicts: 1870000 | #Constraints: 71626
3110.88/3126.76 c #Conflicts: 1871000 | #Constraints: 72626
3110.88/3126.76 c #Conflicts: 1872000 | #Constraints: 73626
3110.88/3126.76 c #Conflicts: 1873000 | #Constraints: 74626
3110.88/3126.76 c #Conflicts: 1874000 | #Constraints: 75626
3110.88/3126.76 c #Conflicts: 1875000 | #Constraints: 76626
3110.88/3126.76 c #Conflicts: 1876000 | #Constraints: 77626
3110.88/3126.76 c #Conflicts: 1877000 | #Constraints: 78626
3110.88/3126.76 c #Conflicts: 1878000 | #Constraints: 79626
3110.88/3126.76 c #Conflicts: 1879000 | #Constraints: 80626
3110.88/3126.76 c #Conflicts: 1880000 | #Constraints: 81626
3110.88/3126.76 c #Conflicts: 1881000 | #Constraints: 82626
3110.88/3126.76 c INPROCESSING
3110.88/3126.76 c GARBAGE COLLECT
3110.88/3126.76 c rational objective 67.3333
3139.61/3155.56 c #Conflicts: 1882000 | #Constraints: 56430
3139.61/3155.56 c #Conflicts: 1883000 | #Constraints: 57430
3139.61/3155.56 c #Conflicts: 1884000 | #Constraints: 58430
3139.61/3155.56 c #Conflicts: 1885000 | #Constraints: 59430
3139.61/3155.56 c #Conflicts: 1886000 | #Constraints: 60430
3139.61/3155.56 c #Conflicts: 1887000 | #Constraints: 61430
3139.61/3155.56 c #Conflicts: 1888000 | #Constraints: 62430
3139.61/3155.56 c #Conflicts: 1889000 | #Constraints: 63430
3139.61/3155.56 c #Conflicts: 1890000 | #Constraints: 64430
3139.61/3155.56 c #Conflicts: 1891000 | #Constraints: 65430
3139.61/3155.56 c #Conflicts: 1892000 | #Constraints: 66430
3139.61/3155.56 c #Conflicts: 1893000 | #Constraints: 67430
3139.61/3155.56 c #Conflicts: 1894000 | #Constraints: 68430
3139.61/3155.56 c #Conflicts: 1895000 | #Constraints: 69430
3139.61/3155.56 c #Conflicts: 1896000 | #Constraints: 70430
3139.61/3155.56 c #Conflicts: 1897000 | #Constraints: 71430
3139.61/3155.56 c #Conflicts: 1898000 | #Constraints: 72430
3139.61/3155.56 c #Conflicts: 1899000 | #Constraints: 73430
3139.61/3155.56 c #Conflicts: 1900000 | #Constraints: 74430
3139.61/3155.56 c #Conflicts: 1901000 | #Constraints: 75430
3139.61/3155.56 c #Conflicts: 1902000 | #Constraints: 76430
3139.61/3155.56 c #Conflicts: 1903000 | #Constraints: 77430
3139.61/3155.56 c #Conflicts: 1904000 | #Constraints: 78430
3139.61/3155.56 c #Conflicts: 1905000 | #Constraints: 79430
3139.61/3155.56 c #Conflicts: 1906000 | #Constraints: 80430
3139.61/3155.56 c #Conflicts: 1907000 | #Constraints: 81430
3139.61/3155.56 c #Conflicts: 1908000 | #Constraints: 82430
3139.61/3155.56 c #Conflicts: 1909000 | #Constraints: 83430
3139.61/3155.56 c INPROCESSING
3139.61/3155.56 c GARBAGE COLLECT
3139.61/3155.56 c rational objective 67.3333
3171.72/3187.73 c #Conflicts: 1910000 | #Constraints: 57030
3171.72/3187.73 c #Conflicts: 1911000 | #Constraints: 58030
3171.72/3187.73 c #Conflicts: 1912000 | #Constraints: 59030
3171.72/3187.73 c #Conflicts: 1913000 | #Constraints: 60030
3171.72/3187.73 c #Conflicts: 1914000 | #Constraints: 61030
3171.72/3187.73 c #Conflicts: 1915000 | #Constraints: 62030
3171.72/3187.73 c #Conflicts: 1916000 | #Constraints: 63030
3171.72/3187.73 c #Conflicts: 1917000 | #Constraints: 64030
3171.72/3187.73 c #Conflicts: 1918000 | #Constraints: 65030
3171.72/3187.73 c #Conflicts: 1919000 | #Constraints: 66030
3171.72/3187.73 c #Conflicts: 1920000 | #Constraints: 67030
3171.72/3187.73 c #Conflicts: 1921000 | #Constraints: 68030
3171.72/3187.73 c #Conflicts: 1922000 | #Constraints: 69030
3171.72/3187.73 c #Conflicts: 1923000 | #Constraints: 70030
3171.72/3187.73 c #Conflicts: 1924000 | #Constraints: 71030
3171.72/3187.73 c #Conflicts: 1925000 | #Constraints: 72030
3171.72/3187.73 c #Conflicts: 1926000 | #Constraints: 73030
3171.72/3187.73 c #Conflicts: 1927000 | #Constraints: 74030
3171.72/3187.73 c #Conflicts: 1928000 | #Constraints: 75030
3171.72/3187.73 c #Conflicts: 1929000 | #Constraints: 76030
3171.72/3187.73 c #Conflicts: 1930000 | #Constraints: 77030
3171.72/3187.73 c #Conflicts: 1931000 | #Constraints: 78030
3171.72/3187.73 c #Conflicts: 1932000 | #Constraints: 79030
3171.72/3187.73 c #Conflicts: 1933000 | #Constraints: 80030
3171.72/3187.73 c #Conflicts: 1934000 | #Constraints: 81030
3171.72/3187.73 c #Conflicts: 1935000 | #Constraints: 82030
3171.72/3187.73 c #Conflicts: 1936000 | #Constraints: 83030
3171.72/3187.73 c #Conflicts: 1937000 | #Constraints: 84030
3171.72/3187.73 c INPROCESSING
3171.72/3187.73 c GARBAGE COLLECT
3171.72/3187.73 c rational objective 67.3333
3225.47/3241.65 c #Conflicts: 1938000 | #Constraints: 57423
3225.47/3241.65 c #Conflicts: 1939000 | #Constraints: 58423
3225.47/3241.65 c #Conflicts: 1940000 | #Constraints: 59423
3225.47/3241.65 c #Conflicts: 1941000 | #Constraints: 60423
3225.47/3241.65 c #Conflicts: 1942000 | #Constraints: 61423
3225.47/3241.65 c #Conflicts: 1943000 | #Constraints: 62423
3225.47/3241.65 c #Conflicts: 1944000 | #Constraints: 63423
3225.47/3241.65 c #Conflicts: 1945000 | #Constraints: 64423
3225.47/3241.65 c #Conflicts: 1946000 | #Constraints: 65423
3225.47/3241.65 c #Conflicts: 1947000 | #Constraints: 66423
3225.47/3241.65 c #Conflicts: 1948000 | #Constraints: 67423
3225.47/3241.65 c #Conflicts: 1949000 | #Constraints: 68423
3225.47/3241.65 c #Conflicts: 1950000 | #Constraints: 69423
3225.47/3241.65 c #Conflicts: 1951000 | #Constraints: 70423
3225.47/3241.65 c #Conflicts: 1952000 | #Constraints: 71423
3225.47/3241.65 c #Conflicts: 1953000 | #Constraints: 72423
3225.47/3241.65 c #Conflicts: 1954000 | #Constraints: 73423
3225.47/3241.65 c #Conflicts: 1955000 | #Constraints: 74423
3225.47/3241.65 c #Conflicts: 1956000 | #Constraints: 75423
3225.47/3241.65 c #Conflicts: 1957000 | #Constraints: 76423
3225.47/3241.65 c #Conflicts: 1958000 | #Constraints: 77423
3225.47/3241.65 c #Conflicts: 1959000 | #Constraints: 78423
3225.47/3241.65 c #Conflicts: 1960000 | #Constraints: 79423
3225.47/3241.65 c #Conflicts: 1961000 | #Constraints: 80423
3225.47/3241.65 c #Conflicts: 1962000 | #Constraints: 81423
3225.47/3241.65 c #Conflicts: 1963000 | #Constraints: 82423
3225.47/3241.65 c #Conflicts: 1964000 | #Constraints: 83423
3225.47/3241.65 c #Conflicts: 1965000 | #Constraints: 84423
3225.47/3241.65 c INPROCESSING
3225.47/3241.65 c GARBAGE COLLECT
3225.47/3241.65 c rational objective 67.3333
3319.57/3336.08 c #Conflicts: 1966000 | #Constraints: 57623
3319.57/3336.08 c #Conflicts: 1967000 | #Constraints: 58623
3319.57/3336.08 c #Conflicts: 1968000 | #Constraints: 59623
3319.57/3336.08 c #Conflicts: 1969000 | #Constraints: 60623
3319.57/3336.08 c #Conflicts: 1970000 | #Constraints: 61623
3319.57/3336.08 c #Conflicts: 1971000 | #Constraints: 62623
3319.57/3336.08 c #Conflicts: 1972000 | #Constraints: 63623
3319.57/3336.08 c #Conflicts: 1973000 | #Constraints: 64623
3319.57/3336.08 c #Conflicts: 1974000 | #Constraints: 65623
3319.57/3336.08 c #Conflicts: 1975000 | #Constraints: 66623
3319.57/3336.08 c #Conflicts: 1976000 | #Constraints: 67623
3319.57/3336.08 c #Conflicts: 1977000 | #Constraints: 68623
3319.57/3336.08 c #Conflicts: 1978000 | #Constraints: 69623
3319.57/3336.08 c #Conflicts: 1979000 | #Constraints: 70623
3319.57/3336.08 c #Conflicts: 1980000 | #Constraints: 71623
3319.57/3336.08 c #Conflicts: 1981000 | #Constraints: 72623
3319.57/3336.08 c #Conflicts: 1982000 | #Constraints: 73623
3319.57/3336.08 c #Conflicts: 1983000 | #Constraints: 74623
3319.57/3336.08 c #Conflicts: 1984000 | #Constraints: 75623
3319.57/3336.08 c #Conflicts: 1985000 | #Constraints: 76623
3319.57/3336.08 c #Conflicts: 1986000 | #Constraints: 77623
3319.57/3336.08 c #Conflicts: 1987000 | #Constraints: 78623
3319.57/3336.08 c #Conflicts: 1988000 | #Constraints: 79623
3319.57/3336.08 c #Conflicts: 1989000 | #Constraints: 80623
3319.57/3336.08 c #Conflicts: 1990000 | #Constraints: 81623
3319.57/3336.08 c #Conflicts: 1991000 | #Constraints: 82623
3319.57/3336.08 c #Conflicts: 1992000 | #Constraints: 83623
3319.57/3336.08 c #Conflicts: 1993000 | #Constraints: 84623
3319.57/3336.08 c INPROCESSING
3319.57/3336.08 c GARBAGE COLLECT
3319.57/3336.08 c rational objective 67.3333
3445.84/3462.78 c #Conflicts: 1994000 | #Constraints: 57623
3445.84/3462.78 c #Conflicts: 1995000 | #Constraints: 58623
3445.84/3462.78 c #Conflicts: 1996000 | #Constraints: 59623
3445.84/3462.78 c #Conflicts: 1997000 | #Constraints: 60623
3445.84/3462.78 c #Conflicts: 1998000 | #Constraints: 61623
3445.84/3462.78 c #Conflicts: 1999000 | #Constraints: 62623
3445.84/3462.78 c #Conflicts: 2000000 | #Constraints: 63623
3445.84/3462.78 c #Conflicts: 2001000 | #Constraints: 64623
3445.84/3462.78 c #Conflicts: 2002000 | #Constraints: 65623
3445.84/3462.78 c #Conflicts: 2003000 | #Constraints: 66623
3445.84/3462.78 c #Conflicts: 2004000 | #Constraints: 67623
3445.84/3462.78 c #Conflicts: 2005000 | #Constraints: 68623
3445.84/3462.78 c #Conflicts: 2006000 | #Constraints: 69623
3445.84/3462.78 c #Conflicts: 2007000 | #Constraints: 70623
3445.84/3462.78 c #Conflicts: 2008000 | #Constraints: 71623
3445.84/3462.78 c #Conflicts: 2009000 | #Constraints: 72623
3445.84/3462.78 c #Conflicts: 2010000 | #Constraints: 73623
3445.84/3462.78 c #Conflicts: 2011000 | #Constraints: 74623
3445.84/3462.78 c #Conflicts: 2012000 | #Constraints: 75623
3445.84/3462.78 c #Conflicts: 2013000 | #Constraints: 76623
3445.84/3462.78 c #Conflicts: 2014000 | #Constraints: 77623
3445.84/3462.78 c #Conflicts: 2015000 | #Constraints: 78623
3445.84/3462.78 c #Conflicts: 2016000 | #Constraints: 79623
3445.84/3462.78 c #Conflicts: 2017000 | #Constraints: 80623
3445.84/3462.78 c #Conflicts: 2018000 | #Constraints: 81623
3445.84/3462.78 c #Conflicts: 2019000 | #Constraints: 82623
3445.84/3462.78 c #Conflicts: 2020000 | #Constraints: 83623
3445.84/3462.78 c #Conflicts: 2021000 | #Constraints: 84623
3445.84/3462.78 c INPROCESSING
3445.84/3462.78 c GARBAGE COLLECT
3445.84/3462.78 c rational objective 67.3333
3583.23/3600.52 c #Conflicts: 2022000 | #Constraints: 57423
3583.23/3600.52 c #Conflicts: 2023000 | #Constraints: 58423
3583.23/3600.52 c #Conflicts: 2024000 | #Constraints: 59423
3583.23/3600.52 c #Conflicts: 2025000 | #Constraints: 60423
3583.23/3600.52 c #Conflicts: 2026000 | #Constraints: 61423
3583.23/3600.52 c #Conflicts: 2027000 | #Constraints: 62423
3583.23/3600.52 c #Conflicts: 2028000 | #Constraints: 63423
3583.23/3600.52 c #Conflicts: 2029000 | #Constraints: 64423
3583.23/3600.52 c #Conflicts: 2030000 | #Constraints: 65423
3583.23/3600.52 c #Conflicts: 2031000 | #Constraints: 66423
3583.23/3600.52 c #Conflicts: 2032000 | #Constraints: 67423
3583.23/3600.52 c #Conflicts: 2033000 | #Constraints: 68423
3583.23/3600.52 c #Conflicts: 2034000 | #Constraints: 69423
3583.23/3600.52 c #Conflicts: 2035000 | #Constraints: 70423
3583.23/3600.52 c #Conflicts: 2036000 | #Constraints: 71423
3583.23/3600.52 c #Conflicts: 2037000 | #Constraints: 72423
3583.23/3600.52 c #Conflicts: 2038000 | #Constraints: 73423
3583.23/3600.52 c #Conflicts: 2039000 | #Constraints: 74423
3583.23/3600.52 c #Conflicts: 2040000 | #Constraints: 75423
3583.23/3600.52 c #Conflicts: 2041000 | #Constraints: 76423
3583.23/3600.52 c #Conflicts: 2042000 | #Constraints: 77423
3583.23/3600.52 c #Conflicts: 2043000 | #Constraints: 78423
3583.23/3600.52 c #Conflicts: 2044000 | #Constraints: 79423
3583.23/3600.52 c #Conflicts: 2045000 | #Constraints: 80423
3583.23/3600.52 c #Conflicts: 2046000 | #Constraints: 81423
3583.23/3600.52 c #Conflicts: 2047000 | #Constraints: 82423
3583.23/3600.52 c #Conflicts: 2048000 | #Constraints: 83423
3583.23/3600.52 c #Conflicts: 2049000 | #Constraints: 84423
3583.23/3600.52 c #Conflicts: 2050000 | #Constraints: 85423
3583.23/3600.52 c INPROCESSING
3583.23/3600.52 c GARBAGE COLLECT
3583.23/3600.52 c rational objective 67.3333
3600.08/3617.40 c #Conflicts: 2051000 | #Constraints: 58023
3600.08/3617.40 c #Conflicts: 2052000 | #Constraints: 59023
3600.08/3617.40 c #Conflicts: 2053000 | #Constraints: 60023
3600.08/3617.40 c #Conflicts: 2054000 | #Constraints: 61023
3600.08/3617.40 c #Conflicts: 2055000 | #Constraints: 62023
3600.08/3617.40 c #Conflicts: 2056000 | #Constraints: 63023
3600.08/3617.40 c #Conflicts: 2057000 | #Constraints: 64023
3600.08/3617.40 c #Conflicts: 2058000 | #Constraints: 65023
3600.08/3617.40 c #Conflicts: 2059000 | #Constraints: 66023
3600.08/3617.40 c #Conflicts: 2060000 | #Constraints: 67023
3600.08/3617.40 c #Conflicts: 2061000 | #Constraints: 68023
3600.08/3617.40 c #Conflicts: 2062000 | #Constraints: 69023
3600.08/3617.40 c #Conflicts: 2063000 | #Constraints: 70023
3600.08/3617.40 c #Conflicts: 2064000 | #Constraints: 71023
3600.08/3617.40 c #Conflicts: 2065000 | #Constraints: 72023
3600.08/3617.40 c Disabling crashed LP
3600.08/3617.40 c cpu time 3577.51 s
3600.08/3617.40 c deterministic time 24471800843 2.45e+10
3600.08/3617.40 c optimization time 16.5746 s
3600.08/3617.40 c total solve time 3560.59 s
3600.08/3617.40 c core-guided solve time 0 s
3600.08/3617.40 c propagation time 1896.41 s
3600.08/3617.40 c conflict analysis time 62.886 s
3600.08/3617.40 c propagations 96712748
3600.08/3617.40 c resolve steps 21084007
3600.08/3617.40 c decisions 2599483
3600.08/3617.40 c conflicts 2065385
3600.08/3617.40 c restarts 4090
3600.08/3617.40 c inprocessing phases 134
3600.08/3617.40 c garbage collections 133 ,( 99.25 )
3600.08/3617.40 c input clauses 27507 ,( 95.95 )
3600.08/3617.40 c input cardinalities 294 ,( 1.03 )
3600.08/3617.40 c input general constraints 868 ,( 3.03 )
3600.08/3617.40 c input average constraint length 3.52
3600.08/3617.40 c input average constraint degree 1.55
3600.08/3617.40 c learned clauses 1692756 ,( 81.76 )
3600.08/3617.40 c learned cardinalities 43175 ,( 2.09 )
3600.08/3617.40 c learned general constraints 334519 ,( 16.16 )
3600.08/3617.40 c learned average constraint length 37.96
3600.08/3617.40 c learned average constraint degree 309970.86
3600.08/3617.40 c watched CF 32, 64, 128, Arb: 328095 , 0 , 0 , 0
3600.08/3617.40 c counting CF 32, 64, 128, Arb: 7293 , 0 , 0 , 0
3600.08/3617.40 c watched constraints 328095 ,( 97.83 )
3600.08/3617.40 c counting constraints 7292 ,( 2.17 )
3600.08/3617.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1122399406 , 2581861500 , 167638720 ,( 154770437 , 12868283 )
3600.08/3617.40 c gcd simplifications 18953
3600.08/3617.40 c detected cardinalities 1418
3600.08/3617.40 c weakened non-implied lits 18892584
3600.08/3617.40 c weakened non-implying lits 10088
3600.08/3617.40 c original variables 9324
3600.08/3617.40 c clausal propagations 77192555
3600.08/3617.40 c cardinality propagations 13726990
3600.08/3617.40 c watched propagations 1791531
3600.08/3617.40 c counting propagations 1666478
3600.08/3617.40 c watch lookups 9101242856
3600.08/3617.40 c watch backjump lookups 0
3600.08/3617.40 c watch checks 12720076995
3600.08/3617.40 c propagation checks 2152890689
3600.08/3617.40 c constraint additions 292918322
3600.08/3617.40 c trail pops 101376444
3600.08/3617.40 c formula constraints 28660
3600.08/3617.40 c learned constraints 2065371
3600.08/3617.40 c bound constraints 0
3600.08/3617.40 c core-guided constraints 0
3600.08/3617.40 c encountered formula constraints 11982926
3600.08/3617.40 c encountered learned constraints 9775451
3600.08/3617.40 c encountered bound constraints 0
3600.08/3617.40 c encountered core-guided constraints 0
3600.08/3617.40 c LP total time 3229.73 s
3600.08/3617.40 c LP solve time 3211.94 s
3600.08/3617.40 c LP constraints added 51199
3600.08/3617.40 c LP constraints removed 22166
3600.08/3617.40 c LP pivots internal 2065384
3600.08/3617.40 c LP pivots root 1917921
3600.08/3617.40 c LP calls 219
3600.08/3617.40 c LP optimalities 197
3600.08/3617.40 c LP no pivot count 0
3600.08/3617.40 c LP infeasibilities 15
3600.08/3617.40 c LP valid Farkas constraints 15
3600.08/3617.40 c LP learned Farkas constraints 15
3600.08/3617.40 c LP basis resets 0
3600.08/3617.40 c LP cycling count 0
3600.08/3617.40 c LP singular count 0
3600.08/3617.40 c LP no primal count 0
3600.08/3617.40 c LP no farkas count 0
3600.08/3617.40 c LP other issue count 0
3600.08/3617.40 c LP Gomory cuts 5049
3600.08/3617.40 c LP learned cuts 17490
3600.08/3617.40 c LP deleted cuts 22166
3600.08/3617.40 c LP encountered Gomory constraints 1389061
3600.08/3617.40 c LP encountered Farkas constraints 1889
3600.08/3617.40 c LP encountered learned Farkas constraints 50
3600.08/3617.40 c CG auxiliary variables introduced 10
3600.08/3617.40 c CG solutions found 0
3600.08/3617.40 c CG cores constructed 9
3600.08/3617.40 c CG core cardinality constraints returned 0
3600.08/3617.40 c CG unit cores 0
3600.08/3617.40 c CG single cores 0
3600.08/3617.40 c CG blocks removed during cardinality reduction 0
3600.08/3617.40 c CG first core best 0
3600.08/3617.40 c CG decision core best 0
3600.08/3617.40 c CG core reduction tie 0
3600.08/3617.40 c CG core degree average 0.00
3600.08/3617.40 c CG core slack average 0.00
3600.08/3617.40 c CG core upper bound improvements 0
3600.08/3617.40 c STR number of successful calls 0
3600.08/3617.40 c STR number of unsuccessful calls 0
3600.08/3617.40 c STR number of inconclusive calls 0
3600.08/3617.40 c STR number of successful attempts 0
3600.08/3617.40 c STR number of unsuccessful attempts 0
3600.08/3617.40 c STR number of inconclusive attempts 0
3600.08/3617.40 c STR average degree increase per successful call inf
3600.08/3617.40 c STR average degree increase per successful attempt inf
3600.08/3617.40 c STR total number of conflicts for successful attempts 0
3600.08/3617.40 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3617.40 c STR total number of conflicts for inconclusive attempts 0
3600.08/3617.40 c STR average number of conflicts per successful attempt inf
3600.08/3617.40 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3617.40 c STR average number of conflicts per inconclusive attempt inf
3600.08/3617.40 c AVG.sumWPerc 19.75
3600.08/3617.40 c bigint constraints 0
3600.08/3617.40 s UNKNOWN
3600.08/3617.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (30813 MiB free)
memory of node 1: 64465 MiB (33076 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507953-1751508645/watcher-4507953-1751508645 -o /tmp/evaluation-result-4507953-1751508645/solver-4507953-1751508645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69616 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4507953-1751508645.opb PROOFDIR/proof-4507953-1751508645
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70476, runsolver pid=70473
[startup+0.100035 s]*
/proc/loadavg: 4.52 4.39 4.31 2/250 70478
/proc/meminfo: memFree=65418772/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/70478/stat : 70478 (roundingsat) D 70476 70476 69604 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 66543630 52015104 1856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.206022 s]*
/proc/loadavg: 4.52 4.39 4.31 3/252 70482
/proc/meminfo: memFree=65419168/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/70478/stat : 70478 (roundingsat) D 70476 70476 69604 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 66543630 52015104 1856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.305424 s]*
/proc/loadavg: 4.52 4.39 4.31 2/252 70484
/proc/meminfo: memFree=65419368/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/70478/stat : 70478 (roundingsat) D 70476 70476 69604 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 66543630 52015104 1856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+0.700331 s]
/proc/loadavg: 4.52 4.39 4.31 3/250 70494
/proc/meminfo: memFree=65422436/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/70478/stat : 70478 (roundingsat) D 70476 70476 69604 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 66543630 52015104 1856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+1.50033 s]
/proc/loadavg: 4.52 4.39 4.31 2/249 70496
/proc/meminfo: memFree=65429844/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/70478/stat : 70478 (roundingsat) D 70476 70476 69604 0 -1 4194304 299 0 0 0 0 0 0 0 20 0 1 0 66543630 52015104 1856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
[startup+3.11281 s]
/proc/loadavg: 4.47 4.38 4.30 3/249 70496
/proc/meminfo: memFree=65480892/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/70478/stat : 70478 (roundingsat) D 70476 70476 69604 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 66543630 52015104 1856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 4.47 4.38 4.30 2/252 70510
/proc/meminfo: memFree=91969888/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/70478/stat : 70478 (roundingsat) D 70476 70476 69604 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 66543630 52015104 1856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10368 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 4.40 4.37 4.30 5/255 70516
/proc/meminfo: memFree=91909888/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=114788 memory=64852 CPUtime=5.93 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 11821 0 0 0 567 26 0 0 20 0 1 0 66543630 117542912 16213 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 28697 16213 2432 1147 0 16124 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 118980 KiB
Current children cumulated memory: 67796 KiB
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 4.34 4.35 4.30 5/261 70536
/proc/meminfo: memFree=129800552/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=122512 memory=71744 CPUtime=18.68 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 13619 0 0 0 1834 34 0 0 20 0 1 0 66543630 125452288 17936 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 30628 17936 2432 1147 0 18055 0
Current children cumulated CPU time: 18.68 s
Current children cumulated vsize: 126704 KiB
Current children cumulated memory: 74688 KiB
heavy processes:
[startup+51.1136 s]
/proc/loadavg: 4.29 4.34 4.29 5/262 70538
/proc/meminfo: memFree=129759024/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=125196 memory=74176 CPUtime=44.22 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 14236 0 0 0 4366 56 0 0 20 0 1 0 66543630 128200704 18544 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 31299 18544 2432 1147 0 18726 0
Current children cumulated CPU time: 44.22 s
Current children cumulated vsize: 129388 KiB
Current children cumulated memory: 77120 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.30 4.28 5/261 70539
/proc/meminfo: memFree=129663516/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=125684 memory=79424 CPUtime=95.23 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 14419 0 0 0 9432 91 0 0 20 0 1 0 66543630 128700416 19856 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 31421 19856 2432 1147 0 18848 0
Current children cumulated CPU time: 95.23 s
Current children cumulated vsize: 129876 KiB
Current children cumulated memory: 82368 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.27 4.27 5/261 70541
/proc/meminfo: memFree=129610100/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=128604 memory=84288 CPUtime=155.07 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 15144 0 0 0 15393 114 0 0 20 0 1 0 66543630 131690496 21072 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 32151 21072 2432 1147 0 19578 0
Current children cumulated CPU time: 155.07 s
Current children cumulated vsize: 132796 KiB
Current children cumulated memory: 87232 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.23 4.26 5/261 70543
/proc/meminfo: memFree=129529056/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/70478/statm: 39077 27836 2432 1147 0 26504 0
Current children cumulated CPU time: 3026.72 s
Current children cumulated vsize: 160500 KiB
Current children cumulated memory: 114288 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.26 4.18 5/257 70792
/proc/meminfo: memFree=120755076/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=156308 memory=111344 CPUtime=3086.55 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 20850 0 0 0 306646 2009 0 0 20 0 1 0 66543630 160059392 27836 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 39077 27836 2432 1147 0 26504 0
Current children cumulated CPU time: 3086.55 s
Current children cumulated vsize: 160500 KiB
Current children cumulated memory: 114288 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/256 70794
/proc/meminfo: memFree=120538076/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=156308 memory=111344 CPUtime=3146.39 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 20864 0 0 0 312593 2046 0 0 20 0 1 0 66543630 160059392 27836 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 39077 27836 2432 1147 0 26504 0
Current children cumulated CPU time: 3146.39 s
Current children cumulated vsize: 160500 KiB
Current children cumulated memory: 114288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.21 4.17 5/255 70796
/proc/meminfo: memFree=120323644/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=163796 memory=119080 CPUtime=3206.23 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 22275 0 0 0 318540 2083 0 0 20 0 1 0 66543630 167727104 29770 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 40949 29770 2432 1147 0 28376 0
Current children cumulated CPU time: 3206.23 s
Current children cumulated vsize: 167988 KiB
Current children cumulated memory: 122024 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/258 70801
/proc/meminfo: memFree=120140612/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=163796 memory=119208 CPUtime=3266.03 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 22317 0 0 0 324479 2124 0 0 20 0 1 0 66543630 167727104 29802 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 40949 29802 2432 1147 0 28376 0
Current children cumulated CPU time: 3266.03 s
Current children cumulated vsize: 167988 KiB
Current children cumulated memory: 122152 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.17 5/259 70804
/proc/meminfo: memFree=119914412/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=163796 memory=119208 CPUtime=3325.83 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 22317 0 0 0 330428 2155 0 0 20 0 1 0 66543630 167727104 29802 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 40949 29802 2432 1147 0 28376 0
Current children cumulated CPU time: 3325.83 s
Current children cumulated vsize: 167988 KiB
Current children cumulated memory: 122152 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/259 70808
/proc/meminfo: memFree=119710144/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=166780 memory=122152 CPUtime=3385.63 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 23063 0 0 0 336385 2178 0 0 20 0 1 0 66543630 170782720 30538 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 41695 30538 2432 1147 0 29122 0
Current children cumulated CPU time: 3385.63 s
Current children cumulated vsize: 170972 KiB
Current children cumulated memory: 125096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/259 70810
/proc/meminfo: memFree=119520024/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=166780 memory=122152 CPUtime=3445.44 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 23063 0 0 0 342350 2194 0 0 20 0 1 0 66543630 170782720 30538 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 41695 30538 2432 1147 0 29122 0
Current children cumulated CPU time: 3445.44 s
Current children cumulated vsize: 170972 KiB
Current children cumulated memory: 125096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/259 70812
/proc/meminfo: memFree=119341000/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=166780 memory=122280 CPUtime=3505.23 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 23074 0 0 0 348299 2224 0 0 20 0 1 0 66543630 170782720 30570 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 41695 30570 2432 1147 0 29122 0
Current children cumulated CPU time: 3505.23 s
Current children cumulated vsize: 170972 KiB
Current children cumulated memory: 125224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/259 70814
/proc/meminfo: memFree=119125616/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=166780 memory=122280 CPUtime=3565.07 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 23077 0 0 0 354268 2239 0 0 20 0 1 0 66543630 170782720 30570 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 41695 30570 2432 1147 0 29122 0
Current children cumulated CPU time: 3565.07 s
Current children cumulated vsize: 170972 KiB
Current children cumulated memory: 125224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.4 s]
/proc/loadavg: 4.15 4.15 4.16 5/259 70822
/proc/meminfo: memFree=119007716/131382120 swapFree=33010160/33010684
[pid=70476] ppid=70473 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70476/stat : 70476 (run-opt-log.sh) S 70473 70476 69604 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 66543629 4292608 736 18446744073709551615 94832292507648 94832293402181 140729113105792 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94832293641232 94832293688976 94832320851968 140729113110817 140729113111012 140729113111012 140729113116614 0
/proc/70476/statm: 1048 736 672 219 0 110 0
[pid=70478] ppid=70476 vsize=167252 memory=122664 CPUtime=3600.08 cores=1,3
/proc/70478/stat : 70478 (roundingsat) R 70476 70476 69604 0 -1 4194304 23195 0 0 0 357750 2258 0 0 20 0 1 0 66543630 171266048 30666 18446744073709551615 4227072 8923433 140735850854704 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20234240 140735850858834 140735850859048 140735850859048 140735850864618 0
/proc/70478/statm: 41813 30666 2432 1147 0 29240 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 171444 KiB
Current children cumulated memory: 125608 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3617.41 s]
# the end of solver process 70476 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002713 s
Sleeping 2 seconds
[startup+3617.42 s]
# the end of solver process 70478 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.52 s, system=22.5909 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3617.42
CPU time (s): 3600.11
CPU user time (s): 3577.52
CPU system time (s): 22.5909
CPU usage (%): 99.5212
Max. virtual memory (cumulated for all children) (KiB): 171444
Max. memory (cumulated for all children) (KiB): 125608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.52
system time used= 22.5909
maximum resident set size= 123048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1126256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 488
involuntary context switches= 3343
# summary of solver processes directly reported to runsolver:
# pid: 70476,70478
# total CPU time (s): 3600.11
# total CPU user time (s): 3577.52
# total CPU system time (s): 22.5909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.408 second user time and 36.7085 second system time
The end
Begin job on nodeC008 at 2025-07-03 04:10:45
IDJOB=4507953
IDBENCH=158390
IDSOLVER=3351
FILE ID=nodeC008/4507953-1751508645
RUNJOBID= nodeC008-1751501401-69616
SLURM_JOB_ID= 9598586
Free space on /tmp= 432676 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507953-1751508645/watcher-4507953-1751508645 -o /tmp/evaluation-result-4507953-1751508645/solver-4507953-1751508645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69616 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4507953-1751508645.opb PROOFDIR/proof-4507953-1751508645
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=694378194
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.567
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 3491.807
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.438
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.273
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 65423872 kB
MemAvailable: 129640524 kB
Buffers: 2128 kB
Cached: 64834360 kB
SwapCached: 16 kB
Active: 660356 kB
Inactive: 64304320 kB
Active(anon): 109568 kB
Inactive(anon): 36544 kB
Active(file): 550788 kB
Inactive(file): 64267776 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8708 kB
Writeback: 0 kB
AnonPages: 131276 kB
Mapped: 109336 kB
Shmem: 17920 kB
KReclaimable: 459404 kB
Slab: 551728 kB
SReclaimable: 459404 kB
SUnreclaim: 92324 kB
KernelStack: 4048 kB
PageTables: 3144 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 421428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432792 MiB
End job on nodeC008 at 2025-07-03 05:11:03