0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 1073 #constraints 832
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.016425
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.018153
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.033054
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.042107
0.00/0.10 c GLOBAL bounds - >= 0 @ 0.051168
0.08/0.11 c GLOBAL bounds - >= 0 @ 0.061409
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.083623
0.08/0.15 c GLOBAL bounds - >= 0 @ 0.094243
0.08/0.16 c GLOBAL bounds - >= 0 @ 0.106017
0.08/0.18 c GLOBAL bounds - >= 0 @ 0.119965
0.08/0.19 c GLOBAL bounds - >= 0 @ 0.13138
0.08/0.20 c GLOBAL bounds - >= 0 @ 0.141103
0.19/0.22 c GLOBAL bounds - >= 0 @ 0.162095
0.19/0.25 c GLOBAL bounds - >= 0 @ 0.179988
0.19/0.28 c GLOBAL bounds - >= 0 @ 0.210035
0.19/0.31 c GLOBAL bounds - >= 0 @ 0.239951
0.29/0.39 c GLOBAL bounds - >= 0 @ 0.316026
0.39/0.43 c GLOBAL bounds - >= 0 @ 0.344133
0.39/0.46 c GLOBAL bounds - >= 0 @ 0.371233
0.76/0.83 c #Conflicts: 1000 | #Constraints: 1866
0.76/0.83 c GLOBAL bounds - >= 0 @ 0.724513
0.86/0.90 c GLOBAL bounds - >= 0 @ 0.782885
0.86/0.98 c GLOBAL bounds - >= 0 @ 0.859025
0.97/1.02 c GLOBAL bounds - >= 0 @ 0.90228
0.97/1.06 c GLOBAL bounds - >= 0 @ 0.936211
1.07/1.12 c GLOBAL bounds - >= 0 @ 0.997669
1.07/1.16 c GLOBAL bounds - >= 0 @ 1.03557
1.07/1.19 c GLOBAL bounds - >= 0 @ 1.05871
1.16/1.23 c GLOBAL bounds - >= 0 @ 1.09872
1.16/1.28 c GLOBAL bounds - >= 0 @ 1.14268
1.26/1.35 c #Conflicts: 2000 | #Constraints: 2886
1.26/1.35 c INPROCESSING
1.26/1.35 c GARBAGE COLLECT
1.26/1.35 c GLOBAL bounds - >= 0 @ 1.2066
1.36/1.40 c GLOBAL bounds - >= 0 @ 1.25635
1.45/1.51 c GLOBAL bounds - >= 0 @ 1.36831
1.45/1.54 c GLOBAL bounds - >= 0 @ 1.40033
1.56/1.61 c GLOBAL bounds - >= 0 @ 1.46259
2.36/2.44 c #Conflicts: 3000 | #Constraints: 2917
2.36/2.44 c #Conflicts: 4000 | #Constraints: 3917
2.36/2.44 c INPROCESSING
2.36/2.44 c GARBAGE COLLECT
2.36/2.44 c #Conflicts: 5000 | #Constraints: 3354
2.36/2.44 c GLOBAL bounds - >= 0 @ 2.24583
3.15/3.21 c #Conflicts: 6000 | #Constraints: 4356
3.15/3.21 c INPROCESSING
3.15/3.21 c GARBAGE COLLECT
3.15/3.21 c #Conflicts: 7000 | #Constraints: 3375
3.15/3.21 c GLOBAL bounds - >= 0 @ 3.00358
3.45/3.50 c #Conflicts: 8000 | #Constraints: 4377
3.45/3.50 c GLOBAL bounds - >= 0 @ 3.28957
3.45/3.58 c #Conflicts: 9000 | #Constraints: 5379
3.45/3.58 c GLOBAL bounds - >= 0 @ 3.36461
3.55/3.67 c INPROCESSING
3.55/3.67 c GARBAGE COLLECT
3.55/3.67 c GLOBAL bounds - >= 0 @ 3.44724
3.65/3.73 c GLOBAL bounds - >= 0 @ 3.51243
4.96/5.02 c #Conflicts: 10000 | #Constraints: 4082
4.96/5.02 c #Conflicts: 11000 | #Constraints: 5082
4.96/5.02 c #Conflicts: 12000 | #Constraints: 6082
4.96/5.02 c INPROCESSING
4.96/5.02 c GARBAGE COLLECT
4.96/5.02 c GLOBAL bounds - >= 0 @ 4.7686
4.96/5.08 c GLOBAL bounds - >= 0 @ 4.82202
5.06/5.14 c #Conflicts: 13000 | #Constraints: 4552
5.06/5.14 c GLOBAL bounds - >= 0 @ 4.87821
5.06/5.18 c GLOBAL bounds - >= 0 @ 4.91762
5.15/5.22 c GLOBAL bounds - >= 0 @ 4.95282
5.15/5.27 c GLOBAL bounds - >= 0 @ 5.00591
5.74/5.85 c #Conflicts: 14000 | #Constraints: 5560
5.74/5.85 c #Conflicts: 15000 | #Constraints: 6560
5.74/5.85 c INPROCESSING
5.74/5.85 c GARBAGE COLLECT
5.74/5.85 c GLOBAL bounds - >= 0 @ 5.56575
5.95/6.04 c #Conflicts: 16000 | #Constraints: 4787
5.95/6.04 c GLOBAL bounds - >= 0 @ 5.75062
6.06/6.13 c GLOBAL bounds - >= 0 @ 5.8446
6.24/6.34 c #Conflicts: 17000 | #Constraints: 5791
6.24/6.34 c GLOBAL bounds - >= 0 @ 6.0491
7.06/7.17 c #Conflicts: 18000 | #Constraints: 6793
7.06/7.17 c INPROCESSING
7.06/7.17 c GARBAGE COLLECT
7.06/7.17 c #Conflicts: 19000 | #Constraints: 4821
7.06/7.17 c GLOBAL bounds - >= 0 @ 6.86281
7.15/7.24 c #Conflicts: 20000 | #Constraints: 5823
7.15/7.24 c GLOBAL bounds - >= 0 @ 6.92373
7.54/7.65 c #Conflicts: 21000 | #Constraints: 6825
7.54/7.65 c GLOBAL bounds - >= 0 @ 7.315
8.43/8.55 c INPROCESSING
8.43/8.55 c GARBAGE COLLECT
8.43/8.55 c #Conflicts: 22000 | #Constraints: 4626
8.43/8.55 c #Conflicts: 23000 | #Constraints: 5626
8.43/8.55 c #Conflicts: 24000 | #Constraints: 6626
8.43/8.55 c GLOBAL bounds - >= 0 @ 8.19718
9.05/9.14 c #Conflicts: 25000 | #Constraints: 7628
9.05/9.14 c INPROCESSING
9.05/9.14 c GARBAGE COLLECT
9.05/9.14 c #Conflicts: 26000 | #Constraints: 5233
9.05/9.14 c GLOBAL bounds - >= 0 @ 8.771
9.95/10.02 c #Conflicts: 27000 | #Constraints: 6235
9.95/10.02 c #Conflicts: 28000 | #Constraints: 7235
9.95/10.02 c GLOBAL bounds - >= 0 @ 9.63188
16.22/16.31 c #Conflicts: 29000 | #Constraints: 8237
16.22/16.31 c INPROCESSING
16.22/16.31 c GARBAGE COLLECT
16.22/16.31 c #Conflicts: 30000 | #Constraints: 5619
16.22/16.31 c #Conflicts: 31000 | #Constraints: 6619
16.22/16.31 c #Conflicts: 32000 | #Constraints: 7619
16.22/16.31 c #Conflicts: 33000 | #Constraints: 8619
16.22/16.31 c INPROCESSING
16.22/16.31 c GARBAGE COLLECT
16.22/16.31 c #Conflicts: 34000 | #Constraints: 5837
16.22/16.31 c #Conflicts: 35000 | #Constraints: 6837
16.22/16.31 c #Conflicts: 36000 | #Constraints: 7837
16.22/16.31 c #Conflicts: 37000 | #Constraints: 8837
16.22/16.31 c INPROCESSING
16.22/16.31 c GARBAGE COLLECT
16.22/16.31 c #Conflicts: 38000 | #Constraints: 5864
16.22/16.31 c #Conflicts: 39000 | #Constraints: 6864
16.22/16.31 c #Conflicts: 40000 | #Constraints: 7864
16.22/16.31 c #Conflicts: 41000 | #Constraints: 8864
16.22/16.31 c INPROCESSING
16.22/16.31 c GARBAGE COLLECT
16.22/16.31 c #Conflicts: 42000 | #Constraints: 5660
16.22/16.31 c #Conflicts: 43000 | #Constraints: 6660
16.22/16.31 c #Conflicts: 44000 | #Constraints: 7660
16.22/16.31 c #Conflicts: 45000 | #Constraints: 8660
16.22/16.31 c #Conflicts: 46000 | #Constraints: 9660
16.22/16.31 c GLOBAL bounds - >= 0 @ 15.7923
56.31/56.57 c INPROCESSING
56.31/56.57 c GARBAGE COLLECT
56.31/56.57 c #Conflicts: 47000 | #Constraints: 6259
56.31/56.57 c #Conflicts: 48000 | #Constraints: 7259
56.31/56.57 c #Conflicts: 49000 | #Constraints: 8259
56.31/56.57 c #Conflicts: 50000 | #Constraints: 9259
56.31/56.57 c #Conflicts: 51000 | #Constraints: 10259
56.31/56.57 c INPROCESSING
56.31/56.57 c GARBAGE COLLECT
56.31/56.57 c #Conflicts: 52000 | #Constraints: 6670
56.31/56.57 c #Conflicts: 53000 | #Constraints: 7670
56.31/56.57 c #Conflicts: 54000 | #Constraints: 8670
56.31/56.57 c #Conflicts: 55000 | #Constraints: 9670
56.31/56.57 c #Conflicts: 56000 | #Constraints: 10670
56.31/56.57 c INPROCESSING
56.31/56.57 c GARBAGE COLLECT
56.31/56.57 c #Conflicts: 57000 | #Constraints: 6882
56.31/56.57 c #Conflicts: 58000 | #Constraints: 7882
56.31/56.57 c #Conflicts: 59000 | #Constraints: 8882
56.31/56.57 c #Conflicts: 60000 | #Constraints: 9882
56.31/56.57 c #Conflicts: 61000 | #Constraints: 10882
56.31/56.57 c INPROCESSING
56.31/56.57 c GARBAGE COLLECT
56.31/56.57 c #Conflicts: 62000 | #Constraints: 6880
56.31/56.57 c #Conflicts: 63000 | #Constraints: 7880
56.31/56.57 c #Conflicts: 64000 | #Constraints: 8880
56.31/56.57 c #Conflicts: 65000 | #Constraints: 9880
56.31/56.57 c #Conflicts: 66000 | #Constraints: 10880
56.31/56.57 c INPROCESSING
56.31/56.57 c GARBAGE COLLECT
56.31/56.57 c #Conflicts: 67000 | #Constraints: 6689
56.31/56.57 c #Conflicts: 68000 | #Constraints: 7689
56.31/56.57 c #Conflicts: 69000 | #Constraints: 8689
56.31/56.57 c #Conflicts: 70000 | #Constraints: 9689
56.31/56.57 c #Conflicts: 71000 | #Constraints: 10689
56.31/56.57 c #Conflicts: 72000 | #Constraints: 11689
56.31/56.57 c INPROCESSING
56.31/56.57 c GARBAGE COLLECT
56.31/56.57 c #Conflicts: 73000 | #Constraints: 7293
56.31/56.57 c #Conflicts: 74000 | #Constraints: 8293
56.31/56.57 c #Conflicts: 75000 | #Constraints: 9293
56.31/56.57 c #Conflicts: 76000 | #Constraints: 10293
56.31/56.57 c #Conflicts: 77000 | #Constraints: 11293
56.31/56.57 c #Conflicts: 78000 | #Constraints: 12293
56.31/56.57 c INPROCESSING
56.31/56.57 c GARBAGE COLLECT
56.31/56.57 c #Conflicts: 79000 | #Constraints: 7693
56.31/56.57 c #Conflicts: 80000 | #Constraints: 8693
56.31/56.57 c #Conflicts: 81000 | #Constraints: 9693
56.31/56.58 c #Conflicts: 82000 | #Constraints: 10693
56.31/56.58 c #Conflicts: 83000 | #Constraints: 11693
56.31/56.58 c #Conflicts: 84000 | #Constraints: 12693
56.31/56.58 c INPROCESSING
56.31/56.58 c GARBAGE COLLECT
56.31/56.58 c #Conflicts: 85000 | #Constraints: 7889
56.31/56.58 c #Conflicts: 86000 | #Constraints: 8889
56.31/56.58 c #Conflicts: 87000 | #Constraints: 9889
56.31/56.58 c #Conflicts: 88000 | #Constraints: 10889
56.31/56.58 c #Conflicts: 89000 | #Constraints: 11889
56.31/56.58 c #Conflicts: 90000 | #Constraints: 12889
56.31/56.58 c INPROCESSING
56.31/56.58 c GARBAGE COLLECT
56.31/56.58 c #Conflicts: 91000 | #Constraints: 7895
56.31/56.58 c #Conflicts: 92000 | #Constraints: 8895
56.31/56.58 c #Conflicts: 93000 | #Constraints: 9895
56.31/56.58 c #Conflicts: 94000 | #Constraints: 10895
56.31/56.58 c #Conflicts: 95000 | #Constraints: 11895
56.31/56.58 c #Conflicts: 96000 | #Constraints: 12895
56.31/56.58 c INPROCESSING
56.31/56.58 c GARBAGE COLLECT
56.31/56.58 c #Conflicts: 97000 | #Constraints: 7694
56.31/56.58 c #Conflicts: 98000 | #Constraints: 8694
56.31/56.58 c #Conflicts: 99000 | #Constraints: 9694
56.31/56.58 c #Conflicts: 100000 | #Constraints: 10694
56.31/56.58 c #Conflicts: 101000 | #Constraints: 11694
56.31/56.58 c #Conflicts: 102000 | #Constraints: 12694
56.31/56.58 c #Conflicts: 103000 | #Constraints: 13694
56.31/56.58 c INPROCESSING
56.31/56.58 c GARBAGE COLLECT
56.31/56.58 c #Conflicts: 104000 | #Constraints: 8295
56.31/56.58 c #Conflicts: 105000 | #Constraints: 9295
56.31/56.58 c #Conflicts: 106000 | #Constraints: 10295
56.31/56.58 c #Conflicts: 107000 | #Constraints: 11295
56.31/56.58 c #Conflicts: 108000 | #Constraints: 12295
56.31/56.58 c #Conflicts: 109000 | #Constraints: 13295
56.31/56.58 c #Conflicts: 110000 | #Constraints: 14295
56.31/56.58 c INPROCESSING
56.31/56.58 c GARBAGE COLLECT
56.31/56.58 c #Conflicts: 111000 | #Constraints: 8698
56.31/56.58 c #Conflicts: 112000 | #Constraints: 9698
56.31/56.58 c #Conflicts: 113000 | #Constraints: 10698
56.31/56.58 c #Conflicts: 114000 | #Constraints: 11698
56.31/56.58 c #Conflicts: 115000 | #Constraints: 12698
56.31/56.58 c #Conflicts: 116000 | #Constraints: 13698
56.31/56.58 c #Conflicts: 117000 | #Constraints: 14698
56.31/56.58 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 118000 | #Constraints: 8896
114.25/114.61 c #Conflicts: 119000 | #Constraints: 9896
114.25/114.61 c #Conflicts: 120000 | #Constraints: 10896
114.25/114.61 c #Conflicts: 121000 | #Constraints: 11896
114.25/114.61 c #Conflicts: 122000 | #Constraints: 12896
114.25/114.61 c #Conflicts: 123000 | #Constraints: 13896
114.25/114.61 c #Conflicts: 124000 | #Constraints: 14896
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 125000 | #Constraints: 8899
114.25/114.61 c #Conflicts: 126000 | #Constraints: 9899
114.25/114.61 c #Conflicts: 127000 | #Constraints: 10899
114.25/114.61 c #Conflicts: 128000 | #Constraints: 11899
114.25/114.61 c #Conflicts: 129000 | #Constraints: 12899
114.25/114.61 c #Conflicts: 130000 | #Constraints: 13899
114.25/114.61 c #Conflicts: 131000 | #Constraints: 14899
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 132000 | #Constraints: 8695
114.25/114.61 c #Conflicts: 133000 | #Constraints: 9695
114.25/114.61 c #Conflicts: 134000 | #Constraints: 10695
114.25/114.61 c #Conflicts: 135000 | #Constraints: 11695
114.25/114.61 c #Conflicts: 136000 | #Constraints: 12695
114.25/114.61 c #Conflicts: 137000 | #Constraints: 13695
114.25/114.61 c #Conflicts: 138000 | #Constraints: 14695
114.25/114.61 c #Conflicts: 139000 | #Constraints: 15695
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 140000 | #Constraints: 9299
114.25/114.61 c #Conflicts: 141000 | #Constraints: 10299
114.25/114.61 c #Conflicts: 142000 | #Constraints: 11299
114.25/114.61 c #Conflicts: 143000 | #Constraints: 12299
114.25/114.61 c #Conflicts: 144000 | #Constraints: 13299
114.25/114.61 c #Conflicts: 145000 | #Constraints: 14299
114.25/114.61 c #Conflicts: 146000 | #Constraints: 15299
114.25/114.61 c #Conflicts: 147000 | #Constraints: 16299
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 148000 | #Constraints: 9695
114.25/114.61 c #Conflicts: 149000 | #Constraints: 10695
114.25/114.61 c #Conflicts: 150000 | #Constraints: 11695
114.25/114.61 c #Conflicts: 151000 | #Constraints: 12695
114.25/114.61 c #Conflicts: 152000 | #Constraints: 13695
114.25/114.61 c #Conflicts: 153000 | #Constraints: 14695
114.25/114.61 c #Conflicts: 154000 | #Constraints: 15695
114.25/114.61 c #Conflicts: 155000 | #Constraints: 16695
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 156000 | #Constraints: 9902
114.25/114.61 c #Conflicts: 157000 | #Constraints: 10902
114.25/114.61 c #Conflicts: 158000 | #Constraints: 11902
114.25/114.61 c #Conflicts: 159000 | #Constraints: 12902
114.25/114.61 c #Conflicts: 160000 | #Constraints: 13902
114.25/114.61 c #Conflicts: 161000 | #Constraints: 14902
114.25/114.61 c #Conflicts: 162000 | #Constraints: 15902
114.25/114.61 c #Conflicts: 163000 | #Constraints: 16902
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 164000 | #Constraints: 9892
114.25/114.61 c #Conflicts: 165000 | #Constraints: 10892
114.25/114.61 c #Conflicts: 166000 | #Constraints: 11892
114.25/114.61 c #Conflicts: 167000 | #Constraints: 12892
114.25/114.61 c #Conflicts: 168000 | #Constraints: 13892
114.25/114.61 c #Conflicts: 169000 | #Constraints: 14892
114.25/114.61 c #Conflicts: 170000 | #Constraints: 15892
114.25/114.61 c #Conflicts: 171000 | #Constraints: 16892
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 172000 | #Constraints: 9698
114.25/114.61 c #Conflicts: 173000 | #Constraints: 10698
114.25/114.61 c #Conflicts: 174000 | #Constraints: 11698
114.25/114.61 c #Conflicts: 175000 | #Constraints: 12698
114.25/114.61 c #Conflicts: 176000 | #Constraints: 13698
114.25/114.61 c #Conflicts: 177000 | #Constraints: 14698
114.25/114.61 c #Conflicts: 178000 | #Constraints: 15698
114.25/114.61 c #Conflicts: 179000 | #Constraints: 16698
114.25/114.61 c #Conflicts: 180000 | #Constraints: 17698
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 181000 | #Constraints: 10299
114.25/114.61 c #Conflicts: 182000 | #Constraints: 11299
114.25/114.61 c #Conflicts: 183000 | #Constraints: 12299
114.25/114.61 c #Conflicts: 184000 | #Constraints: 13299
114.25/114.61 c #Conflicts: 185000 | #Constraints: 14299
114.25/114.61 c #Conflicts: 186000 | #Constraints: 15299
114.25/114.61 c #Conflicts: 187000 | #Constraints: 16299
114.25/114.61 c #Conflicts: 188000 | #Constraints: 17299
114.25/114.61 c #Conflicts: 189000 | #Constraints: 18299
114.25/114.61 c INPROCESSING
114.25/114.61 c GARBAGE COLLECT
114.25/114.61 c #Conflicts: 190000 | #Constraints: 10701
184.06/184.63 c #Conflicts: 191000 | #Constraints: 11701
184.06/184.63 c #Conflicts: 192000 | #Constraints: 12701
184.06/184.63 c #Conflicts: 193000 | #Constraints: 13701
184.06/184.63 c #Conflicts: 194000 | #Constraints: 14701
184.06/184.63 c #Conflicts: 195000 | #Constraints: 15701
184.06/184.63 c #Conflicts: 196000 | #Constraints: 16701
184.06/184.63 c #Conflicts: 197000 | #Constraints: 17701
184.06/184.63 c #Conflicts: 198000 | #Constraints: 18701
184.06/184.63 c INPROCESSING
184.06/184.63 c GARBAGE COLLECT
184.06/184.63 c #Conflicts: 199000 | #Constraints: 10900
184.06/184.63 c #Conflicts: 200000 | #Constraints: 11900
184.06/184.63 c #Conflicts: 201000 | #Constraints: 12900
184.06/184.63 c #Conflicts: 202000 | #Constraints: 13900
184.06/184.63 c #Conflicts: 203000 | #Constraints: 14900
184.06/184.63 c #Conflicts: 204000 | #Constraints: 15900
184.06/184.63 c #Conflicts: 205000 | #Constraints: 16900
184.06/184.63 c #Conflicts: 206000 | #Constraints: 17900
184.06/184.63 c #Conflicts: 207000 | #Constraints: 18900
184.06/184.63 c INPROCESSING
184.06/184.63 c GARBAGE COLLECT
184.06/184.63 c #Conflicts: 208000 | #Constraints: 10899
184.06/184.63 c #Conflicts: 209000 | #Constraints: 11899
184.06/184.63 c #Conflicts: 210000 | #Constraints: 12899
184.06/184.63 c #Conflicts: 211000 | #Constraints: 13899
184.06/184.63 c #Conflicts: 212000 | #Constraints: 14899
184.06/184.63 c #Conflicts: 213000 | #Constraints: 15899
184.06/184.63 c #Conflicts: 214000 | #Constraints: 16899
184.06/184.63 c #Conflicts: 215000 | #Constraints: 17899
184.06/184.63 c #Conflicts: 216000 | #Constraints: 18899
184.06/184.63 c INPROCESSING
184.06/184.63 c GARBAGE COLLECT
184.06/184.63 c #Conflicts: 217000 | #Constraints: 10700
184.06/184.63 c #Conflicts: 218000 | #Constraints: 11700
184.06/184.63 c #Conflicts: 219000 | #Constraints: 12700
184.06/184.63 c #Conflicts: 220000 | #Constraints: 13700
184.06/184.63 c #Conflicts: 221000 | #Constraints: 14700
184.06/184.63 c #Conflicts: 222000 | #Constraints: 15700
184.06/184.63 c #Conflicts: 223000 | #Constraints: 16700
184.06/184.63 c #Conflicts: 224000 | #Constraints: 17700
184.06/184.63 c #Conflicts: 225000 | #Constraints: 18700
184.06/184.63 c #Conflicts: 226000 | #Constraints: 19700
184.06/184.63 c INPROCESSING
184.06/184.63 c GARBAGE COLLECT
184.06/184.63 c #Conflicts: 227000 | #Constraints: 11303
184.06/184.63 c #Conflicts: 228000 | #Constraints: 12303
184.06/184.63 c #Conflicts: 229000 | #Constraints: 13303
184.06/184.63 c #Conflicts: 230000 | #Constraints: 14303
184.06/184.63 c #Conflicts: 231000 | #Constraints: 15303
184.06/184.63 c #Conflicts: 232000 | #Constraints: 16303
184.06/184.63 c #Conflicts: 233000 | #Constraints: 17303
184.06/184.63 c #Conflicts: 234000 | #Constraints: 18303
184.06/184.63 c #Conflicts: 235000 | #Constraints: 19303
184.06/184.63 c #Conflicts: 236000 | #Constraints: 20303
184.06/184.63 c INPROCESSING
184.06/184.63 c GARBAGE COLLECT
184.06/184.63 c #Conflicts: 237000 | #Constraints: 11705
184.06/184.63 c #Conflicts: 238000 | #Constraints: 12705
184.06/184.63 c #Conflicts: 239000 | #Constraints: 13705
184.06/184.63 c #Conflicts: 240000 | #Constraints: 14705
184.06/184.63 c #Conflicts: 241000 | #Constraints: 15705
184.06/184.63 c #Conflicts: 242000 | #Constraints: 16705
184.06/184.63 c #Conflicts: 243000 | #Constraints: 17705
184.06/184.63 c #Conflicts: 244000 | #Constraints: 18705
184.06/184.63 c #Conflicts: 245000 | #Constraints: 19705
184.06/184.63 c #Conflicts: 246000 | #Constraints: 20705
184.06/184.63 c INPROCESSING
184.06/184.63 c GARBAGE COLLECT
184.06/184.63 c #Conflicts: 247000 | #Constraints: 11914
184.06/184.63 c #Conflicts: 248000 | #Constraints: 12914
184.06/184.63 c #Conflicts: 249000 | #Constraints: 13914
184.06/184.63 c #Conflicts: 250000 | #Constraints: 14914
184.06/184.63 c #Conflicts: 251000 | #Constraints: 15914
184.06/184.63 c #Conflicts: 252000 | #Constraints: 16914
184.06/184.63 c #Conflicts: 253000 | #Constraints: 17914
184.06/184.63 c #Conflicts: 254000 | #Constraints: 18914
184.06/184.63 c #Conflicts: 255000 | #Constraints: 19914
184.06/184.63 c #Conflicts: 256000 | #Constraints: 20914
184.06/184.63 c INPROCESSING
184.06/184.63 c GARBAGE COLLECT
184.06/184.63 c #Conflicts: 257000 | #Constraints: 11908
184.06/184.63 c #Conflicts: 258000 | #Constraints: 12908
184.06/184.63 c #Conflicts: 259000 | #Constraints: 13908
184.06/184.63 c #Conflicts: 260000 | #Constraints: 14908
184.06/184.63 c #Conflicts: 261000 | #Constraints: 15908
184.06/184.63 c #Conflicts: 262000 | #Constraints: 16908
184.06/184.63 c #Conflicts: 263000 | #Constraints: 17908
184.06/184.63 c #Conflicts: 264000 | #Constraints: 18908
261.26/262.04 c #Conflicts: 265000 | #Constraints: 19908
261.26/262.04 c #Conflicts: 266000 | #Constraints: 20908
261.26/262.04 c INPROCESSING
261.26/262.04 c GARBAGE COLLECT
261.26/262.04 c #Conflicts: 267000 | #Constraints: 11712
261.26/262.04 c #Conflicts: 268000 | #Constraints: 12712
261.26/262.04 c #Conflicts: 269000 | #Constraints: 13712
261.26/262.04 c #Conflicts: 270000 | #Constraints: 14712
261.26/262.04 c #Conflicts: 271000 | #Constraints: 15712
261.26/262.04 c #Conflicts: 272000 | #Constraints: 16712
261.26/262.04 c #Conflicts: 273000 | #Constraints: 17712
261.26/262.04 c #Conflicts: 274000 | #Constraints: 18712
261.26/262.04 c #Conflicts: 275000 | #Constraints: 19712
261.26/262.04 c #Conflicts: 276000 | #Constraints: 20712
261.26/262.04 c #Conflicts: 277000 | #Constraints: 21712
261.26/262.04 c INPROCESSING
261.26/262.04 c GARBAGE COLLECT
261.26/262.04 c #Conflicts: 278000 | #Constraints: 12310
261.26/262.04 c #Conflicts: 279000 | #Constraints: 13310
261.26/262.04 c #Conflicts: 280000 | #Constraints: 14310
261.26/262.04 c #Conflicts: 281000 | #Constraints: 15310
261.26/262.04 c #Conflicts: 282000 | #Constraints: 16310
261.26/262.04 c #Conflicts: 283000 | #Constraints: 17310
261.26/262.04 c #Conflicts: 284000 | #Constraints: 18310
261.26/262.04 c #Conflicts: 285000 | #Constraints: 19310
261.26/262.04 c #Conflicts: 286000 | #Constraints: 20310
261.26/262.04 c #Conflicts: 287000 | #Constraints: 21310
261.26/262.04 c #Conflicts: 288000 | #Constraints: 22310
261.26/262.04 c INPROCESSING
261.26/262.04 c GARBAGE COLLECT
261.26/262.04 c #Conflicts: 289000 | #Constraints: 12707
261.26/262.04 c #Conflicts: 290000 | #Constraints: 13707
261.26/262.04 c #Conflicts: 291000 | #Constraints: 14707
261.26/262.04 c #Conflicts: 292000 | #Constraints: 15707
261.26/262.04 c #Conflicts: 293000 | #Constraints: 16707
261.26/262.04 c #Conflicts: 294000 | #Constraints: 17707
261.26/262.04 c #Conflicts: 295000 | #Constraints: 18707
261.26/262.04 c #Conflicts: 296000 | #Constraints: 19707
261.26/262.04 c #Conflicts: 297000 | #Constraints: 20707
261.26/262.04 c #Conflicts: 298000 | #Constraints: 21707
261.26/262.04 c #Conflicts: 299000 | #Constraints: 22707
261.26/262.04 c INPROCESSING
261.26/262.04 c GARBAGE COLLECT
261.26/262.04 c #Conflicts: 300000 | #Constraints: 12915
261.26/262.04 c #Conflicts: 301000 | #Constraints: 13915
261.26/262.04 c #Conflicts: 302000 | #Constraints: 14915
261.26/262.04 c #Conflicts: 303000 | #Constraints: 15915
261.26/262.04 c #Conflicts: 304000 | #Constraints: 16915
261.26/262.04 c #Conflicts: 305000 | #Constraints: 17915
261.26/262.04 c #Conflicts: 306000 | #Constraints: 18915
261.26/262.04 c #Conflicts: 307000 | #Constraints: 19915
261.26/262.04 c #Conflicts: 308000 | #Constraints: 20915
261.26/262.04 c #Conflicts: 309000 | #Constraints: 21915
261.26/262.04 c #Conflicts: 310000 | #Constraints: 22915
261.26/262.04 c INPROCESSING
261.26/262.04 c GARBAGE COLLECT
261.26/262.04 c #Conflicts: 311000 | #Constraints: 12887
261.26/262.04 c #Conflicts: 312000 | #Constraints: 13887
261.26/262.04 c #Conflicts: 313000 | #Constraints: 14887
261.26/262.04 c #Conflicts: 314000 | #Constraints: 15887
261.26/262.04 c #Conflicts: 315000 | #Constraints: 16887
261.26/262.04 c #Conflicts: 316000 | #Constraints: 17887
261.26/262.04 c #Conflicts: 317000 | #Constraints: 18887
261.26/262.04 c #Conflicts: 318000 | #Constraints: 19887
261.26/262.04 c #Conflicts: 319000 | #Constraints: 20887
261.26/262.04 c #Conflicts: 320000 | #Constraints: 21887
261.26/262.04 c #Conflicts: 321000 | #Constraints: 22887
261.26/262.04 c INPROCESSING
261.26/262.04 c GARBAGE COLLECT
261.26/262.04 c #Conflicts: 322000 | #Constraints: 12698
261.26/262.04 c #Conflicts: 323000 | #Constraints: 13698
261.26/262.04 c #Conflicts: 324000 | #Constraints: 14698
261.26/262.04 c #Conflicts: 325000 | #Constraints: 15698
261.26/262.04 c #Conflicts: 326000 | #Constraints: 16698
261.26/262.04 c #Conflicts: 327000 | #Constraints: 17698
261.26/262.04 c #Conflicts: 328000 | #Constraints: 18698
261.26/262.04 c #Conflicts: 329000 | #Constraints: 19698
261.26/262.04 c #Conflicts: 330000 | #Constraints: 20698
261.26/262.04 c #Conflicts: 331000 | #Constraints: 21698
261.26/262.04 c #Conflicts: 332000 | #Constraints: 22698
261.26/262.04 c #Conflicts: 333000 | #Constraints: 23698
261.26/262.04 c INPROCESSING
261.26/262.04 c GARBAGE COLLECT
261.26/262.04 c #Conflicts: 334000 | #Constraints: 13292
261.26/262.04 c #Conflicts: 335000 | #Constraints: 14292
261.26/262.04 c #Conflicts: 336000 | #Constraints: 15292
261.26/262.04 c #Conflicts: 337000 | #Constraints: 16292
261.26/262.04 c #Conflicts: 338000 | #Constraints: 17292
261.26/262.04 c #Conflicts: 339000 | #Constraints: 18292
352.49/353.50 c #Conflicts: 340000 | #Constraints: 19292
352.49/353.50 c #Conflicts: 341000 | #Constraints: 20292
352.49/353.50 c #Conflicts: 342000 | #Constraints: 21292
352.49/353.50 c #Conflicts: 343000 | #Constraints: 22292
352.49/353.50 c #Conflicts: 344000 | #Constraints: 23292
352.49/353.50 c #Conflicts: 345000 | #Constraints: 24292
352.49/353.50 c INPROCESSING
352.49/353.50 c GARBAGE COLLECT
352.49/353.50 c #Conflicts: 346000 | #Constraints: 13691
352.49/353.50 c #Conflicts: 347000 | #Constraints: 14691
352.49/353.50 c #Conflicts: 348000 | #Constraints: 15691
352.49/353.50 c #Conflicts: 349000 | #Constraints: 16691
352.49/353.50 c #Conflicts: 350000 | #Constraints: 17691
352.49/353.50 c #Conflicts: 351000 | #Constraints: 18691
352.49/353.50 c #Conflicts: 352000 | #Constraints: 19691
352.49/353.50 c #Conflicts: 353000 | #Constraints: 20691
352.49/353.50 c #Conflicts: 354000 | #Constraints: 21691
352.49/353.50 c #Conflicts: 355000 | #Constraints: 22691
352.49/353.50 c #Conflicts: 356000 | #Constraints: 23691
352.49/353.50 c #Conflicts: 357000 | #Constraints: 24691
352.49/353.50 c INPROCESSING
352.49/353.50 c GARBAGE COLLECT
352.49/353.50 c #Conflicts: 358000 | #Constraints: 13894
352.49/353.50 c #Conflicts: 359000 | #Constraints: 14894
352.49/353.50 c #Conflicts: 360000 | #Constraints: 15894
352.49/353.50 c #Conflicts: 361000 | #Constraints: 16894
352.49/353.50 c #Conflicts: 362000 | #Constraints: 17894
352.49/353.50 c #Conflicts: 363000 | #Constraints: 18894
352.49/353.50 c #Conflicts: 364000 | #Constraints: 19894
352.49/353.50 c #Conflicts: 365000 | #Constraints: 20894
352.49/353.50 c #Conflicts: 366000 | #Constraints: 21894
352.49/353.50 c #Conflicts: 367000 | #Constraints: 22894
352.49/353.50 c #Conflicts: 368000 | #Constraints: 23894
352.49/353.50 c #Conflicts: 369000 | #Constraints: 24894
352.49/353.50 c INPROCESSING
352.49/353.50 c GARBAGE COLLECT
352.49/353.50 c #Conflicts: 370000 | #Constraints: 13909
352.49/353.50 c #Conflicts: 371000 | #Constraints: 14909
352.49/353.50 c #Conflicts: 372000 | #Constraints: 15909
352.49/353.50 c #Conflicts: 373000 | #Constraints: 16909
352.49/353.50 c #Conflicts: 374000 | #Constraints: 17909
352.49/353.50 c #Conflicts: 375000 | #Constraints: 18909
352.49/353.50 c #Conflicts: 376000 | #Constraints: 19909
352.49/353.50 c #Conflicts: 377000 | #Constraints: 20909
352.49/353.50 c #Conflicts: 378000 | #Constraints: 21909
352.49/353.50 c #Conflicts: 379000 | #Constraints: 22909
352.49/353.50 c #Conflicts: 380000 | #Constraints: 23909
352.49/353.50 c #Conflicts: 381000 | #Constraints: 24909
352.49/353.50 c INPROCESSING
352.49/353.50 c GARBAGE COLLECT
352.49/353.50 c #Conflicts: 382000 | #Constraints: 13703
352.49/353.50 c #Conflicts: 383000 | #Constraints: 14703
352.49/353.50 c #Conflicts: 384000 | #Constraints: 15703
352.49/353.50 c #Conflicts: 385000 | #Constraints: 16703
352.49/353.50 c #Conflicts: 386000 | #Constraints: 17703
352.49/353.50 c #Conflicts: 387000 | #Constraints: 18703
352.49/353.50 c #Conflicts: 388000 | #Constraints: 19703
352.49/353.50 c #Conflicts: 389000 | #Constraints: 20703
352.49/353.50 c #Conflicts: 390000 | #Constraints: 21703
352.49/353.50 c #Conflicts: 391000 | #Constraints: 22703
352.49/353.50 c #Conflicts: 392000 | #Constraints: 23703
352.49/353.50 c #Conflicts: 393000 | #Constraints: 24703
352.49/353.50 c #Conflicts: 394000 | #Constraints: 25703
352.49/353.50 c INPROCESSING
352.49/353.50 c GARBAGE COLLECT
352.49/353.50 c #Conflicts: 395000 | #Constraints: 14297
352.49/353.50 c #Conflicts: 396000 | #Constraints: 15297
352.49/353.50 c #Conflicts: 397000 | #Constraints: 16297
352.49/353.50 c #Conflicts: 398000 | #Constraints: 17297
352.49/353.50 c #Conflicts: 399000 | #Constraints: 18297
352.49/353.50 c #Conflicts: 400000 | #Constraints: 19297
352.49/353.50 c #Conflicts: 401000 | #Constraints: 20297
352.49/353.50 c #Conflicts: 402000 | #Constraints: 21297
352.49/353.50 c #Conflicts: 403000 | #Constraints: 22297
352.49/353.50 c #Conflicts: 404000 | #Constraints: 23297
352.49/353.50 c #Conflicts: 405000 | #Constraints: 24297
352.49/353.50 c #Conflicts: 406000 | #Constraints: 25297
352.49/353.50 c #Conflicts: 407000 | #Constraints: 26297
352.49/353.50 c INPROCESSING
352.49/353.50 c GARBAGE COLLECT
352.49/353.50 c #Conflicts: 408000 | #Constraints: 14698
352.49/353.50 c #Conflicts: 409000 | #Constraints: 15698
352.49/353.50 c #Conflicts: 410000 | #Constraints: 16698
352.49/353.50 c #Conflicts: 411000 | #Constraints: 17698
352.49/353.50 c #Conflicts: 412000 | #Constraints: 18698
352.49/353.50 c #Conflicts: 413000 | #Constraints: 19698
352.49/353.50 c #Conflicts: 414000 | #Constraints: 20698
449.33/450.60 c #Conflicts: 415000 | #Constraints: 21698
449.33/450.60 c #Conflicts: 416000 | #Constraints: 22698
449.33/450.60 c #Conflicts: 417000 | #Constraints: 23698
449.33/450.60 c #Conflicts: 418000 | #Constraints: 24698
449.33/450.60 c #Conflicts: 419000 | #Constraints: 25698
449.33/450.60 c #Conflicts: 420000 | #Constraints: 26698
449.33/450.60 c INPROCESSING
449.33/450.60 c GARBAGE COLLECT
449.33/450.60 c #Conflicts: 421000 | #Constraints: 14908
449.33/450.60 c #Conflicts: 422000 | #Constraints: 15908
449.33/450.60 c #Conflicts: 423000 | #Constraints: 16908
449.33/450.60 c #Conflicts: 424000 | #Constraints: 17908
449.33/450.60 c #Conflicts: 425000 | #Constraints: 18908
449.33/450.60 c #Conflicts: 426000 | #Constraints: 19908
449.33/450.60 c #Conflicts: 427000 | #Constraints: 20908
449.33/450.60 c #Conflicts: 428000 | #Constraints: 21908
449.33/450.60 c #Conflicts: 429000 | #Constraints: 22908
449.33/450.60 c #Conflicts: 430000 | #Constraints: 23908
449.33/450.60 c #Conflicts: 431000 | #Constraints: 24908
449.33/450.60 c #Conflicts: 432000 | #Constraints: 25908
449.33/450.60 c #Conflicts: 433000 | #Constraints: 26908
449.33/450.60 c INPROCESSING
449.33/450.60 c GARBAGE COLLECT
449.33/450.60 c #Conflicts: 434000 | #Constraints: 14902
449.33/450.60 c #Conflicts: 435000 | #Constraints: 15902
449.33/450.60 c #Conflicts: 436000 | #Constraints: 16902
449.33/450.60 c #Conflicts: 437000 | #Constraints: 17902
449.33/450.60 c #Conflicts: 438000 | #Constraints: 18902
449.33/450.60 c #Conflicts: 439000 | #Constraints: 19902
449.33/450.60 c #Conflicts: 440000 | #Constraints: 20902
449.33/450.60 c #Conflicts: 441000 | #Constraints: 21902
449.33/450.60 c #Conflicts: 442000 | #Constraints: 22902
449.33/450.60 c #Conflicts: 443000 | #Constraints: 23902
449.33/450.60 c #Conflicts: 444000 | #Constraints: 24902
449.33/450.60 c #Conflicts: 445000 | #Constraints: 25902
449.33/450.60 c #Conflicts: 446000 | #Constraints: 26902
449.33/450.60 c INPROCESSING
449.33/450.60 c GARBAGE COLLECT
449.33/450.60 c #Conflicts: 447000 | #Constraints: 14709
449.33/450.60 c #Conflicts: 448000 | #Constraints: 15709
449.33/450.60 c #Conflicts: 449000 | #Constraints: 16709
449.33/450.60 c #Conflicts: 450000 | #Constraints: 17709
449.33/450.60 c #Conflicts: 451000 | #Constraints: 18709
449.33/450.60 c #Conflicts: 452000 | #Constraints: 19709
449.33/450.60 c #Conflicts: 453000 | #Constraints: 20709
449.33/450.60 c #Conflicts: 454000 | #Constraints: 21709
449.33/450.60 c #Conflicts: 455000 | #Constraints: 22709
449.33/450.60 c #Conflicts: 456000 | #Constraints: 23709
449.33/450.60 c #Conflicts: 457000 | #Constraints: 24709
449.33/450.60 c #Conflicts: 458000 | #Constraints: 25709
449.33/450.60 c #Conflicts: 459000 | #Constraints: 26709
449.33/450.60 c #Conflicts: 460000 | #Constraints: 27709
449.33/450.60 c INPROCESSING
449.33/450.60 c GARBAGE COLLECT
449.33/450.60 c #Conflicts: 461000 | #Constraints: 15324
449.33/450.60 c #Conflicts: 462000 | #Constraints: 16324
449.33/450.60 c #Conflicts: 463000 | #Constraints: 17324
449.33/450.60 c #Conflicts: 464000 | #Constraints: 18324
449.33/450.60 c #Conflicts: 465000 | #Constraints: 19324
449.33/450.60 c #Conflicts: 466000 | #Constraints: 20324
449.33/450.60 c #Conflicts: 467000 | #Constraints: 21324
449.33/450.60 c #Conflicts: 468000 | #Constraints: 22324
449.33/450.60 c #Conflicts: 469000 | #Constraints: 23324
449.33/450.60 c #Conflicts: 470000 | #Constraints: 24324
449.33/450.60 c #Conflicts: 471000 | #Constraints: 25324
449.33/450.60 c #Conflicts: 472000 | #Constraints: 26324
449.33/450.60 c #Conflicts: 473000 | #Constraints: 27324
449.33/450.60 c #Conflicts: 474000 | #Constraints: 28324
449.33/450.60 c INPROCESSING
449.33/450.60 c GARBAGE COLLECT
449.33/450.60 c #Conflicts: 475000 | #Constraints: 15711
449.33/450.60 c #Conflicts: 476000 | #Constraints: 16711
449.33/450.60 c #Conflicts: 477000 | #Constraints: 17711
449.33/450.60 c #Conflicts: 478000 | #Constraints: 18711
449.33/450.60 c #Conflicts: 479000 | #Constraints: 19711
449.33/450.60 c #Conflicts: 480000 | #Constraints: 20711
449.33/450.60 c #Conflicts: 481000 | #Constraints: 21711
449.33/450.60 c #Conflicts: 482000 | #Constraints: 22711
449.33/450.60 c #Conflicts: 483000 | #Constraints: 23711
449.33/450.60 c #Conflicts: 484000 | #Constraints: 24711
449.33/450.60 c #Conflicts: 485000 | #Constraints: 25711
449.33/450.60 c #Conflicts: 486000 | #Constraints: 26711
449.33/450.60 c #Conflicts: 487000 | #Constraints: 27711
449.33/450.60 c #Conflicts: 488000 | #Constraints: 28711
449.33/450.60 c INPROCESSING
449.33/450.60 c GARBAGE COLLECT
449.33/450.60 c #Conflicts: 489000 | #Constraints: 15901
546.61/548.23 c #Conflicts: 490000 | #Constraints: 16901
546.61/548.23 c #Conflicts: 491000 | #Constraints: 17901
546.61/548.23 c #Conflicts: 492000 | #Constraints: 18901
546.61/548.23 c #Conflicts: 493000 | #Constraints: 19901
546.61/548.23 c #Conflicts: 494000 | #Constraints: 20901
546.61/548.23 c #Conflicts: 495000 | #Constraints: 21901
546.61/548.23 c #Conflicts: 496000 | #Constraints: 22901
546.61/548.23 c #Conflicts: 497000 | #Constraints: 23901
546.61/548.23 c #Conflicts: 498000 | #Constraints: 24901
546.61/548.23 c #Conflicts: 499000 | #Constraints: 25901
546.61/548.23 c #Conflicts: 500000 | #Constraints: 26901
546.61/548.23 c #Conflicts: 501000 | #Constraints: 27901
546.61/548.23 c #Conflicts: 502000 | #Constraints: 28901
546.61/548.23 c INPROCESSING
546.61/548.23 c GARBAGE COLLECT
546.61/548.23 c #Conflicts: 503000 | #Constraints: 15909
546.61/548.23 c #Conflicts: 504000 | #Constraints: 16909
546.61/548.23 c #Conflicts: 505000 | #Constraints: 17909
546.61/548.23 c #Conflicts: 506000 | #Constraints: 18909
546.61/548.23 c #Conflicts: 507000 | #Constraints: 19909
546.61/548.23 c #Conflicts: 508000 | #Constraints: 20909
546.61/548.23 c #Conflicts: 509000 | #Constraints: 21909
546.61/548.23 c #Conflicts: 510000 | #Constraints: 22909
546.61/548.23 c #Conflicts: 511000 | #Constraints: 23909
546.61/548.23 c #Conflicts: 512000 | #Constraints: 24909
546.61/548.23 c #Conflicts: 513000 | #Constraints: 25909
546.61/548.23 c #Conflicts: 514000 | #Constraints: 26909
546.61/548.23 c #Conflicts: 515000 | #Constraints: 27909
546.61/548.23 c #Conflicts: 516000 | #Constraints: 28909
546.61/548.23 c INPROCESSING
546.61/548.23 c GARBAGE COLLECT
546.61/548.23 c #Conflicts: 517000 | #Constraints: 15707
546.61/548.23 c #Conflicts: 518000 | #Constraints: 16707
546.61/548.23 c #Conflicts: 519000 | #Constraints: 17707
546.61/548.23 c #Conflicts: 520000 | #Constraints: 18707
546.61/548.23 c #Conflicts: 521000 | #Constraints: 19707
546.61/548.23 c #Conflicts: 522000 | #Constraints: 20707
546.61/548.23 c #Conflicts: 523000 | #Constraints: 21707
546.61/548.23 c #Conflicts: 524000 | #Constraints: 22707
546.61/548.23 c #Conflicts: 525000 | #Constraints: 23707
546.61/548.23 c #Conflicts: 526000 | #Constraints: 24707
546.61/548.23 c #Conflicts: 527000 | #Constraints: 25707
546.61/548.23 c #Conflicts: 528000 | #Constraints: 26707
546.61/548.23 c #Conflicts: 529000 | #Constraints: 27707
546.61/548.23 c #Conflicts: 530000 | #Constraints: 28707
546.61/548.23 c #Conflicts: 531000 | #Constraints: 29707
546.61/548.23 c INPROCESSING
546.61/548.23 c GARBAGE COLLECT
546.61/548.23 c #Conflicts: 532000 | #Constraints: 16294
546.61/548.23 c #Conflicts: 533000 | #Constraints: 17294
546.61/548.23 c #Conflicts: 534000 | #Constraints: 18294
546.61/548.23 c #Conflicts: 535000 | #Constraints: 19294
546.61/548.23 c #Conflicts: 536000 | #Constraints: 20294
546.61/548.23 c #Conflicts: 537000 | #Constraints: 21294
546.61/548.23 c #Conflicts: 538000 | #Constraints: 22294
546.61/548.23 c #Conflicts: 539000 | #Constraints: 23294
546.61/548.23 c #Conflicts: 540000 | #Constraints: 24294
546.61/548.23 c #Conflicts: 541000 | #Constraints: 25294
546.61/548.23 c #Conflicts: 542000 | #Constraints: 26294
546.61/548.23 c #Conflicts: 543000 | #Constraints: 27294
546.61/548.23 c #Conflicts: 544000 | #Constraints: 28294
546.61/548.23 c #Conflicts: 545000 | #Constraints: 29294
546.61/548.23 c #Conflicts: 546000 | #Constraints: 30294
546.61/548.23 c INPROCESSING
546.61/548.23 c GARBAGE COLLECT
546.61/548.23 c #Conflicts: 547000 | #Constraints: 16702
546.61/548.23 c #Conflicts: 548000 | #Constraints: 17702
546.61/548.23 c #Conflicts: 549000 | #Constraints: 18702
546.61/548.23 c #Conflicts: 550000 | #Constraints: 19702
546.61/548.23 c #Conflicts: 551000 | #Constraints: 20702
546.61/548.23 c #Conflicts: 552000 | #Constraints: 21702
546.61/548.23 c #Conflicts: 553000 | #Constraints: 22702
546.61/548.23 c #Conflicts: 554000 | #Constraints: 23702
546.61/548.23 c #Conflicts: 555000 | #Constraints: 24702
546.61/548.23 c #Conflicts: 556000 | #Constraints: 25702
546.61/548.23 c #Conflicts: 557000 | #Constraints: 26702
546.61/548.23 c #Conflicts: 558000 | #Constraints: 27702
546.61/548.23 c #Conflicts: 559000 | #Constraints: 28702
546.61/548.23 c #Conflicts: 560000 | #Constraints: 29702
546.61/548.23 c #Conflicts: 561000 | #Constraints: 30702
546.61/548.23 c INPROCESSING
546.61/548.23 c GARBAGE COLLECT
546.61/548.23 c #Conflicts: 562000 | #Constraints: 16906
546.61/548.23 c #Conflicts: 563000 | #Constraints: 17906
546.61/548.23 c #Conflicts: 564000 | #Constraints: 18906
648.72/650.67 c #Conflicts: 565000 | #Constraints: 19906
648.72/650.67 c #Conflicts: 566000 | #Constraints: 20906
648.72/650.67 c #Conflicts: 567000 | #Constraints: 21906
648.72/650.67 c #Conflicts: 568000 | #Constraints: 22906
648.72/650.67 c #Conflicts: 569000 | #Constraints: 23906
648.72/650.67 c #Conflicts: 570000 | #Constraints: 24906
648.72/650.67 c #Conflicts: 571000 | #Constraints: 25906
648.72/650.67 c #Conflicts: 572000 | #Constraints: 26906
648.72/650.67 c #Conflicts: 573000 | #Constraints: 27906
648.72/650.67 c #Conflicts: 574000 | #Constraints: 28906
648.72/650.67 c #Conflicts: 575000 | #Constraints: 29906
648.72/650.67 c #Conflicts: 576000 | #Constraints: 30906
648.72/650.67 c INPROCESSING
648.72/650.67 c GARBAGE COLLECT
648.72/650.67 c #Conflicts: 577000 | #Constraints: 16904
648.72/650.67 c #Conflicts: 578000 | #Constraints: 17904
648.72/650.67 c #Conflicts: 579000 | #Constraints: 18904
648.72/650.67 c #Conflicts: 580000 | #Constraints: 19904
648.72/650.67 c #Conflicts: 581000 | #Constraints: 20904
648.72/650.67 c #Conflicts: 582000 | #Constraints: 21904
648.72/650.67 c #Conflicts: 583000 | #Constraints: 22904
648.72/650.67 c #Conflicts: 584000 | #Constraints: 23904
648.72/650.67 c #Conflicts: 585000 | #Constraints: 24904
648.72/650.67 c #Conflicts: 586000 | #Constraints: 25904
648.72/650.67 c #Conflicts: 587000 | #Constraints: 26904
648.72/650.67 c #Conflicts: 588000 | #Constraints: 27904
648.72/650.67 c #Conflicts: 589000 | #Constraints: 28904
648.72/650.67 c #Conflicts: 590000 | #Constraints: 29904
648.72/650.67 c #Conflicts: 591000 | #Constraints: 30904
648.72/650.67 c INPROCESSING
648.72/650.67 c GARBAGE COLLECT
648.72/650.67 c #Conflicts: 592000 | #Constraints: 16710
648.72/650.67 c #Conflicts: 593000 | #Constraints: 17710
648.72/650.67 c #Conflicts: 594000 | #Constraints: 18710
648.72/650.67 c #Conflicts: 595000 | #Constraints: 19710
648.72/650.67 c #Conflicts: 596000 | #Constraints: 20710
648.72/650.67 c #Conflicts: 597000 | #Constraints: 21710
648.72/650.67 c #Conflicts: 598000 | #Constraints: 22710
648.72/650.67 c #Conflicts: 599000 | #Constraints: 23710
648.72/650.67 c #Conflicts: 600000 | #Constraints: 24710
648.72/650.67 c #Conflicts: 601000 | #Constraints: 25710
648.72/650.67 c #Conflicts: 602000 | #Constraints: 26710
648.72/650.67 c #Conflicts: 603000 | #Constraints: 27710
648.72/650.67 c #Conflicts: 604000 | #Constraints: 28710
648.72/650.67 c #Conflicts: 605000 | #Constraints: 29710
648.72/650.67 c #Conflicts: 606000 | #Constraints: 30710
648.72/650.67 c #Conflicts: 607000 | #Constraints: 31710
648.72/650.67 c INPROCESSING
648.72/650.67 c GARBAGE COLLECT
648.72/650.67 c #Conflicts: 608000 | #Constraints: 17299
648.72/650.67 c #Conflicts: 609000 | #Constraints: 18299
648.72/650.67 c #Conflicts: 610000 | #Constraints: 19299
648.72/650.67 c #Conflicts: 611000 | #Constraints: 20299
648.72/650.67 c #Conflicts: 612000 | #Constraints: 21299
648.72/650.67 c #Conflicts: 613000 | #Constraints: 22299
648.72/650.67 c #Conflicts: 614000 | #Constraints: 23299
648.72/650.67 c #Conflicts: 615000 | #Constraints: 24299
648.72/650.67 c #Conflicts: 616000 | #Constraints: 25299
648.72/650.67 c #Conflicts: 617000 | #Constraints: 26299
648.72/650.67 c #Conflicts: 618000 | #Constraints: 27299
648.72/650.67 c #Conflicts: 619000 | #Constraints: 28299
648.72/650.67 c #Conflicts: 620000 | #Constraints: 29299
648.72/650.67 c #Conflicts: 621000 | #Constraints: 30299
648.72/650.67 c #Conflicts: 622000 | #Constraints: 31299
648.72/650.67 c #Conflicts: 623000 | #Constraints: 32299
648.72/650.67 c INPROCESSING
648.72/650.67 c GARBAGE COLLECT
648.72/650.67 c #Conflicts: 624000 | #Constraints: 17696
648.72/650.67 c #Conflicts: 625000 | #Constraints: 18696
648.72/650.67 c #Conflicts: 626000 | #Constraints: 19696
648.72/650.67 c #Conflicts: 627000 | #Constraints: 20696
648.72/650.67 c #Conflicts: 628000 | #Constraints: 21696
648.72/650.67 c #Conflicts: 629000 | #Constraints: 22696
648.72/650.67 c #Conflicts: 630000 | #Constraints: 23696
648.72/650.67 c #Conflicts: 631000 | #Constraints: 24696
648.72/650.67 c #Conflicts: 632000 | #Constraints: 25696
648.72/650.67 c #Conflicts: 633000 | #Constraints: 26696
648.72/650.67 c #Conflicts: 634000 | #Constraints: 27696
648.72/650.67 c #Conflicts: 635000 | #Constraints: 28696
648.72/650.67 c #Conflicts: 636000 | #Constraints: 29696
648.72/650.67 c #Conflicts: 637000 | #Constraints: 30696
648.72/650.67 c #Conflicts: 638000 | #Constraints: 31696
648.72/650.67 c #Conflicts: 639000 | #Constraints: 32696
648.72/650.67 c INPROCESSING
648.72/650.67 c GARBAGE COLLECT
648.72/650.67 c #Conflicts: 640000 | #Constraints: 17901
752.76/755.00 c #Conflicts: 641000 | #Constraints: 18901
752.76/755.00 c #Conflicts: 642000 | #Constraints: 19901
752.76/755.00 c #Conflicts: 643000 | #Constraints: 20901
752.76/755.00 c #Conflicts: 644000 | #Constraints: 21901
752.76/755.00 c #Conflicts: 645000 | #Constraints: 22901
752.76/755.00 c #Conflicts: 646000 | #Constraints: 23901
752.76/755.00 c #Conflicts: 647000 | #Constraints: 24901
752.76/755.00 c #Conflicts: 648000 | #Constraints: 25901
752.76/755.00 c #Conflicts: 649000 | #Constraints: 26901
752.76/755.00 c #Conflicts: 650000 | #Constraints: 27901
752.76/755.00 c #Conflicts: 651000 | #Constraints: 28901
752.76/755.00 c #Conflicts: 652000 | #Constraints: 29901
752.76/755.00 c #Conflicts: 653000 | #Constraints: 30901
752.76/755.00 c #Conflicts: 654000 | #Constraints: 31901
752.76/755.00 c #Conflicts: 655000 | #Constraints: 32901
752.76/755.00 c INPROCESSING
752.76/755.00 c GARBAGE COLLECT
752.76/755.00 c #Conflicts: 656000 | #Constraints: 17904
752.76/755.00 c #Conflicts: 657000 | #Constraints: 18904
752.76/755.00 c #Conflicts: 658000 | #Constraints: 19904
752.76/755.00 c #Conflicts: 659000 | #Constraints: 20904
752.76/755.00 c #Conflicts: 660000 | #Constraints: 21904
752.76/755.00 c #Conflicts: 661000 | #Constraints: 22904
752.76/755.00 c #Conflicts: 662000 | #Constraints: 23904
752.76/755.00 c #Conflicts: 663000 | #Constraints: 24904
752.76/755.00 c #Conflicts: 664000 | #Constraints: 25904
752.76/755.00 c #Conflicts: 665000 | #Constraints: 26904
752.76/755.00 c #Conflicts: 666000 | #Constraints: 27904
752.76/755.00 c #Conflicts: 667000 | #Constraints: 28904
752.76/755.00 c #Conflicts: 668000 | #Constraints: 29904
752.76/755.00 c #Conflicts: 669000 | #Constraints: 30904
752.76/755.00 c #Conflicts: 670000 | #Constraints: 31904
752.76/755.00 c #Conflicts: 671000 | #Constraints: 32904
752.76/755.00 c INPROCESSING
752.76/755.00 c GARBAGE COLLECT
752.76/755.00 c #Conflicts: 672000 | #Constraints: 17702
752.76/755.00 c #Conflicts: 673000 | #Constraints: 18702
752.76/755.00 c #Conflicts: 674000 | #Constraints: 19702
752.76/755.00 c #Conflicts: 675000 | #Constraints: 20702
752.76/755.00 c #Conflicts: 676000 | #Constraints: 21702
752.76/755.00 c #Conflicts: 677000 | #Constraints: 22702
752.76/755.00 c #Conflicts: 678000 | #Constraints: 23702
752.76/755.00 c #Conflicts: 679000 | #Constraints: 24702
752.76/755.00 c #Conflicts: 680000 | #Constraints: 25702
752.76/755.00 c #Conflicts: 681000 | #Constraints: 26702
752.76/755.00 c #Conflicts: 682000 | #Constraints: 27702
752.76/755.00 c #Conflicts: 683000 | #Constraints: 28702
752.76/755.00 c #Conflicts: 684000 | #Constraints: 29702
752.76/755.00 c #Conflicts: 685000 | #Constraints: 30702
752.76/755.00 c #Conflicts: 686000 | #Constraints: 31702
752.76/755.00 c #Conflicts: 687000 | #Constraints: 32702
752.76/755.00 c #Conflicts: 688000 | #Constraints: 33702
752.76/755.00 c INPROCESSING
752.76/755.00 c GARBAGE COLLECT
752.76/755.00 c #Conflicts: 689000 | #Constraints: 18307
752.76/755.00 c #Conflicts: 690000 | #Constraints: 19307
752.76/755.00 c #Conflicts: 691000 | #Constraints: 20307
752.76/755.00 c #Conflicts: 692000 | #Constraints: 21307
752.76/755.00 c #Conflicts: 693000 | #Constraints: 22307
752.76/755.00 c #Conflicts: 694000 | #Constraints: 23307
752.76/755.00 c #Conflicts: 695000 | #Constraints: 24307
752.76/755.00 c #Conflicts: 696000 | #Constraints: 25307
752.76/755.00 c #Conflicts: 697000 | #Constraints: 26307
752.76/755.00 c #Conflicts: 698000 | #Constraints: 27307
752.76/755.00 c #Conflicts: 699000 | #Constraints: 28307
752.76/755.00 c #Conflicts: 700000 | #Constraints: 29307
752.76/755.00 c #Conflicts: 701000 | #Constraints: 30307
752.76/755.00 c #Conflicts: 702000 | #Constraints: 31307
752.76/755.00 c #Conflicts: 703000 | #Constraints: 32307
752.76/755.00 c #Conflicts: 704000 | #Constraints: 33307
752.76/755.00 c #Conflicts: 705000 | #Constraints: 34307
752.76/755.00 c INPROCESSING
752.76/755.00 c GARBAGE COLLECT
752.76/755.00 c #Conflicts: 706000 | #Constraints: 18711
752.76/755.00 c #Conflicts: 707000 | #Constraints: 19711
752.76/755.00 c #Conflicts: 708000 | #Constraints: 20711
752.76/755.00 c #Conflicts: 709000 | #Constraints: 21711
752.76/755.00 c #Conflicts: 710000 | #Constraints: 22711
752.76/755.00 c #Conflicts: 711000 | #Constraints: 23711
752.76/755.00 c #Conflicts: 712000 | #Constraints: 24711
752.76/755.00 c #Conflicts: 713000 | #Constraints: 25711
752.76/755.00 c #Conflicts: 714000 | #Constraints: 26711
752.76/755.00 c #Conflicts: 715000 | #Constraints: 27711
752.76/755.00 c #Conflicts: 716000 | #Constraints: 28711
864.19/866.64 c #Conflicts: 717000 | #Constraints: 29711
864.19/866.64 c #Conflicts: 718000 | #Constraints: 30711
864.19/866.64 c #Conflicts: 719000 | #Constraints: 31711
864.19/866.64 c #Conflicts: 720000 | #Constraints: 32711
864.19/866.64 c #Conflicts: 721000 | #Constraints: 33711
864.19/866.64 c #Conflicts: 722000 | #Constraints: 34711
864.19/866.64 c INPROCESSING
864.19/866.64 c GARBAGE COLLECT
864.19/866.64 c #Conflicts: 723000 | #Constraints: 18904
864.19/866.64 c #Conflicts: 724000 | #Constraints: 19904
864.19/866.64 c #Conflicts: 725000 | #Constraints: 20904
864.19/866.64 c #Conflicts: 726000 | #Constraints: 21904
864.19/866.64 c #Conflicts: 727000 | #Constraints: 22904
864.19/866.64 c #Conflicts: 728000 | #Constraints: 23904
864.19/866.64 c #Conflicts: 729000 | #Constraints: 24904
864.19/866.64 c #Conflicts: 730000 | #Constraints: 25904
864.19/866.64 c #Conflicts: 731000 | #Constraints: 26904
864.19/866.64 c #Conflicts: 732000 | #Constraints: 27904
864.19/866.64 c #Conflicts: 733000 | #Constraints: 28904
864.19/866.64 c #Conflicts: 734000 | #Constraints: 29904
864.19/866.64 c #Conflicts: 735000 | #Constraints: 30904
864.19/866.64 c #Conflicts: 736000 | #Constraints: 31904
864.19/866.64 c #Conflicts: 737000 | #Constraints: 32904
864.19/866.64 c #Conflicts: 738000 | #Constraints: 33904
864.19/866.64 c #Conflicts: 739000 | #Constraints: 34904
864.19/866.64 c INPROCESSING
864.19/866.64 c GARBAGE COLLECT
864.19/866.64 c #Conflicts: 740000 | #Constraints: 18900
864.19/866.64 c #Conflicts: 741000 | #Constraints: 19900
864.19/866.64 c #Conflicts: 742000 | #Constraints: 20900
864.19/866.64 c #Conflicts: 743000 | #Constraints: 21900
864.19/866.64 c #Conflicts: 744000 | #Constraints: 22900
864.19/866.64 c #Conflicts: 745000 | #Constraints: 23900
864.19/866.64 c #Conflicts: 746000 | #Constraints: 24900
864.19/866.64 c #Conflicts: 747000 | #Constraints: 25900
864.19/866.64 c #Conflicts: 748000 | #Constraints: 26900
864.19/866.64 c #Conflicts: 749000 | #Constraints: 27900
864.19/866.64 c #Conflicts: 750000 | #Constraints: 28900
864.19/866.64 c #Conflicts: 751000 | #Constraints: 29900
864.19/866.64 c #Conflicts: 752000 | #Constraints: 30900
864.19/866.64 c #Conflicts: 753000 | #Constraints: 31900
864.19/866.64 c #Conflicts: 754000 | #Constraints: 32900
864.19/866.64 c #Conflicts: 755000 | #Constraints: 33900
864.19/866.64 c #Conflicts: 756000 | #Constraints: 34900
864.19/866.64 c INPROCESSING
864.19/866.64 c GARBAGE COLLECT
864.19/866.64 c #Conflicts: 757000 | #Constraints: 18697
864.19/866.64 c #Conflicts: 758000 | #Constraints: 19697
864.19/866.64 c #Conflicts: 759000 | #Constraints: 20697
864.19/866.64 c #Conflicts: 760000 | #Constraints: 21697
864.19/866.64 c #Conflicts: 761000 | #Constraints: 22697
864.19/866.64 c #Conflicts: 762000 | #Constraints: 23697
864.19/866.64 c #Conflicts: 763000 | #Constraints: 24697
864.19/866.64 c #Conflicts: 764000 | #Constraints: 25697
864.19/866.64 c #Conflicts: 765000 | #Constraints: 26697
864.19/866.64 c #Conflicts: 766000 | #Constraints: 27697
864.19/866.64 c #Conflicts: 767000 | #Constraints: 28697
864.19/866.64 c #Conflicts: 768000 | #Constraints: 29697
864.19/866.64 c #Conflicts: 769000 | #Constraints: 30697
864.19/866.64 c #Conflicts: 770000 | #Constraints: 31697
864.19/866.64 c #Conflicts: 771000 | #Constraints: 32697
864.19/866.64 c #Conflicts: 772000 | #Constraints: 33697
864.19/866.64 c #Conflicts: 773000 | #Constraints: 34697
864.19/866.64 c #Conflicts: 774000 | #Constraints: 35697
864.19/866.64 c INPROCESSING
864.19/866.64 c GARBAGE COLLECT
864.19/866.64 c #Conflicts: 775000 | #Constraints: 19306
864.19/866.64 c #Conflicts: 776000 | #Constraints: 20306
864.19/866.64 c #Conflicts: 777000 | #Constraints: 21306
864.19/866.64 c #Conflicts: 778000 | #Constraints: 22306
864.19/866.64 c #Conflicts: 779000 | #Constraints: 23306
864.19/866.64 c #Conflicts: 780000 | #Constraints: 24306
864.19/866.64 c #Conflicts: 781000 | #Constraints: 25306
864.19/866.64 c #Conflicts: 782000 | #Constraints: 26306
864.19/866.64 c #Conflicts: 783000 | #Constraints: 27306
864.19/866.64 c #Conflicts: 784000 | #Constraints: 28306
864.19/866.64 c #Conflicts: 785000 | #Constraints: 29306
864.19/866.64 c #Conflicts: 786000 | #Constraints: 30306
864.19/866.64 c #Conflicts: 787000 | #Constraints: 31306
864.19/866.64 c #Conflicts: 788000 | #Constraints: 32306
864.19/866.64 c #Conflicts: 789000 | #Constraints: 33306
864.19/866.64 c #Conflicts: 790000 | #Constraints: 34306
864.19/866.64 c #Conflicts: 791000 | #Constraints: 35306
864.19/866.64 c #Conflicts: 792000 | #Constraints: 36306
977.60/980.32 c INPROCESSING
977.60/980.32 c GARBAGE COLLECT
977.60/980.32 c #Conflicts: 793000 | #Constraints: 19704
977.60/980.32 c #Conflicts: 794000 | #Constraints: 20704
977.60/980.32 c #Conflicts: 795000 | #Constraints: 21704
977.60/980.32 c #Conflicts: 796000 | #Constraints: 22704
977.60/980.32 c #Conflicts: 797000 | #Constraints: 23704
977.60/980.32 c #Conflicts: 798000 | #Constraints: 24704
977.60/980.32 c #Conflicts: 799000 | #Constraints: 25704
977.60/980.32 c #Conflicts: 800000 | #Constraints: 26704
977.60/980.32 c #Conflicts: 801000 | #Constraints: 27704
977.60/980.32 c #Conflicts: 802000 | #Constraints: 28704
977.60/980.32 c #Conflicts: 803000 | #Constraints: 29704
977.60/980.32 c #Conflicts: 804000 | #Constraints: 30704
977.60/980.32 c #Conflicts: 805000 | #Constraints: 31704
977.60/980.32 c #Conflicts: 806000 | #Constraints: 32704
977.60/980.32 c #Conflicts: 807000 | #Constraints: 33704
977.60/980.32 c #Conflicts: 808000 | #Constraints: 34704
977.60/980.32 c #Conflicts: 809000 | #Constraints: 35704
977.60/980.32 c #Conflicts: 810000 | #Constraints: 36704
977.60/980.32 c INPROCESSING
977.60/980.32 c GARBAGE COLLECT
977.60/980.32 c #Conflicts: 811000 | #Constraints: 19906
977.60/980.32 c #Conflicts: 812000 | #Constraints: 20906
977.60/980.32 c #Conflicts: 813000 | #Constraints: 21906
977.60/980.32 c #Conflicts: 814000 | #Constraints: 22906
977.60/980.32 c #Conflicts: 815000 | #Constraints: 23906
977.60/980.32 c #Conflicts: 816000 | #Constraints: 24906
977.60/980.32 c #Conflicts: 817000 | #Constraints: 25906
977.60/980.32 c #Conflicts: 818000 | #Constraints: 26906
977.60/980.32 c #Conflicts: 819000 | #Constraints: 27906
977.60/980.32 c #Conflicts: 820000 | #Constraints: 28906
977.60/980.32 c #Conflicts: 821000 | #Constraints: 29906
977.60/980.32 c #Conflicts: 822000 | #Constraints: 30906
977.60/980.32 c #Conflicts: 823000 | #Constraints: 31906
977.60/980.32 c #Conflicts: 824000 | #Constraints: 32906
977.60/980.32 c #Conflicts: 825000 | #Constraints: 33906
977.60/980.32 c #Conflicts: 826000 | #Constraints: 34906
977.60/980.32 c #Conflicts: 827000 | #Constraints: 35906
977.60/980.32 c #Conflicts: 828000 | #Constraints: 36906
977.60/980.32 c INPROCESSING
977.60/980.32 c GARBAGE COLLECT
977.60/980.32 c #Conflicts: 829000 | #Constraints: 19909
977.60/980.32 c #Conflicts: 830000 | #Constraints: 20909
977.60/980.32 c #Conflicts: 831000 | #Constraints: 21909
977.60/980.32 c #Conflicts: 832000 | #Constraints: 22909
977.60/980.32 c #Conflicts: 833000 | #Constraints: 23909
977.60/980.32 c #Conflicts: 834000 | #Constraints: 24909
977.60/980.32 c #Conflicts: 835000 | #Constraints: 25909
977.60/980.32 c #Conflicts: 836000 | #Constraints: 26909
977.60/980.32 c #Conflicts: 837000 | #Constraints: 27909
977.60/980.32 c #Conflicts: 838000 | #Constraints: 28909
977.60/980.32 c #Conflicts: 839000 | #Constraints: 29909
977.60/980.32 c #Conflicts: 840000 | #Constraints: 30909
977.60/980.32 c #Conflicts: 841000 | #Constraints: 31909
977.60/980.32 c #Conflicts: 842000 | #Constraints: 32909
977.60/980.32 c #Conflicts: 843000 | #Constraints: 33909
977.60/980.32 c #Conflicts: 844000 | #Constraints: 34909
977.60/980.32 c #Conflicts: 845000 | #Constraints: 35909
977.60/980.32 c #Conflicts: 846000 | #Constraints: 36909
977.60/980.32 c INPROCESSING
977.60/980.32 c GARBAGE COLLECT
977.60/980.32 c #Conflicts: 847000 | #Constraints: 19707
977.60/980.32 c #Conflicts: 848000 | #Constraints: 20707
977.60/980.32 c #Conflicts: 849000 | #Constraints: 21707
977.60/980.32 c #Conflicts: 850000 | #Constraints: 22707
977.60/980.32 c #Conflicts: 851000 | #Constraints: 23707
977.60/980.32 c #Conflicts: 852000 | #Constraints: 24707
977.60/980.32 c #Conflicts: 853000 | #Constraints: 25707
977.60/980.32 c #Conflicts: 854000 | #Constraints: 26707
977.60/980.32 c #Conflicts: 855000 | #Constraints: 27707
977.60/980.32 c #Conflicts: 856000 | #Constraints: 28707
977.60/980.32 c #Conflicts: 857000 | #Constraints: 29707
977.60/980.32 c #Conflicts: 858000 | #Constraints: 30707
977.60/980.32 c #Conflicts: 859000 | #Constraints: 31707
977.60/980.32 c #Conflicts: 860000 | #Constraints: 32707
977.60/980.32 c #Conflicts: 861000 | #Constraints: 33707
977.60/980.32 c #Conflicts: 862000 | #Constraints: 34707
977.60/980.32 c #Conflicts: 863000 | #Constraints: 35707
977.60/980.32 c #Conflicts: 864000 | #Constraints: 36707
977.60/980.32 c #Conflicts: 865000 | #Constraints: 37707
977.60/980.32 c INPROCESSING
977.60/980.32 c GARBAGE COLLECT
977.60/980.32 c #Conflicts: 866000 | #Constraints: 20317
977.60/980.32 c #Conflicts: 867000 | #Constraints: 21317
977.60/980.32 c #Conflicts: 868000 | #Constraints: 22317
1101.18/1104.20 c #Conflicts: 869000 | #Constraints: 23317
1101.18/1104.20 c #Conflicts: 870000 | #Constraints: 24317
1101.18/1104.20 c #Conflicts: 871000 | #Constraints: 25317
1101.18/1104.20 c #Conflicts: 872000 | #Constraints: 26317
1101.18/1104.20 c #Conflicts: 873000 | #Constraints: 27317
1101.18/1104.20 c #Conflicts: 874000 | #Constraints: 28317
1101.18/1104.20 c #Conflicts: 875000 | #Constraints: 29317
1101.18/1104.20 c #Conflicts: 876000 | #Constraints: 30317
1101.18/1104.20 c #Conflicts: 877000 | #Constraints: 31317
1101.18/1104.20 c #Conflicts: 878000 | #Constraints: 32317
1101.18/1104.20 c #Conflicts: 879000 | #Constraints: 33317
1101.18/1104.20 c #Conflicts: 880000 | #Constraints: 34317
1101.18/1104.20 c #Conflicts: 881000 | #Constraints: 35317
1101.18/1104.20 c #Conflicts: 882000 | #Constraints: 36317
1101.18/1104.20 c #Conflicts: 883000 | #Constraints: 37317
1101.18/1104.20 c #Conflicts: 884000 | #Constraints: 38317
1101.18/1104.20 c INPROCESSING
1101.18/1104.20 c GARBAGE COLLECT
1101.18/1104.20 c #Conflicts: 885000 | #Constraints: 20718
1101.18/1104.20 c #Conflicts: 886000 | #Constraints: 21718
1101.18/1104.20 c #Conflicts: 887000 | #Constraints: 22718
1101.18/1104.20 c #Conflicts: 888000 | #Constraints: 23718
1101.18/1104.20 c #Conflicts: 889000 | #Constraints: 24718
1101.18/1104.20 c #Conflicts: 890000 | #Constraints: 25718
1101.18/1104.20 c #Conflicts: 891000 | #Constraints: 26718
1101.18/1104.20 c #Conflicts: 892000 | #Constraints: 27718
1101.18/1104.20 c #Conflicts: 893000 | #Constraints: 28718
1101.18/1104.20 c #Conflicts: 894000 | #Constraints: 29718
1101.18/1104.20 c #Conflicts: 895000 | #Constraints: 30718
1101.18/1104.20 c #Conflicts: 896000 | #Constraints: 31718
1101.18/1104.20 c #Conflicts: 897000 | #Constraints: 32718
1101.18/1104.20 c #Conflicts: 898000 | #Constraints: 33718
1101.18/1104.20 c #Conflicts: 899000 | #Constraints: 34718
1101.18/1104.20 c #Conflicts: 900000 | #Constraints: 35718
1101.18/1104.20 c #Conflicts: 901000 | #Constraints: 36718
1101.18/1104.20 c #Conflicts: 902000 | #Constraints: 37718
1101.18/1104.20 c #Conflicts: 903000 | #Constraints: 38718
1101.18/1104.20 c INPROCESSING
1101.18/1104.20 c GARBAGE COLLECT
1101.18/1104.20 c #Conflicts: 904000 | #Constraints: 20905
1101.18/1104.20 c #Conflicts: 905000 | #Constraints: 21905
1101.18/1104.20 c #Conflicts: 906000 | #Constraints: 22905
1101.18/1104.20 c #Conflicts: 907000 | #Constraints: 23905
1101.18/1104.20 c #Conflicts: 908000 | #Constraints: 24905
1101.18/1104.20 c #Conflicts: 909000 | #Constraints: 25905
1101.18/1104.20 c #Conflicts: 910000 | #Constraints: 26905
1101.18/1104.20 c #Conflicts: 911000 | #Constraints: 27905
1101.18/1104.20 c #Conflicts: 912000 | #Constraints: 28905
1101.18/1104.20 c #Conflicts: 913000 | #Constraints: 29905
1101.18/1104.20 c #Conflicts: 914000 | #Constraints: 30905
1101.18/1104.20 c #Conflicts: 915000 | #Constraints: 31905
1101.18/1104.20 c #Conflicts: 916000 | #Constraints: 32905
1101.18/1104.20 c #Conflicts: 917000 | #Constraints: 33905
1101.18/1104.20 c #Conflicts: 918000 | #Constraints: 34905
1101.18/1104.20 c #Conflicts: 919000 | #Constraints: 35905
1101.18/1104.20 c #Conflicts: 920000 | #Constraints: 36905
1101.18/1104.20 c #Conflicts: 921000 | #Constraints: 37905
1101.18/1104.20 c #Conflicts: 922000 | #Constraints: 38905
1101.18/1104.20 c INPROCESSING
1101.18/1104.20 c GARBAGE COLLECT
1101.18/1104.20 c #Conflicts: 923000 | #Constraints: 20903
1101.18/1104.20 c #Conflicts: 924000 | #Constraints: 21903
1101.18/1104.20 c #Conflicts: 925000 | #Constraints: 22903
1101.18/1104.20 c #Conflicts: 926000 | #Constraints: 23903
1101.18/1104.20 c #Conflicts: 927000 | #Constraints: 24903
1101.18/1104.20 c #Conflicts: 928000 | #Constraints: 25903
1101.18/1104.20 c #Conflicts: 929000 | #Constraints: 26903
1101.18/1104.20 c #Conflicts: 930000 | #Constraints: 27903
1101.18/1104.20 c #Conflicts: 931000 | #Constraints: 28903
1101.18/1104.20 c #Conflicts: 932000 | #Constraints: 29903
1101.18/1104.20 c #Conflicts: 933000 | #Constraints: 30903
1101.18/1104.20 c #Conflicts: 934000 | #Constraints: 31903
1101.18/1104.20 c #Conflicts: 935000 | #Constraints: 32903
1101.18/1104.20 c #Conflicts: 936000 | #Constraints: 33903
1101.18/1104.20 c #Conflicts: 937000 | #Constraints: 34903
1101.18/1104.20 c #Conflicts: 938000 | #Constraints: 35903
1101.18/1104.20 c #Conflicts: 939000 | #Constraints: 36903
1101.18/1104.20 c #Conflicts: 940000 | #Constraints: 37903
1101.18/1104.20 c #Conflicts: 941000 | #Constraints: 38903
1101.18/1104.20 c INPROCESSING
1101.18/1104.20 c GARBAGE COLLECT
1101.18/1104.20 c #Conflicts: 942000 | #Constraints: 20697
1101.18/1104.20 c #Conflicts: 943000 | #Constraints: 21697
1101.18/1104.20 c #Conflicts: 944000 | #Constraints: 22697
1232.53/1235.91 c #Conflicts: 945000 | #Constraints: 23697
1232.53/1235.91 c #Conflicts: 946000 | #Constraints: 24697
1232.53/1235.91 c #Conflicts: 947000 | #Constraints: 25697
1232.53/1235.91 c #Conflicts: 948000 | #Constraints: 26697
1232.53/1235.91 c #Conflicts: 949000 | #Constraints: 27697
1232.53/1235.91 c #Conflicts: 950000 | #Constraints: 28697
1232.53/1235.91 c #Conflicts: 951000 | #Constraints: 29697
1232.53/1235.91 c #Conflicts: 952000 | #Constraints: 30697
1232.53/1235.91 c #Conflicts: 953000 | #Constraints: 31697
1232.53/1235.91 c #Conflicts: 954000 | #Constraints: 32697
1232.53/1235.91 c #Conflicts: 955000 | #Constraints: 33697
1232.53/1235.91 c #Conflicts: 956000 | #Constraints: 34697
1232.53/1235.91 c #Conflicts: 957000 | #Constraints: 35697
1232.53/1235.91 c #Conflicts: 958000 | #Constraints: 36697
1232.53/1235.91 c #Conflicts: 959000 | #Constraints: 37697
1232.53/1235.91 c #Conflicts: 960000 | #Constraints: 38697
1232.53/1235.91 c #Conflicts: 961000 | #Constraints: 39697
1232.53/1235.91 c INPROCESSING
1232.53/1235.91 c GARBAGE COLLECT
1232.53/1235.91 c #Conflicts: 962000 | #Constraints: 21304
1232.53/1235.91 c #Conflicts: 963000 | #Constraints: 22304
1232.53/1235.91 c #Conflicts: 964000 | #Constraints: 23304
1232.53/1235.91 c #Conflicts: 965000 | #Constraints: 24304
1232.53/1235.91 c #Conflicts: 966000 | #Constraints: 25304
1232.53/1235.91 c #Conflicts: 967000 | #Constraints: 26304
1232.53/1235.91 c #Conflicts: 968000 | #Constraints: 27304
1232.53/1235.91 c #Conflicts: 969000 | #Constraints: 28304
1232.53/1235.91 c #Conflicts: 970000 | #Constraints: 29304
1232.53/1235.91 c #Conflicts: 971000 | #Constraints: 30304
1232.53/1235.91 c #Conflicts: 972000 | #Constraints: 31304
1232.53/1235.91 c #Conflicts: 973000 | #Constraints: 32304
1232.53/1235.91 c #Conflicts: 974000 | #Constraints: 33304
1232.53/1235.91 c #Conflicts: 975000 | #Constraints: 34304
1232.53/1235.91 c #Conflicts: 976000 | #Constraints: 35304
1232.53/1235.91 c #Conflicts: 977000 | #Constraints: 36304
1232.53/1235.91 c #Conflicts: 978000 | #Constraints: 37304
1232.53/1235.91 c #Conflicts: 979000 | #Constraints: 38304
1232.53/1235.91 c #Conflicts: 980000 | #Constraints: 39304
1232.53/1235.91 c #Conflicts: 981000 | #Constraints: 40304
1232.53/1235.91 c INPROCESSING
1232.53/1235.91 c GARBAGE COLLECT
1232.53/1235.91 c #Conflicts: 982000 | #Constraints: 21713
1232.53/1235.91 c #Conflicts: 983000 | #Constraints: 22713
1232.53/1235.91 c #Conflicts: 984000 | #Constraints: 23713
1232.53/1235.91 c #Conflicts: 985000 | #Constraints: 24713
1232.53/1235.91 c #Conflicts: 986000 | #Constraints: 25713
1232.53/1235.91 c #Conflicts: 987000 | #Constraints: 26713
1232.53/1235.91 c #Conflicts: 988000 | #Constraints: 27713
1232.53/1235.91 c #Conflicts: 989000 | #Constraints: 28713
1232.53/1235.91 c #Conflicts: 990000 | #Constraints: 29713
1232.53/1235.91 c #Conflicts: 991000 | #Constraints: 30713
1232.53/1235.91 c #Conflicts: 992000 | #Constraints: 31713
1232.53/1235.91 c #Conflicts: 993000 | #Constraints: 32713
1232.53/1235.91 c #Conflicts: 994000 | #Constraints: 33713
1232.53/1235.91 c #Conflicts: 995000 | #Constraints: 34713
1232.53/1235.91 c #Conflicts: 996000 | #Constraints: 35713
1232.53/1235.91 c #Conflicts: 997000 | #Constraints: 36713
1232.53/1235.91 c #Conflicts: 998000 | #Constraints: 37713
1232.53/1235.91 c #Conflicts: 999000 | #Constraints: 38713
1232.53/1235.91 c #Conflicts: 1000000 | #Constraints: 39713
1232.53/1235.91 c #Conflicts: 1001000 | #Constraints: 40713
1232.53/1235.91 c INPROCESSING
1232.53/1235.91 c GARBAGE COLLECT
1232.53/1235.91 c #Conflicts: 1002000 | #Constraints: 21921
1232.53/1235.91 c #Conflicts: 1003000 | #Constraints: 22921
1232.53/1235.91 c #Conflicts: 1004000 | #Constraints: 23921
1232.53/1235.91 c #Conflicts: 1005000 | #Constraints: 24921
1232.53/1235.91 c #Conflicts: 1006000 | #Constraints: 25921
1232.53/1235.91 c #Conflicts: 1007000 | #Constraints: 26921
1232.53/1235.91 c #Conflicts: 1008000 | #Constraints: 27921
1232.53/1235.91 c #Conflicts: 1009000 | #Constraints: 28921
1232.53/1235.91 c #Conflicts: 1010000 | #Constraints: 29921
1232.53/1235.91 c #Conflicts: 1011000 | #Constraints: 30921
1232.53/1235.91 c #Conflicts: 1012000 | #Constraints: 31921
1232.53/1235.91 c #Conflicts: 1013000 | #Constraints: 32921
1232.53/1235.91 c #Conflicts: 1014000 | #Constraints: 33921
1232.53/1235.91 c #Conflicts: 1015000 | #Constraints: 34921
1232.53/1235.91 c #Conflicts: 1016000 | #Constraints: 35921
1232.53/1235.91 c #Conflicts: 1017000 | #Constraints: 36921
1232.53/1235.91 c #Conflicts: 1018000 | #Constraints: 37921
1232.53/1235.91 c #Conflicts: 1019000 | #Constraints: 38921
1232.53/1235.91 c #Conflicts: 1020000 | #Constraints: 39921
1232.53/1235.91 c #Conflicts: 1021000 | #Constraints: 40921
1362.45/1366.23 c INPROCESSING
1362.45/1366.23 c GARBAGE COLLECT
1362.45/1366.23 c #Conflicts: 1022000 | #Constraints: 21911
1362.45/1366.23 c #Conflicts: 1023000 | #Constraints: 22911
1362.45/1366.23 c #Conflicts: 1024000 | #Constraints: 23911
1362.45/1366.23 c #Conflicts: 1025000 | #Constraints: 24911
1362.45/1366.23 c #Conflicts: 1026000 | #Constraints: 25911
1362.45/1366.23 c #Conflicts: 1027000 | #Constraints: 26911
1362.45/1366.23 c #Conflicts: 1028000 | #Constraints: 27911
1362.45/1366.23 c #Conflicts: 1029000 | #Constraints: 28911
1362.45/1366.23 c #Conflicts: 1030000 | #Constraints: 29911
1362.45/1366.23 c #Conflicts: 1031000 | #Constraints: 30911
1362.45/1366.23 c #Conflicts: 1032000 | #Constraints: 31911
1362.45/1366.23 c #Conflicts: 1033000 | #Constraints: 32911
1362.45/1366.23 c #Conflicts: 1034000 | #Constraints: 33911
1362.45/1366.23 c #Conflicts: 1035000 | #Constraints: 34911
1362.45/1366.23 c #Conflicts: 1036000 | #Constraints: 35911
1362.45/1366.23 c #Conflicts: 1037000 | #Constraints: 36911
1362.45/1366.23 c #Conflicts: 1038000 | #Constraints: 37911
1362.45/1366.23 c #Conflicts: 1039000 | #Constraints: 38911
1362.45/1366.23 c #Conflicts: 1040000 | #Constraints: 39911
1362.45/1366.23 c #Conflicts: 1041000 | #Constraints: 40911
1362.45/1366.23 c INPROCESSING
1362.45/1366.23 c GARBAGE COLLECT
1362.45/1366.23 c #Conflicts: 1042000 | #Constraints: 21716
1362.45/1366.23 c #Conflicts: 1043000 | #Constraints: 22716
1362.45/1366.23 c #Conflicts: 1044000 | #Constraints: 23716
1362.45/1366.23 c #Conflicts: 1045000 | #Constraints: 24716
1362.45/1366.23 c #Conflicts: 1046000 | #Constraints: 25716
1362.45/1366.23 c #Conflicts: 1047000 | #Constraints: 26716
1362.45/1366.23 c #Conflicts: 1048000 | #Constraints: 27716
1362.45/1366.23 c #Conflicts: 1049000 | #Constraints: 28716
1362.45/1366.23 c #Conflicts: 1050000 | #Constraints: 29716
1362.45/1366.23 c #Conflicts: 1051000 | #Constraints: 30716
1362.45/1366.23 c #Conflicts: 1052000 | #Constraints: 31716
1362.45/1366.23 c #Conflicts: 1053000 | #Constraints: 32716
1362.45/1366.23 c #Conflicts: 1054000 | #Constraints: 33716
1362.45/1366.23 c #Conflicts: 1055000 | #Constraints: 34716
1362.45/1366.23 c #Conflicts: 1056000 | #Constraints: 35716
1362.45/1366.23 c #Conflicts: 1057000 | #Constraints: 36716
1362.45/1366.23 c #Conflicts: 1058000 | #Constraints: 37716
1362.45/1366.23 c #Conflicts: 1059000 | #Constraints: 38716
1362.45/1366.23 c #Conflicts: 1060000 | #Constraints: 39716
1362.45/1366.23 c #Conflicts: 1061000 | #Constraints: 40716
1362.45/1366.23 c #Conflicts: 1062000 | #Constraints: 41716
1362.45/1366.23 c INPROCESSING
1362.45/1366.23 c GARBAGE COLLECT
1362.45/1366.23 c #Conflicts: 1063000 | #Constraints: 22314
1362.45/1366.23 c #Conflicts: 1064000 | #Constraints: 23314
1362.45/1366.23 c #Conflicts: 1065000 | #Constraints: 24314
1362.45/1366.23 c #Conflicts: 1066000 | #Constraints: 25314
1362.45/1366.23 c #Conflicts: 1067000 | #Constraints: 26314
1362.45/1366.23 c #Conflicts: 1068000 | #Constraints: 27314
1362.45/1366.23 c #Conflicts: 1069000 | #Constraints: 28314
1362.45/1366.23 c #Conflicts: 1070000 | #Constraints: 29314
1362.45/1366.23 c #Conflicts: 1071000 | #Constraints: 30314
1362.45/1366.23 c #Conflicts: 1072000 | #Constraints: 31314
1362.45/1366.23 c #Conflicts: 1073000 | #Constraints: 32314
1362.45/1366.23 c #Conflicts: 1074000 | #Constraints: 33314
1362.45/1366.23 c #Conflicts: 1075000 | #Constraints: 34314
1362.45/1366.23 c #Conflicts: 1076000 | #Constraints: 35314
1362.45/1366.23 c #Conflicts: 1077000 | #Constraints: 36314
1362.45/1366.23 c #Conflicts: 1078000 | #Constraints: 37314
1362.45/1366.23 c #Conflicts: 1079000 | #Constraints: 38314
1362.45/1366.23 c #Conflicts: 1080000 | #Constraints: 39314
1362.45/1366.23 c #Conflicts: 1081000 | #Constraints: 40314
1362.45/1366.23 c #Conflicts: 1082000 | #Constraints: 41314
1362.45/1366.23 c #Conflicts: 1083000 | #Constraints: 42314
1362.45/1366.23 c INPROCESSING
1362.45/1366.23 c GARBAGE COLLECT
1362.45/1366.23 c #Conflicts: 1084000 | #Constraints: 22707
1362.45/1366.23 c #Conflicts: 1085000 | #Constraints: 23707
1362.45/1366.23 c #Conflicts: 1086000 | #Constraints: 24707
1362.45/1366.23 c #Conflicts: 1087000 | #Constraints: 25707
1362.45/1366.23 c #Conflicts: 1088000 | #Constraints: 26707
1362.45/1366.23 c #Conflicts: 1089000 | #Constraints: 27707
1362.45/1366.23 c #Conflicts: 1090000 | #Constraints: 28707
1362.45/1366.23 c #Conflicts: 1091000 | #Constraints: 29707
1362.45/1366.23 c #Conflicts: 1092000 | #Constraints: 30707
1362.45/1366.23 c #Conflicts: 1093000 | #Constraints: 31707
1362.45/1366.23 c #Conflicts: 1094000 | #Constraints: 32707
1362.45/1366.23 c #Conflicts: 1095000 | #Constraints: 33707
1362.45/1366.23 c #Conflicts: 1096000 | #Constraints: 34707
1362.45/1366.23 c #Conflicts: 1097000 | #Constraints: 35707
1517.72/1521.91 c #Conflicts: 1098000 | #Constraints: 36707
1517.72/1521.91 c #Conflicts: 1099000 | #Constraints: 37707
1517.72/1521.91 c #Conflicts: 1100000 | #Constraints: 38707
1517.72/1521.91 c #Conflicts: 1101000 | #Constraints: 39707
1517.72/1521.91 c #Conflicts: 1102000 | #Constraints: 40707
1517.72/1521.91 c #Conflicts: 1103000 | #Constraints: 41707
1517.72/1521.91 c #Conflicts: 1104000 | #Constraints: 42707
1517.72/1521.91 c INPROCESSING
1517.72/1521.91 c GARBAGE COLLECT
1517.72/1521.91 c #Conflicts: 1105000 | #Constraints: 22907
1517.72/1521.91 c #Conflicts: 1106000 | #Constraints: 23907
1517.72/1521.91 c #Conflicts: 1107000 | #Constraints: 24907
1517.72/1521.91 c #Conflicts: 1108000 | #Constraints: 25907
1517.72/1521.91 c #Conflicts: 1109000 | #Constraints: 26907
1517.72/1521.91 c #Conflicts: 1110000 | #Constraints: 27907
1517.72/1521.91 c #Conflicts: 1111000 | #Constraints: 28907
1517.72/1521.91 c #Conflicts: 1112000 | #Constraints: 29907
1517.72/1521.91 c #Conflicts: 1113000 | #Constraints: 30907
1517.72/1521.91 c #Conflicts: 1114000 | #Constraints: 31907
1517.72/1521.91 c #Conflicts: 1115000 | #Constraints: 32907
1517.72/1521.91 c #Conflicts: 1116000 | #Constraints: 33907
1517.72/1521.92 c #Conflicts: 1117000 | #Constraints: 34907
1517.72/1521.92 c #Conflicts: 1118000 | #Constraints: 35907
1517.72/1521.92 c #Conflicts: 1119000 | #Constraints: 36907
1517.72/1521.92 c #Conflicts: 1120000 | #Constraints: 37907
1517.72/1521.92 c #Conflicts: 1121000 | #Constraints: 38907
1517.72/1521.92 c #Conflicts: 1122000 | #Constraints: 39907
1517.72/1521.92 c #Conflicts: 1123000 | #Constraints: 40907
1517.72/1521.92 c #Conflicts: 1124000 | #Constraints: 41907
1517.72/1521.92 c #Conflicts: 1125000 | #Constraints: 42907
1517.72/1521.92 c INPROCESSING
1517.72/1521.92 c GARBAGE COLLECT
1517.72/1521.92 c #Conflicts: 1126000 | #Constraints: 22909
1517.72/1521.92 c #Conflicts: 1127000 | #Constraints: 23909
1517.72/1521.92 c #Conflicts: 1128000 | #Constraints: 24909
1517.72/1521.92 c #Conflicts: 1129000 | #Constraints: 25909
1517.72/1521.92 c #Conflicts: 1130000 | #Constraints: 26909
1517.72/1521.92 c #Conflicts: 1131000 | #Constraints: 27909
1517.72/1521.92 c #Conflicts: 1132000 | #Constraints: 28909
1517.72/1521.92 c #Conflicts: 1133000 | #Constraints: 29909
1517.72/1521.92 c #Conflicts: 1134000 | #Constraints: 30909
1517.72/1521.92 c #Conflicts: 1135000 | #Constraints: 31909
1517.72/1521.92 c #Conflicts: 1136000 | #Constraints: 32909
1517.72/1521.92 c #Conflicts: 1137000 | #Constraints: 33909
1517.72/1521.92 c #Conflicts: 1138000 | #Constraints: 34909
1517.72/1521.92 c #Conflicts: 1139000 | #Constraints: 35909
1517.72/1521.92 c #Conflicts: 1140000 | #Constraints: 36909
1517.72/1521.92 c #Conflicts: 1141000 | #Constraints: 37909
1517.72/1521.92 c #Conflicts: 1142000 | #Constraints: 38909
1517.72/1521.92 c #Conflicts: 1143000 | #Constraints: 39909
1517.72/1521.92 c #Conflicts: 1144000 | #Constraints: 40909
1517.72/1521.92 c #Conflicts: 1145000 | #Constraints: 41909
1517.72/1521.92 c #Conflicts: 1146000 | #Constraints: 42909
1517.72/1521.92 c INPROCESSING
1517.72/1521.92 c GARBAGE COLLECT
1517.72/1521.92 c #Conflicts: 1147000 | #Constraints: 22715
1517.72/1521.92 c #Conflicts: 1148000 | #Constraints: 23715
1517.72/1521.92 c #Conflicts: 1149000 | #Constraints: 24715
1517.72/1521.92 c #Conflicts: 1150000 | #Constraints: 25715
1517.72/1521.92 c #Conflicts: 1151000 | #Constraints: 26715
1517.72/1521.92 c #Conflicts: 1152000 | #Constraints: 27715
1517.72/1521.92 c #Conflicts: 1153000 | #Constraints: 28715
1517.72/1521.92 c #Conflicts: 1154000 | #Constraints: 29715
1517.72/1521.92 c #Conflicts: 1155000 | #Constraints: 30715
1517.72/1521.92 c #Conflicts: 1156000 | #Constraints: 31715
1517.72/1521.92 c #Conflicts: 1157000 | #Constraints: 32715
1517.72/1521.92 c #Conflicts: 1158000 | #Constraints: 33715
1517.72/1521.92 c #Conflicts: 1159000 | #Constraints: 34715
1517.72/1521.92 c #Conflicts: 1160000 | #Constraints: 35715
1517.72/1521.92 c #Conflicts: 1161000 | #Constraints: 36715
1517.72/1521.92 c #Conflicts: 1162000 | #Constraints: 37715
1517.72/1521.92 c #Conflicts: 1163000 | #Constraints: 38715
1517.72/1521.92 c #Conflicts: 1164000 | #Constraints: 39715
1517.72/1521.92 c #Conflicts: 1165000 | #Constraints: 40715
1517.72/1521.92 c #Conflicts: 1166000 | #Constraints: 41715
1517.72/1521.92 c #Conflicts: 1167000 | #Constraints: 42715
1517.72/1521.92 c #Conflicts: 1168000 | #Constraints: 43715
1517.72/1521.92 c INPROCESSING
1517.72/1521.92 c GARBAGE COLLECT
1517.72/1521.92 c #Conflicts: 1169000 | #Constraints: 23311
1517.72/1521.92 c #Conflicts: 1170000 | #Constraints: 24311
1517.72/1521.92 c #Conflicts: 1171000 | #Constraints: 25311
1517.72/1521.92 c #Conflicts: 1172000 | #Constraints: 26311
1517.72/1521.92 c #Conflicts: 1173000 | #Constraints: 27311
1673.06/1677.74 c #Conflicts: 1174000 | #Constraints: 28311
1673.06/1677.74 c #Conflicts: 1175000 | #Constraints: 29311
1673.06/1677.74 c #Conflicts: 1176000 | #Constraints: 30311
1673.06/1677.74 c #Conflicts: 1177000 | #Constraints: 31311
1673.06/1677.74 c #Conflicts: 1178000 | #Constraints: 32311
1673.06/1677.74 c #Conflicts: 1179000 | #Constraints: 33311
1673.06/1677.74 c #Conflicts: 1180000 | #Constraints: 34311
1673.06/1677.74 c #Conflicts: 1181000 | #Constraints: 35311
1673.06/1677.74 c #Conflicts: 1182000 | #Constraints: 36311
1673.06/1677.74 c #Conflicts: 1183000 | #Constraints: 37311
1673.06/1677.74 c #Conflicts: 1184000 | #Constraints: 38311
1673.06/1677.74 c #Conflicts: 1185000 | #Constraints: 39311
1673.06/1677.74 c #Conflicts: 1186000 | #Constraints: 40311
1673.06/1677.74 c #Conflicts: 1187000 | #Constraints: 41311
1673.06/1677.74 c #Conflicts: 1188000 | #Constraints: 42311
1673.06/1677.74 c #Conflicts: 1189000 | #Constraints: 43311
1673.06/1677.74 c #Conflicts: 1190000 | #Constraints: 44311
1673.06/1677.74 c INPROCESSING
1673.06/1677.74 c GARBAGE COLLECT
1673.06/1677.74 c #Conflicts: 1191000 | #Constraints: 23714
1673.06/1677.74 c #Conflicts: 1192000 | #Constraints: 24714
1673.06/1677.74 c #Conflicts: 1193000 | #Constraints: 25714
1673.06/1677.74 c #Conflicts: 1194000 | #Constraints: 26714
1673.06/1677.74 c #Conflicts: 1195000 | #Constraints: 27714
1673.06/1677.74 c #Conflicts: 1196000 | #Constraints: 28714
1673.06/1677.74 c #Conflicts: 1197000 | #Constraints: 29714
1673.06/1677.74 c #Conflicts: 1198000 | #Constraints: 30714
1673.06/1677.74 c #Conflicts: 1199000 | #Constraints: 31714
1673.06/1677.74 c #Conflicts: 1200000 | #Constraints: 32714
1673.06/1677.74 c #Conflicts: 1201000 | #Constraints: 33714
1673.06/1677.74 c #Conflicts: 1202000 | #Constraints: 34714
1673.06/1677.74 c #Conflicts: 1203000 | #Constraints: 35714
1673.06/1677.74 c #Conflicts: 1204000 | #Constraints: 36714
1673.06/1677.74 c #Conflicts: 1205000 | #Constraints: 37714
1673.06/1677.74 c #Conflicts: 1206000 | #Constraints: 38714
1673.06/1677.74 c #Conflicts: 1207000 | #Constraints: 39714
1673.06/1677.74 c #Conflicts: 1208000 | #Constraints: 40714
1673.06/1677.74 c #Conflicts: 1209000 | #Constraints: 41714
1673.06/1677.74 c #Conflicts: 1210000 | #Constraints: 42714
1673.06/1677.74 c #Conflicts: 1211000 | #Constraints: 43714
1673.06/1677.74 c #Conflicts: 1212000 | #Constraints: 44714
1673.06/1677.74 c INPROCESSING
1673.06/1677.74 c GARBAGE COLLECT
1673.06/1677.74 c #Conflicts: 1213000 | #Constraints: 23905
1673.06/1677.74 c #Conflicts: 1214000 | #Constraints: 24905
1673.06/1677.74 c #Conflicts: 1215000 | #Constraints: 25905
1673.06/1677.74 c #Conflicts: 1216000 | #Constraints: 26905
1673.06/1677.74 c #Conflicts: 1217000 | #Constraints: 27905
1673.06/1677.74 c #Conflicts: 1218000 | #Constraints: 28905
1673.06/1677.74 c #Conflicts: 1219000 | #Constraints: 29905
1673.06/1677.74 c #Conflicts: 1220000 | #Constraints: 30905
1673.06/1677.74 c #Conflicts: 1221000 | #Constraints: 31905
1673.06/1677.74 c #Conflicts: 1222000 | #Constraints: 32905
1673.06/1677.74 c #Conflicts: 1223000 | #Constraints: 33905
1673.06/1677.74 c #Conflicts: 1224000 | #Constraints: 34905
1673.06/1677.74 c #Conflicts: 1225000 | #Constraints: 35905
1673.06/1677.74 c #Conflicts: 1226000 | #Constraints: 36905
1673.06/1677.74 c #Conflicts: 1227000 | #Constraints: 37905
1673.06/1677.74 c #Conflicts: 1228000 | #Constraints: 38905
1673.06/1677.74 c #Conflicts: 1229000 | #Constraints: 39905
1673.06/1677.74 c #Conflicts: 1230000 | #Constraints: 40905
1673.06/1677.74 c #Conflicts: 1231000 | #Constraints: 41905
1673.06/1677.74 c #Conflicts: 1232000 | #Constraints: 42905
1673.06/1677.74 c #Conflicts: 1233000 | #Constraints: 43905
1673.06/1677.74 c #Conflicts: 1234000 | #Constraints: 44905
1673.06/1677.74 c INPROCESSING
1673.06/1677.74 c GARBAGE COLLECT
1673.06/1677.74 c #Conflicts: 1235000 | #Constraints: 23903
1673.06/1677.74 c #Conflicts: 1236000 | #Constraints: 24903
1673.06/1677.74 c #Conflicts: 1237000 | #Constraints: 25903
1673.06/1677.74 c #Conflicts: 1238000 | #Constraints: 26903
1673.06/1677.74 c #Conflicts: 1239000 | #Constraints: 27903
1673.06/1677.74 c #Conflicts: 1240000 | #Constraints: 28903
1673.06/1677.74 c #Conflicts: 1241000 | #Constraints: 29903
1673.06/1677.74 c #Conflicts: 1242000 | #Constraints: 30903
1673.06/1677.74 c #Conflicts: 1243000 | #Constraints: 31903
1673.06/1677.74 c #Conflicts: 1244000 | #Constraints: 32903
1673.06/1677.74 c #Conflicts: 1245000 | #Constraints: 33903
1673.06/1677.74 c #Conflicts: 1246000 | #Constraints: 34903
1673.06/1677.74 c #Conflicts: 1247000 | #Constraints: 35903
1673.06/1677.74 c #Conflicts: 1248000 | #Constraints: 36903
1673.06/1677.74 c #Conflicts: 1249000 | #Constraints: 37903
1673.06/1677.74 c #Conflicts: 1250000 | #Constraints: 38903
1817.17/1822.29 c #Conflicts: 1251000 | #Constraints: 39903
1817.17/1822.29 c #Conflicts: 1252000 | #Constraints: 40903
1817.17/1822.29 c #Conflicts: 1253000 | #Constraints: 41903
1817.17/1822.29 c #Conflicts: 1254000 | #Constraints: 42903
1817.17/1822.29 c #Conflicts: 1255000 | #Constraints: 43903
1817.17/1822.29 c #Conflicts: 1256000 | #Constraints: 44903
1817.17/1822.29 c INPROCESSING
1817.17/1822.29 c GARBAGE COLLECT
1817.17/1822.29 c #Conflicts: 1257000 | #Constraints: 23710
1817.17/1822.29 c #Conflicts: 1258000 | #Constraints: 24710
1817.17/1822.29 c #Conflicts: 1259000 | #Constraints: 25710
1817.17/1822.29 c #Conflicts: 1260000 | #Constraints: 26710
1817.17/1822.29 c #Conflicts: 1261000 | #Constraints: 27710
1817.17/1822.29 c #Conflicts: 1262000 | #Constraints: 28710
1817.17/1822.29 c #Conflicts: 1263000 | #Constraints: 29710
1817.17/1822.29 c #Conflicts: 1264000 | #Constraints: 30710
1817.17/1822.29 c #Conflicts: 1265000 | #Constraints: 31710
1817.17/1822.29 c #Conflicts: 1266000 | #Constraints: 32710
1817.17/1822.29 c #Conflicts: 1267000 | #Constraints: 33710
1817.17/1822.29 c #Conflicts: 1268000 | #Constraints: 34710
1817.17/1822.29 c #Conflicts: 1269000 | #Constraints: 35710
1817.17/1822.29 c #Conflicts: 1270000 | #Constraints: 36710
1817.17/1822.29 c #Conflicts: 1271000 | #Constraints: 37710
1817.17/1822.29 c #Conflicts: 1272000 | #Constraints: 38710
1817.17/1822.29 c #Conflicts: 1273000 | #Constraints: 39710
1817.17/1822.29 c #Conflicts: 1274000 | #Constraints: 40710
1817.17/1822.29 c #Conflicts: 1275000 | #Constraints: 41710
1817.17/1822.29 c #Conflicts: 1276000 | #Constraints: 42710
1817.17/1822.29 c #Conflicts: 1277000 | #Constraints: 43710
1817.17/1822.29 c #Conflicts: 1278000 | #Constraints: 44710
1817.17/1822.29 c #Conflicts: 1279000 | #Constraints: 45710
1817.17/1822.29 c INPROCESSING
1817.17/1822.29 c GARBAGE COLLECT
1817.17/1822.29 c #Conflicts: 1280000 | #Constraints: 24306
1817.17/1822.29 c #Conflicts: 1281000 | #Constraints: 25306
1817.17/1822.29 c #Conflicts: 1282000 | #Constraints: 26306
1817.17/1822.29 c #Conflicts: 1283000 | #Constraints: 27306
1817.17/1822.29 c #Conflicts: 1284000 | #Constraints: 28306
1817.17/1822.29 c #Conflicts: 1285000 | #Constraints: 29306
1817.17/1822.29 c #Conflicts: 1286000 | #Constraints: 30306
1817.17/1822.29 c #Conflicts: 1287000 | #Constraints: 31306
1817.17/1822.29 c #Conflicts: 1288000 | #Constraints: 32306
1817.17/1822.29 c #Conflicts: 1289000 | #Constraints: 33306
1817.17/1822.29 c #Conflicts: 1290000 | #Constraints: 34306
1817.17/1822.29 c #Conflicts: 1291000 | #Constraints: 35306
1817.17/1822.29 c #Conflicts: 1292000 | #Constraints: 36306
1817.17/1822.29 c #Conflicts: 1293000 | #Constraints: 37306
1817.17/1822.29 c #Conflicts: 1294000 | #Constraints: 38306
1817.17/1822.29 c #Conflicts: 1295000 | #Constraints: 39306
1817.17/1822.29 c #Conflicts: 1296000 | #Constraints: 40306
1817.17/1822.29 c #Conflicts: 1297000 | #Constraints: 41306
1817.17/1822.29 c #Conflicts: 1298000 | #Constraints: 42306
1817.17/1822.29 c #Conflicts: 1299000 | #Constraints: 43306
1817.17/1822.29 c #Conflicts: 1300000 | #Constraints: 44306
1817.17/1822.29 c #Conflicts: 1301000 | #Constraints: 45306
1817.17/1822.29 c #Conflicts: 1302000 | #Constraints: 46306
1817.17/1822.29 c INPROCESSING
1817.17/1822.29 c GARBAGE COLLECT
1817.17/1822.29 c #Conflicts: 1303000 | #Constraints: 24704
1817.17/1822.29 c #Conflicts: 1304000 | #Constraints: 25704
1817.17/1822.29 c #Conflicts: 1305000 | #Constraints: 26704
1817.17/1822.29 c #Conflicts: 1306000 | #Constraints: 27704
1817.17/1822.29 c #Conflicts: 1307000 | #Constraints: 28704
1817.17/1822.29 c #Conflicts: 1308000 | #Constraints: 29704
1817.17/1822.29 c #Conflicts: 1309000 | #Constraints: 30704
1817.17/1822.29 c #Conflicts: 1310000 | #Constraints: 31704
1817.17/1822.29 c #Conflicts: 1311000 | #Constraints: 32704
1817.17/1822.29 c #Conflicts: 1312000 | #Constraints: 33704
1817.17/1822.29 c #Conflicts: 1313000 | #Constraints: 34704
1817.17/1822.29 c #Conflicts: 1314000 | #Constraints: 35704
1817.17/1822.29 c #Conflicts: 1315000 | #Constraints: 36704
1817.17/1822.29 c #Conflicts: 1316000 | #Constraints: 37704
1817.17/1822.29 c #Conflicts: 1317000 | #Constraints: 38704
1817.17/1822.29 c #Conflicts: 1318000 | #Constraints: 39704
1817.17/1822.29 c #Conflicts: 1319000 | #Constraints: 40704
1817.17/1822.29 c #Conflicts: 1320000 | #Constraints: 41704
1817.17/1822.29 c #Conflicts: 1321000 | #Constraints: 42704
1817.17/1822.29 c #Conflicts: 1322000 | #Constraints: 43704
1817.17/1822.29 c #Conflicts: 1323000 | #Constraints: 44704
1817.17/1822.29 c #Conflicts: 1324000 | #Constraints: 45704
1817.17/1822.29 c #Conflicts: 1325000 | #Constraints: 46704
1817.17/1822.29 c INPROCESSING
1817.17/1822.29 c GARBAGE COLLECT
1817.17/1822.29 c #Conflicts: 1326000 | #Constraints: 24906
1817.17/1822.29 c #Conflicts: 1327000 | #Constraints: 25906
1955.13/1960.66 c #Conflicts: 1328000 | #Constraints: 26906
1955.13/1960.66 c #Conflicts: 1329000 | #Constraints: 27906
1955.13/1960.66 c #Conflicts: 1330000 | #Constraints: 28906
1955.13/1960.66 c #Conflicts: 1331000 | #Constraints: 29906
1955.13/1960.66 c #Conflicts: 1332000 | #Constraints: 30906
1955.13/1960.66 c #Conflicts: 1333000 | #Constraints: 31906
1955.13/1960.66 c #Conflicts: 1334000 | #Constraints: 32906
1955.13/1960.66 c #Conflicts: 1335000 | #Constraints: 33906
1955.13/1960.66 c #Conflicts: 1336000 | #Constraints: 34906
1955.13/1960.66 c #Conflicts: 1337000 | #Constraints: 35906
1955.13/1960.66 c #Conflicts: 1338000 | #Constraints: 36906
1955.13/1960.66 c #Conflicts: 1339000 | #Constraints: 37906
1955.13/1960.66 c #Conflicts: 1340000 | #Constraints: 38906
1955.13/1960.66 c #Conflicts: 1341000 | #Constraints: 39906
1955.13/1960.66 c #Conflicts: 1342000 | #Constraints: 40906
1955.13/1960.66 c #Conflicts: 1343000 | #Constraints: 41906
1955.13/1960.66 c #Conflicts: 1344000 | #Constraints: 42906
1955.13/1960.66 c #Conflicts: 1345000 | #Constraints: 43906
1955.13/1960.66 c #Conflicts: 1346000 | #Constraints: 44906
1955.13/1960.66 c #Conflicts: 1347000 | #Constraints: 45906
1955.13/1960.66 c #Conflicts: 1348000 | #Constraints: 46906
1955.13/1960.66 c INPROCESSING
1955.13/1960.66 c GARBAGE COLLECT
1955.13/1960.66 c #Conflicts: 1349000 | #Constraints: 24906
1955.13/1960.66 c #Conflicts: 1350000 | #Constraints: 25906
1955.13/1960.66 c #Conflicts: 1351000 | #Constraints: 26906
1955.13/1960.66 c #Conflicts: 1352000 | #Constraints: 27906
1955.13/1960.66 c #Conflicts: 1353000 | #Constraints: 28906
1955.13/1960.66 c #Conflicts: 1354000 | #Constraints: 29906
1955.13/1960.66 c #Conflicts: 1355000 | #Constraints: 30906
1955.13/1960.66 c #Conflicts: 1356000 | #Constraints: 31906
1955.13/1960.66 c #Conflicts: 1357000 | #Constraints: 32906
1955.13/1960.66 c #Conflicts: 1358000 | #Constraints: 33906
1955.13/1960.66 c #Conflicts: 1359000 | #Constraints: 34906
1955.13/1960.66 c #Conflicts: 1360000 | #Constraints: 35906
1955.13/1960.66 c #Conflicts: 1361000 | #Constraints: 36906
1955.13/1960.66 c #Conflicts: 1362000 | #Constraints: 37906
1955.13/1960.66 c #Conflicts: 1363000 | #Constraints: 38906
1955.13/1960.66 c #Conflicts: 1364000 | #Constraints: 39906
1955.13/1960.66 c #Conflicts: 1365000 | #Constraints: 40906
1955.13/1960.66 c #Conflicts: 1366000 | #Constraints: 41906
1955.13/1960.66 c #Conflicts: 1367000 | #Constraints: 42906
1955.13/1960.66 c #Conflicts: 1368000 | #Constraints: 43906
1955.13/1960.66 c #Conflicts: 1369000 | #Constraints: 44906
1955.13/1960.66 c #Conflicts: 1370000 | #Constraints: 45906
1955.13/1960.66 c #Conflicts: 1371000 | #Constraints: 46906
1955.13/1960.66 c INPROCESSING
1955.13/1960.66 c GARBAGE COLLECT
1955.13/1960.66 c #Conflicts: 1372000 | #Constraints: 24707
1955.13/1960.66 c #Conflicts: 1373000 | #Constraints: 25707
1955.13/1960.66 c #Conflicts: 1374000 | #Constraints: 26707
1955.13/1960.66 c #Conflicts: 1375000 | #Constraints: 27707
1955.13/1960.66 c #Conflicts: 1376000 | #Constraints: 28707
1955.13/1960.66 c #Conflicts: 1377000 | #Constraints: 29707
1955.13/1960.66 c #Conflicts: 1378000 | #Constraints: 30707
1955.13/1960.66 c #Conflicts: 1379000 | #Constraints: 31707
1955.13/1960.66 c #Conflicts: 1380000 | #Constraints: 32707
1955.13/1960.66 c #Conflicts: 1381000 | #Constraints: 33707
1955.13/1960.66 c #Conflicts: 1382000 | #Constraints: 34707
1955.13/1960.66 c #Conflicts: 1383000 | #Constraints: 35707
1955.13/1960.66 c #Conflicts: 1384000 | #Constraints: 36707
1955.13/1960.66 c #Conflicts: 1385000 | #Constraints: 37707
1955.13/1960.66 c #Conflicts: 1386000 | #Constraints: 38707
1955.13/1960.66 c #Conflicts: 1387000 | #Constraints: 39707
1955.13/1960.66 c #Conflicts: 1388000 | #Constraints: 40707
1955.13/1960.66 c #Conflicts: 1389000 | #Constraints: 41707
1955.13/1960.66 c #Conflicts: 1390000 | #Constraints: 42707
1955.13/1960.66 c #Conflicts: 1391000 | #Constraints: 43707
1955.13/1960.66 c #Conflicts: 1392000 | #Constraints: 44707
1955.13/1960.66 c #Conflicts: 1393000 | #Constraints: 45707
1955.13/1960.66 c #Conflicts: 1394000 | #Constraints: 46707
1955.13/1960.66 c #Conflicts: 1395000 | #Constraints: 47707
1955.13/1960.66 c INPROCESSING
1955.13/1960.66 c GARBAGE COLLECT
1955.13/1960.66 c #Conflicts: 1396000 | #Constraints: 25304
1955.13/1960.66 c #Conflicts: 1397000 | #Constraints: 26304
1955.13/1960.66 c #Conflicts: 1398000 | #Constraints: 27304
1955.13/1960.66 c #Conflicts: 1399000 | #Constraints: 28304
1955.13/1960.66 c #Conflicts: 1400000 | #Constraints: 29304
1955.13/1960.66 c #Conflicts: 1401000 | #Constraints: 30304
1955.13/1960.66 c #Conflicts: 1402000 | #Constraints: 31304
1955.13/1960.66 c #Conflicts: 1403000 | #Constraints: 32304
2102.68/2108.60 c #Conflicts: 1404000 | #Constraints: 33304
2102.68/2108.60 c #Conflicts: 1405000 | #Constraints: 34304
2102.68/2108.60 c #Conflicts: 1406000 | #Constraints: 35304
2102.68/2108.60 c #Conflicts: 1407000 | #Constraints: 36304
2102.68/2108.60 c #Conflicts: 1408000 | #Constraints: 37304
2102.68/2108.60 c #Conflicts: 1409000 | #Constraints: 38304
2102.68/2108.60 c #Conflicts: 1410000 | #Constraints: 39304
2102.68/2108.60 c #Conflicts: 1411000 | #Constraints: 40304
2102.68/2108.60 c #Conflicts: 1412000 | #Constraints: 41304
2102.68/2108.60 c #Conflicts: 1413000 | #Constraints: 42304
2102.68/2108.60 c #Conflicts: 1414000 | #Constraints: 43304
2102.68/2108.60 c #Conflicts: 1415000 | #Constraints: 44304
2102.68/2108.60 c #Conflicts: 1416000 | #Constraints: 45304
2102.68/2108.60 c #Conflicts: 1417000 | #Constraints: 46304
2102.68/2108.60 c #Conflicts: 1418000 | #Constraints: 47304
2102.68/2108.60 c #Conflicts: 1419000 | #Constraints: 48304
2102.68/2108.60 c INPROCESSING
2102.68/2108.60 c GARBAGE COLLECT
2102.68/2108.60 c #Conflicts: 1420000 | #Constraints: 25708
2102.68/2108.60 c #Conflicts: 1421000 | #Constraints: 26708
2102.68/2108.60 c #Conflicts: 1422000 | #Constraints: 27708
2102.68/2108.60 c #Conflicts: 1423000 | #Constraints: 28708
2102.68/2108.60 c #Conflicts: 1424000 | #Constraints: 29708
2102.68/2108.60 c #Conflicts: 1425000 | #Constraints: 30708
2102.68/2108.60 c #Conflicts: 1426000 | #Constraints: 31708
2102.68/2108.60 c #Conflicts: 1427000 | #Constraints: 32708
2102.68/2108.60 c #Conflicts: 1428000 | #Constraints: 33708
2102.68/2108.60 c #Conflicts: 1429000 | #Constraints: 34708
2102.68/2108.60 c #Conflicts: 1430000 | #Constraints: 35708
2102.68/2108.60 c #Conflicts: 1431000 | #Constraints: 36708
2102.68/2108.60 c #Conflicts: 1432000 | #Constraints: 37708
2102.68/2108.60 c #Conflicts: 1433000 | #Constraints: 38708
2102.68/2108.60 c #Conflicts: 1434000 | #Constraints: 39708
2102.68/2108.60 c #Conflicts: 1435000 | #Constraints: 40708
2102.68/2108.60 c #Conflicts: 1436000 | #Constraints: 41708
2102.68/2108.60 c #Conflicts: 1437000 | #Constraints: 42708
2102.68/2108.60 c #Conflicts: 1438000 | #Constraints: 43708
2102.68/2108.60 c #Conflicts: 1439000 | #Constraints: 44708
2102.68/2108.60 c #Conflicts: 1440000 | #Constraints: 45708
2102.68/2108.60 c #Conflicts: 1441000 | #Constraints: 46708
2102.68/2108.60 c #Conflicts: 1442000 | #Constraints: 47708
2102.68/2108.60 c #Conflicts: 1443000 | #Constraints: 48708
2102.68/2108.60 c INPROCESSING
2102.68/2108.60 c GARBAGE COLLECT
2102.68/2108.60 c #Conflicts: 1444000 | #Constraints: 25904
2102.68/2108.60 c #Conflicts: 1445000 | #Constraints: 26904
2102.68/2108.60 c #Conflicts: 1446000 | #Constraints: 27904
2102.68/2108.60 c #Conflicts: 1447000 | #Constraints: 28904
2102.68/2108.60 c #Conflicts: 1448000 | #Constraints: 29904
2102.68/2108.60 c #Conflicts: 1449000 | #Constraints: 30904
2102.68/2108.60 c #Conflicts: 1450000 | #Constraints: 31904
2102.68/2108.60 c #Conflicts: 1451000 | #Constraints: 32904
2102.68/2108.60 c #Conflicts: 1452000 | #Constraints: 33904
2102.68/2108.60 c #Conflicts: 1453000 | #Constraints: 34904
2102.68/2108.60 c #Conflicts: 1454000 | #Constraints: 35904
2102.68/2108.60 c #Conflicts: 1455000 | #Constraints: 36904
2102.68/2108.60 c #Conflicts: 1456000 | #Constraints: 37904
2102.68/2108.60 c #Conflicts: 1457000 | #Constraints: 38904
2102.68/2108.60 c #Conflicts: 1458000 | #Constraints: 39904
2102.68/2108.60 c #Conflicts: 1459000 | #Constraints: 40904
2102.68/2108.60 c #Conflicts: 1460000 | #Constraints: 41904
2102.68/2108.60 c #Conflicts: 1461000 | #Constraints: 42904
2102.68/2108.60 c #Conflicts: 1462000 | #Constraints: 43904
2102.68/2108.60 c #Conflicts: 1463000 | #Constraints: 44904
2102.68/2108.60 c #Conflicts: 1464000 | #Constraints: 45904
2102.68/2108.60 c #Conflicts: 1465000 | #Constraints: 46904
2102.68/2108.60 c #Conflicts: 1466000 | #Constraints: 47904
2102.68/2108.60 c #Conflicts: 1467000 | #Constraints: 48904
2102.68/2108.60 c INPROCESSING
2102.68/2108.60 c GARBAGE COLLECT
2102.68/2108.60 c #Conflicts: 1468000 | #Constraints: 25904
2102.68/2108.60 c #Conflicts: 1469000 | #Constraints: 26904
2102.68/2108.60 c #Conflicts: 1470000 | #Constraints: 27904
2102.68/2108.60 c #Conflicts: 1471000 | #Constraints: 28904
2102.68/2108.60 c #Conflicts: 1472000 | #Constraints: 29904
2102.68/2108.60 c #Conflicts: 1473000 | #Constraints: 30904
2102.68/2108.60 c #Conflicts: 1474000 | #Constraints: 31904
2102.68/2108.60 c #Conflicts: 1475000 | #Constraints: 32904
2102.68/2108.60 c #Conflicts: 1476000 | #Constraints: 33904
2102.68/2108.60 c #Conflicts: 1477000 | #Constraints: 34904
2102.68/2108.60 c #Conflicts: 1478000 | #Constraints: 35904
2102.68/2108.60 c #Conflicts: 1479000 | #Constraints: 36904
2102.68/2108.60 c #Conflicts: 1480000 | #Constraints: 37904
2249.51/2255.96 c #Conflicts: 1481000 | #Constraints: 38904
2249.51/2255.96 c #Conflicts: 1482000 | #Constraints: 39904
2249.51/2255.96 c #Conflicts: 1483000 | #Constraints: 40904
2249.51/2255.96 c #Conflicts: 1484000 | #Constraints: 41904
2249.51/2255.96 c #Conflicts: 1485000 | #Constraints: 42904
2249.51/2255.96 c #Conflicts: 1486000 | #Constraints: 43904
2249.51/2255.96 c #Conflicts: 1487000 | #Constraints: 44904
2249.51/2255.96 c #Conflicts: 1488000 | #Constraints: 45904
2249.51/2255.96 c #Conflicts: 1489000 | #Constraints: 46904
2249.51/2255.96 c #Conflicts: 1490000 | #Constraints: 47904
2249.51/2255.96 c #Conflicts: 1491000 | #Constraints: 48904
2249.51/2255.96 c INPROCESSING
2249.51/2255.96 c GARBAGE COLLECT
2249.51/2255.96 c #Conflicts: 1492000 | #Constraints: 25708
2249.51/2255.96 c #Conflicts: 1493000 | #Constraints: 26708
2249.51/2255.96 c #Conflicts: 1494000 | #Constraints: 27708
2249.51/2255.96 c #Conflicts: 1495000 | #Constraints: 28708
2249.51/2255.96 c #Conflicts: 1496000 | #Constraints: 29708
2249.51/2255.96 c #Conflicts: 1497000 | #Constraints: 30708
2249.51/2255.96 c #Conflicts: 1498000 | #Constraints: 31708
2249.51/2255.96 c #Conflicts: 1499000 | #Constraints: 32708
2249.51/2255.96 c #Conflicts: 1500000 | #Constraints: 33708
2249.51/2255.96 c #Conflicts: 1501000 | #Constraints: 34708
2249.51/2255.96 c #Conflicts: 1502000 | #Constraints: 35708
2249.51/2255.96 c #Conflicts: 1503000 | #Constraints: 36708
2249.51/2255.96 c #Conflicts: 1504000 | #Constraints: 37708
2249.51/2255.96 c #Conflicts: 1505000 | #Constraints: 38708
2249.51/2255.96 c #Conflicts: 1506000 | #Constraints: 39708
2249.51/2255.96 c #Conflicts: 1507000 | #Constraints: 40708
2249.51/2255.96 c #Conflicts: 1508000 | #Constraints: 41708
2249.51/2255.96 c #Conflicts: 1509000 | #Constraints: 42708
2249.51/2255.96 c #Conflicts: 1510000 | #Constraints: 43708
2249.51/2255.96 c #Conflicts: 1511000 | #Constraints: 44708
2249.51/2255.96 c #Conflicts: 1512000 | #Constraints: 45708
2249.51/2255.96 c #Conflicts: 1513000 | #Constraints: 46708
2249.51/2255.96 c #Conflicts: 1514000 | #Constraints: 47708
2249.51/2255.96 c #Conflicts: 1515000 | #Constraints: 48708
2249.51/2255.96 c #Conflicts: 1516000 | #Constraints: 49708
2249.51/2255.96 c INPROCESSING
2249.51/2255.96 c GARBAGE COLLECT
2249.51/2255.96 c #Conflicts: 1517000 | #Constraints: 26310
2249.51/2255.96 c #Conflicts: 1518000 | #Constraints: 27310
2249.51/2255.96 c #Conflicts: 1519000 | #Constraints: 28310
2249.51/2255.96 c #Conflicts: 1520000 | #Constraints: 29310
2249.51/2255.96 c #Conflicts: 1521000 | #Constraints: 30310
2249.51/2255.96 c #Conflicts: 1522000 | #Constraints: 31310
2249.51/2255.96 c #Conflicts: 1523000 | #Constraints: 32310
2249.51/2255.96 c #Conflicts: 1524000 | #Constraints: 33310
2249.51/2255.96 c #Conflicts: 1525000 | #Constraints: 34310
2249.51/2255.96 c #Conflicts: 1526000 | #Constraints: 35310
2249.51/2255.96 c #Conflicts: 1527000 | #Constraints: 36310
2249.51/2255.96 c #Conflicts: 1528000 | #Constraints: 37310
2249.51/2255.96 c #Conflicts: 1529000 | #Constraints: 38310
2249.51/2255.96 c #Conflicts: 1530000 | #Constraints: 39310
2249.51/2255.96 c #Conflicts: 1531000 | #Constraints: 40310
2249.51/2255.96 c #Conflicts: 1532000 | #Constraints: 41310
2249.51/2255.96 c #Conflicts: 1533000 | #Constraints: 42310
2249.51/2255.96 c #Conflicts: 1534000 | #Constraints: 43310
2249.51/2255.96 c #Conflicts: 1535000 | #Constraints: 44310
2249.51/2255.96 c #Conflicts: 1536000 | #Constraints: 45310
2249.51/2255.96 c #Conflicts: 1537000 | #Constraints: 46310
2249.51/2255.96 c #Conflicts: 1538000 | #Constraints: 47310
2249.51/2255.96 c #Conflicts: 1539000 | #Constraints: 48310
2249.51/2255.96 c #Conflicts: 1540000 | #Constraints: 49310
2249.51/2255.96 c #Conflicts: 1541000 | #Constraints: 50310
2249.51/2255.96 c INPROCESSING
2249.51/2255.96 c GARBAGE COLLECT
2249.51/2255.96 c #Conflicts: 1542000 | #Constraints: 26711
2249.51/2255.96 c #Conflicts: 1543000 | #Constraints: 27711
2249.51/2255.96 c #Conflicts: 1544000 | #Constraints: 28711
2249.51/2255.96 c #Conflicts: 1545000 | #Constraints: 29711
2249.51/2255.96 c #Conflicts: 1546000 | #Constraints: 30711
2249.51/2255.96 c #Conflicts: 1547000 | #Constraints: 31711
2249.51/2255.96 c #Conflicts: 1548000 | #Constraints: 32711
2249.51/2255.96 c #Conflicts: 1549000 | #Constraints: 33711
2249.51/2255.96 c #Conflicts: 1550000 | #Constraints: 34711
2249.51/2255.96 c #Conflicts: 1551000 | #Constraints: 35711
2249.51/2255.96 c #Conflicts: 1552000 | #Constraints: 36711
2249.51/2255.96 c #Conflicts: 1553000 | #Constraints: 37711
2249.51/2255.96 c #Conflicts: 1554000 | #Constraints: 38711
2249.51/2255.96 c #Conflicts: 1555000 | #Constraints: 39711
2249.51/2255.96 c #Conflicts: 1556000 | #Constraints: 40711
2249.51/2255.96 c #Conflicts: 1557000 | #Constraints: 41711
2388.98/2395.86 c #Conflicts: 1558000 | #Constraints: 42711
2388.98/2395.86 c #Conflicts: 1559000 | #Constraints: 43711
2388.98/2395.86 c #Conflicts: 1560000 | #Constraints: 44711
2388.98/2395.86 c #Conflicts: 1561000 | #Constraints: 45711
2388.98/2395.86 c #Conflicts: 1562000 | #Constraints: 46711
2388.98/2395.86 c #Conflicts: 1563000 | #Constraints: 47711
2388.98/2395.86 c #Conflicts: 1564000 | #Constraints: 48711
2388.98/2395.86 c #Conflicts: 1565000 | #Constraints: 49711
2388.98/2395.86 c #Conflicts: 1566000 | #Constraints: 50711
2388.98/2395.86 c INPROCESSING
2388.98/2395.86 c GARBAGE COLLECT
2388.98/2395.86 c #Conflicts: 1567000 | #Constraints: 26910
2388.98/2395.86 c #Conflicts: 1568000 | #Constraints: 27910
2388.98/2395.86 c #Conflicts: 1569000 | #Constraints: 28910
2388.98/2395.86 c #Conflicts: 1570000 | #Constraints: 29910
2388.98/2395.86 c #Conflicts: 1571000 | #Constraints: 30910
2388.98/2395.86 c #Conflicts: 1572000 | #Constraints: 31910
2388.98/2395.86 c #Conflicts: 1573000 | #Constraints: 32910
2388.98/2395.86 c #Conflicts: 1574000 | #Constraints: 33910
2388.98/2395.86 c #Conflicts: 1575000 | #Constraints: 34910
2388.98/2395.86 c #Conflicts: 1576000 | #Constraints: 35910
2388.98/2395.86 c #Conflicts: 1577000 | #Constraints: 36910
2388.98/2395.86 c #Conflicts: 1578000 | #Constraints: 37910
2388.98/2395.86 c #Conflicts: 1579000 | #Constraints: 38910
2388.98/2395.86 c #Conflicts: 1580000 | #Constraints: 39910
2388.98/2395.86 c #Conflicts: 1581000 | #Constraints: 40910
2388.98/2395.86 c #Conflicts: 1582000 | #Constraints: 41910
2388.98/2395.86 c #Conflicts: 1583000 | #Constraints: 42910
2388.98/2395.86 c #Conflicts: 1584000 | #Constraints: 43910
2388.98/2395.86 c #Conflicts: 1585000 | #Constraints: 44910
2388.98/2395.86 c #Conflicts: 1586000 | #Constraints: 45910
2388.98/2395.86 c #Conflicts: 1587000 | #Constraints: 46910
2388.98/2395.86 c #Conflicts: 1588000 | #Constraints: 47910
2388.98/2395.86 c #Conflicts: 1589000 | #Constraints: 48910
2388.98/2395.86 c #Conflicts: 1590000 | #Constraints: 49910
2388.98/2395.86 c #Conflicts: 1591000 | #Constraints: 50910
2388.98/2395.86 c INPROCESSING
2388.98/2395.86 c GARBAGE COLLECT
2388.98/2395.86 c #Conflicts: 1592000 | #Constraints: 26908
2388.98/2395.86 c #Conflicts: 1593000 | #Constraints: 27908
2388.98/2395.86 c #Conflicts: 1594000 | #Constraints: 28908
2388.98/2395.86 c #Conflicts: 1595000 | #Constraints: 29908
2388.98/2395.86 c #Conflicts: 1596000 | #Constraints: 30908
2388.98/2395.86 c #Conflicts: 1597000 | #Constraints: 31908
2388.98/2395.86 c #Conflicts: 1598000 | #Constraints: 32908
2388.98/2395.86 c #Conflicts: 1599000 | #Constraints: 33908
2388.98/2395.86 c #Conflicts: 1600000 | #Constraints: 34908
2388.98/2395.86 c #Conflicts: 1601000 | #Constraints: 35908
2388.98/2395.86 c #Conflicts: 1602000 | #Constraints: 36908
2388.98/2395.86 c #Conflicts: 1603000 | #Constraints: 37908
2388.98/2395.86 c #Conflicts: 1604000 | #Constraints: 38908
2388.98/2395.86 c #Conflicts: 1605000 | #Constraints: 39908
2388.98/2395.86 c #Conflicts: 1606000 | #Constraints: 40908
2388.98/2395.86 c #Conflicts: 1607000 | #Constraints: 41908
2388.98/2395.86 c #Conflicts: 1608000 | #Constraints: 42908
2388.98/2395.86 c #Conflicts: 1609000 | #Constraints: 43908
2388.98/2395.86 c #Conflicts: 1610000 | #Constraints: 44908
2388.98/2395.86 c #Conflicts: 1611000 | #Constraints: 45908
2388.98/2395.86 c #Conflicts: 1612000 | #Constraints: 46908
2388.98/2395.86 c #Conflicts: 1613000 | #Constraints: 47908
2388.98/2395.86 c #Conflicts: 1614000 | #Constraints: 48908
2388.98/2395.86 c #Conflicts: 1615000 | #Constraints: 49908
2388.98/2395.86 c #Conflicts: 1616000 | #Constraints: 50908
2388.98/2395.86 c INPROCESSING
2388.98/2395.86 c GARBAGE COLLECT
2388.98/2395.86 c #Conflicts: 1617000 | #Constraints: 26718
2388.98/2395.86 c #Conflicts: 1618000 | #Constraints: 27718
2388.98/2395.86 c #Conflicts: 1619000 | #Constraints: 28718
2388.98/2395.86 c #Conflicts: 1620000 | #Constraints: 29718
2388.98/2395.86 c #Conflicts: 1621000 | #Constraints: 30718
2388.98/2395.86 c #Conflicts: 1622000 | #Constraints: 31718
2388.98/2395.86 c #Conflicts: 1623000 | #Constraints: 32718
2388.98/2395.86 c #Conflicts: 1624000 | #Constraints: 33718
2388.98/2395.86 c #Conflicts: 1625000 | #Constraints: 34718
2388.98/2395.86 c #Conflicts: 1626000 | #Constraints: 35718
2388.98/2395.86 c #Conflicts: 1627000 | #Constraints: 36718
2388.98/2395.86 c #Conflicts: 1628000 | #Constraints: 37718
2388.98/2395.86 c #Conflicts: 1629000 | #Constraints: 38718
2388.98/2395.86 c #Conflicts: 1630000 | #Constraints: 39718
2388.98/2395.86 c #Conflicts: 1631000 | #Constraints: 40718
2388.98/2395.86 c #Conflicts: 1632000 | #Constraints: 41718
2388.98/2395.86 c #Conflicts: 1633000 | #Constraints: 42718
2388.98/2395.86 c #Conflicts: 1634000 | #Constraints: 43718
2541.81/2549.18 c #Conflicts: 1635000 | #Constraints: 44718
2541.81/2549.18 c #Conflicts: 1636000 | #Constraints: 45718
2541.81/2549.18 c #Conflicts: 1637000 | #Constraints: 46718
2541.81/2549.18 c #Conflicts: 1638000 | #Constraints: 47718
2541.81/2549.18 c #Conflicts: 1639000 | #Constraints: 48718
2541.81/2549.18 c #Conflicts: 1640000 | #Constraints: 49718
2541.81/2549.18 c #Conflicts: 1641000 | #Constraints: 50718
2541.81/2549.18 c #Conflicts: 1642000 | #Constraints: 51718
2541.81/2549.18 c INPROCESSING
2541.81/2549.18 c GARBAGE COLLECT
2541.81/2549.18 c #Conflicts: 1643000 | #Constraints: 27312
2541.81/2549.18 c #Conflicts: 1644000 | #Constraints: 28312
2541.81/2549.18 c #Conflicts: 1645000 | #Constraints: 29312
2541.81/2549.18 c #Conflicts: 1646000 | #Constraints: 30312
2541.81/2549.18 c #Conflicts: 1647000 | #Constraints: 31312
2541.81/2549.18 c #Conflicts: 1648000 | #Constraints: 32312
2541.81/2549.18 c #Conflicts: 1649000 | #Constraints: 33312
2541.81/2549.18 c #Conflicts: 1650000 | #Constraints: 34312
2541.81/2549.18 c #Conflicts: 1651000 | #Constraints: 35312
2541.81/2549.18 c #Conflicts: 1652000 | #Constraints: 36312
2541.81/2549.18 c #Conflicts: 1653000 | #Constraints: 37312
2541.81/2549.18 c #Conflicts: 1654000 | #Constraints: 38312
2541.81/2549.18 c #Conflicts: 1655000 | #Constraints: 39312
2541.81/2549.18 c #Conflicts: 1656000 | #Constraints: 40312
2541.81/2549.18 c #Conflicts: 1657000 | #Constraints: 41312
2541.81/2549.18 c #Conflicts: 1658000 | #Constraints: 42312
2541.81/2549.18 c #Conflicts: 1659000 | #Constraints: 43312
2541.81/2549.18 c #Conflicts: 1660000 | #Constraints: 44312
2541.81/2549.18 c #Conflicts: 1661000 | #Constraints: 45312
2541.81/2549.18 c #Conflicts: 1662000 | #Constraints: 46312
2541.81/2549.18 c #Conflicts: 1663000 | #Constraints: 47312
2541.81/2549.18 c #Conflicts: 1664000 | #Constraints: 48312
2541.81/2549.18 c #Conflicts: 1665000 | #Constraints: 49312
2541.81/2549.18 c #Conflicts: 1666000 | #Constraints: 50312
2541.81/2549.18 c #Conflicts: 1667000 | #Constraints: 51312
2541.81/2549.18 c #Conflicts: 1668000 | #Constraints: 52312
2541.81/2549.18 c INPROCESSING
2541.81/2549.18 c GARBAGE COLLECT
2541.81/2549.18 c #Conflicts: 1669000 | #Constraints: 27710
2541.81/2549.18 c #Conflicts: 1670000 | #Constraints: 28710
2541.81/2549.18 c #Conflicts: 1671000 | #Constraints: 29710
2541.81/2549.18 c #Conflicts: 1672000 | #Constraints: 30710
2541.81/2549.18 c #Conflicts: 1673000 | #Constraints: 31710
2541.81/2549.18 c #Conflicts: 1674000 | #Constraints: 32710
2541.81/2549.18 c #Conflicts: 1675000 | #Constraints: 33710
2541.81/2549.18 c #Conflicts: 1676000 | #Constraints: 34710
2541.81/2549.18 c #Conflicts: 1677000 | #Constraints: 35710
2541.81/2549.18 c #Conflicts: 1678000 | #Constraints: 36710
2541.81/2549.18 c #Conflicts: 1679000 | #Constraints: 37710
2541.81/2549.18 c #Conflicts: 1680000 | #Constraints: 38710
2541.81/2549.18 c #Conflicts: 1681000 | #Constraints: 39710
2541.81/2549.18 c #Conflicts: 1682000 | #Constraints: 40710
2541.81/2549.18 c #Conflicts: 1683000 | #Constraints: 41710
2541.81/2549.18 c #Conflicts: 1684000 | #Constraints: 42710
2541.81/2549.18 c #Conflicts: 1685000 | #Constraints: 43710
2541.81/2549.18 c #Conflicts: 1686000 | #Constraints: 44710
2541.81/2549.18 c #Conflicts: 1687000 | #Constraints: 45710
2541.81/2549.18 c #Conflicts: 1688000 | #Constraints: 46710
2541.81/2549.18 c #Conflicts: 1689000 | #Constraints: 47710
2541.81/2549.18 c #Conflicts: 1690000 | #Constraints: 48710
2541.81/2549.18 c #Conflicts: 1691000 | #Constraints: 49710
2541.81/2549.18 c #Conflicts: 1692000 | #Constraints: 50710
2541.81/2549.18 c #Conflicts: 1693000 | #Constraints: 51710
2541.81/2549.18 c #Conflicts: 1694000 | #Constraints: 52710
2541.81/2549.18 c INPROCESSING
2541.81/2549.18 c GARBAGE COLLECT
2541.81/2549.18 c #Conflicts: 1695000 | #Constraints: 27903
2541.81/2549.18 c #Conflicts: 1696000 | #Constraints: 28903
2541.81/2549.18 c #Conflicts: 1697000 | #Constraints: 29903
2541.81/2549.18 c #Conflicts: 1698000 | #Constraints: 30903
2541.81/2549.18 c #Conflicts: 1699000 | #Constraints: 31903
2541.81/2549.18 c #Conflicts: 1700000 | #Constraints: 32903
2541.81/2549.18 c #Conflicts: 1701000 | #Constraints: 33903
2541.81/2549.18 c #Conflicts: 1702000 | #Constraints: 34903
2541.81/2549.18 c #Conflicts: 1703000 | #Constraints: 35903
2541.81/2549.18 c #Conflicts: 1704000 | #Constraints: 36903
2541.81/2549.18 c #Conflicts: 1705000 | #Constraints: 37903
2541.81/2549.18 c #Conflicts: 1706000 | #Constraints: 38903
2541.81/2549.18 c #Conflicts: 1707000 | #Constraints: 39903
2541.81/2549.18 c #Conflicts: 1708000 | #Constraints: 40903
2541.81/2549.18 c #Conflicts: 1709000 | #Constraints: 41903
2541.81/2549.18 c #Conflicts: 1710000 | #Constraints: 42903
2541.81/2549.18 c #Conflicts: 1711000 | #Constraints: 43903
2702.78/2710.66 c #Conflicts: 1712000 | #Constraints: 44903
2702.78/2710.66 c #Conflicts: 1713000 | #Constraints: 45903
2702.78/2710.66 c #Conflicts: 1714000 | #Constraints: 46903
2702.78/2710.66 c #Conflicts: 1715000 | #Constraints: 47903
2702.78/2710.66 c #Conflicts: 1716000 | #Constraints: 48903
2702.78/2710.66 c #Conflicts: 1717000 | #Constraints: 49903
2702.78/2710.66 c #Conflicts: 1718000 | #Constraints: 50903
2702.78/2710.66 c #Conflicts: 1719000 | #Constraints: 51903
2702.78/2710.66 c #Conflicts: 1720000 | #Constraints: 52903
2702.78/2710.66 c INPROCESSING
2702.78/2710.66 c GARBAGE COLLECT
2702.78/2710.66 c #Conflicts: 1721000 | #Constraints: 27900
2702.78/2710.66 c #Conflicts: 1722000 | #Constraints: 28900
2702.78/2710.66 c #Conflicts: 1723000 | #Constraints: 29900
2702.78/2710.66 c #Conflicts: 1724000 | #Constraints: 30900
2702.78/2710.66 c #Conflicts: 1725000 | #Constraints: 31900
2702.78/2710.66 c #Conflicts: 1726000 | #Constraints: 32900
2702.78/2710.66 c #Conflicts: 1727000 | #Constraints: 33900
2702.78/2710.66 c #Conflicts: 1728000 | #Constraints: 34900
2702.78/2710.66 c #Conflicts: 1729000 | #Constraints: 35900
2702.78/2710.66 c #Conflicts: 1730000 | #Constraints: 36900
2702.78/2710.66 c #Conflicts: 1731000 | #Constraints: 37900
2702.78/2710.66 c #Conflicts: 1732000 | #Constraints: 38900
2702.78/2710.66 c #Conflicts: 1733000 | #Constraints: 39900
2702.78/2710.66 c #Conflicts: 1734000 | #Constraints: 40900
2702.78/2710.66 c #Conflicts: 1735000 | #Constraints: 41900
2702.78/2710.66 c #Conflicts: 1736000 | #Constraints: 42900
2702.78/2710.66 c #Conflicts: 1737000 | #Constraints: 43900
2702.78/2710.66 c #Conflicts: 1738000 | #Constraints: 44900
2702.78/2710.66 c #Conflicts: 1739000 | #Constraints: 45900
2702.78/2710.66 c #Conflicts: 1740000 | #Constraints: 46900
2702.78/2710.66 c #Conflicts: 1741000 | #Constraints: 47900
2702.78/2710.66 c #Conflicts: 1742000 | #Constraints: 48900
2702.78/2710.66 c #Conflicts: 1743000 | #Constraints: 49900
2702.78/2710.66 c #Conflicts: 1744000 | #Constraints: 50900
2702.78/2710.66 c #Conflicts: 1745000 | #Constraints: 51900
2702.78/2710.66 c #Conflicts: 1746000 | #Constraints: 52900
2702.78/2710.66 c INPROCESSING
2702.78/2710.66 c GARBAGE COLLECT
2702.78/2710.66 c #Conflicts: 1747000 | #Constraints: 27711
2702.78/2710.66 c #Conflicts: 1748000 | #Constraints: 28711
2702.78/2710.66 c #Conflicts: 1749000 | #Constraints: 29711
2702.78/2710.66 c #Conflicts: 1750000 | #Constraints: 30711
2702.78/2710.66 c #Conflicts: 1751000 | #Constraints: 31711
2702.78/2710.66 c #Conflicts: 1752000 | #Constraints: 32711
2702.78/2710.66 c #Conflicts: 1753000 | #Constraints: 33711
2702.78/2710.66 c #Conflicts: 1754000 | #Constraints: 34711
2702.78/2710.66 c #Conflicts: 1755000 | #Constraints: 35711
2702.78/2710.66 c #Conflicts: 1756000 | #Constraints: 36711
2702.78/2710.66 c #Conflicts: 1757000 | #Constraints: 37711
2702.78/2710.66 c #Conflicts: 1758000 | #Constraints: 38711
2702.78/2710.66 c #Conflicts: 1759000 | #Constraints: 39711
2702.78/2710.66 c #Conflicts: 1760000 | #Constraints: 40711
2702.78/2710.66 c #Conflicts: 1761000 | #Constraints: 41711
2702.78/2710.66 c #Conflicts: 1762000 | #Constraints: 42711
2702.78/2710.66 c #Conflicts: 1763000 | #Constraints: 43711
2702.78/2710.66 c #Conflicts: 1764000 | #Constraints: 44711
2702.78/2710.66 c #Conflicts: 1765000 | #Constraints: 45711
2702.78/2710.66 c #Conflicts: 1766000 | #Constraints: 46711
2702.78/2710.66 c #Conflicts: 1767000 | #Constraints: 47711
2702.78/2710.66 c #Conflicts: 1768000 | #Constraints: 48711
2702.78/2710.66 c #Conflicts: 1769000 | #Constraints: 49711
2702.78/2710.66 c #Conflicts: 1770000 | #Constraints: 50711
2702.78/2710.66 c #Conflicts: 1771000 | #Constraints: 51711
2702.78/2710.66 c #Conflicts: 1772000 | #Constraints: 52711
2702.78/2710.66 c #Conflicts: 1773000 | #Constraints: 53711
2702.78/2710.66 c INPROCESSING
2702.78/2710.66 c GARBAGE COLLECT
2702.78/2710.66 c #Conflicts: 1774000 | #Constraints: 28304
2702.78/2710.66 c #Conflicts: 1775000 | #Constraints: 29304
2702.78/2710.66 c #Conflicts: 1776000 | #Constraints: 30304
2702.78/2710.66 c #Conflicts: 1777000 | #Constraints: 31304
2702.78/2710.66 c #Conflicts: 1778000 | #Constraints: 32304
2702.78/2710.66 c #Conflicts: 1779000 | #Constraints: 33304
2702.78/2710.66 c #Conflicts: 1780000 | #Constraints: 34304
2702.78/2710.66 c #Conflicts: 1781000 | #Constraints: 35304
2702.78/2710.66 c #Conflicts: 1782000 | #Constraints: 36304
2702.78/2710.66 c #Conflicts: 1783000 | #Constraints: 37304
2702.78/2710.66 c #Conflicts: 1784000 | #Constraints: 38304
2702.78/2710.66 c #Conflicts: 1785000 | #Constraints: 39304
2702.78/2710.66 c #Conflicts: 1786000 | #Constraints: 40304
2702.78/2710.66 c #Conflicts: 1787000 | #Constraints: 41304
2702.78/2710.66 c #Conflicts: 1788000 | #Constraints: 42304
2875.06/2883.44 c #Conflicts: 1789000 | #Constraints: 43304
2875.06/2883.44 c #Conflicts: 1790000 | #Constraints: 44304
2875.06/2883.44 c #Conflicts: 1791000 | #Constraints: 45304
2875.06/2883.44 c #Conflicts: 1792000 | #Constraints: 46304
2875.06/2883.44 c #Conflicts: 1793000 | #Constraints: 47304
2875.06/2883.44 c #Conflicts: 1794000 | #Constraints: 48304
2875.06/2883.44 c #Conflicts: 1795000 | #Constraints: 49304
2875.06/2883.44 c #Conflicts: 1796000 | #Constraints: 50304
2875.06/2883.44 c #Conflicts: 1797000 | #Constraints: 51304
2875.06/2883.44 c #Conflicts: 1798000 | #Constraints: 52304
2875.06/2883.44 c #Conflicts: 1799000 | #Constraints: 53304
2875.06/2883.44 c #Conflicts: 1800000 | #Constraints: 54304
2875.06/2883.44 c INPROCESSING
2875.06/2883.44 c GARBAGE COLLECT
2875.06/2883.44 c #Conflicts: 1801000 | #Constraints: 28707
2875.06/2883.44 c #Conflicts: 1802000 | #Constraints: 29707
2875.06/2883.44 c #Conflicts: 1803000 | #Constraints: 30707
2875.06/2883.44 c #Conflicts: 1804000 | #Constraints: 31707
2875.06/2883.44 c #Conflicts: 1805000 | #Constraints: 32707
2875.06/2883.44 c #Conflicts: 1806000 | #Constraints: 33707
2875.06/2883.44 c #Conflicts: 1807000 | #Constraints: 34707
2875.06/2883.44 c #Conflicts: 1808000 | #Constraints: 35707
2875.06/2883.44 c #Conflicts: 1809000 | #Constraints: 36707
2875.06/2883.44 c #Conflicts: 1810000 | #Constraints: 37707
2875.06/2883.44 c #Conflicts: 1811000 | #Constraints: 38707
2875.06/2883.44 c #Conflicts: 1812000 | #Constraints: 39707
2875.06/2883.44 c #Conflicts: 1813000 | #Constraints: 40707
2875.06/2883.44 c #Conflicts: 1814000 | #Constraints: 41707
2875.06/2883.44 c #Conflicts: 1815000 | #Constraints: 42707
2875.06/2883.44 c #Conflicts: 1816000 | #Constraints: 43707
2875.06/2883.44 c #Conflicts: 1817000 | #Constraints: 44707
2875.06/2883.44 c #Conflicts: 1818000 | #Constraints: 45707
2875.06/2883.44 c #Conflicts: 1819000 | #Constraints: 46707
2875.06/2883.44 c #Conflicts: 1820000 | #Constraints: 47707
2875.06/2883.44 c #Conflicts: 1821000 | #Constraints: 48707
2875.06/2883.44 c #Conflicts: 1822000 | #Constraints: 49707
2875.06/2883.44 c #Conflicts: 1823000 | #Constraints: 50707
2875.06/2883.44 c #Conflicts: 1824000 | #Constraints: 51707
2875.06/2883.44 c #Conflicts: 1825000 | #Constraints: 52707
2875.06/2883.44 c #Conflicts: 1826000 | #Constraints: 53707
2875.06/2883.44 c #Conflicts: 1827000 | #Constraints: 54707
2875.06/2883.44 c INPROCESSING
2875.06/2883.44 c GARBAGE COLLECT
2875.06/2883.44 c #Conflicts: 1828000 | #Constraints: 28911
2875.06/2883.44 c #Conflicts: 1829000 | #Constraints: 29911
2875.06/2883.44 c #Conflicts: 1830000 | #Constraints: 30911
2875.06/2883.44 c #Conflicts: 1831000 | #Constraints: 31911
2875.06/2883.44 c #Conflicts: 1832000 | #Constraints: 32911
2875.06/2883.44 c #Conflicts: 1833000 | #Constraints: 33911
2875.06/2883.44 c #Conflicts: 1834000 | #Constraints: 34911
2875.06/2883.44 c #Conflicts: 1835000 | #Constraints: 35911
2875.06/2883.44 c #Conflicts: 1836000 | #Constraints: 36911
2875.06/2883.44 c #Conflicts: 1837000 | #Constraints: 37911
2875.06/2883.44 c #Conflicts: 1838000 | #Constraints: 38911
2875.06/2883.44 c #Conflicts: 1839000 | #Constraints: 39911
2875.06/2883.44 c #Conflicts: 1840000 | #Constraints: 40911
2875.06/2883.44 c #Conflicts: 1841000 | #Constraints: 41911
2875.06/2883.44 c #Conflicts: 1842000 | #Constraints: 42911
2875.06/2883.44 c #Conflicts: 1843000 | #Constraints: 43911
2875.06/2883.44 c #Conflicts: 1844000 | #Constraints: 44911
2875.06/2883.44 c #Conflicts: 1845000 | #Constraints: 45911
2875.06/2883.44 c #Conflicts: 1846000 | #Constraints: 46911
2875.06/2883.44 c #Conflicts: 1847000 | #Constraints: 47911
2875.06/2883.44 c #Conflicts: 1848000 | #Constraints: 48911
2875.06/2883.44 c #Conflicts: 1849000 | #Constraints: 49911
2875.06/2883.44 c #Conflicts: 1850000 | #Constraints: 50911
2875.06/2883.44 c #Conflicts: 1851000 | #Constraints: 51911
2875.06/2883.44 c #Conflicts: 1852000 | #Constraints: 52911
2875.06/2883.44 c #Conflicts: 1853000 | #Constraints: 53911
2875.06/2883.44 c #Conflicts: 1854000 | #Constraints: 54911
2875.06/2883.44 c INPROCESSING
2875.06/2883.44 c GARBAGE COLLECT
2875.06/2883.44 c #Conflicts: 1855000 | #Constraints: 28907
2875.06/2883.44 c #Conflicts: 1856000 | #Constraints: 29907
2875.06/2883.44 c #Conflicts: 1857000 | #Constraints: 30907
2875.06/2883.44 c #Conflicts: 1858000 | #Constraints: 31907
2875.06/2883.44 c #Conflicts: 1859000 | #Constraints: 32907
2875.06/2883.44 c #Conflicts: 1860000 | #Constraints: 33907
2875.06/2883.44 c #Conflicts: 1861000 | #Constraints: 34907
2875.06/2883.44 c #Conflicts: 1862000 | #Constraints: 35907
2875.06/2883.44 c #Conflicts: 1863000 | #Constraints: 36907
2875.06/2883.44 c #Conflicts: 1864000 | #Constraints: 37907
2875.06/2883.44 c #Conflicts: 1865000 | #Constraints: 38907
3068.24/3077.17 c #Conflicts: 1866000 | #Constraints: 39907
3068.24/3077.17 c #Conflicts: 1867000 | #Constraints: 40907
3068.24/3077.17 c #Conflicts: 1868000 | #Constraints: 41907
3068.24/3077.17 c #Conflicts: 1869000 | #Constraints: 42907
3068.24/3077.17 c #Conflicts: 1870000 | #Constraints: 43907
3068.24/3077.17 c #Conflicts: 1871000 | #Constraints: 44907
3068.24/3077.17 c #Conflicts: 1872000 | #Constraints: 45907
3068.24/3077.17 c #Conflicts: 1873000 | #Constraints: 46907
3068.24/3077.17 c #Conflicts: 1874000 | #Constraints: 47907
3068.24/3077.17 c #Conflicts: 1875000 | #Constraints: 48907
3068.24/3077.17 c #Conflicts: 1876000 | #Constraints: 49907
3068.24/3077.17 c #Conflicts: 1877000 | #Constraints: 50907
3068.24/3077.17 c #Conflicts: 1878000 | #Constraints: 51907
3068.24/3077.17 c #Conflicts: 1879000 | #Constraints: 52907
3068.24/3077.17 c #Conflicts: 1880000 | #Constraints: 53907
3068.24/3077.17 c #Conflicts: 1881000 | #Constraints: 54907
3068.24/3077.17 c INPROCESSING
3068.24/3077.17 c GARBAGE COLLECT
3068.24/3077.17 c #Conflicts: 1882000 | #Constraints: 28704
3068.24/3077.17 c #Conflicts: 1883000 | #Constraints: 29704
3068.24/3077.17 c #Conflicts: 1884000 | #Constraints: 30704
3068.24/3077.17 c #Conflicts: 1885000 | #Constraints: 31704
3068.24/3077.17 c #Conflicts: 1886000 | #Constraints: 32704
3068.24/3077.17 c #Conflicts: 1887000 | #Constraints: 33704
3068.24/3077.17 c #Conflicts: 1888000 | #Constraints: 34704
3068.24/3077.17 c #Conflicts: 1889000 | #Constraints: 35704
3068.24/3077.17 c #Conflicts: 1890000 | #Constraints: 36704
3068.24/3077.17 c #Conflicts: 1891000 | #Constraints: 37704
3068.24/3077.17 c #Conflicts: 1892000 | #Constraints: 38704
3068.24/3077.17 c #Conflicts: 1893000 | #Constraints: 39704
3068.24/3077.17 c #Conflicts: 1894000 | #Constraints: 40704
3068.24/3077.17 c #Conflicts: 1895000 | #Constraints: 41704
3068.24/3077.17 c #Conflicts: 1896000 | #Constraints: 42704
3068.24/3077.17 c #Conflicts: 1897000 | #Constraints: 43704
3068.24/3077.17 c #Conflicts: 1898000 | #Constraints: 44704
3068.24/3077.17 c #Conflicts: 1899000 | #Constraints: 45704
3068.24/3077.17 c #Conflicts: 1900000 | #Constraints: 46704
3068.24/3077.17 c #Conflicts: 1901000 | #Constraints: 47704
3068.24/3077.17 c #Conflicts: 1902000 | #Constraints: 48704
3068.24/3077.17 c #Conflicts: 1903000 | #Constraints: 49704
3068.24/3077.17 c #Conflicts: 1904000 | #Constraints: 50704
3068.24/3077.17 c #Conflicts: 1905000 | #Constraints: 51704
3068.24/3077.17 c #Conflicts: 1906000 | #Constraints: 52704
3068.24/3077.17 c #Conflicts: 1907000 | #Constraints: 53704
3068.24/3077.17 c #Conflicts: 1908000 | #Constraints: 54704
3068.24/3077.17 c #Conflicts: 1909000 | #Constraints: 55704
3068.24/3077.17 c INPROCESSING
3068.24/3077.17 c GARBAGE COLLECT
3068.24/3077.17 c #Conflicts: 1910000 | #Constraints: 29302
3068.24/3077.17 c #Conflicts: 1911000 | #Constraints: 30302
3068.24/3077.17 c #Conflicts: 1912000 | #Constraints: 31302
3068.24/3077.17 c #Conflicts: 1913000 | #Constraints: 32302
3068.24/3077.17 c #Conflicts: 1914000 | #Constraints: 33302
3068.24/3077.17 c #Conflicts: 1915000 | #Constraints: 34302
3068.24/3077.17 c #Conflicts: 1916000 | #Constraints: 35302
3068.24/3077.17 c #Conflicts: 1917000 | #Constraints: 36302
3068.24/3077.17 c #Conflicts: 1918000 | #Constraints: 37302
3068.24/3077.17 c #Conflicts: 1919000 | #Constraints: 38302
3068.24/3077.17 c #Conflicts: 1920000 | #Constraints: 39302
3068.24/3077.17 c #Conflicts: 1921000 | #Constraints: 40302
3068.24/3077.17 c #Conflicts: 1922000 | #Constraints: 41302
3068.24/3077.17 c #Conflicts: 1923000 | #Constraints: 42302
3068.24/3077.17 c #Conflicts: 1924000 | #Constraints: 43302
3068.24/3077.17 c #Conflicts: 1925000 | #Constraints: 44302
3068.24/3077.17 c #Conflicts: 1926000 | #Constraints: 45302
3068.24/3077.17 c #Conflicts: 1927000 | #Constraints: 46302
3068.24/3077.17 c #Conflicts: 1928000 | #Constraints: 47302
3068.24/3077.17 c #Conflicts: 1929000 | #Constraints: 48302
3068.24/3077.17 c #Conflicts: 1930000 | #Constraints: 49302
3068.24/3077.17 c #Conflicts: 1931000 | #Constraints: 50302
3068.24/3077.17 c #Conflicts: 1932000 | #Constraints: 51302
3068.24/3077.17 c #Conflicts: 1933000 | #Constraints: 52302
3068.24/3077.17 c #Conflicts: 1934000 | #Constraints: 53302
3068.24/3077.17 c #Conflicts: 1935000 | #Constraints: 54302
3068.24/3077.17 c #Conflicts: 1936000 | #Constraints: 55302
3068.24/3077.17 c #Conflicts: 1937000 | #Constraints: 56302
3068.24/3077.17 c INPROCESSING
3068.24/3077.17 c GARBAGE COLLECT
3068.24/3077.17 c #Conflicts: 1938000 | #Constraints: 29709
3068.24/3077.17 c #Conflicts: 1939000 | #Constraints: 30709
3068.24/3077.17 c #Conflicts: 1940000 | #Constraints: 31709
3068.24/3077.17 c #Conflicts: 1941000 | #Constraints: 32709
3241.37/3250.76 c #Conflicts: 1942000 | #Constraints: 33709
3241.37/3250.76 c #Conflicts: 1943000 | #Constraints: 34709
3241.37/3250.76 c #Conflicts: 1944000 | #Constraints: 35709
3241.37/3250.76 c #Conflicts: 1945000 | #Constraints: 36709
3241.37/3250.76 c #Conflicts: 1946000 | #Constraints: 37709
3241.37/3250.76 c #Conflicts: 1947000 | #Constraints: 38709
3241.37/3250.76 c #Conflicts: 1948000 | #Constraints: 39709
3241.37/3250.76 c #Conflicts: 1949000 | #Constraints: 40709
3241.37/3250.76 c #Conflicts: 1950000 | #Constraints: 41709
3241.37/3250.76 c #Conflicts: 1951000 | #Constraints: 42709
3241.37/3250.76 c #Conflicts: 1952000 | #Constraints: 43709
3241.37/3250.76 c #Conflicts: 1953000 | #Constraints: 44709
3241.37/3250.76 c #Conflicts: 1954000 | #Constraints: 45709
3241.37/3250.76 c #Conflicts: 1955000 | #Constraints: 46709
3241.37/3250.76 c #Conflicts: 1956000 | #Constraints: 47709
3241.37/3250.76 c #Conflicts: 1957000 | #Constraints: 48709
3241.37/3250.76 c #Conflicts: 1958000 | #Constraints: 49709
3241.37/3250.76 c #Conflicts: 1959000 | #Constraints: 50709
3241.37/3250.76 c #Conflicts: 1960000 | #Constraints: 51709
3241.37/3250.76 c #Conflicts: 1961000 | #Constraints: 52709
3241.37/3250.76 c #Conflicts: 1962000 | #Constraints: 53709
3241.37/3250.76 c #Conflicts: 1963000 | #Constraints: 54709
3241.37/3250.76 c #Conflicts: 1964000 | #Constraints: 55709
3241.37/3250.76 c #Conflicts: 1965000 | #Constraints: 56709
3241.37/3250.76 c INPROCESSING
3241.37/3250.76 c GARBAGE COLLECT
3241.37/3250.76 c #Conflicts: 1966000 | #Constraints: 29910
3241.37/3250.76 c #Conflicts: 1967000 | #Constraints: 30910
3241.37/3250.76 c #Conflicts: 1968000 | #Constraints: 31910
3241.37/3250.76 c #Conflicts: 1969000 | #Constraints: 32910
3241.37/3250.76 c #Conflicts: 1970000 | #Constraints: 33910
3241.37/3250.76 c #Conflicts: 1971000 | #Constraints: 34910
3241.37/3250.76 c #Conflicts: 1972000 | #Constraints: 35910
3241.37/3250.76 c #Conflicts: 1973000 | #Constraints: 36910
3241.37/3250.76 c #Conflicts: 1974000 | #Constraints: 37910
3241.37/3250.76 c #Conflicts: 1975000 | #Constraints: 38910
3241.37/3250.76 c #Conflicts: 1976000 | #Constraints: 39910
3241.37/3250.76 c #Conflicts: 1977000 | #Constraints: 40910
3241.37/3250.76 c #Conflicts: 1978000 | #Constraints: 41910
3241.37/3250.76 c #Conflicts: 1979000 | #Constraints: 42910
3241.37/3250.76 c #Conflicts: 1980000 | #Constraints: 43910
3241.37/3250.77 c #Conflicts: 1981000 | #Constraints: 44910
3241.37/3250.77 c #Conflicts: 1982000 | #Constraints: 45910
3241.37/3250.77 c #Conflicts: 1983000 | #Constraints: 46910
3241.37/3250.77 c #Conflicts: 1984000 | #Constraints: 47910
3241.37/3250.77 c #Conflicts: 1985000 | #Constraints: 48910
3241.37/3250.77 c #Conflicts: 1986000 | #Constraints: 49910
3241.37/3250.77 c #Conflicts: 1987000 | #Constraints: 50910
3241.37/3250.77 c #Conflicts: 1988000 | #Constraints: 51910
3241.37/3250.77 c #Conflicts: 1989000 | #Constraints: 52910
3241.37/3250.77 c #Conflicts: 1990000 | #Constraints: 53910
3241.37/3250.77 c #Conflicts: 1991000 | #Constraints: 54910
3241.37/3250.77 c #Conflicts: 1992000 | #Constraints: 55910
3241.37/3250.77 c #Conflicts: 1993000 | #Constraints: 56910
3241.37/3250.77 c INPROCESSING
3241.37/3250.77 c GARBAGE COLLECT
3241.37/3250.77 c #Conflicts: 1994000 | #Constraints: 29910
3241.37/3250.77 c #Conflicts: 1995000 | #Constraints: 30910
3241.37/3250.77 c #Conflicts: 1996000 | #Constraints: 31910
3241.37/3250.77 c #Conflicts: 1997000 | #Constraints: 32910
3241.37/3250.77 c #Conflicts: 1998000 | #Constraints: 33910
3241.37/3250.77 c #Conflicts: 1999000 | #Constraints: 34910
3241.37/3250.77 c #Conflicts: 2000000 | #Constraints: 35910
3241.37/3250.77 c #Conflicts: 2001000 | #Constraints: 36910
3241.37/3250.77 c #Conflicts: 2002000 | #Constraints: 37910
3241.37/3250.77 c #Conflicts: 2003000 | #Constraints: 38910
3241.37/3250.77 c #Conflicts: 2004000 | #Constraints: 39910
3241.37/3250.77 c #Conflicts: 2005000 | #Constraints: 40910
3241.37/3250.77 c #Conflicts: 2006000 | #Constraints: 41910
3241.37/3250.77 c #Conflicts: 2007000 | #Constraints: 42910
3241.37/3250.77 c #Conflicts: 2008000 | #Constraints: 43910
3241.37/3250.77 c #Conflicts: 2009000 | #Constraints: 44910
3241.37/3250.77 c #Conflicts: 2010000 | #Constraints: 45910
3241.37/3250.77 c #Conflicts: 2011000 | #Constraints: 46910
3241.37/3250.77 c #Conflicts: 2012000 | #Constraints: 47910
3241.37/3250.77 c #Conflicts: 2013000 | #Constraints: 48910
3241.37/3250.77 c #Conflicts: 2014000 | #Constraints: 49910
3241.37/3250.77 c #Conflicts: 2015000 | #Constraints: 50910
3241.37/3250.77 c #Conflicts: 2016000 | #Constraints: 51910
3241.37/3250.77 c #Conflicts: 2017000 | #Constraints: 52910
3241.37/3250.77 c #Conflicts: 2018000 | #Constraints: 53910
3241.37/3250.77 c #Conflicts: 2019000 | #Constraints: 54910
3400.24/3410.11 c #Conflicts: 2020000 | #Constraints: 55910
3400.24/3410.11 c #Conflicts: 2021000 | #Constraints: 56910
3400.24/3410.11 c INPROCESSING
3400.24/3410.11 c GARBAGE COLLECT
3400.24/3410.11 c #Conflicts: 2022000 | #Constraints: 29706
3400.24/3410.11 c #Conflicts: 2023000 | #Constraints: 30706
3400.24/3410.11 c #Conflicts: 2024000 | #Constraints: 31706
3400.24/3410.11 c #Conflicts: 2025000 | #Constraints: 32706
3400.24/3410.11 c #Conflicts: 2026000 | #Constraints: 33706
3400.24/3410.11 c #Conflicts: 2027000 | #Constraints: 34706
3400.24/3410.11 c #Conflicts: 2028000 | #Constraints: 35706
3400.24/3410.11 c #Conflicts: 2029000 | #Constraints: 36706
3400.24/3410.11 c #Conflicts: 2030000 | #Constraints: 37706
3400.24/3410.11 c #Conflicts: 2031000 | #Constraints: 38706
3400.24/3410.11 c #Conflicts: 2032000 | #Constraints: 39706
3400.24/3410.11 c #Conflicts: 2033000 | #Constraints: 40706
3400.24/3410.11 c #Conflicts: 2034000 | #Constraints: 41706
3400.24/3410.11 c #Conflicts: 2035000 | #Constraints: 42706
3400.24/3410.11 c #Conflicts: 2036000 | #Constraints: 43706
3400.24/3410.11 c #Conflicts: 2037000 | #Constraints: 44706
3400.24/3410.11 c #Conflicts: 2038000 | #Constraints: 45706
3400.24/3410.11 c #Conflicts: 2039000 | #Constraints: 46706
3400.24/3410.11 c #Conflicts: 2040000 | #Constraints: 47706
3400.24/3410.11 c #Conflicts: 2041000 | #Constraints: 48706
3400.24/3410.11 c #Conflicts: 2042000 | #Constraints: 49706
3400.24/3410.11 c #Conflicts: 2043000 | #Constraints: 50706
3400.24/3410.11 c #Conflicts: 2044000 | #Constraints: 51706
3400.24/3410.11 c #Conflicts: 2045000 | #Constraints: 52706
3400.24/3410.11 c #Conflicts: 2046000 | #Constraints: 53706
3400.24/3410.11 c #Conflicts: 2047000 | #Constraints: 54706
3400.24/3410.11 c #Conflicts: 2048000 | #Constraints: 55706
3400.24/3410.11 c #Conflicts: 2049000 | #Constraints: 56706
3400.24/3410.11 c #Conflicts: 2050000 | #Constraints: 57706
3400.24/3410.11 c INPROCESSING
3400.24/3410.11 c GARBAGE COLLECT
3400.24/3410.11 c #Conflicts: 2051000 | #Constraints: 30308
3400.24/3410.11 c #Conflicts: 2052000 | #Constraints: 31308
3400.24/3410.11 c #Conflicts: 2053000 | #Constraints: 32308
3400.24/3410.11 c #Conflicts: 2054000 | #Constraints: 33308
3400.24/3410.11 c #Conflicts: 2055000 | #Constraints: 34308
3400.24/3410.11 c #Conflicts: 2056000 | #Constraints: 35308
3400.24/3410.11 c #Conflicts: 2057000 | #Constraints: 36308
3400.24/3410.11 c #Conflicts: 2058000 | #Constraints: 37308
3400.24/3410.11 c #Conflicts: 2059000 | #Constraints: 38308
3400.24/3410.11 c #Conflicts: 2060000 | #Constraints: 39308
3400.24/3410.11 c #Conflicts: 2061000 | #Constraints: 40308
3400.24/3410.11 c #Conflicts: 2062000 | #Constraints: 41308
3400.24/3410.11 c #Conflicts: 2063000 | #Constraints: 42308
3400.24/3410.11 c #Conflicts: 2064000 | #Constraints: 43308
3400.24/3410.11 c #Conflicts: 2065000 | #Constraints: 44308
3400.24/3410.11 c #Conflicts: 2066000 | #Constraints: 45308
3400.24/3410.11 c #Conflicts: 2067000 | #Constraints: 46308
3400.24/3410.11 c #Conflicts: 2068000 | #Constraints: 47308
3400.24/3410.11 c #Conflicts: 2069000 | #Constraints: 48308
3400.24/3410.11 c #Conflicts: 2070000 | #Constraints: 49308
3400.24/3410.11 c #Conflicts: 2071000 | #Constraints: 50308
3400.24/3410.11 c #Conflicts: 2072000 | #Constraints: 51308
3400.24/3410.11 c #Conflicts: 2073000 | #Constraints: 52308
3400.24/3410.11 c #Conflicts: 2074000 | #Constraints: 53308
3400.24/3410.11 c #Conflicts: 2075000 | #Constraints: 54308
3400.24/3410.11 c #Conflicts: 2076000 | #Constraints: 55308
3400.24/3410.11 c #Conflicts: 2077000 | #Constraints: 56308
3400.24/3410.11 c #Conflicts: 2078000 | #Constraints: 57308
3400.24/3410.11 c #Conflicts: 2079000 | #Constraints: 58308
3400.24/3410.11 c INPROCESSING
3400.24/3410.11 c GARBAGE COLLECT
3400.24/3410.11 c #Conflicts: 2080000 | #Constraints: 30710
3400.24/3410.11 c #Conflicts: 2081000 | #Constraints: 31710
3400.24/3410.11 c #Conflicts: 2082000 | #Constraints: 32710
3400.24/3410.11 c #Conflicts: 2083000 | #Constraints: 33710
3400.24/3410.11 c #Conflicts: 2084000 | #Constraints: 34710
3400.24/3410.11 c #Conflicts: 2085000 | #Constraints: 35710
3400.24/3410.11 c #Conflicts: 2086000 | #Constraints: 36710
3400.24/3410.11 c #Conflicts: 2087000 | #Constraints: 37710
3400.24/3410.11 c #Conflicts: 2088000 | #Constraints: 38710
3400.24/3410.11 c #Conflicts: 2089000 | #Constraints: 39710
3400.24/3410.11 c #Conflicts: 2090000 | #Constraints: 40710
3400.24/3410.11 c #Conflicts: 2091000 | #Constraints: 41710
3400.24/3410.11 c #Conflicts: 2092000 | #Constraints: 42710
3400.24/3410.11 c #Conflicts: 2093000 | #Constraints: 43710
3400.24/3410.11 c #Conflicts: 2094000 | #Constraints: 44710
3400.24/3410.11 c #Conflicts: 2095000 | #Constraints: 45710
3400.24/3410.11 c #Conflicts: 2096000 | #Constraints: 46710
3594.80/3605.16 c #Conflicts: 2097000 | #Constraints: 47710
3594.80/3605.16 c #Conflicts: 2098000 | #Constraints: 48710
3594.80/3605.16 c #Conflicts: 2099000 | #Constraints: 49710
3594.80/3605.16 c #Conflicts: 2100000 | #Constraints: 50710
3594.80/3605.16 c #Conflicts: 2101000 | #Constraints: 51710
3594.80/3605.16 c #Conflicts: 2102000 | #Constraints: 52710
3594.80/3605.16 c #Conflicts: 2103000 | #Constraints: 53710
3594.80/3605.16 c #Conflicts: 2104000 | #Constraints: 54710
3594.80/3605.16 c #Conflicts: 2105000 | #Constraints: 55710
3594.80/3605.16 c #Conflicts: 2106000 | #Constraints: 56710
3594.80/3605.16 c #Conflicts: 2107000 | #Constraints: 57710
3594.80/3605.16 c #Conflicts: 2108000 | #Constraints: 58710
3594.80/3605.16 c INPROCESSING
3594.80/3605.16 c GARBAGE COLLECT
3594.80/3605.16 c #Conflicts: 2109000 | #Constraints: 30914
3594.80/3605.16 c #Conflicts: 2110000 | #Constraints: 31914
3594.80/3605.16 c #Conflicts: 2111000 | #Constraints: 32914
3594.80/3605.16 c #Conflicts: 2112000 | #Constraints: 33914
3594.80/3605.16 c #Conflicts: 2113000 | #Constraints: 34914
3594.80/3605.16 c #Conflicts: 2114000 | #Constraints: 35914
3594.80/3605.16 c #Conflicts: 2115000 | #Constraints: 36914
3594.80/3605.16 c #Conflicts: 2116000 | #Constraints: 37914
3594.80/3605.16 c #Conflicts: 2117000 | #Constraints: 38914
3594.80/3605.16 c #Conflicts: 2118000 | #Constraints: 39914
3594.80/3605.16 c #Conflicts: 2119000 | #Constraints: 40914
3594.80/3605.16 c #Conflicts: 2120000 | #Constraints: 41914
3594.80/3605.16 c #Conflicts: 2121000 | #Constraints: 42914
3594.80/3605.16 c #Conflicts: 2122000 | #Constraints: 43914
3594.80/3605.16 c #Conflicts: 2123000 | #Constraints: 44914
3594.80/3605.16 c #Conflicts: 2124000 | #Constraints: 45914
3594.80/3605.16 c #Conflicts: 2125000 | #Constraints: 46914
3594.80/3605.16 c #Conflicts: 2126000 | #Constraints: 47914
3594.80/3605.16 c #Conflicts: 2127000 | #Constraints: 48914
3594.80/3605.16 c #Conflicts: 2128000 | #Constraints: 49914
3594.80/3605.16 c #Conflicts: 2129000 | #Constraints: 50914
3594.80/3605.16 c #Conflicts: 2130000 | #Constraints: 51914
3594.80/3605.16 c #Conflicts: 2131000 | #Constraints: 52914
3594.80/3605.16 c #Conflicts: 2132000 | #Constraints: 53914
3594.80/3605.16 c #Conflicts: 2133000 | #Constraints: 54914
3594.80/3605.16 c #Conflicts: 2134000 | #Constraints: 55914
3594.80/3605.16 c #Conflicts: 2135000 | #Constraints: 56914
3594.80/3605.16 c #Conflicts: 2136000 | #Constraints: 57914
3594.80/3605.16 c #Conflicts: 2137000 | #Constraints: 58914
3594.80/3605.16 c INPROCESSING
3594.80/3605.16 c GARBAGE COLLECT
3594.80/3605.16 c #Conflicts: 2138000 | #Constraints: 30914
3594.80/3605.16 c #Conflicts: 2139000 | #Constraints: 31914
3594.80/3605.16 c #Conflicts: 2140000 | #Constraints: 32914
3594.80/3605.16 c #Conflicts: 2141000 | #Constraints: 33914
3594.80/3605.16 c #Conflicts: 2142000 | #Constraints: 34914
3594.80/3605.16 c #Conflicts: 2143000 | #Constraints: 35914
3594.80/3605.16 c #Conflicts: 2144000 | #Constraints: 36914
3594.80/3605.16 c #Conflicts: 2145000 | #Constraints: 37914
3594.80/3605.16 c #Conflicts: 2146000 | #Constraints: 38914
3594.80/3605.16 c #Conflicts: 2147000 | #Constraints: 39914
3594.80/3605.16 c #Conflicts: 2148000 | #Constraints: 40914
3594.80/3605.16 c #Conflicts: 2149000 | #Constraints: 41914
3594.80/3605.16 c #Conflicts: 2150000 | #Constraints: 42914
3594.80/3605.16 c #Conflicts: 2151000 | #Constraints: 43914
3594.80/3605.16 c #Conflicts: 2152000 | #Constraints: 44914
3594.80/3605.16 c #Conflicts: 2153000 | #Constraints: 45914
3594.80/3605.16 c #Conflicts: 2154000 | #Constraints: 46914
3594.80/3605.16 c #Conflicts: 2155000 | #Constraints: 47914
3594.80/3605.16 c #Conflicts: 2156000 | #Constraints: 48914
3594.80/3605.16 c #Conflicts: 2157000 | #Constraints: 49914
3594.80/3605.16 c #Conflicts: 2158000 | #Constraints: 50914
3594.80/3605.16 c #Conflicts: 2159000 | #Constraints: 51914
3594.80/3605.16 c #Conflicts: 2160000 | #Constraints: 52914
3594.80/3605.16 c #Conflicts: 2161000 | #Constraints: 53914
3594.80/3605.16 c #Conflicts: 2162000 | #Constraints: 54914
3594.80/3605.16 c #Conflicts: 2163000 | #Constraints: 55914
3594.80/3605.16 c #Conflicts: 2164000 | #Constraints: 56914
3594.80/3605.16 c #Conflicts: 2165000 | #Constraints: 57914
3594.80/3605.16 c #Conflicts: 2166000 | #Constraints: 58914
3594.80/3605.16 c INPROCESSING
3594.80/3605.16 c GARBAGE COLLECT
3594.80/3605.16 c #Conflicts: 2167000 | #Constraints: 30723
3594.80/3605.16 c #Conflicts: 2168000 | #Constraints: 31723
3594.80/3605.16 c #Conflicts: 2169000 | #Constraints: 32723
3594.80/3605.16 c #Conflicts: 2170000 | #Constraints: 33723
3594.80/3605.16 c #Conflicts: 2171000 | #Constraints: 34723
3594.80/3605.16 c #Conflicts: 2172000 | #Constraints: 35723
3594.80/3605.16 c #Conflicts: 2173000 | #Constraints: 36723
3600.07/3610.40 c #Conflicts: 2174000 | #Constraints: 37723
3600.07/3610.40 c #Conflicts: 2175000 | #Constraints: 38723
3600.07/3610.40 c cpu time 3586.82 s
3600.07/3610.40 c deterministic time 1 1.00e+00
3600.07/3610.40 c optimization time 3586.81 s
3600.07/3610.40 c total solve time 0 s
3600.07/3610.40 c core-guided solve time 0 s
3600.07/3610.40 c propagation time 0.000839 s
3600.07/3610.40 c conflict analysis time 0 s
3600.07/3610.40 c propagations 0
3600.07/3610.40 c resolve steps 0
3600.07/3610.40 c decisions 0
3600.07/3610.40 c conflicts 0
3600.07/3610.40 c restarts 0
3600.07/3610.40 c inprocessing phases 0
3600.07/3610.40 c garbage collections 0 ,( -nan )
3600.07/3610.40 c input clauses 832 ,( 100.00 )
3600.07/3610.40 c input cardinalities 0 ,( 0.00 )
3600.07/3610.40 c input general constraints 0 ,( 0.00 )
3600.07/3610.40 c input average constraint length 6.48
3600.07/3610.40 c input average constraint degree 1.00
3600.07/3610.40 c learned clauses 0 ,( 0.00 )
3600.07/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.07/3610.40 c learned general constraints 0 ,( 0.00 )
3600.07/3610.40 c learned average constraint length 0.00
3600.07/3610.40 c learned average constraint degree 0.00
3600.07/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3610.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3610.40 c watched constraints 0 ,( -nan )
3600.07/3610.40 c counting constraints 0 ,( -nan )
3600.07/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3610.40 c gcd simplifications 0
3600.07/3610.40 c detected cardinalities 0
3600.07/3610.40 c weakened non-implied lits 0
3600.07/3610.40 c weakened non-implying lits 0
3600.07/3610.40 c original variables 1073
3600.07/3610.40 c clausal propagations 0
3600.07/3610.40 c cardinality propagations 0
3600.07/3610.40 c watched propagations 0
3600.07/3610.40 c counting propagations 0
3600.07/3610.40 c watch lookups 0
3600.07/3610.40 c watch backjump lookups 0
3600.07/3610.40 c watch checks 0
3600.07/3610.40 c propagation checks 0
3600.07/3610.40 c constraint additions 0
3600.07/3610.40 c trail pops 0
3600.07/3610.40 c formula constraints 832
3600.07/3610.40 c learned constraints 0
3600.07/3610.40 c bound constraints 0
3600.07/3610.40 c core-guided constraints 0
3600.07/3610.40 c encountered formula constraints 0
3600.07/3610.40 c encountered learned constraints 0
3600.07/3610.40 c encountered bound constraints 0
3600.07/3610.40 c encountered core-guided constraints 0
3600.07/3610.40 c LP total time 0 s
3600.07/3610.40 c LP solve time 0 s
3600.07/3610.40 c LP constraints added 0
3600.07/3610.40 c LP constraints removed 0
3600.07/3610.40 c LP pivots internal 0
3600.07/3610.40 c LP pivots root 0
3600.07/3610.40 c LP calls 0
3600.07/3610.40 c LP optimalities 0
3600.07/3610.40 c LP no pivot count 0
3600.07/3610.40 c LP infeasibilities 0
3600.07/3610.40 c LP valid Farkas constraints 0
3600.07/3610.40 c LP learned Farkas constraints 0
3600.07/3610.40 c LP basis resets 0
3600.07/3610.40 c LP cycling count 0
3600.07/3610.40 c LP singular count 0
3600.07/3610.40 c LP no primal count 0
3600.07/3610.40 c LP no farkas count 0
3600.07/3610.40 c LP other issue count 0
3600.07/3610.40 c LP Gomory cuts 0
3600.07/3610.40 c LP learned cuts 0
3600.07/3610.40 c LP deleted cuts 0
3600.07/3610.40 c LP encountered Gomory constraints 0
3600.07/3610.40 c LP encountered Farkas constraints 0
3600.07/3610.40 c LP encountered learned Farkas constraints 0
3600.07/3610.40 c CG auxiliary variables introduced 0
3600.07/3610.40 c CG solutions found 0
3600.07/3610.40 c CG cores constructed 0
3600.07/3610.40 c CG core cardinality constraints returned 0
3600.07/3610.40 c CG unit cores 0
3600.07/3610.40 c CG single cores 0
3600.07/3610.40 c CG blocks removed during cardinality reduction 0
3600.07/3610.40 c CG first core best 0
3600.07/3610.40 c CG decision core best 0
3600.07/3610.40 c CG core reduction tie 0
3600.07/3610.40 c CG core degree average 0.00
3600.07/3610.40 c CG core slack average 0.00
3600.07/3610.40 c CG core upper bound improvements 0
3600.07/3610.40 c STR number of successful calls 0
3600.07/3610.40 c STR number of unsuccessful calls 0
3600.07/3610.40 c STR number of inconclusive calls 0
3600.07/3610.40 c STR number of successful attempts 0
3600.07/3610.40 c STR number of unsuccessful attempts 0
3600.07/3610.40 c STR number of inconclusive attempts 0
3600.07/3610.40 c STR average degree increase per successful call inf
3600.07/3610.40 c STR average degree increase per successful attempt inf
3600.07/3610.40 c STR total number of conflicts for successful attempts 0
3600.07/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.40 c STR average number of conflicts per successful attempt inf
3600.07/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.40 c AVG.sumWPerc -nan
3600.07/3610.40 c bigint constraints 0
3600.07/3610.40 s UNKNOWN
3600.07/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (59322 MiB free)
memory of node 1: 64465 MiB (63833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490978-1751385919/watcher-4490978-1751385919 -o /tmp/evaluation-result-4490978-1751385919/solver-4490978-1751385919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751385919-54989 --watchdog 3760 run-opt.sh HOME/instance-4490978-1751385919.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55042, runsolver pid=55030
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 0.89 1.44 2.18 7/255 55051
/proc/meminfo: memFree=126098096/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=63612 memory=16240 CPUtime=0.08 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 1592 0 0 0 6 2 0 0 20 0 1 0 54271156 65138688 4060 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 15903 4060 2336 1147 0 3330 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67804 KiB
Current children cumulated memory: 19312 KiB
[startup+0.213658 s]*
/proc/loadavg: 0.89 1.44 2.18 7/252 55051
/proc/meminfo: memFree=126086524/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=65988 memory=18544 CPUtime=0.19 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 2170 0 0 0 16 3 0 0 20 0 1 0 54271156 67571712 4636 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 16497 4636 2336 1147 0 3924 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70180 KiB
Current children cumulated memory: 21616 KiB
[startup+0.313125 s]*
/proc/loadavg: 0.89 1.44 2.18 6/252 55055
/proc/meminfo: memFree=126070120/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=70464 memory=23536 CPUtime=0.29 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 3409 0 0 0 25 4 0 0 20 0 1 0 54271156 72155136 5884 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 17616 5884 2336 1147 0 5043 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74656 KiB
Current children cumulated memory: 26608 KiB
[startup+0.700359 s]
/proc/loadavg: 0.89 1.44 2.18 6/250 55059
/proc/meminfo: memFree=126058276/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=81656 memory=35824 CPUtime=0.66 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 6482 0 0 0 59 7 0 0 20 0 1 0 54271156 83615744 8956 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 20414 8956 2336 1147 0 7841 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85848 KiB
Current children cumulated memory: 38896 KiB
[startup+1.50043 s]
/proc/loadavg: 0.89 1.44 2.18 6/250 55059
/proc/meminfo: memFree=126011592/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=110784 memory=60672 CPUtime=1.45 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 11668 0 0 0 135 10 0 0 20 0 1 0 54271156 113442816 15168 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 27696 15168 2336 1147 0 15123 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 114976 KiB
Current children cumulated memory: 63744 KiB
[startup+3.11254 s]
/proc/loadavg: 1.14 1.48 2.19 7/255 55098
/proc/meminfo: memFree=125913992/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=151108 memory=92216 CPUtime=3.07 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 19066 0 0 0 291 16 0 0 20 0 1 0 54271156 154734592 23054 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 37777 23054 2336 1147 0 25204 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 155300 KiB
Current children cumulated memory: 95288 KiB
[startup+6.30035 s]
/proc/loadavg: 1.14 1.48 2.19 7/255 55098
/proc/meminfo: memFree=125844436/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=187208 memory=119176 CPUtime=6.24 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 24766 0 0 0 600 24 0 0 20 0 1 0 54271156 191700992 29794 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 46802 29794 2336 1147 0 34229 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 191400 KiB
Current children cumulated memory: 122248 KiB
[startup+12.7003 s]
/proc/loadavg: 1.37 1.52 2.20 7/255 55098
/proc/meminfo: memFree=125780584/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=201036 memory=132104 CPUtime=12.62 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 27988 0 0 0 1223 39 0 0 20 0 1 0 54271156 205860864 33026 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 50259 33026 2336 1147 0 37686 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 205228 KiB
Current children cumulated memory: 135176 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.64 2.23 7/255 55098
/proc/meminfo: memFree=125740516/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=204236 memory=142712 CPUtime=25.39 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 30151 0 0 0 2480 59 0 0 20 0 1 0 54271156 209137664 35678 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 51059 35678 2336 1147 0 38486 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 208428 KiB
Current children cumulated memory: 145784 KiB
[startup+51.1128 s]
/proc/loadavg: 2.72 1.85 2.28 7/255 55098
/proc/meminfo: memFree=125603708/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=249036 memory=175096 CPUtime=50.94 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 37719 0 0 0 5006 88 0 0 20 0 1 0 54271156 255012864 43774 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 62259 43774 2336 1147 0 49686 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 253228 KiB
Current children cumulated memory: 178168 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.20 2.38 7/253 55100
/proc/meminfo: memFree=125483720/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=280296 memory=198204 CPUtime=101.99 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 41471 0 0 0 10070 129 0 0 20 0 1 0 54271156 287023104 49551 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 70074 49551 2336 1147 0 57501 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 284488 KiB
Current children cumulated memory: 201276 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.55 2.49 7/253 55102
/proc/meminfo: memFree=125405112/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=287208 memory=214084 CPUtime=161.82 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 44429 0 0 0 16017 165 0 0 20 0 1 0 54271156 294100992 53521 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 71802 53521 2336 1147 0 59229 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 291400 KiB
Current children cumulated memory: 217156 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.84 2.60 7/253 55104
/proc/meminfo: memFree=125279908/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=287464 memory=222260 CPUtime=221.65 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 45447 0 0 0 21967 198 0 0 20 0 1 0 54271156 294363136 55565 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 71866 55565 2336 1147 0 59293 0
################
# More data... #
################
/proc/55050/statm: 149199 124936 2336 1147 0 136626 0
Current children cumulated CPU time: 3033.53 s
Current children cumulated vsize: 600988 KiB
Current children cumulated memory: 502816 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.23 4.09 7/256 55241
/proc/meminfo: memFree=124187972/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=596796 memory=499744 CPUtime=3093.36 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 92836 0 0 0 308140 1196 0 0 20 0 1 0 54271156 611119104 124936 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 149199 124936 2336 1147 0 136626 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 600988 KiB
Current children cumulated memory: 502816 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.20 4.09 7/256 55243
/proc/meminfo: memFree=124172216/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=596796 memory=499744 CPUtime=3153.21 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 92837 0 0 0 314109 1212 0 0 20 0 1 0 54271156 611119104 124936 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 149199 124936 2336 1147 0 136626 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 600988 KiB
Current children cumulated memory: 502816 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.25 4.12 7/256 55245
/proc/meminfo: memFree=124164640/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=596796 memory=499744 CPUtime=3213.04 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 92837 0 0 0 320077 1227 0 0 20 0 1 0 54271156 611119104 124936 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 149199 124936 2336 1147 0 136626 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 600988 KiB
Current children cumulated memory: 502816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.25 4.12 7/253 55247
/proc/meminfo: memFree=124171172/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=596796 memory=499744 CPUtime=3272.88 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 92855 0 0 0 326045 1243 0 0 20 0 1 0 54271156 611119104 124936 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 149199 124936 2336 1147 0 136626 0
Current children cumulated CPU time: 3272.88 s
Current children cumulated vsize: 600988 KiB
Current children cumulated memory: 502816 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.22 4.12 7/254 55261
/proc/meminfo: memFree=124178164/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=596796 memory=499744 CPUtime=3332.71 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 92859 0 0 0 332014 1257 0 0 20 0 1 0 54271156 611119104 124936 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 149199 124936 2336 1147 0 136626 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 600988 KiB
Current children cumulated memory: 502816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.12 7/255 55266
/proc/meminfo: memFree=124180432/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=601920 memory=503340 CPUtime=3392.55 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 94289 0 0 0 337981 1274 0 0 20 0 1 0 54271156 616366080 125835 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 150480 125835 2336 1147 0 137907 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 606112 KiB
Current children cumulated memory: 506412 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.11 7/255 55268
/proc/meminfo: memFree=124178792/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=612704 memory=515528 CPUtime=3452.39 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 96466 0 0 0 343951 1288 0 0 20 0 1 0 54271156 627408896 128882 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 153176 128882 2336 1147 0 140603 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 616896 KiB
Current children cumulated memory: 518600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.10 7/255 55270
/proc/meminfo: memFree=124187464/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=618344 memory=519180 CPUtime=3512.22 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 97744 0 0 0 349923 1299 0 0 20 0 1 0 54271156 633184256 129795 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 154586 129795 2336 1147 0 142013 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 622536 KiB
Current children cumulated memory: 522252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.10 7/256 55277
/proc/meminfo: memFree=124187700/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=619884 memory=520224 CPUtime=3572.05 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 98131 0 0 0 355889 1316 0 0 20 0 1 0 54271156 634761216 130056 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 154971 130056 2336 1147 0 142398 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 624076 KiB
Current children cumulated memory: 523296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.08 4.14 4.10 7/256 55278
/proc/meminfo: memFree=124186588/131382116 swapFree=33010160/33010684
[pid=55042] ppid=55030 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/55042/stat : 55042 (run-opt.sh) S 55030 55042 54978 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 54271155 4292608 768 18446744073709551615 94382717083648 94382717978181 140732277017888 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94382718217232 94382718264976 94382731358208 140732277025133 140732277025256 140732277025256 140732277030858 0
/proc/55042/statm: 1048 768 704 219 0 110 0
[pid=55050] ppid=55042 vsize=620396 memory=520224 CPUtime=3600.07 cores=4,6
/proc/55050/stat : 55050 (roundingsat) R 55042 55042 54978 0 -1 4194304 98261 0 0 0 358682 1325 0 0 20 0 1 0 54271156 635285504 130056 18446744073709551615 4227072 8923433 140722233268912 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33517568 140722233272738 140722233272872 140722233272872 140722233278442 0
/proc/55050/statm: 155099 130056 2336 1147 0 142526 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 624588 KiB
Current children cumulated memory: 523296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 55042 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002836 s, system=0.002822 s
[startup+3610.41 s]
# the end of solver process 55050 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.83 s, system=13.263 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.41
CPU time (s): 3600.1
CPU user time (s): 3586.83
CPU system time (s): 13.263
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 624588
Max. memory (cumulated for all children) (KiB): 523296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.83
system time used= 13.263
maximum resident set size= 520736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98487
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= 344
involuntary context switches= 2647
# summary of solver processes directly reported to runsolver:
# pid: 55042,55050
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.83
# total CPU system time (s): 13.263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1013 second user time and 35.6906 second system time
The end
Begin job on nodeC004 at 2025-07-01 18:05:20
IDJOB=4490978
IDBENCH=147641
IDSOLVER=3350
FILE ID=nodeC004/4490978-1751385919
RUNJOBID= nodeC004-1751385919-54989
SLURM_JOB_ID= 9598241
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490978-1751385919/watcher-4490978-1751385919 -o /tmp/evaluation-result-4490978-1751385919/solver-4490978-1751385919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751385919-54989 --watchdog 3760 run-opt.sh HOME/instance-4490978-1751385919.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0fa37067d8fd8d743bdd08ab1a39bb11
RANDOM SEED=2061823929
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.224
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.816
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.319
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.419
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.224
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.271
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126100404 kB
MemAvailable: 129872476 kB
Buffers: 2720 kB
Cached: 4522892 kB
SwapCached: 20 kB
Active: 395328 kB
Inactive: 4197148 kB
Active(anon): 78632 kB
Inactive(anon): 6188 kB
Active(file): 316696 kB
Inactive(file): 4190960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30020 kB
Writeback: 0 kB
AnonPages: 69852 kB
Mapped: 103108 kB
Shmem: 17956 kB
KReclaimable: 208084 kB
Slab: 292992 kB
SReclaimable: 208084 kB
SUnreclaim: 84908 kB
KernelStack: 3908 kB
PageTables: 2836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 332132 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-07-01 19:05:30