0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 470 #constraints 470
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 5 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 465 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.001848
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.0019
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.014814
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.11544
0.08/0.16 c GLOBAL bounds - >= 0 @ 0.130799
0.28/0.37 c #Conflicts: 1000 | #Constraints: 1476
0.28/0.37 c GLOBAL bounds - >= 0 @ 0.337279
0.58/0.69 c #Conflicts: 2000 | #Constraints: 2478
0.58/0.69 c INPROCESSING
0.58/0.69 c GARBAGE COLLECT
0.58/0.69 c #Conflicts: 3000 | #Constraints: 2490
0.58/0.69 c GLOBAL bounds - >= 0 @ 0.648715
10.44/10.50 c #Conflicts: 4000 | #Constraints: 3492
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 5000 | #Constraints: 2897
10.44/10.50 c #Conflicts: 6000 | #Constraints: 3897
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 7000 | #Constraints: 2900
10.44/10.50 c #Conflicts: 8000 | #Constraints: 3900
10.44/10.50 c #Conflicts: 9000 | #Constraints: 4900
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 10000 | #Constraints: 3600
10.44/10.50 c #Conflicts: 11000 | #Constraints: 4600
10.44/10.50 c #Conflicts: 12000 | #Constraints: 5600
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 13000 | #Constraints: 4052
10.44/10.50 c #Conflicts: 14000 | #Constraints: 5052
10.44/10.50 c #Conflicts: 15000 | #Constraints: 6052
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 16000 | #Constraints: 4280
10.44/10.50 c #Conflicts: 17000 | #Constraints: 5280
10.44/10.50 c #Conflicts: 18000 | #Constraints: 6280
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 19000 | #Constraints: 4296
10.44/10.50 c #Conflicts: 20000 | #Constraints: 5296
10.44/10.50 c #Conflicts: 21000 | #Constraints: 6296
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 22000 | #Constraints: 4101
10.44/10.50 c #Conflicts: 23000 | #Constraints: 5101
10.44/10.50 c #Conflicts: 24000 | #Constraints: 6101
10.44/10.50 c #Conflicts: 25000 | #Constraints: 7101
10.44/10.50 c INPROCESSING
10.44/10.50 c GARBAGE COLLECT
10.44/10.50 c #Conflicts: 26000 | #Constraints: 4707
10.44/10.50 c #Conflicts: 27000 | #Constraints: 5707
10.44/10.50 c GLOBAL bounds - >= 0 @ 10.285
12.94/13.07 c #Conflicts: 28000 | #Constraints: 6709
12.94/13.07 c #Conflicts: 29000 | #Constraints: 7709
12.94/13.07 c INPROCESSING
12.94/13.07 c GARBAGE COLLECT
12.94/13.07 c #Conflicts: 30000 | #Constraints: 5116
12.94/13.07 c #Conflicts: 31000 | #Constraints: 6116
12.94/13.07 c #Conflicts: 32000 | #Constraints: 7116
12.94/13.07 c GLOBAL bounds - >= 0 @ 12.8106
14.04/14.12 c #Conflicts: 33000 | #Constraints: 8118
14.04/14.12 c INPROCESSING
14.04/14.12 c GARBAGE COLLECT
14.04/14.12 c #Conflicts: 34000 | #Constraints: 5314
14.04/14.12 c GLOBAL bounds - >= 0 @ 13.8442
14.33/14.42 c #Conflicts: 35000 | #Constraints: 6316
14.33/14.42 c GLOBAL bounds - >= 0 @ 14.147
17.42/17.51 c #Conflicts: 36000 | #Constraints: 7318
17.42/17.51 c #Conflicts: 37000 | #Constraints: 8318
17.42/17.51 c INPROCESSING
17.42/17.51 c GARBAGE COLLECT
17.42/17.51 c #Conflicts: 38000 | #Constraints: 5324
17.42/17.51 c #Conflicts: 39000 | #Constraints: 6324
17.42/17.51 c #Conflicts: 40000 | #Constraints: 7324
17.42/17.51 c #Conflicts: 41000 | #Constraints: 8324
17.42/17.51 c INPROCESSING
17.42/17.51 c GARBAGE COLLECT
17.42/17.51 c GLOBAL bounds - >= 0 @ 17.1907
19.62/19.78 c #Conflicts: 42000 | #Constraints: 5127
19.62/19.78 c #Conflicts: 43000 | #Constraints: 6127
19.62/19.78 c #Conflicts: 44000 | #Constraints: 7127
19.62/19.78 c #Conflicts: 45000 | #Constraints: 8127
19.62/19.78 c GLOBAL bounds - >= 0 @ 19.4247
20.12/20.24 c #Conflicts: 46000 | #Constraints: 9129
20.12/20.24 c INPROCESSING
20.12/20.24 c GARBAGE COLLECT
20.12/20.24 c GLOBAL bounds - >= 0 @ 19.8798
20.32/20.45 c #Conflicts: 47000 | #Constraints: 5723
20.32/20.45 c GLOBAL bounds - >= 0 @ 20.0783
20.41/20.57 c GLOBAL bounds - >= 0 @ 20.1969
20.51/20.61 c GLOBAL bounds - >= 0 @ 20.2429
20.72/20.82 c GLOBAL bounds - >= 0 @ 20.4432
21.11/21.24 c #Conflicts: 48000 | #Constraints: 6731
21.11/21.24 c GLOBAL bounds - >= 0 @ 20.8575
23.61/23.76 c #Conflicts: 49000 | #Constraints: 7733
23.61/23.76 c #Conflicts: 50000 | #Constraints: 8733
23.61/23.76 c #Conflicts: 51000 | #Constraints: 9733
23.61/23.76 c INPROCESSING
23.61/23.76 c GARBAGE COLLECT
23.61/23.76 c #Conflicts: 52000 | #Constraints: 6134
23.61/23.76 c GLOBAL bounds - >= 0 @ 23.338
25.50/25.69 c #Conflicts: 53000 | #Constraints: 7136
25.50/25.69 c #Conflicts: 54000 | #Constraints: 8136
25.50/25.69 c #Conflicts: 55000 | #Constraints: 9136
25.50/25.69 c #Conflicts: 56000 | #Constraints: 10136
25.50/25.69 c INPROCESSING
25.50/25.69 c GARBAGE COLLECT
25.50/25.69 c GLOBAL bounds - >= 0 @ 25.2403
26.70/26.88 c #Conflicts: 57000 | #Constraints: 6338
26.70/26.88 c #Conflicts: 58000 | #Constraints: 7338
26.70/26.88 c GLOBAL bounds - >= 0 @ 26.4167
27.30/27.41 c #Conflicts: 59000 | #Constraints: 8340
27.30/27.41 c GLOBAL bounds - >= 0 @ 26.9311
31.99/32.12 c #Conflicts: 60000 | #Constraints: 9342
31.99/32.12 c #Conflicts: 61000 | #Constraints: 10342
31.99/32.12 c INPROCESSING
31.99/32.12 c GARBAGE COLLECT
31.99/32.12 c #Conflicts: 62000 | #Constraints: 6349
31.99/32.12 c #Conflicts: 63000 | #Constraints: 7349
31.99/32.12 c #Conflicts: 64000 | #Constraints: 8349
31.99/32.12 c #Conflicts: 65000 | #Constraints: 9349
31.99/32.12 c #Conflicts: 66000 | #Constraints: 10349
31.99/32.12 c INPROCESSING
31.99/32.12 c GARBAGE COLLECT
31.99/32.12 c #Conflicts: 67000 | #Constraints: 6146
31.99/32.12 c GLOBAL bounds - >= 0 @ 31.5831
32.59/32.70 c #Conflicts: 68000 | #Constraints: 7148
32.59/32.70 c GLOBAL bounds - >= 0 @ 32.153
34.88/35.02 c #Conflicts: 69000 | #Constraints: 8150
34.88/35.02 c #Conflicts: 70000 | #Constraints: 9150
34.88/35.02 c #Conflicts: 71000 | #Constraints: 10150
34.88/35.02 c #Conflicts: 72000 | #Constraints: 11150
34.88/35.02 c INPROCESSING
34.88/35.02 c GARBAGE COLLECT
34.88/35.02 c GLOBAL bounds - >= 0 @ 34.442
36.88/37.06 c #Conflicts: 73000 | #Constraints: 6755
36.88/37.06 c #Conflicts: 74000 | #Constraints: 7755
36.88/37.06 c #Conflicts: 75000 | #Constraints: 8755
36.88/37.06 c GLOBAL bounds - >= 0 @ 36.463
71.67/71.98 c #Conflicts: 76000 | #Constraints: 9757
71.67/71.98 c #Conflicts: 77000 | #Constraints: 10757
71.67/71.98 c #Conflicts: 78000 | #Constraints: 11757
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c #Conflicts: 79000 | #Constraints: 7152
71.67/71.98 c #Conflicts: 80000 | #Constraints: 8152
71.67/71.98 c #Conflicts: 81000 | #Constraints: 9152
71.67/71.98 c #Conflicts: 82000 | #Constraints: 10152
71.67/71.98 c #Conflicts: 83000 | #Constraints: 11152
71.67/71.98 c #Conflicts: 84000 | #Constraints: 12152
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c #Conflicts: 85000 | #Constraints: 7361
71.67/71.98 c #Conflicts: 86000 | #Constraints: 8361
71.67/71.98 c #Conflicts: 87000 | #Constraints: 9361
71.67/71.98 c #Conflicts: 88000 | #Constraints: 10361
71.67/71.98 c #Conflicts: 89000 | #Constraints: 11361
71.67/71.98 c #Conflicts: 90000 | #Constraints: 12361
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c #Conflicts: 91000 | #Constraints: 7357
71.67/71.98 c #Conflicts: 92000 | #Constraints: 8357
71.67/71.98 c #Conflicts: 93000 | #Constraints: 9357
71.67/71.98 c #Conflicts: 94000 | #Constraints: 10357
71.67/71.98 c #Conflicts: 95000 | #Constraints: 11357
71.67/71.98 c #Conflicts: 96000 | #Constraints: 12357
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c #Conflicts: 97000 | #Constraints: 7160
71.67/71.98 c #Conflicts: 98000 | #Constraints: 8160
71.67/71.98 c #Conflicts: 99000 | #Constraints: 9160
71.67/71.98 c #Conflicts: 100000 | #Constraints: 10160
71.67/71.98 c #Conflicts: 101000 | #Constraints: 11160
71.67/71.98 c #Conflicts: 102000 | #Constraints: 12160
71.67/71.98 c #Conflicts: 103000 | #Constraints: 13160
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c #Conflicts: 104000 | #Constraints: 7757
71.67/71.98 c #Conflicts: 105000 | #Constraints: 8757
71.67/71.98 c #Conflicts: 106000 | #Constraints: 9757
71.67/71.98 c #Conflicts: 107000 | #Constraints: 10757
71.67/71.98 c #Conflicts: 108000 | #Constraints: 11757
71.67/71.98 c #Conflicts: 109000 | #Constraints: 12757
71.67/71.98 c #Conflicts: 110000 | #Constraints: 13757
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c #Conflicts: 111000 | #Constraints: 8161
71.67/71.98 c #Conflicts: 112000 | #Constraints: 9161
71.67/71.98 c #Conflicts: 113000 | #Constraints: 10161
71.67/71.98 c #Conflicts: 114000 | #Constraints: 11161
71.67/71.98 c #Conflicts: 115000 | #Constraints: 12161
71.67/71.98 c #Conflicts: 116000 | #Constraints: 13161
71.67/71.98 c #Conflicts: 117000 | #Constraints: 14161
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c #Conflicts: 118000 | #Constraints: 8359
71.67/71.98 c #Conflicts: 119000 | #Constraints: 9359
71.67/71.98 c #Conflicts: 120000 | #Constraints: 10359
71.67/71.98 c #Conflicts: 121000 | #Constraints: 11359
71.67/71.98 c #Conflicts: 122000 | #Constraints: 12359
71.67/71.98 c #Conflicts: 123000 | #Constraints: 13359
71.67/71.98 c #Conflicts: 124000 | #Constraints: 14359
71.67/71.98 c INPROCESSING
71.67/71.98 c GARBAGE COLLECT
71.67/71.98 c GLOBAL bounds - >= 0 @ 71.0054
81.05/81.34 c #Conflicts: 125000 | #Constraints: 8361
81.05/81.34 c #Conflicts: 126000 | #Constraints: 9361
81.05/81.34 c #Conflicts: 127000 | #Constraints: 10361
81.05/81.34 c #Conflicts: 128000 | #Constraints: 11361
81.05/81.34 c #Conflicts: 129000 | #Constraints: 12361
81.05/81.34 c #Conflicts: 130000 | #Constraints: 13361
81.05/81.34 c #Conflicts: 131000 | #Constraints: 14361
81.05/81.34 c INPROCESSING
81.05/81.34 c GARBAGE COLLECT
81.05/81.34 c #Conflicts: 132000 | #Constraints: 8159
81.05/81.34 c #Conflicts: 133000 | #Constraints: 9159
81.05/81.34 c #Conflicts: 134000 | #Constraints: 10159
81.05/81.34 c #Conflicts: 135000 | #Constraints: 11159
81.05/81.34 c #Conflicts: 136000 | #Constraints: 12159
81.05/81.34 c GLOBAL bounds - >= 0 @ 80.2525
85.34/85.68 c #Conflicts: 137000 | #Constraints: 13161
85.34/85.68 c #Conflicts: 138000 | #Constraints: 14161
85.34/85.68 c #Conflicts: 139000 | #Constraints: 15161
85.34/85.68 c INPROCESSING
85.34/85.68 c GARBAGE COLLECT
85.34/85.68 c #Conflicts: 140000 | #Constraints: 8760
85.34/85.68 c #Conflicts: 141000 | #Constraints: 9760
85.34/85.68 c GLOBAL bounds - >= 0 @ 84.5473
106.67/107.06 c #Conflicts: 142000 | #Constraints: 10762
106.67/107.06 c #Conflicts: 143000 | #Constraints: 11762
106.67/107.06 c #Conflicts: 144000 | #Constraints: 12762
106.67/107.06 c #Conflicts: 145000 | #Constraints: 13762
106.67/107.06 c #Conflicts: 146000 | #Constraints: 14762
106.67/107.06 c #Conflicts: 147000 | #Constraints: 15762
106.67/107.06 c INPROCESSING
106.67/107.06 c GARBAGE COLLECT
106.67/107.06 c #Conflicts: 148000 | #Constraints: 9164
106.67/107.06 c #Conflicts: 149000 | #Constraints: 10164
106.67/107.06 c #Conflicts: 150000 | #Constraints: 11164
106.67/107.06 c #Conflicts: 151000 | #Constraints: 12164
106.67/107.06 c #Conflicts: 152000 | #Constraints: 13164
106.67/107.06 c #Conflicts: 153000 | #Constraints: 14164
106.67/107.06 c #Conflicts: 154000 | #Constraints: 15164
106.67/107.06 c #Conflicts: 155000 | #Constraints: 16164
106.67/107.06 c INPROCESSING
106.67/107.06 c GARBAGE COLLECT
106.67/107.06 c #Conflicts: 156000 | #Constraints: 9367
106.67/107.06 c #Conflicts: 157000 | #Constraints: 10367
106.67/107.06 c #Conflicts: 158000 | #Constraints: 11367
106.67/107.06 c #Conflicts: 159000 | #Constraints: 12367
106.67/107.06 c #Conflicts: 160000 | #Constraints: 13367
106.67/107.06 c #Conflicts: 161000 | #Constraints: 14367
106.67/107.06 c #Conflicts: 162000 | #Constraints: 15367
106.67/107.06 c #Conflicts: 163000 | #Constraints: 16367
106.67/107.06 c INPROCESSING
106.67/107.06 c GARBAGE COLLECT
106.67/107.06 c #Conflicts: 164000 | #Constraints: 9367
106.67/107.06 c #Conflicts: 165000 | #Constraints: 10367
106.67/107.06 c GLOBAL bounds - >= 0 @ 105.663
108.86/109.23 c #Conflicts: 166000 | #Constraints: 11369
108.86/109.23 c #Conflicts: 167000 | #Constraints: 12369
108.86/109.23 c #Conflicts: 168000 | #Constraints: 13369
108.86/109.23 c GLOBAL bounds - >= 0 @ 107.807
109.45/109.86 c GLOBAL bounds - >= 0 @ 108.425
112.45/112.82 c #Conflicts: 169000 | #Constraints: 14373
112.45/112.82 c #Conflicts: 170000 | #Constraints: 15373
112.45/112.82 c #Conflicts: 171000 | #Constraints: 16373
112.45/112.82 c GLOBAL bounds - >= 0 @ 111.364
119.13/119.52 c INPROCESSING
119.13/119.52 c GARBAGE COLLECT
119.13/119.52 c #Conflicts: 172000 | #Constraints: 9173
119.13/119.52 c #Conflicts: 173000 | #Constraints: 10173
119.13/119.52 c #Conflicts: 174000 | #Constraints: 11173
119.13/119.52 c #Conflicts: 175000 | #Constraints: 12173
119.13/119.52 c #Conflicts: 176000 | #Constraints: 13173
119.13/119.52 c #Conflicts: 177000 | #Constraints: 14173
119.13/119.52 c #Conflicts: 178000 | #Constraints: 15173
119.13/119.52 c GLOBAL bounds - >= 0 @ 117.981
157.89/158.48 c #Conflicts: 179000 | #Constraints: 16175
157.89/158.48 c #Conflicts: 180000 | #Constraints: 17175
157.89/158.48 c INPROCESSING
157.89/158.48 c GARBAGE COLLECT
157.89/158.48 c #Conflicts: 181000 | #Constraints: 9770
157.89/158.48 c #Conflicts: 182000 | #Constraints: 10770
157.89/158.48 c #Conflicts: 183000 | #Constraints: 11770
157.89/158.48 c #Conflicts: 184000 | #Constraints: 12770
157.89/158.48 c #Conflicts: 185000 | #Constraints: 13770
157.89/158.48 c #Conflicts: 186000 | #Constraints: 14770
157.89/158.48 c #Conflicts: 187000 | #Constraints: 15770
157.89/158.48 c #Conflicts: 188000 | #Constraints: 16770
157.89/158.48 c #Conflicts: 189000 | #Constraints: 17770
157.89/158.48 c INPROCESSING
157.89/158.48 c GARBAGE COLLECT
157.89/158.48 c #Conflicts: 190000 | #Constraints: 10171
157.89/158.48 c #Conflicts: 191000 | #Constraints: 11171
157.89/158.48 c #Conflicts: 192000 | #Constraints: 12171
157.89/158.48 c #Conflicts: 193000 | #Constraints: 13171
157.89/158.48 c #Conflicts: 194000 | #Constraints: 14171
157.89/158.48 c #Conflicts: 195000 | #Constraints: 15171
157.89/158.48 c #Conflicts: 196000 | #Constraints: 16171
157.89/158.48 c #Conflicts: 197000 | #Constraints: 17171
157.89/158.48 c #Conflicts: 198000 | #Constraints: 18171
157.89/158.48 c INPROCESSING
157.89/158.48 c GARBAGE COLLECT
157.89/158.48 c #Conflicts: 199000 | #Constraints: 10373
157.89/158.48 c #Conflicts: 200000 | #Constraints: 11373
157.89/158.48 c #Conflicts: 201000 | #Constraints: 12373
157.89/158.48 c #Conflicts: 202000 | #Constraints: 13373
157.89/158.48 c #Conflicts: 203000 | #Constraints: 14373
157.89/158.48 c #Conflicts: 204000 | #Constraints: 15373
157.89/158.48 c #Conflicts: 205000 | #Constraints: 16373
157.89/158.48 c #Conflicts: 206000 | #Constraints: 17373
157.89/158.48 c #Conflicts: 207000 | #Constraints: 18373
157.89/158.48 c INPROCESSING
157.89/158.48 c GARBAGE COLLECT
157.89/158.48 c #Conflicts: 208000 | #Constraints: 10376
157.89/158.48 c #Conflicts: 209000 | #Constraints: 11376
157.89/158.48 c #Conflicts: 210000 | #Constraints: 12376
157.89/158.48 c #Conflicts: 211000 | #Constraints: 13376
157.89/158.48 c #Conflicts: 212000 | #Constraints: 14376
157.89/158.48 c #Conflicts: 213000 | #Constraints: 15376
157.89/158.48 c #Conflicts: 214000 | #Constraints: 16376
157.89/158.48 c #Conflicts: 215000 | #Constraints: 17376
157.89/158.48 c #Conflicts: 216000 | #Constraints: 18376
157.89/158.48 c INPROCESSING
157.89/158.48 c GARBAGE COLLECT
157.89/158.48 c #Conflicts: 217000 | #Constraints: 10180
157.89/158.48 c #Conflicts: 218000 | #Constraints: 11180
157.89/158.48 c #Conflicts: 219000 | #Constraints: 12180
157.89/158.48 c #Conflicts: 220000 | #Constraints: 13180
157.89/158.48 c #Conflicts: 221000 | #Constraints: 14180
157.89/158.48 c #Conflicts: 222000 | #Constraints: 15180
157.89/158.48 c #Conflicts: 223000 | #Constraints: 16180
157.89/158.48 c #Conflicts: 224000 | #Constraints: 17180
157.89/158.48 c #Conflicts: 225000 | #Constraints: 18180
157.89/158.48 c #Conflicts: 226000 | #Constraints: 19180
157.89/158.48 c INPROCESSING
157.89/158.48 c GARBAGE COLLECT
157.89/158.48 c #Conflicts: 227000 | #Constraints: 10781
157.89/158.48 c GLOBAL bounds - >= 0 @ 156.529
236.14/236.91 c #Conflicts: 228000 | #Constraints: 11783
236.14/236.91 c #Conflicts: 229000 | #Constraints: 12783
236.14/236.91 c #Conflicts: 230000 | #Constraints: 13783
236.14/236.91 c #Conflicts: 231000 | #Constraints: 14783
236.14/236.91 c #Conflicts: 232000 | #Constraints: 15783
236.14/236.91 c #Conflicts: 233000 | #Constraints: 16783
236.14/236.91 c #Conflicts: 234000 | #Constraints: 17783
236.14/236.91 c #Conflicts: 235000 | #Constraints: 18783
236.14/236.91 c #Conflicts: 236000 | #Constraints: 19783
236.14/236.91 c INPROCESSING
236.14/236.91 c GARBAGE COLLECT
236.14/236.91 c #Conflicts: 237000 | #Constraints: 11176
236.14/236.91 c #Conflicts: 238000 | #Constraints: 12176
236.14/236.91 c #Conflicts: 239000 | #Constraints: 13176
236.14/236.91 c #Conflicts: 240000 | #Constraints: 14176
236.14/236.91 c #Conflicts: 241000 | #Constraints: 15176
236.14/236.91 c #Conflicts: 242000 | #Constraints: 16176
236.14/236.91 c #Conflicts: 243000 | #Constraints: 17176
236.14/236.91 c #Conflicts: 244000 | #Constraints: 18176
236.14/236.91 c #Conflicts: 245000 | #Constraints: 19176
236.14/236.91 c #Conflicts: 246000 | #Constraints: 20176
236.14/236.91 c INPROCESSING
236.14/236.91 c GARBAGE COLLECT
236.14/236.91 c #Conflicts: 247000 | #Constraints: 11377
236.14/236.91 c #Conflicts: 248000 | #Constraints: 12377
236.14/236.91 c #Conflicts: 249000 | #Constraints: 13377
236.14/236.91 c #Conflicts: 250000 | #Constraints: 14377
236.14/236.91 c #Conflicts: 251000 | #Constraints: 15377
236.14/236.91 c #Conflicts: 252000 | #Constraints: 16377
236.14/236.91 c #Conflicts: 253000 | #Constraints: 17377
236.14/236.91 c #Conflicts: 254000 | #Constraints: 18377
236.14/236.91 c #Conflicts: 255000 | #Constraints: 19377
236.14/236.91 c #Conflicts: 256000 | #Constraints: 20377
236.14/236.91 c INPROCESSING
236.14/236.91 c GARBAGE COLLECT
236.14/236.91 c #Conflicts: 257000 | #Constraints: 11378
236.14/236.91 c #Conflicts: 258000 | #Constraints: 12378
236.14/236.91 c #Conflicts: 259000 | #Constraints: 13378
236.14/236.91 c #Conflicts: 260000 | #Constraints: 14378
236.14/236.91 c #Conflicts: 261000 | #Constraints: 15378
236.14/236.91 c #Conflicts: 262000 | #Constraints: 16378
236.14/236.91 c #Conflicts: 263000 | #Constraints: 17378
236.14/236.91 c #Conflicts: 264000 | #Constraints: 18378
236.14/236.91 c #Conflicts: 265000 | #Constraints: 19378
236.14/236.91 c #Conflicts: 266000 | #Constraints: 20378
236.14/236.91 c INPROCESSING
236.14/236.91 c GARBAGE COLLECT
236.14/236.91 c #Conflicts: 267000 | #Constraints: 11182
236.14/236.91 c #Conflicts: 268000 | #Constraints: 12182
236.14/236.91 c #Conflicts: 269000 | #Constraints: 13182
236.14/236.91 c #Conflicts: 270000 | #Constraints: 14182
236.14/236.91 c #Conflicts: 271000 | #Constraints: 15182
236.14/236.91 c #Conflicts: 272000 | #Constraints: 16182
236.14/236.91 c #Conflicts: 273000 | #Constraints: 17182
236.14/236.91 c #Conflicts: 274000 | #Constraints: 18182
236.14/236.91 c #Conflicts: 275000 | #Constraints: 19182
236.14/236.91 c #Conflicts: 276000 | #Constraints: 20182
236.14/236.91 c #Conflicts: 277000 | #Constraints: 21182
236.14/236.91 c INPROCESSING
236.14/236.91 c GARBAGE COLLECT
236.14/236.91 c #Conflicts: 278000 | #Constraints: 11777
236.14/236.91 c #Conflicts: 279000 | #Constraints: 12777
236.14/236.91 c #Conflicts: 280000 | #Constraints: 13777
236.14/236.91 c #Conflicts: 281000 | #Constraints: 14777
236.14/236.91 c #Conflicts: 282000 | #Constraints: 15777
236.14/236.91 c #Conflicts: 283000 | #Constraints: 16777
236.14/236.91 c #Conflicts: 284000 | #Constraints: 17777
236.14/236.91 c #Conflicts: 285000 | #Constraints: 18777
236.14/236.91 c #Conflicts: 286000 | #Constraints: 19777
236.14/236.91 c #Conflicts: 287000 | #Constraints: 20777
236.14/236.91 c #Conflicts: 288000 | #Constraints: 21777
236.14/236.91 c INPROCESSING
236.14/236.91 c GARBAGE COLLECT
236.14/236.91 c #Conflicts: 289000 | #Constraints: 12180
236.14/236.91 c #Conflicts: 290000 | #Constraints: 13180
236.14/236.91 c #Conflicts: 291000 | #Constraints: 14180
236.14/236.91 c #Conflicts: 292000 | #Constraints: 15180
236.14/236.91 c #Conflicts: 293000 | #Constraints: 16180
236.14/236.91 c #Conflicts: 294000 | #Constraints: 17180
236.14/236.91 c #Conflicts: 295000 | #Constraints: 18180
236.14/236.91 c #Conflicts: 296000 | #Constraints: 19180
236.14/236.91 c #Conflicts: 297000 | #Constraints: 20180
236.14/236.91 c #Conflicts: 298000 | #Constraints: 21180
236.14/236.91 c #Conflicts: 299000 | #Constraints: 22180
236.14/236.91 c INPROCESSING
236.14/236.91 c GARBAGE COLLECT
236.14/236.91 c #Conflicts: 300000 | #Constraints: 12388
236.14/236.91 c #Conflicts: 301000 | #Constraints: 13388
236.14/236.91 c #Conflicts: 302000 | #Constraints: 14388
308.35/309.39 c #Conflicts: 303000 | #Constraints: 15388
308.35/309.39 c #Conflicts: 304000 | #Constraints: 16388
308.35/309.39 c #Conflicts: 305000 | #Constraints: 17388
308.35/309.39 c #Conflicts: 306000 | #Constraints: 18388
308.35/309.39 c #Conflicts: 307000 | #Constraints: 19388
308.35/309.39 c #Conflicts: 308000 | #Constraints: 20388
308.35/309.39 c #Conflicts: 309000 | #Constraints: 21388
308.35/309.39 c #Conflicts: 310000 | #Constraints: 22388
308.35/309.39 c INPROCESSING
308.35/309.39 c GARBAGE COLLECT
308.35/309.39 c #Conflicts: 311000 | #Constraints: 12383
308.35/309.39 c #Conflicts: 312000 | #Constraints: 13383
308.35/309.39 c #Conflicts: 313000 | #Constraints: 14383
308.35/309.39 c #Conflicts: 314000 | #Constraints: 15383
308.35/309.39 c #Conflicts: 315000 | #Constraints: 16383
308.35/309.39 c #Conflicts: 316000 | #Constraints: 17383
308.35/309.39 c #Conflicts: 317000 | #Constraints: 18383
308.35/309.39 c #Conflicts: 318000 | #Constraints: 19383
308.35/309.39 c #Conflicts: 319000 | #Constraints: 20383
308.35/309.39 c #Conflicts: 320000 | #Constraints: 21383
308.35/309.39 c #Conflicts: 321000 | #Constraints: 22383
308.35/309.39 c INPROCESSING
308.35/309.39 c GARBAGE COLLECT
308.35/309.39 c #Conflicts: 322000 | #Constraints: 12180
308.35/309.39 c #Conflicts: 323000 | #Constraints: 13180
308.35/309.39 c #Conflicts: 324000 | #Constraints: 14180
308.35/309.39 c #Conflicts: 325000 | #Constraints: 15180
308.35/309.39 c #Conflicts: 326000 | #Constraints: 16180
308.35/309.39 c #Conflicts: 327000 | #Constraints: 17180
308.35/309.39 c #Conflicts: 328000 | #Constraints: 18180
308.35/309.39 c #Conflicts: 329000 | #Constraints: 19180
308.35/309.39 c #Conflicts: 330000 | #Constraints: 20180
308.35/309.39 c #Conflicts: 331000 | #Constraints: 21180
308.35/309.39 c #Conflicts: 332000 | #Constraints: 22180
308.35/309.39 c #Conflicts: 333000 | #Constraints: 23180
308.35/309.39 c INPROCESSING
308.35/309.39 c GARBAGE COLLECT
308.35/309.39 c #Conflicts: 334000 | #Constraints: 12785
308.35/309.39 c #Conflicts: 335000 | #Constraints: 13785
308.35/309.39 c #Conflicts: 336000 | #Constraints: 14785
308.35/309.39 c #Conflicts: 337000 | #Constraints: 15785
308.35/309.39 c #Conflicts: 338000 | #Constraints: 16785
308.35/309.39 c #Conflicts: 339000 | #Constraints: 17785
308.35/309.39 c #Conflicts: 340000 | #Constraints: 18785
308.35/309.39 c #Conflicts: 341000 | #Constraints: 19785
308.35/309.39 c #Conflicts: 342000 | #Constraints: 20785
308.35/309.39 c #Conflicts: 343000 | #Constraints: 21785
308.35/309.39 c #Conflicts: 344000 | #Constraints: 22785
308.35/309.39 c #Conflicts: 345000 | #Constraints: 23785
308.35/309.39 c INPROCESSING
308.35/309.39 c GARBAGE COLLECT
308.35/309.39 c #Conflicts: 346000 | #Constraints: 13184
308.35/309.39 c #Conflicts: 347000 | #Constraints: 14184
308.35/309.39 c #Conflicts: 348000 | #Constraints: 15184
308.35/309.39 c #Conflicts: 349000 | #Constraints: 16184
308.35/309.39 c #Conflicts: 350000 | #Constraints: 17184
308.35/309.39 c #Conflicts: 351000 | #Constraints: 18184
308.35/309.39 c #Conflicts: 352000 | #Constraints: 19184
308.35/309.39 c #Conflicts: 353000 | #Constraints: 20184
308.35/309.39 c #Conflicts: 354000 | #Constraints: 21184
308.35/309.39 c #Conflicts: 355000 | #Constraints: 22184
308.35/309.39 c #Conflicts: 356000 | #Constraints: 23184
308.35/309.39 c #Conflicts: 357000 | #Constraints: 24184
308.35/309.39 c INPROCESSING
308.35/309.39 c GARBAGE COLLECT
308.35/309.39 c #Conflicts: 358000 | #Constraints: 13382
308.35/309.39 c #Conflicts: 359000 | #Constraints: 14382
308.35/309.39 c #Conflicts: 360000 | #Constraints: 15382
308.35/309.39 c #Conflicts: 361000 | #Constraints: 16382
308.35/309.39 c #Conflicts: 362000 | #Constraints: 17382
308.35/309.39 c #Conflicts: 363000 | #Constraints: 18382
308.35/309.39 c #Conflicts: 364000 | #Constraints: 19382
308.35/309.39 c #Conflicts: 365000 | #Constraints: 20382
308.35/309.39 c #Conflicts: 366000 | #Constraints: 21382
308.35/309.39 c #Conflicts: 367000 | #Constraints: 22382
308.35/309.39 c #Conflicts: 368000 | #Constraints: 23382
308.35/309.39 c #Conflicts: 369000 | #Constraints: 24382
308.35/309.39 c INPROCESSING
308.35/309.39 c GARBAGE COLLECT
308.35/309.39 c #Conflicts: 370000 | #Constraints: 13383
308.35/309.39 c #Conflicts: 371000 | #Constraints: 14383
308.35/309.39 c #Conflicts: 372000 | #Constraints: 15383
308.35/309.39 c #Conflicts: 373000 | #Constraints: 16383
308.35/309.39 c #Conflicts: 374000 | #Constraints: 17383
308.35/309.39 c #Conflicts: 375000 | #Constraints: 18383
308.35/309.39 c #Conflicts: 376000 | #Constraints: 19383
308.35/309.39 c #Conflicts: 377000 | #Constraints: 20383
388.94/390.16 c #Conflicts: 378000 | #Constraints: 21383
388.94/390.16 c #Conflicts: 379000 | #Constraints: 22383
388.94/390.16 c #Conflicts: 380000 | #Constraints: 23383
388.94/390.16 c #Conflicts: 381000 | #Constraints: 24383
388.94/390.16 c INPROCESSING
388.94/390.16 c GARBAGE COLLECT
388.94/390.16 c #Conflicts: 382000 | #Constraints: 13179
388.94/390.16 c #Conflicts: 383000 | #Constraints: 14179
388.94/390.16 c #Conflicts: 384000 | #Constraints: 15179
388.94/390.16 c #Conflicts: 385000 | #Constraints: 16179
388.94/390.16 c #Conflicts: 386000 | #Constraints: 17179
388.94/390.16 c #Conflicts: 387000 | #Constraints: 18179
388.94/390.16 c #Conflicts: 388000 | #Constraints: 19179
388.94/390.16 c #Conflicts: 389000 | #Constraints: 20179
388.94/390.16 c #Conflicts: 390000 | #Constraints: 21179
388.94/390.16 c #Conflicts: 391000 | #Constraints: 22179
388.94/390.16 c #Conflicts: 392000 | #Constraints: 23179
388.94/390.16 c #Conflicts: 393000 | #Constraints: 24179
388.94/390.16 c #Conflicts: 394000 | #Constraints: 25179
388.94/390.16 c INPROCESSING
388.94/390.16 c GARBAGE COLLECT
388.94/390.16 c #Conflicts: 395000 | #Constraints: 13783
388.94/390.16 c #Conflicts: 396000 | #Constraints: 14783
388.94/390.16 c #Conflicts: 397000 | #Constraints: 15783
388.94/390.16 c #Conflicts: 398000 | #Constraints: 16783
388.94/390.16 c #Conflicts: 399000 | #Constraints: 17783
388.94/390.16 c #Conflicts: 400000 | #Constraints: 18783
388.94/390.16 c #Conflicts: 401000 | #Constraints: 19783
388.94/390.16 c #Conflicts: 402000 | #Constraints: 20783
388.94/390.16 c #Conflicts: 403000 | #Constraints: 21783
388.94/390.16 c #Conflicts: 404000 | #Constraints: 22783
388.94/390.16 c #Conflicts: 405000 | #Constraints: 23783
388.94/390.16 c #Conflicts: 406000 | #Constraints: 24783
388.94/390.16 c #Conflicts: 407000 | #Constraints: 25783
388.94/390.16 c INPROCESSING
388.94/390.16 c GARBAGE COLLECT
388.94/390.16 c #Conflicts: 408000 | #Constraints: 14189
388.94/390.16 c #Conflicts: 409000 | #Constraints: 15189
388.94/390.16 c #Conflicts: 410000 | #Constraints: 16189
388.94/390.16 c #Conflicts: 411000 | #Constraints: 17189
388.94/390.16 c #Conflicts: 412000 | #Constraints: 18189
388.94/390.16 c #Conflicts: 413000 | #Constraints: 19189
388.94/390.16 c #Conflicts: 414000 | #Constraints: 20189
388.94/390.16 c #Conflicts: 415000 | #Constraints: 21189
388.94/390.16 c #Conflicts: 416000 | #Constraints: 22189
388.94/390.16 c #Conflicts: 417000 | #Constraints: 23189
388.94/390.16 c #Conflicts: 418000 | #Constraints: 24189
388.94/390.16 c #Conflicts: 419000 | #Constraints: 25189
388.94/390.16 c #Conflicts: 420000 | #Constraints: 26189
388.94/390.16 c INPROCESSING
388.94/390.16 c GARBAGE COLLECT
388.94/390.16 c #Conflicts: 421000 | #Constraints: 14386
388.94/390.16 c #Conflicts: 422000 | #Constraints: 15386
388.94/390.16 c #Conflicts: 423000 | #Constraints: 16386
388.94/390.16 c #Conflicts: 424000 | #Constraints: 17386
388.94/390.16 c #Conflicts: 425000 | #Constraints: 18386
388.94/390.16 c #Conflicts: 426000 | #Constraints: 19386
388.94/390.16 c #Conflicts: 427000 | #Constraints: 20386
388.94/390.16 c #Conflicts: 428000 | #Constraints: 21386
388.94/390.16 c #Conflicts: 429000 | #Constraints: 22386
388.94/390.16 c #Conflicts: 430000 | #Constraints: 23386
388.94/390.16 c #Conflicts: 431000 | #Constraints: 24386
388.94/390.16 c #Conflicts: 432000 | #Constraints: 25386
388.94/390.16 c #Conflicts: 433000 | #Constraints: 26386
388.94/390.16 c INPROCESSING
388.94/390.16 c GARBAGE COLLECT
388.94/390.16 c #Conflicts: 434000 | #Constraints: 14383
388.94/390.16 c #Conflicts: 435000 | #Constraints: 15383
388.94/390.16 c #Conflicts: 436000 | #Constraints: 16383
388.94/390.16 c #Conflicts: 437000 | #Constraints: 17383
388.94/390.16 c #Conflicts: 438000 | #Constraints: 18383
388.94/390.16 c #Conflicts: 439000 | #Constraints: 19383
388.94/390.16 c #Conflicts: 440000 | #Constraints: 20383
388.94/390.16 c #Conflicts: 441000 | #Constraints: 21383
388.94/390.16 c #Conflicts: 442000 | #Constraints: 22383
388.94/390.16 c #Conflicts: 443000 | #Constraints: 23383
388.94/390.16 c #Conflicts: 444000 | #Constraints: 24383
388.94/390.16 c #Conflicts: 445000 | #Constraints: 25383
388.94/390.16 c #Conflicts: 446000 | #Constraints: 26383
388.94/390.16 c INPROCESSING
388.94/390.16 c GARBAGE COLLECT
388.94/390.16 c #Conflicts: 447000 | #Constraints: 14184
388.94/390.16 c #Conflicts: 448000 | #Constraints: 15184
388.94/390.16 c #Conflicts: 449000 | #Constraints: 16184
388.94/390.16 c #Conflicts: 450000 | #Constraints: 17184
388.94/390.16 c #Conflicts: 451000 | #Constraints: 18184
388.94/390.16 c #Conflicts: 452000 | #Constraints: 19184
468.01/469.47 c #Conflicts: 453000 | #Constraints: 20184
468.01/469.47 c #Conflicts: 454000 | #Constraints: 21184
468.01/469.47 c #Conflicts: 455000 | #Constraints: 22184
468.01/469.47 c #Conflicts: 456000 | #Constraints: 23184
468.01/469.47 c #Conflicts: 457000 | #Constraints: 24184
468.01/469.47 c #Conflicts: 458000 | #Constraints: 25184
468.01/469.47 c #Conflicts: 459000 | #Constraints: 26184
468.01/469.47 c #Conflicts: 460000 | #Constraints: 27184
468.01/469.47 c INPROCESSING
468.01/469.47 c GARBAGE COLLECT
468.01/469.47 c #Conflicts: 461000 | #Constraints: 14785
468.01/469.47 c #Conflicts: 462000 | #Constraints: 15785
468.01/469.47 c #Conflicts: 463000 | #Constraints: 16785
468.01/469.47 c #Conflicts: 464000 | #Constraints: 17785
468.01/469.47 c #Conflicts: 465000 | #Constraints: 18785
468.01/469.47 c #Conflicts: 466000 | #Constraints: 19785
468.01/469.47 c #Conflicts: 467000 | #Constraints: 20785
468.01/469.47 c #Conflicts: 468000 | #Constraints: 21785
468.01/469.47 c #Conflicts: 469000 | #Constraints: 22785
468.01/469.47 c #Conflicts: 470000 | #Constraints: 23785
468.01/469.47 c #Conflicts: 471000 | #Constraints: 24785
468.01/469.47 c #Conflicts: 472000 | #Constraints: 25785
468.01/469.47 c #Conflicts: 473000 | #Constraints: 26785
468.01/469.47 c #Conflicts: 474000 | #Constraints: 27785
468.01/469.47 c INPROCESSING
468.01/469.47 c GARBAGE COLLECT
468.01/469.47 c #Conflicts: 475000 | #Constraints: 15184
468.01/469.47 c #Conflicts: 476000 | #Constraints: 16184
468.01/469.47 c #Conflicts: 477000 | #Constraints: 17184
468.01/469.47 c #Conflicts: 478000 | #Constraints: 18184
468.01/469.47 c #Conflicts: 479000 | #Constraints: 19184
468.01/469.47 c #Conflicts: 480000 | #Constraints: 20184
468.01/469.47 c #Conflicts: 481000 | #Constraints: 21184
468.01/469.47 c #Conflicts: 482000 | #Constraints: 22184
468.01/469.47 c #Conflicts: 483000 | #Constraints: 23184
468.01/469.47 c #Conflicts: 484000 | #Constraints: 24184
468.01/469.47 c #Conflicts: 485000 | #Constraints: 25184
468.01/469.47 c #Conflicts: 486000 | #Constraints: 26184
468.01/469.47 c #Conflicts: 487000 | #Constraints: 27184
468.01/469.47 c #Conflicts: 488000 | #Constraints: 28184
468.01/469.47 c INPROCESSING
468.01/469.47 c GARBAGE COLLECT
468.01/469.47 c #Conflicts: 489000 | #Constraints: 15383
468.01/469.47 c #Conflicts: 490000 | #Constraints: 16383
468.01/469.47 c #Conflicts: 491000 | #Constraints: 17383
468.01/469.47 c #Conflicts: 492000 | #Constraints: 18383
468.01/469.47 c #Conflicts: 493000 | #Constraints: 19383
468.01/469.47 c #Conflicts: 494000 | #Constraints: 20383
468.01/469.47 c #Conflicts: 495000 | #Constraints: 21383
468.01/469.47 c #Conflicts: 496000 | #Constraints: 22383
468.01/469.47 c #Conflicts: 497000 | #Constraints: 23383
468.01/469.47 c #Conflicts: 498000 | #Constraints: 24383
468.01/469.47 c #Conflicts: 499000 | #Constraints: 25383
468.01/469.47 c #Conflicts: 500000 | #Constraints: 26383
468.01/469.47 c #Conflicts: 501000 | #Constraints: 27383
468.01/469.47 c #Conflicts: 502000 | #Constraints: 28383
468.01/469.47 c INPROCESSING
468.01/469.47 c GARBAGE COLLECT
468.01/469.47 c #Conflicts: 503000 | #Constraints: 15385
468.01/469.47 c #Conflicts: 504000 | #Constraints: 16385
468.01/469.47 c #Conflicts: 505000 | #Constraints: 17385
468.01/469.47 c #Conflicts: 506000 | #Constraints: 18385
468.01/469.47 c #Conflicts: 507000 | #Constraints: 19385
468.01/469.47 c #Conflicts: 508000 | #Constraints: 20385
468.01/469.47 c #Conflicts: 509000 | #Constraints: 21385
468.01/469.47 c #Conflicts: 510000 | #Constraints: 22385
468.01/469.47 c #Conflicts: 511000 | #Constraints: 23385
468.01/469.47 c #Conflicts: 512000 | #Constraints: 24385
468.01/469.47 c #Conflicts: 513000 | #Constraints: 25385
468.01/469.47 c #Conflicts: 514000 | #Constraints: 26385
468.01/469.47 c #Conflicts: 515000 | #Constraints: 27385
468.01/469.47 c #Conflicts: 516000 | #Constraints: 28385
468.01/469.47 c INPROCESSING
468.01/469.47 c GARBAGE COLLECT
468.01/469.47 c #Conflicts: 517000 | #Constraints: 15184
468.01/469.47 c #Conflicts: 518000 | #Constraints: 16184
468.01/469.47 c #Conflicts: 519000 | #Constraints: 17184
468.01/469.47 c #Conflicts: 520000 | #Constraints: 18184
468.01/469.47 c #Conflicts: 521000 | #Constraints: 19184
468.01/469.47 c #Conflicts: 522000 | #Constraints: 20184
468.01/469.47 c #Conflicts: 523000 | #Constraints: 21184
468.01/469.47 c #Conflicts: 524000 | #Constraints: 22184
468.01/469.47 c #Conflicts: 525000 | #Constraints: 23184
468.01/469.47 c #Conflicts: 526000 | #Constraints: 24184
468.01/469.47 c #Conflicts: 527000 | #Constraints: 25184
569.22/570.94 c #Conflicts: 528000 | #Constraints: 26184
569.22/570.94 c #Conflicts: 529000 | #Constraints: 27184
569.22/570.94 c #Conflicts: 530000 | #Constraints: 28184
569.22/570.94 c #Conflicts: 531000 | #Constraints: 29184
569.22/570.94 c INPROCESSING
569.22/570.94 c GARBAGE COLLECT
569.22/570.94 c #Conflicts: 532000 | #Constraints: 15785
569.22/570.94 c #Conflicts: 533000 | #Constraints: 16785
569.22/570.94 c #Conflicts: 534000 | #Constraints: 17785
569.22/570.94 c #Conflicts: 535000 | #Constraints: 18785
569.22/570.94 c #Conflicts: 536000 | #Constraints: 19785
569.22/570.94 c #Conflicts: 537000 | #Constraints: 20785
569.22/570.94 c #Conflicts: 538000 | #Constraints: 21785
569.22/570.94 c #Conflicts: 539000 | #Constraints: 22785
569.22/570.94 c #Conflicts: 540000 | #Constraints: 23785
569.22/570.94 c #Conflicts: 541000 | #Constraints: 24785
569.22/570.94 c #Conflicts: 542000 | #Constraints: 25785
569.22/570.94 c #Conflicts: 543000 | #Constraints: 26785
569.22/570.94 c #Conflicts: 544000 | #Constraints: 27785
569.22/570.94 c #Conflicts: 545000 | #Constraints: 28785
569.22/570.94 c #Conflicts: 546000 | #Constraints: 29785
569.22/570.94 c INPROCESSING
569.22/570.94 c GARBAGE COLLECT
569.22/570.94 c #Conflicts: 547000 | #Constraints: 16198
569.22/570.94 c #Conflicts: 548000 | #Constraints: 17198
569.22/570.94 c #Conflicts: 549000 | #Constraints: 18198
569.22/570.94 c #Conflicts: 550000 | #Constraints: 19198
569.22/570.94 c #Conflicts: 551000 | #Constraints: 20198
569.22/570.94 c #Conflicts: 552000 | #Constraints: 21198
569.22/570.94 c #Conflicts: 553000 | #Constraints: 22198
569.22/570.94 c #Conflicts: 554000 | #Constraints: 23198
569.22/570.94 c #Conflicts: 555000 | #Constraints: 24198
569.22/570.94 c #Conflicts: 556000 | #Constraints: 25198
569.22/570.94 c #Conflicts: 557000 | #Constraints: 26198
569.22/570.94 c #Conflicts: 558000 | #Constraints: 27198
569.22/570.94 c #Conflicts: 559000 | #Constraints: 28198
569.22/570.94 c #Conflicts: 560000 | #Constraints: 29198
569.22/570.94 c #Conflicts: 561000 | #Constraints: 30198
569.22/570.94 c INPROCESSING
569.22/570.94 c GARBAGE COLLECT
569.22/570.94 c #Conflicts: 562000 | #Constraints: 16395
569.22/570.94 c #Conflicts: 563000 | #Constraints: 17395
569.22/570.94 c #Conflicts: 564000 | #Constraints: 18395
569.22/570.94 c #Conflicts: 565000 | #Constraints: 19395
569.22/570.94 c #Conflicts: 566000 | #Constraints: 20395
569.22/570.94 c #Conflicts: 567000 | #Constraints: 21395
569.22/570.94 c #Conflicts: 568000 | #Constraints: 22395
569.22/570.94 c #Conflicts: 569000 | #Constraints: 23395
569.22/570.94 c #Conflicts: 570000 | #Constraints: 24395
569.22/570.94 c #Conflicts: 571000 | #Constraints: 25395
569.22/570.94 c #Conflicts: 572000 | #Constraints: 26395
569.22/570.94 c #Conflicts: 573000 | #Constraints: 27395
569.22/570.94 c #Conflicts: 574000 | #Constraints: 28395
569.22/570.94 c #Conflicts: 575000 | #Constraints: 29395
569.22/570.94 c #Conflicts: 576000 | #Constraints: 30395
569.22/570.94 c INPROCESSING
569.22/570.94 c GARBAGE COLLECT
569.22/570.94 c #Conflicts: 577000 | #Constraints: 16390
569.22/570.94 c #Conflicts: 578000 | #Constraints: 17390
569.22/570.94 c #Conflicts: 579000 | #Constraints: 18390
569.22/570.94 c #Conflicts: 580000 | #Constraints: 19390
569.22/570.94 c #Conflicts: 581000 | #Constraints: 20390
569.22/570.94 c #Conflicts: 582000 | #Constraints: 21390
569.22/570.94 c #Conflicts: 583000 | #Constraints: 22390
569.22/570.94 c #Conflicts: 584000 | #Constraints: 23390
569.22/570.94 c #Conflicts: 585000 | #Constraints: 24390
569.22/570.94 c #Conflicts: 586000 | #Constraints: 25390
569.22/570.94 c #Conflicts: 587000 | #Constraints: 26390
569.22/570.94 c #Conflicts: 588000 | #Constraints: 27390
569.22/570.94 c #Conflicts: 589000 | #Constraints: 28390
569.22/570.94 c #Conflicts: 590000 | #Constraints: 29390
569.22/570.94 c #Conflicts: 591000 | #Constraints: 30390
569.22/570.94 c INPROCESSING
569.22/570.94 c GARBAGE COLLECT
569.22/570.94 c #Conflicts: 592000 | #Constraints: 16194
569.22/570.94 c #Conflicts: 593000 | #Constraints: 17194
569.22/570.94 c #Conflicts: 594000 | #Constraints: 18194
569.22/570.94 c #Conflicts: 595000 | #Constraints: 19194
569.22/570.94 c #Conflicts: 596000 | #Constraints: 20194
569.22/570.94 c #Conflicts: 597000 | #Constraints: 21194
569.22/570.94 c #Conflicts: 598000 | #Constraints: 22194
569.22/570.94 c #Conflicts: 599000 | #Constraints: 23194
569.22/570.94 c #Conflicts: 600000 | #Constraints: 24194
569.22/570.94 c #Conflicts: 601000 | #Constraints: 25194
569.22/570.94 c #Conflicts: 602000 | #Constraints: 26194
569.22/570.94 c #Conflicts: 603000 | #Constraints: 27194
669.14/671.18 c #Conflicts: 604000 | #Constraints: 28194
669.14/671.18 c #Conflicts: 605000 | #Constraints: 29194
669.14/671.18 c #Conflicts: 606000 | #Constraints: 30194
669.14/671.18 c #Conflicts: 607000 | #Constraints: 31194
669.14/671.18 c INPROCESSING
669.14/671.18 c GARBAGE COLLECT
669.14/671.18 c #Conflicts: 608000 | #Constraints: 16787
669.14/671.18 c #Conflicts: 609000 | #Constraints: 17787
669.14/671.18 c #Conflicts: 610000 | #Constraints: 18787
669.14/671.18 c #Conflicts: 611000 | #Constraints: 19787
669.14/671.18 c #Conflicts: 612000 | #Constraints: 20787
669.14/671.18 c #Conflicts: 613000 | #Constraints: 21787
669.14/671.18 c #Conflicts: 614000 | #Constraints: 22787
669.14/671.18 c #Conflicts: 615000 | #Constraints: 23787
669.14/671.18 c #Conflicts: 616000 | #Constraints: 24787
669.14/671.18 c #Conflicts: 617000 | #Constraints: 25787
669.14/671.18 c #Conflicts: 618000 | #Constraints: 26787
669.14/671.18 c #Conflicts: 619000 | #Constraints: 27787
669.14/671.18 c #Conflicts: 620000 | #Constraints: 28787
669.14/671.18 c #Conflicts: 621000 | #Constraints: 29787
669.14/671.18 c #Conflicts: 622000 | #Constraints: 30787
669.14/671.18 c #Conflicts: 623000 | #Constraints: 31787
669.14/671.18 c INPROCESSING
669.14/671.18 c GARBAGE COLLECT
669.14/671.18 c #Conflicts: 624000 | #Constraints: 17193
669.14/671.18 c #Conflicts: 625000 | #Constraints: 18193
669.14/671.18 c #Conflicts: 626000 | #Constraints: 19193
669.14/671.18 c #Conflicts: 627000 | #Constraints: 20193
669.14/671.18 c #Conflicts: 628000 | #Constraints: 21193
669.14/671.18 c #Conflicts: 629000 | #Constraints: 22193
669.14/671.18 c #Conflicts: 630000 | #Constraints: 23193
669.14/671.18 c #Conflicts: 631000 | #Constraints: 24193
669.14/671.18 c #Conflicts: 632000 | #Constraints: 25193
669.14/671.18 c #Conflicts: 633000 | #Constraints: 26193
669.14/671.18 c #Conflicts: 634000 | #Constraints: 27193
669.14/671.18 c #Conflicts: 635000 | #Constraints: 28193
669.14/671.18 c #Conflicts: 636000 | #Constraints: 29193
669.14/671.18 c #Conflicts: 637000 | #Constraints: 30193
669.14/671.18 c #Conflicts: 638000 | #Constraints: 31193
669.14/671.18 c #Conflicts: 639000 | #Constraints: 32193
669.14/671.18 c INPROCESSING
669.14/671.18 c GARBAGE COLLECT
669.14/671.18 c #Conflicts: 640000 | #Constraints: 17392
669.14/671.18 c #Conflicts: 641000 | #Constraints: 18392
669.14/671.18 c #Conflicts: 642000 | #Constraints: 19392
669.14/671.18 c #Conflicts: 643000 | #Constraints: 20392
669.14/671.18 c #Conflicts: 644000 | #Constraints: 21392
669.14/671.18 c #Conflicts: 645000 | #Constraints: 22392
669.14/671.18 c #Conflicts: 646000 | #Constraints: 23392
669.14/671.18 c #Conflicts: 647000 | #Constraints: 24392
669.14/671.18 c #Conflicts: 648000 | #Constraints: 25392
669.14/671.18 c #Conflicts: 649000 | #Constraints: 26392
669.14/671.18 c #Conflicts: 650000 | #Constraints: 27392
669.14/671.18 c #Conflicts: 651000 | #Constraints: 28392
669.14/671.18 c #Conflicts: 652000 | #Constraints: 29392
669.14/671.18 c #Conflicts: 653000 | #Constraints: 30392
669.14/671.18 c #Conflicts: 654000 | #Constraints: 31392
669.14/671.18 c #Conflicts: 655000 | #Constraints: 32392
669.14/671.18 c INPROCESSING
669.14/671.18 c GARBAGE COLLECT
669.14/671.18 c #Conflicts: 656000 | #Constraints: 17394
669.14/671.18 c #Conflicts: 657000 | #Constraints: 18394
669.14/671.18 c #Conflicts: 658000 | #Constraints: 19394
669.14/671.18 c #Conflicts: 659000 | #Constraints: 20394
669.14/671.18 c #Conflicts: 660000 | #Constraints: 21394
669.14/671.18 c #Conflicts: 661000 | #Constraints: 22394
669.14/671.18 c #Conflicts: 662000 | #Constraints: 23394
669.14/671.18 c #Conflicts: 663000 | #Constraints: 24394
669.14/671.18 c #Conflicts: 664000 | #Constraints: 25394
669.14/671.18 c #Conflicts: 665000 | #Constraints: 26394
669.14/671.18 c #Conflicts: 666000 | #Constraints: 27394
669.14/671.18 c #Conflicts: 667000 | #Constraints: 28394
669.14/671.18 c #Conflicts: 668000 | #Constraints: 29394
669.14/671.18 c #Conflicts: 669000 | #Constraints: 30394
669.14/671.18 c #Conflicts: 670000 | #Constraints: 31394
669.14/671.18 c #Conflicts: 671000 | #Constraints: 32394
669.14/671.18 c INPROCESSING
669.14/671.18 c GARBAGE COLLECT
669.14/671.18 c #Conflicts: 672000 | #Constraints: 17189
669.14/671.18 c #Conflicts: 673000 | #Constraints: 18189
669.14/671.18 c #Conflicts: 674000 | #Constraints: 19189
669.14/671.18 c #Conflicts: 675000 | #Constraints: 20189
669.14/671.18 c #Conflicts: 676000 | #Constraints: 21189
669.14/671.18 c #Conflicts: 677000 | #Constraints: 22189
669.14/671.18 c #Conflicts: 678000 | #Constraints: 23189
669.14/671.18 c #Conflicts: 679000 | #Constraints: 24189
782.60/784.94 c #Conflicts: 680000 | #Constraints: 25189
782.60/784.94 c #Conflicts: 681000 | #Constraints: 26189
782.60/784.94 c #Conflicts: 682000 | #Constraints: 27189
782.60/784.94 c #Conflicts: 683000 | #Constraints: 28189
782.60/784.94 c #Conflicts: 684000 | #Constraints: 29189
782.60/784.94 c #Conflicts: 685000 | #Constraints: 30189
782.60/784.94 c #Conflicts: 686000 | #Constraints: 31189
782.60/784.94 c #Conflicts: 687000 | #Constraints: 32189
782.60/784.94 c #Conflicts: 688000 | #Constraints: 33189
782.60/784.94 c INPROCESSING
782.60/784.94 c GARBAGE COLLECT
782.60/784.94 c #Conflicts: 689000 | #Constraints: 17793
782.60/784.94 c #Conflicts: 690000 | #Constraints: 18793
782.60/784.94 c #Conflicts: 691000 | #Constraints: 19793
782.60/784.94 c #Conflicts: 692000 | #Constraints: 20793
782.60/784.94 c #Conflicts: 693000 | #Constraints: 21793
782.60/784.94 c #Conflicts: 694000 | #Constraints: 22793
782.60/784.94 c #Conflicts: 695000 | #Constraints: 23793
782.60/784.94 c #Conflicts: 696000 | #Constraints: 24793
782.60/784.94 c #Conflicts: 697000 | #Constraints: 25793
782.60/784.94 c #Conflicts: 698000 | #Constraints: 26793
782.60/784.94 c #Conflicts: 699000 | #Constraints: 27793
782.60/784.94 c #Conflicts: 700000 | #Constraints: 28793
782.60/784.94 c #Conflicts: 701000 | #Constraints: 29793
782.60/784.94 c #Conflicts: 702000 | #Constraints: 30793
782.60/784.94 c #Conflicts: 703000 | #Constraints: 31793
782.60/784.94 c #Conflicts: 704000 | #Constraints: 32793
782.60/784.94 c #Conflicts: 705000 | #Constraints: 33793
782.60/784.94 c INPROCESSING
782.60/784.94 c GARBAGE COLLECT
782.60/784.94 c #Conflicts: 706000 | #Constraints: 18185
782.60/784.94 c #Conflicts: 707000 | #Constraints: 19185
782.60/784.94 c #Conflicts: 708000 | #Constraints: 20185
782.60/784.94 c #Conflicts: 709000 | #Constraints: 21185
782.60/784.94 c #Conflicts: 710000 | #Constraints: 22185
782.60/784.94 c #Conflicts: 711000 | #Constraints: 23185
782.60/784.94 c #Conflicts: 712000 | #Constraints: 24185
782.60/784.94 c #Conflicts: 713000 | #Constraints: 25185
782.60/784.94 c #Conflicts: 714000 | #Constraints: 26185
782.60/784.94 c #Conflicts: 715000 | #Constraints: 27185
782.60/784.94 c #Conflicts: 716000 | #Constraints: 28185
782.60/784.94 c #Conflicts: 717000 | #Constraints: 29185
782.60/784.94 c #Conflicts: 718000 | #Constraints: 30185
782.60/784.94 c #Conflicts: 719000 | #Constraints: 31185
782.60/784.94 c #Conflicts: 720000 | #Constraints: 32185
782.60/784.94 c #Conflicts: 721000 | #Constraints: 33185
782.60/784.94 c #Conflicts: 722000 | #Constraints: 34185
782.60/784.94 c INPROCESSING
782.60/784.94 c GARBAGE COLLECT
782.60/784.94 c #Conflicts: 723000 | #Constraints: 18387
782.60/784.94 c #Conflicts: 724000 | #Constraints: 19387
782.60/784.94 c #Conflicts: 725000 | #Constraints: 20387
782.60/784.94 c #Conflicts: 726000 | #Constraints: 21387
782.60/784.94 c #Conflicts: 727000 | #Constraints: 22387
782.60/784.94 c #Conflicts: 728000 | #Constraints: 23387
782.60/784.94 c #Conflicts: 729000 | #Constraints: 24387
782.60/784.94 c #Conflicts: 730000 | #Constraints: 25387
782.60/784.94 c #Conflicts: 731000 | #Constraints: 26387
782.60/784.94 c #Conflicts: 732000 | #Constraints: 27387
782.60/784.94 c #Conflicts: 733000 | #Constraints: 28387
782.60/784.94 c #Conflicts: 734000 | #Constraints: 29387
782.60/784.94 c #Conflicts: 735000 | #Constraints: 30387
782.60/784.94 c #Conflicts: 736000 | #Constraints: 31387
782.60/784.94 c #Conflicts: 737000 | #Constraints: 32387
782.60/784.94 c #Conflicts: 738000 | #Constraints: 33387
782.60/784.94 c #Conflicts: 739000 | #Constraints: 34387
782.60/784.94 c INPROCESSING
782.60/784.94 c GARBAGE COLLECT
782.60/784.94 c #Conflicts: 740000 | #Constraints: 18393
782.60/784.94 c #Conflicts: 741000 | #Constraints: 19393
782.60/784.94 c #Conflicts: 742000 | #Constraints: 20393
782.60/784.94 c #Conflicts: 743000 | #Constraints: 21393
782.60/784.94 c #Conflicts: 744000 | #Constraints: 22393
782.60/784.94 c #Conflicts: 745000 | #Constraints: 23393
782.60/784.94 c #Conflicts: 746000 | #Constraints: 24393
782.60/784.94 c #Conflicts: 747000 | #Constraints: 25393
782.60/784.94 c #Conflicts: 748000 | #Constraints: 26393
782.60/784.94 c #Conflicts: 749000 | #Constraints: 27393
782.60/784.94 c #Conflicts: 750000 | #Constraints: 28393
782.60/784.94 c #Conflicts: 751000 | #Constraints: 29393
782.60/784.94 c #Conflicts: 752000 | #Constraints: 30393
782.60/784.94 c #Conflicts: 753000 | #Constraints: 31393
782.60/784.94 c #Conflicts: 754000 | #Constraints: 32393
782.60/784.94 c #Conflicts: 755000 | #Constraints: 33393
895.97/898.65 c #Conflicts: 756000 | #Constraints: 34393
895.97/898.65 c INPROCESSING
895.97/898.65 c GARBAGE COLLECT
895.97/898.65 c #Conflicts: 757000 | #Constraints: 18189
895.97/898.65 c #Conflicts: 758000 | #Constraints: 19189
895.97/898.65 c #Conflicts: 759000 | #Constraints: 20189
895.97/898.65 c #Conflicts: 760000 | #Constraints: 21189
895.97/898.65 c #Conflicts: 761000 | #Constraints: 22189
895.97/898.65 c #Conflicts: 762000 | #Constraints: 23189
895.97/898.65 c #Conflicts: 763000 | #Constraints: 24189
895.97/898.65 c #Conflicts: 764000 | #Constraints: 25189
895.97/898.65 c #Conflicts: 765000 | #Constraints: 26189
895.97/898.65 c #Conflicts: 766000 | #Constraints: 27189
895.97/898.65 c #Conflicts: 767000 | #Constraints: 28189
895.97/898.65 c #Conflicts: 768000 | #Constraints: 29189
895.97/898.65 c #Conflicts: 769000 | #Constraints: 30189
895.97/898.65 c #Conflicts: 770000 | #Constraints: 31189
895.97/898.65 c #Conflicts: 771000 | #Constraints: 32189
895.97/898.65 c #Conflicts: 772000 | #Constraints: 33189
895.97/898.65 c #Conflicts: 773000 | #Constraints: 34189
895.97/898.65 c #Conflicts: 774000 | #Constraints: 35189
895.97/898.65 c INPROCESSING
895.97/898.65 c GARBAGE COLLECT
895.97/898.65 c #Conflicts: 775000 | #Constraints: 18792
895.97/898.65 c #Conflicts: 776000 | #Constraints: 19792
895.97/898.65 c #Conflicts: 777000 | #Constraints: 20792
895.97/898.65 c #Conflicts: 778000 | #Constraints: 21792
895.97/898.65 c #Conflicts: 779000 | #Constraints: 22792
895.97/898.65 c #Conflicts: 780000 | #Constraints: 23792
895.97/898.65 c #Conflicts: 781000 | #Constraints: 24792
895.97/898.65 c #Conflicts: 782000 | #Constraints: 25792
895.97/898.65 c #Conflicts: 783000 | #Constraints: 26792
895.97/898.65 c #Conflicts: 784000 | #Constraints: 27792
895.97/898.65 c #Conflicts: 785000 | #Constraints: 28792
895.97/898.65 c #Conflicts: 786000 | #Constraints: 29792
895.97/898.65 c #Conflicts: 787000 | #Constraints: 30792
895.97/898.65 c #Conflicts: 788000 | #Constraints: 31792
895.97/898.65 c #Conflicts: 789000 | #Constraints: 32792
895.97/898.65 c #Conflicts: 790000 | #Constraints: 33792
895.97/898.65 c #Conflicts: 791000 | #Constraints: 34792
895.97/898.65 c #Conflicts: 792000 | #Constraints: 35792
895.97/898.65 c INPROCESSING
895.97/898.65 c GARBAGE COLLECT
895.97/898.65 c #Conflicts: 793000 | #Constraints: 19186
895.97/898.65 c #Conflicts: 794000 | #Constraints: 20186
895.97/898.65 c #Conflicts: 795000 | #Constraints: 21186
895.97/898.65 c #Conflicts: 796000 | #Constraints: 22186
895.97/898.65 c #Conflicts: 797000 | #Constraints: 23186
895.97/898.65 c #Conflicts: 798000 | #Constraints: 24186
895.97/898.65 c #Conflicts: 799000 | #Constraints: 25186
895.97/898.65 c #Conflicts: 800000 | #Constraints: 26186
895.97/898.65 c #Conflicts: 801000 | #Constraints: 27186
895.97/898.65 c #Conflicts: 802000 | #Constraints: 28186
895.97/898.65 c #Conflicts: 803000 | #Constraints: 29186
895.97/898.65 c #Conflicts: 804000 | #Constraints: 30186
895.97/898.65 c #Conflicts: 805000 | #Constraints: 31186
895.97/898.65 c #Conflicts: 806000 | #Constraints: 32186
895.97/898.65 c #Conflicts: 807000 | #Constraints: 33186
895.97/898.65 c #Conflicts: 808000 | #Constraints: 34186
895.97/898.65 c #Conflicts: 809000 | #Constraints: 35186
895.97/898.65 c #Conflicts: 810000 | #Constraints: 36186
895.97/898.65 c INPROCESSING
895.97/898.65 c GARBAGE COLLECT
895.97/898.65 c #Conflicts: 811000 | #Constraints: 19393
895.97/898.65 c #Conflicts: 812000 | #Constraints: 20393
895.97/898.65 c #Conflicts: 813000 | #Constraints: 21393
895.97/898.65 c #Conflicts: 814000 | #Constraints: 22393
895.97/898.65 c #Conflicts: 815000 | #Constraints: 23393
895.97/898.65 c #Conflicts: 816000 | #Constraints: 24393
895.97/898.65 c #Conflicts: 817000 | #Constraints: 25393
895.97/898.65 c #Conflicts: 818000 | #Constraints: 26393
895.97/898.65 c #Conflicts: 819000 | #Constraints: 27393
895.97/898.65 c #Conflicts: 820000 | #Constraints: 28393
895.97/898.65 c #Conflicts: 821000 | #Constraints: 29393
895.97/898.65 c #Conflicts: 822000 | #Constraints: 30393
895.97/898.65 c #Conflicts: 823000 | #Constraints: 31393
895.97/898.65 c #Conflicts: 824000 | #Constraints: 32393
895.97/898.65 c #Conflicts: 825000 | #Constraints: 33393
895.97/898.65 c #Conflicts: 826000 | #Constraints: 34393
895.97/898.65 c #Conflicts: 827000 | #Constraints: 35393
895.97/898.65 c #Conflicts: 828000 | #Constraints: 36393
895.97/898.65 c INPROCESSING
895.97/898.65 c GARBAGE COLLECT
895.97/898.65 c #Conflicts: 829000 | #Constraints: 19387
895.97/898.65 c #Conflicts: 830000 | #Constraints: 20387
1001.65/1004.66 c #Conflicts: 831000 | #Constraints: 21387
1001.65/1004.66 c #Conflicts: 832000 | #Constraints: 22387
1001.65/1004.66 c #Conflicts: 833000 | #Constraints: 23387
1001.65/1004.66 c #Conflicts: 834000 | #Constraints: 24387
1001.65/1004.66 c #Conflicts: 835000 | #Constraints: 25387
1001.65/1004.66 c #Conflicts: 836000 | #Constraints: 26387
1001.65/1004.66 c #Conflicts: 837000 | #Constraints: 27387
1001.65/1004.66 c #Conflicts: 838000 | #Constraints: 28387
1001.65/1004.66 c #Conflicts: 839000 | #Constraints: 29387
1001.65/1004.66 c #Conflicts: 840000 | #Constraints: 30387
1001.65/1004.66 c #Conflicts: 841000 | #Constraints: 31387
1001.65/1004.66 c #Conflicts: 842000 | #Constraints: 32387
1001.65/1004.66 c #Conflicts: 843000 | #Constraints: 33387
1001.65/1004.66 c #Conflicts: 844000 | #Constraints: 34387
1001.65/1004.66 c #Conflicts: 845000 | #Constraints: 35387
1001.65/1004.66 c #Conflicts: 846000 | #Constraints: 36387
1001.65/1004.66 c INPROCESSING
1001.65/1004.66 c GARBAGE COLLECT
1001.65/1004.66 c #Conflicts: 847000 | #Constraints: 19190
1001.65/1004.66 c #Conflicts: 848000 | #Constraints: 20190
1001.65/1004.66 c #Conflicts: 849000 | #Constraints: 21190
1001.65/1004.66 c #Conflicts: 850000 | #Constraints: 22190
1001.65/1004.66 c #Conflicts: 851000 | #Constraints: 23190
1001.65/1004.66 c #Conflicts: 852000 | #Constraints: 24190
1001.65/1004.66 c #Conflicts: 853000 | #Constraints: 25190
1001.65/1004.66 c #Conflicts: 854000 | #Constraints: 26190
1001.65/1004.66 c #Conflicts: 855000 | #Constraints: 27190
1001.65/1004.66 c #Conflicts: 856000 | #Constraints: 28190
1001.65/1004.66 c #Conflicts: 857000 | #Constraints: 29190
1001.65/1004.66 c #Conflicts: 858000 | #Constraints: 30190
1001.65/1004.66 c #Conflicts: 859000 | #Constraints: 31190
1001.65/1004.66 c #Conflicts: 860000 | #Constraints: 32190
1001.65/1004.66 c #Conflicts: 861000 | #Constraints: 33190
1001.65/1004.66 c #Conflicts: 862000 | #Constraints: 34190
1001.65/1004.66 c #Conflicts: 863000 | #Constraints: 35190
1001.65/1004.66 c #Conflicts: 864000 | #Constraints: 36190
1001.65/1004.66 c #Conflicts: 865000 | #Constraints: 37190
1001.65/1004.66 c INPROCESSING
1001.65/1004.66 c GARBAGE COLLECT
1001.65/1004.66 c #Conflicts: 866000 | #Constraints: 19794
1001.65/1004.66 c #Conflicts: 867000 | #Constraints: 20794
1001.65/1004.66 c #Conflicts: 868000 | #Constraints: 21794
1001.65/1004.66 c #Conflicts: 869000 | #Constraints: 22794
1001.65/1004.66 c #Conflicts: 870000 | #Constraints: 23794
1001.65/1004.66 c #Conflicts: 871000 | #Constraints: 24794
1001.65/1004.66 c #Conflicts: 872000 | #Constraints: 25794
1001.65/1004.66 c #Conflicts: 873000 | #Constraints: 26794
1001.65/1004.66 c #Conflicts: 874000 | #Constraints: 27794
1001.65/1004.66 c #Conflicts: 875000 | #Constraints: 28794
1001.65/1004.66 c #Conflicts: 876000 | #Constraints: 29794
1001.65/1004.66 c #Conflicts: 877000 | #Constraints: 30794
1001.65/1004.66 c #Conflicts: 878000 | #Constraints: 31794
1001.65/1004.66 c #Conflicts: 879000 | #Constraints: 32794
1001.65/1004.66 c #Conflicts: 880000 | #Constraints: 33794
1001.65/1004.66 c #Conflicts: 881000 | #Constraints: 34794
1001.65/1004.66 c #Conflicts: 882000 | #Constraints: 35794
1001.65/1004.66 c #Conflicts: 883000 | #Constraints: 36794
1001.65/1004.66 c #Conflicts: 884000 | #Constraints: 37794
1001.65/1004.66 c INPROCESSING
1001.65/1004.66 c GARBAGE COLLECT
1001.65/1004.66 c #Conflicts: 885000 | #Constraints: 20194
1001.65/1004.66 c #Conflicts: 886000 | #Constraints: 21194
1001.65/1004.66 c #Conflicts: 887000 | #Constraints: 22194
1001.65/1004.66 c #Conflicts: 888000 | #Constraints: 23194
1001.65/1004.66 c #Conflicts: 889000 | #Constraints: 24194
1001.65/1004.66 c #Conflicts: 890000 | #Constraints: 25194
1001.65/1004.66 c #Conflicts: 891000 | #Constraints: 26194
1001.65/1004.66 c #Conflicts: 892000 | #Constraints: 27194
1001.65/1004.66 c #Conflicts: 893000 | #Constraints: 28194
1001.65/1004.66 c #Conflicts: 894000 | #Constraints: 29194
1001.65/1004.66 c #Conflicts: 895000 | #Constraints: 30194
1001.65/1004.66 c #Conflicts: 896000 | #Constraints: 31194
1001.65/1004.66 c #Conflicts: 897000 | #Constraints: 32194
1001.65/1004.66 c #Conflicts: 898000 | #Constraints: 33194
1001.65/1004.66 c #Conflicts: 899000 | #Constraints: 34194
1001.65/1004.66 c #Conflicts: 900000 | #Constraints: 35194
1001.65/1004.66 c #Conflicts: 901000 | #Constraints: 36194
1001.65/1004.66 c #Conflicts: 902000 | #Constraints: 37194
1001.65/1004.66 c #Conflicts: 903000 | #Constraints: 38194
1001.65/1004.66 c INPROCESSING
1001.65/1004.66 c GARBAGE COLLECT
1001.65/1004.66 c #Conflicts: 904000 | #Constraints: 20399
1001.65/1004.66 c #Conflicts: 905000 | #Constraints: 21399
1001.65/1004.66 c #Conflicts: 906000 | #Constraints: 22399
1001.65/1004.66 c #Conflicts: 907000 | #Constraints: 23399
1100.58/1103.82 c #Conflicts: 908000 | #Constraints: 24399
1100.58/1103.82 c #Conflicts: 909000 | #Constraints: 25399
1100.58/1103.82 c #Conflicts: 910000 | #Constraints: 26399
1100.58/1103.82 c #Conflicts: 911000 | #Constraints: 27399
1100.58/1103.82 c #Conflicts: 912000 | #Constraints: 28399
1100.58/1103.82 c #Conflicts: 913000 | #Constraints: 29399
1100.58/1103.82 c #Conflicts: 914000 | #Constraints: 30399
1100.58/1103.82 c #Conflicts: 915000 | #Constraints: 31399
1100.58/1103.82 c #Conflicts: 916000 | #Constraints: 32399
1100.58/1103.82 c #Conflicts: 917000 | #Constraints: 33399
1100.58/1103.82 c #Conflicts: 918000 | #Constraints: 34399
1100.58/1103.82 c #Conflicts: 919000 | #Constraints: 35399
1100.58/1103.82 c #Conflicts: 920000 | #Constraints: 36399
1100.58/1103.82 c #Conflicts: 921000 | #Constraints: 37399
1100.58/1103.82 c #Conflicts: 922000 | #Constraints: 38399
1100.58/1103.82 c INPROCESSING
1100.58/1103.82 c GARBAGE COLLECT
1100.58/1103.82 c #Conflicts: 923000 | #Constraints: 20393
1100.58/1103.82 c #Conflicts: 924000 | #Constraints: 21393
1100.58/1103.82 c #Conflicts: 925000 | #Constraints: 22393
1100.58/1103.82 c #Conflicts: 926000 | #Constraints: 23393
1100.58/1103.82 c #Conflicts: 927000 | #Constraints: 24393
1100.58/1103.82 c #Conflicts: 928000 | #Constraints: 25393
1100.58/1103.82 c #Conflicts: 929000 | #Constraints: 26393
1100.58/1103.82 c #Conflicts: 930000 | #Constraints: 27393
1100.58/1103.82 c #Conflicts: 931000 | #Constraints: 28393
1100.58/1103.82 c #Conflicts: 932000 | #Constraints: 29393
1100.58/1103.82 c #Conflicts: 933000 | #Constraints: 30393
1100.58/1103.82 c #Conflicts: 934000 | #Constraints: 31393
1100.58/1103.82 c #Conflicts: 935000 | #Constraints: 32393
1100.58/1103.82 c #Conflicts: 936000 | #Constraints: 33393
1100.58/1103.82 c #Conflicts: 937000 | #Constraints: 34393
1100.58/1103.82 c #Conflicts: 938000 | #Constraints: 35393
1100.58/1103.82 c #Conflicts: 939000 | #Constraints: 36393
1100.58/1103.82 c #Conflicts: 940000 | #Constraints: 37393
1100.58/1103.82 c #Conflicts: 941000 | #Constraints: 38393
1100.58/1103.82 c INPROCESSING
1100.58/1103.82 c GARBAGE COLLECT
1100.58/1103.82 c #Conflicts: 942000 | #Constraints: 20195
1100.58/1103.82 c #Conflicts: 943000 | #Constraints: 21195
1100.58/1103.82 c #Conflicts: 944000 | #Constraints: 22195
1100.58/1103.82 c #Conflicts: 945000 | #Constraints: 23195
1100.58/1103.82 c #Conflicts: 946000 | #Constraints: 24195
1100.58/1103.82 c #Conflicts: 947000 | #Constraints: 25195
1100.58/1103.82 c #Conflicts: 948000 | #Constraints: 26195
1100.58/1103.82 c #Conflicts: 949000 | #Constraints: 27195
1100.58/1103.82 c #Conflicts: 950000 | #Constraints: 28195
1100.58/1103.82 c #Conflicts: 951000 | #Constraints: 29195
1100.58/1103.82 c #Conflicts: 952000 | #Constraints: 30195
1100.58/1103.82 c #Conflicts: 953000 | #Constraints: 31195
1100.58/1103.82 c #Conflicts: 954000 | #Constraints: 32195
1100.58/1103.82 c #Conflicts: 955000 | #Constraints: 33195
1100.58/1103.82 c #Conflicts: 956000 | #Constraints: 34195
1100.58/1103.82 c #Conflicts: 957000 | #Constraints: 35195
1100.58/1103.82 c #Conflicts: 958000 | #Constraints: 36195
1100.58/1103.82 c #Conflicts: 959000 | #Constraints: 37195
1100.58/1103.82 c #Conflicts: 960000 | #Constraints: 38195
1100.58/1103.82 c #Conflicts: 961000 | #Constraints: 39195
1100.58/1103.82 c INPROCESSING
1100.58/1103.82 c GARBAGE COLLECT
1100.58/1103.82 c #Conflicts: 962000 | #Constraints: 20789
1100.58/1103.82 c #Conflicts: 963000 | #Constraints: 21789
1100.58/1103.82 c #Conflicts: 964000 | #Constraints: 22789
1100.58/1103.82 c #Conflicts: 965000 | #Constraints: 23789
1100.58/1103.82 c #Conflicts: 966000 | #Constraints: 24789
1100.58/1103.82 c #Conflicts: 967000 | #Constraints: 25789
1100.58/1103.82 c #Conflicts: 968000 | #Constraints: 26789
1100.58/1103.82 c #Conflicts: 969000 | #Constraints: 27789
1100.58/1103.82 c #Conflicts: 970000 | #Constraints: 28789
1100.58/1103.82 c #Conflicts: 971000 | #Constraints: 29789
1100.58/1103.82 c #Conflicts: 972000 | #Constraints: 30789
1100.58/1103.82 c #Conflicts: 973000 | #Constraints: 31789
1100.58/1103.82 c #Conflicts: 974000 | #Constraints: 32789
1100.58/1103.82 c #Conflicts: 975000 | #Constraints: 33789
1100.58/1103.82 c #Conflicts: 976000 | #Constraints: 34789
1100.58/1103.82 c #Conflicts: 977000 | #Constraints: 35789
1100.58/1103.82 c #Conflicts: 978000 | #Constraints: 36789
1100.58/1103.82 c #Conflicts: 979000 | #Constraints: 37789
1100.58/1103.82 c #Conflicts: 980000 | #Constraints: 38789
1100.58/1103.82 c #Conflicts: 981000 | #Constraints: 39789
1100.58/1103.82 c INPROCESSING
1100.58/1103.82 c GARBAGE COLLECT
1100.58/1103.82 c #Conflicts: 982000 | #Constraints: 21203
1100.58/1103.82 c #Conflicts: 983000 | #Constraints: 22203
1195.42/1198.98 c #Conflicts: 984000 | #Constraints: 23203
1195.42/1198.98 c #Conflicts: 985000 | #Constraints: 24203
1195.42/1198.98 c #Conflicts: 986000 | #Constraints: 25203
1195.42/1198.98 c #Conflicts: 987000 | #Constraints: 26203
1195.42/1198.98 c #Conflicts: 988000 | #Constraints: 27203
1195.42/1198.98 c #Conflicts: 989000 | #Constraints: 28203
1195.42/1198.98 c #Conflicts: 990000 | #Constraints: 29203
1195.42/1198.98 c #Conflicts: 991000 | #Constraints: 30203
1195.42/1198.98 c #Conflicts: 992000 | #Constraints: 31203
1195.42/1198.98 c #Conflicts: 993000 | #Constraints: 32203
1195.42/1198.98 c #Conflicts: 994000 | #Constraints: 33203
1195.42/1198.98 c #Conflicts: 995000 | #Constraints: 34203
1195.42/1198.98 c #Conflicts: 996000 | #Constraints: 35203
1195.42/1198.98 c #Conflicts: 997000 | #Constraints: 36203
1195.42/1198.98 c #Conflicts: 998000 | #Constraints: 37203
1195.42/1198.98 c #Conflicts: 999000 | #Constraints: 38203
1195.42/1198.98 c #Conflicts: 1000000 | #Constraints: 39203
1195.42/1198.98 c #Conflicts: 1001000 | #Constraints: 40203
1195.42/1198.98 c INPROCESSING
1195.42/1198.98 c GARBAGE COLLECT
1195.42/1198.98 c #Conflicts: 1002000 | #Constraints: 21400
1195.42/1198.98 c #Conflicts: 1003000 | #Constraints: 22400
1195.42/1198.98 c #Conflicts: 1004000 | #Constraints: 23400
1195.42/1198.98 c #Conflicts: 1005000 | #Constraints: 24400
1195.42/1198.98 c #Conflicts: 1006000 | #Constraints: 25400
1195.42/1198.98 c #Conflicts: 1007000 | #Constraints: 26400
1195.42/1198.98 c #Conflicts: 1008000 | #Constraints: 27400
1195.42/1198.98 c #Conflicts: 1009000 | #Constraints: 28400
1195.42/1198.98 c #Conflicts: 1010000 | #Constraints: 29400
1195.42/1198.98 c #Conflicts: 1011000 | #Constraints: 30400
1195.42/1198.98 c #Conflicts: 1012000 | #Constraints: 31400
1195.42/1198.98 c #Conflicts: 1013000 | #Constraints: 32400
1195.42/1198.98 c #Conflicts: 1014000 | #Constraints: 33400
1195.42/1198.98 c #Conflicts: 1015000 | #Constraints: 34400
1195.42/1198.98 c #Conflicts: 1016000 | #Constraints: 35400
1195.42/1198.98 c #Conflicts: 1017000 | #Constraints: 36400
1195.42/1198.98 c #Conflicts: 1018000 | #Constraints: 37400
1195.42/1198.98 c #Conflicts: 1019000 | #Constraints: 38400
1195.42/1198.98 c #Conflicts: 1020000 | #Constraints: 39400
1195.42/1198.98 c #Conflicts: 1021000 | #Constraints: 40400
1195.42/1198.98 c INPROCESSING
1195.42/1198.98 c GARBAGE COLLECT
1195.42/1198.98 c #Conflicts: 1022000 | #Constraints: 21396
1195.42/1198.98 c #Conflicts: 1023000 | #Constraints: 22396
1195.42/1198.98 c #Conflicts: 1024000 | #Constraints: 23396
1195.42/1198.98 c #Conflicts: 1025000 | #Constraints: 24396
1195.42/1198.98 c #Conflicts: 1026000 | #Constraints: 25396
1195.42/1198.98 c #Conflicts: 1027000 | #Constraints: 26396
1195.42/1198.98 c #Conflicts: 1028000 | #Constraints: 27396
1195.42/1198.98 c #Conflicts: 1029000 | #Constraints: 28396
1195.42/1198.98 c #Conflicts: 1030000 | #Constraints: 29396
1195.42/1198.98 c #Conflicts: 1031000 | #Constraints: 30396
1195.42/1198.98 c #Conflicts: 1032000 | #Constraints: 31396
1195.42/1198.98 c #Conflicts: 1033000 | #Constraints: 32396
1195.42/1198.98 c #Conflicts: 1034000 | #Constraints: 33396
1195.42/1198.98 c #Conflicts: 1035000 | #Constraints: 34396
1195.42/1198.98 c #Conflicts: 1036000 | #Constraints: 35396
1195.42/1198.98 c #Conflicts: 1037000 | #Constraints: 36396
1195.42/1198.98 c #Conflicts: 1038000 | #Constraints: 37396
1195.42/1198.98 c #Conflicts: 1039000 | #Constraints: 38396
1195.42/1198.98 c #Conflicts: 1040000 | #Constraints: 39396
1195.42/1198.98 c #Conflicts: 1041000 | #Constraints: 40396
1195.42/1198.98 c INPROCESSING
1195.42/1198.98 c GARBAGE COLLECT
1195.42/1198.98 c #Conflicts: 1042000 | #Constraints: 21192
1195.42/1198.98 c #Conflicts: 1043000 | #Constraints: 22192
1195.42/1198.98 c #Conflicts: 1044000 | #Constraints: 23192
1195.42/1198.98 c #Conflicts: 1045000 | #Constraints: 24192
1195.42/1198.98 c #Conflicts: 1046000 | #Constraints: 25192
1195.42/1198.98 c #Conflicts: 1047000 | #Constraints: 26192
1195.42/1198.98 c #Conflicts: 1048000 | #Constraints: 27192
1195.42/1198.98 c #Conflicts: 1049000 | #Constraints: 28192
1195.42/1198.98 c #Conflicts: 1050000 | #Constraints: 29192
1195.42/1198.98 c #Conflicts: 1051000 | #Constraints: 30192
1195.42/1198.98 c #Conflicts: 1052000 | #Constraints: 31192
1195.42/1198.98 c #Conflicts: 1053000 | #Constraints: 32192
1195.42/1198.98 c #Conflicts: 1054000 | #Constraints: 33192
1195.42/1198.98 c #Conflicts: 1055000 | #Constraints: 34192
1195.42/1198.98 c #Conflicts: 1056000 | #Constraints: 35192
1195.42/1198.98 c #Conflicts: 1057000 | #Constraints: 36192
1195.42/1198.98 c #Conflicts: 1058000 | #Constraints: 37192
1195.42/1198.98 c #Conflicts: 1059000 | #Constraints: 38192
1195.42/1198.98 c #Conflicts: 1060000 | #Constraints: 39192
1315.18/1319.01 c #Conflicts: 1061000 | #Constraints: 40192
1315.18/1319.01 c #Conflicts: 1062000 | #Constraints: 41192
1315.18/1319.01 c INPROCESSING
1315.18/1319.01 c GARBAGE COLLECT
1315.18/1319.01 c #Conflicts: 1063000 | #Constraints: 21792
1315.18/1319.01 c #Conflicts: 1064000 | #Constraints: 22792
1315.18/1319.01 c #Conflicts: 1065000 | #Constraints: 23792
1315.18/1319.01 c #Conflicts: 1066000 | #Constraints: 24792
1315.18/1319.01 c #Conflicts: 1067000 | #Constraints: 25792
1315.18/1319.01 c #Conflicts: 1068000 | #Constraints: 26792
1315.18/1319.01 c #Conflicts: 1069000 | #Constraints: 27792
1315.18/1319.01 c #Conflicts: 1070000 | #Constraints: 28792
1315.18/1319.01 c #Conflicts: 1071000 | #Constraints: 29792
1315.18/1319.01 c #Conflicts: 1072000 | #Constraints: 30792
1315.18/1319.01 c #Conflicts: 1073000 | #Constraints: 31792
1315.18/1319.01 c #Conflicts: 1074000 | #Constraints: 32792
1315.18/1319.01 c #Conflicts: 1075000 | #Constraints: 33792
1315.18/1319.01 c #Conflicts: 1076000 | #Constraints: 34792
1315.18/1319.01 c #Conflicts: 1077000 | #Constraints: 35792
1315.18/1319.01 c #Conflicts: 1078000 | #Constraints: 36792
1315.18/1319.01 c #Conflicts: 1079000 | #Constraints: 37792
1315.18/1319.01 c #Conflicts: 1080000 | #Constraints: 38792
1315.18/1319.01 c #Conflicts: 1081000 | #Constraints: 39792
1315.18/1319.01 c #Conflicts: 1082000 | #Constraints: 40792
1315.18/1319.01 c #Conflicts: 1083000 | #Constraints: 41792
1315.18/1319.01 c INPROCESSING
1315.18/1319.01 c GARBAGE COLLECT
1315.18/1319.01 c #Conflicts: 1084000 | #Constraints: 22190
1315.18/1319.01 c #Conflicts: 1085000 | #Constraints: 23190
1315.18/1319.01 c #Conflicts: 1086000 | #Constraints: 24190
1315.18/1319.01 c #Conflicts: 1087000 | #Constraints: 25190
1315.18/1319.01 c #Conflicts: 1088000 | #Constraints: 26190
1315.18/1319.01 c #Conflicts: 1089000 | #Constraints: 27190
1315.18/1319.01 c #Conflicts: 1090000 | #Constraints: 28190
1315.18/1319.01 c #Conflicts: 1091000 | #Constraints: 29190
1315.18/1319.01 c #Conflicts: 1092000 | #Constraints: 30190
1315.18/1319.01 c #Conflicts: 1093000 | #Constraints: 31190
1315.18/1319.01 c #Conflicts: 1094000 | #Constraints: 32190
1315.18/1319.01 c #Conflicts: 1095000 | #Constraints: 33190
1315.18/1319.01 c #Conflicts: 1096000 | #Constraints: 34190
1315.18/1319.01 c #Conflicts: 1097000 | #Constraints: 35190
1315.18/1319.01 c #Conflicts: 1098000 | #Constraints: 36190
1315.18/1319.01 c #Conflicts: 1099000 | #Constraints: 37190
1315.18/1319.01 c #Conflicts: 1100000 | #Constraints: 38190
1315.18/1319.01 c #Conflicts: 1101000 | #Constraints: 39190
1315.18/1319.01 c #Conflicts: 1102000 | #Constraints: 40190
1315.18/1319.01 c #Conflicts: 1103000 | #Constraints: 41190
1315.18/1319.01 c #Conflicts: 1104000 | #Constraints: 42190
1315.18/1319.01 c INPROCESSING
1315.18/1319.01 c GARBAGE COLLECT
1315.18/1319.01 c #Conflicts: 1105000 | #Constraints: 22387
1315.18/1319.01 c #Conflicts: 1106000 | #Constraints: 23387
1315.18/1319.01 c #Conflicts: 1107000 | #Constraints: 24387
1315.18/1319.01 c #Conflicts: 1108000 | #Constraints: 25387
1315.18/1319.01 c #Conflicts: 1109000 | #Constraints: 26387
1315.18/1319.01 c #Conflicts: 1110000 | #Constraints: 27387
1315.18/1319.01 c #Conflicts: 1111000 | #Constraints: 28387
1315.18/1319.01 c #Conflicts: 1112000 | #Constraints: 29387
1315.18/1319.01 c #Conflicts: 1113000 | #Constraints: 30387
1315.18/1319.01 c #Conflicts: 1114000 | #Constraints: 31387
1315.18/1319.01 c #Conflicts: 1115000 | #Constraints: 32387
1315.18/1319.01 c #Conflicts: 1116000 | #Constraints: 33387
1315.18/1319.01 c #Conflicts: 1117000 | #Constraints: 34387
1315.18/1319.01 c #Conflicts: 1118000 | #Constraints: 35387
1315.18/1319.01 c #Conflicts: 1119000 | #Constraints: 36387
1315.18/1319.01 c #Conflicts: 1120000 | #Constraints: 37387
1315.18/1319.01 c #Conflicts: 1121000 | #Constraints: 38387
1315.18/1319.01 c #Conflicts: 1122000 | #Constraints: 39387
1315.18/1319.01 c #Conflicts: 1123000 | #Constraints: 40387
1315.18/1319.01 c #Conflicts: 1124000 | #Constraints: 41387
1315.18/1319.01 c #Conflicts: 1125000 | #Constraints: 42387
1315.18/1319.01 c INPROCESSING
1315.18/1319.01 c GARBAGE COLLECT
1315.18/1319.01 c #Conflicts: 1126000 | #Constraints: 22389
1315.18/1319.01 c #Conflicts: 1127000 | #Constraints: 23389
1315.18/1319.01 c #Conflicts: 1128000 | #Constraints: 24389
1315.18/1319.01 c #Conflicts: 1129000 | #Constraints: 25389
1315.18/1319.01 c #Conflicts: 1130000 | #Constraints: 26389
1315.18/1319.01 c #Conflicts: 1131000 | #Constraints: 27389
1315.18/1319.01 c #Conflicts: 1132000 | #Constraints: 28389
1315.18/1319.01 c #Conflicts: 1133000 | #Constraints: 29389
1315.18/1319.01 c #Conflicts: 1134000 | #Constraints: 30389
1315.18/1319.01 c #Conflicts: 1135000 | #Constraints: 31389
1315.18/1319.01 c #Conflicts: 1136000 | #Constraints: 32389
1444.62/1448.88 c #Conflicts: 1137000 | #Constraints: 33389
1444.62/1448.88 c #Conflicts: 1138000 | #Constraints: 34389
1444.62/1448.88 c #Conflicts: 1139000 | #Constraints: 35389
1444.62/1448.88 c #Conflicts: 1140000 | #Constraints: 36389
1444.62/1448.88 c #Conflicts: 1141000 | #Constraints: 37389
1444.62/1448.88 c #Conflicts: 1142000 | #Constraints: 38389
1444.62/1448.88 c #Conflicts: 1143000 | #Constraints: 39389
1444.62/1448.88 c #Conflicts: 1144000 | #Constraints: 40389
1444.62/1448.88 c #Conflicts: 1145000 | #Constraints: 41389
1444.62/1448.88 c #Conflicts: 1146000 | #Constraints: 42389
1444.62/1448.88 c INPROCESSING
1444.62/1448.88 c GARBAGE COLLECT
1444.62/1448.88 c #Conflicts: 1147000 | #Constraints: 22190
1444.62/1448.88 c #Conflicts: 1148000 | #Constraints: 23190
1444.62/1448.88 c #Conflicts: 1149000 | #Constraints: 24190
1444.62/1448.88 c #Conflicts: 1150000 | #Constraints: 25190
1444.62/1448.88 c #Conflicts: 1151000 | #Constraints: 26190
1444.62/1448.88 c #Conflicts: 1152000 | #Constraints: 27190
1444.62/1448.88 c #Conflicts: 1153000 | #Constraints: 28190
1444.62/1448.88 c #Conflicts: 1154000 | #Constraints: 29190
1444.62/1448.88 c #Conflicts: 1155000 | #Constraints: 30190
1444.62/1448.88 c #Conflicts: 1156000 | #Constraints: 31190
1444.62/1448.88 c #Conflicts: 1157000 | #Constraints: 32190
1444.62/1448.88 c #Conflicts: 1158000 | #Constraints: 33190
1444.62/1448.88 c #Conflicts: 1159000 | #Constraints: 34190
1444.62/1448.88 c #Conflicts: 1160000 | #Constraints: 35190
1444.62/1448.88 c #Conflicts: 1161000 | #Constraints: 36190
1444.62/1448.88 c #Conflicts: 1162000 | #Constraints: 37190
1444.62/1448.88 c #Conflicts: 1163000 | #Constraints: 38190
1444.62/1448.88 c #Conflicts: 1164000 | #Constraints: 39190
1444.62/1448.88 c #Conflicts: 1165000 | #Constraints: 40190
1444.62/1448.88 c #Conflicts: 1166000 | #Constraints: 41190
1444.62/1448.88 c #Conflicts: 1167000 | #Constraints: 42190
1444.62/1448.88 c #Conflicts: 1168000 | #Constraints: 43190
1444.62/1448.88 c INPROCESSING
1444.62/1448.88 c GARBAGE COLLECT
1444.62/1448.88 c #Conflicts: 1169000 | #Constraints: 22791
1444.62/1448.88 c #Conflicts: 1170000 | #Constraints: 23791
1444.62/1448.88 c #Conflicts: 1171000 | #Constraints: 24791
1444.62/1448.88 c #Conflicts: 1172000 | #Constraints: 25791
1444.62/1448.88 c #Conflicts: 1173000 | #Constraints: 26791
1444.62/1448.88 c #Conflicts: 1174000 | #Constraints: 27791
1444.62/1448.88 c #Conflicts: 1175000 | #Constraints: 28791
1444.62/1448.88 c #Conflicts: 1176000 | #Constraints: 29791
1444.62/1448.88 c #Conflicts: 1177000 | #Constraints: 30791
1444.62/1448.88 c #Conflicts: 1178000 | #Constraints: 31791
1444.62/1448.88 c #Conflicts: 1179000 | #Constraints: 32791
1444.62/1448.88 c #Conflicts: 1180000 | #Constraints: 33791
1444.62/1448.88 c #Conflicts: 1181000 | #Constraints: 34791
1444.62/1448.88 c #Conflicts: 1182000 | #Constraints: 35791
1444.62/1448.88 c #Conflicts: 1183000 | #Constraints: 36791
1444.62/1448.88 c #Conflicts: 1184000 | #Constraints: 37791
1444.62/1448.88 c #Conflicts: 1185000 | #Constraints: 38791
1444.62/1448.88 c #Conflicts: 1186000 | #Constraints: 39791
1444.62/1448.88 c #Conflicts: 1187000 | #Constraints: 40791
1444.62/1448.88 c #Conflicts: 1188000 | #Constraints: 41791
1444.62/1448.88 c #Conflicts: 1189000 | #Constraints: 42791
1444.62/1448.88 c #Conflicts: 1190000 | #Constraints: 43791
1444.62/1448.88 c INPROCESSING
1444.62/1448.88 c GARBAGE COLLECT
1444.62/1448.88 c #Conflicts: 1191000 | #Constraints: 23182
1444.62/1448.88 c #Conflicts: 1192000 | #Constraints: 24182
1444.62/1448.88 c #Conflicts: 1193000 | #Constraints: 25182
1444.62/1448.88 c #Conflicts: 1194000 | #Constraints: 26182
1444.62/1448.88 c #Conflicts: 1195000 | #Constraints: 27182
1444.62/1448.88 c #Conflicts: 1196000 | #Constraints: 28182
1444.62/1448.88 c #Conflicts: 1197000 | #Constraints: 29182
1444.62/1448.88 c #Conflicts: 1198000 | #Constraints: 30182
1444.62/1448.88 c #Conflicts: 1199000 | #Constraints: 31182
1444.62/1448.88 c #Conflicts: 1200000 | #Constraints: 32182
1444.62/1448.88 c #Conflicts: 1201000 | #Constraints: 33182
1444.62/1448.88 c #Conflicts: 1202000 | #Constraints: 34182
1444.62/1448.88 c #Conflicts: 1203000 | #Constraints: 35182
1444.62/1448.88 c #Conflicts: 1204000 | #Constraints: 36182
1444.62/1448.88 c #Conflicts: 1205000 | #Constraints: 37182
1444.62/1448.88 c #Conflicts: 1206000 | #Constraints: 38182
1444.62/1448.88 c #Conflicts: 1207000 | #Constraints: 39182
1444.62/1448.88 c #Conflicts: 1208000 | #Constraints: 40182
1444.62/1448.88 c #Conflicts: 1209000 | #Constraints: 41182
1444.62/1448.88 c #Conflicts: 1210000 | #Constraints: 42182
1444.62/1448.88 c #Conflicts: 1211000 | #Constraints: 43182
1444.62/1448.88 c #Conflicts: 1212000 | #Constraints: 44182
1444.62/1448.88 c INPROCESSING
1502.96/1507.34 c GARBAGE COLLECT
1502.96/1507.34 c #Conflicts: 1213000 | #Constraints: 23393
1502.96/1507.34 c #Conflicts: 1214000 | #Constraints: 24393
1502.96/1507.34 c #Conflicts: 1215000 | #Constraints: 25393
1502.96/1507.34 c #Conflicts: 1216000 | #Constraints: 26393
1502.96/1507.34 c #Conflicts: 1217000 | #Constraints: 27393
1502.96/1507.34 c #Conflicts: 1218000 | #Constraints: 28393
1502.96/1507.34 c #Conflicts: 1219000 | #Constraints: 29393
1502.96/1507.34 c #Conflicts: 1220000 | #Constraints: 30393
1502.96/1507.34 c #Conflicts: 1221000 | #Constraints: 31393
1502.96/1507.34 c #Conflicts: 1222000 | #Constraints: 32393
1502.96/1507.34 c #Conflicts: 1223000 | #Constraints: 33393
1502.96/1507.34 c #Conflicts: 1224000 | #Constraints: 34393
1502.96/1507.34 c #Conflicts: 1225000 | #Constraints: 35393
1502.96/1507.34 c #Conflicts: 1226000 | #Constraints: 36393
1502.96/1507.34 c #Conflicts: 1227000 | #Constraints: 37393
1502.96/1507.34 c #Conflicts: 1228000 | #Constraints: 38393
1502.96/1507.34 c #Conflicts: 1229000 | #Constraints: 39393
1502.96/1507.34 c #Conflicts: 1230000 | #Constraints: 40393
1502.96/1507.34 c #Conflicts: 1231000 | #Constraints: 41393
1502.96/1507.34 c #Conflicts: 1232000 | #Constraints: 42393
1502.96/1507.34 c #Conflicts: 1233000 | #Constraints: 43393
1502.96/1507.34 c #Conflicts: 1234000 | #Constraints: 44393
1502.96/1507.34 c INPROCESSING
1502.96/1507.34 c GARBAGE COLLECT
1502.96/1507.34 c #Conflicts: 1235000 | #Constraints: 23386
1502.96/1507.34 c #Conflicts: 1236000 | #Constraints: 24386
1502.96/1507.34 c #Conflicts: 1237000 | #Constraints: 25386
1502.96/1507.34 c #Conflicts: 1238000 | #Constraints: 26386
1502.96/1507.34 c #Conflicts: 1239000 | #Constraints: 27386
1502.96/1507.34 c #Conflicts: 1240000 | #Constraints: 28386
1502.96/1507.34 c #Conflicts: 1241000 | #Constraints: 29386
1502.96/1507.34 c #Conflicts: 1242000 | #Constraints: 30386
1502.96/1507.34 c #Conflicts: 1243000 | #Constraints: 31386
1502.96/1507.34 c #Conflicts: 1244000 | #Constraints: 32386
1502.96/1507.34 c #Conflicts: 1245000 | #Constraints: 33386
1502.96/1507.34 c GLOBAL bounds - >= 0 @ 1496.35
1665.20/1670.06 c #Conflicts: 1246000 | #Constraints: 34388
1665.20/1670.06 c #Conflicts: 1247000 | #Constraints: 35388
1665.20/1670.06 c #Conflicts: 1248000 | #Constraints: 36388
1665.20/1670.06 c #Conflicts: 1249000 | #Constraints: 37388
1665.20/1670.06 c #Conflicts: 1250000 | #Constraints: 38388
1665.20/1670.06 c #Conflicts: 1251000 | #Constraints: 39388
1665.20/1670.06 c #Conflicts: 1252000 | #Constraints: 40388
1665.20/1670.06 c #Conflicts: 1253000 | #Constraints: 41388
1665.20/1670.06 c #Conflicts: 1254000 | #Constraints: 42388
1665.20/1670.06 c #Conflicts: 1255000 | #Constraints: 43388
1665.20/1670.06 c #Conflicts: 1256000 | #Constraints: 44388
1665.20/1670.06 c INPROCESSING
1665.20/1670.06 c GARBAGE COLLECT
1665.20/1670.06 c #Conflicts: 1257000 | #Constraints: 23185
1665.20/1670.06 c #Conflicts: 1258000 | #Constraints: 24185
1665.20/1670.06 c #Conflicts: 1259000 | #Constraints: 25185
1665.20/1670.06 c #Conflicts: 1260000 | #Constraints: 26185
1665.20/1670.06 c #Conflicts: 1261000 | #Constraints: 27185
1665.20/1670.06 c #Conflicts: 1262000 | #Constraints: 28185
1665.20/1670.06 c #Conflicts: 1263000 | #Constraints: 29185
1665.20/1670.06 c #Conflicts: 1264000 | #Constraints: 30185
1665.20/1670.06 c #Conflicts: 1265000 | #Constraints: 31185
1665.20/1670.06 c #Conflicts: 1266000 | #Constraints: 32185
1665.20/1670.06 c #Conflicts: 1267000 | #Constraints: 33185
1665.20/1670.06 c #Conflicts: 1268000 | #Constraints: 34185
1665.20/1670.06 c #Conflicts: 1269000 | #Constraints: 35185
1665.20/1670.06 c #Conflicts: 1270000 | #Constraints: 36185
1665.20/1670.06 c #Conflicts: 1271000 | #Constraints: 37185
1665.20/1670.06 c #Conflicts: 1272000 | #Constraints: 38185
1665.20/1670.06 c #Conflicts: 1273000 | #Constraints: 39185
1665.20/1670.06 c #Conflicts: 1274000 | #Constraints: 40185
1665.20/1670.06 c #Conflicts: 1275000 | #Constraints: 41185
1665.20/1670.06 c #Conflicts: 1276000 | #Constraints: 42185
1665.20/1670.06 c #Conflicts: 1277000 | #Constraints: 43185
1665.20/1670.06 c #Conflicts: 1278000 | #Constraints: 44185
1665.20/1670.06 c #Conflicts: 1279000 | #Constraints: 45185
1665.20/1670.06 c INPROCESSING
1665.20/1670.06 c GARBAGE COLLECT
1665.20/1670.06 c #Conflicts: 1280000 | #Constraints: 23782
1665.20/1670.06 c #Conflicts: 1281000 | #Constraints: 24782
1665.20/1670.06 c #Conflicts: 1282000 | #Constraints: 25782
1665.20/1670.06 c #Conflicts: 1283000 | #Constraints: 26782
1665.20/1670.06 c #Conflicts: 1284000 | #Constraints: 27782
1665.20/1670.06 c #Conflicts: 1285000 | #Constraints: 28782
1665.20/1670.06 c #Conflicts: 1286000 | #Constraints: 29782
1665.20/1670.06 c #Conflicts: 1287000 | #Constraints: 30782
1665.20/1670.06 c #Conflicts: 1288000 | #Constraints: 31782
1665.20/1670.06 c #Conflicts: 1289000 | #Constraints: 32782
1665.20/1670.06 c #Conflicts: 1290000 | #Constraints: 33782
1665.20/1670.06 c #Conflicts: 1291000 | #Constraints: 34782
1665.20/1670.06 c #Conflicts: 1292000 | #Constraints: 35782
1665.20/1670.06 c #Conflicts: 1293000 | #Constraints: 36782
1665.20/1670.06 c #Conflicts: 1294000 | #Constraints: 37782
1665.20/1670.06 c #Conflicts: 1295000 | #Constraints: 38782
1665.20/1670.06 c #Conflicts: 1296000 | #Constraints: 39782
1665.20/1670.06 c #Conflicts: 1297000 | #Constraints: 40782
1665.20/1670.06 c #Conflicts: 1298000 | #Constraints: 41782
1665.20/1670.06 c #Conflicts: 1299000 | #Constraints: 42782
1665.20/1670.06 c #Conflicts: 1300000 | #Constraints: 43782
1665.20/1670.06 c #Conflicts: 1301000 | #Constraints: 44782
1665.20/1670.06 c #Conflicts: 1302000 | #Constraints: 45782
1665.20/1670.06 c INPROCESSING
1665.20/1670.06 c GARBAGE COLLECT
1665.20/1670.06 c #Conflicts: 1303000 | #Constraints: 24183
1665.20/1670.06 c #Conflicts: 1304000 | #Constraints: 25183
1665.20/1670.06 c #Conflicts: 1305000 | #Constraints: 26183
1665.20/1670.06 c #Conflicts: 1306000 | #Constraints: 27183
1665.20/1670.06 c #Conflicts: 1307000 | #Constraints: 28183
1665.20/1670.06 c #Conflicts: 1308000 | #Constraints: 29183
1665.20/1670.06 c #Conflicts: 1309000 | #Constraints: 30183
1665.20/1670.06 c #Conflicts: 1310000 | #Constraints: 31183
1665.20/1670.06 c #Conflicts: 1311000 | #Constraints: 32183
1665.20/1670.06 c #Conflicts: 1312000 | #Constraints: 33183
1665.20/1670.06 c #Conflicts: 1313000 | #Constraints: 34183
1665.20/1670.06 c #Conflicts: 1314000 | #Constraints: 35183
1665.20/1670.06 c #Conflicts: 1315000 | #Constraints: 36183
1665.20/1670.06 c #Conflicts: 1316000 | #Constraints: 37183
1665.20/1670.06 c #Conflicts: 1317000 | #Constraints: 38183
1665.20/1670.06 c #Conflicts: 1318000 | #Constraints: 39183
1665.20/1670.06 c #Conflicts: 1319000 | #Constraints: 40183
1665.20/1670.06 c #Conflicts: 1320000 | #Constraints: 41183
1665.20/1670.06 c #Conflicts: 1321000 | #Constraints: 42183
1665.20/1670.06 c #Conflicts: 1322000 | #Constraints: 43183
1863.22/1868.60 c #Conflicts: 1323000 | #Constraints: 44183
1863.22/1868.60 c #Conflicts: 1324000 | #Constraints: 45183
1863.22/1868.60 c #Conflicts: 1325000 | #Constraints: 46183
1863.22/1868.60 c INPROCESSING
1863.22/1868.60 c GARBAGE COLLECT
1863.22/1868.60 c #Conflicts: 1326000 | #Constraints: 24382
1863.22/1868.60 c #Conflicts: 1327000 | #Constraints: 25382
1863.22/1868.60 c #Conflicts: 1328000 | #Constraints: 26382
1863.22/1868.60 c #Conflicts: 1329000 | #Constraints: 27382
1863.22/1868.60 c #Conflicts: 1330000 | #Constraints: 28382
1863.22/1868.60 c #Conflicts: 1331000 | #Constraints: 29382
1863.22/1868.60 c #Conflicts: 1332000 | #Constraints: 30382
1863.22/1868.60 c #Conflicts: 1333000 | #Constraints: 31382
1863.22/1868.60 c #Conflicts: 1334000 | #Constraints: 32382
1863.22/1868.60 c #Conflicts: 1335000 | #Constraints: 33382
1863.22/1868.60 c #Conflicts: 1336000 | #Constraints: 34382
1863.22/1868.60 c #Conflicts: 1337000 | #Constraints: 35382
1863.22/1868.60 c #Conflicts: 1338000 | #Constraints: 36382
1863.22/1868.60 c #Conflicts: 1339000 | #Constraints: 37382
1863.22/1868.60 c #Conflicts: 1340000 | #Constraints: 38382
1863.22/1868.60 c #Conflicts: 1341000 | #Constraints: 39382
1863.22/1868.60 c #Conflicts: 1342000 | #Constraints: 40382
1863.22/1868.60 c #Conflicts: 1343000 | #Constraints: 41382
1863.22/1868.60 c #Conflicts: 1344000 | #Constraints: 42382
1863.22/1868.60 c #Conflicts: 1345000 | #Constraints: 43382
1863.22/1868.60 c #Conflicts: 1346000 | #Constraints: 44382
1863.22/1868.60 c #Conflicts: 1347000 | #Constraints: 45382
1863.22/1868.60 c #Conflicts: 1348000 | #Constraints: 46382
1863.22/1868.60 c INPROCESSING
1863.22/1868.60 c GARBAGE COLLECT
1863.22/1868.60 c #Conflicts: 1349000 | #Constraints: 24383
1863.22/1868.60 c #Conflicts: 1350000 | #Constraints: 25383
1863.22/1868.60 c #Conflicts: 1351000 | #Constraints: 26383
1863.22/1868.60 c #Conflicts: 1352000 | #Constraints: 27383
1863.22/1868.60 c #Conflicts: 1353000 | #Constraints: 28383
1863.22/1868.60 c #Conflicts: 1354000 | #Constraints: 29383
1863.22/1868.60 c #Conflicts: 1355000 | #Constraints: 30383
1863.22/1868.60 c #Conflicts: 1356000 | #Constraints: 31383
1863.22/1868.60 c #Conflicts: 1357000 | #Constraints: 32383
1863.22/1868.60 c #Conflicts: 1358000 | #Constraints: 33383
1863.22/1868.60 c #Conflicts: 1359000 | #Constraints: 34383
1863.22/1868.60 c #Conflicts: 1360000 | #Constraints: 35383
1863.22/1868.60 c #Conflicts: 1361000 | #Constraints: 36383
1863.22/1868.60 c #Conflicts: 1362000 | #Constraints: 37383
1863.22/1868.60 c #Conflicts: 1363000 | #Constraints: 38383
1863.22/1868.60 c #Conflicts: 1364000 | #Constraints: 39383
1863.22/1868.60 c #Conflicts: 1365000 | #Constraints: 40383
1863.22/1868.60 c #Conflicts: 1366000 | #Constraints: 41383
1863.22/1868.60 c #Conflicts: 1367000 | #Constraints: 42383
1863.22/1868.60 c #Conflicts: 1368000 | #Constraints: 43383
1863.22/1868.60 c #Conflicts: 1369000 | #Constraints: 44383
1863.22/1868.60 c #Conflicts: 1370000 | #Constraints: 45383
1863.22/1868.60 c #Conflicts: 1371000 | #Constraints: 46383
1863.22/1868.60 c INPROCESSING
1863.22/1868.60 c GARBAGE COLLECT
1863.22/1868.60 c #Conflicts: 1372000 | #Constraints: 24186
1863.22/1868.60 c #Conflicts: 1373000 | #Constraints: 25186
1863.22/1868.60 c #Conflicts: 1374000 | #Constraints: 26186
1863.22/1868.60 c #Conflicts: 1375000 | #Constraints: 27186
1863.22/1868.60 c #Conflicts: 1376000 | #Constraints: 28186
1863.22/1868.60 c #Conflicts: 1377000 | #Constraints: 29186
1863.22/1868.60 c #Conflicts: 1378000 | #Constraints: 30186
1863.22/1868.60 c #Conflicts: 1379000 | #Constraints: 31186
1863.22/1868.60 c #Conflicts: 1380000 | #Constraints: 32186
1863.22/1868.60 c #Conflicts: 1381000 | #Constraints: 33186
1863.22/1868.60 c #Conflicts: 1382000 | #Constraints: 34186
1863.22/1868.60 c #Conflicts: 1383000 | #Constraints: 35186
1863.22/1868.60 c #Conflicts: 1384000 | #Constraints: 36186
1863.22/1868.60 c #Conflicts: 1385000 | #Constraints: 37186
1863.22/1868.60 c #Conflicts: 1386000 | #Constraints: 38186
1863.22/1868.60 c #Conflicts: 1387000 | #Constraints: 39186
1863.22/1868.60 c #Conflicts: 1388000 | #Constraints: 40186
1863.22/1868.60 c #Conflicts: 1389000 | #Constraints: 41186
1863.22/1868.60 c #Conflicts: 1390000 | #Constraints: 42186
1863.22/1868.60 c #Conflicts: 1391000 | #Constraints: 43186
1863.22/1868.60 c #Conflicts: 1392000 | #Constraints: 44186
1863.22/1868.60 c #Conflicts: 1393000 | #Constraints: 45186
1863.22/1868.60 c #Conflicts: 1394000 | #Constraints: 46186
1863.22/1868.60 c #Conflicts: 1395000 | #Constraints: 47186
1863.22/1868.60 c INPROCESSING
1863.22/1868.60 c GARBAGE COLLECT
1863.22/1868.60 c #Conflicts: 1396000 | #Constraints: 24790
1863.22/1868.60 c #Conflicts: 1397000 | #Constraints: 25790
1863.22/1868.60 c #Conflicts: 1398000 | #Constraints: 26790
1863.22/1868.60 c #Conflicts: 1399000 | #Constraints: 27790
2091.34/2097.40 c #Conflicts: 1400000 | #Constraints: 28790
2091.34/2097.40 c #Conflicts: 1401000 | #Constraints: 29790
2091.34/2097.40 c #Conflicts: 1402000 | #Constraints: 30790
2091.34/2097.40 c #Conflicts: 1403000 | #Constraints: 31790
2091.34/2097.40 c #Conflicts: 1404000 | #Constraints: 32790
2091.34/2097.40 c #Conflicts: 1405000 | #Constraints: 33790
2091.34/2097.40 c #Conflicts: 1406000 | #Constraints: 34790
2091.34/2097.40 c #Conflicts: 1407000 | #Constraints: 35790
2091.34/2097.40 c #Conflicts: 1408000 | #Constraints: 36790
2091.34/2097.40 c #Conflicts: 1409000 | #Constraints: 37790
2091.34/2097.40 c #Conflicts: 1410000 | #Constraints: 38790
2091.34/2097.40 c #Conflicts: 1411000 | #Constraints: 39790
2091.34/2097.40 c #Conflicts: 1412000 | #Constraints: 40790
2091.34/2097.40 c #Conflicts: 1413000 | #Constraints: 41790
2091.34/2097.40 c #Conflicts: 1414000 | #Constraints: 42790
2091.34/2097.40 c #Conflicts: 1415000 | #Constraints: 43790
2091.34/2097.40 c #Conflicts: 1416000 | #Constraints: 44790
2091.34/2097.40 c #Conflicts: 1417000 | #Constraints: 45790
2091.34/2097.40 c #Conflicts: 1418000 | #Constraints: 46790
2091.34/2097.40 c #Conflicts: 1419000 | #Constraints: 47790
2091.34/2097.40 c INPROCESSING
2091.34/2097.40 c GARBAGE COLLECT
2091.34/2097.40 c #Conflicts: 1420000 | #Constraints: 25191
2091.34/2097.40 c #Conflicts: 1421000 | #Constraints: 26191
2091.34/2097.40 c #Conflicts: 1422000 | #Constraints: 27191
2091.34/2097.40 c #Conflicts: 1423000 | #Constraints: 28191
2091.34/2097.40 c #Conflicts: 1424000 | #Constraints: 29191
2091.34/2097.40 c #Conflicts: 1425000 | #Constraints: 30191
2091.34/2097.40 c #Conflicts: 1426000 | #Constraints: 31191
2091.34/2097.40 c #Conflicts: 1427000 | #Constraints: 32191
2091.34/2097.40 c #Conflicts: 1428000 | #Constraints: 33191
2091.34/2097.40 c #Conflicts: 1429000 | #Constraints: 34191
2091.34/2097.40 c #Conflicts: 1430000 | #Constraints: 35191
2091.34/2097.40 c #Conflicts: 1431000 | #Constraints: 36191
2091.34/2097.40 c #Conflicts: 1432000 | #Constraints: 37191
2091.34/2097.40 c #Conflicts: 1433000 | #Constraints: 38191
2091.34/2097.40 c #Conflicts: 1434000 | #Constraints: 39191
2091.34/2097.40 c #Conflicts: 1435000 | #Constraints: 40191
2091.34/2097.40 c #Conflicts: 1436000 | #Constraints: 41191
2091.34/2097.40 c #Conflicts: 1437000 | #Constraints: 42191
2091.34/2097.40 c #Conflicts: 1438000 | #Constraints: 43191
2091.34/2097.40 c #Conflicts: 1439000 | #Constraints: 44191
2091.34/2097.40 c #Conflicts: 1440000 | #Constraints: 45191
2091.34/2097.40 c #Conflicts: 1441000 | #Constraints: 46191
2091.34/2097.40 c #Conflicts: 1442000 | #Constraints: 47191
2091.34/2097.40 c #Conflicts: 1443000 | #Constraints: 48191
2091.34/2097.40 c INPROCESSING
2091.34/2097.40 c GARBAGE COLLECT
2091.34/2097.40 c #Conflicts: 1444000 | #Constraints: 25386
2091.34/2097.40 c #Conflicts: 1445000 | #Constraints: 26386
2091.34/2097.40 c #Conflicts: 1446000 | #Constraints: 27386
2091.34/2097.40 c #Conflicts: 1447000 | #Constraints: 28386
2091.34/2097.40 c #Conflicts: 1448000 | #Constraints: 29386
2091.34/2097.40 c #Conflicts: 1449000 | #Constraints: 30386
2091.34/2097.40 c #Conflicts: 1450000 | #Constraints: 31386
2091.34/2097.40 c #Conflicts: 1451000 | #Constraints: 32386
2091.34/2097.40 c #Conflicts: 1452000 | #Constraints: 33386
2091.34/2097.40 c #Conflicts: 1453000 | #Constraints: 34386
2091.34/2097.40 c #Conflicts: 1454000 | #Constraints: 35386
2091.34/2097.40 c #Conflicts: 1455000 | #Constraints: 36386
2091.34/2097.40 c #Conflicts: 1456000 | #Constraints: 37386
2091.34/2097.40 c #Conflicts: 1457000 | #Constraints: 38386
2091.34/2097.40 c #Conflicts: 1458000 | #Constraints: 39386
2091.34/2097.40 c #Conflicts: 1459000 | #Constraints: 40386
2091.34/2097.40 c #Conflicts: 1460000 | #Constraints: 41386
2091.34/2097.40 c #Conflicts: 1461000 | #Constraints: 42386
2091.34/2097.40 c #Conflicts: 1462000 | #Constraints: 43386
2091.34/2097.40 c #Conflicts: 1463000 | #Constraints: 44386
2091.34/2097.40 c #Conflicts: 1464000 | #Constraints: 45386
2091.34/2097.40 c #Conflicts: 1465000 | #Constraints: 46386
2091.34/2097.40 c #Conflicts: 1466000 | #Constraints: 47386
2091.34/2097.40 c #Conflicts: 1467000 | #Constraints: 48386
2091.34/2097.40 c INPROCESSING
2091.34/2097.40 c GARBAGE COLLECT
2091.34/2097.40 c #Conflicts: 1468000 | #Constraints: 25393
2091.34/2097.40 c #Conflicts: 1469000 | #Constraints: 26393
2091.34/2097.40 c #Conflicts: 1470000 | #Constraints: 27393
2091.34/2097.40 c #Conflicts: 1471000 | #Constraints: 28393
2091.34/2097.40 c #Conflicts: 1472000 | #Constraints: 29393
2091.34/2097.40 c #Conflicts: 1473000 | #Constraints: 30393
2091.34/2097.40 c #Conflicts: 1474000 | #Constraints: 31393
2091.34/2097.40 c #Conflicts: 1475000 | #Constraints: 32393
2139.49/2145.76 c #Conflicts: 1476000 | #Constraints: 33393
2139.49/2145.76 c #Conflicts: 1477000 | #Constraints: 34393
2139.49/2145.76 c #Conflicts: 1478000 | #Constraints: 35393
2139.49/2145.76 c #Conflicts: 1479000 | #Constraints: 36393
2139.49/2145.76 c #Conflicts: 1480000 | #Constraints: 37393
2139.49/2145.76 c #Conflicts: 1481000 | #Constraints: 38393
2139.49/2145.76 c #Conflicts: 1482000 | #Constraints: 39393
2139.49/2145.76 c #Conflicts: 1483000 | #Constraints: 40393
2139.49/2145.76 c #Conflicts: 1484000 | #Constraints: 41393
2139.49/2145.76 c #Conflicts: 1485000 | #Constraints: 42393
2139.49/2145.76 c #Conflicts: 1486000 | #Constraints: 43393
2139.49/2145.76 c #Conflicts: 1487000 | #Constraints: 44393
2139.49/2145.76 c #Conflicts: 1488000 | #Constraints: 45393
2139.49/2145.76 c #Conflicts: 1489000 | #Constraints: 46393
2139.49/2145.76 c #Conflicts: 1490000 | #Constraints: 47393
2139.49/2145.76 c GLOBAL bounds - >= 0 @ 2131.35
2340.30/2347.19 c #Conflicts: 1491000 | #Constraints: 48395
2340.30/2347.19 c INPROCESSING
2340.30/2347.19 c GARBAGE COLLECT
2340.30/2347.19 c #Conflicts: 1492000 | #Constraints: 25193
2340.30/2347.19 c #Conflicts: 1493000 | #Constraints: 26193
2340.30/2347.19 c #Conflicts: 1494000 | #Constraints: 27193
2340.30/2347.19 c #Conflicts: 1495000 | #Constraints: 28193
2340.30/2347.19 c #Conflicts: 1496000 | #Constraints: 29193
2340.30/2347.19 c #Conflicts: 1497000 | #Constraints: 30193
2340.30/2347.19 c #Conflicts: 1498000 | #Constraints: 31193
2340.30/2347.19 c #Conflicts: 1499000 | #Constraints: 32193
2340.30/2347.19 c #Conflicts: 1500000 | #Constraints: 33193
2340.30/2347.19 c #Conflicts: 1501000 | #Constraints: 34193
2340.30/2347.19 c #Conflicts: 1502000 | #Constraints: 35193
2340.30/2347.19 c #Conflicts: 1503000 | #Constraints: 36193
2340.30/2347.19 c #Conflicts: 1504000 | #Constraints: 37193
2340.30/2347.19 c #Conflicts: 1505000 | #Constraints: 38193
2340.30/2347.19 c #Conflicts: 1506000 | #Constraints: 39193
2340.30/2347.19 c #Conflicts: 1507000 | #Constraints: 40193
2340.30/2347.19 c #Conflicts: 1508000 | #Constraints: 41193
2340.30/2347.19 c #Conflicts: 1509000 | #Constraints: 42193
2340.30/2347.19 c #Conflicts: 1510000 | #Constraints: 43193
2340.30/2347.19 c #Conflicts: 1511000 | #Constraints: 44193
2340.30/2347.19 c #Conflicts: 1512000 | #Constraints: 45193
2340.30/2347.19 c #Conflicts: 1513000 | #Constraints: 46193
2340.30/2347.19 c #Conflicts: 1514000 | #Constraints: 47193
2340.30/2347.19 c #Conflicts: 1515000 | #Constraints: 48193
2340.30/2347.19 c #Conflicts: 1516000 | #Constraints: 49193
2340.30/2347.19 c INPROCESSING
2340.30/2347.19 c GARBAGE COLLECT
2340.30/2347.19 c #Conflicts: 1517000 | #Constraints: 25795
2340.30/2347.19 c #Conflicts: 1518000 | #Constraints: 26795
2340.30/2347.19 c #Conflicts: 1519000 | #Constraints: 27795
2340.30/2347.19 c #Conflicts: 1520000 | #Constraints: 28795
2340.30/2347.19 c #Conflicts: 1521000 | #Constraints: 29795
2340.30/2347.19 c #Conflicts: 1522000 | #Constraints: 30795
2340.30/2347.19 c #Conflicts: 1523000 | #Constraints: 31795
2340.30/2347.19 c #Conflicts: 1524000 | #Constraints: 32795
2340.30/2347.19 c #Conflicts: 1525000 | #Constraints: 33795
2340.30/2347.19 c #Conflicts: 1526000 | #Constraints: 34795
2340.30/2347.19 c #Conflicts: 1527000 | #Constraints: 35795
2340.30/2347.19 c #Conflicts: 1528000 | #Constraints: 36795
2340.30/2347.19 c #Conflicts: 1529000 | #Constraints: 37795
2340.30/2347.19 c #Conflicts: 1530000 | #Constraints: 38795
2340.30/2347.19 c #Conflicts: 1531000 | #Constraints: 39795
2340.30/2347.19 c #Conflicts: 1532000 | #Constraints: 40795
2340.30/2347.19 c #Conflicts: 1533000 | #Constraints: 41795
2340.30/2347.19 c #Conflicts: 1534000 | #Constraints: 42795
2340.30/2347.19 c #Conflicts: 1535000 | #Constraints: 43795
2340.30/2347.19 c #Conflicts: 1536000 | #Constraints: 44795
2340.30/2347.19 c #Conflicts: 1537000 | #Constraints: 45795
2340.30/2347.19 c #Conflicts: 1538000 | #Constraints: 46795
2340.30/2347.19 c #Conflicts: 1539000 | #Constraints: 47795
2340.30/2347.19 c #Conflicts: 1540000 | #Constraints: 48795
2340.30/2347.19 c #Conflicts: 1541000 | #Constraints: 49795
2340.30/2347.19 c INPROCESSING
2340.30/2347.19 c GARBAGE COLLECT
2340.30/2347.19 c #Conflicts: 1542000 | #Constraints: 26191
2340.30/2347.19 c #Conflicts: 1543000 | #Constraints: 27191
2340.30/2347.19 c #Conflicts: 1544000 | #Constraints: 28191
2340.30/2347.19 c #Conflicts: 1545000 | #Constraints: 29191
2340.30/2347.19 c #Conflicts: 1546000 | #Constraints: 30191
2340.30/2347.19 c #Conflicts: 1547000 | #Constraints: 31191
2340.30/2347.19 c #Conflicts: 1548000 | #Constraints: 32191
2340.30/2347.19 c #Conflicts: 1549000 | #Constraints: 33191
2340.30/2347.19 c #Conflicts: 1550000 | #Constraints: 34191
2340.30/2347.19 c #Conflicts: 1551000 | #Constraints: 35191
2340.30/2347.19 c #Conflicts: 1552000 | #Constraints: 36191
2340.30/2347.19 c #Conflicts: 1553000 | #Constraints: 37191
2340.30/2347.19 c #Conflicts: 1554000 | #Constraints: 38191
2340.30/2347.19 c #Conflicts: 1555000 | #Constraints: 39191
2340.30/2347.19 c #Conflicts: 1556000 | #Constraints: 40191
2340.30/2347.19 c #Conflicts: 1557000 | #Constraints: 41191
2340.30/2347.19 c #Conflicts: 1558000 | #Constraints: 42191
2340.30/2347.19 c #Conflicts: 1559000 | #Constraints: 43191
2340.30/2347.19 c #Conflicts: 1560000 | #Constraints: 44191
2340.30/2347.19 c #Conflicts: 1561000 | #Constraints: 45191
2340.30/2347.19 c #Conflicts: 1562000 | #Constraints: 46191
2340.30/2347.19 c #Conflicts: 1563000 | #Constraints: 47191
2340.30/2347.19 c #Conflicts: 1564000 | #Constraints: 48191
2340.30/2347.19 c #Conflicts: 1565000 | #Constraints: 49191
2340.30/2347.19 c #Conflicts: 1566000 | #Constraints: 50191
2340.30/2347.19 c INPROCESSING
2340.30/2347.19 c GARBAGE COLLECT
2340.30/2347.19 c #Conflicts: 1567000 | #Constraints: 26385
2558.33/2565.83 c #Conflicts: 1568000 | #Constraints: 27385
2558.33/2565.83 c #Conflicts: 1569000 | #Constraints: 28385
2558.33/2565.83 c #Conflicts: 1570000 | #Constraints: 29385
2558.33/2565.83 c #Conflicts: 1571000 | #Constraints: 30385
2558.33/2565.83 c #Conflicts: 1572000 | #Constraints: 31385
2558.33/2565.83 c #Conflicts: 1573000 | #Constraints: 32385
2558.33/2565.83 c #Conflicts: 1574000 | #Constraints: 33385
2558.33/2565.83 c #Conflicts: 1575000 | #Constraints: 34385
2558.33/2565.83 c #Conflicts: 1576000 | #Constraints: 35385
2558.33/2565.83 c #Conflicts: 1577000 | #Constraints: 36385
2558.33/2565.83 c #Conflicts: 1578000 | #Constraints: 37385
2558.33/2565.83 c #Conflicts: 1579000 | #Constraints: 38385
2558.33/2565.83 c #Conflicts: 1580000 | #Constraints: 39385
2558.33/2565.83 c #Conflicts: 1581000 | #Constraints: 40385
2558.33/2565.83 c #Conflicts: 1582000 | #Constraints: 41385
2558.33/2565.83 c #Conflicts: 1583000 | #Constraints: 42385
2558.33/2565.83 c #Conflicts: 1584000 | #Constraints: 43385
2558.33/2565.83 c #Conflicts: 1585000 | #Constraints: 44385
2558.33/2565.83 c #Conflicts: 1586000 | #Constraints: 45385
2558.33/2565.83 c #Conflicts: 1587000 | #Constraints: 46385
2558.33/2565.83 c #Conflicts: 1588000 | #Constraints: 47385
2558.33/2565.83 c #Conflicts: 1589000 | #Constraints: 48385
2558.33/2565.83 c #Conflicts: 1590000 | #Constraints: 49385
2558.33/2565.83 c #Conflicts: 1591000 | #Constraints: 50385
2558.33/2565.83 c INPROCESSING
2558.33/2565.83 c GARBAGE COLLECT
2558.33/2565.83 c #Conflicts: 1592000 | #Constraints: 26384
2558.33/2565.83 c #Conflicts: 1593000 | #Constraints: 27384
2558.33/2565.83 c #Conflicts: 1594000 | #Constraints: 28384
2558.33/2565.83 c #Conflicts: 1595000 | #Constraints: 29384
2558.33/2565.83 c #Conflicts: 1596000 | #Constraints: 30384
2558.33/2565.83 c #Conflicts: 1597000 | #Constraints: 31384
2558.33/2565.83 c #Conflicts: 1598000 | #Constraints: 32384
2558.33/2565.83 c #Conflicts: 1599000 | #Constraints: 33384
2558.33/2565.83 c #Conflicts: 1600000 | #Constraints: 34384
2558.33/2565.83 c #Conflicts: 1601000 | #Constraints: 35384
2558.33/2565.83 c #Conflicts: 1602000 | #Constraints: 36384
2558.33/2565.83 c #Conflicts: 1603000 | #Constraints: 37384
2558.33/2565.83 c #Conflicts: 1604000 | #Constraints: 38384
2558.33/2565.83 c #Conflicts: 1605000 | #Constraints: 39384
2558.33/2565.83 c #Conflicts: 1606000 | #Constraints: 40384
2558.33/2565.83 c #Conflicts: 1607000 | #Constraints: 41384
2558.33/2565.83 c #Conflicts: 1608000 | #Constraints: 42384
2558.33/2565.83 c #Conflicts: 1609000 | #Constraints: 43384
2558.33/2565.83 c #Conflicts: 1610000 | #Constraints: 44384
2558.33/2565.83 c #Conflicts: 1611000 | #Constraints: 45384
2558.33/2565.83 c #Conflicts: 1612000 | #Constraints: 46384
2558.33/2565.83 c #Conflicts: 1613000 | #Constraints: 47384
2558.33/2565.83 c #Conflicts: 1614000 | #Constraints: 48384
2558.33/2565.83 c #Conflicts: 1615000 | #Constraints: 49384
2558.33/2565.83 c #Conflicts: 1616000 | #Constraints: 50384
2558.33/2565.83 c INPROCESSING
2558.33/2565.83 c GARBAGE COLLECT
2558.33/2565.83 c #Conflicts: 1617000 | #Constraints: 26193
2558.33/2565.83 c #Conflicts: 1618000 | #Constraints: 27193
2558.33/2565.83 c #Conflicts: 1619000 | #Constraints: 28193
2558.33/2565.83 c #Conflicts: 1620000 | #Constraints: 29193
2558.33/2565.83 c #Conflicts: 1621000 | #Constraints: 30193
2558.33/2565.83 c #Conflicts: 1622000 | #Constraints: 31193
2558.33/2565.83 c #Conflicts: 1623000 | #Constraints: 32193
2558.33/2565.83 c #Conflicts: 1624000 | #Constraints: 33193
2558.33/2565.83 c #Conflicts: 1625000 | #Constraints: 34193
2558.33/2565.83 c #Conflicts: 1626000 | #Constraints: 35193
2558.33/2565.83 c #Conflicts: 1627000 | #Constraints: 36193
2558.33/2565.83 c #Conflicts: 1628000 | #Constraints: 37193
2558.33/2565.83 c #Conflicts: 1629000 | #Constraints: 38193
2558.33/2565.83 c #Conflicts: 1630000 | #Constraints: 39193
2558.33/2565.83 c #Conflicts: 1631000 | #Constraints: 40193
2558.33/2565.83 c #Conflicts: 1632000 | #Constraints: 41193
2558.33/2565.83 c #Conflicts: 1633000 | #Constraints: 42193
2558.33/2565.83 c #Conflicts: 1634000 | #Constraints: 43193
2558.33/2565.83 c #Conflicts: 1635000 | #Constraints: 44193
2558.33/2565.83 c #Conflicts: 1636000 | #Constraints: 45193
2558.33/2565.83 c #Conflicts: 1637000 | #Constraints: 46193
2558.33/2565.83 c #Conflicts: 1638000 | #Constraints: 47193
2558.33/2565.83 c #Conflicts: 1639000 | #Constraints: 48193
2558.33/2565.83 c #Conflicts: 1640000 | #Constraints: 49193
2558.33/2565.83 c #Conflicts: 1641000 | #Constraints: 50193
2558.33/2565.83 c #Conflicts: 1642000 | #Constraints: 51193
2558.33/2565.83 c INPROCESSING
2558.33/2565.83 c GARBAGE COLLECT
2558.33/2565.83 c #Conflicts: 1643000 | #Constraints: 26781
2558.33/2565.83 c #Conflicts: 1644000 | #Constraints: 27781
2767.52/2775.61 c #Conflicts: 1645000 | #Constraints: 28781
2767.52/2775.61 c #Conflicts: 1646000 | #Constraints: 29781
2767.52/2775.61 c #Conflicts: 1647000 | #Constraints: 30781
2767.52/2775.61 c #Conflicts: 1648000 | #Constraints: 31781
2767.52/2775.61 c #Conflicts: 1649000 | #Constraints: 32781
2767.52/2775.61 c #Conflicts: 1650000 | #Constraints: 33781
2767.52/2775.61 c #Conflicts: 1651000 | #Constraints: 34781
2767.52/2775.61 c #Conflicts: 1652000 | #Constraints: 35781
2767.52/2775.61 c #Conflicts: 1653000 | #Constraints: 36781
2767.52/2775.61 c #Conflicts: 1654000 | #Constraints: 37781
2767.52/2775.61 c #Conflicts: 1655000 | #Constraints: 38781
2767.52/2775.61 c #Conflicts: 1656000 | #Constraints: 39781
2767.52/2775.61 c #Conflicts: 1657000 | #Constraints: 40781
2767.52/2775.61 c #Conflicts: 1658000 | #Constraints: 41781
2767.52/2775.61 c #Conflicts: 1659000 | #Constraints: 42781
2767.52/2775.61 c #Conflicts: 1660000 | #Constraints: 43781
2767.52/2775.61 c #Conflicts: 1661000 | #Constraints: 44781
2767.52/2775.61 c #Conflicts: 1662000 | #Constraints: 45781
2767.52/2775.61 c #Conflicts: 1663000 | #Constraints: 46781
2767.52/2775.61 c #Conflicts: 1664000 | #Constraints: 47781
2767.52/2775.61 c #Conflicts: 1665000 | #Constraints: 48781
2767.52/2775.61 c #Conflicts: 1666000 | #Constraints: 49781
2767.52/2775.61 c #Conflicts: 1667000 | #Constraints: 50781
2767.52/2775.61 c #Conflicts: 1668000 | #Constraints: 51781
2767.52/2775.61 c INPROCESSING
2767.52/2775.61 c GARBAGE COLLECT
2767.52/2775.61 c #Conflicts: 1669000 | #Constraints: 27191
2767.52/2775.61 c #Conflicts: 1670000 | #Constraints: 28191
2767.52/2775.61 c #Conflicts: 1671000 | #Constraints: 29191
2767.52/2775.61 c #Conflicts: 1672000 | #Constraints: 30191
2767.52/2775.61 c #Conflicts: 1673000 | #Constraints: 31191
2767.52/2775.61 c #Conflicts: 1674000 | #Constraints: 32191
2767.52/2775.61 c #Conflicts: 1675000 | #Constraints: 33191
2767.52/2775.61 c #Conflicts: 1676000 | #Constraints: 34191
2767.52/2775.61 c #Conflicts: 1677000 | #Constraints: 35191
2767.52/2775.61 c #Conflicts: 1678000 | #Constraints: 36191
2767.52/2775.61 c #Conflicts: 1679000 | #Constraints: 37191
2767.52/2775.61 c #Conflicts: 1680000 | #Constraints: 38191
2767.52/2775.61 c #Conflicts: 1681000 | #Constraints: 39191
2767.52/2775.61 c #Conflicts: 1682000 | #Constraints: 40191
2767.52/2775.61 c #Conflicts: 1683000 | #Constraints: 41191
2767.52/2775.61 c #Conflicts: 1684000 | #Constraints: 42191
2767.52/2775.61 c #Conflicts: 1685000 | #Constraints: 43191
2767.52/2775.61 c #Conflicts: 1686000 | #Constraints: 44191
2767.52/2775.61 c #Conflicts: 1687000 | #Constraints: 45191
2767.52/2775.61 c #Conflicts: 1688000 | #Constraints: 46191
2767.52/2775.61 c #Conflicts: 1689000 | #Constraints: 47191
2767.52/2775.61 c #Conflicts: 1690000 | #Constraints: 48191
2767.52/2775.61 c #Conflicts: 1691000 | #Constraints: 49191
2767.52/2775.61 c #Conflicts: 1692000 | #Constraints: 50191
2767.52/2775.61 c #Conflicts: 1693000 | #Constraints: 51191
2767.52/2775.61 c #Conflicts: 1694000 | #Constraints: 52191
2767.52/2775.61 c INPROCESSING
2767.52/2775.61 c GARBAGE COLLECT
2767.52/2775.61 c #Conflicts: 1695000 | #Constraints: 27396
2767.52/2775.61 c #Conflicts: 1696000 | #Constraints: 28396
2767.52/2775.61 c #Conflicts: 1697000 | #Constraints: 29396
2767.52/2775.61 c #Conflicts: 1698000 | #Constraints: 30396
2767.52/2775.61 c #Conflicts: 1699000 | #Constraints: 31396
2767.52/2775.61 c #Conflicts: 1700000 | #Constraints: 32396
2767.52/2775.61 c #Conflicts: 1701000 | #Constraints: 33396
2767.52/2775.61 c #Conflicts: 1702000 | #Constraints: 34396
2767.52/2775.61 c #Conflicts: 1703000 | #Constraints: 35396
2767.52/2775.61 c #Conflicts: 1704000 | #Constraints: 36396
2767.52/2775.61 c #Conflicts: 1705000 | #Constraints: 37396
2767.52/2775.61 c #Conflicts: 1706000 | #Constraints: 38396
2767.52/2775.61 c #Conflicts: 1707000 | #Constraints: 39396
2767.52/2775.61 c #Conflicts: 1708000 | #Constraints: 40396
2767.52/2775.61 c #Conflicts: 1709000 | #Constraints: 41396
2767.52/2775.61 c #Conflicts: 1710000 | #Constraints: 42396
2767.52/2775.61 c #Conflicts: 1711000 | #Constraints: 43396
2767.52/2775.61 c #Conflicts: 1712000 | #Constraints: 44396
2767.52/2775.61 c #Conflicts: 1713000 | #Constraints: 45396
2767.52/2775.61 c #Conflicts: 1714000 | #Constraints: 46396
2767.52/2775.61 c #Conflicts: 1715000 | #Constraints: 47396
2767.52/2775.61 c #Conflicts: 1716000 | #Constraints: 48396
2767.52/2775.61 c #Conflicts: 1717000 | #Constraints: 49396
2767.52/2775.61 c #Conflicts: 1718000 | #Constraints: 50396
2767.52/2775.61 c #Conflicts: 1719000 | #Constraints: 51396
2767.52/2775.61 c #Conflicts: 1720000 | #Constraints: 52396
2767.52/2775.61 c INPROCESSING
2767.52/2775.61 c GARBAGE COLLECT
2986.49/2995.20 c #Conflicts: 1721000 | #Constraints: 27391
2986.49/2995.20 c #Conflicts: 1722000 | #Constraints: 28391
2986.49/2995.20 c #Conflicts: 1723000 | #Constraints: 29391
2986.49/2995.20 c #Conflicts: 1724000 | #Constraints: 30391
2986.49/2995.20 c #Conflicts: 1725000 | #Constraints: 31391
2986.49/2995.20 c #Conflicts: 1726000 | #Constraints: 32391
2986.49/2995.20 c #Conflicts: 1727000 | #Constraints: 33391
2986.49/2995.20 c #Conflicts: 1728000 | #Constraints: 34391
2986.49/2995.20 c #Conflicts: 1729000 | #Constraints: 35391
2986.49/2995.20 c #Conflicts: 1730000 | #Constraints: 36391
2986.49/2995.20 c #Conflicts: 1731000 | #Constraints: 37391
2986.49/2995.20 c #Conflicts: 1732000 | #Constraints: 38391
2986.49/2995.20 c #Conflicts: 1733000 | #Constraints: 39391
2986.49/2995.20 c #Conflicts: 1734000 | #Constraints: 40391
2986.49/2995.20 c #Conflicts: 1735000 | #Constraints: 41391
2986.49/2995.20 c #Conflicts: 1736000 | #Constraints: 42391
2986.49/2995.20 c #Conflicts: 1737000 | #Constraints: 43391
2986.49/2995.20 c #Conflicts: 1738000 | #Constraints: 44391
2986.49/2995.20 c #Conflicts: 1739000 | #Constraints: 45391
2986.49/2995.20 c #Conflicts: 1740000 | #Constraints: 46391
2986.49/2995.20 c #Conflicts: 1741000 | #Constraints: 47391
2986.49/2995.20 c #Conflicts: 1742000 | #Constraints: 48391
2986.49/2995.20 c #Conflicts: 1743000 | #Constraints: 49391
2986.49/2995.20 c #Conflicts: 1744000 | #Constraints: 50391
2986.49/2995.20 c #Conflicts: 1745000 | #Constraints: 51391
2986.49/2995.20 c #Conflicts: 1746000 | #Constraints: 52391
2986.49/2995.20 c INPROCESSING
2986.49/2995.20 c GARBAGE COLLECT
2986.49/2995.20 c #Conflicts: 1747000 | #Constraints: 27191
2986.49/2995.20 c #Conflicts: 1748000 | #Constraints: 28191
2986.49/2995.20 c #Conflicts: 1749000 | #Constraints: 29191
2986.49/2995.20 c #Conflicts: 1750000 | #Constraints: 30191
2986.49/2995.20 c #Conflicts: 1751000 | #Constraints: 31191
2986.49/2995.20 c #Conflicts: 1752000 | #Constraints: 32191
2986.49/2995.20 c #Conflicts: 1753000 | #Constraints: 33191
2986.49/2995.20 c #Conflicts: 1754000 | #Constraints: 34191
2986.49/2995.20 c #Conflicts: 1755000 | #Constraints: 35191
2986.49/2995.20 c #Conflicts: 1756000 | #Constraints: 36191
2986.49/2995.20 c #Conflicts: 1757000 | #Constraints: 37191
2986.49/2995.20 c #Conflicts: 1758000 | #Constraints: 38191
2986.49/2995.20 c #Conflicts: 1759000 | #Constraints: 39191
2986.49/2995.20 c #Conflicts: 1760000 | #Constraints: 40191
2986.49/2995.20 c #Conflicts: 1761000 | #Constraints: 41191
2986.49/2995.20 c #Conflicts: 1762000 | #Constraints: 42191
2986.49/2995.20 c #Conflicts: 1763000 | #Constraints: 43191
2986.49/2995.20 c #Conflicts: 1764000 | #Constraints: 44191
2986.49/2995.20 c #Conflicts: 1765000 | #Constraints: 45191
2986.49/2995.20 c #Conflicts: 1766000 | #Constraints: 46191
2986.49/2995.20 c #Conflicts: 1767000 | #Constraints: 47191
2986.49/2995.20 c #Conflicts: 1768000 | #Constraints: 48191
2986.49/2995.20 c #Conflicts: 1769000 | #Constraints: 49191
2986.49/2995.20 c #Conflicts: 1770000 | #Constraints: 50191
2986.49/2995.20 c #Conflicts: 1771000 | #Constraints: 51191
2986.49/2995.20 c #Conflicts: 1772000 | #Constraints: 52191
2986.49/2995.20 c #Conflicts: 1773000 | #Constraints: 53191
2986.49/2995.20 c INPROCESSING
2986.49/2995.20 c GARBAGE COLLECT
2986.49/2995.20 c #Conflicts: 1774000 | #Constraints: 27794
2986.49/2995.20 c #Conflicts: 1775000 | #Constraints: 28794
2986.49/2995.20 c #Conflicts: 1776000 | #Constraints: 29794
2986.49/2995.20 c #Conflicts: 1777000 | #Constraints: 30794
2986.49/2995.20 c #Conflicts: 1778000 | #Constraints: 31794
2986.49/2995.20 c #Conflicts: 1779000 | #Constraints: 32794
2986.49/2995.20 c #Conflicts: 1780000 | #Constraints: 33794
2986.49/2995.20 c #Conflicts: 1781000 | #Constraints: 34794
2986.49/2995.20 c #Conflicts: 1782000 | #Constraints: 35794
2986.49/2995.20 c #Conflicts: 1783000 | #Constraints: 36794
2986.49/2995.20 c #Conflicts: 1784000 | #Constraints: 37794
2986.49/2995.20 c #Conflicts: 1785000 | #Constraints: 38794
2986.49/2995.20 c #Conflicts: 1786000 | #Constraints: 39794
2986.49/2995.20 c #Conflicts: 1787000 | #Constraints: 40794
2986.49/2995.20 c #Conflicts: 1788000 | #Constraints: 41794
2986.49/2995.20 c #Conflicts: 1789000 | #Constraints: 42794
2986.49/2995.20 c #Conflicts: 1790000 | #Constraints: 43794
2986.49/2995.20 c #Conflicts: 1791000 | #Constraints: 44794
2986.49/2995.20 c #Conflicts: 1792000 | #Constraints: 45794
2986.49/2995.20 c #Conflicts: 1793000 | #Constraints: 46794
2986.49/2995.20 c #Conflicts: 1794000 | #Constraints: 47794
2986.49/2995.20 c #Conflicts: 1795000 | #Constraints: 48794
2986.49/2995.20 c #Conflicts: 1796000 | #Constraints: 49794
2986.49/2995.20 c #Conflicts: 1797000 | #Constraints: 50794
2986.49/2995.20 c #Conflicts: 1798000 | #Constraints: 51794
3213.97/3223.44 c #Conflicts: 1799000 | #Constraints: 52794
3213.97/3223.44 c #Conflicts: 1800000 | #Constraints: 53794
3213.97/3223.44 c INPROCESSING
3213.97/3223.44 c GARBAGE COLLECT
3213.97/3223.44 c #Conflicts: 1801000 | #Constraints: 28198
3213.97/3223.44 c #Conflicts: 1802000 | #Constraints: 29198
3213.97/3223.44 c #Conflicts: 1803000 | #Constraints: 30198
3213.97/3223.44 c #Conflicts: 1804000 | #Constraints: 31198
3213.97/3223.44 c #Conflicts: 1805000 | #Constraints: 32198
3213.97/3223.44 c #Conflicts: 1806000 | #Constraints: 33198
3213.97/3223.44 c #Conflicts: 1807000 | #Constraints: 34198
3213.97/3223.44 c #Conflicts: 1808000 | #Constraints: 35198
3213.97/3223.44 c #Conflicts: 1809000 | #Constraints: 36198
3213.97/3223.44 c #Conflicts: 1810000 | #Constraints: 37198
3213.97/3223.44 c #Conflicts: 1811000 | #Constraints: 38198
3213.97/3223.44 c #Conflicts: 1812000 | #Constraints: 39198
3213.97/3223.44 c #Conflicts: 1813000 | #Constraints: 40198
3213.97/3223.44 c #Conflicts: 1814000 | #Constraints: 41198
3213.97/3223.44 c #Conflicts: 1815000 | #Constraints: 42198
3213.97/3223.44 c #Conflicts: 1816000 | #Constraints: 43198
3213.97/3223.44 c #Conflicts: 1817000 | #Constraints: 44198
3213.97/3223.44 c #Conflicts: 1818000 | #Constraints: 45198
3213.97/3223.44 c #Conflicts: 1819000 | #Constraints: 46198
3213.97/3223.44 c #Conflicts: 1820000 | #Constraints: 47198
3213.97/3223.44 c #Conflicts: 1821000 | #Constraints: 48198
3213.97/3223.44 c #Conflicts: 1822000 | #Constraints: 49198
3213.97/3223.44 c #Conflicts: 1823000 | #Constraints: 50198
3213.97/3223.44 c #Conflicts: 1824000 | #Constraints: 51198
3213.97/3223.44 c #Conflicts: 1825000 | #Constraints: 52198
3213.97/3223.44 c #Conflicts: 1826000 | #Constraints: 53198
3213.97/3223.44 c #Conflicts: 1827000 | #Constraints: 54198
3213.97/3223.44 c INPROCESSING
3213.97/3223.44 c GARBAGE COLLECT
3213.97/3223.44 c #Conflicts: 1828000 | #Constraints: 28399
3213.97/3223.44 c #Conflicts: 1829000 | #Constraints: 29399
3213.97/3223.44 c #Conflicts: 1830000 | #Constraints: 30399
3213.97/3223.44 c #Conflicts: 1831000 | #Constraints: 31399
3213.97/3223.44 c #Conflicts: 1832000 | #Constraints: 32399
3213.97/3223.44 c #Conflicts: 1833000 | #Constraints: 33399
3213.97/3223.44 c #Conflicts: 1834000 | #Constraints: 34399
3213.97/3223.44 c #Conflicts: 1835000 | #Constraints: 35399
3213.97/3223.44 c #Conflicts: 1836000 | #Constraints: 36399
3213.97/3223.44 c #Conflicts: 1837000 | #Constraints: 37399
3213.97/3223.44 c #Conflicts: 1838000 | #Constraints: 38399
3213.97/3223.44 c #Conflicts: 1839000 | #Constraints: 39399
3213.97/3223.44 c #Conflicts: 1840000 | #Constraints: 40399
3213.97/3223.44 c #Conflicts: 1841000 | #Constraints: 41399
3213.97/3223.44 c #Conflicts: 1842000 | #Constraints: 42399
3213.97/3223.44 c #Conflicts: 1843000 | #Constraints: 43399
3213.97/3223.44 c #Conflicts: 1844000 | #Constraints: 44399
3213.97/3223.44 c #Conflicts: 1845000 | #Constraints: 45399
3213.97/3223.44 c #Conflicts: 1846000 | #Constraints: 46399
3213.97/3223.44 c #Conflicts: 1847000 | #Constraints: 47399
3213.97/3223.44 c #Conflicts: 1848000 | #Constraints: 48399
3213.97/3223.44 c #Conflicts: 1849000 | #Constraints: 49399
3213.97/3223.44 c #Conflicts: 1850000 | #Constraints: 50399
3213.97/3223.44 c #Conflicts: 1851000 | #Constraints: 51399
3213.97/3223.44 c #Conflicts: 1852000 | #Constraints: 52399
3213.97/3223.44 c #Conflicts: 1853000 | #Constraints: 53399
3213.97/3223.44 c #Conflicts: 1854000 | #Constraints: 54399
3213.97/3223.44 c INPROCESSING
3213.97/3223.44 c GARBAGE COLLECT
3213.97/3223.44 c #Conflicts: 1855000 | #Constraints: 28398
3213.97/3223.44 c #Conflicts: 1856000 | #Constraints: 29398
3213.97/3223.44 c #Conflicts: 1857000 | #Constraints: 30398
3213.97/3223.44 c #Conflicts: 1858000 | #Constraints: 31398
3213.97/3223.44 c #Conflicts: 1859000 | #Constraints: 32398
3213.97/3223.44 c #Conflicts: 1860000 | #Constraints: 33398
3213.97/3223.44 c #Conflicts: 1861000 | #Constraints: 34398
3213.97/3223.44 c #Conflicts: 1862000 | #Constraints: 35398
3213.97/3223.44 c #Conflicts: 1863000 | #Constraints: 36398
3213.97/3223.44 c #Conflicts: 1864000 | #Constraints: 37398
3213.97/3223.44 c #Conflicts: 1865000 | #Constraints: 38398
3213.97/3223.44 c #Conflicts: 1866000 | #Constraints: 39398
3213.97/3223.44 c #Conflicts: 1867000 | #Constraints: 40398
3213.97/3223.44 c #Conflicts: 1868000 | #Constraints: 41398
3213.97/3223.44 c #Conflicts: 1869000 | #Constraints: 42398
3213.97/3223.44 c #Conflicts: 1870000 | #Constraints: 43398
3213.97/3223.44 c #Conflicts: 1871000 | #Constraints: 44398
3213.97/3223.44 c #Conflicts: 1872000 | #Constraints: 45398
3213.97/3223.44 c #Conflicts: 1873000 | #Constraints: 46398
3213.97/3223.44 c #Conflicts: 1874000 | #Constraints: 47398
3213.97/3223.44 c #Conflicts: 1875000 | #Constraints: 48398
3461.68/3471.94 c #Conflicts: 1876000 | #Constraints: 49398
3461.68/3471.94 c #Conflicts: 1877000 | #Constraints: 50398
3461.68/3471.94 c #Conflicts: 1878000 | #Constraints: 51398
3461.68/3471.94 c #Conflicts: 1879000 | #Constraints: 52398
3461.68/3471.94 c #Conflicts: 1880000 | #Constraints: 53398
3461.68/3471.94 c #Conflicts: 1881000 | #Constraints: 54398
3461.68/3471.94 c INPROCESSING
3461.68/3471.94 c GARBAGE COLLECT
3461.68/3471.94 c #Conflicts: 1882000 | #Constraints: 28202
3461.68/3471.94 c #Conflicts: 1883000 | #Constraints: 29202
3461.68/3471.94 c #Conflicts: 1884000 | #Constraints: 30202
3461.68/3471.94 c #Conflicts: 1885000 | #Constraints: 31202
3461.68/3471.94 c #Conflicts: 1886000 | #Constraints: 32202
3461.68/3471.94 c #Conflicts: 1887000 | #Constraints: 33202
3461.68/3471.94 c #Conflicts: 1888000 | #Constraints: 34202
3461.68/3471.94 c #Conflicts: 1889000 | #Constraints: 35202
3461.68/3471.94 c #Conflicts: 1890000 | #Constraints: 36202
3461.68/3471.94 c #Conflicts: 1891000 | #Constraints: 37202
3461.68/3471.94 c #Conflicts: 1892000 | #Constraints: 38202
3461.68/3471.94 c #Conflicts: 1893000 | #Constraints: 39202
3461.68/3471.94 c #Conflicts: 1894000 | #Constraints: 40202
3461.68/3471.94 c #Conflicts: 1895000 | #Constraints: 41202
3461.68/3471.94 c #Conflicts: 1896000 | #Constraints: 42202
3461.68/3471.94 c #Conflicts: 1897000 | #Constraints: 43202
3461.68/3471.94 c #Conflicts: 1898000 | #Constraints: 44202
3461.68/3471.94 c #Conflicts: 1899000 | #Constraints: 45202
3461.68/3471.94 c #Conflicts: 1900000 | #Constraints: 46202
3461.68/3471.94 c #Conflicts: 1901000 | #Constraints: 47202
3461.68/3471.94 c #Conflicts: 1902000 | #Constraints: 48202
3461.68/3471.94 c #Conflicts: 1903000 | #Constraints: 49202
3461.68/3471.94 c #Conflicts: 1904000 | #Constraints: 50202
3461.68/3471.94 c #Conflicts: 1905000 | #Constraints: 51202
3461.68/3471.94 c #Conflicts: 1906000 | #Constraints: 52202
3461.68/3471.94 c #Conflicts: 1907000 | #Constraints: 53202
3461.68/3471.94 c #Conflicts: 1908000 | #Constraints: 54202
3461.68/3471.94 c #Conflicts: 1909000 | #Constraints: 55202
3461.68/3471.94 c INPROCESSING
3461.68/3471.94 c GARBAGE COLLECT
3461.68/3471.94 c #Conflicts: 1910000 | #Constraints: 28795
3461.68/3471.94 c #Conflicts: 1911000 | #Constraints: 29795
3461.68/3471.94 c #Conflicts: 1912000 | #Constraints: 30795
3461.68/3471.94 c #Conflicts: 1913000 | #Constraints: 31795
3461.68/3471.94 c #Conflicts: 1914000 | #Constraints: 32795
3461.68/3471.94 c #Conflicts: 1915000 | #Constraints: 33795
3461.68/3471.94 c #Conflicts: 1916000 | #Constraints: 34795
3461.68/3471.94 c #Conflicts: 1917000 | #Constraints: 35795
3461.68/3471.94 c #Conflicts: 1918000 | #Constraints: 36795
3461.68/3471.94 c #Conflicts: 1919000 | #Constraints: 37795
3461.68/3471.94 c #Conflicts: 1920000 | #Constraints: 38795
3461.68/3471.94 c #Conflicts: 1921000 | #Constraints: 39795
3461.68/3471.94 c #Conflicts: 1922000 | #Constraints: 40795
3461.68/3471.94 c #Conflicts: 1923000 | #Constraints: 41795
3461.68/3471.94 c #Conflicts: 1924000 | #Constraints: 42795
3461.68/3471.94 c #Conflicts: 1925000 | #Constraints: 43795
3461.68/3471.94 c #Conflicts: 1926000 | #Constraints: 44795
3461.68/3471.94 c #Conflicts: 1927000 | #Constraints: 45795
3461.68/3471.94 c #Conflicts: 1928000 | #Constraints: 46795
3461.68/3471.94 c #Conflicts: 1929000 | #Constraints: 47795
3461.68/3471.94 c #Conflicts: 1930000 | #Constraints: 48795
3461.68/3471.94 c #Conflicts: 1931000 | #Constraints: 49795
3461.68/3471.94 c #Conflicts: 1932000 | #Constraints: 50795
3461.68/3471.94 c #Conflicts: 1933000 | #Constraints: 51795
3461.68/3471.94 c #Conflicts: 1934000 | #Constraints: 52795
3461.68/3471.94 c #Conflicts: 1935000 | #Constraints: 53795
3461.68/3471.94 c #Conflicts: 1936000 | #Constraints: 54795
3461.68/3471.94 c #Conflicts: 1937000 | #Constraints: 55795
3461.68/3471.94 c INPROCESSING
3461.68/3471.94 c GARBAGE COLLECT
3461.68/3471.94 c #Conflicts: 1938000 | #Constraints: 29201
3461.68/3471.94 c #Conflicts: 1939000 | #Constraints: 30201
3461.68/3471.94 c #Conflicts: 1940000 | #Constraints: 31201
3461.68/3471.94 c #Conflicts: 1941000 | #Constraints: 32201
3461.68/3471.94 c #Conflicts: 1942000 | #Constraints: 33201
3461.68/3471.94 c #Conflicts: 1943000 | #Constraints: 34201
3461.68/3471.94 c #Conflicts: 1944000 | #Constraints: 35201
3461.68/3471.94 c #Conflicts: 1945000 | #Constraints: 36201
3461.68/3471.94 c #Conflicts: 1946000 | #Constraints: 37201
3461.68/3471.94 c #Conflicts: 1947000 | #Constraints: 38201
3461.68/3471.94 c #Conflicts: 1948000 | #Constraints: 39201
3461.68/3471.94 c #Conflicts: 1949000 | #Constraints: 40201
3461.68/3471.94 c #Conflicts: 1950000 | #Constraints: 41201
3461.68/3471.94 c #Conflicts: 1951000 | #Constraints: 42201
3461.68/3471.94 c #Conflicts: 1952000 | #Constraints: 43201
3600.06/3610.70 c #Conflicts: 1953000 | #Constraints: 44201
3600.06/3610.70 c #Conflicts: 1954000 | #Constraints: 45201
3600.06/3610.70 c #Conflicts: 1955000 | #Constraints: 46201
3600.06/3610.70 c #Conflicts: 1956000 | #Constraints: 47201
3600.06/3610.70 c #Conflicts: 1957000 | #Constraints: 48201
3600.06/3610.70 c #Conflicts: 1958000 | #Constraints: 49201
3600.06/3610.70 c #Conflicts: 1959000 | #Constraints: 50201
3600.06/3610.70 c #Conflicts: 1960000 | #Constraints: 51201
3600.06/3610.70 c #Conflicts: 1961000 | #Constraints: 52201
3600.06/3610.70 c #Conflicts: 1962000 | #Constraints: 53201
3600.06/3610.70 c #Conflicts: 1963000 | #Constraints: 54201
3600.06/3610.70 c #Conflicts: 1964000 | #Constraints: 55201
3600.06/3610.70 c #Conflicts: 1965000 | #Constraints: 56201
3600.06/3610.70 c INPROCESSING
3600.06/3610.70 c GARBAGE COLLECT
3600.06/3610.70 c #Conflicts: 1966000 | #Constraints: 29396
3600.06/3610.70 c #Conflicts: 1967000 | #Constraints: 30396
3600.06/3610.70 c #Conflicts: 1968000 | #Constraints: 31396
3600.06/3610.70 c #Conflicts: 1969000 | #Constraints: 32396
3600.06/3610.70 c #Conflicts: 1970000 | #Constraints: 33396
3600.06/3610.70 c #Conflicts: 1971000 | #Constraints: 34396
3600.06/3610.70 c #Conflicts: 1972000 | #Constraints: 35396
3600.06/3610.70 c #Conflicts: 1973000 | #Constraints: 36396
3600.06/3610.70 c #Conflicts: 1974000 | #Constraints: 37396
3600.06/3610.70 c #Conflicts: 1975000 | #Constraints: 38396
3600.06/3610.70 c #Conflicts: 1976000 | #Constraints: 39396
3600.06/3610.70 c #Conflicts: 1977000 | #Constraints: 40396
3600.06/3610.70 c #Conflicts: 1978000 | #Constraints: 41396
3600.06/3610.70 c #Conflicts: 1979000 | #Constraints: 42396
3600.06/3610.70 c #Conflicts: 1980000 | #Constraints: 43396
3600.06/3610.70 c #Conflicts: 1981000 | #Constraints: 44396
3600.06/3610.70 c #Conflicts: 1982000 | #Constraints: 45396
3600.06/3610.70 c #Conflicts: 1983000 | #Constraints: 46396
3600.06/3610.70 c #Conflicts: 1984000 | #Constraints: 47396
3600.06/3610.70 c #Conflicts: 1985000 | #Constraints: 48396
3600.06/3610.70 c #Conflicts: 1986000 | #Constraints: 49396
3600.06/3610.70 c #Conflicts: 1987000 | #Constraints: 50396
3600.06/3610.70 c #Conflicts: 1988000 | #Constraints: 51396
3600.06/3610.70 c #Conflicts: 1989000 | #Constraints: 52396
3600.06/3610.70 c #Conflicts: 1990000 | #Constraints: 53396
3600.06/3610.70 c #Conflicts: 1991000 | #Constraints: 54396
3600.06/3610.70 c #Conflicts: 1992000 | #Constraints: 55396
3600.06/3610.70 c #Conflicts: 1993000 | #Constraints: 56396
3600.06/3610.70 c INPROCESSING
3600.06/3610.70 c GARBAGE COLLECT
3600.06/3610.70 c #Conflicts: 1994000 | #Constraints: 29390
3600.06/3610.70 c #Conflicts: 1995000 | #Constraints: 30390
3600.06/3610.70 c cpu time 3588.79 s
3600.06/3610.70 c deterministic time 1 1.00e+00
3600.06/3610.70 c optimization time 3588.79 s
3600.06/3610.70 c total solve time 0 s
3600.06/3610.70 c core-guided solve time 0 s
3600.06/3610.70 c propagation time 0.000106 s
3600.06/3610.70 c conflict analysis time 0 s
3600.06/3610.70 c propagations 0
3600.06/3610.70 c resolve steps 0
3600.06/3610.70 c decisions 0
3600.06/3610.70 c conflicts 0
3600.06/3610.70 c restarts 0
3600.06/3610.70 c inprocessing phases 0
3600.06/3610.70 c garbage collections 0 ,( -nan )
3600.06/3610.70 c input clauses 1 ,( 0.21 )
3600.06/3610.70 c input cardinalities 0 ,( 0.00 )
3600.06/3610.70 c input general constraints 469 ,( 99.79 )
3600.06/3610.70 c input average constraint length 9.12
3600.06/3610.70 c input average constraint degree 28.65
3600.06/3610.70 c learned clauses 0 ,( 0.00 )
3600.06/3610.70 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.70 c learned general constraints 0 ,( 0.00 )
3600.06/3610.70 c learned average constraint length 0.00
3600.06/3610.70 c learned average constraint degree 0.00
3600.06/3610.70 c watched CF 32, 64, 128, Arb: 5 , 0 , 0 , 0
3600.06/3610.70 c counting CF 32, 64, 128, Arb: 465 , 0 , 0 , 0
3600.06/3610.70 c watched constraints 5 ,( 1.07 )
3600.06/3610.70 c counting constraints 464 ,( 98.93 )
3600.06/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.70 c gcd simplifications 1
3600.06/3610.70 c detected cardinalities 0
3600.06/3610.70 c weakened non-implied lits 0
3600.06/3610.70 c weakened non-implying lits 0
3600.06/3610.70 c original variables 470
3600.06/3610.70 c clausal propagations 0
3600.06/3610.70 c cardinality propagations 0
3600.06/3610.70 c watched propagations 0
3600.06/3610.70 c counting propagations 0
3600.06/3610.70 c watch lookups 0
3600.06/3610.70 c watch backjump lookups 0
3600.06/3610.70 c watch checks 0
3600.06/3610.70 c propagation checks 0
3600.06/3610.70 c constraint additions 0
3600.06/3610.70 c trail pops 0
3600.06/3610.70 c formula constraints 470
3600.06/3610.70 c learned constraints 0
3600.06/3610.70 c bound constraints 0
3600.06/3610.70 c core-guided constraints 0
3600.06/3610.70 c encountered formula constraints 0
3600.06/3610.70 c encountered learned constraints 0
3600.06/3610.70 c encountered bound constraints 0
3600.06/3610.70 c encountered core-guided constraints 0
3600.06/3610.70 c LP total time 0 s
3600.06/3610.70 c LP solve time 0 s
3600.06/3610.70 c LP constraints added 0
3600.06/3610.70 c LP constraints removed 0
3600.06/3610.70 c LP pivots internal 0
3600.06/3610.70 c LP pivots root 0
3600.06/3610.70 c LP calls 0
3600.06/3610.70 c LP optimalities 0
3600.06/3610.70 c LP no pivot count 0
3600.06/3610.70 c LP infeasibilities 0
3600.06/3610.70 c LP valid Farkas constraints 0
3600.06/3610.70 c LP learned Farkas constraints 0
3600.06/3610.70 c LP basis resets 0
3600.06/3610.70 c LP cycling count 0
3600.06/3610.70 c LP singular count 0
3600.06/3610.70 c LP no primal count 0
3600.06/3610.70 c LP no farkas count 0
3600.06/3610.70 c LP other issue count 0
3600.06/3610.70 c LP Gomory cuts 0
3600.06/3610.70 c LP learned cuts 0
3600.06/3610.70 c LP deleted cuts 0
3600.06/3610.70 c LP encountered Gomory constraints 0
3600.06/3610.70 c LP encountered Farkas constraints 0
3600.06/3610.70 c LP encountered learned Farkas constraints 0
3600.06/3610.70 c CG auxiliary variables introduced 0
3600.06/3610.70 c CG solutions found 0
3600.06/3610.70 c CG cores constructed 0
3600.06/3610.70 c CG core cardinality constraints returned 0
3600.06/3610.70 c CG unit cores 0
3600.06/3610.70 c CG single cores 0
3600.06/3610.70 c CG blocks removed during cardinality reduction 0
3600.06/3610.70 c CG first core best 0
3600.06/3610.70 c CG decision core best 0
3600.06/3610.70 c CG core reduction tie 0
3600.06/3610.70 c CG core degree average 0.00
3600.06/3610.70 c CG core slack average 0.00
3600.06/3610.70 c CG core upper bound improvements 0
3600.06/3610.70 c STR number of successful calls 0
3600.06/3610.70 c STR number of unsuccessful calls 0
3600.06/3610.70 c STR number of inconclusive calls 0
3600.06/3610.70 c STR number of successful attempts 0
3600.06/3610.70 c STR number of unsuccessful attempts 0
3600.06/3610.70 c STR number of inconclusive attempts 0
3600.06/3610.70 c STR average degree increase per successful call inf
3600.06/3610.70 c STR average degree increase per successful attempt inf
3600.06/3610.70 c STR total number of conflicts for successful attempts 0
3600.06/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.70 c STR average number of conflicts per successful attempt inf
3600.06/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.70 c AVG.sumWPerc 71.30
3600.06/3610.70 c bigint constraints 0
3600.06/3610.70 s UNKNOWN
3600.06/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63008 MiB free)
memory of node 1: 64465 MiB (64051 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489230-1751355440/watcher-4489230-1751355440 -o /tmp/evaluation-result-4489230-1751355440/solver-4489230-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50576 --watchdog 3760 run-opt.sh HOME/instance-4489230-1751355440.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=51382, runsolver pid=51379
[startup+0.100059 s]*
/proc/loadavg: 4.04 4.07 4.08 4/262 51389
/proc/meminfo: memFree=130092804/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=64104 memory=16776 CPUtime=0.08 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 1635 0 0 0 8 0 0 0 20 0 1 0 51221504 65642496 4194 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 16026 4194 2336 1147 0 3453 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68296 KiB
Current children cumulated memory: 19720 KiB
[startup+0.204627 s]*
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130092676/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=64384 memory=17032 CPUtime=0.18 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 1704 0 0 0 17 1 0 0 20 0 1 0 51221504 65929216 4258 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 16096 4258 2336 1147 0 3523 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68576 KiB
Current children cumulated memory: 19976 KiB
[startup+0.305052 s]*
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130092948/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=67972 memory=21256 CPUtime=0.28 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 2756 0 0 0 27 1 0 0 20 0 1 0 51221504 69603328 5314 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 16993 5314 2336 1147 0 4420 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72164 KiB
Current children cumulated memory: 24200 KiB
[startup+0.700158 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130085388/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=77336 memory=27784 CPUtime=0.67 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 4390 0 0 0 65 2 0 0 20 0 1 0 51221504 79192064 6946 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 19334 6946 2336 1147 0 6761 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81528 KiB
Current children cumulated memory: 30728 KiB
[startup+1.50015 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130059104/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=84636 memory=33800 CPUtime=1.47 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 5886 0 0 0 143 4 0 0 20 0 1 0 51221504 86667264 8450 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 21159 8450 2336 1147 0 8586 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 88828 KiB
Current children cumulated memory: 36744 KiB
[startup+3.10535 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130007912/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=95328 memory=45484 CPUtime=3.07 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 8294 0 0 0 300 7 0 0 20 0 1 0 51221504 97615872 11371 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 23832 11371 2336 1147 0 11259 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99520 KiB
Current children cumulated memory: 48428 KiB
[startup+6.30017 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130006524/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=102892 memory=47916 CPUtime=6.26 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 8923 0 0 0 615 11 0 0 20 0 1 0 51221504 105361408 11979 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 25723 11979 2336 1147 0 13150 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107084 KiB
Current children cumulated memory: 50860 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 51399
/proc/meminfo: memFree=129937360/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=119020 memory=64072 CPUtime=12.64 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 11944 0 0 0 1244 20 0 0 20 0 1 0 51221504 121876480 16018 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 29755 16018 2336 1147 0 17182 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 123212 KiB
Current children cumulated memory: 67016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 51400
/proc/meminfo: memFree=129844748/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=146444 memory=78536 CPUtime=25.4 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 15551 0 0 0 2504 36 0 0 20 0 1 0 51221504 149958656 19634 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 36611 19634 2336 1147 0 24038 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 150636 KiB
Current children cumulated memory: 81480 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 51401
/proc/meminfo: memFree=129797096/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=151820 memory=92828 CPUtime=50.94 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 18111 0 0 0 5034 60 0 0 20 0 1 0 51221504 155463680 23207 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 37955 23207 2336 1147 0 25382 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 156012 KiB
Current children cumulated memory: 95772 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/269 51404
/proc/meminfo: memFree=129641952/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=193396 memory=125468 CPUtime=101.98 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 25236 0 0 0 10095 103 0 0 20 0 1 0 51221504 198037504 31367 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 48349 31367 2336 1147 0 35776 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 197588 KiB
Current children cumulated memory: 128412 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51409
/proc/meminfo: memFree=129557432/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=229524 memory=143104 CPUtime=161.78 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 28643 0 0 0 16030 148 0 0 20 0 1 0 51221504 235032576 35776 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 57381 35776 2336 1147 0 44808 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 233716 KiB
Current children cumulated memory: 146048 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 51411
/proc/meminfo: memFree=129437336/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=234464 memory=155720 CPUtime=221.59 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 30404 0 0 0 21974 185 0 0 20 0 1 0 51221504 240091136 38930 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 58616 38930 2336 1147 0 46043 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/51384/statm: 121797 90700 2336 1147 0 109224 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 491380 KiB
Current children cumulated memory: 365744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/270 51575
/proc/meminfo: memFree=128475212/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=487188 memory=362800 CPUtime=3153.06 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 77318 0 0 0 314266 1040 0 0 20 0 1 0 51221504 498880512 90700 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 121797 90700 2336 1147 0 109224 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 491380 KiB
Current children cumulated memory: 365744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 51577
/proc/meminfo: memFree=128470968/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=487712 memory=363440 CPUtime=3212.87 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 77452 0 0 0 320234 1053 0 0 20 0 1 0 51221504 499417088 90860 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 121928 90860 2336 1147 0 109355 0
Current children cumulated CPU time: 3212.87 s
Current children cumulated vsize: 491904 KiB
Current children cumulated memory: 366384 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 51579
/proc/meminfo: memFree=128470936/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=488736 memory=363740 CPUtime=3272.68 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 77798 0 0 0 326203 1065 0 0 20 0 1 0 51221504 500465664 90935 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 122184 90935 2336 1147 0 109611 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 492928 KiB
Current children cumulated memory: 366684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 51586
/proc/meminfo: memFree=128445108/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=492148 memory=367408 CPUtime=3332.49 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 78661 0 0 0 332174 1075 0 0 20 0 1 0 51221504 503959552 91852 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 123037 91852 2336 1147 0 110464 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 496340 KiB
Current children cumulated memory: 370352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 51588
/proc/meminfo: memFree=128418708/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=492148 memory=367408 CPUtime=3392.3 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 78661 0 0 0 338141 1089 0 0 20 0 1 0 51221504 503959552 91852 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 123037 91852 2336 1147 0 110464 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 496340 KiB
Current children cumulated memory: 370352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 51590
/proc/meminfo: memFree=128418584/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=494120 memory=368740 CPUtime=3452.1 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 79235 0 0 0 344111 1099 0 0 20 0 1 0 51221504 505978880 92185 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 123530 92185 2336 1147 0 110957 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 498312 KiB
Current children cumulated memory: 371684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 51592
/proc/meminfo: memFree=128410220/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=494120 memory=370532 CPUtime=3511.92 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 79245 0 0 0 350082 1110 0 0 20 0 1 0 51221504 505978880 92633 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 123530 92633 2336 1147 0 110957 0
Current children cumulated CPU time: 3511.92 s
Current children cumulated vsize: 498312 KiB
Current children cumulated memory: 373476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51594
/proc/meminfo: memFree=128361656/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=494892 memory=388516 CPUtime=3571.75 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 79399 0 0 0 356054 1121 0 0 20 0 1 0 51221504 506769408 97129 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 123723 97129 2336 1147 0 111150 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 499084 KiB
Current children cumulated memory: 391460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.25 4.12 4.10 5/262 51600
/proc/meminfo: memFree=128939156/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=502392 memory=400072 CPUtime=3600.06 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 81171 0 0 0 358879 1127 0 0 20 0 1 0 51221504 514449408 100018 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 125598 100018 2336 1147 0 113025 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 506584 KiB
Current children cumulated memory: 403016 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 51382 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000622 s, system=0.001244 s
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 51384 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.79 s, system=11.2848 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+3610.7 s]
/proc/loadavg: 4.25 4.12 4.10 5/262 51600
/proc/meminfo: memFree=128939156/131249996 swapFree=33006296/33010684
[pid=51382] ppid=51379 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/51382/stat : 51382 (run-opt.sh) S 51379 51382 50566 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51221503 4292608 736 18446744073709551615 93984360800256 93984361694789 140735183376112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93984361933840 93984361981584 93984365629440 140735183378797 140735183378920 140735183378920 140735183384522 0
/proc/51382/statm: 1048 736 672 219 0 110 0
[pid=51384] ppid=51382 vsize=502392 memory=400072 CPUtime=3600.06 cores=0,2
/proc/51384/stat : 51384 (roundingsat) R 51382 51382 50566 0 -1 4194304 81171 0 0 0 358879 1127 0 0 20 0 1 0 51221504 514449408 100018 18446744073709551615 4227072 8923433 140723047776528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32985088 140723047782818 140723047782952 140723047782952 140723047788522 0
/proc/51384/statm: 125598 100018 2336 1147 0 113025 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 506584 KiB
Current children cumulated memory: 403016 KiB
Child status: 2
Real time (s): 3610.71
CPU time (s): 3600.08
CPU user time (s): 3588.79
CPU system time (s): 11.2848
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 506584
Max. memory (cumulated for all children) (KiB): 403016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.79
system time used= 11.2848
maximum resident set size= 400584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81397
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= 284
involuntary context switches= 4837
# summary of solver processes directly reported to runsolver:
# pid: 51382,51384
# total CPU time (s): 3600.08
# total CPU user time (s): 3588.79
# total CPU system time (s): 11.2848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.992 second user time and 18.0197 second system time
The end
Begin job on nodeC015 at 2025-07-01 09:37:20
IDJOB=4489230
IDBENCH=147543
IDSOLVER=3350
FILE ID=nodeC015/4489230-1751355440
RUNJOBID= nodeC015-1751348216-50576
SLURM_JOB_ID= 9598120
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489230-1751355440/watcher-4489230-1751355440 -o /tmp/evaluation-result-4489230-1751355440/solver-4489230-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50576 --watchdog 3760 run-opt.sh HOME/instance-4489230-1751355440.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=1503438144
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.082
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1901.042
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.230
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.095
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.856
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2059.332
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2299.587
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130119976 kB
MemAvailable: 129766792 kB
Buffers: 1508 kB
Cached: 409232 kB
SwapCached: 3876 kB
Active: 322312 kB
Inactive: 175156 kB
Active(anon): 51792 kB
Inactive(anon): 49080 kB
Active(file): 270520 kB
Inactive(file): 126076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22052 kB
Writeback: 12 kB
AnonPages: 86312 kB
Mapped: 104560 kB
Shmem: 14144 kB
KReclaimable: 132392 kB
Slab: 222640 kB
SReclaimable: 132392 kB
SUnreclaim: 90248 kB
KernelStack: 4064 kB
PageTables: 2956 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 403988 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 10:37:31