0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4509334-1751516357.opb'
0.00/0.03 c read 1.97MB (22.47ms)
0.00/0.03 c [cnf: #variables 45696 #clauses 1557 #duplicates 0 #arr 182848]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 752] (57.05ms)
0.00/0.09 c
0.00/0.09 c detect special group actions
0.00/0.09 c probe for Johnson action (limit=64)
0.08/0.19 c probe for row-column symmetry (limit=64, splits=16.78M)
0.29/0.38 c probe for row symmetry (limit=64, splits=16.78M)
0.29/0.39 c recursing 3840 blocks of candidate 30x1428r
0.29/0.40 c recursing 18 blocks of candidate 3x128r
0.29/0.40 c recursing 630 blocks of candidate 5x1428r
0.29/0.40 c recursing 12 blocks of candidate 3x128r
0.39/0.41 c recursing 1240 blocks of candidate 10x1428r
0.39/0.41 c recursing 6 blocks of candidate 3x128r
0.39/0.42 c recursing 2318 blocks of candidate 19x1428r
0.39/0.44 c found row 4x128, generating row predicate
0.39/0.46 c found row 6x128, generating row predicate
0.39/0.48 c found row 8x128, generating row predicate
0.39/0.49 c found row 3x128, generating row predicate
0.48/0.52 c found row 7x128, generating row predicate
0.48/0.55 c found row 9x128, generating row predicate
0.48/0.58 c found row 10x128, generating row predicate
0.58/0.62 c found row 11x128, generating row predicate
0.58/0.66 c found row 12x128, generating row predicate
0.67/0.71 c found row 13x128, generating row predicate
0.67/0.76 c found row 14x128, generating row predicate
0.77/0.82 c found row 15x128, generating row predicate
0.77/0.88 c found row 16x128, generating row predicate
0.87/0.95 c found row 19x128, generating row predicate
0.98/1.02 c found row 20x128, generating row predicate
1.08/1.10 c found row 22x128, generating row predicate
1.17/1.22 c found row 31x128, generating row predicate
1.27/1.35 c found row 34x128, generating row predicate
1.48/1.52 c found row 44x128, generating row predicate
1.77/1.89 c found row 95x128, generating row predicate
1.87/1.94 c found row 19x1428, generating row predicate
1.87/1.95 c found row 3x128, generating row predicate
1.87/1.96 c recursing 62 blocks of candidate 31x128r
1.87/1.97 c recursing 2280 blocks of candidate 19x1428r
1.87/1.99 c found row 4x128, generating row predicate
1.97/2.01 c found row 6x128, generating row predicate
1.97/2.04 c found row 8x128, generating row predicate
1.97/2.05 c found row 3x128, generating row predicate
1.97/2.07 c found row 7x128, generating row predicate
2.07/2.10 c found row 9x128, generating row predicate
2.07/2.14 c found row 10x128, generating row predicate
2.07/2.17 c found row 11x128, generating row predicate
2.16/2.22 c found row 12x128, generating row predicate
2.16/2.26 c found row 13x128, generating row predicate
2.26/2.32 c found row 14x128, generating row predicate
2.26/2.37 c found row 15x128, generating row predicate
2.36/2.43 c found row 16x128, generating row predicate
2.47/2.50 c found row 19x128, generating row predicate
2.47/2.58 c found row 20x128, generating row predicate
2.57/2.66 c found row 22x128, generating row predicate
2.67/2.79 c found row 34x128, generating row predicate
2.87/2.95 c found row 44x128, generating row predicate
3.27/3.31 c found row 95x128, generating row predicate
3.27/3.36 c found row 19x1428, generating row predicate
3.36/3.48 c found row 31x128, generating row predicate
3.46/3.52 c found row 10x1428, generating row predicate
3.46/3.53 c found row 3x128, generating row predicate
3.46/3.53 c recursing 28 blocks of candidate 14x128r
3.46/3.54 c recursing 2242 blocks of candidate 19x1428r
3.46/3.56 c found row 4x128, generating row predicate
3.46/3.58 c found row 6x128, generating row predicate
3.56/3.61 c found row 8x128, generating row predicate
3.56/3.61 c found row 3x128, generating row predicate
3.56/3.64 c found row 7x128, generating row predicate
3.56/3.67 c found row 9x128, generating row predicate
3.66/3.70 c found row 10x128, generating row predicate
3.66/3.74 c found row 11x128, generating row predicate
3.66/3.79 c found row 12x128, generating row predicate
3.76/3.83 c found row 13x128, generating row predicate
3.76/3.89 c found row 15x128, generating row predicate
3.86/3.95 c found row 16x128, generating row predicate
3.96/4.02 c found row 19x128, generating row predicate
3.96/4.10 c found row 20x128, generating row predicate
4.06/4.18 c found row 22x128, generating row predicate
4.26/4.31 c found row 34x128, generating row predicate
4.36/4.47 c found row 44x128, generating row predicate
4.76/4.83 c found row 95x128, generating row predicate
4.76/4.88 c found row 19x1428, generating row predicate
4.86/4.94 c found row 14x128, generating row predicate
4.86/4.96 c found row 5x1428, generating row predicate
4.86/4.97 c found row 3x128, generating row predicate
4.86/4.97 c recursing 16 blocks of candidate 8x128r
4.86/4.98 c recursing 2204 blocks of candidate 19x1428r
4.86/5.00 c found row 4x128, generating row predicate
4.97/5.02 c found row 6x128, generating row predicate
4.97/5.04 c found row 8x128, generating row predicate
4.97/5.05 c found row 3x128, generating row predicate
4.97/5.08 c found row 7x128, generating row predicate
5.07/5.11 c found row 9x128, generating row predicate
5.07/5.14 c found row 10x128, generating row predicate
5.07/5.18 c found row 11x128, generating row predicate
5.16/5.23 c found row 12x128, generating row predicate
5.16/5.27 c found row 13x128, generating row predicate
5.26/5.33 c found row 15x128, generating row predicate
5.26/5.39 c found row 16x128, generating row predicate
5.36/5.46 c found row 19x128, generating row predicate
5.46/5.53 c found row 20x128, generating row predicate
5.56/5.61 c found row 22x128, generating row predicate
5.66/5.74 c found row 34x128, generating row predicate
5.86/5.91 c found row 44x128, generating row predicate
6.16/6.27 c found row 95x128, generating row predicate
6.26/6.32 c found row 19x1428, generating row predicate
6.26/6.35 c found row 8x128, generating row predicate
6.26/6.37 c recursing 190 blocks of candidate 95x128r
6.26/6.38 c recursing 2166 blocks of candidate 19x1428r
6.36/6.40 c found row 4x128, generating row predicate
6.36/6.42 c found row 6x128, generating row predicate
6.36/6.45 c found row 8x128, generating row predicate
6.36/6.46 c found row 3x128, generating row predicate
6.36/6.48 c found row 7x128, generating row predicate
6.46/6.52 c found row 9x128, generating row predicate
6.46/6.55 c found row 10x128, generating row predicate
6.46/6.59 c found row 11x128, generating row predicate
6.56/6.63 c found row 12x128, generating row predicate
6.56/6.68 c found row 13x128, generating row predicate
6.66/6.74 c found row 15x128, generating row predicate
6.66/6.79 c found row 16x128, generating row predicate
6.75/6.86 c found row 19x128, generating row predicate
6.85/6.94 c found row 20x128, generating row predicate
6.96/7.02 c found row 22x128, generating row predicate
7.06/7.15 c found row 34x128, generating row predicate
7.25/7.32 c found row 44x128, generating row predicate
7.25/7.36 c found row 19x1428, generating row predicate
7.66/7.72 c found row 95x128, generating row predicate
7.66/7.79 c found row 30x1428, generating row predicate
7.75/7.80 c (7712.19ms)
7.75/7.80 c
7.75/7.80 c detect symmetries on remainder
7.75/7.80 c [graph: #vertices 275664 #edges 822518]
7.75/7.80 c dejavu (support_limit=2048.00MB, budget_limit=64)
7.75/7.89 c [group: #symmetries 9.91*10^113 #generators 174] (91.69ms)
7.75/7.89 c
7.75/7.89 c optimize generators (opt_passes=64, conjugate_limit=256)
7.75/7.89 c ran it=0, +gens=3
8.25/8.36 c con best_support=256, best_gens=174, +gens=209
8.25/8.36 c (467.55ms)
8.25/8.36 c
8.25/8.36 c finalize break order and special generators
8.25/8.36 c
8.25/8.36 c add generic predicates (break_depth=20)
8.25/8.37 c added predicates for 386 generators (2.58ms)
8.25/8.37 c
8.25/8.37 c generation finished
8.25/8.37 c [sbp: #constraints 1260696 #add_vars 419472]
8.25/8.37 c
8.25/8.37 c write result to 'HOME/instance-4509334-1751516357.opb.pre'
8.35/8.48 c wrote 53.31MB (109.62ms)
8.35/8.49 c ------------------------------------------------------------------
8.35/8.49 c 7712.19ms 90.95% detect_special
8.35/8.49 c 467.55ms 5.51% optimize_gens
8.35/8.49 c 109.62ms 1.29% output
8.35/8.49 c 91.69ms 1.08% detect_generic
8.35/8.49 c 57.05ms 0.67% approx_orbits
8.35/8.49 c 22.47ms 0.26% parse
8.35/8.49 c 13.93ms 0.16% other
8.35/8.49 c 2.78ms 0.03% finalize_order
8.35/8.49 c 2.58ms 0.03% break_generic
8.35/8.49 c ───────────────────────────────────────────────
8.35/8.49 c 8479.86ms 100% total
8.35/8.49 c ------------------------------------------------------------------
8.45/8.51 c RoundingSat 2
8.45/8.51 c branch pb25
8.45/8.51 c commit 63f22ad
12.03/12.14 c #variables 465168 #constraints 1261723
12.03/12.14 c objective is ce32
14.31/14.45 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
14.31/14.45 c initial counting CF 32, 64, 128, Arb: 129 , 0 , 0 , 0
14.31/14.45 c bounds - >= 0 @ 4.91396
117.54/117.95 c #Conflicts: 1000 | #Constraints: 1262722
117.54/117.95 c #Conflicts: 2000 | #Constraints: 1263722
117.54/117.95 c INPROCESSING
117.54/117.95 c #Conflicts: 3000 | #Constraints: 1251205
117.54/117.95 c #Conflicts: 4000 | #Constraints: 1252205
117.54/117.95 c #Conflicts: 5000 | #Constraints: 1253205
117.54/117.95 c #Conflicts: 6000 | #Constraints: 1254205
117.54/117.95 c INPROCESSING
117.54/117.95 c #Conflicts: 7000 | #Constraints: 1246035
117.54/117.95 c #Conflicts: 8000 | #Constraints: 1247035
117.54/117.95 c #Conflicts: 9000 | #Constraints: 1248035
117.54/117.95 c #Conflicts: 10000 | #Constraints: 1249035
117.54/117.95 c #Conflicts: 11000 | #Constraints: 1250035
117.54/117.95 c #Conflicts: 12000 | #Constraints: 1251035
117.54/117.95 c INPROCESSING
117.54/117.95 c GARBAGE COLLECT
117.54/117.95 c #Conflicts: 13000 | #Constraints: 1247476
117.54/117.95 c #Conflicts: 14000 | #Constraints: 1248476
117.54/117.95 c #Conflicts: 15000 | #Constraints: 1249476
117.54/117.95 c #Conflicts: 16000 | #Constraints: 1250476
117.54/117.95 c INPROCESSING
117.54/117.95 c GARBAGE COLLECT
117.54/117.95 c #Conflicts: 17000 | #Constraints: 1247446
117.54/117.95 c #Conflicts: 18000 | #Constraints: 1248446
117.54/117.95 c #Conflicts: 19000 | #Constraints: 1249446
117.54/117.95 c #Conflicts: 20000 | #Constraints: 1250446
117.54/117.95 c #Conflicts: 21000 | #Constraints: 1251446
117.54/117.95 c #Conflicts: 22000 | #Constraints: 1252446
117.54/117.95 c #Conflicts: 23000 | #Constraints: 1253446
117.54/117.95 c #Conflicts: 24000 | #Constraints: 1254446
117.54/117.95 c #Conflicts: 25000 | #Constraints: 1255446
117.54/117.95 c INPROCESSING
117.54/117.95 c GARBAGE COLLECT
117.54/117.95 c #Conflicts: 26000 | #Constraints: 1249903
117.54/117.95 c #Conflicts: 27000 | #Constraints: 1250903
117.54/117.95 c #Conflicts: 28000 | #Constraints: 1251903
117.54/117.95 c #Conflicts: 29000 | #Constraints: 1252903
117.54/117.95 c #Conflicts: 30000 | #Constraints: 1253903
117.54/117.95 c #Conflicts: 31000 | #Constraints: 1254903
117.54/117.95 c INPROCESSING
117.54/117.95 c GARBAGE COLLECT
117.54/117.95 c #Conflicts: 32000 | #Constraints: 1249829
117.54/117.95 c #Conflicts: 33000 | #Constraints: 1250829
117.54/117.95 c #Conflicts: 34000 | #Constraints: 1251829
117.54/117.95 c #Conflicts: 35000 | #Constraints: 1252829
117.54/117.95 c #Conflicts: 36000 | #Constraints: 1253829
117.54/117.95 c #Conflicts: 37000 | #Constraints: 1254829
117.54/117.95 c #Conflicts: 38000 | #Constraints: 1255829
117.54/117.95 c #Conflicts: 39000 | #Constraints: 1256829
117.54/117.95 c #Conflicts: 40000 | #Constraints: 1257829
117.54/117.95 c #Conflicts: 41000 | #Constraints: 1258829
117.54/117.95 c #Conflicts: 42000 | #Constraints: 1259829
117.54/117.95 c #Conflicts: 43000 | #Constraints: 1260829
117.54/117.95 c INPROCESSING
117.54/117.95 c GARBAGE COLLECT
117.54/117.95 c #Conflicts: 44000 | #Constraints: 1253177
117.54/117.95 c #Conflicts: 45000 | #Constraints: 1254177
117.54/117.95 c #Conflicts: 46000 | #Constraints: 1255177
117.54/117.95 c #Conflicts: 47000 | #Constraints: 1256177
117.54/117.95 c #Conflicts: 48000 | #Constraints: 1257177
117.54/117.95 c #Conflicts: 49000 | #Constraints: 1258177
117.54/117.95 c #Conflicts: 50000 | #Constraints: 1259177
117.54/117.95 c INPROCESSING
117.54/117.95 c GARBAGE COLLECT
117.54/117.95 c #Conflicts: 51000 | #Constraints: 1252560
117.54/117.95 c #Conflicts: 52000 | #Constraints: 1253560
117.54/117.95 c #Conflicts: 53000 | #Constraints: 1254560
117.54/117.95 c #Conflicts: 54000 | #Constraints: 1255560
117.54/117.95 c #Conflicts: 55000 | #Constraints: 1256560
117.54/117.95 c #Conflicts: 56000 | #Constraints: 1257560
117.54/117.95 c #Conflicts: 57000 | #Constraints: 1258560
117.54/117.95 c #Conflicts: 58000 | #Constraints: 1259560
117.54/117.95 c #Conflicts: 59000 | #Constraints: 1260560
117.54/117.95 c #Conflicts: 60000 | #Constraints: 1261560
117.54/117.95 c #Conflicts: 61000 | #Constraints: 1262560
117.54/117.95 c #Conflicts: 62000 | #Constraints: 1263560
117.54/117.95 c #Conflicts: 63000 | #Constraints: 1264560
117.54/117.95 c #Conflicts: 64000 | #Constraints: 1265560
117.54/117.95 c #Conflicts: 65000 | #Constraints: 1266560
117.54/117.95 c INPROCESSING
117.54/117.95 c GARBAGE COLLECT
117.54/117.95 c #Conflicts: 66000 | #Constraints: 1254630
117.54/117.95 c #Conflicts: 67000 | #Constraints: 1255630
117.54/117.95 c #Conflicts: 68000 | #Constraints: 1256630
117.54/117.95 c #Conflicts: 69000 | #Constraints: 1257630
117.54/117.95 c #Conflicts: 70000 | #Constraints: 1258630
117.54/117.95 c #Conflicts: 71000 | #Constraints: 1259630
117.54/117.95 c #Conflicts: 72000 | #Constraints: 1260630
117.54/117.95 c #Conflicts: 73000 | #Constraints: 1261630
117.54/117.95 c #Conflicts: 74000 | #Constraints: 1262630
240.23/240.97 c INPROCESSING
240.23/240.97 c GARBAGE COLLECT
240.23/240.97 c #Conflicts: 75000 | #Constraints: 1253588
240.23/240.97 c #Conflicts: 76000 | #Constraints: 1254588
240.23/240.97 c #Conflicts: 77000 | #Constraints: 1255588
240.23/240.97 c #Conflicts: 78000 | #Constraints: 1256588
240.23/240.97 c #Conflicts: 79000 | #Constraints: 1257588
240.23/240.97 c #Conflicts: 80000 | #Constraints: 1258588
240.23/240.97 c #Conflicts: 81000 | #Constraints: 1259588
240.23/240.97 c #Conflicts: 82000 | #Constraints: 1260588
240.23/240.97 c #Conflicts: 83000 | #Constraints: 1261588
240.23/240.97 c #Conflicts: 84000 | #Constraints: 1262588
240.23/240.97 c #Conflicts: 85000 | #Constraints: 1263588
240.23/240.97 c #Conflicts: 86000 | #Constraints: 1264588
240.23/240.97 c #Conflicts: 87000 | #Constraints: 1265588
240.23/240.97 c #Conflicts: 88000 | #Constraints: 1266588
240.23/240.97 c #Conflicts: 89000 | #Constraints: 1267588
240.23/240.97 c #Conflicts: 90000 | #Constraints: 1268588
240.23/240.97 c #Conflicts: 91000 | #Constraints: 1269588
240.23/240.97 c #Conflicts: 92000 | #Constraints: 1270588
240.23/240.97 c INPROCESSING
240.23/240.97 c GARBAGE COLLECT
240.23/240.97 c #Conflicts: 93000 | #Constraints: 1256905
240.23/240.97 c #Conflicts: 94000 | #Constraints: 1257905
240.23/240.97 c #Conflicts: 95000 | #Constraints: 1258905
240.23/240.97 c #Conflicts: 96000 | #Constraints: 1259905
240.23/240.97 c #Conflicts: 97000 | #Constraints: 1260905
240.23/240.97 c #Conflicts: 98000 | #Constraints: 1261905
240.23/240.97 c #Conflicts: 99000 | #Constraints: 1262905
240.23/240.97 c #Conflicts: 100000 | #Constraints: 1263905
240.23/240.97 c #Conflicts: 101000 | #Constraints: 1264905
240.23/240.97 c #Conflicts: 102000 | #Constraints: 1265905
240.23/240.97 c INPROCESSING
240.23/240.97 c GARBAGE COLLECT
240.23/240.97 c #Conflicts: 103000 | #Constraints: 1254813
240.23/240.97 c #Conflicts: 104000 | #Constraints: 1255813
240.23/240.97 c #Conflicts: 105000 | #Constraints: 1256813
240.23/240.97 c #Conflicts: 106000 | #Constraints: 1257813
240.23/240.97 c #Conflicts: 107000 | #Constraints: 1258813
240.23/240.97 c #Conflicts: 108000 | #Constraints: 1259813
240.23/240.97 c #Conflicts: 109000 | #Constraints: 1260813
240.23/240.97 c #Conflicts: 110000 | #Constraints: 1261813
240.23/240.97 c #Conflicts: 111000 | #Constraints: 1262813
240.23/240.97 c INPROCESSING
240.23/240.97 c GARBAGE COLLECT
240.23/240.97 c #Conflicts: 112000 | #Constraints: 1251955
240.23/240.97 c #Conflicts: 113000 | #Constraints: 1252955
240.23/240.97 c #Conflicts: 114000 | #Constraints: 1253955
240.23/240.97 c #Conflicts: 115000 | #Constraints: 1254955
240.23/240.97 c #Conflicts: 116000 | #Constraints: 1255955
240.23/240.97 c #Conflicts: 117000 | #Constraints: 1256955
240.23/240.97 c #Conflicts: 118000 | #Constraints: 1257955
240.23/240.97 c #Conflicts: 119000 | #Constraints: 1258955
240.23/240.97 c #Conflicts: 120000 | #Constraints: 1259955
240.23/240.97 c #Conflicts: 121000 | #Constraints: 1260955
240.23/240.97 c #Conflicts: 122000 | #Constraints: 1261955
240.23/240.97 c #Conflicts: 123000 | #Constraints: 1262955
240.23/240.97 c #Conflicts: 124000 | #Constraints: 1263955
240.23/240.97 c #Conflicts: 125000 | #Constraints: 1264955
240.23/240.97 c #Conflicts: 126000 | #Constraints: 1265955
240.23/240.97 c #Conflicts: 127000 | #Constraints: 1266955
240.23/240.97 c #Conflicts: 128000 | #Constraints: 1267955
240.23/240.97 c #Conflicts: 129000 | #Constraints: 1268955
240.23/240.97 c #Conflicts: 130000 | #Constraints: 1269955
240.23/240.97 c #Conflicts: 131000 | #Constraints: 1270955
240.23/240.97 c #Conflicts: 132000 | #Constraints: 1271955
240.23/240.97 c #Conflicts: 133000 | #Constraints: 1272955
240.23/240.97 c #Conflicts: 134000 | #Constraints: 1273955
240.23/240.97 c INPROCESSING
240.23/240.97 c GARBAGE COLLECT
240.23/240.97 c #Conflicts: 135000 | #Constraints: 1258100
240.23/240.97 c #Conflicts: 136000 | #Constraints: 1259100
240.23/240.97 c #Conflicts: 137000 | #Constraints: 1260100
240.23/240.97 c #Conflicts: 138000 | #Constraints: 1261100
240.23/240.97 c #Conflicts: 139000 | #Constraints: 1262100
240.23/240.97 c #Conflicts: 140000 | #Constraints: 1263100
240.23/240.97 c #Conflicts: 141000 | #Constraints: 1264100
240.23/240.97 c #Conflicts: 142000 | #Constraints: 1265100
240.23/240.97 c #Conflicts: 143000 | #Constraints: 1266100
240.23/240.97 c #Conflicts: 144000 | #Constraints: 1267100
240.23/240.97 c #Conflicts: 145000 | #Constraints: 1268100
240.23/240.97 c INPROCESSING
240.23/240.97 c GARBAGE COLLECT
240.23/240.97 c #Conflicts: 146000 | #Constraints: 1255134
240.23/240.97 c #Conflicts: 147000 | #Constraints: 1256134
240.23/240.97 c #Conflicts: 148000 | #Constraints: 1257134
240.23/240.97 c #Conflicts: 149000 | #Constraints: 1258134
345.85/346.87 c #Conflicts: 150000 | #Constraints: 1259134
345.85/346.87 c #Conflicts: 151000 | #Constraints: 1260134
345.85/346.87 c #Conflicts: 152000 | #Constraints: 1261134
345.85/346.87 c #Conflicts: 153000 | #Constraints: 1262134
345.85/346.87 c #Conflicts: 154000 | #Constraints: 1263134
345.85/346.87 c #Conflicts: 155000 | #Constraints: 1264134
345.85/346.87 c #Conflicts: 156000 | #Constraints: 1265134
345.85/346.87 c #Conflicts: 157000 | #Constraints: 1266134
345.85/346.87 c #Conflicts: 158000 | #Constraints: 1267134
345.85/346.87 c #Conflicts: 159000 | #Constraints: 1268134
345.85/346.87 c #Conflicts: 160000 | #Constraints: 1269134
345.85/346.87 c #Conflicts: 161000 | #Constraints: 1270134
345.85/346.87 c #Conflicts: 162000 | #Constraints: 1271134
345.85/346.87 c #Conflicts: 163000 | #Constraints: 1272134
345.85/346.87 c #Conflicts: 164000 | #Constraints: 1273134
345.85/346.87 c #Conflicts: 165000 | #Constraints: 1274134
345.85/346.87 c #Conflicts: 166000 | #Constraints: 1275134
345.85/346.87 c #Conflicts: 167000 | #Constraints: 1276134
345.85/346.87 c #Conflicts: 168000 | #Constraints: 1277134
345.85/346.87 c #Conflicts: 169000 | #Constraints: 1278134
345.85/346.87 c #Conflicts: 170000 | #Constraints: 1279134
345.85/346.87 c #Conflicts: 171000 | #Constraints: 1280134
345.85/346.87 c INPROCESSING
345.85/346.87 c GARBAGE COLLECT
345.85/346.87 c #Conflicts: 172000 | #Constraints: 1260324
345.85/346.87 c #Conflicts: 173000 | #Constraints: 1261324
345.85/346.87 c #Conflicts: 174000 | #Constraints: 1262324
345.85/346.87 c #Conflicts: 175000 | #Constraints: 1263324
345.85/346.87 c #Conflicts: 176000 | #Constraints: 1264324
345.85/346.87 c #Conflicts: 177000 | #Constraints: 1265324
345.85/346.87 c #Conflicts: 178000 | #Constraints: 1266324
345.85/346.87 c #Conflicts: 179000 | #Constraints: 1267324
345.85/346.87 c #Conflicts: 180000 | #Constraints: 1268324
345.85/346.87 c #Conflicts: 181000 | #Constraints: 1269324
345.85/346.87 c #Conflicts: 182000 | #Constraints: 1270324
345.85/346.87 c #Conflicts: 183000 | #Constraints: 1271324
345.85/346.87 c INPROCESSING
345.85/346.87 c GARBAGE COLLECT
345.85/346.87 c #Conflicts: 184000 | #Constraints: 1255690
345.85/346.87 c #Conflicts: 185000 | #Constraints: 1256690
345.85/346.87 c #Conflicts: 186000 | #Constraints: 1257690
345.85/346.87 c #Conflicts: 187000 | #Constraints: 1258690
345.85/346.87 c #Conflicts: 188000 | #Constraints: 1259690
345.85/346.87 c #Conflicts: 189000 | #Constraints: 1260690
345.85/346.87 c #Conflicts: 190000 | #Constraints: 1261690
345.85/346.87 c #Conflicts: 191000 | #Constraints: 1262690
345.85/346.87 c #Conflicts: 192000 | #Constraints: 1263690
345.85/346.87 c #Conflicts: 193000 | #Constraints: 1264690
345.85/346.87 c #Conflicts: 194000 | #Constraints: 1265690
345.85/346.87 c #Conflicts: 195000 | #Constraints: 1266690
345.85/346.87 c #Conflicts: 196000 | #Constraints: 1267690
345.85/346.87 c #Conflicts: 197000 | #Constraints: 1268690
345.85/346.87 c #Conflicts: 198000 | #Constraints: 1269690
345.85/346.87 c #Conflicts: 199000 | #Constraints: 1270690
345.85/346.87 c #Conflicts: 200000 | #Constraints: 1271690
345.85/346.87 c #Conflicts: 201000 | #Constraints: 1272690
345.85/346.87 c #Conflicts: 202000 | #Constraints: 1273690
345.85/346.87 c #Conflicts: 203000 | #Constraints: 1274690
345.85/346.87 c #Conflicts: 204000 | #Constraints: 1275690
345.85/346.87 c #Conflicts: 205000 | #Constraints: 1276690
345.85/346.87 c #Conflicts: 206000 | #Constraints: 1277690
345.85/346.87 c #Conflicts: 207000 | #Constraints: 1278690
345.85/346.87 c #Conflicts: 208000 | #Constraints: 1279690
345.85/346.87 c #Conflicts: 209000 | #Constraints: 1280690
345.85/346.87 c #Conflicts: 210000 | #Constraints: 1281690
345.85/346.87 c #Conflicts: 211000 | #Constraints: 1282690
345.85/346.87 c #Conflicts: 212000 | #Constraints: 1283690
345.85/346.87 c INPROCESSING
345.85/346.87 c GARBAGE COLLECT
345.85/346.87 c #Conflicts: 213000 | #Constraints: 1262383
345.85/346.87 c #Conflicts: 214000 | #Constraints: 1263383
345.85/346.87 c #Conflicts: 215000 | #Constraints: 1264383
345.85/346.87 c #Conflicts: 216000 | #Constraints: 1265383
345.85/346.87 c #Conflicts: 217000 | #Constraints: 1266383
345.85/346.87 c #Conflicts: 218000 | #Constraints: 1267383
345.85/346.87 c #Conflicts: 219000 | #Constraints: 1268383
345.85/346.87 c #Conflicts: 220000 | #Constraints: 1269383
345.85/346.87 c #Conflicts: 221000 | #Constraints: 1270383
345.85/346.87 c #Conflicts: 222000 | #Constraints: 1271383
345.85/346.87 c #Conflicts: 223000 | #Constraints: 1272383
345.85/346.87 c #Conflicts: 224000 | #Constraints: 1273383
345.85/346.87 c #Conflicts: 225000 | #Constraints: 1274383
345.85/346.87 c #Conflicts: 226000 | #Constraints: 1275383
456.05/457.30 c INPROCESSING
456.05/457.30 c GARBAGE COLLECT
456.05/457.30 c #Conflicts: 227000 | #Constraints: 1258444
456.05/457.30 c #Conflicts: 228000 | #Constraints: 1259444
456.05/457.30 c #Conflicts: 229000 | #Constraints: 1260444
456.05/457.30 c #Conflicts: 230000 | #Constraints: 1261444
456.05/457.30 c #Conflicts: 231000 | #Constraints: 1262444
456.05/457.30 c #Conflicts: 232000 | #Constraints: 1263444
456.05/457.30 c #Conflicts: 233000 | #Constraints: 1264444
456.05/457.30 c #Conflicts: 234000 | #Constraints: 1265444
456.05/457.30 c #Conflicts: 235000 | #Constraints: 1266444
456.05/457.30 c #Conflicts: 236000 | #Constraints: 1267444
456.05/457.30 c #Conflicts: 237000 | #Constraints: 1268444
456.05/457.30 c #Conflicts: 238000 | #Constraints: 1269444
456.05/457.30 c #Conflicts: 239000 | #Constraints: 1270444
456.05/457.30 c #Conflicts: 240000 | #Constraints: 1271444
456.05/457.30 c INPROCESSING
456.05/457.30 c GARBAGE COLLECT
456.05/457.30 c #Conflicts: 241000 | #Constraints: 1258095
456.05/457.30 c #Conflicts: 242000 | #Constraints: 1259095
456.05/457.30 c #Conflicts: 243000 | #Constraints: 1260095
456.05/457.30 c #Conflicts: 244000 | #Constraints: 1261095
456.05/457.30 c #Conflicts: 245000 | #Constraints: 1262095
456.05/457.30 c #Conflicts: 246000 | #Constraints: 1263095
456.05/457.30 c #Conflicts: 247000 | #Constraints: 1264095
456.05/457.30 c #Conflicts: 248000 | #Constraints: 1265095
456.05/457.30 c #Conflicts: 249000 | #Constraints: 1266095
456.05/457.30 c #Conflicts: 250000 | #Constraints: 1267095
456.05/457.30 c #Conflicts: 251000 | #Constraints: 1268095
456.05/457.30 c #Conflicts: 252000 | #Constraints: 1269095
456.05/457.30 c #Conflicts: 253000 | #Constraints: 1270095
456.05/457.30 c #Conflicts: 254000 | #Constraints: 1271095
456.05/457.30 c #Conflicts: 255000 | #Constraints: 1272095
456.05/457.30 c #Conflicts: 256000 | #Constraints: 1273095
456.05/457.30 c #Conflicts: 257000 | #Constraints: 1274095
456.05/457.30 c #Conflicts: 258000 | #Constraints: 1275095
456.05/457.30 c #Conflicts: 259000 | #Constraints: 1276095
456.05/457.30 c #Conflicts: 260000 | #Constraints: 1277095
456.05/457.30 c #Conflicts: 261000 | #Constraints: 1278095
456.05/457.30 c #Conflicts: 262000 | #Constraints: 1279095
456.05/457.30 c #Conflicts: 263000 | #Constraints: 1280095
456.05/457.30 c #Conflicts: 264000 | #Constraints: 1281095
456.05/457.30 c #Conflicts: 265000 | #Constraints: 1282095
456.05/457.30 c #Conflicts: 266000 | #Constraints: 1283095
456.05/457.30 c #Conflicts: 267000 | #Constraints: 1284095
456.05/457.30 c #Conflicts: 268000 | #Constraints: 1285095
456.05/457.30 c #Conflicts: 269000 | #Constraints: 1286095
456.05/457.30 c #Conflicts: 270000 | #Constraints: 1287095
456.05/457.30 c #Conflicts: 271000 | #Constraints: 1288095
456.05/457.30 c #Conflicts: 272000 | #Constraints: 1289095
456.05/457.30 c #Conflicts: 273000 | #Constraints: 1290095
456.05/457.30 c INPROCESSING
456.05/457.30 c GARBAGE COLLECT
456.05/457.30 c #Conflicts: 274000 | #Constraints: 1266291
456.05/457.30 c #Conflicts: 275000 | #Constraints: 1267291
456.05/457.30 c #Conflicts: 276000 | #Constraints: 1268291
456.05/457.30 c #Conflicts: 277000 | #Constraints: 1269291
456.05/457.30 c #Conflicts: 278000 | #Constraints: 1270291
456.05/457.30 c #Conflicts: 279000 | #Constraints: 1271291
456.05/457.30 c #Conflicts: 280000 | #Constraints: 1272291
456.05/457.30 c #Conflicts: 281000 | #Constraints: 1273291
456.05/457.30 c #Conflicts: 282000 | #Constraints: 1274291
456.05/457.30 c #Conflicts: 283000 | #Constraints: 1275291
456.05/457.30 c #Conflicts: 284000 | #Constraints: 1276291
456.05/457.30 c #Conflicts: 285000 | #Constraints: 1277291
456.05/457.30 c #Conflicts: 286000 | #Constraints: 1278291
456.05/457.30 c #Conflicts: 287000 | #Constraints: 1279291
456.05/457.30 c #Conflicts: 288000 | #Constraints: 1280291
456.05/457.30 c INPROCESSING
456.05/457.30 c GARBAGE COLLECT
456.05/457.30 c #Conflicts: 289000 | #Constraints: 1261862
456.05/457.30 c #Conflicts: 290000 | #Constraints: 1262862
456.05/457.30 c #Conflicts: 291000 | #Constraints: 1263862
456.05/457.30 c #Conflicts: 292000 | #Constraints: 1264862
456.05/457.30 c #Conflicts: 293000 | #Constraints: 1265862
456.05/457.30 c #Conflicts: 294000 | #Constraints: 1266862
456.05/457.30 c #Conflicts: 295000 | #Constraints: 1267862
456.05/457.30 c #Conflicts: 296000 | #Constraints: 1268862
456.05/457.30 c #Conflicts: 297000 | #Constraints: 1269862
456.05/457.30 c #Conflicts: 298000 | #Constraints: 1270862
456.05/457.30 c #Conflicts: 299000 | #Constraints: 1271862
456.05/457.30 c #Conflicts: 300000 | #Constraints: 1272862
456.05/457.30 c #Conflicts: 301000 | #Constraints: 1273862
456.05/457.30 c #Conflicts: 302000 | #Constraints: 1274862
577.02/578.61 c #Conflicts: 303000 | #Constraints: 1275862
577.02/578.61 c #Conflicts: 304000 | #Constraints: 1276862
577.02/578.61 c #Conflicts: 305000 | #Constraints: 1277862
577.02/578.61 c #Conflicts: 306000 | #Constraints: 1278862
577.02/578.61 c #Conflicts: 307000 | #Constraints: 1279862
577.02/578.61 c #Conflicts: 308000 | #Constraints: 1280862
577.02/578.61 c #Conflicts: 309000 | #Constraints: 1281862
577.02/578.61 c #Conflicts: 310000 | #Constraints: 1282862
577.02/578.61 c #Conflicts: 311000 | #Constraints: 1283862
577.02/578.61 c #Conflicts: 312000 | #Constraints: 1284862
577.02/578.61 c #Conflicts: 313000 | #Constraints: 1285862
577.02/578.61 c #Conflicts: 314000 | #Constraints: 1286862
577.02/578.61 c #Conflicts: 315000 | #Constraints: 1287862
577.02/578.61 c #Conflicts: 316000 | #Constraints: 1288862
577.02/578.61 c #Conflicts: 317000 | #Constraints: 1289862
577.02/578.61 c #Conflicts: 318000 | #Constraints: 1290862
577.02/578.61 c #Conflicts: 319000 | #Constraints: 1291862
577.02/578.61 c #Conflicts: 320000 | #Constraints: 1292862
577.02/578.61 c #Conflicts: 321000 | #Constraints: 1293862
577.02/578.61 c #Conflicts: 322000 | #Constraints: 1294862
577.02/578.61 c #Conflicts: 323000 | #Constraints: 1295862
577.02/578.61 c #Conflicts: 324000 | #Constraints: 1296862
577.02/578.61 c INPROCESSING
577.02/578.61 c GARBAGE COLLECT
577.02/578.61 c #Conflicts: 325000 | #Constraints: 1270038
577.02/578.61 c #Conflicts: 326000 | #Constraints: 1271038
577.02/578.61 c #Conflicts: 327000 | #Constraints: 1272038
577.02/578.61 c #Conflicts: 328000 | #Constraints: 1273038
577.02/578.61 c #Conflicts: 329000 | #Constraints: 1274038
577.02/578.61 c #Conflicts: 330000 | #Constraints: 1275038
577.02/578.61 c #Conflicts: 331000 | #Constraints: 1276038
577.02/578.61 c #Conflicts: 332000 | #Constraints: 1277038
577.02/578.61 c #Conflicts: 333000 | #Constraints: 1278038
577.02/578.61 c #Conflicts: 334000 | #Constraints: 1279038
577.02/578.61 c #Conflicts: 335000 | #Constraints: 1280038
577.02/578.61 c #Conflicts: 336000 | #Constraints: 1281038
577.02/578.61 c #Conflicts: 337000 | #Constraints: 1282038
577.02/578.61 c #Conflicts: 338000 | #Constraints: 1283038
577.02/578.61 c #Conflicts: 339000 | #Constraints: 1284038
577.02/578.61 c #Conflicts: 340000 | #Constraints: 1285038
577.02/578.61 c INPROCESSING
577.02/578.61 c GARBAGE COLLECT
577.02/578.61 c #Conflicts: 341000 | #Constraints: 1263910
577.02/578.61 c #Conflicts: 342000 | #Constraints: 1264910
577.02/578.61 c #Conflicts: 343000 | #Constraints: 1265910
577.02/578.61 c #Conflicts: 344000 | #Constraints: 1266910
577.02/578.61 c #Conflicts: 345000 | #Constraints: 1267910
577.02/578.61 c #Conflicts: 346000 | #Constraints: 1268910
577.02/578.61 c #Conflicts: 347000 | #Constraints: 1269910
577.02/578.61 c #Conflicts: 348000 | #Constraints: 1270910
577.02/578.61 c #Conflicts: 349000 | #Constraints: 1271910
577.02/578.61 c #Conflicts: 350000 | #Constraints: 1272910
577.02/578.61 c #Conflicts: 351000 | #Constraints: 1273910
577.02/578.61 c #Conflicts: 352000 | #Constraints: 1274910
577.02/578.61 c #Conflicts: 353000 | #Constraints: 1275910
577.02/578.61 c #Conflicts: 354000 | #Constraints: 1276910
577.02/578.61 c #Conflicts: 355000 | #Constraints: 1277910
577.02/578.61 c #Conflicts: 356000 | #Constraints: 1278910
577.02/578.61 c #Conflicts: 357000 | #Constraints: 1279910
577.02/578.61 c #Conflicts: 358000 | #Constraints: 1280910
577.02/578.61 c #Conflicts: 359000 | #Constraints: 1281910
577.02/578.61 c #Conflicts: 360000 | #Constraints: 1282910
577.02/578.61 c #Conflicts: 361000 | #Constraints: 1283910
577.02/578.61 c #Conflicts: 362000 | #Constraints: 1284910
577.02/578.61 c #Conflicts: 363000 | #Constraints: 1285910
577.02/578.61 c #Conflicts: 364000 | #Constraints: 1286910
577.02/578.61 c #Conflicts: 365000 | #Constraints: 1287910
577.02/578.61 c #Conflicts: 366000 | #Constraints: 1288910
577.02/578.61 c #Conflicts: 367000 | #Constraints: 1289910
577.02/578.61 c #Conflicts: 368000 | #Constraints: 1290910
577.02/578.61 c #Conflicts: 369000 | #Constraints: 1291910
577.02/578.61 c #Conflicts: 370000 | #Constraints: 1292910
577.02/578.61 c #Conflicts: 371000 | #Constraints: 1293910
577.02/578.61 c #Conflicts: 372000 | #Constraints: 1294910
577.02/578.61 c #Conflicts: 373000 | #Constraints: 1295910
577.02/578.61 c #Conflicts: 374000 | #Constraints: 1296910
577.02/578.61 c #Conflicts: 375000 | #Constraints: 1297910
577.02/578.61 c #Conflicts: 376000 | #Constraints: 1298910
577.02/578.61 c #Conflicts: 377000 | #Constraints: 1299910
577.02/578.61 c #Conflicts: 378000 | #Constraints: 1300910
577.02/578.61 c #Conflicts: 379000 | #Constraints: 1301910
577.02/578.61 c #Conflicts: 380000 | #Constraints: 1302910
717.84/719.83 c INPROCESSING
717.84/719.83 c GARBAGE COLLECT
717.84/719.83 c #Conflicts: 381000 | #Constraints: 1273568
717.84/719.83 c #Conflicts: 382000 | #Constraints: 1274568
717.84/719.83 c #Conflicts: 383000 | #Constraints: 1275568
717.84/719.83 c #Conflicts: 384000 | #Constraints: 1276568
717.84/719.83 c #Conflicts: 385000 | #Constraints: 1277568
717.84/719.83 c #Conflicts: 386000 | #Constraints: 1278568
717.84/719.83 c #Conflicts: 387000 | #Constraints: 1279568
717.84/719.83 c #Conflicts: 388000 | #Constraints: 1280568
717.84/719.83 c #Conflicts: 389000 | #Constraints: 1281568
717.84/719.83 c #Conflicts: 390000 | #Constraints: 1282568
717.84/719.83 c #Conflicts: 391000 | #Constraints: 1283568
717.84/719.83 c #Conflicts: 392000 | #Constraints: 1284568
717.84/719.83 c #Conflicts: 393000 | #Constraints: 1285568
717.84/719.83 c #Conflicts: 394000 | #Constraints: 1286568
717.84/719.83 c #Conflicts: 395000 | #Constraints: 1287568
717.84/719.83 c #Conflicts: 396000 | #Constraints: 1288568
717.84/719.83 c #Conflicts: 397000 | #Constraints: 1289568
717.84/719.83 c INPROCESSING
717.84/719.83 c GARBAGE COLLECT
717.84/719.83 c #Conflicts: 398000 | #Constraints: 1268240
717.84/719.83 c #Conflicts: 399000 | #Constraints: 1269240
717.84/719.83 c #Conflicts: 400000 | #Constraints: 1270240
717.84/719.83 c #Conflicts: 401000 | #Constraints: 1271240
717.84/719.83 c #Conflicts: 402000 | #Constraints: 1272240
717.84/719.83 c #Conflicts: 403000 | #Constraints: 1273240
717.84/719.83 c #Conflicts: 404000 | #Constraints: 1274240
717.84/719.83 c #Conflicts: 405000 | #Constraints: 1275240
717.84/719.83 c #Conflicts: 406000 | #Constraints: 1276240
717.84/719.83 c #Conflicts: 407000 | #Constraints: 1277240
717.84/719.83 c #Conflicts: 408000 | #Constraints: 1278240
717.84/719.83 c #Conflicts: 409000 | #Constraints: 1279240
717.84/719.83 c #Conflicts: 410000 | #Constraints: 1280240
717.84/719.83 c #Conflicts: 411000 | #Constraints: 1281240
717.84/719.83 c #Conflicts: 412000 | #Constraints: 1282240
717.84/719.83 c #Conflicts: 413000 | #Constraints: 1283240
717.84/719.83 c #Conflicts: 414000 | #Constraints: 1284240
717.84/719.83 c #Conflicts: 415000 | #Constraints: 1285240
717.84/719.83 c #Conflicts: 416000 | #Constraints: 1286240
717.84/719.83 c #Conflicts: 417000 | #Constraints: 1287240
717.84/719.83 c #Conflicts: 418000 | #Constraints: 1288240
717.84/719.83 c #Conflicts: 419000 | #Constraints: 1289240
717.84/719.83 c #Conflicts: 420000 | #Constraints: 1290240
717.84/719.83 c #Conflicts: 421000 | #Constraints: 1291240
717.84/719.83 c #Conflicts: 422000 | #Constraints: 1292240
717.84/719.83 c #Conflicts: 423000 | #Constraints: 1293240
717.84/719.83 c #Conflicts: 424000 | #Constraints: 1294240
717.84/719.83 c #Conflicts: 425000 | #Constraints: 1295240
717.84/719.83 c #Conflicts: 426000 | #Constraints: 1296240
717.84/719.83 c #Conflicts: 427000 | #Constraints: 1297240
717.84/719.83 c #Conflicts: 428000 | #Constraints: 1298240
717.84/719.83 c #Conflicts: 429000 | #Constraints: 1299240
717.84/719.83 c #Conflicts: 430000 | #Constraints: 1300240
717.84/719.83 c #Conflicts: 431000 | #Constraints: 1301240
717.84/719.83 c #Conflicts: 432000 | #Constraints: 1302240
717.84/719.83 c #Conflicts: 433000 | #Constraints: 1303240
717.84/719.83 c #Conflicts: 434000 | #Constraints: 1304240
717.84/719.83 c #Conflicts: 435000 | #Constraints: 1305240
717.84/719.83 c #Conflicts: 436000 | #Constraints: 1306240
717.84/719.83 c #Conflicts: 437000 | #Constraints: 1307240
717.84/719.83 c #Conflicts: 438000 | #Constraints: 1308240
717.84/719.83 c #Conflicts: 439000 | #Constraints: 1309240
717.84/719.83 c #Conflicts: 440000 | #Constraints: 1310240
717.84/719.83 c INPROCESSING
717.84/719.83 c GARBAGE COLLECT
717.84/719.83 c #Conflicts: 441000 | #Constraints: 1277368
717.84/719.83 c #Conflicts: 442000 | #Constraints: 1278368
717.84/719.83 c #Conflicts: 443000 | #Constraints: 1279368
717.84/719.83 c #Conflicts: 444000 | #Constraints: 1280368
717.84/719.83 c #Conflicts: 445000 | #Constraints: 1281368
717.84/719.83 c #Conflicts: 446000 | #Constraints: 1282368
717.84/719.83 c #Conflicts: 447000 | #Constraints: 1283368
717.84/719.83 c #Conflicts: 448000 | #Constraints: 1284368
717.84/719.83 c #Conflicts: 449000 | #Constraints: 1285368
717.84/719.83 c #Conflicts: 450000 | #Constraints: 1286368
717.84/719.83 c #Conflicts: 451000 | #Constraints: 1287368
717.84/719.83 c #Conflicts: 452000 | #Constraints: 1288368
717.84/719.83 c #Conflicts: 453000 | #Constraints: 1289368
717.84/719.83 c #Conflicts: 454000 | #Constraints: 1290368
717.84/719.83 c #Conflicts: 455000 | #Constraints: 1291368
717.84/719.83 c #Conflicts: 456000 | #Constraints: 1292368
717.84/719.83 c #Conflicts: 457000 | #Constraints: 1293368
836.22/838.53 c #Conflicts: 458000 | #Constraints: 1294368
836.22/838.53 c #Conflicts: 459000 | #Constraints: 1295368
836.22/838.53 c INPROCESSING
836.22/838.53 c GARBAGE COLLECT
836.22/838.53 c #Conflicts: 460000 | #Constraints: 1270509
836.22/838.53 c #Conflicts: 461000 | #Constraints: 1271509
836.22/838.53 c #Conflicts: 462000 | #Constraints: 1272509
836.22/838.53 c #Conflicts: 463000 | #Constraints: 1273509
836.22/838.53 c #Conflicts: 464000 | #Constraints: 1274509
836.22/838.53 c #Conflicts: 465000 | #Constraints: 1275509
836.22/838.53 c #Conflicts: 466000 | #Constraints: 1276509
836.22/838.53 c #Conflicts: 467000 | #Constraints: 1277509
836.22/838.53 c #Conflicts: 468000 | #Constraints: 1278509
836.22/838.53 c #Conflicts: 469000 | #Constraints: 1279509
836.22/838.53 c #Conflicts: 470000 | #Constraints: 1280509
836.22/838.53 c #Conflicts: 471000 | #Constraints: 1281509
836.22/838.53 c #Conflicts: 472000 | #Constraints: 1282509
836.22/838.53 c #Conflicts: 473000 | #Constraints: 1283509
836.22/838.53 c #Conflicts: 474000 | #Constraints: 1284509
836.22/838.53 c #Conflicts: 475000 | #Constraints: 1285509
836.22/838.53 c #Conflicts: 476000 | #Constraints: 1286509
836.22/838.53 c #Conflicts: 477000 | #Constraints: 1287509
836.22/838.53 c #Conflicts: 478000 | #Constraints: 1288509
836.22/838.53 c #Conflicts: 479000 | #Constraints: 1289509
836.22/838.53 c #Conflicts: 480000 | #Constraints: 1290509
836.22/838.53 c #Conflicts: 481000 | #Constraints: 1291509
836.22/838.53 c #Conflicts: 482000 | #Constraints: 1292509
836.22/838.53 c #Conflicts: 483000 | #Constraints: 1293509
836.22/838.53 c #Conflicts: 484000 | #Constraints: 1294509
836.22/838.53 c #Conflicts: 485000 | #Constraints: 1295509
836.22/838.53 c #Conflicts: 486000 | #Constraints: 1296509
836.22/838.53 c #Conflicts: 487000 | #Constraints: 1297509
836.22/838.53 c #Conflicts: 488000 | #Constraints: 1298509
836.22/838.53 c #Conflicts: 489000 | #Constraints: 1299509
836.22/838.53 c #Conflicts: 490000 | #Constraints: 1300509
836.22/838.53 c #Conflicts: 491000 | #Constraints: 1301509
836.22/838.53 c #Conflicts: 492000 | #Constraints: 1302509
836.22/838.53 c #Conflicts: 493000 | #Constraints: 1303509
836.22/838.53 c #Conflicts: 494000 | #Constraints: 1304509
836.22/838.53 c #Conflicts: 495000 | #Constraints: 1305509
836.22/838.53 c #Conflicts: 496000 | #Constraints: 1306509
836.22/838.53 c #Conflicts: 497000 | #Constraints: 1307509
836.22/838.53 c #Conflicts: 498000 | #Constraints: 1308509
836.22/838.53 c #Conflicts: 499000 | #Constraints: 1309509
836.22/838.53 c #Conflicts: 500000 | #Constraints: 1310509
836.22/838.53 c #Conflicts: 501000 | #Constraints: 1311509
836.22/838.53 c #Conflicts: 502000 | #Constraints: 1312509
836.22/838.53 c #Conflicts: 503000 | #Constraints: 1313509
836.22/838.53 c #Conflicts: 504000 | #Constraints: 1314509
836.22/838.53 c INPROCESSING
836.22/838.53 c GARBAGE COLLECT
836.22/838.53 c #Conflicts: 505000 | #Constraints: 1279292
836.22/838.53 c #Conflicts: 506000 | #Constraints: 1280292
836.22/838.53 c #Conflicts: 507000 | #Constraints: 1281292
836.22/838.53 c #Conflicts: 508000 | #Constraints: 1282292
836.22/838.53 c #Conflicts: 509000 | #Constraints: 1283292
836.22/838.53 c #Conflicts: 510000 | #Constraints: 1284292
836.22/838.53 c #Conflicts: 511000 | #Constraints: 1285292
836.22/838.53 c #Conflicts: 512000 | #Constraints: 1286292
836.22/838.53 c #Conflicts: 513000 | #Constraints: 1287292
836.22/838.53 c #Conflicts: 514000 | #Constraints: 1288292
836.22/838.53 c #Conflicts: 515000 | #Constraints: 1289292
836.22/838.53 c #Conflicts: 516000 | #Constraints: 1290292
836.22/838.53 c #Conflicts: 517000 | #Constraints: 1291292
836.22/838.53 c #Conflicts: 518000 | #Constraints: 1292292
836.22/838.53 c #Conflicts: 519000 | #Constraints: 1293292
836.22/838.53 c #Conflicts: 520000 | #Constraints: 1294292
836.22/838.53 c #Conflicts: 521000 | #Constraints: 1295292
836.22/838.53 c #Conflicts: 522000 | #Constraints: 1296292
836.22/838.53 c #Conflicts: 523000 | #Constraints: 1297292
836.22/838.53 c #Conflicts: 524000 | #Constraints: 1298292
836.22/838.53 c #Conflicts: 525000 | #Constraints: 1299292
836.22/838.53 c INPROCESSING
836.22/838.53 c GARBAGE COLLECT
836.22/838.53 c #Conflicts: 526000 | #Constraints: 1272290
836.22/838.53 c #Conflicts: 527000 | #Constraints: 1273290
836.22/838.53 c #Conflicts: 528000 | #Constraints: 1274290
836.22/838.53 c #Conflicts: 529000 | #Constraints: 1275290
836.22/838.53 c #Conflicts: 530000 | #Constraints: 1276290
836.22/838.53 c #Conflicts: 531000 | #Constraints: 1277290
836.22/838.53 c #Conflicts: 532000 | #Constraints: 1278290
836.22/838.53 c #Conflicts: 533000 | #Constraints: 1279290
836.22/838.53 c #Conflicts: 534000 | #Constraints: 1280290
956.10/958.74 c #Conflicts: 535000 | #Constraints: 1281290
956.10/958.74 c #Conflicts: 536000 | #Constraints: 1282290
956.10/958.74 c #Conflicts: 537000 | #Constraints: 1283290
956.10/958.74 c #Conflicts: 538000 | #Constraints: 1284290
956.10/958.74 c #Conflicts: 539000 | #Constraints: 1285290
956.10/958.74 c #Conflicts: 540000 | #Constraints: 1286290
956.10/958.74 c #Conflicts: 541000 | #Constraints: 1287290
956.10/958.74 c #Conflicts: 542000 | #Constraints: 1288290
956.10/958.74 c #Conflicts: 543000 | #Constraints: 1289290
956.10/958.74 c #Conflicts: 544000 | #Constraints: 1290290
956.10/958.74 c #Conflicts: 545000 | #Constraints: 1291290
956.10/958.74 c #Conflicts: 546000 | #Constraints: 1292290
956.10/958.74 c #Conflicts: 547000 | #Constraints: 1293290
956.10/958.74 c #Conflicts: 548000 | #Constraints: 1294290
956.10/958.74 c #Conflicts: 549000 | #Constraints: 1295290
956.10/958.74 c #Conflicts: 550000 | #Constraints: 1296290
956.10/958.74 c #Conflicts: 551000 | #Constraints: 1297290
956.10/958.74 c #Conflicts: 552000 | #Constraints: 1298290
956.10/958.74 c #Conflicts: 553000 | #Constraints: 1299290
956.10/958.74 c #Conflicts: 554000 | #Constraints: 1300290
956.10/958.74 c #Conflicts: 555000 | #Constraints: 1301290
956.10/958.74 c #Conflicts: 556000 | #Constraints: 1302290
956.10/958.74 c #Conflicts: 557000 | #Constraints: 1303290
956.10/958.74 c #Conflicts: 558000 | #Constraints: 1304290
956.10/958.74 c #Conflicts: 559000 | #Constraints: 1305290
956.10/958.74 c #Conflicts: 560000 | #Constraints: 1306290
956.10/958.74 c #Conflicts: 561000 | #Constraints: 1307290
956.10/958.74 c #Conflicts: 562000 | #Constraints: 1308290
956.10/958.74 c #Conflicts: 563000 | #Constraints: 1309290
956.10/958.74 c #Conflicts: 564000 | #Constraints: 1310290
956.10/958.74 c #Conflicts: 565000 | #Constraints: 1311290
956.10/958.74 c #Conflicts: 566000 | #Constraints: 1312290
956.10/958.74 c #Conflicts: 567000 | #Constraints: 1313290
956.10/958.74 c #Conflicts: 568000 | #Constraints: 1314290
956.10/958.74 c #Conflicts: 569000 | #Constraints: 1315290
956.10/958.74 c #Conflicts: 570000 | #Constraints: 1316290
956.10/958.74 c #Conflicts: 571000 | #Constraints: 1317290
956.10/958.74 c #Conflicts: 572000 | #Constraints: 1318290
956.10/958.74 c #Conflicts: 573000 | #Constraints: 1319290
956.10/958.74 c INPROCESSING
956.10/958.74 c GARBAGE COLLECT
956.10/958.74 c #Conflicts: 574000 | #Constraints: 1282940
956.10/958.74 c #Conflicts: 575000 | #Constraints: 1283940
956.10/958.74 c #Conflicts: 576000 | #Constraints: 1284940
956.10/958.74 c #Conflicts: 577000 | #Constraints: 1285940
956.10/958.74 c #Conflicts: 578000 | #Constraints: 1286940
956.10/958.74 c #Conflicts: 579000 | #Constraints: 1287940
956.10/958.74 c #Conflicts: 580000 | #Constraints: 1288940
956.10/958.74 c #Conflicts: 581000 | #Constraints: 1289940
956.10/958.74 c #Conflicts: 582000 | #Constraints: 1290940
956.10/958.74 c #Conflicts: 583000 | #Constraints: 1291940
956.10/958.74 c #Conflicts: 584000 | #Constraints: 1292940
956.10/958.74 c #Conflicts: 585000 | #Constraints: 1293940
956.10/958.74 c #Conflicts: 586000 | #Constraints: 1294940
956.10/958.74 c #Conflicts: 587000 | #Constraints: 1295940
956.10/958.74 c #Conflicts: 588000 | #Constraints: 1296940
956.10/958.74 c #Conflicts: 589000 | #Constraints: 1297940
956.10/958.74 c #Conflicts: 590000 | #Constraints: 1298940
956.10/958.74 c #Conflicts: 591000 | #Constraints: 1299940
956.10/958.74 c #Conflicts: 592000 | #Constraints: 1300940
956.10/958.74 c #Conflicts: 593000 | #Constraints: 1301940
956.10/958.74 c #Conflicts: 594000 | #Constraints: 1302940
956.10/958.74 c #Conflicts: 595000 | #Constraints: 1303940
956.10/958.74 c INPROCESSING
956.10/958.74 c GARBAGE COLLECT
956.10/958.74 c #Conflicts: 596000 | #Constraints: 1275977
956.10/958.74 c #Conflicts: 597000 | #Constraints: 1276977
956.10/958.74 c #Conflicts: 598000 | #Constraints: 1277977
956.10/958.74 c #Conflicts: 599000 | #Constraints: 1278977
956.10/958.74 c #Conflicts: 600000 | #Constraints: 1279977
956.10/958.74 c #Conflicts: 601000 | #Constraints: 1280977
956.10/958.74 c #Conflicts: 602000 | #Constraints: 1281977
956.10/958.74 c #Conflicts: 603000 | #Constraints: 1282977
956.10/958.74 c #Conflicts: 604000 | #Constraints: 1283977
956.10/958.74 c #Conflicts: 605000 | #Constraints: 1284977
956.10/958.74 c #Conflicts: 606000 | #Constraints: 1285977
956.10/958.74 c #Conflicts: 607000 | #Constraints: 1286977
956.10/958.74 c #Conflicts: 608000 | #Constraints: 1287977
956.10/958.74 c #Conflicts: 609000 | #Constraints: 1288977
956.10/958.74 c #Conflicts: 610000 | #Constraints: 1289977
956.10/958.74 c #Conflicts: 611000 | #Constraints: 1290977
1092.64/1095.62 c #Conflicts: 612000 | #Constraints: 1291977
1092.64/1095.62 c #Conflicts: 613000 | #Constraints: 1292977
1092.64/1095.62 c #Conflicts: 614000 | #Constraints: 1293977
1092.64/1095.62 c #Conflicts: 615000 | #Constraints: 1294977
1092.64/1095.62 c #Conflicts: 616000 | #Constraints: 1295977
1092.64/1095.62 c #Conflicts: 617000 | #Constraints: 1296977
1092.64/1095.62 c #Conflicts: 618000 | #Constraints: 1297977
1092.64/1095.62 c #Conflicts: 619000 | #Constraints: 1298977
1092.64/1095.62 c #Conflicts: 620000 | #Constraints: 1299977
1092.64/1095.62 c #Conflicts: 621000 | #Constraints: 1300977
1092.64/1095.62 c #Conflicts: 622000 | #Constraints: 1301977
1092.64/1095.62 c #Conflicts: 623000 | #Constraints: 1302977
1092.64/1095.62 c #Conflicts: 624000 | #Constraints: 1303977
1092.64/1095.62 c #Conflicts: 625000 | #Constraints: 1304977
1092.64/1095.62 c #Conflicts: 626000 | #Constraints: 1305977
1092.64/1095.62 c #Conflicts: 627000 | #Constraints: 1306977
1092.64/1095.62 c #Conflicts: 628000 | #Constraints: 1307977
1092.64/1095.62 c #Conflicts: 629000 | #Constraints: 1308977
1092.64/1095.62 c #Conflicts: 630000 | #Constraints: 1309977
1092.64/1095.62 c #Conflicts: 631000 | #Constraints: 1310977
1092.64/1095.62 c #Conflicts: 632000 | #Constraints: 1311977
1092.64/1095.62 c #Conflicts: 633000 | #Constraints: 1312977
1092.64/1095.62 c #Conflicts: 634000 | #Constraints: 1313977
1092.64/1095.62 c #Conflicts: 635000 | #Constraints: 1314977
1092.64/1095.62 c #Conflicts: 636000 | #Constraints: 1315977
1092.64/1095.62 c #Conflicts: 637000 | #Constraints: 1316977
1092.64/1095.62 c #Conflicts: 638000 | #Constraints: 1317977
1092.64/1095.62 c #Conflicts: 639000 | #Constraints: 1318977
1092.64/1095.62 c #Conflicts: 640000 | #Constraints: 1319977
1092.64/1095.62 c #Conflicts: 641000 | #Constraints: 1320977
1092.64/1095.62 c #Conflicts: 642000 | #Constraints: 1321977
1092.64/1095.62 c #Conflicts: 643000 | #Constraints: 1322977
1092.64/1095.62 c #Conflicts: 644000 | #Constraints: 1323977
1092.64/1095.62 c #Conflicts: 645000 | #Constraints: 1324977
1092.64/1095.62 c #Conflicts: 646000 | #Constraints: 1325977
1092.64/1095.62 c INPROCESSING
1092.64/1095.62 c GARBAGE COLLECT
1092.64/1095.62 c #Conflicts: 647000 | #Constraints: 1285986
1092.64/1095.62 c #Conflicts: 648000 | #Constraints: 1286986
1092.64/1095.62 c #Conflicts: 649000 | #Constraints: 1287986
1092.64/1095.62 c #Conflicts: 650000 | #Constraints: 1288986
1092.64/1095.62 c #Conflicts: 651000 | #Constraints: 1289986
1092.64/1095.62 c #Conflicts: 652000 | #Constraints: 1290986
1092.64/1095.62 c #Conflicts: 653000 | #Constraints: 1291986
1092.64/1095.62 c #Conflicts: 654000 | #Constraints: 1292986
1092.64/1095.62 c #Conflicts: 655000 | #Constraints: 1293986
1092.64/1095.62 c #Conflicts: 656000 | #Constraints: 1294986
1092.64/1095.62 c #Conflicts: 657000 | #Constraints: 1295986
1092.64/1095.62 c #Conflicts: 658000 | #Constraints: 1296986
1092.64/1095.62 c #Conflicts: 659000 | #Constraints: 1297986
1092.64/1095.62 c #Conflicts: 660000 | #Constraints: 1298986
1092.64/1095.62 c #Conflicts: 661000 | #Constraints: 1299986
1092.64/1095.62 c #Conflicts: 662000 | #Constraints: 1300986
1092.64/1095.62 c #Conflicts: 663000 | #Constraints: 1301986
1092.64/1095.62 c #Conflicts: 664000 | #Constraints: 1302986
1092.64/1095.62 c #Conflicts: 665000 | #Constraints: 1303986
1092.64/1095.62 c #Conflicts: 666000 | #Constraints: 1304986
1092.64/1095.62 c #Conflicts: 667000 | #Constraints: 1305986
1092.64/1095.62 c #Conflicts: 668000 | #Constraints: 1306986
1092.64/1095.62 c #Conflicts: 669000 | #Constraints: 1307986
1092.64/1095.62 c INPROCESSING
1092.64/1095.62 c GARBAGE COLLECT
1092.64/1095.62 c #Conflicts: 670000 | #Constraints: 1279316
1092.64/1095.62 c #Conflicts: 671000 | #Constraints: 1280316
1092.64/1095.62 c #Conflicts: 672000 | #Constraints: 1281316
1092.64/1095.62 c #Conflicts: 673000 | #Constraints: 1282316
1092.64/1095.62 c #Conflicts: 674000 | #Constraints: 1283316
1092.64/1095.62 c #Conflicts: 675000 | #Constraints: 1284316
1092.64/1095.62 c #Conflicts: 676000 | #Constraints: 1285316
1092.64/1095.62 c #Conflicts: 677000 | #Constraints: 1286316
1092.64/1095.62 c #Conflicts: 678000 | #Constraints: 1287316
1092.64/1095.62 c #Conflicts: 679000 | #Constraints: 1288316
1092.64/1095.62 c #Conflicts: 680000 | #Constraints: 1289316
1092.64/1095.62 c #Conflicts: 681000 | #Constraints: 1290316
1092.64/1095.62 c #Conflicts: 682000 | #Constraints: 1291316
1092.64/1095.62 c #Conflicts: 683000 | #Constraints: 1292316
1092.64/1095.62 c #Conflicts: 684000 | #Constraints: 1293316
1092.64/1095.62 c #Conflicts: 685000 | #Constraints: 1294316
1092.64/1095.62 c #Conflicts: 686000 | #Constraints: 1295316
1092.64/1095.62 c #Conflicts: 687000 | #Constraints: 1296316
1092.64/1095.62 c #Conflicts: 688000 | #Constraints: 1297316
1092.64/1095.62 c #Conflicts: 689000 | #Constraints: 1298316
1216.41/1219.78 c #Conflicts: 690000 | #Constraints: 1299316
1216.41/1219.78 c #Conflicts: 691000 | #Constraints: 1300316
1216.41/1219.78 c #Conflicts: 692000 | #Constraints: 1301316
1216.41/1219.78 c #Conflicts: 693000 | #Constraints: 1302316
1216.41/1219.78 c #Conflicts: 694000 | #Constraints: 1303316
1216.41/1219.78 c #Conflicts: 695000 | #Constraints: 1304316
1216.41/1219.78 c #Conflicts: 696000 | #Constraints: 1305316
1216.41/1219.78 c #Conflicts: 697000 | #Constraints: 1306316
1216.41/1219.78 c #Conflicts: 698000 | #Constraints: 1307316
1216.41/1219.78 c #Conflicts: 699000 | #Constraints: 1308316
1216.41/1219.78 c #Conflicts: 700000 | #Constraints: 1309316
1216.41/1219.78 c #Conflicts: 701000 | #Constraints: 1310316
1216.41/1219.78 c #Conflicts: 702000 | #Constraints: 1311316
1216.41/1219.78 c #Conflicts: 703000 | #Constraints: 1312316
1216.41/1219.78 c #Conflicts: 704000 | #Constraints: 1313316
1216.41/1219.78 c #Conflicts: 705000 | #Constraints: 1314316
1216.41/1219.78 c #Conflicts: 706000 | #Constraints: 1315316
1216.41/1219.78 c #Conflicts: 707000 | #Constraints: 1316316
1216.41/1219.78 c #Conflicts: 708000 | #Constraints: 1317316
1216.41/1219.78 c #Conflicts: 709000 | #Constraints: 1318316
1216.41/1219.78 c #Conflicts: 710000 | #Constraints: 1319316
1216.41/1219.78 c #Conflicts: 711000 | #Constraints: 1320316
1216.41/1219.78 c #Conflicts: 712000 | #Constraints: 1321316
1216.41/1219.78 c #Conflicts: 713000 | #Constraints: 1322316
1216.41/1219.78 c #Conflicts: 714000 | #Constraints: 1323316
1216.41/1219.78 c #Conflicts: 715000 | #Constraints: 1324316
1216.41/1219.78 c #Conflicts: 716000 | #Constraints: 1325316
1216.41/1219.78 c #Conflicts: 717000 | #Constraints: 1326316
1216.41/1219.78 c #Conflicts: 718000 | #Constraints: 1327316
1216.41/1219.78 c #Conflicts: 719000 | #Constraints: 1328316
1216.41/1219.78 c #Conflicts: 720000 | #Constraints: 1329316
1216.41/1219.78 c #Conflicts: 721000 | #Constraints: 1330316
1216.41/1219.78 c #Conflicts: 722000 | #Constraints: 1331316
1216.41/1219.78 c #Conflicts: 723000 | #Constraints: 1332316
1216.41/1219.78 c #Conflicts: 724000 | #Constraints: 1333316
1216.41/1219.78 c INPROCESSING
1216.41/1219.78 c GARBAGE COLLECT
1216.41/1219.78 c #Conflicts: 725000 | #Constraints: 1290587
1216.41/1219.78 c #Conflicts: 726000 | #Constraints: 1291587
1216.41/1219.78 c #Conflicts: 727000 | #Constraints: 1292587
1216.41/1219.78 c #Conflicts: 728000 | #Constraints: 1293587
1216.41/1219.78 c #Conflicts: 729000 | #Constraints: 1294587
1216.41/1219.78 c #Conflicts: 730000 | #Constraints: 1295587
1216.41/1219.78 c #Conflicts: 731000 | #Constraints: 1296587
1216.41/1219.78 c #Conflicts: 732000 | #Constraints: 1297587
1216.41/1219.78 c #Conflicts: 733000 | #Constraints: 1298587
1216.41/1219.78 c #Conflicts: 734000 | #Constraints: 1299587
1216.41/1219.78 c #Conflicts: 735000 | #Constraints: 1300587
1216.41/1219.78 c #Conflicts: 736000 | #Constraints: 1301587
1216.41/1219.78 c #Conflicts: 737000 | #Constraints: 1302587
1216.41/1219.78 c #Conflicts: 738000 | #Constraints: 1303587
1216.41/1219.78 c #Conflicts: 739000 | #Constraints: 1304587
1216.41/1219.78 c #Conflicts: 740000 | #Constraints: 1305587
1216.41/1219.78 c #Conflicts: 741000 | #Constraints: 1306587
1216.41/1219.78 c #Conflicts: 742000 | #Constraints: 1307587
1216.41/1219.78 c #Conflicts: 743000 | #Constraints: 1308587
1216.41/1219.78 c #Conflicts: 744000 | #Constraints: 1309587
1216.41/1219.78 c #Conflicts: 745000 | #Constraints: 1310587
1216.41/1219.78 c #Conflicts: 746000 | #Constraints: 1311587
1216.41/1219.78 c #Conflicts: 747000 | #Constraints: 1312587
1216.41/1219.78 c #Conflicts: 748000 | #Constraints: 1313587
1216.41/1219.78 c INPROCESSING
1216.41/1219.78 c GARBAGE COLLECT
1216.41/1219.78 c #Conflicts: 749000 | #Constraints: 1281745
1216.41/1219.78 c #Conflicts: 750000 | #Constraints: 1282745
1216.41/1219.78 c #Conflicts: 751000 | #Constraints: 1283745
1216.41/1219.78 c #Conflicts: 752000 | #Constraints: 1284745
1216.41/1219.78 c #Conflicts: 753000 | #Constraints: 1285745
1216.41/1219.78 c #Conflicts: 754000 | #Constraints: 1286745
1216.41/1219.78 c #Conflicts: 755000 | #Constraints: 1287745
1216.41/1219.78 c #Conflicts: 756000 | #Constraints: 1288745
1216.41/1219.78 c #Conflicts: 757000 | #Constraints: 1289745
1216.41/1219.78 c #Conflicts: 758000 | #Constraints: 1290745
1216.41/1219.78 c #Conflicts: 759000 | #Constraints: 1291745
1216.41/1219.78 c #Conflicts: 760000 | #Constraints: 1292745
1216.41/1219.78 c #Conflicts: 761000 | #Constraints: 1293745
1216.41/1219.78 c #Conflicts: 762000 | #Constraints: 1294745
1216.41/1219.78 c #Conflicts: 763000 | #Constraints: 1295745
1216.41/1219.78 c #Conflicts: 764000 | #Constraints: 1296745
1216.41/1219.78 c #Conflicts: 765000 | #Constraints: 1297745
1216.41/1219.78 c #Conflicts: 766000 | #Constraints: 1298745
1365.99/1369.79 c #Conflicts: 767000 | #Constraints: 1299745
1365.99/1369.79 c #Conflicts: 768000 | #Constraints: 1300745
1365.99/1369.79 c #Conflicts: 769000 | #Constraints: 1301745
1365.99/1369.79 c #Conflicts: 770000 | #Constraints: 1302745
1365.99/1369.79 c #Conflicts: 771000 | #Constraints: 1303745
1365.99/1369.79 c #Conflicts: 772000 | #Constraints: 1304745
1365.99/1369.79 c #Conflicts: 773000 | #Constraints: 1305745
1365.99/1369.79 c #Conflicts: 774000 | #Constraints: 1306745
1365.99/1369.79 c #Conflicts: 775000 | #Constraints: 1307745
1365.99/1369.79 c #Conflicts: 776000 | #Constraints: 1308745
1365.99/1369.79 c #Conflicts: 777000 | #Constraints: 1309745
1365.99/1369.79 c #Conflicts: 778000 | #Constraints: 1310745
1365.99/1369.79 c #Conflicts: 779000 | #Constraints: 1311745
1365.99/1369.79 c #Conflicts: 780000 | #Constraints: 1312745
1365.99/1369.79 c #Conflicts: 781000 | #Constraints: 1313745
1365.99/1369.79 c #Conflicts: 782000 | #Constraints: 1314745
1365.99/1369.79 c #Conflicts: 783000 | #Constraints: 1315745
1365.99/1369.79 c #Conflicts: 784000 | #Constraints: 1316745
1365.99/1369.79 c #Conflicts: 785000 | #Constraints: 1317745
1365.99/1369.79 c #Conflicts: 786000 | #Constraints: 1318745
1365.99/1369.79 c #Conflicts: 787000 | #Constraints: 1319745
1365.99/1369.79 c #Conflicts: 788000 | #Constraints: 1320745
1365.99/1369.79 c #Conflicts: 789000 | #Constraints: 1321745
1365.99/1369.79 c #Conflicts: 790000 | #Constraints: 1322745
1365.99/1369.79 c #Conflicts: 791000 | #Constraints: 1323745
1365.99/1369.79 c #Conflicts: 792000 | #Constraints: 1324745
1365.99/1369.79 c #Conflicts: 793000 | #Constraints: 1325745
1365.99/1369.79 c #Conflicts: 794000 | #Constraints: 1326745
1365.99/1369.79 c #Conflicts: 795000 | #Constraints: 1327745
1365.99/1369.79 c #Conflicts: 796000 | #Constraints: 1328745
1365.99/1369.79 c #Conflicts: 797000 | #Constraints: 1329745
1365.99/1369.79 c #Conflicts: 798000 | #Constraints: 1330745
1365.99/1369.79 c #Conflicts: 799000 | #Constraints: 1331745
1365.99/1369.79 c #Conflicts: 800000 | #Constraints: 1332745
1365.99/1369.79 c #Conflicts: 801000 | #Constraints: 1333745
1365.99/1369.79 c #Conflicts: 802000 | #Constraints: 1334745
1365.99/1369.79 c #Conflicts: 803000 | #Constraints: 1335745
1365.99/1369.79 c #Conflicts: 804000 | #Constraints: 1336745
1365.99/1369.79 c #Conflicts: 805000 | #Constraints: 1337745
1365.99/1369.79 c #Conflicts: 806000 | #Constraints: 1338745
1365.99/1369.79 c INPROCESSING
1365.99/1369.79 c GARBAGE COLLECT
1365.99/1369.79 c #Conflicts: 807000 | #Constraints: 1293634
1365.99/1369.79 c #Conflicts: 808000 | #Constraints: 1294634
1365.99/1369.79 c #Conflicts: 809000 | #Constraints: 1295634
1365.99/1369.79 c #Conflicts: 810000 | #Constraints: 1296634
1365.99/1369.79 c #Conflicts: 811000 | #Constraints: 1297634
1365.99/1369.79 c #Conflicts: 812000 | #Constraints: 1298634
1365.99/1369.79 c #Conflicts: 813000 | #Constraints: 1299634
1365.99/1369.79 c #Conflicts: 814000 | #Constraints: 1300634
1365.99/1369.79 c #Conflicts: 815000 | #Constraints: 1301634
1365.99/1369.79 c #Conflicts: 816000 | #Constraints: 1302634
1365.99/1369.79 c #Conflicts: 817000 | #Constraints: 1303634
1365.99/1369.79 c #Conflicts: 818000 | #Constraints: 1304634
1365.99/1369.79 c #Conflicts: 819000 | #Constraints: 1305634
1365.99/1369.79 c #Conflicts: 820000 | #Constraints: 1306634
1365.99/1369.79 c #Conflicts: 821000 | #Constraints: 1307634
1365.99/1369.79 c #Conflicts: 822000 | #Constraints: 1308634
1365.99/1369.79 c #Conflicts: 823000 | #Constraints: 1309634
1365.99/1369.79 c #Conflicts: 824000 | #Constraints: 1310634
1365.99/1369.79 c #Conflicts: 825000 | #Constraints: 1311634
1365.99/1369.79 c #Conflicts: 826000 | #Constraints: 1312634
1365.99/1369.79 c #Conflicts: 827000 | #Constraints: 1313634
1365.99/1369.79 c #Conflicts: 828000 | #Constraints: 1314634
1365.99/1369.79 c #Conflicts: 829000 | #Constraints: 1315634
1365.99/1369.79 c #Conflicts: 830000 | #Constraints: 1316634
1365.99/1369.79 c #Conflicts: 831000 | #Constraints: 1317634
1365.99/1369.79 c #Conflicts: 832000 | #Constraints: 1318634
1365.99/1369.79 c INPROCESSING
1365.99/1369.79 c GARBAGE COLLECT
1365.99/1369.79 c #Conflicts: 833000 | #Constraints: 1286061
1365.99/1369.79 c #Conflicts: 834000 | #Constraints: 1287061
1365.99/1369.79 c #Conflicts: 835000 | #Constraints: 1288061
1365.99/1369.79 c #Conflicts: 836000 | #Constraints: 1289061
1365.99/1369.79 c #Conflicts: 837000 | #Constraints: 1290061
1365.99/1369.79 c #Conflicts: 838000 | #Constraints: 1291061
1365.99/1369.79 c #Conflicts: 839000 | #Constraints: 1292061
1365.99/1369.79 c #Conflicts: 840000 | #Constraints: 1293061
1365.99/1369.79 c #Conflicts: 841000 | #Constraints: 1294061
1365.99/1369.79 c #Conflicts: 842000 | #Constraints: 1295061
1365.99/1369.79 c #Conflicts: 843000 | #Constraints: 1296061
1365.99/1369.79 c #Conflicts: 844000 | #Constraints: 1297061
1508.01/1512.12 c #Conflicts: 845000 | #Constraints: 1298061
1508.01/1512.12 c #Conflicts: 846000 | #Constraints: 1299061
1508.01/1512.12 c #Conflicts: 847000 | #Constraints: 1300061
1508.01/1512.12 c #Conflicts: 848000 | #Constraints: 1301061
1508.01/1512.12 c #Conflicts: 849000 | #Constraints: 1302061
1508.01/1512.12 c #Conflicts: 850000 | #Constraints: 1303061
1508.01/1512.12 c #Conflicts: 851000 | #Constraints: 1304061
1508.01/1512.12 c #Conflicts: 852000 | #Constraints: 1305061
1508.01/1512.12 c #Conflicts: 853000 | #Constraints: 1306061
1508.01/1512.12 c #Conflicts: 854000 | #Constraints: 1307061
1508.01/1512.12 c #Conflicts: 855000 | #Constraints: 1308061
1508.01/1512.12 c #Conflicts: 856000 | #Constraints: 1309061
1508.01/1512.12 c #Conflicts: 857000 | #Constraints: 1310061
1508.01/1512.12 c #Conflicts: 858000 | #Constraints: 1311061
1508.01/1512.12 c #Conflicts: 859000 | #Constraints: 1312061
1508.01/1512.12 c #Conflicts: 860000 | #Constraints: 1313061
1508.01/1512.12 c #Conflicts: 861000 | #Constraints: 1314061
1508.01/1512.12 c #Conflicts: 862000 | #Constraints: 1315061
1508.01/1512.12 c #Conflicts: 863000 | #Constraints: 1316061
1508.01/1512.12 c #Conflicts: 864000 | #Constraints: 1317061
1508.01/1512.12 c #Conflicts: 865000 | #Constraints: 1318061
1508.01/1512.12 c #Conflicts: 866000 | #Constraints: 1319061
1508.01/1512.12 c #Conflicts: 867000 | #Constraints: 1320061
1508.01/1512.12 c #Conflicts: 868000 | #Constraints: 1321061
1508.01/1512.12 c #Conflicts: 869000 | #Constraints: 1322061
1508.01/1512.12 c #Conflicts: 870000 | #Constraints: 1323061
1508.01/1512.12 c #Conflicts: 871000 | #Constraints: 1324061
1508.01/1512.12 c #Conflicts: 872000 | #Constraints: 1325061
1508.01/1512.12 c #Conflicts: 873000 | #Constraints: 1326061
1508.01/1512.12 c #Conflicts: 874000 | #Constraints: 1327061
1508.01/1512.12 c #Conflicts: 875000 | #Constraints: 1328061
1508.01/1512.12 c #Conflicts: 876000 | #Constraints: 1329061
1508.01/1512.12 c #Conflicts: 877000 | #Constraints: 1330061
1508.01/1512.12 c #Conflicts: 878000 | #Constraints: 1331061
1508.01/1512.12 c #Conflicts: 879000 | #Constraints: 1332061
1508.01/1512.12 c #Conflicts: 880000 | #Constraints: 1333061
1508.01/1512.12 c #Conflicts: 881000 | #Constraints: 1334061
1508.01/1512.12 c #Conflicts: 882000 | #Constraints: 1335061
1508.01/1512.12 c #Conflicts: 883000 | #Constraints: 1336061
1508.01/1512.12 c #Conflicts: 884000 | #Constraints: 1337061
1508.01/1512.12 c #Conflicts: 885000 | #Constraints: 1338061
1508.01/1512.12 c #Conflicts: 886000 | #Constraints: 1339061
1508.01/1512.12 c #Conflicts: 887000 | #Constraints: 1340061
1508.01/1512.12 c #Conflicts: 888000 | #Constraints: 1341061
1508.01/1512.12 c #Conflicts: 889000 | #Constraints: 1342061
1508.01/1512.12 c #Conflicts: 890000 | #Constraints: 1343061
1508.01/1512.12 c #Conflicts: 891000 | #Constraints: 1344061
1508.01/1512.12 c #Conflicts: 892000 | #Constraints: 1345061
1508.01/1512.12 c #Conflicts: 893000 | #Constraints: 1346061
1508.01/1512.12 c INPROCESSING
1508.01/1512.12 c GARBAGE COLLECT
1508.01/1512.12 c #Conflicts: 894000 | #Constraints: 1298306
1508.01/1512.12 c #Conflicts: 895000 | #Constraints: 1299306
1508.01/1512.12 c #Conflicts: 896000 | #Constraints: 1300306
1508.01/1512.12 c #Conflicts: 897000 | #Constraints: 1301306
1508.01/1512.12 c #Conflicts: 898000 | #Constraints: 1302306
1508.01/1512.12 c #Conflicts: 899000 | #Constraints: 1303306
1508.01/1512.12 c #Conflicts: 900000 | #Constraints: 1304306
1508.01/1512.12 c #Conflicts: 901000 | #Constraints: 1305306
1508.01/1512.12 c #Conflicts: 902000 | #Constraints: 1306306
1508.01/1512.12 c #Conflicts: 903000 | #Constraints: 1307306
1508.01/1512.12 c #Conflicts: 904000 | #Constraints: 1308306
1508.01/1512.12 c #Conflicts: 905000 | #Constraints: 1309306
1508.01/1512.12 c #Conflicts: 906000 | #Constraints: 1310306
1508.01/1512.12 c #Conflicts: 907000 | #Constraints: 1311306
1508.01/1512.12 c #Conflicts: 908000 | #Constraints: 1312306
1508.01/1512.12 c #Conflicts: 909000 | #Constraints: 1313306
1508.01/1512.12 c #Conflicts: 910000 | #Constraints: 1314306
1508.01/1512.12 c #Conflicts: 911000 | #Constraints: 1315306
1508.01/1512.12 c #Conflicts: 912000 | #Constraints: 1316306
1508.01/1512.12 c #Conflicts: 913000 | #Constraints: 1317306
1508.01/1512.12 c #Conflicts: 914000 | #Constraints: 1318306
1508.01/1512.12 c #Conflicts: 915000 | #Constraints: 1319306
1508.01/1512.12 c #Conflicts: 916000 | #Constraints: 1320306
1508.01/1512.12 c #Conflicts: 917000 | #Constraints: 1321306
1508.01/1512.12 c #Conflicts: 918000 | #Constraints: 1322306
1508.01/1512.12 c #Conflicts: 919000 | #Constraints: 1323306
1508.01/1512.12 c #Conflicts: 920000 | #Constraints: 1324306
1508.01/1512.12 c INPROCESSING
1508.01/1512.12 c GARBAGE COLLECT
1508.01/1512.12 c #Conflicts: 921000 | #Constraints: 1289753
1662.68/1667.23 c #Conflicts: 922000 | #Constraints: 1290753
1662.68/1667.23 c #Conflicts: 923000 | #Constraints: 1291753
1662.68/1667.23 c #Conflicts: 924000 | #Constraints: 1292753
1662.68/1667.23 c #Conflicts: 925000 | #Constraints: 1293753
1662.68/1667.23 c #Conflicts: 926000 | #Constraints: 1294753
1662.68/1667.23 c #Conflicts: 927000 | #Constraints: 1295753
1662.68/1667.23 c #Conflicts: 928000 | #Constraints: 1296753
1662.68/1667.23 c #Conflicts: 929000 | #Constraints: 1297753
1662.68/1667.23 c #Conflicts: 930000 | #Constraints: 1298753
1662.68/1667.23 c #Conflicts: 931000 | #Constraints: 1299753
1662.68/1667.23 c #Conflicts: 932000 | #Constraints: 1300753
1662.68/1667.23 c #Conflicts: 933000 | #Constraints: 1301753
1662.68/1667.23 c #Conflicts: 934000 | #Constraints: 1302753
1662.68/1667.23 c #Conflicts: 935000 | #Constraints: 1303753
1662.68/1667.23 c #Conflicts: 936000 | #Constraints: 1304753
1662.68/1667.23 c #Conflicts: 937000 | #Constraints: 1305753
1662.68/1667.23 c #Conflicts: 938000 | #Constraints: 1306753
1662.68/1667.23 c #Conflicts: 939000 | #Constraints: 1307753
1662.68/1667.23 c #Conflicts: 940000 | #Constraints: 1308753
1662.68/1667.23 c #Conflicts: 941000 | #Constraints: 1309753
1662.68/1667.23 c #Conflicts: 942000 | #Constraints: 1310753
1662.68/1667.23 c #Conflicts: 943000 | #Constraints: 1311753
1662.68/1667.23 c #Conflicts: 944000 | #Constraints: 1312753
1662.68/1667.23 c #Conflicts: 945000 | #Constraints: 1313753
1662.68/1667.23 c #Conflicts: 946000 | #Constraints: 1314753
1662.68/1667.23 c #Conflicts: 947000 | #Constraints: 1315753
1662.68/1667.23 c #Conflicts: 948000 | #Constraints: 1316753
1662.68/1667.23 c #Conflicts: 949000 | #Constraints: 1317753
1662.68/1667.23 c #Conflicts: 950000 | #Constraints: 1318753
1662.68/1667.23 c #Conflicts: 951000 | #Constraints: 1319753
1662.68/1667.23 c #Conflicts: 952000 | #Constraints: 1320753
1662.68/1667.23 c #Conflicts: 953000 | #Constraints: 1321753
1662.68/1667.23 c #Conflicts: 954000 | #Constraints: 1322753
1662.68/1667.23 c #Conflicts: 955000 | #Constraints: 1323753
1662.68/1667.23 c #Conflicts: 956000 | #Constraints: 1324753
1662.68/1667.23 c #Conflicts: 957000 | #Constraints: 1325753
1662.68/1667.23 c #Conflicts: 958000 | #Constraints: 1326753
1662.68/1667.23 c #Conflicts: 959000 | #Constraints: 1327753
1662.68/1667.23 c #Conflicts: 960000 | #Constraints: 1328753
1662.68/1667.23 c #Conflicts: 961000 | #Constraints: 1329753
1662.68/1667.23 c #Conflicts: 962000 | #Constraints: 1330753
1662.68/1667.23 c #Conflicts: 963000 | #Constraints: 1331753
1662.68/1667.23 c #Conflicts: 964000 | #Constraints: 1332753
1662.68/1667.23 c #Conflicts: 965000 | #Constraints: 1333753
1662.68/1667.23 c #Conflicts: 966000 | #Constraints: 1334753
1662.68/1667.23 c #Conflicts: 967000 | #Constraints: 1335753
1662.68/1667.23 c #Conflicts: 968000 | #Constraints: 1336753
1662.68/1667.23 c #Conflicts: 969000 | #Constraints: 1337753
1662.68/1667.23 c #Conflicts: 970000 | #Constraints: 1338753
1662.68/1667.23 c #Conflicts: 971000 | #Constraints: 1339753
1662.68/1667.23 c #Conflicts: 972000 | #Constraints: 1340753
1662.68/1667.23 c #Conflicts: 973000 | #Constraints: 1341753
1662.68/1667.23 c #Conflicts: 974000 | #Constraints: 1342753
1662.68/1667.23 c #Conflicts: 975000 | #Constraints: 1343753
1662.68/1667.23 c #Conflicts: 976000 | #Constraints: 1344753
1662.68/1667.23 c #Conflicts: 977000 | #Constraints: 1345753
1662.68/1667.23 c #Conflicts: 978000 | #Constraints: 1346753
1662.68/1667.23 c #Conflicts: 979000 | #Constraints: 1347753
1662.68/1667.23 c #Conflicts: 980000 | #Constraints: 1348753
1662.68/1667.23 c #Conflicts: 981000 | #Constraints: 1349753
1662.68/1667.23 c #Conflicts: 982000 | #Constraints: 1350753
1662.68/1667.23 c #Conflicts: 983000 | #Constraints: 1351753
1662.68/1667.23 c #Conflicts: 984000 | #Constraints: 1352753
1662.68/1667.23 c INPROCESSING
1662.68/1667.23 c GARBAGE COLLECT
1662.68/1667.23 c #Conflicts: 985000 | #Constraints: 1301382
1662.68/1667.23 c #Conflicts: 986000 | #Constraints: 1302382
1662.68/1667.23 c #Conflicts: 987000 | #Constraints: 1303382
1662.68/1667.23 c #Conflicts: 988000 | #Constraints: 1304382
1662.68/1667.23 c #Conflicts: 989000 | #Constraints: 1305382
1662.68/1667.23 c #Conflicts: 990000 | #Constraints: 1306382
1662.68/1667.23 c #Conflicts: 991000 | #Constraints: 1307382
1662.68/1667.23 c #Conflicts: 992000 | #Constraints: 1308382
1662.68/1667.23 c #Conflicts: 993000 | #Constraints: 1309382
1662.68/1667.23 c #Conflicts: 994000 | #Constraints: 1310382
1662.68/1667.23 c #Conflicts: 995000 | #Constraints: 1311382
1662.68/1667.23 c #Conflicts: 996000 | #Constraints: 1312382
1662.68/1667.23 c #Conflicts: 997000 | #Constraints: 1313382
1662.68/1667.23 c #Conflicts: 998000 | #Constraints: 1314382
1662.68/1667.23 c #Conflicts: 999000 | #Constraints: 1315382
1852.96/1858.06 c #Conflicts: 1000000 | #Constraints: 1316382
1852.96/1858.06 c #Conflicts: 1001000 | #Constraints: 1317382
1852.96/1858.06 c #Conflicts: 1002000 | #Constraints: 1318382
1852.96/1858.06 c #Conflicts: 1003000 | #Constraints: 1319382
1852.96/1858.06 c #Conflicts: 1004000 | #Constraints: 1320382
1852.96/1858.06 c #Conflicts: 1005000 | #Constraints: 1321382
1852.96/1858.06 c #Conflicts: 1006000 | #Constraints: 1322382
1852.96/1858.06 c #Conflicts: 1007000 | #Constraints: 1323382
1852.96/1858.06 c #Conflicts: 1008000 | #Constraints: 1324382
1852.96/1858.06 c #Conflicts: 1009000 | #Constraints: 1325382
1852.96/1858.06 c #Conflicts: 1010000 | #Constraints: 1326382
1852.96/1858.06 c #Conflicts: 1011000 | #Constraints: 1327382
1852.96/1858.06 c #Conflicts: 1012000 | #Constraints: 1328382
1852.96/1858.06 c INPROCESSING
1852.96/1858.06 c GARBAGE COLLECT
1852.96/1858.06 c #Conflicts: 1013000 | #Constraints: 1289905
1852.96/1858.06 c #Conflicts: 1014000 | #Constraints: 1290905
1852.96/1858.06 c #Conflicts: 1015000 | #Constraints: 1291905
1852.96/1858.06 c #Conflicts: 1016000 | #Constraints: 1292905
1852.96/1858.06 c #Conflicts: 1017000 | #Constraints: 1293905
1852.96/1858.06 c #Conflicts: 1018000 | #Constraints: 1294905
1852.96/1858.06 c #Conflicts: 1019000 | #Constraints: 1295905
1852.96/1858.06 c #Conflicts: 1020000 | #Constraints: 1296905
1852.96/1858.06 c #Conflicts: 1021000 | #Constraints: 1297905
1852.96/1858.06 c #Conflicts: 1022000 | #Constraints: 1298905
1852.96/1858.06 c #Conflicts: 1023000 | #Constraints: 1299905
1852.96/1858.06 c #Conflicts: 1024000 | #Constraints: 1300905
1852.96/1858.06 c #Conflicts: 1025000 | #Constraints: 1301905
1852.96/1858.06 c #Conflicts: 1026000 | #Constraints: 1302905
1852.96/1858.06 c #Conflicts: 1027000 | #Constraints: 1303905
1852.96/1858.06 c #Conflicts: 1028000 | #Constraints: 1304905
1852.96/1858.06 c #Conflicts: 1029000 | #Constraints: 1305905
1852.96/1858.06 c #Conflicts: 1030000 | #Constraints: 1306905
1852.96/1858.06 c #Conflicts: 1031000 | #Constraints: 1307905
1852.96/1858.06 c #Conflicts: 1032000 | #Constraints: 1308905
1852.96/1858.06 c #Conflicts: 1033000 | #Constraints: 1309905
1852.96/1858.06 c #Conflicts: 1034000 | #Constraints: 1310905
1852.96/1858.06 c #Conflicts: 1035000 | #Constraints: 1311905
1852.96/1858.06 c #Conflicts: 1036000 | #Constraints: 1312905
1852.96/1858.06 c #Conflicts: 1037000 | #Constraints: 1313905
1852.96/1858.06 c #Conflicts: 1038000 | #Constraints: 1314905
1852.96/1858.06 c #Conflicts: 1039000 | #Constraints: 1315905
1852.96/1858.06 c #Conflicts: 1040000 | #Constraints: 1316905
1852.96/1858.06 c #Conflicts: 1041000 | #Constraints: 1317905
1852.96/1858.06 c #Conflicts: 1042000 | #Constraints: 1318905
1852.96/1858.06 c #Conflicts: 1043000 | #Constraints: 1319905
1852.96/1858.06 c #Conflicts: 1044000 | #Constraints: 1320905
1852.96/1858.06 c #Conflicts: 1045000 | #Constraints: 1321905
1852.96/1858.06 c #Conflicts: 1046000 | #Constraints: 1322905
1852.96/1858.06 c #Conflicts: 1047000 | #Constraints: 1323905
1852.96/1858.06 c #Conflicts: 1048000 | #Constraints: 1324905
1852.96/1858.06 c #Conflicts: 1049000 | #Constraints: 1325905
1852.96/1858.06 c #Conflicts: 1050000 | #Constraints: 1326905
1852.96/1858.06 c #Conflicts: 1051000 | #Constraints: 1327905
1852.96/1858.06 c #Conflicts: 1052000 | #Constraints: 1328905
1852.96/1858.06 c #Conflicts: 1053000 | #Constraints: 1329905
1852.96/1858.06 c #Conflicts: 1054000 | #Constraints: 1330905
1852.96/1858.06 c #Conflicts: 1055000 | #Constraints: 1331905
1852.96/1858.06 c #Conflicts: 1056000 | #Constraints: 1332905
1852.96/1858.06 c #Conflicts: 1057000 | #Constraints: 1333905
1852.96/1858.06 c #Conflicts: 1058000 | #Constraints: 1334905
1852.96/1858.06 c #Conflicts: 1059000 | #Constraints: 1335905
1852.96/1858.06 c #Conflicts: 1060000 | #Constraints: 1336905
1852.96/1858.06 c #Conflicts: 1061000 | #Constraints: 1337905
1852.96/1858.06 c #Conflicts: 1062000 | #Constraints: 1338905
1852.96/1858.06 c #Conflicts: 1063000 | #Constraints: 1339905
1852.96/1858.06 c #Conflicts: 1064000 | #Constraints: 1340905
1852.96/1858.06 c #Conflicts: 1065000 | #Constraints: 1341905
1852.96/1858.06 c #Conflicts: 1066000 | #Constraints: 1342905
1852.96/1858.06 c #Conflicts: 1067000 | #Constraints: 1343905
1852.96/1858.06 c #Conflicts: 1068000 | #Constraints: 1344905
1852.96/1858.06 c #Conflicts: 1069000 | #Constraints: 1345905
1852.96/1858.06 c #Conflicts: 1070000 | #Constraints: 1346905
1852.96/1858.06 c #Conflicts: 1071000 | #Constraints: 1347905
1852.96/1858.06 c #Conflicts: 1072000 | #Constraints: 1348905
1852.96/1858.06 c #Conflicts: 1073000 | #Constraints: 1349905
1852.96/1858.06 c #Conflicts: 1074000 | #Constraints: 1350905
1852.96/1858.06 c #Conflicts: 1075000 | #Constraints: 1351905
1852.96/1858.06 c #Conflicts: 1076000 | #Constraints: 1352905
1852.96/1858.06 c #Conflicts: 1077000 | #Constraints: 1353905
1975.32/1980.78 c #Conflicts: 1078000 | #Constraints: 1354905
1975.32/1980.78 c #Conflicts: 1079000 | #Constraints: 1355905
1975.32/1980.78 c INPROCESSING
1975.32/1980.78 c GARBAGE COLLECT
1975.32/1980.78 c #Conflicts: 1080000 | #Constraints: 1302495
1975.32/1980.78 c #Conflicts: 1081000 | #Constraints: 1303495
1975.32/1980.78 c #Conflicts: 1082000 | #Constraints: 1304495
1975.32/1980.78 c #Conflicts: 1083000 | #Constraints: 1305495
1975.32/1980.78 c #Conflicts: 1084000 | #Constraints: 1306495
1975.32/1980.78 c #Conflicts: 1085000 | #Constraints: 1307495
1975.32/1980.78 c #Conflicts: 1086000 | #Constraints: 1308495
1975.32/1980.78 c #Conflicts: 1087000 | #Constraints: 1309495
1975.32/1980.78 c #Conflicts: 1088000 | #Constraints: 1310495
1975.32/1980.78 c #Conflicts: 1089000 | #Constraints: 1311495
1975.32/1980.78 c #Conflicts: 1090000 | #Constraints: 1312495
1975.32/1980.78 c #Conflicts: 1091000 | #Constraints: 1313495
1975.32/1980.78 c #Conflicts: 1092000 | #Constraints: 1314495
1975.32/1980.78 c #Conflicts: 1093000 | #Constraints: 1315495
1975.32/1980.78 c #Conflicts: 1094000 | #Constraints: 1316495
1975.32/1980.78 c #Conflicts: 1095000 | #Constraints: 1317495
1975.32/1980.78 c #Conflicts: 1096000 | #Constraints: 1318495
1975.32/1980.78 c #Conflicts: 1097000 | #Constraints: 1319495
1975.32/1980.78 c #Conflicts: 1098000 | #Constraints: 1320495
1975.32/1980.78 c #Conflicts: 1099000 | #Constraints: 1321495
1975.32/1980.78 c #Conflicts: 1100000 | #Constraints: 1322495
1975.32/1980.78 c #Conflicts: 1101000 | #Constraints: 1323495
1975.32/1980.78 c #Conflicts: 1102000 | #Constraints: 1324495
1975.32/1980.78 c #Conflicts: 1103000 | #Constraints: 1325495
1975.32/1980.78 c #Conflicts: 1104000 | #Constraints: 1326495
1975.32/1980.78 c #Conflicts: 1105000 | #Constraints: 1327495
1975.32/1980.78 c #Conflicts: 1106000 | #Constraints: 1328495
1975.32/1980.78 c #Conflicts: 1107000 | #Constraints: 1329495
1975.32/1980.78 c #Conflicts: 1108000 | #Constraints: 1330495
1975.32/1980.78 c INPROCESSING
1975.32/1980.78 c GARBAGE COLLECT
1975.32/1980.78 c #Conflicts: 1109000 | #Constraints: 1289936
1975.32/1980.78 c #Conflicts: 1110000 | #Constraints: 1290936
1975.32/1980.78 c #Conflicts: 1111000 | #Constraints: 1291936
1975.32/1980.78 c #Conflicts: 1112000 | #Constraints: 1292936
1975.32/1980.78 c #Conflicts: 1113000 | #Constraints: 1293936
1975.32/1980.78 c #Conflicts: 1114000 | #Constraints: 1294936
1975.32/1980.78 c #Conflicts: 1115000 | #Constraints: 1295936
1975.32/1980.78 c #Conflicts: 1116000 | #Constraints: 1296936
1975.32/1980.78 c #Conflicts: 1117000 | #Constraints: 1297936
1975.32/1980.78 c #Conflicts: 1118000 | #Constraints: 1298936
1975.32/1980.78 c #Conflicts: 1119000 | #Constraints: 1299936
1975.32/1980.78 c #Conflicts: 1120000 | #Constraints: 1300936
1975.32/1980.78 c #Conflicts: 1121000 | #Constraints: 1301936
1975.32/1980.78 c #Conflicts: 1122000 | #Constraints: 1302936
1975.32/1980.78 c #Conflicts: 1123000 | #Constraints: 1303936
1975.32/1980.78 c #Conflicts: 1124000 | #Constraints: 1304936
1975.32/1980.78 c #Conflicts: 1125000 | #Constraints: 1305936
1975.32/1980.78 c #Conflicts: 1126000 | #Constraints: 1306936
1975.32/1980.78 c #Conflicts: 1127000 | #Constraints: 1307936
1975.32/1980.78 c #Conflicts: 1128000 | #Constraints: 1308936
1975.32/1980.78 c #Conflicts: 1129000 | #Constraints: 1309936
1975.32/1980.78 c #Conflicts: 1130000 | #Constraints: 1310936
1975.32/1980.78 c #Conflicts: 1131000 | #Constraints: 1311936
1975.32/1980.78 c #Conflicts: 1132000 | #Constraints: 1312936
1975.32/1980.78 c #Conflicts: 1133000 | #Constraints: 1313936
1975.32/1980.78 c #Conflicts: 1134000 | #Constraints: 1314936
1975.32/1980.78 c #Conflicts: 1135000 | #Constraints: 1315936
1975.32/1980.78 c #Conflicts: 1136000 | #Constraints: 1316936
1975.32/1980.78 c #Conflicts: 1137000 | #Constraints: 1317936
1975.32/1980.78 c #Conflicts: 1138000 | #Constraints: 1318936
1975.32/1980.78 c INPROCESSING
1975.32/1980.78 c GARBAGE COLLECT
1975.32/1980.78 c #Conflicts: 1139000 | #Constraints: 1290495
1975.32/1980.78 c #Conflicts: 1140000 | #Constraints: 1291495
1975.32/1980.78 c #Conflicts: 1141000 | #Constraints: 1292495
1975.32/1980.78 c #Conflicts: 1142000 | #Constraints: 1293495
1975.32/1980.78 c #Conflicts: 1143000 | #Constraints: 1294495
1975.32/1980.78 c #Conflicts: 1144000 | #Constraints: 1295495
1975.32/1980.78 c #Conflicts: 1145000 | #Constraints: 1296495
1975.32/1980.78 c #Conflicts: 1146000 | #Constraints: 1297495
1975.32/1980.78 c #Conflicts: 1147000 | #Constraints: 1298495
1975.32/1980.78 c #Conflicts: 1148000 | #Constraints: 1299495
1975.32/1980.78 c #Conflicts: 1149000 | #Constraints: 1300495
1975.32/1980.78 c #Conflicts: 1150000 | #Constraints: 1301495
1975.32/1980.78 c #Conflicts: 1151000 | #Constraints: 1302495
1975.32/1980.78 c #Conflicts: 1152000 | #Constraints: 1303495
1975.32/1980.78 c #Conflicts: 1153000 | #Constraints: 1304495
1975.32/1980.78 c #Conflicts: 1154000 | #Constraints: 1305495
2156.54/2162.45 c #Conflicts: 1155000 | #Constraints: 1306495
2156.54/2162.45 c #Conflicts: 1156000 | #Constraints: 1307495
2156.54/2162.45 c #Conflicts: 1157000 | #Constraints: 1308495
2156.54/2162.45 c #Conflicts: 1158000 | #Constraints: 1309495
2156.54/2162.45 c #Conflicts: 1159000 | #Constraints: 1310495
2156.54/2162.45 c #Conflicts: 1160000 | #Constraints: 1311495
2156.54/2162.45 c #Conflicts: 1161000 | #Constraints: 1312495
2156.54/2162.45 c #Conflicts: 1162000 | #Constraints: 1313495
2156.54/2162.45 c #Conflicts: 1163000 | #Constraints: 1314495
2156.54/2162.45 c #Conflicts: 1164000 | #Constraints: 1315495
2156.54/2162.45 c #Conflicts: 1165000 | #Constraints: 1316495
2156.54/2162.45 c #Conflicts: 1166000 | #Constraints: 1317495
2156.54/2162.45 c #Conflicts: 1167000 | #Constraints: 1318495
2156.54/2162.45 c #Conflicts: 1168000 | #Constraints: 1319495
2156.54/2162.45 c #Conflicts: 1169000 | #Constraints: 1320495
2156.54/2162.45 c #Conflicts: 1170000 | #Constraints: 1321495
2156.54/2162.45 c #Conflicts: 1171000 | #Constraints: 1322495
2156.54/2162.45 c #Conflicts: 1172000 | #Constraints: 1323495
2156.54/2162.45 c #Conflicts: 1173000 | #Constraints: 1324495
2156.54/2162.45 c #Conflicts: 1174000 | #Constraints: 1325495
2156.54/2162.45 c #Conflicts: 1175000 | #Constraints: 1326495
2156.54/2162.45 c #Conflicts: 1176000 | #Constraints: 1327495
2156.54/2162.45 c #Conflicts: 1177000 | #Constraints: 1328495
2156.54/2162.45 c #Conflicts: 1178000 | #Constraints: 1329495
2156.54/2162.45 c #Conflicts: 1179000 | #Constraints: 1330495
2156.54/2162.45 c #Conflicts: 1180000 | #Constraints: 1331495
2156.54/2162.45 c #Conflicts: 1181000 | #Constraints: 1332495
2156.54/2162.45 c #Conflicts: 1182000 | #Constraints: 1333495
2156.54/2162.45 c #Conflicts: 1183000 | #Constraints: 1334495
2156.54/2162.45 c #Conflicts: 1184000 | #Constraints: 1335495
2156.54/2162.45 c #Conflicts: 1185000 | #Constraints: 1336495
2156.54/2162.45 c #Conflicts: 1186000 | #Constraints: 1337495
2156.54/2162.45 c #Conflicts: 1187000 | #Constraints: 1338495
2156.54/2162.45 c #Conflicts: 1188000 | #Constraints: 1339495
2156.54/2162.45 c #Conflicts: 1189000 | #Constraints: 1340495
2156.54/2162.45 c #Conflicts: 1190000 | #Constraints: 1341495
2156.54/2162.45 c #Conflicts: 1191000 | #Constraints: 1342495
2156.54/2162.45 c #Conflicts: 1192000 | #Constraints: 1343495
2156.54/2162.45 c #Conflicts: 1193000 | #Constraints: 1344495
2156.54/2162.45 c #Conflicts: 1194000 | #Constraints: 1345495
2156.54/2162.45 c #Conflicts: 1195000 | #Constraints: 1346495
2156.54/2162.45 c #Conflicts: 1196000 | #Constraints: 1347495
2156.54/2162.45 c #Conflicts: 1197000 | #Constraints: 1348495
2156.54/2162.45 c #Conflicts: 1198000 | #Constraints: 1349495
2156.54/2162.45 c #Conflicts: 1199000 | #Constraints: 1350495
2156.54/2162.45 c #Conflicts: 1200000 | #Constraints: 1351495
2156.54/2162.45 c #Conflicts: 1201000 | #Constraints: 1352495
2156.54/2162.45 c #Conflicts: 1202000 | #Constraints: 1353495
2156.54/2162.45 c #Conflicts: 1203000 | #Constraints: 1354495
2156.54/2162.45 c #Conflicts: 1204000 | #Constraints: 1355495
2156.54/2162.45 c #Conflicts: 1205000 | #Constraints: 1356495
2156.54/2162.45 c #Conflicts: 1206000 | #Constraints: 1357495
2156.54/2162.45 c #Conflicts: 1207000 | #Constraints: 1358495
2156.54/2162.45 c #Conflicts: 1208000 | #Constraints: 1359495
2156.54/2162.45 c #Conflicts: 1209000 | #Constraints: 1360495
2156.54/2162.45 c INPROCESSING
2156.54/2162.45 c GARBAGE COLLECT
2156.54/2162.45 c #Conflicts: 1210000 | #Constraints: 1305375
2156.54/2162.45 c #Conflicts: 1211000 | #Constraints: 1306375
2156.54/2162.45 c #Conflicts: 1212000 | #Constraints: 1307375
2156.54/2162.45 c #Conflicts: 1213000 | #Constraints: 1308375
2156.54/2162.45 c #Conflicts: 1214000 | #Constraints: 1309375
2156.54/2162.45 c #Conflicts: 1215000 | #Constraints: 1310375
2156.54/2162.45 c #Conflicts: 1216000 | #Constraints: 1311375
2156.54/2162.45 c #Conflicts: 1217000 | #Constraints: 1312375
2156.54/2162.45 c #Conflicts: 1218000 | #Constraints: 1313375
2156.54/2162.45 c #Conflicts: 1219000 | #Constraints: 1314375
2156.54/2162.45 c #Conflicts: 1220000 | #Constraints: 1315375
2156.54/2162.45 c #Conflicts: 1221000 | #Constraints: 1316375
2156.54/2162.45 c #Conflicts: 1222000 | #Constraints: 1317375
2156.54/2162.45 c #Conflicts: 1223000 | #Constraints: 1318375
2156.54/2162.45 c #Conflicts: 1224000 | #Constraints: 1319375
2156.54/2162.45 c #Conflicts: 1225000 | #Constraints: 1320375
2156.54/2162.45 c #Conflicts: 1226000 | #Constraints: 1321375
2156.54/2162.45 c #Conflicts: 1227000 | #Constraints: 1322375
2156.54/2162.45 c #Conflicts: 1228000 | #Constraints: 1323375
2156.54/2162.45 c #Conflicts: 1229000 | #Constraints: 1324375
2156.54/2162.45 c #Conflicts: 1230000 | #Constraints: 1325375
2156.54/2162.45 c #Conflicts: 1231000 | #Constraints: 1326375
2156.54/2162.45 c #Conflicts: 1232000 | #Constraints: 1327375
2311.32/2317.65 c #Conflicts: 1233000 | #Constraints: 1328375
2311.32/2317.65 c #Conflicts: 1234000 | #Constraints: 1329375
2311.32/2317.65 c #Conflicts: 1235000 | #Constraints: 1330375
2311.32/2317.65 c #Conflicts: 1236000 | #Constraints: 1331375
2311.32/2317.65 c #Conflicts: 1237000 | #Constraints: 1332375
2311.32/2317.65 c #Conflicts: 1238000 | #Constraints: 1333375
2311.32/2317.65 c #Conflicts: 1239000 | #Constraints: 1334375
2311.32/2317.65 c #Conflicts: 1240000 | #Constraints: 1335375
2311.32/2317.65 c INPROCESSING
2311.32/2317.65 c GARBAGE COLLECT
2311.32/2317.65 c #Conflicts: 1241000 | #Constraints: 1293631
2311.32/2317.65 c #Conflicts: 1242000 | #Constraints: 1294631
2311.32/2317.65 c #Conflicts: 1243000 | #Constraints: 1295631
2311.32/2317.65 c #Conflicts: 1244000 | #Constraints: 1296631
2311.32/2317.65 c #Conflicts: 1245000 | #Constraints: 1297631
2311.32/2317.65 c #Conflicts: 1246000 | #Constraints: 1298631
2311.32/2317.65 c #Conflicts: 1247000 | #Constraints: 1299631
2311.32/2317.65 c #Conflicts: 1248000 | #Constraints: 1300631
2311.32/2317.65 c #Conflicts: 1249000 | #Constraints: 1301631
2311.32/2317.65 c #Conflicts: 1250000 | #Constraints: 1302631
2311.32/2317.65 c #Conflicts: 1251000 | #Constraints: 1303631
2311.32/2317.65 c #Conflicts: 1252000 | #Constraints: 1304631
2311.32/2317.65 c #Conflicts: 1253000 | #Constraints: 1305631
2311.32/2317.65 c #Conflicts: 1254000 | #Constraints: 1306631
2311.32/2317.65 c #Conflicts: 1255000 | #Constraints: 1307631
2311.32/2317.65 c #Conflicts: 1256000 | #Constraints: 1308631
2311.32/2317.65 c #Conflicts: 1257000 | #Constraints: 1309631
2311.32/2317.65 c #Conflicts: 1258000 | #Constraints: 1310631
2311.32/2317.65 c #Conflicts: 1259000 | #Constraints: 1311631
2311.32/2317.65 c #Conflicts: 1260000 | #Constraints: 1312631
2311.32/2317.65 c #Conflicts: 1261000 | #Constraints: 1313631
2311.32/2317.65 c #Conflicts: 1262000 | #Constraints: 1314631
2311.32/2317.65 c #Conflicts: 1263000 | #Constraints: 1315631
2311.32/2317.65 c #Conflicts: 1264000 | #Constraints: 1316631
2311.32/2317.65 c #Conflicts: 1265000 | #Constraints: 1317631
2311.32/2317.65 c #Conflicts: 1266000 | #Constraints: 1318631
2311.32/2317.65 c #Conflicts: 1267000 | #Constraints: 1319631
2311.32/2317.65 c #Conflicts: 1268000 | #Constraints: 1320631
2311.32/2317.65 c #Conflicts: 1269000 | #Constraints: 1321631
2311.32/2317.65 c #Conflicts: 1270000 | #Constraints: 1322631
2311.32/2317.65 c #Conflicts: 1271000 | #Constraints: 1323631
2311.32/2317.65 c #Conflicts: 1272000 | #Constraints: 1324631
2311.32/2317.65 c #Conflicts: 1273000 | #Constraints: 1325631
2311.32/2317.65 c #Conflicts: 1274000 | #Constraints: 1326631
2311.32/2317.65 c #Conflicts: 1275000 | #Constraints: 1327631
2311.32/2317.65 c #Conflicts: 1276000 | #Constraints: 1328631
2311.32/2317.65 c #Conflicts: 1277000 | #Constraints: 1329631
2311.32/2317.65 c #Conflicts: 1278000 | #Constraints: 1330631
2311.32/2317.65 c #Conflicts: 1279000 | #Constraints: 1331631
2311.32/2317.65 c #Conflicts: 1280000 | #Constraints: 1332631
2311.32/2317.65 c #Conflicts: 1281000 | #Constraints: 1333631
2311.32/2317.65 c #Conflicts: 1282000 | #Constraints: 1334631
2311.32/2317.65 c #Conflicts: 1283000 | #Constraints: 1335631
2311.32/2317.65 c #Conflicts: 1284000 | #Constraints: 1336631
2311.32/2317.65 c #Conflicts: 1285000 | #Constraints: 1337631
2311.32/2317.65 c #Conflicts: 1286000 | #Constraints: 1338631
2311.32/2317.65 c #Conflicts: 1287000 | #Constraints: 1339631
2311.32/2317.65 c #Conflicts: 1288000 | #Constraints: 1340631
2311.32/2317.65 c #Conflicts: 1289000 | #Constraints: 1341631
2311.32/2317.65 c #Conflicts: 1290000 | #Constraints: 1342631
2311.32/2317.65 c #Conflicts: 1291000 | #Constraints: 1343631
2311.32/2317.65 c #Conflicts: 1292000 | #Constraints: 1344631
2311.32/2317.65 c #Conflicts: 1293000 | #Constraints: 1345631
2311.32/2317.65 c #Conflicts: 1294000 | #Constraints: 1346631
2311.32/2317.65 c #Conflicts: 1295000 | #Constraints: 1347631
2311.32/2317.65 c #Conflicts: 1296000 | #Constraints: 1348631
2311.32/2317.65 c #Conflicts: 1297000 | #Constraints: 1349631
2311.32/2317.65 c #Conflicts: 1298000 | #Constraints: 1350631
2311.32/2317.65 c #Conflicts: 1299000 | #Constraints: 1351631
2311.32/2317.65 c #Conflicts: 1300000 | #Constraints: 1352631
2311.32/2317.65 c #Conflicts: 1301000 | #Constraints: 1353631
2311.32/2317.65 c #Conflicts: 1302000 | #Constraints: 1354631
2311.32/2317.65 c #Conflicts: 1303000 | #Constraints: 1355631
2311.32/2317.65 c #Conflicts: 1304000 | #Constraints: 1356631
2311.32/2317.65 c #Conflicts: 1305000 | #Constraints: 1357631
2311.32/2317.65 c #Conflicts: 1306000 | #Constraints: 1358631
2311.32/2317.65 c #Conflicts: 1307000 | #Constraints: 1359631
2311.32/2317.65 c #Conflicts: 1308000 | #Constraints: 1360631
2311.32/2317.65 c #Conflicts: 1309000 | #Constraints: 1361631
2311.32/2317.65 c #Conflicts: 1310000 | #Constraints: 1362631
2424.03/2430.63 c #Conflicts: 1311000 | #Constraints: 1363631
2424.03/2430.63 c #Conflicts: 1312000 | #Constraints: 1364631
2424.03/2430.63 c #Conflicts: 1313000 | #Constraints: 1365631
2424.03/2430.63 c #Conflicts: 1314000 | #Constraints: 1366631
2424.03/2430.63 c #Conflicts: 1315000 | #Constraints: 1367631
2424.03/2430.63 c INPROCESSING
2424.03/2430.63 c GARBAGE COLLECT
2424.03/2430.63 c #Conflicts: 1316000 | #Constraints: 1309692
2424.03/2430.63 c #Conflicts: 1317000 | #Constraints: 1310692
2424.03/2430.63 c #Conflicts: 1318000 | #Constraints: 1311692
2424.03/2430.63 c #Conflicts: 1319000 | #Constraints: 1312692
2424.03/2430.63 c #Conflicts: 1320000 | #Constraints: 1313692
2424.03/2430.63 c #Conflicts: 1321000 | #Constraints: 1314692
2424.03/2430.63 c #Conflicts: 1322000 | #Constraints: 1315692
2424.03/2430.63 c #Conflicts: 1323000 | #Constraints: 1316692
2424.03/2430.63 c #Conflicts: 1324000 | #Constraints: 1317692
2424.03/2430.63 c #Conflicts: 1325000 | #Constraints: 1318692
2424.03/2430.63 c #Conflicts: 1326000 | #Constraints: 1319692
2424.03/2430.63 c #Conflicts: 1327000 | #Constraints: 1320692
2424.03/2430.63 c #Conflicts: 1328000 | #Constraints: 1321692
2424.03/2430.63 c #Conflicts: 1329000 | #Constraints: 1322692
2424.03/2430.63 c #Conflicts: 1330000 | #Constraints: 1323692
2424.03/2430.63 c #Conflicts: 1331000 | #Constraints: 1324692
2424.03/2430.63 c #Conflicts: 1332000 | #Constraints: 1325692
2424.03/2430.63 c #Conflicts: 1333000 | #Constraints: 1326692
2424.03/2430.63 c #Conflicts: 1334000 | #Constraints: 1327692
2424.03/2430.63 c #Conflicts: 1335000 | #Constraints: 1328692
2424.03/2430.63 c #Conflicts: 1336000 | #Constraints: 1329692
2424.03/2430.63 c #Conflicts: 1337000 | #Constraints: 1330692
2424.03/2430.63 c #Conflicts: 1338000 | #Constraints: 1331692
2424.03/2430.63 c #Conflicts: 1339000 | #Constraints: 1332692
2424.03/2430.63 c #Conflicts: 1340000 | #Constraints: 1333692
2424.03/2430.63 c #Conflicts: 1341000 | #Constraints: 1334692
2424.03/2430.63 c #Conflicts: 1342000 | #Constraints: 1335692
2424.03/2430.63 c #Conflicts: 1343000 | #Constraints: 1336692
2424.03/2430.63 c #Conflicts: 1344000 | #Constraints: 1337692
2424.03/2430.63 c #Conflicts: 1345000 | #Constraints: 1338692
2424.03/2430.63 c #Conflicts: 1346000 | #Constraints: 1339692
2424.03/2430.63 c #Conflicts: 1347000 | #Constraints: 1340692
2424.03/2430.63 c INPROCESSING
2424.03/2430.63 c GARBAGE COLLECT
2424.03/2430.63 c #Conflicts: 1348000 | #Constraints: 1297042
2424.03/2430.63 c #Conflicts: 1349000 | #Constraints: 1298042
2424.03/2430.63 c #Conflicts: 1350000 | #Constraints: 1299042
2424.03/2430.63 c #Conflicts: 1351000 | #Constraints: 1300042
2424.03/2430.63 c #Conflicts: 1352000 | #Constraints: 1301042
2424.03/2430.63 c #Conflicts: 1353000 | #Constraints: 1302042
2424.03/2430.63 c #Conflicts: 1354000 | #Constraints: 1303042
2424.03/2430.63 c #Conflicts: 1355000 | #Constraints: 1304042
2424.03/2430.63 c #Conflicts: 1356000 | #Constraints: 1305042
2424.03/2430.63 c #Conflicts: 1357000 | #Constraints: 1306042
2424.03/2430.63 c #Conflicts: 1358000 | #Constraints: 1307042
2424.03/2430.63 c #Conflicts: 1359000 | #Constraints: 1308042
2424.03/2430.63 c #Conflicts: 1360000 | #Constraints: 1309042
2424.03/2430.63 c #Conflicts: 1361000 | #Constraints: 1310042
2424.03/2430.63 c #Conflicts: 1362000 | #Constraints: 1311042
2424.03/2430.63 c #Conflicts: 1363000 | #Constraints: 1312042
2424.03/2430.63 c #Conflicts: 1364000 | #Constraints: 1313042
2424.03/2430.63 c #Conflicts: 1365000 | #Constraints: 1314042
2424.03/2430.63 c #Conflicts: 1366000 | #Constraints: 1315042
2424.03/2430.63 c #Conflicts: 1367000 | #Constraints: 1316042
2424.03/2430.63 c #Conflicts: 1368000 | #Constraints: 1317042
2424.03/2430.63 c #Conflicts: 1369000 | #Constraints: 1318042
2424.03/2430.63 c #Conflicts: 1370000 | #Constraints: 1319042
2424.03/2430.63 c #Conflicts: 1371000 | #Constraints: 1320042
2424.03/2430.63 c #Conflicts: 1372000 | #Constraints: 1321042
2424.03/2430.63 c #Conflicts: 1373000 | #Constraints: 1322042
2424.03/2430.63 c #Conflicts: 1374000 | #Constraints: 1323042
2424.03/2430.63 c #Conflicts: 1375000 | #Constraints: 1324042
2424.03/2430.63 c #Conflicts: 1376000 | #Constraints: 1325042
2424.03/2430.63 c #Conflicts: 1377000 | #Constraints: 1326042
2424.03/2430.63 c #Conflicts: 1378000 | #Constraints: 1327042
2424.03/2430.63 c #Conflicts: 1379000 | #Constraints: 1328042
2424.03/2430.63 c #Conflicts: 1380000 | #Constraints: 1329042
2424.03/2430.63 c #Conflicts: 1381000 | #Constraints: 1330042
2424.03/2430.63 c #Conflicts: 1382000 | #Constraints: 1331042
2424.03/2430.63 c #Conflicts: 1383000 | #Constraints: 1332042
2424.03/2430.63 c #Conflicts: 1384000 | #Constraints: 1333042
2424.03/2430.63 c #Conflicts: 1385000 | #Constraints: 1334042
2424.03/2430.63 c #Conflicts: 1386000 | #Constraints: 1335042
2424.03/2430.63 c #Conflicts: 1387000 | #Constraints: 1336042
2424.03/2430.63 c #Conflicts: 1388000 | #Constraints: 1337042
2579.53/2586.57 c #Conflicts: 1389000 | #Constraints: 1338042
2579.53/2586.57 c #Conflicts: 1390000 | #Constraints: 1339042
2579.53/2586.57 c #Conflicts: 1391000 | #Constraints: 1340042
2579.53/2586.57 c #Conflicts: 1392000 | #Constraints: 1341042
2579.53/2586.57 c #Conflicts: 1393000 | #Constraints: 1342042
2579.53/2586.57 c #Conflicts: 1394000 | #Constraints: 1343042
2579.53/2586.57 c #Conflicts: 1395000 | #Constraints: 1344042
2579.53/2586.57 c #Conflicts: 1396000 | #Constraints: 1345042
2579.53/2586.57 c #Conflicts: 1397000 | #Constraints: 1346042
2579.53/2586.57 c #Conflicts: 1398000 | #Constraints: 1347042
2579.53/2586.57 c #Conflicts: 1399000 | #Constraints: 1348042
2579.53/2586.57 c #Conflicts: 1400000 | #Constraints: 1349042
2579.53/2586.57 c #Conflicts: 1401000 | #Constraints: 1350042
2579.53/2586.57 c #Conflicts: 1402000 | #Constraints: 1351042
2579.53/2586.57 c #Conflicts: 1403000 | #Constraints: 1352042
2579.53/2586.57 c #Conflicts: 1404000 | #Constraints: 1353042
2579.53/2586.57 c #Conflicts: 1405000 | #Constraints: 1354042
2579.53/2586.57 c #Conflicts: 1406000 | #Constraints: 1355042
2579.53/2586.57 c #Conflicts: 1407000 | #Constraints: 1356042
2579.53/2586.57 c #Conflicts: 1408000 | #Constraints: 1357042
2579.53/2586.57 c #Conflicts: 1409000 | #Constraints: 1358042
2579.53/2586.57 c #Conflicts: 1410000 | #Constraints: 1359042
2579.53/2586.57 c #Conflicts: 1411000 | #Constraints: 1360042
2579.53/2586.57 c #Conflicts: 1412000 | #Constraints: 1361042
2579.53/2586.57 c #Conflicts: 1413000 | #Constraints: 1362042
2579.53/2586.57 c #Conflicts: 1414000 | #Constraints: 1363042
2579.53/2586.57 c #Conflicts: 1415000 | #Constraints: 1364042
2579.53/2586.57 c #Conflicts: 1416000 | #Constraints: 1365042
2579.53/2586.57 c #Conflicts: 1417000 | #Constraints: 1366042
2579.53/2586.57 c #Conflicts: 1418000 | #Constraints: 1367042
2579.53/2586.57 c #Conflicts: 1419000 | #Constraints: 1368042
2579.53/2586.57 c #Conflicts: 1420000 | #Constraints: 1369042
2579.53/2586.57 c #Conflicts: 1421000 | #Constraints: 1370042
2579.53/2586.57 c #Conflicts: 1422000 | #Constraints: 1371042
2579.53/2586.57 c #Conflicts: 1423000 | #Constraints: 1372042
2579.53/2586.57 c #Conflicts: 1424000 | #Constraints: 1373042
2579.53/2586.57 c #Conflicts: 1425000 | #Constraints: 1374042
2579.53/2586.57 c INPROCESSING
2579.53/2586.57 c GARBAGE COLLECT
2579.53/2586.57 c #Conflicts: 1426000 | #Constraints: 1312930
2579.53/2586.57 c #Conflicts: 1427000 | #Constraints: 1313930
2579.53/2586.57 c #Conflicts: 1428000 | #Constraints: 1314930
2579.53/2586.57 c #Conflicts: 1429000 | #Constraints: 1315930
2579.53/2586.57 c #Conflicts: 1430000 | #Constraints: 1316930
2579.53/2586.57 c #Conflicts: 1431000 | #Constraints: 1317930
2579.53/2586.57 c #Conflicts: 1432000 | #Constraints: 1318930
2579.53/2586.57 c #Conflicts: 1433000 | #Constraints: 1319930
2579.53/2586.57 c #Conflicts: 1434000 | #Constraints: 1320930
2579.53/2586.57 c #Conflicts: 1435000 | #Constraints: 1321930
2579.53/2586.57 c #Conflicts: 1436000 | #Constraints: 1322930
2579.53/2586.57 c #Conflicts: 1437000 | #Constraints: 1323930
2579.53/2586.57 c #Conflicts: 1438000 | #Constraints: 1324930
2579.53/2586.57 c #Conflicts: 1439000 | #Constraints: 1325930
2579.53/2586.57 c #Conflicts: 1440000 | #Constraints: 1326930
2579.53/2586.57 c #Conflicts: 1441000 | #Constraints: 1327930
2579.53/2586.57 c #Conflicts: 1442000 | #Constraints: 1328930
2579.53/2586.57 c #Conflicts: 1443000 | #Constraints: 1329930
2579.53/2586.57 c #Conflicts: 1444000 | #Constraints: 1330930
2579.53/2586.57 c #Conflicts: 1445000 | #Constraints: 1331930
2579.53/2586.57 c #Conflicts: 1446000 | #Constraints: 1332930
2579.53/2586.57 c #Conflicts: 1447000 | #Constraints: 1333930
2579.53/2586.57 c #Conflicts: 1448000 | #Constraints: 1334930
2579.53/2586.57 c #Conflicts: 1449000 | #Constraints: 1335930
2579.53/2586.57 c #Conflicts: 1450000 | #Constraints: 1336930
2579.53/2586.57 c #Conflicts: 1451000 | #Constraints: 1337930
2579.53/2586.57 c #Conflicts: 1452000 | #Constraints: 1338930
2579.53/2586.57 c #Conflicts: 1453000 | #Constraints: 1339930
2579.53/2586.57 c #Conflicts: 1454000 | #Constraints: 1340930
2579.53/2586.57 c #Conflicts: 1455000 | #Constraints: 1341930
2579.53/2586.57 c #Conflicts: 1456000 | #Constraints: 1342930
2579.53/2586.57 c #Conflicts: 1457000 | #Constraints: 1343930
2579.53/2586.57 c #Conflicts: 1458000 | #Constraints: 1344930
2579.53/2586.57 c INPROCESSING
2579.53/2586.57 c GARBAGE COLLECT
2579.53/2586.57 c #Conflicts: 1459000 | #Constraints: 1301189
2579.53/2586.57 c #Conflicts: 1460000 | #Constraints: 1302189
2579.53/2586.57 c #Conflicts: 1461000 | #Constraints: 1303189
2579.53/2586.57 c #Conflicts: 1462000 | #Constraints: 1304189
2579.53/2586.57 c #Conflicts: 1463000 | #Constraints: 1305189
2579.53/2586.57 c #Conflicts: 1464000 | #Constraints: 1306189
2579.53/2586.57 c #Conflicts: 1465000 | #Constraints: 1307189
2739.72/2747.14 c #Conflicts: 1466000 | #Constraints: 1308189
2739.72/2747.14 c #Conflicts: 1467000 | #Constraints: 1309189
2739.72/2747.14 c #Conflicts: 1468000 | #Constraints: 1310189
2739.72/2747.14 c #Conflicts: 1469000 | #Constraints: 1311189
2739.72/2747.14 c #Conflicts: 1470000 | #Constraints: 1312189
2739.72/2747.14 c #Conflicts: 1471000 | #Constraints: 1313189
2739.72/2747.14 c #Conflicts: 1472000 | #Constraints: 1314189
2739.72/2747.14 c #Conflicts: 1473000 | #Constraints: 1315189
2739.72/2747.14 c #Conflicts: 1474000 | #Constraints: 1316189
2739.72/2747.14 c #Conflicts: 1475000 | #Constraints: 1317189
2739.72/2747.14 c #Conflicts: 1476000 | #Constraints: 1318189
2739.72/2747.14 c #Conflicts: 1477000 | #Constraints: 1319189
2739.72/2747.14 c #Conflicts: 1478000 | #Constraints: 1320189
2739.72/2747.14 c #Conflicts: 1479000 | #Constraints: 1321189
2739.72/2747.14 c #Conflicts: 1480000 | #Constraints: 1322189
2739.72/2747.14 c #Conflicts: 1481000 | #Constraints: 1323189
2739.72/2747.14 c #Conflicts: 1482000 | #Constraints: 1324189
2739.72/2747.14 c #Conflicts: 1483000 | #Constraints: 1325189
2739.72/2747.14 c #Conflicts: 1484000 | #Constraints: 1326189
2739.72/2747.14 c #Conflicts: 1485000 | #Constraints: 1327189
2739.72/2747.14 c #Conflicts: 1486000 | #Constraints: 1328189
2739.72/2747.14 c #Conflicts: 1487000 | #Constraints: 1329189
2739.72/2747.14 c #Conflicts: 1488000 | #Constraints: 1330189
2739.72/2747.14 c #Conflicts: 1489000 | #Constraints: 1331189
2739.72/2747.14 c #Conflicts: 1490000 | #Constraints: 1332189
2739.72/2747.14 c #Conflicts: 1491000 | #Constraints: 1333189
2739.72/2747.14 c #Conflicts: 1492000 | #Constraints: 1334189
2739.72/2747.14 c #Conflicts: 1493000 | #Constraints: 1335189
2739.72/2747.14 c #Conflicts: 1494000 | #Constraints: 1336189
2739.72/2747.14 c #Conflicts: 1495000 | #Constraints: 1337189
2739.72/2747.14 c #Conflicts: 1496000 | #Constraints: 1338189
2739.72/2747.14 c #Conflicts: 1497000 | #Constraints: 1339189
2739.72/2747.14 c #Conflicts: 1498000 | #Constraints: 1340189
2739.72/2747.14 c #Conflicts: 1499000 | #Constraints: 1341189
2739.72/2747.14 c #Conflicts: 1500000 | #Constraints: 1342189
2739.72/2747.14 c #Conflicts: 1501000 | #Constraints: 1343189
2739.72/2747.14 c #Conflicts: 1502000 | #Constraints: 1344189
2739.72/2747.14 c #Conflicts: 1503000 | #Constraints: 1345189
2739.72/2747.14 c #Conflicts: 1504000 | #Constraints: 1346189
2739.72/2747.14 c #Conflicts: 1505000 | #Constraints: 1347189
2739.72/2747.14 c #Conflicts: 1506000 | #Constraints: 1348189
2739.72/2747.14 c #Conflicts: 1507000 | #Constraints: 1349189
2739.72/2747.14 c #Conflicts: 1508000 | #Constraints: 1350189
2739.72/2747.14 c #Conflicts: 1509000 | #Constraints: 1351189
2739.72/2747.14 c #Conflicts: 1510000 | #Constraints: 1352189
2739.72/2747.14 c #Conflicts: 1511000 | #Constraints: 1353189
2739.72/2747.14 c #Conflicts: 1512000 | #Constraints: 1354189
2739.72/2747.14 c #Conflicts: 1513000 | #Constraints: 1355189
2739.72/2747.14 c #Conflicts: 1514000 | #Constraints: 1356189
2739.72/2747.14 c #Conflicts: 1515000 | #Constraints: 1357189
2739.72/2747.14 c #Conflicts: 1516000 | #Constraints: 1358189
2739.72/2747.14 c #Conflicts: 1517000 | #Constraints: 1359189
2739.72/2747.14 c #Conflicts: 1518000 | #Constraints: 1360189
2739.72/2747.14 c #Conflicts: 1519000 | #Constraints: 1361189
2739.72/2747.14 c #Conflicts: 1520000 | #Constraints: 1362189
2739.72/2747.14 c #Conflicts: 1521000 | #Constraints: 1363189
2739.72/2747.14 c #Conflicts: 1522000 | #Constraints: 1364189
2739.72/2747.14 c #Conflicts: 1523000 | #Constraints: 1365189
2739.72/2747.14 c #Conflicts: 1524000 | #Constraints: 1366189
2739.72/2747.14 c #Conflicts: 1525000 | #Constraints: 1367189
2739.72/2747.14 c #Conflicts: 1526000 | #Constraints: 1368189
2739.72/2747.14 c #Conflicts: 1527000 | #Constraints: 1369189
2739.72/2747.14 c #Conflicts: 1528000 | #Constraints: 1370189
2739.72/2747.14 c #Conflicts: 1529000 | #Constraints: 1371189
2739.72/2747.14 c #Conflicts: 1530000 | #Constraints: 1372189
2739.72/2747.14 c #Conflicts: 1531000 | #Constraints: 1373189
2739.72/2747.14 c #Conflicts: 1532000 | #Constraints: 1374189
2739.72/2747.14 c #Conflicts: 1533000 | #Constraints: 1375189
2739.72/2747.14 c #Conflicts: 1534000 | #Constraints: 1376189
2739.72/2747.14 c #Conflicts: 1535000 | #Constraints: 1377189
2739.72/2747.14 c #Conflicts: 1536000 | #Constraints: 1378189
2739.72/2747.14 c #Conflicts: 1537000 | #Constraints: 1379189
2739.72/2747.14 c #Conflicts: 1538000 | #Constraints: 1380189
2739.72/2747.14 c #Conflicts: 1539000 | #Constraints: 1381189
2739.72/2747.14 c INPROCESSING
2739.72/2747.14 c GARBAGE COLLECT
2739.72/2747.14 c #Conflicts: 1540000 | #Constraints: 1317128
2739.72/2747.14 c #Conflicts: 1541000 | #Constraints: 1318128
2739.72/2747.14 c #Conflicts: 1542000 | #Constraints: 1319128
2739.72/2747.14 c #Conflicts: 1543000 | #Constraints: 1320128
2739.72/2747.14 c #Conflicts: 1544000 | #Constraints: 1321128
2856.99/2864.79 c #Conflicts: 1545000 | #Constraints: 1322128
2856.99/2864.79 c #Conflicts: 1546000 | #Constraints: 1323128
2856.99/2864.79 c #Conflicts: 1547000 | #Constraints: 1324128
2856.99/2864.79 c #Conflicts: 1548000 | #Constraints: 1325128
2856.99/2864.79 c #Conflicts: 1549000 | #Constraints: 1326128
2856.99/2864.79 c #Conflicts: 1550000 | #Constraints: 1327128
2856.99/2864.79 c #Conflicts: 1551000 | #Constraints: 1328128
2856.99/2864.79 c #Conflicts: 1552000 | #Constraints: 1329128
2856.99/2864.79 c #Conflicts: 1553000 | #Constraints: 1330128
2856.99/2864.79 c #Conflicts: 1554000 | #Constraints: 1331128
2856.99/2864.79 c #Conflicts: 1555000 | #Constraints: 1332128
2856.99/2864.79 c #Conflicts: 1556000 | #Constraints: 1333128
2856.99/2864.79 c #Conflicts: 1557000 | #Constraints: 1334128
2856.99/2864.79 c #Conflicts: 1558000 | #Constraints: 1335128
2856.99/2864.79 c #Conflicts: 1559000 | #Constraints: 1336128
2856.99/2864.79 c #Conflicts: 1560000 | #Constraints: 1337128
2856.99/2864.79 c #Conflicts: 1561000 | #Constraints: 1338128
2856.99/2864.79 c #Conflicts: 1562000 | #Constraints: 1339128
2856.99/2864.79 c #Conflicts: 1563000 | #Constraints: 1340128
2856.99/2864.79 c #Conflicts: 1564000 | #Constraints: 1341128
2856.99/2864.79 c #Conflicts: 1565000 | #Constraints: 1342128
2856.99/2864.79 c #Conflicts: 1566000 | #Constraints: 1343128
2856.99/2864.79 c #Conflicts: 1567000 | #Constraints: 1344128
2856.99/2864.79 c #Conflicts: 1568000 | #Constraints: 1345128
2856.99/2864.79 c #Conflicts: 1569000 | #Constraints: 1346128
2856.99/2864.79 c #Conflicts: 1570000 | #Constraints: 1347128
2856.99/2864.79 c #Conflicts: 1571000 | #Constraints: 1348128
2856.99/2864.79 c #Conflicts: 1572000 | #Constraints: 1349128
2856.99/2864.79 c #Conflicts: 1573000 | #Constraints: 1350128
2856.99/2864.79 c #Conflicts: 1574000 | #Constraints: 1351128
2856.99/2864.79 c INPROCESSING
2856.99/2864.79 c GARBAGE COLLECT
2856.99/2864.79 c #Conflicts: 1575000 | #Constraints: 1305284
2856.99/2864.79 c #Conflicts: 1576000 | #Constraints: 1306284
2856.99/2864.79 c #Conflicts: 1577000 | #Constraints: 1307284
2856.99/2864.79 c #Conflicts: 1578000 | #Constraints: 1308284
2856.99/2864.79 c #Conflicts: 1579000 | #Constraints: 1309284
2856.99/2864.79 c #Conflicts: 1580000 | #Constraints: 1310284
2856.99/2864.79 c #Conflicts: 1581000 | #Constraints: 1311284
2856.99/2864.79 c #Conflicts: 1582000 | #Constraints: 1312284
2856.99/2864.79 c #Conflicts: 1583000 | #Constraints: 1313284
2856.99/2864.79 c #Conflicts: 1584000 | #Constraints: 1314284
2856.99/2864.79 c #Conflicts: 1585000 | #Constraints: 1315284
2856.99/2864.79 c #Conflicts: 1586000 | #Constraints: 1316284
2856.99/2864.79 c #Conflicts: 1587000 | #Constraints: 1317284
2856.99/2864.79 c #Conflicts: 1588000 | #Constraints: 1318284
2856.99/2864.79 c #Conflicts: 1589000 | #Constraints: 1319284
2856.99/2864.79 c #Conflicts: 1590000 | #Constraints: 1320284
2856.99/2864.79 c #Conflicts: 1591000 | #Constraints: 1321284
2856.99/2864.79 c #Conflicts: 1592000 | #Constraints: 1322284
2856.99/2864.79 c #Conflicts: 1593000 | #Constraints: 1323284
2856.99/2864.79 c #Conflicts: 1594000 | #Constraints: 1324284
2856.99/2864.79 c #Conflicts: 1595000 | #Constraints: 1325284
2856.99/2864.79 c #Conflicts: 1596000 | #Constraints: 1326284
2856.99/2864.79 c #Conflicts: 1597000 | #Constraints: 1327284
2856.99/2864.79 c #Conflicts: 1598000 | #Constraints: 1328284
2856.99/2864.79 c #Conflicts: 1599000 | #Constraints: 1329284
2856.99/2864.79 c #Conflicts: 1600000 | #Constraints: 1330284
2856.99/2864.79 c #Conflicts: 1601000 | #Constraints: 1331284
2856.99/2864.79 c #Conflicts: 1602000 | #Constraints: 1332284
2856.99/2864.79 c #Conflicts: 1603000 | #Constraints: 1333284
2856.99/2864.79 c #Conflicts: 1604000 | #Constraints: 1334284
2856.99/2864.79 c #Conflicts: 1605000 | #Constraints: 1335284
2856.99/2864.79 c #Conflicts: 1606000 | #Constraints: 1336284
2856.99/2864.79 c #Conflicts: 1607000 | #Constraints: 1337284
2856.99/2864.79 c #Conflicts: 1608000 | #Constraints: 1338284
2856.99/2864.79 c #Conflicts: 1609000 | #Constraints: 1339284
2856.99/2864.79 c #Conflicts: 1610000 | #Constraints: 1340284
2856.99/2864.79 c #Conflicts: 1611000 | #Constraints: 1341284
2856.99/2864.79 c #Conflicts: 1612000 | #Constraints: 1342284
2856.99/2864.79 c #Conflicts: 1613000 | #Constraints: 1343284
2856.99/2864.79 c #Conflicts: 1614000 | #Constraints: 1344284
2856.99/2864.79 c #Conflicts: 1615000 | #Constraints: 1345284
2856.99/2864.79 c #Conflicts: 1616000 | #Constraints: 1346284
2856.99/2864.79 c #Conflicts: 1617000 | #Constraints: 1347284
2856.99/2864.79 c #Conflicts: 1618000 | #Constraints: 1348284
2856.99/2864.79 c #Conflicts: 1619000 | #Constraints: 1349284
2856.99/2864.79 c #Conflicts: 1620000 | #Constraints: 1350284
2856.99/2864.79 c #Conflicts: 1621000 | #Constraints: 1351284
2856.99/2864.79 c #Conflicts: 1622000 | #Constraints: 1352284
3045.79/3054.06 c #Conflicts: 1623000 | #Constraints: 1353284
3045.79/3054.06 c #Conflicts: 1624000 | #Constraints: 1354284
3045.79/3054.06 c #Conflicts: 1625000 | #Constraints: 1355284
3045.79/3054.06 c #Conflicts: 1626000 | #Constraints: 1356284
3045.79/3054.06 c #Conflicts: 1627000 | #Constraints: 1357284
3045.79/3054.06 c #Conflicts: 1628000 | #Constraints: 1358284
3045.79/3054.06 c #Conflicts: 1629000 | #Constraints: 1359284
3045.79/3054.06 c #Conflicts: 1630000 | #Constraints: 1360284
3045.79/3054.06 c #Conflicts: 1631000 | #Constraints: 1361284
3045.79/3054.06 c #Conflicts: 1632000 | #Constraints: 1362284
3045.79/3054.06 c #Conflicts: 1633000 | #Constraints: 1363284
3045.79/3054.06 c #Conflicts: 1634000 | #Constraints: 1364284
3045.79/3054.06 c #Conflicts: 1635000 | #Constraints: 1365284
3045.79/3054.06 c #Conflicts: 1636000 | #Constraints: 1366284
3045.79/3054.06 c #Conflicts: 1637000 | #Constraints: 1367284
3045.79/3054.06 c #Conflicts: 1638000 | #Constraints: 1368284
3045.79/3054.06 c #Conflicts: 1639000 | #Constraints: 1369284
3045.79/3054.06 c #Conflicts: 1640000 | #Constraints: 1370284
3045.79/3054.06 c #Conflicts: 1641000 | #Constraints: 1371284
3045.79/3054.06 c #Conflicts: 1642000 | #Constraints: 1372284
3045.79/3054.06 c #Conflicts: 1643000 | #Constraints: 1373284
3045.79/3054.06 c #Conflicts: 1644000 | #Constraints: 1374284
3045.79/3054.06 c #Conflicts: 1645000 | #Constraints: 1375284
3045.79/3054.06 c #Conflicts: 1646000 | #Constraints: 1376284
3045.79/3054.06 c #Conflicts: 1647000 | #Constraints: 1377284
3045.79/3054.06 c #Conflicts: 1648000 | #Constraints: 1378284
3045.79/3054.06 c #Conflicts: 1649000 | #Constraints: 1379284
3045.79/3054.06 c #Conflicts: 1650000 | #Constraints: 1380284
3045.79/3054.06 c #Conflicts: 1651000 | #Constraints: 1381284
3045.79/3054.06 c #Conflicts: 1652000 | #Constraints: 1382284
3045.79/3054.06 c #Conflicts: 1653000 | #Constraints: 1383284
3045.79/3054.06 c #Conflicts: 1654000 | #Constraints: 1384284
3045.79/3054.06 c #Conflicts: 1655000 | #Constraints: 1385284
3045.79/3054.06 c #Conflicts: 1656000 | #Constraints: 1386284
3045.79/3054.06 c #Conflicts: 1657000 | #Constraints: 1387284
3045.79/3054.06 c INPROCESSING
3045.79/3054.06 c GARBAGE COLLECT
3045.79/3054.06 c #Conflicts: 1658000 | #Constraints: 1320196
3045.79/3054.06 c #Conflicts: 1659000 | #Constraints: 1321196
3045.79/3054.06 c #Conflicts: 1660000 | #Constraints: 1322196
3045.79/3054.06 c #Conflicts: 1661000 | #Constraints: 1323196
3045.79/3054.06 c #Conflicts: 1662000 | #Constraints: 1324196
3045.79/3054.06 c #Conflicts: 1663000 | #Constraints: 1325196
3045.79/3054.06 c #Conflicts: 1664000 | #Constraints: 1326196
3045.79/3054.06 c #Conflicts: 1665000 | #Constraints: 1327196
3045.79/3054.06 c #Conflicts: 1666000 | #Constraints: 1328196
3045.79/3054.06 c #Conflicts: 1667000 | #Constraints: 1329196
3045.79/3054.06 c #Conflicts: 1668000 | #Constraints: 1330196
3045.79/3054.06 c #Conflicts: 1669000 | #Constraints: 1331196
3045.79/3054.06 c #Conflicts: 1670000 | #Constraints: 1332196
3045.79/3054.06 c #Conflicts: 1671000 | #Constraints: 1333196
3045.79/3054.06 c #Conflicts: 1672000 | #Constraints: 1334196
3045.79/3054.06 c #Conflicts: 1673000 | #Constraints: 1335196
3045.79/3054.06 c #Conflicts: 1674000 | #Constraints: 1336196
3045.79/3054.06 c #Conflicts: 1675000 | #Constraints: 1337196
3045.79/3054.06 c #Conflicts: 1676000 | #Constraints: 1338196
3045.79/3054.06 c #Conflicts: 1677000 | #Constraints: 1339196
3045.79/3054.06 c #Conflicts: 1678000 | #Constraints: 1340196
3045.79/3054.06 c #Conflicts: 1679000 | #Constraints: 1341196
3045.79/3054.06 c #Conflicts: 1680000 | #Constraints: 1342196
3045.79/3054.06 c #Conflicts: 1681000 | #Constraints: 1343196
3045.79/3054.06 c #Conflicts: 1682000 | #Constraints: 1344196
3045.79/3054.06 c #Conflicts: 1683000 | #Constraints: 1345196
3045.79/3054.06 c #Conflicts: 1684000 | #Constraints: 1346196
3045.79/3054.06 c #Conflicts: 1685000 | #Constraints: 1347196
3045.79/3054.06 c #Conflicts: 1686000 | #Constraints: 1348196
3045.79/3054.06 c #Conflicts: 1687000 | #Constraints: 1349196
3045.79/3054.06 c #Conflicts: 1688000 | #Constraints: 1350196
3045.79/3054.06 c #Conflicts: 1689000 | #Constraints: 1351196
3045.79/3054.06 c #Conflicts: 1690000 | #Constraints: 1352196
3045.79/3054.06 c #Conflicts: 1691000 | #Constraints: 1353196
3045.79/3054.06 c #Conflicts: 1692000 | #Constraints: 1354196
3045.79/3054.06 c #Conflicts: 1693000 | #Constraints: 1355196
3045.79/3054.06 c #Conflicts: 1694000 | #Constraints: 1356196
3045.79/3054.06 c INPROCESSING
3045.79/3054.06 c GARBAGE COLLECT
3045.79/3054.06 c #Conflicts: 1695000 | #Constraints: 1307761
3045.79/3054.06 c #Conflicts: 1696000 | #Constraints: 1308761
3045.79/3054.06 c #Conflicts: 1697000 | #Constraints: 1309761
3045.79/3054.06 c #Conflicts: 1698000 | #Constraints: 1310761
3045.79/3054.06 c #Conflicts: 1699000 | #Constraints: 1311761
3211.62/3220.34 c #Conflicts: 1700000 | #Constraints: 1312761
3211.62/3220.34 c #Conflicts: 1701000 | #Constraints: 1313761
3211.62/3220.34 c #Conflicts: 1702000 | #Constraints: 1314761
3211.62/3220.34 c #Conflicts: 1703000 | #Constraints: 1315761
3211.62/3220.34 c #Conflicts: 1704000 | #Constraints: 1316761
3211.62/3220.34 c #Conflicts: 1705000 | #Constraints: 1317761
3211.62/3220.34 c #Conflicts: 1706000 | #Constraints: 1318761
3211.62/3220.34 c #Conflicts: 1707000 | #Constraints: 1319761
3211.62/3220.34 c #Conflicts: 1708000 | #Constraints: 1320761
3211.62/3220.34 c #Conflicts: 1709000 | #Constraints: 1321761
3211.62/3220.34 c #Conflicts: 1710000 | #Constraints: 1322761
3211.62/3220.34 c #Conflicts: 1711000 | #Constraints: 1323761
3211.62/3220.34 c #Conflicts: 1712000 | #Constraints: 1324761
3211.62/3220.34 c #Conflicts: 1713000 | #Constraints: 1325761
3211.62/3220.34 c #Conflicts: 1714000 | #Constraints: 1326761
3211.62/3220.34 c #Conflicts: 1715000 | #Constraints: 1327761
3211.62/3220.34 c #Conflicts: 1716000 | #Constraints: 1328761
3211.62/3220.34 c #Conflicts: 1717000 | #Constraints: 1329761
3211.62/3220.34 c #Conflicts: 1718000 | #Constraints: 1330761
3211.62/3220.34 c #Conflicts: 1719000 | #Constraints: 1331761
3211.62/3220.34 c #Conflicts: 1720000 | #Constraints: 1332761
3211.62/3220.34 c #Conflicts: 1721000 | #Constraints: 1333761
3211.62/3220.34 c #Conflicts: 1722000 | #Constraints: 1334761
3211.62/3220.34 c #Conflicts: 1723000 | #Constraints: 1335761
3211.62/3220.34 c #Conflicts: 1724000 | #Constraints: 1336761
3211.62/3220.34 c #Conflicts: 1725000 | #Constraints: 1337761
3211.62/3220.34 c #Conflicts: 1726000 | #Constraints: 1338761
3211.62/3220.34 c #Conflicts: 1727000 | #Constraints: 1339761
3211.62/3220.34 c #Conflicts: 1728000 | #Constraints: 1340761
3211.62/3220.34 c #Conflicts: 1729000 | #Constraints: 1341761
3211.62/3220.34 c #Conflicts: 1730000 | #Constraints: 1342761
3211.62/3220.34 c #Conflicts: 1731000 | #Constraints: 1343761
3211.62/3220.34 c #Conflicts: 1732000 | #Constraints: 1344761
3211.62/3220.34 c #Conflicts: 1733000 | #Constraints: 1345761
3211.62/3220.34 c #Conflicts: 1734000 | #Constraints: 1346761
3211.62/3220.34 c #Conflicts: 1735000 | #Constraints: 1347761
3211.62/3220.34 c #Conflicts: 1736000 | #Constraints: 1348761
3211.62/3220.34 c #Conflicts: 1737000 | #Constraints: 1349761
3211.62/3220.34 c #Conflicts: 1738000 | #Constraints: 1350761
3211.62/3220.34 c #Conflicts: 1739000 | #Constraints: 1351761
3211.62/3220.34 c #Conflicts: 1740000 | #Constraints: 1352761
3211.62/3220.34 c #Conflicts: 1741000 | #Constraints: 1353761
3211.62/3220.34 c #Conflicts: 1742000 | #Constraints: 1354761
3211.62/3220.34 c #Conflicts: 1743000 | #Constraints: 1355761
3211.62/3220.34 c #Conflicts: 1744000 | #Constraints: 1356761
3211.62/3220.34 c #Conflicts: 1745000 | #Constraints: 1357761
3211.62/3220.34 c #Conflicts: 1746000 | #Constraints: 1358761
3211.62/3220.34 c #Conflicts: 1747000 | #Constraints: 1359761
3211.62/3220.34 c #Conflicts: 1748000 | #Constraints: 1360761
3211.62/3220.34 c #Conflicts: 1749000 | #Constraints: 1361761
3211.62/3220.34 c #Conflicts: 1750000 | #Constraints: 1362761
3211.62/3220.34 c #Conflicts: 1751000 | #Constraints: 1363761
3211.62/3220.34 c #Conflicts: 1752000 | #Constraints: 1364761
3211.62/3220.34 c #Conflicts: 1753000 | #Constraints: 1365761
3211.62/3220.34 c #Conflicts: 1754000 | #Constraints: 1366761
3211.62/3220.34 c #Conflicts: 1755000 | #Constraints: 1367761
3211.62/3220.34 c #Conflicts: 1756000 | #Constraints: 1368761
3211.62/3220.34 c #Conflicts: 1757000 | #Constraints: 1369761
3211.62/3220.34 c #Conflicts: 1758000 | #Constraints: 1370761
3211.62/3220.34 c #Conflicts: 1759000 | #Constraints: 1371761
3211.62/3220.34 c #Conflicts: 1760000 | #Constraints: 1372761
3211.62/3220.34 c #Conflicts: 1761000 | #Constraints: 1373761
3211.62/3220.34 c #Conflicts: 1762000 | #Constraints: 1374761
3211.62/3220.34 c #Conflicts: 1763000 | #Constraints: 1375761
3211.62/3220.34 c #Conflicts: 1764000 | #Constraints: 1376761
3211.62/3220.34 c #Conflicts: 1765000 | #Constraints: 1377761
3211.62/3220.34 c #Conflicts: 1766000 | #Constraints: 1378761
3211.62/3220.34 c #Conflicts: 1767000 | #Constraints: 1379761
3211.62/3220.34 c #Conflicts: 1768000 | #Constraints: 1380761
3211.62/3220.34 c #Conflicts: 1769000 | #Constraints: 1381761
3211.62/3220.34 c #Conflicts: 1770000 | #Constraints: 1382761
3211.62/3220.34 c #Conflicts: 1771000 | #Constraints: 1383761
3211.62/3220.34 c #Conflicts: 1772000 | #Constraints: 1384761
3211.62/3220.34 c #Conflicts: 1773000 | #Constraints: 1385761
3211.62/3220.34 c #Conflicts: 1774000 | #Constraints: 1386761
3211.62/3220.34 c #Conflicts: 1775000 | #Constraints: 1387761
3211.62/3220.34 c #Conflicts: 1776000 | #Constraints: 1388761
3211.62/3220.34 c #Conflicts: 1777000 | #Constraints: 1389761
3211.62/3220.34 c #Conflicts: 1778000 | #Constraints: 1390761
3336.39/3345.44 c #Conflicts: 1779000 | #Constraints: 1391761
3336.39/3345.44 c #Conflicts: 1780000 | #Constraints: 1392761
3336.39/3345.44 c INPROCESSING
3336.39/3345.44 c GARBAGE COLLECT
3336.39/3345.44 c #Conflicts: 1781000 | #Constraints: 1324059
3336.39/3345.44 c #Conflicts: 1782000 | #Constraints: 1325059
3336.39/3345.44 c #Conflicts: 1783000 | #Constraints: 1326059
3336.39/3345.44 c #Conflicts: 1784000 | #Constraints: 1327059
3336.39/3345.44 c #Conflicts: 1785000 | #Constraints: 1328059
3336.39/3345.44 c #Conflicts: 1786000 | #Constraints: 1329059
3336.39/3345.44 c #Conflicts: 1787000 | #Constraints: 1330059
3336.39/3345.44 c #Conflicts: 1788000 | #Constraints: 1331059
3336.39/3345.44 c #Conflicts: 1789000 | #Constraints: 1332059
3336.39/3345.44 c #Conflicts: 1790000 | #Constraints: 1333059
3336.39/3345.44 c #Conflicts: 1791000 | #Constraints: 1334059
3336.39/3345.44 c #Conflicts: 1792000 | #Constraints: 1335059
3336.39/3345.44 c #Conflicts: 1793000 | #Constraints: 1336059
3336.39/3345.44 c #Conflicts: 1794000 | #Constraints: 1337059
3336.39/3345.44 c #Conflicts: 1795000 | #Constraints: 1338059
3336.39/3345.44 c #Conflicts: 1796000 | #Constraints: 1339059
3336.39/3345.44 c #Conflicts: 1797000 | #Constraints: 1340059
3336.39/3345.44 c #Conflicts: 1798000 | #Constraints: 1341059
3336.39/3345.44 c #Conflicts: 1799000 | #Constraints: 1342059
3336.39/3345.44 c #Conflicts: 1800000 | #Constraints: 1343059
3336.39/3345.44 c #Conflicts: 1801000 | #Constraints: 1344059
3336.39/3345.44 c #Conflicts: 1802000 | #Constraints: 1345059
3336.39/3345.44 c #Conflicts: 1803000 | #Constraints: 1346059
3336.39/3345.44 c #Conflicts: 1804000 | #Constraints: 1347059
3336.39/3345.44 c #Conflicts: 1805000 | #Constraints: 1348059
3336.39/3345.44 c #Conflicts: 1806000 | #Constraints: 1349059
3336.39/3345.44 c #Conflicts: 1807000 | #Constraints: 1350059
3336.39/3345.44 c #Conflicts: 1808000 | #Constraints: 1351059
3336.39/3345.44 c #Conflicts: 1809000 | #Constraints: 1352059
3336.39/3345.44 c #Conflicts: 1810000 | #Constraints: 1353059
3336.39/3345.44 c #Conflicts: 1811000 | #Constraints: 1354059
3336.39/3345.44 c #Conflicts: 1812000 | #Constraints: 1355059
3336.39/3345.44 c #Conflicts: 1813000 | #Constraints: 1356059
3336.39/3345.44 c #Conflicts: 1814000 | #Constraints: 1357059
3336.39/3345.44 c #Conflicts: 1815000 | #Constraints: 1358059
3336.39/3345.44 c #Conflicts: 1816000 | #Constraints: 1359059
3336.39/3345.44 c #Conflicts: 1817000 | #Constraints: 1360059
3336.39/3345.44 c #Conflicts: 1818000 | #Constraints: 1361059
3336.39/3345.44 c INPROCESSING
3336.39/3345.44 c GARBAGE COLLECT
3336.39/3345.44 c #Conflicts: 1819000 | #Constraints: 1311549
3336.39/3345.44 c #Conflicts: 1820000 | #Constraints: 1312549
3336.39/3345.44 c #Conflicts: 1821000 | #Constraints: 1313549
3336.39/3345.44 c #Conflicts: 1822000 | #Constraints: 1314549
3336.39/3345.44 c #Conflicts: 1823000 | #Constraints: 1315549
3336.39/3345.44 c #Conflicts: 1824000 | #Constraints: 1316549
3336.39/3345.44 c #Conflicts: 1825000 | #Constraints: 1317549
3336.39/3345.44 c #Conflicts: 1826000 | #Constraints: 1318549
3336.39/3345.44 c #Conflicts: 1827000 | #Constraints: 1319549
3336.39/3345.44 c #Conflicts: 1828000 | #Constraints: 1320549
3336.39/3345.44 c #Conflicts: 1829000 | #Constraints: 1321549
3336.39/3345.44 c #Conflicts: 1830000 | #Constraints: 1322549
3336.39/3345.44 c #Conflicts: 1831000 | #Constraints: 1323549
3336.39/3345.44 c #Conflicts: 1832000 | #Constraints: 1324549
3336.39/3345.44 c #Conflicts: 1833000 | #Constraints: 1325549
3336.39/3345.44 c #Conflicts: 1834000 | #Constraints: 1326549
3336.39/3345.44 c #Conflicts: 1835000 | #Constraints: 1327549
3336.39/3345.44 c #Conflicts: 1836000 | #Constraints: 1328549
3336.39/3345.44 c #Conflicts: 1837000 | #Constraints: 1329549
3336.39/3345.44 c #Conflicts: 1838000 | #Constraints: 1330549
3336.39/3345.44 c #Conflicts: 1839000 | #Constraints: 1331549
3336.39/3345.44 c #Conflicts: 1840000 | #Constraints: 1332549
3336.39/3345.44 c #Conflicts: 1841000 | #Constraints: 1333549
3336.39/3345.44 c #Conflicts: 1842000 | #Constraints: 1334549
3336.39/3345.44 c #Conflicts: 1843000 | #Constraints: 1335549
3336.39/3345.44 c #Conflicts: 1844000 | #Constraints: 1336549
3336.39/3345.44 c #Conflicts: 1845000 | #Constraints: 1337549
3336.39/3345.44 c #Conflicts: 1846000 | #Constraints: 1338549
3336.39/3345.44 c #Conflicts: 1847000 | #Constraints: 1339549
3336.39/3345.44 c #Conflicts: 1848000 | #Constraints: 1340549
3336.39/3345.44 c #Conflicts: 1849000 | #Constraints: 1341549
3336.39/3345.44 c #Conflicts: 1850000 | #Constraints: 1342549
3336.39/3345.44 c #Conflicts: 1851000 | #Constraints: 1343549
3336.39/3345.44 c #Conflicts: 1852000 | #Constraints: 1344549
3336.39/3345.44 c #Conflicts: 1853000 | #Constraints: 1345549
3336.39/3345.44 c #Conflicts: 1854000 | #Constraints: 1346549
3336.39/3345.44 c #Conflicts: 1855000 | #Constraints: 1347549
3506.64/3516.18 c #Conflicts: 1856000 | #Constraints: 1348549
3506.64/3516.18 c #Conflicts: 1857000 | #Constraints: 1349549
3506.64/3516.18 c #Conflicts: 1858000 | #Constraints: 1350549
3506.64/3516.18 c #Conflicts: 1859000 | #Constraints: 1351549
3506.64/3516.18 c #Conflicts: 1860000 | #Constraints: 1352549
3506.64/3516.18 c #Conflicts: 1861000 | #Constraints: 1353549
3506.64/3516.18 c #Conflicts: 1862000 | #Constraints: 1354549
3506.64/3516.18 c #Conflicts: 1863000 | #Constraints: 1355549
3506.64/3516.18 c #Conflicts: 1864000 | #Constraints: 1356549
3506.64/3516.18 c #Conflicts: 1865000 | #Constraints: 1357549
3506.64/3516.18 c #Conflicts: 1866000 | #Constraints: 1358549
3506.64/3516.18 c #Conflicts: 1867000 | #Constraints: 1359549
3506.64/3516.18 c #Conflicts: 1868000 | #Constraints: 1360549
3506.64/3516.18 c #Conflicts: 1869000 | #Constraints: 1361549
3506.64/3516.18 c #Conflicts: 1870000 | #Constraints: 1362549
3506.64/3516.18 c #Conflicts: 1871000 | #Constraints: 1363549
3506.64/3516.18 c #Conflicts: 1872000 | #Constraints: 1364549
3506.64/3516.18 c #Conflicts: 1873000 | #Constraints: 1365549
3506.64/3516.18 c #Conflicts: 1874000 | #Constraints: 1366549
3506.64/3516.18 c #Conflicts: 1875000 | #Constraints: 1367549
3506.64/3516.18 c #Conflicts: 1876000 | #Constraints: 1368549
3506.64/3516.18 c #Conflicts: 1877000 | #Constraints: 1369549
3506.64/3516.18 c #Conflicts: 1878000 | #Constraints: 1370549
3506.64/3516.18 c #Conflicts: 1879000 | #Constraints: 1371549
3506.64/3516.18 c #Conflicts: 1880000 | #Constraints: 1372549
3506.64/3516.18 c #Conflicts: 1881000 | #Constraints: 1373549
3506.64/3516.18 c #Conflicts: 1882000 | #Constraints: 1374549
3506.64/3516.18 c #Conflicts: 1883000 | #Constraints: 1375549
3506.64/3516.18 c #Conflicts: 1884000 | #Constraints: 1376549
3506.64/3516.18 c #Conflicts: 1885000 | #Constraints: 1377549
3506.64/3516.18 c #Conflicts: 1886000 | #Constraints: 1378549
3506.64/3516.18 c #Conflicts: 1887000 | #Constraints: 1379549
3506.64/3516.18 c #Conflicts: 1888000 | #Constraints: 1380549
3506.64/3516.18 c #Conflicts: 1889000 | #Constraints: 1381549
3506.64/3516.18 c #Conflicts: 1890000 | #Constraints: 1382549
3506.64/3516.18 c #Conflicts: 1891000 | #Constraints: 1383549
3506.64/3516.18 c #Conflicts: 1892000 | #Constraints: 1384549
3506.64/3516.18 c #Conflicts: 1893000 | #Constraints: 1385549
3506.64/3516.18 c #Conflicts: 1894000 | #Constraints: 1386549
3506.64/3516.18 c #Conflicts: 1895000 | #Constraints: 1387549
3506.64/3516.18 c #Conflicts: 1896000 | #Constraints: 1388549
3506.64/3516.18 c #Conflicts: 1897000 | #Constraints: 1389549
3506.64/3516.18 c #Conflicts: 1898000 | #Constraints: 1390549
3506.64/3516.18 c #Conflicts: 1899000 | #Constraints: 1391549
3506.64/3516.18 c #Conflicts: 1900000 | #Constraints: 1392549
3506.64/3516.18 c #Conflicts: 1901000 | #Constraints: 1393549
3506.64/3516.18 c #Conflicts: 1902000 | #Constraints: 1394549
3506.64/3516.18 c #Conflicts: 1903000 | #Constraints: 1395549
3506.64/3516.18 c #Conflicts: 1904000 | #Constraints: 1396549
3506.64/3516.18 c #Conflicts: 1905000 | #Constraints: 1397549
3506.64/3516.18 c #Conflicts: 1906000 | #Constraints: 1398549
3506.64/3516.18 c #Conflicts: 1907000 | #Constraints: 1399549
3506.64/3516.18 c #Conflicts: 1908000 | #Constraints: 1400549
3506.64/3516.18 c INPROCESSING
3506.64/3516.18 c GARBAGE COLLECT
3506.64/3516.18 c #Conflicts: 1909000 | #Constraints: 1328404
3506.64/3516.18 c #Conflicts: 1910000 | #Constraints: 1329404
3506.64/3516.18 c #Conflicts: 1911000 | #Constraints: 1330404
3506.64/3516.18 c #Conflicts: 1912000 | #Constraints: 1331404
3506.64/3516.18 c #Conflicts: 1913000 | #Constraints: 1332404
3506.64/3516.18 c #Conflicts: 1914000 | #Constraints: 1333404
3506.64/3516.18 c #Conflicts: 1915000 | #Constraints: 1334404
3506.64/3516.18 c #Conflicts: 1916000 | #Constraints: 1335404
3506.64/3516.18 c #Conflicts: 1917000 | #Constraints: 1336404
3506.64/3516.18 c #Conflicts: 1918000 | #Constraints: 1337404
3506.64/3516.18 c #Conflicts: 1919000 | #Constraints: 1338404
3506.64/3516.18 c #Conflicts: 1920000 | #Constraints: 1339404
3506.64/3516.18 c #Conflicts: 1921000 | #Constraints: 1340404
3506.64/3516.18 c #Conflicts: 1922000 | #Constraints: 1341404
3506.64/3516.18 c #Conflicts: 1923000 | #Constraints: 1342404
3506.64/3516.18 c #Conflicts: 1924000 | #Constraints: 1343404
3506.64/3516.18 c #Conflicts: 1925000 | #Constraints: 1344404
3506.64/3516.18 c #Conflicts: 1926000 | #Constraints: 1345404
3506.64/3516.18 c #Conflicts: 1927000 | #Constraints: 1346404
3506.64/3516.18 c #Conflicts: 1928000 | #Constraints: 1347404
3506.64/3516.18 c #Conflicts: 1929000 | #Constraints: 1348404
3506.64/3516.18 c #Conflicts: 1930000 | #Constraints: 1349404
3506.64/3516.18 c #Conflicts: 1931000 | #Constraints: 1350404
3506.64/3516.18 c #Conflicts: 1932000 | #Constraints: 1351404
3506.64/3516.18 c #Conflicts: 1933000 | #Constraints: 1352404
3506.64/3516.18 c #Conflicts: 1934000 | #Constraints: 1353404
3600.08/3609.80 c #Conflicts: 1935000 | #Constraints: 1354404
3600.08/3609.80 c #Conflicts: 1936000 | #Constraints: 1355404
3600.08/3609.80 c #Conflicts: 1937000 | #Constraints: 1356404
3600.08/3609.80 c #Conflicts: 1938000 | #Constraints: 1357404
3600.08/3609.80 c #Conflicts: 1939000 | #Constraints: 1358404
3600.08/3609.80 c #Conflicts: 1940000 | #Constraints: 1359404
3600.08/3609.80 c #Conflicts: 1941000 | #Constraints: 1360404
3600.08/3609.80 c #Conflicts: 1942000 | #Constraints: 1361404
3600.08/3609.80 c #Conflicts: 1943000 | #Constraints: 1362404
3600.08/3609.80 c #Conflicts: 1944000 | #Constraints: 1363404
3600.08/3609.80 c #Conflicts: 1945000 | #Constraints: 1364404
3600.08/3609.80 c #Conflicts: 1946000 | #Constraints: 1365404
3600.08/3609.80 c #Conflicts: 1947000 | #Constraints: 1366404
3600.08/3609.80 c INPROCESSING
3600.08/3609.80 c GARBAGE COLLECT
3600.08/3609.80 c #Conflicts: 1948000 | #Constraints: 1315175
3600.08/3609.80 c #Conflicts: 1949000 | #Constraints: 1316175
3600.08/3609.80 c #Conflicts: 1950000 | #Constraints: 1317175
3600.08/3609.80 c #Conflicts: 1951000 | #Constraints: 1318175
3600.08/3609.80 c #Conflicts: 1952000 | #Constraints: 1319175
3600.08/3609.80 c #Conflicts: 1953000 | #Constraints: 1320175
3600.08/3609.80 c #Conflicts: 1954000 | #Constraints: 1321175
3600.08/3609.80 c #Conflicts: 1955000 | #Constraints: 1322175
3600.08/3609.80 c #Conflicts: 1956000 | #Constraints: 1323175
3600.08/3609.80 c #Conflicts: 1957000 | #Constraints: 1324175
3600.08/3609.80 c #Conflicts: 1958000 | #Constraints: 1325175
3600.08/3609.80 c #Conflicts: 1959000 | #Constraints: 1326175
3600.08/3609.80 c #Conflicts: 1960000 | #Constraints: 1327175
3600.08/3609.80 c #Conflicts: 1961000 | #Constraints: 1328175
3600.08/3609.80 c #Conflicts: 1962000 | #Constraints: 1329175
3600.08/3609.80 c #Conflicts: 1963000 | #Constraints: 1330175
3600.08/3609.80 c #Conflicts: 1964000 | #Constraints: 1331175
3600.08/3609.80 c #Conflicts: 1965000 | #Constraints: 1332175
3600.08/3609.80 c #Conflicts: 1966000 | #Constraints: 1333175
3600.08/3609.80 c #Conflicts: 1967000 | #Constraints: 1334175
3600.08/3609.80 c #Conflicts: 1968000 | #Constraints: 1335175
3600.08/3609.80 c #Conflicts: 1969000 | #Constraints: 1336175
3600.08/3609.80 c #Conflicts: 1970000 | #Constraints: 1337175
3600.08/3609.80 c #Conflicts: 1971000 | #Constraints: 1338175
3600.08/3609.80 c #Conflicts: 1972000 | #Constraints: 1339175
3600.08/3609.80 c #Conflicts: 1973000 | #Constraints: 1340175
3600.08/3609.80 c #Conflicts: 1974000 | #Constraints: 1341175
3600.08/3609.80 c #Conflicts: 1975000 | #Constraints: 1342175
3600.08/3609.80 c #Conflicts: 1976000 | #Constraints: 1343175
3600.08/3609.80 c #Conflicts: 1977000 | #Constraints: 1344175
3600.08/3609.80 c cpu time 3504.89 s
3600.08/3609.80 c deterministic time 260579283334 2.61e+11
3600.08/3609.80 c optimization time 55.2586 s
3600.08/3609.80 c total solve time 3447 s
3600.08/3609.80 c core-guided solve time 1621.05 s
3600.08/3609.80 c propagation time 2143.53 s
3600.08/3609.80 c conflict analysis time 1028.82 s
3600.08/3609.80 c propagations 3827538054
3600.08/3609.80 c resolve steps 42384495
3600.08/3609.80 c decisions 113569206
3600.08/3609.80 c conflicts 1977755
3600.08/3609.80 c restarts 3856
3600.08/3609.80 c inprocessing phases 59
3600.08/3609.80 c garbage collections 57 ,( 96.61 )
3600.08/3609.80 c input clauses 1260881 ,( 99.93 )
3600.08/3609.80 c input cardinalities 714 ,( 0.06 )
3600.08/3609.80 c input general constraints 128 ,( 0.01 )
3600.08/3609.80 c input average constraint length 3.14
3600.08/3609.80 c input average constraint degree 31.27
3600.08/3609.80 c learned clauses 610191 ,( 30.85 )
3600.08/3609.80 c learned cardinalities 35820 ,( 1.81 )
3600.08/3609.80 c learned general constraints 1331743 ,( 67.34 )
3600.08/3609.80 c learned average constraint length 927.62
3600.08/3609.80 c learned average constraint degree 19187190.11
3600.08/3609.80 c watched CF 32, 64, 128, Arb: 732563 , 0 , 0 , 0
3600.08/3609.80 c counting CF 32, 64, 128, Arb: 599309 , 0 , 0 , 0
3600.08/3609.80 c watched constraints 732563 ,( 55.00 )
3600.08/3609.80 c counting constraints 599308 ,( 45.00 )
3600.08/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3478243003 , 137860535 , 1321557048 ,( 308308327 , 1013248721 )
3600.08/3609.80 c gcd simplifications 132248
3600.08/3609.80 c detected cardinalities 1374
3600.08/3609.80 c weakened non-implied lits 1055961496
3600.08/3609.80 c weakened non-implying lits 602770
3600.08/3609.80 c original variables 465168
3600.08/3609.80 c clausal propagations 3223617682
3600.08/3609.80 c cardinality propagations 138396008
3600.08/3609.80 c watched propagations 6358487
3600.08/3609.80 c counting propagations 442339738
3600.08/3609.80 c watch lookups 73457793491
3600.08/3609.80 c watch backjump lookups 0
3600.08/3609.80 c watch checks 123123446310
3600.08/3609.80 c propagation checks 48994415899
3600.08/3609.80 c constraint additions 7119463629
3600.08/3609.80 c trail pops 3943056744
3600.08/3609.80 c formula constraints 1261723
3600.08/3609.80 c learned constraints 1977754
3600.08/3609.80 c bound constraints 0
3600.08/3609.80 c core-guided constraints 0
3600.08/3609.80 c encountered formula constraints 32749791
3600.08/3609.80 c encountered learned constraints 11612459
3600.08/3609.80 c encountered bound constraints 0
3600.08/3609.80 c encountered core-guided constraints 0
3600.08/3609.80 c LP total time 0 s
3600.08/3609.80 c LP solve time 0 s
3600.08/3609.80 c LP constraints added 0
3600.08/3609.80 c LP constraints removed 0
3600.08/3609.80 c LP pivots internal 0
3600.08/3609.80 c LP pivots root 0
3600.08/3609.80 c LP calls 0
3600.08/3609.80 c LP optimalities 0
3600.08/3609.80 c LP no pivot count 0
3600.08/3609.80 c LP infeasibilities 0
3600.08/3609.80 c LP valid Farkas constraints 0
3600.08/3609.80 c LP learned Farkas constraints 0
3600.08/3609.80 c LP basis resets 0
3600.08/3609.80 c LP cycling count 0
3600.08/3609.80 c LP singular count 0
3600.08/3609.80 c LP no primal count 0
3600.08/3609.80 c LP no farkas count 0
3600.08/3609.80 c LP other issue count 0
3600.08/3609.80 c LP Gomory cuts 0
3600.08/3609.80 c LP learned cuts 0
3600.08/3609.80 c LP deleted cuts 0
3600.08/3609.80 c LP encountered Gomory constraints 0
3600.08/3609.80 c LP encountered Farkas constraints 0
3600.08/3609.80 c LP encountered learned Farkas constraints 0
3600.08/3609.80 c CG auxiliary variables introduced 0
3600.08/3609.80 c CG solutions found 0
3600.08/3609.80 c CG cores constructed 0
3600.08/3609.80 c CG core cardinality constraints returned 0
3600.08/3609.80 c CG unit cores 0
3600.08/3609.80 c CG single cores 0
3600.08/3609.80 c CG blocks removed during cardinality reduction 0
3600.08/3609.80 c CG first core best 0
3600.08/3609.80 c CG decision core best 0
3600.08/3609.80 c CG core reduction tie 0
3600.08/3609.80 c CG core degree average 0.00
3600.08/3609.80 c CG core slack average 0.00
3600.08/3609.80 c CG core upper bound improvements 0
3600.08/3609.80 c STR number of successful calls 0
3600.08/3609.80 c STR number of unsuccessful calls 0
3600.08/3609.80 c STR number of inconclusive calls 0
3600.08/3609.80 c STR number of successful attempts 0
3600.08/3609.80 c STR number of unsuccessful attempts 0
3600.08/3609.80 c STR number of inconclusive attempts 0
3600.08/3609.80 c STR average degree increase per successful call inf
3600.08/3609.80 c STR average degree increase per successful attempt inf
3600.08/3609.80 c STR total number of conflicts for successful attempts 0
3600.08/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.80 c STR average number of conflicts per successful attempt inf
3600.08/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.80 c AVG.sumWPerc 41.70
3600.08/3609.80 c bigint constraints 0
3600.08/3609.80 s UNKNOWN
3600.08/3609.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62279 MiB free)
memory of node 1: 64465 MiB (61948 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509334-1751516357/watcher-4509334-1751516357 -o /tmp/evaluation-result-4509334-1751516357/solver-4509334-1751516357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751512741-72402 --watchdog 3760 run-opt-ls.sh HOME/instance-4509334-1751516357.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=73270, runsolver pid=73267
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.09 4.03 5/266 73272
/proc/meminfo: memFree=127055504/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73272] ppid=73270 vsize=79036 memory=53312 CPUtime=0.08 cores=4,6
/proc/73272/stat : 73272 (pbsuma) R 73270 73270 72384 0 -1 4194304 12146 0 0 0 7 1 0 0 20 0 1 0 67312329 80932864 13328 18446744073709551615 4210688 4653049 140733593386096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25784320 140733593393507 140733593393714 140733593393714 140733593399279 0
/proc/73272/statm: 19759 13328 992 108 0 17167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83228 KiB
Current children cumulated memory: 56384 KiB
[startup+0.205527 s]*
/proc/loadavg: 4.13 4.09 4.03 5/266 73272
/proc/meminfo: memFree=126994828/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73272] ppid=73270 vsize=88728 memory=68292 CPUtime=0.19 cores=4,6
/proc/73272/stat : 73272 (pbsuma) R 73270 73270 72384 0 -1 4194304 14853 0 0 0 17 2 0 0 20 0 1 0 67312329 90857472 17073 18446744073709551615 4210688 4653049 140733593386096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25784320 140733593393507 140733593393714 140733593393714 140733593399279 0
/proc/73272/statm: 22182 17073 992 108 0 19590 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92920 KiB
Current children cumulated memory: 71364 KiB
[startup+0.305482 s]*
/proc/loadavg: 4.13 4.09 4.03 5/266 73272
/proc/meminfo: memFree=126962188/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73272] ppid=73270 vsize=88728 memory=68292 CPUtime=0.29 cores=4,6
/proc/73272/stat : 73272 (pbsuma) R 73270 73270 72384 0 -1 4194304 14863 0 0 0 27 2 0 0 20 0 1 0 67312329 90857472 17073 18446744073709551615 4210688 4653049 140733593386096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25784320 140733593393507 140733593393714 140733593393714 140733593399279 0
/proc/73272/statm: 22182 17073 992 108 0 19590 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92920 KiB
Current children cumulated memory: 71364 KiB
[startup+0.700128 s]
/proc/loadavg: 4.13 4.09 4.03 5/266 73272
/proc/meminfo: memFree=126945808/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73272] ppid=73270 vsize=99844 memory=77252 CPUtime=0.67 cores=4,6
/proc/73272/stat : 73272 (pbsuma) R 73270 73270 72384 0 -1 4194304 17424 0 0 0 65 2 0 0 20 0 1 0 67312329 102240256 19313 18446744073709551615 4210688 4653049 140733593386096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25784320 140733593393507 140733593393714 140733593393714 140733593399279 0
/proc/73272/statm: 24961 19313 992 108 0 22369 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 104036 KiB
Current children cumulated memory: 80324 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.09 4.03 5/266 73272
/proc/meminfo: memFree=126945568/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73272] ppid=73270 vsize=103876 memory=80836 CPUtime=1.48 cores=4,6
/proc/73272/stat : 73272 (pbsuma) R 73270 73270 72384 0 -1 4194304 18302 0 0 0 145 3 0 0 20 0 1 0 67312329 106369024 20209 18446744073709551615 4210688 4653049 140733593386096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25784320 140733593393507 140733593393714 140733593393714 140733593399279 0
/proc/73272/statm: 25969 20209 992 108 0 23377 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108068 KiB
Current children cumulated memory: 83908 KiB
[startup+3.10516 s]
/proc/loadavg: 4.28 4.12 4.04 5/268 73304
/proc/meminfo: memFree=126858324/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73272] ppid=73270 vsize=124956 memory=99796 CPUtime=3.07 cores=4,6
/proc/73272/stat : 73272 (pbsuma) R 73270 73270 72384 0 -1 4194304 20488 0 0 0 303 4 0 0 20 0 1 0 67312329 127954944 24949 18446744073709551615 4210688 4653049 140733593386096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25784320 140733593393507 140733593393714 140733593393714 140733593399279 0
/proc/73272/statm: 31239 24949 992 108 0 28647 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 129148 KiB
Current children cumulated memory: 102868 KiB
[startup+6.30012 s]
/proc/loadavg: 4.28 4.12 4.04 5/268 73304
/proc/meminfo: memFree=126775260/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73272] ppid=73270 vsize=140668 memory=117108 CPUtime=6.26 cores=4,6
/proc/73272/stat : 73272 (pbsuma) R 73270 73270 72384 0 -1 4194304 22299 0 0 0 621 5 0 0 20 0 1 0 67312329 144044032 29277 18446744073709551615 4210688 4653049 140733593386096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25784320 140733593393507 140733593393714 140733593393714 140733593399279 0
/proc/73272/statm: 35167 29277 992 108 0 32575 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144860 KiB
Current children cumulated memory: 120180 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.12 4.04 5/268 73306
/proc/meminfo: memFree=125044456/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=681088 memory=588224 CPUtime=4.17 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 115666 0 0 0 316 101 0 0 20 0 1 0 67313179 697434112 147056 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 170272 147056 2112 1147 0 157699 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 685280 KiB
Current children cumulated memory: 591296 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.11 4.04 4/263 73344
/proc/meminfo: memFree=125414060/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=745576 memory=666576 CPUtime=16.93 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 130164 0 0 0 1503 190 0 0 20 0 1 0 67313179 763469824 166644 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 186394 166644 2176 1147 0 173821 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 749768 KiB
Current children cumulated memory: 669648 KiB
[startup+51.1055 s]
/proc/loadavg: 4.21 4.12 4.04 5/269 73363
/proc/meminfo: memFree=123933572/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=947344 memory=837776 CPUtime=42.47 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 156103 0 0 0 3906 341 0 0 20 0 1 0 67313179 970080256 209444 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 236836 209444 2176 1147 0 224263 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 951536 KiB
Current children cumulated memory: 840848 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.05 5/269 73365
/proc/meminfo: memFree=122620848/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=1059072 memory=914720 CPUtime=93.53 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 162626 0 0 0 8731 622 0 0 20 0 1 0 67313179 1084489728 228680 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 264768 228680 2176 1147 0 252195 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1063264 KiB
Current children cumulated memory: 917792 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/269 73367
/proc/meminfo: memFree=122299508/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=1246352 memory=1130576 CPUtime=153.38 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 193175 0 0 0 14549 789 0 0 20 0 1 0 67313179 1276264448 282644 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 311588 282644 2176 1147 0 299015 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1250544 KiB
Current children cumulated memory: 1133648 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/269 73369
/proc/meminfo: memFree=121750788/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=1364924 memory=1259096 CPUtime=213.23 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 212111 0 0 0 20265 1058 0 0 20 0 1 0 67313179 1397682176 314774 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 341231 314774 2176 1147 0 328658 0
################
# More data... #
################
/proc/loadavg: 4.28 4.19 4.12 5/270 73526
/proc/meminfo: memFree=111508520/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5241772 memory=4584524 CPUtime=3145.34 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 827598 0 0 0 306761 7773 0 0 20 0 1 0 67313179 5367574528 1146131 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1310443 1146131 2176 1147 0 1297870 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 5245964 KiB
Current children cumulated memory: 4587596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/269 73528
/proc/meminfo: memFree=111451520/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5257520 memory=4597324 CPUtime=3205.17 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 831305 0 0 0 312635 7882 0 0 20 0 1 0 67313179 5383700480 1149331 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1314380 1149331 2176 1147 0 1301807 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 5261712 KiB
Current children cumulated memory: 4600396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/270 73531
/proc/meminfo: memFree=111362380/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5286832 memory=4620820 CPUtime=3265.01 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 839638 0 0 0 318461 8040 0 0 20 0 1 0 67313179 5413715968 1155205 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1321708 1155205 2176 1147 0 1309135 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 5291024 KiB
Current children cumulated memory: 4623892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 73533
/proc/meminfo: memFree=111332864/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5286832 memory=4620828 CPUtime=3324.85 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 842293 0 0 0 324337 8148 0 0 20 0 1 0 67313179 5413715968 1155207 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1321708 1155207 2176 1147 0 1309135 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 5291024 KiB
Current children cumulated memory: 4623900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/267 73535
/proc/meminfo: memFree=111095564/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5297876 memory=4631068 CPUtime=3384.69 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 845012 0 0 0 330231 8238 0 0 20 0 1 0 67313179 5425025024 1157767 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1324469 1157767 2176 1147 0 1311896 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 5302068 KiB
Current children cumulated memory: 4634140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 73537
/proc/meminfo: memFree=110738256/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5336784 memory=4666224 CPUtime=3444.52 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 849573 0 0 0 336065 8387 0 0 20 0 1 0 67313179 5464866816 1166556 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1334196 1166556 2176 1147 0 1321623 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 5340976 KiB
Current children cumulated memory: 4669296 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/267 73539
/proc/meminfo: memFree=110559316/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5366064 memory=4687564 CPUtime=3504.36 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 854449 0 0 0 341926 8510 0 0 20 0 1 0 67313179 5494849536 1171891 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1341516 1171891 2176 1147 0 1328943 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 5370256 KiB
Current children cumulated memory: 4690636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 73541
/proc/meminfo: memFree=110366232/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5367280 memory=4688756 CPUtime=3564.2 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 857346 0 0 0 347784 8636 0 0 20 0 1 0 67313179 5496094720 1172189 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1341820 1172189 2176 1147 0 1329247 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 5371472 KiB
Current children cumulated memory: 4691828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 73542
/proc/meminfo: memFree=110346748/131250000 swapFree=33010672/33010684
[pid=73270] ppid=73267 vsize=4192 memory=3072 CPUtime=8.45 cores=4,6
/proc/73270/stat : 73270 (run-opt-ls.sh) S 73267 73270 72384 0 -1 4194304 236 32169 0 0 0 0 836 9 20 0 1 0 67312328 4292608 768 18446744073709551615 94333260800000 94333261694533 140722708458096 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94333261933584 94333261981328 94333287354368 140722708461927 140722708462053 140722708462053 140722708467655 0
/proc/73270/statm: 1048 768 704 219 0 110 0
[pid=73306] ppid=73270 vsize=5368880 memory=4689780 CPUtime=3591.63 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73270 73270 72384 0 -1 4194304 857685 0 0 0 350489 8674 0 0 20 0 1 0 67313179 5497733120 1172445 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1342220 1172445 2176 1147 0 1329647 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 5373072 KiB
Current children cumulated memory: 4692852 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.8 s]
# the end of solver process 73270 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=8.36947 s, system=0.100578 s
Sleeping 2 seconds
[startup+3610.22 s]
# the end of solver process 73306 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3513.52 s, system=86.9927 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.01 s]*
/proc/loadavg: 4.16 4.12 4.09 5/265 73542
/proc/meminfo: memFree=110443564/131250000 swapFree=33010672/33010684
[pid=73306] ppid=73267 vsize=5241768 memory=4593620 CPUtime=3591.83 cores=4,6
/proc/73306/stat : 73306 (roundingsat) R 73267 73270 72384 0 -1 4194304 857708 0 0 0 350509 8674 0 0 20 0 1 0 67313179 5367570432 1148405 18446744073709551615 4227072 8923433 140724840190288 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29446144 140724840196422 140724840196648 140724840196648 140724840202218 0
/proc/73306/statm: 1310442 1148405 2272 1147 0 1297869 0
Current cumulated CPU time of completed processes: 8.47005 s
Current children cumulated CPU time: 3591.83 s
Current children cumulated vsize: 5241768 KiB
Current children cumulated memory: 4593620 KiB
[startup+3610.2 s]*
/proc/loadavg: 4.16 4.12 4.09 5/265 73542
/proc/meminfo: memFree=114648528/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 8.47005 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.22
CPU time (s): 3600.52
CPU user time (s): 3513.52
CPU system time (s): 86.9927
CPU usage (%): 99.7314
Max. virtual memory (cumulated for all children) (KiB): 5403312
Max. memory (cumulated for all children) (KiB): 4720888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3513.52
system time used= 86.9927
maximum resident set size= 4717816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 890142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226
involuntary context switches= 4262
# summary of solver processes directly reported to runsolver:
# pid: 73270,73306
# total CPU time (s): 3600.52
# total CPU user time (s): 3513.52
# total CPU system time (s): 86.9927
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28489 second user time and 17.0397 second system time
The end