0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 476 #constraints 476
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.003751
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.004265
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.02992
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.035525
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.039177
0.07/0.19 c GLOBAL bounds - >= 0 @ 0.162122
0.28/0.37 c #Conflicts: 1000 | #Constraints: 1484
0.28/0.37 c GLOBAL bounds - >= 0 @ 0.335926
0.28/0.39 c GLOBAL bounds - >= 0 @ 0.357064
0.38/0.50 c #Conflicts: 2000 | #Constraints: 2488
0.38/0.50 c INPROCESSING
0.38/0.50 c GARBAGE COLLECT
0.38/0.50 c GLOBAL bounds - >= 0 @ 0.457693
0.47/0.58 c GLOBAL bounds - >= 0 @ 0.542643
0.97/1.09 c #Conflicts: 3000 | #Constraints: 2506
0.97/1.09 c #Conflicts: 4000 | #Constraints: 3506
0.97/1.09 c GLOBAL bounds - >= 0 @ 1.03581
1.06/1.12 c GLOBAL bounds - >= 0 @ 1.06743
1.27/1.39 c INPROCESSING
1.27/1.39 c GARBAGE COLLECT
1.27/1.39 c GLOBAL bounds - >= 0 @ 1.331
1.66/1.79 c #Conflicts: 5000 | #Constraints: 2920
1.66/1.79 c #Conflicts: 6000 | #Constraints: 3920
1.66/1.79 c GLOBAL bounds - >= 0 @ 1.71866
1.76/1.88 c GLOBAL bounds - >= 0 @ 1.80374
2.16/2.26 c INPROCESSING
2.16/2.26 c GARBAGE COLLECT
2.16/2.26 c #Conflicts: 7000 | #Constraints: 2921
2.16/2.26 c GLOBAL bounds - >= 0 @ 2.17453
2.46/2.50 c #Conflicts: 8000 | #Constraints: 3923
2.46/2.50 c GLOBAL bounds - >= 0 @ 2.40245
2.65/2.79 c #Conflicts: 9000 | #Constraints: 4925
2.65/2.79 c INPROCESSING
2.65/2.79 c GARBAGE COLLECT
2.65/2.79 c GLOBAL bounds - >= 0 @ 2.69054
2.75/2.82 c GLOBAL bounds - >= 0 @ 2.7189
2.75/2.86 c GLOBAL bounds - >= 0 @ 2.75366
2.75/2.88 c GLOBAL bounds - >= 0 @ 2.78003
2.86/3.00 c #Conflicts: 10000 | #Constraints: 3639
2.86/3.00 c GLOBAL bounds - >= 0 @ 2.89374
3.56/3.62 c #Conflicts: 11000 | #Constraints: 4641
3.56/3.62 c GLOBAL bounds - >= 0 @ 3.50111
3.85/3.93 c #Conflicts: 12000 | #Constraints: 5643
3.85/3.93 c INPROCESSING
3.85/3.93 c GARBAGE COLLECT
3.85/3.93 c GLOBAL bounds - >= 0 @ 3.80987
4.75/4.89 c #Conflicts: 13000 | #Constraints: 4099
4.75/4.89 c #Conflicts: 14000 | #Constraints: 5099
4.75/4.89 c #Conflicts: 15000 | #Constraints: 6099
4.75/4.89 c INPROCESSING
4.75/4.89 c GARBAGE COLLECT
4.75/4.89 c GLOBAL bounds - >= 0 @ 4.73971
7.05/7.14 c #Conflicts: 16000 | #Constraints: 4331
7.05/7.14 c #Conflicts: 17000 | #Constraints: 5331
7.05/7.14 c #Conflicts: 18000 | #Constraints: 6331
7.05/7.14 c INPROCESSING
7.05/7.14 c GARBAGE COLLECT
7.05/7.14 c #Conflicts: 19000 | #Constraints: 4341
7.05/7.14 c #Conflicts: 20000 | #Constraints: 5341
7.05/7.14 c #Conflicts: 21000 | #Constraints: 6341
7.05/7.14 c GLOBAL bounds - >= 0 @ 6.93236
7.84/7.97 c INPROCESSING
7.84/7.97 c GARBAGE COLLECT
7.84/7.97 c #Conflicts: 22000 | #Constraints: 4149
7.84/7.97 c #Conflicts: 23000 | #Constraints: 5149
7.84/7.97 c GLOBAL bounds - >= 0 @ 7.74319
8.24/8.34 c GLOBAL bounds - >= 0 @ 8.10192
8.53/8.69 c #Conflicts: 24000 | #Constraints: 6153
8.53/8.69 c GLOBAL bounds - >= 0 @ 8.4451
8.84/8.91 c #Conflicts: 25000 | #Constraints: 7155
8.84/8.91 c GLOBAL bounds - >= 0 @ 8.6653
11.42/11.56 c INPROCESSING
11.42/11.56 c GARBAGE COLLECT
11.42/11.56 c #Conflicts: 26000 | #Constraints: 4756
11.42/11.56 c #Conflicts: 27000 | #Constraints: 5756
11.42/11.56 c #Conflicts: 28000 | #Constraints: 6756
11.42/11.56 c #Conflicts: 29000 | #Constraints: 7756
11.42/11.56 c INPROCESSING
11.42/11.56 c GARBAGE COLLECT
11.42/11.56 c #Conflicts: 30000 | #Constraints: 5160
11.42/11.56 c GLOBAL bounds - >= 0 @ 11.2622
28.77/28.92 c #Conflicts: 31000 | #Constraints: 6162
28.77/28.92 c #Conflicts: 32000 | #Constraints: 7162
28.77/28.92 c #Conflicts: 33000 | #Constraints: 8162
28.77/28.92 c INPROCESSING
28.77/28.92 c GARBAGE COLLECT
28.77/28.92 c #Conflicts: 34000 | #Constraints: 5364
28.77/28.92 c #Conflicts: 35000 | #Constraints: 6364
28.77/28.92 c #Conflicts: 36000 | #Constraints: 7364
28.77/28.92 c #Conflicts: 37000 | #Constraints: 8364
28.77/28.92 c INPROCESSING
28.77/28.92 c GARBAGE COLLECT
28.77/28.92 c #Conflicts: 38000 | #Constraints: 5367
28.77/28.92 c #Conflicts: 39000 | #Constraints: 6367
28.77/28.92 c #Conflicts: 40000 | #Constraints: 7367
28.77/28.92 c #Conflicts: 41000 | #Constraints: 8367
28.77/28.92 c INPROCESSING
28.77/28.92 c GARBAGE COLLECT
28.77/28.92 c #Conflicts: 42000 | #Constraints: 5171
28.77/28.92 c #Conflicts: 43000 | #Constraints: 6171
28.77/28.92 c #Conflicts: 44000 | #Constraints: 7171
28.77/28.92 c #Conflicts: 45000 | #Constraints: 8171
28.77/28.92 c #Conflicts: 46000 | #Constraints: 9171
28.77/28.92 c INPROCESSING
28.77/28.92 c GARBAGE COLLECT
28.77/28.92 c #Conflicts: 47000 | #Constraints: 5777
28.77/28.92 c #Conflicts: 48000 | #Constraints: 6777
28.77/28.92 c #Conflicts: 49000 | #Constraints: 7777
28.77/28.92 c #Conflicts: 50000 | #Constraints: 8777
28.77/28.92 c #Conflicts: 51000 | #Constraints: 9777
28.77/28.92 c INPROCESSING
28.77/28.92 c GARBAGE COLLECT
28.77/28.92 c #Conflicts: 52000 | #Constraints: 6179
28.77/28.92 c #Conflicts: 53000 | #Constraints: 7179
28.77/28.92 c #Conflicts: 54000 | #Constraints: 8179
28.77/28.92 c #Conflicts: 55000 | #Constraints: 9179
28.77/28.92 c #Conflicts: 56000 | #Constraints: 10179
28.77/28.92 c INPROCESSING
28.77/28.92 c GARBAGE COLLECT
28.77/28.92 c #Conflicts: 57000 | #Constraints: 6378
28.77/28.92 c #Conflicts: 58000 | #Constraints: 7378
28.77/28.92 c #Conflicts: 59000 | #Constraints: 8378
28.77/28.92 c #Conflicts: 60000 | #Constraints: 9378
28.77/28.92 c #Conflicts: 61000 | #Constraints: 10378
28.77/28.92 c INPROCESSING
28.77/28.92 c GARBAGE COLLECT
28.77/28.92 c #Conflicts: 62000 | #Constraints: 6379
28.77/28.92 c #Conflicts: 63000 | #Constraints: 7379
28.77/28.92 c #Conflicts: 64000 | #Constraints: 8379
28.77/28.92 c GLOBAL bounds - >= 0 @ 28.3232
81.28/81.68 c #Conflicts: 65000 | #Constraints: 9381
81.28/81.68 c #Conflicts: 66000 | #Constraints: 10381
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 67000 | #Constraints: 6184
81.28/81.68 c #Conflicts: 68000 | #Constraints: 7184
81.28/81.68 c #Conflicts: 69000 | #Constraints: 8184
81.28/81.68 c #Conflicts: 70000 | #Constraints: 9184
81.28/81.68 c #Conflicts: 71000 | #Constraints: 10184
81.28/81.68 c #Conflicts: 72000 | #Constraints: 11184
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 73000 | #Constraints: 6785
81.28/81.68 c #Conflicts: 74000 | #Constraints: 7785
81.28/81.68 c #Conflicts: 75000 | #Constraints: 8785
81.28/81.68 c #Conflicts: 76000 | #Constraints: 9785
81.28/81.68 c #Conflicts: 77000 | #Constraints: 10785
81.28/81.68 c #Conflicts: 78000 | #Constraints: 11785
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 79000 | #Constraints: 7181
81.28/81.68 c #Conflicts: 80000 | #Constraints: 8181
81.28/81.68 c #Conflicts: 81000 | #Constraints: 9181
81.28/81.68 c #Conflicts: 82000 | #Constraints: 10181
81.28/81.68 c #Conflicts: 83000 | #Constraints: 11181
81.28/81.68 c #Conflicts: 84000 | #Constraints: 12181
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 85000 | #Constraints: 7383
81.28/81.68 c #Conflicts: 86000 | #Constraints: 8383
81.28/81.68 c #Conflicts: 87000 | #Constraints: 9383
81.28/81.68 c #Conflicts: 88000 | #Constraints: 10383
81.28/81.68 c #Conflicts: 89000 | #Constraints: 11383
81.28/81.68 c #Conflicts: 90000 | #Constraints: 12383
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 91000 | #Constraints: 7377
81.28/81.68 c #Conflicts: 92000 | #Constraints: 8377
81.28/81.68 c #Conflicts: 93000 | #Constraints: 9377
81.28/81.68 c #Conflicts: 94000 | #Constraints: 10377
81.28/81.68 c #Conflicts: 95000 | #Constraints: 11377
81.28/81.68 c #Conflicts: 96000 | #Constraints: 12377
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 97000 | #Constraints: 7178
81.28/81.68 c #Conflicts: 98000 | #Constraints: 8178
81.28/81.68 c #Conflicts: 99000 | #Constraints: 9178
81.28/81.68 c #Conflicts: 100000 | #Constraints: 10178
81.28/81.68 c #Conflicts: 101000 | #Constraints: 11178
81.28/81.68 c #Conflicts: 102000 | #Constraints: 12178
81.28/81.68 c #Conflicts: 103000 | #Constraints: 13178
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 104000 | #Constraints: 7780
81.28/81.68 c #Conflicts: 105000 | #Constraints: 8780
81.28/81.68 c #Conflicts: 106000 | #Constraints: 9780
81.28/81.68 c #Conflicts: 107000 | #Constraints: 10780
81.28/81.68 c #Conflicts: 108000 | #Constraints: 11780
81.28/81.68 c #Conflicts: 109000 | #Constraints: 12780
81.28/81.68 c #Conflicts: 110000 | #Constraints: 13780
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 111000 | #Constraints: 8185
81.28/81.68 c #Conflicts: 112000 | #Constraints: 9185
81.28/81.68 c #Conflicts: 113000 | #Constraints: 10185
81.28/81.68 c #Conflicts: 114000 | #Constraints: 11185
81.28/81.68 c #Conflicts: 115000 | #Constraints: 12185
81.28/81.68 c #Conflicts: 116000 | #Constraints: 13185
81.28/81.68 c #Conflicts: 117000 | #Constraints: 14185
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 118000 | #Constraints: 8385
81.28/81.68 c #Conflicts: 119000 | #Constraints: 9385
81.28/81.68 c #Conflicts: 120000 | #Constraints: 10385
81.28/81.68 c #Conflicts: 121000 | #Constraints: 11385
81.28/81.68 c #Conflicts: 122000 | #Constraints: 12385
81.28/81.68 c #Conflicts: 123000 | #Constraints: 13385
81.28/81.68 c #Conflicts: 124000 | #Constraints: 14385
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 125000 | #Constraints: 8387
81.28/81.68 c #Conflicts: 126000 | #Constraints: 9387
81.28/81.68 c #Conflicts: 127000 | #Constraints: 10387
81.28/81.68 c #Conflicts: 128000 | #Constraints: 11387
81.28/81.68 c #Conflicts: 129000 | #Constraints: 12387
81.28/81.68 c #Conflicts: 130000 | #Constraints: 13387
81.28/81.68 c #Conflicts: 131000 | #Constraints: 14387
81.28/81.68 c INPROCESSING
81.28/81.68 c GARBAGE COLLECT
81.28/81.68 c #Conflicts: 132000 | #Constraints: 8185
81.28/81.68 c #Conflicts: 133000 | #Constraints: 9185
81.28/81.68 c #Conflicts: 134000 | #Constraints: 10185
81.28/81.68 c #Conflicts: 135000 | #Constraints: 11185
81.28/81.68 c #Conflicts: 136000 | #Constraints: 12185
144.28/144.83 c #Conflicts: 137000 | #Constraints: 13185
144.28/144.83 c #Conflicts: 138000 | #Constraints: 14185
144.28/144.83 c #Conflicts: 139000 | #Constraints: 15185
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 140000 | #Constraints: 8781
144.28/144.83 c #Conflicts: 141000 | #Constraints: 9781
144.28/144.83 c #Conflicts: 142000 | #Constraints: 10781
144.28/144.83 c #Conflicts: 143000 | #Constraints: 11781
144.28/144.83 c #Conflicts: 144000 | #Constraints: 12781
144.28/144.83 c #Conflicts: 145000 | #Constraints: 13781
144.28/144.83 c #Conflicts: 146000 | #Constraints: 14781
144.28/144.83 c #Conflicts: 147000 | #Constraints: 15781
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 148000 | #Constraints: 9187
144.28/144.83 c #Conflicts: 149000 | #Constraints: 10187
144.28/144.83 c #Conflicts: 150000 | #Constraints: 11187
144.28/144.83 c #Conflicts: 151000 | #Constraints: 12187
144.28/144.83 c #Conflicts: 152000 | #Constraints: 13187
144.28/144.83 c #Conflicts: 153000 | #Constraints: 14187
144.28/144.83 c #Conflicts: 154000 | #Constraints: 15187
144.28/144.83 c #Conflicts: 155000 | #Constraints: 16187
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 156000 | #Constraints: 9382
144.28/144.83 c #Conflicts: 157000 | #Constraints: 10382
144.28/144.83 c #Conflicts: 158000 | #Constraints: 11382
144.28/144.83 c #Conflicts: 159000 | #Constraints: 12382
144.28/144.83 c #Conflicts: 160000 | #Constraints: 13382
144.28/144.83 c #Conflicts: 161000 | #Constraints: 14382
144.28/144.83 c #Conflicts: 162000 | #Constraints: 15382
144.28/144.83 c #Conflicts: 163000 | #Constraints: 16382
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 164000 | #Constraints: 9381
144.28/144.83 c #Conflicts: 165000 | #Constraints: 10381
144.28/144.83 c #Conflicts: 166000 | #Constraints: 11381
144.28/144.83 c #Conflicts: 167000 | #Constraints: 12381
144.28/144.83 c #Conflicts: 168000 | #Constraints: 13381
144.28/144.83 c #Conflicts: 169000 | #Constraints: 14381
144.28/144.83 c #Conflicts: 170000 | #Constraints: 15381
144.28/144.83 c #Conflicts: 171000 | #Constraints: 16381
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 172000 | #Constraints: 9180
144.28/144.83 c #Conflicts: 173000 | #Constraints: 10180
144.28/144.83 c #Conflicts: 174000 | #Constraints: 11180
144.28/144.83 c #Conflicts: 175000 | #Constraints: 12180
144.28/144.83 c #Conflicts: 176000 | #Constraints: 13180
144.28/144.83 c #Conflicts: 177000 | #Constraints: 14180
144.28/144.83 c #Conflicts: 178000 | #Constraints: 15180
144.28/144.83 c #Conflicts: 179000 | #Constraints: 16180
144.28/144.83 c #Conflicts: 180000 | #Constraints: 17180
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 181000 | #Constraints: 9782
144.28/144.83 c #Conflicts: 182000 | #Constraints: 10782
144.28/144.83 c #Conflicts: 183000 | #Constraints: 11782
144.28/144.83 c #Conflicts: 184000 | #Constraints: 12782
144.28/144.83 c #Conflicts: 185000 | #Constraints: 13782
144.28/144.83 c #Conflicts: 186000 | #Constraints: 14782
144.28/144.83 c #Conflicts: 187000 | #Constraints: 15782
144.28/144.83 c #Conflicts: 188000 | #Constraints: 16782
144.28/144.83 c #Conflicts: 189000 | #Constraints: 17782
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 190000 | #Constraints: 10184
144.28/144.83 c #Conflicts: 191000 | #Constraints: 11184
144.28/144.83 c #Conflicts: 192000 | #Constraints: 12184
144.28/144.83 c #Conflicts: 193000 | #Constraints: 13184
144.28/144.83 c #Conflicts: 194000 | #Constraints: 14184
144.28/144.83 c #Conflicts: 195000 | #Constraints: 15184
144.28/144.83 c #Conflicts: 196000 | #Constraints: 16184
144.28/144.83 c #Conflicts: 197000 | #Constraints: 17184
144.28/144.83 c #Conflicts: 198000 | #Constraints: 18184
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 199000 | #Constraints: 10377
144.28/144.83 c #Conflicts: 200000 | #Constraints: 11377
144.28/144.83 c #Conflicts: 201000 | #Constraints: 12377
144.28/144.83 c #Conflicts: 202000 | #Constraints: 13377
144.28/144.83 c #Conflicts: 203000 | #Constraints: 14377
144.28/144.83 c #Conflicts: 204000 | #Constraints: 15377
144.28/144.83 c #Conflicts: 205000 | #Constraints: 16377
144.28/144.83 c #Conflicts: 206000 | #Constraints: 17377
144.28/144.83 c #Conflicts: 207000 | #Constraints: 18377
144.28/144.83 c INPROCESSING
144.28/144.83 c GARBAGE COLLECT
144.28/144.83 c #Conflicts: 208000 | #Constraints: 10377
144.28/144.83 c #Conflicts: 209000 | #Constraints: 11377
215.29/216.01 c #Conflicts: 210000 | #Constraints: 12377
215.29/216.01 c #Conflicts: 211000 | #Constraints: 13377
215.29/216.01 c #Conflicts: 212000 | #Constraints: 14377
215.29/216.01 c #Conflicts: 213000 | #Constraints: 15377
215.29/216.01 c #Conflicts: 214000 | #Constraints: 16377
215.29/216.01 c #Conflicts: 215000 | #Constraints: 17377
215.29/216.01 c #Conflicts: 216000 | #Constraints: 18377
215.29/216.01 c INPROCESSING
215.29/216.01 c GARBAGE COLLECT
215.29/216.01 c #Conflicts: 217000 | #Constraints: 10181
215.29/216.01 c #Conflicts: 218000 | #Constraints: 11181
215.29/216.01 c #Conflicts: 219000 | #Constraints: 12181
215.29/216.01 c #Conflicts: 220000 | #Constraints: 13181
215.29/216.01 c #Conflicts: 221000 | #Constraints: 14181
215.29/216.01 c #Conflicts: 222000 | #Constraints: 15181
215.29/216.01 c #Conflicts: 223000 | #Constraints: 16181
215.29/216.01 c #Conflicts: 224000 | #Constraints: 17181
215.29/216.01 c #Conflicts: 225000 | #Constraints: 18181
215.29/216.01 c #Conflicts: 226000 | #Constraints: 19181
215.29/216.01 c INPROCESSING
215.29/216.01 c GARBAGE COLLECT
215.29/216.01 c #Conflicts: 227000 | #Constraints: 10777
215.29/216.01 c #Conflicts: 228000 | #Constraints: 11777
215.29/216.01 c #Conflicts: 229000 | #Constraints: 12777
215.29/216.01 c #Conflicts: 230000 | #Constraints: 13777
215.29/216.01 c #Conflicts: 231000 | #Constraints: 14777
215.29/216.01 c #Conflicts: 232000 | #Constraints: 15777
215.29/216.01 c #Conflicts: 233000 | #Constraints: 16777
215.29/216.01 c #Conflicts: 234000 | #Constraints: 17777
215.29/216.01 c #Conflicts: 235000 | #Constraints: 18777
215.29/216.01 c #Conflicts: 236000 | #Constraints: 19777
215.29/216.01 c INPROCESSING
215.29/216.01 c GARBAGE COLLECT
215.29/216.01 c #Conflicts: 237000 | #Constraints: 11187
215.29/216.01 c #Conflicts: 238000 | #Constraints: 12187
215.29/216.01 c #Conflicts: 239000 | #Constraints: 13187
215.29/216.01 c #Conflicts: 240000 | #Constraints: 14187
215.29/216.01 c #Conflicts: 241000 | #Constraints: 15187
215.29/216.01 c #Conflicts: 242000 | #Constraints: 16187
215.29/216.01 c #Conflicts: 243000 | #Constraints: 17187
215.29/216.01 c #Conflicts: 244000 | #Constraints: 18187
215.29/216.01 c #Conflicts: 245000 | #Constraints: 19187
215.29/216.01 c #Conflicts: 246000 | #Constraints: 20187
215.29/216.01 c INPROCESSING
215.29/216.01 c GARBAGE COLLECT
215.29/216.01 c #Conflicts: 247000 | #Constraints: 11385
215.29/216.01 c #Conflicts: 248000 | #Constraints: 12385
215.29/216.01 c #Conflicts: 249000 | #Constraints: 13385
215.29/216.01 c #Conflicts: 250000 | #Constraints: 14385
215.29/216.01 c #Conflicts: 251000 | #Constraints: 15385
215.29/216.01 c #Conflicts: 252000 | #Constraints: 16385
215.29/216.01 c #Conflicts: 253000 | #Constraints: 17385
215.29/216.01 c #Conflicts: 254000 | #Constraints: 18385
215.29/216.01 c #Conflicts: 255000 | #Constraints: 19385
215.29/216.01 c #Conflicts: 256000 | #Constraints: 20385
215.29/216.01 c INPROCESSING
215.29/216.01 c GARBAGE COLLECT
215.29/216.01 c #Conflicts: 257000 | #Constraints: 11383
215.29/216.01 c #Conflicts: 258000 | #Constraints: 12383
215.29/216.01 c #Conflicts: 259000 | #Constraints: 13383
215.29/216.01 c #Conflicts: 260000 | #Constraints: 14383
215.29/216.01 c #Conflicts: 261000 | #Constraints: 15383
215.29/216.01 c #Conflicts: 262000 | #Constraints: 16383
215.29/216.01 c #Conflicts: 263000 | #Constraints: 17383
215.29/216.01 c #Conflicts: 264000 | #Constraints: 18383
215.29/216.01 c #Conflicts: 265000 | #Constraints: 19383
215.29/216.01 c #Conflicts: 266000 | #Constraints: 20383
215.29/216.01 c INPROCESSING
215.29/216.01 c GARBAGE COLLECT
215.29/216.01 c #Conflicts: 267000 | #Constraints: 11178
215.29/216.01 c #Conflicts: 268000 | #Constraints: 12178
215.29/216.01 c #Conflicts: 269000 | #Constraints: 13178
215.29/216.01 c #Conflicts: 270000 | #Constraints: 14178
215.29/216.01 c #Conflicts: 271000 | #Constraints: 15178
215.29/216.01 c #Conflicts: 272000 | #Constraints: 16178
215.29/216.01 c #Conflicts: 273000 | #Constraints: 17178
215.29/216.01 c #Conflicts: 274000 | #Constraints: 18178
215.29/216.01 c #Conflicts: 275000 | #Constraints: 19178
215.29/216.01 c #Conflicts: 276000 | #Constraints: 20178
215.29/216.01 c #Conflicts: 277000 | #Constraints: 21178
215.29/216.01 c INPROCESSING
215.29/216.01 c GARBAGE COLLECT
215.29/216.01 c #Conflicts: 278000 | #Constraints: 11780
215.29/216.01 c #Conflicts: 279000 | #Constraints: 12780
215.29/216.01 c #Conflicts: 280000 | #Constraints: 13780
215.29/216.01 c #Conflicts: 281000 | #Constraints: 14780
215.29/216.01 c #Conflicts: 282000 | #Constraints: 15780
215.29/216.01 c GLOBAL bounds - >= 0 @ 213.115
300.50/301.56 c #Conflicts: 283000 | #Constraints: 16782
300.50/301.56 c #Conflicts: 284000 | #Constraints: 17782
300.50/301.56 c #Conflicts: 285000 | #Constraints: 18782
300.50/301.56 c #Conflicts: 286000 | #Constraints: 19782
300.50/301.56 c #Conflicts: 287000 | #Constraints: 20782
300.50/301.56 c #Conflicts: 288000 | #Constraints: 21782
300.50/301.56 c INPROCESSING
300.50/301.56 c GARBAGE COLLECT
300.50/301.56 c #Conflicts: 289000 | #Constraints: 12186
300.50/301.56 c #Conflicts: 290000 | #Constraints: 13186
300.50/301.56 c #Conflicts: 291000 | #Constraints: 14186
300.50/301.56 c #Conflicts: 292000 | #Constraints: 15186
300.50/301.56 c #Conflicts: 293000 | #Constraints: 16186
300.50/301.56 c #Conflicts: 294000 | #Constraints: 17186
300.50/301.56 c #Conflicts: 295000 | #Constraints: 18186
300.50/301.56 c #Conflicts: 296000 | #Constraints: 19186
300.50/301.56 c #Conflicts: 297000 | #Constraints: 20186
300.50/301.56 c #Conflicts: 298000 | #Constraints: 21186
300.50/301.56 c #Conflicts: 299000 | #Constraints: 22186
300.50/301.56 c INPROCESSING
300.50/301.56 c GARBAGE COLLECT
300.50/301.56 c #Conflicts: 300000 | #Constraints: 12383
300.50/301.56 c #Conflicts: 301000 | #Constraints: 13383
300.50/301.56 c #Conflicts: 302000 | #Constraints: 14383
300.50/301.56 c #Conflicts: 303000 | #Constraints: 15383
300.50/301.56 c #Conflicts: 304000 | #Constraints: 16383
300.50/301.56 c #Conflicts: 305000 | #Constraints: 17383
300.50/301.56 c #Conflicts: 306000 | #Constraints: 18383
300.50/301.56 c #Conflicts: 307000 | #Constraints: 19383
300.50/301.56 c #Conflicts: 308000 | #Constraints: 20383
300.50/301.56 c #Conflicts: 309000 | #Constraints: 21383
300.50/301.56 c #Conflicts: 310000 | #Constraints: 22383
300.50/301.56 c INPROCESSING
300.50/301.56 c GARBAGE COLLECT
300.50/301.56 c #Conflicts: 311000 | #Constraints: 12383
300.50/301.56 c #Conflicts: 312000 | #Constraints: 13383
300.50/301.56 c #Conflicts: 313000 | #Constraints: 14383
300.50/301.56 c #Conflicts: 314000 | #Constraints: 15383
300.50/301.56 c #Conflicts: 315000 | #Constraints: 16383
300.50/301.56 c #Conflicts: 316000 | #Constraints: 17383
300.50/301.56 c #Conflicts: 317000 | #Constraints: 18383
300.50/301.56 c #Conflicts: 318000 | #Constraints: 19383
300.50/301.56 c #Conflicts: 319000 | #Constraints: 20383
300.50/301.56 c #Conflicts: 320000 | #Constraints: 21383
300.50/301.56 c #Conflicts: 321000 | #Constraints: 22383
300.50/301.56 c INPROCESSING
300.50/301.56 c GARBAGE COLLECT
300.50/301.56 c #Conflicts: 322000 | #Constraints: 12178
300.50/301.56 c #Conflicts: 323000 | #Constraints: 13178
300.50/301.56 c #Conflicts: 324000 | #Constraints: 14178
300.50/301.56 c #Conflicts: 325000 | #Constraints: 15178
300.50/301.56 c #Conflicts: 326000 | #Constraints: 16178
300.50/301.56 c #Conflicts: 327000 | #Constraints: 17178
300.50/301.56 c #Conflicts: 328000 | #Constraints: 18178
300.50/301.56 c #Conflicts: 329000 | #Constraints: 19178
300.50/301.56 c #Conflicts: 330000 | #Constraints: 20178
300.50/301.56 c #Conflicts: 331000 | #Constraints: 21178
300.50/301.56 c #Conflicts: 332000 | #Constraints: 22178
300.50/301.56 c #Conflicts: 333000 | #Constraints: 23178
300.50/301.56 c INPROCESSING
300.50/301.56 c GARBAGE COLLECT
300.50/301.56 c #Conflicts: 334000 | #Constraints: 12776
300.50/301.56 c #Conflicts: 335000 | #Constraints: 13776
300.50/301.56 c #Conflicts: 336000 | #Constraints: 14776
300.50/301.56 c #Conflicts: 337000 | #Constraints: 15776
300.50/301.56 c #Conflicts: 338000 | #Constraints: 16776
300.50/301.56 c #Conflicts: 339000 | #Constraints: 17776
300.50/301.56 c #Conflicts: 340000 | #Constraints: 18776
300.50/301.56 c #Conflicts: 341000 | #Constraints: 19776
300.50/301.56 c #Conflicts: 342000 | #Constraints: 20776
300.50/301.56 c #Conflicts: 343000 | #Constraints: 21776
300.50/301.56 c #Conflicts: 344000 | #Constraints: 22776
300.50/301.56 c #Conflicts: 345000 | #Constraints: 23776
300.50/301.56 c INPROCESSING
300.50/301.56 c GARBAGE COLLECT
300.50/301.56 c #Conflicts: 346000 | #Constraints: 13179
300.50/301.56 c #Conflicts: 347000 | #Constraints: 14179
300.50/301.56 c #Conflicts: 348000 | #Constraints: 15179
300.50/301.56 c #Conflicts: 349000 | #Constraints: 16179
300.50/301.56 c #Conflicts: 350000 | #Constraints: 17179
300.50/301.56 c #Conflicts: 351000 | #Constraints: 18179
300.50/301.56 c #Conflicts: 352000 | #Constraints: 19179
300.50/301.56 c #Conflicts: 353000 | #Constraints: 20179
300.50/301.56 c #Conflicts: 354000 | #Constraints: 21179
300.50/301.56 c #Conflicts: 355000 | #Constraints: 22179
300.50/301.56 c #Conflicts: 356000 | #Constraints: 23179
300.50/301.56 c #Conflicts: 357000 | #Constraints: 24179
403.13/404.50 c INPROCESSING
403.13/404.50 c GARBAGE COLLECT
403.13/404.50 c #Conflicts: 358000 | #Constraints: 13380
403.13/404.50 c #Conflicts: 359000 | #Constraints: 14380
403.13/404.50 c #Conflicts: 360000 | #Constraints: 15380
403.13/404.50 c #Conflicts: 361000 | #Constraints: 16380
403.13/404.50 c #Conflicts: 362000 | #Constraints: 17380
403.13/404.50 c #Conflicts: 363000 | #Constraints: 18380
403.13/404.50 c #Conflicts: 364000 | #Constraints: 19380
403.13/404.50 c #Conflicts: 365000 | #Constraints: 20380
403.13/404.50 c #Conflicts: 366000 | #Constraints: 21380
403.13/404.50 c #Conflicts: 367000 | #Constraints: 22380
403.13/404.50 c #Conflicts: 368000 | #Constraints: 23380
403.13/404.50 c #Conflicts: 369000 | #Constraints: 24380
403.13/404.50 c INPROCESSING
403.13/404.50 c GARBAGE COLLECT
403.13/404.50 c #Conflicts: 370000 | #Constraints: 13388
403.13/404.50 c #Conflicts: 371000 | #Constraints: 14388
403.13/404.50 c #Conflicts: 372000 | #Constraints: 15388
403.13/404.50 c #Conflicts: 373000 | #Constraints: 16388
403.13/404.50 c #Conflicts: 374000 | #Constraints: 17388
403.13/404.50 c #Conflicts: 375000 | #Constraints: 18388
403.13/404.50 c #Conflicts: 376000 | #Constraints: 19388
403.13/404.50 c #Conflicts: 377000 | #Constraints: 20388
403.13/404.50 c #Conflicts: 378000 | #Constraints: 21388
403.13/404.50 c #Conflicts: 379000 | #Constraints: 22388
403.13/404.50 c #Conflicts: 380000 | #Constraints: 23388
403.13/404.50 c #Conflicts: 381000 | #Constraints: 24388
403.13/404.50 c INPROCESSING
403.13/404.50 c GARBAGE COLLECT
403.13/404.50 c #Conflicts: 382000 | #Constraints: 13189
403.13/404.50 c #Conflicts: 383000 | #Constraints: 14189
403.13/404.50 c #Conflicts: 384000 | #Constraints: 15189
403.13/404.50 c #Conflicts: 385000 | #Constraints: 16189
403.13/404.50 c #Conflicts: 386000 | #Constraints: 17189
403.13/404.50 c #Conflicts: 387000 | #Constraints: 18189
403.13/404.50 c #Conflicts: 388000 | #Constraints: 19189
403.13/404.50 c #Conflicts: 389000 | #Constraints: 20189
403.13/404.50 c #Conflicts: 390000 | #Constraints: 21189
403.13/404.50 c #Conflicts: 391000 | #Constraints: 22189
403.13/404.50 c #Conflicts: 392000 | #Constraints: 23189
403.13/404.50 c #Conflicts: 393000 | #Constraints: 24189
403.13/404.50 c #Conflicts: 394000 | #Constraints: 25189
403.13/404.50 c INPROCESSING
403.13/404.50 c GARBAGE COLLECT
403.13/404.50 c #Conflicts: 395000 | #Constraints: 13787
403.13/404.50 c #Conflicts: 396000 | #Constraints: 14787
403.13/404.50 c #Conflicts: 397000 | #Constraints: 15787
403.13/404.50 c #Conflicts: 398000 | #Constraints: 16787
403.13/404.50 c #Conflicts: 399000 | #Constraints: 17787
403.13/404.50 c #Conflicts: 400000 | #Constraints: 18787
403.13/404.50 c #Conflicts: 401000 | #Constraints: 19787
403.13/404.50 c #Conflicts: 402000 | #Constraints: 20787
403.13/404.50 c #Conflicts: 403000 | #Constraints: 21787
403.13/404.50 c #Conflicts: 404000 | #Constraints: 22787
403.13/404.50 c #Conflicts: 405000 | #Constraints: 23787
403.13/404.50 c #Conflicts: 406000 | #Constraints: 24787
403.13/404.50 c #Conflicts: 407000 | #Constraints: 25787
403.13/404.50 c INPROCESSING
403.13/404.50 c GARBAGE COLLECT
403.13/404.50 c #Conflicts: 408000 | #Constraints: 14185
403.13/404.50 c #Conflicts: 409000 | #Constraints: 15185
403.13/404.50 c #Conflicts: 410000 | #Constraints: 16185
403.13/404.50 c #Conflicts: 411000 | #Constraints: 17185
403.13/404.50 c #Conflicts: 412000 | #Constraints: 18185
403.13/404.50 c #Conflicts: 413000 | #Constraints: 19185
403.13/404.50 c #Conflicts: 414000 | #Constraints: 20185
403.13/404.50 c #Conflicts: 415000 | #Constraints: 21185
403.13/404.50 c #Conflicts: 416000 | #Constraints: 22185
403.13/404.50 c #Conflicts: 417000 | #Constraints: 23185
403.13/404.50 c #Conflicts: 418000 | #Constraints: 24185
403.13/404.50 c #Conflicts: 419000 | #Constraints: 25185
403.13/404.50 c #Conflicts: 420000 | #Constraints: 26185
403.13/404.50 c INPROCESSING
403.13/404.50 c GARBAGE COLLECT
403.13/404.50 c #Conflicts: 421000 | #Constraints: 14388
403.13/404.50 c #Conflicts: 422000 | #Constraints: 15388
403.13/404.50 c #Conflicts: 423000 | #Constraints: 16388
403.13/404.50 c #Conflicts: 424000 | #Constraints: 17388
403.13/404.50 c #Conflicts: 425000 | #Constraints: 18388
403.13/404.50 c #Conflicts: 426000 | #Constraints: 19388
403.13/404.50 c #Conflicts: 427000 | #Constraints: 20388
403.13/404.50 c #Conflicts: 428000 | #Constraints: 21388
403.13/404.50 c #Conflicts: 429000 | #Constraints: 22388
403.13/404.50 c #Conflicts: 430000 | #Constraints: 23388
403.13/404.50 c #Conflicts: 431000 | #Constraints: 24388
403.13/404.50 c #Conflicts: 432000 | #Constraints: 25388
504.87/506.65 c #Conflicts: 433000 | #Constraints: 26388
504.87/506.65 c INPROCESSING
504.87/506.65 c GARBAGE COLLECT
504.87/506.65 c #Conflicts: 434000 | #Constraints: 14384
504.87/506.65 c #Conflicts: 435000 | #Constraints: 15384
504.87/506.65 c #Conflicts: 436000 | #Constraints: 16384
504.87/506.65 c #Conflicts: 437000 | #Constraints: 17384
504.87/506.65 c #Conflicts: 438000 | #Constraints: 18384
504.87/506.65 c #Conflicts: 439000 | #Constraints: 19384
504.87/506.65 c #Conflicts: 440000 | #Constraints: 20384
504.87/506.65 c #Conflicts: 441000 | #Constraints: 21384
504.87/506.65 c #Conflicts: 442000 | #Constraints: 22384
504.87/506.65 c #Conflicts: 443000 | #Constraints: 23384
504.87/506.65 c #Conflicts: 444000 | #Constraints: 24384
504.87/506.65 c #Conflicts: 445000 | #Constraints: 25384
504.87/506.65 c #Conflicts: 446000 | #Constraints: 26384
504.87/506.65 c INPROCESSING
504.87/506.65 c GARBAGE COLLECT
504.87/506.65 c #Conflicts: 447000 | #Constraints: 14181
504.87/506.65 c #Conflicts: 448000 | #Constraints: 15181
504.87/506.65 c #Conflicts: 449000 | #Constraints: 16181
504.87/506.65 c #Conflicts: 450000 | #Constraints: 17181
504.87/506.65 c #Conflicts: 451000 | #Constraints: 18181
504.87/506.65 c #Conflicts: 452000 | #Constraints: 19181
504.87/506.65 c #Conflicts: 453000 | #Constraints: 20181
504.87/506.65 c #Conflicts: 454000 | #Constraints: 21181
504.87/506.65 c #Conflicts: 455000 | #Constraints: 22181
504.87/506.65 c #Conflicts: 456000 | #Constraints: 23181
504.87/506.65 c #Conflicts: 457000 | #Constraints: 24181
504.87/506.65 c #Conflicts: 458000 | #Constraints: 25181
504.87/506.65 c #Conflicts: 459000 | #Constraints: 26181
504.87/506.65 c #Conflicts: 460000 | #Constraints: 27181
504.87/506.65 c INPROCESSING
504.87/506.65 c GARBAGE COLLECT
504.87/506.65 c #Conflicts: 461000 | #Constraints: 14781
504.87/506.65 c #Conflicts: 462000 | #Constraints: 15781
504.87/506.65 c #Conflicts: 463000 | #Constraints: 16781
504.87/506.65 c #Conflicts: 464000 | #Constraints: 17781
504.87/506.65 c #Conflicts: 465000 | #Constraints: 18781
504.87/506.65 c #Conflicts: 466000 | #Constraints: 19781
504.87/506.65 c #Conflicts: 467000 | #Constraints: 20781
504.87/506.65 c #Conflicts: 468000 | #Constraints: 21781
504.87/506.65 c #Conflicts: 469000 | #Constraints: 22781
504.87/506.65 c #Conflicts: 470000 | #Constraints: 23781
504.87/506.65 c #Conflicts: 471000 | #Constraints: 24781
504.87/506.65 c #Conflicts: 472000 | #Constraints: 25781
504.87/506.65 c #Conflicts: 473000 | #Constraints: 26781
504.87/506.65 c #Conflicts: 474000 | #Constraints: 27781
504.87/506.65 c INPROCESSING
504.87/506.65 c GARBAGE COLLECT
504.87/506.65 c #Conflicts: 475000 | #Constraints: 15184
504.87/506.65 c #Conflicts: 476000 | #Constraints: 16184
504.87/506.65 c #Conflicts: 477000 | #Constraints: 17184
504.87/506.65 c #Conflicts: 478000 | #Constraints: 18184
504.87/506.65 c #Conflicts: 479000 | #Constraints: 19184
504.87/506.65 c #Conflicts: 480000 | #Constraints: 20184
504.87/506.65 c #Conflicts: 481000 | #Constraints: 21184
504.87/506.65 c #Conflicts: 482000 | #Constraints: 22184
504.87/506.65 c #Conflicts: 483000 | #Constraints: 23184
504.87/506.65 c #Conflicts: 484000 | #Constraints: 24184
504.87/506.65 c #Conflicts: 485000 | #Constraints: 25184
504.87/506.65 c #Conflicts: 486000 | #Constraints: 26184
504.87/506.65 c #Conflicts: 487000 | #Constraints: 27184
504.87/506.65 c #Conflicts: 488000 | #Constraints: 28184
504.87/506.65 c INPROCESSING
504.87/506.65 c GARBAGE COLLECT
504.87/506.65 c #Conflicts: 489000 | #Constraints: 15384
504.87/506.65 c #Conflicts: 490000 | #Constraints: 16384
504.87/506.65 c #Conflicts: 491000 | #Constraints: 17384
504.87/506.65 c #Conflicts: 492000 | #Constraints: 18384
504.87/506.65 c #Conflicts: 493000 | #Constraints: 19384
504.87/506.65 c #Conflicts: 494000 | #Constraints: 20384
504.87/506.65 c #Conflicts: 495000 | #Constraints: 21384
504.87/506.65 c #Conflicts: 496000 | #Constraints: 22384
504.87/506.65 c #Conflicts: 497000 | #Constraints: 23384
504.87/506.65 c #Conflicts: 498000 | #Constraints: 24384
504.87/506.65 c #Conflicts: 499000 | #Constraints: 25384
504.87/506.65 c #Conflicts: 500000 | #Constraints: 26384
504.87/506.65 c #Conflicts: 501000 | #Constraints: 27384
504.87/506.65 c #Conflicts: 502000 | #Constraints: 28384
504.87/506.65 c INPROCESSING
504.87/506.65 c GARBAGE COLLECT
504.87/506.65 c #Conflicts: 503000 | #Constraints: 15383
504.87/506.65 c #Conflicts: 504000 | #Constraints: 16383
504.87/506.65 c #Conflicts: 505000 | #Constraints: 17383
504.87/506.65 c #Conflicts: 506000 | #Constraints: 18383
504.87/506.65 c #Conflicts: 507000 | #Constraints: 19383
636.57/638.81 c #Conflicts: 508000 | #Constraints: 20383
636.57/638.81 c #Conflicts: 509000 | #Constraints: 21383
636.57/638.81 c #Conflicts: 510000 | #Constraints: 22383
636.57/638.81 c #Conflicts: 511000 | #Constraints: 23383
636.57/638.81 c #Conflicts: 512000 | #Constraints: 24383
636.57/638.81 c #Conflicts: 513000 | #Constraints: 25383
636.57/638.81 c #Conflicts: 514000 | #Constraints: 26383
636.57/638.81 c #Conflicts: 515000 | #Constraints: 27383
636.57/638.81 c #Conflicts: 516000 | #Constraints: 28383
636.57/638.81 c INPROCESSING
636.57/638.81 c GARBAGE COLLECT
636.57/638.81 c #Conflicts: 517000 | #Constraints: 15187
636.57/638.81 c #Conflicts: 518000 | #Constraints: 16187
636.57/638.81 c #Conflicts: 519000 | #Constraints: 17187
636.57/638.81 c #Conflicts: 520000 | #Constraints: 18187
636.57/638.81 c #Conflicts: 521000 | #Constraints: 19187
636.57/638.81 c #Conflicts: 522000 | #Constraints: 20187
636.57/638.81 c #Conflicts: 523000 | #Constraints: 21187
636.57/638.81 c #Conflicts: 524000 | #Constraints: 22187
636.57/638.81 c #Conflicts: 525000 | #Constraints: 23187
636.57/638.81 c #Conflicts: 526000 | #Constraints: 24187
636.57/638.81 c #Conflicts: 527000 | #Constraints: 25187
636.57/638.81 c #Conflicts: 528000 | #Constraints: 26187
636.57/638.81 c #Conflicts: 529000 | #Constraints: 27187
636.57/638.81 c #Conflicts: 530000 | #Constraints: 28187
636.57/638.81 c #Conflicts: 531000 | #Constraints: 29187
636.57/638.81 c INPROCESSING
636.57/638.81 c GARBAGE COLLECT
636.57/638.81 c #Conflicts: 532000 | #Constraints: 15782
636.57/638.81 c #Conflicts: 533000 | #Constraints: 16782
636.57/638.81 c #Conflicts: 534000 | #Constraints: 17782
636.57/638.81 c #Conflicts: 535000 | #Constraints: 18782
636.57/638.81 c #Conflicts: 536000 | #Constraints: 19782
636.57/638.81 c #Conflicts: 537000 | #Constraints: 20782
636.57/638.81 c #Conflicts: 538000 | #Constraints: 21782
636.57/638.81 c #Conflicts: 539000 | #Constraints: 22782
636.57/638.81 c #Conflicts: 540000 | #Constraints: 23782
636.57/638.81 c #Conflicts: 541000 | #Constraints: 24782
636.57/638.81 c #Conflicts: 542000 | #Constraints: 25782
636.57/638.81 c #Conflicts: 543000 | #Constraints: 26782
636.57/638.81 c #Conflicts: 544000 | #Constraints: 27782
636.57/638.81 c #Conflicts: 545000 | #Constraints: 28782
636.57/638.81 c #Conflicts: 546000 | #Constraints: 29782
636.57/638.81 c INPROCESSING
636.57/638.81 c GARBAGE COLLECT
636.57/638.81 c #Conflicts: 547000 | #Constraints: 16182
636.57/638.81 c #Conflicts: 548000 | #Constraints: 17182
636.57/638.81 c #Conflicts: 549000 | #Constraints: 18182
636.57/638.81 c #Conflicts: 550000 | #Constraints: 19182
636.57/638.81 c #Conflicts: 551000 | #Constraints: 20182
636.57/638.81 c #Conflicts: 552000 | #Constraints: 21182
636.57/638.81 c #Conflicts: 553000 | #Constraints: 22182
636.57/638.81 c #Conflicts: 554000 | #Constraints: 23182
636.57/638.81 c #Conflicts: 555000 | #Constraints: 24182
636.57/638.81 c #Conflicts: 556000 | #Constraints: 25182
636.57/638.81 c #Conflicts: 557000 | #Constraints: 26182
636.57/638.81 c #Conflicts: 558000 | #Constraints: 27182
636.57/638.81 c #Conflicts: 559000 | #Constraints: 28182
636.57/638.81 c #Conflicts: 560000 | #Constraints: 29182
636.57/638.81 c #Conflicts: 561000 | #Constraints: 30182
636.57/638.81 c INPROCESSING
636.57/638.81 c GARBAGE COLLECT
636.57/638.81 c #Conflicts: 562000 | #Constraints: 16384
636.57/638.81 c #Conflicts: 563000 | #Constraints: 17384
636.57/638.81 c #Conflicts: 564000 | #Constraints: 18384
636.57/638.81 c #Conflicts: 565000 | #Constraints: 19384
636.57/638.81 c #Conflicts: 566000 | #Constraints: 20384
636.57/638.81 c #Conflicts: 567000 | #Constraints: 21384
636.57/638.81 c #Conflicts: 568000 | #Constraints: 22384
636.57/638.81 c #Conflicts: 569000 | #Constraints: 23384
636.57/638.81 c #Conflicts: 570000 | #Constraints: 24384
636.57/638.81 c #Conflicts: 571000 | #Constraints: 25384
636.57/638.81 c #Conflicts: 572000 | #Constraints: 26384
636.57/638.81 c #Conflicts: 573000 | #Constraints: 27384
636.57/638.81 c #Conflicts: 574000 | #Constraints: 28384
636.57/638.81 c #Conflicts: 575000 | #Constraints: 29384
636.57/638.81 c #Conflicts: 576000 | #Constraints: 30384
636.57/638.81 c INPROCESSING
636.57/638.81 c GARBAGE COLLECT
636.57/638.81 c #Conflicts: 577000 | #Constraints: 16390
636.57/638.81 c #Conflicts: 578000 | #Constraints: 17390
636.57/638.81 c #Conflicts: 579000 | #Constraints: 18390
636.57/638.81 c #Conflicts: 580000 | #Constraints: 19390
636.57/638.81 c #Conflicts: 581000 | #Constraints: 20390
636.57/638.81 c #Conflicts: 582000 | #Constraints: 21390
636.57/638.81 c #Conflicts: 583000 | #Constraints: 22390
774.43/777.27 c #Conflicts: 584000 | #Constraints: 23390
774.43/777.27 c #Conflicts: 585000 | #Constraints: 24390
774.43/777.27 c #Conflicts: 586000 | #Constraints: 25390
774.43/777.27 c #Conflicts: 587000 | #Constraints: 26390
774.43/777.27 c #Conflicts: 588000 | #Constraints: 27390
774.43/777.27 c #Conflicts: 589000 | #Constraints: 28390
774.43/777.27 c #Conflicts: 590000 | #Constraints: 29390
774.43/777.27 c #Conflicts: 591000 | #Constraints: 30390
774.43/777.27 c INPROCESSING
774.43/777.27 c GARBAGE COLLECT
774.43/777.27 c #Conflicts: 592000 | #Constraints: 16191
774.43/777.27 c #Conflicts: 593000 | #Constraints: 17191
774.43/777.27 c #Conflicts: 594000 | #Constraints: 18191
774.43/777.27 c #Conflicts: 595000 | #Constraints: 19191
774.43/777.27 c #Conflicts: 596000 | #Constraints: 20191
774.43/777.27 c #Conflicts: 597000 | #Constraints: 21191
774.43/777.27 c #Conflicts: 598000 | #Constraints: 22191
774.43/777.27 c #Conflicts: 599000 | #Constraints: 23191
774.43/777.27 c #Conflicts: 600000 | #Constraints: 24191
774.43/777.27 c #Conflicts: 601000 | #Constraints: 25191
774.43/777.27 c #Conflicts: 602000 | #Constraints: 26191
774.43/777.27 c #Conflicts: 603000 | #Constraints: 27191
774.43/777.27 c #Conflicts: 604000 | #Constraints: 28191
774.43/777.27 c #Conflicts: 605000 | #Constraints: 29191
774.43/777.27 c #Conflicts: 606000 | #Constraints: 30191
774.43/777.27 c #Conflicts: 607000 | #Constraints: 31191
774.43/777.27 c INPROCESSING
774.43/777.27 c GARBAGE COLLECT
774.43/777.27 c #Conflicts: 608000 | #Constraints: 16789
774.43/777.27 c #Conflicts: 609000 | #Constraints: 17789
774.43/777.27 c #Conflicts: 610000 | #Constraints: 18789
774.43/777.27 c #Conflicts: 611000 | #Constraints: 19789
774.43/777.27 c #Conflicts: 612000 | #Constraints: 20789
774.43/777.27 c #Conflicts: 613000 | #Constraints: 21789
774.43/777.27 c #Conflicts: 614000 | #Constraints: 22789
774.43/777.27 c #Conflicts: 615000 | #Constraints: 23789
774.43/777.27 c #Conflicts: 616000 | #Constraints: 24789
774.43/777.27 c #Conflicts: 617000 | #Constraints: 25789
774.43/777.27 c #Conflicts: 618000 | #Constraints: 26789
774.43/777.27 c #Conflicts: 619000 | #Constraints: 27789
774.43/777.27 c #Conflicts: 620000 | #Constraints: 28789
774.43/777.27 c #Conflicts: 621000 | #Constraints: 29789
774.43/777.27 c #Conflicts: 622000 | #Constraints: 30789
774.43/777.27 c #Conflicts: 623000 | #Constraints: 31789
774.43/777.27 c INPROCESSING
774.43/777.27 c GARBAGE COLLECT
774.43/777.27 c #Conflicts: 624000 | #Constraints: 17185
774.43/777.27 c #Conflicts: 625000 | #Constraints: 18185
774.43/777.27 c #Conflicts: 626000 | #Constraints: 19185
774.43/777.27 c #Conflicts: 627000 | #Constraints: 20185
774.43/777.27 c #Conflicts: 628000 | #Constraints: 21185
774.43/777.27 c #Conflicts: 629000 | #Constraints: 22185
774.43/777.27 c #Conflicts: 630000 | #Constraints: 23185
774.43/777.27 c #Conflicts: 631000 | #Constraints: 24185
774.43/777.27 c #Conflicts: 632000 | #Constraints: 25185
774.43/777.27 c #Conflicts: 633000 | #Constraints: 26185
774.43/777.27 c #Conflicts: 634000 | #Constraints: 27185
774.43/777.27 c #Conflicts: 635000 | #Constraints: 28185
774.43/777.27 c #Conflicts: 636000 | #Constraints: 29185
774.43/777.27 c #Conflicts: 637000 | #Constraints: 30185
774.43/777.27 c #Conflicts: 638000 | #Constraints: 31185
774.43/777.27 c #Conflicts: 639000 | #Constraints: 32185
774.43/777.27 c INPROCESSING
774.43/777.27 c GARBAGE COLLECT
774.43/777.27 c #Conflicts: 640000 | #Constraints: 17386
774.43/777.27 c #Conflicts: 641000 | #Constraints: 18386
774.43/777.27 c #Conflicts: 642000 | #Constraints: 19386
774.43/777.27 c #Conflicts: 643000 | #Constraints: 20386
774.43/777.27 c #Conflicts: 644000 | #Constraints: 21386
774.43/777.27 c #Conflicts: 645000 | #Constraints: 22386
774.43/777.27 c #Conflicts: 646000 | #Constraints: 23386
774.43/777.27 c #Conflicts: 647000 | #Constraints: 24386
774.43/777.27 c #Conflicts: 648000 | #Constraints: 25386
774.43/777.27 c #Conflicts: 649000 | #Constraints: 26386
774.43/777.27 c #Conflicts: 650000 | #Constraints: 27386
774.43/777.27 c #Conflicts: 651000 | #Constraints: 28386
774.43/777.27 c #Conflicts: 652000 | #Constraints: 29386
774.43/777.27 c #Conflicts: 653000 | #Constraints: 30386
774.43/777.27 c #Conflicts: 654000 | #Constraints: 31386
774.43/777.27 c #Conflicts: 655000 | #Constraints: 32386
774.43/777.27 c INPROCESSING
774.43/777.27 c GARBAGE COLLECT
774.43/777.27 c #Conflicts: 656000 | #Constraints: 17383
774.43/777.27 c #Conflicts: 657000 | #Constraints: 18383
774.43/777.27 c #Conflicts: 658000 | #Constraints: 19383
774.43/777.27 c #Conflicts: 659000 | #Constraints: 20383
911.03/914.39 c #Conflicts: 660000 | #Constraints: 21383
911.03/914.39 c #Conflicts: 661000 | #Constraints: 22383
911.03/914.39 c #Conflicts: 662000 | #Constraints: 23383
911.03/914.39 c #Conflicts: 663000 | #Constraints: 24383
911.03/914.39 c #Conflicts: 664000 | #Constraints: 25383
911.03/914.39 c #Conflicts: 665000 | #Constraints: 26383
911.03/914.39 c #Conflicts: 666000 | #Constraints: 27383
911.03/914.39 c #Conflicts: 667000 | #Constraints: 28383
911.03/914.39 c #Conflicts: 668000 | #Constraints: 29383
911.03/914.39 c #Conflicts: 669000 | #Constraints: 30383
911.03/914.39 c #Conflicts: 670000 | #Constraints: 31383
911.03/914.39 c #Conflicts: 671000 | #Constraints: 32383
911.03/914.39 c INPROCESSING
911.03/914.39 c GARBAGE COLLECT
911.03/914.39 c #Conflicts: 672000 | #Constraints: 17186
911.03/914.39 c #Conflicts: 673000 | #Constraints: 18186
911.03/914.39 c #Conflicts: 674000 | #Constraints: 19186
911.03/914.39 c #Conflicts: 675000 | #Constraints: 20186
911.03/914.39 c #Conflicts: 676000 | #Constraints: 21186
911.03/914.39 c #Conflicts: 677000 | #Constraints: 22186
911.03/914.39 c #Conflicts: 678000 | #Constraints: 23186
911.03/914.39 c #Conflicts: 679000 | #Constraints: 24186
911.03/914.39 c #Conflicts: 680000 | #Constraints: 25186
911.03/914.39 c #Conflicts: 681000 | #Constraints: 26186
911.03/914.39 c #Conflicts: 682000 | #Constraints: 27186
911.03/914.39 c #Conflicts: 683000 | #Constraints: 28186
911.03/914.39 c #Conflicts: 684000 | #Constraints: 29186
911.03/914.39 c #Conflicts: 685000 | #Constraints: 30186
911.03/914.39 c #Conflicts: 686000 | #Constraints: 31186
911.03/914.39 c #Conflicts: 687000 | #Constraints: 32186
911.03/914.39 c #Conflicts: 688000 | #Constraints: 33186
911.03/914.39 c INPROCESSING
911.03/914.39 c GARBAGE COLLECT
911.03/914.39 c #Conflicts: 689000 | #Constraints: 17787
911.03/914.39 c #Conflicts: 690000 | #Constraints: 18787
911.03/914.39 c #Conflicts: 691000 | #Constraints: 19787
911.03/914.39 c #Conflicts: 692000 | #Constraints: 20787
911.03/914.39 c #Conflicts: 693000 | #Constraints: 21787
911.03/914.39 c #Conflicts: 694000 | #Constraints: 22787
911.03/914.39 c #Conflicts: 695000 | #Constraints: 23787
911.03/914.39 c #Conflicts: 696000 | #Constraints: 24787
911.03/914.39 c #Conflicts: 697000 | #Constraints: 25787
911.03/914.39 c #Conflicts: 698000 | #Constraints: 26787
911.03/914.39 c #Conflicts: 699000 | #Constraints: 27787
911.03/914.39 c #Conflicts: 700000 | #Constraints: 28787
911.03/914.39 c #Conflicts: 701000 | #Constraints: 29787
911.03/914.39 c #Conflicts: 702000 | #Constraints: 30787
911.03/914.39 c #Conflicts: 703000 | #Constraints: 31787
911.03/914.39 c #Conflicts: 704000 | #Constraints: 32787
911.03/914.39 c #Conflicts: 705000 | #Constraints: 33787
911.03/914.39 c INPROCESSING
911.03/914.39 c GARBAGE COLLECT
911.03/914.39 c #Conflicts: 706000 | #Constraints: 18193
911.03/914.39 c #Conflicts: 707000 | #Constraints: 19193
911.03/914.39 c #Conflicts: 708000 | #Constraints: 20193
911.03/914.39 c #Conflicts: 709000 | #Constraints: 21193
911.03/914.39 c #Conflicts: 710000 | #Constraints: 22193
911.03/914.39 c #Conflicts: 711000 | #Constraints: 23193
911.03/914.39 c #Conflicts: 712000 | #Constraints: 24193
911.03/914.39 c #Conflicts: 713000 | #Constraints: 25193
911.03/914.39 c #Conflicts: 714000 | #Constraints: 26193
911.03/914.39 c #Conflicts: 715000 | #Constraints: 27193
911.03/914.39 c #Conflicts: 716000 | #Constraints: 28193
911.03/914.39 c #Conflicts: 717000 | #Constraints: 29193
911.03/914.39 c #Conflicts: 718000 | #Constraints: 30193
911.03/914.39 c #Conflicts: 719000 | #Constraints: 31193
911.03/914.39 c #Conflicts: 720000 | #Constraints: 32193
911.03/914.39 c #Conflicts: 721000 | #Constraints: 33193
911.03/914.39 c #Conflicts: 722000 | #Constraints: 34193
911.03/914.39 c INPROCESSING
911.03/914.39 c GARBAGE COLLECT
911.03/914.39 c #Conflicts: 723000 | #Constraints: 18396
911.03/914.39 c #Conflicts: 724000 | #Constraints: 19396
911.03/914.39 c #Conflicts: 725000 | #Constraints: 20396
911.03/914.39 c #Conflicts: 726000 | #Constraints: 21396
911.03/914.39 c #Conflicts: 727000 | #Constraints: 22396
911.03/914.39 c #Conflicts: 728000 | #Constraints: 23396
911.03/914.39 c #Conflicts: 729000 | #Constraints: 24396
911.03/914.39 c #Conflicts: 730000 | #Constraints: 25396
911.03/914.39 c #Conflicts: 731000 | #Constraints: 26396
911.03/914.39 c #Conflicts: 732000 | #Constraints: 27396
911.03/914.39 c #Conflicts: 733000 | #Constraints: 28396
911.03/914.39 c #Conflicts: 734000 | #Constraints: 29396
911.03/914.39 c #Conflicts: 735000 | #Constraints: 30396
1067.78/1071.61 c #Conflicts: 736000 | #Constraints: 31396
1067.78/1071.61 c #Conflicts: 737000 | #Constraints: 32396
1067.78/1071.61 c #Conflicts: 738000 | #Constraints: 33396
1067.78/1071.61 c #Conflicts: 739000 | #Constraints: 34396
1067.78/1071.61 c INPROCESSING
1067.78/1071.61 c GARBAGE COLLECT
1067.78/1071.61 c #Conflicts: 740000 | #Constraints: 18391
1067.78/1071.61 c #Conflicts: 741000 | #Constraints: 19391
1067.78/1071.61 c #Conflicts: 742000 | #Constraints: 20391
1067.78/1071.61 c #Conflicts: 743000 | #Constraints: 21391
1067.78/1071.61 c #Conflicts: 744000 | #Constraints: 22391
1067.78/1071.61 c #Conflicts: 745000 | #Constraints: 23391
1067.78/1071.61 c #Conflicts: 746000 | #Constraints: 24391
1067.78/1071.61 c #Conflicts: 747000 | #Constraints: 25391
1067.78/1071.61 c #Conflicts: 748000 | #Constraints: 26391
1067.78/1071.61 c #Conflicts: 749000 | #Constraints: 27391
1067.78/1071.61 c #Conflicts: 750000 | #Constraints: 28391
1067.78/1071.61 c #Conflicts: 751000 | #Constraints: 29391
1067.78/1071.61 c #Conflicts: 752000 | #Constraints: 30391
1067.78/1071.61 c #Conflicts: 753000 | #Constraints: 31391
1067.78/1071.61 c #Conflicts: 754000 | #Constraints: 32391
1067.78/1071.61 c #Conflicts: 755000 | #Constraints: 33391
1067.78/1071.61 c #Conflicts: 756000 | #Constraints: 34391
1067.78/1071.61 c INPROCESSING
1067.78/1071.61 c GARBAGE COLLECT
1067.78/1071.61 c #Conflicts: 757000 | #Constraints: 18193
1067.78/1071.61 c #Conflicts: 758000 | #Constraints: 19193
1067.78/1071.61 c #Conflicts: 759000 | #Constraints: 20193
1067.78/1071.61 c #Conflicts: 760000 | #Constraints: 21193
1067.78/1071.61 c #Conflicts: 761000 | #Constraints: 22193
1067.78/1071.61 c #Conflicts: 762000 | #Constraints: 23193
1067.78/1071.61 c #Conflicts: 763000 | #Constraints: 24193
1067.78/1071.61 c #Conflicts: 764000 | #Constraints: 25193
1067.78/1071.61 c #Conflicts: 765000 | #Constraints: 26193
1067.78/1071.61 c #Conflicts: 766000 | #Constraints: 27193
1067.78/1071.61 c #Conflicts: 767000 | #Constraints: 28193
1067.78/1071.61 c #Conflicts: 768000 | #Constraints: 29193
1067.78/1071.61 c #Conflicts: 769000 | #Constraints: 30193
1067.78/1071.61 c #Conflicts: 770000 | #Constraints: 31193
1067.78/1071.61 c #Conflicts: 771000 | #Constraints: 32193
1067.78/1071.61 c #Conflicts: 772000 | #Constraints: 33193
1067.78/1071.61 c #Conflicts: 773000 | #Constraints: 34193
1067.78/1071.61 c #Conflicts: 774000 | #Constraints: 35193
1067.78/1071.61 c INPROCESSING
1067.78/1071.61 c GARBAGE COLLECT
1067.78/1071.61 c #Conflicts: 775000 | #Constraints: 18787
1067.78/1071.61 c #Conflicts: 776000 | #Constraints: 19787
1067.78/1071.61 c #Conflicts: 777000 | #Constraints: 20787
1067.78/1071.61 c #Conflicts: 778000 | #Constraints: 21787
1067.78/1071.61 c #Conflicts: 779000 | #Constraints: 22787
1067.78/1071.61 c #Conflicts: 780000 | #Constraints: 23787
1067.78/1071.61 c #Conflicts: 781000 | #Constraints: 24787
1067.78/1071.61 c #Conflicts: 782000 | #Constraints: 25787
1067.78/1071.61 c #Conflicts: 783000 | #Constraints: 26787
1067.78/1071.61 c #Conflicts: 784000 | #Constraints: 27787
1067.78/1071.61 c #Conflicts: 785000 | #Constraints: 28787
1067.78/1071.61 c #Conflicts: 786000 | #Constraints: 29787
1067.78/1071.61 c #Conflicts: 787000 | #Constraints: 30787
1067.78/1071.61 c #Conflicts: 788000 | #Constraints: 31787
1067.78/1071.61 c #Conflicts: 789000 | #Constraints: 32787
1067.78/1071.61 c #Conflicts: 790000 | #Constraints: 33787
1067.78/1071.61 c #Conflicts: 791000 | #Constraints: 34787
1067.78/1071.61 c #Conflicts: 792000 | #Constraints: 35787
1067.78/1071.61 c INPROCESSING
1067.78/1071.61 c GARBAGE COLLECT
1067.78/1071.61 c #Conflicts: 793000 | #Constraints: 19188
1067.78/1071.61 c #Conflicts: 794000 | #Constraints: 20188
1067.78/1071.61 c #Conflicts: 795000 | #Constraints: 21188
1067.78/1071.61 c #Conflicts: 796000 | #Constraints: 22188
1067.78/1071.61 c #Conflicts: 797000 | #Constraints: 23188
1067.78/1071.61 c #Conflicts: 798000 | #Constraints: 24188
1067.78/1071.61 c #Conflicts: 799000 | #Constraints: 25188
1067.78/1071.61 c #Conflicts: 800000 | #Constraints: 26188
1067.78/1071.61 c #Conflicts: 801000 | #Constraints: 27188
1067.78/1071.61 c #Conflicts: 802000 | #Constraints: 28188
1067.78/1071.61 c #Conflicts: 803000 | #Constraints: 29188
1067.78/1071.61 c #Conflicts: 804000 | #Constraints: 30188
1067.78/1071.61 c #Conflicts: 805000 | #Constraints: 31188
1067.78/1071.61 c #Conflicts: 806000 | #Constraints: 32188
1067.78/1071.61 c #Conflicts: 807000 | #Constraints: 33188
1067.78/1071.61 c #Conflicts: 808000 | #Constraints: 34188
1067.78/1071.61 c #Conflicts: 809000 | #Constraints: 35188
1067.78/1071.61 c #Conflicts: 810000 | #Constraints: 36188
1067.78/1071.61 c INPROCESSING
1067.78/1071.61 c GARBAGE COLLECT
1236.15/1240.68 c #Conflicts: 811000 | #Constraints: 19386
1236.15/1240.68 c #Conflicts: 812000 | #Constraints: 20386
1236.15/1240.68 c #Conflicts: 813000 | #Constraints: 21386
1236.15/1240.68 c #Conflicts: 814000 | #Constraints: 22386
1236.15/1240.68 c #Conflicts: 815000 | #Constraints: 23386
1236.15/1240.68 c #Conflicts: 816000 | #Constraints: 24386
1236.15/1240.68 c #Conflicts: 817000 | #Constraints: 25386
1236.15/1240.68 c #Conflicts: 818000 | #Constraints: 26386
1236.15/1240.68 c #Conflicts: 819000 | #Constraints: 27386
1236.15/1240.68 c #Conflicts: 820000 | #Constraints: 28386
1236.15/1240.68 c #Conflicts: 821000 | #Constraints: 29386
1236.15/1240.68 c #Conflicts: 822000 | #Constraints: 30386
1236.15/1240.68 c #Conflicts: 823000 | #Constraints: 31386
1236.15/1240.68 c #Conflicts: 824000 | #Constraints: 32386
1236.15/1240.68 c #Conflicts: 825000 | #Constraints: 33386
1236.15/1240.68 c #Conflicts: 826000 | #Constraints: 34386
1236.15/1240.68 c #Conflicts: 827000 | #Constraints: 35386
1236.15/1240.68 c #Conflicts: 828000 | #Constraints: 36386
1236.15/1240.68 c INPROCESSING
1236.15/1240.68 c GARBAGE COLLECT
1236.15/1240.68 c #Conflicts: 829000 | #Constraints: 19384
1236.15/1240.68 c #Conflicts: 830000 | #Constraints: 20384
1236.15/1240.68 c #Conflicts: 831000 | #Constraints: 21384
1236.15/1240.68 c #Conflicts: 832000 | #Constraints: 22384
1236.15/1240.68 c #Conflicts: 833000 | #Constraints: 23384
1236.15/1240.68 c #Conflicts: 834000 | #Constraints: 24384
1236.15/1240.68 c #Conflicts: 835000 | #Constraints: 25384
1236.15/1240.68 c #Conflicts: 836000 | #Constraints: 26384
1236.15/1240.68 c #Conflicts: 837000 | #Constraints: 27384
1236.15/1240.68 c #Conflicts: 838000 | #Constraints: 28384
1236.15/1240.68 c #Conflicts: 839000 | #Constraints: 29384
1236.15/1240.68 c #Conflicts: 840000 | #Constraints: 30384
1236.15/1240.68 c #Conflicts: 841000 | #Constraints: 31384
1236.15/1240.68 c #Conflicts: 842000 | #Constraints: 32384
1236.15/1240.68 c #Conflicts: 843000 | #Constraints: 33384
1236.15/1240.68 c #Conflicts: 844000 | #Constraints: 34384
1236.15/1240.68 c #Conflicts: 845000 | #Constraints: 35384
1236.15/1240.68 c #Conflicts: 846000 | #Constraints: 36384
1236.15/1240.68 c INPROCESSING
1236.15/1240.68 c GARBAGE COLLECT
1236.15/1240.68 c #Conflicts: 847000 | #Constraints: 19177
1236.15/1240.68 c #Conflicts: 848000 | #Constraints: 20177
1236.15/1240.68 c #Conflicts: 849000 | #Constraints: 21177
1236.15/1240.68 c #Conflicts: 850000 | #Constraints: 22177
1236.15/1240.68 c #Conflicts: 851000 | #Constraints: 23177
1236.15/1240.68 c #Conflicts: 852000 | #Constraints: 24177
1236.15/1240.68 c #Conflicts: 853000 | #Constraints: 25177
1236.15/1240.68 c #Conflicts: 854000 | #Constraints: 26177
1236.15/1240.68 c #Conflicts: 855000 | #Constraints: 27177
1236.15/1240.68 c #Conflicts: 856000 | #Constraints: 28177
1236.15/1240.68 c #Conflicts: 857000 | #Constraints: 29177
1236.15/1240.68 c #Conflicts: 858000 | #Constraints: 30177
1236.15/1240.68 c #Conflicts: 859000 | #Constraints: 31177
1236.15/1240.68 c #Conflicts: 860000 | #Constraints: 32177
1236.15/1240.68 c #Conflicts: 861000 | #Constraints: 33177
1236.15/1240.68 c #Conflicts: 862000 | #Constraints: 34177
1236.15/1240.68 c #Conflicts: 863000 | #Constraints: 35177
1236.15/1240.68 c #Conflicts: 864000 | #Constraints: 36177
1236.15/1240.68 c #Conflicts: 865000 | #Constraints: 37177
1236.15/1240.68 c INPROCESSING
1236.15/1240.68 c GARBAGE COLLECT
1236.15/1240.68 c #Conflicts: 866000 | #Constraints: 19786
1236.15/1240.68 c #Conflicts: 867000 | #Constraints: 20786
1236.15/1240.68 c #Conflicts: 868000 | #Constraints: 21786
1236.15/1240.68 c #Conflicts: 869000 | #Constraints: 22786
1236.15/1240.68 c #Conflicts: 870000 | #Constraints: 23786
1236.15/1240.68 c #Conflicts: 871000 | #Constraints: 24786
1236.15/1240.68 c #Conflicts: 872000 | #Constraints: 25786
1236.15/1240.68 c #Conflicts: 873000 | #Constraints: 26786
1236.15/1240.68 c #Conflicts: 874000 | #Constraints: 27786
1236.15/1240.68 c #Conflicts: 875000 | #Constraints: 28786
1236.15/1240.68 c #Conflicts: 876000 | #Constraints: 29786
1236.15/1240.68 c #Conflicts: 877000 | #Constraints: 30786
1236.15/1240.68 c #Conflicts: 878000 | #Constraints: 31786
1236.15/1240.68 c #Conflicts: 879000 | #Constraints: 32786
1236.15/1240.68 c #Conflicts: 880000 | #Constraints: 33786
1236.15/1240.68 c #Conflicts: 881000 | #Constraints: 34786
1236.15/1240.68 c #Conflicts: 882000 | #Constraints: 35786
1236.15/1240.68 c #Conflicts: 883000 | #Constraints: 36786
1236.15/1240.68 c #Conflicts: 884000 | #Constraints: 37786
1236.15/1240.68 c INPROCESSING
1236.15/1240.68 c GARBAGE COLLECT
1236.15/1240.68 c #Conflicts: 885000 | #Constraints: 20184
1236.15/1240.68 c #Conflicts: 886000 | #Constraints: 21184
1236.15/1240.68 c #Conflicts: 887000 | #Constraints: 22184
1399.44/1404.55 c #Conflicts: 888000 | #Constraints: 23184
1399.44/1404.55 c #Conflicts: 889000 | #Constraints: 24184
1399.44/1404.55 c #Conflicts: 890000 | #Constraints: 25184
1399.44/1404.55 c #Conflicts: 891000 | #Constraints: 26184
1399.44/1404.55 c #Conflicts: 892000 | #Constraints: 27184
1399.44/1404.55 c #Conflicts: 893000 | #Constraints: 28184
1399.44/1404.55 c #Conflicts: 894000 | #Constraints: 29184
1399.44/1404.55 c #Conflicts: 895000 | #Constraints: 30184
1399.44/1404.55 c #Conflicts: 896000 | #Constraints: 31184
1399.44/1404.55 c #Conflicts: 897000 | #Constraints: 32184
1399.44/1404.55 c #Conflicts: 898000 | #Constraints: 33184
1399.44/1404.55 c #Conflicts: 899000 | #Constraints: 34184
1399.44/1404.55 c #Conflicts: 900000 | #Constraints: 35184
1399.44/1404.55 c #Conflicts: 901000 | #Constraints: 36184
1399.44/1404.55 c #Conflicts: 902000 | #Constraints: 37184
1399.44/1404.55 c #Conflicts: 903000 | #Constraints: 38184
1399.44/1404.55 c INPROCESSING
1399.44/1404.55 c GARBAGE COLLECT
1399.44/1404.55 c #Conflicts: 904000 | #Constraints: 20389
1399.44/1404.55 c #Conflicts: 905000 | #Constraints: 21389
1399.44/1404.55 c #Conflicts: 906000 | #Constraints: 22389
1399.44/1404.55 c #Conflicts: 907000 | #Constraints: 23389
1399.44/1404.55 c #Conflicts: 908000 | #Constraints: 24389
1399.44/1404.55 c #Conflicts: 909000 | #Constraints: 25389
1399.44/1404.55 c #Conflicts: 910000 | #Constraints: 26389
1399.44/1404.55 c #Conflicts: 911000 | #Constraints: 27389
1399.44/1404.55 c #Conflicts: 912000 | #Constraints: 28389
1399.44/1404.55 c #Conflicts: 913000 | #Constraints: 29389
1399.44/1404.55 c #Conflicts: 914000 | #Constraints: 30389
1399.44/1404.55 c #Conflicts: 915000 | #Constraints: 31389
1399.44/1404.55 c #Conflicts: 916000 | #Constraints: 32389
1399.44/1404.55 c #Conflicts: 917000 | #Constraints: 33389
1399.44/1404.55 c #Conflicts: 918000 | #Constraints: 34389
1399.44/1404.55 c #Conflicts: 919000 | #Constraints: 35389
1399.44/1404.55 c #Conflicts: 920000 | #Constraints: 36389
1399.44/1404.55 c #Conflicts: 921000 | #Constraints: 37389
1399.44/1404.55 c #Conflicts: 922000 | #Constraints: 38389
1399.44/1404.55 c INPROCESSING
1399.44/1404.55 c GARBAGE COLLECT
1399.44/1404.55 c #Conflicts: 923000 | #Constraints: 20399
1399.44/1404.55 c #Conflicts: 924000 | #Constraints: 21399
1399.44/1404.55 c #Conflicts: 925000 | #Constraints: 22399
1399.44/1404.55 c #Conflicts: 926000 | #Constraints: 23399
1399.44/1404.55 c #Conflicts: 927000 | #Constraints: 24399
1399.44/1404.55 c #Conflicts: 928000 | #Constraints: 25399
1399.44/1404.55 c #Conflicts: 929000 | #Constraints: 26399
1399.44/1404.55 c #Conflicts: 930000 | #Constraints: 27399
1399.44/1404.55 c #Conflicts: 931000 | #Constraints: 28399
1399.44/1404.55 c #Conflicts: 932000 | #Constraints: 29399
1399.44/1404.55 c #Conflicts: 933000 | #Constraints: 30399
1399.44/1404.55 c #Conflicts: 934000 | #Constraints: 31399
1399.44/1404.55 c #Conflicts: 935000 | #Constraints: 32399
1399.44/1404.55 c #Conflicts: 936000 | #Constraints: 33399
1399.44/1404.55 c #Conflicts: 937000 | #Constraints: 34399
1399.44/1404.55 c #Conflicts: 938000 | #Constraints: 35399
1399.44/1404.55 c #Conflicts: 939000 | #Constraints: 36399
1399.44/1404.55 c #Conflicts: 940000 | #Constraints: 37399
1399.44/1404.55 c #Conflicts: 941000 | #Constraints: 38399
1399.44/1404.55 c INPROCESSING
1399.44/1404.55 c GARBAGE COLLECT
1399.44/1404.55 c #Conflicts: 942000 | #Constraints: 20198
1399.44/1404.55 c #Conflicts: 943000 | #Constraints: 21198
1399.44/1404.55 c #Conflicts: 944000 | #Constraints: 22198
1399.44/1404.55 c #Conflicts: 945000 | #Constraints: 23198
1399.44/1404.55 c #Conflicts: 946000 | #Constraints: 24198
1399.44/1404.55 c #Conflicts: 947000 | #Constraints: 25198
1399.44/1404.55 c #Conflicts: 948000 | #Constraints: 26198
1399.44/1404.55 c #Conflicts: 949000 | #Constraints: 27198
1399.44/1404.55 c #Conflicts: 950000 | #Constraints: 28198
1399.44/1404.55 c #Conflicts: 951000 | #Constraints: 29198
1399.44/1404.55 c #Conflicts: 952000 | #Constraints: 30198
1399.44/1404.55 c #Conflicts: 953000 | #Constraints: 31198
1399.44/1404.55 c #Conflicts: 954000 | #Constraints: 32198
1399.44/1404.55 c #Conflicts: 955000 | #Constraints: 33198
1399.44/1404.55 c #Conflicts: 956000 | #Constraints: 34198
1399.44/1404.55 c #Conflicts: 957000 | #Constraints: 35198
1399.44/1404.55 c #Conflicts: 958000 | #Constraints: 36198
1399.44/1404.55 c #Conflicts: 959000 | #Constraints: 37198
1399.44/1404.55 c #Conflicts: 960000 | #Constraints: 38198
1399.44/1404.55 c #Conflicts: 961000 | #Constraints: 39198
1399.44/1404.55 c INPROCESSING
1399.44/1404.55 c GARBAGE COLLECT
1399.44/1404.55 c #Conflicts: 962000 | #Constraints: 20788
1399.44/1404.55 c #Conflicts: 963000 | #Constraints: 21788
1420.47/1425.61 c #Conflicts: 964000 | #Constraints: 22788
1420.47/1425.61 c #Conflicts: 965000 | #Constraints: 23788
1420.47/1425.61 c #Conflicts: 966000 | #Constraints: 24788
1420.47/1425.61 c #Conflicts: 967000 | #Constraints: 25788
1420.47/1425.61 c #Conflicts: 968000 | #Constraints: 26788
1420.47/1425.61 c #Conflicts: 969000 | #Constraints: 27788
1420.47/1425.61 c #Conflicts: 970000 | #Constraints: 28788
1420.47/1425.61 c #Conflicts: 971000 | #Constraints: 29788
1420.47/1425.61 c #Conflicts: 972000 | #Constraints: 30788
1420.47/1425.61 c #Conflicts: 973000 | #Constraints: 31788
1420.47/1425.61 c #Conflicts: 974000 | #Constraints: 32788
1420.47/1425.61 c GLOBAL bounds - >= 0 @ 1411.34
1597.32/1603.11 c #Conflicts: 975000 | #Constraints: 33790
1597.32/1603.11 c #Conflicts: 976000 | #Constraints: 34790
1597.32/1603.11 c #Conflicts: 977000 | #Constraints: 35790
1597.32/1603.11 c #Conflicts: 978000 | #Constraints: 36790
1597.32/1603.11 c #Conflicts: 979000 | #Constraints: 37790
1597.32/1603.11 c #Conflicts: 980000 | #Constraints: 38790
1597.32/1603.11 c #Conflicts: 981000 | #Constraints: 39790
1597.32/1603.11 c INPROCESSING
1597.32/1603.11 c GARBAGE COLLECT
1597.32/1603.11 c #Conflicts: 982000 | #Constraints: 21184
1597.32/1603.11 c #Conflicts: 983000 | #Constraints: 22184
1597.32/1603.11 c #Conflicts: 984000 | #Constraints: 23184
1597.32/1603.11 c #Conflicts: 985000 | #Constraints: 24184
1597.32/1603.11 c #Conflicts: 986000 | #Constraints: 25184
1597.32/1603.11 c #Conflicts: 987000 | #Constraints: 26184
1597.32/1603.11 c #Conflicts: 988000 | #Constraints: 27184
1597.32/1603.11 c #Conflicts: 989000 | #Constraints: 28184
1597.32/1603.11 c #Conflicts: 990000 | #Constraints: 29184
1597.32/1603.11 c #Conflicts: 991000 | #Constraints: 30184
1597.32/1603.11 c #Conflicts: 992000 | #Constraints: 31184
1597.32/1603.11 c #Conflicts: 993000 | #Constraints: 32184
1597.32/1603.11 c #Conflicts: 994000 | #Constraints: 33184
1597.32/1603.11 c #Conflicts: 995000 | #Constraints: 34184
1597.32/1603.11 c #Conflicts: 996000 | #Constraints: 35184
1597.32/1603.11 c #Conflicts: 997000 | #Constraints: 36184
1597.32/1603.11 c #Conflicts: 998000 | #Constraints: 37184
1597.32/1603.11 c #Conflicts: 999000 | #Constraints: 38184
1597.32/1603.11 c #Conflicts: 1000000 | #Constraints: 39184
1597.32/1603.11 c #Conflicts: 1001000 | #Constraints: 40184
1597.32/1603.11 c INPROCESSING
1597.32/1603.11 c GARBAGE COLLECT
1597.32/1603.11 c #Conflicts: 1002000 | #Constraints: 21383
1597.32/1603.11 c #Conflicts: 1003000 | #Constraints: 22383
1597.32/1603.11 c #Conflicts: 1004000 | #Constraints: 23383
1597.32/1603.11 c #Conflicts: 1005000 | #Constraints: 24383
1597.32/1603.11 c #Conflicts: 1006000 | #Constraints: 25383
1597.32/1603.11 c #Conflicts: 1007000 | #Constraints: 26383
1597.32/1603.11 c #Conflicts: 1008000 | #Constraints: 27383
1597.32/1603.11 c #Conflicts: 1009000 | #Constraints: 28383
1597.32/1603.11 c #Conflicts: 1010000 | #Constraints: 29383
1597.32/1603.11 c #Conflicts: 1011000 | #Constraints: 30383
1597.32/1603.11 c #Conflicts: 1012000 | #Constraints: 31383
1597.32/1603.11 c #Conflicts: 1013000 | #Constraints: 32383
1597.32/1603.11 c #Conflicts: 1014000 | #Constraints: 33383
1597.32/1603.11 c #Conflicts: 1015000 | #Constraints: 34383
1597.32/1603.11 c #Conflicts: 1016000 | #Constraints: 35383
1597.32/1603.11 c #Conflicts: 1017000 | #Constraints: 36383
1597.32/1603.11 c #Conflicts: 1018000 | #Constraints: 37383
1597.32/1603.11 c #Conflicts: 1019000 | #Constraints: 38383
1597.32/1603.11 c #Conflicts: 1020000 | #Constraints: 39383
1597.32/1603.11 c #Conflicts: 1021000 | #Constraints: 40383
1597.32/1603.11 c INPROCESSING
1597.32/1603.11 c GARBAGE COLLECT
1597.32/1603.11 c #Conflicts: 1022000 | #Constraints: 21383
1597.32/1603.11 c #Conflicts: 1023000 | #Constraints: 22383
1597.32/1603.11 c #Conflicts: 1024000 | #Constraints: 23383
1597.32/1603.11 c #Conflicts: 1025000 | #Constraints: 24383
1597.32/1603.11 c #Conflicts: 1026000 | #Constraints: 25383
1597.32/1603.11 c #Conflicts: 1027000 | #Constraints: 26383
1597.32/1603.11 c #Conflicts: 1028000 | #Constraints: 27383
1597.32/1603.11 c #Conflicts: 1029000 | #Constraints: 28383
1597.32/1603.11 c #Conflicts: 1030000 | #Constraints: 29383
1597.32/1603.11 c #Conflicts: 1031000 | #Constraints: 30383
1597.32/1603.11 c #Conflicts: 1032000 | #Constraints: 31383
1597.32/1603.11 c #Conflicts: 1033000 | #Constraints: 32383
1597.32/1603.11 c #Conflicts: 1034000 | #Constraints: 33383
1597.32/1603.11 c #Conflicts: 1035000 | #Constraints: 34383
1597.32/1603.11 c #Conflicts: 1036000 | #Constraints: 35383
1597.32/1603.11 c #Conflicts: 1037000 | #Constraints: 36383
1597.32/1603.11 c #Conflicts: 1038000 | #Constraints: 37383
1597.32/1603.11 c #Conflicts: 1039000 | #Constraints: 38383
1597.32/1603.11 c #Conflicts: 1040000 | #Constraints: 39383
1597.32/1603.11 c #Conflicts: 1041000 | #Constraints: 40383
1597.32/1603.11 c INPROCESSING
1597.32/1603.11 c GARBAGE COLLECT
1597.32/1603.11 c #Conflicts: 1042000 | #Constraints: 21188
1597.32/1603.11 c #Conflicts: 1043000 | #Constraints: 22188
1597.32/1603.11 c #Conflicts: 1044000 | #Constraints: 23188
1597.32/1603.11 c #Conflicts: 1045000 | #Constraints: 24188
1597.32/1603.11 c #Conflicts: 1046000 | #Constraints: 25188
1597.32/1603.11 c #Conflicts: 1047000 | #Constraints: 26188
1597.32/1603.11 c #Conflicts: 1048000 | #Constraints: 27188
1597.32/1603.11 c #Conflicts: 1049000 | #Constraints: 28188
1597.32/1603.11 c #Conflicts: 1050000 | #Constraints: 29188
1597.32/1603.11 c #Conflicts: 1051000 | #Constraints: 30188
1799.25/1805.89 c #Conflicts: 1052000 | #Constraints: 31188
1799.25/1805.89 c #Conflicts: 1053000 | #Constraints: 32188
1799.25/1805.89 c #Conflicts: 1054000 | #Constraints: 33188
1799.25/1805.89 c #Conflicts: 1055000 | #Constraints: 34188
1799.25/1805.89 c #Conflicts: 1056000 | #Constraints: 35188
1799.25/1805.89 c #Conflicts: 1057000 | #Constraints: 36188
1799.25/1805.89 c #Conflicts: 1058000 | #Constraints: 37188
1799.25/1805.89 c #Conflicts: 1059000 | #Constraints: 38188
1799.25/1805.89 c #Conflicts: 1060000 | #Constraints: 39188
1799.25/1805.89 c #Conflicts: 1061000 | #Constraints: 40188
1799.25/1805.89 c #Conflicts: 1062000 | #Constraints: 41188
1799.25/1805.89 c INPROCESSING
1799.25/1805.89 c GARBAGE COLLECT
1799.25/1805.89 c #Conflicts: 1063000 | #Constraints: 21788
1799.25/1805.89 c #Conflicts: 1064000 | #Constraints: 22788
1799.25/1805.89 c #Conflicts: 1065000 | #Constraints: 23788
1799.25/1805.89 c #Conflicts: 1066000 | #Constraints: 24788
1799.25/1805.89 c #Conflicts: 1067000 | #Constraints: 25788
1799.25/1805.89 c #Conflicts: 1068000 | #Constraints: 26788
1799.25/1805.89 c #Conflicts: 1069000 | #Constraints: 27788
1799.25/1805.89 c #Conflicts: 1070000 | #Constraints: 28788
1799.25/1805.89 c #Conflicts: 1071000 | #Constraints: 29788
1799.25/1805.89 c #Conflicts: 1072000 | #Constraints: 30788
1799.25/1805.89 c #Conflicts: 1073000 | #Constraints: 31788
1799.25/1805.89 c #Conflicts: 1074000 | #Constraints: 32788
1799.25/1805.89 c #Conflicts: 1075000 | #Constraints: 33788
1799.25/1805.89 c #Conflicts: 1076000 | #Constraints: 34788
1799.25/1805.89 c #Conflicts: 1077000 | #Constraints: 35788
1799.25/1805.89 c #Conflicts: 1078000 | #Constraints: 36788
1799.25/1805.89 c #Conflicts: 1079000 | #Constraints: 37788
1799.25/1805.89 c #Conflicts: 1080000 | #Constraints: 38788
1799.25/1805.89 c #Conflicts: 1081000 | #Constraints: 39788
1799.25/1805.89 c #Conflicts: 1082000 | #Constraints: 40788
1799.25/1805.89 c #Conflicts: 1083000 | #Constraints: 41788
1799.25/1805.89 c INPROCESSING
1799.25/1805.89 c GARBAGE COLLECT
1799.25/1805.89 c #Conflicts: 1084000 | #Constraints: 22187
1799.25/1805.89 c #Conflicts: 1085000 | #Constraints: 23187
1799.25/1805.89 c #Conflicts: 1086000 | #Constraints: 24187
1799.25/1805.89 c #Conflicts: 1087000 | #Constraints: 25187
1799.25/1805.89 c #Conflicts: 1088000 | #Constraints: 26187
1799.25/1805.89 c #Conflicts: 1089000 | #Constraints: 27187
1799.25/1805.89 c #Conflicts: 1090000 | #Constraints: 28187
1799.25/1805.89 c #Conflicts: 1091000 | #Constraints: 29187
1799.25/1805.89 c #Conflicts: 1092000 | #Constraints: 30187
1799.25/1805.89 c #Conflicts: 1093000 | #Constraints: 31187
1799.25/1805.89 c #Conflicts: 1094000 | #Constraints: 32187
1799.25/1805.89 c #Conflicts: 1095000 | #Constraints: 33187
1799.25/1805.89 c #Conflicts: 1096000 | #Constraints: 34187
1799.25/1805.89 c #Conflicts: 1097000 | #Constraints: 35187
1799.25/1805.89 c #Conflicts: 1098000 | #Constraints: 36187
1799.25/1805.89 c #Conflicts: 1099000 | #Constraints: 37187
1799.25/1805.89 c #Conflicts: 1100000 | #Constraints: 38187
1799.25/1805.89 c #Conflicts: 1101000 | #Constraints: 39187
1799.25/1805.89 c #Conflicts: 1102000 | #Constraints: 40187
1799.25/1805.89 c #Conflicts: 1103000 | #Constraints: 41187
1799.25/1805.89 c #Conflicts: 1104000 | #Constraints: 42187
1799.25/1805.89 c INPROCESSING
1799.25/1805.89 c GARBAGE COLLECT
1799.25/1805.89 c #Conflicts: 1105000 | #Constraints: 22390
1799.25/1805.89 c #Conflicts: 1106000 | #Constraints: 23390
1799.25/1805.89 c #Conflicts: 1107000 | #Constraints: 24390
1799.25/1805.89 c #Conflicts: 1108000 | #Constraints: 25390
1799.25/1805.89 c #Conflicts: 1109000 | #Constraints: 26390
1799.25/1805.89 c #Conflicts: 1110000 | #Constraints: 27390
1799.25/1805.89 c #Conflicts: 1111000 | #Constraints: 28390
1799.25/1805.89 c #Conflicts: 1112000 | #Constraints: 29390
1799.25/1805.89 c #Conflicts: 1113000 | #Constraints: 30390
1799.25/1805.89 c #Conflicts: 1114000 | #Constraints: 31390
1799.25/1805.89 c #Conflicts: 1115000 | #Constraints: 32390
1799.25/1805.89 c #Conflicts: 1116000 | #Constraints: 33390
1799.25/1805.89 c #Conflicts: 1117000 | #Constraints: 34390
1799.25/1805.89 c #Conflicts: 1118000 | #Constraints: 35390
1799.25/1805.89 c #Conflicts: 1119000 | #Constraints: 36390
1799.25/1805.89 c #Conflicts: 1120000 | #Constraints: 37390
1799.25/1805.89 c #Conflicts: 1121000 | #Constraints: 38390
1799.25/1805.89 c #Conflicts: 1122000 | #Constraints: 39390
1799.25/1805.89 c #Conflicts: 1123000 | #Constraints: 40390
1799.25/1805.89 c #Conflicts: 1124000 | #Constraints: 41390
1799.25/1805.89 c #Conflicts: 1125000 | #Constraints: 42390
1799.25/1805.89 c INPROCESSING
1799.25/1805.89 c GARBAGE COLLECT
1799.25/1805.89 c #Conflicts: 1126000 | #Constraints: 22395
1799.25/1805.89 c #Conflicts: 1127000 | #Constraints: 23395
1984.14/1991.37 c #Conflicts: 1128000 | #Constraints: 24395
1984.14/1991.37 c #Conflicts: 1129000 | #Constraints: 25395
1984.14/1991.37 c #Conflicts: 1130000 | #Constraints: 26395
1984.14/1991.37 c #Conflicts: 1131000 | #Constraints: 27395
1984.14/1991.37 c #Conflicts: 1132000 | #Constraints: 28395
1984.14/1991.37 c #Conflicts: 1133000 | #Constraints: 29395
1984.14/1991.37 c #Conflicts: 1134000 | #Constraints: 30395
1984.14/1991.37 c #Conflicts: 1135000 | #Constraints: 31395
1984.14/1991.37 c #Conflicts: 1136000 | #Constraints: 32395
1984.14/1991.37 c #Conflicts: 1137000 | #Constraints: 33395
1984.14/1991.37 c #Conflicts: 1138000 | #Constraints: 34395
1984.14/1991.37 c #Conflicts: 1139000 | #Constraints: 35395
1984.14/1991.37 c #Conflicts: 1140000 | #Constraints: 36395
1984.14/1991.37 c #Conflicts: 1141000 | #Constraints: 37395
1984.14/1991.37 c #Conflicts: 1142000 | #Constraints: 38395
1984.14/1991.37 c #Conflicts: 1143000 | #Constraints: 39395
1984.14/1991.37 c #Conflicts: 1144000 | #Constraints: 40395
1984.14/1991.37 c #Conflicts: 1145000 | #Constraints: 41395
1984.14/1991.37 c #Conflicts: 1146000 | #Constraints: 42395
1984.14/1991.37 c INPROCESSING
1984.14/1991.37 c GARBAGE COLLECT
1984.14/1991.37 c #Conflicts: 1147000 | #Constraints: 22196
1984.14/1991.37 c #Conflicts: 1148000 | #Constraints: 23196
1984.14/1991.37 c #Conflicts: 1149000 | #Constraints: 24196
1984.14/1991.37 c #Conflicts: 1150000 | #Constraints: 25196
1984.14/1991.37 c #Conflicts: 1151000 | #Constraints: 26196
1984.14/1991.37 c #Conflicts: 1152000 | #Constraints: 27196
1984.14/1991.37 c #Conflicts: 1153000 | #Constraints: 28196
1984.14/1991.37 c #Conflicts: 1154000 | #Constraints: 29196
1984.14/1991.37 c #Conflicts: 1155000 | #Constraints: 30196
1984.14/1991.37 c #Conflicts: 1156000 | #Constraints: 31196
1984.14/1991.37 c #Conflicts: 1157000 | #Constraints: 32196
1984.14/1991.37 c #Conflicts: 1158000 | #Constraints: 33196
1984.14/1991.37 c #Conflicts: 1159000 | #Constraints: 34196
1984.14/1991.37 c #Conflicts: 1160000 | #Constraints: 35196
1984.14/1991.37 c #Conflicts: 1161000 | #Constraints: 36196
1984.14/1991.37 c #Conflicts: 1162000 | #Constraints: 37196
1984.14/1991.37 c #Conflicts: 1163000 | #Constraints: 38196
1984.14/1991.37 c #Conflicts: 1164000 | #Constraints: 39196
1984.14/1991.37 c #Conflicts: 1165000 | #Constraints: 40196
1984.14/1991.37 c #Conflicts: 1166000 | #Constraints: 41196
1984.14/1991.37 c #Conflicts: 1167000 | #Constraints: 42196
1984.14/1991.37 c #Conflicts: 1168000 | #Constraints: 43196
1984.14/1991.37 c INPROCESSING
1984.14/1991.37 c GARBAGE COLLECT
1984.14/1991.37 c #Conflicts: 1169000 | #Constraints: 22787
1984.14/1991.37 c #Conflicts: 1170000 | #Constraints: 23787
1984.14/1991.37 c #Conflicts: 1171000 | #Constraints: 24787
1984.14/1991.37 c #Conflicts: 1172000 | #Constraints: 25787
1984.14/1991.37 c #Conflicts: 1173000 | #Constraints: 26787
1984.14/1991.37 c #Conflicts: 1174000 | #Constraints: 27787
1984.14/1991.37 c #Conflicts: 1175000 | #Constraints: 28787
1984.14/1991.37 c #Conflicts: 1176000 | #Constraints: 29787
1984.14/1991.37 c #Conflicts: 1177000 | #Constraints: 30787
1984.14/1991.37 c #Conflicts: 1178000 | #Constraints: 31787
1984.14/1991.37 c #Conflicts: 1179000 | #Constraints: 32787
1984.14/1991.37 c #Conflicts: 1180000 | #Constraints: 33787
1984.14/1991.37 c #Conflicts: 1181000 | #Constraints: 34787
1984.14/1991.37 c #Conflicts: 1182000 | #Constraints: 35787
1984.14/1991.37 c #Conflicts: 1183000 | #Constraints: 36787
1984.14/1991.37 c #Conflicts: 1184000 | #Constraints: 37787
1984.14/1991.37 c #Conflicts: 1185000 | #Constraints: 38787
1984.14/1991.37 c #Conflicts: 1186000 | #Constraints: 39787
1984.14/1991.37 c #Conflicts: 1187000 | #Constraints: 40787
1984.14/1991.37 c #Conflicts: 1188000 | #Constraints: 41787
1984.14/1991.37 c #Conflicts: 1189000 | #Constraints: 42787
1984.14/1991.37 c #Conflicts: 1190000 | #Constraints: 43787
1984.14/1991.37 c INPROCESSING
1984.14/1991.37 c GARBAGE COLLECT
1984.14/1991.37 c #Conflicts: 1191000 | #Constraints: 23183
1984.14/1991.37 c #Conflicts: 1192000 | #Constraints: 24183
1984.14/1991.37 c #Conflicts: 1193000 | #Constraints: 25183
1984.14/1991.37 c #Conflicts: 1194000 | #Constraints: 26183
1984.14/1991.37 c #Conflicts: 1195000 | #Constraints: 27183
1984.14/1991.37 c #Conflicts: 1196000 | #Constraints: 28183
1984.14/1991.37 c #Conflicts: 1197000 | #Constraints: 29183
1984.14/1991.37 c #Conflicts: 1198000 | #Constraints: 30183
1984.14/1991.37 c #Conflicts: 1199000 | #Constraints: 31183
1984.14/1991.37 c #Conflicts: 1200000 | #Constraints: 32183
1984.14/1991.37 c #Conflicts: 1201000 | #Constraints: 33183
1984.14/1991.37 c #Conflicts: 1202000 | #Constraints: 34183
1984.14/1991.37 c #Conflicts: 1203000 | #Constraints: 35183
1984.14/1991.37 c #Conflicts: 1204000 | #Constraints: 36183
2191.65/2199.56 c #Conflicts: 1205000 | #Constraints: 37183
2191.65/2199.56 c #Conflicts: 1206000 | #Constraints: 38183
2191.65/2199.56 c #Conflicts: 1207000 | #Constraints: 39183
2191.65/2199.56 c #Conflicts: 1208000 | #Constraints: 40183
2191.65/2199.56 c #Conflicts: 1209000 | #Constraints: 41183
2191.65/2199.56 c #Conflicts: 1210000 | #Constraints: 42183
2191.65/2199.56 c #Conflicts: 1211000 | #Constraints: 43183
2191.65/2199.56 c #Conflicts: 1212000 | #Constraints: 44183
2191.65/2199.56 c INPROCESSING
2191.65/2199.56 c GARBAGE COLLECT
2191.65/2199.56 c #Conflicts: 1213000 | #Constraints: 23391
2191.65/2199.56 c #Conflicts: 1214000 | #Constraints: 24391
2191.65/2199.56 c #Conflicts: 1215000 | #Constraints: 25391
2191.65/2199.56 c #Conflicts: 1216000 | #Constraints: 26391
2191.65/2199.56 c #Conflicts: 1217000 | #Constraints: 27391
2191.65/2199.56 c #Conflicts: 1218000 | #Constraints: 28391
2191.65/2199.56 c #Conflicts: 1219000 | #Constraints: 29391
2191.65/2199.56 c #Conflicts: 1220000 | #Constraints: 30391
2191.65/2199.56 c #Conflicts: 1221000 | #Constraints: 31391
2191.65/2199.56 c #Conflicts: 1222000 | #Constraints: 32391
2191.65/2199.56 c #Conflicts: 1223000 | #Constraints: 33391
2191.65/2199.56 c #Conflicts: 1224000 | #Constraints: 34391
2191.65/2199.56 c #Conflicts: 1225000 | #Constraints: 35391
2191.65/2199.56 c #Conflicts: 1226000 | #Constraints: 36391
2191.65/2199.56 c #Conflicts: 1227000 | #Constraints: 37391
2191.65/2199.56 c #Conflicts: 1228000 | #Constraints: 38391
2191.65/2199.56 c #Conflicts: 1229000 | #Constraints: 39391
2191.65/2199.56 c #Conflicts: 1230000 | #Constraints: 40391
2191.65/2199.56 c #Conflicts: 1231000 | #Constraints: 41391
2191.65/2199.56 c #Conflicts: 1232000 | #Constraints: 42391
2191.65/2199.56 c #Conflicts: 1233000 | #Constraints: 43391
2191.65/2199.56 c #Conflicts: 1234000 | #Constraints: 44391
2191.65/2199.56 c INPROCESSING
2191.65/2199.56 c GARBAGE COLLECT
2191.65/2199.56 c #Conflicts: 1235000 | #Constraints: 23377
2191.65/2199.56 c #Conflicts: 1236000 | #Constraints: 24377
2191.65/2199.56 c #Conflicts: 1237000 | #Constraints: 25377
2191.65/2199.56 c #Conflicts: 1238000 | #Constraints: 26377
2191.65/2199.56 c #Conflicts: 1239000 | #Constraints: 27377
2191.65/2199.56 c #Conflicts: 1240000 | #Constraints: 28377
2191.65/2199.56 c #Conflicts: 1241000 | #Constraints: 29377
2191.65/2199.56 c #Conflicts: 1242000 | #Constraints: 30377
2191.65/2199.56 c #Conflicts: 1243000 | #Constraints: 31377
2191.65/2199.56 c #Conflicts: 1244000 | #Constraints: 32377
2191.65/2199.56 c #Conflicts: 1245000 | #Constraints: 33377
2191.65/2199.56 c #Conflicts: 1246000 | #Constraints: 34377
2191.65/2199.56 c #Conflicts: 1247000 | #Constraints: 35377
2191.65/2199.56 c #Conflicts: 1248000 | #Constraints: 36377
2191.65/2199.56 c #Conflicts: 1249000 | #Constraints: 37377
2191.65/2199.56 c #Conflicts: 1250000 | #Constraints: 38377
2191.65/2199.56 c #Conflicts: 1251000 | #Constraints: 39377
2191.65/2199.56 c #Conflicts: 1252000 | #Constraints: 40377
2191.65/2199.56 c #Conflicts: 1253000 | #Constraints: 41377
2191.65/2199.56 c #Conflicts: 1254000 | #Constraints: 42377
2191.65/2199.56 c #Conflicts: 1255000 | #Constraints: 43377
2191.65/2199.56 c #Conflicts: 1256000 | #Constraints: 44377
2191.65/2199.56 c INPROCESSING
2191.65/2199.56 c GARBAGE COLLECT
2191.65/2199.56 c #Conflicts: 1257000 | #Constraints: 23185
2191.65/2199.56 c #Conflicts: 1258000 | #Constraints: 24185
2191.65/2199.56 c #Conflicts: 1259000 | #Constraints: 25185
2191.65/2199.56 c #Conflicts: 1260000 | #Constraints: 26185
2191.65/2199.56 c #Conflicts: 1261000 | #Constraints: 27185
2191.65/2199.56 c #Conflicts: 1262000 | #Constraints: 28185
2191.65/2199.56 c #Conflicts: 1263000 | #Constraints: 29185
2191.65/2199.56 c #Conflicts: 1264000 | #Constraints: 30185
2191.65/2199.56 c #Conflicts: 1265000 | #Constraints: 31185
2191.65/2199.56 c #Conflicts: 1266000 | #Constraints: 32185
2191.65/2199.56 c #Conflicts: 1267000 | #Constraints: 33185
2191.65/2199.56 c #Conflicts: 1268000 | #Constraints: 34185
2191.65/2199.56 c #Conflicts: 1269000 | #Constraints: 35185
2191.65/2199.56 c #Conflicts: 1270000 | #Constraints: 36185
2191.65/2199.56 c #Conflicts: 1271000 | #Constraints: 37185
2191.65/2199.56 c #Conflicts: 1272000 | #Constraints: 38185
2191.65/2199.56 c #Conflicts: 1273000 | #Constraints: 39185
2191.65/2199.56 c #Conflicts: 1274000 | #Constraints: 40185
2191.65/2199.56 c #Conflicts: 1275000 | #Constraints: 41185
2191.65/2199.56 c #Conflicts: 1276000 | #Constraints: 42185
2191.65/2199.56 c #Conflicts: 1277000 | #Constraints: 43185
2191.65/2199.56 c #Conflicts: 1278000 | #Constraints: 44185
2191.65/2199.56 c #Conflicts: 1279000 | #Constraints: 45185
2191.65/2199.56 c INPROCESSING
2191.65/2199.56 c GARBAGE COLLECT
2191.65/2199.56 c #Conflicts: 1280000 | #Constraints: 23789
2385.71/2394.21 c #Conflicts: 1281000 | #Constraints: 24789
2385.71/2394.21 c #Conflicts: 1282000 | #Constraints: 25789
2385.71/2394.21 c #Conflicts: 1283000 | #Constraints: 26789
2385.71/2394.21 c #Conflicts: 1284000 | #Constraints: 27789
2385.71/2394.21 c #Conflicts: 1285000 | #Constraints: 28789
2385.71/2394.21 c #Conflicts: 1286000 | #Constraints: 29789
2385.71/2394.21 c #Conflicts: 1287000 | #Constraints: 30789
2385.71/2394.21 c #Conflicts: 1288000 | #Constraints: 31789
2385.71/2394.21 c #Conflicts: 1289000 | #Constraints: 32789
2385.71/2394.21 c #Conflicts: 1290000 | #Constraints: 33789
2385.71/2394.21 c #Conflicts: 1291000 | #Constraints: 34789
2385.71/2394.21 c #Conflicts: 1292000 | #Constraints: 35789
2385.71/2394.21 c #Conflicts: 1293000 | #Constraints: 36789
2385.71/2394.21 c #Conflicts: 1294000 | #Constraints: 37789
2385.71/2394.21 c #Conflicts: 1295000 | #Constraints: 38789
2385.71/2394.21 c #Conflicts: 1296000 | #Constraints: 39789
2385.71/2394.21 c #Conflicts: 1297000 | #Constraints: 40789
2385.71/2394.21 c #Conflicts: 1298000 | #Constraints: 41789
2385.71/2394.21 c #Conflicts: 1299000 | #Constraints: 42789
2385.71/2394.21 c #Conflicts: 1300000 | #Constraints: 43789
2385.71/2394.21 c #Conflicts: 1301000 | #Constraints: 44789
2385.71/2394.21 c #Conflicts: 1302000 | #Constraints: 45789
2385.71/2394.21 c INPROCESSING
2385.71/2394.21 c GARBAGE COLLECT
2385.71/2394.21 c #Conflicts: 1303000 | #Constraints: 24197
2385.71/2394.21 c #Conflicts: 1304000 | #Constraints: 25197
2385.71/2394.21 c #Conflicts: 1305000 | #Constraints: 26197
2385.71/2394.21 c #Conflicts: 1306000 | #Constraints: 27197
2385.71/2394.21 c #Conflicts: 1307000 | #Constraints: 28197
2385.71/2394.21 c #Conflicts: 1308000 | #Constraints: 29197
2385.71/2394.21 c #Conflicts: 1309000 | #Constraints: 30197
2385.71/2394.21 c #Conflicts: 1310000 | #Constraints: 31197
2385.71/2394.21 c #Conflicts: 1311000 | #Constraints: 32197
2385.71/2394.21 c #Conflicts: 1312000 | #Constraints: 33197
2385.71/2394.21 c #Conflicts: 1313000 | #Constraints: 34197
2385.71/2394.21 c #Conflicts: 1314000 | #Constraints: 35197
2385.71/2394.21 c #Conflicts: 1315000 | #Constraints: 36197
2385.71/2394.21 c #Conflicts: 1316000 | #Constraints: 37197
2385.71/2394.21 c #Conflicts: 1317000 | #Constraints: 38197
2385.71/2394.21 c #Conflicts: 1318000 | #Constraints: 39197
2385.71/2394.21 c #Conflicts: 1319000 | #Constraints: 40197
2385.71/2394.21 c #Conflicts: 1320000 | #Constraints: 41197
2385.71/2394.21 c #Conflicts: 1321000 | #Constraints: 42197
2385.71/2394.21 c #Conflicts: 1322000 | #Constraints: 43197
2385.71/2394.21 c #Conflicts: 1323000 | #Constraints: 44197
2385.71/2394.21 c #Conflicts: 1324000 | #Constraints: 45197
2385.71/2394.21 c #Conflicts: 1325000 | #Constraints: 46197
2385.71/2394.21 c INPROCESSING
2385.71/2394.21 c GARBAGE COLLECT
2385.71/2394.21 c #Conflicts: 1326000 | #Constraints: 24401
2385.71/2394.21 c #Conflicts: 1327000 | #Constraints: 25401
2385.71/2394.21 c #Conflicts: 1328000 | #Constraints: 26401
2385.71/2394.21 c #Conflicts: 1329000 | #Constraints: 27401
2385.71/2394.21 c #Conflicts: 1330000 | #Constraints: 28401
2385.71/2394.21 c #Conflicts: 1331000 | #Constraints: 29401
2385.71/2394.21 c #Conflicts: 1332000 | #Constraints: 30401
2385.71/2394.21 c #Conflicts: 1333000 | #Constraints: 31401
2385.71/2394.21 c #Conflicts: 1334000 | #Constraints: 32401
2385.71/2394.21 c #Conflicts: 1335000 | #Constraints: 33401
2385.71/2394.21 c #Conflicts: 1336000 | #Constraints: 34401
2385.71/2394.21 c #Conflicts: 1337000 | #Constraints: 35401
2385.71/2394.21 c #Conflicts: 1338000 | #Constraints: 36401
2385.71/2394.21 c #Conflicts: 1339000 | #Constraints: 37401
2385.71/2394.21 c #Conflicts: 1340000 | #Constraints: 38401
2385.71/2394.21 c #Conflicts: 1341000 | #Constraints: 39401
2385.71/2394.21 c #Conflicts: 1342000 | #Constraints: 40401
2385.71/2394.21 c #Conflicts: 1343000 | #Constraints: 41401
2385.71/2394.21 c #Conflicts: 1344000 | #Constraints: 42401
2385.71/2394.21 c #Conflicts: 1345000 | #Constraints: 43401
2385.71/2394.21 c #Conflicts: 1346000 | #Constraints: 44401
2385.71/2394.21 c #Conflicts: 1347000 | #Constraints: 45401
2385.71/2394.21 c #Conflicts: 1348000 | #Constraints: 46401
2385.71/2394.21 c INPROCESSING
2385.71/2394.21 c GARBAGE COLLECT
2385.71/2394.21 c #Conflicts: 1349000 | #Constraints: 24396
2385.71/2394.21 c #Conflicts: 1350000 | #Constraints: 25396
2385.71/2394.21 c #Conflicts: 1351000 | #Constraints: 26396
2385.71/2394.21 c #Conflicts: 1352000 | #Constraints: 27396
2385.71/2394.21 c #Conflicts: 1353000 | #Constraints: 28396
2385.71/2394.21 c #Conflicts: 1354000 | #Constraints: 29396
2385.71/2394.21 c #Conflicts: 1355000 | #Constraints: 30396
2385.71/2394.21 c #Conflicts: 1356000 | #Constraints: 31396
2385.71/2394.21 c #Conflicts: 1357000 | #Constraints: 32396
2585.81/2594.93 c #Conflicts: 1358000 | #Constraints: 33396
2585.81/2594.93 c #Conflicts: 1359000 | #Constraints: 34396
2585.81/2594.93 c #Conflicts: 1360000 | #Constraints: 35396
2585.81/2594.93 c #Conflicts: 1361000 | #Constraints: 36396
2585.81/2594.93 c #Conflicts: 1362000 | #Constraints: 37396
2585.81/2594.93 c #Conflicts: 1363000 | #Constraints: 38396
2585.81/2594.93 c #Conflicts: 1364000 | #Constraints: 39396
2585.81/2594.93 c #Conflicts: 1365000 | #Constraints: 40396
2585.81/2594.93 c #Conflicts: 1366000 | #Constraints: 41396
2585.81/2594.93 c #Conflicts: 1367000 | #Constraints: 42396
2585.81/2594.93 c #Conflicts: 1368000 | #Constraints: 43396
2585.81/2594.93 c #Conflicts: 1369000 | #Constraints: 44396
2585.81/2594.93 c #Conflicts: 1370000 | #Constraints: 45396
2585.81/2594.93 c #Conflicts: 1371000 | #Constraints: 46396
2585.81/2594.93 c INPROCESSING
2585.81/2594.93 c GARBAGE COLLECT
2585.81/2594.93 c #Conflicts: 1372000 | #Constraints: 24195
2585.81/2594.93 c #Conflicts: 1373000 | #Constraints: 25195
2585.81/2594.93 c #Conflicts: 1374000 | #Constraints: 26195
2585.81/2594.93 c #Conflicts: 1375000 | #Constraints: 27195
2585.81/2594.93 c #Conflicts: 1376000 | #Constraints: 28195
2585.81/2594.93 c #Conflicts: 1377000 | #Constraints: 29195
2585.81/2594.93 c #Conflicts: 1378000 | #Constraints: 30195
2585.81/2594.93 c #Conflicts: 1379000 | #Constraints: 31195
2585.81/2594.93 c #Conflicts: 1380000 | #Constraints: 32195
2585.81/2594.93 c #Conflicts: 1381000 | #Constraints: 33195
2585.81/2594.93 c #Conflicts: 1382000 | #Constraints: 34195
2585.81/2594.93 c #Conflicts: 1383000 | #Constraints: 35195
2585.81/2594.93 c #Conflicts: 1384000 | #Constraints: 36195
2585.81/2594.93 c #Conflicts: 1385000 | #Constraints: 37195
2585.81/2594.93 c #Conflicts: 1386000 | #Constraints: 38195
2585.81/2594.93 c #Conflicts: 1387000 | #Constraints: 39195
2585.81/2594.93 c #Conflicts: 1388000 | #Constraints: 40195
2585.81/2594.93 c #Conflicts: 1389000 | #Constraints: 41195
2585.81/2594.93 c #Conflicts: 1390000 | #Constraints: 42195
2585.81/2594.93 c #Conflicts: 1391000 | #Constraints: 43195
2585.81/2594.93 c #Conflicts: 1392000 | #Constraints: 44195
2585.81/2594.93 c #Conflicts: 1393000 | #Constraints: 45195
2585.81/2594.93 c #Conflicts: 1394000 | #Constraints: 46195
2585.81/2594.93 c #Conflicts: 1395000 | #Constraints: 47195
2585.81/2594.93 c INPROCESSING
2585.81/2594.93 c GARBAGE COLLECT
2585.81/2594.93 c #Conflicts: 1396000 | #Constraints: 24789
2585.81/2594.93 c #Conflicts: 1397000 | #Constraints: 25789
2585.81/2594.93 c #Conflicts: 1398000 | #Constraints: 26789
2585.81/2594.93 c #Conflicts: 1399000 | #Constraints: 27789
2585.81/2594.93 c #Conflicts: 1400000 | #Constraints: 28789
2585.81/2594.93 c #Conflicts: 1401000 | #Constraints: 29789
2585.81/2594.93 c #Conflicts: 1402000 | #Constraints: 30789
2585.81/2594.93 c #Conflicts: 1403000 | #Constraints: 31789
2585.81/2594.93 c #Conflicts: 1404000 | #Constraints: 32789
2585.81/2594.93 c #Conflicts: 1405000 | #Constraints: 33789
2585.81/2594.93 c #Conflicts: 1406000 | #Constraints: 34789
2585.81/2594.93 c #Conflicts: 1407000 | #Constraints: 35789
2585.81/2594.93 c #Conflicts: 1408000 | #Constraints: 36789
2585.81/2594.93 c #Conflicts: 1409000 | #Constraints: 37789
2585.81/2594.93 c #Conflicts: 1410000 | #Constraints: 38789
2585.81/2594.93 c #Conflicts: 1411000 | #Constraints: 39789
2585.81/2594.93 c #Conflicts: 1412000 | #Constraints: 40789
2585.81/2594.93 c #Conflicts: 1413000 | #Constraints: 41789
2585.81/2594.93 c #Conflicts: 1414000 | #Constraints: 42789
2585.81/2594.93 c #Conflicts: 1415000 | #Constraints: 43789
2585.81/2594.93 c #Conflicts: 1416000 | #Constraints: 44789
2585.81/2594.93 c #Conflicts: 1417000 | #Constraints: 45789
2585.81/2594.93 c #Conflicts: 1418000 | #Constraints: 46789
2585.81/2594.93 c #Conflicts: 1419000 | #Constraints: 47789
2585.81/2594.93 c INPROCESSING
2585.81/2594.93 c GARBAGE COLLECT
2585.81/2594.93 c #Conflicts: 1420000 | #Constraints: 25191
2585.81/2594.93 c #Conflicts: 1421000 | #Constraints: 26191
2585.81/2594.93 c #Conflicts: 1422000 | #Constraints: 27191
2585.81/2594.93 c #Conflicts: 1423000 | #Constraints: 28191
2585.81/2594.93 c #Conflicts: 1424000 | #Constraints: 29191
2585.81/2594.93 c #Conflicts: 1425000 | #Constraints: 30191
2585.81/2594.93 c #Conflicts: 1426000 | #Constraints: 31191
2585.81/2594.93 c #Conflicts: 1427000 | #Constraints: 32191
2585.81/2594.93 c #Conflicts: 1428000 | #Constraints: 33191
2585.81/2594.93 c #Conflicts: 1429000 | #Constraints: 34191
2585.81/2594.93 c #Conflicts: 1430000 | #Constraints: 35191
2585.81/2594.93 c #Conflicts: 1431000 | #Constraints: 36191
2585.81/2594.93 c #Conflicts: 1432000 | #Constraints: 37191
2585.81/2594.93 c #Conflicts: 1433000 | #Constraints: 38191
2585.81/2594.93 c #Conflicts: 1434000 | #Constraints: 39191
2784.51/2794.24 c #Conflicts: 1435000 | #Constraints: 40191
2784.51/2794.24 c #Conflicts: 1436000 | #Constraints: 41191
2784.51/2794.24 c #Conflicts: 1437000 | #Constraints: 42191
2784.51/2794.24 c #Conflicts: 1438000 | #Constraints: 43191
2784.51/2794.24 c #Conflicts: 1439000 | #Constraints: 44191
2784.51/2794.24 c #Conflicts: 1440000 | #Constraints: 45191
2784.51/2794.24 c #Conflicts: 1441000 | #Constraints: 46191
2784.51/2794.24 c #Conflicts: 1442000 | #Constraints: 47191
2784.51/2794.24 c #Conflicts: 1443000 | #Constraints: 48191
2784.51/2794.24 c INPROCESSING
2784.51/2794.24 c GARBAGE COLLECT
2784.51/2794.24 c #Conflicts: 1444000 | #Constraints: 25386
2784.51/2794.24 c #Conflicts: 1445000 | #Constraints: 26386
2784.51/2794.24 c #Conflicts: 1446000 | #Constraints: 27386
2784.51/2794.24 c #Conflicts: 1447000 | #Constraints: 28386
2784.51/2794.24 c #Conflicts: 1448000 | #Constraints: 29386
2784.51/2794.24 c #Conflicts: 1449000 | #Constraints: 30386
2784.51/2794.24 c #Conflicts: 1450000 | #Constraints: 31386
2784.51/2794.24 c #Conflicts: 1451000 | #Constraints: 32386
2784.51/2794.24 c #Conflicts: 1452000 | #Constraints: 33386
2784.51/2794.24 c #Conflicts: 1453000 | #Constraints: 34386
2784.51/2794.24 c #Conflicts: 1454000 | #Constraints: 35386
2784.51/2794.24 c #Conflicts: 1455000 | #Constraints: 36386
2784.51/2794.24 c #Conflicts: 1456000 | #Constraints: 37386
2784.51/2794.24 c #Conflicts: 1457000 | #Constraints: 38386
2784.51/2794.24 c #Conflicts: 1458000 | #Constraints: 39386
2784.51/2794.24 c #Conflicts: 1459000 | #Constraints: 40386
2784.51/2794.24 c #Conflicts: 1460000 | #Constraints: 41386
2784.51/2794.24 c #Conflicts: 1461000 | #Constraints: 42386
2784.51/2794.24 c #Conflicts: 1462000 | #Constraints: 43386
2784.51/2794.24 c #Conflicts: 1463000 | #Constraints: 44386
2784.51/2794.24 c #Conflicts: 1464000 | #Constraints: 45386
2784.51/2794.24 c #Conflicts: 1465000 | #Constraints: 46386
2784.51/2794.24 c #Conflicts: 1466000 | #Constraints: 47386
2784.51/2794.24 c #Conflicts: 1467000 | #Constraints: 48386
2784.51/2794.24 c INPROCESSING
2784.51/2794.24 c GARBAGE COLLECT
2784.51/2794.24 c #Conflicts: 1468000 | #Constraints: 25391
2784.51/2794.24 c #Conflicts: 1469000 | #Constraints: 26391
2784.51/2794.24 c #Conflicts: 1470000 | #Constraints: 27391
2784.51/2794.24 c #Conflicts: 1471000 | #Constraints: 28391
2784.51/2794.24 c #Conflicts: 1472000 | #Constraints: 29391
2784.51/2794.24 c #Conflicts: 1473000 | #Constraints: 30391
2784.51/2794.24 c #Conflicts: 1474000 | #Constraints: 31391
2784.51/2794.24 c #Conflicts: 1475000 | #Constraints: 32391
2784.51/2794.24 c #Conflicts: 1476000 | #Constraints: 33391
2784.51/2794.24 c #Conflicts: 1477000 | #Constraints: 34391
2784.51/2794.24 c #Conflicts: 1478000 | #Constraints: 35391
2784.51/2794.24 c #Conflicts: 1479000 | #Constraints: 36391
2784.51/2794.24 c #Conflicts: 1480000 | #Constraints: 37391
2784.51/2794.24 c #Conflicts: 1481000 | #Constraints: 38391
2784.51/2794.24 c #Conflicts: 1482000 | #Constraints: 39391
2784.51/2794.24 c #Conflicts: 1483000 | #Constraints: 40391
2784.51/2794.24 c #Conflicts: 1484000 | #Constraints: 41391
2784.51/2794.24 c #Conflicts: 1485000 | #Constraints: 42391
2784.51/2794.24 c #Conflicts: 1486000 | #Constraints: 43391
2784.51/2794.24 c #Conflicts: 1487000 | #Constraints: 44391
2784.51/2794.24 c #Conflicts: 1488000 | #Constraints: 45391
2784.51/2794.24 c #Conflicts: 1489000 | #Constraints: 46391
2784.51/2794.24 c #Conflicts: 1490000 | #Constraints: 47391
2784.51/2794.24 c #Conflicts: 1491000 | #Constraints: 48391
2784.51/2794.24 c INPROCESSING
2784.51/2794.24 c GARBAGE COLLECT
2784.51/2794.24 c #Conflicts: 1492000 | #Constraints: 25194
2784.51/2794.24 c #Conflicts: 1493000 | #Constraints: 26194
2784.51/2794.24 c #Conflicts: 1494000 | #Constraints: 27194
2784.51/2794.24 c #Conflicts: 1495000 | #Constraints: 28194
2784.51/2794.24 c #Conflicts: 1496000 | #Constraints: 29194
2784.51/2794.24 c #Conflicts: 1497000 | #Constraints: 30194
2784.51/2794.24 c #Conflicts: 1498000 | #Constraints: 31194
2784.51/2794.24 c #Conflicts: 1499000 | #Constraints: 32194
2784.51/2794.24 c #Conflicts: 1500000 | #Constraints: 33194
2784.51/2794.24 c #Conflicts: 1501000 | #Constraints: 34194
2784.51/2794.24 c #Conflicts: 1502000 | #Constraints: 35194
2784.51/2794.24 c #Conflicts: 1503000 | #Constraints: 36194
2784.51/2794.24 c #Conflicts: 1504000 | #Constraints: 37194
2784.51/2794.24 c #Conflicts: 1505000 | #Constraints: 38194
2784.51/2794.24 c #Conflicts: 1506000 | #Constraints: 39194
2784.51/2794.24 c #Conflicts: 1507000 | #Constraints: 40194
2784.51/2794.24 c #Conflicts: 1508000 | #Constraints: 41194
2784.51/2794.24 c #Conflicts: 1509000 | #Constraints: 42194
2784.51/2794.24 c #Conflicts: 1510000 | #Constraints: 43194
2784.51/2794.24 c #Conflicts: 1511000 | #Constraints: 44194
3008.18/3018.56 c #Conflicts: 1512000 | #Constraints: 45194
3008.18/3018.56 c #Conflicts: 1513000 | #Constraints: 46194
3008.18/3018.56 c #Conflicts: 1514000 | #Constraints: 47194
3008.18/3018.56 c #Conflicts: 1515000 | #Constraints: 48194
3008.18/3018.56 c #Conflicts: 1516000 | #Constraints: 49194
3008.18/3018.56 c INPROCESSING
3008.18/3018.56 c GARBAGE COLLECT
3008.18/3018.56 c #Conflicts: 1517000 | #Constraints: 25793
3008.18/3018.56 c #Conflicts: 1518000 | #Constraints: 26793
3008.18/3018.56 c #Conflicts: 1519000 | #Constraints: 27793
3008.18/3018.56 c #Conflicts: 1520000 | #Constraints: 28793
3008.18/3018.56 c #Conflicts: 1521000 | #Constraints: 29793
3008.18/3018.56 c #Conflicts: 1522000 | #Constraints: 30793
3008.18/3018.56 c #Conflicts: 1523000 | #Constraints: 31793
3008.18/3018.56 c #Conflicts: 1524000 | #Constraints: 32793
3008.18/3018.56 c #Conflicts: 1525000 | #Constraints: 33793
3008.18/3018.56 c #Conflicts: 1526000 | #Constraints: 34793
3008.18/3018.56 c #Conflicts: 1527000 | #Constraints: 35793
3008.18/3018.56 c #Conflicts: 1528000 | #Constraints: 36793
3008.18/3018.56 c #Conflicts: 1529000 | #Constraints: 37793
3008.18/3018.56 c #Conflicts: 1530000 | #Constraints: 38793
3008.18/3018.56 c #Conflicts: 1531000 | #Constraints: 39793
3008.18/3018.56 c #Conflicts: 1532000 | #Constraints: 40793
3008.18/3018.56 c #Conflicts: 1533000 | #Constraints: 41793
3008.18/3018.56 c #Conflicts: 1534000 | #Constraints: 42793
3008.18/3018.56 c #Conflicts: 1535000 | #Constraints: 43793
3008.18/3018.56 c #Conflicts: 1536000 | #Constraints: 44793
3008.18/3018.56 c #Conflicts: 1537000 | #Constraints: 45793
3008.18/3018.56 c #Conflicts: 1538000 | #Constraints: 46793
3008.18/3018.56 c #Conflicts: 1539000 | #Constraints: 47793
3008.18/3018.56 c #Conflicts: 1540000 | #Constraints: 48793
3008.18/3018.56 c #Conflicts: 1541000 | #Constraints: 49793
3008.18/3018.56 c INPROCESSING
3008.18/3018.56 c GARBAGE COLLECT
3008.18/3018.56 c #Conflicts: 1542000 | #Constraints: 26187
3008.18/3018.56 c #Conflicts: 1543000 | #Constraints: 27187
3008.18/3018.56 c #Conflicts: 1544000 | #Constraints: 28187
3008.18/3018.56 c #Conflicts: 1545000 | #Constraints: 29187
3008.18/3018.56 c #Conflicts: 1546000 | #Constraints: 30187
3008.18/3018.56 c #Conflicts: 1547000 | #Constraints: 31187
3008.18/3018.56 c #Conflicts: 1548000 | #Constraints: 32187
3008.18/3018.56 c #Conflicts: 1549000 | #Constraints: 33187
3008.18/3018.56 c #Conflicts: 1550000 | #Constraints: 34187
3008.18/3018.56 c #Conflicts: 1551000 | #Constraints: 35187
3008.18/3018.56 c #Conflicts: 1552000 | #Constraints: 36187
3008.18/3018.56 c #Conflicts: 1553000 | #Constraints: 37187
3008.18/3018.56 c #Conflicts: 1554000 | #Constraints: 38187
3008.18/3018.56 c #Conflicts: 1555000 | #Constraints: 39187
3008.18/3018.56 c #Conflicts: 1556000 | #Constraints: 40187
3008.18/3018.56 c #Conflicts: 1557000 | #Constraints: 41187
3008.18/3018.56 c #Conflicts: 1558000 | #Constraints: 42187
3008.18/3018.56 c #Conflicts: 1559000 | #Constraints: 43187
3008.18/3018.56 c #Conflicts: 1560000 | #Constraints: 44187
3008.18/3018.56 c #Conflicts: 1561000 | #Constraints: 45187
3008.18/3018.56 c #Conflicts: 1562000 | #Constraints: 46187
3008.18/3018.56 c #Conflicts: 1563000 | #Constraints: 47187
3008.18/3018.56 c #Conflicts: 1564000 | #Constraints: 48187
3008.18/3018.56 c #Conflicts: 1565000 | #Constraints: 49187
3008.18/3018.56 c #Conflicts: 1566000 | #Constraints: 50187
3008.18/3018.56 c INPROCESSING
3008.18/3018.56 c GARBAGE COLLECT
3008.18/3018.56 c #Conflicts: 1567000 | #Constraints: 26398
3008.18/3018.56 c #Conflicts: 1568000 | #Constraints: 27398
3008.18/3018.56 c #Conflicts: 1569000 | #Constraints: 28398
3008.18/3018.56 c #Conflicts: 1570000 | #Constraints: 29398
3008.18/3018.56 c #Conflicts: 1571000 | #Constraints: 30398
3008.18/3018.56 c #Conflicts: 1572000 | #Constraints: 31398
3008.18/3018.56 c #Conflicts: 1573000 | #Constraints: 32398
3008.18/3018.56 c #Conflicts: 1574000 | #Constraints: 33398
3008.18/3018.56 c #Conflicts: 1575000 | #Constraints: 34398
3008.18/3018.56 c #Conflicts: 1576000 | #Constraints: 35398
3008.18/3018.56 c #Conflicts: 1577000 | #Constraints: 36398
3008.18/3018.56 c #Conflicts: 1578000 | #Constraints: 37398
3008.18/3018.56 c #Conflicts: 1579000 | #Constraints: 38398
3008.18/3018.56 c #Conflicts: 1580000 | #Constraints: 39398
3008.18/3018.56 c #Conflicts: 1581000 | #Constraints: 40398
3008.18/3018.56 c #Conflicts: 1582000 | #Constraints: 41398
3008.18/3018.56 c #Conflicts: 1583000 | #Constraints: 42398
3008.18/3018.56 c #Conflicts: 1584000 | #Constraints: 43398
3008.18/3018.56 c #Conflicts: 1585000 | #Constraints: 44398
3008.18/3018.56 c #Conflicts: 1586000 | #Constraints: 45398
3008.18/3018.56 c #Conflicts: 1587000 | #Constraints: 46398
3008.18/3018.56 c #Conflicts: 1588000 | #Constraints: 47398
3238.27/3249.28 c #Conflicts: 1589000 | #Constraints: 48398
3238.27/3249.28 c #Conflicts: 1590000 | #Constraints: 49398
3238.27/3249.28 c #Conflicts: 1591000 | #Constraints: 50398
3238.27/3249.28 c INPROCESSING
3238.27/3249.28 c GARBAGE COLLECT
3238.27/3249.28 c #Conflicts: 1592000 | #Constraints: 26394
3238.27/3249.28 c #Conflicts: 1593000 | #Constraints: 27394
3238.27/3249.28 c #Conflicts: 1594000 | #Constraints: 28394
3238.27/3249.28 c #Conflicts: 1595000 | #Constraints: 29394
3238.27/3249.28 c #Conflicts: 1596000 | #Constraints: 30394
3238.27/3249.28 c #Conflicts: 1597000 | #Constraints: 31394
3238.27/3249.28 c #Conflicts: 1598000 | #Constraints: 32394
3238.27/3249.28 c #Conflicts: 1599000 | #Constraints: 33394
3238.27/3249.28 c #Conflicts: 1600000 | #Constraints: 34394
3238.27/3249.28 c #Conflicts: 1601000 | #Constraints: 35394
3238.27/3249.28 c #Conflicts: 1602000 | #Constraints: 36394
3238.27/3249.28 c #Conflicts: 1603000 | #Constraints: 37394
3238.27/3249.28 c #Conflicts: 1604000 | #Constraints: 38394
3238.27/3249.28 c #Conflicts: 1605000 | #Constraints: 39394
3238.27/3249.28 c #Conflicts: 1606000 | #Constraints: 40394
3238.27/3249.28 c #Conflicts: 1607000 | #Constraints: 41394
3238.27/3249.28 c #Conflicts: 1608000 | #Constraints: 42394
3238.27/3249.28 c #Conflicts: 1609000 | #Constraints: 43394
3238.27/3249.28 c #Conflicts: 1610000 | #Constraints: 44394
3238.27/3249.28 c #Conflicts: 1611000 | #Constraints: 45394
3238.27/3249.28 c #Conflicts: 1612000 | #Constraints: 46394
3238.27/3249.28 c #Conflicts: 1613000 | #Constraints: 47394
3238.27/3249.28 c #Conflicts: 1614000 | #Constraints: 48394
3238.27/3249.28 c #Conflicts: 1615000 | #Constraints: 49394
3238.27/3249.28 c #Conflicts: 1616000 | #Constraints: 50394
3238.27/3249.28 c INPROCESSING
3238.27/3249.28 c GARBAGE COLLECT
3238.27/3249.28 c #Conflicts: 1617000 | #Constraints: 26194
3238.27/3249.28 c #Conflicts: 1618000 | #Constraints: 27194
3238.27/3249.28 c #Conflicts: 1619000 | #Constraints: 28194
3238.27/3249.28 c #Conflicts: 1620000 | #Constraints: 29194
3238.27/3249.28 c #Conflicts: 1621000 | #Constraints: 30194
3238.27/3249.28 c #Conflicts: 1622000 | #Constraints: 31194
3238.27/3249.28 c #Conflicts: 1623000 | #Constraints: 32194
3238.27/3249.28 c #Conflicts: 1624000 | #Constraints: 33194
3238.27/3249.28 c #Conflicts: 1625000 | #Constraints: 34194
3238.27/3249.28 c #Conflicts: 1626000 | #Constraints: 35194
3238.27/3249.28 c #Conflicts: 1627000 | #Constraints: 36194
3238.27/3249.28 c #Conflicts: 1628000 | #Constraints: 37194
3238.27/3249.28 c #Conflicts: 1629000 | #Constraints: 38194
3238.27/3249.28 c #Conflicts: 1630000 | #Constraints: 39194
3238.27/3249.28 c #Conflicts: 1631000 | #Constraints: 40194
3238.27/3249.28 c #Conflicts: 1632000 | #Constraints: 41194
3238.27/3249.28 c #Conflicts: 1633000 | #Constraints: 42194
3238.27/3249.28 c #Conflicts: 1634000 | #Constraints: 43194
3238.27/3249.28 c #Conflicts: 1635000 | #Constraints: 44194
3238.27/3249.28 c #Conflicts: 1636000 | #Constraints: 45194
3238.27/3249.28 c #Conflicts: 1637000 | #Constraints: 46194
3238.27/3249.28 c #Conflicts: 1638000 | #Constraints: 47194
3238.27/3249.28 c #Conflicts: 1639000 | #Constraints: 48194
3238.27/3249.28 c #Conflicts: 1640000 | #Constraints: 49194
3238.27/3249.28 c #Conflicts: 1641000 | #Constraints: 50194
3238.27/3249.28 c #Conflicts: 1642000 | #Constraints: 51194
3238.27/3249.28 c INPROCESSING
3238.27/3249.28 c GARBAGE COLLECT
3238.27/3249.28 c #Conflicts: 1643000 | #Constraints: 26795
3238.27/3249.28 c #Conflicts: 1644000 | #Constraints: 27795
3238.27/3249.28 c #Conflicts: 1645000 | #Constraints: 28795
3238.27/3249.28 c #Conflicts: 1646000 | #Constraints: 29795
3238.27/3249.28 c #Conflicts: 1647000 | #Constraints: 30795
3238.27/3249.28 c #Conflicts: 1648000 | #Constraints: 31795
3238.27/3249.28 c #Conflicts: 1649000 | #Constraints: 32795
3238.27/3249.28 c #Conflicts: 1650000 | #Constraints: 33795
3238.27/3249.28 c #Conflicts: 1651000 | #Constraints: 34795
3238.27/3249.28 c #Conflicts: 1652000 | #Constraints: 35795
3238.27/3249.28 c #Conflicts: 1653000 | #Constraints: 36795
3238.27/3249.28 c #Conflicts: 1654000 | #Constraints: 37795
3238.27/3249.28 c #Conflicts: 1655000 | #Constraints: 38795
3238.27/3249.28 c #Conflicts: 1656000 | #Constraints: 39795
3238.27/3249.28 c #Conflicts: 1657000 | #Constraints: 40795
3238.27/3249.28 c #Conflicts: 1658000 | #Constraints: 41795
3238.27/3249.28 c #Conflicts: 1659000 | #Constraints: 42795
3238.27/3249.28 c #Conflicts: 1660000 | #Constraints: 43795
3238.27/3249.28 c #Conflicts: 1661000 | #Constraints: 44795
3238.27/3249.28 c #Conflicts: 1662000 | #Constraints: 45795
3238.27/3249.28 c #Conflicts: 1663000 | #Constraints: 46795
3238.27/3249.28 c #Conflicts: 1664000 | #Constraints: 47795
3472.05/3483.70 c #Conflicts: 1665000 | #Constraints: 48795
3472.05/3483.70 c #Conflicts: 1666000 | #Constraints: 49795
3472.05/3483.70 c #Conflicts: 1667000 | #Constraints: 50795
3472.05/3483.70 c #Conflicts: 1668000 | #Constraints: 51795
3472.05/3483.70 c INPROCESSING
3472.05/3483.70 c GARBAGE COLLECT
3472.05/3483.70 c #Conflicts: 1669000 | #Constraints: 27197
3472.05/3483.70 c #Conflicts: 1670000 | #Constraints: 28197
3472.05/3483.70 c #Conflicts: 1671000 | #Constraints: 29197
3472.05/3483.70 c #Conflicts: 1672000 | #Constraints: 30197
3472.05/3483.70 c #Conflicts: 1673000 | #Constraints: 31197
3472.05/3483.70 c #Conflicts: 1674000 | #Constraints: 32197
3472.05/3483.70 c #Conflicts: 1675000 | #Constraints: 33197
3472.05/3483.70 c #Conflicts: 1676000 | #Constraints: 34197
3472.05/3483.70 c #Conflicts: 1677000 | #Constraints: 35197
3472.05/3483.70 c #Conflicts: 1678000 | #Constraints: 36197
3472.05/3483.70 c #Conflicts: 1679000 | #Constraints: 37197
3472.05/3483.70 c #Conflicts: 1680000 | #Constraints: 38197
3472.05/3483.70 c #Conflicts: 1681000 | #Constraints: 39197
3472.05/3483.70 c #Conflicts: 1682000 | #Constraints: 40197
3472.05/3483.70 c #Conflicts: 1683000 | #Constraints: 41197
3472.05/3483.70 c #Conflicts: 1684000 | #Constraints: 42197
3472.05/3483.70 c #Conflicts: 1685000 | #Constraints: 43197
3472.05/3483.70 c #Conflicts: 1686000 | #Constraints: 44197
3472.05/3483.70 c #Conflicts: 1687000 | #Constraints: 45197
3472.05/3483.70 c #Conflicts: 1688000 | #Constraints: 46197
3472.05/3483.70 c #Conflicts: 1689000 | #Constraints: 47197
3472.05/3483.70 c #Conflicts: 1690000 | #Constraints: 48197
3472.05/3483.70 c #Conflicts: 1691000 | #Constraints: 49197
3472.05/3483.70 c #Conflicts: 1692000 | #Constraints: 50197
3472.05/3483.70 c #Conflicts: 1693000 | #Constraints: 51197
3472.05/3483.70 c #Conflicts: 1694000 | #Constraints: 52197
3472.05/3483.70 c INPROCESSING
3472.05/3483.70 c GARBAGE COLLECT
3472.05/3483.70 c #Conflicts: 1695000 | #Constraints: 27394
3472.05/3483.70 c #Conflicts: 1696000 | #Constraints: 28394
3472.05/3483.70 c #Conflicts: 1697000 | #Constraints: 29394
3472.05/3483.70 c #Conflicts: 1698000 | #Constraints: 30394
3472.05/3483.70 c #Conflicts: 1699000 | #Constraints: 31394
3472.05/3483.70 c #Conflicts: 1700000 | #Constraints: 32394
3472.05/3483.70 c #Conflicts: 1701000 | #Constraints: 33394
3472.05/3483.70 c #Conflicts: 1702000 | #Constraints: 34394
3472.05/3483.70 c #Conflicts: 1703000 | #Constraints: 35394
3472.05/3483.70 c #Conflicts: 1704000 | #Constraints: 36394
3472.05/3483.70 c #Conflicts: 1705000 | #Constraints: 37394
3472.05/3483.70 c #Conflicts: 1706000 | #Constraints: 38394
3472.05/3483.70 c #Conflicts: 1707000 | #Constraints: 39394
3472.05/3483.70 c #Conflicts: 1708000 | #Constraints: 40394
3472.05/3483.70 c #Conflicts: 1709000 | #Constraints: 41394
3472.05/3483.70 c #Conflicts: 1710000 | #Constraints: 42394
3472.05/3483.70 c #Conflicts: 1711000 | #Constraints: 43394
3472.05/3483.70 c #Conflicts: 1712000 | #Constraints: 44394
3472.05/3483.70 c #Conflicts: 1713000 | #Constraints: 45394
3472.05/3483.70 c #Conflicts: 1714000 | #Constraints: 46394
3472.05/3483.70 c #Conflicts: 1715000 | #Constraints: 47394
3472.05/3483.70 c #Conflicts: 1716000 | #Constraints: 48394
3472.05/3483.70 c #Conflicts: 1717000 | #Constraints: 49394
3472.05/3483.70 c #Conflicts: 1718000 | #Constraints: 50394
3472.05/3483.70 c #Conflicts: 1719000 | #Constraints: 51394
3472.05/3483.70 c #Conflicts: 1720000 | #Constraints: 52394
3472.05/3483.70 c INPROCESSING
3472.05/3483.70 c GARBAGE COLLECT
3472.05/3483.70 c #Conflicts: 1721000 | #Constraints: 27394
3472.05/3483.70 c #Conflicts: 1722000 | #Constraints: 28394
3472.05/3483.70 c #Conflicts: 1723000 | #Constraints: 29394
3472.05/3483.70 c #Conflicts: 1724000 | #Constraints: 30394
3472.05/3483.70 c #Conflicts: 1725000 | #Constraints: 31394
3472.05/3483.70 c #Conflicts: 1726000 | #Constraints: 32394
3472.05/3483.70 c #Conflicts: 1727000 | #Constraints: 33394
3472.05/3483.70 c #Conflicts: 1728000 | #Constraints: 34394
3472.05/3483.70 c #Conflicts: 1729000 | #Constraints: 35394
3472.05/3483.70 c #Conflicts: 1730000 | #Constraints: 36394
3472.05/3483.70 c #Conflicts: 1731000 | #Constraints: 37394
3472.05/3483.70 c #Conflicts: 1732000 | #Constraints: 38394
3472.05/3483.70 c #Conflicts: 1733000 | #Constraints: 39394
3472.05/3483.70 c #Conflicts: 1734000 | #Constraints: 40394
3472.05/3483.70 c #Conflicts: 1735000 | #Constraints: 41394
3472.05/3483.70 c #Conflicts: 1736000 | #Constraints: 42394
3472.05/3483.70 c #Conflicts: 1737000 | #Constraints: 43394
3472.05/3483.70 c #Conflicts: 1738000 | #Constraints: 44394
3472.05/3483.70 c #Conflicts: 1739000 | #Constraints: 45394
3472.05/3483.70 c #Conflicts: 1740000 | #Constraints: 46394
3472.05/3483.70 c #Conflicts: 1741000 | #Constraints: 47394
3600.06/3612.10 c #Conflicts: 1742000 | #Constraints: 48394
3600.06/3612.10 c #Conflicts: 1743000 | #Constraints: 49394
3600.06/3612.10 c #Conflicts: 1744000 | #Constraints: 50394
3600.06/3612.10 c #Conflicts: 1745000 | #Constraints: 51394
3600.06/3612.10 c #Conflicts: 1746000 | #Constraints: 52394
3600.06/3612.10 c INPROCESSING
3600.06/3612.10 c GARBAGE COLLECT
3600.06/3612.10 c #Conflicts: 1747000 | #Constraints: 27198
3600.06/3612.10 c #Conflicts: 1748000 | #Constraints: 28198
3600.06/3612.10 c #Conflicts: 1749000 | #Constraints: 29198
3600.06/3612.10 c #Conflicts: 1750000 | #Constraints: 30198
3600.06/3612.10 c #Conflicts: 1751000 | #Constraints: 31198
3600.06/3612.10 c #Conflicts: 1752000 | #Constraints: 32198
3600.06/3612.10 c #Conflicts: 1753000 | #Constraints: 33198
3600.06/3612.10 c #Conflicts: 1754000 | #Constraints: 34198
3600.06/3612.10 c #Conflicts: 1755000 | #Constraints: 35198
3600.06/3612.10 c #Conflicts: 1756000 | #Constraints: 36198
3600.06/3612.10 c #Conflicts: 1757000 | #Constraints: 37198
3600.06/3612.10 c #Conflicts: 1758000 | #Constraints: 38198
3600.06/3612.10 c #Conflicts: 1759000 | #Constraints: 39198
3600.06/3612.10 c #Conflicts: 1760000 | #Constraints: 40198
3600.06/3612.10 c #Conflicts: 1761000 | #Constraints: 41198
3600.06/3612.10 c #Conflicts: 1762000 | #Constraints: 42198
3600.06/3612.10 c #Conflicts: 1763000 | #Constraints: 43198
3600.06/3612.10 c #Conflicts: 1764000 | #Constraints: 44198
3600.06/3612.10 c #Conflicts: 1765000 | #Constraints: 45198
3600.06/3612.10 c #Conflicts: 1766000 | #Constraints: 46198
3600.06/3612.10 c #Conflicts: 1767000 | #Constraints: 47198
3600.06/3612.10 c #Conflicts: 1768000 | #Constraints: 48198
3600.06/3612.10 c #Conflicts: 1769000 | #Constraints: 49198
3600.06/3612.10 c #Conflicts: 1770000 | #Constraints: 50198
3600.06/3612.10 c #Conflicts: 1771000 | #Constraints: 51198
3600.06/3612.10 c #Conflicts: 1772000 | #Constraints: 52198
3600.06/3612.10 c #Conflicts: 1773000 | #Constraints: 53198
3600.06/3612.10 c INPROCESSING
3600.06/3612.10 c GARBAGE COLLECT
3600.06/3612.10 c #Conflicts: 1774000 | #Constraints: 27787
3600.06/3612.10 c #Conflicts: 1775000 | #Constraints: 28787
3600.06/3612.10 c #Conflicts: 1776000 | #Constraints: 29787
3600.06/3612.10 c #Conflicts: 1777000 | #Constraints: 30787
3600.06/3612.10 c #Conflicts: 1778000 | #Constraints: 31787
3600.06/3612.10 c #Conflicts: 1779000 | #Constraints: 32787
3600.06/3612.10 c #Conflicts: 1780000 | #Constraints: 33787
3600.06/3612.10 c #Conflicts: 1781000 | #Constraints: 34787
3600.06/3612.10 c cpu time 3582.48 s
3600.06/3612.10 c deterministic time 1 1.00e+00
3600.06/3612.10 c optimization time 3582.48 s
3600.06/3612.10 c total solve time 0 s
3600.06/3612.10 c core-guided solve time 0 s
3600.06/3612.10 c propagation time 0.000138 s
3600.06/3612.10 c conflict analysis time 0 s
3600.06/3612.10 c propagations 0
3600.06/3612.10 c resolve steps 0
3600.06/3612.10 c decisions 0
3600.06/3612.10 c conflicts 0
3600.06/3612.10 c restarts 0
3600.06/3612.10 c inprocessing phases 0
3600.06/3612.10 c garbage collections 0 ,( -nan )
3600.06/3612.10 c input clauses 1 ,( 0.21 )
3600.06/3612.10 c input cardinalities 0 ,( 0.00 )
3600.06/3612.10 c input general constraints 475 ,( 99.79 )
3600.06/3612.10 c input average constraint length 8.95
3600.06/3612.10 c input average constraint degree 28.73
3600.06/3612.10 c learned clauses 0 ,( 0.00 )
3600.06/3612.10 c learned cardinalities 0 ,( 0.00 )
3600.06/3612.10 c learned general constraints 0 ,( 0.00 )
3600.06/3612.10 c learned average constraint length 0.00
3600.06/3612.10 c learned average constraint degree 0.00
3600.06/3612.10 c watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
3600.06/3612.10 c counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
3600.06/3612.10 c watched constraints 4 ,( 0.84 )
3600.06/3612.10 c counting constraints 471 ,( 99.16 )
3600.06/3612.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3612.10 c gcd simplifications 1
3600.06/3612.10 c detected cardinalities 0
3600.06/3612.10 c weakened non-implied lits 0
3600.06/3612.10 c weakened non-implying lits 0
3600.06/3612.10 c original variables 476
3600.06/3612.10 c clausal propagations 0
3600.06/3612.10 c cardinality propagations 0
3600.06/3612.10 c watched propagations 0
3600.06/3612.10 c counting propagations 0
3600.06/3612.10 c watch lookups 0
3600.06/3612.10 c watch backjump lookups 0
3600.06/3612.10 c watch checks 0
3600.06/3612.10 c propagation checks 0
3600.06/3612.10 c constraint additions 0
3600.06/3612.10 c trail pops 0
3600.06/3612.10 c formula constraints 476
3600.06/3612.10 c learned constraints 0
3600.06/3612.10 c bound constraints 0
3600.06/3612.10 c core-guided constraints 0
3600.06/3612.10 c encountered formula constraints 0
3600.06/3612.10 c encountered learned constraints 0
3600.06/3612.10 c encountered bound constraints 0
3600.06/3612.10 c encountered core-guided constraints 0
3600.06/3612.10 c LP total time 0 s
3600.06/3612.10 c LP solve time 0 s
3600.06/3612.10 c LP constraints added 0
3600.06/3612.10 c LP constraints removed 0
3600.06/3612.10 c LP pivots internal 0
3600.06/3612.10 c LP pivots root 0
3600.06/3612.10 c LP calls 0
3600.06/3612.10 c LP optimalities 0
3600.06/3612.10 c LP no pivot count 0
3600.06/3612.10 c LP infeasibilities 0
3600.06/3612.10 c LP valid Farkas constraints 0
3600.06/3612.10 c LP learned Farkas constraints 0
3600.06/3612.10 c LP basis resets 0
3600.06/3612.10 c LP cycling count 0
3600.06/3612.10 c LP singular count 0
3600.06/3612.10 c LP no primal count 0
3600.06/3612.10 c LP no farkas count 0
3600.06/3612.10 c LP other issue count 0
3600.06/3612.10 c LP Gomory cuts 0
3600.06/3612.10 c LP learned cuts 0
3600.06/3612.10 c LP deleted cuts 0
3600.06/3612.10 c LP encountered Gomory constraints 0
3600.06/3612.10 c LP encountered Farkas constraints 0
3600.06/3612.10 c LP encountered learned Farkas constraints 0
3600.06/3612.10 c CG auxiliary variables introduced 0
3600.06/3612.10 c CG solutions found 0
3600.06/3612.10 c CG cores constructed 0
3600.06/3612.10 c CG core cardinality constraints returned 0
3600.06/3612.10 c CG unit cores 0
3600.06/3612.10 c CG single cores 0
3600.06/3612.10 c CG blocks removed during cardinality reduction 0
3600.06/3612.10 c CG first core best 0
3600.06/3612.10 c CG decision core best 0
3600.06/3612.10 c CG core reduction tie 0
3600.06/3612.10 c CG core degree average 0.00
3600.06/3612.10 c CG core slack average 0.00
3600.06/3612.10 c CG core upper bound improvements 0
3600.06/3612.10 c STR number of successful calls 0
3600.06/3612.10 c STR number of unsuccessful calls 0
3600.06/3612.10 c STR number of inconclusive calls 0
3600.06/3612.10 c STR number of successful attempts 0
3600.06/3612.10 c STR number of unsuccessful attempts 0
3600.06/3612.10 c STR number of inconclusive attempts 0
3600.06/3612.10 c STR average degree increase per successful call inf
3600.06/3612.10 c STR average degree increase per successful attempt inf
3600.06/3612.10 c STR total number of conflicts for successful attempts 0
3600.06/3612.10 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3612.10 c STR total number of conflicts for inconclusive attempts 0
3600.06/3612.10 c STR average number of conflicts per successful attempt inf
3600.06/3612.10 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3612.10 c STR average number of conflicts per inconclusive attempt inf
3600.06/3612.10 c AVG.sumWPerc 72.21
3600.06/3612.10 c bigint constraints 0
3600.06/3612.10 s UNKNOWN
3600.06/3612.10 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: 63665 MiB (62717 MiB free)
memory of node 1: 64507 MiB (63995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489323-1751360042/watcher-4489323-1751360042 -o /tmp/evaluation-result-4489323-1751360042/solver-4489323-1751360042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49684 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489323-1751360042.opb PROOFDIR/proof-4489323-1751360042
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=49722, runsolver pid=49718
[startup+0.10006 s]*
/proc/loadavg: 2.83 3.79 3.99 5/265 49740
/proc/meminfo: memFree=129726684/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=62648 memory=15572 CPUtime=0.07 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 1280 0 0 0 7 0 0 0 20 0 1 0 51683067 64151552 3893 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 15662 3893 2400 1147 0 3089 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66840 KiB
Current children cumulated memory: 18644 KiB
[startup+0.20592 s]*
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129710556/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=64812 memory=17748 CPUtime=0.17 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 1804 0 0 0 17 0 0 0 20 0 1 0 51683067 66367488 4437 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 16203 4437 2400 1147 0 3630 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 69004 KiB
Current children cumulated memory: 20820 KiB
[startup+0.305373 s]*
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129694680/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=68544 memory=22100 CPUtime=0.28 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 2894 0 0 0 27 1 0 0 20 0 1 0 51683067 70189056 5525 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 17136 5525 2400 1147 0 4563 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72736 KiB
Current children cumulated memory: 25172 KiB
[startup+0.700165 s]
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129669732/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=77752 memory=28500 CPUtime=0.66 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 4499 0 0 0 65 1 0 0 20 0 1 0 51683067 79618048 7125 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 19438 7125 2400 1147 0 6865 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 81944 KiB
Current children cumulated memory: 31572 KiB
[startup+1.50017 s]
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129615048/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=83616 memory=34004 CPUtime=1.46 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 5875 0 0 0 143 3 0 0 20 0 1 0 51683067 85622784 8501 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 20904 8501 2400 1147 0 8331 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 87808 KiB
Current children cumulated memory: 37076 KiB
[startup+3.10546 s]
/proc/loadavg: 2.92 3.80 3.99 5/268 49746
/proc/meminfo: memFree=128981580/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=97040 memory=46588 CPUtime=3.06 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 8523 0 0 0 299 7 0 0 20 0 1 0 51683067 99368960 11647 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 24260 11647 2400 1147 0 11687 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 101232 KiB
Current children cumulated memory: 49660 KiB
[startup+6.30016 s]
/proc/loadavg: 2.92 3.80 3.99 5/270 49748
/proc/meminfo: memFree=128590696/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=100244 memory=51068 CPUtime=6.24 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 9636 0 0 0 610 14 0 0 20 0 1 0 51683067 102649856 12767 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 25061 12767 2400 1147 0 12488 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 104436 KiB
Current children cumulated memory: 54140 KiB
[startup+12.7002 s]
/proc/loadavg: 3.01 3.80 3.99 5/270 49748
/proc/meminfo: memFree=128299260/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=119136 memory=63272 CPUtime=12.62 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 12173 0 0 0 1237 25 0 0 20 0 1 0 51683067 121995264 15818 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 29784 15818 2400 1147 0 17211 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 123328 KiB
Current children cumulated memory: 66344 KiB
[startup+25.5002 s]
/proc/loadavg: 3.23 3.81 3.99 5/270 49749
/proc/meminfo: memFree=127690564/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=132704 memory=77676 CPUtime=25.38 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 15273 0 0 0 2496 42 0 0 20 0 1 0 51683067 135888896 19419 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 33176 19419 2400 1147 0 20603 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 136896 KiB
Current children cumulated memory: 80748 KiB
[startup+51.1054 s]
/proc/loadavg: 3.49 3.83 4.00 5/271 49750
/proc/meminfo: memFree=126892900/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=147764 memory=91496 CPUtime=50.88 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 17699 0 0 0 5015 73 0 0 20 0 1 0 51683067 151310336 22874 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 36941 22874 2400 1147 0 24368 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 151956 KiB
Current children cumulated memory: 94568 KiB
[startup+102.3 s]
/proc/loadavg: 3.92 3.89 4.01 5/271 49753
/proc/meminfo: memFree=125382304/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=184944 memory=120748 CPUtime=101.91 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 23937 0 0 0 10065 126 0 0 20 0 1 0 51683067 189382656 30187 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 46236 30187 2400 1147 0 33663 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 189136 KiB
Current children cumulated memory: 123820 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.92 4.01 5/272 49756
/proc/meminfo: memFree=123954224/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=210932 memory=145424 CPUtime=161.73 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 26971 0 0 0 15997 176 0 0 20 0 1 0 51683067 215994368 36356 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 52733 36356 2400 1147 0 40160 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 215124 KiB
Current children cumulated memory: 148496 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.97 4.01 5/272 49761
/proc/meminfo: memFree=122891832/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=213280 memory=156384 CPUtime=221.55 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 27649 0 0 0 21931 224 0 0 20 0 1 0 51683067 218398720 39096 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
################
# More data... #
################
[pid=49725] ppid=49722 vsize=477804 memory=335396 CPUtime=3091.76 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 77346 0 0 0 307580 1596 0 0 20 0 1 0 51683067 489271296 83849 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 119451 83849 2400 1147 0 106878 0
Current children cumulated CPU time: 3091.76 s
Current children cumulated vsize: 481996 KiB
Current children cumulated memory: 338468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/273 49934
/proc/meminfo: memFree=93483692/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=479340 memory=335768 CPUtime=3151.6 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 77722 0 0 0 313547 1613 0 0 20 0 1 0 51683067 490844160 83942 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 119835 83942 2400 1147 0 107262 0
Current children cumulated CPU time: 3151.6 s
Current children cumulated vsize: 483532 KiB
Current children cumulated memory: 338840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 49939
/proc/meminfo: memFree=93042476/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=481128 memory=336684 CPUtime=3211.44 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 78261 0 0 0 319513 1631 0 0 20 0 1 0 51683067 492675072 84171 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 120282 84171 2400 1147 0 107709 0
Current children cumulated CPU time: 3211.44 s
Current children cumulated vsize: 485320 KiB
Current children cumulated memory: 339756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 49941
/proc/meminfo: memFree=92580740/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=486764 memory=341036 CPUtime=3271.27 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 79858 0 0 0 325478 1649 0 0 20 0 1 0 51683067 498446336 85259 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 121691 85259 2400 1147 0 109118 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 490956 KiB
Current children cumulated memory: 344108 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/273 49943
/proc/meminfo: memFree=92070880/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=489324 memory=341784 CPUtime=3331.1 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 80692 0 0 0 331442 1668 0 0 20 0 1 0 51683067 501067776 85446 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 122331 85446 2400 1147 0 109758 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 493516 KiB
Current children cumulated memory: 344856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/273 49944
/proc/meminfo: memFree=91513932/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=492400 memory=343248 CPUtime=3390.9 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 81584 0 0 0 337402 1688 0 0 20 0 1 0 51683067 504217600 85812 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 123100 85812 2400 1147 0 110527 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 496592 KiB
Current children cumulated memory: 346320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 49951
/proc/meminfo: memFree=91041724/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=492400 memory=343632 CPUtime=3450.72 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 81682 0 0 0 343364 1708 0 0 20 0 1 0 51683067 504217600 85908 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 123100 85908 2400 1147 0 110527 0
Current children cumulated CPU time: 3450.72 s
Current children cumulated vsize: 496592 KiB
Current children cumulated memory: 346704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 49954
/proc/meminfo: memFree=90471216/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=494448 memory=346044 CPUtime=3510.54 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 82330 0 0 0 349324 1730 0 0 20 0 1 0 51683067 506314752 86511 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 123612 86511 2400 1147 0 111039 0
Current children cumulated CPU time: 3510.54 s
Current children cumulated vsize: 498640 KiB
Current children cumulated memory: 349116 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 49956
/proc/meminfo: memFree=89937304/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=494448 memory=346044 CPUtime=3570.36 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 82348 0 0 0 355289 1747 0 0 20 0 1 0 51683067 506314752 86511 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 123612 86511 2400 1147 0 111039 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 498640 KiB
Current children cumulated memory: 349116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.14 4.10 4.09 3/257 50045
/proc/meminfo: memFree=96783444/131249988 swapFree=33010160/33010684
[pid=49722] ppid=49718 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/49722/stat : 49722 (run-opt-log.sh) S 49718 49722 49673 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 51683066 4292608 768 18446744073709551615 94433339887616 94433340782149 140722361266960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94433341021200 94433341068944 94433357598720 140722361272609 140722361272804 140722361272804 140722361278406 0
/proc/49722/statm: 1048 768 704 219 0 110 0
[pid=49725] ppid=49722 vsize=497520 memory=346852 CPUtime=3600.06 cores=4,6
/proc/49725/stat : 49725 (roundingsat) R 49722 49722 49673 0 -1 4194304 83307 0 0 0 358248 1758 0 0 20 0 1 0 51683067 509460480 86713 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 124380 86713 2400 1147 0 111807 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 501712 KiB
Current children cumulated memory: 349924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.11 s]
# the end of solver process 49722 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000818 s, system=0.001564 s
[startup+3612.24 s]
# the end of solver process 49725 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.49 s, system=17.5993 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.2 s]*
/proc/loadavg: 4.14 4.10 4.09 2/255 50051
/proc/meminfo: memFree=96789372/131249988 swapFree=33010160/33010684
[pid=49725] ppid=49718 vsize=497520 memory=347236 CPUtime=3600.06 cores=4,6
/proc/49725/stat : 49725 (roundingsat) D 49718 49722 49673 0 -1 4194304 83313 0 0 0 358248 1758 0 0 20 0 1 0 51683067 509460480 86809 18446744073709551615 4227072 8923433 140727621105536 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 34832384 140727621114194 140727621114408 140727621114408 140727621119978 0
/proc/49725/statm: 124380 86809 2496 1147 0 111807 0
Current cumulated CPU time of completed processes: 0.002382 s
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 497520 KiB
Current children cumulated memory: 347236 KiB
Child status: 2
Real time (s): 3612.24
CPU time (s): 3600.09
CPU user time (s): 3582.49
CPU system time (s): 17.5993
CPU usage (%): 99.6636
Max. virtual memory (cumulated for all children) (KiB): 501712
Max. memory (cumulated for all children) (KiB): 349924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.49
system time used= 17.5993
maximum resident set size= 347320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7436176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 598
involuntary context switches= 5820
# summary of solver processes directly reported to runsolver:
# pid: 49722,49725
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.49
# total CPU system time (s): 17.5993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45033 second user time and 15.9411 second system time
The end
Begin job on nodeC034 at 2025-07-01 10:54:02
IDJOB=4489323
IDBENCH=147545
IDSOLVER=3351
FILE ID=nodeC034/4489323-1751360042
RUNJOBID= nodeC034-1751360042-49684
SLURM_JOB_ID= 9598159
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489323-1751360042/watcher-4489323-1751360042 -o /tmp/evaluation-result-4489323-1751360042/solver-4489323-1751360042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49684 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489323-1751360042.opb PROOFDIR/proof-4489323-1751360042
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=1442571434
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.756
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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.060
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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.431
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.541
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3599.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3594.722
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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.714
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.992
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129763112 kB
MemAvailable: 129686684 kB
Buffers: 2128 kB
Cached: 687856 kB
SwapCached: 36 kB
Active: 530368 kB
Inactive: 248452 kB
Active(anon): 102692 kB
Inactive(anon): 4212 kB
Active(file): 427676 kB
Inactive(file): 244240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20736 kB
Writeback: 0 kB
AnonPages: 91888 kB
Mapped: 103440 kB
Shmem: 18068 kB
KReclaimable: 181388 kB
Slab: 272012 kB
SReclaimable: 181388 kB
SUnreclaim: 90624 kB
KernelStack: 3940 kB
PageTables: 2376 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 350396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC034 at 2025-07-01 11:54:15