0.00/0.05 c RoundingSat 2
0.00/0.05 c branch
0.00/0.05 c commit
0.00/0.05 c with Papilo
0.00/0.05 c with SCIP
0.00/0.05 c [STEP] parsing instance
0.37/0.49 c [STEP] preprocessing with Papilo
0.64/0.71 c [STEP] solving with SCIP
299.76/300.87 c [STEP] preprocessing done, loading into solver
299.86/300.98 c [STEP] solving
299.86/300.98 c #variables 2014 #constraints 62239
299.86/300.98 c SMALL=int, LARGE=long long
299.86/300.98 d SCIPUB -63
299.86/300.98 c bounds - >= -309 @ 299.731
299.86/300.98 c stratification level: 3
299.86/300.99 c bounds - >= -303 @ 299.732
299.86/300.99 c bounds - >= -300 @ 299.732
299.86/300.99 c bounds - >= -297 @ 299.732
299.86/300.99 c bounds - >= -294 @ 299.732
299.86/300.99 c bounds - >= -291 @ 299.732
299.86/300.99 c bounds - >= -288 @ 299.732
299.86/300.99 c bounds - >= -284 @ 299.732
299.86/300.99 c bounds - >= -281 @ 299.732
299.86/300.99 c bounds - >= -278 @ 299.732
299.86/300.99 c bounds - >= -275 @ 299.732
299.86/300.99 c bounds - >= -272 @ 299.732
299.86/300.99 c bounds - >= -269 @ 299.733
299.86/300.99 c bounds - >= -266 @ 299.733
299.86/300.99 c bounds - >= -263 @ 299.733
299.86/300.99 c bounds - >= -260 @ 299.733
299.86/300.99 c finalizing WCE round: reformulating cores
299.98/301.02 c bounds -121 >= -260 @ 299.759
299.98/301.02 c bounds -126 >= -260 @ 299.761
299.98/301.02 c stratification level: 2
299.98/301.02 c bounds -126 >= -250 @ 299.761
299.98/301.02 c bounds -126 >= -248 @ 299.761
299.98/301.02 c bounds -126 >= -246 @ 299.761
299.98/301.02 c bounds -126 >= -244 @ 299.761
299.98/301.02 c bounds -126 >= -242 @ 299.761
299.98/301.02 c bounds -126 >= -240 @ 299.761
299.98/301.02 c bounds -126 >= -238 @ 299.761
299.98/301.02 c bounds -126 >= -236 @ 299.761
299.98/301.02 c bounds -126 >= -234 @ 299.762
299.98/301.02 c bounds -126 >= -232 @ 299.762
299.98/301.02 c bounds -126 >= -230 @ 299.762
299.98/301.02 c bounds -126 >= -228 @ 299.762
299.98/301.02 c finalizing WCE round: reformulating cores
300.17/301.21 c #Conflicts: 1000 | #Constraints: 63365
300.17/301.21 c #Conflicts: 2000 | #Constraints: 64367
300.17/301.21 c INPROCESSING
300.17/301.21 c bounds -151 >= -228 @ 299.942
300.17/301.21 c bounds -151 >= -226 @ 299.942
300.17/301.21 c finalizing WCE round: reformulating cores
300.17/301.21 c bounds -153 >= -226 @ 299.948
300.17/301.21 c bounds -156 >= -226 @ 299.949
300.17/301.21 c stratification level: 1
300.17/301.23 c bounds -156 >= -215 @ 299.95
300.17/301.23 c bounds -156 >= -214 @ 299.95
300.17/301.23 c bounds -156 >= -213 @ 299.95
300.17/301.23 c bounds -156 >= -212 @ 299.95
300.17/301.23 c bounds -156 >= -211 @ 299.951
300.17/301.23 c bounds -156 >= -210 @ 299.951
300.17/301.23 c bounds -156 >= -209 @ 299.951
300.17/301.23 c bounds -156 >= -208 @ 299.951
300.17/301.23 c bounds -156 >= -207 @ 299.951
300.17/301.23 c bounds -156 >= -206 @ 299.951
300.17/301.23 c bounds -156 >= -205 @ 299.951
300.17/301.23 c bounds -156 >= -204 @ 299.951
300.17/301.23 c bounds -156 >= -203 @ 299.951
300.17/301.23 c bounds -156 >= -202 @ 299.952
300.17/301.23 c bounds -156 >= -201 @ 299.952
300.17/301.23 c bounds -156 >= -200 @ 299.953
300.17/301.23 c bounds -156 >= -199 @ 299.954
300.17/301.23 c bounds -156 >= -198 @ 299.956
300.17/301.23 c bounds -156 >= -197 @ 299.959
300.17/301.23 c finalizing WCE round: reformulating cores
315.42/316.58 c #Conflicts: 3000 | #Constraints: 64569
315.42/316.58 c #Conflicts: 4000 | #Constraints: 65571
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 5000 | #Constraints: 64932
315.42/316.58 c #Conflicts: 6000 | #Constraints: 65934
315.42/316.58 c INPROCESSING
315.42/316.58 c #Conflicts: 7000 | #Constraints: 64932
315.42/316.58 c #Conflicts: 8000 | #Constraints: 65940
315.42/316.58 c #Conflicts: 9000 | #Constraints: 66942
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 10000 | #Constraints: 65636
315.42/316.58 c #Conflicts: 11000 | #Constraints: 66638
315.42/316.58 c #Conflicts: 12000 | #Constraints: 67640
315.42/316.58 c INPROCESSING
315.42/316.58 c bounds -160 >= -204 @ 300.869
315.42/316.58 c #Conflicts: 13000 | #Constraints: 66095
315.42/316.58 c bounds -160 >= -202 @ 301.026
315.42/316.58 c #Conflicts: 14000 | #Constraints: 67097
315.42/316.58 c bounds -160 >= -200 @ 301.112
315.42/316.58 c #Conflicts: 15000 | #Constraints: 68101
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c bounds -161 >= -198 @ 301.292
315.42/316.58 c #Conflicts: 16000 | #Constraints: 66157
315.42/316.58 c bounds -161 >= -196 @ 301.385
315.42/316.58 c bounds -161 >= -196 @ 301.404
315.42/316.58 c #Conflicts: 17000 | #Constraints: 67163
315.42/316.58 c bounds -161 >= -193 @ 301.524
315.42/316.58 c #Conflicts: 18000 | #Constraints: 68167
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c bounds -161 >= -191 @ 301.664
315.42/316.58 c bounds -161 >= -191 @ 301.74
315.42/316.58 c bounds -162 >= -188 @ 301.768
315.42/316.58 c #Conflicts: 19000 | #Constraints: 66151
315.42/316.58 c bounds -162 >= -187 @ 301.896
315.42/316.58 c bounds -162 >= -186 @ 301.897
315.42/316.58 c bounds -162 >= -185 @ 301.898
315.42/316.58 c bounds -162 >= -184 @ 301.899
315.42/316.58 c bounds -162 >= -183 @ 301.906
315.42/316.58 c #Conflicts: 20000 | #Constraints: 67248
315.42/316.58 c bounds -162 >= -182 @ 301.946
315.42/316.58 c #Conflicts: 21000 | #Constraints: 68297
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 22000 | #Constraints: 65949
315.42/316.58 c #Conflicts: 23000 | #Constraints: 66949
315.42/316.58 c bounds -162 >= -181 @ 302.622
315.42/316.58 c #Conflicts: 24000 | #Constraints: 67986
315.42/316.58 c #Conflicts: 25000 | #Constraints: 68986
315.42/316.58 c INPROCESSING
315.42/316.58 c #Conflicts: 26000 | #Constraints: 66751
315.42/316.58 c #Conflicts: 27000 | #Constraints: 67751
315.42/316.58 c #Conflicts: 28000 | #Constraints: 68751
315.42/316.58 c #Conflicts: 29000 | #Constraints: 69751
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 30000 | #Constraints: 67213
315.42/316.58 c #Conflicts: 31000 | #Constraints: 68213
315.42/316.58 c #Conflicts: 32000 | #Constraints: 69213
315.42/316.58 c #Conflicts: 33000 | #Constraints: 70213
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 34000 | #Constraints: 67455
315.42/316.58 c #Conflicts: 35000 | #Constraints: 68455
315.42/316.58 c #Conflicts: 36000 | #Constraints: 69455
315.42/316.58 c #Conflicts: 37000 | #Constraints: 70455
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 38000 | #Constraints: 67475
315.42/316.58 c #Conflicts: 39000 | #Constraints: 68475
315.42/316.58 c #Conflicts: 40000 | #Constraints: 69475
315.42/316.58 c #Conflicts: 41000 | #Constraints: 70475
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 42000 | #Constraints: 67286
315.42/316.58 c #Conflicts: 43000 | #Constraints: 68286
315.42/316.58 c #Conflicts: 44000 | #Constraints: 69286
315.42/316.58 c #Conflicts: 45000 | #Constraints: 70286
315.42/316.58 c #Conflicts: 46000 | #Constraints: 71286
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 47000 | #Constraints: 67903
315.42/316.58 c #Conflicts: 48000 | #Constraints: 68903
315.42/316.58 c #Conflicts: 49000 | #Constraints: 69903
315.42/316.58 c #Conflicts: 50000 | #Constraints: 70903
315.42/316.58 c #Conflicts: 51000 | #Constraints: 71903
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 52000 | #Constraints: 68307
315.42/316.58 c #Conflicts: 53000 | #Constraints: 69307
315.42/316.58 c #Conflicts: 54000 | #Constraints: 70307
315.42/316.58 c #Conflicts: 55000 | #Constraints: 71307
315.42/316.58 c #Conflicts: 56000 | #Constraints: 72307
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 57000 | #Constraints: 68507
315.42/316.58 c #Conflicts: 58000 | #Constraints: 69507
315.42/316.58 c #Conflicts: 59000 | #Constraints: 70507
315.42/316.58 c #Conflicts: 60000 | #Constraints: 71507
315.42/316.58 c #Conflicts: 61000 | #Constraints: 72507
315.42/316.58 c INPROCESSING
315.42/316.58 c GARBAGE COLLECT
315.42/316.58 c #Conflicts: 62000 | #Constraints: 68493
354.91/356.16 c #Conflicts: 63000 | #Constraints: 69493
354.91/356.16 c #Conflicts: 64000 | #Constraints: 70493
354.91/356.16 c #Conflicts: 65000 | #Constraints: 71493
354.91/356.16 c #Conflicts: 66000 | #Constraints: 72493
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 67000 | #Constraints: 68308
354.91/356.16 c #Conflicts: 68000 | #Constraints: 69308
354.91/356.16 c #Conflicts: 69000 | #Constraints: 70308
354.91/356.16 c #Conflicts: 70000 | #Constraints: 71308
354.91/356.16 c #Conflicts: 71000 | #Constraints: 72308
354.91/356.16 c #Conflicts: 72000 | #Constraints: 73308
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 73000 | #Constraints: 68906
354.91/356.16 c #Conflicts: 74000 | #Constraints: 69906
354.91/356.16 c #Conflicts: 75000 | #Constraints: 70906
354.91/356.16 c #Conflicts: 76000 | #Constraints: 71906
354.91/356.16 c #Conflicts: 77000 | #Constraints: 72906
354.91/356.16 c #Conflicts: 78000 | #Constraints: 73906
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 79000 | #Constraints: 69312
354.91/356.16 c #Conflicts: 80000 | #Constraints: 70312
354.91/356.16 c #Conflicts: 81000 | #Constraints: 71312
354.91/356.16 c #Conflicts: 82000 | #Constraints: 72312
354.91/356.16 c #Conflicts: 83000 | #Constraints: 73312
354.91/356.16 c #Conflicts: 84000 | #Constraints: 74312
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 85000 | #Constraints: 69524
354.91/356.16 c #Conflicts: 86000 | #Constraints: 70524
354.91/356.16 c #Conflicts: 87000 | #Constraints: 71524
354.91/356.16 c #Conflicts: 88000 | #Constraints: 72524
354.91/356.16 c #Conflicts: 89000 | #Constraints: 73524
354.91/356.16 c #Conflicts: 90000 | #Constraints: 74524
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 91000 | #Constraints: 69520
354.91/356.16 c #Conflicts: 92000 | #Constraints: 70520
354.91/356.16 c #Conflicts: 93000 | #Constraints: 71520
354.91/356.16 c #Conflicts: 94000 | #Constraints: 72520
354.91/356.16 c #Conflicts: 95000 | #Constraints: 73520
354.91/356.16 c #Conflicts: 96000 | #Constraints: 74520
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 97000 | #Constraints: 69322
354.91/356.16 c #Conflicts: 98000 | #Constraints: 70322
354.91/356.16 c #Conflicts: 99000 | #Constraints: 71322
354.91/356.16 c bounds -162 >= -180 @ 330.621
354.91/356.16 c #Conflicts: 100000 | #Constraints: 72353
354.91/356.16 c #Conflicts: 101000 | #Constraints: 73353
354.91/356.16 c #Conflicts: 102000 | #Constraints: 74353
354.91/356.16 c #Conflicts: 103000 | #Constraints: 75353
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 104000 | #Constraints: 69960
354.91/356.16 c #Conflicts: 105000 | #Constraints: 70960
354.91/356.16 c #Conflicts: 106000 | #Constraints: 71960
354.91/356.16 c #Conflicts: 107000 | #Constraints: 72960
354.91/356.16 c #Conflicts: 108000 | #Constraints: 73960
354.91/356.16 c #Conflicts: 109000 | #Constraints: 74960
354.91/356.16 c #Conflicts: 110000 | #Constraints: 75960
354.91/356.16 c INPROCESSING
354.91/356.16 c GARBAGE COLLECT
354.91/356.16 c #Conflicts: 111000 | #Constraints: 70354
354.91/356.16 c #Conflicts: 112000 | #Constraints: 71354
354.91/356.16 c #Conflicts: 113000 | #Constraints: 72354
354.91/356.16 c #Conflicts: 114000 | #Constraints: 73354
354.91/356.16 c #Conflicts: 115000 | #Constraints: 74354
354.91/356.16 c #Conflicts: 116000 | #Constraints: 75354
354.91/356.16 c #Conflicts: 117000 | #Constraints: 76354
354.91/356.16 c #Conflicts: 118000 | #Constraints: 77354
354.91/356.16 c #Conflicts: 119000 | #Constraints: 78354
354.91/356.16 c #Conflicts: 120000 | #Constraints: 79354
354.91/356.16 c #Conflicts: 121000 | #Constraints: 80354
354.91/356.16 c #Conflicts: 122000 | #Constraints: 81354
354.91/356.16 c #Conflicts: 123000 | #Constraints: 82354
354.91/356.16 c #Conflicts: 124000 | #Constraints: 83354
354.91/356.16 c #Conflicts: 125000 | #Constraints: 84354
354.91/356.16 c #Conflicts: 126000 | #Constraints: 85354
354.91/356.16 c #Conflicts: 127000 | #Constraints: 86354
354.91/356.16 c #Conflicts: 128000 | #Constraints: 87354
354.91/356.16 c #Conflicts: 129000 | #Constraints: 88354
354.91/356.16 c #Conflicts: 130000 | #Constraints: 89354
354.91/356.16 c #Conflicts: 131000 | #Constraints: 90354
354.91/356.16 c #Conflicts: 132000 | #Constraints: 91354
354.91/356.16 c #Conflicts: 133000 | #Constraints: 92354
354.91/356.16 c #Conflicts: 134000 | #Constraints: 93354
354.91/356.16 c #Conflicts: 135000 | #Constraints: 94354
415.73/417.19 c #Conflicts: 136000 | #Constraints: 95354
415.73/417.19 c #Conflicts: 137000 | #Constraints: 96354
415.73/417.19 c #Conflicts: 138000 | #Constraints: 97354
415.73/417.19 c #Conflicts: 139000 | #Constraints: 98354
415.73/417.19 c #Conflicts: 140000 | #Constraints: 99354
415.73/417.19 c INPROCESSING
415.73/417.19 c GARBAGE COLLECT
415.73/417.19 c #Conflicts: 141000 | #Constraints: 81846
415.73/417.19 c #Conflicts: 142000 | #Constraints: 82846
415.73/417.19 c #Conflicts: 143000 | #Constraints: 83846
415.73/417.19 c #Conflicts: 144000 | #Constraints: 84846
415.73/417.19 c #Conflicts: 145000 | #Constraints: 85846
415.73/417.19 c #Conflicts: 146000 | #Constraints: 86846
415.73/417.19 c #Conflicts: 147000 | #Constraints: 87846
415.73/417.19 c #Conflicts: 148000 | #Constraints: 88846
415.73/417.19 c INPROCESSING
415.73/417.19 c GARBAGE COLLECT
415.73/417.19 c #Conflicts: 149000 | #Constraints: 76564
415.73/417.19 c #Conflicts: 150000 | #Constraints: 77564
415.73/417.19 c #Conflicts: 151000 | #Constraints: 78564
415.73/417.19 c #Conflicts: 152000 | #Constraints: 79564
415.73/417.19 c #Conflicts: 153000 | #Constraints: 80564
415.73/417.19 c #Conflicts: 154000 | #Constraints: 81564
415.73/417.19 c #Conflicts: 155000 | #Constraints: 82564
415.73/417.19 c #Conflicts: 156000 | #Constraints: 83564
415.73/417.19 c INPROCESSING
415.73/417.19 c GARBAGE COLLECT
415.73/417.19 c #Conflicts: 157000 | #Constraints: 73758
415.73/417.19 c #Conflicts: 158000 | #Constraints: 74758
415.73/417.19 c #Conflicts: 159000 | #Constraints: 75758
415.73/417.19 c #Conflicts: 160000 | #Constraints: 76758
415.73/417.19 c #Conflicts: 161000 | #Constraints: 77758
415.73/417.19 c #Conflicts: 162000 | #Constraints: 78758
415.73/417.19 c #Conflicts: 163000 | #Constraints: 79758
415.73/417.19 c #Conflicts: 164000 | #Constraints: 80758
415.73/417.19 c #Conflicts: 165000 | #Constraints: 81758
415.73/417.19 c INPROCESSING
415.73/417.19 c GARBAGE COLLECT
415.73/417.19 c #Conflicts: 166000 | #Constraints: 73100
415.73/417.19 c #Conflicts: 167000 | #Constraints: 74100
415.73/417.19 c #Conflicts: 168000 | #Constraints: 75100
415.73/417.19 c #Conflicts: 169000 | #Constraints: 76100
415.73/417.19 c #Conflicts: 170000 | #Constraints: 77100
415.73/417.19 c #Conflicts: 171000 | #Constraints: 78100
415.73/417.19 c #Conflicts: 172000 | #Constraints: 79100
415.73/417.19 c #Conflicts: 173000 | #Constraints: 80100
415.73/417.19 c #Conflicts: 174000 | #Constraints: 81100
415.73/417.19 c INPROCESSING
415.73/417.19 c GARBAGE COLLECT
415.73/417.19 c #Conflicts: 175000 | #Constraints: 72928
415.73/417.19 c #Conflicts: 176000 | #Constraints: 73928
415.73/417.19 c #Conflicts: 177000 | #Constraints: 74928
415.73/417.19 c #Conflicts: 178000 | #Constraints: 75928
415.73/417.19 c #Conflicts: 179000 | #Constraints: 76928
415.73/417.19 c #Conflicts: 180000 | #Constraints: 77928
415.73/417.19 c #Conflicts: 181000 | #Constraints: 78928
415.73/417.19 c #Conflicts: 182000 | #Constraints: 79928
415.73/417.19 c INPROCESSING
415.73/417.19 c GARBAGE COLLECT
415.73/417.19 c #Conflicts: 183000 | #Constraints: 71897
415.73/417.19 c #Conflicts: 184000 | #Constraints: 72897
415.73/417.19 c #Conflicts: 185000 | #Constraints: 73897
415.73/417.19 c #Conflicts: 186000 | #Constraints: 74897
415.73/417.19 c #Conflicts: 187000 | #Constraints: 75897
415.73/417.19 c #Conflicts: 188000 | #Constraints: 76897
415.73/417.19 c #Conflicts: 189000 | #Constraints: 77897
415.73/417.19 c #Conflicts: 190000 | #Constraints: 78897
415.73/417.19 c #Conflicts: 191000 | #Constraints: 79897
415.73/417.19 c #Conflicts: 192000 | #Constraints: 80897
415.73/417.19 c #Conflicts: 193000 | #Constraints: 81897
415.73/417.19 c #Conflicts: 194000 | #Constraints: 82897
415.73/417.19 c #Conflicts: 195000 | #Constraints: 83897
415.73/417.19 c #Conflicts: 196000 | #Constraints: 84897
415.73/417.19 c #Conflicts: 197000 | #Constraints: 85897
415.73/417.19 c #Conflicts: 198000 | #Constraints: 86897
415.73/417.19 c #Conflicts: 199000 | #Constraints: 87897
415.73/417.19 c #Conflicts: 200000 | #Constraints: 88897
415.73/417.19 c #Conflicts: 201000 | #Constraints: 89897
415.73/417.19 c #Conflicts: 202000 | #Constraints: 90897
415.73/417.19 c #Conflicts: 203000 | #Constraints: 91897
415.73/417.19 c #Conflicts: 204000 | #Constraints: 92897
415.73/417.19 c #Conflicts: 205000 | #Constraints: 93897
415.73/417.19 c #Conflicts: 206000 | #Constraints: 94897
415.73/417.19 c #Conflicts: 207000 | #Constraints: 95897
415.73/417.19 c #Conflicts: 208000 | #Constraints: 96897
415.73/417.19 c #Conflicts: 209000 | #Constraints: 97897
415.73/417.19 c #Conflicts: 210000 | #Constraints: 98897
489.88/491.52 c #Conflicts: 211000 | #Constraints: 99897
489.88/491.52 c #Conflicts: 212000 | #Constraints: 100897
489.88/491.52 c #Conflicts: 213000 | #Constraints: 101897
489.88/491.52 c #Conflicts: 214000 | #Constraints: 102897
489.88/491.52 c #Conflicts: 215000 | #Constraints: 103897
489.88/491.52 c #Conflicts: 216000 | #Constraints: 104897
489.88/491.52 c #Conflicts: 217000 | #Constraints: 105897
489.88/491.52 c #Conflicts: 218000 | #Constraints: 106897
489.88/491.52 c #Conflicts: 219000 | #Constraints: 107897
489.88/491.52 c #Conflicts: 220000 | #Constraints: 108897
489.88/491.52 c INPROCESSING
489.88/491.52 c GARBAGE COLLECT
489.88/491.52 c #Conflicts: 221000 | #Constraints: 86419
489.88/491.52 c #Conflicts: 222000 | #Constraints: 87419
489.88/491.52 c #Conflicts: 223000 | #Constraints: 88419
489.88/491.52 c #Conflicts: 224000 | #Constraints: 89419
489.88/491.52 c #Conflicts: 225000 | #Constraints: 90419
489.88/491.52 c #Conflicts: 226000 | #Constraints: 91419
489.88/491.52 c #Conflicts: 227000 | #Constraints: 92419
489.88/491.52 c #Conflicts: 228000 | #Constraints: 93419
489.88/491.52 c #Conflicts: 229000 | #Constraints: 94419
489.88/491.52 c #Conflicts: 230000 | #Constraints: 95419
489.88/491.52 c #Conflicts: 231000 | #Constraints: 96419
489.88/491.52 c INPROCESSING
489.88/491.52 c GARBAGE COLLECT
489.88/491.52 c #Conflicts: 232000 | #Constraints: 80585
489.88/491.52 c #Conflicts: 233000 | #Constraints: 81585
489.88/491.52 c #Conflicts: 234000 | #Constraints: 82585
489.88/491.52 c #Conflicts: 235000 | #Constraints: 83585
489.88/491.52 c #Conflicts: 236000 | #Constraints: 84585
489.88/491.52 c #Conflicts: 237000 | #Constraints: 85585
489.88/491.52 c #Conflicts: 238000 | #Constraints: 86585
489.88/491.52 c #Conflicts: 239000 | #Constraints: 87585
489.88/491.52 c #Conflicts: 240000 | #Constraints: 88585
489.88/491.52 c #Conflicts: 241000 | #Constraints: 89585
489.88/491.52 c INPROCESSING
489.88/491.52 c GARBAGE COLLECT
489.88/491.52 c #Conflicts: 242000 | #Constraints: 76989
489.88/491.52 c #Conflicts: 243000 | #Constraints: 77989
489.88/491.52 c #Conflicts: 244000 | #Constraints: 78989
489.88/491.52 c #Conflicts: 245000 | #Constraints: 79989
489.88/491.52 c #Conflicts: 246000 | #Constraints: 80989
489.88/491.52 c #Conflicts: 247000 | #Constraints: 81989
489.88/491.52 c #Conflicts: 248000 | #Constraints: 82989
489.88/491.52 c #Conflicts: 249000 | #Constraints: 83989
489.88/491.52 c #Conflicts: 250000 | #Constraints: 84989
489.88/491.52 c #Conflicts: 251000 | #Constraints: 85989
489.88/491.52 c #Conflicts: 252000 | #Constraints: 86989
489.88/491.52 c INPROCESSING
489.88/491.52 c GARBAGE COLLECT
489.88/491.52 c #Conflicts: 253000 | #Constraints: 75894
489.88/491.52 c #Conflicts: 254000 | #Constraints: 76894
489.88/491.52 c #Conflicts: 255000 | #Constraints: 77894
489.88/491.52 c #Conflicts: 256000 | #Constraints: 78894
489.88/491.52 c #Conflicts: 257000 | #Constraints: 79894
489.88/491.52 c #Conflicts: 258000 | #Constraints: 80894
489.88/491.52 c #Conflicts: 259000 | #Constraints: 81894
489.88/491.52 c #Conflicts: 260000 | #Constraints: 82894
489.88/491.52 c #Conflicts: 261000 | #Constraints: 83894
489.88/491.52 c #Conflicts: 262000 | #Constraints: 84894
489.88/491.52 c INPROCESSING
489.88/491.52 c GARBAGE COLLECT
489.88/491.52 c #Conflicts: 263000 | #Constraints: 74427
489.88/491.52 c #Conflicts: 264000 | #Constraints: 75427
489.88/491.52 c #Conflicts: 265000 | #Constraints: 76427
489.88/491.52 c #Conflicts: 266000 | #Constraints: 77427
489.88/491.52 c #Conflicts: 267000 | #Constraints: 78427
489.88/491.52 c #Conflicts: 268000 | #Constraints: 79427
489.88/491.52 c #Conflicts: 269000 | #Constraints: 80427
489.88/491.52 c #Conflicts: 270000 | #Constraints: 81427
489.88/491.52 c #Conflicts: 271000 | #Constraints: 82427
489.88/491.52 c #Conflicts: 272000 | #Constraints: 83427
489.88/491.52 c #Conflicts: 273000 | #Constraints: 84427
489.88/491.52 c INPROCESSING
489.88/491.52 c GARBAGE COLLECT
489.88/491.52 c #Conflicts: 274000 | #Constraints: 74197
489.88/491.52 c #Conflicts: 275000 | #Constraints: 75197
489.88/491.52 c #Conflicts: 276000 | #Constraints: 76197
489.88/491.52 c #Conflicts: 277000 | #Constraints: 77197
489.88/491.52 c #Conflicts: 278000 | #Constraints: 78197
489.88/491.52 c #Conflicts: 279000 | #Constraints: 79197
489.88/491.52 c #Conflicts: 280000 | #Constraints: 80197
489.88/491.52 c #Conflicts: 281000 | #Constraints: 81197
489.88/491.52 c #Conflicts: 282000 | #Constraints: 82197
489.88/491.52 c #Conflicts: 283000 | #Constraints: 83197
489.88/491.52 c #Conflicts: 284000 | #Constraints: 84197
489.88/491.52 c #Conflicts: 285000 | #Constraints: 85197
592.16/594.17 c INPROCESSING
592.16/594.17 c GARBAGE COLLECT
592.16/594.17 c #Conflicts: 286000 | #Constraints: 74979
592.16/594.17 c #Conflicts: 287000 | #Constraints: 75979
592.16/594.17 c #Conflicts: 288000 | #Constraints: 76979
592.16/594.17 c #Conflicts: 289000 | #Constraints: 77979
592.16/594.17 c #Conflicts: 290000 | #Constraints: 78979
592.16/594.17 c #Conflicts: 291000 | #Constraints: 79979
592.16/594.17 c #Conflicts: 292000 | #Constraints: 80979
592.16/594.17 c #Conflicts: 293000 | #Constraints: 81979
592.16/594.17 c #Conflicts: 294000 | #Constraints: 82979
592.16/594.17 c #Conflicts: 295000 | #Constraints: 83979
592.16/594.17 c #Conflicts: 296000 | #Constraints: 84979
592.16/594.17 c INPROCESSING
592.16/594.17 c GARBAGE COLLECT
592.16/594.17 c #Conflicts: 297000 | #Constraints: 74678
592.16/594.17 c #Conflicts: 298000 | #Constraints: 75678
592.16/594.17 c #Conflicts: 299000 | #Constraints: 76678
592.16/594.17 c #Conflicts: 300000 | #Constraints: 77678
592.16/594.17 c #Conflicts: 301000 | #Constraints: 78678
592.16/594.17 c #Conflicts: 302000 | #Constraints: 79678
592.16/594.17 c #Conflicts: 303000 | #Constraints: 80678
592.16/594.17 c #Conflicts: 304000 | #Constraints: 81678
592.16/594.17 c #Conflicts: 305000 | #Constraints: 82678
592.16/594.17 c #Conflicts: 306000 | #Constraints: 83678
592.16/594.17 c #Conflicts: 307000 | #Constraints: 84678
592.16/594.17 c #Conflicts: 308000 | #Constraints: 85678
592.16/594.17 c #Conflicts: 309000 | #Constraints: 86678
592.16/594.17 c #Conflicts: 310000 | #Constraints: 87678
592.16/594.17 c #Conflicts: 311000 | #Constraints: 88678
592.16/594.17 c #Conflicts: 312000 | #Constraints: 89678
592.16/594.17 c #Conflicts: 313000 | #Constraints: 90678
592.16/594.17 c #Conflicts: 314000 | #Constraints: 91678
592.16/594.17 c #Conflicts: 315000 | #Constraints: 92678
592.16/594.17 c #Conflicts: 316000 | #Constraints: 93678
592.16/594.17 c #Conflicts: 317000 | #Constraints: 94678
592.16/594.17 c #Conflicts: 318000 | #Constraints: 95678
592.16/594.17 c #Conflicts: 319000 | #Constraints: 96678
592.16/594.17 c #Conflicts: 320000 | #Constraints: 97678
592.16/594.17 c #Conflicts: 321000 | #Constraints: 98678
592.16/594.17 c #Conflicts: 322000 | #Constraints: 99678
592.16/594.17 c #Conflicts: 323000 | #Constraints: 100678
592.16/594.17 c #Conflicts: 324000 | #Constraints: 101678
592.16/594.17 c #Conflicts: 325000 | #Constraints: 102678
592.16/594.17 c #Conflicts: 326000 | #Constraints: 103678
592.16/594.17 c #Conflicts: 327000 | #Constraints: 104678
592.16/594.17 c #Conflicts: 328000 | #Constraints: 105678
592.16/594.17 c #Conflicts: 329000 | #Constraints: 106678
592.16/594.17 c #Conflicts: 330000 | #Constraints: 107678
592.16/594.17 c #Conflicts: 331000 | #Constraints: 108678
592.16/594.17 c #Conflicts: 332000 | #Constraints: 109678
592.16/594.17 c #Conflicts: 333000 | #Constraints: 110678
592.16/594.17 c #Conflicts: 334000 | #Constraints: 111678
592.16/594.17 c #Conflicts: 335000 | #Constraints: 112678
592.16/594.17 c #Conflicts: 336000 | #Constraints: 113678
592.16/594.17 c #Conflicts: 337000 | #Constraints: 114678
592.16/594.17 c #Conflicts: 338000 | #Constraints: 115678
592.16/594.17 c #Conflicts: 339000 | #Constraints: 116678
592.16/594.17 c #Conflicts: 340000 | #Constraints: 117678
592.16/594.17 c #Conflicts: 341000 | #Constraints: 118678
592.16/594.17 c #Conflicts: 342000 | #Constraints: 119678
592.16/594.17 c #Conflicts: 343000 | #Constraints: 120678
592.16/594.17 c #Conflicts: 344000 | #Constraints: 121678
592.16/594.17 c INPROCESSING
592.16/594.17 c GARBAGE COLLECT
592.16/594.17 c #Conflicts: 345000 | #Constraints: 93221
592.16/594.17 c #Conflicts: 346000 | #Constraints: 94221
592.16/594.17 c #Conflicts: 347000 | #Constraints: 95221
592.16/594.17 c #Conflicts: 348000 | #Constraints: 96221
592.16/594.17 c #Conflicts: 349000 | #Constraints: 97221
592.16/594.17 c #Conflicts: 350000 | #Constraints: 98221
592.16/594.17 c #Conflicts: 351000 | #Constraints: 99221
592.16/594.17 c #Conflicts: 352000 | #Constraints: 100221
592.16/594.17 c #Conflicts: 353000 | #Constraints: 101221
592.16/594.17 c #Conflicts: 354000 | #Constraints: 102221
592.16/594.17 c #Conflicts: 355000 | #Constraints: 103221
592.16/594.17 c #Conflicts: 356000 | #Constraints: 104221
592.16/594.17 c INPROCESSING
592.16/594.17 c GARBAGE COLLECT
592.16/594.17 c #Conflicts: 357000 | #Constraints: 84144
592.16/594.17 c #Conflicts: 358000 | #Constraints: 85144
592.16/594.17 c #Conflicts: 359000 | #Constraints: 86144
592.16/594.17 c #Conflicts: 360000 | #Constraints: 87144
592.16/594.17 c #Conflicts: 361000 | #Constraints: 88144
663.25/665.40 c #Conflicts: 362000 | #Constraints: 89144
663.25/665.40 c #Conflicts: 363000 | #Constraints: 90144
663.25/665.40 c #Conflicts: 364000 | #Constraints: 91144
663.25/665.40 c #Conflicts: 365000 | #Constraints: 92144
663.25/665.40 c #Conflicts: 366000 | #Constraints: 93144
663.25/665.40 c #Conflicts: 367000 | #Constraints: 94144
663.25/665.40 c #Conflicts: 368000 | #Constraints: 95144
663.25/665.40 c #Conflicts: 369000 | #Constraints: 96144
663.25/665.40 c INPROCESSING
663.25/665.40 c GARBAGE COLLECT
663.25/665.40 c #Conflicts: 370000 | #Constraints: 80175
663.25/665.40 c #Conflicts: 371000 | #Constraints: 81175
663.25/665.40 c #Conflicts: 372000 | #Constraints: 82175
663.25/665.40 c #Conflicts: 373000 | #Constraints: 83175
663.25/665.40 c #Conflicts: 374000 | #Constraints: 84175
663.25/665.40 c #Conflicts: 375000 | #Constraints: 85175
663.25/665.40 c #Conflicts: 376000 | #Constraints: 86175
663.25/665.40 c #Conflicts: 377000 | #Constraints: 87175
663.25/665.40 c #Conflicts: 378000 | #Constraints: 88175
663.25/665.40 c #Conflicts: 379000 | #Constraints: 89175
663.25/665.40 c #Conflicts: 380000 | #Constraints: 90175
663.25/665.40 c #Conflicts: 381000 | #Constraints: 91175
663.25/665.40 c #Conflicts: 382000 | #Constraints: 92175
663.25/665.40 c INPROCESSING
663.25/665.40 c GARBAGE COLLECT
663.25/665.40 c #Conflicts: 383000 | #Constraints: 78125
663.25/665.40 c #Conflicts: 384000 | #Constraints: 79125
663.25/665.40 c #Conflicts: 385000 | #Constraints: 80125
663.25/665.40 c #Conflicts: 386000 | #Constraints: 81125
663.25/665.40 c #Conflicts: 387000 | #Constraints: 82125
663.25/665.40 c #Conflicts: 388000 | #Constraints: 83125
663.25/665.40 c #Conflicts: 389000 | #Constraints: 84125
663.25/665.40 c #Conflicts: 390000 | #Constraints: 85125
663.25/665.40 c #Conflicts: 391000 | #Constraints: 86125
663.25/665.40 c #Conflicts: 392000 | #Constraints: 87125
663.25/665.40 c #Conflicts: 393000 | #Constraints: 88125
663.25/665.40 c #Conflicts: 394000 | #Constraints: 89125
663.25/665.40 c #Conflicts: 395000 | #Constraints: 90125
663.25/665.40 c #Conflicts: 396000 | #Constraints: 91125
663.25/665.40 c INPROCESSING
663.25/665.40 c GARBAGE COLLECT
663.25/665.40 c #Conflicts: 397000 | #Constraints: 77955
663.25/665.40 c #Conflicts: 398000 | #Constraints: 78955
663.25/665.40 c #Conflicts: 399000 | #Constraints: 79955
663.25/665.40 c #Conflicts: 400000 | #Constraints: 80955
663.25/665.40 c #Conflicts: 401000 | #Constraints: 81955
663.25/665.40 c #Conflicts: 402000 | #Constraints: 82955
663.25/665.40 c #Conflicts: 403000 | #Constraints: 83955
663.25/665.40 c #Conflicts: 404000 | #Constraints: 84955
663.25/665.40 c #Conflicts: 405000 | #Constraints: 85955
663.25/665.40 c #Conflicts: 406000 | #Constraints: 86955
663.25/665.40 c #Conflicts: 407000 | #Constraints: 87955
663.25/665.40 c #Conflicts: 408000 | #Constraints: 88955
663.25/665.40 c #Conflicts: 409000 | #Constraints: 89955
663.25/665.40 c INPROCESSING
663.25/665.40 c GARBAGE COLLECT
663.25/665.40 c #Conflicts: 410000 | #Constraints: 77131
663.25/665.40 c #Conflicts: 411000 | #Constraints: 78131
663.25/665.40 c #Conflicts: 412000 | #Constraints: 79131
663.25/665.40 c #Conflicts: 413000 | #Constraints: 80131
663.25/665.40 c #Conflicts: 414000 | #Constraints: 81131
663.25/665.40 c #Conflicts: 415000 | #Constraints: 82131
663.25/665.40 c #Conflicts: 416000 | #Constraints: 83131
663.25/665.40 c #Conflicts: 417000 | #Constraints: 84131
663.25/665.40 c #Conflicts: 418000 | #Constraints: 85131
663.25/665.40 c #Conflicts: 419000 | #Constraints: 86131
663.25/665.40 c #Conflicts: 420000 | #Constraints: 87131
663.25/665.40 c #Conflicts: 421000 | #Constraints: 88131
663.25/665.40 c #Conflicts: 422000 | #Constraints: 89131
663.25/665.40 c #Conflicts: 423000 | #Constraints: 90131
663.25/665.40 c INPROCESSING
663.25/665.40 c GARBAGE COLLECT
663.25/665.40 c #Conflicts: 424000 | #Constraints: 77349
663.25/665.40 c #Conflicts: 425000 | #Constraints: 78349
663.25/665.40 c #Conflicts: 426000 | #Constraints: 79349
663.25/665.40 c #Conflicts: 427000 | #Constraints: 80349
663.25/665.40 c #Conflicts: 428000 | #Constraints: 81349
663.25/665.40 c #Conflicts: 429000 | #Constraints: 82349
663.25/665.40 c #Conflicts: 430000 | #Constraints: 83349
663.25/665.40 c #Conflicts: 431000 | #Constraints: 84349
663.25/665.40 c #Conflicts: 432000 | #Constraints: 85349
663.25/665.40 c #Conflicts: 433000 | #Constraints: 86349
663.25/665.40 c #Conflicts: 434000 | #Constraints: 87349
663.25/665.40 c #Conflicts: 435000 | #Constraints: 88349
663.25/665.40 c #Conflicts: 436000 | #Constraints: 89349
663.25/665.40 c #Conflicts: 437000 | #Constraints: 90349
751.00/753.49 c INPROCESSING
751.00/753.49 c GARBAGE COLLECT
751.00/753.49 c #Conflicts: 438000 | #Constraints: 77518
751.00/753.49 c #Conflicts: 439000 | #Constraints: 78518
751.00/753.49 c #Conflicts: 440000 | #Constraints: 79518
751.00/753.49 c #Conflicts: 441000 | #Constraints: 80518
751.00/753.49 c #Conflicts: 442000 | #Constraints: 81518
751.00/753.49 c #Conflicts: 443000 | #Constraints: 82518
751.00/753.49 c #Conflicts: 444000 | #Constraints: 83518
751.00/753.49 c #Conflicts: 445000 | #Constraints: 84518
751.00/753.49 c #Conflicts: 446000 | #Constraints: 85518
751.00/753.49 c #Conflicts: 447000 | #Constraints: 86518
751.00/753.49 c #Conflicts: 448000 | #Constraints: 87518
751.00/753.49 c #Conflicts: 449000 | #Constraints: 88518
751.00/753.49 c #Conflicts: 450000 | #Constraints: 89518
751.00/753.49 c #Conflicts: 451000 | #Constraints: 90518
751.00/753.49 c INPROCESSING
751.00/753.49 c GARBAGE COLLECT
751.00/753.49 c #Conflicts: 452000 | #Constraints: 77549
751.00/753.49 c #Conflicts: 453000 | #Constraints: 78549
751.00/753.49 c #Conflicts: 454000 | #Constraints: 79549
751.00/753.49 c #Conflicts: 455000 | #Constraints: 80549
751.00/753.49 c #Conflicts: 456000 | #Constraints: 81549
751.00/753.49 c #Conflicts: 457000 | #Constraints: 82549
751.00/753.49 c #Conflicts: 458000 | #Constraints: 83549
751.00/753.49 c #Conflicts: 459000 | #Constraints: 84549
751.00/753.49 c #Conflicts: 460000 | #Constraints: 85549
751.00/753.49 c #Conflicts: 461000 | #Constraints: 86549
751.00/753.49 c #Conflicts: 462000 | #Constraints: 87549
751.00/753.49 c #Conflicts: 463000 | #Constraints: 88549
751.00/753.49 c #Conflicts: 464000 | #Constraints: 89549
751.00/753.49 c #Conflicts: 465000 | #Constraints: 90549
751.00/753.49 c INPROCESSING
751.00/753.49 c GARBAGE COLLECT
751.00/753.49 c #Conflicts: 466000 | #Constraints: 77411
751.00/753.49 c #Conflicts: 467000 | #Constraints: 78411
751.00/753.49 c #Conflicts: 468000 | #Constraints: 79411
751.00/753.49 c #Conflicts: 469000 | #Constraints: 80411
751.00/753.49 c #Conflicts: 470000 | #Constraints: 81411
751.00/753.49 c #Conflicts: 471000 | #Constraints: 82411
751.00/753.49 c #Conflicts: 472000 | #Constraints: 83411
751.00/753.49 c #Conflicts: 473000 | #Constraints: 84411
751.00/753.49 c #Conflicts: 474000 | #Constraints: 85411
751.00/753.49 c #Conflicts: 475000 | #Constraints: 86411
751.00/753.49 c #Conflicts: 476000 | #Constraints: 87411
751.00/753.49 c #Conflicts: 477000 | #Constraints: 88411
751.00/753.49 c #Conflicts: 478000 | #Constraints: 89411
751.00/753.49 c #Conflicts: 479000 | #Constraints: 90411
751.00/753.49 c #Conflicts: 480000 | #Constraints: 91411
751.00/753.49 c #Conflicts: 481000 | #Constraints: 92411
751.00/753.49 c #Conflicts: 482000 | #Constraints: 93411
751.00/753.49 c #Conflicts: 483000 | #Constraints: 94411
751.00/753.49 c #Conflicts: 484000 | #Constraints: 95411
751.00/753.49 c #Conflicts: 485000 | #Constraints: 96411
751.00/753.49 c #Conflicts: 486000 | #Constraints: 97411
751.00/753.49 c #Conflicts: 487000 | #Constraints: 98411
751.00/753.49 c #Conflicts: 488000 | #Constraints: 99411
751.00/753.49 c #Conflicts: 489000 | #Constraints: 100411
751.00/753.49 c #Conflicts: 490000 | #Constraints: 101411
751.00/753.49 c #Conflicts: 491000 | #Constraints: 102411
751.00/753.49 c #Conflicts: 492000 | #Constraints: 103411
751.00/753.49 c #Conflicts: 493000 | #Constraints: 104411
751.00/753.49 c #Conflicts: 494000 | #Constraints: 105411
751.00/753.49 c #Conflicts: 495000 | #Constraints: 106411
751.00/753.49 c #Conflicts: 496000 | #Constraints: 107411
751.00/753.49 c #Conflicts: 497000 | #Constraints: 108411
751.00/753.49 c #Conflicts: 498000 | #Constraints: 109411
751.00/753.49 c #Conflicts: 499000 | #Constraints: 110411
751.00/753.49 c #Conflicts: 500000 | #Constraints: 111411
751.00/753.49 c #Conflicts: 501000 | #Constraints: 112411
751.00/753.49 c #Conflicts: 502000 | #Constraints: 113411
751.00/753.49 c #Conflicts: 503000 | #Constraints: 114411
751.00/753.49 c #Conflicts: 504000 | #Constraints: 115411
751.00/753.49 c #Conflicts: 505000 | #Constraints: 116411
751.00/753.49 c #Conflicts: 506000 | #Constraints: 117411
751.00/753.49 c #Conflicts: 507000 | #Constraints: 118411
751.00/753.49 c #Conflicts: 508000 | #Constraints: 119411
751.00/753.49 c #Conflicts: 509000 | #Constraints: 120411
751.00/753.49 c #Conflicts: 510000 | #Constraints: 121411
751.00/753.49 c #Conflicts: 511000 | #Constraints: 122411
751.00/753.49 c #Conflicts: 512000 | #Constraints: 123411
751.00/753.49 c #Conflicts: 513000 | #Constraints: 124411
877.92/880.74 c #Conflicts: 514000 | #Constraints: 125411
877.92/880.74 c #Conflicts: 515000 | #Constraints: 126411
877.92/880.74 c #Conflicts: 516000 | #Constraints: 127411
877.92/880.74 c #Conflicts: 517000 | #Constraints: 128411
877.92/880.74 c #Conflicts: 518000 | #Constraints: 129411
877.92/880.74 c #Conflicts: 519000 | #Constraints: 130411
877.92/880.74 c #Conflicts: 520000 | #Constraints: 131411
877.92/880.74 c #Conflicts: 521000 | #Constraints: 132411
877.92/880.74 c #Conflicts: 522000 | #Constraints: 133411
877.92/880.74 c #Conflicts: 523000 | #Constraints: 134411
877.92/880.74 c #Conflicts: 524000 | #Constraints: 135411
877.92/880.74 c #Conflicts: 525000 | #Constraints: 136411
877.92/880.74 c INPROCESSING
877.92/880.74 c GARBAGE COLLECT
877.92/880.74 c #Conflicts: 526000 | #Constraints: 100589
877.92/880.74 c #Conflicts: 527000 | #Constraints: 101589
877.92/880.74 c #Conflicts: 528000 | #Constraints: 102589
877.92/880.74 c #Conflicts: 529000 | #Constraints: 103589
877.92/880.74 c #Conflicts: 530000 | #Constraints: 104589
877.92/880.74 c #Conflicts: 531000 | #Constraints: 105589
877.92/880.74 c #Conflicts: 532000 | #Constraints: 106589
877.92/880.74 c #Conflicts: 533000 | #Constraints: 107589
877.92/880.74 c #Conflicts: 534000 | #Constraints: 108589
877.92/880.74 c #Conflicts: 535000 | #Constraints: 109589
877.92/880.74 c #Conflicts: 536000 | #Constraints: 110589
877.92/880.74 c #Conflicts: 537000 | #Constraints: 111589
877.92/880.74 c #Conflicts: 538000 | #Constraints: 112589
877.92/880.74 c #Conflicts: 539000 | #Constraints: 113589
877.92/880.74 c #Conflicts: 540000 | #Constraints: 114589
877.92/880.74 c INPROCESSING
877.92/880.74 c GARBAGE COLLECT
877.92/880.74 c #Conflicts: 541000 | #Constraints: 89371
877.92/880.74 c #Conflicts: 542000 | #Constraints: 90371
877.92/880.74 c #Conflicts: 543000 | #Constraints: 91371
877.92/880.74 c #Conflicts: 544000 | #Constraints: 92371
877.92/880.74 c #Conflicts: 545000 | #Constraints: 93371
877.92/880.74 c #Conflicts: 546000 | #Constraints: 94371
877.92/880.74 c #Conflicts: 547000 | #Constraints: 95371
877.92/880.74 c #Conflicts: 548000 | #Constraints: 96371
877.92/880.74 c #Conflicts: 549000 | #Constraints: 97371
877.92/880.74 c #Conflicts: 550000 | #Constraints: 98371
877.92/880.74 c #Conflicts: 551000 | #Constraints: 99371
877.92/880.74 c #Conflicts: 552000 | #Constraints: 100371
877.92/880.74 c #Conflicts: 553000 | #Constraints: 101371
877.92/880.74 c #Conflicts: 554000 | #Constraints: 102371
877.92/880.74 c #Conflicts: 555000 | #Constraints: 103371
877.92/880.74 c #Conflicts: 556000 | #Constraints: 104371
877.92/880.74 c INPROCESSING
877.92/880.74 c GARBAGE COLLECT
877.92/880.74 c #Conflicts: 557000 | #Constraints: 84373
877.92/880.74 c #Conflicts: 558000 | #Constraints: 85373
877.92/880.74 c #Conflicts: 559000 | #Constraints: 86373
877.92/880.74 c #Conflicts: 560000 | #Constraints: 87373
877.92/880.74 c #Conflicts: 561000 | #Constraints: 88373
877.92/880.74 c #Conflicts: 562000 | #Constraints: 89373
877.92/880.74 c #Conflicts: 563000 | #Constraints: 90373
877.92/880.74 c #Conflicts: 564000 | #Constraints: 91373
877.92/880.74 c #Conflicts: 565000 | #Constraints: 92373
877.92/880.74 c #Conflicts: 566000 | #Constraints: 93373
877.92/880.74 c #Conflicts: 567000 | #Constraints: 94373
877.92/880.74 c #Conflicts: 568000 | #Constraints: 95373
877.92/880.74 c #Conflicts: 569000 | #Constraints: 96373
877.92/880.74 c #Conflicts: 570000 | #Constraints: 97373
877.92/880.74 c #Conflicts: 571000 | #Constraints: 98373
877.92/880.74 c #Conflicts: 572000 | #Constraints: 99373
877.92/880.74 c INPROCESSING
877.92/880.74 c GARBAGE COLLECT
877.92/880.74 c #Conflicts: 573000 | #Constraints: 81893
877.92/880.74 c #Conflicts: 574000 | #Constraints: 82893
877.92/880.74 c #Conflicts: 575000 | #Constraints: 83893
877.92/880.74 c #Conflicts: 576000 | #Constraints: 84893
877.92/880.74 c #Conflicts: 577000 | #Constraints: 85893
877.92/880.74 c #Conflicts: 578000 | #Constraints: 86893
877.92/880.74 c #Conflicts: 579000 | #Constraints: 87893
877.92/880.74 c #Conflicts: 580000 | #Constraints: 88893
877.92/880.74 c #Conflicts: 581000 | #Constraints: 89893
877.92/880.74 c #Conflicts: 582000 | #Constraints: 90893
877.92/880.74 c #Conflicts: 583000 | #Constraints: 91893
877.92/880.74 c #Conflicts: 584000 | #Constraints: 92893
877.92/880.74 c #Conflicts: 585000 | #Constraints: 93893
877.92/880.74 c #Conflicts: 586000 | #Constraints: 94893
877.92/880.74 c #Conflicts: 587000 | #Constraints: 95893
877.92/880.74 c #Conflicts: 588000 | #Constraints: 96893
877.92/880.74 c INPROCESSING
877.92/880.74 c GARBAGE COLLECT
877.92/880.74 c #Conflicts: 589000 | #Constraints: 80541
954.51/957.57 c #Conflicts: 590000 | #Constraints: 81541
954.51/957.57 c #Conflicts: 591000 | #Constraints: 82541
954.51/957.57 c #Conflicts: 592000 | #Constraints: 83541
954.51/957.57 c #Conflicts: 593000 | #Constraints: 84541
954.51/957.57 c #Conflicts: 594000 | #Constraints: 85541
954.51/957.57 c #Conflicts: 595000 | #Constraints: 86541
954.51/957.57 c #Conflicts: 596000 | #Constraints: 87541
954.51/957.57 c #Conflicts: 597000 | #Constraints: 88541
954.51/957.57 c #Conflicts: 598000 | #Constraints: 89541
954.51/957.57 c #Conflicts: 599000 | #Constraints: 90541
954.51/957.57 c #Conflicts: 600000 | #Constraints: 91541
954.51/957.57 c #Conflicts: 601000 | #Constraints: 92541
954.51/957.57 c #Conflicts: 602000 | #Constraints: 93541
954.51/957.57 c #Conflicts: 603000 | #Constraints: 94541
954.51/957.57 c #Conflicts: 604000 | #Constraints: 95541
954.51/957.57 c #Conflicts: 605000 | #Constraints: 96541
954.51/957.57 c INPROCESSING
954.51/957.57 c GARBAGE COLLECT
954.51/957.57 c #Conflicts: 606000 | #Constraints: 80662
954.51/957.57 c #Conflicts: 607000 | #Constraints: 81662
954.51/957.57 c #Conflicts: 608000 | #Constraints: 82662
954.51/957.57 c #Conflicts: 609000 | #Constraints: 83662
954.51/957.57 c #Conflicts: 610000 | #Constraints: 84662
954.51/957.57 c #Conflicts: 611000 | #Constraints: 85662
954.51/957.57 c #Conflicts: 612000 | #Constraints: 86662
954.51/957.57 c #Conflicts: 613000 | #Constraints: 87662
954.51/957.57 c #Conflicts: 614000 | #Constraints: 88662
954.51/957.57 c #Conflicts: 615000 | #Constraints: 89662
954.51/957.57 c #Conflicts: 616000 | #Constraints: 90662
954.51/957.57 c #Conflicts: 617000 | #Constraints: 91662
954.51/957.57 c #Conflicts: 618000 | #Constraints: 92662
954.51/957.57 c #Conflicts: 619000 | #Constraints: 93662
954.51/957.57 c #Conflicts: 620000 | #Constraints: 94662
954.51/957.57 c #Conflicts: 621000 | #Constraints: 95662
954.51/957.57 c INPROCESSING
954.51/957.57 c GARBAGE COLLECT
954.51/957.57 c #Conflicts: 622000 | #Constraints: 79920
954.51/957.57 c #Conflicts: 623000 | #Constraints: 80920
954.51/957.57 c #Conflicts: 624000 | #Constraints: 81920
954.51/957.57 c #Conflicts: 625000 | #Constraints: 82920
954.51/957.57 c #Conflicts: 626000 | #Constraints: 83920
954.51/957.57 c #Conflicts: 627000 | #Constraints: 84920
954.51/957.57 c #Conflicts: 628000 | #Constraints: 85920
954.51/957.57 c #Conflicts: 629000 | #Constraints: 86920
954.51/957.57 c #Conflicts: 630000 | #Constraints: 87920
954.51/957.57 c #Conflicts: 631000 | #Constraints: 88920
954.51/957.57 c #Conflicts: 632000 | #Constraints: 89920
954.51/957.57 c #Conflicts: 633000 | #Constraints: 90920
954.51/957.57 c #Conflicts: 634000 | #Constraints: 91920
954.51/957.57 c #Conflicts: 635000 | #Constraints: 92920
954.51/957.57 c #Conflicts: 636000 | #Constraints: 93920
954.51/957.57 c #Conflicts: 637000 | #Constraints: 94920
954.51/957.57 c #Conflicts: 638000 | #Constraints: 95920
954.51/957.57 c INPROCESSING
954.51/957.57 c GARBAGE COLLECT
954.51/957.57 c #Conflicts: 639000 | #Constraints: 80144
954.51/957.57 c #Conflicts: 640000 | #Constraints: 81144
954.51/957.57 c #Conflicts: 641000 | #Constraints: 82144
954.51/957.57 c #Conflicts: 642000 | #Constraints: 83144
954.51/957.57 c #Conflicts: 643000 | #Constraints: 84144
954.51/957.57 c #Conflicts: 644000 | #Constraints: 85144
954.51/957.57 c #Conflicts: 645000 | #Constraints: 86144
954.51/957.57 c #Conflicts: 646000 | #Constraints: 87144
954.51/957.57 c #Conflicts: 647000 | #Constraints: 88144
954.51/957.57 c #Conflicts: 648000 | #Constraints: 89144
954.51/957.57 c #Conflicts: 649000 | #Constraints: 90144
954.51/957.57 c #Conflicts: 650000 | #Constraints: 91144
954.51/957.57 c #Conflicts: 651000 | #Constraints: 92144
954.51/957.57 c #Conflicts: 652000 | #Constraints: 93144
954.51/957.57 c #Conflicts: 653000 | #Constraints: 94144
954.51/957.57 c #Conflicts: 654000 | #Constraints: 95144
954.51/957.57 c #Conflicts: 655000 | #Constraints: 96144
954.51/957.57 c INPROCESSING
954.51/957.57 c GARBAGE COLLECT
954.51/957.57 c #Conflicts: 656000 | #Constraints: 80256
954.51/957.57 c #Conflicts: 657000 | #Constraints: 81256
954.51/957.57 c #Conflicts: 658000 | #Constraints: 82256
954.51/957.57 c #Conflicts: 659000 | #Constraints: 83256
954.51/957.57 c #Conflicts: 660000 | #Constraints: 84256
954.51/957.57 c #Conflicts: 661000 | #Constraints: 85256
954.51/957.57 c #Conflicts: 662000 | #Constraints: 86256
954.51/957.57 c #Conflicts: 663000 | #Constraints: 87256
954.51/957.57 c #Conflicts: 664000 | #Constraints: 88256
954.51/957.57 c #Conflicts: 665000 | #Constraints: 89256
1084.53/1087.90 c #Conflicts: 666000 | #Constraints: 90256
1084.53/1087.90 c #Conflicts: 667000 | #Constraints: 91256
1084.53/1087.90 c #Conflicts: 668000 | #Constraints: 92256
1084.53/1087.90 c #Conflicts: 669000 | #Constraints: 93256
1084.53/1087.90 c #Conflicts: 670000 | #Constraints: 94256
1084.53/1087.90 c #Conflicts: 671000 | #Constraints: 95256
1084.53/1087.90 c #Conflicts: 672000 | #Constraints: 96256
1084.53/1087.90 c INPROCESSING
1084.53/1087.90 c GARBAGE COLLECT
1084.53/1087.90 c #Conflicts: 673000 | #Constraints: 80217
1084.53/1087.90 c #Conflicts: 674000 | #Constraints: 81217
1084.53/1087.90 c #Conflicts: 675000 | #Constraints: 82217
1084.53/1087.90 c #Conflicts: 676000 | #Constraints: 83217
1084.53/1087.90 c #Conflicts: 677000 | #Constraints: 84217
1084.53/1087.90 c #Conflicts: 678000 | #Constraints: 85217
1084.53/1087.90 c #Conflicts: 679000 | #Constraints: 86217
1084.53/1087.90 c #Conflicts: 680000 | #Constraints: 87217
1084.53/1087.90 c #Conflicts: 681000 | #Constraints: 88217
1084.53/1087.90 c #Conflicts: 682000 | #Constraints: 89217
1084.53/1087.90 c #Conflicts: 683000 | #Constraints: 90217
1084.53/1087.90 c #Conflicts: 684000 | #Constraints: 91217
1084.53/1087.90 c #Conflicts: 685000 | #Constraints: 92217
1084.53/1087.90 c #Conflicts: 686000 | #Constraints: 93217
1084.53/1087.90 c #Conflicts: 687000 | #Constraints: 94217
1084.53/1087.90 c #Conflicts: 688000 | #Constraints: 95217
1084.53/1087.90 c #Conflicts: 689000 | #Constraints: 96217
1084.53/1087.90 c #Conflicts: 690000 | #Constraints: 97217
1084.53/1087.90 c #Conflicts: 691000 | #Constraints: 98217
1084.53/1087.90 c #Conflicts: 692000 | #Constraints: 99217
1084.53/1087.90 c #Conflicts: 693000 | #Constraints: 100217
1084.53/1087.90 c #Conflicts: 694000 | #Constraints: 101217
1084.53/1087.90 c #Conflicts: 695000 | #Constraints: 102217
1084.53/1087.90 c #Conflicts: 696000 | #Constraints: 103217
1084.53/1087.90 c #Conflicts: 697000 | #Constraints: 104217
1084.53/1087.90 c #Conflicts: 698000 | #Constraints: 105217
1084.53/1087.90 c #Conflicts: 699000 | #Constraints: 106217
1084.53/1087.90 c #Conflicts: 700000 | #Constraints: 107217
1084.53/1087.90 c #Conflicts: 701000 | #Constraints: 108217
1084.53/1087.90 c #Conflicts: 702000 | #Constraints: 109217
1084.53/1087.90 c #Conflicts: 703000 | #Constraints: 110217
1084.53/1087.90 c #Conflicts: 704000 | #Constraints: 111217
1084.53/1087.91 c #Conflicts: 705000 | #Constraints: 112217
1084.53/1087.91 c #Conflicts: 706000 | #Constraints: 113217
1084.53/1087.91 c #Conflicts: 707000 | #Constraints: 114217
1084.53/1087.91 c #Conflicts: 708000 | #Constraints: 115217
1084.53/1087.91 c #Conflicts: 709000 | #Constraints: 116217
1084.53/1087.91 c #Conflicts: 710000 | #Constraints: 117217
1084.53/1087.91 c #Conflicts: 711000 | #Constraints: 118217
1084.53/1087.91 c #Conflicts: 712000 | #Constraints: 119217
1084.53/1087.91 c #Conflicts: 713000 | #Constraints: 120217
1084.53/1087.91 c #Conflicts: 714000 | #Constraints: 121217
1084.53/1087.91 c #Conflicts: 715000 | #Constraints: 122217
1084.53/1087.91 c #Conflicts: 716000 | #Constraints: 123217
1084.53/1087.91 c #Conflicts: 717000 | #Constraints: 124217
1084.53/1087.91 c #Conflicts: 718000 | #Constraints: 125217
1084.53/1087.91 c #Conflicts: 719000 | #Constraints: 126217
1084.53/1087.91 c #Conflicts: 720000 | #Constraints: 127217
1084.53/1087.91 c #Conflicts: 721000 | #Constraints: 128217
1084.53/1087.91 c #Conflicts: 722000 | #Constraints: 129217
1084.53/1087.91 c #Conflicts: 723000 | #Constraints: 130217
1084.53/1087.91 c #Conflicts: 724000 | #Constraints: 131217
1084.53/1087.91 c #Conflicts: 725000 | #Constraints: 132217
1084.53/1087.91 c #Conflicts: 726000 | #Constraints: 133217
1084.53/1087.91 c #Conflicts: 727000 | #Constraints: 134217
1084.53/1087.91 c #Conflicts: 728000 | #Constraints: 135217
1084.53/1087.91 c #Conflicts: 729000 | #Constraints: 136217
1084.53/1087.91 c #Conflicts: 730000 | #Constraints: 137217
1084.53/1087.91 c #Conflicts: 731000 | #Constraints: 138217
1084.53/1087.91 c #Conflicts: 732000 | #Constraints: 139217
1084.53/1087.91 c #Conflicts: 733000 | #Constraints: 140217
1084.53/1087.91 c #Conflicts: 734000 | #Constraints: 141217
1084.53/1087.91 c #Conflicts: 735000 | #Constraints: 142217
1084.53/1087.91 c #Conflicts: 736000 | #Constraints: 143217
1084.53/1087.91 c #Conflicts: 737000 | #Constraints: 144217
1084.53/1087.91 c bounds -162 >= -179 @ 1076.12
1084.53/1087.91 c #Conflicts: 738000 | #Constraints: 145233
1084.53/1087.91 c #Conflicts: 739000 | #Constraints: 146233
1084.53/1087.91 c #Conflicts: 740000 | #Constraints: 147233
1084.53/1087.91 c #Conflicts: 741000 | #Constraints: 148233
1084.53/1087.91 c #Conflicts: 742000 | #Constraints: 149233
1084.53/1087.91 c #Conflicts: 743000 | #Constraints: 150233
1148.34/1152.01 c #Conflicts: 744000 | #Constraints: 151233
1148.34/1152.01 c INPROCESSING
1148.34/1152.01 c GARBAGE COLLECT
1148.34/1152.01 c #Conflicts: 745000 | #Constraints: 108013
1148.34/1152.01 c #Conflicts: 746000 | #Constraints: 109013
1148.34/1152.01 c #Conflicts: 747000 | #Constraints: 110013
1148.34/1152.01 c #Conflicts: 748000 | #Constraints: 111013
1148.34/1152.01 c #Conflicts: 749000 | #Constraints: 112013
1148.34/1152.01 c #Conflicts: 750000 | #Constraints: 113013
1148.34/1152.01 c #Conflicts: 751000 | #Constraints: 114013
1148.34/1152.01 c #Conflicts: 752000 | #Constraints: 115013
1148.34/1152.01 c #Conflicts: 753000 | #Constraints: 116013
1148.34/1152.01 c #Conflicts: 754000 | #Constraints: 117013
1148.34/1152.01 c #Conflicts: 755000 | #Constraints: 118013
1148.34/1152.01 c #Conflicts: 756000 | #Constraints: 119013
1148.34/1152.01 c #Conflicts: 757000 | #Constraints: 120013
1148.34/1152.01 c #Conflicts: 758000 | #Constraints: 121013
1148.34/1152.01 c #Conflicts: 759000 | #Constraints: 122013
1148.34/1152.01 c #Conflicts: 760000 | #Constraints: 123013
1148.34/1152.01 c #Conflicts: 761000 | #Constraints: 124013
1148.34/1152.01 c #Conflicts: 762000 | #Constraints: 125013
1148.34/1152.01 c INPROCESSING
1148.34/1152.01 c GARBAGE COLLECT
1148.34/1152.01 c #Conflicts: 763000 | #Constraints: 94651
1148.34/1152.01 c #Conflicts: 764000 | #Constraints: 95651
1148.34/1152.01 c #Conflicts: 765000 | #Constraints: 96651
1148.34/1152.01 c #Conflicts: 766000 | #Constraints: 97651
1148.34/1152.01 c #Conflicts: 767000 | #Constraints: 98651
1148.34/1152.01 c #Conflicts: 768000 | #Constraints: 99651
1148.34/1152.01 c #Conflicts: 769000 | #Constraints: 100651
1148.34/1152.01 c #Conflicts: 770000 | #Constraints: 101651
1148.34/1152.01 c #Conflicts: 771000 | #Constraints: 102651
1148.34/1152.01 c #Conflicts: 772000 | #Constraints: 103651
1148.34/1152.01 c #Conflicts: 773000 | #Constraints: 104651
1148.34/1152.01 c #Conflicts: 774000 | #Constraints: 105651
1148.34/1152.01 c #Conflicts: 775000 | #Constraints: 106651
1148.34/1152.01 c #Conflicts: 776000 | #Constraints: 107651
1148.34/1152.01 c #Conflicts: 777000 | #Constraints: 108651
1148.34/1152.01 c #Conflicts: 778000 | #Constraints: 109651
1148.34/1152.01 c #Conflicts: 779000 | #Constraints: 110651
1148.34/1152.01 c #Conflicts: 780000 | #Constraints: 111651
1148.34/1152.01 c #Conflicts: 781000 | #Constraints: 112651
1148.34/1152.01 c INPROCESSING
1148.34/1152.01 c GARBAGE COLLECT
1148.34/1152.01 c #Conflicts: 782000 | #Constraints: 88637
1148.34/1152.01 c #Conflicts: 783000 | #Constraints: 89637
1148.34/1152.01 c #Conflicts: 784000 | #Constraints: 90637
1148.34/1152.01 c #Conflicts: 785000 | #Constraints: 91637
1148.34/1152.01 c #Conflicts: 786000 | #Constraints: 92637
1148.34/1152.01 c #Conflicts: 787000 | #Constraints: 93637
1148.34/1152.01 c #Conflicts: 788000 | #Constraints: 94637
1148.34/1152.01 c #Conflicts: 789000 | #Constraints: 95637
1148.34/1152.01 c #Conflicts: 790000 | #Constraints: 96637
1148.34/1152.01 c #Conflicts: 791000 | #Constraints: 97637
1148.34/1152.01 c #Conflicts: 792000 | #Constraints: 98637
1148.34/1152.01 c #Conflicts: 793000 | #Constraints: 99637
1148.34/1152.01 c #Conflicts: 794000 | #Constraints: 100637
1148.34/1152.01 c #Conflicts: 795000 | #Constraints: 101637
1148.34/1152.01 c #Conflicts: 796000 | #Constraints: 102637
1148.34/1152.01 c #Conflicts: 797000 | #Constraints: 103637
1148.34/1152.01 c #Conflicts: 798000 | #Constraints: 104637
1148.34/1152.01 c #Conflicts: 799000 | #Constraints: 105637
1148.34/1152.01 c #Conflicts: 800000 | #Constraints: 106637
1148.34/1152.01 c INPROCESSING
1148.34/1152.01 c GARBAGE COLLECT
1148.34/1152.01 c #Conflicts: 801000 | #Constraints: 85668
1148.34/1152.01 c #Conflicts: 802000 | #Constraints: 86668
1148.34/1152.01 c #Conflicts: 803000 | #Constraints: 87668
1148.34/1152.01 c #Conflicts: 804000 | #Constraints: 88668
1148.34/1152.01 c #Conflicts: 805000 | #Constraints: 89668
1148.34/1152.01 c #Conflicts: 806000 | #Constraints: 90668
1148.34/1152.01 c #Conflicts: 807000 | #Constraints: 91668
1148.34/1152.01 c #Conflicts: 808000 | #Constraints: 92668
1148.34/1152.01 c #Conflicts: 809000 | #Constraints: 93668
1148.34/1152.01 c #Conflicts: 810000 | #Constraints: 94668
1148.34/1152.01 c #Conflicts: 811000 | #Constraints: 95668
1148.34/1152.01 c #Conflicts: 812000 | #Constraints: 96668
1148.34/1152.01 c #Conflicts: 813000 | #Constraints: 97668
1148.34/1152.01 c #Conflicts: 814000 | #Constraints: 98668
1148.34/1152.01 c #Conflicts: 815000 | #Constraints: 99668
1148.34/1152.01 c #Conflicts: 816000 | #Constraints: 100668
1148.34/1152.01 c #Conflicts: 817000 | #Constraints: 101668
1148.34/1152.01 c #Conflicts: 818000 | #Constraints: 102668
1148.34/1152.01 c #Conflicts: 819000 | #Constraints: 103668
1198.10/1201.89 c INPROCESSING
1198.10/1201.89 c GARBAGE COLLECT
1198.10/1201.89 c #Conflicts: 820000 | #Constraints: 84162
1198.10/1201.89 c #Conflicts: 821000 | #Constraints: 85162
1198.10/1201.89 c #Conflicts: 822000 | #Constraints: 86162
1198.10/1201.89 c #Conflicts: 823000 | #Constraints: 87162
1198.10/1201.89 c #Conflicts: 824000 | #Constraints: 88162
1198.10/1201.89 c #Conflicts: 825000 | #Constraints: 89162
1198.10/1201.89 c #Conflicts: 826000 | #Constraints: 90162
1198.10/1201.89 c #Conflicts: 827000 | #Constraints: 91162
1198.10/1201.89 c #Conflicts: 828000 | #Constraints: 92162
1198.10/1201.89 c #Conflicts: 829000 | #Constraints: 93162
1198.10/1201.89 c #Conflicts: 830000 | #Constraints: 94162
1198.10/1201.89 c #Conflicts: 831000 | #Constraints: 95162
1198.10/1201.89 c #Conflicts: 832000 | #Constraints: 96162
1198.10/1201.89 c #Conflicts: 833000 | #Constraints: 97162
1198.10/1201.89 c #Conflicts: 834000 | #Constraints: 98162
1198.10/1201.89 c #Conflicts: 835000 | #Constraints: 99162
1198.10/1201.89 c #Conflicts: 836000 | #Constraints: 100162
1198.10/1201.89 c #Conflicts: 837000 | #Constraints: 101162
1198.10/1201.89 c #Conflicts: 838000 | #Constraints: 102162
1198.10/1201.89 c INPROCESSING
1198.10/1201.89 c GARBAGE COLLECT
1198.10/1201.89 c #Conflicts: 839000 | #Constraints: 83228
1198.10/1201.89 c #Conflicts: 840000 | #Constraints: 84228
1198.10/1201.89 c #Conflicts: 841000 | #Constraints: 85228
1198.10/1201.89 c #Conflicts: 842000 | #Constraints: 86228
1198.10/1201.89 c #Conflicts: 843000 | #Constraints: 87228
1198.10/1201.89 c #Conflicts: 844000 | #Constraints: 88228
1198.10/1201.89 c #Conflicts: 845000 | #Constraints: 89228
1198.10/1201.89 c #Conflicts: 846000 | #Constraints: 90228
1198.10/1201.89 c #Conflicts: 847000 | #Constraints: 91228
1198.10/1201.89 c #Conflicts: 848000 | #Constraints: 92228
1198.10/1201.89 c #Conflicts: 849000 | #Constraints: 93228
1198.10/1201.89 c #Conflicts: 850000 | #Constraints: 94228
1198.10/1201.89 c #Conflicts: 851000 | #Constraints: 95228
1198.10/1201.89 c #Conflicts: 852000 | #Constraints: 96228
1198.10/1201.89 c #Conflicts: 853000 | #Constraints: 97228
1198.10/1201.89 c #Conflicts: 854000 | #Constraints: 98228
1198.10/1201.89 c #Conflicts: 855000 | #Constraints: 99228
1198.10/1201.89 c #Conflicts: 856000 | #Constraints: 100228
1198.10/1201.89 c #Conflicts: 857000 | #Constraints: 101228
1198.10/1201.89 c #Conflicts: 858000 | #Constraints: 102228
1198.10/1201.89 c INPROCESSING
1198.10/1201.89 c GARBAGE COLLECT
1198.10/1201.89 c #Conflicts: 859000 | #Constraints: 83512
1198.10/1201.89 c #Conflicts: 860000 | #Constraints: 84512
1198.10/1201.89 c #Conflicts: 861000 | #Constraints: 85512
1198.10/1201.89 c #Conflicts: 862000 | #Constraints: 86512
1198.10/1201.89 c #Conflicts: 863000 | #Constraints: 87512
1198.10/1201.89 c #Conflicts: 864000 | #Constraints: 88512
1198.10/1201.89 c #Conflicts: 865000 | #Constraints: 89512
1198.10/1201.89 c #Conflicts: 866000 | #Constraints: 90512
1198.10/1201.89 c #Conflicts: 867000 | #Constraints: 91512
1198.10/1201.89 c #Conflicts: 868000 | #Constraints: 92512
1198.10/1201.89 c #Conflicts: 869000 | #Constraints: 93512
1198.10/1201.89 c #Conflicts: 870000 | #Constraints: 94512
1198.10/1201.89 c #Conflicts: 871000 | #Constraints: 95512
1198.10/1201.89 c #Conflicts: 872000 | #Constraints: 96512
1198.10/1201.89 c #Conflicts: 873000 | #Constraints: 97512
1198.10/1201.89 c #Conflicts: 874000 | #Constraints: 98512
1198.10/1201.89 c #Conflicts: 875000 | #Constraints: 99512
1198.10/1201.89 c #Conflicts: 876000 | #Constraints: 100512
1198.10/1201.89 c #Conflicts: 877000 | #Constraints: 101512
1198.10/1201.89 c INPROCESSING
1198.10/1201.89 c GARBAGE COLLECT
1198.10/1201.89 c #Conflicts: 878000 | #Constraints: 82813
1198.10/1201.89 c #Conflicts: 879000 | #Constraints: 83813
1198.10/1201.89 c #Conflicts: 880000 | #Constraints: 84813
1198.10/1201.89 c #Conflicts: 881000 | #Constraints: 85813
1198.10/1201.89 c #Conflicts: 882000 | #Constraints: 86813
1198.10/1201.89 c #Conflicts: 883000 | #Constraints: 87813
1198.10/1201.89 c #Conflicts: 884000 | #Constraints: 88813
1198.10/1201.89 c #Conflicts: 885000 | #Constraints: 89813
1198.10/1201.89 c #Conflicts: 886000 | #Constraints: 90813
1198.10/1201.89 c #Conflicts: 887000 | #Constraints: 91813
1198.10/1201.89 c #Conflicts: 888000 | #Constraints: 92813
1198.10/1201.89 c #Conflicts: 889000 | #Constraints: 93813
1198.10/1201.89 c #Conflicts: 890000 | #Constraints: 94813
1198.10/1201.89 c #Conflicts: 891000 | #Constraints: 95813
1198.10/1201.89 c #Conflicts: 892000 | #Constraints: 96813
1198.10/1201.89 c #Conflicts: 893000 | #Constraints: 97813
1198.10/1201.89 c #Conflicts: 894000 | #Constraints: 98813
1198.10/1201.89 c #Conflicts: 895000 | #Constraints: 99813
1246.47/1250.36 c #Conflicts: 896000 | #Constraints: 100813
1246.47/1250.36 c #Conflicts: 897000 | #Constraints: 101813
1246.47/1250.36 c INPROCESSING
1246.47/1250.36 c GARBAGE COLLECT
1246.47/1250.36 c #Conflicts: 898000 | #Constraints: 83002
1246.47/1250.36 c #Conflicts: 899000 | #Constraints: 84002
1246.47/1250.36 c #Conflicts: 900000 | #Constraints: 85002
1246.47/1250.36 c #Conflicts: 901000 | #Constraints: 86002
1246.47/1250.36 c #Conflicts: 902000 | #Constraints: 87002
1246.47/1250.36 c #Conflicts: 903000 | #Constraints: 88002
1246.47/1250.36 c #Conflicts: 904000 | #Constraints: 89002
1246.47/1250.36 c #Conflicts: 905000 | #Constraints: 90002
1246.47/1250.36 c #Conflicts: 906000 | #Constraints: 91002
1246.47/1250.36 c #Conflicts: 907000 | #Constraints: 92002
1246.47/1250.36 c #Conflicts: 908000 | #Constraints: 93002
1246.47/1250.36 c #Conflicts: 909000 | #Constraints: 94002
1246.47/1250.36 c #Conflicts: 910000 | #Constraints: 95002
1246.47/1250.36 c #Conflicts: 911000 | #Constraints: 96002
1246.47/1250.36 c #Conflicts: 912000 | #Constraints: 97002
1246.47/1250.36 c #Conflicts: 913000 | #Constraints: 98002
1246.47/1250.36 c #Conflicts: 914000 | #Constraints: 99002
1246.47/1250.36 c #Conflicts: 915000 | #Constraints: 100002
1246.47/1250.36 c #Conflicts: 916000 | #Constraints: 101002
1246.47/1250.36 c #Conflicts: 917000 | #Constraints: 102002
1246.47/1250.36 c INPROCESSING
1246.47/1250.36 c GARBAGE COLLECT
1246.47/1250.36 c #Conflicts: 918000 | #Constraints: 83051
1246.47/1250.36 c #Conflicts: 919000 | #Constraints: 84051
1246.47/1250.36 c #Conflicts: 920000 | #Constraints: 85051
1246.47/1250.36 c #Conflicts: 921000 | #Constraints: 86051
1246.47/1250.36 c #Conflicts: 922000 | #Constraints: 87051
1246.47/1250.36 c #Conflicts: 923000 | #Constraints: 88051
1246.47/1250.36 c #Conflicts: 924000 | #Constraints: 89051
1246.47/1250.36 c #Conflicts: 925000 | #Constraints: 90051
1246.47/1250.36 c #Conflicts: 926000 | #Constraints: 91051
1246.47/1250.36 c #Conflicts: 927000 | #Constraints: 92051
1246.47/1250.36 c #Conflicts: 928000 | #Constraints: 93051
1246.47/1250.36 c #Conflicts: 929000 | #Constraints: 94051
1246.47/1250.36 c #Conflicts: 930000 | #Constraints: 95051
1246.47/1250.36 c #Conflicts: 931000 | #Constraints: 96051
1246.47/1250.36 c #Conflicts: 932000 | #Constraints: 97051
1246.47/1250.36 c #Conflicts: 933000 | #Constraints: 98051
1246.47/1250.36 c #Conflicts: 934000 | #Constraints: 99051
1246.47/1250.36 c #Conflicts: 935000 | #Constraints: 100051
1246.47/1250.36 c #Conflicts: 936000 | #Constraints: 101051
1246.47/1250.36 c #Conflicts: 937000 | #Constraints: 102051
1246.47/1250.36 c #Conflicts: 938000 | #Constraints: 103051
1246.47/1250.36 c INPROCESSING
1246.47/1250.36 c GARBAGE COLLECT
1246.47/1250.36 c #Conflicts: 939000 | #Constraints: 83918
1246.47/1250.36 c #Conflicts: 940000 | #Constraints: 84918
1246.47/1250.36 c #Conflicts: 941000 | #Constraints: 85918
1246.47/1250.36 c #Conflicts: 942000 | #Constraints: 86918
1246.47/1250.36 c #Conflicts: 943000 | #Constraints: 87918
1246.47/1250.36 c #Conflicts: 944000 | #Constraints: 88918
1246.47/1250.36 c #Conflicts: 945000 | #Constraints: 89918
1246.47/1250.36 c #Conflicts: 946000 | #Constraints: 90918
1246.47/1250.36 c #Conflicts: 947000 | #Constraints: 91918
1246.47/1250.36 c #Conflicts: 948000 | #Constraints: 92918
1246.47/1250.36 c #Conflicts: 949000 | #Constraints: 93918
1246.47/1250.36 c #Conflicts: 950000 | #Constraints: 94918
1246.47/1250.36 c #Conflicts: 951000 | #Constraints: 95918
1246.47/1250.36 c #Conflicts: 952000 | #Constraints: 96918
1246.47/1250.36 c #Conflicts: 953000 | #Constraints: 97918
1246.47/1250.36 c #Conflicts: 954000 | #Constraints: 98918
1246.47/1250.36 c #Conflicts: 955000 | #Constraints: 99918
1246.47/1250.36 c #Conflicts: 956000 | #Constraints: 100918
1246.47/1250.36 c #Conflicts: 957000 | #Constraints: 101918
1246.47/1250.36 c #Conflicts: 958000 | #Constraints: 102918
1246.47/1250.36 c INPROCESSING
1246.47/1250.36 c GARBAGE COLLECT
1246.47/1250.36 c #Conflicts: 959000 | #Constraints: 83614
1246.47/1250.36 c #Conflicts: 960000 | #Constraints: 84614
1246.47/1250.36 c #Conflicts: 961000 | #Constraints: 85614
1246.47/1250.36 c #Conflicts: 962000 | #Constraints: 86614
1246.47/1250.36 c #Conflicts: 963000 | #Constraints: 87614
1246.47/1250.36 c #Conflicts: 964000 | #Constraints: 88614
1246.47/1250.36 c #Conflicts: 965000 | #Constraints: 89614
1246.47/1250.36 c #Conflicts: 966000 | #Constraints: 90614
1246.47/1250.36 c #Conflicts: 967000 | #Constraints: 91614
1246.47/1250.36 c #Conflicts: 968000 | #Constraints: 92614
1246.47/1250.36 c #Conflicts: 969000 | #Constraints: 93614
1246.47/1250.36 c #Conflicts: 970000 | #Constraints: 94614
1246.47/1250.36 c #Conflicts: 971000 | #Constraints: 95614
1294.83/1298.86 c #Conflicts: 972000 | #Constraints: 96614
1294.83/1298.86 c #Conflicts: 973000 | #Constraints: 97614
1294.83/1298.86 c #Conflicts: 974000 | #Constraints: 98614
1294.83/1298.86 c #Conflicts: 975000 | #Constraints: 99614
1294.83/1298.86 c #Conflicts: 976000 | #Constraints: 100614
1294.83/1298.86 c #Conflicts: 977000 | #Constraints: 101614
1294.83/1298.86 c #Conflicts: 978000 | #Constraints: 102614
1294.83/1298.86 c #Conflicts: 979000 | #Constraints: 103614
1294.83/1298.86 c INPROCESSING
1294.83/1298.86 c GARBAGE COLLECT
1294.83/1298.86 c #Conflicts: 980000 | #Constraints: 84134
1294.83/1298.86 c #Conflicts: 981000 | #Constraints: 85134
1294.83/1298.86 c #Conflicts: 982000 | #Constraints: 86134
1294.83/1298.86 c #Conflicts: 983000 | #Constraints: 87134
1294.83/1298.86 c #Conflicts: 984000 | #Constraints: 88134
1294.83/1298.86 c #Conflicts: 985000 | #Constraints: 89134
1294.83/1298.86 c #Conflicts: 986000 | #Constraints: 90134
1294.83/1298.86 c #Conflicts: 987000 | #Constraints: 91134
1294.83/1298.86 c #Conflicts: 988000 | #Constraints: 92134
1294.83/1298.86 c #Conflicts: 989000 | #Constraints: 93134
1294.83/1298.86 c #Conflicts: 990000 | #Constraints: 94134
1294.83/1298.86 c #Conflicts: 991000 | #Constraints: 95134
1294.83/1298.86 c #Conflicts: 992000 | #Constraints: 96134
1294.83/1298.86 c #Conflicts: 993000 | #Constraints: 97134
1294.83/1298.86 c #Conflicts: 994000 | #Constraints: 98134
1294.83/1298.86 c #Conflicts: 995000 | #Constraints: 99134
1294.83/1298.86 c #Conflicts: 996000 | #Constraints: 100134
1294.83/1298.86 c #Conflicts: 997000 | #Constraints: 101134
1294.83/1298.86 c #Conflicts: 998000 | #Constraints: 102134
1294.83/1298.86 c #Conflicts: 999000 | #Constraints: 103134
1294.83/1298.86 c #Conflicts: 1000000 | #Constraints: 104134
1294.83/1298.86 c INPROCESSING
1294.83/1298.86 c GARBAGE COLLECT
1294.83/1298.86 c #Conflicts: 1001000 | #Constraints: 84415
1294.83/1298.86 c #Conflicts: 1002000 | #Constraints: 85415
1294.83/1298.86 c #Conflicts: 1003000 | #Constraints: 86415
1294.83/1298.86 c #Conflicts: 1004000 | #Constraints: 87415
1294.83/1298.86 c #Conflicts: 1005000 | #Constraints: 88415
1294.83/1298.86 c #Conflicts: 1006000 | #Constraints: 89415
1294.83/1298.86 c #Conflicts: 1007000 | #Constraints: 90415
1294.83/1298.86 c #Conflicts: 1008000 | #Constraints: 91415
1294.83/1298.86 c #Conflicts: 1009000 | #Constraints: 92415
1294.83/1298.86 c #Conflicts: 1010000 | #Constraints: 93415
1294.83/1298.86 c #Conflicts: 1011000 | #Constraints: 94415
1294.83/1298.86 c #Conflicts: 1012000 | #Constraints: 95415
1294.83/1298.86 c #Conflicts: 1013000 | #Constraints: 96415
1294.83/1298.86 c #Conflicts: 1014000 | #Constraints: 97415
1294.83/1298.86 c #Conflicts: 1015000 | #Constraints: 98415
1294.83/1298.86 c #Conflicts: 1016000 | #Constraints: 99415
1294.83/1298.86 c #Conflicts: 1017000 | #Constraints: 100415
1294.83/1298.86 c #Conflicts: 1018000 | #Constraints: 101415
1294.83/1298.86 c #Conflicts: 1019000 | #Constraints: 102415
1294.83/1298.86 c #Conflicts: 1020000 | #Constraints: 103415
1294.83/1298.86 c #Conflicts: 1021000 | #Constraints: 104415
1294.83/1298.86 c INPROCESSING
1294.83/1298.86 c GARBAGE COLLECT
1294.83/1298.86 c #Conflicts: 1022000 | #Constraints: 84507
1294.83/1298.86 c #Conflicts: 1023000 | #Constraints: 85507
1294.83/1298.86 c #Conflicts: 1024000 | #Constraints: 86507
1294.83/1298.86 c #Conflicts: 1025000 | #Constraints: 87507
1294.83/1298.86 c #Conflicts: 1026000 | #Constraints: 88507
1294.83/1298.86 c #Conflicts: 1027000 | #Constraints: 89507
1294.83/1298.86 c #Conflicts: 1028000 | #Constraints: 90507
1294.83/1298.86 c #Conflicts: 1029000 | #Constraints: 91507
1294.83/1298.86 c #Conflicts: 1030000 | #Constraints: 92507
1294.83/1298.86 c #Conflicts: 1031000 | #Constraints: 93507
1294.83/1298.86 c #Conflicts: 1032000 | #Constraints: 94507
1294.83/1298.86 c #Conflicts: 1033000 | #Constraints: 95507
1294.83/1298.86 c #Conflicts: 1034000 | #Constraints: 96507
1294.83/1298.86 c #Conflicts: 1035000 | #Constraints: 97507
1294.83/1298.86 c #Conflicts: 1036000 | #Constraints: 98507
1294.83/1298.86 c #Conflicts: 1037000 | #Constraints: 99507
1294.83/1298.86 c #Conflicts: 1038000 | #Constraints: 100507
1294.83/1298.86 c #Conflicts: 1039000 | #Constraints: 101507
1294.83/1298.86 c #Conflicts: 1040000 | #Constraints: 102507
1294.83/1298.86 c #Conflicts: 1041000 | #Constraints: 103507
1294.83/1298.86 c #Conflicts: 1042000 | #Constraints: 104507
1294.83/1298.86 c INPROCESSING
1294.83/1298.86 c GARBAGE COLLECT
1294.83/1298.86 c #Conflicts: 1043000 | #Constraints: 84419
1294.83/1298.86 c #Conflicts: 1044000 | #Constraints: 85419
1294.83/1298.86 c #Conflicts: 1045000 | #Constraints: 86419
1294.83/1298.86 c #Conflicts: 1046000 | #Constraints: 87419
1294.83/1298.86 c #Conflicts: 1047000 | #Constraints: 88419
1294.83/1298.86 c #Conflicts: 1048000 | #Constraints: 89419
1346.69/1350.88 c #Conflicts: 1049000 | #Constraints: 90419
1346.69/1350.88 c #Conflicts: 1050000 | #Constraints: 91419
1346.69/1350.88 c #Conflicts: 1051000 | #Constraints: 92419
1346.69/1350.88 c #Conflicts: 1052000 | #Constraints: 93419
1346.69/1350.88 c #Conflicts: 1053000 | #Constraints: 94419
1346.69/1350.88 c #Conflicts: 1054000 | #Constraints: 95419
1346.69/1350.88 c #Conflicts: 1055000 | #Constraints: 96419
1346.69/1350.88 c #Conflicts: 1056000 | #Constraints: 97419
1346.69/1350.88 c #Conflicts: 1057000 | #Constraints: 98419
1346.69/1350.88 c #Conflicts: 1058000 | #Constraints: 99419
1346.69/1350.88 c #Conflicts: 1059000 | #Constraints: 100419
1346.69/1350.88 c #Conflicts: 1060000 | #Constraints: 101419
1346.69/1350.88 c #Conflicts: 1061000 | #Constraints: 102419
1346.69/1350.88 c #Conflicts: 1062000 | #Constraints: 103419
1346.69/1350.88 c #Conflicts: 1063000 | #Constraints: 104419
1346.69/1350.88 c #Conflicts: 1064000 | #Constraints: 105419
1346.69/1350.88 c INPROCESSING
1346.69/1350.88 c GARBAGE COLLECT
1346.69/1350.88 c #Conflicts: 1065000 | #Constraints: 85125
1346.69/1350.88 c #Conflicts: 1066000 | #Constraints: 86125
1346.69/1350.88 c #Conflicts: 1067000 | #Constraints: 87125
1346.69/1350.88 c #Conflicts: 1068000 | #Constraints: 88125
1346.69/1350.88 c #Conflicts: 1069000 | #Constraints: 89125
1346.69/1350.88 c #Conflicts: 1070000 | #Constraints: 90125
1346.69/1350.88 c #Conflicts: 1071000 | #Constraints: 91125
1346.69/1350.88 c #Conflicts: 1072000 | #Constraints: 92125
1346.69/1350.88 c #Conflicts: 1073000 | #Constraints: 93125
1346.69/1350.88 c #Conflicts: 1074000 | #Constraints: 94125
1346.69/1350.88 c #Conflicts: 1075000 | #Constraints: 95125
1346.69/1350.88 c #Conflicts: 1076000 | #Constraints: 96125
1346.69/1350.88 c #Conflicts: 1077000 | #Constraints: 97125
1346.69/1350.88 c #Conflicts: 1078000 | #Constraints: 98125
1346.69/1350.88 c #Conflicts: 1079000 | #Constraints: 99125
1346.69/1350.88 c #Conflicts: 1080000 | #Constraints: 100125
1346.69/1350.88 c #Conflicts: 1081000 | #Constraints: 101125
1346.69/1350.88 c #Conflicts: 1082000 | #Constraints: 102125
1346.69/1350.88 c #Conflicts: 1083000 | #Constraints: 103125
1346.69/1350.88 c #Conflicts: 1084000 | #Constraints: 104125
1346.69/1350.88 c #Conflicts: 1085000 | #Constraints: 105125
1346.69/1350.88 c INPROCESSING
1346.69/1350.88 c GARBAGE COLLECT
1346.69/1350.88 c #Conflicts: 1086000 | #Constraints: 84619
1346.69/1350.88 c #Conflicts: 1087000 | #Constraints: 85619
1346.69/1350.88 c #Conflicts: 1088000 | #Constraints: 86619
1346.69/1350.88 c #Conflicts: 1089000 | #Constraints: 87619
1346.69/1350.88 c #Conflicts: 1090000 | #Constraints: 88619
1346.69/1350.88 c #Conflicts: 1091000 | #Constraints: 89619
1346.69/1350.88 c #Conflicts: 1092000 | #Constraints: 90619
1346.69/1350.88 c #Conflicts: 1093000 | #Constraints: 91619
1346.69/1350.88 c #Conflicts: 1094000 | #Constraints: 92619
1346.69/1350.88 c #Conflicts: 1095000 | #Constraints: 93619
1346.69/1350.88 c #Conflicts: 1096000 | #Constraints: 94619
1346.69/1350.88 c #Conflicts: 1097000 | #Constraints: 95619
1346.69/1350.88 c #Conflicts: 1098000 | #Constraints: 96619
1346.69/1350.88 c #Conflicts: 1099000 | #Constraints: 97619
1346.69/1350.88 c #Conflicts: 1100000 | #Constraints: 98619
1346.69/1350.88 c #Conflicts: 1101000 | #Constraints: 99619
1346.69/1350.88 c #Conflicts: 1102000 | #Constraints: 100619
1346.69/1350.88 c #Conflicts: 1103000 | #Constraints: 101619
1346.69/1350.88 c #Conflicts: 1104000 | #Constraints: 102619
1346.69/1350.88 c #Conflicts: 1105000 | #Constraints: 103619
1346.69/1350.88 c #Conflicts: 1106000 | #Constraints: 104619
1346.69/1350.88 c #Conflicts: 1107000 | #Constraints: 105619
1346.69/1350.88 c INPROCESSING
1346.69/1350.88 c GARBAGE COLLECT
1346.69/1350.88 c #Conflicts: 1108000 | #Constraints: 84920
1346.69/1350.88 c #Conflicts: 1109000 | #Constraints: 85920
1346.69/1350.88 c #Conflicts: 1110000 | #Constraints: 86920
1346.69/1350.88 c #Conflicts: 1111000 | #Constraints: 87920
1346.69/1350.88 c #Conflicts: 1112000 | #Constraints: 88920
1346.69/1350.88 c #Conflicts: 1113000 | #Constraints: 89920
1346.69/1350.88 c #Conflicts: 1114000 | #Constraints: 90920
1346.69/1350.88 c #Conflicts: 1115000 | #Constraints: 91920
1346.69/1350.88 c #Conflicts: 1116000 | #Constraints: 92920
1346.69/1350.88 c #Conflicts: 1117000 | #Constraints: 93920
1346.69/1350.88 c #Conflicts: 1118000 | #Constraints: 94920
1346.69/1350.88 c #Conflicts: 1119000 | #Constraints: 95920
1346.69/1350.88 c #Conflicts: 1120000 | #Constraints: 96920
1346.69/1350.88 c #Conflicts: 1121000 | #Constraints: 97920
1346.69/1350.88 c #Conflicts: 1122000 | #Constraints: 98920
1346.69/1350.88 c #Conflicts: 1123000 | #Constraints: 99920
1346.69/1350.88 c #Conflicts: 1124000 | #Constraints: 100920
1346.69/1350.88 c #Conflicts: 1125000 | #Constraints: 101920
1399.94/1404.22 c #Conflicts: 1126000 | #Constraints: 102920
1399.94/1404.22 c #Conflicts: 1127000 | #Constraints: 103920
1399.94/1404.22 c #Conflicts: 1128000 | #Constraints: 104920
1399.94/1404.22 c #Conflicts: 1129000 | #Constraints: 105920
1399.94/1404.22 c INPROCESSING
1399.94/1404.22 c GARBAGE COLLECT
1399.94/1404.22 c #Conflicts: 1130000 | #Constraints: 85031
1399.94/1404.22 c #Conflicts: 1131000 | #Constraints: 86031
1399.94/1404.22 c #Conflicts: 1132000 | #Constraints: 87031
1399.94/1404.22 c #Conflicts: 1133000 | #Constraints: 88031
1399.94/1404.22 c #Conflicts: 1134000 | #Constraints: 89031
1399.94/1404.22 c #Conflicts: 1135000 | #Constraints: 90031
1399.94/1404.22 c #Conflicts: 1136000 | #Constraints: 91031
1399.94/1404.22 c #Conflicts: 1137000 | #Constraints: 92031
1399.94/1404.22 c #Conflicts: 1138000 | #Constraints: 93031
1399.94/1404.22 c #Conflicts: 1139000 | #Constraints: 94031
1399.94/1404.22 c #Conflicts: 1140000 | #Constraints: 95031
1399.94/1404.22 c #Conflicts: 1141000 | #Constraints: 96031
1399.94/1404.22 c #Conflicts: 1142000 | #Constraints: 97031
1399.94/1404.22 c #Conflicts: 1143000 | #Constraints: 98031
1399.94/1404.22 c #Conflicts: 1144000 | #Constraints: 99031
1399.94/1404.22 c #Conflicts: 1145000 | #Constraints: 100031
1399.94/1404.22 c #Conflicts: 1146000 | #Constraints: 101031
1399.94/1404.22 c #Conflicts: 1147000 | #Constraints: 102031
1399.94/1404.22 c #Conflicts: 1148000 | #Constraints: 103031
1399.94/1404.22 c #Conflicts: 1149000 | #Constraints: 104031
1399.94/1404.22 c #Conflicts: 1150000 | #Constraints: 105031
1399.94/1404.22 c #Conflicts: 1151000 | #Constraints: 106031
1399.94/1404.22 c #Conflicts: 1152000 | #Constraints: 107031
1399.94/1404.22 c INPROCESSING
1399.94/1404.22 c GARBAGE COLLECT
1399.94/1404.22 c #Conflicts: 1153000 | #Constraints: 85930
1399.94/1404.22 c #Conflicts: 1154000 | #Constraints: 86930
1399.94/1404.22 c #Conflicts: 1155000 | #Constraints: 87930
1399.94/1404.22 c #Conflicts: 1156000 | #Constraints: 88930
1399.94/1404.22 c #Conflicts: 1157000 | #Constraints: 89930
1399.94/1404.22 c #Conflicts: 1158000 | #Constraints: 90930
1399.94/1404.22 c #Conflicts: 1159000 | #Constraints: 91930
1399.94/1404.22 c #Conflicts: 1160000 | #Constraints: 92930
1399.94/1404.22 c #Conflicts: 1161000 | #Constraints: 93930
1399.94/1404.22 c #Conflicts: 1162000 | #Constraints: 94930
1399.94/1404.22 c #Conflicts: 1163000 | #Constraints: 95930
1399.94/1404.22 c #Conflicts: 1164000 | #Constraints: 96930
1399.94/1404.22 c #Conflicts: 1165000 | #Constraints: 97930
1399.94/1404.22 c #Conflicts: 1166000 | #Constraints: 98930
1399.94/1404.22 c #Conflicts: 1167000 | #Constraints: 99930
1399.94/1404.22 c #Conflicts: 1168000 | #Constraints: 100930
1399.94/1404.22 c #Conflicts: 1169000 | #Constraints: 101930
1399.94/1404.22 c #Conflicts: 1170000 | #Constraints: 102930
1399.94/1404.22 c #Conflicts: 1171000 | #Constraints: 103930
1399.94/1404.22 c #Conflicts: 1172000 | #Constraints: 104930
1399.94/1404.22 c #Conflicts: 1173000 | #Constraints: 105930
1399.94/1404.22 c #Conflicts: 1174000 | #Constraints: 106930
1399.94/1404.22 c INPROCESSING
1399.94/1404.22 c GARBAGE COLLECT
1399.94/1404.22 c #Conflicts: 1175000 | #Constraints: 85635
1399.94/1404.22 c #Conflicts: 1176000 | #Constraints: 86635
1399.94/1404.22 c #Conflicts: 1177000 | #Constraints: 87635
1399.94/1404.22 c #Conflicts: 1178000 | #Constraints: 88635
1399.94/1404.22 c #Conflicts: 1179000 | #Constraints: 89635
1399.94/1404.22 c #Conflicts: 1180000 | #Constraints: 90635
1399.94/1404.22 c #Conflicts: 1181000 | #Constraints: 91635
1399.94/1404.22 c #Conflicts: 1182000 | #Constraints: 92635
1399.94/1404.22 c #Conflicts: 1183000 | #Constraints: 93635
1399.94/1404.22 c #Conflicts: 1184000 | #Constraints: 94635
1399.94/1404.22 c #Conflicts: 1185000 | #Constraints: 95635
1399.94/1404.22 c #Conflicts: 1186000 | #Constraints: 96635
1399.94/1404.22 c #Conflicts: 1187000 | #Constraints: 97635
1399.94/1404.22 c #Conflicts: 1188000 | #Constraints: 98635
1399.94/1404.22 c #Conflicts: 1189000 | #Constraints: 99635
1399.94/1404.22 c #Conflicts: 1190000 | #Constraints: 100635
1399.94/1404.22 c #Conflicts: 1191000 | #Constraints: 101635
1399.94/1404.22 c #Conflicts: 1192000 | #Constraints: 102635
1399.94/1404.22 c #Conflicts: 1193000 | #Constraints: 103635
1399.94/1404.22 c #Conflicts: 1194000 | #Constraints: 104635
1399.94/1404.22 c #Conflicts: 1195000 | #Constraints: 105635
1399.94/1404.22 c #Conflicts: 1196000 | #Constraints: 106635
1399.94/1404.22 c #Conflicts: 1197000 | #Constraints: 107635
1399.94/1404.22 c INPROCESSING
1399.94/1404.22 c GARBAGE COLLECT
1399.94/1404.22 c #Conflicts: 1198000 | #Constraints: 86139
1399.94/1404.22 c #Conflicts: 1199000 | #Constraints: 87139
1399.94/1404.22 c #Conflicts: 1200000 | #Constraints: 88139
1399.94/1404.22 c #Conflicts: 1201000 | #Constraints: 89139
1444.72/1449.16 c #Conflicts: 1202000 | #Constraints: 90139
1444.72/1449.16 c #Conflicts: 1203000 | #Constraints: 91139
1444.72/1449.16 c #Conflicts: 1204000 | #Constraints: 92139
1444.72/1449.16 c #Conflicts: 1205000 | #Constraints: 93139
1444.72/1449.16 c #Conflicts: 1206000 | #Constraints: 94139
1444.72/1449.16 c #Conflicts: 1207000 | #Constraints: 95139
1444.72/1449.16 c #Conflicts: 1208000 | #Constraints: 96139
1444.72/1449.16 c #Conflicts: 1209000 | #Constraints: 97139
1444.72/1449.16 c #Conflicts: 1210000 | #Constraints: 98139
1444.72/1449.16 c #Conflicts: 1211000 | #Constraints: 99139
1444.72/1449.16 c #Conflicts: 1212000 | #Constraints: 100139
1444.72/1449.16 c #Conflicts: 1213000 | #Constraints: 101139
1444.72/1449.16 c #Conflicts: 1214000 | #Constraints: 102139
1444.72/1449.16 c #Conflicts: 1215000 | #Constraints: 103139
1444.72/1449.16 c #Conflicts: 1216000 | #Constraints: 104139
1444.72/1449.16 c #Conflicts: 1217000 | #Constraints: 105139
1444.72/1449.16 c #Conflicts: 1218000 | #Constraints: 106139
1444.72/1449.16 c #Conflicts: 1219000 | #Constraints: 107139
1444.72/1449.16 c #Conflicts: 1220000 | #Constraints: 108139
1444.72/1449.16 c INPROCESSING
1444.72/1449.16 c GARBAGE COLLECT
1444.72/1449.16 c #Conflicts: 1221000 | #Constraints: 86429
1444.72/1449.16 c #Conflicts: 1222000 | #Constraints: 87429
1444.72/1449.16 c bounds -162 >= -178 @ 1409.3
1444.72/1449.16 c #Conflicts: 1223000 | #Constraints: 88442
1444.72/1449.16 c #Conflicts: 1224000 | #Constraints: 89442
1444.72/1449.16 c #Conflicts: 1225000 | #Constraints: 90442
1444.72/1449.16 c #Conflicts: 1226000 | #Constraints: 91442
1444.72/1449.16 c #Conflicts: 1227000 | #Constraints: 92442
1444.72/1449.16 c #Conflicts: 1228000 | #Constraints: 93442
1444.72/1449.16 c #Conflicts: 1229000 | #Constraints: 94442
1444.72/1449.16 c #Conflicts: 1230000 | #Constraints: 95442
1444.72/1449.16 c #Conflicts: 1231000 | #Constraints: 96442
1444.72/1449.16 c #Conflicts: 1232000 | #Constraints: 97442
1444.72/1449.16 c #Conflicts: 1233000 | #Constraints: 98442
1444.72/1449.16 c #Conflicts: 1234000 | #Constraints: 99442
1444.72/1449.16 c #Conflicts: 1235000 | #Constraints: 100442
1444.72/1449.16 c #Conflicts: 1236000 | #Constraints: 101442
1444.72/1449.16 c #Conflicts: 1237000 | #Constraints: 102442
1444.72/1449.16 c #Conflicts: 1238000 | #Constraints: 103442
1444.72/1449.16 c #Conflicts: 1239000 | #Constraints: 104442
1444.72/1449.16 c #Conflicts: 1240000 | #Constraints: 105442
1444.72/1449.16 c #Conflicts: 1241000 | #Constraints: 106442
1444.72/1449.16 c #Conflicts: 1242000 | #Constraints: 107442
1444.72/1449.16 c #Conflicts: 1243000 | #Constraints: 108442
1444.72/1449.16 c INPROCESSING
1444.72/1449.16 c GARBAGE COLLECT
1444.72/1449.16 c #Conflicts: 1244000 | #Constraints: 86537
1444.72/1449.16 c #Conflicts: 1245000 | #Constraints: 87537
1444.72/1449.16 c #Conflicts: 1246000 | #Constraints: 88537
1444.72/1449.16 c #Conflicts: 1247000 | #Constraints: 89537
1444.72/1449.16 c #Conflicts: 1248000 | #Constraints: 90537
1444.72/1449.16 c #Conflicts: 1249000 | #Constraints: 91537
1444.72/1449.16 c #Conflicts: 1250000 | #Constraints: 92537
1444.72/1449.16 c #Conflicts: 1251000 | #Constraints: 93537
1444.72/1449.16 c #Conflicts: 1252000 | #Constraints: 94537
1444.72/1449.16 c #Conflicts: 1253000 | #Constraints: 95537
1444.72/1449.16 c #Conflicts: 1254000 | #Constraints: 96537
1444.72/1449.16 c #Conflicts: 1255000 | #Constraints: 97537
1444.72/1449.16 c #Conflicts: 1256000 | #Constraints: 98537
1444.72/1449.16 c #Conflicts: 1257000 | #Constraints: 99537
1444.72/1449.16 c #Conflicts: 1258000 | #Constraints: 100537
1444.72/1449.16 c #Conflicts: 1259000 | #Constraints: 101537
1444.72/1449.16 c #Conflicts: 1260000 | #Constraints: 102537
1444.72/1449.16 c #Conflicts: 1261000 | #Constraints: 103537
1444.72/1449.16 c #Conflicts: 1262000 | #Constraints: 104537
1444.72/1449.16 c #Conflicts: 1263000 | #Constraints: 105537
1444.72/1449.16 c #Conflicts: 1264000 | #Constraints: 106537
1444.72/1449.16 c #Conflicts: 1265000 | #Constraints: 107537
1444.72/1449.16 c #Conflicts: 1266000 | #Constraints: 108537
1444.72/1449.16 c INPROCESSING
1444.72/1449.16 c GARBAGE COLLECT
1444.72/1449.16 c #Conflicts: 1267000 | #Constraints: 86434
1444.72/1449.16 c #Conflicts: 1268000 | #Constraints: 87434
1444.72/1449.16 c #Conflicts: 1269000 | #Constraints: 88434
1444.72/1449.16 c #Conflicts: 1270000 | #Constraints: 89434
1444.72/1449.16 c #Conflicts: 1271000 | #Constraints: 90434
1444.72/1449.16 c #Conflicts: 1272000 | #Constraints: 91434
1444.72/1449.16 c #Conflicts: 1273000 | #Constraints: 92434
1444.72/1449.16 c #Conflicts: 1274000 | #Constraints: 93434
1444.72/1449.16 c #Conflicts: 1275000 | #Constraints: 94434
1444.72/1449.16 c #Conflicts: 1276000 | #Constraints: 95434
1444.72/1449.16 c #Conflicts: 1277000 | #Constraints: 96434
1489.28/1493.80 c #Conflicts: 1278000 | #Constraints: 97434
1489.28/1493.80 c #Conflicts: 1279000 | #Constraints: 98434
1489.28/1493.80 c #Conflicts: 1280000 | #Constraints: 99434
1489.28/1493.80 c #Conflicts: 1281000 | #Constraints: 100434
1489.28/1493.80 c #Conflicts: 1282000 | #Constraints: 101434
1489.28/1493.80 c #Conflicts: 1283000 | #Constraints: 102434
1489.28/1493.80 c #Conflicts: 1284000 | #Constraints: 103434
1489.28/1493.80 c #Conflicts: 1285000 | #Constraints: 104434
1489.28/1493.80 c #Conflicts: 1286000 | #Constraints: 105434
1489.28/1493.80 c #Conflicts: 1287000 | #Constraints: 106434
1489.28/1493.80 c #Conflicts: 1288000 | #Constraints: 107434
1489.28/1493.80 c #Conflicts: 1289000 | #Constraints: 108434
1489.28/1493.80 c #Conflicts: 1290000 | #Constraints: 109434
1489.28/1493.80 c INPROCESSING
1489.28/1493.80 c GARBAGE COLLECT
1489.28/1493.80 c #Conflicts: 1291000 | #Constraints: 87132
1489.28/1493.80 c #Conflicts: 1292000 | #Constraints: 88132
1489.28/1493.80 c #Conflicts: 1293000 | #Constraints: 89132
1489.28/1493.80 c #Conflicts: 1294000 | #Constraints: 90132
1489.28/1493.80 c #Conflicts: 1295000 | #Constraints: 91132
1489.28/1493.80 c #Conflicts: 1296000 | #Constraints: 92132
1489.28/1493.80 c #Conflicts: 1297000 | #Constraints: 93132
1489.28/1493.80 c #Conflicts: 1298000 | #Constraints: 94132
1489.28/1493.80 c #Conflicts: 1299000 | #Constraints: 95132
1489.28/1493.80 c #Conflicts: 1300000 | #Constraints: 96132
1489.28/1493.80 c #Conflicts: 1301000 | #Constraints: 97132
1489.28/1493.80 c #Conflicts: 1302000 | #Constraints: 98132
1489.28/1493.80 c #Conflicts: 1303000 | #Constraints: 99132
1489.28/1493.80 c #Conflicts: 1304000 | #Constraints: 100132
1489.28/1493.80 c #Conflicts: 1305000 | #Constraints: 101132
1489.28/1493.80 c #Conflicts: 1306000 | #Constraints: 102132
1489.28/1493.80 c #Conflicts: 1307000 | #Constraints: 103132
1489.28/1493.80 c #Conflicts: 1308000 | #Constraints: 104132
1489.28/1493.80 c #Conflicts: 1309000 | #Constraints: 105132
1489.28/1493.80 c #Conflicts: 1310000 | #Constraints: 106132
1489.28/1493.80 c #Conflicts: 1311000 | #Constraints: 107132
1489.28/1493.80 c #Conflicts: 1312000 | #Constraints: 108132
1489.28/1493.80 c #Conflicts: 1313000 | #Constraints: 109132
1489.28/1493.80 c INPROCESSING
1489.28/1493.80 c GARBAGE COLLECT
1489.28/1493.80 c #Conflicts: 1314000 | #Constraints: 86624
1489.28/1493.80 c #Conflicts: 1315000 | #Constraints: 87624
1489.28/1493.80 c #Conflicts: 1316000 | #Constraints: 88624
1489.28/1493.80 c #Conflicts: 1317000 | #Constraints: 89624
1489.28/1493.80 c #Conflicts: 1318000 | #Constraints: 90624
1489.28/1493.80 c #Conflicts: 1319000 | #Constraints: 91624
1489.28/1493.80 c #Conflicts: 1320000 | #Constraints: 92624
1489.28/1493.80 c #Conflicts: 1321000 | #Constraints: 93624
1489.28/1493.80 c #Conflicts: 1322000 | #Constraints: 94624
1489.28/1493.80 c #Conflicts: 1323000 | #Constraints: 95624
1489.28/1493.80 c #Conflicts: 1324000 | #Constraints: 96624
1489.28/1493.80 c #Conflicts: 1325000 | #Constraints: 97624
1489.28/1493.80 c #Conflicts: 1326000 | #Constraints: 98624
1489.28/1493.80 c #Conflicts: 1327000 | #Constraints: 99624
1489.28/1493.80 c #Conflicts: 1328000 | #Constraints: 100624
1489.28/1493.80 c #Conflicts: 1329000 | #Constraints: 101624
1489.28/1493.80 c #Conflicts: 1330000 | #Constraints: 102624
1489.28/1493.80 c #Conflicts: 1331000 | #Constraints: 103624
1489.28/1493.80 c #Conflicts: 1332000 | #Constraints: 104624
1489.28/1493.80 c #Conflicts: 1333000 | #Constraints: 105624
1489.28/1493.80 c #Conflicts: 1334000 | #Constraints: 106624
1489.28/1493.80 c #Conflicts: 1335000 | #Constraints: 107624
1489.28/1493.80 c #Conflicts: 1336000 | #Constraints: 108624
1489.28/1493.80 c #Conflicts: 1337000 | #Constraints: 109624
1489.28/1493.80 c INPROCESSING
1489.28/1493.80 c GARBAGE COLLECT
1489.28/1493.80 c #Conflicts: 1338000 | #Constraints: 86957
1489.28/1493.80 c #Conflicts: 1339000 | #Constraints: 87957
1489.28/1493.80 c #Conflicts: 1340000 | #Constraints: 88957
1489.28/1493.80 c #Conflicts: 1341000 | #Constraints: 89957
1489.28/1493.80 c #Conflicts: 1342000 | #Constraints: 90957
1489.28/1493.80 c #Conflicts: 1343000 | #Constraints: 91957
1489.28/1493.80 c #Conflicts: 1344000 | #Constraints: 92957
1489.28/1493.80 c #Conflicts: 1345000 | #Constraints: 93957
1489.28/1493.80 c #Conflicts: 1346000 | #Constraints: 94957
1489.28/1493.80 c #Conflicts: 1347000 | #Constraints: 95957
1489.28/1493.80 c #Conflicts: 1348000 | #Constraints: 96957
1489.28/1493.80 c #Conflicts: 1349000 | #Constraints: 97957
1489.28/1493.80 c #Conflicts: 1350000 | #Constraints: 98957
1489.28/1493.80 c #Conflicts: 1351000 | #Constraints: 99957
1489.28/1493.80 c #Conflicts: 1352000 | #Constraints: 100957
1489.28/1493.80 c #Conflicts: 1353000 | #Constraints: 101957
1489.28/1493.80 c #Conflicts: 1354000 | #Constraints: 102957
1534.86/1539.52 c #Conflicts: 1355000 | #Constraints: 103957
1534.86/1539.52 c #Conflicts: 1356000 | #Constraints: 104957
1534.86/1539.52 c #Conflicts: 1357000 | #Constraints: 105957
1534.86/1539.52 c #Conflicts: 1358000 | #Constraints: 106957
1534.86/1539.52 c #Conflicts: 1359000 | #Constraints: 107957
1534.86/1539.52 c #Conflicts: 1360000 | #Constraints: 108957
1534.86/1539.52 c #Conflicts: 1361000 | #Constraints: 109957
1534.86/1539.52 c INPROCESSING
1534.86/1539.52 c GARBAGE COLLECT
1534.86/1539.52 c #Conflicts: 1362000 | #Constraints: 87045
1534.86/1539.52 c #Conflicts: 1363000 | #Constraints: 88045
1534.86/1539.52 c #Conflicts: 1364000 | #Constraints: 89045
1534.86/1539.52 c #Conflicts: 1365000 | #Constraints: 90045
1534.86/1539.52 c #Conflicts: 1366000 | #Constraints: 91045
1534.86/1539.52 c #Conflicts: 1367000 | #Constraints: 92045
1534.86/1539.52 c #Conflicts: 1368000 | #Constraints: 93045
1534.86/1539.52 c #Conflicts: 1369000 | #Constraints: 94045
1534.86/1539.52 c #Conflicts: 1370000 | #Constraints: 95045
1534.86/1539.52 c #Conflicts: 1371000 | #Constraints: 96045
1534.86/1539.52 c #Conflicts: 1372000 | #Constraints: 97045
1534.86/1539.52 c #Conflicts: 1373000 | #Constraints: 98045
1534.86/1539.52 c #Conflicts: 1374000 | #Constraints: 99045
1534.86/1539.52 c #Conflicts: 1375000 | #Constraints: 100045
1534.86/1539.52 c #Conflicts: 1376000 | #Constraints: 101045
1534.86/1539.52 c #Conflicts: 1377000 | #Constraints: 102045
1534.86/1539.52 c #Conflicts: 1378000 | #Constraints: 103045
1534.86/1539.52 c #Conflicts: 1379000 | #Constraints: 104045
1534.86/1539.52 c #Conflicts: 1380000 | #Constraints: 105045
1534.86/1539.52 c #Conflicts: 1381000 | #Constraints: 106045
1534.86/1539.52 c #Conflicts: 1382000 | #Constraints: 107045
1534.86/1539.52 c #Conflicts: 1383000 | #Constraints: 108045
1534.86/1539.52 c #Conflicts: 1384000 | #Constraints: 109045
1534.86/1539.52 c #Conflicts: 1385000 | #Constraints: 110045
1534.86/1539.52 c #Conflicts: 1386000 | #Constraints: 111045
1534.86/1539.52 c INPROCESSING
1534.86/1539.52 c GARBAGE COLLECT
1534.86/1539.52 c #Conflicts: 1387000 | #Constraints: 87936
1534.86/1539.52 c #Conflicts: 1388000 | #Constraints: 88936
1534.86/1539.52 c #Conflicts: 1389000 | #Constraints: 89936
1534.86/1539.52 c #Conflicts: 1390000 | #Constraints: 90936
1534.86/1539.52 c #Conflicts: 1391000 | #Constraints: 91936
1534.86/1539.52 c #Conflicts: 1392000 | #Constraints: 92936
1534.86/1539.52 c #Conflicts: 1393000 | #Constraints: 93936
1534.86/1539.52 c #Conflicts: 1394000 | #Constraints: 94936
1534.86/1539.52 c #Conflicts: 1395000 | #Constraints: 95936
1534.86/1539.52 c #Conflicts: 1396000 | #Constraints: 96936
1534.86/1539.52 c #Conflicts: 1397000 | #Constraints: 97936
1534.86/1539.52 c #Conflicts: 1398000 | #Constraints: 98936
1534.86/1539.52 c #Conflicts: 1399000 | #Constraints: 99936
1534.86/1539.52 c #Conflicts: 1400000 | #Constraints: 100936
1534.86/1539.52 c #Conflicts: 1401000 | #Constraints: 101936
1534.86/1539.52 c #Conflicts: 1402000 | #Constraints: 102936
1534.86/1539.52 c #Conflicts: 1403000 | #Constraints: 103936
1534.86/1539.52 c #Conflicts: 1404000 | #Constraints: 104936
1534.86/1539.52 c #Conflicts: 1405000 | #Constraints: 105936
1534.86/1539.52 c #Conflicts: 1406000 | #Constraints: 106936
1534.86/1539.52 c #Conflicts: 1407000 | #Constraints: 107936
1534.86/1539.52 c #Conflicts: 1408000 | #Constraints: 108936
1534.86/1539.52 c #Conflicts: 1409000 | #Constraints: 109936
1534.86/1539.52 c #Conflicts: 1410000 | #Constraints: 110936
1534.86/1539.52 c INPROCESSING
1534.86/1539.52 c GARBAGE COLLECT
1534.86/1539.52 c #Conflicts: 1411000 | #Constraints: 87621
1534.86/1539.52 c #Conflicts: 1412000 | #Constraints: 88621
1534.86/1539.52 c #Conflicts: 1413000 | #Constraints: 89621
1534.86/1539.52 c #Conflicts: 1414000 | #Constraints: 90621
1534.86/1539.52 c #Conflicts: 1415000 | #Constraints: 91621
1534.86/1539.52 c #Conflicts: 1416000 | #Constraints: 92621
1534.86/1539.52 c #Conflicts: 1417000 | #Constraints: 93621
1534.86/1539.52 c #Conflicts: 1418000 | #Constraints: 94621
1534.86/1539.52 c #Conflicts: 1419000 | #Constraints: 95621
1534.86/1539.52 c #Conflicts: 1420000 | #Constraints: 96621
1534.86/1539.52 c #Conflicts: 1421000 | #Constraints: 97621
1534.86/1539.52 c #Conflicts: 1422000 | #Constraints: 98621
1534.86/1539.52 c #Conflicts: 1423000 | #Constraints: 99621
1534.86/1539.52 c #Conflicts: 1424000 | #Constraints: 100621
1534.86/1539.52 c bounds -162 >= -177 @ 1525.55
1534.86/1539.52 c #Conflicts: 1425000 | #Constraints: 101634
1534.86/1539.52 c #Conflicts: 1426000 | #Constraints: 102634
1534.86/1539.52 c #Conflicts: 1427000 | #Constraints: 103634
1534.86/1539.52 c #Conflicts: 1428000 | #Constraints: 104634
1534.86/1539.52 c #Conflicts: 1429000 | #Constraints: 105634
1534.86/1539.52 c #Conflicts: 1430000 | #Constraints: 106634
1580.13/1585.00 c #Conflicts: 1431000 | #Constraints: 107634
1580.13/1585.00 c #Conflicts: 1432000 | #Constraints: 108634
1580.13/1585.00 c #Conflicts: 1433000 | #Constraints: 109634
1580.13/1585.00 c #Conflicts: 1434000 | #Constraints: 110634
1580.13/1585.00 c #Conflicts: 1435000 | #Constraints: 111634
1580.13/1585.00 c INPROCESSING
1580.13/1585.00 c GARBAGE COLLECT
1580.13/1585.00 c #Conflicts: 1436000 | #Constraints: 88121
1580.13/1585.00 c #Conflicts: 1437000 | #Constraints: 89121
1580.13/1585.00 c #Conflicts: 1438000 | #Constraints: 90121
1580.13/1585.00 c #Conflicts: 1439000 | #Constraints: 91121
1580.13/1585.00 c #Conflicts: 1440000 | #Constraints: 92121
1580.13/1585.00 c #Conflicts: 1441000 | #Constraints: 93121
1580.13/1585.00 c #Conflicts: 1442000 | #Constraints: 94121
1580.13/1585.00 c #Conflicts: 1443000 | #Constraints: 95121
1580.13/1585.00 c #Conflicts: 1444000 | #Constraints: 96121
1580.13/1585.00 c #Conflicts: 1445000 | #Constraints: 97121
1580.13/1585.00 c #Conflicts: 1446000 | #Constraints: 98121
1580.13/1585.00 c #Conflicts: 1447000 | #Constraints: 99121
1580.13/1585.00 c #Conflicts: 1448000 | #Constraints: 100121
1580.13/1585.00 c #Conflicts: 1449000 | #Constraints: 101121
1580.13/1585.00 c #Conflicts: 1450000 | #Constraints: 102121
1580.13/1585.00 c #Conflicts: 1451000 | #Constraints: 103121
1580.13/1585.00 c #Conflicts: 1452000 | #Constraints: 104121
1580.13/1585.00 c #Conflicts: 1453000 | #Constraints: 105121
1580.13/1585.00 c #Conflicts: 1454000 | #Constraints: 106121
1580.13/1585.00 c #Conflicts: 1455000 | #Constraints: 107121
1580.13/1585.00 c #Conflicts: 1456000 | #Constraints: 108121
1580.13/1585.00 c #Conflicts: 1457000 | #Constraints: 109121
1580.13/1585.00 c #Conflicts: 1458000 | #Constraints: 110121
1580.13/1585.00 c #Conflicts: 1459000 | #Constraints: 111121
1580.13/1585.00 c #Conflicts: 1460000 | #Constraints: 112121
1580.13/1585.00 c INPROCESSING
1580.13/1585.00 c GARBAGE COLLECT
1580.13/1585.00 c #Conflicts: 1461000 | #Constraints: 88429
1580.13/1585.00 c #Conflicts: 1462000 | #Constraints: 89429
1580.13/1585.00 c #Conflicts: 1463000 | #Constraints: 90429
1580.13/1585.00 c #Conflicts: 1464000 | #Constraints: 91429
1580.13/1585.00 c #Conflicts: 1465000 | #Constraints: 92429
1580.13/1585.00 c #Conflicts: 1466000 | #Constraints: 93429
1580.13/1585.00 c #Conflicts: 1467000 | #Constraints: 94429
1580.13/1585.00 c #Conflicts: 1468000 | #Constraints: 95429
1580.13/1585.00 c #Conflicts: 1469000 | #Constraints: 96429
1580.13/1585.00 c #Conflicts: 1470000 | #Constraints: 97429
1580.13/1585.00 c #Conflicts: 1471000 | #Constraints: 98429
1580.13/1585.00 c #Conflicts: 1472000 | #Constraints: 99429
1580.13/1585.00 c #Conflicts: 1473000 | #Constraints: 100429
1580.13/1585.00 c #Conflicts: 1474000 | #Constraints: 101429
1580.13/1585.00 c #Conflicts: 1475000 | #Constraints: 102429
1580.13/1585.00 c #Conflicts: 1476000 | #Constraints: 103429
1580.13/1585.00 c #Conflicts: 1477000 | #Constraints: 104429
1580.13/1585.00 c #Conflicts: 1478000 | #Constraints: 105429
1580.13/1585.00 c #Conflicts: 1479000 | #Constraints: 106429
1580.13/1585.00 c #Conflicts: 1480000 | #Constraints: 107429
1580.13/1585.00 c #Conflicts: 1481000 | #Constraints: 108429
1580.13/1585.00 c #Conflicts: 1482000 | #Constraints: 109429
1580.13/1585.00 c #Conflicts: 1483000 | #Constraints: 110429
1580.13/1585.00 c #Conflicts: 1484000 | #Constraints: 111429
1580.13/1585.00 c #Conflicts: 1485000 | #Constraints: 112429
1580.13/1585.00 c INPROCESSING
1580.13/1585.00 c GARBAGE COLLECT
1580.13/1585.00 c #Conflicts: 1486000 | #Constraints: 88566
1580.13/1585.00 c #Conflicts: 1487000 | #Constraints: 89566
1580.13/1585.00 c #Conflicts: 1488000 | #Constraints: 90566
1580.13/1585.00 c #Conflicts: 1489000 | #Constraints: 91566
1580.13/1585.00 c #Conflicts: 1490000 | #Constraints: 92566
1580.13/1585.00 c #Conflicts: 1491000 | #Constraints: 93566
1580.13/1585.00 c #Conflicts: 1492000 | #Constraints: 94566
1580.13/1585.00 c #Conflicts: 1493000 | #Constraints: 95566
1580.13/1585.00 c #Conflicts: 1494000 | #Constraints: 96566
1580.13/1585.00 c #Conflicts: 1495000 | #Constraints: 97566
1580.13/1585.00 c #Conflicts: 1496000 | #Constraints: 98566
1580.13/1585.00 c #Conflicts: 1497000 | #Constraints: 99566
1580.13/1585.00 c #Conflicts: 1498000 | #Constraints: 100566
1580.13/1585.00 c #Conflicts: 1499000 | #Constraints: 101566
1580.13/1585.00 c #Conflicts: 1500000 | #Constraints: 102566
1580.13/1585.00 c #Conflicts: 1501000 | #Constraints: 103566
1580.13/1585.00 c #Conflicts: 1502000 | #Constraints: 104566
1580.13/1585.00 c #Conflicts: 1503000 | #Constraints: 105566
1580.13/1585.00 c #Conflicts: 1504000 | #Constraints: 106566
1580.13/1585.00 c #Conflicts: 1505000 | #Constraints: 107566
1580.13/1585.00 c bounds -162 >= -176 @ 1573.65
1580.13/1585.00 c #Conflicts: 1506000 | #Constraints: 108576
1605.65/1610.59 c #Conflicts: 1507000 | #Constraints: 109576
1605.65/1610.59 c #Conflicts: 1508000 | #Constraints: 110576
1605.65/1610.59 c #Conflicts: 1509000 | #Constraints: 111576
1605.65/1610.59 c #Conflicts: 1510000 | #Constraints: 112576
1605.65/1610.59 c INPROCESSING
1605.65/1610.59 c GARBAGE COLLECT
1605.65/1610.59 c #Conflicts: 1511000 | #Constraints: 88469
1605.65/1610.59 c #Conflicts: 1512000 | #Constraints: 89469
1605.65/1610.59 c #Conflicts: 1513000 | #Constraints: 90469
1605.65/1610.59 c #Conflicts: 1514000 | #Constraints: 91469
1605.65/1610.59 c #Conflicts: 1515000 | #Constraints: 92469
1605.65/1610.59 c #Conflicts: 1516000 | #Constraints: 93469
1605.65/1610.59 c #Conflicts: 1517000 | #Constraints: 94469
1605.65/1610.59 c #Conflicts: 1518000 | #Constraints: 95469
1605.65/1610.59 c #Conflicts: 1519000 | #Constraints: 96469
1605.65/1610.59 c #Conflicts: 1520000 | #Constraints: 97469
1605.65/1610.59 c #Conflicts: 1521000 | #Constraints: 98469
1605.65/1610.59 c #Conflicts: 1522000 | #Constraints: 99469
1605.65/1610.59 c #Conflicts: 1523000 | #Constraints: 100469
1605.65/1610.59 c #Conflicts: 1524000 | #Constraints: 101469
1605.65/1610.59 c #Conflicts: 1525000 | #Constraints: 102469
1605.65/1610.59 c #Conflicts: 1526000 | #Constraints: 103469
1605.65/1610.59 c #Conflicts: 1527000 | #Constraints: 104469
1605.65/1610.59 c #Conflicts: 1528000 | #Constraints: 105469
1605.65/1610.59 c #Conflicts: 1529000 | #Constraints: 106469
1605.65/1610.59 c #Conflicts: 1530000 | #Constraints: 107469
1605.65/1610.59 c #Conflicts: 1531000 | #Constraints: 108469
1605.65/1610.59 c #Conflicts: 1532000 | #Constraints: 109469
1605.65/1610.59 c #Conflicts: 1533000 | #Constraints: 110469
1605.65/1610.59 c #Conflicts: 1534000 | #Constraints: 111469
1605.65/1610.59 c #Conflicts: 1535000 | #Constraints: 112469
1605.65/1610.59 c #Conflicts: 1536000 | #Constraints: 113469
1605.65/1610.59 c INPROCESSING
1605.65/1610.59 c GARBAGE COLLECT
1605.65/1610.59 c #Conflicts: 1537000 | #Constraints: 89160
1605.65/1610.59 c bounds -162 >= -175 @ 1593.79
1605.65/1610.59 c #Conflicts: 1538000 | #Constraints: 90163
1605.65/1610.59 c #Conflicts: 1539000 | #Constraints: 91163
1605.65/1610.59 c #Conflicts: 1540000 | #Constraints: 92163
1605.65/1610.59 c #Conflicts: 1541000 | #Constraints: 93163
1605.65/1610.59 c #Conflicts: 1542000 | #Constraints: 94163
1605.65/1610.59 c #Conflicts: 1543000 | #Constraints: 95163
1605.65/1610.59 c #Conflicts: 1544000 | #Constraints: 96163
1605.65/1610.60 c #Conflicts: 1545000 | #Constraints: 97163
1605.65/1610.60 c #Conflicts: 1546000 | #Constraints: 98163
1605.65/1610.60 c #Conflicts: 1547000 | #Constraints: 99163
1605.65/1610.60 c #Conflicts: 1548000 | #Constraints: 100163
1605.65/1610.60 c bounds -162 >= -175 @ 1599.71
1605.65/1610.60 d SOLVEDBY oll
1605.65/1610.60 c cpu time 1599.71 s
1605.65/1610.60 c deterministic time 159918993041 1.60e+11
1605.65/1610.60 c optimization time 2.14387 s
1605.65/1610.60 c total solve time 1297.83 s
1605.65/1610.60 c core-guided solve time 1297.83 s
1605.65/1610.60 c propagation time 1067.84 s
1605.65/1610.60 c conflict analysis time 219.696 s
1605.65/1610.60 c propagations 226183335
1605.65/1610.60 c resolve steps 22432000
1605.65/1610.60 c decisions 2744830
1605.65/1610.60 c conflicts 1548724
1605.65/1610.60 c restarts 3066
1605.65/1610.60 c inprocessing phases 96
1605.65/1610.60 c input clauses 62417
1605.65/1610.60 c input cardinalities 136
1605.65/1610.60 c input general constraints 370
1605.65/1610.60 c input average constraint length 3.20
1605.65/1610.60 c input average constraint degree 1.19
1605.65/1610.60 c learned clauses 1197519
1605.65/1610.60 c learned cardinalities 722
1605.65/1610.60 c learned general constraints 350488
1605.65/1610.60 c learned average constraint length 59.64
1605.65/1610.60 c learned average constraint degree 84.28
1605.65/1610.60 c watched constraints 308753
1605.65/1610.60 c counting constraints 42105
1605.65/1610.60 c gcd simplifications 220943
1605.65/1610.60 c detected cardinalities 44
1605.65/1610.60 c weakened non-implied lits 30279517
1605.65/1610.60 c weakened non-implying lits 538583
1605.65/1610.60 c original variables 2025
1605.65/1610.60 c clausal propagations 160911506
1605.65/1610.60 c cardinality propagations 2217706
1605.65/1610.60 c watched propagations 9878413
1605.65/1610.60 c counting propagations 51665403
1605.65/1610.60 c watch lookups 43535464256
1605.65/1610.60 c watch backjump lookups 36530150398
1605.65/1610.60 c watch checks 72353029959
1605.65/1610.60 c propagation checks 6656167461
1605.65/1610.60 c constraint additions 384776142
1605.65/1610.60 c trail pops 230476659
1605.65/1610.60 c formula constraints 62239
1605.65/1610.60 c learned constraints 1548729
1605.65/1610.60 c bound constraints 96
1605.65/1610.60 c core-guided constraints 588
1605.65/1610.60 c encountered formula constraints 8683405
1605.65/1610.60 c encountered learned constraints 13078881
1605.65/1610.60 c encountered bound constraints 73757
1605.65/1610.60 c encountered core-guided constraints 2144681
1605.65/1610.60 c LP total time 0 s
1605.65/1610.60 c LP solve time 0 s
1605.65/1610.60 c LP constraints added 0
1605.65/1610.60 c LP constraints removed 0
1605.65/1610.60 c LP pivots internal 0
1605.65/1610.60 c LP pivots root 0
1605.65/1610.60 c LP calls 0
1605.65/1610.60 c LP optimalities 0
1605.65/1610.60 c LP no pivot count 0
1605.65/1610.60 c LP infeasibilities 0
1605.65/1610.60 c LP valid Farkas constraints 0
1605.65/1610.60 c LP learned Farkas constraints 0
1605.65/1610.60 c LP basis resets 0
1605.65/1610.60 c LP cycling count 0
1605.65/1610.60 c LP singular count 0
1605.65/1610.60 c LP no primal count 0
1605.65/1610.60 c LP no farkas count 0
1605.65/1610.60 c LP other issue count 0
1605.65/1610.60 c LP Gomory cuts 0
1605.65/1610.60 c LP learned cuts 0
1605.65/1610.60 c LP deleted cuts 0
1605.65/1610.60 c LP encountered Gomory constraints 0
1605.65/1610.60 c LP encountered Farkas constraints 0
1605.65/1610.60 c LP encountered learned Farkas constraints 0
1605.65/1610.60 c CG auxiliary variables introduced 222
1605.65/1610.60 c CG solutions found 6
1605.65/1610.60 c CG cores constructed 59
1605.65/1610.60 c CG core cardinality constraints returned 0
1605.65/1610.60 c CG unit cores 1
1605.65/1610.60 c CG single cores 58
1605.65/1610.60 c CG blocks removed during cardinality reduction 0
1605.65/1610.60 c CG first core best 0
1605.65/1610.60 c CG decision core best 0
1605.65/1610.60 c CG core reduction tie 0
1605.65/1610.60 c CG core degree average 1.00
1605.65/1610.60 c CG core slack average 5.71
1605.65/1610.60 c CG exhausted 10
1605.65/1610.60 c CG exhaust time 2.13357 s
1605.65/1610.60 c CG trimmed 12
1605.65/1610.60 c CG trim time 0.002846 s
1605.65/1610.60 c CG minimized 0
1605.65/1610.60 c CG minimize time 0 s
1605.65/1610.60 c CG am1 prop time 0.001154 s
1605.65/1610.60 c CG # am1s reformulated 15
1605.65/1610.60 c CG lower bound derived from am1s 21
1605.65/1610.60 c CG # clausal cores 58
1605.65/1610.60 c CG # cardinality cores 0
1605.65/1610.60 c CG # pb cores 0
1605.65/1610.60 c CG # pb reforms 18
1605.65/1610.60 c CG # cores discarded because of pb reform 0
1605.65/1610.60 d LOWERBOUND -175
1605.65/1610.60 d NCORES 59
1605.65/1610.60 d NPBCORES 0
1605.65/1610.60 d NPBREFORM 18
1605.65/1610.60 d NTRIMMED 12
1605.65/1610.60 d NEXHAUSTED 10
1605.65/1610.60 d NAM1S 15
1605.65/1610.60 d AM1LB 21
1605.65/1610.60 c [Papilo Statistics]
1605.65/1610.60 c prepro time 0.215706s
1605.65/1610.60 c # tsx applied 12
1605.65/1610.60 c # tsx conflicts 0
1605.65/1610.60 c # bound changes 12
1605.65/1610.60 c # side changes 0
1605.65/1610.60 c # coef changes 0
1605.65/1610.60 c # rounds 2
1605.65/1610.60 c # deted vars 12
1605.65/1610.60 c # deted constrs 36
1605.65/1610.60 c # consecutive rounds of only bound changes 0
1605.65/1610.60 c [STEP] postprocessing with Papilo
1605.75/1610.60 o -162
1605.75/1610.60 s OPTIMUM FOUND
1605.75/1610.60 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: 63794 MiB (63043 MiB free)
memory of node 1: 64507 MiB (63620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499479-1751409870/watcher-4499479-1751409870 -o /tmp/evaluation-result-4499479-1751409870/solver-4499479-1751409870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751409869-56083 --watchdog 3760 mixed-bag HOME/instance-4499479-1751409870.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56133, runsolver pid=56124
[startup+0.100067 s]*
/proc/loadavg: 0.34 0.92 1.92 6/251 56142
/proc/meminfo: memFree=129693656/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=85936 memory=11340 CPUtime=0.06 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 1158 0 5 0 5 1 0 0 20 0 1 0 56666703 87998464 2835 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 21484 2835 2176 2842 0 3717 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 85936 KiB
Current children cumulated memory: 11340 KiB
[startup+0.21309 s]*
/proc/loadavg: 0.34 0.92 1.92 6/251 56142
/proc/meminfo: memFree=129691156/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=89008 memory=15028 CPUtime=0.17 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 2343 0 5 0 16 1 0 0 20 0 1 0 56666703 91144192 3757 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 22252 3757 2176 2842 0 4485 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 89008 KiB
Current children cumulated memory: 15028 KiB
[startup+0.313409 s]*
/proc/loadavg: 0.34 0.92 1.92 4/251 56142
/proc/meminfo: memFree=129660916/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=89008 memory=15924 CPUtime=0.27 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 2561 0 5 0 26 1 0 0 20 0 1 0 56666703 91144192 3981 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 22252 3981 2176 2842 0 4485 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 89008 KiB
Current children cumulated memory: 15924 KiB
[startup+0.700331 s]
/proc/loadavg: 0.34 0.92 1.92 6/251 56142
/proc/meminfo: memFree=129586776/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=131792 memory=51672 CPUtime=0.64 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 10266 0 5 0 60 4 0 0 20 0 1 0 56666703 134955008 12918 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 32948 12918 2336 2842 0 14642 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 131792 KiB
Current children cumulated memory: 51672 KiB
[startup+1.50031 s]
/proc/loadavg: 0.34 0.92 1.92 6/251 56142
/proc/meminfo: memFree=129323460/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=244252 memory=168544 CPUtime=1.44 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 41288 0 5 0 132 12 0 0 20 0 1 0 56666703 250114048 42136 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 61063 42136 4064 2842 0 42757 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 244252 KiB
Current children cumulated memory: 168544 KiB
[startup+3.11297 s]
/proc/loadavg: 0.64 0.97 1.93 6/251 56142
/proc/meminfo: memFree=129018876/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=325896 memory=248720 CPUtime=3.05 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 61696 0 5 0 289 16 0 0 20 0 1 0 56666703 333717504 62180 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81474 62180 4320 2842 0 63168 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 325896 KiB
Current children cumulated memory: 248720 KiB
[startup+6.30023 s]
/proc/loadavg: 0.64 0.97 1.93 6/251 56142
/proc/meminfo: memFree=129019196/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=326848 memory=249360 CPUtime=6.22 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 61847 0 5 0 606 16 0 0 20 0 1 0 56666703 334692352 62340 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81712 62340 4320 2842 0 63406 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 326848 KiB
Current children cumulated memory: 249360 KiB
[startup+12.7003 s]
/proc/loadavg: 1.15 1.07 1.95 6/251 56142
/proc/meminfo: memFree=128997548/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=326848 memory=249360 CPUtime=12.6 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 61860 0 5 0 1244 16 0 0 20 0 1 0 56666703 334692352 62340 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81712 62340 4320 2842 0 63406 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 326848 KiB
Current children cumulated memory: 249360 KiB
[startup+25.5003 s]
/proc/loadavg: 1.59 1.17 1.97 6/251 56142
/proc/meminfo: memFree=128929028/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=327976 memory=250512 CPUtime=25.36 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 62139 0 5 0 2520 16 0 0 20 0 1 0 56666703 335847424 62628 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81994 62628 4320 2842 0 63688 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 327976 KiB
Current children cumulated memory: 250512 KiB
[startup+51.1137 s]
/proc/loadavg: 2.47 1.41 2.04 6/252 56144
/proc/meminfo: memFree=128812088/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=327976 memory=250512 CPUtime=50.89 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 62139 0 5 0 5073 16 0 0 20 0 1 0 56666703 335847424 62628 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81994 62628 4320 2842 0 63688 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 327976 KiB
Current children cumulated memory: 250512 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.87 2.16 6/252 56146
/proc/meminfo: memFree=128796708/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=327976 memory=250512 CPUtime=101.9 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 62139 0 5 0 10174 16 0 0 20 0 1 0 56666703 335847424 62628 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81994 62628 4320 2842 0 63688 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 327976 KiB
Current children cumulated memory: 250512 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.29 2.28 6/253 56149
/proc/meminfo: memFree=128718596/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=327976 memory=250512 CPUtime=161.71 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 62140 0 5 0 16155 16 0 0 20 0 1 0 56666703 335847424 62628 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81994 62628 4320 2842 0 63688 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 327976 KiB
Current children cumulated memory: 250512 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.63 2.40 6/252 56151
/proc/meminfo: memFree=128726376/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=327976 memory=250512 CPUtime=221.51 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 62140 0 5 0 22135 16 0 0 20 0 1 0 56666703 335847424 62628 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81994 62628 4320 2842 0 63688 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 327976 KiB
Current children cumulated memory: 250512 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.90 2.51 6/252 56153
/proc/meminfo: memFree=128709324/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=327976 memory=250512 CPUtime=281.32 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 62146 0 5 0 28116 16 0 0 20 0 1 0 56666703 335847424 62628 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 81994 62628 4320 2842 0 63688 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 327976 KiB
Current children cumulated memory: 250512 KiB
[startup+342.3 s]
/proc/loadavg: 2.90 2.83 2.52 2/236 56267
/proc/meminfo: memFree=129456592/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=322892 memory=251232 CPUtime=341.14 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 66742 0 5 0 34043 71 0 0 20 0 1 0 56666703 330641408 62808 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 80723 62808 4512 2842 0 62417 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 322892 KiB
Current children cumulated memory: 251232 KiB
[startup+402.3 s]
/proc/loadavg: 1.74 2.51 2.42 2/234 56273
/proc/meminfo: memFree=129436800/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=330072 memory=261600 CPUtime=400.95 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 67505 0 5 0 39988 107 0 0 20 0 1 0 56666703 337993728 65400 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 82518 65400 4512 2842 0 64212 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 330072 KiB
Current children cumulated memory: 261600 KiB
[startup+462.3 s]
/proc/loadavg: 1.38 2.26 2.34 2/233 56275
/proc/meminfo: memFree=129432708/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=341748 memory=265184 CPUtime=460.78 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 67940 0 5 0 45950 128 0 0 20 0 1 0 56666703 349949952 66296 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 85437 66296 4512 2842 0 67131 0
Current children cumulated CPU time: 460.78 s
################
# More data... #
################
/proc/loadavg: 1.11 1.25 1.73 2/234 56318
/proc/meminfo: memFree=129451656/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=341748 memory=275568 CPUtime=1059.01 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68097 0 5 0 105561 340 0 0 20 0 1 0 56666703 349949952 68892 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 85437 68892 4512 2842 0 67131 0
Current children cumulated CPU time: 1059.01 s
Current children cumulated vsize: 341748 KiB
Current children cumulated memory: 275568 KiB
[startup+1122.3 s]
/proc/loadavg: 1.10 1.22 1.69 2/234 56320
/proc/meminfo: memFree=129440912/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1118.82 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68544 0 5 0 111525 357 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1118.82 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1182.3 s]
/proc/loadavg: 1.08 1.19 1.65 2/234 56322
/proc/meminfo: memFree=129440412/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1178.66 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68544 0 5 0 117479 387 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1178.66 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1242.3 s]
/proc/loadavg: 1.06 1.17 1.61 2/232 56324
/proc/meminfo: memFree=129441952/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1238.49 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68544 0 5 0 123433 416 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1238.49 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1302.3 s]
/proc/loadavg: 1.07 1.15 1.58 2/232 56326
/proc/meminfo: memFree=129441452/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1298.32 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68544 0 5 0 129383 449 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1298.32 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1362.3 s]
/proc/loadavg: 1.14 1.15 1.55 2/231 56328
/proc/meminfo: memFree=129443052/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1358.16 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68593 0 5 0 135338 478 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1358.16 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1422.3 s]
/proc/loadavg: 1.11 1.14 1.52 2/231 56330
/proc/meminfo: memFree=129443512/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1417.99 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 141293 506 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1417.99 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1482.3 s]
/proc/loadavg: 1.04 1.11 1.48 2/231 56332
/proc/meminfo: memFree=129443760/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1477.81 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 147243 538 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1477.81 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1542.3 s]
/proc/loadavg: 1.11 1.12 1.46 2/232 56337
/proc/meminfo: memFree=129444232/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1537.64 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 153195 569 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1537.64 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1602.3 s]
/proc/loadavg: 1.09 1.11 1.44 2/232 56344
/proc/meminfo: memFree=129444268/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1597.47 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 159148 599 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1597.47 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1610.61 s]
# the end of solver process 56133 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1599.72 s, system=6.04933 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1606.4 s]
/proc/loadavg: 1.09 1.11 1.44 2/232 56344
/proc/meminfo: memFree=129444268/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1601.57 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 159555 602 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1601.57 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1608 s]*
/proc/loadavg: 1.08 1.11 1.43 2/232 56344
/proc/meminfo: memFree=129444268/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1603.17 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 159714 603 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1603.17 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1609.6 s]
/proc/loadavg: 1.08 1.11 1.43 2/232 56344
/proc/meminfo: memFree=129444268/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1604.75 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 159872 603 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1604.75 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1610.4 s]
/proc/loadavg: 1.08 1.11 1.43 2/232 56344
/proc/meminfo: memFree=129444268/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1605.55 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 159951 604 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1605.55 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
[startup+1610.6 s]
/proc/loadavg: 1.08 1.11 1.43 2/232 56344
/proc/meminfo: memFree=129444268/131382112 swapFree=33010684/33010684
[pid=56133] ppid=56124 vsize=360716 memory=279652 CPUtime=1605.75 cores=0,2
/proc/56133/stat : 56133 (mixed-bag) R 56124 56133 56047 0 -1 4194304 68596 0 5 0 159971 604 0 0 20 0 1 0 56666703 369373184 69913 18446744073709551615 4235264 15874749 140729397661488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41140224 140729397668252 140729397668329 140729397668329 140729397673931 0
/proc/56133/statm: 90179 69913 4512 2842 0 71873 0
Current children cumulated CPU time: 1605.75 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 279652 KiB
Child status: 0
Real time (s): 1610.61
CPU time (s): 1605.77
CPU user time (s): 1599.72
CPU system time (s): 6.04933
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 360716
Max. memory (cumulated for all children) (KiB): 279652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.72
system time used= 6.04933
maximum resident set size= 279780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68617
page faults= 5
swaps= 0
block input operations= 256
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182
involuntary context switches= 3503
# summary of solver processes directly reported to runsolver:
# pid: 56133
# total CPU time (s): 1605.77
# total CPU user time (s): 1599.72
# total CPU system time (s): 6.04933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26977 second user time and 15.0809 second system time
The end
Begin job on nodeC012 at 2025-07-02 00:44:30
IDJOB=4499479
IDBENCH=148780
IDSOLVER=3340
FILE ID=nodeC012/4499479-1751409870
RUNJOBID= nodeC012-1751409869-56083
SLURM_JOB_ID= 9598314
Free space on /tmp= 433048 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4499479-1751409870/watcher-4499479-1751409870 -o /tmp/evaluation-result-4499479-1751409870/solver-4499479-1751409870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751409869-56083 --watchdog 3760 mixed-bag HOME/instance-4499479-1751409870.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 574dfa7826774941f0083ceba62feb56
RANDOM SEED=347639680
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.559
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.164
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129698756 kB
MemAvailable: 129951128 kB
Buffers: 3280 kB
Cached: 1058856 kB
SwapCached: 0 kB
Active: 378344 kB
Inactive: 747608 kB
Active(anon): 81816 kB
Inactive(anon): 0 kB
Active(file): 296528 kB
Inactive(file): 747608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68368 kB
Writeback: 0 kB
AnonPages: 66928 kB
Mapped: 102572 kB
Shmem: 17960 kB
KReclaimable: 95340 kB
Slab: 178804 kB
SReclaimable: 95340 kB
SUnreclaim: 83464 kB
KernelStack: 3808 kB
PageTables: 2736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 329608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC012 at 2025-07-02 01:11:21