0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.77/0.82 c #variables 2346 #constraints 209576
0.77/0.82 c objective is ce32
0.97/1.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.97/1.07 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.97/1.07 c GLOBAL bounds - >= -1983 @ 0.761974
0.97/1.08 c GLOBAL bounds - >= -1983 @ 0.770666
0.97/1.08 c GLOBAL bounds - >= -1983 @ 0.77371
0.97/1.08 c GLOBAL bounds - >= -1983 @ 0.776577
0.97/1.08 c GLOBAL bounds - >= -1983 @ 0.779299
0.97/1.09 c GLOBAL bounds - >= -1983 @ 0.781346
0.97/1.09 c GLOBAL bounds - >= -1983 @ 0.783145
0.97/1.09 c GLOBAL bounds - >= -1983 @ 0.785633
0.97/1.09 c GLOBAL bounds - >= -1983 @ 0.788155
0.97/1.10 c GLOBAL bounds - >= -1983 @ 0.79069
0.97/1.10 c GLOBAL bounds - >= -1983 @ 0.793254
1.07/1.10 c GLOBAL bounds - >= -1983 @ 0.79613
1.07/1.11 c GLOBAL bounds - >= -1983 @ 0.798981
1.07/1.11 c GLOBAL bounds - >= -1983 @ 0.80233
1.07/1.11 c GLOBAL bounds - >= -1983 @ 0.806407
1.07/1.12 c GLOBAL bounds - >= -1983 @ 0.815491
1.07/1.13 c GLOBAL bounds - >= -1983 @ 0.82486
1.07/1.15 c GLOBAL bounds - >= -1983 @ 0.839157
1.07/1.16 c GLOBAL bounds - >= -1983 @ 0.852529
1.07/1.17 c GLOBAL bounds - >= -1983 @ 0.861132
1.07/1.18 c GLOBAL bounds - >= -1983 @ 0.869076
1.16/1.23 c GLOBAL bounds - >= -1983 @ 0.92028
1.16/1.25 c GLOBAL bounds - >= -1983 @ 0.94082
1.16/1.27 c GLOBAL bounds - >= -1983 @ 0.957092
1.16/1.28 c GLOBAL bounds - >= -1983 @ 0.973794
1.26/1.30 c GLOBAL bounds - >= -1983 @ 0.989657
1.26/1.31 c GLOBAL bounds - >= -1983 @ 0.996639
1.26/1.31 c GLOBAL bounds - >= -1983 @ 1.00077
1.26/1.32 c GLOBAL bounds - >= -1983 @ 1.00437
1.26/1.32 c GLOBAL bounds - >= -1983 @ 1.00795
1.26/1.32 c GLOBAL bounds - >= -1983 @ 1.01142
1.26/1.33 c GLOBAL bounds - >= -1983 @ 1.01458
1.26/1.33 c GLOBAL bounds - >= -1983 @ 1.01844
1.67/1.74 c GLOBAL bounds - >= -1983 @ 1.42278
3.16/3.25 c #Conflicts: 1000 | #Constraints: 122596
3.16/3.25 c GLOBAL bounds - >= -1983 @ 2.92525
3.26/3.33 c GLOBAL bounds - >= -1983 @ 3.00803
3.56/3.65 c GLOBAL bounds - >= -1983 @ 3.32633
3.86/3.96 c GLOBAL bounds - >= -1983 @ 3.63809
5.55/5.67 c #Conflicts: 2000 | #Constraints: 123604
5.55/5.67 c INPROCESSING
5.55/5.67 c GARBAGE COLLECT
5.55/5.67 c GLOBAL bounds - >= -1983 @ 5.33961
6.46/6.54 c #Conflicts: 3000 | #Constraints: 123609
6.46/6.54 c GLOBAL bounds - >= -1983 @ 6.20024
8.64/8.72 c #Conflicts: 4000 | #Constraints: 124611
8.64/8.72 c INPROCESSING
8.64/8.72 c GARBAGE COLLECT
8.64/8.72 c GLOBAL bounds - >= -1983 @ 8.36893
9.74/9.87 c #Conflicts: 5000 | #Constraints: 124014
9.74/9.87 c GLOBAL bounds - >= -1983 @ 9.52148
12.04/12.15 c #Conflicts: 6000 | #Constraints: 125016
12.04/12.15 c GLOBAL bounds - >= -1983 @ 11.7813
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 7000 | #Constraints: 124019
154.48/154.94 c #Conflicts: 8000 | #Constraints: 125019
154.48/154.94 c #Conflicts: 9000 | #Constraints: 126019
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 10000 | #Constraints: 124720
154.48/154.94 c #Conflicts: 11000 | #Constraints: 125720
154.48/154.94 c #Conflicts: 12000 | #Constraints: 126720
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 13000 | #Constraints: 125171
154.48/154.94 c #Conflicts: 14000 | #Constraints: 126171
154.48/154.94 c #Conflicts: 15000 | #Constraints: 127171
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 16000 | #Constraints: 125399
154.48/154.94 c #Conflicts: 17000 | #Constraints: 126399
154.48/154.94 c #Conflicts: 18000 | #Constraints: 127399
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 19000 | #Constraints: 125413
154.48/154.94 c #Conflicts: 20000 | #Constraints: 126413
154.48/154.94 c #Conflicts: 21000 | #Constraints: 127413
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 22000 | #Constraints: 125218
154.48/154.94 c #Conflicts: 23000 | #Constraints: 126218
154.48/154.94 c #Conflicts: 24000 | #Constraints: 127218
154.48/154.94 c #Conflicts: 25000 | #Constraints: 128218
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 26000 | #Constraints: 125822
154.48/154.94 c #Conflicts: 27000 | #Constraints: 126822
154.48/154.94 c #Conflicts: 28000 | #Constraints: 127822
154.48/154.94 c #Conflicts: 29000 | #Constraints: 128822
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 30000 | #Constraints: 126222
154.48/154.94 c #Conflicts: 31000 | #Constraints: 127222
154.48/154.94 c #Conflicts: 32000 | #Constraints: 128222
154.48/154.94 c #Conflicts: 33000 | #Constraints: 129222
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 34000 | #Constraints: 126422
154.48/154.94 c #Conflicts: 35000 | #Constraints: 127422
154.48/154.94 c #Conflicts: 36000 | #Constraints: 128422
154.48/154.94 c #Conflicts: 37000 | #Constraints: 129422
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 38000 | #Constraints: 126425
154.48/154.94 c #Conflicts: 39000 | #Constraints: 127425
154.48/154.94 c #Conflicts: 40000 | #Constraints: 128425
154.48/154.94 c #Conflicts: 41000 | #Constraints: 129425
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 42000 | #Constraints: 126226
154.48/154.94 c #Conflicts: 43000 | #Constraints: 127226
154.48/154.94 c #Conflicts: 44000 | #Constraints: 128226
154.48/154.94 c #Conflicts: 45000 | #Constraints: 129226
154.48/154.94 c #Conflicts: 46000 | #Constraints: 130226
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 47000 | #Constraints: 126823
154.48/154.94 c #Conflicts: 48000 | #Constraints: 127823
154.48/154.94 c #Conflicts: 49000 | #Constraints: 128823
154.48/154.94 c #Conflicts: 50000 | #Constraints: 129823
154.48/154.94 c #Conflicts: 51000 | #Constraints: 130823
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 52000 | #Constraints: 127222
154.48/154.94 c #Conflicts: 53000 | #Constraints: 128222
154.48/154.94 c #Conflicts: 54000 | #Constraints: 129222
154.48/154.94 c #Conflicts: 55000 | #Constraints: 130222
154.48/154.94 c #Conflicts: 56000 | #Constraints: 131222
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 57000 | #Constraints: 127423
154.48/154.94 c #Conflicts: 58000 | #Constraints: 128423
154.48/154.94 c #Conflicts: 59000 | #Constraints: 129423
154.48/154.94 c #Conflicts: 60000 | #Constraints: 130423
154.48/154.94 c #Conflicts: 61000 | #Constraints: 131423
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 62000 | #Constraints: 127424
154.48/154.94 c #Conflicts: 63000 | #Constraints: 128424
154.48/154.94 c #Conflicts: 64000 | #Constraints: 129424
154.48/154.94 c #Conflicts: 65000 | #Constraints: 130424
154.48/154.94 c #Conflicts: 66000 | #Constraints: 131424
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 67000 | #Constraints: 127224
154.48/154.94 c #Conflicts: 68000 | #Constraints: 128224
154.48/154.94 c #Conflicts: 69000 | #Constraints: 129224
154.48/154.94 c #Conflicts: 70000 | #Constraints: 130224
154.48/154.94 c #Conflicts: 71000 | #Constraints: 131224
154.48/154.94 c #Conflicts: 72000 | #Constraints: 132224
154.48/154.94 c INPROCESSING
154.48/154.94 c GARBAGE COLLECT
154.48/154.94 c #Conflicts: 73000 | #Constraints: 127824
154.48/154.94 c #Conflicts: 74000 | #Constraints: 128824
294.97/295.73 c #Conflicts: 75000 | #Constraints: 129824
294.97/295.73 c #Conflicts: 76000 | #Constraints: 130824
294.97/295.73 c #Conflicts: 77000 | #Constraints: 131824
294.97/295.73 c #Conflicts: 78000 | #Constraints: 132824
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 79000 | #Constraints: 128224
294.97/295.73 c #Conflicts: 80000 | #Constraints: 129224
294.97/295.73 c #Conflicts: 81000 | #Constraints: 130224
294.97/295.73 c #Conflicts: 82000 | #Constraints: 131224
294.97/295.73 c #Conflicts: 83000 | #Constraints: 132224
294.97/295.73 c #Conflicts: 84000 | #Constraints: 133224
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 85000 | #Constraints: 128425
294.97/295.73 c #Conflicts: 86000 | #Constraints: 129425
294.97/295.73 c #Conflicts: 87000 | #Constraints: 130425
294.97/295.73 c #Conflicts: 88000 | #Constraints: 131425
294.97/295.73 c #Conflicts: 89000 | #Constraints: 132425
294.97/295.73 c #Conflicts: 90000 | #Constraints: 133425
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 91000 | #Constraints: 128423
294.97/295.73 c #Conflicts: 92000 | #Constraints: 129423
294.97/295.73 c #Conflicts: 93000 | #Constraints: 130423
294.97/295.73 c #Conflicts: 94000 | #Constraints: 131423
294.97/295.73 c #Conflicts: 95000 | #Constraints: 132423
294.97/295.73 c #Conflicts: 96000 | #Constraints: 133423
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 97000 | #Constraints: 128223
294.97/295.73 c #Conflicts: 98000 | #Constraints: 129223
294.97/295.73 c #Conflicts: 99000 | #Constraints: 130223
294.97/295.73 c #Conflicts: 100000 | #Constraints: 131223
294.97/295.73 c #Conflicts: 101000 | #Constraints: 132223
294.97/295.73 c #Conflicts: 102000 | #Constraints: 133223
294.97/295.73 c #Conflicts: 103000 | #Constraints: 134223
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 104000 | #Constraints: 128824
294.97/295.73 c #Conflicts: 105000 | #Constraints: 129824
294.97/295.73 c #Conflicts: 106000 | #Constraints: 130824
294.97/295.73 c #Conflicts: 107000 | #Constraints: 131824
294.97/295.73 c #Conflicts: 108000 | #Constraints: 132824
294.97/295.73 c #Conflicts: 109000 | #Constraints: 133824
294.97/295.73 c #Conflicts: 110000 | #Constraints: 134824
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 111000 | #Constraints: 129225
294.97/295.73 c #Conflicts: 112000 | #Constraints: 130225
294.97/295.73 c #Conflicts: 113000 | #Constraints: 131225
294.97/295.73 c #Conflicts: 114000 | #Constraints: 132225
294.97/295.73 c #Conflicts: 115000 | #Constraints: 133225
294.97/295.73 c #Conflicts: 116000 | #Constraints: 134225
294.97/295.73 c #Conflicts: 117000 | #Constraints: 135225
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 118000 | #Constraints: 129426
294.97/295.73 c #Conflicts: 119000 | #Constraints: 130426
294.97/295.73 c #Conflicts: 120000 | #Constraints: 131426
294.97/295.73 c #Conflicts: 121000 | #Constraints: 132426
294.97/295.73 c #Conflicts: 122000 | #Constraints: 133426
294.97/295.73 c #Conflicts: 123000 | #Constraints: 134426
294.97/295.73 c #Conflicts: 124000 | #Constraints: 135426
294.97/295.73 c INPROCESSING
294.97/295.73 c GARBAGE COLLECT
294.97/295.73 c #Conflicts: 125000 | #Constraints: 129425
294.97/295.73 c #Conflicts: 126000 | #Constraints: 130425
294.97/295.73 c #Conflicts: 127000 | #Constraints: 131425
294.97/295.73 c #Conflicts: 128000 | #Constraints: 132425
294.97/295.74 c #Conflicts: 129000 | #Constraints: 133425
294.97/295.74 c #Conflicts: 130000 | #Constraints: 134425
294.97/295.74 c #Conflicts: 131000 | #Constraints: 135425
294.97/295.74 c INPROCESSING
294.97/295.74 c GARBAGE COLLECT
294.97/295.74 c #Conflicts: 132000 | #Constraints: 129224
294.97/295.74 c #Conflicts: 133000 | #Constraints: 130224
294.97/295.74 c #Conflicts: 134000 | #Constraints: 131224
294.97/295.74 c #Conflicts: 135000 | #Constraints: 132224
294.97/295.74 c #Conflicts: 136000 | #Constraints: 133224
294.97/295.74 c #Conflicts: 137000 | #Constraints: 134224
294.97/295.74 c #Conflicts: 138000 | #Constraints: 135224
294.97/295.74 c #Conflicts: 139000 | #Constraints: 136224
294.97/295.74 c INPROCESSING
294.97/295.74 c GARBAGE COLLECT
294.97/295.74 c #Conflicts: 140000 | #Constraints: 129827
294.97/295.74 c #Conflicts: 141000 | #Constraints: 130827
294.97/295.74 c #Conflicts: 142000 | #Constraints: 131827
294.97/295.74 c #Conflicts: 143000 | #Constraints: 132827
294.97/295.74 c #Conflicts: 144000 | #Constraints: 133827
294.97/295.74 c #Conflicts: 145000 | #Constraints: 134827
294.97/295.74 c #Conflicts: 146000 | #Constraints: 135827
294.97/295.74 c #Conflicts: 147000 | #Constraints: 136827
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 148000 | #Constraints: 130227
423.48/424.56 c #Conflicts: 149000 | #Constraints: 131227
423.48/424.56 c #Conflicts: 150000 | #Constraints: 132227
423.48/424.56 c #Conflicts: 151000 | #Constraints: 133227
423.48/424.56 c #Conflicts: 152000 | #Constraints: 134227
423.48/424.56 c #Conflicts: 153000 | #Constraints: 135227
423.48/424.56 c #Conflicts: 154000 | #Constraints: 136227
423.48/424.56 c #Conflicts: 155000 | #Constraints: 137227
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 156000 | #Constraints: 130426
423.48/424.56 c #Conflicts: 157000 | #Constraints: 131426
423.48/424.56 c #Conflicts: 158000 | #Constraints: 132426
423.48/424.56 c #Conflicts: 159000 | #Constraints: 133426
423.48/424.56 c #Conflicts: 160000 | #Constraints: 134426
423.48/424.56 c #Conflicts: 161000 | #Constraints: 135426
423.48/424.56 c #Conflicts: 162000 | #Constraints: 136426
423.48/424.56 c #Conflicts: 163000 | #Constraints: 137426
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 164000 | #Constraints: 130427
423.48/424.56 c #Conflicts: 165000 | #Constraints: 131427
423.48/424.56 c #Conflicts: 166000 | #Constraints: 132427
423.48/424.56 c #Conflicts: 167000 | #Constraints: 133427
423.48/424.56 c #Conflicts: 168000 | #Constraints: 134427
423.48/424.56 c #Conflicts: 169000 | #Constraints: 135427
423.48/424.56 c #Conflicts: 170000 | #Constraints: 136427
423.48/424.56 c #Conflicts: 171000 | #Constraints: 137427
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 172000 | #Constraints: 130227
423.48/424.56 c #Conflicts: 173000 | #Constraints: 131227
423.48/424.56 c #Conflicts: 174000 | #Constraints: 132227
423.48/424.56 c #Conflicts: 175000 | #Constraints: 133227
423.48/424.56 c #Conflicts: 176000 | #Constraints: 134227
423.48/424.56 c #Conflicts: 177000 | #Constraints: 135227
423.48/424.56 c #Conflicts: 178000 | #Constraints: 136227
423.48/424.56 c #Conflicts: 179000 | #Constraints: 137227
423.48/424.56 c #Conflicts: 180000 | #Constraints: 138227
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 181000 | #Constraints: 130827
423.48/424.56 c #Conflicts: 182000 | #Constraints: 131827
423.48/424.56 c #Conflicts: 183000 | #Constraints: 132827
423.48/424.56 c #Conflicts: 184000 | #Constraints: 133827
423.48/424.56 c #Conflicts: 185000 | #Constraints: 134827
423.48/424.56 c #Conflicts: 186000 | #Constraints: 135827
423.48/424.56 c #Conflicts: 187000 | #Constraints: 136827
423.48/424.56 c #Conflicts: 188000 | #Constraints: 137827
423.48/424.56 c #Conflicts: 189000 | #Constraints: 138827
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 190000 | #Constraints: 131230
423.48/424.56 c #Conflicts: 191000 | #Constraints: 132230
423.48/424.56 c #Conflicts: 192000 | #Constraints: 133230
423.48/424.56 c #Conflicts: 193000 | #Constraints: 134230
423.48/424.56 c #Conflicts: 194000 | #Constraints: 135230
423.48/424.56 c #Conflicts: 195000 | #Constraints: 136230
423.48/424.56 c #Conflicts: 196000 | #Constraints: 137230
423.48/424.56 c #Conflicts: 197000 | #Constraints: 138230
423.48/424.56 c #Conflicts: 198000 | #Constraints: 139230
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 199000 | #Constraints: 131428
423.48/424.56 c #Conflicts: 200000 | #Constraints: 132428
423.48/424.56 c #Conflicts: 201000 | #Constraints: 133428
423.48/424.56 c #Conflicts: 202000 | #Constraints: 134428
423.48/424.56 c #Conflicts: 203000 | #Constraints: 135428
423.48/424.56 c #Conflicts: 204000 | #Constraints: 136428
423.48/424.56 c #Conflicts: 205000 | #Constraints: 137428
423.48/424.56 c #Conflicts: 206000 | #Constraints: 138428
423.48/424.56 c #Conflicts: 207000 | #Constraints: 139428
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 208000 | #Constraints: 131427
423.48/424.56 c #Conflicts: 209000 | #Constraints: 132427
423.48/424.56 c #Conflicts: 210000 | #Constraints: 133427
423.48/424.56 c #Conflicts: 211000 | #Constraints: 134427
423.48/424.56 c #Conflicts: 212000 | #Constraints: 135427
423.48/424.56 c #Conflicts: 213000 | #Constraints: 136427
423.48/424.56 c #Conflicts: 214000 | #Constraints: 137427
423.48/424.56 c #Conflicts: 215000 | #Constraints: 138427
423.48/424.56 c #Conflicts: 216000 | #Constraints: 139427
423.48/424.56 c INPROCESSING
423.48/424.56 c GARBAGE COLLECT
423.48/424.56 c #Conflicts: 217000 | #Constraints: 131227
423.48/424.56 c #Conflicts: 218000 | #Constraints: 132227
423.48/424.56 c #Conflicts: 219000 | #Constraints: 133227
423.48/424.56 c #Conflicts: 220000 | #Constraints: 134227
563.77/565.10 c #Conflicts: 221000 | #Constraints: 135227
563.77/565.10 c #Conflicts: 222000 | #Constraints: 136227
563.77/565.10 c #Conflicts: 223000 | #Constraints: 137227
563.77/565.10 c #Conflicts: 224000 | #Constraints: 138227
563.77/565.10 c #Conflicts: 225000 | #Constraints: 139227
563.77/565.10 c #Conflicts: 226000 | #Constraints: 140227
563.77/565.10 c INPROCESSING
563.77/565.10 c GARBAGE COLLECT
563.77/565.10 c #Conflicts: 227000 | #Constraints: 131827
563.77/565.10 c #Conflicts: 228000 | #Constraints: 132827
563.77/565.10 c #Conflicts: 229000 | #Constraints: 133827
563.77/565.10 c #Conflicts: 230000 | #Constraints: 134827
563.77/565.10 c #Conflicts: 231000 | #Constraints: 135827
563.77/565.10 c #Conflicts: 232000 | #Constraints: 136827
563.77/565.10 c #Conflicts: 233000 | #Constraints: 137827
563.77/565.10 c #Conflicts: 234000 | #Constraints: 138827
563.77/565.10 c #Conflicts: 235000 | #Constraints: 139827
563.77/565.10 c #Conflicts: 236000 | #Constraints: 140827
563.77/565.10 c INPROCESSING
563.77/565.10 c GARBAGE COLLECT
563.77/565.10 c #Conflicts: 237000 | #Constraints: 132226
563.77/565.10 c #Conflicts: 238000 | #Constraints: 133226
563.77/565.11 c #Conflicts: 239000 | #Constraints: 134226
563.77/565.11 c #Conflicts: 240000 | #Constraints: 135226
563.77/565.11 c #Conflicts: 241000 | #Constraints: 136226
563.77/565.11 c #Conflicts: 242000 | #Constraints: 137226
563.77/565.11 c #Conflicts: 243000 | #Constraints: 138226
563.77/565.11 c #Conflicts: 244000 | #Constraints: 139226
563.77/565.11 c #Conflicts: 245000 | #Constraints: 140226
563.77/565.11 c #Conflicts: 246000 | #Constraints: 141226
563.77/565.11 c INPROCESSING
563.77/565.11 c GARBAGE COLLECT
563.77/565.11 c #Conflicts: 247000 | #Constraints: 132425
563.77/565.11 c #Conflicts: 248000 | #Constraints: 133425
563.77/565.11 c #Conflicts: 249000 | #Constraints: 134425
563.77/565.11 c #Conflicts: 250000 | #Constraints: 135425
563.77/565.11 c #Conflicts: 251000 | #Constraints: 136425
563.77/565.11 c #Conflicts: 252000 | #Constraints: 137425
563.77/565.11 c #Conflicts: 253000 | #Constraints: 138425
563.77/565.11 c #Conflicts: 254000 | #Constraints: 139425
563.77/565.11 c #Conflicts: 255000 | #Constraints: 140425
563.77/565.11 c #Conflicts: 256000 | #Constraints: 141425
563.77/565.11 c INPROCESSING
563.77/565.11 c GARBAGE COLLECT
563.77/565.11 c #Conflicts: 257000 | #Constraints: 132426
563.77/565.11 c #Conflicts: 258000 | #Constraints: 133426
563.77/565.11 c #Conflicts: 259000 | #Constraints: 134426
563.77/565.11 c #Conflicts: 260000 | #Constraints: 135426
563.77/565.11 c #Conflicts: 261000 | #Constraints: 136426
563.77/565.11 c #Conflicts: 262000 | #Constraints: 137426
563.77/565.11 c #Conflicts: 263000 | #Constraints: 138426
563.77/565.11 c #Conflicts: 264000 | #Constraints: 139426
563.77/565.11 c #Conflicts: 265000 | #Constraints: 140426
563.77/565.11 c #Conflicts: 266000 | #Constraints: 141426
563.77/565.11 c INPROCESSING
563.77/565.11 c GARBAGE COLLECT
563.77/565.11 c #Conflicts: 267000 | #Constraints: 132227
563.77/565.11 c #Conflicts: 268000 | #Constraints: 133227
563.77/565.11 c #Conflicts: 269000 | #Constraints: 134227
563.77/565.11 c #Conflicts: 270000 | #Constraints: 135227
563.77/565.11 c #Conflicts: 271000 | #Constraints: 136227
563.77/565.11 c #Conflicts: 272000 | #Constraints: 137227
563.77/565.11 c #Conflicts: 273000 | #Constraints: 138227
563.77/565.11 c #Conflicts: 274000 | #Constraints: 139227
563.77/565.11 c #Conflicts: 275000 | #Constraints: 140227
563.77/565.11 c #Conflicts: 276000 | #Constraints: 141227
563.77/565.11 c #Conflicts: 277000 | #Constraints: 142227
563.77/565.11 c INPROCESSING
563.77/565.11 c GARBAGE COLLECT
563.77/565.11 c #Conflicts: 278000 | #Constraints: 132826
563.77/565.11 c #Conflicts: 279000 | #Constraints: 133826
563.77/565.11 c #Conflicts: 280000 | #Constraints: 134826
563.77/565.11 c #Conflicts: 281000 | #Constraints: 135826
563.77/565.11 c #Conflicts: 282000 | #Constraints: 136826
563.77/565.11 c #Conflicts: 283000 | #Constraints: 137826
563.77/565.11 c #Conflicts: 284000 | #Constraints: 138826
563.77/565.11 c #Conflicts: 285000 | #Constraints: 139826
563.77/565.11 c #Conflicts: 286000 | #Constraints: 140826
563.77/565.11 c #Conflicts: 287000 | #Constraints: 141826
563.77/565.11 c #Conflicts: 288000 | #Constraints: 142826
563.77/565.11 c INPROCESSING
563.77/565.11 c GARBAGE COLLECT
563.77/565.11 c #Conflicts: 289000 | #Constraints: 133226
563.77/565.11 c #Conflicts: 290000 | #Constraints: 134226
563.77/565.11 c #Conflicts: 291000 | #Constraints: 135226
563.77/565.11 c #Conflicts: 292000 | #Constraints: 136226
563.77/565.11 c #Conflicts: 293000 | #Constraints: 137226
563.77/565.11 c #Conflicts: 294000 | #Constraints: 138226
707.55/709.26 c #Conflicts: 295000 | #Constraints: 139226
707.55/709.26 c #Conflicts: 296000 | #Constraints: 140226
707.55/709.26 c #Conflicts: 297000 | #Constraints: 141226
707.55/709.26 c #Conflicts: 298000 | #Constraints: 142226
707.55/709.26 c #Conflicts: 299000 | #Constraints: 143226
707.55/709.26 c INPROCESSING
707.55/709.26 c GARBAGE COLLECT
707.55/709.26 c #Conflicts: 300000 | #Constraints: 133426
707.55/709.26 c #Conflicts: 301000 | #Constraints: 134426
707.55/709.26 c #Conflicts: 302000 | #Constraints: 135426
707.55/709.26 c #Conflicts: 303000 | #Constraints: 136426
707.55/709.26 c #Conflicts: 304000 | #Constraints: 137426
707.55/709.26 c #Conflicts: 305000 | #Constraints: 138426
707.55/709.26 c #Conflicts: 306000 | #Constraints: 139426
707.55/709.26 c #Conflicts: 307000 | #Constraints: 140426
707.55/709.26 c #Conflicts: 308000 | #Constraints: 141426
707.55/709.26 c #Conflicts: 309000 | #Constraints: 142426
707.55/709.26 c #Conflicts: 310000 | #Constraints: 143426
707.55/709.26 c INPROCESSING
707.55/709.26 c GARBAGE COLLECT
707.55/709.26 c #Conflicts: 311000 | #Constraints: 133432
707.55/709.26 c #Conflicts: 312000 | #Constraints: 134432
707.55/709.26 c #Conflicts: 313000 | #Constraints: 135432
707.55/709.26 c #Conflicts: 314000 | #Constraints: 136432
707.55/709.26 c #Conflicts: 315000 | #Constraints: 137432
707.55/709.26 c #Conflicts: 316000 | #Constraints: 138432
707.55/709.26 c #Conflicts: 317000 | #Constraints: 139432
707.55/709.26 c #Conflicts: 318000 | #Constraints: 140432
707.55/709.26 c #Conflicts: 319000 | #Constraints: 141432
707.55/709.26 c #Conflicts: 320000 | #Constraints: 142432
707.55/709.26 c #Conflicts: 321000 | #Constraints: 143432
707.55/709.26 c INPROCESSING
707.55/709.26 c GARBAGE COLLECT
707.55/709.26 c #Conflicts: 322000 | #Constraints: 133231
707.55/709.26 c #Conflicts: 323000 | #Constraints: 134231
707.55/709.26 c #Conflicts: 324000 | #Constraints: 135231
707.55/709.26 c #Conflicts: 325000 | #Constraints: 136231
707.55/709.26 c #Conflicts: 326000 | #Constraints: 137231
707.55/709.26 c #Conflicts: 327000 | #Constraints: 138231
707.55/709.26 c #Conflicts: 328000 | #Constraints: 139231
707.55/709.26 c #Conflicts: 329000 | #Constraints: 140231
707.55/709.26 c #Conflicts: 330000 | #Constraints: 141231
707.55/709.26 c #Conflicts: 331000 | #Constraints: 142231
707.55/709.26 c #Conflicts: 332000 | #Constraints: 143231
707.55/709.26 c #Conflicts: 333000 | #Constraints: 144231
707.55/709.26 c INPROCESSING
707.55/709.26 c GARBAGE COLLECT
707.55/709.26 c #Conflicts: 334000 | #Constraints: 133826
707.55/709.26 c #Conflicts: 335000 | #Constraints: 134826
707.55/709.26 c #Conflicts: 336000 | #Constraints: 135826
707.55/709.26 c #Conflicts: 337000 | #Constraints: 136826
707.55/709.26 c #Conflicts: 338000 | #Constraints: 137826
707.55/709.26 c #Conflicts: 339000 | #Constraints: 138826
707.55/709.26 c #Conflicts: 340000 | #Constraints: 139826
707.55/709.26 c #Conflicts: 341000 | #Constraints: 140826
707.55/709.26 c #Conflicts: 342000 | #Constraints: 141826
707.55/709.26 c #Conflicts: 343000 | #Constraints: 142826
707.55/709.26 c #Conflicts: 344000 | #Constraints: 143826
707.55/709.26 c #Conflicts: 345000 | #Constraints: 144826
707.55/709.26 c INPROCESSING
707.55/709.26 c GARBAGE COLLECT
707.55/709.26 c #Conflicts: 346000 | #Constraints: 134227
707.55/709.26 c #Conflicts: 347000 | #Constraints: 135227
707.55/709.26 c #Conflicts: 348000 | #Constraints: 136227
707.55/709.26 c #Conflicts: 349000 | #Constraints: 137227
707.55/709.26 c #Conflicts: 350000 | #Constraints: 138227
707.55/709.26 c #Conflicts: 351000 | #Constraints: 139227
707.55/709.26 c #Conflicts: 352000 | #Constraints: 140227
707.55/709.26 c #Conflicts: 353000 | #Constraints: 141227
707.55/709.26 c #Conflicts: 354000 | #Constraints: 142227
707.55/709.26 c #Conflicts: 355000 | #Constraints: 143227
707.55/709.26 c #Conflicts: 356000 | #Constraints: 144227
707.55/709.26 c #Conflicts: 357000 | #Constraints: 145227
707.55/709.26 c INPROCESSING
707.55/709.26 c GARBAGE COLLECT
707.55/709.26 c #Conflicts: 358000 | #Constraints: 134425
707.55/709.26 c #Conflicts: 359000 | #Constraints: 135425
707.55/709.26 c #Conflicts: 360000 | #Constraints: 136425
707.55/709.26 c #Conflicts: 361000 | #Constraints: 137425
707.55/709.26 c #Conflicts: 362000 | #Constraints: 138425
707.55/709.26 c #Conflicts: 363000 | #Constraints: 139425
707.55/709.26 c #Conflicts: 364000 | #Constraints: 140425
707.55/709.26 c #Conflicts: 365000 | #Constraints: 141425
707.55/709.26 c #Conflicts: 366000 | #Constraints: 142425
707.55/709.26 c #Conflicts: 367000 | #Constraints: 143425
707.55/709.26 c #Conflicts: 368000 | #Constraints: 144425
707.55/709.26 c #Conflicts: 369000 | #Constraints: 145425
850.23/852.22 c INPROCESSING
850.23/852.22 c GARBAGE COLLECT
850.23/852.22 c #Conflicts: 370000 | #Constraints: 134426
850.23/852.22 c #Conflicts: 371000 | #Constraints: 135426
850.23/852.22 c #Conflicts: 372000 | #Constraints: 136426
850.23/852.22 c #Conflicts: 373000 | #Constraints: 137426
850.23/852.22 c #Conflicts: 374000 | #Constraints: 138426
850.23/852.22 c #Conflicts: 375000 | #Constraints: 139426
850.23/852.22 c #Conflicts: 376000 | #Constraints: 140426
850.23/852.22 c #Conflicts: 377000 | #Constraints: 141426
850.23/852.22 c #Conflicts: 378000 | #Constraints: 142426
850.23/852.22 c #Conflicts: 379000 | #Constraints: 143426
850.23/852.22 c #Conflicts: 380000 | #Constraints: 144426
850.23/852.22 c #Conflicts: 381000 | #Constraints: 145426
850.23/852.22 c INPROCESSING
850.23/852.22 c GARBAGE COLLECT
850.23/852.22 c #Conflicts: 382000 | #Constraints: 134224
850.23/852.22 c #Conflicts: 383000 | #Constraints: 135224
850.23/852.22 c #Conflicts: 384000 | #Constraints: 136224
850.23/852.22 c #Conflicts: 385000 | #Constraints: 137224
850.23/852.22 c #Conflicts: 386000 | #Constraints: 138224
850.23/852.22 c #Conflicts: 387000 | #Constraints: 139224
850.23/852.22 c #Conflicts: 388000 | #Constraints: 140224
850.23/852.22 c #Conflicts: 389000 | #Constraints: 141224
850.23/852.22 c #Conflicts: 390000 | #Constraints: 142224
850.23/852.22 c #Conflicts: 391000 | #Constraints: 143224
850.23/852.22 c #Conflicts: 392000 | #Constraints: 144224
850.23/852.22 c #Conflicts: 393000 | #Constraints: 145224
850.23/852.22 c #Conflicts: 394000 | #Constraints: 146224
850.23/852.22 c INPROCESSING
850.23/852.22 c GARBAGE COLLECT
850.23/852.22 c #Conflicts: 395000 | #Constraints: 134825
850.23/852.22 c #Conflicts: 396000 | #Constraints: 135825
850.23/852.22 c #Conflicts: 397000 | #Constraints: 136825
850.23/852.22 c #Conflicts: 398000 | #Constraints: 137825
850.23/852.22 c #Conflicts: 399000 | #Constraints: 138825
850.23/852.22 c #Conflicts: 400000 | #Constraints: 139825
850.23/852.22 c #Conflicts: 401000 | #Constraints: 140825
850.23/852.22 c #Conflicts: 402000 | #Constraints: 141825
850.23/852.22 c #Conflicts: 403000 | #Constraints: 142825
850.23/852.22 c #Conflicts: 404000 | #Constraints: 143825
850.23/852.22 c #Conflicts: 405000 | #Constraints: 144825
850.23/852.22 c #Conflicts: 406000 | #Constraints: 145825
850.23/852.22 c #Conflicts: 407000 | #Constraints: 146825
850.23/852.22 c INPROCESSING
850.23/852.22 c GARBAGE COLLECT
850.23/852.22 c #Conflicts: 408000 | #Constraints: 135226
850.23/852.22 c #Conflicts: 409000 | #Constraints: 136226
850.23/852.22 c #Conflicts: 410000 | #Constraints: 137226
850.23/852.22 c #Conflicts: 411000 | #Constraints: 138226
850.23/852.22 c #Conflicts: 412000 | #Constraints: 139226
850.23/852.22 c #Conflicts: 413000 | #Constraints: 140226
850.23/852.22 c #Conflicts: 414000 | #Constraints: 141226
850.23/852.22 c #Conflicts: 415000 | #Constraints: 142226
850.23/852.22 c #Conflicts: 416000 | #Constraints: 143226
850.23/852.22 c #Conflicts: 417000 | #Constraints: 144226
850.23/852.22 c #Conflicts: 418000 | #Constraints: 145226
850.23/852.22 c #Conflicts: 419000 | #Constraints: 146226
850.23/852.22 c #Conflicts: 420000 | #Constraints: 147226
850.23/852.22 c INPROCESSING
850.23/852.22 c GARBAGE COLLECT
850.23/852.22 c #Conflicts: 421000 | #Constraints: 135431
850.23/852.22 c #Conflicts: 422000 | #Constraints: 136431
850.23/852.22 c #Conflicts: 423000 | #Constraints: 137431
850.23/852.22 c #Conflicts: 424000 | #Constraints: 138431
850.23/852.22 c #Conflicts: 425000 | #Constraints: 139431
850.23/852.22 c #Conflicts: 426000 | #Constraints: 140431
850.23/852.22 c #Conflicts: 427000 | #Constraints: 141431
850.23/852.22 c #Conflicts: 428000 | #Constraints: 142431
850.23/852.22 c #Conflicts: 429000 | #Constraints: 143431
850.23/852.22 c #Conflicts: 430000 | #Constraints: 144431
850.23/852.22 c #Conflicts: 431000 | #Constraints: 145431
850.23/852.22 c #Conflicts: 432000 | #Constraints: 146431
850.23/852.22 c #Conflicts: 433000 | #Constraints: 147431
850.23/852.22 c INPROCESSING
850.23/852.22 c GARBAGE COLLECT
850.23/852.22 c #Conflicts: 434000 | #Constraints: 135429
850.23/852.22 c #Conflicts: 435000 | #Constraints: 136429
850.23/852.22 c #Conflicts: 436000 | #Constraints: 137429
850.23/852.22 c #Conflicts: 437000 | #Constraints: 138429
850.23/852.22 c #Conflicts: 438000 | #Constraints: 139429
850.23/852.22 c #Conflicts: 439000 | #Constraints: 140429
850.23/852.22 c #Conflicts: 440000 | #Constraints: 141429
850.23/852.22 c #Conflicts: 441000 | #Constraints: 142429
850.23/852.22 c #Conflicts: 442000 | #Constraints: 143429
850.23/852.22 c #Conflicts: 443000 | #Constraints: 144429
850.23/852.22 c #Conflicts: 444000 | #Constraints: 145429
986.91/989.20 c #Conflicts: 445000 | #Constraints: 146429
986.91/989.20 c #Conflicts: 446000 | #Constraints: 147429
986.91/989.20 c INPROCESSING
986.91/989.20 c GARBAGE COLLECT
986.91/989.20 c #Conflicts: 447000 | #Constraints: 135231
986.91/989.20 c #Conflicts: 448000 | #Constraints: 136231
986.91/989.20 c #Conflicts: 449000 | #Constraints: 137231
986.91/989.20 c #Conflicts: 450000 | #Constraints: 138231
986.91/989.20 c #Conflicts: 451000 | #Constraints: 139231
986.91/989.20 c #Conflicts: 452000 | #Constraints: 140231
986.91/989.20 c #Conflicts: 453000 | #Constraints: 141231
986.91/989.20 c #Conflicts: 454000 | #Constraints: 142231
986.91/989.20 c #Conflicts: 455000 | #Constraints: 143231
986.91/989.20 c #Conflicts: 456000 | #Constraints: 144231
986.91/989.20 c #Conflicts: 457000 | #Constraints: 145231
986.91/989.20 c #Conflicts: 458000 | #Constraints: 146231
986.91/989.20 c #Conflicts: 459000 | #Constraints: 147231
986.91/989.20 c #Conflicts: 460000 | #Constraints: 148231
986.91/989.20 c INPROCESSING
986.91/989.20 c GARBAGE COLLECT
986.91/989.20 c #Conflicts: 461000 | #Constraints: 135830
986.91/989.20 c #Conflicts: 462000 | #Constraints: 136830
986.91/989.20 c #Conflicts: 463000 | #Constraints: 137830
986.91/989.20 c #Conflicts: 464000 | #Constraints: 138830
986.91/989.20 c #Conflicts: 465000 | #Constraints: 139830
986.91/989.20 c #Conflicts: 466000 | #Constraints: 140830
986.91/989.20 c #Conflicts: 467000 | #Constraints: 141830
986.91/989.20 c #Conflicts: 468000 | #Constraints: 142830
986.91/989.20 c #Conflicts: 469000 | #Constraints: 143830
986.91/989.20 c #Conflicts: 470000 | #Constraints: 144830
986.91/989.20 c #Conflicts: 471000 | #Constraints: 145830
986.91/989.20 c #Conflicts: 472000 | #Constraints: 146830
986.91/989.20 c #Conflicts: 473000 | #Constraints: 147830
986.91/989.20 c #Conflicts: 474000 | #Constraints: 148830
986.91/989.20 c INPROCESSING
986.91/989.20 c GARBAGE COLLECT
986.91/989.20 c #Conflicts: 475000 | #Constraints: 136231
986.91/989.20 c #Conflicts: 476000 | #Constraints: 137231
986.91/989.20 c #Conflicts: 477000 | #Constraints: 138231
986.91/989.20 c #Conflicts: 478000 | #Constraints: 139231
986.91/989.20 c #Conflicts: 479000 | #Constraints: 140231
986.91/989.20 c #Conflicts: 480000 | #Constraints: 141231
986.91/989.20 c #Conflicts: 481000 | #Constraints: 142231
986.91/989.20 c #Conflicts: 482000 | #Constraints: 143231
986.91/989.20 c #Conflicts: 483000 | #Constraints: 144231
986.91/989.20 c #Conflicts: 484000 | #Constraints: 145231
986.91/989.20 c #Conflicts: 485000 | #Constraints: 146231
986.91/989.20 c #Conflicts: 486000 | #Constraints: 147231
986.91/989.20 c #Conflicts: 487000 | #Constraints: 148231
986.91/989.20 c #Conflicts: 488000 | #Constraints: 149231
986.91/989.20 c INPROCESSING
986.91/989.20 c GARBAGE COLLECT
986.91/989.20 c #Conflicts: 489000 | #Constraints: 136431
986.91/989.20 c #Conflicts: 490000 | #Constraints: 137431
986.91/989.20 c #Conflicts: 491000 | #Constraints: 138431
986.91/989.20 c #Conflicts: 492000 | #Constraints: 139431
986.91/989.20 c #Conflicts: 493000 | #Constraints: 140431
986.91/989.20 c #Conflicts: 494000 | #Constraints: 141431
986.91/989.20 c #Conflicts: 495000 | #Constraints: 142431
986.91/989.20 c #Conflicts: 496000 | #Constraints: 143431
986.91/989.20 c #Conflicts: 497000 | #Constraints: 144431
986.91/989.20 c #Conflicts: 498000 | #Constraints: 145431
986.91/989.20 c #Conflicts: 499000 | #Constraints: 146431
986.91/989.20 c #Conflicts: 500000 | #Constraints: 147431
986.91/989.20 c #Conflicts: 501000 | #Constraints: 148431
986.91/989.20 c #Conflicts: 502000 | #Constraints: 149431
986.91/989.20 c INPROCESSING
986.91/989.20 c GARBAGE COLLECT
986.91/989.20 c #Conflicts: 503000 | #Constraints: 136431
986.91/989.20 c #Conflicts: 504000 | #Constraints: 137431
986.91/989.20 c #Conflicts: 505000 | #Constraints: 138431
986.91/989.20 c #Conflicts: 506000 | #Constraints: 139431
986.91/989.20 c #Conflicts: 507000 | #Constraints: 140431
986.91/989.20 c #Conflicts: 508000 | #Constraints: 141431
986.91/989.20 c #Conflicts: 509000 | #Constraints: 142431
986.91/989.20 c #Conflicts: 510000 | #Constraints: 143431
986.91/989.20 c #Conflicts: 511000 | #Constraints: 144431
986.91/989.20 c #Conflicts: 512000 | #Constraints: 145431
986.91/989.20 c #Conflicts: 513000 | #Constraints: 146431
986.91/989.20 c #Conflicts: 514000 | #Constraints: 147431
986.91/989.20 c #Conflicts: 515000 | #Constraints: 148431
986.91/989.20 c #Conflicts: 516000 | #Constraints: 149431
986.91/989.20 c INPROCESSING
986.91/989.20 c GARBAGE COLLECT
986.91/989.20 c #Conflicts: 517000 | #Constraints: 136228
986.91/989.20 c #Conflicts: 518000 | #Constraints: 137228
986.91/989.20 c #Conflicts: 519000 | #Constraints: 138228
1120.00/1122.62 c #Conflicts: 520000 | #Constraints: 139228
1120.00/1122.62 c #Conflicts: 521000 | #Constraints: 140228
1120.00/1122.62 c #Conflicts: 522000 | #Constraints: 141228
1120.00/1122.62 c #Conflicts: 523000 | #Constraints: 142228
1120.00/1122.62 c #Conflicts: 524000 | #Constraints: 143228
1120.00/1122.62 c #Conflicts: 525000 | #Constraints: 144228
1120.00/1122.62 c #Conflicts: 526000 | #Constraints: 145228
1120.00/1122.62 c #Conflicts: 527000 | #Constraints: 146228
1120.00/1122.62 c #Conflicts: 528000 | #Constraints: 147228
1120.00/1122.62 c #Conflicts: 529000 | #Constraints: 148228
1120.00/1122.62 c #Conflicts: 530000 | #Constraints: 149228
1120.00/1122.62 c #Conflicts: 531000 | #Constraints: 150228
1120.00/1122.62 c INPROCESSING
1120.00/1122.62 c GARBAGE COLLECT
1120.00/1122.62 c #Conflicts: 532000 | #Constraints: 136829
1120.00/1122.62 c #Conflicts: 533000 | #Constraints: 137829
1120.00/1122.62 c #Conflicts: 534000 | #Constraints: 138829
1120.00/1122.62 c #Conflicts: 535000 | #Constraints: 139829
1120.00/1122.62 c #Conflicts: 536000 | #Constraints: 140829
1120.00/1122.62 c #Conflicts: 537000 | #Constraints: 141829
1120.00/1122.62 c #Conflicts: 538000 | #Constraints: 142829
1120.00/1122.62 c #Conflicts: 539000 | #Constraints: 143829
1120.00/1122.62 c #Conflicts: 540000 | #Constraints: 144829
1120.00/1122.62 c #Conflicts: 541000 | #Constraints: 145829
1120.00/1122.62 c #Conflicts: 542000 | #Constraints: 146829
1120.00/1122.62 c #Conflicts: 543000 | #Constraints: 147829
1120.00/1122.62 c #Conflicts: 544000 | #Constraints: 148829
1120.00/1122.62 c #Conflicts: 545000 | #Constraints: 149829
1120.00/1122.62 c #Conflicts: 546000 | #Constraints: 150829
1120.00/1122.62 c INPROCESSING
1120.00/1122.62 c GARBAGE COLLECT
1120.00/1122.62 c #Conflicts: 547000 | #Constraints: 137233
1120.00/1122.62 c #Conflicts: 548000 | #Constraints: 138233
1120.00/1122.62 c #Conflicts: 549000 | #Constraints: 139233
1120.00/1122.62 c #Conflicts: 550000 | #Constraints: 140233
1120.00/1122.62 c #Conflicts: 551000 | #Constraints: 141233
1120.00/1122.62 c #Conflicts: 552000 | #Constraints: 142233
1120.00/1122.62 c #Conflicts: 553000 | #Constraints: 143233
1120.00/1122.62 c #Conflicts: 554000 | #Constraints: 144233
1120.00/1122.62 c #Conflicts: 555000 | #Constraints: 145233
1120.00/1122.62 c #Conflicts: 556000 | #Constraints: 146233
1120.00/1122.62 c #Conflicts: 557000 | #Constraints: 147233
1120.00/1122.62 c #Conflicts: 558000 | #Constraints: 148233
1120.00/1122.62 c #Conflicts: 559000 | #Constraints: 149233
1120.00/1122.62 c #Conflicts: 560000 | #Constraints: 150233
1120.00/1122.62 c #Conflicts: 561000 | #Constraints: 151233
1120.00/1122.62 c INPROCESSING
1120.00/1122.62 c GARBAGE COLLECT
1120.00/1122.62 c #Conflicts: 562000 | #Constraints: 137431
1120.00/1122.62 c #Conflicts: 563000 | #Constraints: 138431
1120.00/1122.62 c #Conflicts: 564000 | #Constraints: 139431
1120.00/1122.62 c #Conflicts: 565000 | #Constraints: 140431
1120.00/1122.62 c #Conflicts: 566000 | #Constraints: 141431
1120.00/1122.62 c #Conflicts: 567000 | #Constraints: 142431
1120.00/1122.62 c #Conflicts: 568000 | #Constraints: 143431
1120.00/1122.62 c #Conflicts: 569000 | #Constraints: 144431
1120.00/1122.62 c #Conflicts: 570000 | #Constraints: 145431
1120.00/1122.62 c #Conflicts: 571000 | #Constraints: 146431
1120.00/1122.62 c #Conflicts: 572000 | #Constraints: 147431
1120.00/1122.62 c #Conflicts: 573000 | #Constraints: 148431
1120.00/1122.62 c #Conflicts: 574000 | #Constraints: 149431
1120.00/1122.62 c #Conflicts: 575000 | #Constraints: 150431
1120.00/1122.62 c #Conflicts: 576000 | #Constraints: 151431
1120.00/1122.62 c INPROCESSING
1120.00/1122.62 c GARBAGE COLLECT
1120.00/1122.62 c #Conflicts: 577000 | #Constraints: 137431
1120.00/1122.62 c #Conflicts: 578000 | #Constraints: 138431
1120.00/1122.62 c #Conflicts: 579000 | #Constraints: 139431
1120.00/1122.62 c #Conflicts: 580000 | #Constraints: 140431
1120.00/1122.62 c #Conflicts: 581000 | #Constraints: 141431
1120.00/1122.62 c #Conflicts: 582000 | #Constraints: 142431
1120.00/1122.62 c #Conflicts: 583000 | #Constraints: 143431
1120.00/1122.62 c #Conflicts: 584000 | #Constraints: 144431
1120.00/1122.62 c #Conflicts: 585000 | #Constraints: 145431
1120.00/1122.62 c #Conflicts: 586000 | #Constraints: 146431
1120.00/1122.62 c #Conflicts: 587000 | #Constraints: 147431
1120.00/1122.62 c #Conflicts: 588000 | #Constraints: 148431
1120.00/1122.62 c #Conflicts: 589000 | #Constraints: 149431
1120.00/1122.62 c #Conflicts: 590000 | #Constraints: 150431
1120.00/1122.62 c #Conflicts: 591000 | #Constraints: 151431
1120.00/1122.62 c INPROCESSING
1120.00/1122.62 c GARBAGE COLLECT
1120.00/1122.62 c #Conflicts: 592000 | #Constraints: 137232
1120.00/1122.62 c #Conflicts: 593000 | #Constraints: 138232
1120.00/1122.62 c #Conflicts: 594000 | #Constraints: 139232
1120.00/1122.62 c #Conflicts: 595000 | #Constraints: 140232
1240.43/1243.33 c #Conflicts: 596000 | #Constraints: 141232
1240.43/1243.33 c #Conflicts: 597000 | #Constraints: 142232
1240.43/1243.33 c #Conflicts: 598000 | #Constraints: 143232
1240.43/1243.33 c #Conflicts: 599000 | #Constraints: 144232
1240.43/1243.33 c #Conflicts: 600000 | #Constraints: 145232
1240.43/1243.33 c #Conflicts: 601000 | #Constraints: 146232
1240.43/1243.33 c #Conflicts: 602000 | #Constraints: 147232
1240.43/1243.33 c #Conflicts: 603000 | #Constraints: 148232
1240.43/1243.33 c #Conflicts: 604000 | #Constraints: 149232
1240.43/1243.33 c #Conflicts: 605000 | #Constraints: 150232
1240.43/1243.33 c #Conflicts: 606000 | #Constraints: 151232
1240.43/1243.33 c #Conflicts: 607000 | #Constraints: 152232
1240.43/1243.33 c INPROCESSING
1240.43/1243.33 c GARBAGE COLLECT
1240.43/1243.33 c #Conflicts: 608000 | #Constraints: 137832
1240.43/1243.33 c #Conflicts: 609000 | #Constraints: 138832
1240.43/1243.33 c #Conflicts: 610000 | #Constraints: 139832
1240.43/1243.33 c #Conflicts: 611000 | #Constraints: 140832
1240.43/1243.33 c #Conflicts: 612000 | #Constraints: 141832
1240.43/1243.33 c #Conflicts: 613000 | #Constraints: 142832
1240.43/1243.33 c #Conflicts: 614000 | #Constraints: 143832
1240.43/1243.33 c #Conflicts: 615000 | #Constraints: 144832
1240.43/1243.33 c #Conflicts: 616000 | #Constraints: 145832
1240.43/1243.33 c #Conflicts: 617000 | #Constraints: 146832
1240.43/1243.33 c #Conflicts: 618000 | #Constraints: 147832
1240.43/1243.33 c #Conflicts: 619000 | #Constraints: 148832
1240.43/1243.33 c #Conflicts: 620000 | #Constraints: 149832
1240.43/1243.33 c #Conflicts: 621000 | #Constraints: 150832
1240.43/1243.33 c #Conflicts: 622000 | #Constraints: 151832
1240.43/1243.33 c #Conflicts: 623000 | #Constraints: 152832
1240.43/1243.33 c INPROCESSING
1240.43/1243.33 c GARBAGE COLLECT
1240.43/1243.33 c #Conflicts: 624000 | #Constraints: 138234
1240.43/1243.33 c #Conflicts: 625000 | #Constraints: 139234
1240.43/1243.33 c #Conflicts: 626000 | #Constraints: 140234
1240.43/1243.33 c #Conflicts: 627000 | #Constraints: 141234
1240.43/1243.33 c #Conflicts: 628000 | #Constraints: 142234
1240.43/1243.33 c #Conflicts: 629000 | #Constraints: 143234
1240.43/1243.33 c #Conflicts: 630000 | #Constraints: 144234
1240.43/1243.33 c #Conflicts: 631000 | #Constraints: 145234
1240.43/1243.33 c #Conflicts: 632000 | #Constraints: 146234
1240.43/1243.33 c #Conflicts: 633000 | #Constraints: 147234
1240.43/1243.33 c #Conflicts: 634000 | #Constraints: 148234
1240.43/1243.33 c #Conflicts: 635000 | #Constraints: 149234
1240.43/1243.33 c #Conflicts: 636000 | #Constraints: 150234
1240.43/1243.33 c #Conflicts: 637000 | #Constraints: 151234
1240.43/1243.33 c #Conflicts: 638000 | #Constraints: 152234
1240.43/1243.33 c #Conflicts: 639000 | #Constraints: 153234
1240.43/1243.33 c INPROCESSING
1240.43/1243.33 c GARBAGE COLLECT
1240.43/1243.33 c #Conflicts: 640000 | #Constraints: 138428
1240.43/1243.33 c #Conflicts: 641000 | #Constraints: 139428
1240.43/1243.33 c #Conflicts: 642000 | #Constraints: 140428
1240.43/1243.33 c #Conflicts: 643000 | #Constraints: 141428
1240.43/1243.33 c #Conflicts: 644000 | #Constraints: 142428
1240.43/1243.33 c #Conflicts: 645000 | #Constraints: 143428
1240.43/1243.33 c #Conflicts: 646000 | #Constraints: 144428
1240.43/1243.33 c #Conflicts: 647000 | #Constraints: 145428
1240.43/1243.33 c #Conflicts: 648000 | #Constraints: 146428
1240.43/1243.33 c #Conflicts: 649000 | #Constraints: 147428
1240.43/1243.33 c #Conflicts: 650000 | #Constraints: 148428
1240.43/1243.33 c #Conflicts: 651000 | #Constraints: 149428
1240.43/1243.33 c #Conflicts: 652000 | #Constraints: 150428
1240.43/1243.33 c #Conflicts: 653000 | #Constraints: 151428
1240.43/1243.33 c #Conflicts: 654000 | #Constraints: 152428
1240.43/1243.33 c #Conflicts: 655000 | #Constraints: 153428
1240.43/1243.33 c INPROCESSING
1240.43/1243.33 c GARBAGE COLLECT
1240.43/1243.33 c #Conflicts: 656000 | #Constraints: 138429
1240.43/1243.33 c #Conflicts: 657000 | #Constraints: 139429
1240.43/1243.33 c #Conflicts: 658000 | #Constraints: 140429
1240.43/1243.33 c #Conflicts: 659000 | #Constraints: 141429
1240.43/1243.33 c #Conflicts: 660000 | #Constraints: 142429
1240.43/1243.33 c #Conflicts: 661000 | #Constraints: 143429
1240.43/1243.33 c #Conflicts: 662000 | #Constraints: 144429
1240.43/1243.33 c #Conflicts: 663000 | #Constraints: 145429
1240.43/1243.33 c #Conflicts: 664000 | #Constraints: 146429
1240.43/1243.33 c #Conflicts: 665000 | #Constraints: 147429
1240.43/1243.33 c #Conflicts: 666000 | #Constraints: 148429
1240.43/1243.33 c #Conflicts: 667000 | #Constraints: 149429
1240.43/1243.33 c #Conflicts: 668000 | #Constraints: 150429
1240.43/1243.33 c #Conflicts: 669000 | #Constraints: 151429
1240.43/1243.33 c #Conflicts: 670000 | #Constraints: 152429
1240.43/1243.33 c #Conflicts: 671000 | #Constraints: 153429
1374.11/1377.37 c INPROCESSING
1374.11/1377.37 c GARBAGE COLLECT
1374.11/1377.37 c #Conflicts: 672000 | #Constraints: 138231
1374.11/1377.37 c #Conflicts: 673000 | #Constraints: 139231
1374.11/1377.37 c #Conflicts: 674000 | #Constraints: 140231
1374.11/1377.37 c #Conflicts: 675000 | #Constraints: 141231
1374.11/1377.37 c #Conflicts: 676000 | #Constraints: 142231
1374.11/1377.37 c #Conflicts: 677000 | #Constraints: 143231
1374.11/1377.37 c #Conflicts: 678000 | #Constraints: 144231
1374.11/1377.37 c #Conflicts: 679000 | #Constraints: 145231
1374.11/1377.37 c #Conflicts: 680000 | #Constraints: 146231
1374.11/1377.37 c #Conflicts: 681000 | #Constraints: 147231
1374.11/1377.37 c #Conflicts: 682000 | #Constraints: 148231
1374.11/1377.37 c #Conflicts: 683000 | #Constraints: 149231
1374.11/1377.37 c #Conflicts: 684000 | #Constraints: 150231
1374.11/1377.37 c #Conflicts: 685000 | #Constraints: 151231
1374.11/1377.37 c #Conflicts: 686000 | #Constraints: 152231
1374.11/1377.37 c #Conflicts: 687000 | #Constraints: 153231
1374.11/1377.37 c #Conflicts: 688000 | #Constraints: 154231
1374.11/1377.37 c INPROCESSING
1374.11/1377.37 c GARBAGE COLLECT
1374.11/1377.37 c #Conflicts: 689000 | #Constraints: 138831
1374.11/1377.37 c #Conflicts: 690000 | #Constraints: 139831
1374.11/1377.37 c #Conflicts: 691000 | #Constraints: 140831
1374.11/1377.37 c #Conflicts: 692000 | #Constraints: 141831
1374.11/1377.37 c #Conflicts: 693000 | #Constraints: 142831
1374.11/1377.37 c #Conflicts: 694000 | #Constraints: 143831
1374.11/1377.37 c #Conflicts: 695000 | #Constraints: 144831
1374.11/1377.37 c #Conflicts: 696000 | #Constraints: 145831
1374.11/1377.37 c #Conflicts: 697000 | #Constraints: 146831
1374.11/1377.37 c #Conflicts: 698000 | #Constraints: 147831
1374.11/1377.37 c #Conflicts: 699000 | #Constraints: 148831
1374.11/1377.37 c #Conflicts: 700000 | #Constraints: 149831
1374.11/1377.37 c #Conflicts: 701000 | #Constraints: 150831
1374.11/1377.37 c #Conflicts: 702000 | #Constraints: 151831
1374.11/1377.37 c #Conflicts: 703000 | #Constraints: 152831
1374.11/1377.37 c #Conflicts: 704000 | #Constraints: 153831
1374.11/1377.37 c #Conflicts: 705000 | #Constraints: 154831
1374.11/1377.37 c INPROCESSING
1374.11/1377.37 c GARBAGE COLLECT
1374.11/1377.37 c #Conflicts: 706000 | #Constraints: 139228
1374.11/1377.37 c #Conflicts: 707000 | #Constraints: 140228
1374.11/1377.37 c #Conflicts: 708000 | #Constraints: 141228
1374.11/1377.37 c #Conflicts: 709000 | #Constraints: 142228
1374.11/1377.37 c #Conflicts: 710000 | #Constraints: 143228
1374.11/1377.37 c #Conflicts: 711000 | #Constraints: 144228
1374.11/1377.37 c #Conflicts: 712000 | #Constraints: 145228
1374.11/1377.37 c #Conflicts: 713000 | #Constraints: 146228
1374.11/1377.37 c #Conflicts: 714000 | #Constraints: 147228
1374.11/1377.37 c #Conflicts: 715000 | #Constraints: 148228
1374.11/1377.37 c #Conflicts: 716000 | #Constraints: 149228
1374.11/1377.37 c #Conflicts: 717000 | #Constraints: 150228
1374.11/1377.37 c #Conflicts: 718000 | #Constraints: 151228
1374.11/1377.37 c #Conflicts: 719000 | #Constraints: 152228
1374.11/1377.37 c #Conflicts: 720000 | #Constraints: 153228
1374.11/1377.37 c #Conflicts: 721000 | #Constraints: 154228
1374.11/1377.37 c #Conflicts: 722000 | #Constraints: 155228
1374.11/1377.37 c INPROCESSING
1374.11/1377.37 c GARBAGE COLLECT
1374.11/1377.37 c #Conflicts: 723000 | #Constraints: 139435
1374.11/1377.37 c #Conflicts: 724000 | #Constraints: 140435
1374.11/1377.37 c #Conflicts: 725000 | #Constraints: 141435
1374.11/1377.37 c #Conflicts: 726000 | #Constraints: 142435
1374.11/1377.37 c #Conflicts: 727000 | #Constraints: 143435
1374.11/1377.37 c #Conflicts: 728000 | #Constraints: 144435
1374.11/1377.37 c #Conflicts: 729000 | #Constraints: 145435
1374.11/1377.37 c #Conflicts: 730000 | #Constraints: 146435
1374.11/1377.37 c #Conflicts: 731000 | #Constraints: 147435
1374.11/1377.37 c #Conflicts: 732000 | #Constraints: 148435
1374.11/1377.37 c #Conflicts: 733000 | #Constraints: 149435
1374.11/1377.37 c #Conflicts: 734000 | #Constraints: 150435
1374.11/1377.37 c #Conflicts: 735000 | #Constraints: 151435
1374.11/1377.37 c #Conflicts: 736000 | #Constraints: 152435
1374.11/1377.37 c #Conflicts: 737000 | #Constraints: 153435
1374.11/1377.37 c #Conflicts: 738000 | #Constraints: 154435
1374.11/1377.37 c #Conflicts: 739000 | #Constraints: 155435
1374.11/1377.37 c INPROCESSING
1374.11/1377.37 c GARBAGE COLLECT
1374.11/1377.37 c #Conflicts: 740000 | #Constraints: 139435
1374.11/1377.37 c #Conflicts: 741000 | #Constraints: 140435
1374.11/1377.37 c #Conflicts: 742000 | #Constraints: 141435
1374.11/1377.37 c #Conflicts: 743000 | #Constraints: 142435
1374.11/1377.37 c #Conflicts: 744000 | #Constraints: 143435
1374.11/1377.37 c #Conflicts: 745000 | #Constraints: 144435
1374.11/1377.37 c #Conflicts: 746000 | #Constraints: 145435
1374.11/1377.37 c #Conflicts: 747000 | #Constraints: 146435
1505.00/1508.51 c #Conflicts: 748000 | #Constraints: 147435
1505.00/1508.51 c #Conflicts: 749000 | #Constraints: 148435
1505.00/1508.51 c #Conflicts: 750000 | #Constraints: 149435
1505.00/1508.51 c #Conflicts: 751000 | #Constraints: 150435
1505.00/1508.51 c #Conflicts: 752000 | #Constraints: 151435
1505.00/1508.51 c #Conflicts: 753000 | #Constraints: 152435
1505.00/1508.51 c #Conflicts: 754000 | #Constraints: 153435
1505.00/1508.51 c #Conflicts: 755000 | #Constraints: 154435
1505.00/1508.51 c #Conflicts: 756000 | #Constraints: 155435
1505.00/1508.51 c INPROCESSING
1505.00/1508.51 c GARBAGE COLLECT
1505.00/1508.51 c #Conflicts: 757000 | #Constraints: 139233
1505.00/1508.51 c #Conflicts: 758000 | #Constraints: 140233
1505.00/1508.51 c #Conflicts: 759000 | #Constraints: 141233
1505.00/1508.51 c #Conflicts: 760000 | #Constraints: 142233
1505.00/1508.51 c #Conflicts: 761000 | #Constraints: 143233
1505.00/1508.51 c #Conflicts: 762000 | #Constraints: 144233
1505.00/1508.51 c #Conflicts: 763000 | #Constraints: 145233
1505.00/1508.51 c #Conflicts: 764000 | #Constraints: 146233
1505.00/1508.51 c #Conflicts: 765000 | #Constraints: 147233
1505.00/1508.51 c #Conflicts: 766000 | #Constraints: 148233
1505.00/1508.51 c #Conflicts: 767000 | #Constraints: 149233
1505.00/1508.51 c #Conflicts: 768000 | #Constraints: 150233
1505.00/1508.51 c #Conflicts: 769000 | #Constraints: 151233
1505.00/1508.51 c #Conflicts: 770000 | #Constraints: 152233
1505.00/1508.51 c #Conflicts: 771000 | #Constraints: 153233
1505.00/1508.51 c #Conflicts: 772000 | #Constraints: 154233
1505.00/1508.51 c #Conflicts: 773000 | #Constraints: 155233
1505.00/1508.51 c #Conflicts: 774000 | #Constraints: 156233
1505.00/1508.51 c INPROCESSING
1505.00/1508.51 c GARBAGE COLLECT
1505.00/1508.51 c #Conflicts: 775000 | #Constraints: 139834
1505.00/1508.51 c #Conflicts: 776000 | #Constraints: 140834
1505.00/1508.51 c #Conflicts: 777000 | #Constraints: 141834
1505.00/1508.51 c #Conflicts: 778000 | #Constraints: 142834
1505.00/1508.51 c #Conflicts: 779000 | #Constraints: 143834
1505.00/1508.51 c #Conflicts: 780000 | #Constraints: 144834
1505.00/1508.51 c #Conflicts: 781000 | #Constraints: 145834
1505.00/1508.51 c #Conflicts: 782000 | #Constraints: 146834
1505.00/1508.51 c #Conflicts: 783000 | #Constraints: 147834
1505.00/1508.51 c #Conflicts: 784000 | #Constraints: 148834
1505.00/1508.51 c #Conflicts: 785000 | #Constraints: 149834
1505.00/1508.51 c #Conflicts: 786000 | #Constraints: 150834
1505.00/1508.51 c #Conflicts: 787000 | #Constraints: 151834
1505.00/1508.51 c #Conflicts: 788000 | #Constraints: 152834
1505.00/1508.51 c #Conflicts: 789000 | #Constraints: 153834
1505.00/1508.51 c #Conflicts: 790000 | #Constraints: 154834
1505.00/1508.51 c #Conflicts: 791000 | #Constraints: 155834
1505.00/1508.51 c #Conflicts: 792000 | #Constraints: 156834
1505.00/1508.51 c INPROCESSING
1505.00/1508.51 c GARBAGE COLLECT
1505.00/1508.51 c #Conflicts: 793000 | #Constraints: 140236
1505.00/1508.51 c #Conflicts: 794000 | #Constraints: 141236
1505.00/1508.51 c #Conflicts: 795000 | #Constraints: 142236
1505.00/1508.51 c #Conflicts: 796000 | #Constraints: 143236
1505.00/1508.51 c #Conflicts: 797000 | #Constraints: 144236
1505.00/1508.51 c #Conflicts: 798000 | #Constraints: 145236
1505.00/1508.51 c #Conflicts: 799000 | #Constraints: 146236
1505.00/1508.51 c #Conflicts: 800000 | #Constraints: 147236
1505.00/1508.51 c #Conflicts: 801000 | #Constraints: 148236
1505.00/1508.51 c #Conflicts: 802000 | #Constraints: 149236
1505.00/1508.51 c #Conflicts: 803000 | #Constraints: 150236
1505.00/1508.51 c #Conflicts: 804000 | #Constraints: 151236
1505.00/1508.51 c #Conflicts: 805000 | #Constraints: 152236
1505.00/1508.51 c #Conflicts: 806000 | #Constraints: 153236
1505.00/1508.51 c #Conflicts: 807000 | #Constraints: 154236
1505.00/1508.51 c #Conflicts: 808000 | #Constraints: 155236
1505.00/1508.51 c #Conflicts: 809000 | #Constraints: 156236
1505.00/1508.51 c #Conflicts: 810000 | #Constraints: 157236
1505.00/1508.51 c INPROCESSING
1505.00/1508.51 c GARBAGE COLLECT
1505.00/1508.51 c #Conflicts: 811000 | #Constraints: 140437
1505.00/1508.51 c #Conflicts: 812000 | #Constraints: 141437
1505.00/1508.51 c #Conflicts: 813000 | #Constraints: 142437
1505.00/1508.51 c #Conflicts: 814000 | #Constraints: 143437
1505.00/1508.51 c #Conflicts: 815000 | #Constraints: 144437
1505.00/1508.51 c #Conflicts: 816000 | #Constraints: 145437
1505.00/1508.51 c #Conflicts: 817000 | #Constraints: 146437
1505.00/1508.51 c #Conflicts: 818000 | #Constraints: 147437
1505.00/1508.51 c #Conflicts: 819000 | #Constraints: 148437
1505.00/1508.51 c #Conflicts: 820000 | #Constraints: 149437
1505.00/1508.51 c #Conflicts: 821000 | #Constraints: 150437
1505.00/1508.51 c #Conflicts: 822000 | #Constraints: 151437
1505.00/1508.51 c #Conflicts: 823000 | #Constraints: 152437
1635.50/1639.37 c #Conflicts: 824000 | #Constraints: 153437
1635.50/1639.37 c #Conflicts: 825000 | #Constraints: 154437
1635.50/1639.37 c #Conflicts: 826000 | #Constraints: 155437
1635.50/1639.37 c #Conflicts: 827000 | #Constraints: 156437
1635.50/1639.37 c #Conflicts: 828000 | #Constraints: 157437
1635.50/1639.37 c INPROCESSING
1635.50/1639.37 c GARBAGE COLLECT
1635.50/1639.37 c #Conflicts: 829000 | #Constraints: 140437
1635.50/1639.37 c #Conflicts: 830000 | #Constraints: 141437
1635.50/1639.37 c #Conflicts: 831000 | #Constraints: 142437
1635.50/1639.37 c #Conflicts: 832000 | #Constraints: 143437
1635.50/1639.37 c #Conflicts: 833000 | #Constraints: 144437
1635.50/1639.37 c #Conflicts: 834000 | #Constraints: 145437
1635.50/1639.37 c #Conflicts: 835000 | #Constraints: 146437
1635.50/1639.37 c #Conflicts: 836000 | #Constraints: 147437
1635.50/1639.37 c #Conflicts: 837000 | #Constraints: 148437
1635.50/1639.37 c #Conflicts: 838000 | #Constraints: 149437
1635.50/1639.37 c #Conflicts: 839000 | #Constraints: 150437
1635.50/1639.37 c #Conflicts: 840000 | #Constraints: 151437
1635.50/1639.37 c #Conflicts: 841000 | #Constraints: 152437
1635.50/1639.37 c #Conflicts: 842000 | #Constraints: 153437
1635.50/1639.37 c #Conflicts: 843000 | #Constraints: 154437
1635.50/1639.37 c #Conflicts: 844000 | #Constraints: 155437
1635.50/1639.37 c #Conflicts: 845000 | #Constraints: 156437
1635.50/1639.37 c #Conflicts: 846000 | #Constraints: 157437
1635.50/1639.37 c INPROCESSING
1635.50/1639.37 c GARBAGE COLLECT
1635.50/1639.37 c #Conflicts: 847000 | #Constraints: 140231
1635.50/1639.37 c #Conflicts: 848000 | #Constraints: 141231
1635.50/1639.37 c #Conflicts: 849000 | #Constraints: 142231
1635.50/1639.37 c #Conflicts: 850000 | #Constraints: 143231
1635.50/1639.37 c #Conflicts: 851000 | #Constraints: 144231
1635.50/1639.37 c #Conflicts: 852000 | #Constraints: 145231
1635.50/1639.37 c #Conflicts: 853000 | #Constraints: 146231
1635.50/1639.37 c #Conflicts: 854000 | #Constraints: 147231
1635.50/1639.37 c #Conflicts: 855000 | #Constraints: 148231
1635.50/1639.37 c #Conflicts: 856000 | #Constraints: 149231
1635.50/1639.37 c #Conflicts: 857000 | #Constraints: 150231
1635.50/1639.37 c #Conflicts: 858000 | #Constraints: 151231
1635.50/1639.37 c #Conflicts: 859000 | #Constraints: 152231
1635.50/1639.37 c #Conflicts: 860000 | #Constraints: 153231
1635.50/1639.37 c #Conflicts: 861000 | #Constraints: 154231
1635.50/1639.37 c #Conflicts: 862000 | #Constraints: 155231
1635.50/1639.37 c #Conflicts: 863000 | #Constraints: 156231
1635.50/1639.37 c #Conflicts: 864000 | #Constraints: 157231
1635.50/1639.37 c #Conflicts: 865000 | #Constraints: 158231
1635.50/1639.37 c INPROCESSING
1635.50/1639.37 c GARBAGE COLLECT
1635.50/1639.37 c #Conflicts: 866000 | #Constraints: 140835
1635.50/1639.37 c #Conflicts: 867000 | #Constraints: 141835
1635.50/1639.37 c #Conflicts: 868000 | #Constraints: 142835
1635.50/1639.37 c #Conflicts: 869000 | #Constraints: 143835
1635.50/1639.37 c #Conflicts: 870000 | #Constraints: 144835
1635.50/1639.37 c #Conflicts: 871000 | #Constraints: 145835
1635.50/1639.37 c #Conflicts: 872000 | #Constraints: 146835
1635.50/1639.37 c #Conflicts: 873000 | #Constraints: 147835
1635.50/1639.37 c #Conflicts: 874000 | #Constraints: 148835
1635.50/1639.37 c #Conflicts: 875000 | #Constraints: 149835
1635.50/1639.37 c #Conflicts: 876000 | #Constraints: 150835
1635.50/1639.37 c #Conflicts: 877000 | #Constraints: 151835
1635.50/1639.37 c #Conflicts: 878000 | #Constraints: 152835
1635.50/1639.37 c #Conflicts: 879000 | #Constraints: 153835
1635.50/1639.37 c #Conflicts: 880000 | #Constraints: 154835
1635.50/1639.37 c #Conflicts: 881000 | #Constraints: 155835
1635.50/1639.37 c #Conflicts: 882000 | #Constraints: 156835
1635.50/1639.37 c #Conflicts: 883000 | #Constraints: 157835
1635.50/1639.37 c #Conflicts: 884000 | #Constraints: 158835
1635.50/1639.37 c INPROCESSING
1635.50/1639.37 c GARBAGE COLLECT
1635.50/1639.37 c #Conflicts: 885000 | #Constraints: 141233
1635.50/1639.37 c #Conflicts: 886000 | #Constraints: 142233
1635.50/1639.37 c #Conflicts: 887000 | #Constraints: 143233
1635.50/1639.37 c #Conflicts: 888000 | #Constraints: 144233
1635.50/1639.37 c #Conflicts: 889000 | #Constraints: 145233
1635.50/1639.37 c #Conflicts: 890000 | #Constraints: 146233
1635.50/1639.37 c #Conflicts: 891000 | #Constraints: 147233
1635.50/1639.37 c #Conflicts: 892000 | #Constraints: 148233
1635.50/1639.37 c #Conflicts: 893000 | #Constraints: 149233
1635.50/1639.37 c #Conflicts: 894000 | #Constraints: 150233
1635.50/1639.37 c #Conflicts: 895000 | #Constraints: 151233
1635.50/1639.37 c #Conflicts: 896000 | #Constraints: 152233
1635.50/1639.37 c #Conflicts: 897000 | #Constraints: 153233
1635.50/1639.37 c #Conflicts: 898000 | #Constraints: 154233
1635.50/1639.37 c #Conflicts: 899000 | #Constraints: 155233
1771.28/1775.40 c #Conflicts: 900000 | #Constraints: 156233
1771.28/1775.40 c #Conflicts: 901000 | #Constraints: 157233
1771.28/1775.40 c #Conflicts: 902000 | #Constraints: 158233
1771.28/1775.40 c #Conflicts: 903000 | #Constraints: 159233
1771.28/1775.40 c INPROCESSING
1771.28/1775.40 c GARBAGE COLLECT
1771.28/1775.40 c #Conflicts: 904000 | #Constraints: 141431
1771.28/1775.40 c #Conflicts: 905000 | #Constraints: 142431
1771.28/1775.40 c #Conflicts: 906000 | #Constraints: 143431
1771.28/1775.40 c #Conflicts: 907000 | #Constraints: 144431
1771.28/1775.40 c #Conflicts: 908000 | #Constraints: 145431
1771.28/1775.40 c #Conflicts: 909000 | #Constraints: 146431
1771.28/1775.40 c #Conflicts: 910000 | #Constraints: 147431
1771.28/1775.40 c #Conflicts: 911000 | #Constraints: 148431
1771.28/1775.40 c #Conflicts: 912000 | #Constraints: 149431
1771.28/1775.40 c #Conflicts: 913000 | #Constraints: 150431
1771.28/1775.40 c #Conflicts: 914000 | #Constraints: 151431
1771.28/1775.40 c #Conflicts: 915000 | #Constraints: 152431
1771.28/1775.40 c #Conflicts: 916000 | #Constraints: 153431
1771.28/1775.40 c #Conflicts: 917000 | #Constraints: 154431
1771.28/1775.40 c #Conflicts: 918000 | #Constraints: 155431
1771.28/1775.40 c #Conflicts: 919000 | #Constraints: 156431
1771.28/1775.40 c #Conflicts: 920000 | #Constraints: 157431
1771.28/1775.40 c #Conflicts: 921000 | #Constraints: 158431
1771.28/1775.40 c #Conflicts: 922000 | #Constraints: 159431
1771.28/1775.40 c INPROCESSING
1771.28/1775.40 c GARBAGE COLLECT
1771.28/1775.40 c #Conflicts: 923000 | #Constraints: 141429
1771.28/1775.40 c #Conflicts: 924000 | #Constraints: 142429
1771.28/1775.40 c #Conflicts: 925000 | #Constraints: 143429
1771.28/1775.40 c #Conflicts: 926000 | #Constraints: 144429
1771.28/1775.40 c #Conflicts: 927000 | #Constraints: 145429
1771.28/1775.40 c #Conflicts: 928000 | #Constraints: 146429
1771.28/1775.40 c #Conflicts: 929000 | #Constraints: 147429
1771.28/1775.40 c #Conflicts: 930000 | #Constraints: 148429
1771.28/1775.40 c #Conflicts: 931000 | #Constraints: 149429
1771.28/1775.40 c #Conflicts: 932000 | #Constraints: 150429
1771.28/1775.40 c #Conflicts: 933000 | #Constraints: 151429
1771.28/1775.40 c #Conflicts: 934000 | #Constraints: 152429
1771.28/1775.40 c #Conflicts: 935000 | #Constraints: 153429
1771.28/1775.40 c #Conflicts: 936000 | #Constraints: 154429
1771.28/1775.40 c #Conflicts: 937000 | #Constraints: 155429
1771.28/1775.40 c #Conflicts: 938000 | #Constraints: 156429
1771.28/1775.40 c #Conflicts: 939000 | #Constraints: 157429
1771.28/1775.40 c #Conflicts: 940000 | #Constraints: 158429
1771.28/1775.40 c #Conflicts: 941000 | #Constraints: 159429
1771.28/1775.40 c INPROCESSING
1771.28/1775.40 c GARBAGE COLLECT
1771.28/1775.40 c #Conflicts: 942000 | #Constraints: 141232
1771.28/1775.40 c #Conflicts: 943000 | #Constraints: 142232
1771.28/1775.40 c #Conflicts: 944000 | #Constraints: 143232
1771.28/1775.40 c #Conflicts: 945000 | #Constraints: 144232
1771.28/1775.40 c #Conflicts: 946000 | #Constraints: 145232
1771.28/1775.40 c #Conflicts: 947000 | #Constraints: 146232
1771.28/1775.40 c #Conflicts: 948000 | #Constraints: 147232
1771.28/1775.40 c #Conflicts: 949000 | #Constraints: 148232
1771.28/1775.40 c #Conflicts: 950000 | #Constraints: 149232
1771.28/1775.40 c #Conflicts: 951000 | #Constraints: 150232
1771.28/1775.40 c #Conflicts: 952000 | #Constraints: 151232
1771.28/1775.40 c #Conflicts: 953000 | #Constraints: 152232
1771.28/1775.40 c #Conflicts: 954000 | #Constraints: 153232
1771.28/1775.40 c #Conflicts: 955000 | #Constraints: 154232
1771.28/1775.40 c #Conflicts: 956000 | #Constraints: 155232
1771.28/1775.40 c #Conflicts: 957000 | #Constraints: 156232
1771.28/1775.40 c #Conflicts: 958000 | #Constraints: 157232
1771.28/1775.40 c #Conflicts: 959000 | #Constraints: 158232
1771.28/1775.40 c #Conflicts: 960000 | #Constraints: 159232
1771.28/1775.40 c #Conflicts: 961000 | #Constraints: 160232
1771.28/1775.40 c INPROCESSING
1771.28/1775.40 c GARBAGE COLLECT
1771.28/1775.40 c #Conflicts: 962000 | #Constraints: 141838
1771.28/1775.40 c #Conflicts: 963000 | #Constraints: 142838
1771.28/1775.40 c #Conflicts: 964000 | #Constraints: 143838
1771.28/1775.40 c #Conflicts: 965000 | #Constraints: 144838
1771.28/1775.40 c #Conflicts: 966000 | #Constraints: 145838
1771.28/1775.40 c #Conflicts: 967000 | #Constraints: 146838
1771.28/1775.40 c #Conflicts: 968000 | #Constraints: 147838
1771.28/1775.40 c #Conflicts: 969000 | #Constraints: 148838
1771.28/1775.40 c #Conflicts: 970000 | #Constraints: 149838
1771.28/1775.40 c #Conflicts: 971000 | #Constraints: 150838
1771.28/1775.40 c #Conflicts: 972000 | #Constraints: 151838
1771.28/1775.40 c #Conflicts: 973000 | #Constraints: 152838
1771.28/1775.40 c #Conflicts: 974000 | #Constraints: 153838
1771.28/1775.40 c #Conflicts: 975000 | #Constraints: 154838
1908.77/1913.24 c #Conflicts: 976000 | #Constraints: 155838
1908.77/1913.24 c #Conflicts: 977000 | #Constraints: 156838
1908.77/1913.24 c #Conflicts: 978000 | #Constraints: 157838
1908.77/1913.24 c #Conflicts: 979000 | #Constraints: 158838
1908.77/1913.24 c #Conflicts: 980000 | #Constraints: 159838
1908.77/1913.24 c #Conflicts: 981000 | #Constraints: 160838
1908.77/1913.24 c INPROCESSING
1908.77/1913.24 c GARBAGE COLLECT
1908.77/1913.24 c #Conflicts: 982000 | #Constraints: 142239
1908.77/1913.24 c #Conflicts: 983000 | #Constraints: 143239
1908.77/1913.24 c #Conflicts: 984000 | #Constraints: 144239
1908.77/1913.24 c #Conflicts: 985000 | #Constraints: 145239
1908.77/1913.24 c #Conflicts: 986000 | #Constraints: 146239
1908.77/1913.24 c #Conflicts: 987000 | #Constraints: 147239
1908.77/1913.24 c #Conflicts: 988000 | #Constraints: 148239
1908.77/1913.24 c #Conflicts: 989000 | #Constraints: 149239
1908.77/1913.24 c #Conflicts: 990000 | #Constraints: 150239
1908.77/1913.24 c #Conflicts: 991000 | #Constraints: 151239
1908.77/1913.24 c #Conflicts: 992000 | #Constraints: 152239
1908.77/1913.24 c #Conflicts: 993000 | #Constraints: 153239
1908.77/1913.24 c #Conflicts: 994000 | #Constraints: 154239
1908.77/1913.24 c #Conflicts: 995000 | #Constraints: 155239
1908.77/1913.24 c #Conflicts: 996000 | #Constraints: 156239
1908.77/1913.24 c #Conflicts: 997000 | #Constraints: 157239
1908.77/1913.24 c #Conflicts: 998000 | #Constraints: 158239
1908.77/1913.24 c #Conflicts: 999000 | #Constraints: 159239
1908.77/1913.24 c #Conflicts: 1000000 | #Constraints: 160239
1908.77/1913.24 c #Conflicts: 1001000 | #Constraints: 161239
1908.77/1913.24 c INPROCESSING
1908.77/1913.24 c GARBAGE COLLECT
1908.77/1913.24 c #Conflicts: 1002000 | #Constraints: 142438
1908.77/1913.24 c #Conflicts: 1003000 | #Constraints: 143438
1908.77/1913.24 c #Conflicts: 1004000 | #Constraints: 144438
1908.77/1913.24 c #Conflicts: 1005000 | #Constraints: 145438
1908.77/1913.24 c #Conflicts: 1006000 | #Constraints: 146438
1908.77/1913.24 c #Conflicts: 1007000 | #Constraints: 147438
1908.77/1913.24 c #Conflicts: 1008000 | #Constraints: 148438
1908.77/1913.24 c #Conflicts: 1009000 | #Constraints: 149438
1908.77/1913.24 c #Conflicts: 1010000 | #Constraints: 150438
1908.77/1913.24 c #Conflicts: 1011000 | #Constraints: 151438
1908.77/1913.24 c #Conflicts: 1012000 | #Constraints: 152438
1908.77/1913.24 c #Conflicts: 1013000 | #Constraints: 153438
1908.77/1913.24 c #Conflicts: 1014000 | #Constraints: 154438
1908.77/1913.24 c #Conflicts: 1015000 | #Constraints: 155438
1908.77/1913.24 c #Conflicts: 1016000 | #Constraints: 156438
1908.77/1913.24 c #Conflicts: 1017000 | #Constraints: 157438
1908.77/1913.24 c #Conflicts: 1018000 | #Constraints: 158438
1908.77/1913.24 c #Conflicts: 1019000 | #Constraints: 159438
1908.77/1913.24 c #Conflicts: 1020000 | #Constraints: 160438
1908.77/1913.24 c #Conflicts: 1021000 | #Constraints: 161438
1908.77/1913.24 c INPROCESSING
1908.77/1913.24 c GARBAGE COLLECT
1908.77/1913.24 c #Conflicts: 1022000 | #Constraints: 142436
1908.77/1913.24 c #Conflicts: 1023000 | #Constraints: 143436
1908.77/1913.24 c #Conflicts: 1024000 | #Constraints: 144436
1908.77/1913.24 c #Conflicts: 1025000 | #Constraints: 145436
1908.77/1913.24 c #Conflicts: 1026000 | #Constraints: 146436
1908.77/1913.24 c #Conflicts: 1027000 | #Constraints: 147436
1908.77/1913.24 c #Conflicts: 1028000 | #Constraints: 148436
1908.77/1913.24 c #Conflicts: 1029000 | #Constraints: 149436
1908.77/1913.24 c #Conflicts: 1030000 | #Constraints: 150436
1908.77/1913.24 c #Conflicts: 1031000 | #Constraints: 151436
1908.77/1913.24 c #Conflicts: 1032000 | #Constraints: 152436
1908.77/1913.24 c #Conflicts: 1033000 | #Constraints: 153436
1908.77/1913.24 c #Conflicts: 1034000 | #Constraints: 154436
1908.77/1913.24 c #Conflicts: 1035000 | #Constraints: 155436
1908.77/1913.24 c #Conflicts: 1036000 | #Constraints: 156436
1908.77/1913.24 c #Conflicts: 1037000 | #Constraints: 157436
1908.77/1913.24 c #Conflicts: 1038000 | #Constraints: 158436
1908.77/1913.24 c #Conflicts: 1039000 | #Constraints: 159436
1908.77/1913.24 c #Conflicts: 1040000 | #Constraints: 160436
1908.77/1913.24 c #Conflicts: 1041000 | #Constraints: 161436
1908.77/1913.24 c INPROCESSING
1908.77/1913.24 c GARBAGE COLLECT
1908.77/1913.24 c #Conflicts: 1042000 | #Constraints: 142236
1908.77/1913.24 c #Conflicts: 1043000 | #Constraints: 143236
1908.77/1913.24 c #Conflicts: 1044000 | #Constraints: 144236
1908.77/1913.24 c #Conflicts: 1045000 | #Constraints: 145236
1908.77/1913.24 c #Conflicts: 1046000 | #Constraints: 146236
1908.77/1913.24 c #Conflicts: 1047000 | #Constraints: 147236
1908.77/1913.24 c #Conflicts: 1048000 | #Constraints: 148236
1908.77/1913.24 c #Conflicts: 1049000 | #Constraints: 149236
1908.77/1913.24 c #Conflicts: 1050000 | #Constraints: 150236
1908.77/1913.24 c #Conflicts: 1051000 | #Constraints: 151236
1908.77/1913.24 c #Conflicts: 1052000 | #Constraints: 152236
2045.85/2050.68 c #Conflicts: 1053000 | #Constraints: 153236
2045.85/2050.68 c #Conflicts: 1054000 | #Constraints: 154236
2045.85/2050.68 c #Conflicts: 1055000 | #Constraints: 155236
2045.85/2050.68 c #Conflicts: 1056000 | #Constraints: 156236
2045.85/2050.68 c #Conflicts: 1057000 | #Constraints: 157236
2045.85/2050.68 c #Conflicts: 1058000 | #Constraints: 158236
2045.85/2050.68 c #Conflicts: 1059000 | #Constraints: 159236
2045.85/2050.68 c #Conflicts: 1060000 | #Constraints: 160236
2045.85/2050.68 c #Conflicts: 1061000 | #Constraints: 161236
2045.85/2050.68 c #Conflicts: 1062000 | #Constraints: 162236
2045.85/2050.68 c INPROCESSING
2045.85/2050.68 c GARBAGE COLLECT
2045.85/2050.68 c #Conflicts: 1063000 | #Constraints: 142840
2045.85/2050.68 c #Conflicts: 1064000 | #Constraints: 143840
2045.85/2050.68 c #Conflicts: 1065000 | #Constraints: 144840
2045.85/2050.68 c #Conflicts: 1066000 | #Constraints: 145840
2045.85/2050.68 c #Conflicts: 1067000 | #Constraints: 146840
2045.85/2050.68 c #Conflicts: 1068000 | #Constraints: 147840
2045.85/2050.68 c #Conflicts: 1069000 | #Constraints: 148840
2045.85/2050.68 c #Conflicts: 1070000 | #Constraints: 149840
2045.85/2050.68 c #Conflicts: 1071000 | #Constraints: 150840
2045.85/2050.68 c #Conflicts: 1072000 | #Constraints: 151840
2045.85/2050.68 c #Conflicts: 1073000 | #Constraints: 152840
2045.85/2050.68 c #Conflicts: 1074000 | #Constraints: 153840
2045.85/2050.68 c #Conflicts: 1075000 | #Constraints: 154840
2045.85/2050.68 c #Conflicts: 1076000 | #Constraints: 155840
2045.85/2050.68 c #Conflicts: 1077000 | #Constraints: 156840
2045.85/2050.68 c #Conflicts: 1078000 | #Constraints: 157840
2045.85/2050.68 c #Conflicts: 1079000 | #Constraints: 158840
2045.85/2050.68 c #Conflicts: 1080000 | #Constraints: 159840
2045.85/2050.68 c #Conflicts: 1081000 | #Constraints: 160840
2045.85/2050.68 c #Conflicts: 1082000 | #Constraints: 161840
2045.85/2050.68 c #Conflicts: 1083000 | #Constraints: 162840
2045.85/2050.68 c INPROCESSING
2045.85/2050.68 c GARBAGE COLLECT
2045.85/2050.68 c #Conflicts: 1084000 | #Constraints: 143241
2045.85/2050.68 c #Conflicts: 1085000 | #Constraints: 144241
2045.85/2050.68 c #Conflicts: 1086000 | #Constraints: 145241
2045.85/2050.68 c #Conflicts: 1087000 | #Constraints: 146241
2045.85/2050.68 c #Conflicts: 1088000 | #Constraints: 147241
2045.85/2050.68 c #Conflicts: 1089000 | #Constraints: 148241
2045.85/2050.68 c #Conflicts: 1090000 | #Constraints: 149241
2045.85/2050.68 c #Conflicts: 1091000 | #Constraints: 150241
2045.85/2050.68 c #Conflicts: 1092000 | #Constraints: 151241
2045.85/2050.68 c #Conflicts: 1093000 | #Constraints: 152241
2045.85/2050.68 c #Conflicts: 1094000 | #Constraints: 153241
2045.85/2050.68 c #Conflicts: 1095000 | #Constraints: 154241
2045.85/2050.68 c #Conflicts: 1096000 | #Constraints: 155241
2045.85/2050.68 c #Conflicts: 1097000 | #Constraints: 156241
2045.85/2050.68 c #Conflicts: 1098000 | #Constraints: 157241
2045.85/2050.68 c #Conflicts: 1099000 | #Constraints: 158241
2045.85/2050.68 c #Conflicts: 1100000 | #Constraints: 159241
2045.85/2050.68 c #Conflicts: 1101000 | #Constraints: 160241
2045.85/2050.68 c #Conflicts: 1102000 | #Constraints: 161241
2045.85/2050.68 c #Conflicts: 1103000 | #Constraints: 162241
2045.85/2050.68 c #Conflicts: 1104000 | #Constraints: 163241
2045.85/2050.68 c INPROCESSING
2045.85/2050.68 c GARBAGE COLLECT
2045.85/2050.68 c #Conflicts: 1105000 | #Constraints: 143442
2045.85/2050.68 c #Conflicts: 1106000 | #Constraints: 144442
2045.85/2050.68 c #Conflicts: 1107000 | #Constraints: 145442
2045.85/2050.68 c #Conflicts: 1108000 | #Constraints: 146442
2045.85/2050.68 c #Conflicts: 1109000 | #Constraints: 147442
2045.85/2050.68 c #Conflicts: 1110000 | #Constraints: 148442
2045.85/2050.68 c #Conflicts: 1111000 | #Constraints: 149442
2045.85/2050.68 c #Conflicts: 1112000 | #Constraints: 150442
2045.85/2050.68 c #Conflicts: 1113000 | #Constraints: 151442
2045.85/2050.68 c #Conflicts: 1114000 | #Constraints: 152442
2045.85/2050.68 c #Conflicts: 1115000 | #Constraints: 153442
2045.85/2050.68 c #Conflicts: 1116000 | #Constraints: 154442
2045.85/2050.68 c #Conflicts: 1117000 | #Constraints: 155442
2045.85/2050.68 c #Conflicts: 1118000 | #Constraints: 156442
2045.85/2050.68 c #Conflicts: 1119000 | #Constraints: 157442
2045.85/2050.68 c #Conflicts: 1120000 | #Constraints: 158442
2045.85/2050.68 c #Conflicts: 1121000 | #Constraints: 159442
2045.85/2050.68 c #Conflicts: 1122000 | #Constraints: 160442
2045.85/2050.68 c #Conflicts: 1123000 | #Constraints: 161442
2045.85/2050.68 c #Conflicts: 1124000 | #Constraints: 162442
2045.85/2050.68 c #Conflicts: 1125000 | #Constraints: 163442
2045.85/2050.68 c INPROCESSING
2045.85/2050.68 c GARBAGE COLLECT
2045.85/2050.68 c #Conflicts: 1126000 | #Constraints: 143439
2045.85/2050.68 c #Conflicts: 1127000 | #Constraints: 144439
2045.85/2050.68 c #Conflicts: 1128000 | #Constraints: 145439
2182.64/2187.75 c #Conflicts: 1129000 | #Constraints: 146439
2182.64/2187.75 c #Conflicts: 1130000 | #Constraints: 147439
2182.64/2187.75 c #Conflicts: 1131000 | #Constraints: 148439
2182.64/2187.75 c #Conflicts: 1132000 | #Constraints: 149439
2182.64/2187.75 c #Conflicts: 1133000 | #Constraints: 150439
2182.64/2187.75 c #Conflicts: 1134000 | #Constraints: 151439
2182.64/2187.75 c #Conflicts: 1135000 | #Constraints: 152439
2182.64/2187.75 c #Conflicts: 1136000 | #Constraints: 153439
2182.64/2187.75 c #Conflicts: 1137000 | #Constraints: 154439
2182.64/2187.75 c #Conflicts: 1138000 | #Constraints: 155439
2182.64/2187.75 c #Conflicts: 1139000 | #Constraints: 156439
2182.64/2187.75 c #Conflicts: 1140000 | #Constraints: 157439
2182.64/2187.75 c #Conflicts: 1141000 | #Constraints: 158439
2182.64/2187.75 c #Conflicts: 1142000 | #Constraints: 159439
2182.64/2187.75 c #Conflicts: 1143000 | #Constraints: 160439
2182.64/2187.75 c #Conflicts: 1144000 | #Constraints: 161439
2182.64/2187.75 c #Conflicts: 1145000 | #Constraints: 162439
2182.64/2187.75 c #Conflicts: 1146000 | #Constraints: 163439
2182.64/2187.75 c INPROCESSING
2182.64/2187.75 c GARBAGE COLLECT
2182.64/2187.75 c #Conflicts: 1147000 | #Constraints: 143236
2182.64/2187.75 c #Conflicts: 1148000 | #Constraints: 144236
2182.64/2187.75 c #Conflicts: 1149000 | #Constraints: 145236
2182.64/2187.75 c #Conflicts: 1150000 | #Constraints: 146236
2182.64/2187.75 c #Conflicts: 1151000 | #Constraints: 147236
2182.64/2187.75 c #Conflicts: 1152000 | #Constraints: 148236
2182.64/2187.75 c #Conflicts: 1153000 | #Constraints: 149236
2182.64/2187.75 c #Conflicts: 1154000 | #Constraints: 150236
2182.64/2187.75 c #Conflicts: 1155000 | #Constraints: 151236
2182.64/2187.75 c #Conflicts: 1156000 | #Constraints: 152236
2182.64/2187.75 c #Conflicts: 1157000 | #Constraints: 153236
2182.64/2187.75 c #Conflicts: 1158000 | #Constraints: 154236
2182.64/2187.75 c #Conflicts: 1159000 | #Constraints: 155236
2182.64/2187.75 c #Conflicts: 1160000 | #Constraints: 156236
2182.64/2187.75 c #Conflicts: 1161000 | #Constraints: 157236
2182.64/2187.75 c #Conflicts: 1162000 | #Constraints: 158236
2182.64/2187.75 c #Conflicts: 1163000 | #Constraints: 159236
2182.64/2187.75 c #Conflicts: 1164000 | #Constraints: 160236
2182.64/2187.75 c #Conflicts: 1165000 | #Constraints: 161236
2182.64/2187.75 c #Conflicts: 1166000 | #Constraints: 162236
2182.64/2187.75 c #Conflicts: 1167000 | #Constraints: 163236
2182.64/2187.75 c #Conflicts: 1168000 | #Constraints: 164236
2182.64/2187.75 c INPROCESSING
2182.64/2187.75 c GARBAGE COLLECT
2182.64/2187.75 c #Conflicts: 1169000 | #Constraints: 143837
2182.64/2187.75 c #Conflicts: 1170000 | #Constraints: 144837
2182.64/2187.75 c #Conflicts: 1171000 | #Constraints: 145837
2182.64/2187.75 c #Conflicts: 1172000 | #Constraints: 146837
2182.64/2187.75 c #Conflicts: 1173000 | #Constraints: 147837
2182.64/2187.75 c #Conflicts: 1174000 | #Constraints: 148837
2182.64/2187.75 c #Conflicts: 1175000 | #Constraints: 149837
2182.64/2187.75 c #Conflicts: 1176000 | #Constraints: 150837
2182.64/2187.75 c #Conflicts: 1177000 | #Constraints: 151837
2182.64/2187.75 c #Conflicts: 1178000 | #Constraints: 152837
2182.64/2187.75 c #Conflicts: 1179000 | #Constraints: 153837
2182.64/2187.75 c #Conflicts: 1180000 | #Constraints: 154837
2182.64/2187.75 c #Conflicts: 1181000 | #Constraints: 155837
2182.64/2187.75 c #Conflicts: 1182000 | #Constraints: 156837
2182.64/2187.75 c #Conflicts: 1183000 | #Constraints: 157837
2182.64/2187.75 c #Conflicts: 1184000 | #Constraints: 158837
2182.64/2187.75 c #Conflicts: 1185000 | #Constraints: 159837
2182.64/2187.75 c #Conflicts: 1186000 | #Constraints: 160837
2182.64/2187.75 c #Conflicts: 1187000 | #Constraints: 161837
2182.64/2187.75 c #Conflicts: 1188000 | #Constraints: 162837
2182.64/2187.75 c #Conflicts: 1189000 | #Constraints: 163837
2182.64/2187.75 c #Conflicts: 1190000 | #Constraints: 164837
2182.64/2187.75 c INPROCESSING
2182.64/2187.75 c GARBAGE COLLECT
2182.64/2187.75 c #Conflicts: 1191000 | #Constraints: 144238
2182.64/2187.75 c #Conflicts: 1192000 | #Constraints: 145238
2182.64/2187.75 c #Conflicts: 1193000 | #Constraints: 146238
2182.64/2187.75 c #Conflicts: 1194000 | #Constraints: 147238
2182.64/2187.75 c #Conflicts: 1195000 | #Constraints: 148238
2182.64/2187.75 c #Conflicts: 1196000 | #Constraints: 149238
2182.64/2187.75 c #Conflicts: 1197000 | #Constraints: 150238
2182.64/2187.75 c #Conflicts: 1198000 | #Constraints: 151238
2182.64/2187.75 c #Conflicts: 1199000 | #Constraints: 152238
2182.64/2187.75 c #Conflicts: 1200000 | #Constraints: 153238
2182.64/2187.75 c #Conflicts: 1201000 | #Constraints: 154238
2182.64/2187.75 c #Conflicts: 1202000 | #Constraints: 155238
2182.64/2187.75 c #Conflicts: 1203000 | #Constraints: 156238
2182.64/2187.75 c #Conflicts: 1204000 | #Constraints: 157238
2182.64/2187.75 c #Conflicts: 1205000 | #Constraints: 158238
2323.51/2328.99 c #Conflicts: 1206000 | #Constraints: 159238
2323.51/2328.99 c #Conflicts: 1207000 | #Constraints: 160238
2323.51/2328.99 c #Conflicts: 1208000 | #Constraints: 161238
2323.51/2328.99 c #Conflicts: 1209000 | #Constraints: 162238
2323.51/2328.99 c #Conflicts: 1210000 | #Constraints: 163238
2323.51/2328.99 c #Conflicts: 1211000 | #Constraints: 164238
2323.51/2328.99 c #Conflicts: 1212000 | #Constraints: 165238
2323.51/2328.99 c INPROCESSING
2323.51/2328.99 c GARBAGE COLLECT
2323.51/2328.99 c #Conflicts: 1213000 | #Constraints: 144436
2323.51/2328.99 c #Conflicts: 1214000 | #Constraints: 145436
2323.51/2328.99 c #Conflicts: 1215000 | #Constraints: 146436
2323.51/2328.99 c #Conflicts: 1216000 | #Constraints: 147436
2323.51/2328.99 c #Conflicts: 1217000 | #Constraints: 148436
2323.51/2328.99 c #Conflicts: 1218000 | #Constraints: 149436
2323.51/2328.99 c #Conflicts: 1219000 | #Constraints: 150436
2323.51/2328.99 c #Conflicts: 1220000 | #Constraints: 151436
2323.51/2328.99 c #Conflicts: 1221000 | #Constraints: 152436
2323.51/2328.99 c #Conflicts: 1222000 | #Constraints: 153436
2323.51/2328.99 c #Conflicts: 1223000 | #Constraints: 154436
2323.51/2328.99 c #Conflicts: 1224000 | #Constraints: 155436
2323.51/2328.99 c #Conflicts: 1225000 | #Constraints: 156436
2323.51/2328.99 c #Conflicts: 1226000 | #Constraints: 157436
2323.51/2328.99 c #Conflicts: 1227000 | #Constraints: 158436
2323.51/2328.99 c #Conflicts: 1228000 | #Constraints: 159436
2323.51/2328.99 c #Conflicts: 1229000 | #Constraints: 160436
2323.51/2328.99 c #Conflicts: 1230000 | #Constraints: 161436
2323.51/2328.99 c #Conflicts: 1231000 | #Constraints: 162436
2323.51/2328.99 c #Conflicts: 1232000 | #Constraints: 163436
2323.51/2328.99 c #Conflicts: 1233000 | #Constraints: 164436
2323.51/2328.99 c #Conflicts: 1234000 | #Constraints: 165436
2323.51/2328.99 c INPROCESSING
2323.51/2328.99 c GARBAGE COLLECT
2323.51/2328.99 c #Conflicts: 1235000 | #Constraints: 144439
2323.51/2328.99 c #Conflicts: 1236000 | #Constraints: 145439
2323.51/2328.99 c #Conflicts: 1237000 | #Constraints: 146439
2323.51/2328.99 c #Conflicts: 1238000 | #Constraints: 147439
2323.51/2328.99 c #Conflicts: 1239000 | #Constraints: 148439
2323.51/2328.99 c #Conflicts: 1240000 | #Constraints: 149439
2323.51/2328.99 c #Conflicts: 1241000 | #Constraints: 150439
2323.51/2328.99 c #Conflicts: 1242000 | #Constraints: 151439
2323.51/2328.99 c #Conflicts: 1243000 | #Constraints: 152439
2323.51/2328.99 c #Conflicts: 1244000 | #Constraints: 153439
2323.51/2328.99 c #Conflicts: 1245000 | #Constraints: 154439
2323.51/2328.99 c #Conflicts: 1246000 | #Constraints: 155439
2323.51/2328.99 c #Conflicts: 1247000 | #Constraints: 156439
2323.51/2328.99 c #Conflicts: 1248000 | #Constraints: 157439
2323.51/2328.99 c #Conflicts: 1249000 | #Constraints: 158439
2323.51/2328.99 c #Conflicts: 1250000 | #Constraints: 159439
2323.51/2328.99 c #Conflicts: 1251000 | #Constraints: 160439
2323.51/2328.99 c #Conflicts: 1252000 | #Constraints: 161439
2323.51/2328.99 c #Conflicts: 1253000 | #Constraints: 162439
2323.51/2328.99 c #Conflicts: 1254000 | #Constraints: 163439
2323.51/2328.99 c #Conflicts: 1255000 | #Constraints: 164439
2323.51/2328.99 c #Conflicts: 1256000 | #Constraints: 165439
2323.51/2328.99 c INPROCESSING
2323.51/2328.99 c GARBAGE COLLECT
2323.51/2328.99 c #Conflicts: 1257000 | #Constraints: 144236
2323.51/2328.99 c #Conflicts: 1258000 | #Constraints: 145236
2323.51/2328.99 c #Conflicts: 1259000 | #Constraints: 146236
2323.51/2328.99 c #Conflicts: 1260000 | #Constraints: 147236
2323.51/2328.99 c #Conflicts: 1261000 | #Constraints: 148236
2323.51/2328.99 c #Conflicts: 1262000 | #Constraints: 149236
2323.51/2328.99 c #Conflicts: 1263000 | #Constraints: 150236
2323.51/2328.99 c #Conflicts: 1264000 | #Constraints: 151236
2323.51/2328.99 c #Conflicts: 1265000 | #Constraints: 152236
2323.51/2328.99 c #Conflicts: 1266000 | #Constraints: 153236
2323.51/2328.99 c #Conflicts: 1267000 | #Constraints: 154236
2323.51/2328.99 c #Conflicts: 1268000 | #Constraints: 155236
2323.51/2328.99 c #Conflicts: 1269000 | #Constraints: 156236
2323.51/2328.99 c #Conflicts: 1270000 | #Constraints: 157236
2323.51/2328.99 c #Conflicts: 1271000 | #Constraints: 158236
2323.51/2328.99 c #Conflicts: 1272000 | #Constraints: 159236
2323.51/2328.99 c #Conflicts: 1273000 | #Constraints: 160236
2323.51/2328.99 c #Conflicts: 1274000 | #Constraints: 161236
2323.51/2328.99 c #Conflicts: 1275000 | #Constraints: 162236
2323.51/2328.99 c #Conflicts: 1276000 | #Constraints: 163236
2323.51/2328.99 c #Conflicts: 1277000 | #Constraints: 164236
2323.51/2328.99 c #Conflicts: 1278000 | #Constraints: 165236
2323.51/2328.99 c #Conflicts: 1279000 | #Constraints: 166236
2323.51/2328.99 c INPROCESSING
2323.51/2328.99 c GARBAGE COLLECT
2323.51/2328.99 c #Conflicts: 1280000 | #Constraints: 144837
2323.51/2328.99 c #Conflicts: 1281000 | #Constraints: 145837
2462.09/2467.85 c #Conflicts: 1282000 | #Constraints: 146837
2462.09/2467.85 c #Conflicts: 1283000 | #Constraints: 147837
2462.09/2467.85 c #Conflicts: 1284000 | #Constraints: 148837
2462.09/2467.85 c #Conflicts: 1285000 | #Constraints: 149837
2462.09/2467.85 c #Conflicts: 1286000 | #Constraints: 150837
2462.09/2467.85 c #Conflicts: 1287000 | #Constraints: 151837
2462.09/2467.85 c #Conflicts: 1288000 | #Constraints: 152837
2462.09/2467.85 c #Conflicts: 1289000 | #Constraints: 153837
2462.09/2467.85 c #Conflicts: 1290000 | #Constraints: 154837
2462.09/2467.85 c #Conflicts: 1291000 | #Constraints: 155837
2462.09/2467.85 c #Conflicts: 1292000 | #Constraints: 156837
2462.09/2467.85 c #Conflicts: 1293000 | #Constraints: 157837
2462.09/2467.85 c #Conflicts: 1294000 | #Constraints: 158837
2462.09/2467.85 c #Conflicts: 1295000 | #Constraints: 159837
2462.09/2467.85 c #Conflicts: 1296000 | #Constraints: 160837
2462.09/2467.85 c #Conflicts: 1297000 | #Constraints: 161837
2462.09/2467.85 c #Conflicts: 1298000 | #Constraints: 162837
2462.09/2467.85 c #Conflicts: 1299000 | #Constraints: 163837
2462.09/2467.85 c #Conflicts: 1300000 | #Constraints: 164837
2462.09/2467.85 c #Conflicts: 1301000 | #Constraints: 165837
2462.09/2467.85 c #Conflicts: 1302000 | #Constraints: 166837
2462.09/2467.85 c INPROCESSING
2462.09/2467.85 c GARBAGE COLLECT
2462.09/2467.85 c #Conflicts: 1303000 | #Constraints: 145238
2462.09/2467.85 c #Conflicts: 1304000 | #Constraints: 146238
2462.09/2467.85 c #Conflicts: 1305000 | #Constraints: 147238
2462.09/2467.85 c #Conflicts: 1306000 | #Constraints: 148238
2462.09/2467.85 c #Conflicts: 1307000 | #Constraints: 149238
2462.09/2467.85 c #Conflicts: 1308000 | #Constraints: 150238
2462.09/2467.85 c #Conflicts: 1309000 | #Constraints: 151238
2462.09/2467.85 c #Conflicts: 1310000 | #Constraints: 152238
2462.09/2467.85 c #Conflicts: 1311000 | #Constraints: 153238
2462.09/2467.85 c #Conflicts: 1312000 | #Constraints: 154238
2462.09/2467.85 c #Conflicts: 1313000 | #Constraints: 155238
2462.09/2467.85 c #Conflicts: 1314000 | #Constraints: 156238
2462.09/2467.85 c #Conflicts: 1315000 | #Constraints: 157238
2462.09/2467.85 c #Conflicts: 1316000 | #Constraints: 158238
2462.09/2467.85 c #Conflicts: 1317000 | #Constraints: 159238
2462.09/2467.85 c #Conflicts: 1318000 | #Constraints: 160238
2462.09/2467.85 c #Conflicts: 1319000 | #Constraints: 161238
2462.09/2467.85 c #Conflicts: 1320000 | #Constraints: 162238
2462.09/2467.85 c #Conflicts: 1321000 | #Constraints: 163238
2462.09/2467.85 c #Conflicts: 1322000 | #Constraints: 164238
2462.09/2467.85 c #Conflicts: 1323000 | #Constraints: 165238
2462.09/2467.85 c #Conflicts: 1324000 | #Constraints: 166238
2462.09/2467.85 c #Conflicts: 1325000 | #Constraints: 167238
2462.09/2467.85 c INPROCESSING
2462.09/2467.85 c GARBAGE COLLECT
2462.09/2467.85 c #Conflicts: 1326000 | #Constraints: 145437
2462.09/2467.85 c #Conflicts: 1327000 | #Constraints: 146437
2462.09/2467.85 c #Conflicts: 1328000 | #Constraints: 147437
2462.09/2467.85 c #Conflicts: 1329000 | #Constraints: 148437
2462.09/2467.85 c #Conflicts: 1330000 | #Constraints: 149437
2462.09/2467.85 c #Conflicts: 1331000 | #Constraints: 150437
2462.09/2467.85 c #Conflicts: 1332000 | #Constraints: 151437
2462.09/2467.85 c #Conflicts: 1333000 | #Constraints: 152437
2462.09/2467.85 c #Conflicts: 1334000 | #Constraints: 153437
2462.09/2467.85 c #Conflicts: 1335000 | #Constraints: 154437
2462.09/2467.85 c #Conflicts: 1336000 | #Constraints: 155437
2462.09/2467.85 c #Conflicts: 1337000 | #Constraints: 156437
2462.09/2467.85 c #Conflicts: 1338000 | #Constraints: 157437
2462.09/2467.85 c #Conflicts: 1339000 | #Constraints: 158437
2462.09/2467.85 c #Conflicts: 1340000 | #Constraints: 159437
2462.09/2467.85 c #Conflicts: 1341000 | #Constraints: 160437
2462.09/2467.85 c #Conflicts: 1342000 | #Constraints: 161437
2462.09/2467.85 c #Conflicts: 1343000 | #Constraints: 162437
2462.09/2467.85 c #Conflicts: 1344000 | #Constraints: 163437
2462.09/2467.85 c #Conflicts: 1345000 | #Constraints: 164437
2462.09/2467.85 c #Conflicts: 1346000 | #Constraints: 165437
2462.09/2467.85 c #Conflicts: 1347000 | #Constraints: 166437
2462.09/2467.85 c #Conflicts: 1348000 | #Constraints: 167437
2462.09/2467.85 c INPROCESSING
2462.09/2467.85 c GARBAGE COLLECT
2462.09/2467.85 c #Conflicts: 1349000 | #Constraints: 145440
2462.09/2467.85 c #Conflicts: 1350000 | #Constraints: 146440
2462.09/2467.85 c #Conflicts: 1351000 | #Constraints: 147440
2462.09/2467.85 c #Conflicts: 1352000 | #Constraints: 148440
2462.09/2467.85 c #Conflicts: 1353000 | #Constraints: 149440
2462.09/2467.85 c #Conflicts: 1354000 | #Constraints: 150440
2462.09/2467.85 c #Conflicts: 1355000 | #Constraints: 151440
2462.09/2467.85 c #Conflicts: 1356000 | #Constraints: 152440
2462.09/2467.85 c #Conflicts: 1357000 | #Constraints: 153440
2462.09/2467.85 c #Conflicts: 1358000 | #Constraints: 154440
2607.25/2613.33 c #Conflicts: 1359000 | #Constraints: 155440
2607.25/2613.33 c #Conflicts: 1360000 | #Constraints: 156440
2607.25/2613.33 c #Conflicts: 1361000 | #Constraints: 157440
2607.25/2613.33 c #Conflicts: 1362000 | #Constraints: 158440
2607.25/2613.33 c #Conflicts: 1363000 | #Constraints: 159440
2607.25/2613.33 c #Conflicts: 1364000 | #Constraints: 160440
2607.25/2613.33 c #Conflicts: 1365000 | #Constraints: 161440
2607.25/2613.33 c #Conflicts: 1366000 | #Constraints: 162440
2607.25/2613.33 c #Conflicts: 1367000 | #Constraints: 163440
2607.25/2613.33 c #Conflicts: 1368000 | #Constraints: 164440
2607.25/2613.33 c #Conflicts: 1369000 | #Constraints: 165440
2607.25/2613.33 c #Conflicts: 1370000 | #Constraints: 166440
2607.25/2613.33 c #Conflicts: 1371000 | #Constraints: 167440
2607.25/2613.33 c INPROCESSING
2607.25/2613.33 c GARBAGE COLLECT
2607.25/2613.33 c #Conflicts: 1372000 | #Constraints: 145236
2607.25/2613.33 c #Conflicts: 1373000 | #Constraints: 146236
2607.25/2613.33 c #Conflicts: 1374000 | #Constraints: 147236
2607.25/2613.33 c #Conflicts: 1375000 | #Constraints: 148236
2607.25/2613.33 c #Conflicts: 1376000 | #Constraints: 149236
2607.25/2613.33 c #Conflicts: 1377000 | #Constraints: 150236
2607.25/2613.33 c #Conflicts: 1378000 | #Constraints: 151236
2607.25/2613.33 c #Conflicts: 1379000 | #Constraints: 152236
2607.25/2613.33 c #Conflicts: 1380000 | #Constraints: 153236
2607.25/2613.33 c #Conflicts: 1381000 | #Constraints: 154236
2607.25/2613.33 c #Conflicts: 1382000 | #Constraints: 155236
2607.25/2613.33 c #Conflicts: 1383000 | #Constraints: 156236
2607.25/2613.33 c #Conflicts: 1384000 | #Constraints: 157236
2607.25/2613.33 c #Conflicts: 1385000 | #Constraints: 158236
2607.25/2613.33 c #Conflicts: 1386000 | #Constraints: 159236
2607.25/2613.33 c #Conflicts: 1387000 | #Constraints: 160236
2607.25/2613.33 c #Conflicts: 1388000 | #Constraints: 161236
2607.25/2613.33 c #Conflicts: 1389000 | #Constraints: 162236
2607.25/2613.33 c #Conflicts: 1390000 | #Constraints: 163236
2607.25/2613.33 c #Conflicts: 1391000 | #Constraints: 164236
2607.25/2613.33 c #Conflicts: 1392000 | #Constraints: 165236
2607.25/2613.33 c #Conflicts: 1393000 | #Constraints: 166236
2607.25/2613.33 c #Conflicts: 1394000 | #Constraints: 167236
2607.25/2613.33 c #Conflicts: 1395000 | #Constraints: 168236
2607.25/2613.33 c INPROCESSING
2607.25/2613.33 c GARBAGE COLLECT
2607.25/2613.33 c #Conflicts: 1396000 | #Constraints: 145838
2607.25/2613.33 c #Conflicts: 1397000 | #Constraints: 146838
2607.25/2613.33 c #Conflicts: 1398000 | #Constraints: 147838
2607.25/2613.33 c #Conflicts: 1399000 | #Constraints: 148838
2607.25/2613.33 c #Conflicts: 1400000 | #Constraints: 149838
2607.25/2613.33 c #Conflicts: 1401000 | #Constraints: 150838
2607.25/2613.33 c #Conflicts: 1402000 | #Constraints: 151838
2607.25/2613.33 c #Conflicts: 1403000 | #Constraints: 152838
2607.25/2613.33 c #Conflicts: 1404000 | #Constraints: 153838
2607.25/2613.33 c #Conflicts: 1405000 | #Constraints: 154838
2607.25/2613.33 c #Conflicts: 1406000 | #Constraints: 155838
2607.25/2613.33 c #Conflicts: 1407000 | #Constraints: 156838
2607.25/2613.33 c #Conflicts: 1408000 | #Constraints: 157838
2607.25/2613.33 c #Conflicts: 1409000 | #Constraints: 158838
2607.25/2613.33 c #Conflicts: 1410000 | #Constraints: 159838
2607.25/2613.33 c #Conflicts: 1411000 | #Constraints: 160838
2607.25/2613.33 c #Conflicts: 1412000 | #Constraints: 161838
2607.25/2613.33 c #Conflicts: 1413000 | #Constraints: 162838
2607.25/2613.33 c #Conflicts: 1414000 | #Constraints: 163838
2607.25/2613.33 c #Conflicts: 1415000 | #Constraints: 164838
2607.25/2613.33 c #Conflicts: 1416000 | #Constraints: 165838
2607.25/2613.33 c #Conflicts: 1417000 | #Constraints: 166838
2607.25/2613.33 c #Conflicts: 1418000 | #Constraints: 167838
2607.25/2613.33 c #Conflicts: 1419000 | #Constraints: 168838
2607.25/2613.33 c INPROCESSING
2607.25/2613.33 c GARBAGE COLLECT
2607.25/2613.33 c #Conflicts: 1420000 | #Constraints: 146239
2607.25/2613.33 c #Conflicts: 1421000 | #Constraints: 147239
2607.25/2613.33 c #Conflicts: 1422000 | #Constraints: 148239
2607.25/2613.33 c #Conflicts: 1423000 | #Constraints: 149239
2607.25/2613.33 c #Conflicts: 1424000 | #Constraints: 150239
2607.25/2613.33 c #Conflicts: 1425000 | #Constraints: 151239
2607.25/2613.33 c #Conflicts: 1426000 | #Constraints: 152239
2607.25/2613.33 c #Conflicts: 1427000 | #Constraints: 153239
2607.25/2613.33 c #Conflicts: 1428000 | #Constraints: 154239
2607.25/2613.33 c #Conflicts: 1429000 | #Constraints: 155239
2607.25/2613.33 c #Conflicts: 1430000 | #Constraints: 156239
2607.25/2613.33 c #Conflicts: 1431000 | #Constraints: 157239
2607.25/2613.33 c #Conflicts: 1432000 | #Constraints: 158239
2607.25/2613.33 c #Conflicts: 1433000 | #Constraints: 159239
2607.25/2613.33 c #Conflicts: 1434000 | #Constraints: 160239
2607.25/2613.33 c #Conflicts: 1435000 | #Constraints: 161239
2749.81/2756.21 c #Conflicts: 1436000 | #Constraints: 162239
2749.81/2756.21 c #Conflicts: 1437000 | #Constraints: 163239
2749.81/2756.21 c #Conflicts: 1438000 | #Constraints: 164239
2749.81/2756.21 c #Conflicts: 1439000 | #Constraints: 165239
2749.81/2756.21 c #Conflicts: 1440000 | #Constraints: 166239
2749.81/2756.21 c #Conflicts: 1441000 | #Constraints: 167239
2749.81/2756.21 c #Conflicts: 1442000 | #Constraints: 168239
2749.81/2756.21 c #Conflicts: 1443000 | #Constraints: 169239
2749.81/2756.21 c INPROCESSING
2749.81/2756.21 c GARBAGE COLLECT
2749.81/2756.21 c #Conflicts: 1444000 | #Constraints: 146435
2749.81/2756.21 c #Conflicts: 1445000 | #Constraints: 147435
2749.81/2756.21 c #Conflicts: 1446000 | #Constraints: 148435
2749.81/2756.21 c #Conflicts: 1447000 | #Constraints: 149435
2749.81/2756.21 c #Conflicts: 1448000 | #Constraints: 150435
2749.81/2756.21 c #Conflicts: 1449000 | #Constraints: 151435
2749.81/2756.21 c #Conflicts: 1450000 | #Constraints: 152435
2749.81/2756.21 c #Conflicts: 1451000 | #Constraints: 153435
2749.81/2756.21 c #Conflicts: 1452000 | #Constraints: 154435
2749.81/2756.21 c #Conflicts: 1453000 | #Constraints: 155435
2749.81/2756.21 c #Conflicts: 1454000 | #Constraints: 156435
2749.81/2756.21 c #Conflicts: 1455000 | #Constraints: 157435
2749.81/2756.21 c #Conflicts: 1456000 | #Constraints: 158435
2749.81/2756.21 c #Conflicts: 1457000 | #Constraints: 159435
2749.81/2756.21 c #Conflicts: 1458000 | #Constraints: 160435
2749.81/2756.21 c #Conflicts: 1459000 | #Constraints: 161435
2749.81/2756.21 c #Conflicts: 1460000 | #Constraints: 162435
2749.81/2756.21 c #Conflicts: 1461000 | #Constraints: 163435
2749.81/2756.21 c #Conflicts: 1462000 | #Constraints: 164435
2749.81/2756.21 c #Conflicts: 1463000 | #Constraints: 165435
2749.81/2756.21 c #Conflicts: 1464000 | #Constraints: 166435
2749.81/2756.21 c #Conflicts: 1465000 | #Constraints: 167435
2749.81/2756.21 c #Conflicts: 1466000 | #Constraints: 168435
2749.81/2756.21 c #Conflicts: 1467000 | #Constraints: 169435
2749.81/2756.21 c INPROCESSING
2749.81/2756.21 c GARBAGE COLLECT
2749.81/2756.21 c #Conflicts: 1468000 | #Constraints: 146430
2749.81/2756.21 c #Conflicts: 1469000 | #Constraints: 147430
2749.81/2756.21 c #Conflicts: 1470000 | #Constraints: 148430
2749.81/2756.21 c #Conflicts: 1471000 | #Constraints: 149430
2749.81/2756.21 c #Conflicts: 1472000 | #Constraints: 150430
2749.81/2756.21 c #Conflicts: 1473000 | #Constraints: 151430
2749.81/2756.21 c #Conflicts: 1474000 | #Constraints: 152430
2749.81/2756.21 c #Conflicts: 1475000 | #Constraints: 153430
2749.81/2756.21 c #Conflicts: 1476000 | #Constraints: 154430
2749.81/2756.21 c #Conflicts: 1477000 | #Constraints: 155430
2749.81/2756.21 c #Conflicts: 1478000 | #Constraints: 156430
2749.81/2756.21 c #Conflicts: 1479000 | #Constraints: 157430
2749.81/2756.21 c #Conflicts: 1480000 | #Constraints: 158430
2749.81/2756.21 c #Conflicts: 1481000 | #Constraints: 159430
2749.81/2756.21 c #Conflicts: 1482000 | #Constraints: 160430
2749.81/2756.21 c #Conflicts: 1483000 | #Constraints: 161430
2749.81/2756.21 c #Conflicts: 1484000 | #Constraints: 162430
2749.81/2756.21 c #Conflicts: 1485000 | #Constraints: 163430
2749.81/2756.21 c #Conflicts: 1486000 | #Constraints: 164430
2749.81/2756.21 c #Conflicts: 1487000 | #Constraints: 165430
2749.81/2756.21 c #Conflicts: 1488000 | #Constraints: 166430
2749.81/2756.21 c #Conflicts: 1489000 | #Constraints: 167430
2749.81/2756.21 c #Conflicts: 1490000 | #Constraints: 168430
2749.81/2756.21 c #Conflicts: 1491000 | #Constraints: 169430
2749.81/2756.21 c INPROCESSING
2749.81/2756.21 c GARBAGE COLLECT
2749.81/2756.21 c #Conflicts: 1492000 | #Constraints: 146230
2749.81/2756.21 c #Conflicts: 1493000 | #Constraints: 147230
2749.81/2756.21 c #Conflicts: 1494000 | #Constraints: 148230
2749.81/2756.21 c #Conflicts: 1495000 | #Constraints: 149230
2749.81/2756.21 c #Conflicts: 1496000 | #Constraints: 150230
2749.81/2756.21 c #Conflicts: 1497000 | #Constraints: 151230
2749.81/2756.21 c #Conflicts: 1498000 | #Constraints: 152230
2749.81/2756.21 c #Conflicts: 1499000 | #Constraints: 153230
2749.81/2756.21 c #Conflicts: 1500000 | #Constraints: 154230
2749.81/2756.21 c #Conflicts: 1501000 | #Constraints: 155230
2749.81/2756.21 c #Conflicts: 1502000 | #Constraints: 156230
2749.81/2756.21 c #Conflicts: 1503000 | #Constraints: 157230
2749.81/2756.21 c #Conflicts: 1504000 | #Constraints: 158230
2749.81/2756.21 c #Conflicts: 1505000 | #Constraints: 159230
2749.81/2756.21 c #Conflicts: 1506000 | #Constraints: 160230
2749.81/2756.21 c #Conflicts: 1507000 | #Constraints: 161230
2749.81/2756.21 c #Conflicts: 1508000 | #Constraints: 162230
2749.81/2756.21 c #Conflicts: 1509000 | #Constraints: 163230
2749.81/2756.21 c #Conflicts: 1510000 | #Constraints: 164230
2749.81/2756.21 c #Conflicts: 1511000 | #Constraints: 165230
2903.74/2910.50 c #Conflicts: 1512000 | #Constraints: 166230
2903.74/2910.50 c #Conflicts: 1513000 | #Constraints: 167230
2903.74/2910.50 c #Conflicts: 1514000 | #Constraints: 168230
2903.74/2910.50 c #Conflicts: 1515000 | #Constraints: 169230
2903.74/2910.50 c #Conflicts: 1516000 | #Constraints: 170230
2903.74/2910.50 c INPROCESSING
2903.74/2910.50 c GARBAGE COLLECT
2903.74/2910.50 c #Conflicts: 1517000 | #Constraints: 146832
2903.74/2910.50 c #Conflicts: 1518000 | #Constraints: 147832
2903.74/2910.50 c #Conflicts: 1519000 | #Constraints: 148832
2903.74/2910.50 c #Conflicts: 1520000 | #Constraints: 149832
2903.74/2910.50 c #Conflicts: 1521000 | #Constraints: 150832
2903.74/2910.50 c #Conflicts: 1522000 | #Constraints: 151832
2903.74/2910.50 c #Conflicts: 1523000 | #Constraints: 152832
2903.74/2910.50 c #Conflicts: 1524000 | #Constraints: 153832
2903.74/2910.50 c #Conflicts: 1525000 | #Constraints: 154832
2903.74/2910.50 c #Conflicts: 1526000 | #Constraints: 155832
2903.74/2910.50 c #Conflicts: 1527000 | #Constraints: 156832
2903.74/2910.50 c #Conflicts: 1528000 | #Constraints: 157832
2903.74/2910.50 c #Conflicts: 1529000 | #Constraints: 158832
2903.74/2910.50 c #Conflicts: 1530000 | #Constraints: 159832
2903.74/2910.50 c #Conflicts: 1531000 | #Constraints: 160832
2903.74/2910.50 c #Conflicts: 1532000 | #Constraints: 161832
2903.74/2910.50 c #Conflicts: 1533000 | #Constraints: 162832
2903.74/2910.50 c #Conflicts: 1534000 | #Constraints: 163832
2903.74/2910.50 c #Conflicts: 1535000 | #Constraints: 164832
2903.74/2910.50 c #Conflicts: 1536000 | #Constraints: 165832
2903.74/2910.50 c #Conflicts: 1537000 | #Constraints: 166832
2903.74/2910.50 c #Conflicts: 1538000 | #Constraints: 167832
2903.74/2910.50 c #Conflicts: 1539000 | #Constraints: 168832
2903.74/2910.50 c #Conflicts: 1540000 | #Constraints: 169832
2903.74/2910.50 c #Conflicts: 1541000 | #Constraints: 170832
2903.74/2910.50 c INPROCESSING
2903.74/2910.50 c GARBAGE COLLECT
2903.74/2910.50 c #Conflicts: 1542000 | #Constraints: 147233
2903.74/2910.50 c #Conflicts: 1543000 | #Constraints: 148233
2903.74/2910.50 c #Conflicts: 1544000 | #Constraints: 149233
2903.74/2910.50 c #Conflicts: 1545000 | #Constraints: 150233
2903.74/2910.50 c #Conflicts: 1546000 | #Constraints: 151233
2903.74/2910.50 c #Conflicts: 1547000 | #Constraints: 152233
2903.74/2910.50 c #Conflicts: 1548000 | #Constraints: 153233
2903.74/2910.50 c #Conflicts: 1549000 | #Constraints: 154233
2903.74/2910.50 c #Conflicts: 1550000 | #Constraints: 155233
2903.74/2910.50 c #Conflicts: 1551000 | #Constraints: 156233
2903.74/2910.50 c #Conflicts: 1552000 | #Constraints: 157233
2903.74/2910.50 c #Conflicts: 1553000 | #Constraints: 158233
2903.74/2910.50 c #Conflicts: 1554000 | #Constraints: 159233
2903.74/2910.50 c #Conflicts: 1555000 | #Constraints: 160233
2903.74/2910.50 c #Conflicts: 1556000 | #Constraints: 161233
2903.74/2910.50 c #Conflicts: 1557000 | #Constraints: 162233
2903.74/2910.50 c #Conflicts: 1558000 | #Constraints: 163233
2903.74/2910.50 c #Conflicts: 1559000 | #Constraints: 164233
2903.74/2910.50 c #Conflicts: 1560000 | #Constraints: 165233
2903.74/2910.50 c #Conflicts: 1561000 | #Constraints: 166233
2903.74/2910.50 c #Conflicts: 1562000 | #Constraints: 167233
2903.74/2910.50 c #Conflicts: 1563000 | #Constraints: 168233
2903.74/2910.50 c #Conflicts: 1564000 | #Constraints: 169233
2903.74/2910.50 c #Conflicts: 1565000 | #Constraints: 170233
2903.74/2910.50 c #Conflicts: 1566000 | #Constraints: 171233
2903.74/2910.50 c INPROCESSING
2903.74/2910.50 c GARBAGE COLLECT
2903.74/2910.50 c #Conflicts: 1567000 | #Constraints: 147430
2903.74/2910.50 c #Conflicts: 1568000 | #Constraints: 148430
2903.74/2910.50 c #Conflicts: 1569000 | #Constraints: 149430
2903.74/2910.50 c #Conflicts: 1570000 | #Constraints: 150430
2903.74/2910.50 c #Conflicts: 1571000 | #Constraints: 151430
2903.74/2910.50 c #Conflicts: 1572000 | #Constraints: 152430
2903.74/2910.50 c #Conflicts: 1573000 | #Constraints: 153430
2903.74/2910.50 c #Conflicts: 1574000 | #Constraints: 154430
2903.74/2910.50 c #Conflicts: 1575000 | #Constraints: 155430
2903.74/2910.50 c #Conflicts: 1576000 | #Constraints: 156430
2903.74/2910.50 c #Conflicts: 1577000 | #Constraints: 157430
2903.74/2910.50 c #Conflicts: 1578000 | #Constraints: 158430
2903.74/2910.50 c #Conflicts: 1579000 | #Constraints: 159430
2903.74/2910.50 c #Conflicts: 1580000 | #Constraints: 160430
2903.74/2910.50 c #Conflicts: 1581000 | #Constraints: 161430
2903.74/2910.50 c #Conflicts: 1582000 | #Constraints: 162430
2903.74/2910.50 c #Conflicts: 1583000 | #Constraints: 163430
2903.74/2910.50 c #Conflicts: 1584000 | #Constraints: 164430
2903.74/2910.50 c #Conflicts: 1585000 | #Constraints: 165430
2903.74/2910.50 c #Conflicts: 1586000 | #Constraints: 166430
2903.74/2910.50 c #Conflicts: 1587000 | #Constraints: 167430
2903.74/2910.50 c #Conflicts: 1588000 | #Constraints: 168430
3043.11/3050.27 c #Conflicts: 1589000 | #Constraints: 169430
3043.11/3050.27 c #Conflicts: 1590000 | #Constraints: 170430
3043.11/3050.27 c #Conflicts: 1591000 | #Constraints: 171430
3043.11/3050.27 c INPROCESSING
3043.11/3050.27 c GARBAGE COLLECT
3043.11/3050.27 c #Conflicts: 1592000 | #Constraints: 147434
3043.11/3050.27 c #Conflicts: 1593000 | #Constraints: 148434
3043.11/3050.27 c #Conflicts: 1594000 | #Constraints: 149434
3043.11/3050.27 c #Conflicts: 1595000 | #Constraints: 150434
3043.11/3050.27 c #Conflicts: 1596000 | #Constraints: 151434
3043.11/3050.27 c #Conflicts: 1597000 | #Constraints: 152434
3043.11/3050.27 c #Conflicts: 1598000 | #Constraints: 153434
3043.11/3050.27 c #Conflicts: 1599000 | #Constraints: 154434
3043.11/3050.27 c #Conflicts: 1600000 | #Constraints: 155434
3043.11/3050.27 c #Conflicts: 1601000 | #Constraints: 156434
3043.11/3050.27 c #Conflicts: 1602000 | #Constraints: 157434
3043.11/3050.27 c #Conflicts: 1603000 | #Constraints: 158434
3043.11/3050.27 c #Conflicts: 1604000 | #Constraints: 159434
3043.11/3050.27 c #Conflicts: 1605000 | #Constraints: 160434
3043.11/3050.27 c #Conflicts: 1606000 | #Constraints: 161434
3043.11/3050.27 c #Conflicts: 1607000 | #Constraints: 162434
3043.11/3050.27 c #Conflicts: 1608000 | #Constraints: 163434
3043.11/3050.27 c #Conflicts: 1609000 | #Constraints: 164434
3043.11/3050.27 c #Conflicts: 1610000 | #Constraints: 165434
3043.11/3050.27 c #Conflicts: 1611000 | #Constraints: 166434
3043.11/3050.27 c #Conflicts: 1612000 | #Constraints: 167434
3043.11/3050.27 c #Conflicts: 1613000 | #Constraints: 168434
3043.11/3050.27 c #Conflicts: 1614000 | #Constraints: 169434
3043.11/3050.27 c #Conflicts: 1615000 | #Constraints: 170434
3043.11/3050.27 c #Conflicts: 1616000 | #Constraints: 171434
3043.11/3050.27 c INPROCESSING
3043.11/3050.27 c GARBAGE COLLECT
3043.11/3050.27 c #Conflicts: 1617000 | #Constraints: 147242
3043.11/3050.27 c #Conflicts: 1618000 | #Constraints: 148242
3043.11/3050.27 c #Conflicts: 1619000 | #Constraints: 149242
3043.11/3050.27 c #Conflicts: 1620000 | #Constraints: 150242
3043.11/3050.27 c #Conflicts: 1621000 | #Constraints: 151242
3043.11/3050.27 c #Conflicts: 1622000 | #Constraints: 152242
3043.11/3050.27 c #Conflicts: 1623000 | #Constraints: 153242
3043.11/3050.27 c #Conflicts: 1624000 | #Constraints: 154242
3043.11/3050.27 c #Conflicts: 1625000 | #Constraints: 155242
3043.11/3050.27 c #Conflicts: 1626000 | #Constraints: 156242
3043.11/3050.27 c #Conflicts: 1627000 | #Constraints: 157242
3043.11/3050.27 c #Conflicts: 1628000 | #Constraints: 158242
3043.11/3050.27 c #Conflicts: 1629000 | #Constraints: 159242
3043.11/3050.27 c #Conflicts: 1630000 | #Constraints: 160242
3043.11/3050.27 c #Conflicts: 1631000 | #Constraints: 161242
3043.11/3050.27 c #Conflicts: 1632000 | #Constraints: 162242
3043.11/3050.27 c #Conflicts: 1633000 | #Constraints: 163242
3043.11/3050.27 c #Conflicts: 1634000 | #Constraints: 164242
3043.11/3050.27 c #Conflicts: 1635000 | #Constraints: 165242
3043.11/3050.27 c #Conflicts: 1636000 | #Constraints: 166242
3043.11/3050.27 c #Conflicts: 1637000 | #Constraints: 167242
3043.11/3050.27 c #Conflicts: 1638000 | #Constraints: 168242
3043.11/3050.27 c #Conflicts: 1639000 | #Constraints: 169242
3043.11/3050.27 c #Conflicts: 1640000 | #Constraints: 170242
3043.11/3050.27 c #Conflicts: 1641000 | #Constraints: 171242
3043.11/3050.27 c #Conflicts: 1642000 | #Constraints: 172242
3043.11/3050.27 c INPROCESSING
3043.11/3050.27 c GARBAGE COLLECT
3043.11/3050.27 c #Conflicts: 1643000 | #Constraints: 147835
3043.11/3050.27 c #Conflicts: 1644000 | #Constraints: 148835
3043.11/3050.27 c #Conflicts: 1645000 | #Constraints: 149835
3043.11/3050.27 c #Conflicts: 1646000 | #Constraints: 150835
3043.11/3050.27 c #Conflicts: 1647000 | #Constraints: 151835
3043.11/3050.27 c #Conflicts: 1648000 | #Constraints: 152835
3043.11/3050.27 c #Conflicts: 1649000 | #Constraints: 153835
3043.11/3050.27 c #Conflicts: 1650000 | #Constraints: 154835
3043.11/3050.27 c #Conflicts: 1651000 | #Constraints: 155835
3043.11/3050.27 c #Conflicts: 1652000 | #Constraints: 156835
3043.11/3050.27 c #Conflicts: 1653000 | #Constraints: 157835
3043.11/3050.27 c #Conflicts: 1654000 | #Constraints: 158835
3043.11/3050.27 c #Conflicts: 1655000 | #Constraints: 159835
3043.11/3050.27 c #Conflicts: 1656000 | #Constraints: 160835
3043.11/3050.27 c #Conflicts: 1657000 | #Constraints: 161835
3043.11/3050.27 c #Conflicts: 1658000 | #Constraints: 162835
3043.11/3050.27 c #Conflicts: 1659000 | #Constraints: 163835
3043.11/3050.27 c #Conflicts: 1660000 | #Constraints: 164835
3043.11/3050.27 c #Conflicts: 1661000 | #Constraints: 165835
3043.11/3050.27 c #Conflicts: 1662000 | #Constraints: 166835
3043.11/3050.27 c #Conflicts: 1663000 | #Constraints: 167835
3043.11/3050.27 c #Conflicts: 1664000 | #Constraints: 168835
3043.11/3050.27 c #Conflicts: 1665000 | #Constraints: 169835
3183.79/3191.29 c #Conflicts: 1666000 | #Constraints: 170835
3183.79/3191.29 c #Conflicts: 1667000 | #Constraints: 171835
3183.79/3191.29 c #Conflicts: 1668000 | #Constraints: 172835
3183.79/3191.29 c INPROCESSING
3183.79/3191.29 c GARBAGE COLLECT
3183.79/3191.29 c #Conflicts: 1669000 | #Constraints: 148236
3183.79/3191.29 c #Conflicts: 1670000 | #Constraints: 149236
3183.79/3191.29 c #Conflicts: 1671000 | #Constraints: 150236
3183.79/3191.29 c #Conflicts: 1672000 | #Constraints: 151236
3183.79/3191.29 c #Conflicts: 1673000 | #Constraints: 152236
3183.79/3191.29 c #Conflicts: 1674000 | #Constraints: 153236
3183.79/3191.29 c #Conflicts: 1675000 | #Constraints: 154236
3183.79/3191.29 c #Conflicts: 1676000 | #Constraints: 155236
3183.79/3191.29 c #Conflicts: 1677000 | #Constraints: 156236
3183.79/3191.29 c #Conflicts: 1678000 | #Constraints: 157236
3183.79/3191.29 c #Conflicts: 1679000 | #Constraints: 158236
3183.79/3191.29 c #Conflicts: 1680000 | #Constraints: 159236
3183.79/3191.29 c #Conflicts: 1681000 | #Constraints: 160236
3183.79/3191.29 c #Conflicts: 1682000 | #Constraints: 161236
3183.79/3191.29 c #Conflicts: 1683000 | #Constraints: 162236
3183.79/3191.29 c #Conflicts: 1684000 | #Constraints: 163236
3183.79/3191.29 c #Conflicts: 1685000 | #Constraints: 164236
3183.79/3191.29 c #Conflicts: 1686000 | #Constraints: 165236
3183.79/3191.29 c #Conflicts: 1687000 | #Constraints: 166236
3183.79/3191.29 c #Conflicts: 1688000 | #Constraints: 167236
3183.79/3191.29 c #Conflicts: 1689000 | #Constraints: 168236
3183.79/3191.29 c #Conflicts: 1690000 | #Constraints: 169236
3183.79/3191.29 c #Conflicts: 1691000 | #Constraints: 170236
3183.79/3191.29 c #Conflicts: 1692000 | #Constraints: 171236
3183.79/3191.29 c #Conflicts: 1693000 | #Constraints: 172236
3183.79/3191.29 c #Conflicts: 1694000 | #Constraints: 173236
3183.79/3191.29 c INPROCESSING
3183.79/3191.29 c GARBAGE COLLECT
3183.79/3191.29 c #Conflicts: 1695000 | #Constraints: 148438
3183.79/3191.29 c #Conflicts: 1696000 | #Constraints: 149438
3183.79/3191.29 c #Conflicts: 1697000 | #Constraints: 150438
3183.79/3191.29 c #Conflicts: 1698000 | #Constraints: 151438
3183.79/3191.29 c #Conflicts: 1699000 | #Constraints: 152438
3183.79/3191.29 c #Conflicts: 1700000 | #Constraints: 153438
3183.79/3191.29 c #Conflicts: 1701000 | #Constraints: 154438
3183.79/3191.29 c #Conflicts: 1702000 | #Constraints: 155438
3183.79/3191.29 c #Conflicts: 1703000 | #Constraints: 156438
3183.79/3191.29 c #Conflicts: 1704000 | #Constraints: 157438
3183.79/3191.29 c #Conflicts: 1705000 | #Constraints: 158438
3183.79/3191.29 c #Conflicts: 1706000 | #Constraints: 159438
3183.79/3191.29 c #Conflicts: 1707000 | #Constraints: 160438
3183.79/3191.29 c #Conflicts: 1708000 | #Constraints: 161438
3183.79/3191.29 c #Conflicts: 1709000 | #Constraints: 162438
3183.79/3191.29 c #Conflicts: 1710000 | #Constraints: 163438
3183.79/3191.29 c #Conflicts: 1711000 | #Constraints: 164438
3183.79/3191.29 c #Conflicts: 1712000 | #Constraints: 165438
3183.79/3191.29 c #Conflicts: 1713000 | #Constraints: 166438
3183.79/3191.29 c #Conflicts: 1714000 | #Constraints: 167438
3183.79/3191.29 c #Conflicts: 1715000 | #Constraints: 168438
3183.79/3191.29 c #Conflicts: 1716000 | #Constraints: 169438
3183.79/3191.29 c #Conflicts: 1717000 | #Constraints: 170438
3183.79/3191.29 c #Conflicts: 1718000 | #Constraints: 171438
3183.79/3191.29 c #Conflicts: 1719000 | #Constraints: 172438
3183.79/3191.29 c #Conflicts: 1720000 | #Constraints: 173438
3183.79/3191.29 c INPROCESSING
3183.79/3191.29 c GARBAGE COLLECT
3183.79/3191.29 c #Conflicts: 1721000 | #Constraints: 148435
3183.79/3191.29 c #Conflicts: 1722000 | #Constraints: 149435
3183.79/3191.29 c #Conflicts: 1723000 | #Constraints: 150435
3183.79/3191.29 c #Conflicts: 1724000 | #Constraints: 151435
3183.79/3191.29 c #Conflicts: 1725000 | #Constraints: 152435
3183.79/3191.29 c #Conflicts: 1726000 | #Constraints: 153435
3183.79/3191.29 c #Conflicts: 1727000 | #Constraints: 154435
3183.79/3191.29 c #Conflicts: 1728000 | #Constraints: 155435
3183.79/3191.29 c #Conflicts: 1729000 | #Constraints: 156435
3183.79/3191.29 c #Conflicts: 1730000 | #Constraints: 157435
3183.79/3191.29 c #Conflicts: 1731000 | #Constraints: 158435
3183.79/3191.29 c #Conflicts: 1732000 | #Constraints: 159435
3183.79/3191.29 c #Conflicts: 1733000 | #Constraints: 160435
3183.79/3191.29 c #Conflicts: 1734000 | #Constraints: 161435
3183.79/3191.29 c #Conflicts: 1735000 | #Constraints: 162435
3183.79/3191.29 c #Conflicts: 1736000 | #Constraints: 163435
3183.79/3191.29 c #Conflicts: 1737000 | #Constraints: 164435
3183.79/3191.29 c #Conflicts: 1738000 | #Constraints: 165435
3183.79/3191.29 c #Conflicts: 1739000 | #Constraints: 166435
3183.79/3191.29 c #Conflicts: 1740000 | #Constraints: 167435
3183.79/3191.29 c #Conflicts: 1741000 | #Constraints: 168435
3183.79/3191.29 c #Conflicts: 1742000 | #Constraints: 169435
3325.46/3333.21 c #Conflicts: 1743000 | #Constraints: 170435
3325.46/3333.21 c #Conflicts: 1744000 | #Constraints: 171435
3325.46/3333.21 c #Conflicts: 1745000 | #Constraints: 172435
3325.46/3333.21 c #Conflicts: 1746000 | #Constraints: 173435
3325.46/3333.21 c INPROCESSING
3325.46/3333.21 c GARBAGE COLLECT
3325.46/3333.21 c #Conflicts: 1747000 | #Constraints: 148232
3325.46/3333.21 c #Conflicts: 1748000 | #Constraints: 149232
3325.46/3333.21 c #Conflicts: 1749000 | #Constraints: 150232
3325.46/3333.21 c #Conflicts: 1750000 | #Constraints: 151232
3325.46/3333.21 c #Conflicts: 1751000 | #Constraints: 152232
3325.46/3333.21 c #Conflicts: 1752000 | #Constraints: 153232
3325.46/3333.21 c #Conflicts: 1753000 | #Constraints: 154232
3325.46/3333.21 c #Conflicts: 1754000 | #Constraints: 155232
3325.46/3333.21 c #Conflicts: 1755000 | #Constraints: 156232
3325.46/3333.21 c #Conflicts: 1756000 | #Constraints: 157232
3325.46/3333.21 c #Conflicts: 1757000 | #Constraints: 158232
3325.46/3333.21 c #Conflicts: 1758000 | #Constraints: 159232
3325.46/3333.21 c #Conflicts: 1759000 | #Constraints: 160232
3325.46/3333.21 c #Conflicts: 1760000 | #Constraints: 161232
3325.46/3333.21 c #Conflicts: 1761000 | #Constraints: 162232
3325.46/3333.21 c #Conflicts: 1762000 | #Constraints: 163232
3325.46/3333.21 c #Conflicts: 1763000 | #Constraints: 164232
3325.46/3333.21 c #Conflicts: 1764000 | #Constraints: 165232
3325.46/3333.21 c #Conflicts: 1765000 | #Constraints: 166232
3325.46/3333.21 c #Conflicts: 1766000 | #Constraints: 167232
3325.46/3333.21 c #Conflicts: 1767000 | #Constraints: 168232
3325.46/3333.21 c #Conflicts: 1768000 | #Constraints: 169232
3325.46/3333.21 c #Conflicts: 1769000 | #Constraints: 170232
3325.46/3333.21 c #Conflicts: 1770000 | #Constraints: 171232
3325.46/3333.21 c #Conflicts: 1771000 | #Constraints: 172232
3325.46/3333.21 c #Conflicts: 1772000 | #Constraints: 173232
3325.46/3333.21 c #Conflicts: 1773000 | #Constraints: 174232
3325.46/3333.21 c INPROCESSING
3325.46/3333.21 c GARBAGE COLLECT
3325.46/3333.21 c #Conflicts: 1774000 | #Constraints: 148835
3325.46/3333.21 c #Conflicts: 1775000 | #Constraints: 149835
3325.46/3333.21 c #Conflicts: 1776000 | #Constraints: 150835
3325.46/3333.21 c #Conflicts: 1777000 | #Constraints: 151835
3325.46/3333.21 c #Conflicts: 1778000 | #Constraints: 152835
3325.46/3333.21 c #Conflicts: 1779000 | #Constraints: 153835
3325.46/3333.21 c #Conflicts: 1780000 | #Constraints: 154835
3325.46/3333.21 c #Conflicts: 1781000 | #Constraints: 155835
3325.46/3333.21 c #Conflicts: 1782000 | #Constraints: 156835
3325.46/3333.21 c #Conflicts: 1783000 | #Constraints: 157835
3325.46/3333.21 c #Conflicts: 1784000 | #Constraints: 158835
3325.46/3333.21 c #Conflicts: 1785000 | #Constraints: 159835
3325.46/3333.21 c #Conflicts: 1786000 | #Constraints: 160835
3325.46/3333.21 c #Conflicts: 1787000 | #Constraints: 161835
3325.46/3333.21 c #Conflicts: 1788000 | #Constraints: 162835
3325.46/3333.21 c #Conflicts: 1789000 | #Constraints: 163835
3325.46/3333.21 c #Conflicts: 1790000 | #Constraints: 164835
3325.46/3333.21 c #Conflicts: 1791000 | #Constraints: 165835
3325.46/3333.21 c #Conflicts: 1792000 | #Constraints: 166835
3325.46/3333.21 c #Conflicts: 1793000 | #Constraints: 167835
3325.46/3333.21 c #Conflicts: 1794000 | #Constraints: 168835
3325.46/3333.21 c #Conflicts: 1795000 | #Constraints: 169835
3325.46/3333.21 c #Conflicts: 1796000 | #Constraints: 170835
3325.46/3333.21 c #Conflicts: 1797000 | #Constraints: 171835
3325.46/3333.21 c #Conflicts: 1798000 | #Constraints: 172835
3325.46/3333.21 c #Conflicts: 1799000 | #Constraints: 173835
3325.46/3333.21 c #Conflicts: 1800000 | #Constraints: 174835
3325.46/3333.21 c INPROCESSING
3325.46/3333.21 c GARBAGE COLLECT
3325.46/3333.21 c #Conflicts: 1801000 | #Constraints: 149237
3325.46/3333.21 c #Conflicts: 1802000 | #Constraints: 150237
3325.46/3333.21 c #Conflicts: 1803000 | #Constraints: 151237
3325.46/3333.21 c #Conflicts: 1804000 | #Constraints: 152237
3325.46/3333.21 c #Conflicts: 1805000 | #Constraints: 153237
3325.46/3333.21 c #Conflicts: 1806000 | #Constraints: 154237
3325.46/3333.21 c #Conflicts: 1807000 | #Constraints: 155237
3325.46/3333.21 c #Conflicts: 1808000 | #Constraints: 156237
3325.46/3333.21 c #Conflicts: 1809000 | #Constraints: 157237
3325.46/3333.21 c #Conflicts: 1810000 | #Constraints: 158237
3325.46/3333.21 c #Conflicts: 1811000 | #Constraints: 159237
3325.46/3333.21 c #Conflicts: 1812000 | #Constraints: 160237
3325.46/3333.21 c #Conflicts: 1813000 | #Constraints: 161237
3325.46/3333.21 c #Conflicts: 1814000 | #Constraints: 162237
3325.46/3333.21 c #Conflicts: 1815000 | #Constraints: 163237
3325.46/3333.21 c #Conflicts: 1816000 | #Constraints: 164237
3325.46/3333.21 c #Conflicts: 1817000 | #Constraints: 165237
3325.46/3333.21 c #Conflicts: 1818000 | #Constraints: 166237
3325.46/3333.21 c #Conflicts: 1819000 | #Constraints: 167237
3468.52/3476.62 c #Conflicts: 1820000 | #Constraints: 168237
3468.52/3476.62 c #Conflicts: 1821000 | #Constraints: 169237
3468.52/3476.62 c #Conflicts: 1822000 | #Constraints: 170237
3468.52/3476.62 c #Conflicts: 1823000 | #Constraints: 171237
3468.52/3476.62 c #Conflicts: 1824000 | #Constraints: 172237
3468.52/3476.62 c #Conflicts: 1825000 | #Constraints: 173237
3468.52/3476.62 c #Conflicts: 1826000 | #Constraints: 174237
3468.52/3476.62 c #Conflicts: 1827000 | #Constraints: 175237
3468.52/3476.62 c INPROCESSING
3468.52/3476.62 c GARBAGE COLLECT
3468.52/3476.62 c #Conflicts: 1828000 | #Constraints: 149439
3468.52/3476.62 c #Conflicts: 1829000 | #Constraints: 150439
3468.52/3476.62 c #Conflicts: 1830000 | #Constraints: 151439
3468.52/3476.62 c #Conflicts: 1831000 | #Constraints: 152439
3468.52/3476.62 c #Conflicts: 1832000 | #Constraints: 153439
3468.52/3476.62 c #Conflicts: 1833000 | #Constraints: 154439
3468.52/3476.62 c #Conflicts: 1834000 | #Constraints: 155439
3468.52/3476.62 c #Conflicts: 1835000 | #Constraints: 156439
3468.52/3476.62 c #Conflicts: 1836000 | #Constraints: 157439
3468.52/3476.62 c #Conflicts: 1837000 | #Constraints: 158439
3468.52/3476.62 c #Conflicts: 1838000 | #Constraints: 159439
3468.52/3476.62 c #Conflicts: 1839000 | #Constraints: 160439
3468.52/3476.62 c #Conflicts: 1840000 | #Constraints: 161439
3468.52/3476.62 c #Conflicts: 1841000 | #Constraints: 162439
3468.52/3476.62 c #Conflicts: 1842000 | #Constraints: 163439
3468.52/3476.62 c #Conflicts: 1843000 | #Constraints: 164439
3468.52/3476.62 c #Conflicts: 1844000 | #Constraints: 165439
3468.52/3476.62 c #Conflicts: 1845000 | #Constraints: 166439
3468.52/3476.62 c #Conflicts: 1846000 | #Constraints: 167439
3468.52/3476.62 c #Conflicts: 1847000 | #Constraints: 168439
3468.52/3476.62 c #Conflicts: 1848000 | #Constraints: 169439
3468.52/3476.62 c #Conflicts: 1849000 | #Constraints: 170439
3468.52/3476.62 c #Conflicts: 1850000 | #Constraints: 171439
3468.52/3476.62 c #Conflicts: 1851000 | #Constraints: 172439
3468.52/3476.62 c #Conflicts: 1852000 | #Constraints: 173439
3468.52/3476.62 c #Conflicts: 1853000 | #Constraints: 174439
3468.52/3476.62 c #Conflicts: 1854000 | #Constraints: 175439
3468.52/3476.62 c INPROCESSING
3468.52/3476.62 c GARBAGE COLLECT
3468.52/3476.62 c #Conflicts: 1855000 | #Constraints: 149440
3468.52/3476.62 c #Conflicts: 1856000 | #Constraints: 150440
3468.52/3476.62 c #Conflicts: 1857000 | #Constraints: 151440
3468.52/3476.62 c #Conflicts: 1858000 | #Constraints: 152440
3468.52/3476.62 c #Conflicts: 1859000 | #Constraints: 153440
3468.52/3476.62 c #Conflicts: 1860000 | #Constraints: 154440
3468.52/3476.62 c #Conflicts: 1861000 | #Constraints: 155440
3468.52/3476.62 c #Conflicts: 1862000 | #Constraints: 156440
3468.52/3476.62 c #Conflicts: 1863000 | #Constraints: 157440
3468.52/3476.62 c #Conflicts: 1864000 | #Constraints: 158440
3468.52/3476.62 c #Conflicts: 1865000 | #Constraints: 159440
3468.52/3476.62 c #Conflicts: 1866000 | #Constraints: 160440
3468.52/3476.62 c #Conflicts: 1867000 | #Constraints: 161440
3468.52/3476.62 c #Conflicts: 1868000 | #Constraints: 162440
3468.52/3476.62 c #Conflicts: 1869000 | #Constraints: 163440
3468.52/3476.62 c #Conflicts: 1870000 | #Constraints: 164440
3468.52/3476.62 c #Conflicts: 1871000 | #Constraints: 165440
3468.52/3476.62 c #Conflicts: 1872000 | #Constraints: 166440
3468.52/3476.62 c #Conflicts: 1873000 | #Constraints: 167440
3468.52/3476.62 c #Conflicts: 1874000 | #Constraints: 168440
3468.52/3476.62 c #Conflicts: 1875000 | #Constraints: 169440
3468.52/3476.62 c #Conflicts: 1876000 | #Constraints: 170440
3468.52/3476.62 c #Conflicts: 1877000 | #Constraints: 171440
3468.52/3476.62 c #Conflicts: 1878000 | #Constraints: 172440
3468.52/3476.62 c #Conflicts: 1879000 | #Constraints: 173440
3468.52/3476.62 c #Conflicts: 1880000 | #Constraints: 174440
3468.52/3476.62 c #Conflicts: 1881000 | #Constraints: 175440
3468.52/3476.62 c INPROCESSING
3468.52/3476.62 c GARBAGE COLLECT
3468.52/3476.62 c #Conflicts: 1882000 | #Constraints: 149238
3468.52/3476.62 c #Conflicts: 1883000 | #Constraints: 150238
3468.52/3476.62 c #Conflicts: 1884000 | #Constraints: 151238
3468.52/3476.62 c #Conflicts: 1885000 | #Constraints: 152238
3468.52/3476.62 c #Conflicts: 1886000 | #Constraints: 153238
3468.52/3476.62 c #Conflicts: 1887000 | #Constraints: 154238
3468.52/3476.62 c #Conflicts: 1888000 | #Constraints: 155238
3468.52/3476.62 c #Conflicts: 1889000 | #Constraints: 156238
3468.52/3476.62 c #Conflicts: 1890000 | #Constraints: 157238
3468.52/3476.62 c #Conflicts: 1891000 | #Constraints: 158238
3468.52/3476.62 c #Conflicts: 1892000 | #Constraints: 159238
3468.52/3476.62 c #Conflicts: 1893000 | #Constraints: 160238
3468.52/3476.62 c #Conflicts: 1894000 | #Constraints: 161238
3468.52/3476.62 c #Conflicts: 1895000 | #Constraints: 162238
3468.52/3476.62 c #Conflicts: 1896000 | #Constraints: 163238
3600.01/3608.40 c #Conflicts: 1897000 | #Constraints: 164238
3600.01/3608.40 c #Conflicts: 1898000 | #Constraints: 165238
3600.01/3608.40 c #Conflicts: 1899000 | #Constraints: 166238
3600.01/3608.40 c #Conflicts: 1900000 | #Constraints: 167238
3600.01/3608.40 c #Conflicts: 1901000 | #Constraints: 168238
3600.01/3608.40 c #Conflicts: 1902000 | #Constraints: 169238
3600.01/3608.40 c #Conflicts: 1903000 | #Constraints: 170238
3600.01/3608.40 c #Conflicts: 1904000 | #Constraints: 171238
3600.01/3608.40 c #Conflicts: 1905000 | #Constraints: 172238
3600.01/3608.40 c #Conflicts: 1906000 | #Constraints: 173238
3600.01/3608.40 c #Conflicts: 1907000 | #Constraints: 174238
3600.01/3608.40 c #Conflicts: 1908000 | #Constraints: 175238
3600.01/3608.40 c #Conflicts: 1909000 | #Constraints: 176238
3600.01/3608.40 c INPROCESSING
3600.01/3608.40 c GARBAGE COLLECT
3600.01/3608.40 c #Conflicts: 1910000 | #Constraints: 149838
3600.01/3608.40 c #Conflicts: 1911000 | #Constraints: 150838
3600.01/3608.40 c #Conflicts: 1912000 | #Constraints: 151838
3600.01/3608.40 c #Conflicts: 1913000 | #Constraints: 152838
3600.01/3608.40 c #Conflicts: 1914000 | #Constraints: 153838
3600.01/3608.40 c #Conflicts: 1915000 | #Constraints: 154838
3600.01/3608.40 c #Conflicts: 1916000 | #Constraints: 155838
3600.01/3608.40 c #Conflicts: 1917000 | #Constraints: 156838
3600.01/3608.40 c #Conflicts: 1918000 | #Constraints: 157838
3600.01/3608.40 c #Conflicts: 1919000 | #Constraints: 158838
3600.01/3608.40 c #Conflicts: 1920000 | #Constraints: 159838
3600.01/3608.40 c #Conflicts: 1921000 | #Constraints: 160838
3600.01/3608.40 c #Conflicts: 1922000 | #Constraints: 161838
3600.01/3608.40 c #Conflicts: 1923000 | #Constraints: 162838
3600.01/3608.40 c #Conflicts: 1924000 | #Constraints: 163838
3600.01/3608.40 c #Conflicts: 1925000 | #Constraints: 164838
3600.01/3608.40 c #Conflicts: 1926000 | #Constraints: 165838
3600.01/3608.40 c #Conflicts: 1927000 | #Constraints: 166838
3600.01/3608.40 c #Conflicts: 1928000 | #Constraints: 167838
3600.01/3608.40 c #Conflicts: 1929000 | #Constraints: 168838
3600.01/3608.40 c #Conflicts: 1930000 | #Constraints: 169838
3600.01/3608.40 c #Conflicts: 1931000 | #Constraints: 170838
3600.01/3608.40 c #Conflicts: 1932000 | #Constraints: 171838
3600.01/3608.40 c #Conflicts: 1933000 | #Constraints: 172838
3600.01/3608.40 c #Conflicts: 1934000 | #Constraints: 173838
3600.01/3608.40 c #Conflicts: 1935000 | #Constraints: 174838
3600.01/3608.40 c #Conflicts: 1936000 | #Constraints: 175838
3600.01/3608.40 c #Conflicts: 1937000 | #Constraints: 176838
3600.01/3608.40 c INPROCESSING
3600.01/3608.40 c GARBAGE COLLECT
3600.01/3608.40 c #Conflicts: 1938000 | #Constraints: 150240
3600.01/3608.40 c #Conflicts: 1939000 | #Constraints: 151240
3600.01/3608.40 c #Conflicts: 1940000 | #Constraints: 152240
3600.01/3608.40 c #Conflicts: 1941000 | #Constraints: 153240
3600.01/3608.40 c #Conflicts: 1942000 | #Constraints: 154240
3600.01/3608.40 c #Conflicts: 1943000 | #Constraints: 155240
3600.01/3608.40 c #Conflicts: 1944000 | #Constraints: 156240
3600.01/3608.40 c #Conflicts: 1945000 | #Constraints: 157240
3600.01/3608.40 c #Conflicts: 1946000 | #Constraints: 158240
3600.01/3608.40 c #Conflicts: 1947000 | #Constraints: 159240
3600.01/3608.40 c #Conflicts: 1948000 | #Constraints: 160240
3600.01/3608.40 c #Conflicts: 1949000 | #Constraints: 161240
3600.01/3608.40 c #Conflicts: 1950000 | #Constraints: 162240
3600.01/3608.40 c #Conflicts: 1951000 | #Constraints: 163240
3600.01/3608.40 c #Conflicts: 1952000 | #Constraints: 164240
3600.01/3608.40 c #Conflicts: 1953000 | #Constraints: 165240
3600.01/3608.40 c #Conflicts: 1954000 | #Constraints: 166240
3600.01/3608.40 c #Conflicts: 1955000 | #Constraints: 167240
3600.01/3608.40 c #Conflicts: 1956000 | #Constraints: 168240
3600.01/3608.40 c #Conflicts: 1957000 | #Constraints: 169240
3600.01/3608.40 c #Conflicts: 1958000 | #Constraints: 170240
3600.01/3608.40 c #Conflicts: 1959000 | #Constraints: 171240
3600.01/3608.40 c #Conflicts: 1960000 | #Constraints: 172240
3600.01/3608.40 c #Conflicts: 1961000 | #Constraints: 173240
3600.01/3608.40 c #Conflicts: 1962000 | #Constraints: 174240
3600.01/3608.40 c #Conflicts: 1963000 | #Constraints: 175240
3600.01/3608.40 c #Conflicts: 1964000 | #Constraints: 176240
3600.01/3608.40 c cpu time 3592.48 s
3600.01/3608.40 c deterministic time 1 1.00e+00
3600.01/3608.40 c optimization time 3591.86 s
3600.01/3608.40 c total solve time 0 s
3600.01/3608.40 c core-guided solve time 0 s
3600.01/3608.40 c propagation time 0.064479 s
3600.01/3608.40 c conflict analysis time 0 s
3600.01/3608.40 c propagations 0
3600.01/3608.40 c resolve steps 0
3600.01/3608.40 c decisions 0
3600.01/3608.40 c conflicts 0
3600.01/3608.40 c restarts 0
3600.01/3608.40 c inprocessing phases 0
3600.01/3608.40 c garbage collections 0 ,( -nan )
3600.01/3608.40 c input clauses 209576 ,( 100.00 )
3600.01/3608.40 c input cardinalities 0 ,( 0.00 )
3600.01/3608.40 c input general constraints 0 ,( 0.00 )
3600.01/3608.40 c input average constraint length 3.00
3600.01/3608.40 c input average constraint degree 1.00
3600.01/3608.40 c learned clauses 0 ,( 0.00 )
3600.01/3608.40 c learned cardinalities 0 ,( 0.00 )
3600.01/3608.40 c learned general constraints 0 ,( 0.00 )
3600.01/3608.40 c learned average constraint length 0.00
3600.01/3608.40 c learned average constraint degree 0.00
3600.01/3608.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3608.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3608.40 c watched constraints 0 ,( -nan )
3600.01/3608.40 c counting constraints 0 ,( -nan )
3600.01/3608.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3608.40 c gcd simplifications 0
3600.01/3608.40 c detected cardinalities 0
3600.01/3608.40 c weakened non-implied lits 0
3600.01/3608.40 c weakened non-implying lits 0
3600.01/3608.40 c original variables 2346
3600.01/3608.40 c clausal propagations 0
3600.01/3608.40 c cardinality propagations 0
3600.01/3608.40 c watched propagations 0
3600.01/3608.40 c counting propagations 0
3600.01/3608.40 c watch lookups 0
3600.01/3608.40 c watch backjump lookups 0
3600.01/3608.40 c watch checks 0
3600.01/3608.40 c propagation checks 0
3600.01/3608.40 c constraint additions 0
3600.01/3608.40 c trail pops 0
3600.01/3608.40 c formula constraints 209576
3600.01/3608.40 c learned constraints 0
3600.01/3608.40 c bound constraints 0
3600.01/3608.40 c core-guided constraints 0
3600.01/3608.40 c encountered formula constraints 0
3600.01/3608.40 c encountered learned constraints 0
3600.01/3608.40 c encountered bound constraints 0
3600.01/3608.40 c encountered core-guided constraints 0
3600.01/3608.40 c LP total time 0 s
3600.01/3608.40 c LP solve time 0 s
3600.01/3608.40 c LP constraints added 0
3600.01/3608.40 c LP constraints removed 0
3600.01/3608.40 c LP pivots internal 0
3600.01/3608.40 c LP pivots root 0
3600.01/3608.40 c LP calls 0
3600.01/3608.40 c LP optimalities 0
3600.01/3608.40 c LP no pivot count 0
3600.01/3608.40 c LP infeasibilities 0
3600.01/3608.40 c LP valid Farkas constraints 0
3600.01/3608.40 c LP learned Farkas constraints 0
3600.01/3608.40 c LP basis resets 0
3600.01/3608.40 c LP cycling count 0
3600.01/3608.40 c LP singular count 0
3600.01/3608.40 c LP no primal count 0
3600.01/3608.40 c LP no farkas count 0
3600.01/3608.40 c LP other issue count 0
3600.01/3608.40 c LP Gomory cuts 0
3600.01/3608.40 c LP learned cuts 0
3600.01/3608.40 c LP deleted cuts 0
3600.01/3608.40 c LP encountered Gomory constraints 0
3600.01/3608.40 c LP encountered Farkas constraints 0
3600.01/3608.40 c LP encountered learned Farkas constraints 0
3600.01/3608.40 c CG auxiliary variables introduced 0
3600.01/3608.40 c CG solutions found 0
3600.01/3608.40 c CG cores constructed 0
3600.01/3608.40 c CG core cardinality constraints returned 0
3600.01/3608.40 c CG unit cores 0
3600.01/3608.40 c CG single cores 0
3600.01/3608.40 c CG blocks removed during cardinality reduction 0
3600.01/3608.40 c CG first core best 0
3600.01/3608.40 c CG decision core best 0
3600.01/3608.40 c CG core reduction tie 0
3600.01/3608.40 c CG core degree average 0.00
3600.01/3608.40 c CG core slack average 0.00
3600.01/3608.40 c CG core upper bound improvements 0
3600.01/3608.40 c STR number of successful calls 0
3600.01/3608.40 c STR number of unsuccessful calls 0
3600.01/3608.40 c STR number of inconclusive calls 0
3600.01/3608.40 c STR number of successful attempts 0
3600.01/3608.40 c STR number of unsuccessful attempts 0
3600.01/3608.40 c STR number of inconclusive attempts 0
3600.01/3608.40 c STR average degree increase per successful call inf
3600.01/3608.40 c STR average degree increase per successful attempt inf
3600.01/3608.40 c STR total number of conflicts for successful attempts 0
3600.01/3608.40 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3608.40 c STR total number of conflicts for inconclusive attempts 0
3600.01/3608.40 c STR average number of conflicts per successful attempt inf
3600.01/3608.40 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3608.40 c STR average number of conflicts per inconclusive attempt inf
3600.01/3608.40 c AVG.sumWPerc -nan
3600.01/3608.40 c bigint constraints 0
3600.01/3608.40 s UNKNOWN
3600.01/3608.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61949 MiB free)
memory of node 1: 64465 MiB (62866 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521124-1751585596/watcher-4521124-1751585596 -o /tmp/evaluation-result-4521124-1751585596/solver-4521124-1751585596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84119 --watchdog 3760 run-opt.sh HOME/instance-4521124-1751585596.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84171, runsolver pid=84165
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.94 1.08 1.50 5/265 84184
/proc/meminfo: memFree=127809208/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=58320 memory=12140 CPUtime=0.08 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 1486 0 0 0 6 2 0 0 20 0 1 0 74182125 59719680 3035 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 14580 3035 1888 1147 0 2007 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62512 KiB
Current children cumulated memory: 14956 KiB
[startup+0.205387 s]*
/proc/loadavg: 0.94 1.08 1.50 4/263 84188
/proc/meminfo: memFree=127803020/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=60984 memory=17396 CPUtime=0.18 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 2428 0 0 0 14 4 0 0 20 0 1 0 74182125 62447616 4349 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 15246 4349 1888 1147 0 2673 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65176 KiB
Current children cumulated memory: 20212 KiB
[startup+0.3051 s]*
/proc/loadavg: 0.94 1.08 1.50 4/263 84188
/proc/meminfo: memFree=127802516/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=66212 memory=21492 CPUtime=0.28 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 3517 0 0 0 21 7 0 0 20 0 1 0 74182125 67801088 5373 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 16553 5373 1888 1147 0 3980 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70404 KiB
Current children cumulated memory: 24308 KiB
[startup+0.700205 s]
/proc/loadavg: 0.94 1.08 1.50 5/263 84188
/proc/meminfo: memFree=127786400/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=295900 memory=132160 CPUtime=0.67 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 13224 0 0 0 51 16 0 0 20 0 1 0 74182125 303001600 33040 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 73975 33040 2240 1147 0 61402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 300092 KiB
Current children cumulated memory: 134976 KiB
[startup+1.5002 s]
/proc/loadavg: 0.94 1.08 1.50 4/263 84188
/proc/meminfo: memFree=127537412/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=322752 memory=253276 CPUtime=1.47 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 35978 0 0 0 118 29 0 0 20 0 1 0 74182125 330498048 63319 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 80688 63319 2336 1147 0 68115 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 326944 KiB
Current children cumulated memory: 256092 KiB
[startup+3.10545 s]
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=126948192/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=322752 memory=253404 CPUtime=3.07 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36020 0 0 0 278 29 0 0 20 0 1 0 74182125 330498048 63351 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 80688 63351 2336 1147 0 68115 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 326944 KiB
Current children cumulated memory: 256220 KiB
[startup+6.30018 s]
/proc/loadavg: 1.18 1.13 1.52 5/268 84272
/proc/meminfo: memFree=126525408/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=322752 memory=253404 CPUtime=6.26 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36021 0 0 0 596 30 0 0 20 0 1 0 74182125 330498048 63351 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 80688 63351 2336 1147 0 68115 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 326944 KiB
Current children cumulated memory: 256220 KiB
[startup+12.7002 s]
/proc/loadavg: 1.41 1.18 1.53 5/268 84272
/proc/meminfo: memFree=126529248/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=322752 memory=253404 CPUtime=12.64 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36025 0 0 0 1233 31 0 0 20 0 1 0 74182125 330498048 63351 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 80688 63351 2336 1147 0 68115 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 326944 KiB
Current children cumulated memory: 256220 KiB
[startup+25.5001 s]
/proc/loadavg: 1.98 1.32 1.57 5/268 84272
/proc/meminfo: memFree=126538400/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=322752 memory=253532 CPUtime=25.41 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36045 0 0 0 2508 33 0 0 20 0 1 0 74182125 330498048 63383 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 80688 63383 2336 1147 0 68115 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 326944 KiB
Current children cumulated memory: 256348 KiB
[startup+51.1054 s]
/proc/loadavg: 2.73 1.55 1.64 5/268 84272
/proc/meminfo: memFree=126539168/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=322752 memory=253532 CPUtime=50.94 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36049 0 0 0 5058 36 0 0 20 0 1 0 74182125 330498048 63383 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 80688 63383 2336 1147 0 68115 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 326944 KiB
Current children cumulated memory: 256348 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.95 1.77 5/268 84274
/proc/meminfo: memFree=126506340/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=372072 memory=290052 CPUtime=102 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36462 0 0 0 10155 45 0 0 20 0 1 0 74182125 381001728 72513 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 93018 72513 2336 1147 0 80445 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 376264 KiB
Current children cumulated memory: 292868 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.34 1.92 5/268 84276
/proc/meminfo: memFree=126466884/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=372072 memory=298248 CPUtime=161.86 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36499 0 0 0 16129 57 0 0 20 0 1 0 74182125 381001728 74562 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 93018 74562 2336 1147 0 80445 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 376264 KiB
Current children cumulated memory: 301064 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.66 2.06 5/267 84278
/proc/meminfo: memFree=126450452/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=372072 memory=302344 CPUtime=221.72 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 36523 0 0 0 22104 68 0 0 20 0 1 0 74182125 381001728 75586 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 93018 75586 2336 1147 0 80445 0
Current children cumulated CPU time: 221.72 s
################
# More data... #
################
/proc/84174/statm: 133592 97013 2336 1147 0 121019 0
Current children cumulated CPU time: 3035.23 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 390868 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/267 84431
/proc/meminfo: memFree=126051296/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=392148 CPUtime=3095.1 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 37957 0 0 0 308853 657 0 0 20 0 1 0 74182125 547192832 98037 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 98037 2336 1147 0 121019 0
Current children cumulated CPU time: 3095.1 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 394964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/268 84434
/proc/meminfo: memFree=126042524/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=394196 CPUtime=3154.96 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 37998 0 0 0 314827 669 0 0 20 0 1 0 74182125 547192832 98549 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 98549 2336 1147 0 121019 0
Current children cumulated CPU time: 3154.96 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 397012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/268 84436
/proc/meminfo: memFree=126034804/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=394196 CPUtime=3214.81 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38068 0 0 0 320799 682 0 0 20 0 1 0 74182125 547192832 98549 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 98549 2336 1147 0 121019 0
Current children cumulated CPU time: 3214.81 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 397012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/268 84438
/proc/meminfo: memFree=126030248/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=396244 CPUtime=3274.68 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38072 0 0 0 326774 694 0 0 20 0 1 0 74182125 547192832 99061 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 99061 2336 1147 0 121019 0
Current children cumulated CPU time: 3274.68 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 399060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/268 84440
/proc/meminfo: memFree=126030500/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=396244 CPUtime=3334.54 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38072 0 0 0 332748 706 0 0 20 0 1 0 74182125 547192832 99061 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 99061 2336 1147 0 121019 0
Current children cumulated CPU time: 3334.54 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 399060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/268 84442
/proc/meminfo: memFree=126021332/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=396244 CPUtime=3394.39 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38072 0 0 0 338723 716 0 0 20 0 1 0 74182125 547192832 99061 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 99061 2336 1147 0 121019 0
Current children cumulated CPU time: 3394.39 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 399060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/267 84444
/proc/meminfo: memFree=126021216/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=396244 CPUtime=3454.26 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38072 0 0 0 344698 728 0 0 20 0 1 0 74182125 547192832 99061 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 99061 2336 1147 0 121019 0
Current children cumulated CPU time: 3454.26 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 399060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/267 84448
/proc/meminfo: memFree=126006236/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=400340 CPUtime=3514.11 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38074 0 0 0 350672 739 0 0 20 0 1 0 74182125 547192832 100085 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 100085 2336 1147 0 121019 0
Current children cumulated CPU time: 3514.11 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 403156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/268 84456
/proc/meminfo: memFree=125999820/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=400340 CPUtime=3573.97 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38074 0 0 0 356648 749 0 0 20 0 1 0 74182125 547192832 100085 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 100085 2336 1147 0 121019 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 403156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.4 s]
/proc/loadavg: 4.14 4.11 4.05 5/268 84457
/proc/meminfo: memFree=125999596/131250000 swapFree=33010684/33010684
[pid=84171] ppid=84165 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (run-opt.sh) S 84165 84171 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182124 4292608 704 18446744073709551615 94769850175488 94769851070021 140734611799968 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94769851309072 94769851356816 94769864491008 140734611806573 140734611806696 140734611806696 140734611812298 0
/proc/84171/statm: 1048 704 672 219 0 110 0
[pid=84174] ppid=84171 vsize=534368 memory=400340 CPUtime=3600.01 cores=1,3
/proc/84174/stat : 84174 (roundingsat) R 84171 84171 84107 0 -1 4194304 38074 0 0 0 359247 754 0 0 20 0 1 0 74182125 547192832 100085 18446744073709551615 4227072 8923433 140720332324672 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18206720 140720332327330 140720332327464 140720332327464 140720332333034 0
/proc/84174/statm: 133592 100085 2336 1147 0 121019 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 538560 KiB
Current children cumulated memory: 403156 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.4 s]
# the end of solver process 84171 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002623 s
Sleeping 2 seconds
[startup+3608.43 s]
# the end of solver process 84174 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.51 s, system=7.54898 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3608.43
CPU time (s): 3600.05
CPU user time (s): 3592.51
CPU system time (s): 7.54898
CPU usage (%): 99.7679
Max. virtual memory (cumulated for all children) (KiB): 538560
Max. memory (cumulated for all children) (KiB): 403156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.51
system time used= 7.54898
maximum resident set size= 400852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239
involuntary context switches= 4606
# summary of solver processes directly reported to runsolver:
# pid: 84171,84174
# total CPU time (s): 3600.05
# total CPU user time (s): 3592.51
# total CPU system time (s): 7.54898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80347 second user time and 16.1688 second system time
The end
Begin job on nodeC028 at 2025-07-04 01:33:16
IDJOB=4521124
IDBENCH=178227
IDSOLVER=3350
FILE ID=nodeC028/4521124-1751585596
RUNJOBID= nodeC028-1751585596-84119
SLURM_JOB_ID= 9598831
Free space on /tmp= 431452 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521124-1751585596/watcher-4521124-1751585596 -o /tmp/evaluation-result-4521124-1751585596/solver-4521124-1751585596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84119 --watchdog 3760 run-opt.sh HOME/instance-4521124-1751585596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1733aa67cc51115e0f42d9b93b5f287e
RANDOM SEED=322177413
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3340.065
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.084
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.821
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.601
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3442.706
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127808008 kB
MemAvailable: 129723472 kB
Buffers: 3280 kB
Cached: 2716744 kB
SwapCached: 0 kB
Active: 377088 kB
Inactive: 2407480 kB
Active(anon): 82636 kB
Inactive(anon): 0 kB
Active(file): 294452 kB
Inactive(file): 2407480 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 42140 kB
Writeback: 0 kB
AnonPages: 67708 kB
Mapped: 104416 kB
Shmem: 18068 kB
KReclaimable: 105544 kB
Slab: 195400 kB
SReclaimable: 105544 kB
SUnreclaim: 89856 kB
KernelStack: 4128 kB
PageTables: 2976 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 332384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431420 MiB
End job on nodeC028 at 2025-07-04 02:33:25