0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 476 #constraints 476
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.011141
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.011507
0.08/0.11 c GLOBAL bounds - >= 0 @ 0.070737
0.08/0.13 c GLOBAL bounds - >= 0 @ 0.085138
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.094477
0.39/0.45 c GLOBAL bounds - >= 0 @ 0.391756
0.76/0.83 c #Conflicts: 1000 | #Constraints: 1484
0.76/0.83 c GLOBAL bounds - >= 0 @ 0.753487
0.76/0.88 c GLOBAL bounds - >= 0 @ 0.802139
0.97/1.07 c #Conflicts: 2000 | #Constraints: 2488
0.97/1.07 c INPROCESSING
0.97/1.07 c GARBAGE COLLECT
0.97/1.07 c GLOBAL bounds - >= 0 @ 0.981149
1.16/1.20 c GLOBAL bounds - >= 0 @ 1.1063
1.76/1.87 c #Conflicts: 3000 | #Constraints: 2506
1.76/1.87 c #Conflicts: 4000 | #Constraints: 3506
1.76/1.87 c GLOBAL bounds - >= 0 @ 1.75975
1.85/1.92 c GLOBAL bounds - >= 0 @ 1.79905
2.07/2.19 c INPROCESSING
2.07/2.19 c GARBAGE COLLECT
2.07/2.19 c GLOBAL bounds - >= 0 @ 2.07028
2.45/2.59 c #Conflicts: 5000 | #Constraints: 2920
2.45/2.59 c #Conflicts: 6000 | #Constraints: 3920
2.45/2.59 c GLOBAL bounds - >= 0 @ 2.45463
2.55/2.68 c GLOBAL bounds - >= 0 @ 2.54287
2.96/3.03 c INPROCESSING
2.96/3.03 c GARBAGE COLLECT
2.96/3.03 c #Conflicts: 7000 | #Constraints: 2921
2.96/3.03 c GLOBAL bounds - >= 0 @ 2.88073
3.15/3.25 c #Conflicts: 8000 | #Constraints: 3923
3.15/3.25 c GLOBAL bounds - >= 0 @ 3.10025
3.45/3.53 c #Conflicts: 9000 | #Constraints: 4925
3.45/3.53 c INPROCESSING
3.45/3.53 c GARBAGE COLLECT
3.45/3.53 c GLOBAL bounds - >= 0 @ 3.37182
3.45/3.55 c GLOBAL bounds - >= 0 @ 3.39628
3.45/3.59 c GLOBAL bounds - >= 0 @ 3.42817
3.55/3.61 c GLOBAL bounds - >= 0 @ 3.45253
3.65/3.71 c #Conflicts: 10000 | #Constraints: 3639
3.65/3.71 c GLOBAL bounds - >= 0 @ 3.554
4.14/4.27 c #Conflicts: 11000 | #Constraints: 4641
4.14/4.27 c GLOBAL bounds - >= 0 @ 4.09804
4.44/4.56 c #Conflicts: 12000 | #Constraints: 5643
4.44/4.56 c INPROCESSING
4.44/4.56 c GARBAGE COLLECT
4.44/4.56 c GLOBAL bounds - >= 0 @ 4.38067
5.34/5.42 c #Conflicts: 13000 | #Constraints: 4099
5.34/5.42 c #Conflicts: 14000 | #Constraints: 5099
5.34/5.42 c #Conflicts: 15000 | #Constraints: 6099
5.34/5.42 c INPROCESSING
5.34/5.42 c GARBAGE COLLECT
5.34/5.42 c GLOBAL bounds - >= 0 @ 5.21982
7.34/7.45 c #Conflicts: 16000 | #Constraints: 4331
7.34/7.45 c #Conflicts: 17000 | #Constraints: 5331
7.34/7.45 c #Conflicts: 18000 | #Constraints: 6331
7.34/7.45 c INPROCESSING
7.34/7.45 c GARBAGE COLLECT
7.34/7.45 c #Conflicts: 19000 | #Constraints: 4341
7.34/7.45 c #Conflicts: 20000 | #Constraints: 5341
7.34/7.45 c #Conflicts: 21000 | #Constraints: 6341
7.34/7.45 c GLOBAL bounds - >= 0 @ 7.21165
8.05/8.19 c INPROCESSING
8.05/8.19 c GARBAGE COLLECT
8.05/8.19 c #Conflicts: 22000 | #Constraints: 4149
8.05/8.19 c #Conflicts: 23000 | #Constraints: 5149
8.05/8.19 c GLOBAL bounds - >= 0 @ 7.94331
8.43/8.53 c GLOBAL bounds - >= 0 @ 8.27357
8.73/8.85 c #Conflicts: 24000 | #Constraints: 6153
8.73/8.85 c GLOBAL bounds - >= 0 @ 8.58434
8.95/9.06 c #Conflicts: 25000 | #Constraints: 7155
8.95/9.06 c GLOBAL bounds - >= 0 @ 8.78977
11.42/11.50 c INPROCESSING
11.42/11.50 c GARBAGE COLLECT
11.42/11.50 c #Conflicts: 26000 | #Constraints: 4756
11.42/11.50 c #Conflicts: 27000 | #Constraints: 5756
11.42/11.50 c #Conflicts: 28000 | #Constraints: 6756
11.42/11.50 c #Conflicts: 29000 | #Constraints: 7756
11.42/11.50 c INPROCESSING
11.42/11.50 c GARBAGE COLLECT
11.42/11.50 c #Conflicts: 30000 | #Constraints: 5160
11.42/11.50 c GLOBAL bounds - >= 0 @ 11.201
27.38/27.57 c #Conflicts: 31000 | #Constraints: 6162
27.38/27.57 c #Conflicts: 32000 | #Constraints: 7162
27.38/27.57 c #Conflicts: 33000 | #Constraints: 8162
27.38/27.57 c INPROCESSING
27.38/27.57 c GARBAGE COLLECT
27.38/27.57 c #Conflicts: 34000 | #Constraints: 5364
27.38/27.57 c #Conflicts: 35000 | #Constraints: 6364
27.38/27.57 c #Conflicts: 36000 | #Constraints: 7364
27.38/27.57 c #Conflicts: 37000 | #Constraints: 8364
27.38/27.57 c INPROCESSING
27.38/27.57 c GARBAGE COLLECT
27.38/27.57 c #Conflicts: 38000 | #Constraints: 5367
27.38/27.57 c #Conflicts: 39000 | #Constraints: 6367
27.38/27.57 c #Conflicts: 40000 | #Constraints: 7367
27.38/27.57 c #Conflicts: 41000 | #Constraints: 8367
27.38/27.57 c INPROCESSING
27.38/27.57 c GARBAGE COLLECT
27.38/27.57 c #Conflicts: 42000 | #Constraints: 5171
27.38/27.57 c #Conflicts: 43000 | #Constraints: 6171
27.38/27.57 c #Conflicts: 44000 | #Constraints: 7171
27.38/27.57 c #Conflicts: 45000 | #Constraints: 8171
27.38/27.57 c #Conflicts: 46000 | #Constraints: 9171
27.38/27.57 c INPROCESSING
27.38/27.57 c GARBAGE COLLECT
27.38/27.57 c #Conflicts: 47000 | #Constraints: 5777
27.38/27.57 c #Conflicts: 48000 | #Constraints: 6777
27.38/27.57 c #Conflicts: 49000 | #Constraints: 7777
27.38/27.57 c #Conflicts: 50000 | #Constraints: 8777
27.38/27.57 c #Conflicts: 51000 | #Constraints: 9777
27.38/27.57 c INPROCESSING
27.38/27.57 c GARBAGE COLLECT
27.38/27.57 c #Conflicts: 52000 | #Constraints: 6179
27.38/27.57 c #Conflicts: 53000 | #Constraints: 7179
27.38/27.57 c #Conflicts: 54000 | #Constraints: 8179
27.38/27.57 c #Conflicts: 55000 | #Constraints: 9179
27.38/27.57 c #Conflicts: 56000 | #Constraints: 10179
27.38/27.57 c INPROCESSING
27.38/27.57 c GARBAGE COLLECT
27.38/27.57 c #Conflicts: 57000 | #Constraints: 6378
27.38/27.57 c #Conflicts: 58000 | #Constraints: 7378
27.38/27.57 c #Conflicts: 59000 | #Constraints: 8378
27.38/27.57 c #Conflicts: 60000 | #Constraints: 9378
27.38/27.57 c #Conflicts: 61000 | #Constraints: 10378
27.38/27.57 c INPROCESSING
27.38/27.57 c GARBAGE COLLECT
27.38/27.57 c #Conflicts: 62000 | #Constraints: 6379
27.38/27.57 c #Conflicts: 63000 | #Constraints: 7379
27.38/27.57 c #Conflicts: 64000 | #Constraints: 8379
27.38/27.57 c GLOBAL bounds - >= 0 @ 27.0239
76.75/77.06 c #Conflicts: 65000 | #Constraints: 9381
76.75/77.06 c #Conflicts: 66000 | #Constraints: 10381
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 67000 | #Constraints: 6184
76.75/77.06 c #Conflicts: 68000 | #Constraints: 7184
76.75/77.06 c #Conflicts: 69000 | #Constraints: 8184
76.75/77.06 c #Conflicts: 70000 | #Constraints: 9184
76.75/77.06 c #Conflicts: 71000 | #Constraints: 10184
76.75/77.06 c #Conflicts: 72000 | #Constraints: 11184
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 73000 | #Constraints: 6785
76.75/77.06 c #Conflicts: 74000 | #Constraints: 7785
76.75/77.06 c #Conflicts: 75000 | #Constraints: 8785
76.75/77.06 c #Conflicts: 76000 | #Constraints: 9785
76.75/77.06 c #Conflicts: 77000 | #Constraints: 10785
76.75/77.06 c #Conflicts: 78000 | #Constraints: 11785
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 79000 | #Constraints: 7181
76.75/77.06 c #Conflicts: 80000 | #Constraints: 8181
76.75/77.06 c #Conflicts: 81000 | #Constraints: 9181
76.75/77.06 c #Conflicts: 82000 | #Constraints: 10181
76.75/77.06 c #Conflicts: 83000 | #Constraints: 11181
76.75/77.06 c #Conflicts: 84000 | #Constraints: 12181
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 85000 | #Constraints: 7383
76.75/77.06 c #Conflicts: 86000 | #Constraints: 8383
76.75/77.06 c #Conflicts: 87000 | #Constraints: 9383
76.75/77.06 c #Conflicts: 88000 | #Constraints: 10383
76.75/77.06 c #Conflicts: 89000 | #Constraints: 11383
76.75/77.06 c #Conflicts: 90000 | #Constraints: 12383
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 91000 | #Constraints: 7377
76.75/77.06 c #Conflicts: 92000 | #Constraints: 8377
76.75/77.06 c #Conflicts: 93000 | #Constraints: 9377
76.75/77.06 c #Conflicts: 94000 | #Constraints: 10377
76.75/77.06 c #Conflicts: 95000 | #Constraints: 11377
76.75/77.06 c #Conflicts: 96000 | #Constraints: 12377
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 97000 | #Constraints: 7178
76.75/77.06 c #Conflicts: 98000 | #Constraints: 8178
76.75/77.06 c #Conflicts: 99000 | #Constraints: 9178
76.75/77.06 c #Conflicts: 100000 | #Constraints: 10178
76.75/77.06 c #Conflicts: 101000 | #Constraints: 11178
76.75/77.06 c #Conflicts: 102000 | #Constraints: 12178
76.75/77.06 c #Conflicts: 103000 | #Constraints: 13178
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 104000 | #Constraints: 7780
76.75/77.06 c #Conflicts: 105000 | #Constraints: 8780
76.75/77.06 c #Conflicts: 106000 | #Constraints: 9780
76.75/77.06 c #Conflicts: 107000 | #Constraints: 10780
76.75/77.06 c #Conflicts: 108000 | #Constraints: 11780
76.75/77.06 c #Conflicts: 109000 | #Constraints: 12780
76.75/77.06 c #Conflicts: 110000 | #Constraints: 13780
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 111000 | #Constraints: 8185
76.75/77.06 c #Conflicts: 112000 | #Constraints: 9185
76.75/77.06 c #Conflicts: 113000 | #Constraints: 10185
76.75/77.06 c #Conflicts: 114000 | #Constraints: 11185
76.75/77.06 c #Conflicts: 115000 | #Constraints: 12185
76.75/77.06 c #Conflicts: 116000 | #Constraints: 13185
76.75/77.06 c #Conflicts: 117000 | #Constraints: 14185
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 118000 | #Constraints: 8385
76.75/77.06 c #Conflicts: 119000 | #Constraints: 9385
76.75/77.06 c #Conflicts: 120000 | #Constraints: 10385
76.75/77.06 c #Conflicts: 121000 | #Constraints: 11385
76.75/77.06 c #Conflicts: 122000 | #Constraints: 12385
76.75/77.06 c #Conflicts: 123000 | #Constraints: 13385
76.75/77.06 c #Conflicts: 124000 | #Constraints: 14385
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 125000 | #Constraints: 8387
76.75/77.06 c #Conflicts: 126000 | #Constraints: 9387
76.75/77.06 c #Conflicts: 127000 | #Constraints: 10387
76.75/77.06 c #Conflicts: 128000 | #Constraints: 11387
76.75/77.06 c #Conflicts: 129000 | #Constraints: 12387
76.75/77.06 c #Conflicts: 130000 | #Constraints: 13387
76.75/77.06 c #Conflicts: 131000 | #Constraints: 14387
76.75/77.06 c INPROCESSING
76.75/77.06 c GARBAGE COLLECT
76.75/77.06 c #Conflicts: 132000 | #Constraints: 8185
76.75/77.06 c #Conflicts: 133000 | #Constraints: 9185
76.75/77.06 c #Conflicts: 134000 | #Constraints: 10185
76.75/77.06 c #Conflicts: 135000 | #Constraints: 11185
76.75/77.06 c #Conflicts: 136000 | #Constraints: 12185
135.15/135.60 c #Conflicts: 137000 | #Constraints: 13185
135.15/135.60 c #Conflicts: 138000 | #Constraints: 14185
135.15/135.60 c #Conflicts: 139000 | #Constraints: 15185
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 140000 | #Constraints: 8781
135.15/135.60 c #Conflicts: 141000 | #Constraints: 9781
135.15/135.60 c #Conflicts: 142000 | #Constraints: 10781
135.15/135.60 c #Conflicts: 143000 | #Constraints: 11781
135.15/135.60 c #Conflicts: 144000 | #Constraints: 12781
135.15/135.60 c #Conflicts: 145000 | #Constraints: 13781
135.15/135.60 c #Conflicts: 146000 | #Constraints: 14781
135.15/135.60 c #Conflicts: 147000 | #Constraints: 15781
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 148000 | #Constraints: 9187
135.15/135.60 c #Conflicts: 149000 | #Constraints: 10187
135.15/135.60 c #Conflicts: 150000 | #Constraints: 11187
135.15/135.60 c #Conflicts: 151000 | #Constraints: 12187
135.15/135.60 c #Conflicts: 152000 | #Constraints: 13187
135.15/135.60 c #Conflicts: 153000 | #Constraints: 14187
135.15/135.60 c #Conflicts: 154000 | #Constraints: 15187
135.15/135.60 c #Conflicts: 155000 | #Constraints: 16187
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 156000 | #Constraints: 9382
135.15/135.60 c #Conflicts: 157000 | #Constraints: 10382
135.15/135.60 c #Conflicts: 158000 | #Constraints: 11382
135.15/135.60 c #Conflicts: 159000 | #Constraints: 12382
135.15/135.60 c #Conflicts: 160000 | #Constraints: 13382
135.15/135.60 c #Conflicts: 161000 | #Constraints: 14382
135.15/135.60 c #Conflicts: 162000 | #Constraints: 15382
135.15/135.60 c #Conflicts: 163000 | #Constraints: 16382
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 164000 | #Constraints: 9381
135.15/135.60 c #Conflicts: 165000 | #Constraints: 10381
135.15/135.60 c #Conflicts: 166000 | #Constraints: 11381
135.15/135.60 c #Conflicts: 167000 | #Constraints: 12381
135.15/135.60 c #Conflicts: 168000 | #Constraints: 13381
135.15/135.60 c #Conflicts: 169000 | #Constraints: 14381
135.15/135.60 c #Conflicts: 170000 | #Constraints: 15381
135.15/135.60 c #Conflicts: 171000 | #Constraints: 16381
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 172000 | #Constraints: 9180
135.15/135.60 c #Conflicts: 173000 | #Constraints: 10180
135.15/135.60 c #Conflicts: 174000 | #Constraints: 11180
135.15/135.60 c #Conflicts: 175000 | #Constraints: 12180
135.15/135.60 c #Conflicts: 176000 | #Constraints: 13180
135.15/135.60 c #Conflicts: 177000 | #Constraints: 14180
135.15/135.60 c #Conflicts: 178000 | #Constraints: 15180
135.15/135.60 c #Conflicts: 179000 | #Constraints: 16180
135.15/135.60 c #Conflicts: 180000 | #Constraints: 17180
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 181000 | #Constraints: 9782
135.15/135.60 c #Conflicts: 182000 | #Constraints: 10782
135.15/135.60 c #Conflicts: 183000 | #Constraints: 11782
135.15/135.60 c #Conflicts: 184000 | #Constraints: 12782
135.15/135.60 c #Conflicts: 185000 | #Constraints: 13782
135.15/135.60 c #Conflicts: 186000 | #Constraints: 14782
135.15/135.60 c #Conflicts: 187000 | #Constraints: 15782
135.15/135.60 c #Conflicts: 188000 | #Constraints: 16782
135.15/135.60 c #Conflicts: 189000 | #Constraints: 17782
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 190000 | #Constraints: 10184
135.15/135.60 c #Conflicts: 191000 | #Constraints: 11184
135.15/135.60 c #Conflicts: 192000 | #Constraints: 12184
135.15/135.60 c #Conflicts: 193000 | #Constraints: 13184
135.15/135.60 c #Conflicts: 194000 | #Constraints: 14184
135.15/135.60 c #Conflicts: 195000 | #Constraints: 15184
135.15/135.60 c #Conflicts: 196000 | #Constraints: 16184
135.15/135.60 c #Conflicts: 197000 | #Constraints: 17184
135.15/135.60 c #Conflicts: 198000 | #Constraints: 18184
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 199000 | #Constraints: 10377
135.15/135.60 c #Conflicts: 200000 | #Constraints: 11377
135.15/135.60 c #Conflicts: 201000 | #Constraints: 12377
135.15/135.60 c #Conflicts: 202000 | #Constraints: 13377
135.15/135.60 c #Conflicts: 203000 | #Constraints: 14377
135.15/135.60 c #Conflicts: 204000 | #Constraints: 15377
135.15/135.60 c #Conflicts: 205000 | #Constraints: 16377
135.15/135.60 c #Conflicts: 206000 | #Constraints: 17377
135.15/135.60 c #Conflicts: 207000 | #Constraints: 18377
135.15/135.60 c INPROCESSING
135.15/135.60 c GARBAGE COLLECT
135.15/135.60 c #Conflicts: 208000 | #Constraints: 10377
135.15/135.60 c #Conflicts: 209000 | #Constraints: 11377
201.76/202.41 c #Conflicts: 210000 | #Constraints: 12377
201.76/202.41 c #Conflicts: 211000 | #Constraints: 13377
201.76/202.41 c #Conflicts: 212000 | #Constraints: 14377
201.76/202.41 c #Conflicts: 213000 | #Constraints: 15377
201.76/202.41 c #Conflicts: 214000 | #Constraints: 16377
201.76/202.41 c #Conflicts: 215000 | #Constraints: 17377
201.76/202.41 c #Conflicts: 216000 | #Constraints: 18377
201.76/202.41 c INPROCESSING
201.76/202.41 c GARBAGE COLLECT
201.76/202.41 c #Conflicts: 217000 | #Constraints: 10181
201.76/202.41 c #Conflicts: 218000 | #Constraints: 11181
201.76/202.41 c #Conflicts: 219000 | #Constraints: 12181
201.76/202.41 c #Conflicts: 220000 | #Constraints: 13181
201.76/202.41 c #Conflicts: 221000 | #Constraints: 14181
201.76/202.41 c #Conflicts: 222000 | #Constraints: 15181
201.76/202.41 c #Conflicts: 223000 | #Constraints: 16181
201.76/202.41 c #Conflicts: 224000 | #Constraints: 17181
201.76/202.41 c #Conflicts: 225000 | #Constraints: 18181
201.76/202.41 c #Conflicts: 226000 | #Constraints: 19181
201.76/202.41 c INPROCESSING
201.76/202.41 c GARBAGE COLLECT
201.76/202.41 c #Conflicts: 227000 | #Constraints: 10777
201.76/202.41 c #Conflicts: 228000 | #Constraints: 11777
201.76/202.41 c #Conflicts: 229000 | #Constraints: 12777
201.76/202.41 c #Conflicts: 230000 | #Constraints: 13777
201.76/202.41 c #Conflicts: 231000 | #Constraints: 14777
201.76/202.41 c #Conflicts: 232000 | #Constraints: 15777
201.76/202.41 c #Conflicts: 233000 | #Constraints: 16777
201.76/202.41 c #Conflicts: 234000 | #Constraints: 17777
201.76/202.41 c #Conflicts: 235000 | #Constraints: 18777
201.76/202.41 c #Conflicts: 236000 | #Constraints: 19777
201.76/202.41 c INPROCESSING
201.76/202.41 c GARBAGE COLLECT
201.76/202.41 c #Conflicts: 237000 | #Constraints: 11187
201.76/202.41 c #Conflicts: 238000 | #Constraints: 12187
201.76/202.41 c #Conflicts: 239000 | #Constraints: 13187
201.76/202.41 c #Conflicts: 240000 | #Constraints: 14187
201.76/202.41 c #Conflicts: 241000 | #Constraints: 15187
201.76/202.41 c #Conflicts: 242000 | #Constraints: 16187
201.76/202.41 c #Conflicts: 243000 | #Constraints: 17187
201.76/202.41 c #Conflicts: 244000 | #Constraints: 18187
201.76/202.41 c #Conflicts: 245000 | #Constraints: 19187
201.76/202.41 c #Conflicts: 246000 | #Constraints: 20187
201.76/202.41 c INPROCESSING
201.76/202.41 c GARBAGE COLLECT
201.76/202.41 c #Conflicts: 247000 | #Constraints: 11385
201.76/202.41 c #Conflicts: 248000 | #Constraints: 12385
201.76/202.41 c #Conflicts: 249000 | #Constraints: 13385
201.76/202.41 c #Conflicts: 250000 | #Constraints: 14385
201.76/202.41 c #Conflicts: 251000 | #Constraints: 15385
201.76/202.41 c #Conflicts: 252000 | #Constraints: 16385
201.76/202.41 c #Conflicts: 253000 | #Constraints: 17385
201.76/202.41 c #Conflicts: 254000 | #Constraints: 18385
201.76/202.41 c #Conflicts: 255000 | #Constraints: 19385
201.76/202.41 c #Conflicts: 256000 | #Constraints: 20385
201.76/202.41 c INPROCESSING
201.76/202.41 c GARBAGE COLLECT
201.76/202.41 c #Conflicts: 257000 | #Constraints: 11383
201.76/202.41 c #Conflicts: 258000 | #Constraints: 12383
201.76/202.41 c #Conflicts: 259000 | #Constraints: 13383
201.76/202.41 c #Conflicts: 260000 | #Constraints: 14383
201.76/202.41 c #Conflicts: 261000 | #Constraints: 15383
201.76/202.41 c #Conflicts: 262000 | #Constraints: 16383
201.76/202.41 c #Conflicts: 263000 | #Constraints: 17383
201.76/202.41 c #Conflicts: 264000 | #Constraints: 18383
201.76/202.41 c #Conflicts: 265000 | #Constraints: 19383
201.76/202.41 c #Conflicts: 266000 | #Constraints: 20383
201.76/202.41 c INPROCESSING
201.76/202.41 c GARBAGE COLLECT
201.76/202.41 c #Conflicts: 267000 | #Constraints: 11178
201.76/202.41 c #Conflicts: 268000 | #Constraints: 12178
201.76/202.41 c #Conflicts: 269000 | #Constraints: 13178
201.76/202.41 c #Conflicts: 270000 | #Constraints: 14178
201.76/202.41 c #Conflicts: 271000 | #Constraints: 15178
201.76/202.41 c #Conflicts: 272000 | #Constraints: 16178
201.76/202.41 c #Conflicts: 273000 | #Constraints: 17178
201.76/202.41 c #Conflicts: 274000 | #Constraints: 18178
201.76/202.41 c #Conflicts: 275000 | #Constraints: 19178
201.76/202.41 c #Conflicts: 276000 | #Constraints: 20178
201.76/202.41 c #Conflicts: 277000 | #Constraints: 21178
201.76/202.41 c INPROCESSING
201.76/202.41 c GARBAGE COLLECT
201.76/202.41 c #Conflicts: 278000 | #Constraints: 11780
201.76/202.41 c #Conflicts: 279000 | #Constraints: 12780
201.76/202.41 c #Conflicts: 280000 | #Constraints: 13780
201.76/202.41 c #Conflicts: 281000 | #Constraints: 14780
201.76/202.41 c #Conflicts: 282000 | #Constraints: 15780
201.76/202.41 c GLOBAL bounds - >= 0 @ 200.218
281.84/282.76 c #Conflicts: 283000 | #Constraints: 16782
281.84/282.76 c #Conflicts: 284000 | #Constraints: 17782
281.84/282.76 c #Conflicts: 285000 | #Constraints: 18782
281.84/282.76 c #Conflicts: 286000 | #Constraints: 19782
281.84/282.76 c #Conflicts: 287000 | #Constraints: 20782
281.84/282.76 c #Conflicts: 288000 | #Constraints: 21782
281.84/282.76 c INPROCESSING
281.84/282.76 c GARBAGE COLLECT
281.84/282.76 c #Conflicts: 289000 | #Constraints: 12186
281.84/282.76 c #Conflicts: 290000 | #Constraints: 13186
281.84/282.76 c #Conflicts: 291000 | #Constraints: 14186
281.84/282.76 c #Conflicts: 292000 | #Constraints: 15186
281.84/282.76 c #Conflicts: 293000 | #Constraints: 16186
281.84/282.76 c #Conflicts: 294000 | #Constraints: 17186
281.84/282.76 c #Conflicts: 295000 | #Constraints: 18186
281.84/282.76 c #Conflicts: 296000 | #Constraints: 19186
281.84/282.76 c #Conflicts: 297000 | #Constraints: 20186
281.84/282.76 c #Conflicts: 298000 | #Constraints: 21186
281.84/282.76 c #Conflicts: 299000 | #Constraints: 22186
281.84/282.76 c INPROCESSING
281.84/282.76 c GARBAGE COLLECT
281.84/282.76 c #Conflicts: 300000 | #Constraints: 12383
281.84/282.76 c #Conflicts: 301000 | #Constraints: 13383
281.84/282.76 c #Conflicts: 302000 | #Constraints: 14383
281.84/282.76 c #Conflicts: 303000 | #Constraints: 15383
281.84/282.76 c #Conflicts: 304000 | #Constraints: 16383
281.84/282.76 c #Conflicts: 305000 | #Constraints: 17383
281.84/282.76 c #Conflicts: 306000 | #Constraints: 18383
281.84/282.76 c #Conflicts: 307000 | #Constraints: 19383
281.84/282.76 c #Conflicts: 308000 | #Constraints: 20383
281.84/282.76 c #Conflicts: 309000 | #Constraints: 21383
281.84/282.76 c #Conflicts: 310000 | #Constraints: 22383
281.84/282.76 c INPROCESSING
281.84/282.76 c GARBAGE COLLECT
281.84/282.76 c #Conflicts: 311000 | #Constraints: 12383
281.84/282.76 c #Conflicts: 312000 | #Constraints: 13383
281.84/282.76 c #Conflicts: 313000 | #Constraints: 14383
281.84/282.76 c #Conflicts: 314000 | #Constraints: 15383
281.84/282.76 c #Conflicts: 315000 | #Constraints: 16383
281.84/282.76 c #Conflicts: 316000 | #Constraints: 17383
281.84/282.76 c #Conflicts: 317000 | #Constraints: 18383
281.84/282.76 c #Conflicts: 318000 | #Constraints: 19383
281.84/282.76 c #Conflicts: 319000 | #Constraints: 20383
281.84/282.76 c #Conflicts: 320000 | #Constraints: 21383
281.84/282.76 c #Conflicts: 321000 | #Constraints: 22383
281.84/282.76 c INPROCESSING
281.84/282.76 c GARBAGE COLLECT
281.84/282.76 c #Conflicts: 322000 | #Constraints: 12178
281.84/282.76 c #Conflicts: 323000 | #Constraints: 13178
281.84/282.76 c #Conflicts: 324000 | #Constraints: 14178
281.84/282.76 c #Conflicts: 325000 | #Constraints: 15178
281.84/282.76 c #Conflicts: 326000 | #Constraints: 16178
281.84/282.76 c #Conflicts: 327000 | #Constraints: 17178
281.84/282.76 c #Conflicts: 328000 | #Constraints: 18178
281.84/282.76 c #Conflicts: 329000 | #Constraints: 19178
281.84/282.76 c #Conflicts: 330000 | #Constraints: 20178
281.84/282.76 c #Conflicts: 331000 | #Constraints: 21178
281.84/282.76 c #Conflicts: 332000 | #Constraints: 22178
281.84/282.76 c #Conflicts: 333000 | #Constraints: 23178
281.84/282.76 c INPROCESSING
281.84/282.76 c GARBAGE COLLECT
281.84/282.76 c #Conflicts: 334000 | #Constraints: 12776
281.84/282.76 c #Conflicts: 335000 | #Constraints: 13776
281.84/282.76 c #Conflicts: 336000 | #Constraints: 14776
281.84/282.76 c #Conflicts: 337000 | #Constraints: 15776
281.84/282.76 c #Conflicts: 338000 | #Constraints: 16776
281.84/282.76 c #Conflicts: 339000 | #Constraints: 17776
281.84/282.76 c #Conflicts: 340000 | #Constraints: 18776
281.84/282.76 c #Conflicts: 341000 | #Constraints: 19776
281.84/282.76 c #Conflicts: 342000 | #Constraints: 20776
281.84/282.76 c #Conflicts: 343000 | #Constraints: 21776
281.84/282.76 c #Conflicts: 344000 | #Constraints: 22776
281.84/282.76 c #Conflicts: 345000 | #Constraints: 23776
281.84/282.76 c INPROCESSING
281.84/282.76 c GARBAGE COLLECT
281.84/282.76 c #Conflicts: 346000 | #Constraints: 13179
281.84/282.76 c #Conflicts: 347000 | #Constraints: 14179
281.84/282.76 c #Conflicts: 348000 | #Constraints: 15179
281.84/282.76 c #Conflicts: 349000 | #Constraints: 16179
281.84/282.76 c #Conflicts: 350000 | #Constraints: 17179
281.84/282.76 c #Conflicts: 351000 | #Constraints: 18179
281.84/282.76 c #Conflicts: 352000 | #Constraints: 19179
281.84/282.76 c #Conflicts: 353000 | #Constraints: 20179
281.84/282.76 c #Conflicts: 354000 | #Constraints: 21179
281.84/282.76 c #Conflicts: 355000 | #Constraints: 22179
281.84/282.76 c #Conflicts: 356000 | #Constraints: 23179
281.84/282.76 c #Conflicts: 357000 | #Constraints: 24179
378.05/379.26 c INPROCESSING
378.05/379.26 c GARBAGE COLLECT
378.05/379.26 c #Conflicts: 358000 | #Constraints: 13380
378.05/379.26 c #Conflicts: 359000 | #Constraints: 14380
378.05/379.26 c #Conflicts: 360000 | #Constraints: 15380
378.05/379.26 c #Conflicts: 361000 | #Constraints: 16380
378.05/379.26 c #Conflicts: 362000 | #Constraints: 17380
378.05/379.26 c #Conflicts: 363000 | #Constraints: 18380
378.05/379.26 c #Conflicts: 364000 | #Constraints: 19380
378.05/379.26 c #Conflicts: 365000 | #Constraints: 20380
378.05/379.26 c #Conflicts: 366000 | #Constraints: 21380
378.05/379.26 c #Conflicts: 367000 | #Constraints: 22380
378.05/379.26 c #Conflicts: 368000 | #Constraints: 23380
378.05/379.26 c #Conflicts: 369000 | #Constraints: 24380
378.05/379.26 c INPROCESSING
378.05/379.26 c GARBAGE COLLECT
378.05/379.26 c #Conflicts: 370000 | #Constraints: 13388
378.05/379.26 c #Conflicts: 371000 | #Constraints: 14388
378.05/379.26 c #Conflicts: 372000 | #Constraints: 15388
378.05/379.26 c #Conflicts: 373000 | #Constraints: 16388
378.05/379.26 c #Conflicts: 374000 | #Constraints: 17388
378.05/379.26 c #Conflicts: 375000 | #Constraints: 18388
378.05/379.26 c #Conflicts: 376000 | #Constraints: 19388
378.05/379.26 c #Conflicts: 377000 | #Constraints: 20388
378.05/379.26 c #Conflicts: 378000 | #Constraints: 21388
378.05/379.26 c #Conflicts: 379000 | #Constraints: 22388
378.05/379.26 c #Conflicts: 380000 | #Constraints: 23388
378.05/379.26 c #Conflicts: 381000 | #Constraints: 24388
378.05/379.26 c INPROCESSING
378.05/379.26 c GARBAGE COLLECT
378.05/379.26 c #Conflicts: 382000 | #Constraints: 13189
378.05/379.26 c #Conflicts: 383000 | #Constraints: 14189
378.05/379.26 c #Conflicts: 384000 | #Constraints: 15189
378.05/379.26 c #Conflicts: 385000 | #Constraints: 16189
378.05/379.26 c #Conflicts: 386000 | #Constraints: 17189
378.05/379.26 c #Conflicts: 387000 | #Constraints: 18189
378.05/379.26 c #Conflicts: 388000 | #Constraints: 19189
378.05/379.26 c #Conflicts: 389000 | #Constraints: 20189
378.05/379.26 c #Conflicts: 390000 | #Constraints: 21189
378.05/379.26 c #Conflicts: 391000 | #Constraints: 22189
378.05/379.26 c #Conflicts: 392000 | #Constraints: 23189
378.05/379.26 c #Conflicts: 393000 | #Constraints: 24189
378.05/379.26 c #Conflicts: 394000 | #Constraints: 25189
378.05/379.26 c INPROCESSING
378.05/379.26 c GARBAGE COLLECT
378.05/379.26 c #Conflicts: 395000 | #Constraints: 13787
378.05/379.26 c #Conflicts: 396000 | #Constraints: 14787
378.05/379.26 c #Conflicts: 397000 | #Constraints: 15787
378.05/379.26 c #Conflicts: 398000 | #Constraints: 16787
378.05/379.26 c #Conflicts: 399000 | #Constraints: 17787
378.05/379.26 c #Conflicts: 400000 | #Constraints: 18787
378.05/379.26 c #Conflicts: 401000 | #Constraints: 19787
378.05/379.26 c #Conflicts: 402000 | #Constraints: 20787
378.05/379.26 c #Conflicts: 403000 | #Constraints: 21787
378.05/379.26 c #Conflicts: 404000 | #Constraints: 22787
378.05/379.26 c #Conflicts: 405000 | #Constraints: 23787
378.05/379.26 c #Conflicts: 406000 | #Constraints: 24787
378.05/379.26 c #Conflicts: 407000 | #Constraints: 25787
378.05/379.26 c INPROCESSING
378.05/379.26 c GARBAGE COLLECT
378.05/379.26 c #Conflicts: 408000 | #Constraints: 14185
378.05/379.26 c #Conflicts: 409000 | #Constraints: 15185
378.05/379.26 c #Conflicts: 410000 | #Constraints: 16185
378.05/379.26 c #Conflicts: 411000 | #Constraints: 17185
378.05/379.26 c #Conflicts: 412000 | #Constraints: 18185
378.05/379.26 c #Conflicts: 413000 | #Constraints: 19185
378.05/379.26 c #Conflicts: 414000 | #Constraints: 20185
378.05/379.26 c #Conflicts: 415000 | #Constraints: 21185
378.05/379.26 c #Conflicts: 416000 | #Constraints: 22185
378.05/379.26 c #Conflicts: 417000 | #Constraints: 23185
378.05/379.26 c #Conflicts: 418000 | #Constraints: 24185
378.05/379.26 c #Conflicts: 419000 | #Constraints: 25185
378.05/379.26 c #Conflicts: 420000 | #Constraints: 26185
378.05/379.26 c INPROCESSING
378.05/379.26 c GARBAGE COLLECT
378.05/379.26 c #Conflicts: 421000 | #Constraints: 14388
378.05/379.26 c #Conflicts: 422000 | #Constraints: 15388
378.05/379.26 c #Conflicts: 423000 | #Constraints: 16388
378.05/379.26 c #Conflicts: 424000 | #Constraints: 17388
378.05/379.26 c #Conflicts: 425000 | #Constraints: 18388
378.05/379.26 c #Conflicts: 426000 | #Constraints: 19388
378.05/379.26 c #Conflicts: 427000 | #Constraints: 20388
378.05/379.26 c #Conflicts: 428000 | #Constraints: 21388
378.05/379.26 c #Conflicts: 429000 | #Constraints: 22388
378.05/379.26 c #Conflicts: 430000 | #Constraints: 23388
378.05/379.26 c #Conflicts: 431000 | #Constraints: 24388
378.05/379.26 c #Conflicts: 432000 | #Constraints: 25388
472.57/474.06 c #Conflicts: 433000 | #Constraints: 26388
472.57/474.06 c INPROCESSING
472.57/474.06 c GARBAGE COLLECT
472.57/474.06 c #Conflicts: 434000 | #Constraints: 14384
472.57/474.06 c #Conflicts: 435000 | #Constraints: 15384
472.57/474.06 c #Conflicts: 436000 | #Constraints: 16384
472.57/474.06 c #Conflicts: 437000 | #Constraints: 17384
472.57/474.06 c #Conflicts: 438000 | #Constraints: 18384
472.57/474.06 c #Conflicts: 439000 | #Constraints: 19384
472.57/474.06 c #Conflicts: 440000 | #Constraints: 20384
472.57/474.06 c #Conflicts: 441000 | #Constraints: 21384
472.57/474.06 c #Conflicts: 442000 | #Constraints: 22384
472.57/474.06 c #Conflicts: 443000 | #Constraints: 23384
472.57/474.06 c #Conflicts: 444000 | #Constraints: 24384
472.57/474.06 c #Conflicts: 445000 | #Constraints: 25384
472.57/474.06 c #Conflicts: 446000 | #Constraints: 26384
472.57/474.06 c INPROCESSING
472.57/474.06 c GARBAGE COLLECT
472.57/474.06 c #Conflicts: 447000 | #Constraints: 14181
472.57/474.06 c #Conflicts: 448000 | #Constraints: 15181
472.57/474.06 c #Conflicts: 449000 | #Constraints: 16181
472.57/474.06 c #Conflicts: 450000 | #Constraints: 17181
472.57/474.06 c #Conflicts: 451000 | #Constraints: 18181
472.57/474.06 c #Conflicts: 452000 | #Constraints: 19181
472.57/474.06 c #Conflicts: 453000 | #Constraints: 20181
472.57/474.06 c #Conflicts: 454000 | #Constraints: 21181
472.57/474.06 c #Conflicts: 455000 | #Constraints: 22181
472.57/474.06 c #Conflicts: 456000 | #Constraints: 23181
472.57/474.06 c #Conflicts: 457000 | #Constraints: 24181
472.57/474.06 c #Conflicts: 458000 | #Constraints: 25181
472.57/474.06 c #Conflicts: 459000 | #Constraints: 26181
472.57/474.06 c #Conflicts: 460000 | #Constraints: 27181
472.57/474.06 c INPROCESSING
472.57/474.06 c GARBAGE COLLECT
472.57/474.06 c #Conflicts: 461000 | #Constraints: 14781
472.57/474.06 c #Conflicts: 462000 | #Constraints: 15781
472.57/474.06 c #Conflicts: 463000 | #Constraints: 16781
472.57/474.06 c #Conflicts: 464000 | #Constraints: 17781
472.57/474.06 c #Conflicts: 465000 | #Constraints: 18781
472.57/474.06 c #Conflicts: 466000 | #Constraints: 19781
472.57/474.06 c #Conflicts: 467000 | #Constraints: 20781
472.57/474.06 c #Conflicts: 468000 | #Constraints: 21781
472.57/474.06 c #Conflicts: 469000 | #Constraints: 22781
472.57/474.06 c #Conflicts: 470000 | #Constraints: 23781
472.57/474.06 c #Conflicts: 471000 | #Constraints: 24781
472.57/474.06 c #Conflicts: 472000 | #Constraints: 25781
472.57/474.06 c #Conflicts: 473000 | #Constraints: 26781
472.57/474.06 c #Conflicts: 474000 | #Constraints: 27781
472.57/474.06 c INPROCESSING
472.57/474.06 c GARBAGE COLLECT
472.57/474.06 c #Conflicts: 475000 | #Constraints: 15184
472.57/474.06 c #Conflicts: 476000 | #Constraints: 16184
472.57/474.06 c #Conflicts: 477000 | #Constraints: 17184
472.57/474.06 c #Conflicts: 478000 | #Constraints: 18184
472.57/474.06 c #Conflicts: 479000 | #Constraints: 19184
472.57/474.06 c #Conflicts: 480000 | #Constraints: 20184
472.57/474.06 c #Conflicts: 481000 | #Constraints: 21184
472.57/474.06 c #Conflicts: 482000 | #Constraints: 22184
472.57/474.06 c #Conflicts: 483000 | #Constraints: 23184
472.57/474.06 c #Conflicts: 484000 | #Constraints: 24184
472.57/474.06 c #Conflicts: 485000 | #Constraints: 25184
472.57/474.06 c #Conflicts: 486000 | #Constraints: 26184
472.57/474.06 c #Conflicts: 487000 | #Constraints: 27184
472.57/474.06 c #Conflicts: 488000 | #Constraints: 28184
472.57/474.06 c INPROCESSING
472.57/474.06 c GARBAGE COLLECT
472.57/474.06 c #Conflicts: 489000 | #Constraints: 15384
472.57/474.06 c #Conflicts: 490000 | #Constraints: 16384
472.57/474.06 c #Conflicts: 491000 | #Constraints: 17384
472.57/474.06 c #Conflicts: 492000 | #Constraints: 18384
472.57/474.06 c #Conflicts: 493000 | #Constraints: 19384
472.57/474.06 c #Conflicts: 494000 | #Constraints: 20384
472.57/474.06 c #Conflicts: 495000 | #Constraints: 21384
472.57/474.06 c #Conflicts: 496000 | #Constraints: 22384
472.57/474.06 c #Conflicts: 497000 | #Constraints: 23384
472.57/474.06 c #Conflicts: 498000 | #Constraints: 24384
472.57/474.06 c #Conflicts: 499000 | #Constraints: 25384
472.57/474.06 c #Conflicts: 500000 | #Constraints: 26384
472.57/474.06 c #Conflicts: 501000 | #Constraints: 27384
472.57/474.06 c #Conflicts: 502000 | #Constraints: 28384
472.57/474.06 c INPROCESSING
472.57/474.06 c GARBAGE COLLECT
472.57/474.06 c #Conflicts: 503000 | #Constraints: 15383
472.57/474.06 c #Conflicts: 504000 | #Constraints: 16383
472.57/474.06 c #Conflicts: 505000 | #Constraints: 17383
472.57/474.06 c #Conflicts: 506000 | #Constraints: 18383
472.57/474.06 c #Conflicts: 507000 | #Constraints: 19383
599.71/601.69 c #Conflicts: 508000 | #Constraints: 20383
599.71/601.69 c #Conflicts: 509000 | #Constraints: 21383
599.71/601.69 c #Conflicts: 510000 | #Constraints: 22383
599.71/601.69 c #Conflicts: 511000 | #Constraints: 23383
599.71/601.69 c #Conflicts: 512000 | #Constraints: 24383
599.71/601.69 c #Conflicts: 513000 | #Constraints: 25383
599.71/601.69 c #Conflicts: 514000 | #Constraints: 26383
599.71/601.69 c #Conflicts: 515000 | #Constraints: 27383
599.71/601.69 c #Conflicts: 516000 | #Constraints: 28383
599.71/601.69 c INPROCESSING
599.71/601.69 c GARBAGE COLLECT
599.71/601.69 c #Conflicts: 517000 | #Constraints: 15187
599.71/601.69 c #Conflicts: 518000 | #Constraints: 16187
599.71/601.69 c #Conflicts: 519000 | #Constraints: 17187
599.71/601.69 c #Conflicts: 520000 | #Constraints: 18187
599.71/601.69 c #Conflicts: 521000 | #Constraints: 19187
599.71/601.69 c #Conflicts: 522000 | #Constraints: 20187
599.71/601.69 c #Conflicts: 523000 | #Constraints: 21187
599.71/601.69 c #Conflicts: 524000 | #Constraints: 22187
599.71/601.69 c #Conflicts: 525000 | #Constraints: 23187
599.71/601.69 c #Conflicts: 526000 | #Constraints: 24187
599.71/601.69 c #Conflicts: 527000 | #Constraints: 25187
599.71/601.69 c #Conflicts: 528000 | #Constraints: 26187
599.71/601.69 c #Conflicts: 529000 | #Constraints: 27187
599.71/601.69 c #Conflicts: 530000 | #Constraints: 28187
599.71/601.69 c #Conflicts: 531000 | #Constraints: 29187
599.71/601.69 c INPROCESSING
599.71/601.69 c GARBAGE COLLECT
599.71/601.69 c #Conflicts: 532000 | #Constraints: 15782
599.71/601.69 c #Conflicts: 533000 | #Constraints: 16782
599.71/601.69 c #Conflicts: 534000 | #Constraints: 17782
599.71/601.69 c #Conflicts: 535000 | #Constraints: 18782
599.71/601.69 c #Conflicts: 536000 | #Constraints: 19782
599.71/601.69 c #Conflicts: 537000 | #Constraints: 20782
599.71/601.69 c #Conflicts: 538000 | #Constraints: 21782
599.71/601.69 c #Conflicts: 539000 | #Constraints: 22782
599.71/601.69 c #Conflicts: 540000 | #Constraints: 23782
599.71/601.69 c #Conflicts: 541000 | #Constraints: 24782
599.71/601.69 c #Conflicts: 542000 | #Constraints: 25782
599.71/601.69 c #Conflicts: 543000 | #Constraints: 26782
599.71/601.69 c #Conflicts: 544000 | #Constraints: 27782
599.71/601.69 c #Conflicts: 545000 | #Constraints: 28782
599.71/601.69 c #Conflicts: 546000 | #Constraints: 29782
599.71/601.69 c INPROCESSING
599.71/601.69 c GARBAGE COLLECT
599.71/601.69 c #Conflicts: 547000 | #Constraints: 16182
599.71/601.69 c #Conflicts: 548000 | #Constraints: 17182
599.71/601.69 c #Conflicts: 549000 | #Constraints: 18182
599.71/601.69 c #Conflicts: 550000 | #Constraints: 19182
599.71/601.69 c #Conflicts: 551000 | #Constraints: 20182
599.71/601.69 c #Conflicts: 552000 | #Constraints: 21182
599.71/601.69 c #Conflicts: 553000 | #Constraints: 22182
599.71/601.69 c #Conflicts: 554000 | #Constraints: 23182
599.71/601.69 c #Conflicts: 555000 | #Constraints: 24182
599.71/601.69 c #Conflicts: 556000 | #Constraints: 25182
599.71/601.69 c #Conflicts: 557000 | #Constraints: 26182
599.71/601.69 c #Conflicts: 558000 | #Constraints: 27182
599.71/601.69 c #Conflicts: 559000 | #Constraints: 28182
599.71/601.69 c #Conflicts: 560000 | #Constraints: 29182
599.71/601.69 c #Conflicts: 561000 | #Constraints: 30182
599.71/601.69 c INPROCESSING
599.71/601.69 c GARBAGE COLLECT
599.71/601.69 c #Conflicts: 562000 | #Constraints: 16384
599.71/601.69 c #Conflicts: 563000 | #Constraints: 17384
599.71/601.69 c #Conflicts: 564000 | #Constraints: 18384
599.71/601.69 c #Conflicts: 565000 | #Constraints: 19384
599.71/601.69 c #Conflicts: 566000 | #Constraints: 20384
599.71/601.69 c #Conflicts: 567000 | #Constraints: 21384
599.71/601.69 c #Conflicts: 568000 | #Constraints: 22384
599.71/601.69 c #Conflicts: 569000 | #Constraints: 23384
599.71/601.69 c #Conflicts: 570000 | #Constraints: 24384
599.71/601.69 c #Conflicts: 571000 | #Constraints: 25384
599.71/601.69 c #Conflicts: 572000 | #Constraints: 26384
599.71/601.69 c #Conflicts: 573000 | #Constraints: 27384
599.71/601.69 c #Conflicts: 574000 | #Constraints: 28384
599.71/601.69 c #Conflicts: 575000 | #Constraints: 29384
599.71/601.69 c #Conflicts: 576000 | #Constraints: 30384
599.71/601.69 c INPROCESSING
599.71/601.69 c GARBAGE COLLECT
599.71/601.69 c #Conflicts: 577000 | #Constraints: 16390
599.71/601.69 c #Conflicts: 578000 | #Constraints: 17390
599.71/601.69 c #Conflicts: 579000 | #Constraints: 18390
599.71/601.69 c #Conflicts: 580000 | #Constraints: 19390
599.71/601.69 c #Conflicts: 581000 | #Constraints: 20390
599.71/601.69 c #Conflicts: 582000 | #Constraints: 21390
599.71/601.69 c #Conflicts: 583000 | #Constraints: 22390
734.45/736.89 c #Conflicts: 584000 | #Constraints: 23390
734.45/736.89 c #Conflicts: 585000 | #Constraints: 24390
734.45/736.89 c #Conflicts: 586000 | #Constraints: 25390
734.45/736.89 c #Conflicts: 587000 | #Constraints: 26390
734.45/736.89 c #Conflicts: 588000 | #Constraints: 27390
734.45/736.89 c #Conflicts: 589000 | #Constraints: 28390
734.45/736.89 c #Conflicts: 590000 | #Constraints: 29390
734.45/736.89 c #Conflicts: 591000 | #Constraints: 30390
734.45/736.89 c INPROCESSING
734.45/736.89 c GARBAGE COLLECT
734.45/736.89 c #Conflicts: 592000 | #Constraints: 16191
734.45/736.89 c #Conflicts: 593000 | #Constraints: 17191
734.45/736.89 c #Conflicts: 594000 | #Constraints: 18191
734.45/736.89 c #Conflicts: 595000 | #Constraints: 19191
734.45/736.89 c #Conflicts: 596000 | #Constraints: 20191
734.45/736.89 c #Conflicts: 597000 | #Constraints: 21191
734.45/736.89 c #Conflicts: 598000 | #Constraints: 22191
734.45/736.89 c #Conflicts: 599000 | #Constraints: 23191
734.45/736.89 c #Conflicts: 600000 | #Constraints: 24191
734.45/736.89 c #Conflicts: 601000 | #Constraints: 25191
734.45/736.89 c #Conflicts: 602000 | #Constraints: 26191
734.45/736.89 c #Conflicts: 603000 | #Constraints: 27191
734.45/736.89 c #Conflicts: 604000 | #Constraints: 28191
734.45/736.89 c #Conflicts: 605000 | #Constraints: 29191
734.45/736.89 c #Conflicts: 606000 | #Constraints: 30191
734.45/736.89 c #Conflicts: 607000 | #Constraints: 31191
734.45/736.89 c INPROCESSING
734.45/736.89 c GARBAGE COLLECT
734.45/736.89 c #Conflicts: 608000 | #Constraints: 16789
734.45/736.89 c #Conflicts: 609000 | #Constraints: 17789
734.45/736.89 c #Conflicts: 610000 | #Constraints: 18789
734.45/736.89 c #Conflicts: 611000 | #Constraints: 19789
734.45/736.89 c #Conflicts: 612000 | #Constraints: 20789
734.45/736.89 c #Conflicts: 613000 | #Constraints: 21789
734.45/736.89 c #Conflicts: 614000 | #Constraints: 22789
734.45/736.89 c #Conflicts: 615000 | #Constraints: 23789
734.45/736.89 c #Conflicts: 616000 | #Constraints: 24789
734.45/736.89 c #Conflicts: 617000 | #Constraints: 25789
734.45/736.89 c #Conflicts: 618000 | #Constraints: 26789
734.45/736.89 c #Conflicts: 619000 | #Constraints: 27789
734.45/736.89 c #Conflicts: 620000 | #Constraints: 28789
734.45/736.89 c #Conflicts: 621000 | #Constraints: 29789
734.45/736.89 c #Conflicts: 622000 | #Constraints: 30789
734.45/736.89 c #Conflicts: 623000 | #Constraints: 31789
734.45/736.89 c INPROCESSING
734.45/736.89 c GARBAGE COLLECT
734.45/736.89 c #Conflicts: 624000 | #Constraints: 17185
734.45/736.89 c #Conflicts: 625000 | #Constraints: 18185
734.45/736.89 c #Conflicts: 626000 | #Constraints: 19185
734.45/736.89 c #Conflicts: 627000 | #Constraints: 20185
734.45/736.89 c #Conflicts: 628000 | #Constraints: 21185
734.45/736.89 c #Conflicts: 629000 | #Constraints: 22185
734.45/736.89 c #Conflicts: 630000 | #Constraints: 23185
734.45/736.89 c #Conflicts: 631000 | #Constraints: 24185
734.45/736.89 c #Conflicts: 632000 | #Constraints: 25185
734.45/736.89 c #Conflicts: 633000 | #Constraints: 26185
734.45/736.89 c #Conflicts: 634000 | #Constraints: 27185
734.45/736.89 c #Conflicts: 635000 | #Constraints: 28185
734.45/736.89 c #Conflicts: 636000 | #Constraints: 29185
734.45/736.89 c #Conflicts: 637000 | #Constraints: 30185
734.45/736.89 c #Conflicts: 638000 | #Constraints: 31185
734.45/736.89 c #Conflicts: 639000 | #Constraints: 32185
734.45/736.89 c INPROCESSING
734.45/736.89 c GARBAGE COLLECT
734.45/736.89 c #Conflicts: 640000 | #Constraints: 17386
734.45/736.89 c #Conflicts: 641000 | #Constraints: 18386
734.45/736.89 c #Conflicts: 642000 | #Constraints: 19386
734.45/736.89 c #Conflicts: 643000 | #Constraints: 20386
734.45/736.89 c #Conflicts: 644000 | #Constraints: 21386
734.45/736.89 c #Conflicts: 645000 | #Constraints: 22386
734.45/736.89 c #Conflicts: 646000 | #Constraints: 23386
734.45/736.89 c #Conflicts: 647000 | #Constraints: 24386
734.45/736.89 c #Conflicts: 648000 | #Constraints: 25386
734.45/736.89 c #Conflicts: 649000 | #Constraints: 26386
734.45/736.89 c #Conflicts: 650000 | #Constraints: 27386
734.45/736.89 c #Conflicts: 651000 | #Constraints: 28386
734.45/736.89 c #Conflicts: 652000 | #Constraints: 29386
734.45/736.89 c #Conflicts: 653000 | #Constraints: 30386
734.45/736.89 c #Conflicts: 654000 | #Constraints: 31386
734.45/736.89 c #Conflicts: 655000 | #Constraints: 32386
734.45/736.89 c INPROCESSING
734.45/736.89 c GARBAGE COLLECT
734.45/736.89 c #Conflicts: 656000 | #Constraints: 17383
734.45/736.89 c #Conflicts: 657000 | #Constraints: 18383
734.45/736.89 c #Conflicts: 658000 | #Constraints: 19383
734.45/736.89 c #Conflicts: 659000 | #Constraints: 20383
866.79/869.61 c #Conflicts: 660000 | #Constraints: 21383
866.79/869.61 c #Conflicts: 661000 | #Constraints: 22383
866.79/869.61 c #Conflicts: 662000 | #Constraints: 23383
866.79/869.61 c #Conflicts: 663000 | #Constraints: 24383
866.79/869.61 c #Conflicts: 664000 | #Constraints: 25383
866.79/869.61 c #Conflicts: 665000 | #Constraints: 26383
866.79/869.61 c #Conflicts: 666000 | #Constraints: 27383
866.79/869.61 c #Conflicts: 667000 | #Constraints: 28383
866.79/869.61 c #Conflicts: 668000 | #Constraints: 29383
866.79/869.61 c #Conflicts: 669000 | #Constraints: 30383
866.79/869.61 c #Conflicts: 670000 | #Constraints: 31383
866.79/869.61 c #Conflicts: 671000 | #Constraints: 32383
866.79/869.61 c INPROCESSING
866.79/869.61 c GARBAGE COLLECT
866.79/869.61 c #Conflicts: 672000 | #Constraints: 17186
866.79/869.61 c #Conflicts: 673000 | #Constraints: 18186
866.79/869.61 c #Conflicts: 674000 | #Constraints: 19186
866.79/869.61 c #Conflicts: 675000 | #Constraints: 20186
866.79/869.61 c #Conflicts: 676000 | #Constraints: 21186
866.79/869.61 c #Conflicts: 677000 | #Constraints: 22186
866.79/869.61 c #Conflicts: 678000 | #Constraints: 23186
866.79/869.61 c #Conflicts: 679000 | #Constraints: 24186
866.79/869.61 c #Conflicts: 680000 | #Constraints: 25186
866.79/869.61 c #Conflicts: 681000 | #Constraints: 26186
866.79/869.61 c #Conflicts: 682000 | #Constraints: 27186
866.79/869.61 c #Conflicts: 683000 | #Constraints: 28186
866.79/869.61 c #Conflicts: 684000 | #Constraints: 29186
866.79/869.61 c #Conflicts: 685000 | #Constraints: 30186
866.79/869.61 c #Conflicts: 686000 | #Constraints: 31186
866.79/869.61 c #Conflicts: 687000 | #Constraints: 32186
866.79/869.61 c #Conflicts: 688000 | #Constraints: 33186
866.79/869.61 c INPROCESSING
866.79/869.61 c GARBAGE COLLECT
866.79/869.61 c #Conflicts: 689000 | #Constraints: 17787
866.79/869.61 c #Conflicts: 690000 | #Constraints: 18787
866.79/869.61 c #Conflicts: 691000 | #Constraints: 19787
866.79/869.61 c #Conflicts: 692000 | #Constraints: 20787
866.79/869.61 c #Conflicts: 693000 | #Constraints: 21787
866.79/869.61 c #Conflicts: 694000 | #Constraints: 22787
866.79/869.61 c #Conflicts: 695000 | #Constraints: 23787
866.79/869.61 c #Conflicts: 696000 | #Constraints: 24787
866.79/869.61 c #Conflicts: 697000 | #Constraints: 25787
866.79/869.61 c #Conflicts: 698000 | #Constraints: 26787
866.79/869.61 c #Conflicts: 699000 | #Constraints: 27787
866.79/869.61 c #Conflicts: 700000 | #Constraints: 28787
866.79/869.61 c #Conflicts: 701000 | #Constraints: 29787
866.79/869.61 c #Conflicts: 702000 | #Constraints: 30787
866.79/869.61 c #Conflicts: 703000 | #Constraints: 31787
866.79/869.61 c #Conflicts: 704000 | #Constraints: 32787
866.79/869.61 c #Conflicts: 705000 | #Constraints: 33787
866.79/869.61 c INPROCESSING
866.79/869.61 c GARBAGE COLLECT
866.79/869.61 c #Conflicts: 706000 | #Constraints: 18193
866.79/869.61 c #Conflicts: 707000 | #Constraints: 19193
866.79/869.61 c #Conflicts: 708000 | #Constraints: 20193
866.79/869.61 c #Conflicts: 709000 | #Constraints: 21193
866.79/869.61 c #Conflicts: 710000 | #Constraints: 22193
866.79/869.61 c #Conflicts: 711000 | #Constraints: 23193
866.79/869.61 c #Conflicts: 712000 | #Constraints: 24193
866.79/869.61 c #Conflicts: 713000 | #Constraints: 25193
866.79/869.61 c #Conflicts: 714000 | #Constraints: 26193
866.79/869.61 c #Conflicts: 715000 | #Constraints: 27193
866.79/869.61 c #Conflicts: 716000 | #Constraints: 28193
866.79/869.61 c #Conflicts: 717000 | #Constraints: 29193
866.79/869.61 c #Conflicts: 718000 | #Constraints: 30193
866.79/869.61 c #Conflicts: 719000 | #Constraints: 31193
866.79/869.61 c #Conflicts: 720000 | #Constraints: 32193
866.79/869.61 c #Conflicts: 721000 | #Constraints: 33193
866.79/869.61 c #Conflicts: 722000 | #Constraints: 34193
866.79/869.61 c INPROCESSING
866.79/869.61 c GARBAGE COLLECT
866.79/869.61 c #Conflicts: 723000 | #Constraints: 18396
866.79/869.61 c #Conflicts: 724000 | #Constraints: 19396
866.79/869.61 c #Conflicts: 725000 | #Constraints: 20396
866.79/869.61 c #Conflicts: 726000 | #Constraints: 21396
866.79/869.61 c #Conflicts: 727000 | #Constraints: 22396
866.79/869.61 c #Conflicts: 728000 | #Constraints: 23396
866.79/869.61 c #Conflicts: 729000 | #Constraints: 24396
866.79/869.61 c #Conflicts: 730000 | #Constraints: 25396
866.79/869.61 c #Conflicts: 731000 | #Constraints: 26396
866.79/869.61 c #Conflicts: 732000 | #Constraints: 27396
866.79/869.61 c #Conflicts: 733000 | #Constraints: 28396
866.79/869.61 c #Conflicts: 734000 | #Constraints: 29396
866.79/869.61 c #Conflicts: 735000 | #Constraints: 30396
1019.66/1023.04 c #Conflicts: 736000 | #Constraints: 31396
1019.66/1023.04 c #Conflicts: 737000 | #Constraints: 32396
1019.66/1023.04 c #Conflicts: 738000 | #Constraints: 33396
1019.66/1023.04 c #Conflicts: 739000 | #Constraints: 34396
1019.66/1023.04 c INPROCESSING
1019.66/1023.04 c GARBAGE COLLECT
1019.66/1023.04 c #Conflicts: 740000 | #Constraints: 18391
1019.66/1023.04 c #Conflicts: 741000 | #Constraints: 19391
1019.66/1023.04 c #Conflicts: 742000 | #Constraints: 20391
1019.66/1023.04 c #Conflicts: 743000 | #Constraints: 21391
1019.66/1023.04 c #Conflicts: 744000 | #Constraints: 22391
1019.66/1023.04 c #Conflicts: 745000 | #Constraints: 23391
1019.66/1023.04 c #Conflicts: 746000 | #Constraints: 24391
1019.66/1023.04 c #Conflicts: 747000 | #Constraints: 25391
1019.66/1023.04 c #Conflicts: 748000 | #Constraints: 26391
1019.66/1023.04 c #Conflicts: 749000 | #Constraints: 27391
1019.66/1023.04 c #Conflicts: 750000 | #Constraints: 28391
1019.66/1023.04 c #Conflicts: 751000 | #Constraints: 29391
1019.66/1023.04 c #Conflicts: 752000 | #Constraints: 30391
1019.66/1023.04 c #Conflicts: 753000 | #Constraints: 31391
1019.66/1023.04 c #Conflicts: 754000 | #Constraints: 32391
1019.66/1023.04 c #Conflicts: 755000 | #Constraints: 33391
1019.66/1023.04 c #Conflicts: 756000 | #Constraints: 34391
1019.66/1023.04 c INPROCESSING
1019.66/1023.04 c GARBAGE COLLECT
1019.66/1023.04 c #Conflicts: 757000 | #Constraints: 18193
1019.66/1023.04 c #Conflicts: 758000 | #Constraints: 19193
1019.66/1023.04 c #Conflicts: 759000 | #Constraints: 20193
1019.66/1023.04 c #Conflicts: 760000 | #Constraints: 21193
1019.66/1023.04 c #Conflicts: 761000 | #Constraints: 22193
1019.66/1023.04 c #Conflicts: 762000 | #Constraints: 23193
1019.66/1023.04 c #Conflicts: 763000 | #Constraints: 24193
1019.66/1023.04 c #Conflicts: 764000 | #Constraints: 25193
1019.66/1023.04 c #Conflicts: 765000 | #Constraints: 26193
1019.66/1023.04 c #Conflicts: 766000 | #Constraints: 27193
1019.66/1023.04 c #Conflicts: 767000 | #Constraints: 28193
1019.66/1023.04 c #Conflicts: 768000 | #Constraints: 29193
1019.66/1023.04 c #Conflicts: 769000 | #Constraints: 30193
1019.66/1023.04 c #Conflicts: 770000 | #Constraints: 31193
1019.66/1023.04 c #Conflicts: 771000 | #Constraints: 32193
1019.66/1023.04 c #Conflicts: 772000 | #Constraints: 33193
1019.66/1023.04 c #Conflicts: 773000 | #Constraints: 34193
1019.66/1023.04 c #Conflicts: 774000 | #Constraints: 35193
1019.66/1023.04 c INPROCESSING
1019.66/1023.04 c GARBAGE COLLECT
1019.66/1023.04 c #Conflicts: 775000 | #Constraints: 18787
1019.66/1023.04 c #Conflicts: 776000 | #Constraints: 19787
1019.66/1023.04 c #Conflicts: 777000 | #Constraints: 20787
1019.66/1023.04 c #Conflicts: 778000 | #Constraints: 21787
1019.66/1023.04 c #Conflicts: 779000 | #Constraints: 22787
1019.66/1023.04 c #Conflicts: 780000 | #Constraints: 23787
1019.66/1023.04 c #Conflicts: 781000 | #Constraints: 24787
1019.66/1023.04 c #Conflicts: 782000 | #Constraints: 25787
1019.66/1023.04 c #Conflicts: 783000 | #Constraints: 26787
1019.66/1023.04 c #Conflicts: 784000 | #Constraints: 27787
1019.66/1023.04 c #Conflicts: 785000 | #Constraints: 28787
1019.66/1023.04 c #Conflicts: 786000 | #Constraints: 29787
1019.66/1023.04 c #Conflicts: 787000 | #Constraints: 30787
1019.66/1023.04 c #Conflicts: 788000 | #Constraints: 31787
1019.66/1023.04 c #Conflicts: 789000 | #Constraints: 32787
1019.66/1023.04 c #Conflicts: 790000 | #Constraints: 33787
1019.66/1023.04 c #Conflicts: 791000 | #Constraints: 34787
1019.66/1023.04 c #Conflicts: 792000 | #Constraints: 35787
1019.66/1023.04 c INPROCESSING
1019.66/1023.04 c GARBAGE COLLECT
1019.66/1023.04 c #Conflicts: 793000 | #Constraints: 19188
1019.66/1023.04 c #Conflicts: 794000 | #Constraints: 20188
1019.66/1023.04 c #Conflicts: 795000 | #Constraints: 21188
1019.66/1023.04 c #Conflicts: 796000 | #Constraints: 22188
1019.66/1023.04 c #Conflicts: 797000 | #Constraints: 23188
1019.66/1023.04 c #Conflicts: 798000 | #Constraints: 24188
1019.66/1023.04 c #Conflicts: 799000 | #Constraints: 25188
1019.66/1023.04 c #Conflicts: 800000 | #Constraints: 26188
1019.66/1023.04 c #Conflicts: 801000 | #Constraints: 27188
1019.66/1023.04 c #Conflicts: 802000 | #Constraints: 28188
1019.66/1023.04 c #Conflicts: 803000 | #Constraints: 29188
1019.66/1023.04 c #Conflicts: 804000 | #Constraints: 30188
1019.66/1023.04 c #Conflicts: 805000 | #Constraints: 31188
1019.66/1023.04 c #Conflicts: 806000 | #Constraints: 32188
1019.66/1023.04 c #Conflicts: 807000 | #Constraints: 33188
1019.66/1023.04 c #Conflicts: 808000 | #Constraints: 34188
1019.66/1023.04 c #Conflicts: 809000 | #Constraints: 35188
1019.66/1023.04 c #Conflicts: 810000 | #Constraints: 36188
1019.66/1023.04 c INPROCESSING
1019.66/1023.04 c GARBAGE COLLECT
1185.87/1189.88 c #Conflicts: 811000 | #Constraints: 19386
1185.87/1189.88 c #Conflicts: 812000 | #Constraints: 20386
1185.87/1189.88 c #Conflicts: 813000 | #Constraints: 21386
1185.87/1189.88 c #Conflicts: 814000 | #Constraints: 22386
1185.87/1189.88 c #Conflicts: 815000 | #Constraints: 23386
1185.87/1189.88 c #Conflicts: 816000 | #Constraints: 24386
1185.87/1189.88 c #Conflicts: 817000 | #Constraints: 25386
1185.87/1189.88 c #Conflicts: 818000 | #Constraints: 26386
1185.87/1189.88 c #Conflicts: 819000 | #Constraints: 27386
1185.87/1189.88 c #Conflicts: 820000 | #Constraints: 28386
1185.87/1189.88 c #Conflicts: 821000 | #Constraints: 29386
1185.87/1189.88 c #Conflicts: 822000 | #Constraints: 30386
1185.87/1189.88 c #Conflicts: 823000 | #Constraints: 31386
1185.87/1189.88 c #Conflicts: 824000 | #Constraints: 32386
1185.87/1189.88 c #Conflicts: 825000 | #Constraints: 33386
1185.87/1189.88 c #Conflicts: 826000 | #Constraints: 34386
1185.87/1189.88 c #Conflicts: 827000 | #Constraints: 35386
1185.87/1189.88 c #Conflicts: 828000 | #Constraints: 36386
1185.87/1189.88 c INPROCESSING
1185.87/1189.88 c GARBAGE COLLECT
1185.87/1189.88 c #Conflicts: 829000 | #Constraints: 19384
1185.87/1189.88 c #Conflicts: 830000 | #Constraints: 20384
1185.87/1189.88 c #Conflicts: 831000 | #Constraints: 21384
1185.87/1189.88 c #Conflicts: 832000 | #Constraints: 22384
1185.87/1189.88 c #Conflicts: 833000 | #Constraints: 23384
1185.87/1189.88 c #Conflicts: 834000 | #Constraints: 24384
1185.87/1189.88 c #Conflicts: 835000 | #Constraints: 25384
1185.87/1189.88 c #Conflicts: 836000 | #Constraints: 26384
1185.87/1189.88 c #Conflicts: 837000 | #Constraints: 27384
1185.87/1189.88 c #Conflicts: 838000 | #Constraints: 28384
1185.87/1189.88 c #Conflicts: 839000 | #Constraints: 29384
1185.87/1189.88 c #Conflicts: 840000 | #Constraints: 30384
1185.87/1189.88 c #Conflicts: 841000 | #Constraints: 31384
1185.87/1189.88 c #Conflicts: 842000 | #Constraints: 32384
1185.87/1189.88 c #Conflicts: 843000 | #Constraints: 33384
1185.87/1189.88 c #Conflicts: 844000 | #Constraints: 34384
1185.87/1189.88 c #Conflicts: 845000 | #Constraints: 35384
1185.87/1189.88 c #Conflicts: 846000 | #Constraints: 36384
1185.87/1189.88 c INPROCESSING
1185.87/1189.88 c GARBAGE COLLECT
1185.87/1189.88 c #Conflicts: 847000 | #Constraints: 19177
1185.87/1189.88 c #Conflicts: 848000 | #Constraints: 20177
1185.87/1189.88 c #Conflicts: 849000 | #Constraints: 21177
1185.87/1189.88 c #Conflicts: 850000 | #Constraints: 22177
1185.87/1189.88 c #Conflicts: 851000 | #Constraints: 23177
1185.87/1189.88 c #Conflicts: 852000 | #Constraints: 24177
1185.87/1189.88 c #Conflicts: 853000 | #Constraints: 25177
1185.87/1189.88 c #Conflicts: 854000 | #Constraints: 26177
1185.87/1189.88 c #Conflicts: 855000 | #Constraints: 27177
1185.87/1189.88 c #Conflicts: 856000 | #Constraints: 28177
1185.87/1189.88 c #Conflicts: 857000 | #Constraints: 29177
1185.87/1189.88 c #Conflicts: 858000 | #Constraints: 30177
1185.87/1189.88 c #Conflicts: 859000 | #Constraints: 31177
1185.87/1189.88 c #Conflicts: 860000 | #Constraints: 32177
1185.87/1189.88 c #Conflicts: 861000 | #Constraints: 33177
1185.87/1189.88 c #Conflicts: 862000 | #Constraints: 34177
1185.87/1189.88 c #Conflicts: 863000 | #Constraints: 35177
1185.87/1189.88 c #Conflicts: 864000 | #Constraints: 36177
1185.87/1189.88 c #Conflicts: 865000 | #Constraints: 37177
1185.87/1189.88 c INPROCESSING
1185.87/1189.88 c GARBAGE COLLECT
1185.87/1189.88 c #Conflicts: 866000 | #Constraints: 19786
1185.87/1189.88 c #Conflicts: 867000 | #Constraints: 20786
1185.87/1189.88 c #Conflicts: 868000 | #Constraints: 21786
1185.87/1189.88 c #Conflicts: 869000 | #Constraints: 22786
1185.87/1189.88 c #Conflicts: 870000 | #Constraints: 23786
1185.87/1189.88 c #Conflicts: 871000 | #Constraints: 24786
1185.87/1189.88 c #Conflicts: 872000 | #Constraints: 25786
1185.87/1189.88 c #Conflicts: 873000 | #Constraints: 26786
1185.87/1189.88 c #Conflicts: 874000 | #Constraints: 27786
1185.87/1189.88 c #Conflicts: 875000 | #Constraints: 28786
1185.87/1189.88 c #Conflicts: 876000 | #Constraints: 29786
1185.87/1189.88 c #Conflicts: 877000 | #Constraints: 30786
1185.87/1189.88 c #Conflicts: 878000 | #Constraints: 31786
1185.87/1189.88 c #Conflicts: 879000 | #Constraints: 32786
1185.87/1189.88 c #Conflicts: 880000 | #Constraints: 33786
1185.87/1189.88 c #Conflicts: 881000 | #Constraints: 34786
1185.87/1189.88 c #Conflicts: 882000 | #Constraints: 35786
1185.87/1189.88 c #Conflicts: 883000 | #Constraints: 36786
1185.87/1189.88 c #Conflicts: 884000 | #Constraints: 37786
1185.87/1189.88 c INPROCESSING
1185.87/1189.88 c GARBAGE COLLECT
1185.87/1189.88 c #Conflicts: 885000 | #Constraints: 20184
1185.87/1189.88 c #Conflicts: 886000 | #Constraints: 21184
1185.87/1189.88 c #Conflicts: 887000 | #Constraints: 22184
1349.09/1353.66 c #Conflicts: 888000 | #Constraints: 23184
1349.09/1353.66 c #Conflicts: 889000 | #Constraints: 24184
1349.09/1353.66 c #Conflicts: 890000 | #Constraints: 25184
1349.09/1353.66 c #Conflicts: 891000 | #Constraints: 26184
1349.09/1353.66 c #Conflicts: 892000 | #Constraints: 27184
1349.09/1353.66 c #Conflicts: 893000 | #Constraints: 28184
1349.09/1353.66 c #Conflicts: 894000 | #Constraints: 29184
1349.09/1353.66 c #Conflicts: 895000 | #Constraints: 30184
1349.09/1353.66 c #Conflicts: 896000 | #Constraints: 31184
1349.09/1353.66 c #Conflicts: 897000 | #Constraints: 32184
1349.09/1353.66 c #Conflicts: 898000 | #Constraints: 33184
1349.09/1353.66 c #Conflicts: 899000 | #Constraints: 34184
1349.09/1353.66 c #Conflicts: 900000 | #Constraints: 35184
1349.09/1353.66 c #Conflicts: 901000 | #Constraints: 36184
1349.09/1353.66 c #Conflicts: 902000 | #Constraints: 37184
1349.09/1353.66 c #Conflicts: 903000 | #Constraints: 38184
1349.09/1353.66 c INPROCESSING
1349.09/1353.66 c GARBAGE COLLECT
1349.09/1353.66 c #Conflicts: 904000 | #Constraints: 20389
1349.09/1353.66 c #Conflicts: 905000 | #Constraints: 21389
1349.09/1353.66 c #Conflicts: 906000 | #Constraints: 22389
1349.09/1353.66 c #Conflicts: 907000 | #Constraints: 23389
1349.09/1353.66 c #Conflicts: 908000 | #Constraints: 24389
1349.09/1353.66 c #Conflicts: 909000 | #Constraints: 25389
1349.09/1353.66 c #Conflicts: 910000 | #Constraints: 26389
1349.09/1353.66 c #Conflicts: 911000 | #Constraints: 27389
1349.09/1353.66 c #Conflicts: 912000 | #Constraints: 28389
1349.09/1353.66 c #Conflicts: 913000 | #Constraints: 29389
1349.09/1353.66 c #Conflicts: 914000 | #Constraints: 30389
1349.09/1353.66 c #Conflicts: 915000 | #Constraints: 31389
1349.09/1353.66 c #Conflicts: 916000 | #Constraints: 32389
1349.09/1353.66 c #Conflicts: 917000 | #Constraints: 33389
1349.09/1353.66 c #Conflicts: 918000 | #Constraints: 34389
1349.09/1353.66 c #Conflicts: 919000 | #Constraints: 35389
1349.09/1353.66 c #Conflicts: 920000 | #Constraints: 36389
1349.09/1353.66 c #Conflicts: 921000 | #Constraints: 37389
1349.09/1353.66 c #Conflicts: 922000 | #Constraints: 38389
1349.09/1353.66 c INPROCESSING
1349.09/1353.66 c GARBAGE COLLECT
1349.09/1353.66 c #Conflicts: 923000 | #Constraints: 20399
1349.09/1353.66 c #Conflicts: 924000 | #Constraints: 21399
1349.09/1353.66 c #Conflicts: 925000 | #Constraints: 22399
1349.09/1353.66 c #Conflicts: 926000 | #Constraints: 23399
1349.09/1353.66 c #Conflicts: 927000 | #Constraints: 24399
1349.09/1353.66 c #Conflicts: 928000 | #Constraints: 25399
1349.09/1353.66 c #Conflicts: 929000 | #Constraints: 26399
1349.09/1353.66 c #Conflicts: 930000 | #Constraints: 27399
1349.09/1353.66 c #Conflicts: 931000 | #Constraints: 28399
1349.09/1353.66 c #Conflicts: 932000 | #Constraints: 29399
1349.09/1353.66 c #Conflicts: 933000 | #Constraints: 30399
1349.09/1353.66 c #Conflicts: 934000 | #Constraints: 31399
1349.09/1353.66 c #Conflicts: 935000 | #Constraints: 32399
1349.09/1353.66 c #Conflicts: 936000 | #Constraints: 33399
1349.09/1353.66 c #Conflicts: 937000 | #Constraints: 34399
1349.09/1353.66 c #Conflicts: 938000 | #Constraints: 35399
1349.09/1353.66 c #Conflicts: 939000 | #Constraints: 36399
1349.09/1353.66 c #Conflicts: 940000 | #Constraints: 37399
1349.09/1353.66 c #Conflicts: 941000 | #Constraints: 38399
1349.09/1353.66 c INPROCESSING
1349.09/1353.66 c GARBAGE COLLECT
1349.09/1353.66 c #Conflicts: 942000 | #Constraints: 20198
1349.09/1353.66 c #Conflicts: 943000 | #Constraints: 21198
1349.09/1353.66 c #Conflicts: 944000 | #Constraints: 22198
1349.09/1353.66 c #Conflicts: 945000 | #Constraints: 23198
1349.09/1353.66 c #Conflicts: 946000 | #Constraints: 24198
1349.09/1353.66 c #Conflicts: 947000 | #Constraints: 25198
1349.09/1353.66 c #Conflicts: 948000 | #Constraints: 26198
1349.09/1353.66 c #Conflicts: 949000 | #Constraints: 27198
1349.09/1353.66 c #Conflicts: 950000 | #Constraints: 28198
1349.09/1353.66 c #Conflicts: 951000 | #Constraints: 29198
1349.09/1353.66 c #Conflicts: 952000 | #Constraints: 30198
1349.09/1353.66 c #Conflicts: 953000 | #Constraints: 31198
1349.09/1353.66 c #Conflicts: 954000 | #Constraints: 32198
1349.09/1353.66 c #Conflicts: 955000 | #Constraints: 33198
1349.09/1353.66 c #Conflicts: 956000 | #Constraints: 34198
1349.09/1353.66 c #Conflicts: 957000 | #Constraints: 35198
1349.09/1353.66 c #Conflicts: 958000 | #Constraints: 36198
1349.09/1353.66 c #Conflicts: 959000 | #Constraints: 37198
1349.09/1353.66 c #Conflicts: 960000 | #Constraints: 38198
1349.09/1353.66 c #Conflicts: 961000 | #Constraints: 39198
1349.09/1353.66 c INPROCESSING
1349.09/1353.66 c GARBAGE COLLECT
1349.09/1353.66 c #Conflicts: 962000 | #Constraints: 20788
1349.09/1353.66 c #Conflicts: 963000 | #Constraints: 21788
1370.12/1374.78 c #Conflicts: 964000 | #Constraints: 22788
1370.12/1374.78 c #Conflicts: 965000 | #Constraints: 23788
1370.12/1374.78 c #Conflicts: 966000 | #Constraints: 24788
1370.12/1374.78 c #Conflicts: 967000 | #Constraints: 25788
1370.12/1374.78 c #Conflicts: 968000 | #Constraints: 26788
1370.12/1374.78 c #Conflicts: 969000 | #Constraints: 27788
1370.12/1374.78 c #Conflicts: 970000 | #Constraints: 28788
1370.12/1374.78 c #Conflicts: 971000 | #Constraints: 29788
1370.12/1374.78 c #Conflicts: 972000 | #Constraints: 30788
1370.12/1374.78 c #Conflicts: 973000 | #Constraints: 31788
1370.12/1374.78 c #Conflicts: 974000 | #Constraints: 32788
1370.12/1374.78 c GLOBAL bounds - >= 0 @ 1364.72
1543.83/1549.03 c #Conflicts: 975000 | #Constraints: 33790
1543.83/1549.03 c #Conflicts: 976000 | #Constraints: 34790
1543.83/1549.03 c #Conflicts: 977000 | #Constraints: 35790
1543.83/1549.03 c #Conflicts: 978000 | #Constraints: 36790
1543.83/1549.03 c #Conflicts: 979000 | #Constraints: 37790
1543.83/1549.03 c #Conflicts: 980000 | #Constraints: 38790
1543.83/1549.03 c #Conflicts: 981000 | #Constraints: 39790
1543.83/1549.03 c INPROCESSING
1543.83/1549.03 c GARBAGE COLLECT
1543.83/1549.03 c #Conflicts: 982000 | #Constraints: 21184
1543.83/1549.03 c #Conflicts: 983000 | #Constraints: 22184
1543.83/1549.03 c #Conflicts: 984000 | #Constraints: 23184
1543.83/1549.03 c #Conflicts: 985000 | #Constraints: 24184
1543.83/1549.03 c #Conflicts: 986000 | #Constraints: 25184
1543.83/1549.03 c #Conflicts: 987000 | #Constraints: 26184
1543.83/1549.03 c #Conflicts: 988000 | #Constraints: 27184
1543.83/1549.03 c #Conflicts: 989000 | #Constraints: 28184
1543.83/1549.03 c #Conflicts: 990000 | #Constraints: 29184
1543.83/1549.03 c #Conflicts: 991000 | #Constraints: 30184
1543.83/1549.03 c #Conflicts: 992000 | #Constraints: 31184
1543.83/1549.03 c #Conflicts: 993000 | #Constraints: 32184
1543.83/1549.03 c #Conflicts: 994000 | #Constraints: 33184
1543.83/1549.03 c #Conflicts: 995000 | #Constraints: 34184
1543.83/1549.03 c #Conflicts: 996000 | #Constraints: 35184
1543.83/1549.03 c #Conflicts: 997000 | #Constraints: 36184
1543.83/1549.03 c #Conflicts: 998000 | #Constraints: 37184
1543.83/1549.03 c #Conflicts: 999000 | #Constraints: 38184
1543.83/1549.03 c #Conflicts: 1000000 | #Constraints: 39184
1543.83/1549.03 c #Conflicts: 1001000 | #Constraints: 40184
1543.83/1549.03 c INPROCESSING
1543.83/1549.03 c GARBAGE COLLECT
1543.83/1549.03 c #Conflicts: 1002000 | #Constraints: 21383
1543.83/1549.03 c #Conflicts: 1003000 | #Constraints: 22383
1543.83/1549.03 c #Conflicts: 1004000 | #Constraints: 23383
1543.83/1549.03 c #Conflicts: 1005000 | #Constraints: 24383
1543.83/1549.03 c #Conflicts: 1006000 | #Constraints: 25383
1543.83/1549.03 c #Conflicts: 1007000 | #Constraints: 26383
1543.83/1549.03 c #Conflicts: 1008000 | #Constraints: 27383
1543.83/1549.03 c #Conflicts: 1009000 | #Constraints: 28383
1543.83/1549.03 c #Conflicts: 1010000 | #Constraints: 29383
1543.83/1549.03 c #Conflicts: 1011000 | #Constraints: 30383
1543.83/1549.03 c #Conflicts: 1012000 | #Constraints: 31383
1543.83/1549.03 c #Conflicts: 1013000 | #Constraints: 32383
1543.83/1549.03 c #Conflicts: 1014000 | #Constraints: 33383
1543.83/1549.03 c #Conflicts: 1015000 | #Constraints: 34383
1543.83/1549.03 c #Conflicts: 1016000 | #Constraints: 35383
1543.83/1549.03 c #Conflicts: 1017000 | #Constraints: 36383
1543.83/1549.03 c #Conflicts: 1018000 | #Constraints: 37383
1543.83/1549.03 c #Conflicts: 1019000 | #Constraints: 38383
1543.83/1549.03 c #Conflicts: 1020000 | #Constraints: 39383
1543.83/1549.03 c #Conflicts: 1021000 | #Constraints: 40383
1543.83/1549.03 c INPROCESSING
1543.83/1549.03 c GARBAGE COLLECT
1543.83/1549.03 c #Conflicts: 1022000 | #Constraints: 21383
1543.83/1549.03 c #Conflicts: 1023000 | #Constraints: 22383
1543.83/1549.03 c #Conflicts: 1024000 | #Constraints: 23383
1543.83/1549.03 c #Conflicts: 1025000 | #Constraints: 24383
1543.83/1549.03 c #Conflicts: 1026000 | #Constraints: 25383
1543.83/1549.03 c #Conflicts: 1027000 | #Constraints: 26383
1543.83/1549.03 c #Conflicts: 1028000 | #Constraints: 27383
1543.83/1549.03 c #Conflicts: 1029000 | #Constraints: 28383
1543.83/1549.03 c #Conflicts: 1030000 | #Constraints: 29383
1543.83/1549.03 c #Conflicts: 1031000 | #Constraints: 30383
1543.83/1549.03 c #Conflicts: 1032000 | #Constraints: 31383
1543.83/1549.03 c #Conflicts: 1033000 | #Constraints: 32383
1543.83/1549.03 c #Conflicts: 1034000 | #Constraints: 33383
1543.83/1549.03 c #Conflicts: 1035000 | #Constraints: 34383
1543.83/1549.03 c #Conflicts: 1036000 | #Constraints: 35383
1543.83/1549.03 c #Conflicts: 1037000 | #Constraints: 36383
1543.83/1549.03 c #Conflicts: 1038000 | #Constraints: 37383
1543.83/1549.03 c #Conflicts: 1039000 | #Constraints: 38383
1543.83/1549.03 c #Conflicts: 1040000 | #Constraints: 39383
1543.83/1549.03 c #Conflicts: 1041000 | #Constraints: 40383
1543.83/1549.03 c INPROCESSING
1543.83/1549.03 c GARBAGE COLLECT
1543.83/1549.03 c #Conflicts: 1042000 | #Constraints: 21188
1543.83/1549.03 c #Conflicts: 1043000 | #Constraints: 22188
1543.83/1549.03 c #Conflicts: 1044000 | #Constraints: 23188
1543.83/1549.03 c #Conflicts: 1045000 | #Constraints: 24188
1543.83/1549.03 c #Conflicts: 1046000 | #Constraints: 25188
1543.83/1549.03 c #Conflicts: 1047000 | #Constraints: 26188
1543.83/1549.03 c #Conflicts: 1048000 | #Constraints: 27188
1543.83/1549.03 c #Conflicts: 1049000 | #Constraints: 28188
1543.83/1549.03 c #Conflicts: 1050000 | #Constraints: 29188
1543.83/1549.03 c #Conflicts: 1051000 | #Constraints: 30188
1724.20/1729.92 c #Conflicts: 1052000 | #Constraints: 31188
1724.20/1729.92 c #Conflicts: 1053000 | #Constraints: 32188
1724.20/1729.92 c #Conflicts: 1054000 | #Constraints: 33188
1724.20/1729.92 c #Conflicts: 1055000 | #Constraints: 34188
1724.20/1729.92 c #Conflicts: 1056000 | #Constraints: 35188
1724.20/1729.92 c #Conflicts: 1057000 | #Constraints: 36188
1724.20/1729.92 c #Conflicts: 1058000 | #Constraints: 37188
1724.20/1729.92 c #Conflicts: 1059000 | #Constraints: 38188
1724.20/1729.92 c #Conflicts: 1060000 | #Constraints: 39188
1724.20/1729.92 c #Conflicts: 1061000 | #Constraints: 40188
1724.20/1729.92 c #Conflicts: 1062000 | #Constraints: 41188
1724.20/1729.92 c INPROCESSING
1724.20/1729.92 c GARBAGE COLLECT
1724.20/1729.92 c #Conflicts: 1063000 | #Constraints: 21788
1724.20/1729.92 c #Conflicts: 1064000 | #Constraints: 22788
1724.20/1729.92 c #Conflicts: 1065000 | #Constraints: 23788
1724.20/1729.92 c #Conflicts: 1066000 | #Constraints: 24788
1724.20/1729.92 c #Conflicts: 1067000 | #Constraints: 25788
1724.20/1729.92 c #Conflicts: 1068000 | #Constraints: 26788
1724.20/1729.92 c #Conflicts: 1069000 | #Constraints: 27788
1724.20/1729.92 c #Conflicts: 1070000 | #Constraints: 28788
1724.20/1729.92 c #Conflicts: 1071000 | #Constraints: 29788
1724.20/1729.92 c #Conflicts: 1072000 | #Constraints: 30788
1724.20/1729.92 c #Conflicts: 1073000 | #Constraints: 31788
1724.20/1729.92 c #Conflicts: 1074000 | #Constraints: 32788
1724.20/1729.92 c #Conflicts: 1075000 | #Constraints: 33788
1724.20/1729.92 c #Conflicts: 1076000 | #Constraints: 34788
1724.20/1729.92 c #Conflicts: 1077000 | #Constraints: 35788
1724.20/1729.92 c #Conflicts: 1078000 | #Constraints: 36788
1724.20/1729.92 c #Conflicts: 1079000 | #Constraints: 37788
1724.20/1729.92 c #Conflicts: 1080000 | #Constraints: 38788
1724.20/1729.92 c #Conflicts: 1081000 | #Constraints: 39788
1724.20/1729.92 c #Conflicts: 1082000 | #Constraints: 40788
1724.20/1729.92 c #Conflicts: 1083000 | #Constraints: 41788
1724.20/1729.92 c INPROCESSING
1724.20/1729.92 c GARBAGE COLLECT
1724.20/1729.92 c #Conflicts: 1084000 | #Constraints: 22187
1724.20/1729.92 c #Conflicts: 1085000 | #Constraints: 23187
1724.20/1729.92 c #Conflicts: 1086000 | #Constraints: 24187
1724.20/1729.92 c #Conflicts: 1087000 | #Constraints: 25187
1724.20/1729.92 c #Conflicts: 1088000 | #Constraints: 26187
1724.20/1729.92 c #Conflicts: 1089000 | #Constraints: 27187
1724.20/1729.92 c #Conflicts: 1090000 | #Constraints: 28187
1724.20/1729.92 c #Conflicts: 1091000 | #Constraints: 29187
1724.20/1729.92 c #Conflicts: 1092000 | #Constraints: 30187
1724.20/1729.92 c #Conflicts: 1093000 | #Constraints: 31187
1724.20/1729.92 c #Conflicts: 1094000 | #Constraints: 32187
1724.20/1729.92 c #Conflicts: 1095000 | #Constraints: 33187
1724.20/1729.92 c #Conflicts: 1096000 | #Constraints: 34187
1724.20/1729.92 c #Conflicts: 1097000 | #Constraints: 35187
1724.20/1729.92 c #Conflicts: 1098000 | #Constraints: 36187
1724.20/1729.92 c #Conflicts: 1099000 | #Constraints: 37187
1724.20/1729.92 c #Conflicts: 1100000 | #Constraints: 38187
1724.20/1729.92 c #Conflicts: 1101000 | #Constraints: 39187
1724.20/1729.92 c #Conflicts: 1102000 | #Constraints: 40187
1724.20/1729.92 c #Conflicts: 1103000 | #Constraints: 41187
1724.20/1729.92 c #Conflicts: 1104000 | #Constraints: 42187
1724.20/1729.92 c INPROCESSING
1724.20/1729.92 c GARBAGE COLLECT
1724.20/1729.92 c #Conflicts: 1105000 | #Constraints: 22390
1724.20/1729.92 c #Conflicts: 1106000 | #Constraints: 23390
1724.20/1729.92 c #Conflicts: 1107000 | #Constraints: 24390
1724.20/1729.92 c #Conflicts: 1108000 | #Constraints: 25390
1724.20/1729.92 c #Conflicts: 1109000 | #Constraints: 26390
1724.20/1729.92 c #Conflicts: 1110000 | #Constraints: 27390
1724.20/1729.92 c #Conflicts: 1111000 | #Constraints: 28390
1724.20/1729.92 c #Conflicts: 1112000 | #Constraints: 29390
1724.20/1729.92 c #Conflicts: 1113000 | #Constraints: 30390
1724.20/1729.92 c #Conflicts: 1114000 | #Constraints: 31390
1724.20/1729.92 c #Conflicts: 1115000 | #Constraints: 32390
1724.20/1729.92 c #Conflicts: 1116000 | #Constraints: 33390
1724.20/1729.92 c #Conflicts: 1117000 | #Constraints: 34390
1724.20/1729.92 c #Conflicts: 1118000 | #Constraints: 35390
1724.20/1729.92 c #Conflicts: 1119000 | #Constraints: 36390
1724.20/1729.92 c #Conflicts: 1120000 | #Constraints: 37390
1724.20/1729.92 c #Conflicts: 1121000 | #Constraints: 38390
1724.20/1729.92 c #Conflicts: 1122000 | #Constraints: 39390
1724.20/1729.92 c #Conflicts: 1123000 | #Constraints: 40390
1724.20/1729.92 c #Conflicts: 1124000 | #Constraints: 41390
1724.20/1729.92 c #Conflicts: 1125000 | #Constraints: 42390
1724.20/1729.92 c INPROCESSING
1724.20/1729.92 c GARBAGE COLLECT
1724.20/1729.92 c #Conflicts: 1126000 | #Constraints: 22395
1724.20/1729.92 c #Conflicts: 1127000 | #Constraints: 23395
1907.88/1914.13 c #Conflicts: 1128000 | #Constraints: 24395
1907.88/1914.13 c #Conflicts: 1129000 | #Constraints: 25395
1907.88/1914.13 c #Conflicts: 1130000 | #Constraints: 26395
1907.88/1914.13 c #Conflicts: 1131000 | #Constraints: 27395
1907.88/1914.13 c #Conflicts: 1132000 | #Constraints: 28395
1907.88/1914.13 c #Conflicts: 1133000 | #Constraints: 29395
1907.88/1914.13 c #Conflicts: 1134000 | #Constraints: 30395
1907.88/1914.13 c #Conflicts: 1135000 | #Constraints: 31395
1907.88/1914.13 c #Conflicts: 1136000 | #Constraints: 32395
1907.88/1914.13 c #Conflicts: 1137000 | #Constraints: 33395
1907.88/1914.13 c #Conflicts: 1138000 | #Constraints: 34395
1907.88/1914.13 c #Conflicts: 1139000 | #Constraints: 35395
1907.88/1914.13 c #Conflicts: 1140000 | #Constraints: 36395
1907.88/1914.13 c #Conflicts: 1141000 | #Constraints: 37395
1907.88/1914.13 c #Conflicts: 1142000 | #Constraints: 38395
1907.88/1914.13 c #Conflicts: 1143000 | #Constraints: 39395
1907.88/1914.13 c #Conflicts: 1144000 | #Constraints: 40395
1907.88/1914.13 c #Conflicts: 1145000 | #Constraints: 41395
1907.88/1914.13 c #Conflicts: 1146000 | #Constraints: 42395
1907.88/1914.13 c INPROCESSING
1907.88/1914.13 c GARBAGE COLLECT
1907.88/1914.13 c #Conflicts: 1147000 | #Constraints: 22196
1907.88/1914.13 c #Conflicts: 1148000 | #Constraints: 23196
1907.88/1914.13 c #Conflicts: 1149000 | #Constraints: 24196
1907.88/1914.13 c #Conflicts: 1150000 | #Constraints: 25196
1907.88/1914.13 c #Conflicts: 1151000 | #Constraints: 26196
1907.88/1914.13 c #Conflicts: 1152000 | #Constraints: 27196
1907.88/1914.13 c #Conflicts: 1153000 | #Constraints: 28196
1907.88/1914.13 c #Conflicts: 1154000 | #Constraints: 29196
1907.88/1914.13 c #Conflicts: 1155000 | #Constraints: 30196
1907.88/1914.13 c #Conflicts: 1156000 | #Constraints: 31196
1907.88/1914.13 c #Conflicts: 1157000 | #Constraints: 32196
1907.88/1914.13 c #Conflicts: 1158000 | #Constraints: 33196
1907.88/1914.13 c #Conflicts: 1159000 | #Constraints: 34196
1907.88/1914.13 c #Conflicts: 1160000 | #Constraints: 35196
1907.88/1914.13 c #Conflicts: 1161000 | #Constraints: 36196
1907.88/1914.13 c #Conflicts: 1162000 | #Constraints: 37196
1907.88/1914.13 c #Conflicts: 1163000 | #Constraints: 38196
1907.88/1914.13 c #Conflicts: 1164000 | #Constraints: 39196
1907.88/1914.13 c #Conflicts: 1165000 | #Constraints: 40196
1907.88/1914.13 c #Conflicts: 1166000 | #Constraints: 41196
1907.88/1914.13 c #Conflicts: 1167000 | #Constraints: 42196
1907.88/1914.13 c #Conflicts: 1168000 | #Constraints: 43196
1907.88/1914.13 c INPROCESSING
1907.88/1914.13 c GARBAGE COLLECT
1907.88/1914.13 c #Conflicts: 1169000 | #Constraints: 22787
1907.88/1914.13 c #Conflicts: 1170000 | #Constraints: 23787
1907.88/1914.13 c #Conflicts: 1171000 | #Constraints: 24787
1907.88/1914.13 c #Conflicts: 1172000 | #Constraints: 25787
1907.88/1914.13 c #Conflicts: 1173000 | #Constraints: 26787
1907.88/1914.13 c #Conflicts: 1174000 | #Constraints: 27787
1907.88/1914.13 c #Conflicts: 1175000 | #Constraints: 28787
1907.88/1914.13 c #Conflicts: 1176000 | #Constraints: 29787
1907.88/1914.13 c #Conflicts: 1177000 | #Constraints: 30787
1907.88/1914.13 c #Conflicts: 1178000 | #Constraints: 31787
1907.88/1914.13 c #Conflicts: 1179000 | #Constraints: 32787
1907.88/1914.13 c #Conflicts: 1180000 | #Constraints: 33787
1907.88/1914.13 c #Conflicts: 1181000 | #Constraints: 34787
1907.88/1914.13 c #Conflicts: 1182000 | #Constraints: 35787
1907.88/1914.13 c #Conflicts: 1183000 | #Constraints: 36787
1907.88/1914.13 c #Conflicts: 1184000 | #Constraints: 37787
1907.88/1914.13 c #Conflicts: 1185000 | #Constraints: 38787
1907.88/1914.13 c #Conflicts: 1186000 | #Constraints: 39787
1907.88/1914.13 c #Conflicts: 1187000 | #Constraints: 40787
1907.88/1914.13 c #Conflicts: 1188000 | #Constraints: 41787
1907.88/1914.13 c #Conflicts: 1189000 | #Constraints: 42787
1907.88/1914.13 c #Conflicts: 1190000 | #Constraints: 43787
1907.88/1914.13 c INPROCESSING
1907.88/1914.13 c GARBAGE COLLECT
1907.88/1914.13 c #Conflicts: 1191000 | #Constraints: 23183
1907.88/1914.13 c #Conflicts: 1192000 | #Constraints: 24183
1907.88/1914.13 c #Conflicts: 1193000 | #Constraints: 25183
1907.88/1914.13 c #Conflicts: 1194000 | #Constraints: 26183
1907.88/1914.13 c #Conflicts: 1195000 | #Constraints: 27183
1907.88/1914.13 c #Conflicts: 1196000 | #Constraints: 28183
1907.88/1914.13 c #Conflicts: 1197000 | #Constraints: 29183
1907.88/1914.13 c #Conflicts: 1198000 | #Constraints: 30183
1907.88/1914.13 c #Conflicts: 1199000 | #Constraints: 31183
1907.88/1914.13 c #Conflicts: 1200000 | #Constraints: 32183
1907.88/1914.13 c #Conflicts: 1201000 | #Constraints: 33183
1907.88/1914.13 c #Conflicts: 1202000 | #Constraints: 34183
1907.88/1914.13 c #Conflicts: 1203000 | #Constraints: 35183
1907.88/1914.13 c #Conflicts: 1204000 | #Constraints: 36183
2122.15/2129.10 c #Conflicts: 1205000 | #Constraints: 37183
2122.15/2129.10 c #Conflicts: 1206000 | #Constraints: 38183
2122.15/2129.10 c #Conflicts: 1207000 | #Constraints: 39183
2122.15/2129.10 c #Conflicts: 1208000 | #Constraints: 40183
2122.15/2129.10 c #Conflicts: 1209000 | #Constraints: 41183
2122.15/2129.10 c #Conflicts: 1210000 | #Constraints: 42183
2122.15/2129.10 c #Conflicts: 1211000 | #Constraints: 43183
2122.15/2129.10 c #Conflicts: 1212000 | #Constraints: 44183
2122.15/2129.10 c INPROCESSING
2122.15/2129.10 c GARBAGE COLLECT
2122.15/2129.10 c #Conflicts: 1213000 | #Constraints: 23391
2122.15/2129.10 c #Conflicts: 1214000 | #Constraints: 24391
2122.15/2129.10 c #Conflicts: 1215000 | #Constraints: 25391
2122.15/2129.10 c #Conflicts: 1216000 | #Constraints: 26391
2122.15/2129.10 c #Conflicts: 1217000 | #Constraints: 27391
2122.15/2129.10 c #Conflicts: 1218000 | #Constraints: 28391
2122.15/2129.10 c #Conflicts: 1219000 | #Constraints: 29391
2122.15/2129.10 c #Conflicts: 1220000 | #Constraints: 30391
2122.15/2129.10 c #Conflicts: 1221000 | #Constraints: 31391
2122.15/2129.10 c #Conflicts: 1222000 | #Constraints: 32391
2122.15/2129.10 c #Conflicts: 1223000 | #Constraints: 33391
2122.15/2129.10 c #Conflicts: 1224000 | #Constraints: 34391
2122.15/2129.10 c #Conflicts: 1225000 | #Constraints: 35391
2122.15/2129.10 c #Conflicts: 1226000 | #Constraints: 36391
2122.15/2129.10 c #Conflicts: 1227000 | #Constraints: 37391
2122.15/2129.10 c #Conflicts: 1228000 | #Constraints: 38391
2122.15/2129.10 c #Conflicts: 1229000 | #Constraints: 39391
2122.15/2129.10 c #Conflicts: 1230000 | #Constraints: 40391
2122.15/2129.10 c #Conflicts: 1231000 | #Constraints: 41391
2122.15/2129.10 c #Conflicts: 1232000 | #Constraints: 42391
2122.15/2129.10 c #Conflicts: 1233000 | #Constraints: 43391
2122.15/2129.10 c #Conflicts: 1234000 | #Constraints: 44391
2122.15/2129.10 c INPROCESSING
2122.15/2129.10 c GARBAGE COLLECT
2122.15/2129.10 c #Conflicts: 1235000 | #Constraints: 23377
2122.15/2129.10 c #Conflicts: 1236000 | #Constraints: 24377
2122.15/2129.10 c #Conflicts: 1237000 | #Constraints: 25377
2122.15/2129.10 c #Conflicts: 1238000 | #Constraints: 26377
2122.15/2129.10 c #Conflicts: 1239000 | #Constraints: 27377
2122.15/2129.10 c #Conflicts: 1240000 | #Constraints: 28377
2122.15/2129.10 c #Conflicts: 1241000 | #Constraints: 29377
2122.15/2129.10 c #Conflicts: 1242000 | #Constraints: 30377
2122.15/2129.10 c #Conflicts: 1243000 | #Constraints: 31377
2122.15/2129.10 c #Conflicts: 1244000 | #Constraints: 32377
2122.15/2129.10 c #Conflicts: 1245000 | #Constraints: 33377
2122.15/2129.10 c #Conflicts: 1246000 | #Constraints: 34377
2122.15/2129.10 c #Conflicts: 1247000 | #Constraints: 35377
2122.15/2129.10 c #Conflicts: 1248000 | #Constraints: 36377
2122.15/2129.10 c #Conflicts: 1249000 | #Constraints: 37377
2122.15/2129.10 c #Conflicts: 1250000 | #Constraints: 38377
2122.15/2129.10 c #Conflicts: 1251000 | #Constraints: 39377
2122.15/2129.10 c #Conflicts: 1252000 | #Constraints: 40377
2122.15/2129.10 c #Conflicts: 1253000 | #Constraints: 41377
2122.15/2129.10 c #Conflicts: 1254000 | #Constraints: 42377
2122.15/2129.10 c #Conflicts: 1255000 | #Constraints: 43377
2122.15/2129.10 c #Conflicts: 1256000 | #Constraints: 44377
2122.15/2129.10 c INPROCESSING
2122.15/2129.10 c GARBAGE COLLECT
2122.15/2129.10 c #Conflicts: 1257000 | #Constraints: 23185
2122.15/2129.10 c #Conflicts: 1258000 | #Constraints: 24185
2122.15/2129.10 c #Conflicts: 1259000 | #Constraints: 25185
2122.15/2129.10 c #Conflicts: 1260000 | #Constraints: 26185
2122.15/2129.10 c #Conflicts: 1261000 | #Constraints: 27185
2122.15/2129.10 c #Conflicts: 1262000 | #Constraints: 28185
2122.15/2129.10 c #Conflicts: 1263000 | #Constraints: 29185
2122.15/2129.10 c #Conflicts: 1264000 | #Constraints: 30185
2122.15/2129.10 c #Conflicts: 1265000 | #Constraints: 31185
2122.15/2129.10 c #Conflicts: 1266000 | #Constraints: 32185
2122.15/2129.10 c #Conflicts: 1267000 | #Constraints: 33185
2122.15/2129.10 c #Conflicts: 1268000 | #Constraints: 34185
2122.15/2129.10 c #Conflicts: 1269000 | #Constraints: 35185
2122.15/2129.10 c #Conflicts: 1270000 | #Constraints: 36185
2122.15/2129.10 c #Conflicts: 1271000 | #Constraints: 37185
2122.15/2129.10 c #Conflicts: 1272000 | #Constraints: 38185
2122.15/2129.10 c #Conflicts: 1273000 | #Constraints: 39185
2122.15/2129.10 c #Conflicts: 1274000 | #Constraints: 40185
2122.15/2129.10 c #Conflicts: 1275000 | #Constraints: 41185
2122.15/2129.10 c #Conflicts: 1276000 | #Constraints: 42185
2122.15/2129.10 c #Conflicts: 1277000 | #Constraints: 43185
2122.15/2129.10 c #Conflicts: 1278000 | #Constraints: 44185
2122.15/2129.10 c #Conflicts: 1279000 | #Constraints: 45185
2122.15/2129.10 c INPROCESSING
2122.15/2129.10 c GARBAGE COLLECT
2122.15/2129.10 c #Conflicts: 1280000 | #Constraints: 23789
2335.62/2343.18 c #Conflicts: 1281000 | #Constraints: 24789
2335.62/2343.18 c #Conflicts: 1282000 | #Constraints: 25789
2335.62/2343.18 c #Conflicts: 1283000 | #Constraints: 26789
2335.62/2343.18 c #Conflicts: 1284000 | #Constraints: 27789
2335.62/2343.18 c #Conflicts: 1285000 | #Constraints: 28789
2335.62/2343.18 c #Conflicts: 1286000 | #Constraints: 29789
2335.62/2343.18 c #Conflicts: 1287000 | #Constraints: 30789
2335.62/2343.18 c #Conflicts: 1288000 | #Constraints: 31789
2335.62/2343.18 c #Conflicts: 1289000 | #Constraints: 32789
2335.62/2343.18 c #Conflicts: 1290000 | #Constraints: 33789
2335.62/2343.18 c #Conflicts: 1291000 | #Constraints: 34789
2335.62/2343.18 c #Conflicts: 1292000 | #Constraints: 35789
2335.62/2343.18 c #Conflicts: 1293000 | #Constraints: 36789
2335.62/2343.18 c #Conflicts: 1294000 | #Constraints: 37789
2335.62/2343.18 c #Conflicts: 1295000 | #Constraints: 38789
2335.62/2343.18 c #Conflicts: 1296000 | #Constraints: 39789
2335.62/2343.18 c #Conflicts: 1297000 | #Constraints: 40789
2335.62/2343.18 c #Conflicts: 1298000 | #Constraints: 41789
2335.62/2343.18 c #Conflicts: 1299000 | #Constraints: 42789
2335.62/2343.18 c #Conflicts: 1300000 | #Constraints: 43789
2335.62/2343.18 c #Conflicts: 1301000 | #Constraints: 44789
2335.62/2343.18 c #Conflicts: 1302000 | #Constraints: 45789
2335.62/2343.18 c INPROCESSING
2335.62/2343.18 c GARBAGE COLLECT
2335.62/2343.18 c #Conflicts: 1303000 | #Constraints: 24197
2335.62/2343.18 c #Conflicts: 1304000 | #Constraints: 25197
2335.62/2343.18 c #Conflicts: 1305000 | #Constraints: 26197
2335.62/2343.18 c #Conflicts: 1306000 | #Constraints: 27197
2335.62/2343.18 c #Conflicts: 1307000 | #Constraints: 28197
2335.62/2343.18 c #Conflicts: 1308000 | #Constraints: 29197
2335.62/2343.18 c #Conflicts: 1309000 | #Constraints: 30197
2335.62/2343.18 c #Conflicts: 1310000 | #Constraints: 31197
2335.62/2343.18 c #Conflicts: 1311000 | #Constraints: 32197
2335.62/2343.18 c #Conflicts: 1312000 | #Constraints: 33197
2335.62/2343.18 c #Conflicts: 1313000 | #Constraints: 34197
2335.62/2343.18 c #Conflicts: 1314000 | #Constraints: 35197
2335.62/2343.18 c #Conflicts: 1315000 | #Constraints: 36197
2335.62/2343.18 c #Conflicts: 1316000 | #Constraints: 37197
2335.62/2343.18 c #Conflicts: 1317000 | #Constraints: 38197
2335.62/2343.18 c #Conflicts: 1318000 | #Constraints: 39197
2335.62/2343.18 c #Conflicts: 1319000 | #Constraints: 40197
2335.62/2343.18 c #Conflicts: 1320000 | #Constraints: 41197
2335.62/2343.18 c #Conflicts: 1321000 | #Constraints: 42197
2335.62/2343.18 c #Conflicts: 1322000 | #Constraints: 43197
2335.62/2343.18 c #Conflicts: 1323000 | #Constraints: 44197
2335.62/2343.18 c #Conflicts: 1324000 | #Constraints: 45197
2335.62/2343.18 c #Conflicts: 1325000 | #Constraints: 46197
2335.62/2343.18 c INPROCESSING
2335.62/2343.18 c GARBAGE COLLECT
2335.62/2343.18 c #Conflicts: 1326000 | #Constraints: 24401
2335.62/2343.18 c #Conflicts: 1327000 | #Constraints: 25401
2335.62/2343.18 c #Conflicts: 1328000 | #Constraints: 26401
2335.62/2343.18 c #Conflicts: 1329000 | #Constraints: 27401
2335.62/2343.18 c #Conflicts: 1330000 | #Constraints: 28401
2335.62/2343.18 c #Conflicts: 1331000 | #Constraints: 29401
2335.62/2343.18 c #Conflicts: 1332000 | #Constraints: 30401
2335.62/2343.18 c #Conflicts: 1333000 | #Constraints: 31401
2335.62/2343.18 c #Conflicts: 1334000 | #Constraints: 32401
2335.62/2343.18 c #Conflicts: 1335000 | #Constraints: 33401
2335.62/2343.18 c #Conflicts: 1336000 | #Constraints: 34401
2335.62/2343.18 c #Conflicts: 1337000 | #Constraints: 35401
2335.62/2343.18 c #Conflicts: 1338000 | #Constraints: 36401
2335.62/2343.18 c #Conflicts: 1339000 | #Constraints: 37401
2335.62/2343.18 c #Conflicts: 1340000 | #Constraints: 38401
2335.62/2343.18 c #Conflicts: 1341000 | #Constraints: 39401
2335.62/2343.18 c #Conflicts: 1342000 | #Constraints: 40401
2335.62/2343.18 c #Conflicts: 1343000 | #Constraints: 41401
2335.62/2343.18 c #Conflicts: 1344000 | #Constraints: 42401
2335.62/2343.18 c #Conflicts: 1345000 | #Constraints: 43401
2335.62/2343.18 c #Conflicts: 1346000 | #Constraints: 44401
2335.62/2343.18 c #Conflicts: 1347000 | #Constraints: 45401
2335.62/2343.18 c #Conflicts: 1348000 | #Constraints: 46401
2335.62/2343.18 c INPROCESSING
2335.62/2343.18 c GARBAGE COLLECT
2335.62/2343.18 c #Conflicts: 1349000 | #Constraints: 24396
2335.62/2343.18 c #Conflicts: 1350000 | #Constraints: 25396
2335.62/2343.18 c #Conflicts: 1351000 | #Constraints: 26396
2335.62/2343.18 c #Conflicts: 1352000 | #Constraints: 27396
2335.62/2343.18 c #Conflicts: 1353000 | #Constraints: 28396
2335.62/2343.18 c #Conflicts: 1354000 | #Constraints: 29396
2335.62/2343.18 c #Conflicts: 1355000 | #Constraints: 30396
2335.62/2343.18 c #Conflicts: 1356000 | #Constraints: 31396
2335.62/2343.18 c #Conflicts: 1357000 | #Constraints: 32396
2565.60/2573.87 c #Conflicts: 1358000 | #Constraints: 33396
2565.60/2573.87 c #Conflicts: 1359000 | #Constraints: 34396
2565.60/2573.87 c #Conflicts: 1360000 | #Constraints: 35396
2565.60/2573.87 c #Conflicts: 1361000 | #Constraints: 36396
2565.60/2573.87 c #Conflicts: 1362000 | #Constraints: 37396
2565.60/2573.87 c #Conflicts: 1363000 | #Constraints: 38396
2565.60/2573.87 c #Conflicts: 1364000 | #Constraints: 39396
2565.60/2573.87 c #Conflicts: 1365000 | #Constraints: 40396
2565.60/2573.87 c #Conflicts: 1366000 | #Constraints: 41396
2565.60/2573.87 c #Conflicts: 1367000 | #Constraints: 42396
2565.60/2573.87 c #Conflicts: 1368000 | #Constraints: 43396
2565.60/2573.87 c #Conflicts: 1369000 | #Constraints: 44396
2565.60/2573.87 c #Conflicts: 1370000 | #Constraints: 45396
2565.60/2573.87 c #Conflicts: 1371000 | #Constraints: 46396
2565.60/2573.87 c INPROCESSING
2565.60/2573.87 c GARBAGE COLLECT
2565.60/2573.87 c #Conflicts: 1372000 | #Constraints: 24195
2565.60/2573.87 c #Conflicts: 1373000 | #Constraints: 25195
2565.60/2573.87 c #Conflicts: 1374000 | #Constraints: 26195
2565.60/2573.87 c #Conflicts: 1375000 | #Constraints: 27195
2565.60/2573.87 c #Conflicts: 1376000 | #Constraints: 28195
2565.60/2573.87 c #Conflicts: 1377000 | #Constraints: 29195
2565.60/2573.87 c #Conflicts: 1378000 | #Constraints: 30195
2565.60/2573.87 c #Conflicts: 1379000 | #Constraints: 31195
2565.60/2573.87 c #Conflicts: 1380000 | #Constraints: 32195
2565.60/2573.87 c #Conflicts: 1381000 | #Constraints: 33195
2565.60/2573.87 c #Conflicts: 1382000 | #Constraints: 34195
2565.60/2573.87 c #Conflicts: 1383000 | #Constraints: 35195
2565.60/2573.87 c #Conflicts: 1384000 | #Constraints: 36195
2565.60/2573.87 c #Conflicts: 1385000 | #Constraints: 37195
2565.60/2573.87 c #Conflicts: 1386000 | #Constraints: 38195
2565.60/2573.87 c #Conflicts: 1387000 | #Constraints: 39195
2565.60/2573.87 c #Conflicts: 1388000 | #Constraints: 40195
2565.60/2573.87 c #Conflicts: 1389000 | #Constraints: 41195
2565.60/2573.87 c #Conflicts: 1390000 | #Constraints: 42195
2565.60/2573.87 c #Conflicts: 1391000 | #Constraints: 43195
2565.60/2573.87 c #Conflicts: 1392000 | #Constraints: 44195
2565.60/2573.87 c #Conflicts: 1393000 | #Constraints: 45195
2565.60/2573.87 c #Conflicts: 1394000 | #Constraints: 46195
2565.60/2573.87 c #Conflicts: 1395000 | #Constraints: 47195
2565.60/2573.87 c INPROCESSING
2565.60/2573.87 c GARBAGE COLLECT
2565.60/2573.87 c #Conflicts: 1396000 | #Constraints: 24789
2565.60/2573.87 c #Conflicts: 1397000 | #Constraints: 25789
2565.60/2573.87 c #Conflicts: 1398000 | #Constraints: 26789
2565.60/2573.87 c #Conflicts: 1399000 | #Constraints: 27789
2565.60/2573.87 c #Conflicts: 1400000 | #Constraints: 28789
2565.60/2573.87 c #Conflicts: 1401000 | #Constraints: 29789
2565.60/2573.87 c #Conflicts: 1402000 | #Constraints: 30789
2565.60/2573.87 c #Conflicts: 1403000 | #Constraints: 31789
2565.60/2573.87 c #Conflicts: 1404000 | #Constraints: 32789
2565.60/2573.87 c #Conflicts: 1405000 | #Constraints: 33789
2565.60/2573.87 c #Conflicts: 1406000 | #Constraints: 34789
2565.60/2573.87 c #Conflicts: 1407000 | #Constraints: 35789
2565.60/2573.87 c #Conflicts: 1408000 | #Constraints: 36789
2565.60/2573.87 c #Conflicts: 1409000 | #Constraints: 37789
2565.60/2573.87 c #Conflicts: 1410000 | #Constraints: 38789
2565.60/2573.87 c #Conflicts: 1411000 | #Constraints: 39789
2565.60/2573.87 c #Conflicts: 1412000 | #Constraints: 40789
2565.60/2573.87 c #Conflicts: 1413000 | #Constraints: 41789
2565.60/2573.87 c #Conflicts: 1414000 | #Constraints: 42789
2565.60/2573.87 c #Conflicts: 1415000 | #Constraints: 43789
2565.60/2573.87 c #Conflicts: 1416000 | #Constraints: 44789
2565.60/2573.87 c #Conflicts: 1417000 | #Constraints: 45789
2565.60/2573.87 c #Conflicts: 1418000 | #Constraints: 46789
2565.60/2573.87 c #Conflicts: 1419000 | #Constraints: 47789
2565.60/2573.87 c INPROCESSING
2565.60/2573.87 c GARBAGE COLLECT
2565.60/2573.87 c #Conflicts: 1420000 | #Constraints: 25191
2565.60/2573.87 c #Conflicts: 1421000 | #Constraints: 26191
2565.60/2573.87 c #Conflicts: 1422000 | #Constraints: 27191
2565.60/2573.87 c #Conflicts: 1423000 | #Constraints: 28191
2565.60/2573.87 c #Conflicts: 1424000 | #Constraints: 29191
2565.60/2573.87 c #Conflicts: 1425000 | #Constraints: 30191
2565.60/2573.87 c #Conflicts: 1426000 | #Constraints: 31191
2565.60/2573.87 c #Conflicts: 1427000 | #Constraints: 32191
2565.60/2573.87 c #Conflicts: 1428000 | #Constraints: 33191
2565.60/2573.87 c #Conflicts: 1429000 | #Constraints: 34191
2565.60/2573.87 c #Conflicts: 1430000 | #Constraints: 35191
2565.60/2573.87 c #Conflicts: 1431000 | #Constraints: 36191
2565.60/2573.87 c #Conflicts: 1432000 | #Constraints: 37191
2565.60/2573.87 c #Conflicts: 1433000 | #Constraints: 38191
2565.60/2573.87 c #Conflicts: 1434000 | #Constraints: 39191
2798.58/2807.58 c #Conflicts: 1435000 | #Constraints: 40191
2798.58/2807.58 c #Conflicts: 1436000 | #Constraints: 41191
2798.58/2807.58 c #Conflicts: 1437000 | #Constraints: 42191
2798.58/2807.58 c #Conflicts: 1438000 | #Constraints: 43191
2798.58/2807.58 c #Conflicts: 1439000 | #Constraints: 44191
2798.58/2807.58 c #Conflicts: 1440000 | #Constraints: 45191
2798.58/2807.58 c #Conflicts: 1441000 | #Constraints: 46191
2798.58/2807.58 c #Conflicts: 1442000 | #Constraints: 47191
2798.58/2807.58 c #Conflicts: 1443000 | #Constraints: 48191
2798.58/2807.58 c INPROCESSING
2798.58/2807.58 c GARBAGE COLLECT
2798.58/2807.58 c #Conflicts: 1444000 | #Constraints: 25386
2798.58/2807.58 c #Conflicts: 1445000 | #Constraints: 26386
2798.58/2807.58 c #Conflicts: 1446000 | #Constraints: 27386
2798.58/2807.58 c #Conflicts: 1447000 | #Constraints: 28386
2798.58/2807.58 c #Conflicts: 1448000 | #Constraints: 29386
2798.58/2807.58 c #Conflicts: 1449000 | #Constraints: 30386
2798.58/2807.58 c #Conflicts: 1450000 | #Constraints: 31386
2798.58/2807.58 c #Conflicts: 1451000 | #Constraints: 32386
2798.58/2807.58 c #Conflicts: 1452000 | #Constraints: 33386
2798.58/2807.58 c #Conflicts: 1453000 | #Constraints: 34386
2798.58/2807.58 c #Conflicts: 1454000 | #Constraints: 35386
2798.58/2807.58 c #Conflicts: 1455000 | #Constraints: 36386
2798.58/2807.58 c #Conflicts: 1456000 | #Constraints: 37386
2798.58/2807.58 c #Conflicts: 1457000 | #Constraints: 38386
2798.58/2807.58 c #Conflicts: 1458000 | #Constraints: 39386
2798.58/2807.58 c #Conflicts: 1459000 | #Constraints: 40386
2798.58/2807.58 c #Conflicts: 1460000 | #Constraints: 41386
2798.58/2807.58 c #Conflicts: 1461000 | #Constraints: 42386
2798.58/2807.58 c #Conflicts: 1462000 | #Constraints: 43386
2798.58/2807.58 c #Conflicts: 1463000 | #Constraints: 44386
2798.58/2807.58 c #Conflicts: 1464000 | #Constraints: 45386
2798.58/2807.58 c #Conflicts: 1465000 | #Constraints: 46386
2798.58/2807.58 c #Conflicts: 1466000 | #Constraints: 47386
2798.58/2807.58 c #Conflicts: 1467000 | #Constraints: 48386
2798.58/2807.58 c INPROCESSING
2798.58/2807.58 c GARBAGE COLLECT
2798.58/2807.58 c #Conflicts: 1468000 | #Constraints: 25391
2798.58/2807.58 c #Conflicts: 1469000 | #Constraints: 26391
2798.58/2807.58 c #Conflicts: 1470000 | #Constraints: 27391
2798.58/2807.58 c #Conflicts: 1471000 | #Constraints: 28391
2798.58/2807.58 c #Conflicts: 1472000 | #Constraints: 29391
2798.58/2807.58 c #Conflicts: 1473000 | #Constraints: 30391
2798.58/2807.58 c #Conflicts: 1474000 | #Constraints: 31391
2798.58/2807.58 c #Conflicts: 1475000 | #Constraints: 32391
2798.58/2807.58 c #Conflicts: 1476000 | #Constraints: 33391
2798.58/2807.58 c #Conflicts: 1477000 | #Constraints: 34391
2798.58/2807.58 c #Conflicts: 1478000 | #Constraints: 35391
2798.58/2807.58 c #Conflicts: 1479000 | #Constraints: 36391
2798.58/2807.58 c #Conflicts: 1480000 | #Constraints: 37391
2798.58/2807.58 c #Conflicts: 1481000 | #Constraints: 38391
2798.58/2807.58 c #Conflicts: 1482000 | #Constraints: 39391
2798.58/2807.58 c #Conflicts: 1483000 | #Constraints: 40391
2798.58/2807.58 c #Conflicts: 1484000 | #Constraints: 41391
2798.58/2807.58 c #Conflicts: 1485000 | #Constraints: 42391
2798.58/2807.58 c #Conflicts: 1486000 | #Constraints: 43391
2798.58/2807.58 c #Conflicts: 1487000 | #Constraints: 44391
2798.58/2807.58 c #Conflicts: 1488000 | #Constraints: 45391
2798.58/2807.58 c #Conflicts: 1489000 | #Constraints: 46391
2798.58/2807.58 c #Conflicts: 1490000 | #Constraints: 47391
2798.58/2807.58 c #Conflicts: 1491000 | #Constraints: 48391
2798.58/2807.58 c INPROCESSING
2798.58/2807.58 c GARBAGE COLLECT
2798.58/2807.58 c #Conflicts: 1492000 | #Constraints: 25194
2798.58/2807.58 c #Conflicts: 1493000 | #Constraints: 26194
2798.58/2807.58 c #Conflicts: 1494000 | #Constraints: 27194
2798.58/2807.58 c #Conflicts: 1495000 | #Constraints: 28194
2798.58/2807.58 c #Conflicts: 1496000 | #Constraints: 29194
2798.58/2807.58 c #Conflicts: 1497000 | #Constraints: 30194
2798.58/2807.58 c #Conflicts: 1498000 | #Constraints: 31194
2798.58/2807.58 c #Conflicts: 1499000 | #Constraints: 32194
2798.58/2807.58 c #Conflicts: 1500000 | #Constraints: 33194
2798.58/2807.58 c #Conflicts: 1501000 | #Constraints: 34194
2798.58/2807.58 c #Conflicts: 1502000 | #Constraints: 35194
2798.58/2807.58 c #Conflicts: 1503000 | #Constraints: 36194
2798.58/2807.58 c #Conflicts: 1504000 | #Constraints: 37194
2798.58/2807.58 c #Conflicts: 1505000 | #Constraints: 38194
2798.58/2807.58 c #Conflicts: 1506000 | #Constraints: 39194
2798.58/2807.58 c #Conflicts: 1507000 | #Constraints: 40194
2798.58/2807.58 c #Conflicts: 1508000 | #Constraints: 41194
2798.58/2807.58 c #Conflicts: 1509000 | #Constraints: 42194
2798.58/2807.58 c #Conflicts: 1510000 | #Constraints: 43194
2798.58/2807.58 c #Conflicts: 1511000 | #Constraints: 44194
3063.14/3072.93 c #Conflicts: 1512000 | #Constraints: 45194
3063.14/3072.93 c #Conflicts: 1513000 | #Constraints: 46194
3063.14/3072.93 c #Conflicts: 1514000 | #Constraints: 47194
3063.14/3072.93 c #Conflicts: 1515000 | #Constraints: 48194
3063.14/3072.93 c #Conflicts: 1516000 | #Constraints: 49194
3063.14/3072.93 c INPROCESSING
3063.14/3072.93 c GARBAGE COLLECT
3063.14/3072.93 c #Conflicts: 1517000 | #Constraints: 25793
3063.14/3072.93 c #Conflicts: 1518000 | #Constraints: 26793
3063.14/3072.93 c #Conflicts: 1519000 | #Constraints: 27793
3063.14/3072.93 c #Conflicts: 1520000 | #Constraints: 28793
3063.14/3072.93 c #Conflicts: 1521000 | #Constraints: 29793
3063.14/3072.93 c #Conflicts: 1522000 | #Constraints: 30793
3063.14/3072.93 c #Conflicts: 1523000 | #Constraints: 31793
3063.14/3072.93 c #Conflicts: 1524000 | #Constraints: 32793
3063.14/3072.93 c #Conflicts: 1525000 | #Constraints: 33793
3063.14/3072.93 c #Conflicts: 1526000 | #Constraints: 34793
3063.14/3072.93 c #Conflicts: 1527000 | #Constraints: 35793
3063.14/3072.93 c #Conflicts: 1528000 | #Constraints: 36793
3063.14/3072.93 c #Conflicts: 1529000 | #Constraints: 37793
3063.14/3072.93 c #Conflicts: 1530000 | #Constraints: 38793
3063.14/3072.93 c #Conflicts: 1531000 | #Constraints: 39793
3063.14/3072.93 c #Conflicts: 1532000 | #Constraints: 40793
3063.14/3072.93 c #Conflicts: 1533000 | #Constraints: 41793
3063.14/3072.93 c #Conflicts: 1534000 | #Constraints: 42793
3063.14/3072.93 c #Conflicts: 1535000 | #Constraints: 43793
3063.14/3072.93 c #Conflicts: 1536000 | #Constraints: 44793
3063.14/3072.93 c #Conflicts: 1537000 | #Constraints: 45793
3063.14/3072.93 c #Conflicts: 1538000 | #Constraints: 46793
3063.14/3072.93 c #Conflicts: 1539000 | #Constraints: 47793
3063.14/3072.93 c #Conflicts: 1540000 | #Constraints: 48793
3063.14/3072.93 c #Conflicts: 1541000 | #Constraints: 49793
3063.14/3072.93 c INPROCESSING
3063.14/3072.93 c GARBAGE COLLECT
3063.14/3072.93 c #Conflicts: 1542000 | #Constraints: 26187
3063.14/3072.93 c #Conflicts: 1543000 | #Constraints: 27187
3063.14/3072.93 c #Conflicts: 1544000 | #Constraints: 28187
3063.14/3072.93 c #Conflicts: 1545000 | #Constraints: 29187
3063.14/3072.93 c #Conflicts: 1546000 | #Constraints: 30187
3063.14/3072.93 c #Conflicts: 1547000 | #Constraints: 31187
3063.14/3072.93 c #Conflicts: 1548000 | #Constraints: 32187
3063.14/3072.93 c #Conflicts: 1549000 | #Constraints: 33187
3063.14/3072.93 c #Conflicts: 1550000 | #Constraints: 34187
3063.14/3072.93 c #Conflicts: 1551000 | #Constraints: 35187
3063.14/3072.93 c #Conflicts: 1552000 | #Constraints: 36187
3063.14/3072.93 c #Conflicts: 1553000 | #Constraints: 37187
3063.14/3072.93 c #Conflicts: 1554000 | #Constraints: 38187
3063.14/3072.93 c #Conflicts: 1555000 | #Constraints: 39187
3063.14/3072.93 c #Conflicts: 1556000 | #Constraints: 40187
3063.14/3072.93 c #Conflicts: 1557000 | #Constraints: 41187
3063.14/3072.93 c #Conflicts: 1558000 | #Constraints: 42187
3063.14/3072.93 c #Conflicts: 1559000 | #Constraints: 43187
3063.14/3072.93 c #Conflicts: 1560000 | #Constraints: 44187
3063.14/3072.93 c #Conflicts: 1561000 | #Constraints: 45187
3063.14/3072.93 c #Conflicts: 1562000 | #Constraints: 46187
3063.14/3072.93 c #Conflicts: 1563000 | #Constraints: 47187
3063.14/3072.93 c #Conflicts: 1564000 | #Constraints: 48187
3063.14/3072.93 c #Conflicts: 1565000 | #Constraints: 49187
3063.14/3072.93 c #Conflicts: 1566000 | #Constraints: 50187
3063.14/3072.93 c INPROCESSING
3063.14/3072.93 c GARBAGE COLLECT
3063.14/3072.93 c #Conflicts: 1567000 | #Constraints: 26398
3063.14/3072.93 c #Conflicts: 1568000 | #Constraints: 27398
3063.14/3072.93 c #Conflicts: 1569000 | #Constraints: 28398
3063.14/3072.93 c #Conflicts: 1570000 | #Constraints: 29398
3063.14/3072.93 c #Conflicts: 1571000 | #Constraints: 30398
3063.14/3072.93 c #Conflicts: 1572000 | #Constraints: 31398
3063.14/3072.93 c #Conflicts: 1573000 | #Constraints: 32398
3063.14/3072.93 c #Conflicts: 1574000 | #Constraints: 33398
3063.14/3072.93 c #Conflicts: 1575000 | #Constraints: 34398
3063.14/3072.93 c #Conflicts: 1576000 | #Constraints: 35398
3063.14/3072.93 c #Conflicts: 1577000 | #Constraints: 36398
3063.14/3072.93 c #Conflicts: 1578000 | #Constraints: 37398
3063.14/3072.93 c #Conflicts: 1579000 | #Constraints: 38398
3063.14/3072.93 c #Conflicts: 1580000 | #Constraints: 39398
3063.14/3072.93 c #Conflicts: 1581000 | #Constraints: 40398
3063.14/3072.93 c #Conflicts: 1582000 | #Constraints: 41398
3063.14/3072.93 c #Conflicts: 1583000 | #Constraints: 42398
3063.14/3072.93 c #Conflicts: 1584000 | #Constraints: 43398
3063.14/3072.93 c #Conflicts: 1585000 | #Constraints: 44398
3063.14/3072.93 c #Conflicts: 1586000 | #Constraints: 45398
3063.14/3072.93 c #Conflicts: 1587000 | #Constraints: 46398
3063.14/3072.93 c #Conflicts: 1588000 | #Constraints: 47398
3337.68/3348.31 c #Conflicts: 1589000 | #Constraints: 48398
3337.68/3348.31 c #Conflicts: 1590000 | #Constraints: 49398
3337.68/3348.31 c #Conflicts: 1591000 | #Constraints: 50398
3337.68/3348.31 c INPROCESSING
3337.68/3348.31 c GARBAGE COLLECT
3337.68/3348.31 c #Conflicts: 1592000 | #Constraints: 26394
3337.68/3348.31 c #Conflicts: 1593000 | #Constraints: 27394
3337.68/3348.31 c #Conflicts: 1594000 | #Constraints: 28394
3337.68/3348.31 c #Conflicts: 1595000 | #Constraints: 29394
3337.68/3348.31 c #Conflicts: 1596000 | #Constraints: 30394
3337.68/3348.31 c #Conflicts: 1597000 | #Constraints: 31394
3337.68/3348.31 c #Conflicts: 1598000 | #Constraints: 32394
3337.68/3348.31 c #Conflicts: 1599000 | #Constraints: 33394
3337.68/3348.31 c #Conflicts: 1600000 | #Constraints: 34394
3337.68/3348.31 c #Conflicts: 1601000 | #Constraints: 35394
3337.68/3348.31 c #Conflicts: 1602000 | #Constraints: 36394
3337.68/3348.31 c #Conflicts: 1603000 | #Constraints: 37394
3337.68/3348.31 c #Conflicts: 1604000 | #Constraints: 38394
3337.68/3348.31 c #Conflicts: 1605000 | #Constraints: 39394
3337.68/3348.31 c #Conflicts: 1606000 | #Constraints: 40394
3337.68/3348.31 c #Conflicts: 1607000 | #Constraints: 41394
3337.68/3348.31 c #Conflicts: 1608000 | #Constraints: 42394
3337.68/3348.31 c #Conflicts: 1609000 | #Constraints: 43394
3337.68/3348.31 c #Conflicts: 1610000 | #Constraints: 44394
3337.68/3348.31 c #Conflicts: 1611000 | #Constraints: 45394
3337.68/3348.31 c #Conflicts: 1612000 | #Constraints: 46394
3337.68/3348.31 c #Conflicts: 1613000 | #Constraints: 47394
3337.68/3348.31 c #Conflicts: 1614000 | #Constraints: 48394
3337.68/3348.31 c #Conflicts: 1615000 | #Constraints: 49394
3337.68/3348.31 c #Conflicts: 1616000 | #Constraints: 50394
3337.68/3348.31 c INPROCESSING
3337.68/3348.31 c GARBAGE COLLECT
3337.68/3348.31 c #Conflicts: 1617000 | #Constraints: 26194
3337.68/3348.31 c #Conflicts: 1618000 | #Constraints: 27194
3337.68/3348.31 c #Conflicts: 1619000 | #Constraints: 28194
3337.68/3348.31 c #Conflicts: 1620000 | #Constraints: 29194
3337.68/3348.31 c #Conflicts: 1621000 | #Constraints: 30194
3337.68/3348.31 c #Conflicts: 1622000 | #Constraints: 31194
3337.68/3348.31 c #Conflicts: 1623000 | #Constraints: 32194
3337.68/3348.31 c #Conflicts: 1624000 | #Constraints: 33194
3337.68/3348.31 c #Conflicts: 1625000 | #Constraints: 34194
3337.68/3348.31 c #Conflicts: 1626000 | #Constraints: 35194
3337.68/3348.31 c #Conflicts: 1627000 | #Constraints: 36194
3337.68/3348.31 c #Conflicts: 1628000 | #Constraints: 37194
3337.68/3348.31 c #Conflicts: 1629000 | #Constraints: 38194
3337.68/3348.31 c #Conflicts: 1630000 | #Constraints: 39194
3337.68/3348.31 c #Conflicts: 1631000 | #Constraints: 40194
3337.68/3348.31 c #Conflicts: 1632000 | #Constraints: 41194
3337.68/3348.31 c #Conflicts: 1633000 | #Constraints: 42194
3337.68/3348.31 c #Conflicts: 1634000 | #Constraints: 43194
3337.68/3348.31 c #Conflicts: 1635000 | #Constraints: 44194
3337.68/3348.31 c #Conflicts: 1636000 | #Constraints: 45194
3337.68/3348.31 c #Conflicts: 1637000 | #Constraints: 46194
3337.68/3348.31 c #Conflicts: 1638000 | #Constraints: 47194
3337.68/3348.31 c #Conflicts: 1639000 | #Constraints: 48194
3337.68/3348.31 c #Conflicts: 1640000 | #Constraints: 49194
3337.68/3348.31 c #Conflicts: 1641000 | #Constraints: 50194
3337.68/3348.31 c #Conflicts: 1642000 | #Constraints: 51194
3337.68/3348.31 c INPROCESSING
3337.68/3348.31 c GARBAGE COLLECT
3337.68/3348.31 c #Conflicts: 1643000 | #Constraints: 26795
3337.68/3348.31 c #Conflicts: 1644000 | #Constraints: 27795
3337.68/3348.31 c #Conflicts: 1645000 | #Constraints: 28795
3337.68/3348.31 c #Conflicts: 1646000 | #Constraints: 29795
3337.68/3348.31 c #Conflicts: 1647000 | #Constraints: 30795
3337.68/3348.31 c #Conflicts: 1648000 | #Constraints: 31795
3337.68/3348.31 c #Conflicts: 1649000 | #Constraints: 32795
3337.68/3348.31 c #Conflicts: 1650000 | #Constraints: 33795
3337.68/3348.31 c #Conflicts: 1651000 | #Constraints: 34795
3337.68/3348.31 c #Conflicts: 1652000 | #Constraints: 35795
3337.68/3348.31 c #Conflicts: 1653000 | #Constraints: 36795
3337.68/3348.31 c #Conflicts: 1654000 | #Constraints: 37795
3337.68/3348.31 c #Conflicts: 1655000 | #Constraints: 38795
3337.68/3348.31 c #Conflicts: 1656000 | #Constraints: 39795
3337.68/3348.31 c #Conflicts: 1657000 | #Constraints: 40795
3337.68/3348.31 c #Conflicts: 1658000 | #Constraints: 41795
3337.68/3348.31 c #Conflicts: 1659000 | #Constraints: 42795
3337.68/3348.31 c #Conflicts: 1660000 | #Constraints: 43795
3337.68/3348.31 c #Conflicts: 1661000 | #Constraints: 44795
3337.68/3348.31 c #Conflicts: 1662000 | #Constraints: 45795
3337.68/3348.31 c #Conflicts: 1663000 | #Constraints: 46795
3337.68/3348.31 c #Conflicts: 1664000 | #Constraints: 47795
3600.07/3611.50 c #Conflicts: 1665000 | #Constraints: 48795
3600.07/3611.50 c #Conflicts: 1666000 | #Constraints: 49795
3600.07/3611.50 c #Conflicts: 1667000 | #Constraints: 50795
3600.07/3611.50 c #Conflicts: 1668000 | #Constraints: 51795
3600.07/3611.50 c INPROCESSING
3600.07/3611.50 c GARBAGE COLLECT
3600.07/3611.50 c #Conflicts: 1669000 | #Constraints: 27197
3600.07/3611.50 c #Conflicts: 1670000 | #Constraints: 28197
3600.07/3611.50 c #Conflicts: 1671000 | #Constraints: 29197
3600.07/3611.50 c #Conflicts: 1672000 | #Constraints: 30197
3600.07/3611.50 c #Conflicts: 1673000 | #Constraints: 31197
3600.07/3611.50 c #Conflicts: 1674000 | #Constraints: 32197
3600.07/3611.50 c #Conflicts: 1675000 | #Constraints: 33197
3600.07/3611.50 c #Conflicts: 1676000 | #Constraints: 34197
3600.07/3611.50 c #Conflicts: 1677000 | #Constraints: 35197
3600.07/3611.50 c #Conflicts: 1678000 | #Constraints: 36197
3600.07/3611.50 c #Conflicts: 1679000 | #Constraints: 37197
3600.07/3611.50 c #Conflicts: 1680000 | #Constraints: 38197
3600.07/3611.50 c #Conflicts: 1681000 | #Constraints: 39197
3600.07/3611.50 c #Conflicts: 1682000 | #Constraints: 40197
3600.07/3611.50 c #Conflicts: 1683000 | #Constraints: 41197
3600.07/3611.50 c #Conflicts: 1684000 | #Constraints: 42197
3600.07/3611.50 c #Conflicts: 1685000 | #Constraints: 43197
3600.07/3611.50 c #Conflicts: 1686000 | #Constraints: 44197
3600.07/3611.50 c #Conflicts: 1687000 | #Constraints: 45197
3600.07/3611.50 c #Conflicts: 1688000 | #Constraints: 46197
3600.07/3611.50 c #Conflicts: 1689000 | #Constraints: 47197
3600.07/3611.50 c #Conflicts: 1690000 | #Constraints: 48197
3600.07/3611.50 c #Conflicts: 1691000 | #Constraints: 49197
3600.07/3611.50 c #Conflicts: 1692000 | #Constraints: 50197
3600.07/3611.50 c #Conflicts: 1693000 | #Constraints: 51197
3600.07/3611.50 c #Conflicts: 1694000 | #Constraints: 52197
3600.07/3611.50 c INPROCESSING
3600.07/3611.50 c GARBAGE COLLECT
3600.07/3611.50 c #Conflicts: 1695000 | #Constraints: 27394
3600.07/3611.50 c #Conflicts: 1696000 | #Constraints: 28394
3600.07/3611.50 c #Conflicts: 1697000 | #Constraints: 29394
3600.07/3611.50 c #Conflicts: 1698000 | #Constraints: 30394
3600.07/3611.50 c #Conflicts: 1699000 | #Constraints: 31394
3600.07/3611.50 c #Conflicts: 1700000 | #Constraints: 32394
3600.07/3611.50 c #Conflicts: 1701000 | #Constraints: 33394
3600.07/3611.50 c #Conflicts: 1702000 | #Constraints: 34394
3600.07/3611.50 c #Conflicts: 1703000 | #Constraints: 35394
3600.07/3611.50 c #Conflicts: 1704000 | #Constraints: 36394
3600.07/3611.50 c #Conflicts: 1705000 | #Constraints: 37394
3600.07/3611.50 c #Conflicts: 1706000 | #Constraints: 38394
3600.07/3611.50 c #Conflicts: 1707000 | #Constraints: 39394
3600.07/3611.50 c #Conflicts: 1708000 | #Constraints: 40394
3600.07/3611.50 c #Conflicts: 1709000 | #Constraints: 41394
3600.07/3611.50 c #Conflicts: 1710000 | #Constraints: 42394
3600.07/3611.50 c #Conflicts: 1711000 | #Constraints: 43394
3600.07/3611.50 c #Conflicts: 1712000 | #Constraints: 44394
3600.07/3611.50 c #Conflicts: 1713000 | #Constraints: 45394
3600.07/3611.50 c #Conflicts: 1714000 | #Constraints: 46394
3600.07/3611.50 c #Conflicts: 1715000 | #Constraints: 47394
3600.07/3611.50 c #Conflicts: 1716000 | #Constraints: 48394
3600.07/3611.50 c #Conflicts: 1717000 | #Constraints: 49394
3600.07/3611.50 c #Conflicts: 1718000 | #Constraints: 50394
3600.07/3611.50 c #Conflicts: 1719000 | #Constraints: 51394
3600.07/3611.50 c #Conflicts: 1720000 | #Constraints: 52394
3600.07/3611.50 c INPROCESSING
3600.07/3611.50 c GARBAGE COLLECT
3600.07/3611.50 c #Conflicts: 1721000 | #Constraints: 27394
3600.07/3611.50 c #Conflicts: 1722000 | #Constraints: 28394
3600.07/3611.50 c #Conflicts: 1723000 | #Constraints: 29394
3600.07/3611.50 c #Conflicts: 1724000 | #Constraints: 30394
3600.07/3611.50 c #Conflicts: 1725000 | #Constraints: 31394
3600.07/3611.50 c #Conflicts: 1726000 | #Constraints: 32394
3600.07/3611.50 c #Conflicts: 1727000 | #Constraints: 33394
3600.07/3611.50 c #Conflicts: 1728000 | #Constraints: 34394
3600.07/3611.50 c #Conflicts: 1729000 | #Constraints: 35394
3600.07/3611.50 c #Conflicts: 1730000 | #Constraints: 36394
3600.07/3611.50 c #Conflicts: 1731000 | #Constraints: 37394
3600.07/3611.50 c #Conflicts: 1732000 | #Constraints: 38394
3600.07/3611.50 c #Conflicts: 1733000 | #Constraints: 39394
3600.07/3611.50 c #Conflicts: 1734000 | #Constraints: 40394
3600.07/3611.50 c #Conflicts: 1735000 | #Constraints: 41394
3600.07/3611.50 c #Conflicts: 1736000 | #Constraints: 42394
3600.07/3611.50 c cpu time 3589.71 s
3600.07/3611.50 c deterministic time 1 1.00e+00
3600.07/3611.50 c optimization time 3589.7 s
3600.07/3611.50 c total solve time 0 s
3600.07/3611.50 c core-guided solve time 0 s
3600.07/3611.50 c propagation time 0.000555 s
3600.07/3611.50 c conflict analysis time 0 s
3600.07/3611.50 c propagations 0
3600.07/3611.50 c resolve steps 0
3600.07/3611.50 c decisions 0
3600.07/3611.50 c conflicts 0
3600.07/3611.50 c restarts 0
3600.07/3611.50 c inprocessing phases 0
3600.07/3611.50 c garbage collections 0 ,( -nan )
3600.07/3611.50 c input clauses 1 ,( 0.21 )
3600.07/3611.50 c input cardinalities 0 ,( 0.00 )
3600.07/3611.50 c input general constraints 475 ,( 99.79 )
3600.07/3611.50 c input average constraint length 8.95
3600.07/3611.50 c input average constraint degree 28.73
3600.07/3611.50 c learned clauses 0 ,( 0.00 )
3600.07/3611.50 c learned cardinalities 0 ,( 0.00 )
3600.07/3611.50 c learned general constraints 0 ,( 0.00 )
3600.07/3611.50 c learned average constraint length 0.00
3600.07/3611.50 c learned average constraint degree 0.00
3600.07/3611.50 c watched CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
3600.07/3611.50 c counting CF 32, 64, 128, Arb: 472 , 0 , 0 , 0
3600.07/3611.50 c watched constraints 4 ,( 0.84 )
3600.07/3611.50 c counting constraints 471 ,( 99.16 )
3600.07/3611.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3611.50 c gcd simplifications 1
3600.07/3611.50 c detected cardinalities 0
3600.07/3611.50 c weakened non-implied lits 0
3600.07/3611.50 c weakened non-implying lits 0
3600.07/3611.50 c original variables 476
3600.07/3611.50 c clausal propagations 0
3600.07/3611.50 c cardinality propagations 0
3600.07/3611.50 c watched propagations 0
3600.07/3611.50 c counting propagations 0
3600.07/3611.50 c watch lookups 0
3600.07/3611.50 c watch backjump lookups 0
3600.07/3611.50 c watch checks 0
3600.07/3611.50 c propagation checks 0
3600.07/3611.50 c constraint additions 0
3600.07/3611.50 c trail pops 0
3600.07/3611.50 c formula constraints 476
3600.07/3611.50 c learned constraints 0
3600.07/3611.50 c bound constraints 0
3600.07/3611.50 c core-guided constraints 0
3600.07/3611.50 c encountered formula constraints 0
3600.07/3611.50 c encountered learned constraints 0
3600.07/3611.50 c encountered bound constraints 0
3600.07/3611.50 c encountered core-guided constraints 0
3600.07/3611.50 c LP total time 0 s
3600.07/3611.50 c LP solve time 0 s
3600.07/3611.50 c LP constraints added 0
3600.07/3611.50 c LP constraints removed 0
3600.07/3611.50 c LP pivots internal 0
3600.07/3611.50 c LP pivots root 0
3600.07/3611.50 c LP calls 0
3600.07/3611.50 c LP optimalities 0
3600.07/3611.50 c LP no pivot count 0
3600.07/3611.50 c LP infeasibilities 0
3600.07/3611.50 c LP valid Farkas constraints 0
3600.07/3611.50 c LP learned Farkas constraints 0
3600.07/3611.50 c LP basis resets 0
3600.07/3611.50 c LP cycling count 0
3600.07/3611.50 c LP singular count 0
3600.07/3611.50 c LP no primal count 0
3600.07/3611.50 c LP no farkas count 0
3600.07/3611.50 c LP other issue count 0
3600.07/3611.50 c LP Gomory cuts 0
3600.07/3611.50 c LP learned cuts 0
3600.07/3611.50 c LP deleted cuts 0
3600.07/3611.50 c LP encountered Gomory constraints 0
3600.07/3611.50 c LP encountered Farkas constraints 0
3600.07/3611.50 c LP encountered learned Farkas constraints 0
3600.07/3611.50 c CG auxiliary variables introduced 0
3600.07/3611.50 c CG solutions found 0
3600.07/3611.50 c CG cores constructed 0
3600.07/3611.50 c CG core cardinality constraints returned 0
3600.07/3611.50 c CG unit cores 0
3600.07/3611.50 c CG single cores 0
3600.07/3611.50 c CG blocks removed during cardinality reduction 0
3600.07/3611.50 c CG first core best 0
3600.07/3611.50 c CG decision core best 0
3600.07/3611.50 c CG core reduction tie 0
3600.07/3611.50 c CG core degree average 0.00
3600.07/3611.50 c CG core slack average 0.00
3600.07/3611.50 c CG core upper bound improvements 0
3600.07/3611.50 c STR number of successful calls 0
3600.07/3611.50 c STR number of unsuccessful calls 0
3600.07/3611.50 c STR number of inconclusive calls 0
3600.07/3611.50 c STR number of successful attempts 0
3600.07/3611.50 c STR number of unsuccessful attempts 0
3600.07/3611.50 c STR number of inconclusive attempts 0
3600.07/3611.50 c STR average degree increase per successful call inf
3600.07/3611.50 c STR average degree increase per successful attempt inf
3600.07/3611.50 c STR total number of conflicts for successful attempts 0
3600.07/3611.50 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.50 c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.50 c STR average number of conflicts per successful attempt inf
3600.07/3611.50 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.50 c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.50 c AVG.sumWPerc 72.21
3600.07/3611.50 c bigint constraints 0
3600.07/3611.50 s UNKNOWN
3600.07/3611.50 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: 63837 MiB (63192 MiB free)
memory of node 1: 64465 MiB (63244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489322-1751359802/watcher-4489322-1751359802 -o /tmp/evaluation-result-4489322-1751359802/solver-4489322-1751359802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47566 --watchdog 3760 run-opt.sh HOME/instance-4489322-1751359802.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47607, runsolver pid=47602
[startup+0.100069 s]*
/proc/loadavg: 2.67 3.75 4.00 5/252 47619
/proc/meminfo: memFree=129467396/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=61160 memory=11776 CPUtime=0.08 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 844 0 0 0 7 1 0 0 20 0 1 0 51659621 62627840 2944 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 15290 2944 2400 1147 0 2717 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65352 KiB
Current children cumulated memory: 14848 KiB
[startup+0.214102 s]*
/proc/loadavg: 2.67 3.75 4.00 4/251 47620
/proc/meminfo: memFree=129461536/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=62612 memory=15488 CPUtime=0.19 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 1250 0 0 0 18 1 0 0 20 0 1 0 51659621 64114688 3872 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 15653 3872 2400 1147 0 3080 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66804 KiB
Current children cumulated memory: 18560 KiB
[startup+0.313364 s]*
/proc/loadavg: 2.67 3.75 4.00 4/253 47623
/proc/meminfo: memFree=129449188/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=64376 memory=17280 CPUtime=0.29 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 1698 0 0 0 27 2 0 0 20 0 1 0 51659621 65921024 4320 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 16094 4320 2400 1147 0 3521 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 68568 KiB
Current children cumulated memory: 20352 KiB
[startup+0.70033 s]
/proc/loadavg: 2.67 3.75 4.00 5/256 47630
/proc/meminfo: memFree=129436364/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=68380 memory=21888 CPUtime=0.66 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 2843 0 0 0 63 3 0 0 20 0 1 0 51659621 70021120 5472 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 17095 5472 2400 1147 0 4522 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 24960 KiB
[startup+1.50033 s]
/proc/loadavg: 2.67 3.75 4.00 5/256 47630
/proc/meminfo: memFree=129410228/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=78064 memory=29056 CPUtime=1.46 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 4649 0 0 0 140 6 0 0 20 0 1 0 51659621 79937536 7264 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 19516 7264 2400 1147 0 6943 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 82256 KiB
Current children cumulated memory: 32128 KiB
[startup+3.11322 s]
/proc/loadavg: 2.78 3.76 4.00 5/256 47630
/proc/meminfo: memFree=129257072/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=94712 memory=44756 CPUtime=3.06 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 8048 0 0 0 296 10 0 0 20 0 1 0 51659621 96985088 11189 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 23678 11189 2400 1147 0 11105 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 98904 KiB
Current children cumulated memory: 47828 KiB
[startup+6.30035 s]
/proc/loadavg: 2.78 3.76 4.00 5/256 47630
/proc/meminfo: memFree=128432820/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=99704 memory=50516 CPUtime=6.24 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 9504 0 0 0 608 16 0 0 20 0 1 0 51659621 102096896 12629 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 24926 12629 2400 1147 0 12353 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 103896 KiB
Current children cumulated memory: 53588 KiB
[startup+12.7004 s]
/proc/loadavg: 2.87 3.76 4.00 5/256 47630
/proc/meminfo: memFree=128351688/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=124936 memory=66816 CPUtime=12.62 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 13055 0 0 0 1236 26 0 0 20 0 1 0 51659621 127934464 16704 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 31234 16704 2400 1147 0 18661 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 129128 KiB
Current children cumulated memory: 69888 KiB
[startup+25.5004 s]
/proc/loadavg: 3.20 3.79 4.00 5/256 47631
/proc/meminfo: memFree=128158416/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=133384 memory=78052 CPUtime=25.38 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 15378 0 0 0 2498 40 0 0 20 0 1 0 51659621 136585216 19513 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 33346 19513 2400 1147 0 20773 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 137576 KiB
Current children cumulated memory: 81124 KiB
[startup+51.1137 s]
/proc/loadavg: 3.47 3.81 4.00 5/256 47631
/proc/meminfo: memFree=127922392/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=148676 memory=92976 CPUtime=50.93 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 18086 0 0 0 5030 63 0 0 20 0 1 0 51659621 152244224 23244 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 37169 23244 2400 1147 0 24596 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 152868 KiB
Current children cumulated memory: 96048 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.85 4.00 5/256 47639
/proc/meminfo: memFree=127659512/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=205344 memory=125156 CPUtime=101.95 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 24648 0 0 0 10092 103 0 0 20 0 1 0 51659621 210272256 31289 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 51336 31289 2400 1147 0 38763 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 209536 KiB
Current children cumulated memory: 128228 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.90 4.00 5/255 47641
/proc/meminfo: memFree=127461664/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=209244 memory=151844 CPUtime=161.78 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 26731 0 0 0 16041 137 0 0 20 0 1 0 51659621 214265856 37961 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 52311 37961 2400 1147 0 39738 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 213436 KiB
Current children cumulated memory: 154916 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.94 4.00 5/255 47643
/proc/meminfo: memFree=127441856/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=212704 memory=157368 CPUtime=221.61 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 27455 0 0 0 21992 169 0 0 20 0 1 0 51659621 217808896 39342 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 53176 39342 2400 1147 0 40603 0
Current children cumulated CPU time: 221.61 s
################
# More data... #
################
/proc/47617/statm: 119288 82114 2400 1147 0 106715 0
Current children cumulated CPU time: 3092.44 s
Current children cumulated vsize: 481344 KiB
Current children cumulated memory: 331528 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 47811
/proc/meminfo: memFree=125416208/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=477664 memory=328712 CPUtime=3152.26 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 74395 0 0 0 314280 946 0 0 20 0 1 0 51659621 489127936 82178 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 119416 82178 2400 1147 0 106843 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 481856 KiB
Current children cumulated memory: 331784 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 47813
/proc/meminfo: memFree=125414996/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=478176 memory=328860 CPUtime=3212.08 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 74573 0 0 0 320248 960 0 0 20 0 1 0 51659621 489652224 82215 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 119544 82215 2400 1147 0 106971 0
Current children cumulated CPU time: 3212.08 s
Current children cumulated vsize: 482368 KiB
Current children cumulated memory: 331932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 47815
/proc/meminfo: memFree=125403420/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=481500 memory=330464 CPUtime=3271.89 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 75431 0 0 0 326221 968 0 0 20 0 1 0 51659621 493056000 82616 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 120375 82616 2400 1147 0 107802 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 485692 KiB
Current children cumulated memory: 333536 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/254 47817
/proc/meminfo: memFree=125401524/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=482012 memory=330848 CPUtime=3331.71 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 75515 0 0 0 332192 979 0 0 20 0 1 0 51659621 493580288 82712 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 120503 82712 2400 1147 0 107930 0
Current children cumulated CPU time: 3331.71 s
Current children cumulated vsize: 486204 KiB
Current children cumulated memory: 333920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 47819
/proc/meminfo: memFree=125391384/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=487652 memory=333648 CPUtime=3391.52 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 77108 0 0 0 338160 992 0 0 20 0 1 0 51659621 499355648 83412 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 121913 83412 2400 1147 0 109340 0
Current children cumulated CPU time: 3391.52 s
Current children cumulated vsize: 491844 KiB
Current children cumulated memory: 336720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/253 47821
/proc/meminfo: memFree=125397960/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=491748 memory=335016 CPUtime=3451.33 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 78481 0 0 0 344130 1003 0 0 20 0 1 0 51659621 503549952 83754 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 122937 83754 2400 1147 0 110364 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 495940 KiB
Current children cumulated memory: 338088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/253 47823
/proc/meminfo: memFree=125407976/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=492772 memory=337584 CPUtime=3511.15 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 78889 0 0 0 350097 1018 0 0 20 0 1 0 51659621 504598528 84396 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 123193 84396 2400 1147 0 110620 0
Current children cumulated CPU time: 3511.15 s
Current children cumulated vsize: 496964 KiB
Current children cumulated memory: 340656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/253 47825
/proc/meminfo: memFree=125403260/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=492772 memory=338224 CPUtime=3570.96 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 79036 0 0 0 356066 1030 0 0 20 0 1 0 51659621 504598528 84556 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 123193 84556 2400 1147 0 110620 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 496964 KiB
Current children cumulated memory: 341296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.05 4.08 4.09 4/248 47834
/proc/meminfo: memFree=125765024/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=492772 memory=338224 CPUtime=3600.07 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 79036 0 0 0 358971 1036 0 0 20 0 1 0 51659621 504598528 84556 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 123193 84556 2400 1147 0 110620 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 496964 KiB
Current children cumulated memory: 341296 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.51 s]
# the end of solver process 47607 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001114 s, system=0.004428 s
Sleeping 2 seconds
[startup+3611.51 s]
# the end of solver process 47617 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.72 s, system=10.3817 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+3611.5 s]
/proc/loadavg: 4.05 4.08 4.09 4/248 47834
/proc/meminfo: memFree=125765024/131382116 swapFree=33010684/33010684
[pid=47607] ppid=47602 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47607/stat : 47607 (run-opt.sh) S 47602 47607 47556 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 51659620 4292608 768 18446744073709551615 94261191839744 94261192734277 140732432546976 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94261192973328 94261193021072 94261214040064 140732432554349 140732432554472 140732432554472 140732432560074 0
/proc/47607/statm: 1048 768 704 219 0 110 0
[pid=47617] ppid=47607 vsize=492772 memory=338224 CPUtime=3600.07 cores=0,2
/proc/47617/stat : 47617 (roundingsat) R 47607 47607 47556 0 -1 4194304 79036 0 0 0 358971 1036 0 0 20 0 1 0 51659621 504598528 84556 18446744073709551615 4227072 8923433 140732474713072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22384640 140732474714530 140732474714664 140732474714664 140732474720234 0
/proc/47617/statm: 123193 84556 2400 1147 0 110620 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 496964 KiB
Current children cumulated memory: 341296 KiB
Child status: 2
Real time (s): 3611.51
CPU time (s): 3600.1
CPU user time (s): 3589.72
CPU system time (s): 10.3817
CPU usage (%): 99.684
Max. virtual memory (cumulated for all children) (KiB): 496964
Max. memory (cumulated for all children) (KiB): 341296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.72
system time used= 10.3817
maximum resident set size= 338480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270
involuntary context switches= 8337
# summary of solver processes directly reported to runsolver:
# pid: 47607,47617
# total CPU time (s): 3600.1
# total CPU user time (s): 3589.72
# total CPU system time (s): 10.3817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8888 second user time and 37.5197 second system time
The end
Begin job on nodeC010 at 2025-07-01 10:50:02
IDJOB=4489322
IDBENCH=147545
IDSOLVER=3350
FILE ID=nodeC010/4489322-1751359802
RUNJOBID= nodeC010-1751359802-47566
SLURM_JOB_ID= 9598157
Free space on /tmp= 432692 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489322-1751359802/watcher-4489322-1751359802 -o /tmp/evaluation-result-4489322-1751359802/solver-4489322-1751359802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47566 --watchdog 3760 run-opt.sh HOME/instance-4489322-1751359802.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=1421369085
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.151
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.443
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.790
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.145
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.326
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129470732 kB
MemAvailable: 129928908 kB
Buffers: 3280 kB
Cached: 1265388 kB
SwapCached: 0 kB
Active: 378480 kB
Inactive: 959760 kB
Active(anon): 87532 kB
Inactive(anon): 0 kB
Active(file): 290948 kB
Inactive(file): 959760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26900 kB
Writeback: 0 kB
AnonPages: 72696 kB
Mapped: 103180 kB
Shmem: 17960 kB
KReclaimable: 94192 kB
Slab: 177588 kB
SReclaimable: 94192 kB
SUnreclaim: 83396 kB
KernelStack: 3816 kB
PageTables: 2364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 339264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432648 MiB
End job on nodeC010 at 2025-07-01 11:50:14