0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.09/0.17 c [STEP] preprocessing with Papilo
0.20/0.27 c [STEP] solving with SCIP
299.32/300.39 c [STEP] preprocessing done, loading into solver
299.53/300.50 c [STEP] solving
299.53/300.50 c #variables 2014 #constraints 62239
299.53/300.50 c SMALL=int, LARGE=long long
299.53/300.51 d SCIPUB -63
299.53/300.51 c bounds - >= -309 @ 299.378
299.53/300.51 c stratification level: 3
299.53/300.51 c bounds - >= -303 @ 299.378
299.53/300.51 c bounds - >= -300 @ 299.378
299.53/300.51 c bounds - >= -297 @ 299.378
299.53/300.51 c bounds - >= -294 @ 299.378
299.53/300.51 c bounds - >= -291 @ 299.378
299.53/300.51 c bounds - >= -288 @ 299.378
299.53/300.51 c bounds - >= -284 @ 299.378
299.53/300.51 c bounds - >= -281 @ 299.378
299.53/300.51 c bounds - >= -278 @ 299.379
299.53/300.51 c bounds - >= -275 @ 299.379
299.53/300.51 c bounds - >= -272 @ 299.379
299.53/300.51 c bounds - >= -269 @ 299.379
299.53/300.51 c bounds - >= -266 @ 299.379
299.53/300.51 c bounds - >= -263 @ 299.379
299.53/300.51 c bounds - >= -260 @ 299.379
299.53/300.51 c finalizing WCE round: reformulating cores
299.53/300.54 c bounds -121 >= -260 @ 299.407
299.53/300.54 c bounds -126 >= -260 @ 299.408
299.53/300.54 c stratification level: 2
299.53/300.55 c bounds -126 >= -250 @ 299.408
299.53/300.55 c bounds -126 >= -248 @ 299.408
299.53/300.55 c bounds -126 >= -246 @ 299.408
299.53/300.55 c bounds -126 >= -244 @ 299.408
299.53/300.55 c bounds -126 >= -242 @ 299.408
299.53/300.55 c bounds -126 >= -240 @ 299.408
299.53/300.55 c bounds -126 >= -238 @ 299.408
299.53/300.55 c bounds -126 >= -236 @ 299.409
299.53/300.55 c bounds -126 >= -234 @ 299.409
299.53/300.55 c bounds -126 >= -232 @ 299.409
299.53/300.55 c bounds -126 >= -230 @ 299.409
299.53/300.55 c bounds -126 >= -228 @ 299.409
299.53/300.55 c finalizing WCE round: reformulating cores
299.73/300.74 c #Conflicts: 1000 | #Constraints: 63365
299.73/300.74 c #Conflicts: 2000 | #Constraints: 64367
299.73/300.74 c INPROCESSING
299.73/300.74 c bounds -151 >= -228 @ 299.595
299.73/300.74 c bounds -151 >= -226 @ 299.595
299.73/300.74 c finalizing WCE round: reformulating cores
299.73/300.75 c bounds -153 >= -226 @ 299.601
299.73/300.75 c bounds -156 >= -226 @ 299.602
299.73/300.75 c stratification level: 1
299.73/300.76 c bounds -156 >= -215 @ 299.603
299.73/300.76 c bounds -156 >= -214 @ 299.603
299.73/300.76 c bounds -156 >= -213 @ 299.603
299.73/300.76 c bounds -156 >= -212 @ 299.604
299.73/300.76 c bounds -156 >= -211 @ 299.604
299.73/300.76 c bounds -156 >= -210 @ 299.604
299.73/300.76 c bounds -156 >= -209 @ 299.604
299.73/300.76 c bounds -156 >= -208 @ 299.604
299.73/300.76 c bounds -156 >= -207 @ 299.605
299.73/300.76 c bounds -156 >= -206 @ 299.605
299.73/300.76 c bounds -156 >= -205 @ 299.605
299.73/300.76 c bounds -156 >= -204 @ 299.606
299.73/300.76 c bounds -156 >= -203 @ 299.606
299.73/300.76 c bounds -156 >= -202 @ 299.606
299.73/300.76 c bounds -156 >= -201 @ 299.607
299.73/300.76 c bounds -156 >= -200 @ 299.608
299.73/300.76 c bounds -156 >= -199 @ 299.609
299.73/300.76 c bounds -156 >= -198 @ 299.61
299.73/300.76 c bounds -156 >= -197 @ 299.613
299.73/300.76 c finalizing WCE round: reformulating cores
315.39/316.43 c #Conflicts: 3000 | #Constraints: 64569
315.39/316.43 c #Conflicts: 4000 | #Constraints: 65571
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 5000 | #Constraints: 64932
315.39/316.43 c #Conflicts: 6000 | #Constraints: 65934
315.39/316.43 c INPROCESSING
315.39/316.43 c #Conflicts: 7000 | #Constraints: 64932
315.39/316.43 c #Conflicts: 8000 | #Constraints: 65940
315.39/316.43 c #Conflicts: 9000 | #Constraints: 66942
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 10000 | #Constraints: 65636
315.39/316.43 c #Conflicts: 11000 | #Constraints: 66638
315.39/316.43 c #Conflicts: 12000 | #Constraints: 67640
315.39/316.43 c INPROCESSING
315.39/316.43 c bounds -160 >= -204 @ 300.564
315.39/316.43 c #Conflicts: 13000 | #Constraints: 66095
315.39/316.43 c bounds -160 >= -202 @ 300.721
315.39/316.43 c #Conflicts: 14000 | #Constraints: 67097
315.39/316.43 c bounds -160 >= -200 @ 300.804
315.39/316.43 c #Conflicts: 15000 | #Constraints: 68101
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c bounds -161 >= -198 @ 300.985
315.39/316.43 c #Conflicts: 16000 | #Constraints: 66157
315.39/316.43 c bounds -161 >= -196 @ 301.079
315.39/316.43 c bounds -161 >= -196 @ 301.098
315.39/316.43 c #Conflicts: 17000 | #Constraints: 67163
315.39/316.43 c bounds -161 >= -193 @ 301.218
315.39/316.43 c #Conflicts: 18000 | #Constraints: 68167
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c bounds -161 >= -191 @ 301.361
315.39/316.43 c bounds -161 >= -191 @ 301.436
315.39/316.43 c bounds -162 >= -188 @ 301.464
315.39/316.43 c #Conflicts: 19000 | #Constraints: 66151
315.39/316.43 c bounds -162 >= -187 @ 301.597
315.39/316.43 c bounds -162 >= -186 @ 301.598
315.39/316.43 c bounds -162 >= -185 @ 301.599
315.39/316.43 c bounds -162 >= -184 @ 301.6
315.39/316.43 c bounds -162 >= -183 @ 301.607
315.39/316.43 c #Conflicts: 20000 | #Constraints: 67248
315.39/316.43 c bounds -162 >= -182 @ 301.651
315.39/316.43 c #Conflicts: 21000 | #Constraints: 68297
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 22000 | #Constraints: 65949
315.39/316.43 c #Conflicts: 23000 | #Constraints: 66949
315.39/316.43 c bounds -162 >= -181 @ 302.329
315.39/316.43 c #Conflicts: 24000 | #Constraints: 67986
315.39/316.43 c #Conflicts: 25000 | #Constraints: 68986
315.39/316.43 c INPROCESSING
315.39/316.43 c #Conflicts: 26000 | #Constraints: 66751
315.39/316.43 c #Conflicts: 27000 | #Constraints: 67751
315.39/316.43 c #Conflicts: 28000 | #Constraints: 68751
315.39/316.43 c #Conflicts: 29000 | #Constraints: 69751
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 30000 | #Constraints: 67213
315.39/316.43 c #Conflicts: 31000 | #Constraints: 68213
315.39/316.43 c #Conflicts: 32000 | #Constraints: 69213
315.39/316.43 c #Conflicts: 33000 | #Constraints: 70213
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 34000 | #Constraints: 67455
315.39/316.43 c #Conflicts: 35000 | #Constraints: 68455
315.39/316.43 c #Conflicts: 36000 | #Constraints: 69455
315.39/316.43 c #Conflicts: 37000 | #Constraints: 70455
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 38000 | #Constraints: 67475
315.39/316.43 c #Conflicts: 39000 | #Constraints: 68475
315.39/316.43 c #Conflicts: 40000 | #Constraints: 69475
315.39/316.43 c #Conflicts: 41000 | #Constraints: 70475
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 42000 | #Constraints: 67286
315.39/316.43 c #Conflicts: 43000 | #Constraints: 68286
315.39/316.43 c #Conflicts: 44000 | #Constraints: 69286
315.39/316.43 c #Conflicts: 45000 | #Constraints: 70286
315.39/316.43 c #Conflicts: 46000 | #Constraints: 71286
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 47000 | #Constraints: 67903
315.39/316.43 c #Conflicts: 48000 | #Constraints: 68903
315.39/316.43 c #Conflicts: 49000 | #Constraints: 69903
315.39/316.43 c #Conflicts: 50000 | #Constraints: 70903
315.39/316.43 c #Conflicts: 51000 | #Constraints: 71903
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 52000 | #Constraints: 68307
315.39/316.43 c #Conflicts: 53000 | #Constraints: 69307
315.39/316.43 c #Conflicts: 54000 | #Constraints: 70307
315.39/316.43 c #Conflicts: 55000 | #Constraints: 71307
315.39/316.43 c #Conflicts: 56000 | #Constraints: 72307
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 57000 | #Constraints: 68507
315.39/316.43 c #Conflicts: 58000 | #Constraints: 69507
315.39/316.43 c #Conflicts: 59000 | #Constraints: 70507
315.39/316.43 c #Conflicts: 60000 | #Constraints: 71507
315.39/316.43 c #Conflicts: 61000 | #Constraints: 72507
315.39/316.43 c INPROCESSING
315.39/316.43 c GARBAGE COLLECT
315.39/316.43 c #Conflicts: 62000 | #Constraints: 68493
357.05/358.26 c #Conflicts: 63000 | #Constraints: 69493
357.05/358.26 c #Conflicts: 64000 | #Constraints: 70493
357.05/358.26 c #Conflicts: 65000 | #Constraints: 71493
357.05/358.26 c #Conflicts: 66000 | #Constraints: 72493
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 67000 | #Constraints: 68308
357.05/358.26 c #Conflicts: 68000 | #Constraints: 69308
357.05/358.26 c #Conflicts: 69000 | #Constraints: 70308
357.05/358.26 c #Conflicts: 70000 | #Constraints: 71308
357.05/358.26 c #Conflicts: 71000 | #Constraints: 72308
357.05/358.26 c #Conflicts: 72000 | #Constraints: 73308
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 73000 | #Constraints: 68906
357.05/358.26 c #Conflicts: 74000 | #Constraints: 69906
357.05/358.26 c #Conflicts: 75000 | #Constraints: 70906
357.05/358.26 c #Conflicts: 76000 | #Constraints: 71906
357.05/358.26 c #Conflicts: 77000 | #Constraints: 72906
357.05/358.26 c #Conflicts: 78000 | #Constraints: 73906
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 79000 | #Constraints: 69312
357.05/358.26 c #Conflicts: 80000 | #Constraints: 70312
357.05/358.26 c #Conflicts: 81000 | #Constraints: 71312
357.05/358.26 c #Conflicts: 82000 | #Constraints: 72312
357.05/358.26 c #Conflicts: 83000 | #Constraints: 73312
357.05/358.26 c #Conflicts: 84000 | #Constraints: 74312
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 85000 | #Constraints: 69524
357.05/358.26 c #Conflicts: 86000 | #Constraints: 70524
357.05/358.26 c #Conflicts: 87000 | #Constraints: 71524
357.05/358.26 c #Conflicts: 88000 | #Constraints: 72524
357.05/358.26 c #Conflicts: 89000 | #Constraints: 73524
357.05/358.26 c #Conflicts: 90000 | #Constraints: 74524
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 91000 | #Constraints: 69520
357.05/358.26 c #Conflicts: 92000 | #Constraints: 70520
357.05/358.26 c #Conflicts: 93000 | #Constraints: 71520
357.05/358.26 c #Conflicts: 94000 | #Constraints: 72520
357.05/358.26 c #Conflicts: 95000 | #Constraints: 73520
357.05/358.26 c #Conflicts: 96000 | #Constraints: 74520
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 97000 | #Constraints: 69322
357.05/358.26 c #Conflicts: 98000 | #Constraints: 70322
357.05/358.26 c #Conflicts: 99000 | #Constraints: 71322
357.05/358.26 c bounds -162 >= -180 @ 331.283
357.05/358.26 c #Conflicts: 100000 | #Constraints: 72353
357.05/358.26 c #Conflicts: 101000 | #Constraints: 73353
357.05/358.26 c #Conflicts: 102000 | #Constraints: 74353
357.05/358.26 c #Conflicts: 103000 | #Constraints: 75353
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 104000 | #Constraints: 69960
357.05/358.26 c #Conflicts: 105000 | #Constraints: 70960
357.05/358.26 c #Conflicts: 106000 | #Constraints: 71960
357.05/358.26 c #Conflicts: 107000 | #Constraints: 72960
357.05/358.26 c #Conflicts: 108000 | #Constraints: 73960
357.05/358.26 c #Conflicts: 109000 | #Constraints: 74960
357.05/358.26 c #Conflicts: 110000 | #Constraints: 75960
357.05/358.26 c INPROCESSING
357.05/358.26 c GARBAGE COLLECT
357.05/358.26 c #Conflicts: 111000 | #Constraints: 70354
357.05/358.26 c #Conflicts: 112000 | #Constraints: 71354
357.05/358.26 c #Conflicts: 113000 | #Constraints: 72354
357.05/358.26 c #Conflicts: 114000 | #Constraints: 73354
357.05/358.26 c #Conflicts: 115000 | #Constraints: 74354
357.05/358.26 c #Conflicts: 116000 | #Constraints: 75354
357.05/358.26 c #Conflicts: 117000 | #Constraints: 76354
357.05/358.26 c #Conflicts: 118000 | #Constraints: 77354
357.05/358.26 c #Conflicts: 119000 | #Constraints: 78354
357.05/358.26 c #Conflicts: 120000 | #Constraints: 79354
357.05/358.26 c #Conflicts: 121000 | #Constraints: 80354
357.05/358.26 c #Conflicts: 122000 | #Constraints: 81354
357.05/358.26 c #Conflicts: 123000 | #Constraints: 82354
357.05/358.26 c #Conflicts: 124000 | #Constraints: 83354
357.05/358.26 c #Conflicts: 125000 | #Constraints: 84354
357.05/358.26 c #Conflicts: 126000 | #Constraints: 85354
357.05/358.26 c #Conflicts: 127000 | #Constraints: 86354
357.05/358.26 c #Conflicts: 128000 | #Constraints: 87354
357.05/358.26 c #Conflicts: 129000 | #Constraints: 88354
357.05/358.26 c #Conflicts: 130000 | #Constraints: 89354
357.05/358.26 c #Conflicts: 131000 | #Constraints: 90354
357.05/358.26 c #Conflicts: 132000 | #Constraints: 91354
357.05/358.26 c #Conflicts: 133000 | #Constraints: 92354
357.05/358.26 c #Conflicts: 134000 | #Constraints: 93354
357.05/358.26 c #Conflicts: 135000 | #Constraints: 94354
423.76/425.18 c #Conflicts: 136000 | #Constraints: 95354
423.76/425.18 c #Conflicts: 137000 | #Constraints: 96354
423.76/425.18 c #Conflicts: 138000 | #Constraints: 97354
423.76/425.18 c #Conflicts: 139000 | #Constraints: 98354
423.76/425.18 c #Conflicts: 140000 | #Constraints: 99354
423.76/425.18 c INPROCESSING
423.76/425.18 c GARBAGE COLLECT
423.76/425.18 c #Conflicts: 141000 | #Constraints: 81846
423.76/425.18 c #Conflicts: 142000 | #Constraints: 82846
423.76/425.18 c #Conflicts: 143000 | #Constraints: 83846
423.76/425.18 c #Conflicts: 144000 | #Constraints: 84846
423.76/425.18 c #Conflicts: 145000 | #Constraints: 85846
423.76/425.18 c #Conflicts: 146000 | #Constraints: 86846
423.76/425.18 c #Conflicts: 147000 | #Constraints: 87846
423.76/425.18 c #Conflicts: 148000 | #Constraints: 88846
423.76/425.18 c INPROCESSING
423.76/425.18 c GARBAGE COLLECT
423.76/425.18 c #Conflicts: 149000 | #Constraints: 76564
423.76/425.18 c #Conflicts: 150000 | #Constraints: 77564
423.76/425.18 c #Conflicts: 151000 | #Constraints: 78564
423.76/425.18 c #Conflicts: 152000 | #Constraints: 79564
423.76/425.18 c #Conflicts: 153000 | #Constraints: 80564
423.76/425.18 c #Conflicts: 154000 | #Constraints: 81564
423.76/425.18 c #Conflicts: 155000 | #Constraints: 82564
423.76/425.18 c #Conflicts: 156000 | #Constraints: 83564
423.76/425.18 c INPROCESSING
423.76/425.18 c GARBAGE COLLECT
423.76/425.18 c #Conflicts: 157000 | #Constraints: 73758
423.76/425.18 c #Conflicts: 158000 | #Constraints: 74758
423.76/425.18 c #Conflicts: 159000 | #Constraints: 75758
423.76/425.18 c #Conflicts: 160000 | #Constraints: 76758
423.76/425.18 c #Conflicts: 161000 | #Constraints: 77758
423.76/425.18 c #Conflicts: 162000 | #Constraints: 78758
423.76/425.18 c #Conflicts: 163000 | #Constraints: 79758
423.76/425.18 c #Conflicts: 164000 | #Constraints: 80758
423.76/425.18 c #Conflicts: 165000 | #Constraints: 81758
423.76/425.18 c INPROCESSING
423.76/425.18 c GARBAGE COLLECT
423.76/425.18 c #Conflicts: 166000 | #Constraints: 73100
423.76/425.18 c #Conflicts: 167000 | #Constraints: 74100
423.76/425.18 c #Conflicts: 168000 | #Constraints: 75100
423.76/425.18 c #Conflicts: 169000 | #Constraints: 76100
423.76/425.18 c #Conflicts: 170000 | #Constraints: 77100
423.76/425.18 c #Conflicts: 171000 | #Constraints: 78100
423.76/425.18 c #Conflicts: 172000 | #Constraints: 79100
423.76/425.18 c #Conflicts: 173000 | #Constraints: 80100
423.76/425.18 c #Conflicts: 174000 | #Constraints: 81100
423.76/425.18 c INPROCESSING
423.76/425.18 c GARBAGE COLLECT
423.76/425.18 c #Conflicts: 175000 | #Constraints: 72928
423.76/425.18 c #Conflicts: 176000 | #Constraints: 73928
423.76/425.18 c #Conflicts: 177000 | #Constraints: 74928
423.76/425.18 c #Conflicts: 178000 | #Constraints: 75928
423.76/425.18 c #Conflicts: 179000 | #Constraints: 76928
423.76/425.18 c #Conflicts: 180000 | #Constraints: 77928
423.76/425.18 c #Conflicts: 181000 | #Constraints: 78928
423.76/425.18 c #Conflicts: 182000 | #Constraints: 79928
423.76/425.18 c INPROCESSING
423.76/425.18 c GARBAGE COLLECT
423.76/425.18 c #Conflicts: 183000 | #Constraints: 71897
423.76/425.18 c #Conflicts: 184000 | #Constraints: 72897
423.76/425.18 c #Conflicts: 185000 | #Constraints: 73897
423.76/425.18 c #Conflicts: 186000 | #Constraints: 74897
423.76/425.18 c #Conflicts: 187000 | #Constraints: 75897
423.76/425.18 c #Conflicts: 188000 | #Constraints: 76897
423.76/425.18 c #Conflicts: 189000 | #Constraints: 77897
423.76/425.18 c #Conflicts: 190000 | #Constraints: 78897
423.76/425.18 c #Conflicts: 191000 | #Constraints: 79897
423.76/425.18 c #Conflicts: 192000 | #Constraints: 80897
423.76/425.18 c #Conflicts: 193000 | #Constraints: 81897
423.76/425.18 c #Conflicts: 194000 | #Constraints: 82897
423.76/425.18 c #Conflicts: 195000 | #Constraints: 83897
423.76/425.18 c #Conflicts: 196000 | #Constraints: 84897
423.76/425.18 c #Conflicts: 197000 | #Constraints: 85897
423.76/425.18 c #Conflicts: 198000 | #Constraints: 86897
423.76/425.18 c #Conflicts: 199000 | #Constraints: 87897
423.76/425.18 c #Conflicts: 200000 | #Constraints: 88897
423.76/425.18 c #Conflicts: 201000 | #Constraints: 89897
423.76/425.18 c #Conflicts: 202000 | #Constraints: 90897
423.76/425.18 c #Conflicts: 203000 | #Constraints: 91897
423.76/425.18 c #Conflicts: 204000 | #Constraints: 92897
423.76/425.18 c #Conflicts: 205000 | #Constraints: 93897
423.76/425.18 c #Conflicts: 206000 | #Constraints: 94897
423.76/425.18 c #Conflicts: 207000 | #Constraints: 95897
423.76/425.18 c #Conflicts: 208000 | #Constraints: 96897
423.76/425.18 c #Conflicts: 209000 | #Constraints: 97897
423.76/425.18 c #Conflicts: 210000 | #Constraints: 98897
502.03/503.65 c #Conflicts: 211000 | #Constraints: 99897
502.03/503.65 c #Conflicts: 212000 | #Constraints: 100897
502.03/503.65 c #Conflicts: 213000 | #Constraints: 101897
502.03/503.65 c #Conflicts: 214000 | #Constraints: 102897
502.03/503.65 c #Conflicts: 215000 | #Constraints: 103897
502.03/503.65 c #Conflicts: 216000 | #Constraints: 104897
502.03/503.65 c #Conflicts: 217000 | #Constraints: 105897
502.03/503.65 c #Conflicts: 218000 | #Constraints: 106897
502.03/503.65 c #Conflicts: 219000 | #Constraints: 107897
502.03/503.65 c #Conflicts: 220000 | #Constraints: 108897
502.03/503.65 c INPROCESSING
502.03/503.65 c GARBAGE COLLECT
502.03/503.65 c #Conflicts: 221000 | #Constraints: 86419
502.03/503.65 c #Conflicts: 222000 | #Constraints: 87419
502.03/503.65 c #Conflicts: 223000 | #Constraints: 88419
502.03/503.65 c #Conflicts: 224000 | #Constraints: 89419
502.03/503.65 c #Conflicts: 225000 | #Constraints: 90419
502.03/503.65 c #Conflicts: 226000 | #Constraints: 91419
502.03/503.65 c #Conflicts: 227000 | #Constraints: 92419
502.03/503.65 c #Conflicts: 228000 | #Constraints: 93419
502.03/503.65 c #Conflicts: 229000 | #Constraints: 94419
502.03/503.65 c #Conflicts: 230000 | #Constraints: 95419
502.03/503.65 c #Conflicts: 231000 | #Constraints: 96419
502.03/503.65 c INPROCESSING
502.03/503.65 c GARBAGE COLLECT
502.03/503.65 c #Conflicts: 232000 | #Constraints: 80585
502.03/503.65 c #Conflicts: 233000 | #Constraints: 81585
502.03/503.65 c #Conflicts: 234000 | #Constraints: 82585
502.03/503.65 c #Conflicts: 235000 | #Constraints: 83585
502.03/503.65 c #Conflicts: 236000 | #Constraints: 84585
502.03/503.65 c #Conflicts: 237000 | #Constraints: 85585
502.03/503.65 c #Conflicts: 238000 | #Constraints: 86585
502.03/503.65 c #Conflicts: 239000 | #Constraints: 87585
502.03/503.65 c #Conflicts: 240000 | #Constraints: 88585
502.03/503.65 c #Conflicts: 241000 | #Constraints: 89585
502.03/503.65 c INPROCESSING
502.03/503.65 c GARBAGE COLLECT
502.03/503.65 c #Conflicts: 242000 | #Constraints: 76989
502.03/503.65 c #Conflicts: 243000 | #Constraints: 77989
502.03/503.65 c #Conflicts: 244000 | #Constraints: 78989
502.03/503.65 c #Conflicts: 245000 | #Constraints: 79989
502.03/503.65 c #Conflicts: 246000 | #Constraints: 80989
502.03/503.65 c #Conflicts: 247000 | #Constraints: 81989
502.03/503.65 c #Conflicts: 248000 | #Constraints: 82989
502.03/503.65 c #Conflicts: 249000 | #Constraints: 83989
502.03/503.65 c #Conflicts: 250000 | #Constraints: 84989
502.03/503.65 c #Conflicts: 251000 | #Constraints: 85989
502.03/503.65 c #Conflicts: 252000 | #Constraints: 86989
502.03/503.65 c INPROCESSING
502.03/503.65 c GARBAGE COLLECT
502.03/503.65 c #Conflicts: 253000 | #Constraints: 75894
502.03/503.65 c #Conflicts: 254000 | #Constraints: 76894
502.03/503.65 c #Conflicts: 255000 | #Constraints: 77894
502.03/503.65 c #Conflicts: 256000 | #Constraints: 78894
502.03/503.65 c #Conflicts: 257000 | #Constraints: 79894
502.03/503.65 c #Conflicts: 258000 | #Constraints: 80894
502.03/503.65 c #Conflicts: 259000 | #Constraints: 81894
502.03/503.65 c #Conflicts: 260000 | #Constraints: 82894
502.03/503.65 c #Conflicts: 261000 | #Constraints: 83894
502.03/503.65 c #Conflicts: 262000 | #Constraints: 84894
502.03/503.65 c INPROCESSING
502.03/503.65 c GARBAGE COLLECT
502.03/503.65 c #Conflicts: 263000 | #Constraints: 74427
502.03/503.65 c #Conflicts: 264000 | #Constraints: 75427
502.03/503.65 c #Conflicts: 265000 | #Constraints: 76427
502.03/503.65 c #Conflicts: 266000 | #Constraints: 77427
502.03/503.65 c #Conflicts: 267000 | #Constraints: 78427
502.03/503.65 c #Conflicts: 268000 | #Constraints: 79427
502.03/503.65 c #Conflicts: 269000 | #Constraints: 80427
502.03/503.65 c #Conflicts: 270000 | #Constraints: 81427
502.03/503.65 c #Conflicts: 271000 | #Constraints: 82427
502.03/503.65 c #Conflicts: 272000 | #Constraints: 83427
502.03/503.65 c #Conflicts: 273000 | #Constraints: 84427
502.03/503.65 c INPROCESSING
502.03/503.65 c GARBAGE COLLECT
502.03/503.65 c #Conflicts: 274000 | #Constraints: 74197
502.03/503.65 c #Conflicts: 275000 | #Constraints: 75197
502.03/503.65 c #Conflicts: 276000 | #Constraints: 76197
502.03/503.65 c #Conflicts: 277000 | #Constraints: 77197
502.03/503.65 c #Conflicts: 278000 | #Constraints: 78197
502.03/503.65 c #Conflicts: 279000 | #Constraints: 79197
502.03/503.65 c #Conflicts: 280000 | #Constraints: 80197
502.03/503.65 c #Conflicts: 281000 | #Constraints: 81197
502.03/503.65 c #Conflicts: 282000 | #Constraints: 82197
502.03/503.65 c #Conflicts: 283000 | #Constraints: 83197
502.03/503.65 c #Conflicts: 284000 | #Constraints: 84197
502.03/503.65 c #Conflicts: 285000 | #Constraints: 85197
604.65/606.56 c INPROCESSING
604.65/606.56 c GARBAGE COLLECT
604.65/606.56 c #Conflicts: 286000 | #Constraints: 74979
604.65/606.56 c #Conflicts: 287000 | #Constraints: 75979
604.65/606.56 c #Conflicts: 288000 | #Constraints: 76979
604.65/606.56 c #Conflicts: 289000 | #Constraints: 77979
604.65/606.56 c #Conflicts: 290000 | #Constraints: 78979
604.65/606.56 c #Conflicts: 291000 | #Constraints: 79979
604.65/606.56 c #Conflicts: 292000 | #Constraints: 80979
604.65/606.56 c #Conflicts: 293000 | #Constraints: 81979
604.65/606.56 c #Conflicts: 294000 | #Constraints: 82979
604.65/606.56 c #Conflicts: 295000 | #Constraints: 83979
604.65/606.56 c #Conflicts: 296000 | #Constraints: 84979
604.65/606.56 c INPROCESSING
604.65/606.56 c GARBAGE COLLECT
604.65/606.56 c #Conflicts: 297000 | #Constraints: 74678
604.65/606.56 c #Conflicts: 298000 | #Constraints: 75678
604.65/606.56 c #Conflicts: 299000 | #Constraints: 76678
604.65/606.56 c #Conflicts: 300000 | #Constraints: 77678
604.65/606.56 c #Conflicts: 301000 | #Constraints: 78678
604.65/606.56 c #Conflicts: 302000 | #Constraints: 79678
604.65/606.56 c #Conflicts: 303000 | #Constraints: 80678
604.65/606.56 c #Conflicts: 304000 | #Constraints: 81678
604.65/606.56 c #Conflicts: 305000 | #Constraints: 82678
604.65/606.56 c #Conflicts: 306000 | #Constraints: 83678
604.65/606.56 c #Conflicts: 307000 | #Constraints: 84678
604.65/606.56 c #Conflicts: 308000 | #Constraints: 85678
604.65/606.56 c #Conflicts: 309000 | #Constraints: 86678
604.65/606.56 c #Conflicts: 310000 | #Constraints: 87678
604.65/606.56 c #Conflicts: 311000 | #Constraints: 88678
604.65/606.56 c #Conflicts: 312000 | #Constraints: 89678
604.65/606.56 c #Conflicts: 313000 | #Constraints: 90678
604.65/606.56 c #Conflicts: 314000 | #Constraints: 91678
604.65/606.56 c #Conflicts: 315000 | #Constraints: 92678
604.65/606.56 c #Conflicts: 316000 | #Constraints: 93678
604.65/606.56 c #Conflicts: 317000 | #Constraints: 94678
604.65/606.56 c #Conflicts: 318000 | #Constraints: 95678
604.65/606.56 c #Conflicts: 319000 | #Constraints: 96678
604.65/606.56 c #Conflicts: 320000 | #Constraints: 97678
604.65/606.56 c #Conflicts: 321000 | #Constraints: 98678
604.65/606.56 c #Conflicts: 322000 | #Constraints: 99678
604.65/606.56 c #Conflicts: 323000 | #Constraints: 100678
604.65/606.56 c #Conflicts: 324000 | #Constraints: 101678
604.65/606.56 c #Conflicts: 325000 | #Constraints: 102678
604.65/606.56 c #Conflicts: 326000 | #Constraints: 103678
604.65/606.56 c #Conflicts: 327000 | #Constraints: 104678
604.65/606.56 c #Conflicts: 328000 | #Constraints: 105678
604.65/606.56 c #Conflicts: 329000 | #Constraints: 106678
604.65/606.56 c #Conflicts: 330000 | #Constraints: 107678
604.65/606.56 c #Conflicts: 331000 | #Constraints: 108678
604.65/606.56 c #Conflicts: 332000 | #Constraints: 109678
604.65/606.56 c #Conflicts: 333000 | #Constraints: 110678
604.65/606.56 c #Conflicts: 334000 | #Constraints: 111678
604.65/606.56 c #Conflicts: 335000 | #Constraints: 112678
604.65/606.56 c #Conflicts: 336000 | #Constraints: 113678
604.65/606.56 c #Conflicts: 337000 | #Constraints: 114678
604.65/606.56 c #Conflicts: 338000 | #Constraints: 115678
604.65/606.56 c #Conflicts: 339000 | #Constraints: 116678
604.65/606.56 c #Conflicts: 340000 | #Constraints: 117678
604.65/606.56 c #Conflicts: 341000 | #Constraints: 118678
604.65/606.56 c #Conflicts: 342000 | #Constraints: 119678
604.65/606.56 c #Conflicts: 343000 | #Constraints: 120678
604.65/606.56 c #Conflicts: 344000 | #Constraints: 121678
604.65/606.56 c INPROCESSING
604.65/606.56 c GARBAGE COLLECT
604.65/606.56 c #Conflicts: 345000 | #Constraints: 93221
604.65/606.56 c #Conflicts: 346000 | #Constraints: 94221
604.65/606.56 c #Conflicts: 347000 | #Constraints: 95221
604.65/606.56 c #Conflicts: 348000 | #Constraints: 96221
604.65/606.56 c #Conflicts: 349000 | #Constraints: 97221
604.65/606.56 c #Conflicts: 350000 | #Constraints: 98221
604.65/606.56 c #Conflicts: 351000 | #Constraints: 99221
604.65/606.56 c #Conflicts: 352000 | #Constraints: 100221
604.65/606.56 c #Conflicts: 353000 | #Constraints: 101221
604.65/606.56 c #Conflicts: 354000 | #Constraints: 102221
604.65/606.56 c #Conflicts: 355000 | #Constraints: 103221
604.65/606.56 c #Conflicts: 356000 | #Constraints: 104221
604.65/606.56 c INPROCESSING
604.65/606.56 c GARBAGE COLLECT
604.65/606.56 c #Conflicts: 357000 | #Constraints: 84144
604.65/606.56 c #Conflicts: 358000 | #Constraints: 85144
604.65/606.56 c #Conflicts: 359000 | #Constraints: 86144
604.65/606.56 c #Conflicts: 360000 | #Constraints: 87144
604.65/606.56 c #Conflicts: 361000 | #Constraints: 88144
688.37/690.57 c #Conflicts: 362000 | #Constraints: 89144
688.37/690.57 c #Conflicts: 363000 | #Constraints: 90144
688.37/690.57 c #Conflicts: 364000 | #Constraints: 91144
688.37/690.57 c #Conflicts: 365000 | #Constraints: 92144
688.37/690.57 c #Conflicts: 366000 | #Constraints: 93144
688.37/690.57 c #Conflicts: 367000 | #Constraints: 94144
688.37/690.57 c #Conflicts: 368000 | #Constraints: 95144
688.37/690.57 c #Conflicts: 369000 | #Constraints: 96144
688.37/690.57 c INPROCESSING
688.37/690.57 c GARBAGE COLLECT
688.37/690.57 c #Conflicts: 370000 | #Constraints: 80175
688.37/690.57 c #Conflicts: 371000 | #Constraints: 81175
688.37/690.57 c #Conflicts: 372000 | #Constraints: 82175
688.37/690.57 c #Conflicts: 373000 | #Constraints: 83175
688.37/690.57 c #Conflicts: 374000 | #Constraints: 84175
688.37/690.57 c #Conflicts: 375000 | #Constraints: 85175
688.37/690.57 c #Conflicts: 376000 | #Constraints: 86175
688.37/690.57 c #Conflicts: 377000 | #Constraints: 87175
688.37/690.57 c #Conflicts: 378000 | #Constraints: 88175
688.37/690.57 c #Conflicts: 379000 | #Constraints: 89175
688.37/690.57 c #Conflicts: 380000 | #Constraints: 90175
688.37/690.57 c #Conflicts: 381000 | #Constraints: 91175
688.37/690.57 c #Conflicts: 382000 | #Constraints: 92175
688.37/690.57 c INPROCESSING
688.37/690.57 c GARBAGE COLLECT
688.37/690.57 c #Conflicts: 383000 | #Constraints: 78125
688.37/690.57 c #Conflicts: 384000 | #Constraints: 79125
688.37/690.57 c #Conflicts: 385000 | #Constraints: 80125
688.37/690.57 c #Conflicts: 386000 | #Constraints: 81125
688.37/690.57 c #Conflicts: 387000 | #Constraints: 82125
688.37/690.57 c #Conflicts: 388000 | #Constraints: 83125
688.37/690.57 c #Conflicts: 389000 | #Constraints: 84125
688.37/690.57 c #Conflicts: 390000 | #Constraints: 85125
688.37/690.57 c #Conflicts: 391000 | #Constraints: 86125
688.37/690.57 c #Conflicts: 392000 | #Constraints: 87125
688.37/690.57 c #Conflicts: 393000 | #Constraints: 88125
688.37/690.57 c #Conflicts: 394000 | #Constraints: 89125
688.37/690.57 c #Conflicts: 395000 | #Constraints: 90125
688.37/690.57 c #Conflicts: 396000 | #Constraints: 91125
688.37/690.57 c INPROCESSING
688.37/690.57 c GARBAGE COLLECT
688.37/690.57 c #Conflicts: 397000 | #Constraints: 77955
688.37/690.57 c #Conflicts: 398000 | #Constraints: 78955
688.37/690.57 c #Conflicts: 399000 | #Constraints: 79955
688.37/690.57 c #Conflicts: 400000 | #Constraints: 80955
688.37/690.57 c #Conflicts: 401000 | #Constraints: 81955
688.37/690.57 c #Conflicts: 402000 | #Constraints: 82955
688.37/690.57 c #Conflicts: 403000 | #Constraints: 83955
688.37/690.57 c #Conflicts: 404000 | #Constraints: 84955
688.37/690.57 c #Conflicts: 405000 | #Constraints: 85955
688.37/690.57 c #Conflicts: 406000 | #Constraints: 86955
688.37/690.57 c #Conflicts: 407000 | #Constraints: 87955
688.37/690.57 c #Conflicts: 408000 | #Constraints: 88955
688.37/690.57 c #Conflicts: 409000 | #Constraints: 89955
688.37/690.57 c INPROCESSING
688.37/690.57 c GARBAGE COLLECT
688.37/690.57 c #Conflicts: 410000 | #Constraints: 77131
688.37/690.57 c #Conflicts: 411000 | #Constraints: 78131
688.37/690.57 c #Conflicts: 412000 | #Constraints: 79131
688.37/690.57 c #Conflicts: 413000 | #Constraints: 80131
688.37/690.57 c #Conflicts: 414000 | #Constraints: 81131
688.37/690.57 c #Conflicts: 415000 | #Constraints: 82131
688.37/690.57 c #Conflicts: 416000 | #Constraints: 83131
688.37/690.57 c #Conflicts: 417000 | #Constraints: 84131
688.37/690.57 c #Conflicts: 418000 | #Constraints: 85131
688.37/690.57 c #Conflicts: 419000 | #Constraints: 86131
688.37/690.57 c #Conflicts: 420000 | #Constraints: 87131
688.37/690.57 c #Conflicts: 421000 | #Constraints: 88131
688.37/690.57 c #Conflicts: 422000 | #Constraints: 89131
688.37/690.57 c #Conflicts: 423000 | #Constraints: 90131
688.37/690.57 c INPROCESSING
688.37/690.57 c GARBAGE COLLECT
688.37/690.57 c #Conflicts: 424000 | #Constraints: 77349
688.37/690.57 c #Conflicts: 425000 | #Constraints: 78349
688.37/690.57 c #Conflicts: 426000 | #Constraints: 79349
688.37/690.57 c #Conflicts: 427000 | #Constraints: 80349
688.37/690.57 c #Conflicts: 428000 | #Constraints: 81349
688.37/690.57 c #Conflicts: 429000 | #Constraints: 82349
688.37/690.57 c #Conflicts: 430000 | #Constraints: 83349
688.37/690.57 c #Conflicts: 431000 | #Constraints: 84349
688.37/690.57 c #Conflicts: 432000 | #Constraints: 85349
688.37/690.57 c #Conflicts: 433000 | #Constraints: 86349
688.37/690.57 c #Conflicts: 434000 | #Constraints: 87349
688.37/690.57 c #Conflicts: 435000 | #Constraints: 88349
688.37/690.57 c #Conflicts: 436000 | #Constraints: 89349
688.37/690.57 c #Conflicts: 437000 | #Constraints: 90349
813.01/815.61 c INPROCESSING
813.01/815.61 c GARBAGE COLLECT
813.01/815.61 c #Conflicts: 438000 | #Constraints: 77518
813.01/815.61 c #Conflicts: 439000 | #Constraints: 78518
813.01/815.61 c #Conflicts: 440000 | #Constraints: 79518
813.01/815.61 c #Conflicts: 441000 | #Constraints: 80518
813.01/815.61 c #Conflicts: 442000 | #Constraints: 81518
813.01/815.61 c #Conflicts: 443000 | #Constraints: 82518
813.01/815.61 c #Conflicts: 444000 | #Constraints: 83518
813.01/815.61 c #Conflicts: 445000 | #Constraints: 84518
813.01/815.61 c #Conflicts: 446000 | #Constraints: 85518
813.01/815.61 c #Conflicts: 447000 | #Constraints: 86518
813.01/815.61 c #Conflicts: 448000 | #Constraints: 87518
813.01/815.61 c #Conflicts: 449000 | #Constraints: 88518
813.01/815.61 c #Conflicts: 450000 | #Constraints: 89518
813.01/815.61 c #Conflicts: 451000 | #Constraints: 90518
813.01/815.61 c INPROCESSING
813.01/815.61 c GARBAGE COLLECT
813.01/815.61 c #Conflicts: 452000 | #Constraints: 77549
813.01/815.61 c #Conflicts: 453000 | #Constraints: 78549
813.01/815.61 c #Conflicts: 454000 | #Constraints: 79549
813.01/815.61 c #Conflicts: 455000 | #Constraints: 80549
813.01/815.61 c #Conflicts: 456000 | #Constraints: 81549
813.01/815.61 c #Conflicts: 457000 | #Constraints: 82549
813.01/815.61 c #Conflicts: 458000 | #Constraints: 83549
813.01/815.61 c #Conflicts: 459000 | #Constraints: 84549
813.01/815.61 c #Conflicts: 460000 | #Constraints: 85549
813.01/815.61 c #Conflicts: 461000 | #Constraints: 86549
813.01/815.61 c #Conflicts: 462000 | #Constraints: 87549
813.01/815.61 c #Conflicts: 463000 | #Constraints: 88549
813.01/815.61 c #Conflicts: 464000 | #Constraints: 89549
813.01/815.61 c #Conflicts: 465000 | #Constraints: 90549
813.01/815.61 c INPROCESSING
813.01/815.61 c GARBAGE COLLECT
813.01/815.61 c #Conflicts: 466000 | #Constraints: 77411
813.01/815.61 c #Conflicts: 467000 | #Constraints: 78411
813.01/815.61 c #Conflicts: 468000 | #Constraints: 79411
813.01/815.61 c #Conflicts: 469000 | #Constraints: 80411
813.01/815.61 c #Conflicts: 470000 | #Constraints: 81411
813.01/815.61 c #Conflicts: 471000 | #Constraints: 82411
813.01/815.61 c #Conflicts: 472000 | #Constraints: 83411
813.01/815.61 c #Conflicts: 473000 | #Constraints: 84411
813.01/815.61 c #Conflicts: 474000 | #Constraints: 85411
813.01/815.61 c #Conflicts: 475000 | #Constraints: 86411
813.01/815.61 c #Conflicts: 476000 | #Constraints: 87411
813.01/815.61 c #Conflicts: 477000 | #Constraints: 88411
813.01/815.61 c #Conflicts: 478000 | #Constraints: 89411
813.01/815.61 c #Conflicts: 479000 | #Constraints: 90411
813.01/815.61 c #Conflicts: 480000 | #Constraints: 91411
813.01/815.61 c #Conflicts: 481000 | #Constraints: 92411
813.01/815.61 c #Conflicts: 482000 | #Constraints: 93411
813.01/815.61 c #Conflicts: 483000 | #Constraints: 94411
813.01/815.61 c #Conflicts: 484000 | #Constraints: 95411
813.01/815.61 c #Conflicts: 485000 | #Constraints: 96411
813.01/815.61 c #Conflicts: 486000 | #Constraints: 97411
813.01/815.61 c #Conflicts: 487000 | #Constraints: 98411
813.01/815.61 c #Conflicts: 488000 | #Constraints: 99411
813.01/815.61 c #Conflicts: 489000 | #Constraints: 100411
813.01/815.61 c #Conflicts: 490000 | #Constraints: 101411
813.01/815.61 c #Conflicts: 491000 | #Constraints: 102411
813.01/815.61 c #Conflicts: 492000 | #Constraints: 103411
813.01/815.61 c #Conflicts: 493000 | #Constraints: 104411
813.01/815.61 c #Conflicts: 494000 | #Constraints: 105411
813.01/815.61 c #Conflicts: 495000 | #Constraints: 106411
813.01/815.61 c #Conflicts: 496000 | #Constraints: 107411
813.01/815.61 c #Conflicts: 497000 | #Constraints: 108411
813.01/815.61 c #Conflicts: 498000 | #Constraints: 109411
813.01/815.61 c #Conflicts: 499000 | #Constraints: 110411
813.01/815.61 c #Conflicts: 500000 | #Constraints: 111411
813.01/815.61 c #Conflicts: 501000 | #Constraints: 112411
813.01/815.61 c #Conflicts: 502000 | #Constraints: 113411
813.01/815.61 c #Conflicts: 503000 | #Constraints: 114411
813.01/815.61 c #Conflicts: 504000 | #Constraints: 115411
813.01/815.61 c #Conflicts: 505000 | #Constraints: 116411
813.01/815.61 c #Conflicts: 506000 | #Constraints: 117411
813.01/815.61 c #Conflicts: 507000 | #Constraints: 118411
813.01/815.61 c #Conflicts: 508000 | #Constraints: 119411
813.01/815.61 c #Conflicts: 509000 | #Constraints: 120411
813.01/815.61 c #Conflicts: 510000 | #Constraints: 121411
813.01/815.61 c #Conflicts: 511000 | #Constraints: 122411
813.01/815.61 c #Conflicts: 512000 | #Constraints: 123411
813.01/815.61 c #Conflicts: 513000 | #Constraints: 124411
983.53/986.78 c #Conflicts: 514000 | #Constraints: 125411
983.53/986.78 c #Conflicts: 515000 | #Constraints: 126411
983.53/986.78 c #Conflicts: 516000 | #Constraints: 127411
983.53/986.78 c #Conflicts: 517000 | #Constraints: 128411
983.53/986.78 c #Conflicts: 518000 | #Constraints: 129411
983.53/986.78 c #Conflicts: 519000 | #Constraints: 130411
983.53/986.78 c #Conflicts: 520000 | #Constraints: 131411
983.53/986.78 c #Conflicts: 521000 | #Constraints: 132411
983.53/986.78 c #Conflicts: 522000 | #Constraints: 133411
983.53/986.78 c #Conflicts: 523000 | #Constraints: 134411
983.53/986.78 c #Conflicts: 524000 | #Constraints: 135411
983.53/986.78 c #Conflicts: 525000 | #Constraints: 136411
983.53/986.78 c INPROCESSING
983.53/986.78 c GARBAGE COLLECT
983.53/986.78 c #Conflicts: 526000 | #Constraints: 100589
983.53/986.78 c #Conflicts: 527000 | #Constraints: 101589
983.53/986.78 c #Conflicts: 528000 | #Constraints: 102589
983.53/986.78 c #Conflicts: 529000 | #Constraints: 103589
983.53/986.78 c #Conflicts: 530000 | #Constraints: 104589
983.53/986.78 c #Conflicts: 531000 | #Constraints: 105589
983.53/986.78 c #Conflicts: 532000 | #Constraints: 106589
983.53/986.78 c #Conflicts: 533000 | #Constraints: 107589
983.53/986.78 c #Conflicts: 534000 | #Constraints: 108589
983.53/986.78 c #Conflicts: 535000 | #Constraints: 109589
983.53/986.78 c #Conflicts: 536000 | #Constraints: 110589
983.53/986.78 c #Conflicts: 537000 | #Constraints: 111589
983.53/986.78 c #Conflicts: 538000 | #Constraints: 112589
983.53/986.78 c #Conflicts: 539000 | #Constraints: 113589
983.53/986.78 c #Conflicts: 540000 | #Constraints: 114589
983.53/986.78 c INPROCESSING
983.53/986.78 c GARBAGE COLLECT
983.53/986.78 c #Conflicts: 541000 | #Constraints: 89371
983.53/986.78 c #Conflicts: 542000 | #Constraints: 90371
983.53/986.78 c #Conflicts: 543000 | #Constraints: 91371
983.53/986.78 c #Conflicts: 544000 | #Constraints: 92371
983.53/986.78 c #Conflicts: 545000 | #Constraints: 93371
983.53/986.78 c #Conflicts: 546000 | #Constraints: 94371
983.53/986.78 c #Conflicts: 547000 | #Constraints: 95371
983.53/986.78 c #Conflicts: 548000 | #Constraints: 96371
983.53/986.78 c #Conflicts: 549000 | #Constraints: 97371
983.53/986.78 c #Conflicts: 550000 | #Constraints: 98371
983.53/986.78 c #Conflicts: 551000 | #Constraints: 99371
983.53/986.78 c #Conflicts: 552000 | #Constraints: 100371
983.53/986.78 c #Conflicts: 553000 | #Constraints: 101371
983.53/986.78 c #Conflicts: 554000 | #Constraints: 102371
983.53/986.78 c #Conflicts: 555000 | #Constraints: 103371
983.53/986.78 c #Conflicts: 556000 | #Constraints: 104371
983.53/986.78 c INPROCESSING
983.53/986.78 c GARBAGE COLLECT
983.53/986.78 c #Conflicts: 557000 | #Constraints: 84373
983.53/986.78 c #Conflicts: 558000 | #Constraints: 85373
983.53/986.78 c #Conflicts: 559000 | #Constraints: 86373
983.53/986.78 c #Conflicts: 560000 | #Constraints: 87373
983.53/986.78 c #Conflicts: 561000 | #Constraints: 88373
983.53/986.78 c #Conflicts: 562000 | #Constraints: 89373
983.53/986.78 c #Conflicts: 563000 | #Constraints: 90373
983.53/986.78 c #Conflicts: 564000 | #Constraints: 91373
983.53/986.78 c #Conflicts: 565000 | #Constraints: 92373
983.53/986.78 c #Conflicts: 566000 | #Constraints: 93373
983.53/986.78 c #Conflicts: 567000 | #Constraints: 94373
983.53/986.78 c #Conflicts: 568000 | #Constraints: 95373
983.53/986.78 c #Conflicts: 569000 | #Constraints: 96373
983.53/986.78 c #Conflicts: 570000 | #Constraints: 97373
983.53/986.78 c #Conflicts: 571000 | #Constraints: 98373
983.53/986.78 c #Conflicts: 572000 | #Constraints: 99373
983.53/986.78 c INPROCESSING
983.53/986.78 c GARBAGE COLLECT
983.53/986.78 c #Conflicts: 573000 | #Constraints: 81893
983.53/986.78 c #Conflicts: 574000 | #Constraints: 82893
983.53/986.78 c #Conflicts: 575000 | #Constraints: 83893
983.53/986.78 c #Conflicts: 576000 | #Constraints: 84893
983.53/986.78 c #Conflicts: 577000 | #Constraints: 85893
983.53/986.78 c #Conflicts: 578000 | #Constraints: 86893
983.53/986.78 c #Conflicts: 579000 | #Constraints: 87893
983.53/986.78 c #Conflicts: 580000 | #Constraints: 88893
983.53/986.78 c #Conflicts: 581000 | #Constraints: 89893
983.53/986.78 c #Conflicts: 582000 | #Constraints: 90893
983.53/986.78 c #Conflicts: 583000 | #Constraints: 91893
983.53/986.78 c #Conflicts: 584000 | #Constraints: 92893
983.53/986.78 c #Conflicts: 585000 | #Constraints: 93893
983.53/986.78 c #Conflicts: 586000 | #Constraints: 94893
983.53/986.78 c #Conflicts: 587000 | #Constraints: 95893
983.53/986.78 c #Conflicts: 588000 | #Constraints: 96893
983.53/986.78 c INPROCESSING
983.53/986.78 c GARBAGE COLLECT
983.53/986.78 c #Conflicts: 589000 | #Constraints: 80541
1067.26/1070.70 c #Conflicts: 590000 | #Constraints: 81541
1067.26/1070.70 c #Conflicts: 591000 | #Constraints: 82541
1067.26/1070.70 c #Conflicts: 592000 | #Constraints: 83541
1067.26/1070.70 c #Conflicts: 593000 | #Constraints: 84541
1067.26/1070.70 c #Conflicts: 594000 | #Constraints: 85541
1067.26/1070.70 c #Conflicts: 595000 | #Constraints: 86541
1067.26/1070.70 c #Conflicts: 596000 | #Constraints: 87541
1067.26/1070.70 c #Conflicts: 597000 | #Constraints: 88541
1067.26/1070.70 c #Conflicts: 598000 | #Constraints: 89541
1067.26/1070.70 c #Conflicts: 599000 | #Constraints: 90541
1067.26/1070.70 c #Conflicts: 600000 | #Constraints: 91541
1067.26/1070.70 c #Conflicts: 601000 | #Constraints: 92541
1067.26/1070.70 c #Conflicts: 602000 | #Constraints: 93541
1067.26/1070.70 c #Conflicts: 603000 | #Constraints: 94541
1067.26/1070.70 c #Conflicts: 604000 | #Constraints: 95541
1067.26/1070.70 c #Conflicts: 605000 | #Constraints: 96541
1067.26/1070.70 c INPROCESSING
1067.26/1070.70 c GARBAGE COLLECT
1067.26/1070.70 c #Conflicts: 606000 | #Constraints: 80662
1067.26/1070.70 c #Conflicts: 607000 | #Constraints: 81662
1067.26/1070.70 c #Conflicts: 608000 | #Constraints: 82662
1067.26/1070.70 c #Conflicts: 609000 | #Constraints: 83662
1067.26/1070.70 c #Conflicts: 610000 | #Constraints: 84662
1067.26/1070.70 c #Conflicts: 611000 | #Constraints: 85662
1067.26/1070.70 c #Conflicts: 612000 | #Constraints: 86662
1067.26/1070.70 c #Conflicts: 613000 | #Constraints: 87662
1067.26/1070.70 c #Conflicts: 614000 | #Constraints: 88662
1067.26/1070.70 c #Conflicts: 615000 | #Constraints: 89662
1067.26/1070.70 c #Conflicts: 616000 | #Constraints: 90662
1067.26/1070.70 c #Conflicts: 617000 | #Constraints: 91662
1067.26/1070.70 c #Conflicts: 618000 | #Constraints: 92662
1067.26/1070.70 c #Conflicts: 619000 | #Constraints: 93662
1067.26/1070.70 c #Conflicts: 620000 | #Constraints: 94662
1067.26/1070.70 c #Conflicts: 621000 | #Constraints: 95662
1067.26/1070.70 c INPROCESSING
1067.26/1070.70 c GARBAGE COLLECT
1067.26/1070.70 c #Conflicts: 622000 | #Constraints: 79920
1067.26/1070.70 c #Conflicts: 623000 | #Constraints: 80920
1067.26/1070.70 c #Conflicts: 624000 | #Constraints: 81920
1067.26/1070.70 c #Conflicts: 625000 | #Constraints: 82920
1067.26/1070.70 c #Conflicts: 626000 | #Constraints: 83920
1067.26/1070.70 c #Conflicts: 627000 | #Constraints: 84920
1067.26/1070.70 c #Conflicts: 628000 | #Constraints: 85920
1067.26/1070.70 c #Conflicts: 629000 | #Constraints: 86920
1067.26/1070.70 c #Conflicts: 630000 | #Constraints: 87920
1067.26/1070.70 c #Conflicts: 631000 | #Constraints: 88920
1067.26/1070.70 c #Conflicts: 632000 | #Constraints: 89920
1067.26/1070.70 c #Conflicts: 633000 | #Constraints: 90920
1067.26/1070.70 c #Conflicts: 634000 | #Constraints: 91920
1067.26/1070.70 c #Conflicts: 635000 | #Constraints: 92920
1067.26/1070.70 c #Conflicts: 636000 | #Constraints: 93920
1067.26/1070.70 c #Conflicts: 637000 | #Constraints: 94920
1067.26/1070.70 c #Conflicts: 638000 | #Constraints: 95920
1067.26/1070.70 c INPROCESSING
1067.26/1070.70 c GARBAGE COLLECT
1067.26/1070.70 c #Conflicts: 639000 | #Constraints: 80144
1067.26/1070.70 c #Conflicts: 640000 | #Constraints: 81144
1067.26/1070.70 c #Conflicts: 641000 | #Constraints: 82144
1067.26/1070.70 c #Conflicts: 642000 | #Constraints: 83144
1067.26/1070.70 c #Conflicts: 643000 | #Constraints: 84144
1067.26/1070.70 c #Conflicts: 644000 | #Constraints: 85144
1067.26/1070.70 c #Conflicts: 645000 | #Constraints: 86144
1067.26/1070.70 c #Conflicts: 646000 | #Constraints: 87144
1067.26/1070.70 c #Conflicts: 647000 | #Constraints: 88144
1067.26/1070.70 c #Conflicts: 648000 | #Constraints: 89144
1067.26/1070.70 c #Conflicts: 649000 | #Constraints: 90144
1067.26/1070.70 c #Conflicts: 650000 | #Constraints: 91144
1067.26/1070.70 c #Conflicts: 651000 | #Constraints: 92144
1067.26/1070.70 c #Conflicts: 652000 | #Constraints: 93144
1067.26/1070.70 c #Conflicts: 653000 | #Constraints: 94144
1067.26/1070.70 c #Conflicts: 654000 | #Constraints: 95144
1067.26/1070.70 c #Conflicts: 655000 | #Constraints: 96144
1067.26/1070.70 c INPROCESSING
1067.26/1070.70 c GARBAGE COLLECT
1067.26/1070.70 c #Conflicts: 656000 | #Constraints: 80256
1067.26/1070.70 c #Conflicts: 657000 | #Constraints: 81256
1067.26/1070.70 c #Conflicts: 658000 | #Constraints: 82256
1067.26/1070.70 c #Conflicts: 659000 | #Constraints: 83256
1067.26/1070.70 c #Conflicts: 660000 | #Constraints: 84256
1067.26/1070.70 c #Conflicts: 661000 | #Constraints: 85256
1067.26/1070.70 c #Conflicts: 662000 | #Constraints: 86256
1067.26/1070.70 c #Conflicts: 663000 | #Constraints: 87256
1067.26/1070.70 c #Conflicts: 664000 | #Constraints: 88256
1067.26/1070.70 c #Conflicts: 665000 | #Constraints: 89256
1224.55/1228.55 c #Conflicts: 666000 | #Constraints: 90256
1224.55/1228.55 c #Conflicts: 667000 | #Constraints: 91256
1224.55/1228.55 c #Conflicts: 668000 | #Constraints: 92256
1224.55/1228.55 c #Conflicts: 669000 | #Constraints: 93256
1224.55/1228.55 c #Conflicts: 670000 | #Constraints: 94256
1224.55/1228.55 c #Conflicts: 671000 | #Constraints: 95256
1224.55/1228.55 c #Conflicts: 672000 | #Constraints: 96256
1224.55/1228.55 c INPROCESSING
1224.55/1228.55 c GARBAGE COLLECT
1224.55/1228.55 c #Conflicts: 673000 | #Constraints: 80217
1224.55/1228.55 c #Conflicts: 674000 | #Constraints: 81217
1224.55/1228.55 c #Conflicts: 675000 | #Constraints: 82217
1224.55/1228.55 c #Conflicts: 676000 | #Constraints: 83217
1224.55/1228.55 c #Conflicts: 677000 | #Constraints: 84217
1224.55/1228.55 c #Conflicts: 678000 | #Constraints: 85217
1224.55/1228.55 c #Conflicts: 679000 | #Constraints: 86217
1224.55/1228.55 c #Conflicts: 680000 | #Constraints: 87217
1224.55/1228.55 c #Conflicts: 681000 | #Constraints: 88217
1224.55/1228.55 c #Conflicts: 682000 | #Constraints: 89217
1224.55/1228.55 c #Conflicts: 683000 | #Constraints: 90217
1224.55/1228.55 c #Conflicts: 684000 | #Constraints: 91217
1224.55/1228.55 c #Conflicts: 685000 | #Constraints: 92217
1224.55/1228.55 c #Conflicts: 686000 | #Constraints: 93217
1224.55/1228.55 c #Conflicts: 687000 | #Constraints: 94217
1224.55/1228.55 c #Conflicts: 688000 | #Constraints: 95217
1224.55/1228.55 c #Conflicts: 689000 | #Constraints: 96217
1224.55/1228.55 c #Conflicts: 690000 | #Constraints: 97217
1224.55/1228.55 c #Conflicts: 691000 | #Constraints: 98217
1224.55/1228.55 c #Conflicts: 692000 | #Constraints: 99217
1224.55/1228.55 c #Conflicts: 693000 | #Constraints: 100217
1224.55/1228.55 c #Conflicts: 694000 | #Constraints: 101217
1224.55/1228.55 c #Conflicts: 695000 | #Constraints: 102217
1224.55/1228.55 c #Conflicts: 696000 | #Constraints: 103217
1224.55/1228.55 c #Conflicts: 697000 | #Constraints: 104217
1224.55/1228.55 c #Conflicts: 698000 | #Constraints: 105217
1224.55/1228.55 c #Conflicts: 699000 | #Constraints: 106217
1224.55/1228.55 c #Conflicts: 700000 | #Constraints: 107217
1224.55/1228.55 c #Conflicts: 701000 | #Constraints: 108217
1224.55/1228.55 c #Conflicts: 702000 | #Constraints: 109217
1224.55/1228.55 c #Conflicts: 703000 | #Constraints: 110217
1224.55/1228.55 c #Conflicts: 704000 | #Constraints: 111217
1224.55/1228.55 c #Conflicts: 705000 | #Constraints: 112217
1224.55/1228.55 c #Conflicts: 706000 | #Constraints: 113217
1224.55/1228.55 c #Conflicts: 707000 | #Constraints: 114217
1224.55/1228.55 c #Conflicts: 708000 | #Constraints: 115217
1224.55/1228.55 c #Conflicts: 709000 | #Constraints: 116217
1224.55/1228.55 c #Conflicts: 710000 | #Constraints: 117217
1224.55/1228.55 c #Conflicts: 711000 | #Constraints: 118217
1224.55/1228.55 c #Conflicts: 712000 | #Constraints: 119217
1224.55/1228.55 c #Conflicts: 713000 | #Constraints: 120217
1224.55/1228.55 c #Conflicts: 714000 | #Constraints: 121217
1224.55/1228.55 c #Conflicts: 715000 | #Constraints: 122217
1224.55/1228.55 c #Conflicts: 716000 | #Constraints: 123217
1224.55/1228.55 c #Conflicts: 717000 | #Constraints: 124217
1224.55/1228.55 c #Conflicts: 718000 | #Constraints: 125217
1224.55/1228.55 c #Conflicts: 719000 | #Constraints: 126217
1224.55/1228.55 c #Conflicts: 720000 | #Constraints: 127217
1224.55/1228.55 c #Conflicts: 721000 | #Constraints: 128217
1224.55/1228.55 c #Conflicts: 722000 | #Constraints: 129217
1224.55/1228.55 c #Conflicts: 723000 | #Constraints: 130217
1224.55/1228.55 c #Conflicts: 724000 | #Constraints: 131217
1224.55/1228.55 c #Conflicts: 725000 | #Constraints: 132217
1224.55/1228.55 c #Conflicts: 726000 | #Constraints: 133217
1224.55/1228.55 c #Conflicts: 727000 | #Constraints: 134217
1224.55/1228.55 c #Conflicts: 728000 | #Constraints: 135217
1224.55/1228.55 c #Conflicts: 729000 | #Constraints: 136217
1224.55/1228.55 c #Conflicts: 730000 | #Constraints: 137217
1224.55/1228.55 c #Conflicts: 731000 | #Constraints: 138217
1224.55/1228.55 c #Conflicts: 732000 | #Constraints: 139217
1224.55/1228.55 c #Conflicts: 733000 | #Constraints: 140217
1224.55/1228.55 c #Conflicts: 734000 | #Constraints: 141217
1224.55/1228.55 c #Conflicts: 735000 | #Constraints: 142217
1224.55/1228.55 c #Conflicts: 736000 | #Constraints: 143217
1224.55/1228.55 c #Conflicts: 737000 | #Constraints: 144217
1224.55/1228.55 c bounds -162 >= -179 @ 1215.27
1224.55/1228.55 c #Conflicts: 738000 | #Constraints: 145233
1224.55/1228.55 c #Conflicts: 739000 | #Constraints: 146233
1224.55/1228.55 c #Conflicts: 740000 | #Constraints: 147233
1224.55/1228.55 c #Conflicts: 741000 | #Constraints: 148233
1224.55/1228.55 c #Conflicts: 742000 | #Constraints: 149233
1224.55/1228.55 c #Conflicts: 743000 | #Constraints: 150233
1299.11/1303.33 c #Conflicts: 744000 | #Constraints: 151233
1299.11/1303.33 c INPROCESSING
1299.11/1303.33 c GARBAGE COLLECT
1299.11/1303.33 c #Conflicts: 745000 | #Constraints: 108013
1299.11/1303.33 c #Conflicts: 746000 | #Constraints: 109013
1299.11/1303.33 c #Conflicts: 747000 | #Constraints: 110013
1299.11/1303.33 c #Conflicts: 748000 | #Constraints: 111013
1299.11/1303.33 c #Conflicts: 749000 | #Constraints: 112013
1299.11/1303.33 c #Conflicts: 750000 | #Constraints: 113013
1299.11/1303.33 c #Conflicts: 751000 | #Constraints: 114013
1299.11/1303.33 c #Conflicts: 752000 | #Constraints: 115013
1299.11/1303.33 c #Conflicts: 753000 | #Constraints: 116013
1299.11/1303.33 c #Conflicts: 754000 | #Constraints: 117013
1299.11/1303.33 c #Conflicts: 755000 | #Constraints: 118013
1299.11/1303.33 c #Conflicts: 756000 | #Constraints: 119013
1299.11/1303.33 c #Conflicts: 757000 | #Constraints: 120013
1299.11/1303.33 c #Conflicts: 758000 | #Constraints: 121013
1299.11/1303.33 c #Conflicts: 759000 | #Constraints: 122013
1299.11/1303.33 c #Conflicts: 760000 | #Constraints: 123013
1299.11/1303.33 c #Conflicts: 761000 | #Constraints: 124013
1299.11/1303.33 c #Conflicts: 762000 | #Constraints: 125013
1299.11/1303.33 c INPROCESSING
1299.11/1303.33 c GARBAGE COLLECT
1299.11/1303.33 c #Conflicts: 763000 | #Constraints: 94651
1299.11/1303.33 c #Conflicts: 764000 | #Constraints: 95651
1299.11/1303.33 c #Conflicts: 765000 | #Constraints: 96651
1299.11/1303.33 c #Conflicts: 766000 | #Constraints: 97651
1299.11/1303.33 c #Conflicts: 767000 | #Constraints: 98651
1299.11/1303.33 c #Conflicts: 768000 | #Constraints: 99651
1299.11/1303.33 c #Conflicts: 769000 | #Constraints: 100651
1299.11/1303.33 c #Conflicts: 770000 | #Constraints: 101651
1299.11/1303.33 c #Conflicts: 771000 | #Constraints: 102651
1299.11/1303.33 c #Conflicts: 772000 | #Constraints: 103651
1299.11/1303.33 c #Conflicts: 773000 | #Constraints: 104651
1299.11/1303.33 c #Conflicts: 774000 | #Constraints: 105651
1299.11/1303.33 c #Conflicts: 775000 | #Constraints: 106651
1299.11/1303.33 c #Conflicts: 776000 | #Constraints: 107651
1299.11/1303.33 c #Conflicts: 777000 | #Constraints: 108651
1299.11/1303.33 c #Conflicts: 778000 | #Constraints: 109651
1299.11/1303.33 c #Conflicts: 779000 | #Constraints: 110651
1299.11/1303.33 c #Conflicts: 780000 | #Constraints: 111651
1299.11/1303.33 c #Conflicts: 781000 | #Constraints: 112651
1299.11/1303.34 c INPROCESSING
1299.11/1303.34 c GARBAGE COLLECT
1299.11/1303.34 c #Conflicts: 782000 | #Constraints: 88637
1299.11/1303.34 c #Conflicts: 783000 | #Constraints: 89637
1299.11/1303.34 c #Conflicts: 784000 | #Constraints: 90637
1299.11/1303.34 c #Conflicts: 785000 | #Constraints: 91637
1299.11/1303.34 c #Conflicts: 786000 | #Constraints: 92637
1299.11/1303.34 c #Conflicts: 787000 | #Constraints: 93637
1299.11/1303.34 c #Conflicts: 788000 | #Constraints: 94637
1299.11/1303.34 c #Conflicts: 789000 | #Constraints: 95637
1299.11/1303.34 c #Conflicts: 790000 | #Constraints: 96637
1299.11/1303.34 c #Conflicts: 791000 | #Constraints: 97637
1299.11/1303.34 c #Conflicts: 792000 | #Constraints: 98637
1299.11/1303.34 c #Conflicts: 793000 | #Constraints: 99637
1299.11/1303.34 c #Conflicts: 794000 | #Constraints: 100637
1299.11/1303.34 c #Conflicts: 795000 | #Constraints: 101637
1299.11/1303.34 c #Conflicts: 796000 | #Constraints: 102637
1299.11/1303.34 c #Conflicts: 797000 | #Constraints: 103637
1299.11/1303.34 c #Conflicts: 798000 | #Constraints: 104637
1299.11/1303.34 c #Conflicts: 799000 | #Constraints: 105637
1299.11/1303.34 c #Conflicts: 800000 | #Constraints: 106637
1299.11/1303.34 c INPROCESSING
1299.11/1303.34 c GARBAGE COLLECT
1299.11/1303.34 c #Conflicts: 801000 | #Constraints: 85668
1299.11/1303.34 c #Conflicts: 802000 | #Constraints: 86668
1299.11/1303.34 c #Conflicts: 803000 | #Constraints: 87668
1299.11/1303.34 c #Conflicts: 804000 | #Constraints: 88668
1299.11/1303.34 c #Conflicts: 805000 | #Constraints: 89668
1299.11/1303.34 c #Conflicts: 806000 | #Constraints: 90668
1299.11/1303.34 c #Conflicts: 807000 | #Constraints: 91668
1299.11/1303.34 c #Conflicts: 808000 | #Constraints: 92668
1299.11/1303.34 c #Conflicts: 809000 | #Constraints: 93668
1299.11/1303.34 c #Conflicts: 810000 | #Constraints: 94668
1299.11/1303.34 c #Conflicts: 811000 | #Constraints: 95668
1299.11/1303.34 c #Conflicts: 812000 | #Constraints: 96668
1299.11/1303.34 c #Conflicts: 813000 | #Constraints: 97668
1299.11/1303.34 c #Conflicts: 814000 | #Constraints: 98668
1299.11/1303.34 c #Conflicts: 815000 | #Constraints: 99668
1299.11/1303.34 c #Conflicts: 816000 | #Constraints: 100668
1299.11/1303.34 c #Conflicts: 817000 | #Constraints: 101668
1299.11/1303.34 c #Conflicts: 818000 | #Constraints: 102668
1299.11/1303.34 c #Conflicts: 819000 | #Constraints: 103668
1354.25/1358.61 c INPROCESSING
1354.25/1358.61 c GARBAGE COLLECT
1354.25/1358.61 c #Conflicts: 820000 | #Constraints: 84162
1354.25/1358.61 c #Conflicts: 821000 | #Constraints: 85162
1354.25/1358.61 c #Conflicts: 822000 | #Constraints: 86162
1354.25/1358.61 c #Conflicts: 823000 | #Constraints: 87162
1354.25/1358.61 c #Conflicts: 824000 | #Constraints: 88162
1354.25/1358.61 c #Conflicts: 825000 | #Constraints: 89162
1354.25/1358.61 c #Conflicts: 826000 | #Constraints: 90162
1354.25/1358.61 c #Conflicts: 827000 | #Constraints: 91162
1354.25/1358.61 c #Conflicts: 828000 | #Constraints: 92162
1354.25/1358.61 c #Conflicts: 829000 | #Constraints: 93162
1354.25/1358.61 c #Conflicts: 830000 | #Constraints: 94162
1354.25/1358.61 c #Conflicts: 831000 | #Constraints: 95162
1354.25/1358.61 c #Conflicts: 832000 | #Constraints: 96162
1354.25/1358.61 c #Conflicts: 833000 | #Constraints: 97162
1354.25/1358.61 c #Conflicts: 834000 | #Constraints: 98162
1354.25/1358.61 c #Conflicts: 835000 | #Constraints: 99162
1354.25/1358.61 c #Conflicts: 836000 | #Constraints: 100162
1354.25/1358.61 c #Conflicts: 837000 | #Constraints: 101162
1354.25/1358.61 c #Conflicts: 838000 | #Constraints: 102162
1354.25/1358.61 c INPROCESSING
1354.25/1358.61 c GARBAGE COLLECT
1354.25/1358.61 c #Conflicts: 839000 | #Constraints: 83228
1354.25/1358.61 c #Conflicts: 840000 | #Constraints: 84228
1354.25/1358.61 c #Conflicts: 841000 | #Constraints: 85228
1354.25/1358.61 c #Conflicts: 842000 | #Constraints: 86228
1354.25/1358.61 c #Conflicts: 843000 | #Constraints: 87228
1354.25/1358.61 c #Conflicts: 844000 | #Constraints: 88228
1354.25/1358.61 c #Conflicts: 845000 | #Constraints: 89228
1354.25/1358.61 c #Conflicts: 846000 | #Constraints: 90228
1354.25/1358.61 c #Conflicts: 847000 | #Constraints: 91228
1354.25/1358.61 c #Conflicts: 848000 | #Constraints: 92228
1354.25/1358.61 c #Conflicts: 849000 | #Constraints: 93228
1354.25/1358.61 c #Conflicts: 850000 | #Constraints: 94228
1354.25/1358.61 c #Conflicts: 851000 | #Constraints: 95228
1354.25/1358.61 c #Conflicts: 852000 | #Constraints: 96228
1354.25/1358.61 c #Conflicts: 853000 | #Constraints: 97228
1354.25/1358.61 c #Conflicts: 854000 | #Constraints: 98228
1354.25/1358.61 c #Conflicts: 855000 | #Constraints: 99228
1354.25/1358.61 c #Conflicts: 856000 | #Constraints: 100228
1354.25/1358.61 c #Conflicts: 857000 | #Constraints: 101228
1354.25/1358.61 c #Conflicts: 858000 | #Constraints: 102228
1354.25/1358.61 c INPROCESSING
1354.25/1358.61 c GARBAGE COLLECT
1354.25/1358.61 c #Conflicts: 859000 | #Constraints: 83512
1354.25/1358.61 c #Conflicts: 860000 | #Constraints: 84512
1354.25/1358.61 c #Conflicts: 861000 | #Constraints: 85512
1354.25/1358.61 c #Conflicts: 862000 | #Constraints: 86512
1354.25/1358.61 c #Conflicts: 863000 | #Constraints: 87512
1354.25/1358.61 c #Conflicts: 864000 | #Constraints: 88512
1354.25/1358.61 c #Conflicts: 865000 | #Constraints: 89512
1354.25/1358.61 c #Conflicts: 866000 | #Constraints: 90512
1354.25/1358.61 c #Conflicts: 867000 | #Constraints: 91512
1354.25/1358.61 c #Conflicts: 868000 | #Constraints: 92512
1354.25/1358.61 c #Conflicts: 869000 | #Constraints: 93512
1354.25/1358.61 c #Conflicts: 870000 | #Constraints: 94512
1354.25/1358.61 c #Conflicts: 871000 | #Constraints: 95512
1354.25/1358.61 c #Conflicts: 872000 | #Constraints: 96512
1354.25/1358.61 c #Conflicts: 873000 | #Constraints: 97512
1354.25/1358.61 c #Conflicts: 874000 | #Constraints: 98512
1354.25/1358.61 c #Conflicts: 875000 | #Constraints: 99512
1354.25/1358.61 c #Conflicts: 876000 | #Constraints: 100512
1354.25/1358.61 c #Conflicts: 877000 | #Constraints: 101512
1354.25/1358.61 c INPROCESSING
1354.25/1358.61 c GARBAGE COLLECT
1354.25/1358.61 c #Conflicts: 878000 | #Constraints: 82813
1354.25/1358.61 c #Conflicts: 879000 | #Constraints: 83813
1354.25/1358.61 c #Conflicts: 880000 | #Constraints: 84813
1354.25/1358.61 c #Conflicts: 881000 | #Constraints: 85813
1354.25/1358.61 c #Conflicts: 882000 | #Constraints: 86813
1354.25/1358.61 c #Conflicts: 883000 | #Constraints: 87813
1354.25/1358.61 c #Conflicts: 884000 | #Constraints: 88813
1354.25/1358.61 c #Conflicts: 885000 | #Constraints: 89813
1354.25/1358.61 c #Conflicts: 886000 | #Constraints: 90813
1354.25/1358.61 c #Conflicts: 887000 | #Constraints: 91813
1354.25/1358.61 c #Conflicts: 888000 | #Constraints: 92813
1354.25/1358.61 c #Conflicts: 889000 | #Constraints: 93813
1354.25/1358.61 c #Conflicts: 890000 | #Constraints: 94813
1354.25/1358.61 c #Conflicts: 891000 | #Constraints: 95813
1354.25/1358.61 c #Conflicts: 892000 | #Constraints: 96813
1354.25/1358.61 c #Conflicts: 893000 | #Constraints: 97813
1354.25/1358.61 c #Conflicts: 894000 | #Constraints: 98813
1354.25/1358.61 c #Conflicts: 895000 | #Constraints: 99813
1407.68/1412.22 c #Conflicts: 896000 | #Constraints: 100813
1407.68/1412.22 c #Conflicts: 897000 | #Constraints: 101813
1407.68/1412.22 c INPROCESSING
1407.68/1412.22 c GARBAGE COLLECT
1407.68/1412.22 c #Conflicts: 898000 | #Constraints: 83002
1407.68/1412.22 c #Conflicts: 899000 | #Constraints: 84002
1407.68/1412.22 c #Conflicts: 900000 | #Constraints: 85002
1407.68/1412.22 c #Conflicts: 901000 | #Constraints: 86002
1407.68/1412.22 c #Conflicts: 902000 | #Constraints: 87002
1407.68/1412.22 c #Conflicts: 903000 | #Constraints: 88002
1407.68/1412.22 c #Conflicts: 904000 | #Constraints: 89002
1407.68/1412.22 c #Conflicts: 905000 | #Constraints: 90002
1407.68/1412.22 c #Conflicts: 906000 | #Constraints: 91002
1407.68/1412.22 c #Conflicts: 907000 | #Constraints: 92002
1407.68/1412.22 c #Conflicts: 908000 | #Constraints: 93002
1407.68/1412.22 c #Conflicts: 909000 | #Constraints: 94002
1407.68/1412.22 c #Conflicts: 910000 | #Constraints: 95002
1407.68/1412.22 c #Conflicts: 911000 | #Constraints: 96002
1407.68/1412.22 c #Conflicts: 912000 | #Constraints: 97002
1407.68/1412.22 c #Conflicts: 913000 | #Constraints: 98002
1407.68/1412.22 c #Conflicts: 914000 | #Constraints: 99002
1407.68/1412.22 c #Conflicts: 915000 | #Constraints: 100002
1407.68/1412.22 c #Conflicts: 916000 | #Constraints: 101002
1407.68/1412.22 c #Conflicts: 917000 | #Constraints: 102002
1407.68/1412.22 c INPROCESSING
1407.68/1412.22 c GARBAGE COLLECT
1407.68/1412.22 c #Conflicts: 918000 | #Constraints: 83051
1407.68/1412.22 c #Conflicts: 919000 | #Constraints: 84051
1407.68/1412.22 c #Conflicts: 920000 | #Constraints: 85051
1407.68/1412.22 c #Conflicts: 921000 | #Constraints: 86051
1407.68/1412.22 c #Conflicts: 922000 | #Constraints: 87051
1407.68/1412.22 c #Conflicts: 923000 | #Constraints: 88051
1407.68/1412.22 c #Conflicts: 924000 | #Constraints: 89051
1407.68/1412.22 c #Conflicts: 925000 | #Constraints: 90051
1407.68/1412.22 c #Conflicts: 926000 | #Constraints: 91051
1407.68/1412.22 c #Conflicts: 927000 | #Constraints: 92051
1407.68/1412.22 c #Conflicts: 928000 | #Constraints: 93051
1407.68/1412.22 c #Conflicts: 929000 | #Constraints: 94051
1407.68/1412.22 c #Conflicts: 930000 | #Constraints: 95051
1407.68/1412.22 c #Conflicts: 931000 | #Constraints: 96051
1407.68/1412.22 c #Conflicts: 932000 | #Constraints: 97051
1407.68/1412.22 c #Conflicts: 933000 | #Constraints: 98051
1407.68/1412.22 c #Conflicts: 934000 | #Constraints: 99051
1407.68/1412.22 c #Conflicts: 935000 | #Constraints: 100051
1407.68/1412.22 c #Conflicts: 936000 | #Constraints: 101051
1407.68/1412.22 c #Conflicts: 937000 | #Constraints: 102051
1407.68/1412.22 c #Conflicts: 938000 | #Constraints: 103051
1407.68/1412.22 c INPROCESSING
1407.68/1412.22 c GARBAGE COLLECT
1407.68/1412.22 c #Conflicts: 939000 | #Constraints: 83918
1407.68/1412.22 c #Conflicts: 940000 | #Constraints: 84918
1407.68/1412.22 c #Conflicts: 941000 | #Constraints: 85918
1407.68/1412.22 c #Conflicts: 942000 | #Constraints: 86918
1407.68/1412.22 c #Conflicts: 943000 | #Constraints: 87918
1407.68/1412.22 c #Conflicts: 944000 | #Constraints: 88918
1407.68/1412.22 c #Conflicts: 945000 | #Constraints: 89918
1407.68/1412.22 c #Conflicts: 946000 | #Constraints: 90918
1407.68/1412.22 c #Conflicts: 947000 | #Constraints: 91918
1407.68/1412.22 c #Conflicts: 948000 | #Constraints: 92918
1407.68/1412.22 c #Conflicts: 949000 | #Constraints: 93918
1407.68/1412.22 c #Conflicts: 950000 | #Constraints: 94918
1407.68/1412.22 c #Conflicts: 951000 | #Constraints: 95918
1407.68/1412.22 c #Conflicts: 952000 | #Constraints: 96918
1407.68/1412.22 c #Conflicts: 953000 | #Constraints: 97918
1407.68/1412.22 c #Conflicts: 954000 | #Constraints: 98918
1407.68/1412.22 c #Conflicts: 955000 | #Constraints: 99918
1407.68/1412.22 c #Conflicts: 956000 | #Constraints: 100918
1407.68/1412.22 c #Conflicts: 957000 | #Constraints: 101918
1407.68/1412.22 c #Conflicts: 958000 | #Constraints: 102918
1407.68/1412.22 c INPROCESSING
1407.68/1412.22 c GARBAGE COLLECT
1407.68/1412.22 c #Conflicts: 959000 | #Constraints: 83614
1407.68/1412.22 c #Conflicts: 960000 | #Constraints: 84614
1407.68/1412.22 c #Conflicts: 961000 | #Constraints: 85614
1407.68/1412.22 c #Conflicts: 962000 | #Constraints: 86614
1407.68/1412.22 c #Conflicts: 963000 | #Constraints: 87614
1407.68/1412.22 c #Conflicts: 964000 | #Constraints: 88614
1407.68/1412.22 c #Conflicts: 965000 | #Constraints: 89614
1407.68/1412.22 c #Conflicts: 966000 | #Constraints: 90614
1407.68/1412.22 c #Conflicts: 967000 | #Constraints: 91614
1407.68/1412.22 c #Conflicts: 968000 | #Constraints: 92614
1407.68/1412.22 c #Conflicts: 969000 | #Constraints: 93614
1407.68/1412.22 c #Conflicts: 970000 | #Constraints: 94614
1407.68/1412.22 c #Conflicts: 971000 | #Constraints: 95614
1461.40/1466.19 c #Conflicts: 972000 | #Constraints: 96614
1461.40/1466.19 c #Conflicts: 973000 | #Constraints: 97614
1461.40/1466.19 c #Conflicts: 974000 | #Constraints: 98614
1461.40/1466.19 c #Conflicts: 975000 | #Constraints: 99614
1461.40/1466.19 c #Conflicts: 976000 | #Constraints: 100614
1461.40/1466.19 c #Conflicts: 977000 | #Constraints: 101614
1461.40/1466.19 c #Conflicts: 978000 | #Constraints: 102614
1461.40/1466.19 c #Conflicts: 979000 | #Constraints: 103614
1461.40/1466.19 c INPROCESSING
1461.40/1466.19 c GARBAGE COLLECT
1461.40/1466.19 c #Conflicts: 980000 | #Constraints: 84134
1461.40/1466.19 c #Conflicts: 981000 | #Constraints: 85134
1461.40/1466.19 c #Conflicts: 982000 | #Constraints: 86134
1461.40/1466.19 c #Conflicts: 983000 | #Constraints: 87134
1461.40/1466.19 c #Conflicts: 984000 | #Constraints: 88134
1461.40/1466.19 c #Conflicts: 985000 | #Constraints: 89134
1461.40/1466.19 c #Conflicts: 986000 | #Constraints: 90134
1461.40/1466.19 c #Conflicts: 987000 | #Constraints: 91134
1461.40/1466.19 c #Conflicts: 988000 | #Constraints: 92134
1461.40/1466.19 c #Conflicts: 989000 | #Constraints: 93134
1461.40/1466.19 c #Conflicts: 990000 | #Constraints: 94134
1461.40/1466.19 c #Conflicts: 991000 | #Constraints: 95134
1461.40/1466.19 c #Conflicts: 992000 | #Constraints: 96134
1461.40/1466.19 c #Conflicts: 993000 | #Constraints: 97134
1461.40/1466.19 c #Conflicts: 994000 | #Constraints: 98134
1461.40/1466.19 c #Conflicts: 995000 | #Constraints: 99134
1461.40/1466.19 c #Conflicts: 996000 | #Constraints: 100134
1461.40/1466.19 c #Conflicts: 997000 | #Constraints: 101134
1461.40/1466.19 c #Conflicts: 998000 | #Constraints: 102134
1461.40/1466.19 c #Conflicts: 999000 | #Constraints: 103134
1461.40/1466.19 c #Conflicts: 1000000 | #Constraints: 104134
1461.40/1466.19 c INPROCESSING
1461.40/1466.19 c GARBAGE COLLECT
1461.40/1466.19 c #Conflicts: 1001000 | #Constraints: 84415
1461.40/1466.19 c #Conflicts: 1002000 | #Constraints: 85415
1461.40/1466.19 c #Conflicts: 1003000 | #Constraints: 86415
1461.40/1466.19 c #Conflicts: 1004000 | #Constraints: 87415
1461.40/1466.19 c #Conflicts: 1005000 | #Constraints: 88415
1461.40/1466.19 c #Conflicts: 1006000 | #Constraints: 89415
1461.40/1466.19 c #Conflicts: 1007000 | #Constraints: 90415
1461.40/1466.19 c #Conflicts: 1008000 | #Constraints: 91415
1461.40/1466.19 c #Conflicts: 1009000 | #Constraints: 92415
1461.40/1466.19 c #Conflicts: 1010000 | #Constraints: 93415
1461.40/1466.19 c #Conflicts: 1011000 | #Constraints: 94415
1461.40/1466.19 c #Conflicts: 1012000 | #Constraints: 95415
1461.40/1466.19 c #Conflicts: 1013000 | #Constraints: 96415
1461.40/1466.19 c #Conflicts: 1014000 | #Constraints: 97415
1461.40/1466.19 c #Conflicts: 1015000 | #Constraints: 98415
1461.40/1466.19 c #Conflicts: 1016000 | #Constraints: 99415
1461.40/1466.19 c #Conflicts: 1017000 | #Constraints: 100415
1461.40/1466.19 c #Conflicts: 1018000 | #Constraints: 101415
1461.40/1466.19 c #Conflicts: 1019000 | #Constraints: 102415
1461.40/1466.19 c #Conflicts: 1020000 | #Constraints: 103415
1461.40/1466.19 c #Conflicts: 1021000 | #Constraints: 104415
1461.40/1466.19 c INPROCESSING
1461.40/1466.19 c GARBAGE COLLECT
1461.40/1466.19 c #Conflicts: 1022000 | #Constraints: 84507
1461.40/1466.19 c #Conflicts: 1023000 | #Constraints: 85507
1461.40/1466.19 c #Conflicts: 1024000 | #Constraints: 86507
1461.40/1466.19 c #Conflicts: 1025000 | #Constraints: 87507
1461.40/1466.19 c #Conflicts: 1026000 | #Constraints: 88507
1461.40/1466.19 c #Conflicts: 1027000 | #Constraints: 89507
1461.40/1466.19 c #Conflicts: 1028000 | #Constraints: 90507
1461.40/1466.19 c #Conflicts: 1029000 | #Constraints: 91507
1461.40/1466.19 c #Conflicts: 1030000 | #Constraints: 92507
1461.40/1466.19 c #Conflicts: 1031000 | #Constraints: 93507
1461.40/1466.19 c #Conflicts: 1032000 | #Constraints: 94507
1461.40/1466.19 c #Conflicts: 1033000 | #Constraints: 95507
1461.40/1466.19 c #Conflicts: 1034000 | #Constraints: 96507
1461.40/1466.19 c #Conflicts: 1035000 | #Constraints: 97507
1461.40/1466.19 c #Conflicts: 1036000 | #Constraints: 98507
1461.40/1466.19 c #Conflicts: 1037000 | #Constraints: 99507
1461.40/1466.19 c #Conflicts: 1038000 | #Constraints: 100507
1461.40/1466.19 c #Conflicts: 1039000 | #Constraints: 101507
1461.40/1466.19 c #Conflicts: 1040000 | #Constraints: 102507
1461.40/1466.19 c #Conflicts: 1041000 | #Constraints: 103507
1461.40/1466.19 c #Conflicts: 1042000 | #Constraints: 104507
1461.40/1466.19 c INPROCESSING
1461.40/1466.19 c GARBAGE COLLECT
1461.40/1466.19 c #Conflicts: 1043000 | #Constraints: 84419
1461.40/1466.19 c #Conflicts: 1044000 | #Constraints: 85419
1461.40/1466.19 c #Conflicts: 1045000 | #Constraints: 86419
1461.40/1466.19 c #Conflicts: 1046000 | #Constraints: 87419
1461.40/1466.19 c #Conflicts: 1047000 | #Constraints: 88419
1461.40/1466.19 c #Conflicts: 1048000 | #Constraints: 89419
1519.61/1524.57 c #Conflicts: 1049000 | #Constraints: 90419
1519.61/1524.57 c #Conflicts: 1050000 | #Constraints: 91419
1519.61/1524.57 c #Conflicts: 1051000 | #Constraints: 92419
1519.61/1524.57 c #Conflicts: 1052000 | #Constraints: 93419
1519.61/1524.57 c #Conflicts: 1053000 | #Constraints: 94419
1519.61/1524.57 c #Conflicts: 1054000 | #Constraints: 95419
1519.61/1524.57 c #Conflicts: 1055000 | #Constraints: 96419
1519.61/1524.57 c #Conflicts: 1056000 | #Constraints: 97419
1519.61/1524.57 c #Conflicts: 1057000 | #Constraints: 98419
1519.61/1524.57 c #Conflicts: 1058000 | #Constraints: 99419
1519.61/1524.57 c #Conflicts: 1059000 | #Constraints: 100419
1519.61/1524.57 c #Conflicts: 1060000 | #Constraints: 101419
1519.61/1524.57 c #Conflicts: 1061000 | #Constraints: 102419
1519.61/1524.57 c #Conflicts: 1062000 | #Constraints: 103419
1519.61/1524.57 c #Conflicts: 1063000 | #Constraints: 104419
1519.61/1524.57 c #Conflicts: 1064000 | #Constraints: 105419
1519.61/1524.57 c INPROCESSING
1519.61/1524.57 c GARBAGE COLLECT
1519.61/1524.57 c #Conflicts: 1065000 | #Constraints: 85125
1519.61/1524.57 c #Conflicts: 1066000 | #Constraints: 86125
1519.61/1524.57 c #Conflicts: 1067000 | #Constraints: 87125
1519.61/1524.57 c #Conflicts: 1068000 | #Constraints: 88125
1519.61/1524.57 c #Conflicts: 1069000 | #Constraints: 89125
1519.61/1524.57 c #Conflicts: 1070000 | #Constraints: 90125
1519.61/1524.57 c #Conflicts: 1071000 | #Constraints: 91125
1519.61/1524.57 c #Conflicts: 1072000 | #Constraints: 92125
1519.61/1524.57 c #Conflicts: 1073000 | #Constraints: 93125
1519.61/1524.57 c #Conflicts: 1074000 | #Constraints: 94125
1519.61/1524.57 c #Conflicts: 1075000 | #Constraints: 95125
1519.61/1524.57 c #Conflicts: 1076000 | #Constraints: 96125
1519.61/1524.57 c #Conflicts: 1077000 | #Constraints: 97125
1519.61/1524.57 c #Conflicts: 1078000 | #Constraints: 98125
1519.61/1524.57 c #Conflicts: 1079000 | #Constraints: 99125
1519.61/1524.57 c #Conflicts: 1080000 | #Constraints: 100125
1519.61/1524.57 c #Conflicts: 1081000 | #Constraints: 101125
1519.61/1524.57 c #Conflicts: 1082000 | #Constraints: 102125
1519.61/1524.57 c #Conflicts: 1083000 | #Constraints: 103125
1519.61/1524.57 c #Conflicts: 1084000 | #Constraints: 104125
1519.61/1524.57 c #Conflicts: 1085000 | #Constraints: 105125
1519.61/1524.57 c INPROCESSING
1519.61/1524.57 c GARBAGE COLLECT
1519.61/1524.57 c #Conflicts: 1086000 | #Constraints: 84619
1519.61/1524.57 c #Conflicts: 1087000 | #Constraints: 85619
1519.61/1524.57 c #Conflicts: 1088000 | #Constraints: 86619
1519.61/1524.57 c #Conflicts: 1089000 | #Constraints: 87619
1519.61/1524.57 c #Conflicts: 1090000 | #Constraints: 88619
1519.61/1524.57 c #Conflicts: 1091000 | #Constraints: 89619
1519.61/1524.57 c #Conflicts: 1092000 | #Constraints: 90619
1519.61/1524.57 c #Conflicts: 1093000 | #Constraints: 91619
1519.61/1524.57 c #Conflicts: 1094000 | #Constraints: 92619
1519.61/1524.57 c #Conflicts: 1095000 | #Constraints: 93619
1519.61/1524.57 c #Conflicts: 1096000 | #Constraints: 94619
1519.61/1524.57 c #Conflicts: 1097000 | #Constraints: 95619
1519.61/1524.57 c #Conflicts: 1098000 | #Constraints: 96619
1519.61/1524.57 c #Conflicts: 1099000 | #Constraints: 97619
1519.61/1524.57 c #Conflicts: 1100000 | #Constraints: 98619
1519.61/1524.57 c #Conflicts: 1101000 | #Constraints: 99619
1519.61/1524.57 c #Conflicts: 1102000 | #Constraints: 100619
1519.61/1524.57 c #Conflicts: 1103000 | #Constraints: 101619
1519.61/1524.57 c #Conflicts: 1104000 | #Constraints: 102619
1519.61/1524.57 c #Conflicts: 1105000 | #Constraints: 103619
1519.61/1524.57 c #Conflicts: 1106000 | #Constraints: 104619
1519.61/1524.57 c #Conflicts: 1107000 | #Constraints: 105619
1519.61/1524.57 c INPROCESSING
1519.61/1524.57 c GARBAGE COLLECT
1519.61/1524.57 c #Conflicts: 1108000 | #Constraints: 84920
1519.61/1524.57 c #Conflicts: 1109000 | #Constraints: 85920
1519.61/1524.57 c #Conflicts: 1110000 | #Constraints: 86920
1519.61/1524.57 c #Conflicts: 1111000 | #Constraints: 87920
1519.61/1524.57 c #Conflicts: 1112000 | #Constraints: 88920
1519.61/1524.57 c #Conflicts: 1113000 | #Constraints: 89920
1519.61/1524.57 c #Conflicts: 1114000 | #Constraints: 90920
1519.61/1524.57 c #Conflicts: 1115000 | #Constraints: 91920
1519.61/1524.57 c #Conflicts: 1116000 | #Constraints: 92920
1519.61/1524.57 c #Conflicts: 1117000 | #Constraints: 93920
1519.61/1524.57 c #Conflicts: 1118000 | #Constraints: 94920
1519.61/1524.57 c #Conflicts: 1119000 | #Constraints: 95920
1519.61/1524.57 c #Conflicts: 1120000 | #Constraints: 96920
1519.61/1524.57 c #Conflicts: 1121000 | #Constraints: 97920
1519.61/1524.57 c #Conflicts: 1122000 | #Constraints: 98920
1519.61/1524.57 c #Conflicts: 1123000 | #Constraints: 99920
1519.61/1524.57 c #Conflicts: 1124000 | #Constraints: 100920
1519.61/1524.57 c #Conflicts: 1125000 | #Constraints: 101920
1580.02/1585.12 c #Conflicts: 1126000 | #Constraints: 102920
1580.02/1585.12 c #Conflicts: 1127000 | #Constraints: 103920
1580.02/1585.12 c #Conflicts: 1128000 | #Constraints: 104920
1580.02/1585.12 c #Conflicts: 1129000 | #Constraints: 105920
1580.02/1585.12 c INPROCESSING
1580.02/1585.12 c GARBAGE COLLECT
1580.02/1585.12 c #Conflicts: 1130000 | #Constraints: 85031
1580.02/1585.12 c #Conflicts: 1131000 | #Constraints: 86031
1580.02/1585.12 c #Conflicts: 1132000 | #Constraints: 87031
1580.02/1585.12 c #Conflicts: 1133000 | #Constraints: 88031
1580.02/1585.12 c #Conflicts: 1134000 | #Constraints: 89031
1580.02/1585.12 c #Conflicts: 1135000 | #Constraints: 90031
1580.02/1585.12 c #Conflicts: 1136000 | #Constraints: 91031
1580.02/1585.12 c #Conflicts: 1137000 | #Constraints: 92031
1580.02/1585.12 c #Conflicts: 1138000 | #Constraints: 93031
1580.02/1585.12 c #Conflicts: 1139000 | #Constraints: 94031
1580.02/1585.12 c #Conflicts: 1140000 | #Constraints: 95031
1580.02/1585.12 c #Conflicts: 1141000 | #Constraints: 96031
1580.02/1585.12 c #Conflicts: 1142000 | #Constraints: 97031
1580.02/1585.12 c #Conflicts: 1143000 | #Constraints: 98031
1580.02/1585.12 c #Conflicts: 1144000 | #Constraints: 99031
1580.02/1585.12 c #Conflicts: 1145000 | #Constraints: 100031
1580.02/1585.12 c #Conflicts: 1146000 | #Constraints: 101031
1580.02/1585.12 c #Conflicts: 1147000 | #Constraints: 102031
1580.02/1585.12 c #Conflicts: 1148000 | #Constraints: 103031
1580.02/1585.12 c #Conflicts: 1149000 | #Constraints: 104031
1580.02/1585.12 c #Conflicts: 1150000 | #Constraints: 105031
1580.02/1585.12 c #Conflicts: 1151000 | #Constraints: 106031
1580.02/1585.12 c #Conflicts: 1152000 | #Constraints: 107031
1580.02/1585.12 c INPROCESSING
1580.02/1585.12 c GARBAGE COLLECT
1580.02/1585.12 c #Conflicts: 1153000 | #Constraints: 85930
1580.02/1585.12 c #Conflicts: 1154000 | #Constraints: 86930
1580.02/1585.12 c #Conflicts: 1155000 | #Constraints: 87930
1580.02/1585.12 c #Conflicts: 1156000 | #Constraints: 88930
1580.02/1585.12 c #Conflicts: 1157000 | #Constraints: 89930
1580.02/1585.12 c #Conflicts: 1158000 | #Constraints: 90930
1580.02/1585.12 c #Conflicts: 1159000 | #Constraints: 91930
1580.02/1585.12 c #Conflicts: 1160000 | #Constraints: 92930
1580.02/1585.12 c #Conflicts: 1161000 | #Constraints: 93930
1580.02/1585.12 c #Conflicts: 1162000 | #Constraints: 94930
1580.02/1585.12 c #Conflicts: 1163000 | #Constraints: 95930
1580.02/1585.12 c #Conflicts: 1164000 | #Constraints: 96930
1580.02/1585.12 c #Conflicts: 1165000 | #Constraints: 97930
1580.02/1585.12 c #Conflicts: 1166000 | #Constraints: 98930
1580.02/1585.12 c #Conflicts: 1167000 | #Constraints: 99930
1580.02/1585.12 c #Conflicts: 1168000 | #Constraints: 100930
1580.02/1585.12 c #Conflicts: 1169000 | #Constraints: 101930
1580.02/1585.12 c #Conflicts: 1170000 | #Constraints: 102930
1580.02/1585.12 c #Conflicts: 1171000 | #Constraints: 103930
1580.02/1585.12 c #Conflicts: 1172000 | #Constraints: 104930
1580.02/1585.12 c #Conflicts: 1173000 | #Constraints: 105930
1580.02/1585.12 c #Conflicts: 1174000 | #Constraints: 106930
1580.02/1585.12 c INPROCESSING
1580.02/1585.12 c GARBAGE COLLECT
1580.02/1585.12 c #Conflicts: 1175000 | #Constraints: 85635
1580.02/1585.12 c #Conflicts: 1176000 | #Constraints: 86635
1580.02/1585.12 c #Conflicts: 1177000 | #Constraints: 87635
1580.02/1585.12 c #Conflicts: 1178000 | #Constraints: 88635
1580.02/1585.12 c #Conflicts: 1179000 | #Constraints: 89635
1580.02/1585.12 c #Conflicts: 1180000 | #Constraints: 90635
1580.02/1585.12 c #Conflicts: 1181000 | #Constraints: 91635
1580.02/1585.12 c #Conflicts: 1182000 | #Constraints: 92635
1580.02/1585.12 c #Conflicts: 1183000 | #Constraints: 93635
1580.02/1585.12 c #Conflicts: 1184000 | #Constraints: 94635
1580.02/1585.12 c #Conflicts: 1185000 | #Constraints: 95635
1580.02/1585.12 c #Conflicts: 1186000 | #Constraints: 96635
1580.02/1585.12 c #Conflicts: 1187000 | #Constraints: 97635
1580.02/1585.12 c #Conflicts: 1188000 | #Constraints: 98635
1580.02/1585.12 c #Conflicts: 1189000 | #Constraints: 99635
1580.02/1585.12 c #Conflicts: 1190000 | #Constraints: 100635
1580.02/1585.12 c #Conflicts: 1191000 | #Constraints: 101635
1580.02/1585.12 c #Conflicts: 1192000 | #Constraints: 102635
1580.02/1585.12 c #Conflicts: 1193000 | #Constraints: 103635
1580.02/1585.12 c #Conflicts: 1194000 | #Constraints: 104635
1580.02/1585.12 c #Conflicts: 1195000 | #Constraints: 105635
1580.02/1585.12 c #Conflicts: 1196000 | #Constraints: 106635
1580.02/1585.12 c #Conflicts: 1197000 | #Constraints: 107635
1580.02/1585.12 c INPROCESSING
1580.02/1585.12 c GARBAGE COLLECT
1580.02/1585.12 c #Conflicts: 1198000 | #Constraints: 86139
1580.02/1585.12 c #Conflicts: 1199000 | #Constraints: 87139
1580.02/1585.12 c #Conflicts: 1200000 | #Constraints: 88139
1580.02/1585.12 c #Conflicts: 1201000 | #Constraints: 89139
1630.65/1635.99 c #Conflicts: 1202000 | #Constraints: 90139
1630.65/1635.99 c #Conflicts: 1203000 | #Constraints: 91139
1630.65/1635.99 c #Conflicts: 1204000 | #Constraints: 92139
1630.65/1635.99 c #Conflicts: 1205000 | #Constraints: 93139
1630.65/1635.99 c #Conflicts: 1206000 | #Constraints: 94139
1630.65/1635.99 c #Conflicts: 1207000 | #Constraints: 95139
1630.65/1635.99 c #Conflicts: 1208000 | #Constraints: 96139
1630.65/1635.99 c #Conflicts: 1209000 | #Constraints: 97139
1630.65/1635.99 c #Conflicts: 1210000 | #Constraints: 98139
1630.65/1635.99 c #Conflicts: 1211000 | #Constraints: 99139
1630.65/1635.99 c #Conflicts: 1212000 | #Constraints: 100139
1630.65/1635.99 c #Conflicts: 1213000 | #Constraints: 101139
1630.65/1635.99 c #Conflicts: 1214000 | #Constraints: 102139
1630.65/1635.99 c #Conflicts: 1215000 | #Constraints: 103139
1630.65/1635.99 c #Conflicts: 1216000 | #Constraints: 104139
1630.65/1635.99 c #Conflicts: 1217000 | #Constraints: 105139
1630.65/1635.99 c #Conflicts: 1218000 | #Constraints: 106139
1630.65/1635.99 c #Conflicts: 1219000 | #Constraints: 107139
1630.65/1635.99 c #Conflicts: 1220000 | #Constraints: 108139
1630.65/1635.99 c INPROCESSING
1630.65/1635.99 c GARBAGE COLLECT
1630.65/1635.99 c #Conflicts: 1221000 | #Constraints: 86429
1630.65/1635.99 c #Conflicts: 1222000 | #Constraints: 87429
1630.65/1635.99 c bounds -162 >= -178 @ 1591.44
1630.65/1635.99 c #Conflicts: 1223000 | #Constraints: 88442
1630.65/1635.99 c #Conflicts: 1224000 | #Constraints: 89442
1630.65/1635.99 c #Conflicts: 1225000 | #Constraints: 90442
1630.65/1635.99 c #Conflicts: 1226000 | #Constraints: 91442
1630.65/1635.99 c #Conflicts: 1227000 | #Constraints: 92442
1630.65/1635.99 c #Conflicts: 1228000 | #Constraints: 93442
1630.65/1635.99 c #Conflicts: 1229000 | #Constraints: 94442
1630.65/1635.99 c #Conflicts: 1230000 | #Constraints: 95442
1630.65/1635.99 c #Conflicts: 1231000 | #Constraints: 96442
1630.65/1635.99 c #Conflicts: 1232000 | #Constraints: 97442
1630.65/1635.99 c #Conflicts: 1233000 | #Constraints: 98442
1630.65/1635.99 c #Conflicts: 1234000 | #Constraints: 99442
1630.65/1635.99 c #Conflicts: 1235000 | #Constraints: 100442
1630.65/1635.99 c #Conflicts: 1236000 | #Constraints: 101442
1630.65/1635.99 c #Conflicts: 1237000 | #Constraints: 102442
1630.65/1635.99 c #Conflicts: 1238000 | #Constraints: 103442
1630.65/1635.99 c #Conflicts: 1239000 | #Constraints: 104442
1630.65/1635.99 c #Conflicts: 1240000 | #Constraints: 105442
1630.65/1635.99 c #Conflicts: 1241000 | #Constraints: 106442
1630.65/1635.99 c #Conflicts: 1242000 | #Constraints: 107442
1630.65/1635.99 c #Conflicts: 1243000 | #Constraints: 108442
1630.65/1635.99 c INPROCESSING
1630.65/1635.99 c GARBAGE COLLECT
1630.65/1635.99 c #Conflicts: 1244000 | #Constraints: 86537
1630.65/1635.99 c #Conflicts: 1245000 | #Constraints: 87537
1630.65/1635.99 c #Conflicts: 1246000 | #Constraints: 88537
1630.65/1635.99 c #Conflicts: 1247000 | #Constraints: 89537
1630.65/1635.99 c #Conflicts: 1248000 | #Constraints: 90537
1630.65/1635.99 c #Conflicts: 1249000 | #Constraints: 91537
1630.65/1635.99 c #Conflicts: 1250000 | #Constraints: 92537
1630.65/1635.99 c #Conflicts: 1251000 | #Constraints: 93537
1630.65/1635.99 c #Conflicts: 1252000 | #Constraints: 94537
1630.65/1635.99 c #Conflicts: 1253000 | #Constraints: 95537
1630.65/1635.99 c #Conflicts: 1254000 | #Constraints: 96537
1630.65/1635.99 c #Conflicts: 1255000 | #Constraints: 97537
1630.65/1635.99 c #Conflicts: 1256000 | #Constraints: 98537
1630.65/1635.99 c #Conflicts: 1257000 | #Constraints: 99537
1630.65/1635.99 c #Conflicts: 1258000 | #Constraints: 100537
1630.65/1635.99 c #Conflicts: 1259000 | #Constraints: 101537
1630.65/1635.99 c #Conflicts: 1260000 | #Constraints: 102537
1630.65/1635.99 c #Conflicts: 1261000 | #Constraints: 103537
1630.65/1635.99 c #Conflicts: 1262000 | #Constraints: 104537
1630.65/1635.99 c #Conflicts: 1263000 | #Constraints: 105537
1630.65/1635.99 c #Conflicts: 1264000 | #Constraints: 106537
1630.65/1635.99 c #Conflicts: 1265000 | #Constraints: 107537
1630.65/1635.99 c #Conflicts: 1266000 | #Constraints: 108537
1630.65/1635.99 c INPROCESSING
1630.65/1635.99 c GARBAGE COLLECT
1630.65/1635.99 c #Conflicts: 1267000 | #Constraints: 86434
1630.65/1635.99 c #Conflicts: 1268000 | #Constraints: 87434
1630.65/1635.99 c #Conflicts: 1269000 | #Constraints: 88434
1630.65/1635.99 c #Conflicts: 1270000 | #Constraints: 89434
1630.65/1635.99 c #Conflicts: 1271000 | #Constraints: 90434
1630.65/1635.99 c #Conflicts: 1272000 | #Constraints: 91434
1630.65/1635.99 c #Conflicts: 1273000 | #Constraints: 92434
1630.65/1635.99 c #Conflicts: 1274000 | #Constraints: 93434
1630.65/1635.99 c #Conflicts: 1275000 | #Constraints: 94434
1630.65/1635.99 c #Conflicts: 1276000 | #Constraints: 95434
1630.65/1635.99 c #Conflicts: 1277000 | #Constraints: 96434
1681.39/1686.82 c #Conflicts: 1278000 | #Constraints: 97434
1681.39/1686.82 c #Conflicts: 1279000 | #Constraints: 98434
1681.39/1686.82 c #Conflicts: 1280000 | #Constraints: 99434
1681.39/1686.82 c #Conflicts: 1281000 | #Constraints: 100434
1681.39/1686.82 c #Conflicts: 1282000 | #Constraints: 101434
1681.39/1686.82 c #Conflicts: 1283000 | #Constraints: 102434
1681.39/1686.82 c #Conflicts: 1284000 | #Constraints: 103434
1681.39/1686.82 c #Conflicts: 1285000 | #Constraints: 104434
1681.39/1686.82 c #Conflicts: 1286000 | #Constraints: 105434
1681.39/1686.82 c #Conflicts: 1287000 | #Constraints: 106434
1681.39/1686.82 c #Conflicts: 1288000 | #Constraints: 107434
1681.39/1686.82 c #Conflicts: 1289000 | #Constraints: 108434
1681.39/1686.82 c #Conflicts: 1290000 | #Constraints: 109434
1681.39/1686.82 c INPROCESSING
1681.39/1686.82 c GARBAGE COLLECT
1681.39/1686.82 c #Conflicts: 1291000 | #Constraints: 87132
1681.39/1686.82 c #Conflicts: 1292000 | #Constraints: 88132
1681.39/1686.82 c #Conflicts: 1293000 | #Constraints: 89132
1681.39/1686.82 c #Conflicts: 1294000 | #Constraints: 90132
1681.39/1686.82 c #Conflicts: 1295000 | #Constraints: 91132
1681.39/1686.82 c #Conflicts: 1296000 | #Constraints: 92132
1681.39/1686.82 c #Conflicts: 1297000 | #Constraints: 93132
1681.39/1686.82 c #Conflicts: 1298000 | #Constraints: 94132
1681.39/1686.82 c #Conflicts: 1299000 | #Constraints: 95132
1681.39/1686.82 c #Conflicts: 1300000 | #Constraints: 96132
1681.39/1686.82 c #Conflicts: 1301000 | #Constraints: 97132
1681.39/1686.82 c #Conflicts: 1302000 | #Constraints: 98132
1681.39/1686.82 c #Conflicts: 1303000 | #Constraints: 99132
1681.39/1686.82 c #Conflicts: 1304000 | #Constraints: 100132
1681.39/1686.82 c #Conflicts: 1305000 | #Constraints: 101132
1681.39/1686.82 c #Conflicts: 1306000 | #Constraints: 102132
1681.39/1686.82 c #Conflicts: 1307000 | #Constraints: 103132
1681.39/1686.82 c #Conflicts: 1308000 | #Constraints: 104132
1681.39/1686.82 c #Conflicts: 1309000 | #Constraints: 105132
1681.39/1686.82 c #Conflicts: 1310000 | #Constraints: 106132
1681.39/1686.82 c #Conflicts: 1311000 | #Constraints: 107132
1681.39/1686.82 c #Conflicts: 1312000 | #Constraints: 108132
1681.39/1686.82 c #Conflicts: 1313000 | #Constraints: 109132
1681.39/1686.82 c INPROCESSING
1681.39/1686.82 c GARBAGE COLLECT
1681.39/1686.82 c #Conflicts: 1314000 | #Constraints: 86624
1681.39/1686.82 c #Conflicts: 1315000 | #Constraints: 87624
1681.39/1686.82 c #Conflicts: 1316000 | #Constraints: 88624
1681.39/1686.82 c #Conflicts: 1317000 | #Constraints: 89624
1681.39/1686.82 c #Conflicts: 1318000 | #Constraints: 90624
1681.39/1686.82 c #Conflicts: 1319000 | #Constraints: 91624
1681.39/1686.82 c #Conflicts: 1320000 | #Constraints: 92624
1681.39/1686.82 c #Conflicts: 1321000 | #Constraints: 93624
1681.39/1686.82 c #Conflicts: 1322000 | #Constraints: 94624
1681.39/1686.82 c #Conflicts: 1323000 | #Constraints: 95624
1681.39/1686.82 c #Conflicts: 1324000 | #Constraints: 96624
1681.39/1686.82 c #Conflicts: 1325000 | #Constraints: 97624
1681.39/1686.82 c #Conflicts: 1326000 | #Constraints: 98624
1681.39/1686.82 c #Conflicts: 1327000 | #Constraints: 99624
1681.39/1686.82 c #Conflicts: 1328000 | #Constraints: 100624
1681.39/1686.82 c #Conflicts: 1329000 | #Constraints: 101624
1681.39/1686.82 c #Conflicts: 1330000 | #Constraints: 102624
1681.39/1686.82 c #Conflicts: 1331000 | #Constraints: 103624
1681.39/1686.82 c #Conflicts: 1332000 | #Constraints: 104624
1681.39/1686.82 c #Conflicts: 1333000 | #Constraints: 105624
1681.39/1686.82 c #Conflicts: 1334000 | #Constraints: 106624
1681.39/1686.82 c #Conflicts: 1335000 | #Constraints: 107624
1681.39/1686.82 c #Conflicts: 1336000 | #Constraints: 108624
1681.39/1686.82 c #Conflicts: 1337000 | #Constraints: 109624
1681.39/1686.82 c INPROCESSING
1681.39/1686.82 c GARBAGE COLLECT
1681.39/1686.82 c #Conflicts: 1338000 | #Constraints: 86957
1681.39/1686.82 c #Conflicts: 1339000 | #Constraints: 87957
1681.39/1686.82 c #Conflicts: 1340000 | #Constraints: 88957
1681.39/1686.82 c #Conflicts: 1341000 | #Constraints: 89957
1681.39/1686.82 c #Conflicts: 1342000 | #Constraints: 90957
1681.39/1686.82 c #Conflicts: 1343000 | #Constraints: 91957
1681.39/1686.82 c #Conflicts: 1344000 | #Constraints: 92957
1681.39/1686.82 c #Conflicts: 1345000 | #Constraints: 93957
1681.39/1686.82 c #Conflicts: 1346000 | #Constraints: 94957
1681.39/1686.82 c #Conflicts: 1347000 | #Constraints: 95957
1681.39/1686.82 c #Conflicts: 1348000 | #Constraints: 96957
1681.39/1686.82 c #Conflicts: 1349000 | #Constraints: 97957
1681.39/1686.82 c #Conflicts: 1350000 | #Constraints: 98957
1681.39/1686.82 c #Conflicts: 1351000 | #Constraints: 99957
1681.39/1686.82 c #Conflicts: 1352000 | #Constraints: 100957
1681.39/1686.82 c #Conflicts: 1353000 | #Constraints: 101957
1681.39/1686.82 c #Conflicts: 1354000 | #Constraints: 102957
1733.43/1739.02 c #Conflicts: 1355000 | #Constraints: 103957
1733.43/1739.02 c #Conflicts: 1356000 | #Constraints: 104957
1733.43/1739.02 c #Conflicts: 1357000 | #Constraints: 105957
1733.43/1739.02 c #Conflicts: 1358000 | #Constraints: 106957
1733.43/1739.02 c #Conflicts: 1359000 | #Constraints: 107957
1733.43/1739.02 c #Conflicts: 1360000 | #Constraints: 108957
1733.43/1739.02 c #Conflicts: 1361000 | #Constraints: 109957
1733.43/1739.02 c INPROCESSING
1733.43/1739.02 c GARBAGE COLLECT
1733.43/1739.02 c #Conflicts: 1362000 | #Constraints: 87045
1733.43/1739.02 c #Conflicts: 1363000 | #Constraints: 88045
1733.43/1739.02 c #Conflicts: 1364000 | #Constraints: 89045
1733.43/1739.02 c #Conflicts: 1365000 | #Constraints: 90045
1733.43/1739.02 c #Conflicts: 1366000 | #Constraints: 91045
1733.43/1739.02 c #Conflicts: 1367000 | #Constraints: 92045
1733.43/1739.02 c #Conflicts: 1368000 | #Constraints: 93045
1733.43/1739.02 c #Conflicts: 1369000 | #Constraints: 94045
1733.43/1739.02 c #Conflicts: 1370000 | #Constraints: 95045
1733.43/1739.02 c #Conflicts: 1371000 | #Constraints: 96045
1733.43/1739.02 c #Conflicts: 1372000 | #Constraints: 97045
1733.43/1739.02 c #Conflicts: 1373000 | #Constraints: 98045
1733.43/1739.02 c #Conflicts: 1374000 | #Constraints: 99045
1733.43/1739.02 c #Conflicts: 1375000 | #Constraints: 100045
1733.43/1739.02 c #Conflicts: 1376000 | #Constraints: 101045
1733.43/1739.02 c #Conflicts: 1377000 | #Constraints: 102045
1733.43/1739.02 c #Conflicts: 1378000 | #Constraints: 103045
1733.43/1739.02 c #Conflicts: 1379000 | #Constraints: 104045
1733.43/1739.02 c #Conflicts: 1380000 | #Constraints: 105045
1733.43/1739.02 c #Conflicts: 1381000 | #Constraints: 106045
1733.43/1739.02 c #Conflicts: 1382000 | #Constraints: 107045
1733.43/1739.02 c #Conflicts: 1383000 | #Constraints: 108045
1733.43/1739.02 c #Conflicts: 1384000 | #Constraints: 109045
1733.43/1739.02 c #Conflicts: 1385000 | #Constraints: 110045
1733.43/1739.02 c #Conflicts: 1386000 | #Constraints: 111045
1733.43/1739.02 c INPROCESSING
1733.43/1739.02 c GARBAGE COLLECT
1733.43/1739.02 c #Conflicts: 1387000 | #Constraints: 87936
1733.43/1739.02 c #Conflicts: 1388000 | #Constraints: 88936
1733.43/1739.02 c #Conflicts: 1389000 | #Constraints: 89936
1733.43/1739.02 c #Conflicts: 1390000 | #Constraints: 90936
1733.43/1739.02 c #Conflicts: 1391000 | #Constraints: 91936
1733.43/1739.02 c #Conflicts: 1392000 | #Constraints: 92936
1733.43/1739.02 c #Conflicts: 1393000 | #Constraints: 93936
1733.43/1739.02 c #Conflicts: 1394000 | #Constraints: 94936
1733.43/1739.02 c #Conflicts: 1395000 | #Constraints: 95936
1733.43/1739.02 c #Conflicts: 1396000 | #Constraints: 96936
1733.43/1739.02 c #Conflicts: 1397000 | #Constraints: 97936
1733.43/1739.02 c #Conflicts: 1398000 | #Constraints: 98936
1733.43/1739.02 c #Conflicts: 1399000 | #Constraints: 99936
1733.43/1739.02 c #Conflicts: 1400000 | #Constraints: 100936
1733.43/1739.02 c #Conflicts: 1401000 | #Constraints: 101936
1733.43/1739.02 c #Conflicts: 1402000 | #Constraints: 102936
1733.43/1739.02 c #Conflicts: 1403000 | #Constraints: 103936
1733.43/1739.02 c #Conflicts: 1404000 | #Constraints: 104936
1733.43/1739.02 c #Conflicts: 1405000 | #Constraints: 105936
1733.43/1739.02 c #Conflicts: 1406000 | #Constraints: 106936
1733.43/1739.02 c #Conflicts: 1407000 | #Constraints: 107936
1733.43/1739.02 c #Conflicts: 1408000 | #Constraints: 108936
1733.43/1739.02 c #Conflicts: 1409000 | #Constraints: 109936
1733.43/1739.02 c #Conflicts: 1410000 | #Constraints: 110936
1733.43/1739.02 c INPROCESSING
1733.43/1739.02 c GARBAGE COLLECT
1733.43/1739.02 c #Conflicts: 1411000 | #Constraints: 87621
1733.43/1739.02 c #Conflicts: 1412000 | #Constraints: 88621
1733.43/1739.02 c #Conflicts: 1413000 | #Constraints: 89621
1733.43/1739.02 c #Conflicts: 1414000 | #Constraints: 90621
1733.43/1739.02 c #Conflicts: 1415000 | #Constraints: 91621
1733.43/1739.02 c #Conflicts: 1416000 | #Constraints: 92621
1733.43/1739.02 c #Conflicts: 1417000 | #Constraints: 93621
1733.43/1739.02 c #Conflicts: 1418000 | #Constraints: 94621
1733.43/1739.02 c #Conflicts: 1419000 | #Constraints: 95621
1733.43/1739.02 c #Conflicts: 1420000 | #Constraints: 96621
1733.43/1739.02 c #Conflicts: 1421000 | #Constraints: 97621
1733.43/1739.02 c #Conflicts: 1422000 | #Constraints: 98621
1733.43/1739.02 c #Conflicts: 1423000 | #Constraints: 99621
1733.43/1739.02 c #Conflicts: 1424000 | #Constraints: 100621
1733.43/1739.02 c bounds -162 >= -177 @ 1723.55
1733.43/1739.02 c #Conflicts: 1425000 | #Constraints: 101634
1733.43/1739.02 c #Conflicts: 1426000 | #Constraints: 102634
1733.43/1739.02 c #Conflicts: 1427000 | #Constraints: 103634
1733.43/1739.02 c #Conflicts: 1428000 | #Constraints: 104634
1733.43/1739.02 c #Conflicts: 1429000 | #Constraints: 105634
1733.43/1739.02 c #Conflicts: 1430000 | #Constraints: 106634
1785.85/1791.66 c #Conflicts: 1431000 | #Constraints: 107634
1785.85/1791.66 c #Conflicts: 1432000 | #Constraints: 108634
1785.85/1791.66 c #Conflicts: 1433000 | #Constraints: 109634
1785.85/1791.66 c #Conflicts: 1434000 | #Constraints: 110634
1785.85/1791.66 c #Conflicts: 1435000 | #Constraints: 111634
1785.85/1791.66 c INPROCESSING
1785.85/1791.66 c GARBAGE COLLECT
1785.85/1791.66 c #Conflicts: 1436000 | #Constraints: 88121
1785.85/1791.66 c #Conflicts: 1437000 | #Constraints: 89121
1785.85/1791.66 c #Conflicts: 1438000 | #Constraints: 90121
1785.85/1791.66 c #Conflicts: 1439000 | #Constraints: 91121
1785.85/1791.66 c #Conflicts: 1440000 | #Constraints: 92121
1785.85/1791.66 c #Conflicts: 1441000 | #Constraints: 93121
1785.85/1791.66 c #Conflicts: 1442000 | #Constraints: 94121
1785.85/1791.66 c #Conflicts: 1443000 | #Constraints: 95121
1785.85/1791.66 c #Conflicts: 1444000 | #Constraints: 96121
1785.85/1791.66 c #Conflicts: 1445000 | #Constraints: 97121
1785.85/1791.66 c #Conflicts: 1446000 | #Constraints: 98121
1785.85/1791.66 c #Conflicts: 1447000 | #Constraints: 99121
1785.85/1791.66 c #Conflicts: 1448000 | #Constraints: 100121
1785.85/1791.66 c #Conflicts: 1449000 | #Constraints: 101121
1785.85/1791.66 c #Conflicts: 1450000 | #Constraints: 102121
1785.85/1791.66 c #Conflicts: 1451000 | #Constraints: 103121
1785.85/1791.66 c #Conflicts: 1452000 | #Constraints: 104121
1785.85/1791.66 c #Conflicts: 1453000 | #Constraints: 105121
1785.85/1791.66 c #Conflicts: 1454000 | #Constraints: 106121
1785.85/1791.66 c #Conflicts: 1455000 | #Constraints: 107121
1785.85/1791.66 c #Conflicts: 1456000 | #Constraints: 108121
1785.85/1791.66 c #Conflicts: 1457000 | #Constraints: 109121
1785.85/1791.66 c #Conflicts: 1458000 | #Constraints: 110121
1785.85/1791.66 c #Conflicts: 1459000 | #Constraints: 111121
1785.85/1791.66 c #Conflicts: 1460000 | #Constraints: 112121
1785.85/1791.66 c INPROCESSING
1785.85/1791.66 c GARBAGE COLLECT
1785.85/1791.66 c #Conflicts: 1461000 | #Constraints: 88429
1785.85/1791.66 c #Conflicts: 1462000 | #Constraints: 89429
1785.85/1791.66 c #Conflicts: 1463000 | #Constraints: 90429
1785.85/1791.66 c #Conflicts: 1464000 | #Constraints: 91429
1785.85/1791.66 c #Conflicts: 1465000 | #Constraints: 92429
1785.85/1791.66 c #Conflicts: 1466000 | #Constraints: 93429
1785.85/1791.66 c #Conflicts: 1467000 | #Constraints: 94429
1785.85/1791.66 c #Conflicts: 1468000 | #Constraints: 95429
1785.85/1791.66 c #Conflicts: 1469000 | #Constraints: 96429
1785.85/1791.66 c #Conflicts: 1470000 | #Constraints: 97429
1785.85/1791.66 c #Conflicts: 1471000 | #Constraints: 98429
1785.85/1791.66 c #Conflicts: 1472000 | #Constraints: 99429
1785.85/1791.66 c #Conflicts: 1473000 | #Constraints: 100429
1785.85/1791.66 c #Conflicts: 1474000 | #Constraints: 101429
1785.85/1791.66 c #Conflicts: 1475000 | #Constraints: 102429
1785.85/1791.66 c #Conflicts: 1476000 | #Constraints: 103429
1785.85/1791.66 c #Conflicts: 1477000 | #Constraints: 104429
1785.85/1791.66 c #Conflicts: 1478000 | #Constraints: 105429
1785.85/1791.66 c #Conflicts: 1479000 | #Constraints: 106429
1785.85/1791.66 c #Conflicts: 1480000 | #Constraints: 107429
1785.85/1791.66 c #Conflicts: 1481000 | #Constraints: 108429
1785.85/1791.66 c #Conflicts: 1482000 | #Constraints: 109429
1785.85/1791.66 c #Conflicts: 1483000 | #Constraints: 110429
1785.85/1791.66 c #Conflicts: 1484000 | #Constraints: 111429
1785.85/1791.66 c #Conflicts: 1485000 | #Constraints: 112429
1785.85/1791.66 c INPROCESSING
1785.85/1791.66 c GARBAGE COLLECT
1785.85/1791.66 c #Conflicts: 1486000 | #Constraints: 88566
1785.85/1791.66 c #Conflicts: 1487000 | #Constraints: 89566
1785.85/1791.66 c #Conflicts: 1488000 | #Constraints: 90566
1785.85/1791.66 c #Conflicts: 1489000 | #Constraints: 91566
1785.85/1791.66 c #Conflicts: 1490000 | #Constraints: 92566
1785.85/1791.66 c #Conflicts: 1491000 | #Constraints: 93566
1785.85/1791.66 c #Conflicts: 1492000 | #Constraints: 94566
1785.85/1791.66 c #Conflicts: 1493000 | #Constraints: 95566
1785.85/1791.66 c #Conflicts: 1494000 | #Constraints: 96566
1785.85/1791.66 c #Conflicts: 1495000 | #Constraints: 97566
1785.85/1791.66 c #Conflicts: 1496000 | #Constraints: 98566
1785.85/1791.66 c #Conflicts: 1497000 | #Constraints: 99566
1785.85/1791.66 c #Conflicts: 1498000 | #Constraints: 100566
1785.85/1791.66 c #Conflicts: 1499000 | #Constraints: 101566
1785.85/1791.66 c #Conflicts: 1500000 | #Constraints: 102566
1785.85/1791.66 c #Conflicts: 1501000 | #Constraints: 103566
1785.85/1791.66 c #Conflicts: 1502000 | #Constraints: 104566
1785.85/1791.66 c #Conflicts: 1503000 | #Constraints: 105566
1785.85/1791.66 c #Conflicts: 1504000 | #Constraints: 106566
1785.85/1791.66 c #Conflicts: 1505000 | #Constraints: 107566
1785.85/1791.66 c bounds -162 >= -176 @ 1779.19
1785.85/1791.66 c #Conflicts: 1506000 | #Constraints: 108576
1815.46/1821.30 c #Conflicts: 1507000 | #Constraints: 109576
1815.46/1821.30 c #Conflicts: 1508000 | #Constraints: 110576
1815.46/1821.30 c #Conflicts: 1509000 | #Constraints: 111576
1815.46/1821.30 c #Conflicts: 1510000 | #Constraints: 112576
1815.46/1821.30 c INPROCESSING
1815.46/1821.30 c GARBAGE COLLECT
1815.46/1821.30 c #Conflicts: 1511000 | #Constraints: 88469
1815.46/1821.30 c #Conflicts: 1512000 | #Constraints: 89469
1815.46/1821.30 c #Conflicts: 1513000 | #Constraints: 90469
1815.46/1821.30 c #Conflicts: 1514000 | #Constraints: 91469
1815.46/1821.30 c #Conflicts: 1515000 | #Constraints: 92469
1815.46/1821.30 c #Conflicts: 1516000 | #Constraints: 93469
1815.46/1821.30 c #Conflicts: 1517000 | #Constraints: 94469
1815.46/1821.30 c #Conflicts: 1518000 | #Constraints: 95469
1815.46/1821.30 c #Conflicts: 1519000 | #Constraints: 96469
1815.46/1821.30 c #Conflicts: 1520000 | #Constraints: 97469
1815.46/1821.30 c #Conflicts: 1521000 | #Constraints: 98469
1815.46/1821.30 c #Conflicts: 1522000 | #Constraints: 99469
1815.46/1821.30 c #Conflicts: 1523000 | #Constraints: 100469
1815.46/1821.30 c #Conflicts: 1524000 | #Constraints: 101469
1815.46/1821.30 c #Conflicts: 1525000 | #Constraints: 102469
1815.46/1821.30 c #Conflicts: 1526000 | #Constraints: 103469
1815.46/1821.30 c #Conflicts: 1527000 | #Constraints: 104469
1815.46/1821.30 c #Conflicts: 1528000 | #Constraints: 105469
1815.46/1821.30 c #Conflicts: 1529000 | #Constraints: 106469
1815.46/1821.30 c #Conflicts: 1530000 | #Constraints: 107469
1815.46/1821.30 c #Conflicts: 1531000 | #Constraints: 108469
1815.46/1821.30 c #Conflicts: 1532000 | #Constraints: 109469
1815.46/1821.30 c #Conflicts: 1533000 | #Constraints: 110469
1815.46/1821.30 c #Conflicts: 1534000 | #Constraints: 111469
1815.46/1821.30 c #Conflicts: 1535000 | #Constraints: 112469
1815.46/1821.30 c #Conflicts: 1536000 | #Constraints: 113469
1815.46/1821.30 c INPROCESSING
1815.46/1821.30 c GARBAGE COLLECT
1815.46/1821.30 c #Conflicts: 1537000 | #Constraints: 89160
1815.46/1821.30 c bounds -162 >= -175 @ 1802.63
1815.46/1821.30 c #Conflicts: 1538000 | #Constraints: 90163
1815.46/1821.30 c #Conflicts: 1539000 | #Constraints: 91163
1815.46/1821.30 c #Conflicts: 1540000 | #Constraints: 92163
1815.46/1821.30 c #Conflicts: 1541000 | #Constraints: 93163
1815.46/1821.30 c #Conflicts: 1542000 | #Constraints: 94163
1815.46/1821.30 c #Conflicts: 1543000 | #Constraints: 95163
1815.46/1821.30 c #Conflicts: 1544000 | #Constraints: 96163
1815.46/1821.30 c #Conflicts: 1545000 | #Constraints: 97163
1815.46/1821.30 c #Conflicts: 1546000 | #Constraints: 98163
1815.46/1821.30 c #Conflicts: 1547000 | #Constraints: 99163
1815.46/1821.30 c #Conflicts: 1548000 | #Constraints: 100163
1815.46/1821.30 c bounds -162 >= -175 @ 1809.4
1815.46/1821.30 d SOLVEDBY oll
1815.46/1821.30 c cpu time 1809.4 s
1815.46/1821.30 c deterministic time 159918993041 1.60e+11
1815.46/1821.30 c optimization time 2.20037 s
1815.46/1821.30 c total solve time 1507.82 s
1815.46/1821.30 c core-guided solve time 1507.82 s
1815.46/1821.30 c propagation time 1246.17 s
1815.46/1821.30 c conflict analysis time 249.664 s
1815.46/1821.30 c propagations 226183335
1815.46/1821.30 c resolve steps 22432000
1815.46/1821.30 c decisions 2744830
1815.46/1821.30 c conflicts 1548724
1815.46/1821.30 c restarts 3066
1815.46/1821.30 c inprocessing phases 96
1815.46/1821.30 c input clauses 62417
1815.46/1821.30 c input cardinalities 136
1815.46/1821.30 c input general constraints 370
1815.46/1821.30 c input average constraint length 3.20
1815.46/1821.30 c input average constraint degree 1.19
1815.46/1821.30 c learned clauses 1197519
1815.46/1821.30 c learned cardinalities 722
1815.46/1821.30 c learned general constraints 350488
1815.46/1821.30 c learned average constraint length 59.64
1815.46/1821.30 c learned average constraint degree 84.28
1815.46/1821.30 c watched constraints 308753
1815.46/1821.30 c counting constraints 42105
1815.46/1821.30 c gcd simplifications 220943
1815.46/1821.30 c detected cardinalities 44
1815.46/1821.30 c weakened non-implied lits 30279517
1815.46/1821.30 c weakened non-implying lits 538583
1815.46/1821.30 c original variables 2025
1815.46/1821.30 c clausal propagations 160911506
1815.46/1821.30 c cardinality propagations 2217706
1815.46/1821.30 c watched propagations 9878413
1815.46/1821.30 c counting propagations 51665403
1815.46/1821.30 c watch lookups 43535464256
1815.46/1821.30 c watch backjump lookups 36530150398
1815.46/1821.30 c watch checks 72353029959
1815.46/1821.30 c propagation checks 6656167461
1815.46/1821.30 c constraint additions 384776142
1815.46/1821.30 c trail pops 230476659
1815.46/1821.30 c formula constraints 62239
1815.46/1821.30 c learned constraints 1548729
1815.46/1821.30 c bound constraints 96
1815.46/1821.30 c core-guided constraints 588
1815.46/1821.30 c encountered formula constraints 8683405
1815.46/1821.30 c encountered learned constraints 13078881
1815.46/1821.30 c encountered bound constraints 73757
1815.46/1821.30 c encountered core-guided constraints 2144681
1815.46/1821.30 c LP total time 0 s
1815.46/1821.30 c LP solve time 0 s
1815.46/1821.30 c LP constraints added 0
1815.46/1821.30 c LP constraints removed 0
1815.46/1821.30 c LP pivots internal 0
1815.46/1821.30 c LP pivots root 0
1815.46/1821.30 c LP calls 0
1815.46/1821.30 c LP optimalities 0
1815.46/1821.30 c LP no pivot count 0
1815.46/1821.30 c LP infeasibilities 0
1815.46/1821.30 c LP valid Farkas constraints 0
1815.46/1821.30 c LP learned Farkas constraints 0
1815.46/1821.30 c LP basis resets 0
1815.46/1821.30 c LP cycling count 0
1815.46/1821.30 c LP singular count 0
1815.46/1821.30 c LP no primal count 0
1815.46/1821.30 c LP no farkas count 0
1815.46/1821.30 c LP other issue count 0
1815.46/1821.30 c LP Gomory cuts 0
1815.46/1821.30 c LP learned cuts 0
1815.46/1821.30 c LP deleted cuts 0
1815.46/1821.30 c LP encountered Gomory constraints 0
1815.46/1821.30 c LP encountered Farkas constraints 0
1815.46/1821.30 c LP encountered learned Farkas constraints 0
1815.46/1821.30 c CG auxiliary variables introduced 222
1815.46/1821.30 c CG solutions found 6
1815.46/1821.30 c CG cores constructed 59
1815.46/1821.30 c CG core cardinality constraints returned 0
1815.46/1821.30 c CG unit cores 1
1815.46/1821.30 c CG single cores 58
1815.46/1821.30 c CG blocks removed during cardinality reduction 0
1815.46/1821.30 c CG first core best 0
1815.46/1821.30 c CG decision core best 0
1815.46/1821.30 c CG core reduction tie 0
1815.46/1821.30 c CG core degree average 1.00
1815.46/1821.30 c CG core slack average 5.71
1815.46/1821.30 c CG exhausted 10
1815.46/1821.30 c CG exhaust time 2.18911 s
1815.46/1821.30 c CG trimmed 12
1815.46/1821.30 c CG trim time 0.003459 s
1815.46/1821.30 c CG minimized 0
1815.46/1821.30 c CG minimize time 0 s
1815.46/1821.30 c CG am1 prop time 0.001286 s
1815.46/1821.30 c CG # am1s reformulated 15
1815.46/1821.30 c CG lower bound derived from am1s 21
1815.46/1821.30 c CG # clausal cores 58
1815.46/1821.30 c CG # cardinality cores 0
1815.46/1821.30 c CG # pb cores 0
1815.46/1821.30 c CG # pb reforms 18
1815.46/1821.30 c CG # cores discarded because of pb reform 0
1815.46/1821.30 d LOWERBOUND -175
1815.46/1821.30 d NCORES 59
1815.46/1821.30 d NPBCORES 0
1815.46/1821.30 d NPBREFORM 18
1815.46/1821.30 d NTRIMMED 12
1815.46/1821.30 d NEXHAUSTED 10
1815.46/1821.30 d NAM1S 15
1815.46/1821.30 d AM1LB 21
1815.46/1821.30 c [Papilo Statistics]
1815.46/1821.30 c prepro time 0.0916443s
1815.46/1821.30 c # tsx applied 12
1815.46/1821.30 c # tsx conflicts 0
1815.46/1821.30 c # bound changes 12
1815.46/1821.30 c # side changes 0
1815.46/1821.30 c # coef changes 0
1815.46/1821.30 c # rounds 2
1815.46/1821.30 c # deted vars 12
1815.46/1821.30 c # deted constrs 36
1815.46/1821.30 c # consecutive rounds of only bound changes 0
1815.46/1821.30 c [STEP] postprocessing with Papilo
1815.46/1821.31 o -162
1815.46/1821.31 s OPTIMUM FOUND
1815.46/1821.31 v x1 -x2 -x3 x4 -x5 x6 x7 -x8 -x9 x10 x11 x12 -x13 x14 x15 x16 x17 -x18 x19 -x20 x21 -x22 x23 x24 -x25 x26 -x27 x28 -x29 x30 -x31 x32 x33 -x34 x35 x36 x37 x38 x39 -x40 x41 x42 x43 -x44 x45 x46 -x47 x48 -x49 -x50 x51 -x52 -x53 x54 x55 -x56 x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 -x66 x67 x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 -x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 x94 x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 x108 x109 -x110 x111 x112 -x113 -x114 x115 -x116 x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 x140 x141 -x142 -x143 -x144 x145 -x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 x155 -x156 x157 x158 -x159 x160 -x161 x162 -x163 x164 x165 x166 -x167 x168 x169 x170 -x171 -x172 x173 x174 x175 x176 -x177 x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 x186 x187 x188 x189 x190 x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 x204 x205 -x206 x207 -x208 x209 x210 -x211 x212 -x213 -x214 -x215 x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 -x225 x226 -x227 x228 x229 x230 x231 x232 x233 -x234 x235 -x236 x237 x238 -x239 -x240 x241 -x242 x243 x244 x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 x268 x269 -x270 -x271 x272 x273 -x274 x275 -x276 x277 -x278 -x279 x280 x281 x282 x283 -x284 x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 -x295 x296 -x297 -x298 -x299 x300 -x301 x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 x316 x317 -x318 x319 -x320 x321 x322 -x323 x324 -x325 -x326 -x327 x328 -x329 x330 -x331 x332 x333 -x334 x335 x336 -x337 -x338 x339 -x340 -x341 x342 -x343 x344 -x345 -x346 x347 x348 -x349 x350 -x351 -x352 x353 -x354 x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 x396 x397 -x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 x498 x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 x508 -x509 x510 -x511 -x512 x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 x535 x536 -x537 -x538 -x539 -x540 x541 x542 -x543 -x544 x545 x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 x562 -x563 x564 -x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 -x587 -x588 x589 -x590 x591 -x592 -x593 x594 -x595 x596 -x597 -x598 x599 -x600 -x601 x602 -x603 x604 -x605 x606 -x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 x617 -x618 x619 x620 -x621 x622 -x623 x624 -x625 -x626 -x627 x628 -x629 x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 x652 -x653 -x654 -x655 -x656 x657 -x658 x659 -x660 x661 -x662 x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 x683 -x684 x685 -x686 -x687 -x688 x689 -x690 x691 x692 -x693 -x694 -x695 -x696 -x697 x698 x699 -x700 -x701 -x702 x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 x715 -x716 -x717 -x718 x719 -x720 -x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 x734 -x735 -x736 x737 -x738 -x739 -x740 x741 x742 -x743 -x744 -x745 x746 x747 -x748 -x749 x750 x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 x760 -x761 x762 -x763 x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 x777 -x778 -x779 -x780 x781 -x782 x783 -x784 x785 -x786 -x787 -x788 x789 -x790 x791 -x792 x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 -x821 x822 -x823 -x824 -x825 -x826 x827 -x828 x829 x830 -x831 x832 -x833 x834 -x835 -x836 -x837 -x838 x839 x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 x859 -x860 -x861 x862 -x863 -x864 x865 x866 -x867 x868 -x869 x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 x882 -x883 x884 -x885 x886 -x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 x901 x902 -x903 -x904 x905 -x906 x907 -x908 -x909 x910 -x911 -x912 x913 -x914 x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 x926 -x927 -x928 -x929 x930 x931 -x932 -x933 -x934 -x935 x936 x937 -x938 -x939 x940 x941 -x942 x943 -x944 x945 x946 -x947 x948 -x949 x950 x951 -x952 -x953 x954 x955 -x956 -x957 -x958 x959 -x960 x961 -x962 -x963 x964 -x965 -x966 -x967 x968 -x969 x970 -x971 x972 -x973 -x974 x975 -x976 x977 -x978 x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 x996 x997 -x998 x999 -x1000 x1001 -x1002 -x1003 x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 x1023 -x1024 x1025 -x1026 x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 x1034 -x1035 -x1036 x1037 -x1038 x1039 -x1040 x1041 -x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 x1053 -x1054 x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 x1069 -x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 x1077 x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 x1116 x1117 -x1118 x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 x1180 -x1181 x1182 -x1183 -x1184 x1185 -x1186 x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 x1206 -x1207 x1208 x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 -x1216 x1217 -x1218 x1219 -x1220 -x1221 x1222 -x1223 x1224 -x1225 x1226 -x1227 x1228 x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 x1265 -x1266 -x1267 x1268 x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 x1295 -x1296 x1297 -x1298 x1299 -x1300 x1301 -x1302 -x1303 x1304 -x1305 x1306 -x1307 x1308 -x1309 x1310 -x1311 x1312 -x1313 x1314 -x1315 -x1316 x1317 -x1318 -x1319 x1320 x1321 -x1322 x1323 -x1324 x1325 -x1326 x1327 -x1328 -x1329 x1330 -x1331 x1332 -x1333 x1334 -x1335 x1336 -x1337 x1338 -x1339 x1340 -x1341 x1342 -x1343 x1344 -x1345 x1346 -x1347 x1348 -x1349 x1350 -x1351 x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 x1359 -x1360 x1361 -x1362 x1363 -x1364 x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 x1460 x1461 -x1462 x1463 -x1464 x1465 -x1466 x1467 x1468 -x1469 -x1470 x1471 -x1472 x1473 -x1474 x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 x1483 -x1484 x1485 -x1486 x1487 -x1488 x1489 x1490 -x1491 x1492 -x1493 x1494 -x1495 x1496 x1497 x1498 -x1499 x1500 -x1501 x1502 -x1503 x1504 -x1505 x1506 -x1507 x1508 -x1509 x1510 x1511 -x1512 -x1513 -x1514 x1515 -x1516 x1517 -x1518 x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 x1534 x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 x1626 -x1627 x1628 -x1629 -x1630 x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 x1647 -x1648 -x1649 -x1650 -x1651 x1652 x1653 -x1654 -x1655 x1656 x1657 -x1658 x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 x1676 -x1677 x1678 -x1679 x1680 -x1681 -x1682 x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 -x1716 x1717 -x1718 x1719 x1720 -x1721 -x1722 x1723 x1724 -x1725 x1726 -x1727 x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 x1821 -x1822 x1823 -x1824 x1825 -x1826 x1827 -x1828 x1829 -x1830 x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 x1839 -x1840 -x1841 x1842 -x1843 x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 x1879 x1880 -x1881 x1882 -x1883 -x1884 -x1885 x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 x1896 -x1897 -x1898 x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 x1906 -x1907 x1908 -x1909 x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 x1939 -x1940 x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 x1955 -x1956 x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 x1966 -x1967 x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 x1979 -x1980 x1981 -x1982 x1983 x1984 -x1985 x1986 -x1987 -x1988 x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 x1996 x1997 -x1998 x1999 -x2000 x2001 -x2002 x2003 -x2004 -x2005 -x2006 x2007 -x2008 x2009 -x2010 x2011 -x2012 -x2013 x2014 -x2015 x2016 -x2017 -x2018 x2019 x2020 -x2021 -x2022 x2023 -x2024 x2025
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: 63665 MiB (52705 MiB free)
memory of node 1: 64507 MiB (62703 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529055-1752259821/watcher-4529055-1752259821 -o /tmp/evaluation-result-4529055-1752259821/solver-4529055-1752259821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133551 --watchdog 3760 mixed-bag HOME/instance-4529055-1752259821.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=134015, runsolver pid=134012
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.13 4.14 4.09 4/260 134024
/proc/meminfo: memFree=118174504/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=86844 memory=15392 CPUtime=0.09 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 2499 0 0 0 9 0 0 0 20 0 1 0 141662324 88928256 3848 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 21711 3848 2112 2834 0 4463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86844 KiB
Current children cumulated memory: 15392 KiB
[startup+0.205158 s]*
/proc/loadavg: 4.13 4.14 4.09 4/260 134024
/proc/meminfo: memFree=118116792/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=131120 memory=52624 CPUtime=0.2 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 9566 0 0 0 18 2 0 0 20 0 1 0 141662324 134266880 13156 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 32780 13156 2272 2834 0 14985 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131120 KiB
Current children cumulated memory: 52624 KiB
[startup+0.305357 s]*
/proc/loadavg: 4.13 4.14 4.09 4/260 134024
/proc/meminfo: memFree=118082772/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=156904 memory=84508 CPUtime=0.29 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 17191 0 0 0 27 2 0 0 20 0 1 0 141662324 160669696 21095 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 39226 21095 3904 2834 0 21431 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 156904 KiB
Current children cumulated memory: 84508 KiB
[startup+0.700175 s]
/proc/loadavg: 4.13 4.14 4.09 5/260 134024
/proc/meminfo: memFree=118026324/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=236544 memory=162292 CPUtime=0.68 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 40792 0 0 0 62 6 0 0 20 0 1 0 141662324 242221056 40573 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 59136 40573 3968 2834 0 41341 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 236544 KiB
Current children cumulated memory: 162292 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.14 4.09 4/262 134045
/proc/meminfo: memFree=117980532/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=323400 memory=247920 CPUtime=1.47 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62014 0 0 0 137 10 0 0 20 0 1 0 141662324 331161600 61980 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 80850 61980 4224 2834 0 63055 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 323400 KiB
Current children cumulated memory: 247920 KiB
[startup+3.10528 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 134061
/proc/meminfo: memFree=117659088/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=324068 memory=248560 CPUtime=3.07 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62181 0 0 0 297 10 0 0 20 0 1 0 141662324 331845632 62140 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81017 62140 4224 2834 0 63222 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 324068 KiB
Current children cumulated memory: 248560 KiB
[startup+6.30014 s]
/proc/loadavg: 4.20 4.16 4.10 5/264 134061
/proc/meminfo: memFree=117659416/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=325016 memory=249072 CPUtime=6.26 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62329 0 0 0 615 11 0 0 20 0 1 0 141662324 332816384 62268 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81254 62268 4224 2834 0 63459 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 325016 KiB
Current children cumulated memory: 249072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.16 4.10 5/264 134061
/proc/meminfo: memFree=117645832/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=325976 memory=250096 CPUtime=12.64 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62577 0 0 0 1253 11 0 0 20 0 1 0 141662324 333799424 62524 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81494 62524 4224 2834 0 63699 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 325976 KiB
Current children cumulated memory: 250096 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.15 4.09 5/264 134062
/proc/meminfo: memFree=117613332/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=325976 memory=250096 CPUtime=25.4 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62577 0 0 0 2529 11 0 0 20 0 1 0 141662324 333799424 62524 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81494 62524 4224 2834 0 63699 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 325976 KiB
Current children cumulated memory: 250096 KiB
[startup+51.1055 s]
/proc/loadavg: 4.25 4.17 4.10 5/264 134062
/proc/meminfo: memFree=117568940/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=325976 memory=250096 CPUtime=50.92 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62577 0 0 0 5081 11 0 0 20 0 1 0 141662324 333799424 62524 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81494 62524 4224 2834 0 63699 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 325976 KiB
Current children cumulated memory: 250096 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 134064
/proc/meminfo: memFree=117569076/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=325976 memory=250096 CPUtime=101.95 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62577 0 0 0 10184 11 0 0 20 0 1 0 141662324 333799424 62524 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81494 62524 4224 2834 0 63699 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 325976 KiB
Current children cumulated memory: 250096 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 134071
/proc/meminfo: memFree=117552632/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=325976 memory=250096 CPUtime=161.76 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62579 0 0 0 16165 11 0 0 20 0 1 0 141662324 333799424 62524 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81494 62524 4224 2834 0 63699 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 325976 KiB
Current children cumulated memory: 250096 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/264 134073
/proc/meminfo: memFree=117552792/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=325976 memory=250096 CPUtime=221.58 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 62579 0 0 0 22147 11 0 0 20 0 1 0 141662324 333799424 62524 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 81494 62524 4224 2834 0 63699 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 325976 KiB
Current children cumulated memory: 250096 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/264 134075
/proc/meminfo: memFree=117471108/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=354844 memory=269904 CPUtime=281.38 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 67435 0 0 0 28126 12 0 0 20 0 1 0 141662324 363360256 67476 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 88711 67476 4224 2834 0 70916 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 354844 KiB
Current children cumulated memory: 269904 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 134257
/proc/meminfo: memFree=117786680/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=328588 memory=254876 CPUtime=341.2 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 68424 0 0 0 34055 65 0 0 20 0 1 0 141662324 336474112 63719 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 82147 63719 4448 2834 0 64352 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 328588 KiB
Current children cumulated memory: 254876 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 134259
/proc/meminfo: memFree=117722728/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=335768 memory=264860 CPUtime=401.02 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 69324 0 0 0 40004 98 0 0 20 0 1 0 141662324 343826432 66215 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 83942 66215 4448 2834 0 66147 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 335768 KiB
Current children cumulated memory: 264860 KiB
[startup+462.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/263 134261
/proc/meminfo: memFree=117635564/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=347444 memory=269596 CPUtime=460.84 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 69755 0 0 0 45961 123 0 0 20 0 1 0 141662324 355782656 67399 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 86861 67399 4448 2834 0 69066 0
################
# More data... #
################
/proc/loadavg: 4.12 4.11 4.09 5/264 134367
/proc/meminfo: memFree=110384116/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1477.55 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70449 0 0 0 147299 456 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1477.55 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1542.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 134369
/proc/meminfo: memFree=110328592/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1537.36 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70449 0 0 0 153254 482 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1537.36 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1602.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 134371
/proc/meminfo: memFree=110143208/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1597.17 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70450 0 0 0 159208 509 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1597.17 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1662.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 134373
/proc/meminfo: memFree=110106368/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1656.97 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70450 0 0 0 165161 536 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1656.97 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 134375
/proc/meminfo: memFree=110106508/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1716.78 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70450 0 0 0 171117 561 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1716.78 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1782.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/262 134379
/proc/meminfo: memFree=110099184/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1776.58 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70450 0 0 0 177071 587 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1776.58 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1821.31 s]
# the end of solver process 134015 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1809.41 s, system=6.07232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.14 4.12 4.09 5/262 134379
/proc/meminfo: memFree=110101044/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1786.25 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70450 0 0 0 178033 592 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1786.25 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1804.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 134379
/proc/meminfo: memFree=110082496/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1799.01 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70450 0 0 0 179301 600 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1799.01 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1811.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 134380
/proc/meminfo: memFree=110050476/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1805.39 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70450 0 0 0 179937 602 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1805.39 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1817.6 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 134380
/proc/meminfo: memFree=110026932/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1811.77 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70504 0 0 0 180572 605 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1811.77 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1819.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 134380
/proc/meminfo: memFree=110015556/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1813.36 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70504 0 0 0 180731 605 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1813.36 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1820 s]*
/proc/loadavg: 4.17 4.13 4.10 5/262 134380
/proc/meminfo: memFree=110007364/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1814.17 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70504 0 0 0 180811 606 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1814.17 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1820.8 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 134380
/proc/meminfo: memFree=110007364/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1814.96 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70504 0 0 0 180890 606 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1814.96 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1821.2 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 134380
/proc/meminfo: memFree=110003268/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1815.35 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70504 0 0 0 180929 606 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1815.35 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
[startup+1821.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 134380
/proc/meminfo: memFree=110003268/131250000 swapFree=33008868/33010684
[pid=134015] ppid=134012 vsize=366412 memory=287408 CPUtime=1815.46 cores=0,2
/proc/134015/stat : 134015 (mixed-bag) R 134012 134015 133541 0 -1 4194304 70504 0 0 0 180939 607 0 0 20 0 1 0 141662324 375205888 71852 18446744073709551615 4235264 15840557 140723730995376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 54128640 140723730999706 140723730999783 140723730999783 140723731005387 0
/proc/134015/statm: 91603 71852 4448 2834 0 73808 0
Current children cumulated CPU time: 1815.46 s
Current children cumulated vsize: 366412 KiB
Current children cumulated memory: 287408 KiB
Child status: 0
Real time (s): 1821.31
CPU time (s): 1815.48
CPU user time (s): 1809.41
CPU system time (s): 6.07232
CPU usage (%): 99.6797
Max. virtual memory (cumulated for all children) (KiB): 366412
Max. memory (cumulated for all children) (KiB): 287408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1809.41
system time used= 6.07232
maximum resident set size= 287536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70524
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= 127
involuntary context switches= 2301
# summary of solver processes directly reported to runsolver:
# pid: 134015
# total CPU time (s): 1815.48
# total CPU user time (s): 1809.41
# total CPU system time (s): 6.07232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.24351 second user time and 7.72759 second system time
The end
Begin job on nodeC013 at 2025-07-11 20:50:21
IDJOB=4529055
IDBENCH=148780
IDSOLVER=3386
FILE ID=nodeC013/4529055-1752259821
RUNJOBID= nodeC013-1752256208-133551
SLURM_JOB_ID= 9682595
Free space on /tmp= 432200 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529055-1752259821/watcher-4529055-1752259821 -o /tmp/evaluation-result-4529055-1752259821/solver-4529055-1752259821 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133551 --watchdog 3760 mixed-bag HOME/instance-4529055-1752259821.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 574dfa7826774941f0083ceba62feb56
RANDOM SEED=334604998
nodeC013 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.872
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.839
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 : 3456.180
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 : 3610.915
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 : 3418.956
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 : 3599.832
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 : 3601.454
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 : 3618.148
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: 131250000 kB
MemFree: 118178744 kB
MemAvailable: 129340048 kB
Buffers: 1668 kB
Cached: 11907596 kB
SwapCached: 160 kB
Active: 876392 kB
Inactive: 11465160 kB
Active(anon): 448732 kB
Inactive(anon): 4868 kB
Active(file): 427660 kB
Inactive(file): 11460292 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33748 kB
Writeback: 0 kB
AnonPages: 435540 kB
Mapped: 124732 kB
Shmem: 21308 kB
KReclaimable: 224784 kB
Slab: 318900 kB
SReclaimable: 224784 kB
SUnreclaim: 94116 kB
KernelStack: 4256 kB
PageTables: 4272 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 830232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 303104 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432152 MiB
End job on nodeC013 at 2025-07-11 21:20:42