0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.14 c #variables 9324 #constraints 28660
0.07/0.14 c objective is ce32
0.07/0.14 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.07/0.14 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.07/0.14 c GLOBAL bounds - >= 0 @ 0.088687
0.07/0.15 c GLOBAL bounds - >= 0 @ 0.092355
0.48/0.59 c GLOBAL bounds - >= 0 @ 0.513144
0.48/0.60 c GLOBAL bounds - >= 0 @ 0.51616
0.48/0.60 c GLOBAL bounds - >= 0 @ 0.51646
0.57/0.61 c GLOBAL bounds - >= 0 @ 0.520995
0.57/0.61 c GLOBAL bounds - >= 0 @ 0.521433
0.57/0.61 c GLOBAL bounds - >= 0 @ 0.523959
0.57/0.62 c GLOBAL bounds - >= 0 @ 0.524281
0.57/0.62 c GLOBAL bounds - >= 0 @ 0.525114
0.57/0.62 c GLOBAL bounds - >= 0 @ 0.525114
0.57/0.63 c GLOBAL bounds - >= 0 @ 0.5291
0.57/0.66 c GLOBAL bounds - >= 0 @ 0.548051
0.57/0.67 c GLOBAL bounds - >= 0 @ 0.551042
7.15/7.27 c #Conflicts: 1000 | #Constraints: 29665
7.15/7.27 c #Conflicts: 2000 | #Constraints: 30665
7.15/7.27 c INPROCESSING
7.15/7.27 c #Conflicts: 3000 | #Constraints: 30674
7.15/7.27 c #Conflicts: 4000 | #Constraints: 31674
7.15/7.27 c INPROCESSING
7.15/7.27 c GARBAGE COLLECT
7.15/7.27 c #Conflicts: 5000 | #Constraints: 31079
7.15/7.27 c #Conflicts: 6000 | #Constraints: 32079
7.15/7.27 c GLOBAL bounds - >= 0 @ 7.06901
7.15/7.28 c GLOBAL bounds - >= 0 @ 7.07159
37.47/37.69 c INPROCESSING
37.47/37.69 c GARBAGE COLLECT
37.47/37.69 c #Conflicts: 7000 | #Constraints: 31086
37.47/37.69 c #Conflicts: 8000 | #Constraints: 32086
37.47/37.69 c #Conflicts: 9000 | #Constraints: 33086
37.47/37.69 c INPROCESSING
37.47/37.69 c GARBAGE COLLECT
37.47/37.69 c #Conflicts: 10000 | #Constraints: 31785
37.47/37.69 c #Conflicts: 11000 | #Constraints: 32785
37.47/37.69 c #Conflicts: 12000 | #Constraints: 33785
37.47/37.69 c INPROCESSING
37.47/37.69 c GARBAGE COLLECT
37.47/37.69 c #Conflicts: 13000 | #Constraints: 32232
37.47/37.69 c #Conflicts: 14000 | #Constraints: 33233
37.47/37.69 c #Conflicts: 15000 | #Constraints: 34233
37.47/37.69 c INPROCESSING
37.47/37.69 c GARBAGE COLLECT
37.47/37.69 c #Conflicts: 16000 | #Constraints: 32458
37.47/37.69 c #Conflicts: 17000 | #Constraints: 33458
37.47/37.69 c #Conflicts: 18000 | #Constraints: 34458
37.47/37.69 c INPROCESSING
37.47/37.69 c GARBAGE COLLECT
37.47/37.69 c #Conflicts: 19000 | #Constraints: 32472
37.47/37.69 c #Conflicts: 20000 | #Constraints: 33472
37.47/37.69 c #Conflicts: 21000 | #Constraints: 34472
37.47/37.69 c INPROCESSING
37.47/37.69 c GARBAGE COLLECT
37.47/37.69 c #Conflicts: 22000 | #Constraints: 32276
37.47/37.69 c #Conflicts: 23000 | #Constraints: 33276
37.47/37.69 c #Conflicts: 24000 | #Constraints: 34276
37.47/37.69 c #Conflicts: 25000 | #Constraints: 35276
37.47/37.69 c INPROCESSING
37.47/37.69 c GARBAGE COLLECT
37.47/37.69 c rational objective 38.9563
55.23/55.44 c #Conflicts: 26000 | #Constraints: 32977
55.23/55.44 c #Conflicts: 27000 | #Constraints: 33978
55.23/55.44 c #Conflicts: 28000 | #Constraints: 34978
55.23/55.44 c #Conflicts: 29000 | #Constraints: 35978
55.23/55.44 c INPROCESSING
55.23/55.44 c GARBAGE COLLECT
55.23/55.44 c #Conflicts: 30000 | #Constraints: 33331
55.23/55.44 c #Conflicts: 31000 | #Constraints: 34331
55.23/55.44 c #Conflicts: 32000 | #Constraints: 35331
55.23/55.44 c #Conflicts: 33000 | #Constraints: 36331
55.23/55.44 c INPROCESSING
55.23/55.44 c GARBAGE COLLECT
55.23/55.44 c #Conflicts: 34000 | #Constraints: 33515
55.23/55.44 c #Conflicts: 35000 | #Constraints: 34515
55.23/55.44 c #Conflicts: 36000 | #Constraints: 35515
55.23/55.44 c #Conflicts: 37000 | #Constraints: 36515
55.23/55.44 c INPROCESSING
55.23/55.44 c GARBAGE COLLECT
55.23/55.44 c #Conflicts: 38000 | #Constraints: 33505
55.23/55.44 c #Conflicts: 39000 | #Constraints: 34505
55.23/55.44 c #Conflicts: 40000 | #Constraints: 35510
55.23/55.44 c #Conflicts: 41000 | #Constraints: 36510
55.23/55.44 c INPROCESSING
55.23/55.44 c GARBAGE COLLECT
55.23/55.44 c rational objective 41.5367
92.93/93.29 c #Conflicts: 42000 | #Constraints: 33401
92.93/93.29 c #Conflicts: 43000 | #Constraints: 34401
92.93/93.29 c #Conflicts: 44000 | #Constraints: 35401
92.93/93.29 c #Conflicts: 45000 | #Constraints: 36401
92.93/93.29 c #Conflicts: 46000 | #Constraints: 37401
92.93/93.29 c INPROCESSING
92.93/93.29 c GARBAGE COLLECT
92.93/93.29 c #Conflicts: 47000 | #Constraints: 33946
92.93/93.29 c #Conflicts: 48000 | #Constraints: 34946
92.93/93.29 c #Conflicts: 49000 | #Constraints: 35946
92.93/93.29 c #Conflicts: 50000 | #Constraints: 36946
92.93/93.29 c #Conflicts: 51000 | #Constraints: 37946
92.93/93.29 c INPROCESSING
92.93/93.29 c GARBAGE COLLECT
92.93/93.29 c rational objective 41.5367
93.93/94.24 c #Conflicts: 52000 | #Constraints: 34402
93.93/94.24 c #Conflicts: 53000 | #Constraints: 35402
93.93/94.24 c #Conflicts: 54000 | #Constraints: 36402
93.93/94.24 c #Conflicts: 55000 | #Constraints: 37402
93.93/94.24 c #Conflicts: 56000 | #Constraints: 38402
93.93/94.24 c INPROCESSING
93.93/94.24 c GARBAGE COLLECT
93.93/94.24 c #Conflicts: 57000 | #Constraints: 34549
93.93/94.24 c #Conflicts: 58000 | #Constraints: 35549
93.93/94.24 c #Conflicts: 59000 | #Constraints: 36549
93.93/94.24 c #Conflicts: 60000 | #Constraints: 37549
93.93/94.24 c #Conflicts: 61000 | #Constraints: 38549
93.93/94.24 c INPROCESSING
93.93/94.24 c GARBAGE COLLECT
93.93/94.24 c #Conflicts: 62000 | #Constraints: 34523
93.93/94.24 c #Conflicts: 63000 | #Constraints: 35523
93.93/94.24 c GLOBAL bounds - >= 0 @ 93.2067
93.93/94.24 c GLOBAL bounds - >= 0 @ 93.2096
139.79/140.28 c #Conflicts: 64000 | #Constraints: 36524
139.79/140.28 c #Conflicts: 65000 | #Constraints: 37524
139.79/140.28 c #Conflicts: 66000 | #Constraints: 38524
139.79/140.28 c INPROCESSING
139.79/140.28 c GARBAGE COLLECT
139.79/140.28 c rational objective 42.5005
176.69/177.24 c #Conflicts: 67000 | #Constraints: 34399
176.69/177.24 c #Conflicts: 68000 | #Constraints: 35399
176.69/177.24 c #Conflicts: 69000 | #Constraints: 36399
176.69/177.24 c #Conflicts: 70000 | #Constraints: 37399
176.69/177.24 c #Conflicts: 71000 | #Constraints: 38399
176.69/177.24 c #Conflicts: 72000 | #Constraints: 39399
176.69/177.24 c INPROCESSING
176.69/177.24 c GARBAGE COLLECT
176.69/177.24 c #Conflicts: 73000 | #Constraints: 34949
176.69/177.24 c #Conflicts: 74000 | #Constraints: 35949
176.69/177.24 c #Conflicts: 75000 | #Constraints: 36949
176.69/177.24 c #Conflicts: 76000 | #Constraints: 37949
176.69/177.24 c #Conflicts: 77000 | #Constraints: 38949
176.69/177.24 c #Conflicts: 78000 | #Constraints: 39949
176.69/177.24 c INPROCESSING
176.69/177.24 c GARBAGE COLLECT
176.69/177.24 c #Conflicts: 79000 | #Constraints: 35322
176.69/177.24 c #Conflicts: 80000 | #Constraints: 36322
176.69/177.24 c #Conflicts: 81000 | #Constraints: 37322
176.69/177.24 c #Conflicts: 82000 | #Constraints: 38322
176.69/177.24 c #Conflicts: 83000 | #Constraints: 39322
176.69/177.24 c #Conflicts: 84000 | #Constraints: 40322
176.69/177.24 c INPROCESSING
176.69/177.24 c GARBAGE COLLECT
176.69/177.24 c #Conflicts: 85000 | #Constraints: 35514
176.69/177.24 c #Conflicts: 86000 | #Constraints: 36514
176.69/177.24 c #Conflicts: 87000 | #Constraints: 37514
176.69/177.24 c #Conflicts: 88000 | #Constraints: 38514
176.69/177.24 c #Conflicts: 89000 | #Constraints: 39514
176.69/177.24 c #Conflicts: 90000 | #Constraints: 40514
176.69/177.24 c INPROCESSING
176.69/177.24 c GARBAGE COLLECT
176.69/177.24 c #Conflicts: 91000 | #Constraints: 35508
176.69/177.24 c #Conflicts: 92000 | #Constraints: 36508
176.69/177.24 c #Conflicts: 93000 | #Constraints: 37508
176.69/177.24 c #Conflicts: 94000 | #Constraints: 38508
176.69/177.24 c #Conflicts: 95000 | #Constraints: 39508
176.69/177.24 c #Conflicts: 96000 | #Constraints: 40508
176.69/177.24 c INPROCESSING
176.69/177.24 c GARBAGE COLLECT
176.69/177.24 c #Conflicts: 97000 | #Constraints: 35307
176.69/177.24 c #Conflicts: 98000 | #Constraints: 36307
176.69/177.24 c #Conflicts: 99000 | #Constraints: 37307
176.69/177.24 c #Conflicts: 100000 | #Constraints: 38307
176.69/177.24 c #Conflicts: 101000 | #Constraints: 39307
176.69/177.24 c #Conflicts: 102000 | #Constraints: 40307
176.69/177.24 c #Conflicts: 103000 | #Constraints: 41307
176.69/177.24 c INPROCESSING
176.69/177.24 c GARBAGE COLLECT
176.69/177.24 c #Conflicts: 104000 | #Constraints: 35904
176.69/177.24 c #Conflicts: 105000 | #Constraints: 36904
176.69/177.24 c #Conflicts: 106000 | #Constraints: 37905
176.69/177.24 c #Conflicts: 107000 | #Constraints: 38905
176.69/177.24 c #Conflicts: 108000 | #Constraints: 39905
176.69/177.24 c #Conflicts: 109000 | #Constraints: 40905
176.69/177.24 c #Conflicts: 110000 | #Constraints: 41905
176.69/177.24 c INPROCESSING
176.69/177.24 c GARBAGE COLLECT
176.69/177.24 c rational objective 42.5084
220.19/220.86 c #Conflicts: 111000 | #Constraints: 36362
220.19/220.86 c #Conflicts: 112000 | #Constraints: 37362
220.19/220.86 c #Conflicts: 113000 | #Constraints: 38362
220.19/220.86 c #Conflicts: 114000 | #Constraints: 39362
220.19/220.86 c #Conflicts: 115000 | #Constraints: 40362
220.19/220.86 c #Conflicts: 116000 | #Constraints: 41362
220.19/220.86 c #Conflicts: 117000 | #Constraints: 42362
220.19/220.86 c INPROCESSING
220.19/220.86 c GARBAGE COLLECT
220.19/220.86 c #Conflicts: 118000 | #Constraints: 36533
220.19/220.86 c #Conflicts: 119000 | #Constraints: 37533
220.19/220.86 c #Conflicts: 120000 | #Constraints: 38533
220.19/220.86 c #Conflicts: 121000 | #Constraints: 39533
220.19/220.86 c #Conflicts: 122000 | #Constraints: 40533
220.19/220.86 c #Conflicts: 123000 | #Constraints: 41533
220.19/220.86 c #Conflicts: 124000 | #Constraints: 42533
220.19/220.86 c INPROCESSING
220.19/220.86 c GARBAGE COLLECT
220.19/220.86 c #Conflicts: 125000 | #Constraints: 36517
220.19/220.86 c #Conflicts: 126000 | #Constraints: 37517
220.19/220.86 c #Conflicts: 127000 | #Constraints: 38517
220.19/220.86 c #Conflicts: 128000 | #Constraints: 39517
220.19/220.86 c #Conflicts: 129000 | #Constraints: 40517
220.19/220.86 c #Conflicts: 130000 | #Constraints: 41517
220.19/220.86 c #Conflicts: 131000 | #Constraints: 42517
220.19/220.86 c INPROCESSING
220.19/220.86 c GARBAGE COLLECT
220.19/220.86 c rational objective 44.0518
267.28/268.05 c #Conflicts: 132000 | #Constraints: 36363
267.28/268.05 c #Conflicts: 133000 | #Constraints: 37363
267.28/268.05 c #Conflicts: 134000 | #Constraints: 38363
267.28/268.05 c #Conflicts: 135000 | #Constraints: 39363
267.28/268.05 c #Conflicts: 136000 | #Constraints: 40363
267.28/268.05 c #Conflicts: 137000 | #Constraints: 41363
267.28/268.05 c #Conflicts: 138000 | #Constraints: 42363
267.28/268.05 c #Conflicts: 139000 | #Constraints: 43363
267.28/268.05 c INPROCESSING
267.28/268.05 c GARBAGE COLLECT
267.28/268.05 c rational objective 57
310.28/311.14 c #Conflicts: 140000 | #Constraints: 37012
310.28/311.14 c #Conflicts: 141000 | #Constraints: 38012
310.28/311.14 c #Conflicts: 142000 | #Constraints: 39012
310.28/311.14 c #Conflicts: 143000 | #Constraints: 40012
310.28/311.14 c #Conflicts: 144000 | #Constraints: 41012
310.28/311.14 c #Conflicts: 145000 | #Constraints: 42012
310.28/311.14 c #Conflicts: 146000 | #Constraints: 43012
310.28/311.14 c #Conflicts: 147000 | #Constraints: 44012
310.28/311.14 c INPROCESSING
310.28/311.14 c GARBAGE COLLECT
310.28/311.14 c #Conflicts: 148000 | #Constraints: 37360
310.28/311.14 c #Conflicts: 149000 | #Constraints: 38360
310.28/311.14 c #Conflicts: 150000 | #Constraints: 39360
310.28/311.14 c #Conflicts: 151000 | #Constraints: 40360
310.28/311.14 c #Conflicts: 152000 | #Constraints: 41360
310.28/311.14 c #Conflicts: 153000 | #Constraints: 42360
310.28/311.14 c #Conflicts: 154000 | #Constraints: 43360
310.28/311.14 c #Conflicts: 155000 | #Constraints: 44360
310.28/311.14 c INPROCESSING
310.28/311.14 c GARBAGE COLLECT
310.28/311.14 c #Conflicts: 156000 | #Constraints: 37535
310.28/311.14 c #Conflicts: 157000 | #Constraints: 38535
310.28/311.14 c #Conflicts: 158000 | #Constraints: 39535
310.28/311.14 c #Conflicts: 159000 | #Constraints: 40535
310.28/311.14 c #Conflicts: 160000 | #Constraints: 41535
310.28/311.14 c #Conflicts: 161000 | #Constraints: 42535
310.28/311.14 c #Conflicts: 162000 | #Constraints: 43535
310.28/311.14 c #Conflicts: 163000 | #Constraints: 44535
310.28/311.14 c INPROCESSING
310.28/311.14 c GARBAGE COLLECT
310.28/311.14 c #Conflicts: 164000 | #Constraints: 37525
310.28/311.14 c #Conflicts: 165000 | #Constraints: 38525
310.28/311.14 c #Conflicts: 166000 | #Constraints: 39525
310.28/311.14 c #Conflicts: 167000 | #Constraints: 40525
310.28/311.14 c #Conflicts: 168000 | #Constraints: 41525
310.28/311.14 c #Conflicts: 169000 | #Constraints: 42525
310.28/311.14 c #Conflicts: 170000 | #Constraints: 43525
310.28/311.14 c #Conflicts: 171000 | #Constraints: 44525
310.28/311.14 c INPROCESSING
310.28/311.14 c GARBAGE COLLECT
310.28/311.14 c #Conflicts: 172000 | #Constraints: 37318
310.28/311.14 c #Conflicts: 173000 | #Constraints: 38318
310.28/311.14 c #Conflicts: 174000 | #Constraints: 39318
310.28/311.14 c #Conflicts: 175000 | #Constraints: 40318
310.28/311.14 c #Conflicts: 176000 | #Constraints: 41318
310.28/311.14 c #Conflicts: 177000 | #Constraints: 42318
310.28/311.14 c #Conflicts: 178000 | #Constraints: 43318
310.28/311.14 c #Conflicts: 179000 | #Constraints: 44318
310.28/311.14 c #Conflicts: 180000 | #Constraints: 45318
310.28/311.14 c INPROCESSING
310.28/311.14 c GARBAGE COLLECT
310.28/311.14 c #Conflicts: 181000 | #Constraints: 37914
310.28/311.14 c #Conflicts: 182000 | #Constraints: 38914
310.28/311.14 c #Conflicts: 183000 | #Constraints: 39914
310.28/311.14 c #Conflicts: 184000 | #Constraints: 40914
310.28/311.14 c #Conflicts: 185000 | #Constraints: 41914
310.28/311.14 c #Conflicts: 186000 | #Constraints: 42915
310.28/311.14 c #Conflicts: 187000 | #Constraints: 43915
310.28/311.14 c #Conflicts: 188000 | #Constraints: 44915
310.28/311.14 c #Conflicts: 189000 | #Constraints: 45915
310.28/311.14 c INPROCESSING
310.28/311.14 c GARBAGE COLLECT
310.28/311.14 c rational objective 62
329.43/330.39 c #Conflicts: 190000 | #Constraints: 38372
329.43/330.39 c #Conflicts: 191000 | #Constraints: 39372
329.43/330.39 c #Conflicts: 192000 | #Constraints: 40372
329.43/330.39 c #Conflicts: 193000 | #Constraints: 41372
329.43/330.39 c #Conflicts: 194000 | #Constraints: 42372
329.43/330.39 c #Conflicts: 195000 | #Constraints: 43372
329.43/330.39 c #Conflicts: 196000 | #Constraints: 44372
329.43/330.39 c #Conflicts: 197000 | #Constraints: 45372
329.43/330.39 c #Conflicts: 198000 | #Constraints: 46372
329.43/330.39 c INPROCESSING
329.43/330.39 c GARBAGE COLLECT
329.43/330.39 c rational objective 63
356.47/357.41 c #Conflicts: 199000 | #Constraints: 38588
356.47/357.41 c #Conflicts: 200000 | #Constraints: 39588
356.47/357.41 c #Conflicts: 201000 | #Constraints: 40588
356.47/357.41 c #Conflicts: 202000 | #Constraints: 41588
356.47/357.41 c #Conflicts: 203000 | #Constraints: 42588
356.47/357.41 c #Conflicts: 204000 | #Constraints: 43588
356.47/357.41 c #Conflicts: 205000 | #Constraints: 44588
356.47/357.41 c #Conflicts: 206000 | #Constraints: 45588
356.47/357.41 c #Conflicts: 207000 | #Constraints: 46588
356.47/357.41 c INPROCESSING
356.47/357.41 c GARBAGE COLLECT
356.47/357.41 c #Conflicts: 208000 | #Constraints: 38551
356.47/357.41 c #Conflicts: 209000 | #Constraints: 39551
356.47/357.41 c #Conflicts: 210000 | #Constraints: 40551
356.47/357.41 c #Conflicts: 211000 | #Constraints: 41551
356.47/357.41 c #Conflicts: 212000 | #Constraints: 42551
356.47/357.41 c #Conflicts: 213000 | #Constraints: 43551
356.47/357.41 c #Conflicts: 214000 | #Constraints: 44551
356.47/357.41 c #Conflicts: 215000 | #Constraints: 45551
356.47/357.41 c #Conflicts: 216000 | #Constraints: 46551
356.47/357.41 c INPROCESSING
356.47/357.41 c GARBAGE COLLECT
356.47/357.41 c rational objective 65
484.87/486.15 c #Conflicts: 217000 | #Constraints: 38388
484.87/486.15 c #Conflicts: 218000 | #Constraints: 39388
484.87/486.15 c #Conflicts: 219000 | #Constraints: 40388
484.87/486.15 c #Conflicts: 220000 | #Constraints: 41388
484.87/486.15 c #Conflicts: 221000 | #Constraints: 42388
484.87/486.15 c #Conflicts: 222000 | #Constraints: 43388
484.87/486.15 c #Conflicts: 223000 | #Constraints: 44388
484.87/486.15 c #Conflicts: 224000 | #Constraints: 45388
484.87/486.15 c #Conflicts: 225000 | #Constraints: 46388
484.87/486.15 c #Conflicts: 226000 | #Constraints: 47388
484.87/486.15 c INPROCESSING
484.87/486.15 c GARBAGE COLLECT
484.87/486.15 c #Conflicts: 227000 | #Constraints: 38947
484.87/486.15 c #Conflicts: 228000 | #Constraints: 39947
484.87/486.15 c #Conflicts: 229000 | #Constraints: 40947
484.87/486.15 c #Conflicts: 230000 | #Constraints: 41947
484.87/486.15 c #Conflicts: 231000 | #Constraints: 42947
484.87/486.15 c #Conflicts: 232000 | #Constraints: 43947
484.87/486.15 c #Conflicts: 233000 | #Constraints: 44947
484.87/486.15 c #Conflicts: 234000 | #Constraints: 45947
484.87/486.15 c #Conflicts: 235000 | #Constraints: 46947
484.87/486.15 c #Conflicts: 236000 | #Constraints: 47947
484.87/486.15 c INPROCESSING
484.87/486.15 c GARBAGE COLLECT
484.87/486.15 c #Conflicts: 237000 | #Constraints: 39329
484.87/486.15 c #Conflicts: 238000 | #Constraints: 40329
484.87/486.15 c #Conflicts: 239000 | #Constraints: 41329
484.87/486.15 c #Conflicts: 240000 | #Constraints: 42329
484.87/486.15 c #Conflicts: 241000 | #Constraints: 43329
484.87/486.15 c #Conflicts: 242000 | #Constraints: 44329
484.87/486.15 c #Conflicts: 243000 | #Constraints: 45329
484.87/486.15 c #Conflicts: 244000 | #Constraints: 46330
484.87/486.15 c #Conflicts: 245000 | #Constraints: 47330
484.87/486.15 c #Conflicts: 246000 | #Constraints: 48330
484.87/486.15 c INPROCESSING
484.87/486.15 c GARBAGE COLLECT
484.87/486.15 c #Conflicts: 247000 | #Constraints: 39526
484.87/486.15 c #Conflicts: 248000 | #Constraints: 40526
484.87/486.15 c #Conflicts: 249000 | #Constraints: 41526
484.87/486.15 c #Conflicts: 250000 | #Constraints: 42526
484.87/486.15 c #Conflicts: 251000 | #Constraints: 43526
484.87/486.15 c #Conflicts: 252000 | #Constraints: 44526
484.87/486.15 c #Conflicts: 253000 | #Constraints: 45526
484.87/486.15 c #Conflicts: 254000 | #Constraints: 46526
484.87/486.15 c #Conflicts: 255000 | #Constraints: 47526
484.87/486.15 c #Conflicts: 256000 | #Constraints: 48526
484.87/486.15 c INPROCESSING
484.87/486.15 c GARBAGE COLLECT
484.87/486.15 c #Conflicts: 257000 | #Constraints: 39511
484.87/486.15 c #Conflicts: 258000 | #Constraints: 40511
484.87/486.15 c #Conflicts: 259000 | #Constraints: 41511
484.87/486.15 c #Conflicts: 260000 | #Constraints: 42511
484.87/486.15 c #Conflicts: 261000 | #Constraints: 43511
484.87/486.15 c #Conflicts: 262000 | #Constraints: 44511
484.87/486.15 c #Conflicts: 263000 | #Constraints: 45511
484.87/486.15 c #Conflicts: 264000 | #Constraints: 46511
484.87/486.15 c #Conflicts: 265000 | #Constraints: 47511
484.87/486.15 c #Conflicts: 266000 | #Constraints: 48511
484.87/486.15 c INPROCESSING
484.87/486.15 c GARBAGE COLLECT
484.87/486.15 c #Conflicts: 267000 | #Constraints: 39311
484.87/486.15 c #Conflicts: 268000 | #Constraints: 40311
484.87/486.15 c #Conflicts: 269000 | #Constraints: 41311
484.87/486.15 c #Conflicts: 270000 | #Constraints: 42311
484.87/486.15 c #Conflicts: 271000 | #Constraints: 43311
484.87/486.15 c #Conflicts: 272000 | #Constraints: 44311
484.87/486.15 c #Conflicts: 273000 | #Constraints: 45311
484.87/486.15 c #Conflicts: 274000 | #Constraints: 46311
484.87/486.15 c #Conflicts: 275000 | #Constraints: 47311
484.87/486.15 c #Conflicts: 276000 | #Constraints: 48311
484.87/486.15 c #Conflicts: 277000 | #Constraints: 49311
484.87/486.15 c INPROCESSING
484.87/486.15 c GARBAGE COLLECT
484.87/486.15 c #Conflicts: 278000 | #Constraints: 39912
484.87/486.15 c #Conflicts: 279000 | #Constraints: 40912
484.87/486.15 c #Conflicts: 280000 | #Constraints: 41912
484.87/486.15 c #Conflicts: 281000 | #Constraints: 42912
484.87/486.15 c #Conflicts: 282000 | #Constraints: 43912
484.87/486.15 c #Conflicts: 283000 | #Constraints: 44912
484.87/486.15 c #Conflicts: 284000 | #Constraints: 45912
484.87/486.15 c #Conflicts: 285000 | #Constraints: 46912
484.87/486.15 c #Conflicts: 286000 | #Constraints: 47912
484.87/486.15 c #Conflicts: 287000 | #Constraints: 48912
484.87/486.15 c #Conflicts: 288000 | #Constraints: 49912
484.87/486.15 c INPROCESSING
484.87/486.15 c GARBAGE COLLECT
484.87/486.15 c rational objective 66.0228
511.20/512.56 c #Conflicts: 289000 | #Constraints: 40391
511.20/512.56 c #Conflicts: 290000 | #Constraints: 41391
511.20/512.56 c #Conflicts: 291000 | #Constraints: 42391
511.20/512.56 c #Conflicts: 292000 | #Constraints: 43391
511.20/512.56 c #Conflicts: 293000 | #Constraints: 44391
511.20/512.56 c #Conflicts: 294000 | #Constraints: 45391
511.20/512.56 c #Conflicts: 295000 | #Constraints: 46391
511.20/512.56 c #Conflicts: 296000 | #Constraints: 47391
511.20/512.56 c #Conflicts: 297000 | #Constraints: 48391
511.20/512.56 c #Conflicts: 298000 | #Constraints: 49391
511.20/512.56 c #Conflicts: 299000 | #Constraints: 50391
511.20/512.56 c INPROCESSING
511.20/512.56 c GARBAGE COLLECT
511.20/512.56 c rational objective 66.0228
538.64/540.04 c #Conflicts: 300000 | #Constraints: 40632
538.64/540.04 c #Conflicts: 301000 | #Constraints: 41632
538.64/540.04 c #Conflicts: 302000 | #Constraints: 42632
538.64/540.04 c #Conflicts: 303000 | #Constraints: 43632
538.64/540.04 c #Conflicts: 304000 | #Constraints: 44632
538.64/540.04 c #Conflicts: 305000 | #Constraints: 45632
538.64/540.04 c #Conflicts: 306000 | #Constraints: 46632
538.64/540.04 c #Conflicts: 307000 | #Constraints: 47632
538.64/540.04 c #Conflicts: 308000 | #Constraints: 48632
538.64/540.04 c #Conflicts: 309000 | #Constraints: 49632
538.64/540.04 c #Conflicts: 310000 | #Constraints: 50632
538.64/540.04 c INPROCESSING
538.64/540.04 c GARBAGE COLLECT
538.64/540.04 c #Conflicts: 311000 | #Constraints: 40577
538.64/540.04 c #Conflicts: 312000 | #Constraints: 41577
538.64/540.04 c #Conflicts: 313000 | #Constraints: 42577
538.64/540.04 c #Conflicts: 314000 | #Constraints: 43577
538.64/540.04 c #Conflicts: 315000 | #Constraints: 44578
538.64/540.04 c #Conflicts: 316000 | #Constraints: 45578
538.64/540.04 c #Conflicts: 317000 | #Constraints: 46578
538.64/540.04 c #Conflicts: 318000 | #Constraints: 47578
538.64/540.04 c #Conflicts: 319000 | #Constraints: 48578
538.64/540.04 c #Conflicts: 320000 | #Constraints: 49578
538.64/540.04 c #Conflicts: 321000 | #Constraints: 50578
538.64/540.04 c INPROCESSING
538.64/540.04 c GARBAGE COLLECT
538.64/540.04 c rational objective 66.0271
579.44/580.96 c #Conflicts: 322000 | #Constraints: 40425
579.44/580.96 c #Conflicts: 323000 | #Constraints: 41425
579.44/580.96 c #Conflicts: 324000 | #Constraints: 42425
579.44/580.96 c #Conflicts: 325000 | #Constraints: 43425
579.44/580.96 c #Conflicts: 326000 | #Constraints: 44425
579.44/580.96 c #Conflicts: 327000 | #Constraints: 45425
579.44/580.96 c #Conflicts: 328000 | #Constraints: 46425
579.44/580.96 c #Conflicts: 329000 | #Constraints: 47425
579.44/580.96 c #Conflicts: 330000 | #Constraints: 48425
579.44/580.96 c #Conflicts: 331000 | #Constraints: 49425
579.44/580.96 c #Conflicts: 332000 | #Constraints: 50425
579.44/580.96 c #Conflicts: 333000 | #Constraints: 51425
579.44/580.96 c INPROCESSING
579.44/580.96 c GARBAGE COLLECT
579.44/580.96 c rational objective 66.0305
640.40/642.03 c #Conflicts: 334000 | #Constraints: 41039
640.40/642.03 c #Conflicts: 335000 | #Constraints: 42039
640.40/642.03 c #Conflicts: 336000 | #Constraints: 43039
640.40/642.03 c #Conflicts: 337000 | #Constraints: 44039
640.40/642.03 c #Conflicts: 338000 | #Constraints: 45039
640.40/642.03 c #Conflicts: 339000 | #Constraints: 46039
640.40/642.03 c #Conflicts: 340000 | #Constraints: 47039
640.40/642.03 c #Conflicts: 341000 | #Constraints: 48039
640.40/642.03 c #Conflicts: 342000 | #Constraints: 49039
640.40/642.03 c #Conflicts: 343000 | #Constraints: 50039
640.40/642.03 c #Conflicts: 344000 | #Constraints: 51039
640.40/642.03 c #Conflicts: 345000 | #Constraints: 52039
640.40/642.03 c INPROCESSING
640.40/642.03 c GARBAGE COLLECT
640.40/642.03 c #Conflicts: 346000 | #Constraints: 41374
640.40/642.03 c #Conflicts: 347000 | #Constraints: 42374
640.40/642.03 c #Conflicts: 348000 | #Constraints: 43374
640.40/642.03 c #Conflicts: 349000 | #Constraints: 44374
640.40/642.03 c #Conflicts: 350000 | #Constraints: 45374
640.40/642.03 c #Conflicts: 351000 | #Constraints: 46374
640.40/642.03 c #Conflicts: 352000 | #Constraints: 47374
640.40/642.03 c #Conflicts: 353000 | #Constraints: 48374
640.40/642.03 c #Conflicts: 354000 | #Constraints: 49374
640.40/642.03 c #Conflicts: 355000 | #Constraints: 50374
640.40/642.03 c #Conflicts: 356000 | #Constraints: 51374
640.40/642.03 c #Conflicts: 357000 | #Constraints: 52374
640.40/642.03 c INPROCESSING
640.40/642.03 c GARBAGE COLLECT
640.40/642.03 c #Conflicts: 358000 | #Constraints: 41543
640.40/642.03 c #Conflicts: 359000 | #Constraints: 42543
640.40/642.03 c #Conflicts: 360000 | #Constraints: 43543
640.40/642.03 c #Conflicts: 361000 | #Constraints: 44543
640.40/642.03 c #Conflicts: 362000 | #Constraints: 45543
640.40/642.03 c #Conflicts: 363000 | #Constraints: 46543
640.40/642.03 c #Conflicts: 364000 | #Constraints: 47543
640.40/642.03 c #Conflicts: 365000 | #Constraints: 48543
640.40/642.03 c #Conflicts: 366000 | #Constraints: 49543
640.40/642.03 c #Conflicts: 367000 | #Constraints: 50543
640.40/642.03 c #Conflicts: 368000 | #Constraints: 51543
640.40/642.03 c #Conflicts: 369000 | #Constraints: 52543
640.40/642.03 c INPROCESSING
640.40/642.03 c GARBAGE COLLECT
640.40/642.03 c #Conflicts: 370000 | #Constraints: 41525
640.40/642.03 c #Conflicts: 371000 | #Constraints: 42525
640.40/642.03 c #Conflicts: 372000 | #Constraints: 43525
640.40/642.03 c #Conflicts: 373000 | #Constraints: 44525
640.40/642.03 c #Conflicts: 374000 | #Constraints: 45525
640.40/642.03 c #Conflicts: 375000 | #Constraints: 46525
640.40/642.03 c #Conflicts: 376000 | #Constraints: 47525
640.40/642.03 c #Conflicts: 377000 | #Constraints: 48525
640.40/642.03 c #Conflicts: 378000 | #Constraints: 49525
640.40/642.03 c #Conflicts: 379000 | #Constraints: 50525
640.40/642.03 c #Conflicts: 380000 | #Constraints: 51525
640.40/642.03 c #Conflicts: 381000 | #Constraints: 52525
640.40/642.03 c INPROCESSING
640.40/642.03 c GARBAGE COLLECT
640.40/642.03 c rational objective 66.0315
670.22/671.94 c #Conflicts: 382000 | #Constraints: 41404
670.22/671.94 c #Conflicts: 383000 | #Constraints: 42404
670.22/671.94 c #Conflicts: 384000 | #Constraints: 43404
670.22/671.94 c #Conflicts: 385000 | #Constraints: 44404
670.22/671.94 c #Conflicts: 386000 | #Constraints: 45404
670.22/671.94 c #Conflicts: 387000 | #Constraints: 46405
670.22/671.94 c #Conflicts: 388000 | #Constraints: 47405
670.22/671.94 c #Conflicts: 389000 | #Constraints: 48405
670.22/671.94 c #Conflicts: 390000 | #Constraints: 49405
670.22/671.94 c #Conflicts: 391000 | #Constraints: 50405
670.22/671.94 c #Conflicts: 392000 | #Constraints: 51405
670.22/671.94 c #Conflicts: 393000 | #Constraints: 52405
670.22/671.94 c #Conflicts: 394000 | #Constraints: 53405
670.22/671.94 c INPROCESSING
670.22/671.94 c GARBAGE COLLECT
670.22/671.94 c rational objective 66.0346
670.62/672.38 c #Conflicts: 395000 | #Constraints: 42047
670.62/672.38 c #Conflicts: 396000 | #Constraints: 43047
670.62/672.38 c GLOBAL bounds - >= 0 @ 666.405
670.62/672.39 c GLOBAL bounds - >= 0 @ 666.41
736.26/738.16 c #Conflicts: 397000 | #Constraints: 44048
736.26/738.16 c #Conflicts: 398000 | #Constraints: 45048
736.26/738.16 c #Conflicts: 399000 | #Constraints: 46048
736.26/738.16 c #Conflicts: 400000 | #Constraints: 47048
736.26/738.16 c #Conflicts: 401000 | #Constraints: 48048
736.26/738.16 c #Conflicts: 402000 | #Constraints: 49048
736.26/738.16 c #Conflicts: 403000 | #Constraints: 50048
736.26/738.16 c #Conflicts: 404000 | #Constraints: 51048
736.26/738.16 c #Conflicts: 405000 | #Constraints: 52048
736.26/738.16 c #Conflicts: 406000 | #Constraints: 53048
736.26/738.16 c #Conflicts: 407000 | #Constraints: 54048
736.26/738.16 c INPROCESSING
736.26/738.16 c GARBAGE COLLECT
736.26/738.16 c rational objective 66.0376
780.93/782.95 c #Conflicts: 408000 | #Constraints: 42467
780.93/782.95 c #Conflicts: 409000 | #Constraints: 43467
780.93/782.95 c #Conflicts: 410000 | #Constraints: 44467
780.93/782.95 c #Conflicts: 411000 | #Constraints: 45467
780.93/782.95 c #Conflicts: 412000 | #Constraints: 46467
780.93/782.95 c #Conflicts: 413000 | #Constraints: 47467
780.93/782.95 c #Conflicts: 414000 | #Constraints: 48467
780.93/782.95 c #Conflicts: 415000 | #Constraints: 49467
780.93/782.95 c #Conflicts: 416000 | #Constraints: 50467
780.93/782.95 c #Conflicts: 417000 | #Constraints: 51467
780.93/782.95 c #Conflicts: 418000 | #Constraints: 52467
780.93/782.95 c #Conflicts: 419000 | #Constraints: 53467
780.93/782.95 c #Conflicts: 420000 | #Constraints: 54467
780.93/782.95 c INPROCESSING
780.93/782.95 c GARBAGE COLLECT
780.93/782.95 c #Conflicts: 421000 | #Constraints: 42589
780.93/782.95 c #Conflicts: 422000 | #Constraints: 43589
780.93/782.95 c #Conflicts: 423000 | #Constraints: 44589
780.93/782.95 c #Conflicts: 424000 | #Constraints: 45589
780.93/782.95 c #Conflicts: 425000 | #Constraints: 46589
780.93/782.95 c #Conflicts: 426000 | #Constraints: 47589
780.93/782.95 c #Conflicts: 427000 | #Constraints: 48589
780.93/782.95 c #Conflicts: 428000 | #Constraints: 49589
780.93/782.95 c #Conflicts: 429000 | #Constraints: 50589
780.93/782.95 c #Conflicts: 430000 | #Constraints: 51589
780.93/782.95 c #Conflicts: 431000 | #Constraints: 52589
780.93/782.95 c #Conflicts: 432000 | #Constraints: 53589
780.93/782.95 c #Conflicts: 433000 | #Constraints: 54589
780.93/782.95 c INPROCESSING
780.93/782.95 c GARBAGE COLLECT
780.93/782.95 c #Conflicts: 434000 | #Constraints: 42555
780.93/782.95 c #Conflicts: 435000 | #Constraints: 43555
780.93/782.95 c #Conflicts: 436000 | #Constraints: 44555
780.93/782.95 c #Conflicts: 437000 | #Constraints: 45555
780.93/782.95 c #Conflicts: 438000 | #Constraints: 46555
780.93/782.95 c #Conflicts: 439000 | #Constraints: 47555
780.93/782.95 c #Conflicts: 440000 | #Constraints: 48555
780.93/782.95 c #Conflicts: 441000 | #Constraints: 49555
780.93/782.95 c #Conflicts: 442000 | #Constraints: 50555
780.93/782.95 c #Conflicts: 443000 | #Constraints: 51555
780.93/782.95 c #Conflicts: 444000 | #Constraints: 52555
780.93/782.95 c #Conflicts: 445000 | #Constraints: 53555
780.93/782.95 c #Conflicts: 446000 | #Constraints: 54555
780.93/782.95 c INPROCESSING
780.93/782.95 c GARBAGE COLLECT
780.93/782.95 c #Conflicts: 447000 | #Constraints: 42329
780.93/782.95 c #Conflicts: 448000 | #Constraints: 43329
780.93/782.95 c #Conflicts: 449000 | #Constraints: 44329
780.93/782.95 c #Conflicts: 450000 | #Constraints: 45329
780.93/782.95 c #Conflicts: 451000 | #Constraints: 46329
780.93/782.95 c #Conflicts: 452000 | #Constraints: 47329
780.93/782.95 c #Conflicts: 453000 | #Constraints: 48329
780.93/782.95 c #Conflicts: 454000 | #Constraints: 49329
780.93/782.95 c #Conflicts: 455000 | #Constraints: 50329
780.93/782.95 c #Conflicts: 456000 | #Constraints: 51329
780.93/782.95 c #Conflicts: 457000 | #Constraints: 52329
780.93/782.95 c #Conflicts: 458000 | #Constraints: 53329
780.93/782.95 c #Conflicts: 459000 | #Constraints: 54329
780.93/782.95 c #Conflicts: 460000 | #Constraints: 55329
780.93/782.95 c INPROCESSING
780.93/782.95 c GARBAGE COLLECT
780.93/782.95 c rational objective 66.0379
812.74/814.83 c #Conflicts: 461000 | #Constraints: 42994
812.74/814.83 c #Conflicts: 462000 | #Constraints: 43994
812.74/814.83 c #Conflicts: 463000 | #Constraints: 44994
812.74/814.83 c #Conflicts: 464000 | #Constraints: 45994
812.74/814.83 c #Conflicts: 465000 | #Constraints: 46994
812.74/814.83 c #Conflicts: 466000 | #Constraints: 47994
812.74/814.83 c #Conflicts: 467000 | #Constraints: 48994
812.74/814.83 c #Conflicts: 468000 | #Constraints: 49994
812.74/814.83 c #Conflicts: 469000 | #Constraints: 50994
812.74/814.83 c #Conflicts: 470000 | #Constraints: 51994
812.74/814.83 c #Conflicts: 471000 | #Constraints: 52994
812.74/814.83 c #Conflicts: 472000 | #Constraints: 53994
812.74/814.83 c #Conflicts: 473000 | #Constraints: 54994
812.74/814.83 c #Conflicts: 474000 | #Constraints: 55994
812.74/814.83 c INPROCESSING
812.74/814.83 c GARBAGE COLLECT
812.74/814.83 c rational objective 66.0386
892.10/894.45 c #Conflicts: 475000 | #Constraints: 43430
892.10/894.45 c #Conflicts: 476000 | #Constraints: 44430
892.10/894.45 c #Conflicts: 477000 | #Constraints: 45430
892.10/894.45 c #Conflicts: 478000 | #Constraints: 46430
892.10/894.45 c #Conflicts: 479000 | #Constraints: 47430
892.10/894.45 c #Conflicts: 480000 | #Constraints: 48430
892.10/894.45 c #Conflicts: 481000 | #Constraints: 49430
892.10/894.45 c #Conflicts: 482000 | #Constraints: 50430
892.10/894.45 c #Conflicts: 483000 | #Constraints: 51430
892.10/894.45 c #Conflicts: 484000 | #Constraints: 52430
892.10/894.45 c #Conflicts: 485000 | #Constraints: 53430
892.10/894.45 c #Conflicts: 486000 | #Constraints: 54430
892.10/894.45 c #Conflicts: 487000 | #Constraints: 55430
892.10/894.45 c #Conflicts: 488000 | #Constraints: 56430
892.10/894.45 c INPROCESSING
892.10/894.45 c GARBAGE COLLECT
892.10/894.45 c rational objective 66.0396
950.93/953.44 c #Conflicts: 489000 | #Constraints: 43645
950.93/953.44 c #Conflicts: 490000 | #Constraints: 44645
950.93/953.44 c #Conflicts: 491000 | #Constraints: 45645
950.93/953.44 c #Conflicts: 492000 | #Constraints: 46645
950.93/953.44 c #Conflicts: 493000 | #Constraints: 47645
950.93/953.44 c #Conflicts: 494000 | #Constraints: 48645
950.93/953.44 c #Conflicts: 495000 | #Constraints: 49645
950.93/953.44 c #Conflicts: 496000 | #Constraints: 50645
950.93/953.44 c #Conflicts: 497000 | #Constraints: 51645
950.93/953.44 c #Conflicts: 498000 | #Constraints: 52645
950.93/953.44 c #Conflicts: 499000 | #Constraints: 53645
950.93/953.44 c #Conflicts: 500000 | #Constraints: 54645
950.93/953.44 c #Conflicts: 501000 | #Constraints: 55645
950.93/953.44 c #Conflicts: 502000 | #Constraints: 56645
950.93/953.44 c INPROCESSING
950.93/953.44 c GARBAGE COLLECT
950.93/953.44 c #Conflicts: 503000 | #Constraints: 43582
950.93/953.44 c #Conflicts: 504000 | #Constraints: 44582
950.93/953.44 c #Conflicts: 505000 | #Constraints: 45582
950.93/953.44 c #Conflicts: 506000 | #Constraints: 46582
950.93/953.44 c #Conflicts: 507000 | #Constraints: 47582
950.93/953.44 c #Conflicts: 508000 | #Constraints: 48582
950.93/953.44 c #Conflicts: 509000 | #Constraints: 49582
950.93/953.44 c #Conflicts: 510000 | #Constraints: 50582
950.93/953.44 c #Conflicts: 511000 | #Constraints: 51582
950.93/953.44 c #Conflicts: 512000 | #Constraints: 52582
950.93/953.44 c #Conflicts: 513000 | #Constraints: 53582
950.93/953.44 c #Conflicts: 514000 | #Constraints: 54582
950.93/953.44 c #Conflicts: 515000 | #Constraints: 55582
950.93/953.44 c #Conflicts: 516000 | #Constraints: 56582
950.93/953.44 c INPROCESSING
950.93/953.44 c GARBAGE COLLECT
950.93/953.44 c #Conflicts: 517000 | #Constraints: 43342
950.93/953.44 c #Conflicts: 518000 | #Constraints: 44342
950.93/953.44 c #Conflicts: 519000 | #Constraints: 45342
950.93/953.44 c #Conflicts: 520000 | #Constraints: 46342
950.93/953.44 c #Conflicts: 521000 | #Constraints: 47342
950.93/953.44 c #Conflicts: 522000 | #Constraints: 48342
950.93/953.44 c #Conflicts: 523000 | #Constraints: 49342
950.93/953.44 c #Conflicts: 524000 | #Constraints: 50342
950.93/953.44 c #Conflicts: 525000 | #Constraints: 51342
950.93/953.44 c #Conflicts: 526000 | #Constraints: 52342
950.93/953.44 c #Conflicts: 527000 | #Constraints: 53342
950.93/953.44 c #Conflicts: 528000 | #Constraints: 54342
950.93/953.44 c #Conflicts: 529000 | #Constraints: 55342
950.93/953.44 c #Conflicts: 530000 | #Constraints: 56342
950.93/953.44 c #Conflicts: 531000 | #Constraints: 57342
950.93/953.44 c INPROCESSING
950.93/953.44 c GARBAGE COLLECT
950.93/953.44 c #Conflicts: 532000 | #Constraints: 43928
950.93/953.44 c #Conflicts: 533000 | #Constraints: 44928
950.93/953.44 c #Conflicts: 534000 | #Constraints: 45928
950.93/953.44 c #Conflicts: 535000 | #Constraints: 46928
950.93/953.44 c #Conflicts: 536000 | #Constraints: 47928
950.93/953.44 c #Conflicts: 537000 | #Constraints: 48928
950.93/953.44 c #Conflicts: 538000 | #Constraints: 49928
950.93/953.44 c #Conflicts: 539000 | #Constraints: 50928
950.93/953.44 c #Conflicts: 540000 | #Constraints: 51928
950.93/953.44 c #Conflicts: 541000 | #Constraints: 52928
950.93/953.44 c #Conflicts: 542000 | #Constraints: 53928
950.93/953.44 c #Conflicts: 543000 | #Constraints: 54928
950.93/953.44 c #Conflicts: 544000 | #Constraints: 55928
950.93/953.44 c #Conflicts: 545000 | #Constraints: 56928
950.93/953.44 c #Conflicts: 546000 | #Constraints: 57928
950.93/953.44 c INPROCESSING
950.93/953.44 c GARBAGE COLLECT
950.93/953.44 c rational objective 66.0469
978.35/980.99 c #Conflicts: 547000 | #Constraints: 44397
978.35/980.99 c #Conflicts: 548000 | #Constraints: 45397
978.35/980.99 c #Conflicts: 549000 | #Constraints: 46397
978.35/980.99 c #Conflicts: 550000 | #Constraints: 47397
978.35/980.99 c #Conflicts: 551000 | #Constraints: 48397
978.35/980.99 c #Conflicts: 552000 | #Constraints: 49397
978.35/980.99 c #Conflicts: 553000 | #Constraints: 50397
978.35/980.99 c #Conflicts: 554000 | #Constraints: 51397
978.35/980.99 c #Conflicts: 555000 | #Constraints: 52397
978.35/980.99 c #Conflicts: 556000 | #Constraints: 53397
978.35/980.99 c #Conflicts: 557000 | #Constraints: 54397
978.35/980.99 c #Conflicts: 558000 | #Constraints: 55397
978.35/980.99 c #Conflicts: 559000 | #Constraints: 56397
978.35/980.99 c #Conflicts: 560000 | #Constraints: 57397
978.35/980.99 c #Conflicts: 561000 | #Constraints: 58397
978.35/980.99 c INPROCESSING
978.35/980.99 c GARBAGE COLLECT
978.35/980.99 c rational objective 66.0509
1007.07/1009.70 c #Conflicts: 562000 | #Constraints: 44634
1007.07/1009.70 c #Conflicts: 563000 | #Constraints: 45634
1007.07/1009.70 c #Conflicts: 564000 | #Constraints: 46634
1007.07/1009.70 c #Conflicts: 565000 | #Constraints: 47634
1007.07/1009.70 c #Conflicts: 566000 | #Constraints: 48634
1007.07/1009.70 c #Conflicts: 567000 | #Constraints: 49634
1007.07/1009.70 c #Conflicts: 568000 | #Constraints: 50634
1007.07/1009.70 c #Conflicts: 569000 | #Constraints: 51634
1007.07/1009.70 c #Conflicts: 570000 | #Constraints: 52634
1007.07/1009.70 c #Conflicts: 571000 | #Constraints: 53634
1007.07/1009.70 c #Conflicts: 572000 | #Constraints: 54634
1007.07/1009.70 c #Conflicts: 573000 | #Constraints: 55634
1007.07/1009.70 c #Conflicts: 574000 | #Constraints: 56634
1007.07/1009.70 c #Conflicts: 575000 | #Constraints: 57634
1007.07/1009.70 c #Conflicts: 576000 | #Constraints: 58634
1007.07/1009.70 c INPROCESSING
1007.07/1009.70 c GARBAGE COLLECT
1007.07/1009.70 c #Conflicts: 577000 | #Constraints: 44574
1007.07/1009.70 c #Conflicts: 578000 | #Constraints: 45574
1007.07/1009.70 c #Conflicts: 579000 | #Constraints: 46574
1007.07/1009.70 c #Conflicts: 580000 | #Constraints: 47574
1007.07/1009.70 c #Conflicts: 581000 | #Constraints: 48574
1007.07/1009.70 c #Conflicts: 582000 | #Constraints: 49574
1007.07/1009.70 c #Conflicts: 583000 | #Constraints: 50574
1007.07/1009.70 c #Conflicts: 584000 | #Constraints: 51574
1007.07/1009.70 c #Conflicts: 585000 | #Constraints: 52574
1007.07/1009.70 c #Conflicts: 586000 | #Constraints: 53574
1007.07/1009.70 c #Conflicts: 587000 | #Constraints: 54574
1007.07/1009.70 c #Conflicts: 588000 | #Constraints: 55574
1007.07/1009.70 c #Conflicts: 589000 | #Constraints: 56574
1007.07/1009.70 c #Conflicts: 590000 | #Constraints: 57574
1007.07/1009.70 c #Conflicts: 591000 | #Constraints: 58574
1007.07/1009.70 c INPROCESSING
1007.07/1009.70 c GARBAGE COLLECT
1007.07/1009.70 c rational objective 67.3333
1039.07/1041.81 c #Conflicts: 592000 | #Constraints: 44425
1039.07/1041.81 c #Conflicts: 593000 | #Constraints: 45425
1039.07/1041.81 c #Conflicts: 594000 | #Constraints: 46425
1039.07/1041.81 c #Conflicts: 595000 | #Constraints: 47425
1039.07/1041.81 c #Conflicts: 596000 | #Constraints: 48425
1039.07/1041.81 c #Conflicts: 597000 | #Constraints: 49425
1039.07/1041.81 c #Conflicts: 598000 | #Constraints: 50425
1039.07/1041.81 c #Conflicts: 599000 | #Constraints: 51425
1039.07/1041.81 c #Conflicts: 600000 | #Constraints: 52425
1039.07/1041.81 c #Conflicts: 601000 | #Constraints: 53425
1039.07/1041.81 c #Conflicts: 602000 | #Constraints: 54425
1039.07/1041.81 c #Conflicts: 603000 | #Constraints: 55425
1039.07/1041.81 c #Conflicts: 604000 | #Constraints: 56425
1039.07/1041.81 c #Conflicts: 605000 | #Constraints: 57425
1039.07/1041.81 c #Conflicts: 606000 | #Constraints: 58425
1039.07/1041.81 c #Conflicts: 607000 | #Constraints: 59425
1039.07/1041.81 c INPROCESSING
1039.07/1041.81 c GARBAGE COLLECT
1039.07/1041.81 c rational objective 67.3333
1090.82/1093.77 c #Conflicts: 608000 | #Constraints: 45029
1090.82/1093.77 c #Conflicts: 609000 | #Constraints: 46029
1090.82/1093.77 c #Conflicts: 610000 | #Constraints: 47029
1090.82/1093.77 c #Conflicts: 611000 | #Constraints: 48029
1090.82/1093.77 c #Conflicts: 612000 | #Constraints: 49029
1090.82/1093.77 c #Conflicts: 613000 | #Constraints: 50029
1090.82/1093.77 c #Conflicts: 614000 | #Constraints: 51029
1090.82/1093.77 c #Conflicts: 615000 | #Constraints: 52029
1090.82/1093.77 c #Conflicts: 616000 | #Constraints: 53029
1090.82/1093.77 c #Conflicts: 617000 | #Constraints: 54029
1090.82/1093.77 c #Conflicts: 618000 | #Constraints: 55029
1090.82/1093.77 c #Conflicts: 619000 | #Constraints: 56029
1090.82/1093.77 c #Conflicts: 620000 | #Constraints: 57029
1090.82/1093.77 c #Conflicts: 621000 | #Constraints: 58029
1090.82/1093.77 c #Conflicts: 622000 | #Constraints: 59029
1090.82/1093.77 c #Conflicts: 623000 | #Constraints: 60029
1090.82/1093.77 c INPROCESSING
1090.82/1093.77 c GARBAGE COLLECT
1090.82/1093.77 c rational objective 67.3333
1121.83/1124.82 c #Conflicts: 624000 | #Constraints: 45449
1121.83/1124.82 c #Conflicts: 625000 | #Constraints: 46449
1121.83/1124.82 c #Conflicts: 626000 | #Constraints: 47449
1121.83/1124.82 c #Conflicts: 627000 | #Constraints: 48449
1121.83/1124.82 c #Conflicts: 628000 | #Constraints: 49449
1121.83/1124.82 c #Conflicts: 629000 | #Constraints: 50449
1121.83/1124.82 c #Conflicts: 630000 | #Constraints: 51449
1121.83/1124.82 c #Conflicts: 631000 | #Constraints: 52449
1121.83/1124.82 c #Conflicts: 632000 | #Constraints: 53449
1121.83/1124.82 c #Conflicts: 633000 | #Constraints: 54449
1121.83/1124.82 c #Conflicts: 634000 | #Constraints: 55449
1121.83/1124.82 c #Conflicts: 635000 | #Constraints: 56449
1121.83/1124.82 c #Conflicts: 636000 | #Constraints: 57449
1121.83/1124.82 c #Conflicts: 637000 | #Constraints: 58449
1121.83/1124.82 c #Conflicts: 638000 | #Constraints: 59449
1121.83/1124.82 c #Conflicts: 639000 | #Constraints: 60449
1121.83/1124.82 c INPROCESSING
1121.83/1124.82 c GARBAGE COLLECT
1121.83/1124.82 c #Conflicts: 640000 | #Constraints: 45591
1121.83/1124.82 c #Conflicts: 641000 | #Constraints: 46591
1121.83/1124.82 c #Conflicts: 642000 | #Constraints: 47591
1121.83/1124.82 c #Conflicts: 643000 | #Constraints: 48591
1121.83/1124.82 c #Conflicts: 644000 | #Constraints: 49591
1121.83/1124.82 c #Conflicts: 645000 | #Constraints: 50591
1121.83/1124.82 c #Conflicts: 646000 | #Constraints: 51591
1121.83/1124.82 c #Conflicts: 647000 | #Constraints: 52591
1121.83/1124.82 c #Conflicts: 648000 | #Constraints: 53591
1121.83/1124.82 c #Conflicts: 649000 | #Constraints: 54591
1121.83/1124.82 c #Conflicts: 650000 | #Constraints: 55591
1121.83/1124.82 c #Conflicts: 651000 | #Constraints: 56591
1121.83/1124.82 c #Conflicts: 652000 | #Constraints: 57591
1121.83/1124.82 c #Conflicts: 653000 | #Constraints: 58591
1121.83/1124.82 c #Conflicts: 654000 | #Constraints: 59591
1121.83/1124.82 c #Conflicts: 655000 | #Constraints: 60591
1121.83/1124.82 c INPROCESSING
1121.83/1124.82 c GARBAGE COLLECT
1121.83/1124.82 c rational objective 67.3333
1157.73/1160.80 c #Conflicts: 656000 | #Constraints: 45615
1157.73/1160.80 c #Conflicts: 657000 | #Constraints: 46615
1157.73/1160.80 c #Conflicts: 658000 | #Constraints: 47615
1157.73/1160.80 c #Conflicts: 659000 | #Constraints: 48615
1157.73/1160.80 c #Conflicts: 660000 | #Constraints: 49615
1157.73/1160.80 c #Conflicts: 661000 | #Constraints: 50615
1157.73/1160.80 c #Conflicts: 662000 | #Constraints: 51615
1157.73/1160.80 c #Conflicts: 663000 | #Constraints: 52615
1157.73/1160.80 c #Conflicts: 664000 | #Constraints: 53615
1157.73/1160.80 c #Conflicts: 665000 | #Constraints: 54615
1157.73/1160.80 c #Conflicts: 666000 | #Constraints: 55615
1157.73/1160.80 c #Conflicts: 667000 | #Constraints: 56615
1157.73/1160.80 c #Conflicts: 668000 | #Constraints: 57615
1157.73/1160.80 c #Conflicts: 669000 | #Constraints: 58615
1157.73/1160.80 c #Conflicts: 670000 | #Constraints: 59615
1157.73/1160.80 c #Conflicts: 671000 | #Constraints: 60615
1157.73/1160.80 c INPROCESSING
1157.73/1160.80 c GARBAGE COLLECT
1157.73/1160.80 c rational objective 67.3333
1232.61/1235.96 c #Conflicts: 672000 | #Constraints: 45438
1232.61/1235.96 c #Conflicts: 673000 | #Constraints: 46438
1232.61/1235.96 c #Conflicts: 674000 | #Constraints: 47438
1232.61/1235.96 c #Conflicts: 675000 | #Constraints: 48438
1232.61/1235.96 c #Conflicts: 676000 | #Constraints: 49438
1232.61/1235.96 c #Conflicts: 677000 | #Constraints: 50438
1232.61/1235.96 c #Conflicts: 678000 | #Constraints: 51438
1232.61/1235.96 c #Conflicts: 679000 | #Constraints: 52438
1232.61/1235.96 c #Conflicts: 680000 | #Constraints: 53438
1232.61/1235.96 c #Conflicts: 681000 | #Constraints: 54438
1232.61/1235.96 c #Conflicts: 682000 | #Constraints: 55438
1232.61/1235.96 c #Conflicts: 683000 | #Constraints: 56438
1232.61/1235.96 c #Conflicts: 684000 | #Constraints: 57438
1232.61/1235.96 c #Conflicts: 685000 | #Constraints: 58438
1232.61/1235.96 c #Conflicts: 686000 | #Constraints: 59438
1232.61/1235.96 c #Conflicts: 687000 | #Constraints: 60438
1232.61/1235.96 c #Conflicts: 688000 | #Constraints: 61438
1232.61/1235.96 c INPROCESSING
1232.61/1235.96 c GARBAGE COLLECT
1232.61/1235.96 c rational objective 67.3333
1310.10/1313.61 c #Conflicts: 689000 | #Constraints: 46031
1310.10/1313.61 c #Conflicts: 690000 | #Constraints: 47031
1310.10/1313.61 c #Conflicts: 691000 | #Constraints: 48031
1310.10/1313.61 c #Conflicts: 692000 | #Constraints: 49031
1310.10/1313.61 c #Conflicts: 693000 | #Constraints: 50031
1310.10/1313.61 c #Conflicts: 694000 | #Constraints: 51031
1310.10/1313.61 c #Conflicts: 695000 | #Constraints: 52031
1310.10/1313.61 c #Conflicts: 696000 | #Constraints: 53031
1310.10/1313.61 c #Conflicts: 697000 | #Constraints: 54031
1310.10/1313.61 c #Conflicts: 698000 | #Constraints: 55031
1310.10/1313.61 c #Conflicts: 699000 | #Constraints: 56031
1310.10/1313.61 c #Conflicts: 700000 | #Constraints: 57031
1310.10/1313.61 c #Conflicts: 701000 | #Constraints: 58031
1310.10/1313.61 c #Conflicts: 702000 | #Constraints: 59031
1310.10/1313.61 c #Conflicts: 703000 | #Constraints: 60031
1310.10/1313.61 c #Conflicts: 704000 | #Constraints: 61031
1310.10/1313.61 c #Conflicts: 705000 | #Constraints: 62031
1310.10/1313.61 c INPROCESSING
1310.10/1313.61 c GARBAGE COLLECT
1310.10/1313.61 c rational objective 67.3333
1337.84/1341.49 c #Conflicts: 706000 | #Constraints: 46444
1337.84/1341.49 c #Conflicts: 707000 | #Constraints: 47444
1337.84/1341.49 c #Conflicts: 708000 | #Constraints: 48444
1337.84/1341.49 c #Conflicts: 709000 | #Constraints: 49444
1337.84/1341.49 c #Conflicts: 710000 | #Constraints: 50444
1337.84/1341.49 c #Conflicts: 711000 | #Constraints: 51444
1337.84/1341.49 c #Conflicts: 712000 | #Constraints: 52444
1337.84/1341.49 c #Conflicts: 713000 | #Constraints: 53444
1337.84/1341.49 c #Conflicts: 714000 | #Constraints: 54444
1337.84/1341.49 c #Conflicts: 715000 | #Constraints: 55444
1337.84/1341.49 c #Conflicts: 716000 | #Constraints: 56444
1337.84/1341.49 c #Conflicts: 717000 | #Constraints: 57444
1337.84/1341.49 c #Conflicts: 718000 | #Constraints: 58444
1337.84/1341.49 c #Conflicts: 719000 | #Constraints: 59444
1337.84/1341.49 c #Conflicts: 720000 | #Constraints: 60444
1337.84/1341.49 c #Conflicts: 721000 | #Constraints: 61444
1337.84/1341.49 c #Conflicts: 722000 | #Constraints: 62444
1337.84/1341.49 c INPROCESSING
1337.84/1341.49 c GARBAGE COLLECT
1337.84/1341.49 c #Conflicts: 723000 | #Constraints: 46581
1337.84/1341.49 c #Conflicts: 724000 | #Constraints: 47581
1337.84/1341.49 c #Conflicts: 725000 | #Constraints: 48581
1337.84/1341.49 c #Conflicts: 726000 | #Constraints: 49581
1337.84/1341.49 c #Conflicts: 727000 | #Constraints: 50581
1337.84/1341.49 c #Conflicts: 728000 | #Constraints: 51581
1337.84/1341.49 c #Conflicts: 729000 | #Constraints: 52581
1337.84/1341.49 c #Conflicts: 730000 | #Constraints: 53581
1337.84/1341.49 c #Conflicts: 731000 | #Constraints: 54581
1337.84/1341.49 c #Conflicts: 732000 | #Constraints: 55581
1337.84/1341.49 c #Conflicts: 733000 | #Constraints: 56581
1337.84/1341.49 c #Conflicts: 734000 | #Constraints: 57581
1337.84/1341.49 c #Conflicts: 735000 | #Constraints: 58581
1337.84/1341.49 c #Conflicts: 736000 | #Constraints: 59581
1337.84/1341.49 c #Conflicts: 737000 | #Constraints: 60581
1337.84/1341.49 c #Conflicts: 738000 | #Constraints: 61581
1337.84/1341.49 c #Conflicts: 739000 | #Constraints: 62581
1337.84/1341.49 c INPROCESSING
1337.84/1341.49 c GARBAGE COLLECT
1337.84/1341.49 c #Conflicts: 740000 | #Constraints: 46552
1337.84/1341.49 c #Conflicts: 741000 | #Constraints: 47552
1337.84/1341.49 c #Conflicts: 742000 | #Constraints: 48552
1337.84/1341.49 c #Conflicts: 743000 | #Constraints: 49552
1337.84/1341.49 c #Conflicts: 744000 | #Constraints: 50552
1337.84/1341.49 c #Conflicts: 745000 | #Constraints: 51552
1337.84/1341.49 c #Conflicts: 746000 | #Constraints: 52552
1337.84/1341.49 c #Conflicts: 747000 | #Constraints: 53552
1337.84/1341.49 c #Conflicts: 748000 | #Constraints: 54552
1337.84/1341.49 c #Conflicts: 749000 | #Constraints: 55552
1337.84/1341.49 c #Conflicts: 750000 | #Constraints: 56552
1337.84/1341.49 c #Conflicts: 751000 | #Constraints: 57552
1337.84/1341.49 c #Conflicts: 752000 | #Constraints: 58552
1337.84/1341.49 c #Conflicts: 753000 | #Constraints: 59552
1337.84/1341.49 c #Conflicts: 754000 | #Constraints: 60552
1337.84/1341.49 c #Conflicts: 755000 | #Constraints: 61552
1337.84/1341.49 c #Conflicts: 756000 | #Constraints: 62552
1337.84/1341.49 c INPROCESSING
1337.84/1341.49 c GARBAGE COLLECT
1337.84/1341.49 c rational objective 67.3333
1374.45/1378.17 c #Conflicts: 757000 | #Constraints: 46399
1374.45/1378.17 c #Conflicts: 758000 | #Constraints: 47399
1374.45/1378.17 c #Conflicts: 759000 | #Constraints: 48399
1374.45/1378.17 c #Conflicts: 760000 | #Constraints: 49399
1374.45/1378.17 c #Conflicts: 761000 | #Constraints: 50399
1374.45/1378.17 c #Conflicts: 762000 | #Constraints: 51399
1374.45/1378.17 c #Conflicts: 763000 | #Constraints: 52399
1374.45/1378.17 c #Conflicts: 764000 | #Constraints: 53399
1374.45/1378.17 c #Conflicts: 765000 | #Constraints: 54399
1374.45/1378.17 c #Conflicts: 766000 | #Constraints: 55399
1374.45/1378.17 c #Conflicts: 767000 | #Constraints: 56399
1374.45/1378.17 c #Conflicts: 768000 | #Constraints: 57399
1374.45/1378.17 c #Conflicts: 769000 | #Constraints: 58399
1374.45/1378.17 c #Conflicts: 770000 | #Constraints: 59399
1374.45/1378.17 c #Conflicts: 771000 | #Constraints: 60399
1374.45/1378.17 c #Conflicts: 772000 | #Constraints: 61399
1374.45/1378.17 c #Conflicts: 773000 | #Constraints: 62399
1374.45/1378.17 c #Conflicts: 774000 | #Constraints: 63399
1374.45/1378.17 c INPROCESSING
1374.45/1378.17 c GARBAGE COLLECT
1374.45/1378.17 c rational objective 67.3333
1423.03/1426.89 c #Conflicts: 775000 | #Constraints: 47013
1423.03/1426.89 c #Conflicts: 776000 | #Constraints: 48013
1423.03/1426.89 c #Conflicts: 777000 | #Constraints: 49013
1423.03/1426.89 c #Conflicts: 778000 | #Constraints: 50013
1423.03/1426.89 c #Conflicts: 779000 | #Constraints: 51013
1423.03/1426.89 c #Conflicts: 780000 | #Constraints: 52013
1423.03/1426.89 c #Conflicts: 781000 | #Constraints: 53013
1423.03/1426.89 c #Conflicts: 782000 | #Constraints: 54013
1423.03/1426.89 c #Conflicts: 783000 | #Constraints: 55013
1423.03/1426.89 c #Conflicts: 784000 | #Constraints: 56013
1423.03/1426.89 c #Conflicts: 785000 | #Constraints: 57013
1423.03/1426.89 c #Conflicts: 786000 | #Constraints: 58013
1423.03/1426.89 c #Conflicts: 787000 | #Constraints: 59013
1423.03/1426.89 c #Conflicts: 788000 | #Constraints: 60013
1423.03/1426.89 c #Conflicts: 789000 | #Constraints: 61013
1423.03/1426.89 c #Conflicts: 790000 | #Constraints: 62013
1423.03/1426.89 c #Conflicts: 791000 | #Constraints: 63013
1423.03/1426.89 c #Conflicts: 792000 | #Constraints: 64013
1423.03/1426.89 c INPROCESSING
1423.03/1426.89 c GARBAGE COLLECT
1423.03/1426.89 c rational objective 67.3333
1465.24/1469.19 c #Conflicts: 793000 | #Constraints: 47428
1465.24/1469.19 c #Conflicts: 794000 | #Constraints: 48428
1465.24/1469.19 c #Conflicts: 795000 | #Constraints: 49428
1465.24/1469.19 c #Conflicts: 796000 | #Constraints: 50428
1465.24/1469.19 c #Conflicts: 797000 | #Constraints: 51428
1465.24/1469.19 c #Conflicts: 798000 | #Constraints: 52428
1465.24/1469.19 c #Conflicts: 799000 | #Constraints: 53428
1465.24/1469.19 c #Conflicts: 800000 | #Constraints: 54428
1465.24/1469.19 c #Conflicts: 801000 | #Constraints: 55428
1465.24/1469.19 c #Conflicts: 802000 | #Constraints: 56428
1465.24/1469.19 c #Conflicts: 803000 | #Constraints: 57428
1465.24/1469.19 c #Conflicts: 804000 | #Constraints: 58428
1465.24/1469.19 c #Conflicts: 805000 | #Constraints: 59428
1465.24/1469.19 c #Conflicts: 806000 | #Constraints: 60428
1465.24/1469.19 c #Conflicts: 807000 | #Constraints: 61428
1465.24/1469.19 c #Conflicts: 808000 | #Constraints: 62428
1465.24/1469.19 c #Conflicts: 809000 | #Constraints: 63428
1465.24/1469.19 c #Conflicts: 810000 | #Constraints: 64428
1465.24/1469.19 c INPROCESSING
1465.24/1469.19 c GARBAGE COLLECT
1465.24/1469.19 c #Conflicts: 811000 | #Constraints: 47576
1465.24/1469.19 c #Conflicts: 812000 | #Constraints: 48576
1465.24/1469.19 c #Conflicts: 813000 | #Constraints: 49576
1465.24/1469.19 c #Conflicts: 814000 | #Constraints: 50576
1465.24/1469.19 c #Conflicts: 815000 | #Constraints: 51576
1465.24/1469.19 c #Conflicts: 816000 | #Constraints: 52576
1465.24/1469.19 c #Conflicts: 817000 | #Constraints: 53576
1465.24/1469.19 c #Conflicts: 818000 | #Constraints: 54576
1465.24/1469.19 c #Conflicts: 819000 | #Constraints: 55576
1465.24/1469.19 c #Conflicts: 820000 | #Constraints: 56576
1465.24/1469.19 c #Conflicts: 821000 | #Constraints: 57576
1465.24/1469.19 c #Conflicts: 822000 | #Constraints: 58576
1465.24/1469.19 c #Conflicts: 823000 | #Constraints: 59576
1465.24/1469.19 c #Conflicts: 824000 | #Constraints: 60576
1465.24/1469.19 c #Conflicts: 825000 | #Constraints: 61576
1465.24/1469.19 c #Conflicts: 826000 | #Constraints: 62576
1465.24/1469.19 c #Conflicts: 827000 | #Constraints: 63576
1465.24/1469.19 c #Conflicts: 828000 | #Constraints: 64576
1465.24/1469.19 c INPROCESSING
1465.24/1469.19 c GARBAGE COLLECT
1465.24/1469.19 c rational objective 67.3333
1496.06/1500.04 c #Conflicts: 829000 | #Constraints: 47607
1496.06/1500.04 c #Conflicts: 830000 | #Constraints: 48607
1496.06/1500.04 c #Conflicts: 831000 | #Constraints: 49607
1496.06/1500.04 c #Conflicts: 832000 | #Constraints: 50607
1496.06/1500.04 c #Conflicts: 833000 | #Constraints: 51607
1496.06/1500.04 c #Conflicts: 834000 | #Constraints: 52607
1496.06/1500.04 c #Conflicts: 835000 | #Constraints: 53607
1496.06/1500.04 c #Conflicts: 836000 | #Constraints: 54607
1496.06/1500.04 c #Conflicts: 837000 | #Constraints: 55607
1496.06/1500.04 c #Conflicts: 838000 | #Constraints: 56607
1496.06/1500.04 c #Conflicts: 839000 | #Constraints: 57607
1496.06/1500.04 c #Conflicts: 840000 | #Constraints: 58607
1496.06/1500.04 c #Conflicts: 841000 | #Constraints: 59607
1496.06/1500.04 c #Conflicts: 842000 | #Constraints: 60607
1496.06/1500.04 c #Conflicts: 843000 | #Constraints: 61607
1496.06/1500.04 c #Conflicts: 844000 | #Constraints: 62607
1496.06/1500.04 c #Conflicts: 845000 | #Constraints: 63607
1496.06/1500.04 c #Conflicts: 846000 | #Constraints: 64607
1496.06/1500.04 c INPROCESSING
1496.06/1500.04 c GARBAGE COLLECT
1496.06/1500.04 c rational objective 67.3333
1530.55/1534.63 c #Conflicts: 847000 | #Constraints: 47430
1530.55/1534.63 c #Conflicts: 848000 | #Constraints: 48430
1530.55/1534.63 c #Conflicts: 849000 | #Constraints: 49430
1530.55/1534.63 c #Conflicts: 850000 | #Constraints: 50430
1530.55/1534.63 c #Conflicts: 851000 | #Constraints: 51430
1530.55/1534.63 c #Conflicts: 852000 | #Constraints: 52430
1530.55/1534.63 c #Conflicts: 853000 | #Constraints: 53430
1530.55/1534.63 c #Conflicts: 854000 | #Constraints: 54430
1530.55/1534.63 c #Conflicts: 855000 | #Constraints: 55430
1530.55/1534.63 c #Conflicts: 856000 | #Constraints: 56430
1530.55/1534.63 c #Conflicts: 857000 | #Constraints: 57430
1530.55/1534.63 c #Conflicts: 858000 | #Constraints: 58430
1530.55/1534.63 c #Conflicts: 859000 | #Constraints: 59430
1530.55/1534.63 c #Conflicts: 860000 | #Constraints: 60430
1530.55/1534.63 c #Conflicts: 861000 | #Constraints: 61430
1530.55/1534.63 c #Conflicts: 862000 | #Constraints: 62430
1530.55/1534.63 c #Conflicts: 863000 | #Constraints: 63430
1530.55/1534.63 c #Conflicts: 864000 | #Constraints: 64430
1530.55/1534.63 c #Conflicts: 865000 | #Constraints: 65430
1530.55/1534.63 c INPROCESSING
1530.55/1534.63 c GARBAGE COLLECT
1530.55/1534.63 c rational objective 67.3333
1564.25/1568.44 c #Conflicts: 866000 | #Constraints: 48032
1564.25/1568.44 c #Conflicts: 867000 | #Constraints: 49032
1564.25/1568.44 c #Conflicts: 868000 | #Constraints: 50032
1564.25/1568.44 c #Conflicts: 869000 | #Constraints: 51032
1564.25/1568.44 c #Conflicts: 870000 | #Constraints: 52032
1564.25/1568.44 c #Conflicts: 871000 | #Constraints: 53032
1564.25/1568.44 c #Conflicts: 872000 | #Constraints: 54032
1564.25/1568.44 c #Conflicts: 873000 | #Constraints: 55032
1564.25/1568.44 c #Conflicts: 874000 | #Constraints: 56032
1564.25/1568.44 c #Conflicts: 875000 | #Constraints: 57032
1564.25/1568.44 c #Conflicts: 876000 | #Constraints: 58032
1564.25/1568.44 c #Conflicts: 877000 | #Constraints: 59032
1564.25/1568.44 c #Conflicts: 878000 | #Constraints: 60032
1564.25/1568.44 c #Conflicts: 879000 | #Constraints: 61032
1564.25/1568.44 c #Conflicts: 880000 | #Constraints: 62032
1564.25/1568.44 c #Conflicts: 881000 | #Constraints: 63032
1564.25/1568.44 c #Conflicts: 882000 | #Constraints: 64032
1564.25/1568.44 c #Conflicts: 883000 | #Constraints: 65032
1564.25/1568.44 c #Conflicts: 884000 | #Constraints: 66032
1564.25/1568.44 c INPROCESSING
1564.25/1568.44 c GARBAGE COLLECT
1564.25/1568.44 c rational objective 67.3333
1612.91/1617.21 c #Conflicts: 885000 | #Constraints: 48427
1612.91/1617.21 c #Conflicts: 886000 | #Constraints: 49427
1612.91/1617.21 c #Conflicts: 887000 | #Constraints: 50427
1612.91/1617.21 c #Conflicts: 888000 | #Constraints: 51427
1612.91/1617.21 c #Conflicts: 889000 | #Constraints: 52427
1612.91/1617.21 c #Conflicts: 890000 | #Constraints: 53427
1612.91/1617.21 c #Conflicts: 891000 | #Constraints: 54427
1612.91/1617.21 c #Conflicts: 892000 | #Constraints: 55427
1612.91/1617.21 c #Conflicts: 893000 | #Constraints: 56427
1612.91/1617.21 c #Conflicts: 894000 | #Constraints: 57427
1612.91/1617.21 c #Conflicts: 895000 | #Constraints: 58427
1612.91/1617.21 c #Conflicts: 896000 | #Constraints: 59427
1612.91/1617.21 c #Conflicts: 897000 | #Constraints: 60427
1612.91/1617.21 c #Conflicts: 898000 | #Constraints: 61427
1612.91/1617.21 c #Conflicts: 899000 | #Constraints: 62427
1612.91/1617.21 c #Conflicts: 900000 | #Constraints: 63427
1612.91/1617.21 c #Conflicts: 901000 | #Constraints: 64427
1612.91/1617.21 c #Conflicts: 902000 | #Constraints: 65427
1612.91/1617.21 c #Conflicts: 903000 | #Constraints: 66427
1612.91/1617.21 c INPROCESSING
1612.91/1617.21 c GARBAGE COLLECT
1612.91/1617.21 c rational objective 67.3333
1635.84/1640.26 c #Conflicts: 904000 | #Constraints: 48638
1635.84/1640.26 c #Conflicts: 905000 | #Constraints: 49638
1635.84/1640.26 c #Conflicts: 906000 | #Constraints: 50638
1635.84/1640.26 c #Conflicts: 907000 | #Constraints: 51638
1635.84/1640.26 c #Conflicts: 908000 | #Constraints: 52638
1635.84/1640.26 c #Conflicts: 909000 | #Constraints: 53638
1635.84/1640.26 c #Conflicts: 910000 | #Constraints: 54638
1635.84/1640.26 c #Conflicts: 911000 | #Constraints: 55638
1635.84/1640.26 c #Conflicts: 912000 | #Constraints: 56638
1635.84/1640.26 c #Conflicts: 913000 | #Constraints: 57638
1635.84/1640.26 c #Conflicts: 914000 | #Constraints: 58638
1635.84/1640.26 c #Conflicts: 915000 | #Constraints: 59638
1635.84/1640.26 c #Conflicts: 916000 | #Constraints: 60638
1635.84/1640.26 c #Conflicts: 917000 | #Constraints: 61638
1635.84/1640.26 c #Conflicts: 918000 | #Constraints: 62638
1635.84/1640.26 c #Conflicts: 919000 | #Constraints: 63638
1635.84/1640.26 c #Conflicts: 920000 | #Constraints: 64638
1635.84/1640.26 c #Conflicts: 921000 | #Constraints: 65638
1635.84/1640.26 c #Conflicts: 922000 | #Constraints: 66638
1635.84/1640.26 c INPROCESSING
1635.84/1640.26 c GARBAGE COLLECT
1635.84/1640.26 c rational objective 67.3333
1661.16/1665.62 c #Conflicts: 923000 | #Constraints: 48648
1661.16/1665.62 c #Conflicts: 924000 | #Constraints: 49648
1661.16/1665.62 c #Conflicts: 925000 | #Constraints: 50648
1661.16/1665.62 c #Conflicts: 926000 | #Constraints: 51648
1661.16/1665.62 c #Conflicts: 927000 | #Constraints: 52648
1661.16/1665.62 c #Conflicts: 928000 | #Constraints: 53648
1661.16/1665.62 c #Conflicts: 929000 | #Constraints: 54648
1661.16/1665.62 c #Conflicts: 930000 | #Constraints: 55648
1661.16/1665.62 c #Conflicts: 931000 | #Constraints: 56648
1661.16/1665.62 c #Conflicts: 932000 | #Constraints: 57648
1661.16/1665.62 c #Conflicts: 933000 | #Constraints: 58648
1661.16/1665.62 c #Conflicts: 934000 | #Constraints: 59648
1661.16/1665.62 c #Conflicts: 935000 | #Constraints: 60648
1661.16/1665.62 c #Conflicts: 936000 | #Constraints: 61648
1661.16/1665.62 c #Conflicts: 937000 | #Constraints: 62648
1661.16/1665.62 c #Conflicts: 938000 | #Constraints: 63648
1661.16/1665.62 c #Conflicts: 939000 | #Constraints: 64648
1661.16/1665.62 c #Conflicts: 940000 | #Constraints: 65648
1661.16/1665.62 c #Conflicts: 941000 | #Constraints: 66648
1661.16/1665.62 c INPROCESSING
1661.16/1665.62 c GARBAGE COLLECT
1661.16/1665.62 c rational objective 67.3333
1684.20/1688.70 c #Conflicts: 942000 | #Constraints: 48440
1684.20/1688.70 c #Conflicts: 943000 | #Constraints: 49440
1684.20/1688.70 c #Conflicts: 944000 | #Constraints: 50440
1684.20/1688.70 c #Conflicts: 945000 | #Constraints: 51440
1684.20/1688.70 c #Conflicts: 946000 | #Constraints: 52440
1684.20/1688.70 c #Conflicts: 947000 | #Constraints: 53440
1684.20/1688.70 c #Conflicts: 948000 | #Constraints: 54440
1684.20/1688.70 c #Conflicts: 949000 | #Constraints: 55440
1684.20/1688.70 c #Conflicts: 950000 | #Constraints: 56440
1684.20/1688.70 c #Conflicts: 951000 | #Constraints: 57440
1684.20/1688.70 c #Conflicts: 952000 | #Constraints: 58440
1684.20/1688.70 c #Conflicts: 953000 | #Constraints: 59440
1684.20/1688.70 c #Conflicts: 954000 | #Constraints: 60440
1684.20/1688.70 c #Conflicts: 955000 | #Constraints: 61440
1684.20/1688.70 c #Conflicts: 956000 | #Constraints: 62440
1684.20/1688.70 c #Conflicts: 957000 | #Constraints: 63440
1684.20/1688.70 c #Conflicts: 958000 | #Constraints: 64440
1684.20/1688.70 c #Conflicts: 959000 | #Constraints: 65440
1684.20/1688.70 c #Conflicts: 960000 | #Constraints: 66440
1684.20/1688.70 c #Conflicts: 961000 | #Constraints: 67440
1684.20/1688.70 c INPROCESSING
1684.20/1688.70 c GARBAGE COLLECT
1684.20/1688.70 c rational objective 67.3333
1704.54/1709.15 c #Conflicts: 962000 | #Constraints: 49039
1704.54/1709.15 c #Conflicts: 963000 | #Constraints: 50039
1704.54/1709.15 c #Conflicts: 964000 | #Constraints: 51039
1704.54/1709.15 c #Conflicts: 965000 | #Constraints: 52039
1704.54/1709.15 c #Conflicts: 966000 | #Constraints: 53039
1704.54/1709.15 c #Conflicts: 967000 | #Constraints: 54039
1704.54/1709.15 c #Conflicts: 968000 | #Constraints: 55039
1704.54/1709.15 c #Conflicts: 969000 | #Constraints: 56039
1704.54/1709.15 c #Conflicts: 970000 | #Constraints: 57039
1704.54/1709.15 c #Conflicts: 971000 | #Constraints: 58039
1704.54/1709.15 c #Conflicts: 972000 | #Constraints: 59039
1704.54/1709.15 c #Conflicts: 973000 | #Constraints: 60039
1704.54/1709.15 c #Conflicts: 974000 | #Constraints: 61039
1704.54/1709.15 c #Conflicts: 975000 | #Constraints: 62039
1704.54/1709.15 c #Conflicts: 976000 | #Constraints: 63039
1704.54/1709.15 c #Conflicts: 977000 | #Constraints: 64039
1704.54/1709.15 c #Conflicts: 978000 | #Constraints: 65039
1704.54/1709.15 c #Conflicts: 979000 | #Constraints: 66039
1704.54/1709.15 c #Conflicts: 980000 | #Constraints: 67039
1704.54/1709.15 c #Conflicts: 981000 | #Constraints: 68039
1704.54/1709.15 c INPROCESSING
1704.54/1709.15 c GARBAGE COLLECT
1704.54/1709.15 c rational objective 67.3333
1726.67/1731.30 c #Conflicts: 982000 | #Constraints: 49441
1726.67/1731.30 c #Conflicts: 983000 | #Constraints: 50441
1726.67/1731.30 c #Conflicts: 984000 | #Constraints: 51441
1726.67/1731.30 c #Conflicts: 985000 | #Constraints: 52441
1726.67/1731.30 c #Conflicts: 986000 | #Constraints: 53441
1726.67/1731.30 c #Conflicts: 987000 | #Constraints: 54441
1726.67/1731.30 c #Conflicts: 988000 | #Constraints: 55441
1726.67/1731.30 c #Conflicts: 989000 | #Constraints: 56441
1726.67/1731.30 c #Conflicts: 990000 | #Constraints: 57441
1726.67/1731.30 c #Conflicts: 991000 | #Constraints: 58441
1726.67/1731.30 c #Conflicts: 992000 | #Constraints: 59441
1726.67/1731.30 c #Conflicts: 993000 | #Constraints: 60441
1726.67/1731.30 c #Conflicts: 994000 | #Constraints: 61441
1726.67/1731.30 c #Conflicts: 995000 | #Constraints: 62441
1726.67/1731.30 c #Conflicts: 996000 | #Constraints: 63441
1726.67/1731.30 c #Conflicts: 997000 | #Constraints: 64441
1726.67/1731.30 c #Conflicts: 998000 | #Constraints: 65441
1726.67/1731.30 c #Conflicts: 999000 | #Constraints: 66441
1726.67/1731.30 c #Conflicts: 1000000 | #Constraints: 67441
1726.67/1731.30 c #Conflicts: 1001000 | #Constraints: 68441
1726.67/1731.30 c INPROCESSING
1726.67/1731.30 c GARBAGE COLLECT
1726.67/1731.30 c rational objective 67.3333
1754.79/1759.55 c #Conflicts: 1002000 | #Constraints: 49634
1754.79/1759.55 c #Conflicts: 1003000 | #Constraints: 50634
1754.79/1759.55 c #Conflicts: 1004000 | #Constraints: 51634
1754.79/1759.55 c #Conflicts: 1005000 | #Constraints: 52634
1754.79/1759.55 c #Conflicts: 1006000 | #Constraints: 53634
1754.79/1759.55 c #Conflicts: 1007000 | #Constraints: 54634
1754.79/1759.55 c #Conflicts: 1008000 | #Constraints: 55634
1754.79/1759.55 c #Conflicts: 1009000 | #Constraints: 56634
1754.79/1759.55 c #Conflicts: 1010000 | #Constraints: 57634
1754.79/1759.55 c #Conflicts: 1011000 | #Constraints: 58634
1754.79/1759.55 c #Conflicts: 1012000 | #Constraints: 59634
1754.79/1759.55 c #Conflicts: 1013000 | #Constraints: 60634
1754.79/1759.55 c #Conflicts: 1014000 | #Constraints: 61634
1754.79/1759.55 c #Conflicts: 1015000 | #Constraints: 62634
1754.79/1759.55 c #Conflicts: 1016000 | #Constraints: 63634
1754.79/1759.55 c #Conflicts: 1017000 | #Constraints: 64634
1754.79/1759.55 c #Conflicts: 1018000 | #Constraints: 65634
1754.79/1759.55 c #Conflicts: 1019000 | #Constraints: 66634
1754.79/1759.55 c #Conflicts: 1020000 | #Constraints: 67634
1754.79/1759.55 c #Conflicts: 1021000 | #Constraints: 68634
1754.79/1759.55 c INPROCESSING
1754.79/1759.55 c GARBAGE COLLECT
1754.79/1759.55 c rational objective 67.3333
1778.82/1783.66 c #Conflicts: 1022000 | #Constraints: 49634
1778.82/1783.66 c #Conflicts: 1023000 | #Constraints: 50634
1778.82/1783.66 c #Conflicts: 1024000 | #Constraints: 51634
1778.82/1783.66 c #Conflicts: 1025000 | #Constraints: 52634
1778.82/1783.66 c #Conflicts: 1026000 | #Constraints: 53634
1778.82/1783.66 c #Conflicts: 1027000 | #Constraints: 54634
1778.82/1783.66 c #Conflicts: 1028000 | #Constraints: 55634
1778.82/1783.66 c #Conflicts: 1029000 | #Constraints: 56634
1778.82/1783.66 c #Conflicts: 1030000 | #Constraints: 57634
1778.82/1783.66 c #Conflicts: 1031000 | #Constraints: 58634
1778.82/1783.66 c #Conflicts: 1032000 | #Constraints: 59634
1778.82/1783.66 c #Conflicts: 1033000 | #Constraints: 60634
1778.82/1783.66 c #Conflicts: 1034000 | #Constraints: 61634
1778.82/1783.66 c #Conflicts: 1035000 | #Constraints: 62634
1778.82/1783.66 c #Conflicts: 1036000 | #Constraints: 63634
1778.82/1783.66 c #Conflicts: 1037000 | #Constraints: 64634
1778.82/1783.66 c #Conflicts: 1038000 | #Constraints: 65634
1778.82/1783.66 c #Conflicts: 1039000 | #Constraints: 66634
1778.82/1783.66 c #Conflicts: 1040000 | #Constraints: 67634
1778.82/1783.66 c #Conflicts: 1041000 | #Constraints: 68634
1778.82/1783.66 c INPROCESSING
1778.82/1783.66 c GARBAGE COLLECT
1778.82/1783.66 c rational objective 67.3333
1812.42/1817.31 c #Conflicts: 1042000 | #Constraints: 49434
1812.42/1817.31 c #Conflicts: 1043000 | #Constraints: 50434
1812.42/1817.31 c #Conflicts: 1044000 | #Constraints: 51434
1812.42/1817.31 c #Conflicts: 1045000 | #Constraints: 52434
1812.42/1817.31 c #Conflicts: 1046000 | #Constraints: 53434
1812.42/1817.31 c #Conflicts: 1047000 | #Constraints: 54434
1812.42/1817.31 c #Conflicts: 1048000 | #Constraints: 55434
1812.42/1817.31 c #Conflicts: 1049000 | #Constraints: 56434
1812.42/1817.31 c #Conflicts: 1050000 | #Constraints: 57434
1812.42/1817.31 c #Conflicts: 1051000 | #Constraints: 58434
1812.42/1817.31 c #Conflicts: 1052000 | #Constraints: 59434
1812.42/1817.31 c #Conflicts: 1053000 | #Constraints: 60434
1812.42/1817.31 c #Conflicts: 1054000 | #Constraints: 61434
1812.42/1817.31 c #Conflicts: 1055000 | #Constraints: 62434
1812.42/1817.31 c #Conflicts: 1056000 | #Constraints: 63434
1812.42/1817.31 c #Conflicts: 1057000 | #Constraints: 64434
1812.42/1817.31 c #Conflicts: 1058000 | #Constraints: 65434
1812.42/1817.31 c #Conflicts: 1059000 | #Constraints: 66434
1812.42/1817.31 c #Conflicts: 1060000 | #Constraints: 67434
1812.42/1817.31 c #Conflicts: 1061000 | #Constraints: 68434
1812.42/1817.31 c #Conflicts: 1062000 | #Constraints: 69434
1812.42/1817.31 c INPROCESSING
1812.42/1817.31 c GARBAGE COLLECT
1812.42/1817.31 c rational objective 67.3333
1853.80/1858.82 c #Conflicts: 1063000 | #Constraints: 50030
1853.80/1858.82 c #Conflicts: 1064000 | #Constraints: 51030
1853.80/1858.82 c #Conflicts: 1065000 | #Constraints: 52030
1853.80/1858.82 c #Conflicts: 1066000 | #Constraints: 53030
1853.80/1858.82 c #Conflicts: 1067000 | #Constraints: 54030
1853.80/1858.82 c #Conflicts: 1068000 | #Constraints: 55030
1853.80/1858.82 c #Conflicts: 1069000 | #Constraints: 56030
1853.80/1858.82 c #Conflicts: 1070000 | #Constraints: 57030
1853.80/1858.82 c #Conflicts: 1071000 | #Constraints: 58030
1853.80/1858.82 c #Conflicts: 1072000 | #Constraints: 59030
1853.80/1858.82 c #Conflicts: 1073000 | #Constraints: 60030
1853.80/1858.82 c #Conflicts: 1074000 | #Constraints: 61030
1853.80/1858.82 c #Conflicts: 1075000 | #Constraints: 62030
1853.80/1858.82 c #Conflicts: 1076000 | #Constraints: 63030
1853.80/1858.82 c #Conflicts: 1077000 | #Constraints: 64030
1853.80/1858.82 c #Conflicts: 1078000 | #Constraints: 65030
1853.80/1858.82 c #Conflicts: 1079000 | #Constraints: 66030
1853.80/1858.82 c #Conflicts: 1080000 | #Constraints: 67030
1853.80/1858.82 c #Conflicts: 1081000 | #Constraints: 68030
1853.80/1858.82 c #Conflicts: 1082000 | #Constraints: 69030
1853.80/1858.82 c #Conflicts: 1083000 | #Constraints: 70030
1853.80/1858.82 c INPROCESSING
1853.80/1858.82 c GARBAGE COLLECT
1853.80/1858.82 c rational objective 67.3333
1901.05/1906.27 c #Conflicts: 1084000 | #Constraints: 50434
1901.05/1906.27 c #Conflicts: 1085000 | #Constraints: 51434
1901.05/1906.27 c #Conflicts: 1086000 | #Constraints: 52434
1901.05/1906.27 c #Conflicts: 1087000 | #Constraints: 53434
1901.05/1906.27 c #Conflicts: 1088000 | #Constraints: 54434
1901.05/1906.27 c #Conflicts: 1089000 | #Constraints: 55434
1901.05/1906.27 c #Conflicts: 1090000 | #Constraints: 56434
1901.05/1906.27 c #Conflicts: 1091000 | #Constraints: 57434
1901.05/1906.27 c #Conflicts: 1092000 | #Constraints: 58434
1901.05/1906.27 c #Conflicts: 1093000 | #Constraints: 59434
1901.05/1906.27 c #Conflicts: 1094000 | #Constraints: 60434
1901.05/1906.27 c #Conflicts: 1095000 | #Constraints: 61434
1901.05/1906.27 c #Conflicts: 1096000 | #Constraints: 62434
1901.05/1906.27 c #Conflicts: 1097000 | #Constraints: 63434
1901.05/1906.27 c #Conflicts: 1098000 | #Constraints: 64434
1901.05/1906.27 c #Conflicts: 1099000 | #Constraints: 65434
1901.05/1906.27 c #Conflicts: 1100000 | #Constraints: 66434
1901.05/1906.27 c #Conflicts: 1101000 | #Constraints: 67434
1901.05/1906.27 c #Conflicts: 1102000 | #Constraints: 68434
1901.05/1906.27 c #Conflicts: 1103000 | #Constraints: 69434
1901.05/1906.27 c #Conflicts: 1104000 | #Constraints: 70434
1901.05/1906.27 c INPROCESSING
1901.05/1906.27 c GARBAGE COLLECT
1901.05/1906.27 c rational objective 67.3333
1928.67/1933.95 c #Conflicts: 1105000 | #Constraints: 50632
1928.67/1933.95 c #Conflicts: 1106000 | #Constraints: 51632
1928.67/1933.95 c #Conflicts: 1107000 | #Constraints: 52632
1928.67/1933.95 c #Conflicts: 1108000 | #Constraints: 53632
1928.67/1933.95 c #Conflicts: 1109000 | #Constraints: 54632
1928.67/1933.95 c #Conflicts: 1110000 | #Constraints: 55632
1928.67/1933.95 c #Conflicts: 1111000 | #Constraints: 56632
1928.67/1933.95 c #Conflicts: 1112000 | #Constraints: 57632
1928.67/1933.95 c #Conflicts: 1113000 | #Constraints: 58632
1928.67/1933.95 c #Conflicts: 1114000 | #Constraints: 59632
1928.67/1933.95 c #Conflicts: 1115000 | #Constraints: 60632
1928.67/1933.95 c #Conflicts: 1116000 | #Constraints: 61632
1928.67/1933.95 c #Conflicts: 1117000 | #Constraints: 62632
1928.67/1933.95 c #Conflicts: 1118000 | #Constraints: 63632
1928.67/1933.95 c #Conflicts: 1119000 | #Constraints: 64632
1928.67/1933.95 c #Conflicts: 1120000 | #Constraints: 65632
1928.67/1933.95 c #Conflicts: 1121000 | #Constraints: 66632
1928.67/1933.95 c #Conflicts: 1122000 | #Constraints: 67632
1928.67/1933.95 c #Conflicts: 1123000 | #Constraints: 68632
1928.67/1933.95 c #Conflicts: 1124000 | #Constraints: 69632
1928.67/1933.95 c #Conflicts: 1125000 | #Constraints: 70632
1928.67/1933.95 c INPROCESSING
1928.67/1933.95 c GARBAGE COLLECT
1928.67/1933.95 c rational objective 67.3333
1953.20/1958.50 c #Conflicts: 1126000 | #Constraints: 50629
1953.20/1958.50 c #Conflicts: 1127000 | #Constraints: 51629
1953.20/1958.50 c #Conflicts: 1128000 | #Constraints: 52629
1953.20/1958.50 c #Conflicts: 1129000 | #Constraints: 53629
1953.20/1958.50 c #Conflicts: 1130000 | #Constraints: 54629
1953.20/1958.50 c #Conflicts: 1131000 | #Constraints: 55629
1953.20/1958.50 c #Conflicts: 1132000 | #Constraints: 56629
1953.20/1958.50 c #Conflicts: 1133000 | #Constraints: 57629
1953.20/1958.50 c #Conflicts: 1134000 | #Constraints: 58629
1953.20/1958.50 c #Conflicts: 1135000 | #Constraints: 59629
1953.20/1958.50 c #Conflicts: 1136000 | #Constraints: 60629
1953.20/1958.50 c #Conflicts: 1137000 | #Constraints: 61629
1953.20/1958.50 c #Conflicts: 1138000 | #Constraints: 62629
1953.20/1958.50 c #Conflicts: 1139000 | #Constraints: 63629
1953.20/1958.50 c #Conflicts: 1140000 | #Constraints: 64629
1953.20/1958.50 c #Conflicts: 1141000 | #Constraints: 65629
1953.20/1958.50 c #Conflicts: 1142000 | #Constraints: 66629
1953.20/1958.50 c #Conflicts: 1143000 | #Constraints: 67629
1953.20/1958.50 c #Conflicts: 1144000 | #Constraints: 68629
1953.20/1958.50 c #Conflicts: 1145000 | #Constraints: 69629
1953.20/1958.50 c #Conflicts: 1146000 | #Constraints: 70629
1953.20/1958.50 c INPROCESSING
1953.20/1958.50 c GARBAGE COLLECT
1953.20/1958.50 c rational objective 67.3333
1981.82/1987.28 c #Conflicts: 1147000 | #Constraints: 50436
1981.82/1987.28 c #Conflicts: 1148000 | #Constraints: 51436
1981.82/1987.28 c #Conflicts: 1149000 | #Constraints: 52436
1981.82/1987.28 c #Conflicts: 1150000 | #Constraints: 53436
1981.82/1987.28 c #Conflicts: 1151000 | #Constraints: 54436
1981.82/1987.28 c #Conflicts: 1152000 | #Constraints: 55436
1981.82/1987.28 c #Conflicts: 1153000 | #Constraints: 56436
1981.82/1987.28 c #Conflicts: 1154000 | #Constraints: 57436
1981.82/1987.28 c #Conflicts: 1155000 | #Constraints: 58436
1981.82/1987.28 c #Conflicts: 1156000 | #Constraints: 59436
1981.82/1987.28 c #Conflicts: 1157000 | #Constraints: 60436
1981.82/1987.28 c #Conflicts: 1158000 | #Constraints: 61436
1981.82/1987.28 c #Conflicts: 1159000 | #Constraints: 62436
1981.82/1987.28 c #Conflicts: 1160000 | #Constraints: 63436
1981.82/1987.28 c #Conflicts: 1161000 | #Constraints: 64436
1981.82/1987.28 c #Conflicts: 1162000 | #Constraints: 65436
1981.82/1987.28 c #Conflicts: 1163000 | #Constraints: 66436
1981.82/1987.28 c #Conflicts: 1164000 | #Constraints: 67436
1981.82/1987.28 c #Conflicts: 1165000 | #Constraints: 68436
1981.82/1987.28 c #Conflicts: 1166000 | #Constraints: 69436
1981.82/1987.28 c #Conflicts: 1167000 | #Constraints: 70436
1981.82/1987.28 c #Conflicts: 1168000 | #Constraints: 71436
1981.82/1987.28 c INPROCESSING
1981.82/1987.28 c GARBAGE COLLECT
1981.82/1987.28 c rational objective 67.3333
2025.00/2030.59 c #Conflicts: 1169000 | #Constraints: 51032
2025.00/2030.59 c #Conflicts: 1170000 | #Constraints: 52032
2025.00/2030.59 c #Conflicts: 1171000 | #Constraints: 53032
2025.00/2030.59 c #Conflicts: 1172000 | #Constraints: 54032
2025.00/2030.59 c #Conflicts: 1173000 | #Constraints: 55032
2025.00/2030.59 c #Conflicts: 1174000 | #Constraints: 56032
2025.00/2030.59 c #Conflicts: 1175000 | #Constraints: 57032
2025.00/2030.59 c #Conflicts: 1176000 | #Constraints: 58032
2025.00/2030.59 c #Conflicts: 1177000 | #Constraints: 59032
2025.00/2030.59 c #Conflicts: 1178000 | #Constraints: 60032
2025.00/2030.59 c #Conflicts: 1179000 | #Constraints: 61032
2025.00/2030.59 c #Conflicts: 1180000 | #Constraints: 62032
2025.00/2030.59 c #Conflicts: 1181000 | #Constraints: 63032
2025.00/2030.59 c #Conflicts: 1182000 | #Constraints: 64032
2025.00/2030.59 c #Conflicts: 1183000 | #Constraints: 65032
2025.00/2030.59 c #Conflicts: 1184000 | #Constraints: 66032
2025.00/2030.59 c #Conflicts: 1185000 | #Constraints: 67032
2025.00/2030.59 c #Conflicts: 1186000 | #Constraints: 68032
2025.00/2030.59 c #Conflicts: 1187000 | #Constraints: 69032
2025.00/2030.59 c #Conflicts: 1188000 | #Constraints: 70032
2025.00/2030.59 c #Conflicts: 1189000 | #Constraints: 71032
2025.00/2030.59 c #Conflicts: 1190000 | #Constraints: 72032
2025.00/2030.59 c INPROCESSING
2025.00/2030.59 c GARBAGE COLLECT
2025.00/2030.59 c rational objective 67.3333
2049.33/2054.95 c #Conflicts: 1191000 | #Constraints: 51428
2049.33/2054.95 c #Conflicts: 1192000 | #Constraints: 52428
2049.33/2054.95 c #Conflicts: 1193000 | #Constraints: 53428
2049.33/2054.95 c #Conflicts: 1194000 | #Constraints: 54428
2049.33/2054.95 c #Conflicts: 1195000 | #Constraints: 55428
2049.33/2054.95 c #Conflicts: 1196000 | #Constraints: 56428
2049.33/2054.95 c #Conflicts: 1197000 | #Constraints: 57428
2049.33/2054.95 c #Conflicts: 1198000 | #Constraints: 58428
2049.33/2054.95 c #Conflicts: 1199000 | #Constraints: 59428
2049.33/2054.95 c #Conflicts: 1200000 | #Constraints: 60428
2049.33/2054.95 c #Conflicts: 1201000 | #Constraints: 61428
2049.33/2054.95 c #Conflicts: 1202000 | #Constraints: 62428
2049.33/2054.95 c #Conflicts: 1203000 | #Constraints: 63428
2049.33/2054.95 c #Conflicts: 1204000 | #Constraints: 64428
2049.33/2054.95 c #Conflicts: 1205000 | #Constraints: 65428
2049.33/2054.95 c #Conflicts: 1206000 | #Constraints: 66429
2049.33/2054.95 c #Conflicts: 1207000 | #Constraints: 67429
2049.33/2054.95 c #Conflicts: 1208000 | #Constraints: 68429
2049.33/2054.95 c #Conflicts: 1209000 | #Constraints: 69429
2049.33/2054.95 c #Conflicts: 1210000 | #Constraints: 70429
2049.33/2054.95 c #Conflicts: 1211000 | #Constraints: 71429
2049.33/2054.95 c #Conflicts: 1212000 | #Constraints: 72429
2049.33/2054.95 c INPROCESSING
2049.33/2054.95 c GARBAGE COLLECT
2049.33/2054.95 c rational objective 67.3333
2086.22/2091.92 c #Conflicts: 1213000 | #Constraints: 51625
2086.22/2091.92 c #Conflicts: 1214000 | #Constraints: 52625
2086.22/2091.92 c #Conflicts: 1215000 | #Constraints: 53625
2086.22/2091.92 c #Conflicts: 1216000 | #Constraints: 54625
2086.22/2091.92 c #Conflicts: 1217000 | #Constraints: 55625
2086.22/2091.92 c #Conflicts: 1218000 | #Constraints: 56625
2086.22/2091.92 c #Conflicts: 1219000 | #Constraints: 57625
2086.22/2091.92 c #Conflicts: 1220000 | #Constraints: 58625
2086.22/2091.92 c #Conflicts: 1221000 | #Constraints: 59625
2086.22/2091.92 c #Conflicts: 1222000 | #Constraints: 60625
2086.22/2091.92 c #Conflicts: 1223000 | #Constraints: 61625
2086.22/2091.92 c #Conflicts: 1224000 | #Constraints: 62625
2086.22/2091.92 c #Conflicts: 1225000 | #Constraints: 63625
2086.22/2091.92 c #Conflicts: 1226000 | #Constraints: 64625
2086.22/2091.92 c #Conflicts: 1227000 | #Constraints: 65625
2086.22/2091.92 c #Conflicts: 1228000 | #Constraints: 66625
2086.22/2091.92 c #Conflicts: 1229000 | #Constraints: 67625
2086.22/2091.92 c #Conflicts: 1230000 | #Constraints: 68625
2086.22/2091.92 c #Conflicts: 1231000 | #Constraints: 69625
2086.22/2091.92 c #Conflicts: 1232000 | #Constraints: 70625
2086.22/2091.92 c #Conflicts: 1233000 | #Constraints: 71625
2086.22/2091.92 c #Conflicts: 1234000 | #Constraints: 72625
2086.22/2091.92 c INPROCESSING
2086.22/2091.92 c GARBAGE COLLECT
2086.22/2091.92 c rational objective 67.3333
2113.86/2119.66 c #Conflicts: 1235000 | #Constraints: 51638
2113.86/2119.66 c #Conflicts: 1236000 | #Constraints: 52638
2113.86/2119.66 c #Conflicts: 1237000 | #Constraints: 53638
2113.86/2119.66 c #Conflicts: 1238000 | #Constraints: 54638
2113.86/2119.66 c #Conflicts: 1239000 | #Constraints: 55638
2113.86/2119.66 c #Conflicts: 1240000 | #Constraints: 56638
2113.86/2119.66 c #Conflicts: 1241000 | #Constraints: 57638
2113.86/2119.66 c #Conflicts: 1242000 | #Constraints: 58638
2113.86/2119.66 c #Conflicts: 1243000 | #Constraints: 59638
2113.86/2119.66 c #Conflicts: 1244000 | #Constraints: 60638
2113.86/2119.66 c #Conflicts: 1245000 | #Constraints: 61638
2113.86/2119.66 c #Conflicts: 1246000 | #Constraints: 62638
2113.86/2119.66 c #Conflicts: 1247000 | #Constraints: 63638
2113.86/2119.66 c #Conflicts: 1248000 | #Constraints: 64638
2113.86/2119.66 c #Conflicts: 1249000 | #Constraints: 65638
2113.86/2119.66 c #Conflicts: 1250000 | #Constraints: 66638
2113.86/2119.66 c #Conflicts: 1251000 | #Constraints: 67638
2113.86/2119.66 c #Conflicts: 1252000 | #Constraints: 68638
2113.86/2119.66 c #Conflicts: 1253000 | #Constraints: 69638
2113.86/2119.66 c #Conflicts: 1254000 | #Constraints: 70638
2113.86/2119.66 c #Conflicts: 1255000 | #Constraints: 71638
2113.86/2119.66 c #Conflicts: 1256000 | #Constraints: 72638
2113.86/2119.66 c INPROCESSING
2113.86/2119.66 c GARBAGE COLLECT
2113.86/2119.66 c rational objective 67.3333
2160.45/2166.36 c #Conflicts: 1257000 | #Constraints: 51435
2160.45/2166.36 c #Conflicts: 1258000 | #Constraints: 52435
2160.45/2166.36 c #Conflicts: 1259000 | #Constraints: 53435
2160.45/2166.36 c #Conflicts: 1260000 | #Constraints: 54435
2160.45/2166.36 c #Conflicts: 1261000 | #Constraints: 55435
2160.45/2166.36 c #Conflicts: 1262000 | #Constraints: 56435
2160.45/2166.36 c #Conflicts: 1263000 | #Constraints: 57435
2160.45/2166.36 c #Conflicts: 1264000 | #Constraints: 58435
2160.45/2166.36 c #Conflicts: 1265000 | #Constraints: 59435
2160.45/2166.36 c #Conflicts: 1266000 | #Constraints: 60435
2160.45/2166.36 c #Conflicts: 1267000 | #Constraints: 61435
2160.45/2166.36 c #Conflicts: 1268000 | #Constraints: 62435
2160.45/2166.36 c #Conflicts: 1269000 | #Constraints: 63435
2160.45/2166.36 c #Conflicts: 1270000 | #Constraints: 64435
2160.45/2166.36 c #Conflicts: 1271000 | #Constraints: 65435
2160.45/2166.36 c #Conflicts: 1272000 | #Constraints: 66435
2160.45/2166.36 c #Conflicts: 1273000 | #Constraints: 67435
2160.45/2166.36 c #Conflicts: 1274000 | #Constraints: 68435
2160.45/2166.36 c #Conflicts: 1275000 | #Constraints: 69435
2160.45/2166.36 c #Conflicts: 1276000 | #Constraints: 70435
2160.45/2166.36 c #Conflicts: 1277000 | #Constraints: 71435
2160.45/2166.36 c #Conflicts: 1278000 | #Constraints: 72435
2160.45/2166.36 c #Conflicts: 1279000 | #Constraints: 73435
2160.45/2166.36 c INPROCESSING
2160.45/2166.36 c GARBAGE COLLECT
2160.45/2166.36 c rational objective 67.3333
2201.55/2207.53 c #Conflicts: 1280000 | #Constraints: 52042
2201.55/2207.53 c #Conflicts: 1281000 | #Constraints: 53042
2201.55/2207.53 c #Conflicts: 1282000 | #Constraints: 54042
2201.55/2207.53 c #Conflicts: 1283000 | #Constraints: 55042
2201.55/2207.53 c #Conflicts: 1284000 | #Constraints: 56042
2201.55/2207.53 c #Conflicts: 1285000 | #Constraints: 57042
2201.55/2207.53 c #Conflicts: 1286000 | #Constraints: 58042
2201.55/2207.53 c #Conflicts: 1287000 | #Constraints: 59042
2201.55/2207.53 c #Conflicts: 1288000 | #Constraints: 60042
2201.55/2207.53 c #Conflicts: 1289000 | #Constraints: 61042
2201.55/2207.53 c #Conflicts: 1290000 | #Constraints: 62042
2201.55/2207.53 c #Conflicts: 1291000 | #Constraints: 63042
2201.55/2207.53 c #Conflicts: 1292000 | #Constraints: 64042
2201.55/2207.53 c #Conflicts: 1293000 | #Constraints: 65042
2201.55/2207.53 c #Conflicts: 1294000 | #Constraints: 66042
2201.55/2207.53 c #Conflicts: 1295000 | #Constraints: 67042
2201.55/2207.53 c #Conflicts: 1296000 | #Constraints: 68042
2201.55/2207.53 c #Conflicts: 1297000 | #Constraints: 69042
2201.55/2207.53 c #Conflicts: 1298000 | #Constraints: 70042
2201.55/2207.53 c #Conflicts: 1299000 | #Constraints: 71042
2201.55/2207.53 c #Conflicts: 1300000 | #Constraints: 72042
2201.55/2207.53 c #Conflicts: 1301000 | #Constraints: 73042
2201.55/2207.53 c #Conflicts: 1302000 | #Constraints: 74042
2201.55/2207.53 c INPROCESSING
2201.55/2207.53 c GARBAGE COLLECT
2201.55/2207.53 c rational objective 67.3333
2231.57/2237.61 c #Conflicts: 1303000 | #Constraints: 52445
2231.57/2237.61 c #Conflicts: 1304000 | #Constraints: 53445
2231.57/2237.61 c #Conflicts: 1305000 | #Constraints: 54445
2231.57/2237.61 c #Conflicts: 1306000 | #Constraints: 55445
2231.57/2237.61 c #Conflicts: 1307000 | #Constraints: 56445
2231.57/2237.61 c #Conflicts: 1308000 | #Constraints: 57445
2231.57/2237.61 c #Conflicts: 1309000 | #Constraints: 58445
2231.57/2237.61 c #Conflicts: 1310000 | #Constraints: 59445
2231.57/2237.61 c #Conflicts: 1311000 | #Constraints: 60445
2231.57/2237.61 c #Conflicts: 1312000 | #Constraints: 61445
2231.57/2237.61 c #Conflicts: 1313000 | #Constraints: 62445
2231.57/2237.61 c #Conflicts: 1314000 | #Constraints: 63445
2231.57/2237.61 c #Conflicts: 1315000 | #Constraints: 64445
2231.57/2237.61 c #Conflicts: 1316000 | #Constraints: 65445
2231.57/2237.61 c #Conflicts: 1317000 | #Constraints: 66445
2231.57/2237.61 c #Conflicts: 1318000 | #Constraints: 67445
2231.57/2237.61 c #Conflicts: 1319000 | #Constraints: 68445
2231.57/2237.61 c #Conflicts: 1320000 | #Constraints: 69445
2231.57/2237.61 c #Conflicts: 1321000 | #Constraints: 70445
2231.57/2237.61 c #Conflicts: 1322000 | #Constraints: 71445
2231.57/2237.61 c #Conflicts: 1323000 | #Constraints: 72445
2231.57/2237.61 c #Conflicts: 1324000 | #Constraints: 73445
2231.57/2237.61 c #Conflicts: 1325000 | #Constraints: 74445
2231.57/2237.61 c INPROCESSING
2231.57/2237.61 c GARBAGE COLLECT
2231.57/2237.61 c rational objective 67.3333
2263.68/2269.83 c #Conflicts: 1326000 | #Constraints: 52643
2263.68/2269.83 c #Conflicts: 1327000 | #Constraints: 53643
2263.68/2269.83 c #Conflicts: 1328000 | #Constraints: 54643
2263.68/2269.83 c #Conflicts: 1329000 | #Constraints: 55643
2263.68/2269.83 c #Conflicts: 1330000 | #Constraints: 56643
2263.68/2269.83 c #Conflicts: 1331000 | #Constraints: 57643
2263.68/2269.83 c #Conflicts: 1332000 | #Constraints: 58643
2263.68/2269.83 c #Conflicts: 1333000 | #Constraints: 59643
2263.68/2269.83 c #Conflicts: 1334000 | #Constraints: 60643
2263.68/2269.83 c #Conflicts: 1335000 | #Constraints: 61643
2263.68/2269.83 c #Conflicts: 1336000 | #Constraints: 62643
2263.68/2269.83 c #Conflicts: 1337000 | #Constraints: 63643
2263.68/2269.83 c #Conflicts: 1338000 | #Constraints: 64643
2263.68/2269.83 c #Conflicts: 1339000 | #Constraints: 65643
2263.68/2269.83 c #Conflicts: 1340000 | #Constraints: 66643
2263.68/2269.83 c #Conflicts: 1341000 | #Constraints: 67643
2263.68/2269.83 c #Conflicts: 1342000 | #Constraints: 68643
2263.68/2269.83 c #Conflicts: 1343000 | #Constraints: 69643
2263.68/2269.83 c #Conflicts: 1344000 | #Constraints: 70643
2263.68/2269.83 c #Conflicts: 1345000 | #Constraints: 71643
2263.68/2269.83 c #Conflicts: 1346000 | #Constraints: 72643
2263.68/2269.83 c #Conflicts: 1347000 | #Constraints: 73643
2263.68/2269.83 c #Conflicts: 1348000 | #Constraints: 74643
2263.68/2269.83 c INPROCESSING
2263.68/2269.83 c GARBAGE COLLECT
2263.68/2269.83 c rational objective 67.3333
2309.94/2316.26 c #Conflicts: 1349000 | #Constraints: 52646
2309.94/2316.26 c #Conflicts: 1350000 | #Constraints: 53646
2309.94/2316.26 c #Conflicts: 1351000 | #Constraints: 54646
2309.94/2316.26 c #Conflicts: 1352000 | #Constraints: 55646
2309.94/2316.26 c #Conflicts: 1353000 | #Constraints: 56646
2309.94/2316.26 c #Conflicts: 1354000 | #Constraints: 57646
2309.94/2316.26 c #Conflicts: 1355000 | #Constraints: 58646
2309.94/2316.26 c #Conflicts: 1356000 | #Constraints: 59646
2309.94/2316.26 c #Conflicts: 1357000 | #Constraints: 60646
2309.94/2316.26 c #Conflicts: 1358000 | #Constraints: 61646
2309.94/2316.26 c #Conflicts: 1359000 | #Constraints: 62646
2309.94/2316.26 c #Conflicts: 1360000 | #Constraints: 63646
2309.94/2316.26 c #Conflicts: 1361000 | #Constraints: 64646
2309.94/2316.26 c #Conflicts: 1362000 | #Constraints: 65646
2309.94/2316.26 c #Conflicts: 1363000 | #Constraints: 66646
2309.94/2316.26 c #Conflicts: 1364000 | #Constraints: 67646
2309.94/2316.26 c #Conflicts: 1365000 | #Constraints: 68646
2309.94/2316.26 c #Conflicts: 1366000 | #Constraints: 69646
2309.94/2316.26 c #Conflicts: 1367000 | #Constraints: 70646
2309.94/2316.26 c #Conflicts: 1368000 | #Constraints: 71646
2309.94/2316.26 c #Conflicts: 1369000 | #Constraints: 72646
2309.94/2316.26 c #Conflicts: 1370000 | #Constraints: 73646
2309.94/2316.26 c #Conflicts: 1371000 | #Constraints: 74646
2309.94/2316.26 c INPROCESSING
2309.94/2316.26 c GARBAGE COLLECT
2309.94/2316.26 c rational objective 67.3333
2377.24/2383.77 c #Conflicts: 1372000 | #Constraints: 52446
2377.24/2383.77 c #Conflicts: 1373000 | #Constraints: 53446
2377.24/2383.77 c #Conflicts: 1374000 | #Constraints: 54446
2377.24/2383.77 c #Conflicts: 1375000 | #Constraints: 55446
2377.24/2383.77 c #Conflicts: 1376000 | #Constraints: 56446
2377.24/2383.77 c #Conflicts: 1377000 | #Constraints: 57446
2377.24/2383.77 c #Conflicts: 1378000 | #Constraints: 58446
2377.24/2383.77 c #Conflicts: 1379000 | #Constraints: 59446
2377.24/2383.77 c #Conflicts: 1380000 | #Constraints: 60446
2377.24/2383.77 c #Conflicts: 1381000 | #Constraints: 61446
2377.24/2383.77 c #Conflicts: 1382000 | #Constraints: 62446
2377.24/2383.77 c #Conflicts: 1383000 | #Constraints: 63446
2377.24/2383.77 c #Conflicts: 1384000 | #Constraints: 64446
2377.24/2383.77 c #Conflicts: 1385000 | #Constraints: 65446
2377.24/2383.77 c #Conflicts: 1386000 | #Constraints: 66446
2377.24/2383.77 c #Conflicts: 1387000 | #Constraints: 67446
2377.24/2383.77 c #Conflicts: 1388000 | #Constraints: 68446
2377.24/2383.77 c #Conflicts: 1389000 | #Constraints: 69446
2377.24/2383.77 c #Conflicts: 1390000 | #Constraints: 70446
2377.24/2383.77 c #Conflicts: 1391000 | #Constraints: 71446
2377.24/2383.77 c #Conflicts: 1392000 | #Constraints: 72446
2377.24/2383.77 c #Conflicts: 1393000 | #Constraints: 73446
2377.24/2383.77 c #Conflicts: 1394000 | #Constraints: 74446
2377.24/2383.77 c #Conflicts: 1395000 | #Constraints: 75446
2377.24/2383.77 c INPROCESSING
2377.24/2383.77 c GARBAGE COLLECT
2377.24/2383.77 c rational objective 67.3333
2407.95/2414.58 c #Conflicts: 1396000 | #Constraints: 53049
2407.95/2414.58 c #Conflicts: 1397000 | #Constraints: 54049
2407.95/2414.58 c #Conflicts: 1398000 | #Constraints: 55049
2407.95/2414.58 c #Conflicts: 1399000 | #Constraints: 56049
2407.95/2414.58 c #Conflicts: 1400000 | #Constraints: 57049
2407.95/2414.58 c #Conflicts: 1401000 | #Constraints: 58049
2407.95/2414.58 c #Conflicts: 1402000 | #Constraints: 59049
2407.95/2414.58 c #Conflicts: 1403000 | #Constraints: 60049
2407.95/2414.58 c #Conflicts: 1404000 | #Constraints: 61049
2407.95/2414.58 c #Conflicts: 1405000 | #Constraints: 62049
2407.95/2414.58 c #Conflicts: 1406000 | #Constraints: 63049
2407.95/2414.58 c #Conflicts: 1407000 | #Constraints: 64049
2407.95/2414.58 c #Conflicts: 1408000 | #Constraints: 65049
2407.95/2414.58 c #Conflicts: 1409000 | #Constraints: 66049
2407.95/2414.58 c #Conflicts: 1410000 | #Constraints: 67049
2407.95/2414.58 c #Conflicts: 1411000 | #Constraints: 68049
2407.95/2414.58 c #Conflicts: 1412000 | #Constraints: 69049
2407.95/2414.58 c #Conflicts: 1413000 | #Constraints: 70049
2407.95/2414.58 c #Conflicts: 1414000 | #Constraints: 71049
2407.95/2414.58 c #Conflicts: 1415000 | #Constraints: 72049
2407.95/2414.58 c #Conflicts: 1416000 | #Constraints: 73049
2407.95/2414.58 c #Conflicts: 1417000 | #Constraints: 74049
2407.95/2414.58 c #Conflicts: 1418000 | #Constraints: 75049
2407.95/2414.58 c #Conflicts: 1419000 | #Constraints: 76049
2407.95/2414.58 c INPROCESSING
2407.95/2414.58 c GARBAGE COLLECT
2407.95/2414.58 c rational objective 67.3333
2436.66/2443.30 c #Conflicts: 1420000 | #Constraints: 53443
2436.66/2443.30 c #Conflicts: 1421000 | #Constraints: 54443
2436.66/2443.30 c #Conflicts: 1422000 | #Constraints: 55443
2436.66/2443.30 c #Conflicts: 1423000 | #Constraints: 56443
2436.66/2443.30 c #Conflicts: 1424000 | #Constraints: 57443
2436.66/2443.30 c #Conflicts: 1425000 | #Constraints: 58443
2436.66/2443.30 c #Conflicts: 1426000 | #Constraints: 59443
2436.66/2443.30 c #Conflicts: 1427000 | #Constraints: 60443
2436.66/2443.30 c #Conflicts: 1428000 | #Constraints: 61443
2436.66/2443.30 c #Conflicts: 1429000 | #Constraints: 62443
2436.66/2443.30 c #Conflicts: 1430000 | #Constraints: 63443
2436.66/2443.30 c #Conflicts: 1431000 | #Constraints: 64443
2436.66/2443.30 c #Conflicts: 1432000 | #Constraints: 65443
2436.66/2443.30 c #Conflicts: 1433000 | #Constraints: 66443
2436.66/2443.30 c #Conflicts: 1434000 | #Constraints: 67443
2436.66/2443.30 c #Conflicts: 1435000 | #Constraints: 68443
2436.66/2443.30 c #Conflicts: 1436000 | #Constraints: 69443
2436.66/2443.30 c #Conflicts: 1437000 | #Constraints: 70443
2436.66/2443.30 c #Conflicts: 1438000 | #Constraints: 71443
2436.66/2443.30 c #Conflicts: 1439000 | #Constraints: 72443
2436.66/2443.30 c #Conflicts: 1440000 | #Constraints: 73443
2436.66/2443.30 c #Conflicts: 1441000 | #Constraints: 74443
2436.66/2443.30 c #Conflicts: 1442000 | #Constraints: 75443
2436.66/2443.30 c #Conflicts: 1443000 | #Constraints: 76443
2436.66/2443.30 c INPROCESSING
2436.66/2443.30 c GARBAGE COLLECT
2436.66/2443.30 c rational objective 67.3333
2466.09/2472.88 c #Conflicts: 1444000 | #Constraints: 53639
2466.09/2472.88 c #Conflicts: 1445000 | #Constraints: 54639
2466.09/2472.88 c #Conflicts: 1446000 | #Constraints: 55639
2466.09/2472.88 c #Conflicts: 1447000 | #Constraints: 56639
2466.09/2472.88 c #Conflicts: 1448000 | #Constraints: 57639
2466.09/2472.88 c #Conflicts: 1449000 | #Constraints: 58639
2466.09/2472.88 c #Conflicts: 1450000 | #Constraints: 59639
2466.09/2472.88 c #Conflicts: 1451000 | #Constraints: 60639
2466.09/2472.88 c #Conflicts: 1452000 | #Constraints: 61639
2466.09/2472.88 c #Conflicts: 1453000 | #Constraints: 62639
2466.09/2472.88 c #Conflicts: 1454000 | #Constraints: 63639
2466.09/2472.88 c #Conflicts: 1455000 | #Constraints: 64639
2466.09/2472.88 c #Conflicts: 1456000 | #Constraints: 65639
2466.09/2472.88 c #Conflicts: 1457000 | #Constraints: 66639
2466.09/2472.88 c #Conflicts: 1458000 | #Constraints: 67639
2466.09/2472.88 c #Conflicts: 1459000 | #Constraints: 68639
2466.09/2472.88 c #Conflicts: 1460000 | #Constraints: 69639
2466.09/2472.88 c #Conflicts: 1461000 | #Constraints: 70639
2466.09/2472.88 c #Conflicts: 1462000 | #Constraints: 71639
2466.09/2472.88 c #Conflicts: 1463000 | #Constraints: 72639
2466.09/2472.88 c #Conflicts: 1464000 | #Constraints: 73639
2466.09/2472.88 c #Conflicts: 1465000 | #Constraints: 74639
2466.09/2472.88 c #Conflicts: 1466000 | #Constraints: 75639
2466.09/2472.88 c #Conflicts: 1467000 | #Constraints: 76639
2466.09/2472.88 c INPROCESSING
2466.09/2472.88 c GARBAGE COLLECT
2466.09/2472.88 c rational objective 67.3333
2501.18/2508.06 c #Conflicts: 1468000 | #Constraints: 53620
2501.18/2508.06 c #Conflicts: 1469000 | #Constraints: 54620
2501.18/2508.06 c #Conflicts: 1470000 | #Constraints: 55620
2501.18/2508.06 c #Conflicts: 1471000 | #Constraints: 56620
2501.18/2508.06 c #Conflicts: 1472000 | #Constraints: 57620
2501.18/2508.06 c #Conflicts: 1473000 | #Constraints: 58620
2501.18/2508.06 c #Conflicts: 1474000 | #Constraints: 59620
2501.18/2508.06 c #Conflicts: 1475000 | #Constraints: 60620
2501.18/2508.06 c #Conflicts: 1476000 | #Constraints: 61620
2501.18/2508.06 c #Conflicts: 1477000 | #Constraints: 62620
2501.18/2508.06 c #Conflicts: 1478000 | #Constraints: 63620
2501.18/2508.06 c #Conflicts: 1479000 | #Constraints: 64620
2501.18/2508.06 c #Conflicts: 1480000 | #Constraints: 65620
2501.18/2508.06 c #Conflicts: 1481000 | #Constraints: 66620
2501.18/2508.06 c #Conflicts: 1482000 | #Constraints: 67620
2501.18/2508.06 c #Conflicts: 1483000 | #Constraints: 68620
2501.18/2508.06 c #Conflicts: 1484000 | #Constraints: 69620
2501.18/2508.06 c #Conflicts: 1485000 | #Constraints: 70620
2501.18/2508.06 c #Conflicts: 1486000 | #Constraints: 71620
2501.18/2508.06 c #Conflicts: 1487000 | #Constraints: 72620
2501.18/2508.06 c #Conflicts: 1488000 | #Constraints: 73620
2501.18/2508.06 c #Conflicts: 1489000 | #Constraints: 74620
2501.18/2508.06 c #Conflicts: 1490000 | #Constraints: 75620
2501.18/2508.06 c #Conflicts: 1491000 | #Constraints: 76620
2501.18/2508.06 c INPROCESSING
2501.18/2508.06 c GARBAGE COLLECT
2501.18/2508.06 c rational objective 67.3333
2529.40/2536.39 c #Conflicts: 1492000 | #Constraints: 53432
2529.40/2536.39 c #Conflicts: 1493000 | #Constraints: 54432
2529.40/2536.39 c #Conflicts: 1494000 | #Constraints: 55432
2529.40/2536.39 c #Conflicts: 1495000 | #Constraints: 56432
2529.40/2536.39 c #Conflicts: 1496000 | #Constraints: 57432
2529.40/2536.39 c #Conflicts: 1497000 | #Constraints: 58432
2529.40/2536.39 c #Conflicts: 1498000 | #Constraints: 59432
2529.40/2536.39 c #Conflicts: 1499000 | #Constraints: 60432
2529.40/2536.39 c #Conflicts: 1500000 | #Constraints: 61432
2529.40/2536.39 c #Conflicts: 1501000 | #Constraints: 62432
2529.40/2536.39 c #Conflicts: 1502000 | #Constraints: 63432
2529.40/2536.39 c #Conflicts: 1503000 | #Constraints: 64432
2529.40/2536.39 c #Conflicts: 1504000 | #Constraints: 65432
2529.40/2536.39 c #Conflicts: 1505000 | #Constraints: 66432
2529.40/2536.39 c #Conflicts: 1506000 | #Constraints: 67432
2529.40/2536.39 c #Conflicts: 1507000 | #Constraints: 68432
2529.40/2536.39 c #Conflicts: 1508000 | #Constraints: 69432
2529.40/2536.39 c #Conflicts: 1509000 | #Constraints: 70432
2529.40/2536.39 c #Conflicts: 1510000 | #Constraints: 71432
2529.40/2536.39 c #Conflicts: 1511000 | #Constraints: 72432
2529.40/2536.39 c #Conflicts: 1512000 | #Constraints: 73432
2529.40/2536.39 c #Conflicts: 1513000 | #Constraints: 74432
2529.40/2536.39 c #Conflicts: 1514000 | #Constraints: 75432
2529.40/2536.39 c #Conflicts: 1515000 | #Constraints: 76432
2529.40/2536.39 c #Conflicts: 1516000 | #Constraints: 77432
2529.40/2536.39 c INPROCESSING
2529.40/2536.39 c GARBAGE COLLECT
2529.40/2536.39 c rational objective 67.3333
2566.00/2573.07 c #Conflicts: 1517000 | #Constraints: 54025
2566.00/2573.07 c #Conflicts: 1518000 | #Constraints: 55025
2566.00/2573.07 c #Conflicts: 1519000 | #Constraints: 56025
2566.00/2573.07 c #Conflicts: 1520000 | #Constraints: 57025
2566.00/2573.07 c #Conflicts: 1521000 | #Constraints: 58025
2566.00/2573.07 c #Conflicts: 1522000 | #Constraints: 59025
2566.00/2573.07 c #Conflicts: 1523000 | #Constraints: 60025
2566.00/2573.07 c #Conflicts: 1524000 | #Constraints: 61025
2566.00/2573.07 c #Conflicts: 1525000 | #Constraints: 62025
2566.00/2573.07 c #Conflicts: 1526000 | #Constraints: 63025
2566.00/2573.07 c #Conflicts: 1527000 | #Constraints: 64025
2566.00/2573.07 c #Conflicts: 1528000 | #Constraints: 65025
2566.00/2573.07 c #Conflicts: 1529000 | #Constraints: 66025
2566.00/2573.07 c #Conflicts: 1530000 | #Constraints: 67025
2566.00/2573.07 c #Conflicts: 1531000 | #Constraints: 68025
2566.00/2573.07 c #Conflicts: 1532000 | #Constraints: 69025
2566.00/2573.07 c #Conflicts: 1533000 | #Constraints: 70025
2566.00/2573.07 c #Conflicts: 1534000 | #Constraints: 71025
2566.00/2573.07 c #Conflicts: 1535000 | #Constraints: 72025
2566.00/2573.07 c #Conflicts: 1536000 | #Constraints: 73025
2566.00/2573.07 c #Conflicts: 1537000 | #Constraints: 74025
2566.00/2573.07 c #Conflicts: 1538000 | #Constraints: 75025
2566.00/2573.07 c #Conflicts: 1539000 | #Constraints: 76025
2566.00/2573.07 c #Conflicts: 1540000 | #Constraints: 77025
2566.00/2573.07 c #Conflicts: 1541000 | #Constraints: 78025
2566.00/2573.07 c INPROCESSING
2566.00/2573.07 c GARBAGE COLLECT
2566.00/2573.07 c rational objective 67.3333
2592.42/2599.55 c #Conflicts: 1542000 | #Constraints: 54438
2592.42/2599.55 c #Conflicts: 1543000 | #Constraints: 55438
2592.42/2599.55 c #Conflicts: 1544000 | #Constraints: 56438
2592.42/2599.55 c #Conflicts: 1545000 | #Constraints: 57438
2592.42/2599.55 c #Conflicts: 1546000 | #Constraints: 58438
2592.42/2599.55 c #Conflicts: 1547000 | #Constraints: 59438
2592.42/2599.55 c #Conflicts: 1548000 | #Constraints: 60438
2592.42/2599.55 c #Conflicts: 1549000 | #Constraints: 61438
2592.42/2599.55 c #Conflicts: 1550000 | #Constraints: 62438
2592.42/2599.55 c #Conflicts: 1551000 | #Constraints: 63438
2592.42/2599.55 c #Conflicts: 1552000 | #Constraints: 64438
2592.42/2599.55 c #Conflicts: 1553000 | #Constraints: 65438
2592.42/2599.55 c #Conflicts: 1554000 | #Constraints: 66438
2592.42/2599.55 c #Conflicts: 1555000 | #Constraints: 67438
2592.42/2599.55 c #Conflicts: 1556000 | #Constraints: 68438
2592.42/2599.55 c #Conflicts: 1557000 | #Constraints: 69438
2592.42/2599.55 c #Conflicts: 1558000 | #Constraints: 70438
2592.42/2599.55 c #Conflicts: 1559000 | #Constraints: 71438
2592.42/2599.55 c #Conflicts: 1560000 | #Constraints: 72438
2592.42/2599.55 c #Conflicts: 1561000 | #Constraints: 73438
2592.42/2599.55 c #Conflicts: 1562000 | #Constraints: 74438
2592.42/2599.55 c #Conflicts: 1563000 | #Constraints: 75438
2592.42/2599.55 c #Conflicts: 1564000 | #Constraints: 76438
2592.42/2599.55 c #Conflicts: 1565000 | #Constraints: 77438
2592.42/2599.55 c #Conflicts: 1566000 | #Constraints: 78438
2592.42/2599.55 c INPROCESSING
2592.42/2599.55 c GARBAGE COLLECT
2592.42/2599.55 c rational objective 67.3333
2655.93/2663.21 c #Conflicts: 1567000 | #Constraints: 54638
2655.93/2663.21 c #Conflicts: 1568000 | #Constraints: 55638
2655.93/2663.21 c #Conflicts: 1569000 | #Constraints: 56638
2655.93/2663.21 c #Conflicts: 1570000 | #Constraints: 57638
2655.93/2663.21 c #Conflicts: 1571000 | #Constraints: 58638
2655.93/2663.21 c #Conflicts: 1572000 | #Constraints: 59638
2655.93/2663.21 c #Conflicts: 1573000 | #Constraints: 60638
2655.93/2663.21 c #Conflicts: 1574000 | #Constraints: 61638
2655.93/2663.21 c #Conflicts: 1575000 | #Constraints: 62638
2655.93/2663.21 c #Conflicts: 1576000 | #Constraints: 63638
2655.93/2663.21 c #Conflicts: 1577000 | #Constraints: 64638
2655.93/2663.21 c #Conflicts: 1578000 | #Constraints: 65638
2655.93/2663.21 c #Conflicts: 1579000 | #Constraints: 66638
2655.93/2663.21 c #Conflicts: 1580000 | #Constraints: 67638
2655.93/2663.21 c #Conflicts: 1581000 | #Constraints: 68638
2655.93/2663.21 c #Conflicts: 1582000 | #Constraints: 69638
2655.93/2663.21 c #Conflicts: 1583000 | #Constraints: 70638
2655.93/2663.21 c #Conflicts: 1584000 | #Constraints: 71638
2655.93/2663.21 c #Conflicts: 1585000 | #Constraints: 72638
2655.93/2663.21 c #Conflicts: 1586000 | #Constraints: 73638
2655.93/2663.21 c #Conflicts: 1587000 | #Constraints: 74638
2655.93/2663.21 c #Conflicts: 1588000 | #Constraints: 75638
2655.93/2663.21 c #Conflicts: 1589000 | #Constraints: 76638
2655.93/2663.21 c #Conflicts: 1590000 | #Constraints: 77638
2655.93/2663.21 c #Conflicts: 1591000 | #Constraints: 78638
2655.93/2663.21 c INPROCESSING
2655.93/2663.21 c GARBAGE COLLECT
2655.93/2663.21 c rational objective 67.3333
2691.63/2699.01 c #Conflicts: 1592000 | #Constraints: 54636
2691.63/2699.01 c #Conflicts: 1593000 | #Constraints: 55636
2691.63/2699.01 c #Conflicts: 1594000 | #Constraints: 56636
2691.63/2699.01 c #Conflicts: 1595000 | #Constraints: 57636
2691.63/2699.01 c #Conflicts: 1596000 | #Constraints: 58636
2691.63/2699.01 c #Conflicts: 1597000 | #Constraints: 59636
2691.63/2699.01 c #Conflicts: 1598000 | #Constraints: 60636
2691.63/2699.01 c #Conflicts: 1599000 | #Constraints: 61636
2691.63/2699.01 c #Conflicts: 1600000 | #Constraints: 62636
2691.63/2699.01 c #Conflicts: 1601000 | #Constraints: 63636
2691.63/2699.01 c #Conflicts: 1602000 | #Constraints: 64636
2691.63/2699.01 c #Conflicts: 1603000 | #Constraints: 65636
2691.63/2699.01 c #Conflicts: 1604000 | #Constraints: 66636
2691.63/2699.01 c #Conflicts: 1605000 | #Constraints: 67636
2691.63/2699.01 c #Conflicts: 1606000 | #Constraints: 68636
2691.63/2699.01 c #Conflicts: 1607000 | #Constraints: 69636
2691.63/2699.01 c #Conflicts: 1608000 | #Constraints: 70636
2691.63/2699.01 c #Conflicts: 1609000 | #Constraints: 71636
2691.63/2699.01 c #Conflicts: 1610000 | #Constraints: 72636
2691.63/2699.01 c #Conflicts: 1611000 | #Constraints: 73636
2691.63/2699.01 c #Conflicts: 1612000 | #Constraints: 74636
2691.63/2699.01 c #Conflicts: 1613000 | #Constraints: 75636
2691.63/2699.01 c #Conflicts: 1614000 | #Constraints: 76636
2691.63/2699.01 c #Conflicts: 1615000 | #Constraints: 77636
2691.63/2699.01 c #Conflicts: 1616000 | #Constraints: 78636
2691.63/2699.01 c INPROCESSING
2691.63/2699.01 c GARBAGE COLLECT
2691.63/2699.01 c rational objective 67.3333
2743.67/2751.27 c #Conflicts: 1617000 | #Constraints: 54420
2743.67/2751.27 c #Conflicts: 1618000 | #Constraints: 55420
2743.67/2751.27 c #Conflicts: 1619000 | #Constraints: 56420
2743.67/2751.27 c #Conflicts: 1620000 | #Constraints: 57420
2743.67/2751.27 c #Conflicts: 1621000 | #Constraints: 58420
2743.67/2751.27 c #Conflicts: 1622000 | #Constraints: 59420
2743.67/2751.27 c #Conflicts: 1623000 | #Constraints: 60420
2743.67/2751.27 c #Conflicts: 1624000 | #Constraints: 61420
2743.67/2751.27 c #Conflicts: 1625000 | #Constraints: 62420
2743.67/2751.27 c #Conflicts: 1626000 | #Constraints: 63420
2743.67/2751.27 c #Conflicts: 1627000 | #Constraints: 64420
2743.67/2751.27 c #Conflicts: 1628000 | #Constraints: 65420
2743.67/2751.27 c #Conflicts: 1629000 | #Constraints: 66420
2743.67/2751.27 c #Conflicts: 1630000 | #Constraints: 67420
2743.67/2751.27 c #Conflicts: 1631000 | #Constraints: 68420
2743.67/2751.27 c #Conflicts: 1632000 | #Constraints: 69420
2743.67/2751.27 c #Conflicts: 1633000 | #Constraints: 70420
2743.67/2751.27 c #Conflicts: 1634000 | #Constraints: 71420
2743.67/2751.27 c #Conflicts: 1635000 | #Constraints: 72420
2743.67/2751.27 c #Conflicts: 1636000 | #Constraints: 73420
2743.67/2751.27 c #Conflicts: 1637000 | #Constraints: 74420
2743.67/2751.27 c #Conflicts: 1638000 | #Constraints: 75420
2743.67/2751.27 c #Conflicts: 1639000 | #Constraints: 76420
2743.67/2751.27 c #Conflicts: 1640000 | #Constraints: 77420
2743.67/2751.27 c #Conflicts: 1641000 | #Constraints: 78420
2743.67/2751.27 c #Conflicts: 1642000 | #Constraints: 79420
2743.67/2751.27 c INPROCESSING
2743.67/2751.27 c GARBAGE COLLECT
2743.67/2751.27 c rational objective 67.3333
2786.04/2793.79 c #Conflicts: 1643000 | #Constraints: 55014
2786.04/2793.79 c #Conflicts: 1644000 | #Constraints: 56014
2786.04/2793.79 c #Conflicts: 1645000 | #Constraints: 57014
2786.04/2793.79 c #Conflicts: 1646000 | #Constraints: 58014
2786.04/2793.79 c #Conflicts: 1647000 | #Constraints: 59014
2786.04/2793.79 c #Conflicts: 1648000 | #Constraints: 60014
2786.04/2793.79 c #Conflicts: 1649000 | #Constraints: 61014
2786.04/2793.79 c #Conflicts: 1650000 | #Constraints: 62014
2786.04/2793.79 c #Conflicts: 1651000 | #Constraints: 63014
2786.04/2793.79 c #Conflicts: 1652000 | #Constraints: 64014
2786.04/2793.79 c #Conflicts: 1653000 | #Constraints: 65014
2786.04/2793.79 c #Conflicts: 1654000 | #Constraints: 66014
2786.04/2793.79 c #Conflicts: 1655000 | #Constraints: 67014
2786.04/2793.79 c #Conflicts: 1656000 | #Constraints: 68014
2786.04/2793.79 c #Conflicts: 1657000 | #Constraints: 69014
2786.04/2793.79 c #Conflicts: 1658000 | #Constraints: 70014
2786.04/2793.79 c #Conflicts: 1659000 | #Constraints: 71014
2786.04/2793.79 c #Conflicts: 1660000 | #Constraints: 72014
2786.04/2793.79 c #Conflicts: 1661000 | #Constraints: 73014
2786.04/2793.79 c #Conflicts: 1662000 | #Constraints: 74014
2786.04/2793.79 c #Conflicts: 1663000 | #Constraints: 75014
2786.04/2793.79 c #Conflicts: 1664000 | #Constraints: 76014
2786.04/2793.79 c #Conflicts: 1665000 | #Constraints: 77014
2786.04/2793.79 c #Conflicts: 1666000 | #Constraints: 78014
2786.04/2793.79 c #Conflicts: 1667000 | #Constraints: 79014
2786.04/2793.79 c #Conflicts: 1668000 | #Constraints: 80014
2786.04/2793.79 c INPROCESSING
2786.04/2793.79 c GARBAGE COLLECT
2786.04/2793.79 c rational objective 67.3333
2822.63/2830.47 c #Conflicts: 1669000 | #Constraints: 55426
2822.63/2830.47 c #Conflicts: 1670000 | #Constraints: 56426
2822.63/2830.47 c #Conflicts: 1671000 | #Constraints: 57426
2822.63/2830.47 c #Conflicts: 1672000 | #Constraints: 58426
2822.63/2830.47 c #Conflicts: 1673000 | #Constraints: 59426
2822.63/2830.47 c #Conflicts: 1674000 | #Constraints: 60426
2822.63/2830.47 c #Conflicts: 1675000 | #Constraints: 61426
2822.63/2830.47 c #Conflicts: 1676000 | #Constraints: 62426
2822.63/2830.47 c #Conflicts: 1677000 | #Constraints: 63426
2822.63/2830.47 c #Conflicts: 1678000 | #Constraints: 64426
2822.63/2830.47 c #Conflicts: 1679000 | #Constraints: 65426
2822.63/2830.47 c #Conflicts: 1680000 | #Constraints: 66426
2822.63/2830.47 c #Conflicts: 1681000 | #Constraints: 67426
2822.63/2830.47 c #Conflicts: 1682000 | #Constraints: 68426
2822.63/2830.47 c #Conflicts: 1683000 | #Constraints: 69426
2822.63/2830.47 c #Conflicts: 1684000 | #Constraints: 70426
2822.63/2830.47 c #Conflicts: 1685000 | #Constraints: 71426
2822.63/2830.47 c #Conflicts: 1686000 | #Constraints: 72426
2822.63/2830.47 c #Conflicts: 1687000 | #Constraints: 73426
2822.63/2830.47 c #Conflicts: 1688000 | #Constraints: 74426
2822.63/2830.47 c #Conflicts: 1689000 | #Constraints: 75426
2822.63/2830.47 c #Conflicts: 1690000 | #Constraints: 76426
2822.63/2830.47 c #Conflicts: 1691000 | #Constraints: 77426
2822.63/2830.47 c #Conflicts: 1692000 | #Constraints: 78426
2822.63/2830.47 c #Conflicts: 1693000 | #Constraints: 79426
2822.63/2830.47 c #Conflicts: 1694000 | #Constraints: 80426
2822.63/2830.47 c INPROCESSING
2822.63/2830.47 c GARBAGE COLLECT
2822.63/2830.47 c rational objective 67.3333
2861.92/2869.85 c #Conflicts: 1695000 | #Constraints: 55633
2861.92/2869.85 c #Conflicts: 1696000 | #Constraints: 56633
2861.92/2869.85 c #Conflicts: 1697000 | #Constraints: 57633
2861.92/2869.85 c #Conflicts: 1698000 | #Constraints: 58633
2861.92/2869.85 c #Conflicts: 1699000 | #Constraints: 59633
2861.92/2869.85 c #Conflicts: 1700000 | #Constraints: 60633
2861.92/2869.85 c #Conflicts: 1701000 | #Constraints: 61633
2861.92/2869.85 c #Conflicts: 1702000 | #Constraints: 62633
2861.92/2869.85 c #Conflicts: 1703000 | #Constraints: 63633
2861.92/2869.85 c #Conflicts: 1704000 | #Constraints: 64633
2861.92/2869.85 c #Conflicts: 1705000 | #Constraints: 65633
2861.92/2869.85 c #Conflicts: 1706000 | #Constraints: 66633
2861.92/2869.85 c #Conflicts: 1707000 | #Constraints: 67633
2861.92/2869.85 c #Conflicts: 1708000 | #Constraints: 68633
2861.92/2869.85 c #Conflicts: 1709000 | #Constraints: 69633
2861.92/2869.85 c #Conflicts: 1710000 | #Constraints: 70633
2861.92/2869.85 c #Conflicts: 1711000 | #Constraints: 71633
2861.92/2869.85 c #Conflicts: 1712000 | #Constraints: 72633
2861.92/2869.85 c #Conflicts: 1713000 | #Constraints: 73633
2861.92/2869.85 c #Conflicts: 1714000 | #Constraints: 74633
2861.92/2869.85 c #Conflicts: 1715000 | #Constraints: 75633
2861.92/2869.85 c #Conflicts: 1716000 | #Constraints: 76633
2861.92/2869.85 c #Conflicts: 1717000 | #Constraints: 77633
2861.92/2869.85 c #Conflicts: 1718000 | #Constraints: 78633
2861.92/2869.85 c #Conflicts: 1719000 | #Constraints: 79633
2861.92/2869.85 c #Conflicts: 1720000 | #Constraints: 80633
2861.92/2869.85 c INPROCESSING
2861.92/2869.85 c GARBAGE COLLECT
2861.92/2869.85 c rational objective 67.3333
2899.31/2907.34 c #Conflicts: 1721000 | #Constraints: 55637
2899.31/2907.34 c #Conflicts: 1722000 | #Constraints: 56637
2899.31/2907.34 c #Conflicts: 1723000 | #Constraints: 57637
2899.31/2907.34 c #Conflicts: 1724000 | #Constraints: 58637
2899.31/2907.34 c #Conflicts: 1725000 | #Constraints: 59637
2899.31/2907.34 c #Conflicts: 1726000 | #Constraints: 60637
2899.31/2907.34 c #Conflicts: 1727000 | #Constraints: 61637
2899.31/2907.34 c #Conflicts: 1728000 | #Constraints: 62637
2899.31/2907.34 c #Conflicts: 1729000 | #Constraints: 63637
2899.31/2907.34 c #Conflicts: 1730000 | #Constraints: 64637
2899.31/2907.34 c #Conflicts: 1731000 | #Constraints: 65637
2899.31/2907.34 c #Conflicts: 1732000 | #Constraints: 66637
2899.31/2907.34 c #Conflicts: 1733000 | #Constraints: 67637
2899.31/2907.34 c #Conflicts: 1734000 | #Constraints: 68637
2899.31/2907.34 c #Conflicts: 1735000 | #Constraints: 69637
2899.31/2907.34 c #Conflicts: 1736000 | #Constraints: 70637
2899.31/2907.34 c #Conflicts: 1737000 | #Constraints: 71637
2899.31/2907.34 c #Conflicts: 1738000 | #Constraints: 72637
2899.31/2907.34 c #Conflicts: 1739000 | #Constraints: 73637
2899.31/2907.34 c #Conflicts: 1740000 | #Constraints: 74637
2899.31/2907.34 c #Conflicts: 1741000 | #Constraints: 75637
2899.31/2907.34 c #Conflicts: 1742000 | #Constraints: 76637
2899.31/2907.34 c #Conflicts: 1743000 | #Constraints: 77637
2899.31/2907.34 c #Conflicts: 1744000 | #Constraints: 78637
2899.31/2907.34 c #Conflicts: 1745000 | #Constraints: 79637
2899.31/2907.34 c #Conflicts: 1746000 | #Constraints: 80637
2899.31/2907.34 c INPROCESSING
2899.31/2907.34 c GARBAGE COLLECT
2899.31/2907.34 c rational objective 67.3333
2932.51/2940.60 c #Conflicts: 1747000 | #Constraints: 55425
2932.51/2940.60 c #Conflicts: 1748000 | #Constraints: 56425
2932.51/2940.60 c #Conflicts: 1749000 | #Constraints: 57425
2932.51/2940.60 c #Conflicts: 1750000 | #Constraints: 58425
2932.51/2940.60 c #Conflicts: 1751000 | #Constraints: 59425
2932.51/2940.60 c #Conflicts: 1752000 | #Constraints: 60425
2932.51/2940.60 c #Conflicts: 1753000 | #Constraints: 61425
2932.51/2940.60 c #Conflicts: 1754000 | #Constraints: 62425
2932.51/2940.60 c #Conflicts: 1755000 | #Constraints: 63425
2932.51/2940.60 c #Conflicts: 1756000 | #Constraints: 64425
2932.51/2940.60 c #Conflicts: 1757000 | #Constraints: 65425
2932.51/2940.60 c #Conflicts: 1758000 | #Constraints: 66425
2932.51/2940.60 c #Conflicts: 1759000 | #Constraints: 67425
2932.51/2940.60 c #Conflicts: 1760000 | #Constraints: 68425
2932.51/2940.60 c #Conflicts: 1761000 | #Constraints: 69425
2932.51/2940.60 c #Conflicts: 1762000 | #Constraints: 70425
2932.51/2940.60 c #Conflicts: 1763000 | #Constraints: 71425
2932.51/2940.60 c #Conflicts: 1764000 | #Constraints: 72425
2932.51/2940.60 c #Conflicts: 1765000 | #Constraints: 73425
2932.51/2940.60 c #Conflicts: 1766000 | #Constraints: 74425
2932.51/2940.60 c #Conflicts: 1767000 | #Constraints: 75425
2932.51/2940.60 c #Conflicts: 1768000 | #Constraints: 76425
2932.51/2940.60 c #Conflicts: 1769000 | #Constraints: 77425
2932.51/2940.60 c #Conflicts: 1770000 | #Constraints: 78425
2932.51/2940.60 c #Conflicts: 1771000 | #Constraints: 79425
2932.51/2940.60 c #Conflicts: 1772000 | #Constraints: 80425
2932.51/2940.60 c #Conflicts: 1773000 | #Constraints: 81425
2932.51/2940.60 c INPROCESSING
2932.51/2940.60 c GARBAGE COLLECT
2932.51/2940.60 c rational objective 67.3333
2980.97/2989.25 c #Conflicts: 1774000 | #Constraints: 56020
2980.97/2989.25 c #Conflicts: 1775000 | #Constraints: 57020
2980.97/2989.25 c #Conflicts: 1776000 | #Constraints: 58020
2980.97/2989.25 c #Conflicts: 1777000 | #Constraints: 59020
2980.97/2989.25 c #Conflicts: 1778000 | #Constraints: 60020
2980.97/2989.25 c #Conflicts: 1779000 | #Constraints: 61020
2980.97/2989.25 c #Conflicts: 1780000 | #Constraints: 62020
2980.97/2989.25 c #Conflicts: 1781000 | #Constraints: 63020
2980.97/2989.25 c #Conflicts: 1782000 | #Constraints: 64020
2980.97/2989.25 c #Conflicts: 1783000 | #Constraints: 65020
2980.97/2989.25 c #Conflicts: 1784000 | #Constraints: 66020
2980.97/2989.25 c #Conflicts: 1785000 | #Constraints: 67020
2980.97/2989.25 c #Conflicts: 1786000 | #Constraints: 68020
2980.97/2989.25 c #Conflicts: 1787000 | #Constraints: 69020
2980.97/2989.25 c #Conflicts: 1788000 | #Constraints: 70020
2980.97/2989.25 c #Conflicts: 1789000 | #Constraints: 71020
2980.97/2989.25 c #Conflicts: 1790000 | #Constraints: 72020
2980.97/2989.25 c #Conflicts: 1791000 | #Constraints: 73020
2980.97/2989.25 c #Conflicts: 1792000 | #Constraints: 74020
2980.97/2989.25 c #Conflicts: 1793000 | #Constraints: 75020
2980.97/2989.25 c #Conflicts: 1794000 | #Constraints: 76020
2980.97/2989.25 c #Conflicts: 1795000 | #Constraints: 77020
2980.97/2989.25 c #Conflicts: 1796000 | #Constraints: 78020
2980.97/2989.25 c #Conflicts: 1797000 | #Constraints: 79020
2980.97/2989.25 c #Conflicts: 1798000 | #Constraints: 80020
2980.97/2989.25 c #Conflicts: 1799000 | #Constraints: 81020
2980.97/2989.25 c #Conflicts: 1800000 | #Constraints: 82020
2980.97/2989.25 c INPROCESSING
2980.97/2989.25 c GARBAGE COLLECT
2980.97/2989.25 c rational objective 67.3333
3019.16/3027.54 c #Conflicts: 1801000 | #Constraints: 56428
3019.16/3027.54 c #Conflicts: 1802000 | #Constraints: 57428
3019.16/3027.54 c #Conflicts: 1803000 | #Constraints: 58428
3019.16/3027.54 c #Conflicts: 1804000 | #Constraints: 59428
3019.16/3027.54 c #Conflicts: 1805000 | #Constraints: 60428
3019.16/3027.54 c #Conflicts: 1806000 | #Constraints: 61428
3019.16/3027.54 c #Conflicts: 1807000 | #Constraints: 62428
3019.16/3027.54 c #Conflicts: 1808000 | #Constraints: 63428
3019.16/3027.54 c #Conflicts: 1809000 | #Constraints: 64428
3019.16/3027.54 c #Conflicts: 1810000 | #Constraints: 65428
3019.16/3027.54 c #Conflicts: 1811000 | #Constraints: 66428
3019.16/3027.54 c #Conflicts: 1812000 | #Constraints: 67428
3019.16/3027.54 c #Conflicts: 1813000 | #Constraints: 68428
3019.16/3027.54 c #Conflicts: 1814000 | #Constraints: 69428
3019.16/3027.54 c #Conflicts: 1815000 | #Constraints: 70428
3019.16/3027.54 c #Conflicts: 1816000 | #Constraints: 71428
3019.16/3027.54 c #Conflicts: 1817000 | #Constraints: 72428
3019.16/3027.54 c #Conflicts: 1818000 | #Constraints: 73428
3019.16/3027.54 c #Conflicts: 1819000 | #Constraints: 74428
3019.16/3027.54 c #Conflicts: 1820000 | #Constraints: 75428
3019.16/3027.54 c #Conflicts: 1821000 | #Constraints: 76428
3019.16/3027.54 c #Conflicts: 1822000 | #Constraints: 77428
3019.16/3027.54 c #Conflicts: 1823000 | #Constraints: 78428
3019.16/3027.54 c #Conflicts: 1824000 | #Constraints: 79428
3019.16/3027.54 c #Conflicts: 1825000 | #Constraints: 80428
3019.16/3027.54 c #Conflicts: 1826000 | #Constraints: 81428
3019.16/3027.54 c #Conflicts: 1827000 | #Constraints: 82428
3019.16/3027.54 c INPROCESSING
3019.16/3027.54 c GARBAGE COLLECT
3019.16/3027.54 c rational objective 67.3333
3067.61/3076.15 c #Conflicts: 1828000 | #Constraints: 56624
3067.61/3076.15 c #Conflicts: 1829000 | #Constraints: 57624
3067.61/3076.15 c #Conflicts: 1830000 | #Constraints: 58624
3067.61/3076.15 c #Conflicts: 1831000 | #Constraints: 59624
3067.61/3076.15 c #Conflicts: 1832000 | #Constraints: 60624
3067.61/3076.15 c #Conflicts: 1833000 | #Constraints: 61624
3067.61/3076.15 c #Conflicts: 1834000 | #Constraints: 62624
3067.61/3076.15 c #Conflicts: 1835000 | #Constraints: 63624
3067.61/3076.15 c #Conflicts: 1836000 | #Constraints: 64624
3067.61/3076.15 c #Conflicts: 1837000 | #Constraints: 65624
3067.61/3076.15 c #Conflicts: 1838000 | #Constraints: 66624
3067.61/3076.15 c #Conflicts: 1839000 | #Constraints: 67624
3067.61/3076.15 c #Conflicts: 1840000 | #Constraints: 68624
3067.61/3076.15 c #Conflicts: 1841000 | #Constraints: 69624
3067.61/3076.15 c #Conflicts: 1842000 | #Constraints: 70624
3067.61/3076.15 c #Conflicts: 1843000 | #Constraints: 71624
3067.61/3076.15 c #Conflicts: 1844000 | #Constraints: 72624
3067.61/3076.15 c #Conflicts: 1845000 | #Constraints: 73624
3067.61/3076.15 c #Conflicts: 1846000 | #Constraints: 74624
3067.61/3076.15 c #Conflicts: 1847000 | #Constraints: 75624
3067.61/3076.15 c #Conflicts: 1848000 | #Constraints: 76624
3067.61/3076.15 c #Conflicts: 1849000 | #Constraints: 77624
3067.61/3076.15 c #Conflicts: 1850000 | #Constraints: 78624
3067.61/3076.15 c #Conflicts: 1851000 | #Constraints: 79624
3067.61/3076.15 c #Conflicts: 1852000 | #Constraints: 80624
3067.61/3076.15 c #Conflicts: 1853000 | #Constraints: 81624
3067.61/3076.15 c #Conflicts: 1854000 | #Constraints: 82624
3067.61/3076.15 c INPROCESSING
3067.61/3076.15 c GARBAGE COLLECT
3067.61/3076.15 c rational objective 67.3333
3111.18/3119.87 c #Conflicts: 1855000 | #Constraints: 56626
3111.18/3119.87 c #Conflicts: 1856000 | #Constraints: 57626
3111.18/3119.87 c #Conflicts: 1857000 | #Constraints: 58626
3111.18/3119.87 c #Conflicts: 1858000 | #Constraints: 59626
3111.18/3119.87 c #Conflicts: 1859000 | #Constraints: 60626
3111.18/3119.87 c #Conflicts: 1860000 | #Constraints: 61626
3111.18/3119.87 c #Conflicts: 1861000 | #Constraints: 62626
3111.18/3119.87 c #Conflicts: 1862000 | #Constraints: 63626
3111.18/3119.87 c #Conflicts: 1863000 | #Constraints: 64626
3111.18/3119.87 c #Conflicts: 1864000 | #Constraints: 65626
3111.18/3119.87 c #Conflicts: 1865000 | #Constraints: 66626
3111.18/3119.87 c #Conflicts: 1866000 | #Constraints: 67626
3111.18/3119.87 c #Conflicts: 1867000 | #Constraints: 68626
3111.18/3119.87 c #Conflicts: 1868000 | #Constraints: 69626
3111.18/3119.87 c #Conflicts: 1869000 | #Constraints: 70626
3111.18/3119.87 c #Conflicts: 1870000 | #Constraints: 71626
3111.18/3119.87 c #Conflicts: 1871000 | #Constraints: 72626
3111.18/3119.87 c #Conflicts: 1872000 | #Constraints: 73626
3111.18/3119.87 c #Conflicts: 1873000 | #Constraints: 74626
3111.18/3119.87 c #Conflicts: 1874000 | #Constraints: 75626
3111.18/3119.87 c #Conflicts: 1875000 | #Constraints: 76626
3111.18/3119.87 c #Conflicts: 1876000 | #Constraints: 77626
3111.18/3119.87 c #Conflicts: 1877000 | #Constraints: 78626
3111.18/3119.87 c #Conflicts: 1878000 | #Constraints: 79626
3111.18/3119.87 c #Conflicts: 1879000 | #Constraints: 80626
3111.18/3119.87 c #Conflicts: 1880000 | #Constraints: 81626
3111.18/3119.87 c #Conflicts: 1881000 | #Constraints: 82626
3111.18/3119.87 c INPROCESSING
3111.18/3119.87 c GARBAGE COLLECT
3111.18/3119.87 c rational objective 67.3333
3140.00/3148.75 c #Conflicts: 1882000 | #Constraints: 56430
3140.00/3148.75 c #Conflicts: 1883000 | #Constraints: 57430
3140.00/3148.75 c #Conflicts: 1884000 | #Constraints: 58430
3140.00/3148.75 c #Conflicts: 1885000 | #Constraints: 59430
3140.00/3148.75 c #Conflicts: 1886000 | #Constraints: 60430
3140.00/3148.75 c #Conflicts: 1887000 | #Constraints: 61430
3140.00/3148.75 c #Conflicts: 1888000 | #Constraints: 62430
3140.00/3148.75 c #Conflicts: 1889000 | #Constraints: 63430
3140.00/3148.75 c #Conflicts: 1890000 | #Constraints: 64430
3140.00/3148.75 c #Conflicts: 1891000 | #Constraints: 65430
3140.00/3148.75 c #Conflicts: 1892000 | #Constraints: 66430
3140.00/3148.75 c #Conflicts: 1893000 | #Constraints: 67430
3140.00/3148.75 c #Conflicts: 1894000 | #Constraints: 68430
3140.00/3148.75 c #Conflicts: 1895000 | #Constraints: 69430
3140.00/3148.75 c #Conflicts: 1896000 | #Constraints: 70430
3140.00/3148.75 c #Conflicts: 1897000 | #Constraints: 71430
3140.00/3148.75 c #Conflicts: 1898000 | #Constraints: 72430
3140.00/3148.75 c #Conflicts: 1899000 | #Constraints: 73430
3140.00/3148.75 c #Conflicts: 1900000 | #Constraints: 74430
3140.00/3148.75 c #Conflicts: 1901000 | #Constraints: 75430
3140.00/3148.75 c #Conflicts: 1902000 | #Constraints: 76430
3140.00/3148.75 c #Conflicts: 1903000 | #Constraints: 77430
3140.00/3148.75 c #Conflicts: 1904000 | #Constraints: 78430
3140.00/3148.75 c #Conflicts: 1905000 | #Constraints: 79430
3140.00/3148.75 c #Conflicts: 1906000 | #Constraints: 80430
3140.00/3148.75 c #Conflicts: 1907000 | #Constraints: 81430
3140.00/3148.75 c #Conflicts: 1908000 | #Constraints: 82430
3140.00/3148.75 c #Conflicts: 1909000 | #Constraints: 83430
3140.00/3148.75 c INPROCESSING
3140.00/3148.75 c GARBAGE COLLECT
3140.00/3148.75 c rational objective 67.3333
3171.80/3180.61 c #Conflicts: 1910000 | #Constraints: 57030
3171.80/3180.61 c #Conflicts: 1911000 | #Constraints: 58030
3171.80/3180.61 c #Conflicts: 1912000 | #Constraints: 59030
3171.80/3180.61 c #Conflicts: 1913000 | #Constraints: 60030
3171.80/3180.61 c #Conflicts: 1914000 | #Constraints: 61030
3171.80/3180.61 c #Conflicts: 1915000 | #Constraints: 62030
3171.80/3180.61 c #Conflicts: 1916000 | #Constraints: 63030
3171.80/3180.61 c #Conflicts: 1917000 | #Constraints: 64030
3171.80/3180.61 c #Conflicts: 1918000 | #Constraints: 65030
3171.80/3180.61 c #Conflicts: 1919000 | #Constraints: 66030
3171.80/3180.61 c #Conflicts: 1920000 | #Constraints: 67030
3171.80/3180.61 c #Conflicts: 1921000 | #Constraints: 68030
3171.80/3180.61 c #Conflicts: 1922000 | #Constraints: 69030
3171.80/3180.61 c #Conflicts: 1923000 | #Constraints: 70030
3171.80/3180.61 c #Conflicts: 1924000 | #Constraints: 71030
3171.80/3180.61 c #Conflicts: 1925000 | #Constraints: 72030
3171.80/3180.61 c #Conflicts: 1926000 | #Constraints: 73030
3171.80/3180.61 c #Conflicts: 1927000 | #Constraints: 74030
3171.80/3180.61 c #Conflicts: 1928000 | #Constraints: 75030
3171.80/3180.61 c #Conflicts: 1929000 | #Constraints: 76030
3171.80/3180.61 c #Conflicts: 1930000 | #Constraints: 77030
3171.80/3180.61 c #Conflicts: 1931000 | #Constraints: 78030
3171.80/3180.61 c #Conflicts: 1932000 | #Constraints: 79030
3171.80/3180.61 c #Conflicts: 1933000 | #Constraints: 80030
3171.80/3180.61 c #Conflicts: 1934000 | #Constraints: 81030
3171.80/3180.61 c #Conflicts: 1935000 | #Constraints: 82030
3171.80/3180.61 c #Conflicts: 1936000 | #Constraints: 83030
3171.80/3180.61 c #Conflicts: 1937000 | #Constraints: 84030
3171.80/3180.61 c INPROCESSING
3171.80/3180.61 c GARBAGE COLLECT
3171.80/3180.61 c rational objective 67.3333
3225.44/3234.42 c #Conflicts: 1938000 | #Constraints: 57423
3225.44/3234.42 c #Conflicts: 1939000 | #Constraints: 58423
3225.44/3234.42 c #Conflicts: 1940000 | #Constraints: 59423
3225.44/3234.42 c #Conflicts: 1941000 | #Constraints: 60423
3225.44/3234.42 c #Conflicts: 1942000 | #Constraints: 61423
3225.44/3234.42 c #Conflicts: 1943000 | #Constraints: 62423
3225.44/3234.42 c #Conflicts: 1944000 | #Constraints: 63423
3225.44/3234.42 c #Conflicts: 1945000 | #Constraints: 64423
3225.44/3234.42 c #Conflicts: 1946000 | #Constraints: 65423
3225.44/3234.42 c #Conflicts: 1947000 | #Constraints: 66423
3225.44/3234.42 c #Conflicts: 1948000 | #Constraints: 67423
3225.44/3234.42 c #Conflicts: 1949000 | #Constraints: 68423
3225.44/3234.42 c #Conflicts: 1950000 | #Constraints: 69423
3225.44/3234.42 c #Conflicts: 1951000 | #Constraints: 70423
3225.44/3234.42 c #Conflicts: 1952000 | #Constraints: 71423
3225.44/3234.42 c #Conflicts: 1953000 | #Constraints: 72423
3225.44/3234.42 c #Conflicts: 1954000 | #Constraints: 73423
3225.44/3234.42 c #Conflicts: 1955000 | #Constraints: 74423
3225.44/3234.42 c #Conflicts: 1956000 | #Constraints: 75423
3225.44/3234.42 c #Conflicts: 1957000 | #Constraints: 76423
3225.44/3234.42 c #Conflicts: 1958000 | #Constraints: 77423
3225.44/3234.42 c #Conflicts: 1959000 | #Constraints: 78423
3225.44/3234.42 c #Conflicts: 1960000 | #Constraints: 79423
3225.44/3234.42 c #Conflicts: 1961000 | #Constraints: 80423
3225.44/3234.42 c #Conflicts: 1962000 | #Constraints: 81423
3225.44/3234.42 c #Conflicts: 1963000 | #Constraints: 82423
3225.44/3234.42 c #Conflicts: 1964000 | #Constraints: 83423
3225.44/3234.42 c #Conflicts: 1965000 | #Constraints: 84423
3225.44/3234.42 c INPROCESSING
3225.44/3234.42 c GARBAGE COLLECT
3225.44/3234.42 c rational objective 67.3333
3319.87/3329.17 c #Conflicts: 1966000 | #Constraints: 57623
3319.87/3329.17 c #Conflicts: 1967000 | #Constraints: 58623
3319.87/3329.17 c #Conflicts: 1968000 | #Constraints: 59623
3319.87/3329.17 c #Conflicts: 1969000 | #Constraints: 60623
3319.87/3329.17 c #Conflicts: 1970000 | #Constraints: 61623
3319.87/3329.17 c #Conflicts: 1971000 | #Constraints: 62623
3319.87/3329.17 c #Conflicts: 1972000 | #Constraints: 63623
3319.87/3329.17 c #Conflicts: 1973000 | #Constraints: 64623
3319.87/3329.17 c #Conflicts: 1974000 | #Constraints: 65623
3319.87/3329.17 c #Conflicts: 1975000 | #Constraints: 66623
3319.87/3329.17 c #Conflicts: 1976000 | #Constraints: 67623
3319.87/3329.17 c #Conflicts: 1977000 | #Constraints: 68623
3319.87/3329.17 c #Conflicts: 1978000 | #Constraints: 69623
3319.87/3329.17 c #Conflicts: 1979000 | #Constraints: 70623
3319.87/3329.17 c #Conflicts: 1980000 | #Constraints: 71623
3319.87/3329.17 c #Conflicts: 1981000 | #Constraints: 72623
3319.87/3329.17 c #Conflicts: 1982000 | #Constraints: 73623
3319.87/3329.17 c #Conflicts: 1983000 | #Constraints: 74623
3319.87/3329.17 c #Conflicts: 1984000 | #Constraints: 75623
3319.87/3329.17 c #Conflicts: 1985000 | #Constraints: 76623
3319.87/3329.17 c #Conflicts: 1986000 | #Constraints: 77623
3319.87/3329.17 c #Conflicts: 1987000 | #Constraints: 78623
3319.87/3329.17 c #Conflicts: 1988000 | #Constraints: 79623
3319.87/3329.17 c #Conflicts: 1989000 | #Constraints: 80623
3319.87/3329.17 c #Conflicts: 1990000 | #Constraints: 81623
3319.87/3329.17 c #Conflicts: 1991000 | #Constraints: 82623
3319.87/3329.17 c #Conflicts: 1992000 | #Constraints: 83623
3319.87/3329.17 c #Conflicts: 1993000 | #Constraints: 84623
3319.87/3329.17 c INPROCESSING
3319.87/3329.17 c GARBAGE COLLECT
3319.87/3329.17 c rational objective 67.3333
3445.69/3455.32 c #Conflicts: 1994000 | #Constraints: 57623
3445.69/3455.32 c #Conflicts: 1995000 | #Constraints: 58623
3445.69/3455.32 c #Conflicts: 1996000 | #Constraints: 59623
3445.69/3455.32 c #Conflicts: 1997000 | #Constraints: 60623
3445.69/3455.32 c #Conflicts: 1998000 | #Constraints: 61623
3445.69/3455.32 c #Conflicts: 1999000 | #Constraints: 62623
3445.69/3455.32 c #Conflicts: 2000000 | #Constraints: 63623
3445.69/3455.32 c #Conflicts: 2001000 | #Constraints: 64623
3445.69/3455.32 c #Conflicts: 2002000 | #Constraints: 65623
3445.69/3455.32 c #Conflicts: 2003000 | #Constraints: 66623
3445.69/3455.32 c #Conflicts: 2004000 | #Constraints: 67623
3445.69/3455.32 c #Conflicts: 2005000 | #Constraints: 68623
3445.69/3455.32 c #Conflicts: 2006000 | #Constraints: 69623
3445.69/3455.32 c #Conflicts: 2007000 | #Constraints: 70623
3445.69/3455.32 c #Conflicts: 2008000 | #Constraints: 71623
3445.69/3455.32 c #Conflicts: 2009000 | #Constraints: 72623
3445.69/3455.32 c #Conflicts: 2010000 | #Constraints: 73623
3445.69/3455.32 c #Conflicts: 2011000 | #Constraints: 74623
3445.69/3455.32 c #Conflicts: 2012000 | #Constraints: 75623
3445.69/3455.32 c #Conflicts: 2013000 | #Constraints: 76623
3445.69/3455.32 c #Conflicts: 2014000 | #Constraints: 77623
3445.69/3455.32 c #Conflicts: 2015000 | #Constraints: 78623
3445.69/3455.32 c #Conflicts: 2016000 | #Constraints: 79623
3445.69/3455.32 c #Conflicts: 2017000 | #Constraints: 80623
3445.69/3455.32 c #Conflicts: 2018000 | #Constraints: 81623
3445.69/3455.32 c #Conflicts: 2019000 | #Constraints: 82623
3445.69/3455.32 c #Conflicts: 2020000 | #Constraints: 83623
3445.69/3455.32 c #Conflicts: 2021000 | #Constraints: 84623
3445.69/3455.32 c INPROCESSING
3445.69/3455.32 c GARBAGE COLLECT
3445.69/3455.32 c rational objective 67.3333
3582.62/3592.62 c #Conflicts: 2022000 | #Constraints: 57423
3582.62/3592.62 c #Conflicts: 2023000 | #Constraints: 58423
3582.62/3592.62 c #Conflicts: 2024000 | #Constraints: 59423
3582.62/3592.62 c #Conflicts: 2025000 | #Constraints: 60423
3582.62/3592.62 c #Conflicts: 2026000 | #Constraints: 61423
3582.62/3592.62 c #Conflicts: 2027000 | #Constraints: 62423
3582.62/3592.62 c #Conflicts: 2028000 | #Constraints: 63423
3582.62/3592.62 c #Conflicts: 2029000 | #Constraints: 64423
3582.62/3592.62 c #Conflicts: 2030000 | #Constraints: 65423
3582.62/3592.62 c #Conflicts: 2031000 | #Constraints: 66423
3582.62/3592.62 c #Conflicts: 2032000 | #Constraints: 67423
3582.62/3592.62 c #Conflicts: 2033000 | #Constraints: 68423
3582.62/3592.62 c #Conflicts: 2034000 | #Constraints: 69423
3582.62/3592.62 c #Conflicts: 2035000 | #Constraints: 70423
3582.62/3592.62 c #Conflicts: 2036000 | #Constraints: 71423
3582.62/3592.62 c #Conflicts: 2037000 | #Constraints: 72423
3582.62/3592.62 c #Conflicts: 2038000 | #Constraints: 73423
3582.62/3592.62 c #Conflicts: 2039000 | #Constraints: 74423
3582.62/3592.62 c #Conflicts: 2040000 | #Constraints: 75423
3582.62/3592.62 c #Conflicts: 2041000 | #Constraints: 76423
3582.62/3592.62 c #Conflicts: 2042000 | #Constraints: 77423
3582.62/3592.62 c #Conflicts: 2043000 | #Constraints: 78423
3582.62/3592.62 c #Conflicts: 2044000 | #Constraints: 79423
3582.62/3592.62 c #Conflicts: 2045000 | #Constraints: 80423
3582.62/3592.62 c #Conflicts: 2046000 | #Constraints: 81423
3582.62/3592.62 c #Conflicts: 2047000 | #Constraints: 82423
3582.62/3592.62 c #Conflicts: 2048000 | #Constraints: 83423
3582.62/3592.62 c #Conflicts: 2049000 | #Constraints: 84423
3582.62/3592.62 c #Conflicts: 2050000 | #Constraints: 85423
3582.62/3592.62 c INPROCESSING
3582.62/3592.62 c GARBAGE COLLECT
3582.62/3592.62 c rational objective 67.3333
3600.08/3610.11 c #Conflicts: 2051000 | #Constraints: 58023
3600.08/3610.11 c #Conflicts: 2052000 | #Constraints: 59023
3600.08/3610.11 c #Conflicts: 2053000 | #Constraints: 60023
3600.08/3610.11 c #Conflicts: 2054000 | #Constraints: 61023
3600.08/3610.11 c #Conflicts: 2055000 | #Constraints: 62023
3600.08/3610.11 c #Conflicts: 2056000 | #Constraints: 63023
3600.08/3610.11 c #Conflicts: 2057000 | #Constraints: 64023
3600.08/3610.11 c #Conflicts: 2058000 | #Constraints: 65023
3600.08/3610.11 c #Conflicts: 2059000 | #Constraints: 66023
3600.08/3610.11 c #Conflicts: 2060000 | #Constraints: 67023
3600.08/3610.11 c #Conflicts: 2061000 | #Constraints: 68023
3600.08/3610.11 c #Conflicts: 2062000 | #Constraints: 69023
3600.08/3610.11 c #Conflicts: 2063000 | #Constraints: 70023
3600.08/3610.11 c #Conflicts: 2064000 | #Constraints: 71023
3600.08/3610.11 c #Conflicts: 2065000 | #Constraints: 72023
3600.08/3610.11 c Disabling crashed LP
3600.08/3610.11 c cpu time 3578.33 s
3600.08/3610.11 c deterministic time 24471800843 2.45e+10
3600.08/3610.11 c optimization time 17.1442 s
3600.08/3610.11 c total solve time 3561.1 s
3600.08/3610.11 c core-guided solve time 0 s
3600.08/3610.11 c propagation time 1898.57 s
3600.08/3610.11 c conflict analysis time 54.0647 s
3600.08/3610.11 c propagations 96712748
3600.08/3610.11 c resolve steps 21084007
3600.08/3610.11 c decisions 2599483
3600.08/3610.11 c conflicts 2065385
3600.08/3610.11 c restarts 4090
3600.08/3610.11 c inprocessing phases 134
3600.08/3610.11 c garbage collections 133 ,( 99.25 )
3600.08/3610.11 c input clauses 27507 ,( 95.95 )
3600.08/3610.11 c input cardinalities 294 ,( 1.03 )
3600.08/3610.11 c input general constraints 868 ,( 3.03 )
3600.08/3610.11 c input average constraint length 3.52
3600.08/3610.11 c input average constraint degree 1.55
3600.08/3610.11 c learned clauses 1692756 ,( 81.76 )
3600.08/3610.11 c learned cardinalities 43175 ,( 2.09 )
3600.08/3610.11 c learned general constraints 334519 ,( 16.16 )
3600.08/3610.11 c learned average constraint length 37.96
3600.08/3610.11 c learned average constraint degree 309970.86
3600.08/3610.11 c watched CF 32, 64, 128, Arb: 328095 , 0 , 0 , 0
3600.08/3610.11 c counting CF 32, 64, 128, Arb: 7293 , 0 , 0 , 0
3600.08/3610.11 c watched constraints 328095 ,( 97.83 )
3600.08/3610.11 c counting constraints 7292 ,( 2.17 )
3600.08/3610.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1122399406 , 2581861500 , 167638720 ,( 154770437 , 12868283 )
3600.08/3610.11 c gcd simplifications 18953
3600.08/3610.11 c detected cardinalities 1418
3600.08/3610.11 c weakened non-implied lits 18892584
3600.08/3610.11 c weakened non-implying lits 10088
3600.08/3610.11 c original variables 9324
3600.08/3610.11 c clausal propagations 77192555
3600.08/3610.11 c cardinality propagations 13726990
3600.08/3610.11 c watched propagations 1791531
3600.08/3610.11 c counting propagations 1666478
3600.08/3610.11 c watch lookups 9101242856
3600.08/3610.11 c watch backjump lookups 0
3600.08/3610.11 c watch checks 12720076995
3600.08/3610.11 c propagation checks 2152890689
3600.08/3610.11 c constraint additions 292918322
3600.08/3610.11 c trail pops 101376444
3600.08/3610.11 c formula constraints 28660
3600.08/3610.11 c learned constraints 2065371
3600.08/3610.11 c bound constraints 0
3600.08/3610.11 c core-guided constraints 0
3600.08/3610.11 c encountered formula constraints 11982926
3600.08/3610.11 c encountered learned constraints 9775451
3600.08/3610.11 c encountered bound constraints 0
3600.08/3610.11 c encountered core-guided constraints 0
3600.08/3610.11 c LP total time 3251.6 s
3600.08/3610.11 c LP solve time 3234.48 s
3600.08/3610.11 c LP constraints added 51199
3600.08/3610.11 c LP constraints removed 22166
3600.08/3610.11 c LP pivots internal 2065384
3600.08/3610.11 c LP pivots root 1917921
3600.08/3610.11 c LP calls 219
3600.08/3610.11 c LP optimalities 197
3600.08/3610.11 c LP no pivot count 0
3600.08/3610.11 c LP infeasibilities 15
3600.08/3610.11 c LP valid Farkas constraints 15
3600.08/3610.11 c LP learned Farkas constraints 15
3600.08/3610.11 c LP basis resets 0
3600.08/3610.11 c LP cycling count 0
3600.08/3610.11 c LP singular count 0
3600.08/3610.11 c LP no primal count 0
3600.08/3610.11 c LP no farkas count 0
3600.08/3610.11 c LP other issue count 0
3600.08/3610.11 c LP Gomory cuts 5049
3600.08/3610.11 c LP learned cuts 17490
3600.08/3610.11 c LP deleted cuts 22166
3600.08/3610.11 c LP encountered Gomory constraints 1389061
3600.08/3610.11 c LP encountered Farkas constraints 1889
3600.08/3610.11 c LP encountered learned Farkas constraints 50
3600.08/3610.11 c CG auxiliary variables introduced 10
3600.08/3610.11 c CG solutions found 0
3600.08/3610.11 c CG cores constructed 9
3600.08/3610.11 c CG core cardinality constraints returned 0
3600.08/3610.11 c CG unit cores 0
3600.08/3610.11 c CG single cores 0
3600.08/3610.11 c CG blocks removed during cardinality reduction 0
3600.08/3610.11 c CG first core best 0
3600.08/3610.11 c CG decision core best 0
3600.08/3610.11 c CG core reduction tie 0
3600.08/3610.11 c CG core degree average 0.00
3600.08/3610.11 c CG core slack average 0.00
3600.08/3610.11 c CG core upper bound improvements 0
3600.08/3610.11 c STR number of successful calls 0
3600.08/3610.11 c STR number of unsuccessful calls 0
3600.08/3610.11 c STR number of inconclusive calls 0
3600.08/3610.11 c STR number of successful attempts 0
3600.08/3610.11 c STR number of unsuccessful attempts 0
3600.08/3610.11 c STR number of inconclusive attempts 0
3600.08/3610.11 c STR average degree increase per successful call inf
3600.08/3610.11 c STR average degree increase per successful attempt inf
3600.08/3610.11 c STR total number of conflicts for successful attempts 0
3600.08/3610.11 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.11 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.11 c STR average number of conflicts per successful attempt inf
3600.08/3610.11 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.11 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.11 c AVG.sumWPerc 19.75
3600.08/3610.11 c bigint constraints 0
3600.08/3610.11 s UNKNOWN
3600.08/3610.11 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: 63708 MiB (62323 MiB free)
memory of node 1: 64465 MiB (63932 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507952-1751510521/watcher-4507952-1751510521 -o /tmp/evaluation-result-4507952-1751510521/solver-4507952-1751510521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81230 --watchdog 3760 run-opt.sh HOME/instance-4507952-1751510521.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81282, runsolver pid=81269
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.09 1.48 2.04 6/269 81290
/proc/meminfo: memFree=129262620/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=63188 memory=19100 CPUtime=0.07 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 2662 0 0 0 5 2 0 0 20 0 1 0 66730893 64704512 4775 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 15797 4775 2240 1147 0 3224 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67380 KiB
Current children cumulated memory: 22172 KiB
[startup+0.205782 s]*
/proc/loadavg: 1.09 1.48 2.04 7/269 81291
/proc/meminfo: memFree=129146428/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=104388 memory=53544 CPUtime=0.18 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 8494 0 0 0 14 4 0 0 20 0 1 0 66730893 106893312 13386 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 26097 13386 2336 1147 0 13524 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 108580 KiB
Current children cumulated memory: 56616 KiB
[startup+0.305783 s]*
/proc/loadavg: 1.09 1.48 2.04 6/269 81291
/proc/meminfo: memFree=129146428/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=104388 memory=53672 CPUtime=0.27 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 8502 0 0 0 23 4 0 0 20 0 1 0 66730893 106893312 13418 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 26097 13418 2368 1147 0 13524 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 108580 KiB
Current children cumulated memory: 56744 KiB
[startup+0.700185 s]
/proc/loadavg: 1.09 1.48 2.04 5/269 81291
/proc/meminfo: memFree=129145420/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=104388 memory=53672 CPUtime=0.67 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 8511 0 0 0 58 9 0 0 20 0 1 0 66730893 106893312 13418 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 26097 13418 2368 1147 0 13524 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108580 KiB
Current children cumulated memory: 56744 KiB
[startup+1.50018 s]
/proc/loadavg: 1.09 1.48 2.04 6/269 81291
/proc/meminfo: memFree=129145596/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=108536 memory=56744 CPUtime=1.46 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 9275 0 0 0 136 10 0 0 20 0 1 0 66730893 111140864 14186 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 27134 14186 2368 1147 0 14561 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 112728 KiB
Current children cumulated memory: 59816 KiB
[startup+3.10563 s]
/proc/loadavg: 1.09 1.48 2.04 6/269 81291
/proc/meminfo: memFree=129113820/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=110208 memory=58280 CPUtime=3.06 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 9669 0 0 0 294 12 0 0 20 0 1 0 66730893 112852992 14570 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 27552 14570 2368 1147 0 14979 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 114400 KiB
Current children cumulated memory: 61352 KiB
[startup+6.30019 s]
/proc/loadavg: 1.32 1.52 2.05 6/269 81291
/proc/meminfo: memFree=129105820/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=112932 memory=63064 CPUtime=6.25 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 10371 0 0 0 610 15 0 0 20 0 1 0 66730893 115642368 15766 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 28233 15766 2368 1147 0 15660 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 117124 KiB
Current children cumulated memory: 66136 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 1.57 2.06 6/269 81291
/proc/meminfo: memFree=129086344/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=113748 memory=64200 CPUtime=12.63 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 10676 0 0 0 1243 20 0 0 20 0 1 0 66730893 116477952 16050 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 28437 16050 2400 1147 0 15864 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 117940 KiB
Current children cumulated memory: 67272 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.70 2.10 6/269 81291
/proc/meminfo: memFree=129084352/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=115380 memory=64840 CPUtime=25.4 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 10846 0 0 0 2512 28 0 0 20 0 1 0 66730893 118149120 16210 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 28845 16210 2400 1147 0 16272 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 119572 KiB
Current children cumulated memory: 67912 KiB
[startup+51.1056 s]
/proc/loadavg: 2.78 1.89 2.15 6/268 81291
/proc/meminfo: memFree=129072308/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=121932 memory=70600 CPUtime=50.95 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 12294 0 0 0 5042 53 0 0 20 0 1 0 66730893 124858368 17650 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 30483 17650 2400 1147 0 17910 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 126124 KiB
Current children cumulated memory: 73672 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.23 2.25 6/271 81296
/proc/meminfo: memFree=129008212/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=123100 memory=71496 CPUtime=102.01 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 12500 0 0 0 10117 84 0 0 20 0 1 0 66730893 126054400 17874 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 30775 17874 2400 1147 0 18202 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 127292 KiB
Current children cumulated memory: 74568 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.57 2.37 6/270 81298
/proc/meminfo: memFree=128966828/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=125584 memory=80196 CPUtime=161.83 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 12769 0 0 0 16066 117 0 0 20 0 1 0 66730893 128598016 20049 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 31396 20049 2400 1147 0 18823 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 129776 KiB
Current children cumulated memory: 83268 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.85 2.48 6/270 81300
/proc/meminfo: memFree=128966732/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=125584 memory=80964 CPUtime=221.69 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 12796 0 0 0 22011 158 0 0 20 0 1 0 66730893 128598016 20241 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 31396 20241 2400 1147 0 18823 0
Current children cumulated CPU time: 221.69 s
################
# More data... #
################
/proc/81289/statm: 38133 26778 2400 1147 0 25560 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 156724 KiB
Current children cumulated memory: 110184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.03 6/270 81546
/proc/meminfo: memFree=128708756/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=152532 memory=107240 CPUtime=3153.56 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 18353 0 0 0 313392 1964 0 0 20 0 1 0 66730893 156192768 26810 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 38133 26810 2400 1147 0 25560 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 156724 KiB
Current children cumulated memory: 110312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 6/269 81549
/proc/meminfo: memFree=128674436/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=159896 memory=114664 CPUtime=3213.38 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20214 0 0 0 319333 2005 0 0 20 0 1 0 66730893 163733504 28666 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 39974 28666 2400 1147 0 27401 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 164088 KiB
Current children cumulated memory: 117736 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.02 6/269 81551
/proc/meminfo: memFree=128670900/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=159896 memory=114792 CPUtime=3273.21 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20256 0 0 0 325277 2044 0 0 20 0 1 0 66730893 163733504 28698 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 39974 28698 2400 1147 0 27401 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 164088 KiB
Current children cumulated memory: 117864 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.03 6/267 81553
/proc/meminfo: memFree=128675636/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=160808 memory=115688 CPUtime=3333.03 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20484 0 0 0 331225 2078 0 0 20 0 1 0 66730893 164667392 28922 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 40202 28922 2400 1147 0 27629 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 165000 KiB
Current children cumulated memory: 118760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/267 81555
/proc/meminfo: memFree=128676096/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=163320 memory=118260 CPUtime=3392.85 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20601 0 0 0 337187 2098 0 0 20 0 1 0 66730893 167239680 29565 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 40830 29565 2400 1147 0 28257 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 121332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/267 81557
/proc/meminfo: memFree=128678580/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=163320 memory=118260 CPUtime=3452.67 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20612 0 0 0 343144 2123 0 0 20 0 1 0 66730893 167239680 29565 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 40830 29565 2400 1147 0 28257 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 121332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.03 6/266 81559
/proc/meminfo: memFree=128678068/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=163320 memory=118260 CPUtime=3512.49 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20615 0 0 0 349105 2144 0 0 20 0 1 0 66730893 167239680 29565 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 40830 29565 2400 1147 0 28257 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 121332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.03 6/267 81564
/proc/meminfo: memFree=128678952/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=163320 memory=118260 CPUtime=3572.35 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20615 0 0 0 355076 2159 0 0 20 0 1 0 66730893 167239680 29565 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 40830 29565 2400 1147 0 28257 0
Current children cumulated CPU time: 3572.35 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 121332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.11 4.09 4.03 6/267 81564
/proc/meminfo: memFree=128667052/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=163320 memory=118260 CPUtime=3600.08 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20615 0 0 0 357832 2176 0 0 20 0 1 0 66730893 167239680 29565 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 40830 29565 2400 1147 0 28257 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 121332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 81282 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.00254 s
[startup+3610.11 s]
# the end of solver process 81289 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.33 s, system=21.7702 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
[startup+3610.11 s]
/proc/loadavg: 4.11 4.09 4.03 6/267 81564
/proc/meminfo: memFree=128667052/131249992 swapFree=33010160/33010684
[pid=81282] ppid=81269 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/81282/stat : 81282 (run-opt.sh) S 81269 81282 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66730892 4292608 768 18446744073709551615 93913485479936 93913486374469 140722693709472 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93913486613520 93913486661264 93913497034752 140722693716333 140722693716456 140722693716456 140722693722058 0
/proc/81282/statm: 1048 768 704 219 0 110 0
[pid=81289] ppid=81282 vsize=163320 memory=118260 CPUtime=3600.08 cores=5,7
/proc/81289/stat : 81289 (roundingsat) R 81282 81282 81217 0 -1 4194304 20615 0 0 0 357832 2176 0 0 20 0 1 0 66730893 167239680 29565 18446744073709551615 4227072 8923433 140721620041776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 41132032 140721620044194 140721620044328 140721620044328 140721620049898 0
/proc/81289/statm: 40830 29565 2400 1147 0 28257 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 121332 KiB
Child status: 2
Real time (s): 3610.11
CPU time (s): 3600.1
CPU user time (s): 3578.33
CPU system time (s): 21.7702
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 167512
Max. memory (cumulated for all children) (KiB): 121332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.33
system time used= 21.7702
maximum resident set size= 118644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224
involuntary context switches= 1508
# summary of solver processes directly reported to runsolver:
# pid: 81282,81289
# total CPU time (s): 3600.1
# total CPU user time (s): 3578.33
# total CPU system time (s): 21.7702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66592 second user time and 15.6606 second system time
The end
Begin job on nodeC025 at 2025-07-03 04:42:01
IDJOB=4507952
IDBENCH=158390
IDSOLVER=3350
FILE ID=nodeC025/4507952-1751510521
RUNJOBID= nodeC025-1751510521-81230
SLURM_JOB_ID= 9598611
Free space on /tmp= 432976 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507952-1751510521/watcher-4507952-1751510521 -o /tmp/evaluation-result-4507952-1751510521/solver-4507952-1751510521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81230 --watchdog 3760 run-opt.sh HOME/instance-4507952-1751510521.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=629733836
nodeC025 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 : 0xb00002a
cpu MHz : 3599.850
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.708
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.845
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.813
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.806
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.195
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.750
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.813
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 129274856 kB
MemAvailable: 129742676 kB
Buffers: 2128 kB
Cached: 1259756 kB
SwapCached: 200 kB
Active: 315924 kB
Inactive: 1013140 kB
Active(anon): 63464 kB
Inactive(anon): 21624 kB
Active(file): 252460 kB
Inactive(file): 991516 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32860 kB
Writeback: 4 kB
AnonPages: 70404 kB
Mapped: 102908 kB
Shmem: 17856 kB
KReclaimable: 126168 kB
Slab: 215028 kB
SReclaimable: 126168 kB
SUnreclaim: 88860 kB
KernelStack: 4004 kB
PageTables: 2912 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 330184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432944 MiB
End job on nodeC025 at 2025-07-03 05:42:12