0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4509336-1751524861.opb'
0.00/0.04 c read 1.97MB (23.27ms)
0.00/0.04 c [cnf: #variables 45696 #clauses 1557 #duplicates 0 #arr 182848]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.07/0.11 c [group: #orbits ~= 752] (62.62ms)
0.07/0.11 c
0.07/0.11 c detect special group actions
0.07/0.11 c probe for Johnson action (limit=64)
0.17/0.22 c probe for row-column symmetry (limit=64, splits=16.78M)
0.38/0.42 c probe for row symmetry (limit=64, splits=16.78M)
0.38/0.43 c recursing 3840 blocks of candidate 30x1428r
0.38/0.44 c recursing 18 blocks of candidate 3x128r
0.38/0.44 c recursing 630 blocks of candidate 5x1428r
0.38/0.45 c recursing 12 blocks of candidate 3x128r
0.38/0.45 c recursing 1240 blocks of candidate 10x1428r
0.38/0.45 c recursing 6 blocks of candidate 3x128r
0.38/0.46 c recursing 2318 blocks of candidate 19x1428r
0.38/0.48 c found row 4x128, generating row predicate
0.38/0.50 c found row 6x128, generating row predicate
0.48/0.53 c found row 8x128, generating row predicate
0.48/0.53 c found row 3x128, generating row predicate
0.48/0.56 c found row 7x128, generating row predicate
0.48/0.59 c found row 9x128, generating row predicate
0.57/0.62 c found row 10x128, generating row predicate
0.57/0.66 c found row 11x128, generating row predicate
0.66/0.71 c found row 12x128, generating row predicate
0.66/0.75 c found row 13x128, generating row predicate
0.76/0.80 c found row 14x128, generating row predicate
0.76/0.86 c found row 15x128, generating row predicate
0.86/0.91 c found row 16x128, generating row predicate
0.86/0.98 c found row 19x128, generating row predicate
0.97/1.06 c found row 20x128, generating row predicate
1.07/1.14 c found row 22x128, generating row predicate
1.16/1.25 c found row 31x128, generating row predicate
1.26/1.38 c found row 34x128, generating row predicate
1.46/1.55 c found row 44x128, generating row predicate
1.86/1.90 c found row 95x128, generating row predicate
1.86/1.95 c found row 19x1428, generating row predicate
1.86/1.96 c found row 3x128, generating row predicate
1.86/1.98 c recursing 62 blocks of candidate 31x128r
1.86/1.99 c recursing 2280 blocks of candidate 19x1428r
1.97/2.00 c found row 4x128, generating row predicate
1.97/2.02 c found row 6x128, generating row predicate
1.97/2.05 c found row 8x128, generating row predicate
1.97/2.06 c found row 3x128, generating row predicate
1.97/2.08 c found row 7x128, generating row predicate
2.07/2.12 c found row 9x128, generating row predicate
2.07/2.15 c found row 10x128, generating row predicate
2.07/2.19 c found row 11x128, generating row predicate
2.16/2.23 c found row 12x128, generating row predicate
2.16/2.28 c found row 13x128, generating row predicate
2.26/2.33 c found row 14x128, generating row predicate
2.26/2.38 c found row 15x128, generating row predicate
2.36/2.44 c found row 16x128, generating row predicate
2.46/2.52 c found row 19x128, generating row predicate
2.46/2.59 c found row 20x128, generating row predicate
2.56/2.67 c found row 22x128, generating row predicate
2.76/2.80 c found row 34x128, generating row predicate
2.86/2.97 c found row 44x128, generating row predicate
3.26/3.32 c found row 95x128, generating row predicate
3.26/3.37 c found row 19x1428, generating row predicate
3.36/3.49 c found row 31x128, generating row predicate
3.46/3.53 c found row 10x1428, generating row predicate
3.46/3.54 c found row 3x128, generating row predicate
3.46/3.55 c recursing 28 blocks of candidate 14x128r
3.46/3.55 c recursing 2242 blocks of candidate 19x1428r
3.46/3.57 c found row 4x128, generating row predicate
3.46/3.59 c found row 6x128, generating row predicate
3.55/3.62 c found row 8x128, generating row predicate
3.55/3.63 c found row 3x128, generating row predicate
3.55/3.65 c found row 7x128, generating row predicate
3.55/3.68 c found row 9x128, generating row predicate
3.65/3.72 c found row 10x128, generating row predicate
3.65/3.76 c found row 11x128, generating row predicate
3.75/3.80 c found row 12x128, generating row predicate
3.75/3.85 c found row 13x128, generating row predicate
3.85/3.90 c found row 15x128, generating row predicate
3.85/3.96 c found row 16x128, generating row predicate
3.96/4.03 c found row 19x128, generating row predicate
4.06/4.11 c found row 20x128, generating row predicate
4.06/4.19 c found row 22x128, generating row predicate
4.26/4.32 c found row 34x128, generating row predicate
4.36/4.49 c found row 44x128, generating row predicate
4.76/4.84 c found row 95x128, generating row predicate
4.76/4.89 c found row 19x1428, generating row predicate
4.86/4.95 c found row 14x128, generating row predicate
4.86/4.98 c found row 5x1428, generating row predicate
4.86/4.99 c found row 3x128, generating row predicate
4.86/4.99 c recursing 16 blocks of candidate 8x128r
4.86/5.00 c recursing 2204 blocks of candidate 19x1428r
4.96/5.01 c found row 4x128, generating row predicate
4.96/5.03 c found row 6x128, generating row predicate
4.96/5.06 c found row 8x128, generating row predicate
4.96/5.07 c found row 3x128, generating row predicate
4.96/5.09 c found row 7x128, generating row predicate
5.06/5.12 c found row 9x128, generating row predicate
5.06/5.16 c found row 10x128, generating row predicate
5.15/5.20 c found row 11x128, generating row predicate
5.15/5.24 c found row 12x128, generating row predicate
5.15/5.29 c found row 13x128, generating row predicate
5.25/5.34 c found row 15x128, generating row predicate
5.35/5.40 c found row 16x128, generating row predicate
5.35/5.47 c found row 19x128, generating row predicate
5.45/5.55 c found row 20x128, generating row predicate
5.55/5.63 c found row 22x128, generating row predicate
5.65/5.76 c found row 34x128, generating row predicate
5.85/5.92 c found row 44x128, generating row predicate
6.15/6.27 c found row 95x128, generating row predicate
6.25/6.32 c found row 19x1428, generating row predicate
6.25/6.35 c found row 8x128, generating row predicate
6.25/6.37 c recursing 190 blocks of candidate 95x128r
6.25/6.39 c recursing 2166 blocks of candidate 19x1428r
6.35/6.40 c found row 4x128, generating row predicate
6.35/6.43 c found row 6x128, generating row predicate
6.35/6.45 c found row 8x128, generating row predicate
6.35/6.46 c found row 3x128, generating row predicate
6.35/6.48 c found row 7x128, generating row predicate
6.45/6.52 c found row 9x128, generating row predicate
6.45/6.55 c found row 10x128, generating row predicate
6.45/6.59 c found row 11x128, generating row predicate
6.55/6.63 c found row 12x128, generating row predicate
6.55/6.68 c found row 13x128, generating row predicate
6.65/6.73 c found row 15x128, generating row predicate
6.65/6.79 c found row 16x128, generating row predicate
6.75/6.86 c found row 19x128, generating row predicate
6.84/6.93 c found row 20x128, generating row predicate
6.95/7.02 c found row 22x128, generating row predicate
7.05/7.14 c found row 34x128, generating row predicate
7.24/7.31 c found row 44x128, generating row predicate
7.24/7.35 c found row 19x1428, generating row predicate
7.65/7.71 c found row 95x128, generating row predicate
7.65/7.77 c found row 30x1428, generating row predicate
7.65/7.78 c (7674.69ms)
7.65/7.78 c
7.65/7.78 c detect symmetries on remainder
7.65/7.78 c [graph: #vertices 275664 #edges 822518]
7.65/7.78 c dejavu (support_limit=2048.00MB, budget_limit=64)
7.75/7.88 c [group: #symmetries 9.91*10^113 #generators 174] (97.49ms)
7.75/7.88 c
7.75/7.88 c optimize generators (opt_passes=64, conjugate_limit=256)
7.75/7.88 c ran it=0, +gens=3
8.14/8.28 c con best_support=256, best_gens=174, +gens=209
8.14/8.28 c (404.27ms)
8.14/8.28 c
8.14/8.28 c finalize break order and special generators
8.14/8.29 c
8.14/8.29 c add generic predicates (break_depth=20)
8.14/8.29 c added predicates for 386 generators (2.46ms)
8.14/8.29 c
8.14/8.29 c generation finished
8.14/8.29 c [sbp: #constraints 1260696 #add_vars 419472]
8.14/8.29 c
8.14/8.29 c write result to 'HOME/instance-4509336-1751524861.opb.pre'
8.34/8.40 c wrote 53.31MB (109.91ms)
8.34/8.41 c ------------------------------------------------------------------
8.34/8.41 c 7674.69ms 91.46% detect_special
8.34/8.41 c 404.27ms 4.82% optimize_gens
8.34/8.41 c 109.91ms 1.31% output
8.34/8.41 c 97.49ms 1.16% detect_generic
8.34/8.41 c 62.62ms 0.75% approx_orbits
8.34/8.41 c 23.27ms 0.28% parse
8.34/8.41 c 13.98ms 0.17% other
8.34/8.41 c 2.74ms 0.03% finalize_order
8.34/8.41 c 2.46ms 0.03% break_generic
8.34/8.41 c ───────────────────────────────────────────────
8.34/8.41 c 8391.43ms 100% total
8.34/8.41 c ------------------------------------------------------------------
8.34/8.43 c RoundingSat 2
8.34/8.43 c branch pb25
8.34/8.43 c commit 63f22ad
11.62/11.73 c #variables 465168 #constraints 1261723
11.62/11.73 c objective is ce32
11.62/11.73 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
11.62/11.73 c initial counting CF 32, 64, 128, Arb: 129 , 0 , 0 , 0
11.62/11.73 c bounds - >= 0 @ 2.42654
106.32/106.79 c #Conflicts: 1000 | #Constraints: 1262722
106.32/106.79 c #Conflicts: 2000 | #Constraints: 1263722
106.32/106.79 c INPROCESSING
106.32/106.79 c #Conflicts: 3000 | #Constraints: 1251205
106.32/106.79 c #Conflicts: 4000 | #Constraints: 1252205
106.32/106.79 c #Conflicts: 5000 | #Constraints: 1253205
106.32/106.79 c #Conflicts: 6000 | #Constraints: 1254205
106.32/106.79 c INPROCESSING
106.32/106.79 c #Conflicts: 7000 | #Constraints: 1246035
106.32/106.79 c #Conflicts: 8000 | #Constraints: 1247035
106.32/106.79 c #Conflicts: 9000 | #Constraints: 1248035
106.32/106.79 c #Conflicts: 10000 | #Constraints: 1249035
106.32/106.79 c #Conflicts: 11000 | #Constraints: 1250035
106.32/106.79 c #Conflicts: 12000 | #Constraints: 1251035
106.32/106.79 c INPROCESSING
106.32/106.79 c GARBAGE COLLECT
106.32/106.79 c #Conflicts: 13000 | #Constraints: 1247476
106.32/106.79 c #Conflicts: 14000 | #Constraints: 1248476
106.32/106.79 c #Conflicts: 15000 | #Constraints: 1249476
106.32/106.79 c #Conflicts: 16000 | #Constraints: 1250476
106.32/106.79 c INPROCESSING
106.32/106.79 c GARBAGE COLLECT
106.32/106.79 c #Conflicts: 17000 | #Constraints: 1247446
106.32/106.79 c #Conflicts: 18000 | #Constraints: 1248446
106.32/106.79 c #Conflicts: 19000 | #Constraints: 1249446
106.32/106.79 c #Conflicts: 20000 | #Constraints: 1250446
106.32/106.79 c #Conflicts: 21000 | #Constraints: 1251446
106.32/106.79 c #Conflicts: 22000 | #Constraints: 1252446
106.32/106.79 c #Conflicts: 23000 | #Constraints: 1253446
106.32/106.79 c #Conflicts: 24000 | #Constraints: 1254446
106.32/106.79 c #Conflicts: 25000 | #Constraints: 1255446
106.32/106.79 c INPROCESSING
106.32/106.79 c GARBAGE COLLECT
106.32/106.79 c #Conflicts: 26000 | #Constraints: 1249903
106.32/106.79 c #Conflicts: 27000 | #Constraints: 1250903
106.32/106.79 c #Conflicts: 28000 | #Constraints: 1251903
106.32/106.79 c #Conflicts: 29000 | #Constraints: 1252903
106.32/106.79 c #Conflicts: 30000 | #Constraints: 1253903
106.32/106.79 c #Conflicts: 31000 | #Constraints: 1254903
106.32/106.79 c INPROCESSING
106.32/106.79 c GARBAGE COLLECT
106.32/106.79 c #Conflicts: 32000 | #Constraints: 1249829
106.32/106.79 c #Conflicts: 33000 | #Constraints: 1250829
106.32/106.79 c #Conflicts: 34000 | #Constraints: 1251829
106.32/106.79 c #Conflicts: 35000 | #Constraints: 1252829
106.32/106.79 c #Conflicts: 36000 | #Constraints: 1253829
106.32/106.79 c #Conflicts: 37000 | #Constraints: 1254829
106.32/106.79 c #Conflicts: 38000 | #Constraints: 1255829
106.32/106.79 c #Conflicts: 39000 | #Constraints: 1256829
106.32/106.79 c #Conflicts: 40000 | #Constraints: 1257829
106.32/106.79 c #Conflicts: 41000 | #Constraints: 1258829
106.32/106.79 c #Conflicts: 42000 | #Constraints: 1259829
106.32/106.79 c #Conflicts: 43000 | #Constraints: 1260829
106.32/106.79 c INPROCESSING
106.32/106.79 c GARBAGE COLLECT
106.32/106.79 c #Conflicts: 44000 | #Constraints: 1253177
106.32/106.79 c #Conflicts: 45000 | #Constraints: 1254177
106.32/106.79 c #Conflicts: 46000 | #Constraints: 1255177
106.32/106.79 c #Conflicts: 47000 | #Constraints: 1256177
106.32/106.79 c #Conflicts: 48000 | #Constraints: 1257177
106.32/106.79 c #Conflicts: 49000 | #Constraints: 1258177
106.32/106.79 c #Conflicts: 50000 | #Constraints: 1259177
106.32/106.79 c INPROCESSING
106.32/106.79 c GARBAGE COLLECT
106.32/106.79 c #Conflicts: 51000 | #Constraints: 1252560
106.32/106.79 c #Conflicts: 52000 | #Constraints: 1253560
106.32/106.79 c #Conflicts: 53000 | #Constraints: 1254560
106.32/106.79 c #Conflicts: 54000 | #Constraints: 1255560
106.32/106.79 c #Conflicts: 55000 | #Constraints: 1256560
106.32/106.79 c #Conflicts: 56000 | #Constraints: 1257560
106.32/106.79 c #Conflicts: 57000 | #Constraints: 1258560
106.32/106.79 c #Conflicts: 58000 | #Constraints: 1259560
106.32/106.79 c #Conflicts: 59000 | #Constraints: 1260560
106.32/106.79 c #Conflicts: 60000 | #Constraints: 1261560
106.32/106.79 c #Conflicts: 61000 | #Constraints: 1262560
106.32/106.79 c #Conflicts: 62000 | #Constraints: 1263560
106.32/106.79 c #Conflicts: 63000 | #Constraints: 1264560
106.32/106.79 c #Conflicts: 64000 | #Constraints: 1265560
106.32/106.79 c #Conflicts: 65000 | #Constraints: 1266560
106.32/106.79 c INPROCESSING
106.32/106.79 c GARBAGE COLLECT
106.32/106.79 c #Conflicts: 66000 | #Constraints: 1254630
106.32/106.79 c #Conflicts: 67000 | #Constraints: 1255630
106.32/106.79 c #Conflicts: 68000 | #Constraints: 1256630
106.32/106.79 c #Conflicts: 69000 | #Constraints: 1257630
106.32/106.79 c #Conflicts: 70000 | #Constraints: 1258630
106.32/106.79 c #Conflicts: 71000 | #Constraints: 1259630
106.32/106.79 c #Conflicts: 72000 | #Constraints: 1260630
106.32/106.79 c #Conflicts: 73000 | #Constraints: 1261630
106.32/106.79 c #Conflicts: 74000 | #Constraints: 1262630
229.16/229.92 c INPROCESSING
229.16/229.92 c GARBAGE COLLECT
229.16/229.92 c #Conflicts: 75000 | #Constraints: 1253588
229.16/229.92 c #Conflicts: 76000 | #Constraints: 1254588
229.16/229.92 c #Conflicts: 77000 | #Constraints: 1255588
229.16/229.92 c #Conflicts: 78000 | #Constraints: 1256588
229.16/229.92 c #Conflicts: 79000 | #Constraints: 1257588
229.16/229.92 c #Conflicts: 80000 | #Constraints: 1258588
229.16/229.92 c #Conflicts: 81000 | #Constraints: 1259588
229.16/229.92 c #Conflicts: 82000 | #Constraints: 1260588
229.16/229.92 c #Conflicts: 83000 | #Constraints: 1261588
229.16/229.92 c #Conflicts: 84000 | #Constraints: 1262588
229.16/229.92 c #Conflicts: 85000 | #Constraints: 1263588
229.16/229.92 c #Conflicts: 86000 | #Constraints: 1264588
229.16/229.92 c #Conflicts: 87000 | #Constraints: 1265588
229.16/229.92 c #Conflicts: 88000 | #Constraints: 1266588
229.16/229.92 c #Conflicts: 89000 | #Constraints: 1267588
229.16/229.92 c #Conflicts: 90000 | #Constraints: 1268588
229.16/229.92 c #Conflicts: 91000 | #Constraints: 1269588
229.16/229.92 c #Conflicts: 92000 | #Constraints: 1270588
229.16/229.92 c INPROCESSING
229.16/229.92 c GARBAGE COLLECT
229.16/229.92 c #Conflicts: 93000 | #Constraints: 1256905
229.16/229.92 c #Conflicts: 94000 | #Constraints: 1257905
229.16/229.92 c #Conflicts: 95000 | #Constraints: 1258905
229.16/229.92 c #Conflicts: 96000 | #Constraints: 1259905
229.16/229.92 c #Conflicts: 97000 | #Constraints: 1260905
229.16/229.92 c #Conflicts: 98000 | #Constraints: 1261905
229.16/229.92 c #Conflicts: 99000 | #Constraints: 1262905
229.16/229.92 c #Conflicts: 100000 | #Constraints: 1263905
229.16/229.92 c #Conflicts: 101000 | #Constraints: 1264905
229.16/229.92 c #Conflicts: 102000 | #Constraints: 1265905
229.16/229.92 c INPROCESSING
229.16/229.92 c GARBAGE COLLECT
229.16/229.92 c #Conflicts: 103000 | #Constraints: 1254813
229.16/229.92 c #Conflicts: 104000 | #Constraints: 1255813
229.16/229.92 c #Conflicts: 105000 | #Constraints: 1256813
229.16/229.92 c #Conflicts: 106000 | #Constraints: 1257813
229.16/229.92 c #Conflicts: 107000 | #Constraints: 1258813
229.16/229.92 c #Conflicts: 108000 | #Constraints: 1259813
229.16/229.92 c #Conflicts: 109000 | #Constraints: 1260813
229.16/229.92 c #Conflicts: 110000 | #Constraints: 1261813
229.16/229.92 c #Conflicts: 111000 | #Constraints: 1262813
229.16/229.92 c INPROCESSING
229.16/229.92 c GARBAGE COLLECT
229.16/229.92 c #Conflicts: 112000 | #Constraints: 1251955
229.16/229.92 c #Conflicts: 113000 | #Constraints: 1252955
229.16/229.92 c #Conflicts: 114000 | #Constraints: 1253955
229.16/229.92 c #Conflicts: 115000 | #Constraints: 1254955
229.16/229.92 c #Conflicts: 116000 | #Constraints: 1255955
229.16/229.92 c #Conflicts: 117000 | #Constraints: 1256955
229.16/229.92 c #Conflicts: 118000 | #Constraints: 1257955
229.16/229.92 c #Conflicts: 119000 | #Constraints: 1258955
229.16/229.92 c #Conflicts: 120000 | #Constraints: 1259955
229.16/229.92 c #Conflicts: 121000 | #Constraints: 1260955
229.16/229.92 c #Conflicts: 122000 | #Constraints: 1261955
229.16/229.92 c #Conflicts: 123000 | #Constraints: 1262955
229.16/229.92 c #Conflicts: 124000 | #Constraints: 1263955
229.16/229.92 c #Conflicts: 125000 | #Constraints: 1264955
229.16/229.92 c #Conflicts: 126000 | #Constraints: 1265955
229.16/229.92 c #Conflicts: 127000 | #Constraints: 1266955
229.16/229.92 c #Conflicts: 128000 | #Constraints: 1267955
229.16/229.92 c #Conflicts: 129000 | #Constraints: 1268955
229.16/229.92 c #Conflicts: 130000 | #Constraints: 1269955
229.16/229.92 c #Conflicts: 131000 | #Constraints: 1270955
229.16/229.92 c #Conflicts: 132000 | #Constraints: 1271955
229.16/229.92 c #Conflicts: 133000 | #Constraints: 1272955
229.16/229.92 c #Conflicts: 134000 | #Constraints: 1273955
229.16/229.92 c INPROCESSING
229.16/229.92 c GARBAGE COLLECT
229.16/229.92 c #Conflicts: 135000 | #Constraints: 1258100
229.16/229.92 c #Conflicts: 136000 | #Constraints: 1259100
229.16/229.92 c #Conflicts: 137000 | #Constraints: 1260100
229.16/229.92 c #Conflicts: 138000 | #Constraints: 1261100
229.16/229.92 c #Conflicts: 139000 | #Constraints: 1262100
229.16/229.92 c #Conflicts: 140000 | #Constraints: 1263100
229.16/229.92 c #Conflicts: 141000 | #Constraints: 1264100
229.16/229.92 c #Conflicts: 142000 | #Constraints: 1265100
229.16/229.92 c #Conflicts: 143000 | #Constraints: 1266100
229.16/229.92 c #Conflicts: 144000 | #Constraints: 1267100
229.16/229.92 c #Conflicts: 145000 | #Constraints: 1268100
229.16/229.92 c INPROCESSING
229.16/229.92 c GARBAGE COLLECT
229.16/229.92 c #Conflicts: 146000 | #Constraints: 1255134
229.16/229.92 c #Conflicts: 147000 | #Constraints: 1256134
229.16/229.92 c #Conflicts: 148000 | #Constraints: 1257134
229.16/229.92 c #Conflicts: 149000 | #Constraints: 1258134
329.36/330.45 c #Conflicts: 150000 | #Constraints: 1259134
329.36/330.45 c #Conflicts: 151000 | #Constraints: 1260134
329.36/330.45 c #Conflicts: 152000 | #Constraints: 1261134
329.36/330.45 c #Conflicts: 153000 | #Constraints: 1262134
329.36/330.45 c #Conflicts: 154000 | #Constraints: 1263134
329.36/330.45 c #Conflicts: 155000 | #Constraints: 1264134
329.36/330.45 c #Conflicts: 156000 | #Constraints: 1265134
329.36/330.45 c #Conflicts: 157000 | #Constraints: 1266134
329.36/330.45 c #Conflicts: 158000 | #Constraints: 1267134
329.36/330.45 c #Conflicts: 159000 | #Constraints: 1268134
329.36/330.45 c #Conflicts: 160000 | #Constraints: 1269134
329.36/330.45 c #Conflicts: 161000 | #Constraints: 1270134
329.36/330.45 c #Conflicts: 162000 | #Constraints: 1271134
329.36/330.45 c #Conflicts: 163000 | #Constraints: 1272134
329.36/330.45 c #Conflicts: 164000 | #Constraints: 1273134
329.36/330.45 c #Conflicts: 165000 | #Constraints: 1274134
329.36/330.45 c #Conflicts: 166000 | #Constraints: 1275134
329.36/330.45 c #Conflicts: 167000 | #Constraints: 1276134
329.36/330.45 c #Conflicts: 168000 | #Constraints: 1277134
329.36/330.45 c #Conflicts: 169000 | #Constraints: 1278134
329.36/330.45 c #Conflicts: 170000 | #Constraints: 1279134
329.36/330.45 c #Conflicts: 171000 | #Constraints: 1280134
329.36/330.45 c INPROCESSING
329.36/330.45 c GARBAGE COLLECT
329.36/330.45 c #Conflicts: 172000 | #Constraints: 1260324
329.36/330.45 c #Conflicts: 173000 | #Constraints: 1261324
329.36/330.45 c #Conflicts: 174000 | #Constraints: 1262324
329.36/330.45 c #Conflicts: 175000 | #Constraints: 1263324
329.36/330.45 c #Conflicts: 176000 | #Constraints: 1264324
329.36/330.45 c #Conflicts: 177000 | #Constraints: 1265324
329.36/330.45 c #Conflicts: 178000 | #Constraints: 1266324
329.36/330.45 c #Conflicts: 179000 | #Constraints: 1267324
329.36/330.45 c #Conflicts: 180000 | #Constraints: 1268324
329.36/330.45 c #Conflicts: 181000 | #Constraints: 1269324
329.36/330.45 c #Conflicts: 182000 | #Constraints: 1270324
329.36/330.45 c #Conflicts: 183000 | #Constraints: 1271324
329.36/330.45 c INPROCESSING
329.36/330.45 c GARBAGE COLLECT
329.36/330.45 c #Conflicts: 184000 | #Constraints: 1255690
329.36/330.45 c #Conflicts: 185000 | #Constraints: 1256690
329.36/330.45 c #Conflicts: 186000 | #Constraints: 1257690
329.36/330.45 c #Conflicts: 187000 | #Constraints: 1258690
329.36/330.45 c #Conflicts: 188000 | #Constraints: 1259690
329.36/330.45 c #Conflicts: 189000 | #Constraints: 1260690
329.36/330.45 c #Conflicts: 190000 | #Constraints: 1261690
329.36/330.45 c #Conflicts: 191000 | #Constraints: 1262690
329.36/330.45 c #Conflicts: 192000 | #Constraints: 1263690
329.36/330.45 c #Conflicts: 193000 | #Constraints: 1264690
329.36/330.45 c #Conflicts: 194000 | #Constraints: 1265690
329.36/330.45 c #Conflicts: 195000 | #Constraints: 1266690
329.36/330.45 c #Conflicts: 196000 | #Constraints: 1267690
329.36/330.45 c #Conflicts: 197000 | #Constraints: 1268690
329.36/330.45 c #Conflicts: 198000 | #Constraints: 1269690
329.36/330.45 c #Conflicts: 199000 | #Constraints: 1270690
329.36/330.45 c #Conflicts: 200000 | #Constraints: 1271690
329.36/330.45 c #Conflicts: 201000 | #Constraints: 1272690
329.36/330.45 c #Conflicts: 202000 | #Constraints: 1273690
329.36/330.45 c #Conflicts: 203000 | #Constraints: 1274690
329.36/330.45 c #Conflicts: 204000 | #Constraints: 1275690
329.36/330.45 c #Conflicts: 205000 | #Constraints: 1276690
329.36/330.45 c #Conflicts: 206000 | #Constraints: 1277690
329.36/330.45 c #Conflicts: 207000 | #Constraints: 1278690
329.36/330.45 c #Conflicts: 208000 | #Constraints: 1279690
329.36/330.45 c #Conflicts: 209000 | #Constraints: 1280690
329.36/330.45 c #Conflicts: 210000 | #Constraints: 1281690
329.36/330.45 c #Conflicts: 211000 | #Constraints: 1282690
329.36/330.45 c #Conflicts: 212000 | #Constraints: 1283690
329.36/330.45 c INPROCESSING
329.36/330.45 c GARBAGE COLLECT
329.36/330.45 c #Conflicts: 213000 | #Constraints: 1262383
329.36/330.45 c #Conflicts: 214000 | #Constraints: 1263383
329.36/330.45 c #Conflicts: 215000 | #Constraints: 1264383
329.36/330.45 c #Conflicts: 216000 | #Constraints: 1265383
329.36/330.45 c #Conflicts: 217000 | #Constraints: 1266383
329.36/330.45 c #Conflicts: 218000 | #Constraints: 1267383
329.36/330.45 c #Conflicts: 219000 | #Constraints: 1268383
329.36/330.45 c #Conflicts: 220000 | #Constraints: 1269383
329.36/330.45 c #Conflicts: 221000 | #Constraints: 1270383
329.36/330.45 c #Conflicts: 222000 | #Constraints: 1271383
329.36/330.45 c #Conflicts: 223000 | #Constraints: 1272383
329.36/330.45 c #Conflicts: 224000 | #Constraints: 1273383
329.36/330.45 c #Conflicts: 225000 | #Constraints: 1274383
329.36/330.45 c #Conflicts: 226000 | #Constraints: 1275383
429.37/430.78 c INPROCESSING
429.37/430.78 c GARBAGE COLLECT
429.37/430.78 c #Conflicts: 227000 | #Constraints: 1258444
429.37/430.78 c #Conflicts: 228000 | #Constraints: 1259444
429.37/430.78 c #Conflicts: 229000 | #Constraints: 1260444
429.37/430.78 c #Conflicts: 230000 | #Constraints: 1261444
429.37/430.78 c #Conflicts: 231000 | #Constraints: 1262444
429.37/430.78 c #Conflicts: 232000 | #Constraints: 1263444
429.37/430.78 c #Conflicts: 233000 | #Constraints: 1264444
429.37/430.78 c #Conflicts: 234000 | #Constraints: 1265444
429.37/430.78 c #Conflicts: 235000 | #Constraints: 1266444
429.37/430.78 c #Conflicts: 236000 | #Constraints: 1267444
429.37/430.78 c #Conflicts: 237000 | #Constraints: 1268444
429.37/430.78 c #Conflicts: 238000 | #Constraints: 1269444
429.37/430.78 c #Conflicts: 239000 | #Constraints: 1270444
429.37/430.78 c #Conflicts: 240000 | #Constraints: 1271444
429.37/430.78 c INPROCESSING
429.37/430.78 c GARBAGE COLLECT
429.37/430.78 c #Conflicts: 241000 | #Constraints: 1258095
429.37/430.78 c #Conflicts: 242000 | #Constraints: 1259095
429.37/430.78 c #Conflicts: 243000 | #Constraints: 1260095
429.37/430.78 c #Conflicts: 244000 | #Constraints: 1261095
429.37/430.78 c #Conflicts: 245000 | #Constraints: 1262095
429.37/430.78 c #Conflicts: 246000 | #Constraints: 1263095
429.37/430.78 c #Conflicts: 247000 | #Constraints: 1264095
429.37/430.78 c #Conflicts: 248000 | #Constraints: 1265095
429.37/430.78 c #Conflicts: 249000 | #Constraints: 1266095
429.37/430.78 c #Conflicts: 250000 | #Constraints: 1267095
429.37/430.78 c #Conflicts: 251000 | #Constraints: 1268095
429.37/430.78 c #Conflicts: 252000 | #Constraints: 1269095
429.37/430.78 c #Conflicts: 253000 | #Constraints: 1270095
429.37/430.78 c #Conflicts: 254000 | #Constraints: 1271095
429.37/430.78 c #Conflicts: 255000 | #Constraints: 1272095
429.37/430.78 c #Conflicts: 256000 | #Constraints: 1273095
429.37/430.78 c #Conflicts: 257000 | #Constraints: 1274095
429.37/430.78 c #Conflicts: 258000 | #Constraints: 1275095
429.37/430.78 c #Conflicts: 259000 | #Constraints: 1276095
429.37/430.78 c #Conflicts: 260000 | #Constraints: 1277095
429.37/430.78 c #Conflicts: 261000 | #Constraints: 1278095
429.37/430.78 c #Conflicts: 262000 | #Constraints: 1279095
429.37/430.78 c #Conflicts: 263000 | #Constraints: 1280095
429.37/430.78 c #Conflicts: 264000 | #Constraints: 1281095
429.37/430.78 c #Conflicts: 265000 | #Constraints: 1282095
429.37/430.78 c #Conflicts: 266000 | #Constraints: 1283095
429.37/430.78 c #Conflicts: 267000 | #Constraints: 1284095
429.37/430.78 c #Conflicts: 268000 | #Constraints: 1285095
429.37/430.78 c #Conflicts: 269000 | #Constraints: 1286095
429.37/430.78 c #Conflicts: 270000 | #Constraints: 1287095
429.37/430.78 c #Conflicts: 271000 | #Constraints: 1288095
429.37/430.78 c #Conflicts: 272000 | #Constraints: 1289095
429.37/430.78 c #Conflicts: 273000 | #Constraints: 1290095
429.37/430.78 c INPROCESSING
429.37/430.78 c GARBAGE COLLECT
429.37/430.78 c #Conflicts: 274000 | #Constraints: 1266291
429.37/430.78 c #Conflicts: 275000 | #Constraints: 1267291
429.37/430.78 c #Conflicts: 276000 | #Constraints: 1268291
429.37/430.78 c #Conflicts: 277000 | #Constraints: 1269291
429.37/430.78 c #Conflicts: 278000 | #Constraints: 1270291
429.37/430.78 c #Conflicts: 279000 | #Constraints: 1271291
429.37/430.78 c #Conflicts: 280000 | #Constraints: 1272291
429.37/430.78 c #Conflicts: 281000 | #Constraints: 1273291
429.37/430.78 c #Conflicts: 282000 | #Constraints: 1274291
429.37/430.78 c #Conflicts: 283000 | #Constraints: 1275291
429.37/430.78 c #Conflicts: 284000 | #Constraints: 1276291
429.37/430.78 c #Conflicts: 285000 | #Constraints: 1277291
429.37/430.78 c #Conflicts: 286000 | #Constraints: 1278291
429.37/430.78 c #Conflicts: 287000 | #Constraints: 1279291
429.37/430.78 c #Conflicts: 288000 | #Constraints: 1280291
429.37/430.78 c INPROCESSING
429.37/430.78 c GARBAGE COLLECT
429.37/430.78 c #Conflicts: 289000 | #Constraints: 1261862
429.37/430.78 c #Conflicts: 290000 | #Constraints: 1262862
429.37/430.78 c #Conflicts: 291000 | #Constraints: 1263862
429.37/430.78 c #Conflicts: 292000 | #Constraints: 1264862
429.37/430.78 c #Conflicts: 293000 | #Constraints: 1265862
429.37/430.78 c #Conflicts: 294000 | #Constraints: 1266862
429.37/430.78 c #Conflicts: 295000 | #Constraints: 1267862
429.37/430.78 c #Conflicts: 296000 | #Constraints: 1268862
429.37/430.78 c #Conflicts: 297000 | #Constraints: 1269862
429.37/430.78 c #Conflicts: 298000 | #Constraints: 1270862
429.37/430.78 c #Conflicts: 299000 | #Constraints: 1271862
429.37/430.78 c #Conflicts: 300000 | #Constraints: 1272862
429.37/430.78 c #Conflicts: 301000 | #Constraints: 1273862
429.37/430.78 c #Conflicts: 302000 | #Constraints: 1274862
540.94/542.66 c #Conflicts: 303000 | #Constraints: 1275862
540.94/542.66 c #Conflicts: 304000 | #Constraints: 1276862
540.94/542.66 c #Conflicts: 305000 | #Constraints: 1277862
540.94/542.66 c #Conflicts: 306000 | #Constraints: 1278862
540.94/542.66 c #Conflicts: 307000 | #Constraints: 1279862
540.94/542.66 c #Conflicts: 308000 | #Constraints: 1280862
540.94/542.66 c #Conflicts: 309000 | #Constraints: 1281862
540.94/542.66 c #Conflicts: 310000 | #Constraints: 1282862
540.94/542.66 c #Conflicts: 311000 | #Constraints: 1283862
540.94/542.66 c #Conflicts: 312000 | #Constraints: 1284862
540.94/542.66 c #Conflicts: 313000 | #Constraints: 1285862
540.94/542.66 c #Conflicts: 314000 | #Constraints: 1286862
540.94/542.66 c #Conflicts: 315000 | #Constraints: 1287862
540.94/542.66 c #Conflicts: 316000 | #Constraints: 1288862
540.94/542.66 c #Conflicts: 317000 | #Constraints: 1289862
540.94/542.66 c #Conflicts: 318000 | #Constraints: 1290862
540.94/542.66 c #Conflicts: 319000 | #Constraints: 1291862
540.94/542.66 c #Conflicts: 320000 | #Constraints: 1292862
540.94/542.66 c #Conflicts: 321000 | #Constraints: 1293862
540.94/542.66 c #Conflicts: 322000 | #Constraints: 1294862
540.94/542.66 c #Conflicts: 323000 | #Constraints: 1295862
540.94/542.66 c #Conflicts: 324000 | #Constraints: 1296862
540.94/542.66 c INPROCESSING
540.94/542.66 c GARBAGE COLLECT
540.94/542.66 c #Conflicts: 325000 | #Constraints: 1270038
540.94/542.66 c #Conflicts: 326000 | #Constraints: 1271038
540.94/542.66 c #Conflicts: 327000 | #Constraints: 1272038
540.94/542.66 c #Conflicts: 328000 | #Constraints: 1273038
540.94/542.66 c #Conflicts: 329000 | #Constraints: 1274038
540.94/542.66 c #Conflicts: 330000 | #Constraints: 1275038
540.94/542.66 c #Conflicts: 331000 | #Constraints: 1276038
540.94/542.66 c #Conflicts: 332000 | #Constraints: 1277038
540.94/542.66 c #Conflicts: 333000 | #Constraints: 1278038
540.94/542.66 c #Conflicts: 334000 | #Constraints: 1279038
540.94/542.66 c #Conflicts: 335000 | #Constraints: 1280038
540.94/542.66 c #Conflicts: 336000 | #Constraints: 1281038
540.94/542.66 c #Conflicts: 337000 | #Constraints: 1282038
540.94/542.66 c #Conflicts: 338000 | #Constraints: 1283038
540.94/542.66 c #Conflicts: 339000 | #Constraints: 1284038
540.94/542.66 c #Conflicts: 340000 | #Constraints: 1285038
540.94/542.66 c INPROCESSING
540.94/542.66 c GARBAGE COLLECT
540.94/542.66 c #Conflicts: 341000 | #Constraints: 1263910
540.94/542.66 c #Conflicts: 342000 | #Constraints: 1264910
540.94/542.66 c #Conflicts: 343000 | #Constraints: 1265910
540.94/542.66 c #Conflicts: 344000 | #Constraints: 1266910
540.94/542.66 c #Conflicts: 345000 | #Constraints: 1267910
540.94/542.66 c #Conflicts: 346000 | #Constraints: 1268910
540.94/542.66 c #Conflicts: 347000 | #Constraints: 1269910
540.94/542.66 c #Conflicts: 348000 | #Constraints: 1270910
540.94/542.66 c #Conflicts: 349000 | #Constraints: 1271910
540.94/542.66 c #Conflicts: 350000 | #Constraints: 1272910
540.94/542.66 c #Conflicts: 351000 | #Constraints: 1273910
540.94/542.66 c #Conflicts: 352000 | #Constraints: 1274910
540.94/542.66 c #Conflicts: 353000 | #Constraints: 1275910
540.94/542.66 c #Conflicts: 354000 | #Constraints: 1276910
540.94/542.66 c #Conflicts: 355000 | #Constraints: 1277910
540.94/542.66 c #Conflicts: 356000 | #Constraints: 1278910
540.94/542.66 c #Conflicts: 357000 | #Constraints: 1279910
540.94/542.66 c #Conflicts: 358000 | #Constraints: 1280910
540.94/542.66 c #Conflicts: 359000 | #Constraints: 1281910
540.94/542.66 c #Conflicts: 360000 | #Constraints: 1282910
540.94/542.66 c #Conflicts: 361000 | #Constraints: 1283910
540.94/542.66 c #Conflicts: 362000 | #Constraints: 1284910
540.94/542.66 c #Conflicts: 363000 | #Constraints: 1285910
540.94/542.66 c #Conflicts: 364000 | #Constraints: 1286910
540.94/542.66 c #Conflicts: 365000 | #Constraints: 1287910
540.94/542.66 c #Conflicts: 366000 | #Constraints: 1288910
540.94/542.66 c #Conflicts: 367000 | #Constraints: 1289910
540.94/542.66 c #Conflicts: 368000 | #Constraints: 1290910
540.94/542.66 c #Conflicts: 369000 | #Constraints: 1291910
540.94/542.66 c #Conflicts: 370000 | #Constraints: 1292910
540.94/542.66 c #Conflicts: 371000 | #Constraints: 1293910
540.94/542.66 c #Conflicts: 372000 | #Constraints: 1294910
540.94/542.66 c #Conflicts: 373000 | #Constraints: 1295910
540.94/542.66 c #Conflicts: 374000 | #Constraints: 1296910
540.94/542.66 c #Conflicts: 375000 | #Constraints: 1297910
540.94/542.66 c #Conflicts: 376000 | #Constraints: 1298910
540.94/542.66 c #Conflicts: 377000 | #Constraints: 1299910
540.94/542.66 c #Conflicts: 378000 | #Constraints: 1300910
540.94/542.66 c #Conflicts: 379000 | #Constraints: 1301910
540.94/542.66 c #Conflicts: 380000 | #Constraints: 1302910
669.74/671.86 c INPROCESSING
669.74/671.86 c GARBAGE COLLECT
669.74/671.86 c #Conflicts: 381000 | #Constraints: 1273568
669.74/671.86 c #Conflicts: 382000 | #Constraints: 1274568
669.74/671.86 c #Conflicts: 383000 | #Constraints: 1275568
669.74/671.86 c #Conflicts: 384000 | #Constraints: 1276568
669.74/671.86 c #Conflicts: 385000 | #Constraints: 1277568
669.74/671.86 c #Conflicts: 386000 | #Constraints: 1278568
669.74/671.86 c #Conflicts: 387000 | #Constraints: 1279568
669.74/671.86 c #Conflicts: 388000 | #Constraints: 1280568
669.74/671.86 c #Conflicts: 389000 | #Constraints: 1281568
669.74/671.86 c #Conflicts: 390000 | #Constraints: 1282568
669.74/671.86 c #Conflicts: 391000 | #Constraints: 1283568
669.74/671.86 c #Conflicts: 392000 | #Constraints: 1284568
669.74/671.86 c #Conflicts: 393000 | #Constraints: 1285568
669.74/671.86 c #Conflicts: 394000 | #Constraints: 1286568
669.74/671.86 c #Conflicts: 395000 | #Constraints: 1287568
669.74/671.86 c #Conflicts: 396000 | #Constraints: 1288568
669.74/671.86 c #Conflicts: 397000 | #Constraints: 1289568
669.74/671.86 c INPROCESSING
669.74/671.86 c GARBAGE COLLECT
669.74/671.86 c #Conflicts: 398000 | #Constraints: 1268240
669.74/671.86 c #Conflicts: 399000 | #Constraints: 1269240
669.74/671.86 c #Conflicts: 400000 | #Constraints: 1270240
669.74/671.86 c #Conflicts: 401000 | #Constraints: 1271240
669.74/671.86 c #Conflicts: 402000 | #Constraints: 1272240
669.74/671.86 c #Conflicts: 403000 | #Constraints: 1273240
669.74/671.86 c #Conflicts: 404000 | #Constraints: 1274240
669.74/671.86 c #Conflicts: 405000 | #Constraints: 1275240
669.74/671.86 c #Conflicts: 406000 | #Constraints: 1276240
669.74/671.86 c #Conflicts: 407000 | #Constraints: 1277240
669.74/671.86 c #Conflicts: 408000 | #Constraints: 1278240
669.74/671.86 c #Conflicts: 409000 | #Constraints: 1279240
669.74/671.86 c #Conflicts: 410000 | #Constraints: 1280240
669.74/671.86 c #Conflicts: 411000 | #Constraints: 1281240
669.74/671.86 c #Conflicts: 412000 | #Constraints: 1282240
669.74/671.86 c #Conflicts: 413000 | #Constraints: 1283240
669.74/671.86 c #Conflicts: 414000 | #Constraints: 1284240
669.74/671.86 c #Conflicts: 415000 | #Constraints: 1285240
669.74/671.86 c #Conflicts: 416000 | #Constraints: 1286240
669.74/671.86 c #Conflicts: 417000 | #Constraints: 1287240
669.74/671.86 c #Conflicts: 418000 | #Constraints: 1288240
669.74/671.86 c #Conflicts: 419000 | #Constraints: 1289240
669.74/671.86 c #Conflicts: 420000 | #Constraints: 1290240
669.74/671.86 c #Conflicts: 421000 | #Constraints: 1291240
669.74/671.86 c #Conflicts: 422000 | #Constraints: 1292240
669.74/671.86 c #Conflicts: 423000 | #Constraints: 1293240
669.74/671.86 c #Conflicts: 424000 | #Constraints: 1294240
669.74/671.86 c #Conflicts: 425000 | #Constraints: 1295240
669.74/671.86 c #Conflicts: 426000 | #Constraints: 1296240
669.74/671.86 c #Conflicts: 427000 | #Constraints: 1297240
669.74/671.86 c #Conflicts: 428000 | #Constraints: 1298240
669.74/671.86 c #Conflicts: 429000 | #Constraints: 1299240
669.74/671.86 c #Conflicts: 430000 | #Constraints: 1300240
669.74/671.86 c #Conflicts: 431000 | #Constraints: 1301240
669.74/671.86 c #Conflicts: 432000 | #Constraints: 1302240
669.74/671.86 c #Conflicts: 433000 | #Constraints: 1303240
669.74/671.86 c #Conflicts: 434000 | #Constraints: 1304240
669.74/671.86 c #Conflicts: 435000 | #Constraints: 1305240
669.74/671.86 c #Conflicts: 436000 | #Constraints: 1306240
669.74/671.86 c #Conflicts: 437000 | #Constraints: 1307240
669.74/671.86 c #Conflicts: 438000 | #Constraints: 1308240
669.74/671.86 c #Conflicts: 439000 | #Constraints: 1309240
669.74/671.86 c #Conflicts: 440000 | #Constraints: 1310240
669.74/671.86 c INPROCESSING
669.74/671.86 c GARBAGE COLLECT
669.74/671.86 c #Conflicts: 441000 | #Constraints: 1277368
669.74/671.86 c #Conflicts: 442000 | #Constraints: 1278368
669.74/671.86 c #Conflicts: 443000 | #Constraints: 1279368
669.74/671.86 c #Conflicts: 444000 | #Constraints: 1280368
669.74/671.86 c #Conflicts: 445000 | #Constraints: 1281368
669.74/671.86 c #Conflicts: 446000 | #Constraints: 1282368
669.74/671.86 c #Conflicts: 447000 | #Constraints: 1283368
669.74/671.86 c #Conflicts: 448000 | #Constraints: 1284368
669.74/671.86 c #Conflicts: 449000 | #Constraints: 1285368
669.74/671.86 c #Conflicts: 450000 | #Constraints: 1286368
669.74/671.86 c #Conflicts: 451000 | #Constraints: 1287368
669.74/671.86 c #Conflicts: 452000 | #Constraints: 1288368
669.74/671.86 c #Conflicts: 453000 | #Constraints: 1289368
669.74/671.86 c #Conflicts: 454000 | #Constraints: 1290368
669.74/671.86 c #Conflicts: 455000 | #Constraints: 1291368
669.74/671.86 c #Conflicts: 456000 | #Constraints: 1292368
669.74/671.86 c #Conflicts: 457000 | #Constraints: 1293368
781.79/784.27 c #Conflicts: 458000 | #Constraints: 1294368
781.79/784.27 c #Conflicts: 459000 | #Constraints: 1295368
781.79/784.27 c INPROCESSING
781.79/784.27 c GARBAGE COLLECT
781.79/784.27 c #Conflicts: 460000 | #Constraints: 1270509
781.79/784.27 c #Conflicts: 461000 | #Constraints: 1271509
781.79/784.27 c #Conflicts: 462000 | #Constraints: 1272509
781.79/784.27 c #Conflicts: 463000 | #Constraints: 1273509
781.79/784.27 c #Conflicts: 464000 | #Constraints: 1274509
781.79/784.27 c #Conflicts: 465000 | #Constraints: 1275509
781.79/784.27 c #Conflicts: 466000 | #Constraints: 1276509
781.79/784.27 c #Conflicts: 467000 | #Constraints: 1277509
781.79/784.27 c #Conflicts: 468000 | #Constraints: 1278509
781.79/784.27 c #Conflicts: 469000 | #Constraints: 1279509
781.79/784.27 c #Conflicts: 470000 | #Constraints: 1280509
781.79/784.27 c #Conflicts: 471000 | #Constraints: 1281509
781.79/784.27 c #Conflicts: 472000 | #Constraints: 1282509
781.79/784.27 c #Conflicts: 473000 | #Constraints: 1283509
781.79/784.27 c #Conflicts: 474000 | #Constraints: 1284509
781.79/784.27 c #Conflicts: 475000 | #Constraints: 1285509
781.79/784.27 c #Conflicts: 476000 | #Constraints: 1286509
781.79/784.27 c #Conflicts: 477000 | #Constraints: 1287509
781.79/784.27 c #Conflicts: 478000 | #Constraints: 1288509
781.79/784.27 c #Conflicts: 479000 | #Constraints: 1289509
781.79/784.27 c #Conflicts: 480000 | #Constraints: 1290509
781.79/784.27 c #Conflicts: 481000 | #Constraints: 1291509
781.79/784.27 c #Conflicts: 482000 | #Constraints: 1292509
781.79/784.27 c #Conflicts: 483000 | #Constraints: 1293509
781.79/784.27 c #Conflicts: 484000 | #Constraints: 1294509
781.79/784.27 c #Conflicts: 485000 | #Constraints: 1295509
781.79/784.27 c #Conflicts: 486000 | #Constraints: 1296509
781.79/784.27 c #Conflicts: 487000 | #Constraints: 1297509
781.79/784.27 c #Conflicts: 488000 | #Constraints: 1298509
781.79/784.27 c #Conflicts: 489000 | #Constraints: 1299509
781.79/784.27 c #Conflicts: 490000 | #Constraints: 1300509
781.79/784.27 c #Conflicts: 491000 | #Constraints: 1301509
781.79/784.27 c #Conflicts: 492000 | #Constraints: 1302509
781.79/784.27 c #Conflicts: 493000 | #Constraints: 1303509
781.79/784.27 c #Conflicts: 494000 | #Constraints: 1304509
781.79/784.27 c #Conflicts: 495000 | #Constraints: 1305509
781.79/784.27 c #Conflicts: 496000 | #Constraints: 1306509
781.79/784.27 c #Conflicts: 497000 | #Constraints: 1307509
781.79/784.27 c #Conflicts: 498000 | #Constraints: 1308509
781.79/784.27 c #Conflicts: 499000 | #Constraints: 1309509
781.79/784.27 c #Conflicts: 500000 | #Constraints: 1310509
781.79/784.27 c #Conflicts: 501000 | #Constraints: 1311509
781.79/784.27 c #Conflicts: 502000 | #Constraints: 1312509
781.79/784.27 c #Conflicts: 503000 | #Constraints: 1313509
781.79/784.27 c #Conflicts: 504000 | #Constraints: 1314509
781.79/784.27 c INPROCESSING
781.79/784.27 c GARBAGE COLLECT
781.79/784.27 c #Conflicts: 505000 | #Constraints: 1279292
781.79/784.27 c #Conflicts: 506000 | #Constraints: 1280292
781.79/784.27 c #Conflicts: 507000 | #Constraints: 1281292
781.79/784.27 c #Conflicts: 508000 | #Constraints: 1282292
781.79/784.27 c #Conflicts: 509000 | #Constraints: 1283292
781.79/784.27 c #Conflicts: 510000 | #Constraints: 1284292
781.79/784.27 c #Conflicts: 511000 | #Constraints: 1285292
781.79/784.27 c #Conflicts: 512000 | #Constraints: 1286292
781.79/784.27 c #Conflicts: 513000 | #Constraints: 1287292
781.79/784.27 c #Conflicts: 514000 | #Constraints: 1288292
781.79/784.27 c #Conflicts: 515000 | #Constraints: 1289292
781.79/784.27 c #Conflicts: 516000 | #Constraints: 1290292
781.79/784.27 c #Conflicts: 517000 | #Constraints: 1291292
781.79/784.27 c #Conflicts: 518000 | #Constraints: 1292292
781.79/784.27 c #Conflicts: 519000 | #Constraints: 1293292
781.79/784.27 c #Conflicts: 520000 | #Constraints: 1294292
781.79/784.27 c #Conflicts: 521000 | #Constraints: 1295292
781.79/784.27 c #Conflicts: 522000 | #Constraints: 1296292
781.79/784.27 c #Conflicts: 523000 | #Constraints: 1297292
781.79/784.27 c #Conflicts: 524000 | #Constraints: 1298292
781.79/784.27 c #Conflicts: 525000 | #Constraints: 1299292
781.79/784.27 c INPROCESSING
781.79/784.27 c GARBAGE COLLECT
781.79/784.27 c #Conflicts: 526000 | #Constraints: 1272290
781.79/784.27 c #Conflicts: 527000 | #Constraints: 1273290
781.79/784.27 c #Conflicts: 528000 | #Constraints: 1274290
781.79/784.27 c #Conflicts: 529000 | #Constraints: 1275290
781.79/784.27 c #Conflicts: 530000 | #Constraints: 1276290
781.79/784.27 c #Conflicts: 531000 | #Constraints: 1277290
781.79/784.27 c #Conflicts: 532000 | #Constraints: 1278290
781.79/784.27 c #Conflicts: 533000 | #Constraints: 1279290
781.79/784.27 c #Conflicts: 534000 | #Constraints: 1280290
893.76/896.58 c #Conflicts: 535000 | #Constraints: 1281290
893.76/896.58 c #Conflicts: 536000 | #Constraints: 1282290
893.76/896.58 c #Conflicts: 537000 | #Constraints: 1283290
893.76/896.58 c #Conflicts: 538000 | #Constraints: 1284290
893.76/896.58 c #Conflicts: 539000 | #Constraints: 1285290
893.76/896.58 c #Conflicts: 540000 | #Constraints: 1286290
893.76/896.58 c #Conflicts: 541000 | #Constraints: 1287290
893.76/896.58 c #Conflicts: 542000 | #Constraints: 1288290
893.76/896.58 c #Conflicts: 543000 | #Constraints: 1289290
893.76/896.58 c #Conflicts: 544000 | #Constraints: 1290290
893.76/896.58 c #Conflicts: 545000 | #Constraints: 1291290
893.76/896.58 c #Conflicts: 546000 | #Constraints: 1292290
893.76/896.58 c #Conflicts: 547000 | #Constraints: 1293290
893.76/896.58 c #Conflicts: 548000 | #Constraints: 1294290
893.76/896.58 c #Conflicts: 549000 | #Constraints: 1295290
893.76/896.58 c #Conflicts: 550000 | #Constraints: 1296290
893.76/896.58 c #Conflicts: 551000 | #Constraints: 1297290
893.76/896.58 c #Conflicts: 552000 | #Constraints: 1298290
893.76/896.58 c #Conflicts: 553000 | #Constraints: 1299290
893.76/896.58 c #Conflicts: 554000 | #Constraints: 1300290
893.76/896.58 c #Conflicts: 555000 | #Constraints: 1301290
893.76/896.58 c #Conflicts: 556000 | #Constraints: 1302290
893.76/896.58 c #Conflicts: 557000 | #Constraints: 1303290
893.76/896.58 c #Conflicts: 558000 | #Constraints: 1304290
893.76/896.58 c #Conflicts: 559000 | #Constraints: 1305290
893.76/896.58 c #Conflicts: 560000 | #Constraints: 1306290
893.76/896.58 c #Conflicts: 561000 | #Constraints: 1307290
893.76/896.58 c #Conflicts: 562000 | #Constraints: 1308290
893.76/896.58 c #Conflicts: 563000 | #Constraints: 1309290
893.76/896.58 c #Conflicts: 564000 | #Constraints: 1310290
893.76/896.58 c #Conflicts: 565000 | #Constraints: 1311290
893.76/896.58 c #Conflicts: 566000 | #Constraints: 1312290
893.76/896.58 c #Conflicts: 567000 | #Constraints: 1313290
893.76/896.58 c #Conflicts: 568000 | #Constraints: 1314290
893.76/896.58 c #Conflicts: 569000 | #Constraints: 1315290
893.76/896.58 c #Conflicts: 570000 | #Constraints: 1316290
893.76/896.58 c #Conflicts: 571000 | #Constraints: 1317290
893.76/896.58 c #Conflicts: 572000 | #Constraints: 1318290
893.76/896.58 c #Conflicts: 573000 | #Constraints: 1319290
893.76/896.58 c INPROCESSING
893.76/896.58 c GARBAGE COLLECT
893.76/896.58 c #Conflicts: 574000 | #Constraints: 1282940
893.76/896.58 c #Conflicts: 575000 | #Constraints: 1283940
893.76/896.58 c #Conflicts: 576000 | #Constraints: 1284940
893.76/896.58 c #Conflicts: 577000 | #Constraints: 1285940
893.76/896.58 c #Conflicts: 578000 | #Constraints: 1286940
893.76/896.58 c #Conflicts: 579000 | #Constraints: 1287940
893.76/896.58 c #Conflicts: 580000 | #Constraints: 1288940
893.76/896.58 c #Conflicts: 581000 | #Constraints: 1289940
893.76/896.58 c #Conflicts: 582000 | #Constraints: 1290940
893.76/896.58 c #Conflicts: 583000 | #Constraints: 1291940
893.76/896.58 c #Conflicts: 584000 | #Constraints: 1292940
893.76/896.58 c #Conflicts: 585000 | #Constraints: 1293940
893.76/896.58 c #Conflicts: 586000 | #Constraints: 1294940
893.76/896.58 c #Conflicts: 587000 | #Constraints: 1295940
893.76/896.58 c #Conflicts: 588000 | #Constraints: 1296940
893.76/896.58 c #Conflicts: 589000 | #Constraints: 1297940
893.76/896.58 c #Conflicts: 590000 | #Constraints: 1298940
893.76/896.58 c #Conflicts: 591000 | #Constraints: 1299940
893.76/896.58 c #Conflicts: 592000 | #Constraints: 1300940
893.76/896.58 c #Conflicts: 593000 | #Constraints: 1301940
893.76/896.58 c #Conflicts: 594000 | #Constraints: 1302940
893.76/896.58 c #Conflicts: 595000 | #Constraints: 1303940
893.76/896.58 c INPROCESSING
893.76/896.58 c GARBAGE COLLECT
893.76/896.58 c #Conflicts: 596000 | #Constraints: 1275977
893.76/896.58 c #Conflicts: 597000 | #Constraints: 1276977
893.76/896.58 c #Conflicts: 598000 | #Constraints: 1277977
893.76/896.58 c #Conflicts: 599000 | #Constraints: 1278977
893.76/896.58 c #Conflicts: 600000 | #Constraints: 1279977
893.76/896.58 c #Conflicts: 601000 | #Constraints: 1280977
893.76/896.58 c #Conflicts: 602000 | #Constraints: 1281977
893.76/896.58 c #Conflicts: 603000 | #Constraints: 1282977
893.76/896.58 c #Conflicts: 604000 | #Constraints: 1283977
893.76/896.58 c #Conflicts: 605000 | #Constraints: 1284977
893.76/896.58 c #Conflicts: 606000 | #Constraints: 1285977
893.76/896.58 c #Conflicts: 607000 | #Constraints: 1286977
893.76/896.58 c #Conflicts: 608000 | #Constraints: 1287977
893.76/896.58 c #Conflicts: 609000 | #Constraints: 1288977
893.76/896.58 c #Conflicts: 610000 | #Constraints: 1289977
893.76/896.58 c #Conflicts: 611000 | #Constraints: 1290977
1021.38/1024.59 c #Conflicts: 612000 | #Constraints: 1291977
1021.38/1024.59 c #Conflicts: 613000 | #Constraints: 1292977
1021.38/1024.59 c #Conflicts: 614000 | #Constraints: 1293977
1021.38/1024.59 c #Conflicts: 615000 | #Constraints: 1294977
1021.38/1024.59 c #Conflicts: 616000 | #Constraints: 1295977
1021.38/1024.59 c #Conflicts: 617000 | #Constraints: 1296977
1021.38/1024.59 c #Conflicts: 618000 | #Constraints: 1297977
1021.38/1024.59 c #Conflicts: 619000 | #Constraints: 1298977
1021.38/1024.59 c #Conflicts: 620000 | #Constraints: 1299977
1021.38/1024.59 c #Conflicts: 621000 | #Constraints: 1300977
1021.38/1024.59 c #Conflicts: 622000 | #Constraints: 1301977
1021.38/1024.59 c #Conflicts: 623000 | #Constraints: 1302977
1021.38/1024.59 c #Conflicts: 624000 | #Constraints: 1303977
1021.38/1024.59 c #Conflicts: 625000 | #Constraints: 1304977
1021.38/1024.59 c #Conflicts: 626000 | #Constraints: 1305977
1021.38/1024.59 c #Conflicts: 627000 | #Constraints: 1306977
1021.38/1024.59 c #Conflicts: 628000 | #Constraints: 1307977
1021.38/1024.59 c #Conflicts: 629000 | #Constraints: 1308977
1021.38/1024.59 c #Conflicts: 630000 | #Constraints: 1309977
1021.38/1024.59 c #Conflicts: 631000 | #Constraints: 1310977
1021.38/1024.59 c #Conflicts: 632000 | #Constraints: 1311977
1021.38/1024.59 c #Conflicts: 633000 | #Constraints: 1312977
1021.38/1024.59 c #Conflicts: 634000 | #Constraints: 1313977
1021.38/1024.59 c #Conflicts: 635000 | #Constraints: 1314977
1021.38/1024.59 c #Conflicts: 636000 | #Constraints: 1315977
1021.38/1024.59 c #Conflicts: 637000 | #Constraints: 1316977
1021.38/1024.59 c #Conflicts: 638000 | #Constraints: 1317977
1021.38/1024.59 c #Conflicts: 639000 | #Constraints: 1318977
1021.38/1024.59 c #Conflicts: 640000 | #Constraints: 1319977
1021.38/1024.59 c #Conflicts: 641000 | #Constraints: 1320977
1021.38/1024.59 c #Conflicts: 642000 | #Constraints: 1321977
1021.38/1024.59 c #Conflicts: 643000 | #Constraints: 1322977
1021.38/1024.59 c #Conflicts: 644000 | #Constraints: 1323977
1021.38/1024.59 c #Conflicts: 645000 | #Constraints: 1324977
1021.38/1024.59 c #Conflicts: 646000 | #Constraints: 1325977
1021.38/1024.59 c INPROCESSING
1021.38/1024.59 c GARBAGE COLLECT
1021.38/1024.59 c #Conflicts: 647000 | #Constraints: 1285986
1021.38/1024.59 c #Conflicts: 648000 | #Constraints: 1286986
1021.38/1024.59 c #Conflicts: 649000 | #Constraints: 1287986
1021.38/1024.59 c #Conflicts: 650000 | #Constraints: 1288986
1021.38/1024.59 c #Conflicts: 651000 | #Constraints: 1289986
1021.38/1024.59 c #Conflicts: 652000 | #Constraints: 1290986
1021.38/1024.59 c #Conflicts: 653000 | #Constraints: 1291986
1021.38/1024.59 c #Conflicts: 654000 | #Constraints: 1292986
1021.38/1024.59 c #Conflicts: 655000 | #Constraints: 1293986
1021.38/1024.59 c #Conflicts: 656000 | #Constraints: 1294986
1021.38/1024.59 c #Conflicts: 657000 | #Constraints: 1295986
1021.38/1024.59 c #Conflicts: 658000 | #Constraints: 1296986
1021.38/1024.59 c #Conflicts: 659000 | #Constraints: 1297986
1021.38/1024.59 c #Conflicts: 660000 | #Constraints: 1298986
1021.38/1024.59 c #Conflicts: 661000 | #Constraints: 1299986
1021.38/1024.59 c #Conflicts: 662000 | #Constraints: 1300986
1021.38/1024.59 c #Conflicts: 663000 | #Constraints: 1301986
1021.38/1024.59 c #Conflicts: 664000 | #Constraints: 1302986
1021.38/1024.59 c #Conflicts: 665000 | #Constraints: 1303986
1021.38/1024.59 c #Conflicts: 666000 | #Constraints: 1304986
1021.38/1024.59 c #Conflicts: 667000 | #Constraints: 1305986
1021.38/1024.59 c #Conflicts: 668000 | #Constraints: 1306986
1021.38/1024.59 c #Conflicts: 669000 | #Constraints: 1307986
1021.38/1024.59 c INPROCESSING
1021.38/1024.59 c GARBAGE COLLECT
1021.38/1024.59 c #Conflicts: 670000 | #Constraints: 1279316
1021.38/1024.59 c #Conflicts: 671000 | #Constraints: 1280316
1021.38/1024.59 c #Conflicts: 672000 | #Constraints: 1281316
1021.38/1024.59 c #Conflicts: 673000 | #Constraints: 1282316
1021.38/1024.59 c #Conflicts: 674000 | #Constraints: 1283316
1021.38/1024.59 c #Conflicts: 675000 | #Constraints: 1284316
1021.38/1024.59 c #Conflicts: 676000 | #Constraints: 1285316
1021.38/1024.59 c #Conflicts: 677000 | #Constraints: 1286316
1021.38/1024.59 c #Conflicts: 678000 | #Constraints: 1287316
1021.38/1024.59 c #Conflicts: 679000 | #Constraints: 1288316
1021.38/1024.59 c #Conflicts: 680000 | #Constraints: 1289316
1021.38/1024.59 c #Conflicts: 681000 | #Constraints: 1290316
1021.38/1024.59 c #Conflicts: 682000 | #Constraints: 1291316
1021.38/1024.59 c #Conflicts: 683000 | #Constraints: 1292316
1021.38/1024.59 c #Conflicts: 684000 | #Constraints: 1293316
1021.38/1024.59 c #Conflicts: 685000 | #Constraints: 1294316
1021.38/1024.59 c #Conflicts: 686000 | #Constraints: 1295316
1021.38/1024.59 c #Conflicts: 687000 | #Constraints: 1296316
1021.38/1024.59 c #Conflicts: 688000 | #Constraints: 1297316
1021.38/1024.59 c #Conflicts: 689000 | #Constraints: 1298316
1139.82/1143.37 c #Conflicts: 690000 | #Constraints: 1299316
1139.82/1143.37 c #Conflicts: 691000 | #Constraints: 1300316
1139.82/1143.37 c #Conflicts: 692000 | #Constraints: 1301316
1139.82/1143.37 c #Conflicts: 693000 | #Constraints: 1302316
1139.82/1143.37 c #Conflicts: 694000 | #Constraints: 1303316
1139.82/1143.37 c #Conflicts: 695000 | #Constraints: 1304316
1139.82/1143.37 c #Conflicts: 696000 | #Constraints: 1305316
1139.82/1143.37 c #Conflicts: 697000 | #Constraints: 1306316
1139.82/1143.37 c #Conflicts: 698000 | #Constraints: 1307316
1139.82/1143.37 c #Conflicts: 699000 | #Constraints: 1308316
1139.82/1143.37 c #Conflicts: 700000 | #Constraints: 1309316
1139.82/1143.37 c #Conflicts: 701000 | #Constraints: 1310316
1139.82/1143.37 c #Conflicts: 702000 | #Constraints: 1311316
1139.82/1143.37 c #Conflicts: 703000 | #Constraints: 1312316
1139.82/1143.37 c #Conflicts: 704000 | #Constraints: 1313316
1139.82/1143.37 c #Conflicts: 705000 | #Constraints: 1314316
1139.82/1143.37 c #Conflicts: 706000 | #Constraints: 1315316
1139.82/1143.37 c #Conflicts: 707000 | #Constraints: 1316316
1139.82/1143.37 c #Conflicts: 708000 | #Constraints: 1317316
1139.82/1143.37 c #Conflicts: 709000 | #Constraints: 1318316
1139.82/1143.37 c #Conflicts: 710000 | #Constraints: 1319316
1139.82/1143.37 c #Conflicts: 711000 | #Constraints: 1320316
1139.82/1143.37 c #Conflicts: 712000 | #Constraints: 1321316
1139.82/1143.37 c #Conflicts: 713000 | #Constraints: 1322316
1139.82/1143.37 c #Conflicts: 714000 | #Constraints: 1323316
1139.82/1143.37 c #Conflicts: 715000 | #Constraints: 1324316
1139.82/1143.37 c #Conflicts: 716000 | #Constraints: 1325316
1139.82/1143.37 c #Conflicts: 717000 | #Constraints: 1326316
1139.82/1143.37 c #Conflicts: 718000 | #Constraints: 1327316
1139.82/1143.37 c #Conflicts: 719000 | #Constraints: 1328316
1139.82/1143.37 c #Conflicts: 720000 | #Constraints: 1329316
1139.82/1143.37 c #Conflicts: 721000 | #Constraints: 1330316
1139.82/1143.37 c #Conflicts: 722000 | #Constraints: 1331316
1139.82/1143.37 c #Conflicts: 723000 | #Constraints: 1332316
1139.82/1143.37 c #Conflicts: 724000 | #Constraints: 1333316
1139.82/1143.37 c INPROCESSING
1139.82/1143.37 c GARBAGE COLLECT
1139.82/1143.37 c #Conflicts: 725000 | #Constraints: 1290587
1139.82/1143.37 c #Conflicts: 726000 | #Constraints: 1291587
1139.82/1143.37 c #Conflicts: 727000 | #Constraints: 1292587
1139.82/1143.37 c #Conflicts: 728000 | #Constraints: 1293587
1139.82/1143.37 c #Conflicts: 729000 | #Constraints: 1294587
1139.82/1143.37 c #Conflicts: 730000 | #Constraints: 1295587
1139.82/1143.37 c #Conflicts: 731000 | #Constraints: 1296587
1139.82/1143.37 c #Conflicts: 732000 | #Constraints: 1297587
1139.82/1143.37 c #Conflicts: 733000 | #Constraints: 1298587
1139.82/1143.37 c #Conflicts: 734000 | #Constraints: 1299587
1139.82/1143.37 c #Conflicts: 735000 | #Constraints: 1300587
1139.82/1143.37 c #Conflicts: 736000 | #Constraints: 1301587
1139.82/1143.37 c #Conflicts: 737000 | #Constraints: 1302587
1139.82/1143.37 c #Conflicts: 738000 | #Constraints: 1303587
1139.82/1143.37 c #Conflicts: 739000 | #Constraints: 1304587
1139.82/1143.37 c #Conflicts: 740000 | #Constraints: 1305587
1139.82/1143.37 c #Conflicts: 741000 | #Constraints: 1306587
1139.82/1143.37 c #Conflicts: 742000 | #Constraints: 1307587
1139.82/1143.37 c #Conflicts: 743000 | #Constraints: 1308587
1139.82/1143.37 c #Conflicts: 744000 | #Constraints: 1309587
1139.82/1143.37 c #Conflicts: 745000 | #Constraints: 1310587
1139.82/1143.37 c #Conflicts: 746000 | #Constraints: 1311587
1139.82/1143.37 c #Conflicts: 747000 | #Constraints: 1312587
1139.82/1143.37 c #Conflicts: 748000 | #Constraints: 1313587
1139.82/1143.37 c INPROCESSING
1139.82/1143.37 c GARBAGE COLLECT
1139.82/1143.37 c #Conflicts: 749000 | #Constraints: 1281745
1139.82/1143.37 c #Conflicts: 750000 | #Constraints: 1282745
1139.82/1143.37 c #Conflicts: 751000 | #Constraints: 1283745
1139.82/1143.37 c #Conflicts: 752000 | #Constraints: 1284745
1139.82/1143.37 c #Conflicts: 753000 | #Constraints: 1285745
1139.82/1143.37 c #Conflicts: 754000 | #Constraints: 1286745
1139.82/1143.37 c #Conflicts: 755000 | #Constraints: 1287745
1139.82/1143.37 c #Conflicts: 756000 | #Constraints: 1288745
1139.82/1143.37 c #Conflicts: 757000 | #Constraints: 1289745
1139.82/1143.37 c #Conflicts: 758000 | #Constraints: 1290745
1139.82/1143.37 c #Conflicts: 759000 | #Constraints: 1291745
1139.82/1143.37 c #Conflicts: 760000 | #Constraints: 1292745
1139.82/1143.37 c #Conflicts: 761000 | #Constraints: 1293745
1139.82/1143.37 c #Conflicts: 762000 | #Constraints: 1294745
1139.82/1143.37 c #Conflicts: 763000 | #Constraints: 1295745
1139.82/1143.37 c #Conflicts: 764000 | #Constraints: 1296745
1139.82/1143.37 c #Conflicts: 765000 | #Constraints: 1297745
1139.82/1143.37 c #Conflicts: 766000 | #Constraints: 1298745
1277.50/1281.40 c #Conflicts: 767000 | #Constraints: 1299745
1277.50/1281.40 c #Conflicts: 768000 | #Constraints: 1300745
1277.50/1281.40 c #Conflicts: 769000 | #Constraints: 1301745
1277.50/1281.40 c #Conflicts: 770000 | #Constraints: 1302745
1277.50/1281.40 c #Conflicts: 771000 | #Constraints: 1303745
1277.50/1281.40 c #Conflicts: 772000 | #Constraints: 1304745
1277.50/1281.40 c #Conflicts: 773000 | #Constraints: 1305745
1277.50/1281.40 c #Conflicts: 774000 | #Constraints: 1306745
1277.50/1281.40 c #Conflicts: 775000 | #Constraints: 1307745
1277.50/1281.40 c #Conflicts: 776000 | #Constraints: 1308745
1277.50/1281.40 c #Conflicts: 777000 | #Constraints: 1309745
1277.50/1281.40 c #Conflicts: 778000 | #Constraints: 1310745
1277.50/1281.40 c #Conflicts: 779000 | #Constraints: 1311745
1277.50/1281.40 c #Conflicts: 780000 | #Constraints: 1312745
1277.50/1281.40 c #Conflicts: 781000 | #Constraints: 1313745
1277.50/1281.40 c #Conflicts: 782000 | #Constraints: 1314745
1277.50/1281.40 c #Conflicts: 783000 | #Constraints: 1315745
1277.50/1281.40 c #Conflicts: 784000 | #Constraints: 1316745
1277.50/1281.40 c #Conflicts: 785000 | #Constraints: 1317745
1277.50/1281.40 c #Conflicts: 786000 | #Constraints: 1318745
1277.50/1281.40 c #Conflicts: 787000 | #Constraints: 1319745
1277.50/1281.40 c #Conflicts: 788000 | #Constraints: 1320745
1277.50/1281.40 c #Conflicts: 789000 | #Constraints: 1321745
1277.50/1281.40 c #Conflicts: 790000 | #Constraints: 1322745
1277.50/1281.40 c #Conflicts: 791000 | #Constraints: 1323745
1277.50/1281.40 c #Conflicts: 792000 | #Constraints: 1324745
1277.50/1281.40 c #Conflicts: 793000 | #Constraints: 1325745
1277.50/1281.40 c #Conflicts: 794000 | #Constraints: 1326745
1277.50/1281.40 c #Conflicts: 795000 | #Constraints: 1327745
1277.50/1281.40 c #Conflicts: 796000 | #Constraints: 1328745
1277.50/1281.40 c #Conflicts: 797000 | #Constraints: 1329745
1277.50/1281.40 c #Conflicts: 798000 | #Constraints: 1330745
1277.50/1281.40 c #Conflicts: 799000 | #Constraints: 1331745
1277.50/1281.40 c #Conflicts: 800000 | #Constraints: 1332745
1277.50/1281.40 c #Conflicts: 801000 | #Constraints: 1333745
1277.50/1281.40 c #Conflicts: 802000 | #Constraints: 1334745
1277.50/1281.40 c #Conflicts: 803000 | #Constraints: 1335745
1277.50/1281.40 c #Conflicts: 804000 | #Constraints: 1336745
1277.50/1281.40 c #Conflicts: 805000 | #Constraints: 1337745
1277.50/1281.40 c #Conflicts: 806000 | #Constraints: 1338745
1277.50/1281.40 c INPROCESSING
1277.50/1281.40 c GARBAGE COLLECT
1277.50/1281.40 c #Conflicts: 807000 | #Constraints: 1293634
1277.50/1281.40 c #Conflicts: 808000 | #Constraints: 1294634
1277.50/1281.40 c #Conflicts: 809000 | #Constraints: 1295634
1277.50/1281.40 c #Conflicts: 810000 | #Constraints: 1296634
1277.50/1281.40 c #Conflicts: 811000 | #Constraints: 1297634
1277.50/1281.40 c #Conflicts: 812000 | #Constraints: 1298634
1277.50/1281.40 c #Conflicts: 813000 | #Constraints: 1299634
1277.50/1281.40 c #Conflicts: 814000 | #Constraints: 1300634
1277.50/1281.40 c #Conflicts: 815000 | #Constraints: 1301634
1277.50/1281.40 c #Conflicts: 816000 | #Constraints: 1302634
1277.50/1281.40 c #Conflicts: 817000 | #Constraints: 1303634
1277.50/1281.40 c #Conflicts: 818000 | #Constraints: 1304634
1277.50/1281.40 c #Conflicts: 819000 | #Constraints: 1305634
1277.50/1281.40 c #Conflicts: 820000 | #Constraints: 1306634
1277.50/1281.40 c #Conflicts: 821000 | #Constraints: 1307634
1277.50/1281.40 c #Conflicts: 822000 | #Constraints: 1308634
1277.50/1281.40 c #Conflicts: 823000 | #Constraints: 1309634
1277.50/1281.40 c #Conflicts: 824000 | #Constraints: 1310634
1277.50/1281.40 c #Conflicts: 825000 | #Constraints: 1311634
1277.50/1281.40 c #Conflicts: 826000 | #Constraints: 1312634
1277.50/1281.40 c #Conflicts: 827000 | #Constraints: 1313634
1277.50/1281.40 c #Conflicts: 828000 | #Constraints: 1314634
1277.50/1281.40 c #Conflicts: 829000 | #Constraints: 1315634
1277.50/1281.40 c #Conflicts: 830000 | #Constraints: 1316634
1277.50/1281.40 c #Conflicts: 831000 | #Constraints: 1317634
1277.50/1281.40 c #Conflicts: 832000 | #Constraints: 1318634
1277.50/1281.40 c INPROCESSING
1277.50/1281.40 c GARBAGE COLLECT
1277.50/1281.40 c #Conflicts: 833000 | #Constraints: 1286061
1277.50/1281.40 c #Conflicts: 834000 | #Constraints: 1287061
1277.50/1281.40 c #Conflicts: 835000 | #Constraints: 1288061
1277.50/1281.40 c #Conflicts: 836000 | #Constraints: 1289061
1277.50/1281.40 c #Conflicts: 837000 | #Constraints: 1290061
1277.50/1281.40 c #Conflicts: 838000 | #Constraints: 1291061
1277.50/1281.40 c #Conflicts: 839000 | #Constraints: 1292061
1277.50/1281.40 c #Conflicts: 840000 | #Constraints: 1293061
1277.50/1281.40 c #Conflicts: 841000 | #Constraints: 1294061
1277.50/1281.40 c #Conflicts: 842000 | #Constraints: 1295061
1277.50/1281.40 c #Conflicts: 843000 | #Constraints: 1296061
1277.50/1281.40 c #Conflicts: 844000 | #Constraints: 1297061
1408.72/1413.06 c #Conflicts: 845000 | #Constraints: 1298061
1408.72/1413.06 c #Conflicts: 846000 | #Constraints: 1299061
1408.72/1413.06 c #Conflicts: 847000 | #Constraints: 1300061
1408.72/1413.06 c #Conflicts: 848000 | #Constraints: 1301061
1408.72/1413.06 c #Conflicts: 849000 | #Constraints: 1302061
1408.72/1413.06 c #Conflicts: 850000 | #Constraints: 1303061
1408.72/1413.06 c #Conflicts: 851000 | #Constraints: 1304061
1408.72/1413.06 c #Conflicts: 852000 | #Constraints: 1305061
1408.72/1413.06 c #Conflicts: 853000 | #Constraints: 1306061
1408.72/1413.06 c #Conflicts: 854000 | #Constraints: 1307061
1408.72/1413.06 c #Conflicts: 855000 | #Constraints: 1308061
1408.72/1413.06 c #Conflicts: 856000 | #Constraints: 1309061
1408.72/1413.06 c #Conflicts: 857000 | #Constraints: 1310061
1408.72/1413.06 c #Conflicts: 858000 | #Constraints: 1311061
1408.72/1413.06 c #Conflicts: 859000 | #Constraints: 1312061
1408.72/1413.06 c #Conflicts: 860000 | #Constraints: 1313061
1408.72/1413.06 c #Conflicts: 861000 | #Constraints: 1314061
1408.72/1413.06 c #Conflicts: 862000 | #Constraints: 1315061
1408.72/1413.06 c #Conflicts: 863000 | #Constraints: 1316061
1408.72/1413.06 c #Conflicts: 864000 | #Constraints: 1317061
1408.72/1413.06 c #Conflicts: 865000 | #Constraints: 1318061
1408.72/1413.06 c #Conflicts: 866000 | #Constraints: 1319061
1408.72/1413.06 c #Conflicts: 867000 | #Constraints: 1320061
1408.72/1413.06 c #Conflicts: 868000 | #Constraints: 1321061
1408.72/1413.06 c #Conflicts: 869000 | #Constraints: 1322061
1408.72/1413.06 c #Conflicts: 870000 | #Constraints: 1323061
1408.72/1413.06 c #Conflicts: 871000 | #Constraints: 1324061
1408.72/1413.06 c #Conflicts: 872000 | #Constraints: 1325061
1408.72/1413.06 c #Conflicts: 873000 | #Constraints: 1326061
1408.72/1413.06 c #Conflicts: 874000 | #Constraints: 1327061
1408.72/1413.06 c #Conflicts: 875000 | #Constraints: 1328061
1408.72/1413.06 c #Conflicts: 876000 | #Constraints: 1329061
1408.72/1413.06 c #Conflicts: 877000 | #Constraints: 1330061
1408.72/1413.06 c #Conflicts: 878000 | #Constraints: 1331061
1408.72/1413.06 c #Conflicts: 879000 | #Constraints: 1332061
1408.72/1413.06 c #Conflicts: 880000 | #Constraints: 1333061
1408.72/1413.06 c #Conflicts: 881000 | #Constraints: 1334061
1408.72/1413.06 c #Conflicts: 882000 | #Constraints: 1335061
1408.72/1413.06 c #Conflicts: 883000 | #Constraints: 1336061
1408.72/1413.06 c #Conflicts: 884000 | #Constraints: 1337061
1408.72/1413.06 c #Conflicts: 885000 | #Constraints: 1338061
1408.72/1413.06 c #Conflicts: 886000 | #Constraints: 1339061
1408.72/1413.06 c #Conflicts: 887000 | #Constraints: 1340061
1408.72/1413.06 c #Conflicts: 888000 | #Constraints: 1341061
1408.72/1413.06 c #Conflicts: 889000 | #Constraints: 1342061
1408.72/1413.06 c #Conflicts: 890000 | #Constraints: 1343061
1408.72/1413.06 c #Conflicts: 891000 | #Constraints: 1344061
1408.72/1413.06 c #Conflicts: 892000 | #Constraints: 1345061
1408.72/1413.06 c #Conflicts: 893000 | #Constraints: 1346061
1408.72/1413.06 c INPROCESSING
1408.72/1413.06 c GARBAGE COLLECT
1408.72/1413.06 c #Conflicts: 894000 | #Constraints: 1298306
1408.72/1413.06 c #Conflicts: 895000 | #Constraints: 1299306
1408.72/1413.06 c #Conflicts: 896000 | #Constraints: 1300306
1408.72/1413.06 c #Conflicts: 897000 | #Constraints: 1301306
1408.72/1413.06 c #Conflicts: 898000 | #Constraints: 1302306
1408.72/1413.06 c #Conflicts: 899000 | #Constraints: 1303306
1408.72/1413.06 c #Conflicts: 900000 | #Constraints: 1304306
1408.72/1413.06 c #Conflicts: 901000 | #Constraints: 1305306
1408.72/1413.06 c #Conflicts: 902000 | #Constraints: 1306306
1408.72/1413.06 c #Conflicts: 903000 | #Constraints: 1307306
1408.72/1413.06 c #Conflicts: 904000 | #Constraints: 1308306
1408.72/1413.06 c #Conflicts: 905000 | #Constraints: 1309306
1408.72/1413.06 c #Conflicts: 906000 | #Constraints: 1310306
1408.72/1413.06 c #Conflicts: 907000 | #Constraints: 1311306
1408.72/1413.06 c #Conflicts: 908000 | #Constraints: 1312306
1408.72/1413.06 c #Conflicts: 909000 | #Constraints: 1313306
1408.72/1413.06 c #Conflicts: 910000 | #Constraints: 1314306
1408.72/1413.06 c #Conflicts: 911000 | #Constraints: 1315306
1408.72/1413.06 c #Conflicts: 912000 | #Constraints: 1316306
1408.72/1413.06 c #Conflicts: 913000 | #Constraints: 1317306
1408.72/1413.06 c #Conflicts: 914000 | #Constraints: 1318306
1408.72/1413.06 c #Conflicts: 915000 | #Constraints: 1319306
1408.72/1413.06 c #Conflicts: 916000 | #Constraints: 1320306
1408.72/1413.06 c #Conflicts: 917000 | #Constraints: 1321306
1408.72/1413.06 c #Conflicts: 918000 | #Constraints: 1322306
1408.72/1413.06 c #Conflicts: 919000 | #Constraints: 1323306
1408.72/1413.06 c #Conflicts: 920000 | #Constraints: 1324306
1408.72/1413.06 c INPROCESSING
1408.72/1413.06 c GARBAGE COLLECT
1408.72/1413.06 c #Conflicts: 921000 | #Constraints: 1289753
1555.56/1560.31 c #Conflicts: 922000 | #Constraints: 1290753
1555.56/1560.31 c #Conflicts: 923000 | #Constraints: 1291753
1555.56/1560.31 c #Conflicts: 924000 | #Constraints: 1292753
1555.56/1560.31 c #Conflicts: 925000 | #Constraints: 1293753
1555.56/1560.31 c #Conflicts: 926000 | #Constraints: 1294753
1555.56/1560.31 c #Conflicts: 927000 | #Constraints: 1295753
1555.56/1560.31 c #Conflicts: 928000 | #Constraints: 1296753
1555.56/1560.31 c #Conflicts: 929000 | #Constraints: 1297753
1555.56/1560.31 c #Conflicts: 930000 | #Constraints: 1298753
1555.56/1560.31 c #Conflicts: 931000 | #Constraints: 1299753
1555.56/1560.31 c #Conflicts: 932000 | #Constraints: 1300753
1555.56/1560.31 c #Conflicts: 933000 | #Constraints: 1301753
1555.56/1560.31 c #Conflicts: 934000 | #Constraints: 1302753
1555.56/1560.31 c #Conflicts: 935000 | #Constraints: 1303753
1555.56/1560.31 c #Conflicts: 936000 | #Constraints: 1304753
1555.56/1560.31 c #Conflicts: 937000 | #Constraints: 1305753
1555.56/1560.31 c #Conflicts: 938000 | #Constraints: 1306753
1555.56/1560.31 c #Conflicts: 939000 | #Constraints: 1307753
1555.56/1560.31 c #Conflicts: 940000 | #Constraints: 1308753
1555.56/1560.31 c #Conflicts: 941000 | #Constraints: 1309753
1555.56/1560.31 c #Conflicts: 942000 | #Constraints: 1310753
1555.56/1560.31 c #Conflicts: 943000 | #Constraints: 1311753
1555.56/1560.31 c #Conflicts: 944000 | #Constraints: 1312753
1555.56/1560.31 c #Conflicts: 945000 | #Constraints: 1313753
1555.56/1560.31 c #Conflicts: 946000 | #Constraints: 1314753
1555.56/1560.31 c #Conflicts: 947000 | #Constraints: 1315753
1555.56/1560.31 c #Conflicts: 948000 | #Constraints: 1316753
1555.56/1560.31 c #Conflicts: 949000 | #Constraints: 1317753
1555.56/1560.31 c #Conflicts: 950000 | #Constraints: 1318753
1555.56/1560.31 c #Conflicts: 951000 | #Constraints: 1319753
1555.56/1560.31 c #Conflicts: 952000 | #Constraints: 1320753
1555.56/1560.31 c #Conflicts: 953000 | #Constraints: 1321753
1555.56/1560.31 c #Conflicts: 954000 | #Constraints: 1322753
1555.56/1560.31 c #Conflicts: 955000 | #Constraints: 1323753
1555.56/1560.31 c #Conflicts: 956000 | #Constraints: 1324753
1555.56/1560.31 c #Conflicts: 957000 | #Constraints: 1325753
1555.56/1560.31 c #Conflicts: 958000 | #Constraints: 1326753
1555.56/1560.31 c #Conflicts: 959000 | #Constraints: 1327753
1555.56/1560.31 c #Conflicts: 960000 | #Constraints: 1328753
1555.56/1560.31 c #Conflicts: 961000 | #Constraints: 1329753
1555.56/1560.31 c #Conflicts: 962000 | #Constraints: 1330753
1555.56/1560.31 c #Conflicts: 963000 | #Constraints: 1331753
1555.56/1560.31 c #Conflicts: 964000 | #Constraints: 1332753
1555.56/1560.31 c #Conflicts: 965000 | #Constraints: 1333753
1555.56/1560.31 c #Conflicts: 966000 | #Constraints: 1334753
1555.56/1560.31 c #Conflicts: 967000 | #Constraints: 1335753
1555.56/1560.31 c #Conflicts: 968000 | #Constraints: 1336753
1555.56/1560.31 c #Conflicts: 969000 | #Constraints: 1337753
1555.56/1560.31 c #Conflicts: 970000 | #Constraints: 1338753
1555.56/1560.31 c #Conflicts: 971000 | #Constraints: 1339753
1555.56/1560.31 c #Conflicts: 972000 | #Constraints: 1340753
1555.56/1560.31 c #Conflicts: 973000 | #Constraints: 1341753
1555.56/1560.31 c #Conflicts: 974000 | #Constraints: 1342753
1555.56/1560.31 c #Conflicts: 975000 | #Constraints: 1343753
1555.56/1560.31 c #Conflicts: 976000 | #Constraints: 1344753
1555.56/1560.31 c #Conflicts: 977000 | #Constraints: 1345753
1555.56/1560.31 c #Conflicts: 978000 | #Constraints: 1346753
1555.56/1560.31 c #Conflicts: 979000 | #Constraints: 1347753
1555.56/1560.31 c #Conflicts: 980000 | #Constraints: 1348753
1555.56/1560.31 c #Conflicts: 981000 | #Constraints: 1349753
1555.56/1560.31 c #Conflicts: 982000 | #Constraints: 1350753
1555.56/1560.31 c #Conflicts: 983000 | #Constraints: 1351753
1555.56/1560.31 c #Conflicts: 984000 | #Constraints: 1352753
1555.56/1560.31 c INPROCESSING
1555.56/1560.31 c GARBAGE COLLECT
1555.56/1560.31 c #Conflicts: 985000 | #Constraints: 1301382
1555.56/1560.31 c #Conflicts: 986000 | #Constraints: 1302382
1555.56/1560.31 c #Conflicts: 987000 | #Constraints: 1303382
1555.56/1560.31 c #Conflicts: 988000 | #Constraints: 1304382
1555.56/1560.31 c #Conflicts: 989000 | #Constraints: 1305382
1555.56/1560.31 c #Conflicts: 990000 | #Constraints: 1306382
1555.56/1560.31 c #Conflicts: 991000 | #Constraints: 1307382
1555.56/1560.31 c #Conflicts: 992000 | #Constraints: 1308382
1555.56/1560.31 c #Conflicts: 993000 | #Constraints: 1309382
1555.56/1560.31 c #Conflicts: 994000 | #Constraints: 1310382
1555.56/1560.31 c #Conflicts: 995000 | #Constraints: 1311382
1555.56/1560.31 c #Conflicts: 996000 | #Constraints: 1312382
1555.56/1560.31 c #Conflicts: 997000 | #Constraints: 1313382
1555.56/1560.31 c #Conflicts: 998000 | #Constraints: 1314382
1555.56/1560.31 c #Conflicts: 999000 | #Constraints: 1315382
1733.51/1738.83 c #Conflicts: 1000000 | #Constraints: 1316382
1733.51/1738.83 c #Conflicts: 1001000 | #Constraints: 1317382
1733.51/1738.83 c #Conflicts: 1002000 | #Constraints: 1318382
1733.51/1738.83 c #Conflicts: 1003000 | #Constraints: 1319382
1733.51/1738.83 c #Conflicts: 1004000 | #Constraints: 1320382
1733.51/1738.83 c #Conflicts: 1005000 | #Constraints: 1321382
1733.51/1738.83 c #Conflicts: 1006000 | #Constraints: 1322382
1733.51/1738.83 c #Conflicts: 1007000 | #Constraints: 1323382
1733.51/1738.83 c #Conflicts: 1008000 | #Constraints: 1324382
1733.51/1738.83 c #Conflicts: 1009000 | #Constraints: 1325382
1733.51/1738.83 c #Conflicts: 1010000 | #Constraints: 1326382
1733.51/1738.83 c #Conflicts: 1011000 | #Constraints: 1327382
1733.51/1738.83 c #Conflicts: 1012000 | #Constraints: 1328382
1733.51/1738.83 c INPROCESSING
1733.51/1738.83 c GARBAGE COLLECT
1733.51/1738.83 c #Conflicts: 1013000 | #Constraints: 1289905
1733.51/1738.83 c #Conflicts: 1014000 | #Constraints: 1290905
1733.51/1738.83 c #Conflicts: 1015000 | #Constraints: 1291905
1733.51/1738.83 c #Conflicts: 1016000 | #Constraints: 1292905
1733.51/1738.83 c #Conflicts: 1017000 | #Constraints: 1293905
1733.51/1738.83 c #Conflicts: 1018000 | #Constraints: 1294905
1733.51/1738.83 c #Conflicts: 1019000 | #Constraints: 1295905
1733.51/1738.83 c #Conflicts: 1020000 | #Constraints: 1296905
1733.51/1738.83 c #Conflicts: 1021000 | #Constraints: 1297905
1733.51/1738.83 c #Conflicts: 1022000 | #Constraints: 1298905
1733.51/1738.83 c #Conflicts: 1023000 | #Constraints: 1299905
1733.51/1738.83 c #Conflicts: 1024000 | #Constraints: 1300905
1733.51/1738.83 c #Conflicts: 1025000 | #Constraints: 1301905
1733.51/1738.83 c #Conflicts: 1026000 | #Constraints: 1302905
1733.51/1738.83 c #Conflicts: 1027000 | #Constraints: 1303905
1733.51/1738.83 c #Conflicts: 1028000 | #Constraints: 1304905
1733.51/1738.83 c #Conflicts: 1029000 | #Constraints: 1305905
1733.51/1738.83 c #Conflicts: 1030000 | #Constraints: 1306905
1733.51/1738.83 c #Conflicts: 1031000 | #Constraints: 1307905
1733.51/1738.83 c #Conflicts: 1032000 | #Constraints: 1308905
1733.51/1738.83 c #Conflicts: 1033000 | #Constraints: 1309905
1733.51/1738.83 c #Conflicts: 1034000 | #Constraints: 1310905
1733.51/1738.83 c #Conflicts: 1035000 | #Constraints: 1311905
1733.51/1738.83 c #Conflicts: 1036000 | #Constraints: 1312905
1733.51/1738.83 c #Conflicts: 1037000 | #Constraints: 1313905
1733.51/1738.83 c #Conflicts: 1038000 | #Constraints: 1314905
1733.51/1738.83 c #Conflicts: 1039000 | #Constraints: 1315905
1733.51/1738.83 c #Conflicts: 1040000 | #Constraints: 1316905
1733.51/1738.83 c #Conflicts: 1041000 | #Constraints: 1317905
1733.51/1738.83 c #Conflicts: 1042000 | #Constraints: 1318905
1733.51/1738.83 c #Conflicts: 1043000 | #Constraints: 1319905
1733.51/1738.83 c #Conflicts: 1044000 | #Constraints: 1320905
1733.51/1738.83 c #Conflicts: 1045000 | #Constraints: 1321905
1733.51/1738.83 c #Conflicts: 1046000 | #Constraints: 1322905
1733.51/1738.83 c #Conflicts: 1047000 | #Constraints: 1323905
1733.51/1738.83 c #Conflicts: 1048000 | #Constraints: 1324905
1733.51/1738.83 c #Conflicts: 1049000 | #Constraints: 1325905
1733.51/1738.83 c #Conflicts: 1050000 | #Constraints: 1326905
1733.51/1738.83 c #Conflicts: 1051000 | #Constraints: 1327905
1733.51/1738.83 c #Conflicts: 1052000 | #Constraints: 1328905
1733.51/1738.83 c #Conflicts: 1053000 | #Constraints: 1329905
1733.51/1738.83 c #Conflicts: 1054000 | #Constraints: 1330905
1733.51/1738.83 c #Conflicts: 1055000 | #Constraints: 1331905
1733.51/1738.83 c #Conflicts: 1056000 | #Constraints: 1332905
1733.51/1738.83 c #Conflicts: 1057000 | #Constraints: 1333905
1733.51/1738.83 c #Conflicts: 1058000 | #Constraints: 1334905
1733.51/1738.83 c #Conflicts: 1059000 | #Constraints: 1335905
1733.51/1738.83 c #Conflicts: 1060000 | #Constraints: 1336905
1733.51/1738.83 c #Conflicts: 1061000 | #Constraints: 1337905
1733.51/1738.83 c #Conflicts: 1062000 | #Constraints: 1338905
1733.51/1738.83 c #Conflicts: 1063000 | #Constraints: 1339905
1733.51/1738.83 c #Conflicts: 1064000 | #Constraints: 1340905
1733.51/1738.83 c #Conflicts: 1065000 | #Constraints: 1341905
1733.51/1738.83 c #Conflicts: 1066000 | #Constraints: 1342905
1733.51/1738.83 c #Conflicts: 1067000 | #Constraints: 1343905
1733.51/1738.83 c #Conflicts: 1068000 | #Constraints: 1344905
1733.51/1738.83 c #Conflicts: 1069000 | #Constraints: 1345905
1733.51/1738.83 c #Conflicts: 1070000 | #Constraints: 1346905
1733.51/1738.83 c #Conflicts: 1071000 | #Constraints: 1347905
1733.51/1738.83 c #Conflicts: 1072000 | #Constraints: 1348905
1733.51/1738.83 c #Conflicts: 1073000 | #Constraints: 1349905
1733.51/1738.83 c #Conflicts: 1074000 | #Constraints: 1350905
1733.51/1738.83 c #Conflicts: 1075000 | #Constraints: 1351905
1733.51/1738.83 c #Conflicts: 1076000 | #Constraints: 1352905
1733.51/1738.83 c #Conflicts: 1077000 | #Constraints: 1353905
1848.86/1854.57 c #Conflicts: 1078000 | #Constraints: 1354905
1848.86/1854.57 c #Conflicts: 1079000 | #Constraints: 1355905
1848.86/1854.57 c INPROCESSING
1848.86/1854.57 c GARBAGE COLLECT
1848.86/1854.57 c #Conflicts: 1080000 | #Constraints: 1302495
1848.86/1854.57 c #Conflicts: 1081000 | #Constraints: 1303495
1848.86/1854.57 c #Conflicts: 1082000 | #Constraints: 1304495
1848.86/1854.57 c #Conflicts: 1083000 | #Constraints: 1305495
1848.86/1854.57 c #Conflicts: 1084000 | #Constraints: 1306495
1848.86/1854.57 c #Conflicts: 1085000 | #Constraints: 1307495
1848.86/1854.57 c #Conflicts: 1086000 | #Constraints: 1308495
1848.86/1854.57 c #Conflicts: 1087000 | #Constraints: 1309495
1848.86/1854.57 c #Conflicts: 1088000 | #Constraints: 1310495
1848.86/1854.57 c #Conflicts: 1089000 | #Constraints: 1311495
1848.86/1854.57 c #Conflicts: 1090000 | #Constraints: 1312495
1848.86/1854.57 c #Conflicts: 1091000 | #Constraints: 1313495
1848.86/1854.57 c #Conflicts: 1092000 | #Constraints: 1314495
1848.86/1854.57 c #Conflicts: 1093000 | #Constraints: 1315495
1848.86/1854.57 c #Conflicts: 1094000 | #Constraints: 1316495
1848.86/1854.57 c #Conflicts: 1095000 | #Constraints: 1317495
1848.86/1854.57 c #Conflicts: 1096000 | #Constraints: 1318495
1848.86/1854.57 c #Conflicts: 1097000 | #Constraints: 1319495
1848.86/1854.57 c #Conflicts: 1098000 | #Constraints: 1320495
1848.86/1854.57 c #Conflicts: 1099000 | #Constraints: 1321495
1848.86/1854.57 c #Conflicts: 1100000 | #Constraints: 1322495
1848.86/1854.57 c #Conflicts: 1101000 | #Constraints: 1323495
1848.86/1854.57 c #Conflicts: 1102000 | #Constraints: 1324495
1848.86/1854.57 c #Conflicts: 1103000 | #Constraints: 1325495
1848.86/1854.57 c #Conflicts: 1104000 | #Constraints: 1326495
1848.86/1854.57 c #Conflicts: 1105000 | #Constraints: 1327495
1848.86/1854.57 c #Conflicts: 1106000 | #Constraints: 1328495
1848.86/1854.57 c #Conflicts: 1107000 | #Constraints: 1329495
1848.86/1854.57 c #Conflicts: 1108000 | #Constraints: 1330495
1848.86/1854.57 c INPROCESSING
1848.86/1854.57 c GARBAGE COLLECT
1848.86/1854.57 c #Conflicts: 1109000 | #Constraints: 1289936
1848.86/1854.57 c #Conflicts: 1110000 | #Constraints: 1290936
1848.86/1854.57 c #Conflicts: 1111000 | #Constraints: 1291936
1848.86/1854.57 c #Conflicts: 1112000 | #Constraints: 1292936
1848.86/1854.57 c #Conflicts: 1113000 | #Constraints: 1293936
1848.86/1854.57 c #Conflicts: 1114000 | #Constraints: 1294936
1848.86/1854.57 c #Conflicts: 1115000 | #Constraints: 1295936
1848.86/1854.57 c #Conflicts: 1116000 | #Constraints: 1296936
1848.86/1854.57 c #Conflicts: 1117000 | #Constraints: 1297936
1848.86/1854.57 c #Conflicts: 1118000 | #Constraints: 1298936
1848.86/1854.57 c #Conflicts: 1119000 | #Constraints: 1299936
1848.86/1854.57 c #Conflicts: 1120000 | #Constraints: 1300936
1848.86/1854.57 c #Conflicts: 1121000 | #Constraints: 1301936
1848.86/1854.57 c #Conflicts: 1122000 | #Constraints: 1302936
1848.86/1854.57 c #Conflicts: 1123000 | #Constraints: 1303936
1848.86/1854.57 c #Conflicts: 1124000 | #Constraints: 1304936
1848.86/1854.57 c #Conflicts: 1125000 | #Constraints: 1305936
1848.86/1854.57 c #Conflicts: 1126000 | #Constraints: 1306936
1848.86/1854.57 c #Conflicts: 1127000 | #Constraints: 1307936
1848.86/1854.57 c #Conflicts: 1128000 | #Constraints: 1308936
1848.86/1854.57 c #Conflicts: 1129000 | #Constraints: 1309936
1848.86/1854.57 c #Conflicts: 1130000 | #Constraints: 1310936
1848.86/1854.57 c #Conflicts: 1131000 | #Constraints: 1311936
1848.86/1854.57 c #Conflicts: 1132000 | #Constraints: 1312936
1848.86/1854.57 c #Conflicts: 1133000 | #Constraints: 1313936
1848.86/1854.57 c #Conflicts: 1134000 | #Constraints: 1314936
1848.86/1854.57 c #Conflicts: 1135000 | #Constraints: 1315936
1848.86/1854.57 c #Conflicts: 1136000 | #Constraints: 1316936
1848.86/1854.57 c #Conflicts: 1137000 | #Constraints: 1317936
1848.86/1854.57 c #Conflicts: 1138000 | #Constraints: 1318936
1848.86/1854.57 c INPROCESSING
1848.86/1854.57 c GARBAGE COLLECT
1848.86/1854.57 c #Conflicts: 1139000 | #Constraints: 1290495
1848.86/1854.57 c #Conflicts: 1140000 | #Constraints: 1291495
1848.86/1854.57 c #Conflicts: 1141000 | #Constraints: 1292495
1848.86/1854.57 c #Conflicts: 1142000 | #Constraints: 1293495
1848.86/1854.57 c #Conflicts: 1143000 | #Constraints: 1294495
1848.86/1854.57 c #Conflicts: 1144000 | #Constraints: 1295495
1848.86/1854.57 c #Conflicts: 1145000 | #Constraints: 1296495
1848.86/1854.57 c #Conflicts: 1146000 | #Constraints: 1297495
1848.86/1854.57 c #Conflicts: 1147000 | #Constraints: 1298495
1848.86/1854.57 c #Conflicts: 1148000 | #Constraints: 1299495
1848.86/1854.57 c #Conflicts: 1149000 | #Constraints: 1300495
1848.86/1854.57 c #Conflicts: 1150000 | #Constraints: 1301495
1848.86/1854.57 c #Conflicts: 1151000 | #Constraints: 1302495
1848.86/1854.57 c #Conflicts: 1152000 | #Constraints: 1303495
1848.86/1854.57 c #Conflicts: 1153000 | #Constraints: 1304495
1848.86/1854.57 c #Conflicts: 1154000 | #Constraints: 1305495
2024.44/2030.61 c #Conflicts: 1155000 | #Constraints: 1306495
2024.44/2030.61 c #Conflicts: 1156000 | #Constraints: 1307495
2024.44/2030.61 c #Conflicts: 1157000 | #Constraints: 1308495
2024.44/2030.61 c #Conflicts: 1158000 | #Constraints: 1309495
2024.44/2030.61 c #Conflicts: 1159000 | #Constraints: 1310495
2024.44/2030.61 c #Conflicts: 1160000 | #Constraints: 1311495
2024.44/2030.61 c #Conflicts: 1161000 | #Constraints: 1312495
2024.44/2030.61 c #Conflicts: 1162000 | #Constraints: 1313495
2024.44/2030.61 c #Conflicts: 1163000 | #Constraints: 1314495
2024.44/2030.61 c #Conflicts: 1164000 | #Constraints: 1315495
2024.44/2030.61 c #Conflicts: 1165000 | #Constraints: 1316495
2024.44/2030.61 c #Conflicts: 1166000 | #Constraints: 1317495
2024.44/2030.61 c #Conflicts: 1167000 | #Constraints: 1318495
2024.44/2030.61 c #Conflicts: 1168000 | #Constraints: 1319495
2024.44/2030.61 c #Conflicts: 1169000 | #Constraints: 1320495
2024.44/2030.61 c #Conflicts: 1170000 | #Constraints: 1321495
2024.44/2030.61 c #Conflicts: 1171000 | #Constraints: 1322495
2024.44/2030.61 c #Conflicts: 1172000 | #Constraints: 1323495
2024.44/2030.61 c #Conflicts: 1173000 | #Constraints: 1324495
2024.44/2030.61 c #Conflicts: 1174000 | #Constraints: 1325495
2024.44/2030.61 c #Conflicts: 1175000 | #Constraints: 1326495
2024.44/2030.61 c #Conflicts: 1176000 | #Constraints: 1327495
2024.44/2030.61 c #Conflicts: 1177000 | #Constraints: 1328495
2024.44/2030.61 c #Conflicts: 1178000 | #Constraints: 1329495
2024.44/2030.61 c #Conflicts: 1179000 | #Constraints: 1330495
2024.44/2030.61 c #Conflicts: 1180000 | #Constraints: 1331495
2024.44/2030.61 c #Conflicts: 1181000 | #Constraints: 1332495
2024.44/2030.61 c #Conflicts: 1182000 | #Constraints: 1333495
2024.44/2030.61 c #Conflicts: 1183000 | #Constraints: 1334495
2024.44/2030.61 c #Conflicts: 1184000 | #Constraints: 1335495
2024.44/2030.61 c #Conflicts: 1185000 | #Constraints: 1336495
2024.44/2030.61 c #Conflicts: 1186000 | #Constraints: 1337495
2024.44/2030.61 c #Conflicts: 1187000 | #Constraints: 1338495
2024.44/2030.61 c #Conflicts: 1188000 | #Constraints: 1339495
2024.44/2030.61 c #Conflicts: 1189000 | #Constraints: 1340495
2024.44/2030.61 c #Conflicts: 1190000 | #Constraints: 1341495
2024.44/2030.61 c #Conflicts: 1191000 | #Constraints: 1342495
2024.44/2030.61 c #Conflicts: 1192000 | #Constraints: 1343495
2024.44/2030.61 c #Conflicts: 1193000 | #Constraints: 1344495
2024.44/2030.61 c #Conflicts: 1194000 | #Constraints: 1345495
2024.44/2030.61 c #Conflicts: 1195000 | #Constraints: 1346495
2024.44/2030.61 c #Conflicts: 1196000 | #Constraints: 1347495
2024.44/2030.61 c #Conflicts: 1197000 | #Constraints: 1348495
2024.44/2030.61 c #Conflicts: 1198000 | #Constraints: 1349495
2024.44/2030.61 c #Conflicts: 1199000 | #Constraints: 1350495
2024.44/2030.61 c #Conflicts: 1200000 | #Constraints: 1351495
2024.44/2030.61 c #Conflicts: 1201000 | #Constraints: 1352495
2024.44/2030.61 c #Conflicts: 1202000 | #Constraints: 1353495
2024.44/2030.61 c #Conflicts: 1203000 | #Constraints: 1354495
2024.44/2030.61 c #Conflicts: 1204000 | #Constraints: 1355495
2024.44/2030.61 c #Conflicts: 1205000 | #Constraints: 1356495
2024.44/2030.61 c #Conflicts: 1206000 | #Constraints: 1357495
2024.44/2030.61 c #Conflicts: 1207000 | #Constraints: 1358495
2024.44/2030.61 c #Conflicts: 1208000 | #Constraints: 1359495
2024.44/2030.61 c #Conflicts: 1209000 | #Constraints: 1360495
2024.44/2030.61 c INPROCESSING
2024.44/2030.61 c GARBAGE COLLECT
2024.44/2030.61 c #Conflicts: 1210000 | #Constraints: 1305375
2024.44/2030.61 c #Conflicts: 1211000 | #Constraints: 1306375
2024.44/2030.61 c #Conflicts: 1212000 | #Constraints: 1307375
2024.44/2030.61 c #Conflicts: 1213000 | #Constraints: 1308375
2024.44/2030.61 c #Conflicts: 1214000 | #Constraints: 1309375
2024.44/2030.61 c #Conflicts: 1215000 | #Constraints: 1310375
2024.44/2030.61 c #Conflicts: 1216000 | #Constraints: 1311375
2024.44/2030.61 c #Conflicts: 1217000 | #Constraints: 1312375
2024.44/2030.61 c #Conflicts: 1218000 | #Constraints: 1313375
2024.44/2030.61 c #Conflicts: 1219000 | #Constraints: 1314375
2024.44/2030.61 c #Conflicts: 1220000 | #Constraints: 1315375
2024.44/2030.61 c #Conflicts: 1221000 | #Constraints: 1316375
2024.44/2030.61 c #Conflicts: 1222000 | #Constraints: 1317375
2024.44/2030.61 c #Conflicts: 1223000 | #Constraints: 1318375
2024.44/2030.61 c #Conflicts: 1224000 | #Constraints: 1319375
2024.44/2030.61 c #Conflicts: 1225000 | #Constraints: 1320375
2024.44/2030.61 c #Conflicts: 1226000 | #Constraints: 1321375
2024.44/2030.61 c #Conflicts: 1227000 | #Constraints: 1322375
2024.44/2030.61 c #Conflicts: 1228000 | #Constraints: 1323375
2024.44/2030.61 c #Conflicts: 1229000 | #Constraints: 1324375
2024.44/2030.61 c #Conflicts: 1230000 | #Constraints: 1325375
2024.44/2030.61 c #Conflicts: 1231000 | #Constraints: 1326375
2024.44/2030.61 c #Conflicts: 1232000 | #Constraints: 1327375
2171.50/2178.16 c #Conflicts: 1233000 | #Constraints: 1328375
2171.50/2178.16 c #Conflicts: 1234000 | #Constraints: 1329375
2171.50/2178.16 c #Conflicts: 1235000 | #Constraints: 1330375
2171.50/2178.16 c #Conflicts: 1236000 | #Constraints: 1331375
2171.50/2178.16 c #Conflicts: 1237000 | #Constraints: 1332375
2171.50/2178.16 c #Conflicts: 1238000 | #Constraints: 1333375
2171.50/2178.16 c #Conflicts: 1239000 | #Constraints: 1334375
2171.50/2178.16 c #Conflicts: 1240000 | #Constraints: 1335375
2171.50/2178.16 c INPROCESSING
2171.50/2178.16 c GARBAGE COLLECT
2171.50/2178.16 c #Conflicts: 1241000 | #Constraints: 1293631
2171.50/2178.16 c #Conflicts: 1242000 | #Constraints: 1294631
2171.50/2178.16 c #Conflicts: 1243000 | #Constraints: 1295631
2171.50/2178.16 c #Conflicts: 1244000 | #Constraints: 1296631
2171.50/2178.16 c #Conflicts: 1245000 | #Constraints: 1297631
2171.50/2178.16 c #Conflicts: 1246000 | #Constraints: 1298631
2171.50/2178.16 c #Conflicts: 1247000 | #Constraints: 1299631
2171.50/2178.16 c #Conflicts: 1248000 | #Constraints: 1300631
2171.50/2178.16 c #Conflicts: 1249000 | #Constraints: 1301631
2171.50/2178.16 c #Conflicts: 1250000 | #Constraints: 1302631
2171.50/2178.16 c #Conflicts: 1251000 | #Constraints: 1303631
2171.50/2178.16 c #Conflicts: 1252000 | #Constraints: 1304631
2171.50/2178.16 c #Conflicts: 1253000 | #Constraints: 1305631
2171.50/2178.16 c #Conflicts: 1254000 | #Constraints: 1306631
2171.50/2178.16 c #Conflicts: 1255000 | #Constraints: 1307631
2171.50/2178.16 c #Conflicts: 1256000 | #Constraints: 1308631
2171.50/2178.16 c #Conflicts: 1257000 | #Constraints: 1309631
2171.50/2178.16 c #Conflicts: 1258000 | #Constraints: 1310631
2171.50/2178.16 c #Conflicts: 1259000 | #Constraints: 1311631
2171.50/2178.16 c #Conflicts: 1260000 | #Constraints: 1312631
2171.50/2178.16 c #Conflicts: 1261000 | #Constraints: 1313631
2171.50/2178.16 c #Conflicts: 1262000 | #Constraints: 1314631
2171.50/2178.16 c #Conflicts: 1263000 | #Constraints: 1315631
2171.50/2178.16 c #Conflicts: 1264000 | #Constraints: 1316631
2171.50/2178.16 c #Conflicts: 1265000 | #Constraints: 1317631
2171.50/2178.16 c #Conflicts: 1266000 | #Constraints: 1318631
2171.50/2178.16 c #Conflicts: 1267000 | #Constraints: 1319631
2171.50/2178.16 c #Conflicts: 1268000 | #Constraints: 1320631
2171.50/2178.16 c #Conflicts: 1269000 | #Constraints: 1321631
2171.50/2178.16 c #Conflicts: 1270000 | #Constraints: 1322631
2171.50/2178.16 c #Conflicts: 1271000 | #Constraints: 1323631
2171.50/2178.16 c #Conflicts: 1272000 | #Constraints: 1324631
2171.50/2178.16 c #Conflicts: 1273000 | #Constraints: 1325631
2171.50/2178.16 c #Conflicts: 1274000 | #Constraints: 1326631
2171.50/2178.16 c #Conflicts: 1275000 | #Constraints: 1327631
2171.50/2178.16 c #Conflicts: 1276000 | #Constraints: 1328631
2171.50/2178.16 c #Conflicts: 1277000 | #Constraints: 1329631
2171.50/2178.16 c #Conflicts: 1278000 | #Constraints: 1330631
2171.50/2178.16 c #Conflicts: 1279000 | #Constraints: 1331631
2171.50/2178.16 c #Conflicts: 1280000 | #Constraints: 1332631
2171.50/2178.16 c #Conflicts: 1281000 | #Constraints: 1333631
2171.50/2178.16 c #Conflicts: 1282000 | #Constraints: 1334631
2171.50/2178.16 c #Conflicts: 1283000 | #Constraints: 1335631
2171.50/2178.16 c #Conflicts: 1284000 | #Constraints: 1336631
2171.50/2178.16 c #Conflicts: 1285000 | #Constraints: 1337631
2171.50/2178.16 c #Conflicts: 1286000 | #Constraints: 1338631
2171.50/2178.16 c #Conflicts: 1287000 | #Constraints: 1339631
2171.50/2178.16 c #Conflicts: 1288000 | #Constraints: 1340631
2171.50/2178.16 c #Conflicts: 1289000 | #Constraints: 1341631
2171.50/2178.16 c #Conflicts: 1290000 | #Constraints: 1342631
2171.50/2178.16 c #Conflicts: 1291000 | #Constraints: 1343631
2171.50/2178.16 c #Conflicts: 1292000 | #Constraints: 1344631
2171.50/2178.16 c #Conflicts: 1293000 | #Constraints: 1345631
2171.50/2178.16 c #Conflicts: 1294000 | #Constraints: 1346631
2171.50/2178.16 c #Conflicts: 1295000 | #Constraints: 1347631
2171.50/2178.16 c #Conflicts: 1296000 | #Constraints: 1348631
2171.50/2178.16 c #Conflicts: 1297000 | #Constraints: 1349631
2171.50/2178.16 c #Conflicts: 1298000 | #Constraints: 1350631
2171.50/2178.16 c #Conflicts: 1299000 | #Constraints: 1351631
2171.50/2178.16 c #Conflicts: 1300000 | #Constraints: 1352631
2171.50/2178.16 c #Conflicts: 1301000 | #Constraints: 1353631
2171.50/2178.16 c #Conflicts: 1302000 | #Constraints: 1354631
2171.50/2178.16 c #Conflicts: 1303000 | #Constraints: 1355631
2171.50/2178.16 c #Conflicts: 1304000 | #Constraints: 1356631
2171.50/2178.16 c #Conflicts: 1305000 | #Constraints: 1357631
2171.50/2178.16 c #Conflicts: 1306000 | #Constraints: 1358631
2171.50/2178.16 c #Conflicts: 1307000 | #Constraints: 1359631
2171.50/2178.16 c #Conflicts: 1308000 | #Constraints: 1360631
2171.50/2178.16 c #Conflicts: 1309000 | #Constraints: 1361631
2171.50/2178.16 c #Conflicts: 1310000 | #Constraints: 1362631
2278.67/2285.61 c #Conflicts: 1311000 | #Constraints: 1363631
2278.67/2285.61 c #Conflicts: 1312000 | #Constraints: 1364631
2278.67/2285.61 c #Conflicts: 1313000 | #Constraints: 1365631
2278.67/2285.61 c #Conflicts: 1314000 | #Constraints: 1366631
2278.67/2285.61 c #Conflicts: 1315000 | #Constraints: 1367631
2278.67/2285.61 c INPROCESSING
2278.67/2285.61 c GARBAGE COLLECT
2278.67/2285.61 c #Conflicts: 1316000 | #Constraints: 1309692
2278.67/2285.61 c #Conflicts: 1317000 | #Constraints: 1310692
2278.67/2285.61 c #Conflicts: 1318000 | #Constraints: 1311692
2278.67/2285.61 c #Conflicts: 1319000 | #Constraints: 1312692
2278.67/2285.61 c #Conflicts: 1320000 | #Constraints: 1313692
2278.67/2285.61 c #Conflicts: 1321000 | #Constraints: 1314692
2278.67/2285.61 c #Conflicts: 1322000 | #Constraints: 1315692
2278.67/2285.61 c #Conflicts: 1323000 | #Constraints: 1316692
2278.67/2285.61 c #Conflicts: 1324000 | #Constraints: 1317692
2278.67/2285.61 c #Conflicts: 1325000 | #Constraints: 1318692
2278.67/2285.61 c #Conflicts: 1326000 | #Constraints: 1319692
2278.67/2285.61 c #Conflicts: 1327000 | #Constraints: 1320692
2278.67/2285.61 c #Conflicts: 1328000 | #Constraints: 1321692
2278.67/2285.61 c #Conflicts: 1329000 | #Constraints: 1322692
2278.67/2285.61 c #Conflicts: 1330000 | #Constraints: 1323692
2278.67/2285.61 c #Conflicts: 1331000 | #Constraints: 1324692
2278.67/2285.61 c #Conflicts: 1332000 | #Constraints: 1325692
2278.67/2285.61 c #Conflicts: 1333000 | #Constraints: 1326692
2278.67/2285.61 c #Conflicts: 1334000 | #Constraints: 1327692
2278.67/2285.61 c #Conflicts: 1335000 | #Constraints: 1328692
2278.67/2285.61 c #Conflicts: 1336000 | #Constraints: 1329692
2278.67/2285.61 c #Conflicts: 1337000 | #Constraints: 1330692
2278.67/2285.61 c #Conflicts: 1338000 | #Constraints: 1331692
2278.67/2285.61 c #Conflicts: 1339000 | #Constraints: 1332692
2278.67/2285.61 c #Conflicts: 1340000 | #Constraints: 1333692
2278.67/2285.61 c #Conflicts: 1341000 | #Constraints: 1334692
2278.67/2285.61 c #Conflicts: 1342000 | #Constraints: 1335692
2278.67/2285.61 c #Conflicts: 1343000 | #Constraints: 1336692
2278.67/2285.61 c #Conflicts: 1344000 | #Constraints: 1337692
2278.67/2285.61 c #Conflicts: 1345000 | #Constraints: 1338692
2278.67/2285.61 c #Conflicts: 1346000 | #Constraints: 1339692
2278.67/2285.61 c #Conflicts: 1347000 | #Constraints: 1340692
2278.67/2285.61 c INPROCESSING
2278.67/2285.61 c GARBAGE COLLECT
2278.67/2285.61 c #Conflicts: 1348000 | #Constraints: 1297042
2278.67/2285.61 c #Conflicts: 1349000 | #Constraints: 1298042
2278.67/2285.61 c #Conflicts: 1350000 | #Constraints: 1299042
2278.67/2285.61 c #Conflicts: 1351000 | #Constraints: 1300042
2278.67/2285.61 c #Conflicts: 1352000 | #Constraints: 1301042
2278.67/2285.61 c #Conflicts: 1353000 | #Constraints: 1302042
2278.67/2285.61 c #Conflicts: 1354000 | #Constraints: 1303042
2278.67/2285.61 c #Conflicts: 1355000 | #Constraints: 1304042
2278.67/2285.61 c #Conflicts: 1356000 | #Constraints: 1305042
2278.67/2285.61 c #Conflicts: 1357000 | #Constraints: 1306042
2278.67/2285.61 c #Conflicts: 1358000 | #Constraints: 1307042
2278.67/2285.61 c #Conflicts: 1359000 | #Constraints: 1308042
2278.67/2285.61 c #Conflicts: 1360000 | #Constraints: 1309042
2278.67/2285.61 c #Conflicts: 1361000 | #Constraints: 1310042
2278.67/2285.61 c #Conflicts: 1362000 | #Constraints: 1311042
2278.67/2285.61 c #Conflicts: 1363000 | #Constraints: 1312042
2278.67/2285.61 c #Conflicts: 1364000 | #Constraints: 1313042
2278.67/2285.61 c #Conflicts: 1365000 | #Constraints: 1314042
2278.67/2285.61 c #Conflicts: 1366000 | #Constraints: 1315042
2278.67/2285.61 c #Conflicts: 1367000 | #Constraints: 1316042
2278.67/2285.61 c #Conflicts: 1368000 | #Constraints: 1317042
2278.67/2285.61 c #Conflicts: 1369000 | #Constraints: 1318042
2278.67/2285.61 c #Conflicts: 1370000 | #Constraints: 1319042
2278.67/2285.61 c #Conflicts: 1371000 | #Constraints: 1320042
2278.67/2285.61 c #Conflicts: 1372000 | #Constraints: 1321042
2278.67/2285.61 c #Conflicts: 1373000 | #Constraints: 1322042
2278.67/2285.61 c #Conflicts: 1374000 | #Constraints: 1323042
2278.67/2285.61 c #Conflicts: 1375000 | #Constraints: 1324042
2278.67/2285.61 c #Conflicts: 1376000 | #Constraints: 1325042
2278.67/2285.61 c #Conflicts: 1377000 | #Constraints: 1326042
2278.67/2285.61 c #Conflicts: 1378000 | #Constraints: 1327042
2278.67/2285.61 c #Conflicts: 1379000 | #Constraints: 1328042
2278.67/2285.61 c #Conflicts: 1380000 | #Constraints: 1329042
2278.67/2285.61 c #Conflicts: 1381000 | #Constraints: 1330042
2278.67/2285.61 c #Conflicts: 1382000 | #Constraints: 1331042
2278.67/2285.61 c #Conflicts: 1383000 | #Constraints: 1332042
2278.67/2285.61 c #Conflicts: 1384000 | #Constraints: 1333042
2278.67/2285.61 c #Conflicts: 1385000 | #Constraints: 1334042
2278.67/2285.61 c #Conflicts: 1386000 | #Constraints: 1335042
2278.67/2285.61 c #Conflicts: 1387000 | #Constraints: 1336042
2278.67/2285.61 c #Conflicts: 1388000 | #Constraints: 1337042
2425.83/2433.29 c #Conflicts: 1389000 | #Constraints: 1338042
2425.83/2433.29 c #Conflicts: 1390000 | #Constraints: 1339042
2425.83/2433.29 c #Conflicts: 1391000 | #Constraints: 1340042
2425.83/2433.29 c #Conflicts: 1392000 | #Constraints: 1341042
2425.83/2433.29 c #Conflicts: 1393000 | #Constraints: 1342042
2425.83/2433.29 c #Conflicts: 1394000 | #Constraints: 1343042
2425.83/2433.29 c #Conflicts: 1395000 | #Constraints: 1344042
2425.83/2433.29 c #Conflicts: 1396000 | #Constraints: 1345042
2425.83/2433.29 c #Conflicts: 1397000 | #Constraints: 1346042
2425.83/2433.29 c #Conflicts: 1398000 | #Constraints: 1347042
2425.83/2433.29 c #Conflicts: 1399000 | #Constraints: 1348042
2425.83/2433.29 c #Conflicts: 1400000 | #Constraints: 1349042
2425.83/2433.29 c #Conflicts: 1401000 | #Constraints: 1350042
2425.83/2433.29 c #Conflicts: 1402000 | #Constraints: 1351042
2425.83/2433.29 c #Conflicts: 1403000 | #Constraints: 1352042
2425.83/2433.29 c #Conflicts: 1404000 | #Constraints: 1353042
2425.83/2433.29 c #Conflicts: 1405000 | #Constraints: 1354042
2425.83/2433.29 c #Conflicts: 1406000 | #Constraints: 1355042
2425.83/2433.29 c #Conflicts: 1407000 | #Constraints: 1356042
2425.83/2433.29 c #Conflicts: 1408000 | #Constraints: 1357042
2425.83/2433.29 c #Conflicts: 1409000 | #Constraints: 1358042
2425.83/2433.29 c #Conflicts: 1410000 | #Constraints: 1359042
2425.83/2433.29 c #Conflicts: 1411000 | #Constraints: 1360042
2425.83/2433.29 c #Conflicts: 1412000 | #Constraints: 1361042
2425.83/2433.29 c #Conflicts: 1413000 | #Constraints: 1362042
2425.83/2433.29 c #Conflicts: 1414000 | #Constraints: 1363042
2425.83/2433.29 c #Conflicts: 1415000 | #Constraints: 1364042
2425.83/2433.29 c #Conflicts: 1416000 | #Constraints: 1365042
2425.83/2433.29 c #Conflicts: 1417000 | #Constraints: 1366042
2425.83/2433.29 c #Conflicts: 1418000 | #Constraints: 1367042
2425.83/2433.29 c #Conflicts: 1419000 | #Constraints: 1368042
2425.83/2433.29 c #Conflicts: 1420000 | #Constraints: 1369042
2425.83/2433.29 c #Conflicts: 1421000 | #Constraints: 1370042
2425.83/2433.29 c #Conflicts: 1422000 | #Constraints: 1371042
2425.83/2433.29 c #Conflicts: 1423000 | #Constraints: 1372042
2425.83/2433.29 c #Conflicts: 1424000 | #Constraints: 1373042
2425.83/2433.29 c #Conflicts: 1425000 | #Constraints: 1374042
2425.83/2433.29 c INPROCESSING
2425.83/2433.29 c GARBAGE COLLECT
2425.83/2433.29 c #Conflicts: 1426000 | #Constraints: 1312930
2425.83/2433.29 c #Conflicts: 1427000 | #Constraints: 1313930
2425.83/2433.29 c #Conflicts: 1428000 | #Constraints: 1314930
2425.83/2433.29 c #Conflicts: 1429000 | #Constraints: 1315930
2425.83/2433.29 c #Conflicts: 1430000 | #Constraints: 1316930
2425.83/2433.29 c #Conflicts: 1431000 | #Constraints: 1317930
2425.83/2433.29 c #Conflicts: 1432000 | #Constraints: 1318930
2425.83/2433.29 c #Conflicts: 1433000 | #Constraints: 1319930
2425.83/2433.29 c #Conflicts: 1434000 | #Constraints: 1320930
2425.83/2433.29 c #Conflicts: 1435000 | #Constraints: 1321930
2425.83/2433.29 c #Conflicts: 1436000 | #Constraints: 1322930
2425.83/2433.29 c #Conflicts: 1437000 | #Constraints: 1323930
2425.83/2433.29 c #Conflicts: 1438000 | #Constraints: 1324930
2425.83/2433.29 c #Conflicts: 1439000 | #Constraints: 1325930
2425.83/2433.29 c #Conflicts: 1440000 | #Constraints: 1326930
2425.83/2433.29 c #Conflicts: 1441000 | #Constraints: 1327930
2425.83/2433.29 c #Conflicts: 1442000 | #Constraints: 1328930
2425.83/2433.29 c #Conflicts: 1443000 | #Constraints: 1329930
2425.83/2433.29 c #Conflicts: 1444000 | #Constraints: 1330930
2425.83/2433.29 c #Conflicts: 1445000 | #Constraints: 1331930
2425.83/2433.29 c #Conflicts: 1446000 | #Constraints: 1332930
2425.83/2433.29 c #Conflicts: 1447000 | #Constraints: 1333930
2425.83/2433.29 c #Conflicts: 1448000 | #Constraints: 1334930
2425.83/2433.29 c #Conflicts: 1449000 | #Constraints: 1335930
2425.83/2433.29 c #Conflicts: 1450000 | #Constraints: 1336930
2425.83/2433.29 c #Conflicts: 1451000 | #Constraints: 1337930
2425.83/2433.29 c #Conflicts: 1452000 | #Constraints: 1338930
2425.83/2433.29 c #Conflicts: 1453000 | #Constraints: 1339930
2425.83/2433.29 c #Conflicts: 1454000 | #Constraints: 1340930
2425.83/2433.29 c #Conflicts: 1455000 | #Constraints: 1341930
2425.83/2433.29 c #Conflicts: 1456000 | #Constraints: 1342930
2425.83/2433.29 c #Conflicts: 1457000 | #Constraints: 1343930
2425.83/2433.29 c #Conflicts: 1458000 | #Constraints: 1344930
2425.83/2433.29 c INPROCESSING
2425.83/2433.29 c GARBAGE COLLECT
2425.83/2433.29 c #Conflicts: 1459000 | #Constraints: 1301189
2425.83/2433.29 c #Conflicts: 1460000 | #Constraints: 1302189
2425.83/2433.29 c #Conflicts: 1461000 | #Constraints: 1303189
2425.83/2433.29 c #Conflicts: 1462000 | #Constraints: 1304189
2425.83/2433.29 c #Conflicts: 1463000 | #Constraints: 1305189
2425.83/2433.29 c #Conflicts: 1464000 | #Constraints: 1306189
2425.83/2433.29 c #Conflicts: 1465000 | #Constraints: 1307189
2580.37/2588.21 c #Conflicts: 1466000 | #Constraints: 1308189
2580.37/2588.21 c #Conflicts: 1467000 | #Constraints: 1309189
2580.37/2588.21 c #Conflicts: 1468000 | #Constraints: 1310189
2580.37/2588.21 c #Conflicts: 1469000 | #Constraints: 1311189
2580.37/2588.21 c #Conflicts: 1470000 | #Constraints: 1312189
2580.37/2588.21 c #Conflicts: 1471000 | #Constraints: 1313189
2580.37/2588.21 c #Conflicts: 1472000 | #Constraints: 1314189
2580.37/2588.21 c #Conflicts: 1473000 | #Constraints: 1315189
2580.37/2588.21 c #Conflicts: 1474000 | #Constraints: 1316189
2580.37/2588.21 c #Conflicts: 1475000 | #Constraints: 1317189
2580.37/2588.21 c #Conflicts: 1476000 | #Constraints: 1318189
2580.37/2588.21 c #Conflicts: 1477000 | #Constraints: 1319189
2580.37/2588.21 c #Conflicts: 1478000 | #Constraints: 1320189
2580.37/2588.21 c #Conflicts: 1479000 | #Constraints: 1321189
2580.37/2588.21 c #Conflicts: 1480000 | #Constraints: 1322189
2580.37/2588.21 c #Conflicts: 1481000 | #Constraints: 1323189
2580.37/2588.21 c #Conflicts: 1482000 | #Constraints: 1324189
2580.37/2588.21 c #Conflicts: 1483000 | #Constraints: 1325189
2580.37/2588.21 c #Conflicts: 1484000 | #Constraints: 1326189
2580.37/2588.21 c #Conflicts: 1485000 | #Constraints: 1327189
2580.37/2588.21 c #Conflicts: 1486000 | #Constraints: 1328189
2580.37/2588.21 c #Conflicts: 1487000 | #Constraints: 1329189
2580.37/2588.21 c #Conflicts: 1488000 | #Constraints: 1330189
2580.37/2588.21 c #Conflicts: 1489000 | #Constraints: 1331189
2580.37/2588.21 c #Conflicts: 1490000 | #Constraints: 1332189
2580.37/2588.21 c #Conflicts: 1491000 | #Constraints: 1333189
2580.37/2588.21 c #Conflicts: 1492000 | #Constraints: 1334189
2580.37/2588.21 c #Conflicts: 1493000 | #Constraints: 1335189
2580.37/2588.21 c #Conflicts: 1494000 | #Constraints: 1336189
2580.37/2588.21 c #Conflicts: 1495000 | #Constraints: 1337189
2580.37/2588.21 c #Conflicts: 1496000 | #Constraints: 1338189
2580.37/2588.21 c #Conflicts: 1497000 | #Constraints: 1339189
2580.37/2588.21 c #Conflicts: 1498000 | #Constraints: 1340189
2580.37/2588.21 c #Conflicts: 1499000 | #Constraints: 1341189
2580.37/2588.21 c #Conflicts: 1500000 | #Constraints: 1342189
2580.37/2588.21 c #Conflicts: 1501000 | #Constraints: 1343189
2580.37/2588.21 c #Conflicts: 1502000 | #Constraints: 1344189
2580.37/2588.21 c #Conflicts: 1503000 | #Constraints: 1345189
2580.37/2588.21 c #Conflicts: 1504000 | #Constraints: 1346189
2580.37/2588.21 c #Conflicts: 1505000 | #Constraints: 1347189
2580.37/2588.21 c #Conflicts: 1506000 | #Constraints: 1348189
2580.37/2588.21 c #Conflicts: 1507000 | #Constraints: 1349189
2580.37/2588.21 c #Conflicts: 1508000 | #Constraints: 1350189
2580.37/2588.21 c #Conflicts: 1509000 | #Constraints: 1351189
2580.37/2588.21 c #Conflicts: 1510000 | #Constraints: 1352189
2580.37/2588.21 c #Conflicts: 1511000 | #Constraints: 1353189
2580.37/2588.21 c #Conflicts: 1512000 | #Constraints: 1354189
2580.37/2588.21 c #Conflicts: 1513000 | #Constraints: 1355189
2580.37/2588.21 c #Conflicts: 1514000 | #Constraints: 1356189
2580.37/2588.21 c #Conflicts: 1515000 | #Constraints: 1357189
2580.37/2588.21 c #Conflicts: 1516000 | #Constraints: 1358189
2580.37/2588.21 c #Conflicts: 1517000 | #Constraints: 1359189
2580.37/2588.21 c #Conflicts: 1518000 | #Constraints: 1360189
2580.37/2588.21 c #Conflicts: 1519000 | #Constraints: 1361189
2580.37/2588.21 c #Conflicts: 1520000 | #Constraints: 1362189
2580.37/2588.21 c #Conflicts: 1521000 | #Constraints: 1363189
2580.37/2588.21 c #Conflicts: 1522000 | #Constraints: 1364189
2580.37/2588.21 c #Conflicts: 1523000 | #Constraints: 1365189
2580.37/2588.21 c #Conflicts: 1524000 | #Constraints: 1366189
2580.37/2588.21 c #Conflicts: 1525000 | #Constraints: 1367189
2580.37/2588.21 c #Conflicts: 1526000 | #Constraints: 1368189
2580.37/2588.21 c #Conflicts: 1527000 | #Constraints: 1369189
2580.37/2588.21 c #Conflicts: 1528000 | #Constraints: 1370189
2580.37/2588.21 c #Conflicts: 1529000 | #Constraints: 1371189
2580.37/2588.21 c #Conflicts: 1530000 | #Constraints: 1372189
2580.37/2588.21 c #Conflicts: 1531000 | #Constraints: 1373189
2580.37/2588.21 c #Conflicts: 1532000 | #Constraints: 1374189
2580.37/2588.21 c #Conflicts: 1533000 | #Constraints: 1375189
2580.37/2588.21 c #Conflicts: 1534000 | #Constraints: 1376189
2580.37/2588.21 c #Conflicts: 1535000 | #Constraints: 1377189
2580.37/2588.21 c #Conflicts: 1536000 | #Constraints: 1378189
2580.37/2588.21 c #Conflicts: 1537000 | #Constraints: 1379189
2580.37/2588.21 c #Conflicts: 1538000 | #Constraints: 1380189
2580.37/2588.21 c #Conflicts: 1539000 | #Constraints: 1381189
2580.37/2588.21 c INPROCESSING
2580.37/2588.21 c GARBAGE COLLECT
2580.37/2588.21 c #Conflicts: 1540000 | #Constraints: 1317128
2580.37/2588.21 c #Conflicts: 1541000 | #Constraints: 1318128
2580.37/2588.21 c #Conflicts: 1542000 | #Constraints: 1319128
2580.37/2588.21 c #Conflicts: 1543000 | #Constraints: 1320128
2580.37/2588.21 c #Conflicts: 1544000 | #Constraints: 1321128
2694.40/2702.67 c #Conflicts: 1545000 | #Constraints: 1322128
2694.40/2702.67 c #Conflicts: 1546000 | #Constraints: 1323128
2694.40/2702.67 c #Conflicts: 1547000 | #Constraints: 1324128
2694.40/2702.67 c #Conflicts: 1548000 | #Constraints: 1325128
2694.40/2702.67 c #Conflicts: 1549000 | #Constraints: 1326128
2694.40/2702.67 c #Conflicts: 1550000 | #Constraints: 1327128
2694.40/2702.67 c #Conflicts: 1551000 | #Constraints: 1328128
2694.40/2702.67 c #Conflicts: 1552000 | #Constraints: 1329128
2694.40/2702.67 c #Conflicts: 1553000 | #Constraints: 1330128
2694.40/2702.67 c #Conflicts: 1554000 | #Constraints: 1331128
2694.40/2702.67 c #Conflicts: 1555000 | #Constraints: 1332128
2694.40/2702.67 c #Conflicts: 1556000 | #Constraints: 1333128
2694.40/2702.67 c #Conflicts: 1557000 | #Constraints: 1334128
2694.40/2702.67 c #Conflicts: 1558000 | #Constraints: 1335128
2694.40/2702.67 c #Conflicts: 1559000 | #Constraints: 1336128
2694.40/2702.67 c #Conflicts: 1560000 | #Constraints: 1337128
2694.40/2702.67 c #Conflicts: 1561000 | #Constraints: 1338128
2694.40/2702.67 c #Conflicts: 1562000 | #Constraints: 1339128
2694.40/2702.67 c #Conflicts: 1563000 | #Constraints: 1340128
2694.40/2702.67 c #Conflicts: 1564000 | #Constraints: 1341128
2694.40/2702.67 c #Conflicts: 1565000 | #Constraints: 1342128
2694.40/2702.67 c #Conflicts: 1566000 | #Constraints: 1343128
2694.40/2702.67 c #Conflicts: 1567000 | #Constraints: 1344128
2694.40/2702.67 c #Conflicts: 1568000 | #Constraints: 1345128
2694.40/2702.67 c #Conflicts: 1569000 | #Constraints: 1346128
2694.40/2702.67 c #Conflicts: 1570000 | #Constraints: 1347128
2694.40/2702.67 c #Conflicts: 1571000 | #Constraints: 1348128
2694.40/2702.67 c #Conflicts: 1572000 | #Constraints: 1349128
2694.40/2702.67 c #Conflicts: 1573000 | #Constraints: 1350128
2694.40/2702.67 c #Conflicts: 1574000 | #Constraints: 1351128
2694.40/2702.67 c INPROCESSING
2694.40/2702.67 c GARBAGE COLLECT
2694.40/2702.67 c #Conflicts: 1575000 | #Constraints: 1305284
2694.40/2702.67 c #Conflicts: 1576000 | #Constraints: 1306284
2694.40/2702.67 c #Conflicts: 1577000 | #Constraints: 1307284
2694.40/2702.67 c #Conflicts: 1578000 | #Constraints: 1308284
2694.40/2702.67 c #Conflicts: 1579000 | #Constraints: 1309284
2694.40/2702.67 c #Conflicts: 1580000 | #Constraints: 1310284
2694.40/2702.67 c #Conflicts: 1581000 | #Constraints: 1311284
2694.40/2702.67 c #Conflicts: 1582000 | #Constraints: 1312284
2694.40/2702.67 c #Conflicts: 1583000 | #Constraints: 1313284
2694.40/2702.67 c #Conflicts: 1584000 | #Constraints: 1314284
2694.40/2702.67 c #Conflicts: 1585000 | #Constraints: 1315284
2694.40/2702.67 c #Conflicts: 1586000 | #Constraints: 1316284
2694.40/2702.67 c #Conflicts: 1587000 | #Constraints: 1317284
2694.40/2702.67 c #Conflicts: 1588000 | #Constraints: 1318284
2694.40/2702.67 c #Conflicts: 1589000 | #Constraints: 1319284
2694.40/2702.67 c #Conflicts: 1590000 | #Constraints: 1320284
2694.40/2702.67 c #Conflicts: 1591000 | #Constraints: 1321284
2694.40/2702.67 c #Conflicts: 1592000 | #Constraints: 1322284
2694.40/2702.67 c #Conflicts: 1593000 | #Constraints: 1323284
2694.40/2702.67 c #Conflicts: 1594000 | #Constraints: 1324284
2694.40/2702.67 c #Conflicts: 1595000 | #Constraints: 1325284
2694.40/2702.67 c #Conflicts: 1596000 | #Constraints: 1326284
2694.40/2702.67 c #Conflicts: 1597000 | #Constraints: 1327284
2694.40/2702.67 c #Conflicts: 1598000 | #Constraints: 1328284
2694.40/2702.67 c #Conflicts: 1599000 | #Constraints: 1329284
2694.40/2702.67 c #Conflicts: 1600000 | #Constraints: 1330284
2694.40/2702.67 c #Conflicts: 1601000 | #Constraints: 1331284
2694.40/2702.67 c #Conflicts: 1602000 | #Constraints: 1332284
2694.40/2702.67 c #Conflicts: 1603000 | #Constraints: 1333284
2694.40/2702.67 c #Conflicts: 1604000 | #Constraints: 1334284
2694.40/2702.67 c #Conflicts: 1605000 | #Constraints: 1335284
2694.40/2702.67 c #Conflicts: 1606000 | #Constraints: 1336284
2694.40/2702.67 c #Conflicts: 1607000 | #Constraints: 1337284
2694.40/2702.67 c #Conflicts: 1608000 | #Constraints: 1338284
2694.40/2702.67 c #Conflicts: 1609000 | #Constraints: 1339284
2694.40/2702.67 c #Conflicts: 1610000 | #Constraints: 1340284
2694.40/2702.67 c #Conflicts: 1611000 | #Constraints: 1341284
2694.40/2702.67 c #Conflicts: 1612000 | #Constraints: 1342284
2694.40/2702.67 c #Conflicts: 1613000 | #Constraints: 1343284
2694.40/2702.67 c #Conflicts: 1614000 | #Constraints: 1344284
2694.40/2702.67 c #Conflicts: 1615000 | #Constraints: 1345284
2694.40/2702.67 c #Conflicts: 1616000 | #Constraints: 1346284
2694.40/2702.67 c #Conflicts: 1617000 | #Constraints: 1347284
2694.40/2702.67 c #Conflicts: 1618000 | #Constraints: 1348284
2694.40/2702.67 c #Conflicts: 1619000 | #Constraints: 1349284
2694.40/2702.67 c #Conflicts: 1620000 | #Constraints: 1350284
2694.40/2702.67 c #Conflicts: 1621000 | #Constraints: 1351284
2694.40/2702.67 c #Conflicts: 1622000 | #Constraints: 1352284
2876.84/2885.64 c #Conflicts: 1623000 | #Constraints: 1353284
2876.84/2885.64 c #Conflicts: 1624000 | #Constraints: 1354284
2876.84/2885.64 c #Conflicts: 1625000 | #Constraints: 1355284
2876.84/2885.64 c #Conflicts: 1626000 | #Constraints: 1356284
2876.84/2885.64 c #Conflicts: 1627000 | #Constraints: 1357284
2876.84/2885.64 c #Conflicts: 1628000 | #Constraints: 1358284
2876.84/2885.64 c #Conflicts: 1629000 | #Constraints: 1359284
2876.84/2885.64 c #Conflicts: 1630000 | #Constraints: 1360284
2876.84/2885.64 c #Conflicts: 1631000 | #Constraints: 1361284
2876.84/2885.64 c #Conflicts: 1632000 | #Constraints: 1362284
2876.84/2885.64 c #Conflicts: 1633000 | #Constraints: 1363284
2876.84/2885.64 c #Conflicts: 1634000 | #Constraints: 1364284
2876.84/2885.64 c #Conflicts: 1635000 | #Constraints: 1365284
2876.84/2885.64 c #Conflicts: 1636000 | #Constraints: 1366284
2876.84/2885.64 c #Conflicts: 1637000 | #Constraints: 1367284
2876.84/2885.64 c #Conflicts: 1638000 | #Constraints: 1368284
2876.84/2885.64 c #Conflicts: 1639000 | #Constraints: 1369284
2876.84/2885.64 c #Conflicts: 1640000 | #Constraints: 1370284
2876.84/2885.64 c #Conflicts: 1641000 | #Constraints: 1371284
2876.84/2885.64 c #Conflicts: 1642000 | #Constraints: 1372284
2876.84/2885.64 c #Conflicts: 1643000 | #Constraints: 1373284
2876.84/2885.64 c #Conflicts: 1644000 | #Constraints: 1374284
2876.84/2885.64 c #Conflicts: 1645000 | #Constraints: 1375284
2876.84/2885.64 c #Conflicts: 1646000 | #Constraints: 1376284
2876.84/2885.64 c #Conflicts: 1647000 | #Constraints: 1377284
2876.84/2885.64 c #Conflicts: 1648000 | #Constraints: 1378284
2876.84/2885.64 c #Conflicts: 1649000 | #Constraints: 1379284
2876.84/2885.64 c #Conflicts: 1650000 | #Constraints: 1380284
2876.84/2885.64 c #Conflicts: 1651000 | #Constraints: 1381284
2876.84/2885.64 c #Conflicts: 1652000 | #Constraints: 1382284
2876.84/2885.64 c #Conflicts: 1653000 | #Constraints: 1383284
2876.84/2885.64 c #Conflicts: 1654000 | #Constraints: 1384284
2876.84/2885.64 c #Conflicts: 1655000 | #Constraints: 1385284
2876.84/2885.64 c #Conflicts: 1656000 | #Constraints: 1386284
2876.84/2885.64 c #Conflicts: 1657000 | #Constraints: 1387284
2876.84/2885.64 c INPROCESSING
2876.84/2885.64 c GARBAGE COLLECT
2876.84/2885.64 c #Conflicts: 1658000 | #Constraints: 1320196
2876.84/2885.64 c #Conflicts: 1659000 | #Constraints: 1321196
2876.84/2885.64 c #Conflicts: 1660000 | #Constraints: 1322196
2876.84/2885.64 c #Conflicts: 1661000 | #Constraints: 1323196
2876.84/2885.64 c #Conflicts: 1662000 | #Constraints: 1324196
2876.84/2885.64 c #Conflicts: 1663000 | #Constraints: 1325196
2876.84/2885.64 c #Conflicts: 1664000 | #Constraints: 1326196
2876.84/2885.64 c #Conflicts: 1665000 | #Constraints: 1327196
2876.84/2885.64 c #Conflicts: 1666000 | #Constraints: 1328196
2876.84/2885.64 c #Conflicts: 1667000 | #Constraints: 1329196
2876.84/2885.64 c #Conflicts: 1668000 | #Constraints: 1330196
2876.84/2885.64 c #Conflicts: 1669000 | #Constraints: 1331196
2876.84/2885.64 c #Conflicts: 1670000 | #Constraints: 1332196
2876.84/2885.64 c #Conflicts: 1671000 | #Constraints: 1333196
2876.84/2885.64 c #Conflicts: 1672000 | #Constraints: 1334196
2876.84/2885.64 c #Conflicts: 1673000 | #Constraints: 1335196
2876.84/2885.64 c #Conflicts: 1674000 | #Constraints: 1336196
2876.84/2885.64 c #Conflicts: 1675000 | #Constraints: 1337196
2876.84/2885.64 c #Conflicts: 1676000 | #Constraints: 1338196
2876.84/2885.64 c #Conflicts: 1677000 | #Constraints: 1339196
2876.84/2885.64 c #Conflicts: 1678000 | #Constraints: 1340196
2876.84/2885.64 c #Conflicts: 1679000 | #Constraints: 1341196
2876.84/2885.64 c #Conflicts: 1680000 | #Constraints: 1342196
2876.84/2885.64 c #Conflicts: 1681000 | #Constraints: 1343196
2876.84/2885.64 c #Conflicts: 1682000 | #Constraints: 1344196
2876.84/2885.64 c #Conflicts: 1683000 | #Constraints: 1345196
2876.84/2885.64 c #Conflicts: 1684000 | #Constraints: 1346196
2876.84/2885.64 c #Conflicts: 1685000 | #Constraints: 1347196
2876.84/2885.64 c #Conflicts: 1686000 | #Constraints: 1348196
2876.84/2885.64 c #Conflicts: 1687000 | #Constraints: 1349196
2876.84/2885.64 c #Conflicts: 1688000 | #Constraints: 1350196
2876.84/2885.64 c #Conflicts: 1689000 | #Constraints: 1351196
2876.84/2885.64 c #Conflicts: 1690000 | #Constraints: 1352196
2876.84/2885.64 c #Conflicts: 1691000 | #Constraints: 1353196
2876.84/2885.64 c #Conflicts: 1692000 | #Constraints: 1354196
2876.84/2885.64 c #Conflicts: 1693000 | #Constraints: 1355196
2876.84/2885.64 c #Conflicts: 1694000 | #Constraints: 1356196
2876.84/2885.64 c INPROCESSING
2876.84/2885.64 c GARBAGE COLLECT
2876.84/2885.64 c #Conflicts: 1695000 | #Constraints: 1307761
2876.84/2885.64 c #Conflicts: 1696000 | #Constraints: 1308761
2876.84/2885.64 c #Conflicts: 1697000 | #Constraints: 1309761
2876.84/2885.64 c #Conflicts: 1698000 | #Constraints: 1310761
2876.84/2885.64 c #Conflicts: 1699000 | #Constraints: 1311761
3036.84/3046.16 c #Conflicts: 1700000 | #Constraints: 1312761
3036.84/3046.16 c #Conflicts: 1701000 | #Constraints: 1313761
3036.84/3046.16 c #Conflicts: 1702000 | #Constraints: 1314761
3036.84/3046.16 c #Conflicts: 1703000 | #Constraints: 1315761
3036.84/3046.16 c #Conflicts: 1704000 | #Constraints: 1316761
3036.84/3046.16 c #Conflicts: 1705000 | #Constraints: 1317761
3036.84/3046.16 c #Conflicts: 1706000 | #Constraints: 1318761
3036.84/3046.16 c #Conflicts: 1707000 | #Constraints: 1319761
3036.84/3046.16 c #Conflicts: 1708000 | #Constraints: 1320761
3036.84/3046.16 c #Conflicts: 1709000 | #Constraints: 1321761
3036.84/3046.16 c #Conflicts: 1710000 | #Constraints: 1322761
3036.84/3046.16 c #Conflicts: 1711000 | #Constraints: 1323761
3036.84/3046.16 c #Conflicts: 1712000 | #Constraints: 1324761
3036.84/3046.16 c #Conflicts: 1713000 | #Constraints: 1325761
3036.84/3046.16 c #Conflicts: 1714000 | #Constraints: 1326761
3036.84/3046.16 c #Conflicts: 1715000 | #Constraints: 1327761
3036.84/3046.16 c #Conflicts: 1716000 | #Constraints: 1328761
3036.84/3046.16 c #Conflicts: 1717000 | #Constraints: 1329761
3036.84/3046.16 c #Conflicts: 1718000 | #Constraints: 1330761
3036.84/3046.16 c #Conflicts: 1719000 | #Constraints: 1331761
3036.84/3046.16 c #Conflicts: 1720000 | #Constraints: 1332761
3036.84/3046.16 c #Conflicts: 1721000 | #Constraints: 1333761
3036.84/3046.16 c #Conflicts: 1722000 | #Constraints: 1334761
3036.84/3046.16 c #Conflicts: 1723000 | #Constraints: 1335761
3036.84/3046.16 c #Conflicts: 1724000 | #Constraints: 1336761
3036.84/3046.16 c #Conflicts: 1725000 | #Constraints: 1337761
3036.84/3046.16 c #Conflicts: 1726000 | #Constraints: 1338761
3036.84/3046.16 c #Conflicts: 1727000 | #Constraints: 1339761
3036.84/3046.16 c #Conflicts: 1728000 | #Constraints: 1340761
3036.84/3046.16 c #Conflicts: 1729000 | #Constraints: 1341761
3036.84/3046.16 c #Conflicts: 1730000 | #Constraints: 1342761
3036.84/3046.16 c #Conflicts: 1731000 | #Constraints: 1343761
3036.84/3046.16 c #Conflicts: 1732000 | #Constraints: 1344761
3036.84/3046.16 c #Conflicts: 1733000 | #Constraints: 1345761
3036.84/3046.16 c #Conflicts: 1734000 | #Constraints: 1346761
3036.84/3046.16 c #Conflicts: 1735000 | #Constraints: 1347761
3036.84/3046.16 c #Conflicts: 1736000 | #Constraints: 1348761
3036.84/3046.16 c #Conflicts: 1737000 | #Constraints: 1349761
3036.84/3046.16 c #Conflicts: 1738000 | #Constraints: 1350761
3036.84/3046.16 c #Conflicts: 1739000 | #Constraints: 1351761
3036.84/3046.16 c #Conflicts: 1740000 | #Constraints: 1352761
3036.84/3046.16 c #Conflicts: 1741000 | #Constraints: 1353761
3036.84/3046.16 c #Conflicts: 1742000 | #Constraints: 1354761
3036.84/3046.16 c #Conflicts: 1743000 | #Constraints: 1355761
3036.84/3046.16 c #Conflicts: 1744000 | #Constraints: 1356761
3036.84/3046.16 c #Conflicts: 1745000 | #Constraints: 1357761
3036.84/3046.16 c #Conflicts: 1746000 | #Constraints: 1358761
3036.84/3046.16 c #Conflicts: 1747000 | #Constraints: 1359761
3036.84/3046.16 c #Conflicts: 1748000 | #Constraints: 1360761
3036.84/3046.16 c #Conflicts: 1749000 | #Constraints: 1361761
3036.84/3046.16 c #Conflicts: 1750000 | #Constraints: 1362761
3036.84/3046.16 c #Conflicts: 1751000 | #Constraints: 1363761
3036.84/3046.16 c #Conflicts: 1752000 | #Constraints: 1364761
3036.84/3046.16 c #Conflicts: 1753000 | #Constraints: 1365761
3036.84/3046.16 c #Conflicts: 1754000 | #Constraints: 1366761
3036.84/3046.16 c #Conflicts: 1755000 | #Constraints: 1367761
3036.84/3046.16 c #Conflicts: 1756000 | #Constraints: 1368761
3036.84/3046.16 c #Conflicts: 1757000 | #Constraints: 1369761
3036.84/3046.16 c #Conflicts: 1758000 | #Constraints: 1370761
3036.84/3046.16 c #Conflicts: 1759000 | #Constraints: 1371761
3036.84/3046.16 c #Conflicts: 1760000 | #Constraints: 1372761
3036.84/3046.16 c #Conflicts: 1761000 | #Constraints: 1373761
3036.84/3046.16 c #Conflicts: 1762000 | #Constraints: 1374761
3036.84/3046.16 c #Conflicts: 1763000 | #Constraints: 1375761
3036.84/3046.16 c #Conflicts: 1764000 | #Constraints: 1376761
3036.84/3046.16 c #Conflicts: 1765000 | #Constraints: 1377761
3036.84/3046.16 c #Conflicts: 1766000 | #Constraints: 1378761
3036.84/3046.16 c #Conflicts: 1767000 | #Constraints: 1379761
3036.84/3046.16 c #Conflicts: 1768000 | #Constraints: 1380761
3036.84/3046.16 c #Conflicts: 1769000 | #Constraints: 1381761
3036.84/3046.16 c #Conflicts: 1770000 | #Constraints: 1382761
3036.84/3046.16 c #Conflicts: 1771000 | #Constraints: 1383761
3036.84/3046.16 c #Conflicts: 1772000 | #Constraints: 1384761
3036.84/3046.16 c #Conflicts: 1773000 | #Constraints: 1385761
3036.84/3046.16 c #Conflicts: 1774000 | #Constraints: 1386761
3036.84/3046.16 c #Conflicts: 1775000 | #Constraints: 1387761
3036.84/3046.16 c #Conflicts: 1776000 | #Constraints: 1388761
3036.84/3046.16 c #Conflicts: 1777000 | #Constraints: 1389761
3036.84/3046.16 c #Conflicts: 1778000 | #Constraints: 1390761
3156.87/3166.51 c #Conflicts: 1779000 | #Constraints: 1391761
3156.87/3166.51 c #Conflicts: 1780000 | #Constraints: 1392761
3156.87/3166.51 c INPROCESSING
3156.87/3166.51 c GARBAGE COLLECT
3156.87/3166.51 c #Conflicts: 1781000 | #Constraints: 1324059
3156.87/3166.51 c #Conflicts: 1782000 | #Constraints: 1325059
3156.87/3166.51 c #Conflicts: 1783000 | #Constraints: 1326059
3156.87/3166.51 c #Conflicts: 1784000 | #Constraints: 1327059
3156.87/3166.51 c #Conflicts: 1785000 | #Constraints: 1328059
3156.87/3166.51 c #Conflicts: 1786000 | #Constraints: 1329059
3156.87/3166.51 c #Conflicts: 1787000 | #Constraints: 1330059
3156.87/3166.51 c #Conflicts: 1788000 | #Constraints: 1331059
3156.87/3166.51 c #Conflicts: 1789000 | #Constraints: 1332059
3156.87/3166.51 c #Conflicts: 1790000 | #Constraints: 1333059
3156.87/3166.51 c #Conflicts: 1791000 | #Constraints: 1334059
3156.87/3166.51 c #Conflicts: 1792000 | #Constraints: 1335059
3156.87/3166.51 c #Conflicts: 1793000 | #Constraints: 1336059
3156.87/3166.51 c #Conflicts: 1794000 | #Constraints: 1337059
3156.87/3166.51 c #Conflicts: 1795000 | #Constraints: 1338059
3156.87/3166.51 c #Conflicts: 1796000 | #Constraints: 1339059
3156.87/3166.51 c #Conflicts: 1797000 | #Constraints: 1340059
3156.87/3166.51 c #Conflicts: 1798000 | #Constraints: 1341059
3156.87/3166.51 c #Conflicts: 1799000 | #Constraints: 1342059
3156.87/3166.51 c #Conflicts: 1800000 | #Constraints: 1343059
3156.87/3166.51 c #Conflicts: 1801000 | #Constraints: 1344059
3156.87/3166.51 c #Conflicts: 1802000 | #Constraints: 1345059
3156.87/3166.51 c #Conflicts: 1803000 | #Constraints: 1346059
3156.87/3166.51 c #Conflicts: 1804000 | #Constraints: 1347059
3156.87/3166.51 c #Conflicts: 1805000 | #Constraints: 1348059
3156.87/3166.51 c #Conflicts: 1806000 | #Constraints: 1349059
3156.87/3166.51 c #Conflicts: 1807000 | #Constraints: 1350059
3156.87/3166.51 c #Conflicts: 1808000 | #Constraints: 1351059
3156.87/3166.51 c #Conflicts: 1809000 | #Constraints: 1352059
3156.87/3166.51 c #Conflicts: 1810000 | #Constraints: 1353059
3156.87/3166.51 c #Conflicts: 1811000 | #Constraints: 1354059
3156.87/3166.51 c #Conflicts: 1812000 | #Constraints: 1355059
3156.87/3166.51 c #Conflicts: 1813000 | #Constraints: 1356059
3156.87/3166.51 c #Conflicts: 1814000 | #Constraints: 1357059
3156.87/3166.51 c #Conflicts: 1815000 | #Constraints: 1358059
3156.87/3166.51 c #Conflicts: 1816000 | #Constraints: 1359059
3156.87/3166.51 c #Conflicts: 1817000 | #Constraints: 1360059
3156.87/3166.51 c #Conflicts: 1818000 | #Constraints: 1361059
3156.87/3166.51 c INPROCESSING
3156.87/3166.51 c GARBAGE COLLECT
3156.87/3166.51 c #Conflicts: 1819000 | #Constraints: 1311549
3156.87/3166.51 c #Conflicts: 1820000 | #Constraints: 1312549
3156.87/3166.51 c #Conflicts: 1821000 | #Constraints: 1313549
3156.87/3166.51 c #Conflicts: 1822000 | #Constraints: 1314549
3156.87/3166.51 c #Conflicts: 1823000 | #Constraints: 1315549
3156.87/3166.51 c #Conflicts: 1824000 | #Constraints: 1316549
3156.87/3166.51 c #Conflicts: 1825000 | #Constraints: 1317549
3156.87/3166.51 c #Conflicts: 1826000 | #Constraints: 1318549
3156.87/3166.51 c #Conflicts: 1827000 | #Constraints: 1319549
3156.87/3166.51 c #Conflicts: 1828000 | #Constraints: 1320549
3156.87/3166.51 c #Conflicts: 1829000 | #Constraints: 1321549
3156.87/3166.51 c #Conflicts: 1830000 | #Constraints: 1322549
3156.87/3166.51 c #Conflicts: 1831000 | #Constraints: 1323549
3156.87/3166.51 c #Conflicts: 1832000 | #Constraints: 1324549
3156.87/3166.51 c #Conflicts: 1833000 | #Constraints: 1325549
3156.87/3166.51 c #Conflicts: 1834000 | #Constraints: 1326549
3156.87/3166.51 c #Conflicts: 1835000 | #Constraints: 1327549
3156.87/3166.51 c #Conflicts: 1836000 | #Constraints: 1328549
3156.87/3166.51 c #Conflicts: 1837000 | #Constraints: 1329549
3156.87/3166.51 c #Conflicts: 1838000 | #Constraints: 1330549
3156.87/3166.51 c #Conflicts: 1839000 | #Constraints: 1331549
3156.87/3166.51 c #Conflicts: 1840000 | #Constraints: 1332549
3156.87/3166.51 c #Conflicts: 1841000 | #Constraints: 1333549
3156.87/3166.51 c #Conflicts: 1842000 | #Constraints: 1334549
3156.87/3166.51 c #Conflicts: 1843000 | #Constraints: 1335549
3156.87/3166.51 c #Conflicts: 1844000 | #Constraints: 1336549
3156.87/3166.51 c #Conflicts: 1845000 | #Constraints: 1337549
3156.87/3166.51 c #Conflicts: 1846000 | #Constraints: 1338549
3156.87/3166.51 c #Conflicts: 1847000 | #Constraints: 1339549
3156.87/3166.51 c #Conflicts: 1848000 | #Constraints: 1340549
3156.87/3166.51 c #Conflicts: 1849000 | #Constraints: 1341549
3156.87/3166.51 c #Conflicts: 1850000 | #Constraints: 1342549
3156.87/3166.51 c #Conflicts: 1851000 | #Constraints: 1343549
3156.87/3166.51 c #Conflicts: 1852000 | #Constraints: 1344549
3156.87/3166.51 c #Conflicts: 1853000 | #Constraints: 1345549
3156.87/3166.51 c #Conflicts: 1854000 | #Constraints: 1346549
3156.87/3166.51 c #Conflicts: 1855000 | #Constraints: 1347549
3320.57/3330.71 c #Conflicts: 1856000 | #Constraints: 1348549
3320.57/3330.71 c #Conflicts: 1857000 | #Constraints: 1349549
3320.57/3330.71 c #Conflicts: 1858000 | #Constraints: 1350549
3320.57/3330.71 c #Conflicts: 1859000 | #Constraints: 1351549
3320.57/3330.71 c #Conflicts: 1860000 | #Constraints: 1352549
3320.57/3330.71 c #Conflicts: 1861000 | #Constraints: 1353549
3320.57/3330.71 c #Conflicts: 1862000 | #Constraints: 1354549
3320.57/3330.71 c #Conflicts: 1863000 | #Constraints: 1355549
3320.57/3330.71 c #Conflicts: 1864000 | #Constraints: 1356549
3320.57/3330.71 c #Conflicts: 1865000 | #Constraints: 1357549
3320.57/3330.71 c #Conflicts: 1866000 | #Constraints: 1358549
3320.57/3330.71 c #Conflicts: 1867000 | #Constraints: 1359549
3320.57/3330.71 c #Conflicts: 1868000 | #Constraints: 1360549
3320.57/3330.71 c #Conflicts: 1869000 | #Constraints: 1361549
3320.57/3330.71 c #Conflicts: 1870000 | #Constraints: 1362549
3320.57/3330.71 c #Conflicts: 1871000 | #Constraints: 1363549
3320.57/3330.71 c #Conflicts: 1872000 | #Constraints: 1364549
3320.57/3330.71 c #Conflicts: 1873000 | #Constraints: 1365549
3320.57/3330.71 c #Conflicts: 1874000 | #Constraints: 1366549
3320.57/3330.71 c #Conflicts: 1875000 | #Constraints: 1367549
3320.57/3330.71 c #Conflicts: 1876000 | #Constraints: 1368549
3320.57/3330.71 c #Conflicts: 1877000 | #Constraints: 1369549
3320.57/3330.71 c #Conflicts: 1878000 | #Constraints: 1370549
3320.57/3330.71 c #Conflicts: 1879000 | #Constraints: 1371549
3320.57/3330.71 c #Conflicts: 1880000 | #Constraints: 1372549
3320.57/3330.71 c #Conflicts: 1881000 | #Constraints: 1373549
3320.57/3330.71 c #Conflicts: 1882000 | #Constraints: 1374549
3320.57/3330.71 c #Conflicts: 1883000 | #Constraints: 1375549
3320.57/3330.71 c #Conflicts: 1884000 | #Constraints: 1376549
3320.57/3330.71 c #Conflicts: 1885000 | #Constraints: 1377549
3320.57/3330.71 c #Conflicts: 1886000 | #Constraints: 1378549
3320.57/3330.71 c #Conflicts: 1887000 | #Constraints: 1379549
3320.57/3330.71 c #Conflicts: 1888000 | #Constraints: 1380549
3320.57/3330.71 c #Conflicts: 1889000 | #Constraints: 1381549
3320.57/3330.71 c #Conflicts: 1890000 | #Constraints: 1382549
3320.57/3330.71 c #Conflicts: 1891000 | #Constraints: 1383549
3320.57/3330.71 c #Conflicts: 1892000 | #Constraints: 1384549
3320.57/3330.71 c #Conflicts: 1893000 | #Constraints: 1385549
3320.57/3330.71 c #Conflicts: 1894000 | #Constraints: 1386549
3320.57/3330.71 c #Conflicts: 1895000 | #Constraints: 1387549
3320.57/3330.71 c #Conflicts: 1896000 | #Constraints: 1388549
3320.57/3330.71 c #Conflicts: 1897000 | #Constraints: 1389549
3320.57/3330.71 c #Conflicts: 1898000 | #Constraints: 1390549
3320.57/3330.71 c #Conflicts: 1899000 | #Constraints: 1391549
3320.57/3330.71 c #Conflicts: 1900000 | #Constraints: 1392549
3320.57/3330.71 c #Conflicts: 1901000 | #Constraints: 1393549
3320.57/3330.71 c #Conflicts: 1902000 | #Constraints: 1394549
3320.57/3330.71 c #Conflicts: 1903000 | #Constraints: 1395549
3320.57/3330.71 c #Conflicts: 1904000 | #Constraints: 1396549
3320.57/3330.71 c #Conflicts: 1905000 | #Constraints: 1397549
3320.57/3330.71 c #Conflicts: 1906000 | #Constraints: 1398549
3320.57/3330.71 c #Conflicts: 1907000 | #Constraints: 1399549
3320.57/3330.71 c #Conflicts: 1908000 | #Constraints: 1400549
3320.57/3330.71 c INPROCESSING
3320.57/3330.71 c GARBAGE COLLECT
3320.57/3330.71 c #Conflicts: 1909000 | #Constraints: 1328404
3320.57/3330.71 c #Conflicts: 1910000 | #Constraints: 1329404
3320.57/3330.71 c #Conflicts: 1911000 | #Constraints: 1330404
3320.57/3330.71 c #Conflicts: 1912000 | #Constraints: 1331404
3320.57/3330.71 c #Conflicts: 1913000 | #Constraints: 1332404
3320.57/3330.71 c #Conflicts: 1914000 | #Constraints: 1333404
3320.57/3330.71 c #Conflicts: 1915000 | #Constraints: 1334404
3320.57/3330.71 c #Conflicts: 1916000 | #Constraints: 1335404
3320.57/3330.71 c #Conflicts: 1917000 | #Constraints: 1336404
3320.57/3330.71 c #Conflicts: 1918000 | #Constraints: 1337404
3320.57/3330.71 c #Conflicts: 1919000 | #Constraints: 1338404
3320.57/3330.71 c #Conflicts: 1920000 | #Constraints: 1339404
3320.57/3330.71 c #Conflicts: 1921000 | #Constraints: 1340404
3320.57/3330.71 c #Conflicts: 1922000 | #Constraints: 1341404
3320.57/3330.71 c #Conflicts: 1923000 | #Constraints: 1342404
3320.57/3330.71 c #Conflicts: 1924000 | #Constraints: 1343404
3320.57/3330.71 c #Conflicts: 1925000 | #Constraints: 1344404
3320.57/3330.71 c #Conflicts: 1926000 | #Constraints: 1345404
3320.57/3330.71 c #Conflicts: 1927000 | #Constraints: 1346404
3320.57/3330.71 c #Conflicts: 1928000 | #Constraints: 1347404
3320.57/3330.71 c #Conflicts: 1929000 | #Constraints: 1348404
3320.57/3330.71 c #Conflicts: 1930000 | #Constraints: 1349404
3320.57/3330.71 c #Conflicts: 1931000 | #Constraints: 1350404
3320.57/3330.71 c #Conflicts: 1932000 | #Constraints: 1351404
3320.57/3330.71 c #Conflicts: 1933000 | #Constraints: 1352404
3320.57/3330.71 c #Conflicts: 1934000 | #Constraints: 1353404
3499.83/3510.57 c #Conflicts: 1935000 | #Constraints: 1354404
3499.83/3510.57 c #Conflicts: 1936000 | #Constraints: 1355404
3499.83/3510.57 c #Conflicts: 1937000 | #Constraints: 1356404
3499.83/3510.57 c #Conflicts: 1938000 | #Constraints: 1357404
3499.83/3510.57 c #Conflicts: 1939000 | #Constraints: 1358404
3499.83/3510.57 c #Conflicts: 1940000 | #Constraints: 1359404
3499.83/3510.57 c #Conflicts: 1941000 | #Constraints: 1360404
3499.83/3510.57 c #Conflicts: 1942000 | #Constraints: 1361404
3499.83/3510.57 c #Conflicts: 1943000 | #Constraints: 1362404
3499.83/3510.57 c #Conflicts: 1944000 | #Constraints: 1363404
3499.83/3510.57 c #Conflicts: 1945000 | #Constraints: 1364404
3499.83/3510.57 c #Conflicts: 1946000 | #Constraints: 1365404
3499.83/3510.57 c #Conflicts: 1947000 | #Constraints: 1366404
3499.83/3510.57 c INPROCESSING
3499.83/3510.57 c GARBAGE COLLECT
3499.83/3510.57 c #Conflicts: 1948000 | #Constraints: 1315175
3499.83/3510.57 c #Conflicts: 1949000 | #Constraints: 1316175
3499.83/3510.57 c #Conflicts: 1950000 | #Constraints: 1317175
3499.83/3510.57 c #Conflicts: 1951000 | #Constraints: 1318175
3499.83/3510.57 c #Conflicts: 1952000 | #Constraints: 1319175
3499.83/3510.57 c #Conflicts: 1953000 | #Constraints: 1320175
3499.83/3510.57 c #Conflicts: 1954000 | #Constraints: 1321175
3499.83/3510.57 c #Conflicts: 1955000 | #Constraints: 1322175
3499.83/3510.57 c #Conflicts: 1956000 | #Constraints: 1323175
3499.83/3510.57 c #Conflicts: 1957000 | #Constraints: 1324175
3499.83/3510.57 c #Conflicts: 1958000 | #Constraints: 1325175
3499.83/3510.57 c #Conflicts: 1959000 | #Constraints: 1326175
3499.83/3510.57 c #Conflicts: 1960000 | #Constraints: 1327175
3499.83/3510.57 c #Conflicts: 1961000 | #Constraints: 1328175
3499.83/3510.57 c #Conflicts: 1962000 | #Constraints: 1329175
3499.83/3510.57 c #Conflicts: 1963000 | #Constraints: 1330175
3499.83/3510.57 c #Conflicts: 1964000 | #Constraints: 1331175
3499.83/3510.57 c #Conflicts: 1965000 | #Constraints: 1332175
3499.83/3510.57 c #Conflicts: 1966000 | #Constraints: 1333175
3499.83/3510.57 c #Conflicts: 1967000 | #Constraints: 1334175
3499.83/3510.57 c #Conflicts: 1968000 | #Constraints: 1335175
3499.83/3510.57 c #Conflicts: 1969000 | #Constraints: 1336175
3499.83/3510.57 c #Conflicts: 1970000 | #Constraints: 1337175
3499.83/3510.57 c #Conflicts: 1971000 | #Constraints: 1338175
3499.83/3510.57 c #Conflicts: 1972000 | #Constraints: 1339175
3499.83/3510.57 c #Conflicts: 1973000 | #Constraints: 1340175
3499.83/3510.57 c #Conflicts: 1974000 | #Constraints: 1341175
3499.83/3510.57 c #Conflicts: 1975000 | #Constraints: 1342175
3499.83/3510.57 c #Conflicts: 1976000 | #Constraints: 1343175
3499.83/3510.57 c #Conflicts: 1977000 | #Constraints: 1344175
3499.83/3510.57 c #Conflicts: 1978000 | #Constraints: 1345175
3499.83/3510.57 c #Conflicts: 1979000 | #Constraints: 1346175
3499.83/3510.57 c #Conflicts: 1980000 | #Constraints: 1347175
3499.83/3510.57 c #Conflicts: 1981000 | #Constraints: 1348175
3499.83/3510.57 c #Conflicts: 1982000 | #Constraints: 1349175
3499.83/3510.57 c #Conflicts: 1983000 | #Constraints: 1350175
3499.83/3510.57 c #Conflicts: 1984000 | #Constraints: 1351175
3499.83/3510.57 c #Conflicts: 1985000 | #Constraints: 1352175
3499.83/3510.57 c #Conflicts: 1986000 | #Constraints: 1353175
3499.83/3510.57 c #Conflicts: 1987000 | #Constraints: 1354175
3499.83/3510.57 c #Conflicts: 1988000 | #Constraints: 1355175
3499.83/3510.57 c #Conflicts: 1989000 | #Constraints: 1356175
3499.83/3510.57 c #Conflicts: 1990000 | #Constraints: 1357175
3499.83/3510.57 c #Conflicts: 1991000 | #Constraints: 1358175
3499.83/3510.57 c #Conflicts: 1992000 | #Constraints: 1359175
3499.83/3510.57 c #Conflicts: 1993000 | #Constraints: 1360175
3499.83/3510.57 c #Conflicts: 1994000 | #Constraints: 1361175
3499.83/3510.57 c #Conflicts: 1995000 | #Constraints: 1362175
3499.83/3510.57 c #Conflicts: 1996000 | #Constraints: 1363175
3499.83/3510.57 c #Conflicts: 1997000 | #Constraints: 1364175
3499.83/3510.57 c #Conflicts: 1998000 | #Constraints: 1365175
3499.83/3510.57 c #Conflicts: 1999000 | #Constraints: 1366175
3499.83/3510.57 c #Conflicts: 2000000 | #Constraints: 1367175
3499.83/3510.57 c #Conflicts: 2001000 | #Constraints: 1368175
3499.83/3510.57 c #Conflicts: 2002000 | #Constraints: 1369175
3499.83/3510.57 c #Conflicts: 2003000 | #Constraints: 1370175
3499.83/3510.57 c #Conflicts: 2004000 | #Constraints: 1371175
3499.83/3510.57 c #Conflicts: 2005000 | #Constraints: 1372175
3499.83/3510.57 c #Conflicts: 2006000 | #Constraints: 1373175
3499.83/3510.57 c #Conflicts: 2007000 | #Constraints: 1374175
3499.83/3510.57 c #Conflicts: 2008000 | #Constraints: 1375175
3499.83/3510.57 c #Conflicts: 2009000 | #Constraints: 1376175
3499.83/3510.57 c #Conflicts: 2010000 | #Constraints: 1377175
3499.83/3510.57 c #Conflicts: 2011000 | #Constraints: 1378175
3499.83/3510.57 c #Conflicts: 2012000 | #Constraints: 1379175
3600.02/3611.01 c #Conflicts: 2013000 | #Constraints: 1380175
3600.02/3611.01 c #Conflicts: 2014000 | #Constraints: 1381175
3600.02/3611.01 c #Conflicts: 2015000 | #Constraints: 1382175
3600.02/3611.01 c #Conflicts: 2016000 | #Constraints: 1383175
3600.02/3611.01 c #Conflicts: 2017000 | #Constraints: 1384175
3600.02/3611.01 c #Conflicts: 2018000 | #Constraints: 1385175
3600.02/3611.01 c #Conflicts: 2019000 | #Constraints: 1386175
3600.02/3611.01 c #Conflicts: 2020000 | #Constraints: 1387175
3600.02/3611.01 c #Conflicts: 2021000 | #Constraints: 1388175
3600.02/3611.01 c #Conflicts: 2022000 | #Constraints: 1389175
3600.02/3611.01 c #Conflicts: 2023000 | #Constraints: 1390175
3600.02/3611.01 c #Conflicts: 2024000 | #Constraints: 1391175
3600.02/3611.01 c #Conflicts: 2025000 | #Constraints: 1392175
3600.02/3611.01 c #Conflicts: 2026000 | #Constraints: 1393175
3600.02/3611.01 c #Conflicts: 2027000 | #Constraints: 1394175
3600.02/3611.01 c #Conflicts: 2028000 | #Constraints: 1395175
3600.02/3611.01 c #Conflicts: 2029000 | #Constraints: 1396175
3600.02/3611.01 c #Conflicts: 2030000 | #Constraints: 1397175
3600.02/3611.01 c #Conflicts: 2031000 | #Constraints: 1398175
3600.02/3611.01 c #Conflicts: 2032000 | #Constraints: 1399175
3600.02/3611.01 c #Conflicts: 2033000 | #Constraints: 1400175
3600.02/3611.01 c #Conflicts: 2034000 | #Constraints: 1401175
3600.02/3611.01 c #Conflicts: 2035000 | #Constraints: 1402175
3600.02/3611.01 c #Conflicts: 2036000 | #Constraints: 1403175
3600.02/3611.01 c #Conflicts: 2037000 | #Constraints: 1404175
3600.02/3611.01 c #Conflicts: 2038000 | #Constraints: 1405175
3600.02/3611.01 c #Conflicts: 2039000 | #Constraints: 1406175
3600.02/3611.01 c cpu time 3503.16 s
3600.02/3611.01 c deterministic time 274369697703 2.74e+11
3600.02/3611.01 c optimization time 237.217 s
3600.02/3611.01 c total solve time 3263.52 s
3600.02/3611.01 c core-guided solve time 1531.51 s
3600.02/3611.01 c propagation time 2124.03 s
3600.02/3611.01 c conflict analysis time 1045.03 s
3600.02/3611.01 c propagations 3970541244
3600.02/3611.01 c resolve steps 43864629
3600.02/3611.01 c decisions 117803275
3600.02/3611.01 c conflicts 2039803
3600.02/3611.01 c restarts 4038
3600.02/3611.01 c inprocessing phases 59
3600.02/3611.01 c garbage collections 57 ,( 96.61 )
3600.02/3611.01 c input clauses 1260881 ,( 99.93 )
3600.02/3611.01 c input cardinalities 714 ,( 0.06 )
3600.02/3611.01 c input general constraints 128 ,( 0.01 )
3600.02/3611.01 c input average constraint length 3.14
3600.02/3611.01 c input average constraint degree 31.27
3600.02/3611.01 c learned clauses 626895 ,( 30.73 )
3600.02/3611.01 c learned cardinalities 36562 ,( 1.79 )
3600.02/3611.01 c learned general constraints 1376346 ,( 67.47 )
3600.02/3611.01 c learned average constraint length 924.37
3600.02/3611.01 c learned average constraint degree 20080052.65
3600.02/3611.01 c watched CF 32, 64, 128, Arb: 751494 , 0 , 0 , 0
3600.02/3611.01 c counting CF 32, 64, 128, Arb: 624981 , 0 , 0 , 0
3600.02/3611.01 c watched constraints 751494 ,( 54.60 )
3600.02/3611.01 c counting constraints 624980 ,( 45.40 )
3600.02/3611.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3610654206 , 145378875 , 1692957205 ,( 314935019 , 1378022186 )
3600.02/3611.01 c gcd simplifications 135946
3600.02/3611.01 c detected cardinalities 1421
3600.02/3611.01 c weakened non-implied lits 1086975574
3600.02/3611.01 c weakened non-implying lits 618433
3600.02/3611.01 c original variables 465168
3600.02/3611.01 c clausal propagations 3345864372
3600.02/3611.01 c cardinality propagations 143714759
3600.02/3611.01 c watched propagations 6486466
3600.02/3611.01 c counting propagations 457068794
3600.02/3611.01 c watch lookups 83062007249
3600.02/3611.01 c watch backjump lookups 0
3600.02/3611.01 c watch checks 124433229612
3600.02/3611.01 c propagation checks 51384781995
3600.02/3611.01 c constraint additions 7311100693
3600.02/3611.01 c trail pops 4090233634
3600.02/3611.01 c formula constraints 1261723
3600.02/3611.01 c learned constraints 2039803
3600.02/3611.01 c bound constraints 0
3600.02/3611.01 c core-guided constraints 0
3600.02/3611.01 c encountered formula constraints 33769167
3600.02/3611.01 c encountered learned constraints 12135265
3600.02/3611.01 c encountered bound constraints 0
3600.02/3611.01 c encountered core-guided constraints 0
3600.02/3611.01 c LP total time 0 s
3600.02/3611.01 c LP solve time 0 s
3600.02/3611.01 c LP constraints added 0
3600.02/3611.01 c LP constraints removed 0
3600.02/3611.01 c LP pivots internal 0
3600.02/3611.01 c LP pivots root 0
3600.02/3611.01 c LP calls 0
3600.02/3611.01 c LP optimalities 0
3600.02/3611.01 c LP no pivot count 0
3600.02/3611.01 c LP infeasibilities 0
3600.02/3611.01 c LP valid Farkas constraints 0
3600.02/3611.01 c LP learned Farkas constraints 0
3600.02/3611.01 c LP basis resets 0
3600.02/3611.01 c LP cycling count 0
3600.02/3611.01 c LP singular count 0
3600.02/3611.01 c LP no primal count 0
3600.02/3611.01 c LP no farkas count 0
3600.02/3611.01 c LP other issue count 0
3600.02/3611.01 c LP Gomory cuts 0
3600.02/3611.01 c LP learned cuts 0
3600.02/3611.01 c LP deleted cuts 0
3600.02/3611.01 c LP encountered Gomory constraints 0
3600.02/3611.01 c LP encountered Farkas constraints 0
3600.02/3611.01 c LP encountered learned Farkas constraints 0
3600.02/3611.01 c CG auxiliary variables introduced 0
3600.02/3611.01 c CG solutions found 0
3600.02/3611.01 c CG cores constructed 0
3600.02/3611.01 c CG core cardinality constraints returned 0
3600.02/3611.01 c CG unit cores 0
3600.02/3611.01 c CG single cores 0
3600.02/3611.01 c CG blocks removed during cardinality reduction 0
3600.02/3611.01 c CG first core best 0
3600.02/3611.01 c CG decision core best 0
3600.02/3611.01 c CG core reduction tie 0
3600.02/3611.01 c CG core degree average 0.00
3600.02/3611.01 c CG core slack average 0.00
3600.02/3611.01 c CG core upper bound improvements 0
3600.02/3611.01 c STR number of successful calls 0
3600.02/3611.01 c STR number of unsuccessful calls 0
3600.02/3611.01 c STR number of inconclusive calls 0
3600.02/3611.01 c STR number of successful attempts 0
3600.02/3611.01 c STR number of unsuccessful attempts 0
3600.02/3611.01 c STR number of inconclusive attempts 0
3600.02/3611.01 c STR average degree increase per successful call inf
3600.02/3611.01 c STR average degree increase per successful attempt inf
3600.02/3611.01 c STR total number of conflicts for successful attempts 0
3600.02/3611.01 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3611.01 c STR total number of conflicts for inconclusive attempts 0
3600.02/3611.01 c STR average number of conflicts per successful attempt inf
3600.02/3611.01 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3611.01 c STR average number of conflicts per inconclusive attempt inf
3600.02/3611.01 c AVG.sumWPerc 42.07
3600.02/3611.01 c bigint constraints 0
3600.02/3611.01 s UNKNOWN
3600.02/3611.01 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62806 MiB free)
memory of node 1: 64507 MiB (63937 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509336-1751524861/watcher-4509336-1751524861 -o /tmp/evaluation-result-4509336-1751524861/solver-4509336-1751524861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751524861-73753 --watchdog 3760 run-opt-break.sh HOME/instance-4509336-1751524861.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
Starting watchdog thread
solver pid=73798, runsolver pid=73792
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.51 1.31 2.62 5/271 73815
/proc/meminfo: memFree=129664760/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73812] ppid=73798 vsize=78392 memory=55568 CPUtime=0.07 cores=4,6
/proc/73812/stat : 73812 (pbsuma) R 73798 73798 73742 0 -1 4194304 11609 0 0 0 6 1 0 0 20 0 1 0 68163840 80273408 13892 18446744073709551615 4210688 4653049 140729500141920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32280576 140729500150115 140729500150322 140729500150322 140729500155887 0
/proc/73812/statm: 19598 13892 992 108 0 17006 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 82584 KiB
Current children cumulated memory: 58512 KiB
[startup+0.206064 s]*
/proc/loadavg: 0.51 1.31 2.62 5/271 73815
/proc/meminfo: memFree=129632188/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73812] ppid=73798 vsize=81188 memory=56868 CPUtime=0.17 cores=4,6
/proc/73812/stat : 73812 (pbsuma) R 73798 73798 73742 0 -1 4194304 14006 0 0 0 16 1 0 0 20 0 1 0 68163840 83136512 14217 18446744073709551615 4210688 4653049 140729500141920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32280576 140729500150115 140729500150322 140729500150322 140729500155887 0
/proc/73812/statm: 20297 14217 1024 108 0 17705 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 85380 KiB
Current children cumulated memory: 59812 KiB
[startup+0.306038 s]*
/proc/loadavg: 0.51 1.31 2.62 5/271 73815
/proc/meminfo: memFree=129622360/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73812] ppid=73798 vsize=88728 memory=66384 CPUtime=0.28 cores=4,6
/proc/73812/stat : 73812 (pbsuma) R 73798 73798 73742 0 -1 4194304 15382 0 0 0 26 2 0 0 20 0 1 0 68163840 90857472 16596 18446744073709551615 4210688 4653049 140729500141920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32280576 140729500150115 140729500150322 140729500150322 140729500155887 0
/proc/73812/statm: 22182 16596 1024 108 0 19590 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 92920 KiB
Current children cumulated memory: 69328 KiB
[startup+0.700167 s]
/proc/loadavg: 0.51 1.31 2.62 5/271 73817
/proc/meminfo: memFree=129603868/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73812] ppid=73798 vsize=98988 memory=74704 CPUtime=0.66 cores=4,6
/proc/73812/stat : 73812 (pbsuma) R 73798 73798 73742 0 -1 4194304 17768 0 0 0 64 2 0 0 20 0 1 0 68163840 101363712 18676 18446744073709551615 4210688 4653049 140729500141920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32280576 140729500150115 140729500150322 140729500150322 140729500155887 0
/proc/73812/statm: 24747 18676 1024 108 0 22155 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 103180 KiB
Current children cumulated memory: 77648 KiB
[startup+1.50019 s]
/proc/loadavg: 0.51 1.31 2.62 5/271 73817
/proc/meminfo: memFree=129350984/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73812] ppid=73798 vsize=103876 memory=78928 CPUtime=1.46 cores=4,6
/proc/73812/stat : 73812 (pbsuma) R 73798 73798 73742 0 -1 4194304 18821 0 0 0 144 2 0 0 20 0 1 0 68163840 106369024 19732 18446744073709551615 4210688 4653049 140729500141920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32280576 140729500150115 140729500150322 140729500150322 140729500155887 0
/proc/73812/statm: 25969 19732 1024 108 0 23377 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 108068 KiB
Current children cumulated memory: 81872 KiB
[startup+3.10566 s]
/proc/loadavg: 0.79 1.35 2.63 5/271 73817
/proc/meminfo: memFree=129266588/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73812] ppid=73798 vsize=124956 memory=98668 CPUtime=3.06 cores=4,6
/proc/73812/stat : 73812 (pbsuma) R 73798 73798 73742 0 -1 4194304 20672 0 0 0 303 3 0 0 20 0 1 0 68163840 127954944 24667 18446744073709551615 4210688 4653049 140729500141920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32280576 140729500150115 140729500150322 140729500150322 140729500155887 0
/proc/73812/statm: 31239 24667 1024 108 0 28647 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 129148 KiB
Current children cumulated memory: 101612 KiB
[startup+6.30018 s]
/proc/loadavg: 0.79 1.35 2.63 5/271 73818
/proc/meminfo: memFree=129145808/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73812] ppid=73798 vsize=140668 memory=113928 CPUtime=6.25 cores=4,6
/proc/73812/stat : 73812 (pbsuma) R 73798 73798 73742 0 -1 4194304 22485 0 0 0 621 4 0 0 20 0 1 0 68163840 144044032 28482 18446744073709551615 4210688 4653049 140729500141920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32280576 140729500150115 140729500150322 140729500150322 140729500155887 0
/proc/73812/statm: 35167 28482 1024 108 0 32575 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 144860 KiB
Current children cumulated memory: 116872 KiB
[startup+12.7002 s]
/proc/loadavg: 1.04 1.40 2.63 5/271 73819
/proc/meminfo: memFree=127900532/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=337488 memory=264724 CPUtime=4.24 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 38498 0 0 0 330 94 0 0 20 0 1 0 68164681 345587712 66181 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 84372 66181 2080 1147 0 71799 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 341680 KiB
Current children cumulated memory: 267668 KiB
[startup+25.5002 s]
/proc/loadavg: 1.70 1.53 2.66 5/271 73819
/proc/meminfo: memFree=127781676/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=374824 memory=324660 CPUtime=17 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 45840 0 0 0 1500 200 0 0 20 0 1 0 68164681 383819776 81165 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 93706 81165 2080 1147 0 81133 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 379016 KiB
Current children cumulated memory: 327604 KiB
[startup+51.1057 s]
/proc/loadavg: 2.49 1.73 2.69 5/271 73819
/proc/meminfo: memFree=127356396/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=567288 memory=483184 CPUtime=42.53 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 72957 0 0 0 3879 374 0 0 20 0 1 0 68164681 580902912 120796 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 141822 120796 2080 1147 0 129249 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 571480 KiB
Current children cumulated memory: 486128 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 2.18 2.80 5/271 73821
/proc/meminfo: memFree=127072312/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=719212 memory=599348 CPUtime=93.57 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 86250 0 0 0 8694 663 0 0 20 0 1 0 68164681 736473088 149837 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 179803 149837 2080 1147 0 167230 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 723404 KiB
Current children cumulated memory: 602292 KiB
[startup+162.3 s]
/proc/loadavg: 4.77 2.74 2.95 5/272 73824
/proc/meminfo: memFree=126664736/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=885620 memory=788300 CPUtime=153.39 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 113591 0 0 0 14499 840 0 0 20 0 1 0 68164681 906874880 197075 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 221405 197075 2080 1147 0 208832 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 889812 KiB
Current children cumulated memory: 791244 KiB
[startup+222.3 s]
/proc/loadavg: 4.49 3.04 3.05 5/270 73829
/proc/meminfo: memFree=126115852/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=984780 memory=899216 CPUtime=213.21 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 133179 0 0 0 20264 1057 0 0 20 0 1 0 68164681 1008414720 224804 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 246195 224804 2080 1147 0 233622 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
[pid=73819] ppid=73798 vsize=4906256 memory=4245324 CPUtime=3084.49 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 787886 0 0 0 300546 7903 0 0 20 0 1 0 68164681 5024006144 1061331 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1226564 1061331 2080 1147 0 1213991 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 4910448 KiB
Current children cumulated memory: 4248268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.13 4.06 5/268 73987
/proc/meminfo: memFree=115200752/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=4933572 memory=4272600 CPUtime=3144.32 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 789804 0 0 0 306413 8019 0 0 20 0 1 0 68164681 5051977728 1068150 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1233393 1068150 2080 1147 0 1220820 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 4937764 KiB
Current children cumulated memory: 4275544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.13 4.07 5/267 73991
/proc/meminfo: memFree=115171724/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=4933572 memory=4279580 CPUtime=3204.13 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 791190 0 0 0 312305 8108 0 0 20 0 1 0 68164681 5051977728 1069895 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1233393 1069895 2080 1147 0 1220820 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 4937764 KiB
Current children cumulated memory: 4282524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/267 73993
/proc/meminfo: memFree=115110688/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=4950816 memory=4297176 CPUtime=3263.95 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 792761 0 0 0 318140 8255 0 0 20 0 1 0 68164681 5069635584 1074294 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1237704 1074294 2080 1147 0 1225131 0
Current children cumulated CPU time: 3272.32 s
Current children cumulated vsize: 4955008 KiB
Current children cumulated memory: 4300120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/267 73996
/proc/meminfo: memFree=115122624/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=4980108 memory=4316248 CPUtime=3323.76 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 797609 0 0 0 323992 8384 0 0 20 0 1 0 68164681 5099630592 1079062 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1245027 1079062 2080 1147 0 1232454 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 4984300 KiB
Current children cumulated memory: 4319192 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/267 73998
/proc/meminfo: memFree=115069284/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=4985704 memory=4317700 CPUtime=3383.58 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 800400 0 0 0 329864 8494 0 0 20 0 1 0 68164681 5105360896 1079425 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1246426 1079425 2080 1147 0 1233853 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 4989896 KiB
Current children cumulated memory: 4320644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/268 74001
/proc/meminfo: memFree=115097176/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=4988752 memory=4323592 CPUtime=3443.4 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 801505 0 0 0 335717 8623 0 0 20 0 1 0 68164681 5108482048 1080898 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1247188 1080898 2080 1147 0 1234615 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 4992944 KiB
Current children cumulated memory: 4326536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/269 74008
/proc/meminfo: memFree=114892404/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=5022936 memory=4348936 CPUtime=3503.21 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 808076 0 0 0 341598 8723 0 0 20 0 1 0 68164681 5143486464 1087234 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1255734 1087234 2080 1147 0 1243161 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 5027128 KiB
Current children cumulated memory: 4351880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/269 74010
/proc/meminfo: memFree=114421864/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=5033752 memory=4357640 CPUtime=3563.03 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 810509 0 0 0 347483 8820 0 0 20 0 1 0 68164681 5154562048 1089410 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1258438 1089410 2080 1147 0 1245865 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 5037944 KiB
Current children cumulated memory: 4360584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.12 4.10 4.07 3/259 74106
/proc/meminfo: memFree=125255272/131249996 swapFree=33003468/33010684
[pid=73798] ppid=73792 vsize=4192 memory=2944 CPUtime=8.37 cores=4,6
/proc/73798/stat : 73798 (run-opt-break.s) S 73792 73798 73742 0 -1 4194304 239 32356 0 0 0 0 828 9 20 0 1 0 68163838 4292608 736 18446744073709551615 94879705206784 94879706101317 140722038523344 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879706340368 94879706388112 94879714299904 140722038532449 140722038532578 140722038532578 140722038538180 0
/proc/73798/statm: 1048 736 672 219 0 110 0
[pid=73819] ppid=73798 vsize=5035804 memory=4359560 CPUtime=3591.65 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73798 73798 73742 0 -1 4194304 811009 0 0 0 350315 8850 0 0 20 0 1 0 68164681 5156663296 1089890 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 1258951 1089890 2080 1147 0 1246378 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5039996 KiB
Current children cumulated memory: 4362504 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.01 s]
# the end of solver process 73798 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=8.28854 s, system=0.096896 s
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 73819 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3511.58 s, system=88.7541 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.21 s]
/proc/loadavg: 4.12 4.10 4.07 3/263 74112
/proc/meminfo: memFree=125671404/131249996 swapFree=33003468/33010684
[pid=73819] ppid=73792 vsize=3209836 memory=2272164 CPUtime=3591.84 cores=4,6
/proc/73819/stat : 73819 (roundingsat) R 73792 73798 73742 0 -1 4194304 811028 0 0 0 350328 8856 0 0 20 0 1 0 68164681 3286872064 568041 18446744073709551615 4227072 8923433 140725597096656 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16216064 140725597100388 140725597100584 140725597100584 140725597106154 0
/proc/73819/statm: 802459 568041 2176 1147 0 789886 0
Current cumulated CPU time of completed processes: 8.38544 s
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 3209836 KiB
Current children cumulated memory: 2272164 KiB
Child status: 2
Real time (s): 3611.3
CPU time (s): 3600.33
CPU user time (s): 3511.58
CPU system time (s): 88.7541
CPU usage (%): 99.6962
Max. virtual memory (cumulated for all children) (KiB): 5039996
Max. memory (cumulated for all children) (KiB): 4362504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3511.58
system time used= 88.7541
maximum resident set size= 4359944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 843643
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= 265
involuntary context switches= 3538
# summary of solver processes directly reported to runsolver:
# pid: 73798,73819
# total CPU time (s): 3600.33
# total CPU user time (s): 3511.58
# total CPU system time (s): 88.7541
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31379 second user time and 16.7703 second system time
The end