0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4491757-1751142556.opb'
0.00/0.04 c read 2.18MB (37.34ms)
0.00/0.04 c [cnf: #variables 23621 #clauses 67514 #duplicates 12 #arr 181828]
0.00/0.04 c output proof to 'PROOFDIR/proof-4491757-1751142556'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.00/0.09 c [group: #orbits ~= 0] (47.26ms)
0.00/0.09 c
0.00/0.09 c detect special group actions
0.00/0.09 c probe for Johnson action (limit=64)
0.00/0.09 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.10 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.10 c (5.11ms)
0.00/0.10 c
0.00/0.10 c detect symmetries on remainder
0.00/0.10 c [graph: #vertices 164386 #edges 510158]
0.00/0.10 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.11 c [group: #symmetries 1.00*10^0 #generators 0] (10.15ms)
0.09/0.11 c
0.09/0.11 c finalize break order and special generators
0.09/0.11 c
0.09/0.11 c generation finished
0.09/0.11 c [sbp: #constraints 0 #add_vars 0]
0.09/0.11 c
0.09/0.11 c write result to 'HOME/instance-4491757-1751142556.opb.pre'
0.09/0.11 c wrote 2.23MB (4.99ms)
0.09/0.11 c ------------------------------------------------------------------
0.09/0.11 c 47.26ms 43.70% approx_orbits
0.09/0.11 c 37.34ms 34.53% parse
0.09/0.11 c 10.15ms 9.38% detect_generic
0.09/0.11 c 5.11ms 4.73% detect_special
0.09/0.11 c 4.99ms 4.62% output
0.09/0.11 c 2.43ms 2.25% other
0.09/0.11 c 0.87ms 0.80% finalize_order
0.09/0.11 c ───────────────────────────────────────────────
0.09/0.11 c 108.14ms 100% total
0.09/0.11 c ------------------------------------------------------------------
0.09/0.13 c RoundingSat 2
0.09/0.13 c branch pb25
0.09/0.13 c commit 63f22ad
0.47/0.55 c #variables 23621 #constraints 67514
7.84/7.96 c #Conflicts: 1000 | #Constraints: 68513
7.84/7.96 c #Conflicts: 2000 | #Constraints: 69513
7.84/7.96 c INPROCESSING
7.84/7.96 c #Conflicts: 3000 | #Constraints: 69473
7.84/7.96 c #Conflicts: 4000 | #Constraints: 70473
7.84/7.96 c INPROCESSING
7.84/7.96 c GARBAGE COLLECT
7.84/7.96 c #Conflicts: 5000 | #Constraints: 69912
7.84/7.96 c #Conflicts: 6000 | #Constraints: 70912
7.84/7.96 c INPROCESSING
7.84/7.96 c GARBAGE COLLECT
7.84/7.96 c #Conflicts: 7000 | #Constraints: 69952
7.84/7.96 c #Conflicts: 8000 | #Constraints: 70952
7.84/7.96 c #Conflicts: 9000 | #Constraints: 71952
7.84/7.96 c INPROCESSING
7.84/7.96 c GARBAGE COLLECT
7.84/7.96 c #Conflicts: 10000 | #Constraints: 70637
7.84/7.96 c #Conflicts: 11000 | #Constraints: 71637
7.84/7.96 c #Conflicts: 12000 | #Constraints: 72637
7.84/7.96 c INPROCESSING
7.84/7.96 c GARBAGE COLLECT
7.84/7.96 c rational objective 992.416
49.77/50.09 c #Conflicts: 13000 | #Constraints: 71104
49.77/50.09 c #Conflicts: 14000 | #Constraints: 72104
49.77/50.09 c #Conflicts: 15000 | #Constraints: 73104
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 16000 | #Constraints: 71360
49.77/50.09 c #Conflicts: 17000 | #Constraints: 72360
49.77/50.09 c #Conflicts: 18000 | #Constraints: 73360
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 19000 | #Constraints: 71417
49.77/50.09 c #Conflicts: 20000 | #Constraints: 72417
49.77/50.09 c #Conflicts: 21000 | #Constraints: 73417
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 22000 | #Constraints: 71224
49.77/50.09 c #Conflicts: 23000 | #Constraints: 72224
49.77/50.09 c #Conflicts: 24000 | #Constraints: 73224
49.77/50.09 c #Conflicts: 25000 | #Constraints: 74224
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 26000 | #Constraints: 71870
49.77/50.09 c #Conflicts: 27000 | #Constraints: 72870
49.77/50.09 c #Conflicts: 28000 | #Constraints: 73870
49.77/50.09 c #Conflicts: 29000 | #Constraints: 74870
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 30000 | #Constraints: 72262
49.77/50.09 c #Conflicts: 31000 | #Constraints: 73262
49.77/50.09 c #Conflicts: 32000 | #Constraints: 74262
49.77/50.09 c #Conflicts: 33000 | #Constraints: 75262
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 34000 | #Constraints: 72431
49.77/50.09 c #Conflicts: 35000 | #Constraints: 73431
49.77/50.09 c #Conflicts: 36000 | #Constraints: 74431
49.77/50.09 c #Conflicts: 37000 | #Constraints: 75431
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 38000 | #Constraints: 72501
49.77/50.09 c #Conflicts: 39000 | #Constraints: 73501
49.77/50.09 c #Conflicts: 40000 | #Constraints: 74501
49.77/50.09 c #Conflicts: 41000 | #Constraints: 75501
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 42000 | #Constraints: 72298
49.77/50.09 c #Conflicts: 43000 | #Constraints: 73298
49.77/50.09 c #Conflicts: 44000 | #Constraints: 74298
49.77/50.09 c #Conflicts: 45000 | #Constraints: 75298
49.77/50.09 c #Conflicts: 46000 | #Constraints: 76298
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 47000 | #Constraints: 72845
49.77/50.09 c #Conflicts: 48000 | #Constraints: 73845
49.77/50.09 c #Conflicts: 49000 | #Constraints: 74845
49.77/50.09 c #Conflicts: 50000 | #Constraints: 75845
49.77/50.09 c #Conflicts: 51000 | #Constraints: 76845
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 52000 | #Constraints: 73286
49.77/50.09 c #Conflicts: 53000 | #Constraints: 74286
49.77/50.09 c #Conflicts: 54000 | #Constraints: 75286
49.77/50.09 c #Conflicts: 55000 | #Constraints: 76286
49.77/50.09 c #Conflicts: 56000 | #Constraints: 77286
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 57000 | #Constraints: 73536
49.77/50.09 c #Conflicts: 58000 | #Constraints: 74536
49.77/50.09 c #Conflicts: 59000 | #Constraints: 75536
49.77/50.09 c #Conflicts: 60000 | #Constraints: 76536
49.77/50.09 c #Conflicts: 61000 | #Constraints: 77536
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 62000 | #Constraints: 73560
49.77/50.09 c #Conflicts: 63000 | #Constraints: 74560
49.77/50.09 c #Conflicts: 64000 | #Constraints: 75560
49.77/50.09 c #Conflicts: 65000 | #Constraints: 76560
49.77/50.09 c #Conflicts: 66000 | #Constraints: 77560
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 67000 | #Constraints: 73354
49.77/50.09 c #Conflicts: 68000 | #Constraints: 74354
49.77/50.09 c #Conflicts: 69000 | #Constraints: 75354
49.77/50.09 c #Conflicts: 70000 | #Constraints: 76354
49.77/50.09 c #Conflicts: 71000 | #Constraints: 77354
49.77/50.09 c #Conflicts: 72000 | #Constraints: 78354
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 73000 | #Constraints: 73963
49.77/50.09 c #Conflicts: 74000 | #Constraints: 74963
49.77/50.09 c #Conflicts: 75000 | #Constraints: 75963
49.77/50.09 c #Conflicts: 76000 | #Constraints: 76963
49.77/50.09 c #Conflicts: 77000 | #Constraints: 77963
49.77/50.09 c #Conflicts: 78000 | #Constraints: 78963
49.77/50.09 c INPROCESSING
49.77/50.09 c GARBAGE COLLECT
49.77/50.09 c #Conflicts: 79000 | #Constraints: 74421
49.77/50.09 c #Conflicts: 80000 | #Constraints: 75421
49.77/50.09 c #Conflicts: 81000 | #Constraints: 76421
49.77/50.09 c #Conflicts: 82000 | #Constraints: 77421
91.89/92.39 c #Conflicts: 83000 | #Constraints: 78421
91.89/92.39 c #Conflicts: 84000 | #Constraints: 79421
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 85000 | #Constraints: 74668
91.89/92.39 c #Conflicts: 86000 | #Constraints: 75668
91.89/92.39 c #Conflicts: 87000 | #Constraints: 76668
91.89/92.39 c #Conflicts: 88000 | #Constraints: 77668
91.89/92.39 c #Conflicts: 89000 | #Constraints: 78668
91.89/92.39 c #Conflicts: 90000 | #Constraints: 79668
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 91000 | #Constraints: 74693
91.89/92.39 c #Conflicts: 92000 | #Constraints: 75693
91.89/92.39 c #Conflicts: 93000 | #Constraints: 76693
91.89/92.39 c #Conflicts: 94000 | #Constraints: 77693
91.89/92.39 c #Conflicts: 95000 | #Constraints: 78693
91.89/92.39 c #Conflicts: 96000 | #Constraints: 79693
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 97000 | #Constraints: 74508
91.89/92.39 c #Conflicts: 98000 | #Constraints: 75508
91.89/92.39 c #Conflicts: 99000 | #Constraints: 76508
91.89/92.39 c #Conflicts: 100000 | #Constraints: 77508
91.89/92.39 c #Conflicts: 101000 | #Constraints: 78508
91.89/92.39 c #Conflicts: 102000 | #Constraints: 79508
91.89/92.39 c #Conflicts: 103000 | #Constraints: 80508
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 104000 | #Constraints: 75094
91.89/92.39 c #Conflicts: 105000 | #Constraints: 76094
91.89/92.39 c #Conflicts: 106000 | #Constraints: 77094
91.89/92.39 c #Conflicts: 107000 | #Constraints: 78094
91.89/92.39 c #Conflicts: 108000 | #Constraints: 79094
91.89/92.39 c #Conflicts: 109000 | #Constraints: 80094
91.89/92.39 c #Conflicts: 110000 | #Constraints: 81094
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 111000 | #Constraints: 75529
91.89/92.39 c #Conflicts: 112000 | #Constraints: 76529
91.89/92.39 c #Conflicts: 113000 | #Constraints: 77529
91.89/92.39 c #Conflicts: 114000 | #Constraints: 78529
91.89/92.39 c #Conflicts: 115000 | #Constraints: 79529
91.89/92.39 c #Conflicts: 116000 | #Constraints: 80529
91.89/92.39 c #Conflicts: 117000 | #Constraints: 81529
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 118000 | #Constraints: 75700
91.89/92.39 c #Conflicts: 119000 | #Constraints: 76700
91.89/92.39 c #Conflicts: 120000 | #Constraints: 77700
91.89/92.39 c #Conflicts: 121000 | #Constraints: 78700
91.89/92.39 c #Conflicts: 122000 | #Constraints: 79700
91.89/92.39 c #Conflicts: 123000 | #Constraints: 80700
91.89/92.39 c #Conflicts: 124000 | #Constraints: 81700
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 125000 | #Constraints: 75640
91.89/92.39 c #Conflicts: 126000 | #Constraints: 76640
91.89/92.39 c #Conflicts: 127000 | #Constraints: 77640
91.89/92.39 c #Conflicts: 128000 | #Constraints: 78640
91.89/92.39 c #Conflicts: 129000 | #Constraints: 79640
91.89/92.39 c #Conflicts: 130000 | #Constraints: 80640
91.89/92.39 c #Conflicts: 131000 | #Constraints: 81640
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 132000 | #Constraints: 75433
91.89/92.39 c #Conflicts: 133000 | #Constraints: 76433
91.89/92.39 c #Conflicts: 134000 | #Constraints: 77433
91.89/92.39 c #Conflicts: 135000 | #Constraints: 78433
91.89/92.39 c #Conflicts: 136000 | #Constraints: 79433
91.89/92.39 c #Conflicts: 137000 | #Constraints: 80433
91.89/92.39 c #Conflicts: 138000 | #Constraints: 81433
91.89/92.39 c #Conflicts: 139000 | #Constraints: 82433
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 140000 | #Constraints: 76098
91.89/92.39 c #Conflicts: 141000 | #Constraints: 77098
91.89/92.39 c #Conflicts: 142000 | #Constraints: 78098
91.89/92.39 c #Conflicts: 143000 | #Constraints: 79098
91.89/92.39 c #Conflicts: 144000 | #Constraints: 80098
91.89/92.39 c #Conflicts: 145000 | #Constraints: 81098
91.89/92.39 c #Conflicts: 146000 | #Constraints: 82098
91.89/92.39 c #Conflicts: 147000 | #Constraints: 83098
91.89/92.39 c INPROCESSING
91.89/92.39 c GARBAGE COLLECT
91.89/92.39 c #Conflicts: 148000 | #Constraints: 76557
91.89/92.39 c #Conflicts: 149000 | #Constraints: 77557
91.89/92.39 c #Conflicts: 150000 | #Constraints: 78557
91.89/92.39 c #Conflicts: 151000 | #Constraints: 79557
91.89/92.39 c #Conflicts: 152000 | #Constraints: 80557
91.89/92.39 c #Conflicts: 153000 | #Constraints: 81557
91.89/92.39 c #Conflicts: 154000 | #Constraints: 82557
153.51/154.11 c #Conflicts: 155000 | #Constraints: 83557
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 156000 | #Constraints: 76685
153.51/154.11 c #Conflicts: 157000 | #Constraints: 77685
153.51/154.11 c #Conflicts: 158000 | #Constraints: 78685
153.51/154.11 c #Conflicts: 159000 | #Constraints: 79685
153.51/154.11 c #Conflicts: 160000 | #Constraints: 80685
153.51/154.11 c #Conflicts: 161000 | #Constraints: 81685
153.51/154.11 c #Conflicts: 162000 | #Constraints: 82685
153.51/154.11 c #Conflicts: 163000 | #Constraints: 83685
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 164000 | #Constraints: 76707
153.51/154.11 c #Conflicts: 165000 | #Constraints: 77707
153.51/154.11 c #Conflicts: 166000 | #Constraints: 78707
153.51/154.11 c #Conflicts: 167000 | #Constraints: 79707
153.51/154.11 c #Conflicts: 168000 | #Constraints: 80707
153.51/154.11 c #Conflicts: 169000 | #Constraints: 81707
153.51/154.11 c #Conflicts: 170000 | #Constraints: 82707
153.51/154.11 c #Conflicts: 171000 | #Constraints: 83707
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 172000 | #Constraints: 76549
153.51/154.11 c #Conflicts: 173000 | #Constraints: 77549
153.51/154.11 c #Conflicts: 174000 | #Constraints: 78549
153.51/154.11 c #Conflicts: 175000 | #Constraints: 79549
153.51/154.11 c #Conflicts: 176000 | #Constraints: 80549
153.51/154.11 c #Conflicts: 177000 | #Constraints: 81549
153.51/154.11 c #Conflicts: 178000 | #Constraints: 82549
153.51/154.11 c #Conflicts: 179000 | #Constraints: 83549
153.51/154.11 c #Conflicts: 180000 | #Constraints: 84549
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 181000 | #Constraints: 77173
153.51/154.11 c #Conflicts: 182000 | #Constraints: 78173
153.51/154.11 c #Conflicts: 183000 | #Constraints: 79173
153.51/154.11 c #Conflicts: 184000 | #Constraints: 80173
153.51/154.11 c #Conflicts: 185000 | #Constraints: 81173
153.51/154.11 c #Conflicts: 186000 | #Constraints: 82173
153.51/154.11 c #Conflicts: 187000 | #Constraints: 83173
153.51/154.11 c #Conflicts: 188000 | #Constraints: 84173
153.51/154.11 c #Conflicts: 189000 | #Constraints: 85173
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 190000 | #Constraints: 77583
153.51/154.11 c #Conflicts: 191000 | #Constraints: 78583
153.51/154.11 c #Conflicts: 192000 | #Constraints: 79583
153.51/154.11 c #Conflicts: 193000 | #Constraints: 80583
153.51/154.11 c #Conflicts: 194000 | #Constraints: 81583
153.51/154.11 c #Conflicts: 195000 | #Constraints: 82583
153.51/154.11 c #Conflicts: 196000 | #Constraints: 83583
153.51/154.11 c #Conflicts: 197000 | #Constraints: 84583
153.51/154.11 c #Conflicts: 198000 | #Constraints: 85583
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 199000 | #Constraints: 77739
153.51/154.11 c #Conflicts: 200000 | #Constraints: 78739
153.51/154.11 c #Conflicts: 201000 | #Constraints: 79739
153.51/154.11 c #Conflicts: 202000 | #Constraints: 80739
153.51/154.11 c #Conflicts: 203000 | #Constraints: 81739
153.51/154.11 c #Conflicts: 204000 | #Constraints: 82739
153.51/154.11 c #Conflicts: 205000 | #Constraints: 83739
153.51/154.11 c #Conflicts: 206000 | #Constraints: 84739
153.51/154.11 c #Conflicts: 207000 | #Constraints: 85739
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 208000 | #Constraints: 77757
153.51/154.11 c #Conflicts: 209000 | #Constraints: 78757
153.51/154.11 c #Conflicts: 210000 | #Constraints: 79757
153.51/154.11 c #Conflicts: 211000 | #Constraints: 80757
153.51/154.11 c #Conflicts: 212000 | #Constraints: 81757
153.51/154.11 c #Conflicts: 213000 | #Constraints: 82757
153.51/154.11 c #Conflicts: 214000 | #Constraints: 83757
153.51/154.11 c #Conflicts: 215000 | #Constraints: 84757
153.51/154.11 c #Conflicts: 216000 | #Constraints: 85757
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 217000 | #Constraints: 77609
153.51/154.11 c #Conflicts: 218000 | #Constraints: 78609
153.51/154.11 c #Conflicts: 219000 | #Constraints: 79609
153.51/154.11 c #Conflicts: 220000 | #Constraints: 80609
153.51/154.11 c #Conflicts: 221000 | #Constraints: 81609
153.51/154.11 c #Conflicts: 222000 | #Constraints: 82609
153.51/154.11 c #Conflicts: 223000 | #Constraints: 83609
153.51/154.11 c #Conflicts: 224000 | #Constraints: 84609
153.51/154.11 c #Conflicts: 225000 | #Constraints: 85609
153.51/154.11 c #Conflicts: 226000 | #Constraints: 86609
153.51/154.11 c INPROCESSING
153.51/154.11 c GARBAGE COLLECT
153.51/154.11 c #Conflicts: 227000 | #Constraints: 78193
200.85/201.70 c #Conflicts: 228000 | #Constraints: 79193
200.85/201.70 c #Conflicts: 229000 | #Constraints: 80193
200.85/201.70 c #Conflicts: 230000 | #Constraints: 81193
200.85/201.70 c #Conflicts: 231000 | #Constraints: 82193
200.85/201.70 c #Conflicts: 232000 | #Constraints: 83193
200.85/201.70 c #Conflicts: 233000 | #Constraints: 84193
200.85/201.70 c #Conflicts: 234000 | #Constraints: 85193
200.85/201.70 c #Conflicts: 235000 | #Constraints: 86193
200.85/201.70 c #Conflicts: 236000 | #Constraints: 87193
200.85/201.70 c INPROCESSING
200.85/201.70 c GARBAGE COLLECT
200.85/201.70 c #Conflicts: 237000 | #Constraints: 78584
200.85/201.70 c #Conflicts: 238000 | #Constraints: 79584
200.85/201.70 c #Conflicts: 239000 | #Constraints: 80584
200.85/201.70 c #Conflicts: 240000 | #Constraints: 81584
200.85/201.70 c #Conflicts: 241000 | #Constraints: 82584
200.85/201.70 c #Conflicts: 242000 | #Constraints: 83584
200.85/201.70 c #Conflicts: 243000 | #Constraints: 84584
200.85/201.70 c #Conflicts: 244000 | #Constraints: 85584
200.85/201.70 c #Conflicts: 245000 | #Constraints: 86584
200.85/201.70 c #Conflicts: 246000 | #Constraints: 87584
200.85/201.70 c INPROCESSING
200.85/201.70 c GARBAGE COLLECT
200.85/201.70 c #Conflicts: 247000 | #Constraints: 78840
200.85/201.70 c #Conflicts: 248000 | #Constraints: 79840
200.85/201.70 c #Conflicts: 249000 | #Constraints: 80840
200.85/201.70 c #Conflicts: 250000 | #Constraints: 81840
200.85/201.70 c #Conflicts: 251000 | #Constraints: 82840
200.85/201.70 c #Conflicts: 252000 | #Constraints: 83840
200.85/201.70 c #Conflicts: 253000 | #Constraints: 84840
200.85/201.70 c #Conflicts: 254000 | #Constraints: 85840
200.85/201.70 c #Conflicts: 255000 | #Constraints: 86840
200.85/201.70 c #Conflicts: 256000 | #Constraints: 87840
200.85/201.70 c INPROCESSING
200.85/201.70 c GARBAGE COLLECT
200.85/201.70 c #Conflicts: 257000 | #Constraints: 78808
200.85/201.70 c #Conflicts: 258000 | #Constraints: 79808
200.85/201.70 c #Conflicts: 259000 | #Constraints: 80808
200.85/201.70 c #Conflicts: 260000 | #Constraints: 81808
200.85/201.70 c #Conflicts: 261000 | #Constraints: 82808
200.85/201.70 c #Conflicts: 262000 | #Constraints: 83808
200.85/201.70 c #Conflicts: 263000 | #Constraints: 84808
200.85/201.70 c #Conflicts: 264000 | #Constraints: 85808
200.85/201.70 c #Conflicts: 265000 | #Constraints: 86808
200.85/201.70 c #Conflicts: 266000 | #Constraints: 87808
200.85/201.70 c INPROCESSING
200.85/201.70 c GARBAGE COLLECT
200.85/201.70 c #Conflicts: 267000 | #Constraints: 78641
200.85/201.70 c #Conflicts: 268000 | #Constraints: 79641
200.85/201.70 c #Conflicts: 269000 | #Constraints: 80641
200.85/201.70 c #Conflicts: 270000 | #Constraints: 81641
200.85/201.70 c #Conflicts: 271000 | #Constraints: 82641
200.85/201.70 c #Conflicts: 272000 | #Constraints: 83641
200.85/201.70 c #Conflicts: 273000 | #Constraints: 84641
200.85/201.70 c #Conflicts: 274000 | #Constraints: 85641
200.85/201.70 c #Conflicts: 275000 | #Constraints: 86641
200.85/201.70 c #Conflicts: 276000 | #Constraints: 87641
200.85/201.70 c #Conflicts: 277000 | #Constraints: 88641
200.85/201.70 c INPROCESSING
200.85/201.70 c GARBAGE COLLECT
200.85/201.70 c #Conflicts: 278000 | #Constraints: 79120
200.85/201.70 c #Conflicts: 279000 | #Constraints: 80120
200.85/201.70 c #Conflicts: 280000 | #Constraints: 81120
200.85/201.70 c #Conflicts: 281000 | #Constraints: 82120
200.85/201.70 c #Conflicts: 282000 | #Constraints: 83120
200.85/201.70 c #Conflicts: 283000 | #Constraints: 84120
200.85/201.70 c #Conflicts: 284000 | #Constraints: 85120
200.85/201.70 c #Conflicts: 285000 | #Constraints: 86120
200.85/201.70 c #Conflicts: 286000 | #Constraints: 87120
200.85/201.70 c #Conflicts: 287000 | #Constraints: 88120
200.85/201.70 c #Conflicts: 288000 | #Constraints: 89120
200.85/201.70 c INPROCESSING
200.85/201.70 c GARBAGE COLLECT
200.85/201.70 c #Conflicts: 289000 | #Constraints: 79556
200.85/201.70 c #Conflicts: 290000 | #Constraints: 80556
200.85/201.70 c #Conflicts: 291000 | #Constraints: 81556
200.85/201.70 c #Conflicts: 292000 | #Constraints: 82556
200.85/201.70 c #Conflicts: 293000 | #Constraints: 83556
200.85/201.70 c #Conflicts: 294000 | #Constraints: 84556
200.85/201.70 c #Conflicts: 295000 | #Constraints: 85556
200.85/201.70 c #Conflicts: 296000 | #Constraints: 86556
200.85/201.70 c #Conflicts: 297000 | #Constraints: 87556
200.85/201.70 c #Conflicts: 298000 | #Constraints: 88556
200.85/201.70 c #Conflicts: 299000 | #Constraints: 89556
200.85/201.70 c INPROCESSING
200.85/201.70 c GARBAGE COLLECT
200.85/201.70 c #Conflicts: 300000 | #Constraints: 79778
200.85/201.70 c #Conflicts: 301000 | #Constraints: 80778
200.85/201.70 c #Conflicts: 302000 | #Constraints: 81778
233.36/234.31 c #Conflicts: 303000 | #Constraints: 82778
233.36/234.31 c #Conflicts: 304000 | #Constraints: 83778
233.36/234.31 c #Conflicts: 305000 | #Constraints: 84778
233.36/234.31 c #Conflicts: 306000 | #Constraints: 85778
233.36/234.31 c #Conflicts: 307000 | #Constraints: 86778
233.36/234.31 c #Conflicts: 308000 | #Constraints: 87778
233.36/234.31 c #Conflicts: 309000 | #Constraints: 88778
233.36/234.31 c #Conflicts: 310000 | #Constraints: 89778
233.36/234.31 c INPROCESSING
233.36/234.31 c GARBAGE COLLECT
233.36/234.31 c #Conflicts: 311000 | #Constraints: 79851
233.36/234.31 c #Conflicts: 312000 | #Constraints: 80851
233.36/234.31 c #Conflicts: 313000 | #Constraints: 81851
233.36/234.31 c #Conflicts: 314000 | #Constraints: 82851
233.36/234.31 c #Conflicts: 315000 | #Constraints: 83851
233.36/234.31 c #Conflicts: 316000 | #Constraints: 84851
233.36/234.31 c #Conflicts: 317000 | #Constraints: 85851
233.36/234.31 c #Conflicts: 318000 | #Constraints: 86851
233.36/234.31 c #Conflicts: 319000 | #Constraints: 87851
233.36/234.31 c #Conflicts: 320000 | #Constraints: 88851
233.36/234.31 c #Conflicts: 321000 | #Constraints: 89851
233.36/234.31 c INPROCESSING
233.36/234.31 c GARBAGE COLLECT
233.36/234.31 c rational objective 1015.22
283.58/284.87 c #Conflicts: 322000 | #Constraints: 79681
283.58/284.87 c #Conflicts: 323000 | #Constraints: 80681
283.58/284.87 c #Conflicts: 324000 | #Constraints: 81681
283.58/284.87 c #Conflicts: 325000 | #Constraints: 82681
283.58/284.87 c #Conflicts: 326000 | #Constraints: 83681
283.58/284.87 c #Conflicts: 327000 | #Constraints: 84681
283.58/284.87 c #Conflicts: 328000 | #Constraints: 85681
283.58/284.87 c #Conflicts: 329000 | #Constraints: 86681
283.58/284.87 c #Conflicts: 330000 | #Constraints: 87681
283.58/284.87 c #Conflicts: 331000 | #Constraints: 88681
283.58/284.87 c #Conflicts: 332000 | #Constraints: 89681
283.58/284.87 c #Conflicts: 333000 | #Constraints: 90681
283.58/284.87 c INPROCESSING
283.58/284.87 c GARBAGE COLLECT
283.58/284.87 c #Conflicts: 334000 | #Constraints: 80242
283.58/284.87 c #Conflicts: 335000 | #Constraints: 81242
283.58/284.87 c #Conflicts: 336000 | #Constraints: 82242
283.58/284.87 c #Conflicts: 337000 | #Constraints: 83242
283.58/284.87 c #Conflicts: 338000 | #Constraints: 84242
283.58/284.87 c #Conflicts: 339000 | #Constraints: 85242
283.58/284.87 c #Conflicts: 340000 | #Constraints: 86242
283.58/284.87 c #Conflicts: 341000 | #Constraints: 87242
283.58/284.87 c #Conflicts: 342000 | #Constraints: 88242
283.58/284.87 c #Conflicts: 343000 | #Constraints: 89242
283.58/284.87 c #Conflicts: 344000 | #Constraints: 90242
283.58/284.87 c #Conflicts: 345000 | #Constraints: 91242
283.58/284.87 c INPROCESSING
283.58/284.87 c GARBAGE COLLECT
283.58/284.87 c #Conflicts: 346000 | #Constraints: 80659
283.58/284.87 c #Conflicts: 347000 | #Constraints: 81659
283.58/284.87 c #Conflicts: 348000 | #Constraints: 82659
283.58/284.87 c #Conflicts: 349000 | #Constraints: 83659
283.58/284.87 c #Conflicts: 350000 | #Constraints: 84659
283.58/284.87 c #Conflicts: 351000 | #Constraints: 85659
283.58/284.87 c #Conflicts: 352000 | #Constraints: 86659
283.58/284.87 c #Conflicts: 353000 | #Constraints: 87659
283.58/284.87 c #Conflicts: 354000 | #Constraints: 88659
283.58/284.87 c #Conflicts: 355000 | #Constraints: 89659
283.58/284.87 c #Conflicts: 356000 | #Constraints: 90659
283.58/284.87 c #Conflicts: 357000 | #Constraints: 91659
283.58/284.87 c INPROCESSING
283.58/284.87 c GARBAGE COLLECT
283.58/284.87 c #Conflicts: 358000 | #Constraints: 80795
283.58/284.87 c #Conflicts: 359000 | #Constraints: 81795
283.58/284.87 c #Conflicts: 360000 | #Constraints: 82795
283.58/284.87 c #Conflicts: 361000 | #Constraints: 83795
283.58/284.87 c #Conflicts: 362000 | #Constraints: 84795
283.58/284.87 c #Conflicts: 363000 | #Constraints: 85795
283.58/284.87 c #Conflicts: 364000 | #Constraints: 86795
283.58/284.87 c #Conflicts: 365000 | #Constraints: 87795
283.58/284.87 c #Conflicts: 366000 | #Constraints: 88795
283.58/284.87 c #Conflicts: 367000 | #Constraints: 89795
283.58/284.87 c #Conflicts: 368000 | #Constraints: 90795
283.58/284.87 c #Conflicts: 369000 | #Constraints: 91795
283.58/284.87 c INPROCESSING
283.58/284.87 c GARBAGE COLLECT
283.58/284.87 c #Conflicts: 370000 | #Constraints: 80863
283.58/284.87 c #Conflicts: 371000 | #Constraints: 81863
283.58/284.87 c #Conflicts: 372000 | #Constraints: 82863
283.58/284.87 c #Conflicts: 373000 | #Constraints: 83863
283.58/284.87 c #Conflicts: 374000 | #Constraints: 84863
283.58/284.87 c #Conflicts: 375000 | #Constraints: 85863
283.58/284.87 c #Conflicts: 376000 | #Constraints: 86863
283.58/284.87 c #Conflicts: 377000 | #Constraints: 87863
283.58/284.87 c #Conflicts: 378000 | #Constraints: 88863
283.58/284.87 c #Conflicts: 379000 | #Constraints: 89863
283.58/284.87 c #Conflicts: 380000 | #Constraints: 90863
283.58/284.87 c #Conflicts: 381000 | #Constraints: 91863
283.58/284.87 c INPROCESSING
283.58/284.87 c GARBAGE COLLECT
283.58/284.87 c #Conflicts: 382000 | #Constraints: 80698
283.58/284.87 c #Conflicts: 383000 | #Constraints: 81698
283.58/284.87 c #Conflicts: 384000 | #Constraints: 82698
283.58/284.87 c #Conflicts: 385000 | #Constraints: 83698
283.58/284.87 c #Conflicts: 386000 | #Constraints: 84698
283.58/284.87 c #Conflicts: 387000 | #Constraints: 85698
283.58/284.87 c #Conflicts: 388000 | #Constraints: 86698
283.58/284.87 c #Conflicts: 389000 | #Constraints: 87698
283.58/284.87 c #Conflicts: 390000 | #Constraints: 88698
283.58/284.87 c #Conflicts: 391000 | #Constraints: 89698
283.58/284.87 c #Conflicts: 392000 | #Constraints: 90698
283.58/284.87 c #Conflicts: 393000 | #Constraints: 91698
283.58/284.87 c #Conflicts: 394000 | #Constraints: 92698
283.58/284.87 c INPROCESSING
283.58/284.87 c GARBAGE COLLECT
283.58/284.87 c #Conflicts: 395000 | #Constraints: 81294
283.58/284.87 c #Conflicts: 396000 | #Constraints: 82294
340.09/341.66 c #Conflicts: 397000 | #Constraints: 83294
340.09/341.66 c #Conflicts: 398000 | #Constraints: 84294
340.09/341.66 c #Conflicts: 399000 | #Constraints: 85294
340.09/341.66 c #Conflicts: 400000 | #Constraints: 86294
340.09/341.66 c #Conflicts: 401000 | #Constraints: 87294
340.09/341.66 c #Conflicts: 402000 | #Constraints: 88294
340.09/341.66 c #Conflicts: 403000 | #Constraints: 89294
340.09/341.66 c #Conflicts: 404000 | #Constraints: 90294
340.09/341.66 c #Conflicts: 405000 | #Constraints: 91294
340.09/341.66 c #Conflicts: 406000 | #Constraints: 92294
340.09/341.66 c #Conflicts: 407000 | #Constraints: 93294
340.09/341.66 c INPROCESSING
340.09/341.66 c GARBAGE COLLECT
340.09/341.66 c #Conflicts: 408000 | #Constraints: 81736
340.09/341.66 c #Conflicts: 409000 | #Constraints: 82736
340.09/341.66 c #Conflicts: 410000 | #Constraints: 83736
340.09/341.66 c #Conflicts: 411000 | #Constraints: 84736
340.09/341.66 c #Conflicts: 412000 | #Constraints: 85736
340.09/341.66 c #Conflicts: 413000 | #Constraints: 86736
340.09/341.66 c #Conflicts: 414000 | #Constraints: 87736
340.09/341.66 c #Conflicts: 415000 | #Constraints: 88736
340.09/341.66 c #Conflicts: 416000 | #Constraints: 89736
340.09/341.66 c #Conflicts: 417000 | #Constraints: 90736
340.09/341.66 c #Conflicts: 418000 | #Constraints: 91736
340.09/341.66 c #Conflicts: 419000 | #Constraints: 92736
340.09/341.66 c #Conflicts: 420000 | #Constraints: 93736
340.09/341.66 c INPROCESSING
340.09/341.66 c GARBAGE COLLECT
340.09/341.66 c #Conflicts: 421000 | #Constraints: 70606
340.09/341.66 c #Conflicts: 422000 | #Constraints: 71606
340.09/341.66 c #Conflicts: 423000 | #Constraints: 72606
340.09/341.66 c #Conflicts: 424000 | #Constraints: 73606
340.09/341.66 c #Conflicts: 425000 | #Constraints: 74606
340.09/341.66 c #Conflicts: 426000 | #Constraints: 75606
340.09/341.66 c #Conflicts: 427000 | #Constraints: 76606
340.09/341.66 c #Conflicts: 428000 | #Constraints: 77606
340.09/341.66 c #Conflicts: 429000 | #Constraints: 78606
340.09/341.66 c #Conflicts: 430000 | #Constraints: 79606
340.09/341.66 c #Conflicts: 431000 | #Constraints: 80606
340.09/341.66 c #Conflicts: 432000 | #Constraints: 81606
340.09/341.66 c #Conflicts: 433000 | #Constraints: 82606
340.09/341.66 c INPROCESSING
340.09/341.66 c GARBAGE COLLECT
340.09/341.66 c #Conflicts: 434000 | #Constraints: 70756
340.09/341.66 c #Conflicts: 435000 | #Constraints: 71756
340.09/341.66 c #Conflicts: 436000 | #Constraints: 72756
340.09/341.66 c #Conflicts: 437000 | #Constraints: 73756
340.09/341.66 c #Conflicts: 438000 | #Constraints: 74756
340.09/341.66 c #Conflicts: 439000 | #Constraints: 75756
340.09/341.66 c #Conflicts: 440000 | #Constraints: 76756
340.09/341.66 c #Conflicts: 441000 | #Constraints: 77756
340.09/341.66 c #Conflicts: 442000 | #Constraints: 78756
340.09/341.66 c #Conflicts: 443000 | #Constraints: 79756
340.09/341.66 c #Conflicts: 444000 | #Constraints: 80756
340.09/341.66 c #Conflicts: 445000 | #Constraints: 81756
340.09/341.66 c #Conflicts: 446000 | #Constraints: 82756
340.09/341.66 c INPROCESSING
340.09/341.66 c GARBAGE COLLECT
340.09/341.66 c #Conflicts: 447000 | #Constraints: 70603
340.09/341.66 c #Conflicts: 448000 | #Constraints: 71603
340.09/341.66 c #Conflicts: 449000 | #Constraints: 72603
340.09/341.66 c #Conflicts: 450000 | #Constraints: 73603
340.09/341.66 c #Conflicts: 451000 | #Constraints: 74603
340.09/341.66 c #Conflicts: 452000 | #Constraints: 75603
340.09/341.66 c #Conflicts: 453000 | #Constraints: 76603
340.09/341.66 c #Conflicts: 454000 | #Constraints: 77603
340.09/341.66 c #Conflicts: 455000 | #Constraints: 78603
340.09/341.66 c #Conflicts: 456000 | #Constraints: 79603
340.09/341.66 c #Conflicts: 457000 | #Constraints: 80603
340.09/341.66 c #Conflicts: 458000 | #Constraints: 81603
340.09/341.66 c #Conflicts: 459000 | #Constraints: 82603
340.09/341.66 c #Conflicts: 460000 | #Constraints: 83603
340.09/341.66 c INPROCESSING
340.09/341.66 c GARBAGE COLLECT
340.09/341.66 c #Conflicts: 461000 | #Constraints: 71252
340.09/341.66 c #Conflicts: 462000 | #Constraints: 72252
340.09/341.66 c #Conflicts: 463000 | #Constraints: 73252
340.09/341.66 c #Conflicts: 464000 | #Constraints: 74252
340.09/341.66 c #Conflicts: 465000 | #Constraints: 75252
340.09/341.66 c #Conflicts: 466000 | #Constraints: 76252
340.09/341.66 c #Conflicts: 467000 | #Constraints: 77252
340.09/341.66 c #Conflicts: 468000 | #Constraints: 78252
340.09/341.66 c #Conflicts: 469000 | #Constraints: 79252
340.09/341.66 c #Conflicts: 470000 | #Constraints: 80252
340.09/341.66 c #Conflicts: 471000 | #Constraints: 81252
340.09/341.66 c #Conflicts: 472000 | #Constraints: 82252
396.97/398.78 c #Conflicts: 473000 | #Constraints: 83252
396.97/398.78 c #Conflicts: 474000 | #Constraints: 84252
396.97/398.78 c INPROCESSING
396.97/398.78 c GARBAGE COLLECT
396.97/398.78 c #Conflicts: 475000 | #Constraints: 71701
396.97/398.78 c #Conflicts: 476000 | #Constraints: 72701
396.97/398.78 c #Conflicts: 477000 | #Constraints: 73701
396.97/398.78 c #Conflicts: 478000 | #Constraints: 74701
396.97/398.78 c #Conflicts: 479000 | #Constraints: 75701
396.97/398.78 c #Conflicts: 480000 | #Constraints: 76701
396.97/398.78 c #Conflicts: 481000 | #Constraints: 77701
396.97/398.78 c #Conflicts: 482000 | #Constraints: 78701
396.97/398.78 c #Conflicts: 483000 | #Constraints: 79701
396.97/398.78 c #Conflicts: 484000 | #Constraints: 80701
396.97/398.78 c #Conflicts: 485000 | #Constraints: 81701
396.97/398.78 c #Conflicts: 486000 | #Constraints: 82701
396.97/398.78 c #Conflicts: 487000 | #Constraints: 83701
396.97/398.78 c #Conflicts: 488000 | #Constraints: 84701
396.97/398.78 c INPROCESSING
396.97/398.78 c GARBAGE COLLECT
396.97/398.78 c #Conflicts: 489000 | #Constraints: 71954
396.97/398.78 c #Conflicts: 490000 | #Constraints: 72954
396.97/398.78 c #Conflicts: 491000 | #Constraints: 73954
396.97/398.78 c #Conflicts: 492000 | #Constraints: 74954
396.97/398.78 c #Conflicts: 493000 | #Constraints: 75954
396.97/398.78 c #Conflicts: 494000 | #Constraints: 76954
396.97/398.78 c #Conflicts: 495000 | #Constraints: 77954
396.97/398.78 c #Conflicts: 496000 | #Constraints: 78954
396.97/398.78 c #Conflicts: 497000 | #Constraints: 79954
396.97/398.78 c #Conflicts: 498000 | #Constraints: 80954
396.97/398.78 c #Conflicts: 499000 | #Constraints: 81954
396.97/398.78 c #Conflicts: 500000 | #Constraints: 82954
396.97/398.78 c #Conflicts: 501000 | #Constraints: 83954
396.97/398.78 c #Conflicts: 502000 | #Constraints: 84954
396.97/398.78 c INPROCESSING
396.97/398.78 c GARBAGE COLLECT
396.97/398.78 c #Conflicts: 503000 | #Constraints: 71879
396.97/398.78 c #Conflicts: 504000 | #Constraints: 72879
396.97/398.78 c #Conflicts: 505000 | #Constraints: 73879
396.97/398.78 c #Conflicts: 506000 | #Constraints: 74879
396.97/398.78 c #Conflicts: 507000 | #Constraints: 75879
396.97/398.78 c #Conflicts: 508000 | #Constraints: 76879
396.97/398.78 c #Conflicts: 509000 | #Constraints: 77879
396.97/398.78 c #Conflicts: 510000 | #Constraints: 78879
396.97/398.78 c #Conflicts: 511000 | #Constraints: 79879
396.97/398.78 c #Conflicts: 512000 | #Constraints: 80879
396.97/398.78 c #Conflicts: 513000 | #Constraints: 81879
396.97/398.78 c #Conflicts: 514000 | #Constraints: 82879
396.97/398.78 c #Conflicts: 515000 | #Constraints: 83879
396.97/398.78 c #Conflicts: 516000 | #Constraints: 84879
396.97/398.78 c INPROCESSING
396.97/398.78 c GARBAGE COLLECT
396.97/398.78 c #Conflicts: 517000 | #Constraints: 71695
396.97/398.78 c #Conflicts: 518000 | #Constraints: 72695
396.97/398.78 c #Conflicts: 519000 | #Constraints: 73695
396.97/398.78 c #Conflicts: 520000 | #Constraints: 74695
396.97/398.78 c #Conflicts: 521000 | #Constraints: 75695
396.97/398.78 c #Conflicts: 522000 | #Constraints: 76695
396.97/398.78 c #Conflicts: 523000 | #Constraints: 77695
396.97/398.78 c #Conflicts: 524000 | #Constraints: 78695
396.97/398.78 c #Conflicts: 525000 | #Constraints: 79695
396.97/398.78 c #Conflicts: 526000 | #Constraints: 80695
396.97/398.78 c #Conflicts: 527000 | #Constraints: 81695
396.97/398.78 c #Conflicts: 528000 | #Constraints: 82695
396.97/398.78 c #Conflicts: 529000 | #Constraints: 83695
396.97/398.78 c #Conflicts: 530000 | #Constraints: 84695
396.97/398.78 c #Conflicts: 531000 | #Constraints: 85695
396.97/398.78 c INPROCESSING
396.97/398.78 c GARBAGE COLLECT
396.97/398.78 c #Conflicts: 532000 | #Constraints: 72344
396.97/398.78 c #Conflicts: 533000 | #Constraints: 73344
396.97/398.78 c #Conflicts: 534000 | #Constraints: 74344
396.97/398.78 c #Conflicts: 535000 | #Constraints: 75344
396.97/398.78 c #Conflicts: 536000 | #Constraints: 76344
396.97/398.78 c #Conflicts: 537000 | #Constraints: 77344
396.97/398.78 c #Conflicts: 538000 | #Constraints: 78344
396.97/398.78 c #Conflicts: 539000 | #Constraints: 79344
396.97/398.78 c #Conflicts: 540000 | #Constraints: 80344
396.97/398.78 c #Conflicts: 541000 | #Constraints: 81344
396.97/398.78 c #Conflicts: 542000 | #Constraints: 82344
396.97/398.78 c #Conflicts: 543000 | #Constraints: 83344
396.97/398.78 c #Conflicts: 544000 | #Constraints: 84344
396.97/398.78 c #Conflicts: 545000 | #Constraints: 85344
396.97/398.78 c #Conflicts: 546000 | #Constraints: 86344
396.97/398.78 c INPROCESSING
396.97/398.78 c GARBAGE COLLECT
396.97/398.78 c #Conflicts: 547000 | #Constraints: 72784
447.70/449.75 c #Conflicts: 548000 | #Constraints: 73784
447.70/449.75 c #Conflicts: 549000 | #Constraints: 74784
447.70/449.75 c #Conflicts: 550000 | #Constraints: 75784
447.70/449.75 c #Conflicts: 551000 | #Constraints: 76784
447.70/449.75 c #Conflicts: 552000 | #Constraints: 77784
447.70/449.75 c #Conflicts: 553000 | #Constraints: 78784
447.70/449.75 c #Conflicts: 554000 | #Constraints: 79784
447.70/449.75 c #Conflicts: 555000 | #Constraints: 80784
447.70/449.75 c #Conflicts: 556000 | #Constraints: 81784
447.70/449.75 c #Conflicts: 557000 | #Constraints: 82784
447.70/449.75 c #Conflicts: 558000 | #Constraints: 83784
447.70/449.75 c #Conflicts: 559000 | #Constraints: 84784
447.70/449.75 c #Conflicts: 560000 | #Constraints: 85784
447.70/449.75 c #Conflicts: 561000 | #Constraints: 86784
447.70/449.75 c INPROCESSING
447.70/449.75 c GARBAGE COLLECT
447.70/449.75 c #Conflicts: 562000 | #Constraints: 72979
447.70/449.75 c #Conflicts: 563000 | #Constraints: 73979
447.70/449.75 c #Conflicts: 564000 | #Constraints: 74979
447.70/449.75 c #Conflicts: 565000 | #Constraints: 75979
447.70/449.75 c #Conflicts: 566000 | #Constraints: 76979
447.70/449.75 c #Conflicts: 567000 | #Constraints: 77979
447.70/449.75 c #Conflicts: 568000 | #Constraints: 78979
447.70/449.75 c #Conflicts: 569000 | #Constraints: 79979
447.70/449.75 c #Conflicts: 570000 | #Constraints: 80979
447.70/449.75 c #Conflicts: 571000 | #Constraints: 81979
447.70/449.75 c #Conflicts: 572000 | #Constraints: 82979
447.70/449.75 c #Conflicts: 573000 | #Constraints: 83979
447.70/449.75 c #Conflicts: 574000 | #Constraints: 84979
447.70/449.75 c #Conflicts: 575000 | #Constraints: 85979
447.70/449.75 c #Conflicts: 576000 | #Constraints: 86979
447.70/449.75 c INPROCESSING
447.70/449.75 c GARBAGE COLLECT
447.70/449.75 c #Conflicts: 577000 | #Constraints: 72961
447.70/449.75 c #Conflicts: 578000 | #Constraints: 73961
447.70/449.75 c #Conflicts: 579000 | #Constraints: 74961
447.70/449.75 c #Conflicts: 580000 | #Constraints: 75961
447.70/449.75 c #Conflicts: 581000 | #Constraints: 76961
447.70/449.75 c #Conflicts: 582000 | #Constraints: 77961
447.70/449.75 c #Conflicts: 583000 | #Constraints: 78961
447.70/449.75 c #Conflicts: 584000 | #Constraints: 79961
447.70/449.75 c #Conflicts: 585000 | #Constraints: 80961
447.70/449.75 c #Conflicts: 586000 | #Constraints: 81961
447.70/449.75 c #Conflicts: 587000 | #Constraints: 82961
447.70/449.75 c #Conflicts: 588000 | #Constraints: 83961
447.70/449.75 c #Conflicts: 589000 | #Constraints: 84961
447.70/449.75 c #Conflicts: 590000 | #Constraints: 85961
447.70/449.75 c #Conflicts: 591000 | #Constraints: 86961
447.70/449.75 c INPROCESSING
447.70/449.75 c GARBAGE COLLECT
447.70/449.75 c #Conflicts: 592000 | #Constraints: 72753
447.70/449.75 c #Conflicts: 593000 | #Constraints: 73753
447.70/449.75 c #Conflicts: 594000 | #Constraints: 74753
447.70/449.75 c #Conflicts: 595000 | #Constraints: 75753
447.70/449.75 c #Conflicts: 596000 | #Constraints: 76753
447.70/449.75 c #Conflicts: 597000 | #Constraints: 77753
447.70/449.75 c #Conflicts: 598000 | #Constraints: 78753
447.70/449.75 c #Conflicts: 599000 | #Constraints: 79753
447.70/449.75 c #Conflicts: 600000 | #Constraints: 80753
447.70/449.75 c #Conflicts: 601000 | #Constraints: 81753
447.70/449.75 c #Conflicts: 602000 | #Constraints: 82753
447.70/449.75 c #Conflicts: 603000 | #Constraints: 83753
447.70/449.75 c #Conflicts: 604000 | #Constraints: 84753
447.70/449.75 c #Conflicts: 605000 | #Constraints: 85753
447.70/449.75 c #Conflicts: 606000 | #Constraints: 86753
447.70/449.75 c #Conflicts: 607000 | #Constraints: 87753
447.70/449.75 c INPROCESSING
447.70/449.75 c GARBAGE COLLECT
447.70/449.75 c #Conflicts: 608000 | #Constraints: 73366
447.70/449.75 c #Conflicts: 609000 | #Constraints: 74366
447.70/449.75 c #Conflicts: 610000 | #Constraints: 75366
447.70/449.75 c #Conflicts: 611000 | #Constraints: 76366
447.70/449.75 c #Conflicts: 612000 | #Constraints: 77366
447.70/449.75 c #Conflicts: 613000 | #Constraints: 78366
447.70/449.75 c #Conflicts: 614000 | #Constraints: 79366
447.70/449.75 c #Conflicts: 615000 | #Constraints: 80366
447.70/449.75 c #Conflicts: 616000 | #Constraints: 81366
447.70/449.75 c #Conflicts: 617000 | #Constraints: 82366
447.70/449.75 c #Conflicts: 618000 | #Constraints: 83366
447.70/449.75 c #Conflicts: 619000 | #Constraints: 84366
447.70/449.75 c #Conflicts: 620000 | #Constraints: 85366
447.70/449.75 c #Conflicts: 621000 | #Constraints: 86366
447.70/449.75 c #Conflicts: 622000 | #Constraints: 87366
447.70/449.75 c #Conflicts: 623000 | #Constraints: 88366
500.92/503.25 c INPROCESSING
500.92/503.25 c GARBAGE COLLECT
500.92/503.25 c #Conflicts: 624000 | #Constraints: 73758
500.92/503.25 c #Conflicts: 625000 | #Constraints: 74758
500.92/503.25 c #Conflicts: 626000 | #Constraints: 75758
500.92/503.25 c #Conflicts: 627000 | #Constraints: 76758
500.92/503.25 c #Conflicts: 628000 | #Constraints: 77758
500.92/503.25 c #Conflicts: 629000 | #Constraints: 78758
500.92/503.25 c #Conflicts: 630000 | #Constraints: 79758
500.92/503.25 c #Conflicts: 631000 | #Constraints: 80758
500.92/503.25 c #Conflicts: 632000 | #Constraints: 81758
500.92/503.25 c #Conflicts: 633000 | #Constraints: 82758
500.92/503.25 c #Conflicts: 634000 | #Constraints: 83759
500.92/503.25 c #Conflicts: 635000 | #Constraints: 84759
500.92/503.25 c #Conflicts: 636000 | #Constraints: 85760
500.92/503.25 c #Conflicts: 637000 | #Constraints: 86761
500.92/503.25 c #Conflicts: 638000 | #Constraints: 87799
500.92/503.25 c #Conflicts: 639000 | #Constraints: 88830
500.92/503.25 c INPROCESSING
500.92/503.25 c GARBAGE COLLECT
500.92/503.25 c #Conflicts: 640000 | #Constraints: 73949
500.92/503.25 c #Conflicts: 641000 | #Constraints: 74949
500.92/503.25 c #Conflicts: 642000 | #Constraints: 75949
500.92/503.25 c #Conflicts: 643000 | #Constraints: 76949
500.92/503.25 c #Conflicts: 644000 | #Constraints: 77949
500.92/503.25 c #Conflicts: 645000 | #Constraints: 78949
500.92/503.25 c #Conflicts: 646000 | #Constraints: 79949
500.92/503.25 c #Conflicts: 647000 | #Constraints: 80949
500.92/503.25 c #Conflicts: 648000 | #Constraints: 81949
500.92/503.25 c #Conflicts: 649000 | #Constraints: 82949
500.92/503.25 c #Conflicts: 650000 | #Constraints: 83949
500.92/503.25 c #Conflicts: 651000 | #Constraints: 84949
500.92/503.25 c #Conflicts: 652000 | #Constraints: 85949
500.92/503.25 c #Conflicts: 653000 | #Constraints: 86949
500.92/503.25 c #Conflicts: 654000 | #Constraints: 87949
500.92/503.25 c #Conflicts: 655000 | #Constraints: 88949
500.92/503.25 c INPROCESSING
500.92/503.25 c GARBAGE COLLECT
500.92/503.25 c #Conflicts: 656000 | #Constraints: 73977
500.92/503.25 c #Conflicts: 657000 | #Constraints: 74977
500.92/503.25 c #Conflicts: 658000 | #Constraints: 75977
500.92/503.25 c #Conflicts: 659000 | #Constraints: 76977
500.92/503.25 c #Conflicts: 660000 | #Constraints: 77977
500.92/503.25 c #Conflicts: 661000 | #Constraints: 78977
500.92/503.25 c #Conflicts: 662000 | #Constraints: 79977
500.92/503.25 c #Conflicts: 663000 | #Constraints: 80977
500.92/503.25 c #Conflicts: 664000 | #Constraints: 81977
500.92/503.25 c #Conflicts: 665000 | #Constraints: 82977
500.92/503.25 c #Conflicts: 666000 | #Constraints: 83977
500.92/503.25 c #Conflicts: 667000 | #Constraints: 84977
500.92/503.25 c #Conflicts: 668000 | #Constraints: 85977
500.92/503.25 c #Conflicts: 669000 | #Constraints: 86977
500.92/503.25 c #Conflicts: 670000 | #Constraints: 87994
500.92/503.25 c #Conflicts: 671000 | #Constraints: 89005
500.92/503.25 c INPROCESSING
500.92/503.25 c GARBAGE COLLECT
500.92/503.25 c #Conflicts: 672000 | #Constraints: 73765
500.92/503.25 c #Conflicts: 673000 | #Constraints: 74765
500.92/503.25 c #Conflicts: 674000 | #Constraints: 75767
500.92/503.25 c #Conflicts: 675000 | #Constraints: 76878
500.92/503.25 c #Conflicts: 676000 | #Constraints: 78198
500.92/503.25 c #Conflicts: 677000 | #Constraints: 79322
500.92/503.25 c #Conflicts: 678000 | #Constraints: 80322
500.92/503.25 c #Conflicts: 679000 | #Constraints: 81322
500.92/503.25 c #Conflicts: 680000 | #Constraints: 82322
500.92/503.25 c #Conflicts: 681000 | #Constraints: 83322
500.92/503.25 c #Conflicts: 682000 | #Constraints: 84322
500.92/503.25 c #Conflicts: 683000 | #Constraints: 85322
500.92/503.25 c #Conflicts: 684000 | #Constraints: 86322
500.92/503.25 c #Conflicts: 685000 | #Constraints: 87322
500.92/503.25 c #Conflicts: 686000 | #Constraints: 88322
500.92/503.25 c #Conflicts: 687000 | #Constraints: 89322
500.92/503.25 c #Conflicts: 688000 | #Constraints: 90322
500.92/503.25 c INPROCESSING
500.92/503.25 c GARBAGE COLLECT
500.92/503.25 c #Conflicts: 689000 | #Constraints: 74683
500.92/503.25 c #Conflicts: 690000 | #Constraints: 75683
500.92/503.25 c #Conflicts: 691000 | #Constraints: 76683
500.92/503.25 c #Conflicts: 692000 | #Constraints: 77683
500.92/503.25 c #Conflicts: 693000 | #Constraints: 78683
500.92/503.25 c #Conflicts: 694000 | #Constraints: 79683
500.92/503.25 c #Conflicts: 695000 | #Constraints: 80683
500.92/503.25 c #Conflicts: 696000 | #Constraints: 81683
500.92/503.25 c #Conflicts: 697000 | #Constraints: 82683
500.92/503.25 c #Conflicts: 698000 | #Constraints: 83683
500.92/503.25 c #Conflicts: 699000 | #Constraints: 84683
568.18/570.97 c #Conflicts: 700000 | #Constraints: 85683
568.18/570.97 c #Conflicts: 701000 | #Constraints: 86683
568.18/570.97 c #Conflicts: 702000 | #Constraints: 87683
568.18/570.97 c #Conflicts: 703000 | #Constraints: 88683
568.18/570.97 c #Conflicts: 704000 | #Constraints: 89683
568.18/570.97 c #Conflicts: 705000 | #Constraints: 90683
568.18/570.97 c INPROCESSING
568.18/570.97 c GARBAGE COLLECT
568.18/570.97 c #Conflicts: 706000 | #Constraints: 74957
568.18/570.97 c #Conflicts: 707000 | #Constraints: 75957
568.18/570.97 c #Conflicts: 708000 | #Constraints: 76957
568.18/570.97 c #Conflicts: 709000 | #Constraints: 77957
568.18/570.97 c #Conflicts: 710000 | #Constraints: 78957
568.18/570.97 c #Conflicts: 711000 | #Constraints: 79957
568.18/570.97 c #Conflicts: 712000 | #Constraints: 80957
568.18/570.97 c #Conflicts: 713000 | #Constraints: 81957
568.18/570.97 c #Conflicts: 714000 | #Constraints: 82957
568.18/570.97 c #Conflicts: 715000 | #Constraints: 83957
568.18/570.97 c #Conflicts: 716000 | #Constraints: 84957
568.18/570.97 c #Conflicts: 717000 | #Constraints: 85957
568.18/570.97 c #Conflicts: 718000 | #Constraints: 86957
568.18/570.97 c #Conflicts: 719000 | #Constraints: 87957
568.18/570.97 c #Conflicts: 720000 | #Constraints: 88957
568.18/570.97 c #Conflicts: 721000 | #Constraints: 89957
568.18/570.97 c #Conflicts: 722000 | #Constraints: 90957
568.18/570.97 c INPROCESSING
568.18/570.97 c GARBAGE COLLECT
568.18/570.97 c #Conflicts: 723000 | #Constraints: 75058
568.18/570.97 c #Conflicts: 724000 | #Constraints: 76058
568.18/570.97 c #Conflicts: 725000 | #Constraints: 77058
568.18/570.97 c #Conflicts: 726000 | #Constraints: 78058
568.18/570.97 c #Conflicts: 727000 | #Constraints: 79058
568.18/570.97 c #Conflicts: 728000 | #Constraints: 80058
568.18/570.97 c #Conflicts: 729000 | #Constraints: 81058
568.18/570.97 c #Conflicts: 730000 | #Constraints: 82058
568.18/570.97 c #Conflicts: 731000 | #Constraints: 83058
568.18/570.97 c #Conflicts: 732000 | #Constraints: 84058
568.18/570.97 c #Conflicts: 733000 | #Constraints: 85058
568.18/570.97 c #Conflicts: 734000 | #Constraints: 86058
568.18/570.97 c #Conflicts: 735000 | #Constraints: 87058
568.18/570.97 c #Conflicts: 736000 | #Constraints: 88058
568.18/570.97 c #Conflicts: 737000 | #Constraints: 89058
568.18/570.97 c #Conflicts: 738000 | #Constraints: 90058
568.18/570.97 c #Conflicts: 739000 | #Constraints: 91058
568.18/570.97 c INPROCESSING
568.18/570.97 c GARBAGE COLLECT
568.18/570.97 c #Conflicts: 740000 | #Constraints: 75021
568.18/570.97 c #Conflicts: 741000 | #Constraints: 76021
568.18/570.97 c #Conflicts: 742000 | #Constraints: 77021
568.18/570.97 c #Conflicts: 743000 | #Constraints: 78021
568.18/570.97 c #Conflicts: 744000 | #Constraints: 79021
568.18/570.97 c #Conflicts: 745000 | #Constraints: 80021
568.18/570.97 c #Conflicts: 746000 | #Constraints: 81021
568.18/570.97 c #Conflicts: 747000 | #Constraints: 82021
568.18/570.97 c #Conflicts: 748000 | #Constraints: 83021
568.18/570.97 c #Conflicts: 749000 | #Constraints: 84021
568.18/570.97 c #Conflicts: 750000 | #Constraints: 85021
568.18/570.97 c #Conflicts: 751000 | #Constraints: 86021
568.18/570.97 c #Conflicts: 752000 | #Constraints: 87021
568.18/570.97 c #Conflicts: 753000 | #Constraints: 88021
568.18/570.97 c #Conflicts: 754000 | #Constraints: 89021
568.18/570.97 c #Conflicts: 755000 | #Constraints: 90021
568.18/570.97 c #Conflicts: 756000 | #Constraints: 91021
568.18/570.97 c INPROCESSING
568.18/570.97 c GARBAGE COLLECT
568.18/570.97 c #Conflicts: 757000 | #Constraints: 74796
568.18/570.97 c #Conflicts: 758000 | #Constraints: 75796
568.18/570.97 c #Conflicts: 759000 | #Constraints: 76796
568.18/570.97 c #Conflicts: 760000 | #Constraints: 77796
568.18/570.97 c #Conflicts: 761000 | #Constraints: 78796
568.18/570.97 c #Conflicts: 762000 | #Constraints: 79796
568.18/570.97 c #Conflicts: 763000 | #Constraints: 80796
568.18/570.97 c #Conflicts: 764000 | #Constraints: 81796
568.18/570.97 c #Conflicts: 765000 | #Constraints: 82796
568.18/570.97 c #Conflicts: 766000 | #Constraints: 83796
568.18/570.97 c #Conflicts: 767000 | #Constraints: 84796
568.18/570.97 c #Conflicts: 768000 | #Constraints: 85796
568.18/570.97 c #Conflicts: 769000 | #Constraints: 86796
568.18/570.97 c #Conflicts: 770000 | #Constraints: 87796
568.18/570.97 c #Conflicts: 771000 | #Constraints: 88796
568.18/570.97 c #Conflicts: 772000 | #Constraints: 89796
568.18/570.97 c #Conflicts: 773000 | #Constraints: 90796
568.18/570.97 c #Conflicts: 774000 | #Constraints: 91796
568.18/570.97 c INPROCESSING
568.18/570.97 c GARBAGE COLLECT
626.59/629.95 c #Conflicts: 775000 | #Constraints: 75374
626.59/629.95 c #Conflicts: 776000 | #Constraints: 76374
626.59/629.95 c #Conflicts: 777000 | #Constraints: 77374
626.59/629.95 c #Conflicts: 778000 | #Constraints: 78374
626.59/629.95 c #Conflicts: 779000 | #Constraints: 79374
626.59/629.95 c #Conflicts: 780000 | #Constraints: 80374
626.59/629.95 c #Conflicts: 781000 | #Constraints: 81374
626.59/629.95 c #Conflicts: 782000 | #Constraints: 82374
626.59/629.95 c #Conflicts: 783000 | #Constraints: 83374
626.59/629.95 c #Conflicts: 784000 | #Constraints: 84374
626.59/629.95 c #Conflicts: 785000 | #Constraints: 85374
626.59/629.95 c #Conflicts: 786000 | #Constraints: 86374
626.59/629.95 c #Conflicts: 787000 | #Constraints: 87374
626.59/629.95 c #Conflicts: 788000 | #Constraints: 88374
626.59/629.95 c #Conflicts: 789000 | #Constraints: 89374
626.59/629.95 c #Conflicts: 790000 | #Constraints: 90374
626.59/629.95 c #Conflicts: 791000 | #Constraints: 91374
626.59/629.95 c #Conflicts: 792000 | #Constraints: 92374
626.59/629.95 c INPROCESSING
626.59/629.95 c GARBAGE COLLECT
626.59/629.95 c #Conflicts: 793000 | #Constraints: 75710
626.59/629.95 c #Conflicts: 794000 | #Constraints: 76710
626.59/629.95 c #Conflicts: 795000 | #Constraints: 77710
626.59/629.95 c #Conflicts: 796000 | #Constraints: 78710
626.59/629.95 c #Conflicts: 797000 | #Constraints: 79710
626.59/629.95 c #Conflicts: 798000 | #Constraints: 80710
626.59/629.95 c #Conflicts: 799000 | #Constraints: 81710
626.59/629.95 c #Conflicts: 800000 | #Constraints: 82710
626.59/629.95 c #Conflicts: 801000 | #Constraints: 83710
626.59/629.95 c #Conflicts: 802000 | #Constraints: 84710
626.59/629.95 c #Conflicts: 803000 | #Constraints: 85710
626.59/629.95 c #Conflicts: 804000 | #Constraints: 86710
626.59/629.95 c #Conflicts: 805000 | #Constraints: 87710
626.59/629.95 c #Conflicts: 806000 | #Constraints: 88710
626.59/629.95 c #Conflicts: 807000 | #Constraints: 89710
626.59/629.95 c #Conflicts: 808000 | #Constraints: 90710
626.59/629.95 c #Conflicts: 809000 | #Constraints: 91710
626.59/629.95 c #Conflicts: 810000 | #Constraints: 92710
626.59/629.95 c INPROCESSING
626.59/629.95 c GARBAGE COLLECT
626.59/629.95 c #Conflicts: 811000 | #Constraints: 75933
626.59/629.95 c #Conflicts: 812000 | #Constraints: 76933
626.59/629.95 c #Conflicts: 813000 | #Constraints: 77933
626.59/629.95 c #Conflicts: 814000 | #Constraints: 78933
626.59/629.95 c #Conflicts: 815000 | #Constraints: 79933
626.59/629.95 c #Conflicts: 816000 | #Constraints: 80933
626.59/629.95 c #Conflicts: 817000 | #Constraints: 81933
626.59/629.95 c #Conflicts: 818000 | #Constraints: 82933
626.59/629.95 c #Conflicts: 819000 | #Constraints: 83933
626.59/629.95 c #Conflicts: 820000 | #Constraints: 84933
626.59/629.95 c #Conflicts: 821000 | #Constraints: 85933
626.59/629.95 c #Conflicts: 822000 | #Constraints: 86933
626.59/629.95 c #Conflicts: 823000 | #Constraints: 87933
626.59/629.95 c #Conflicts: 824000 | #Constraints: 88933
626.59/629.95 c #Conflicts: 825000 | #Constraints: 89933
626.59/629.95 c #Conflicts: 826000 | #Constraints: 90933
626.59/629.95 c #Conflicts: 827000 | #Constraints: 91933
626.59/629.95 c #Conflicts: 828000 | #Constraints: 92933
626.59/629.95 c INPROCESSING
626.59/629.95 c GARBAGE COLLECT
626.59/629.95 c #Conflicts: 829000 | #Constraints: 75972
626.59/629.95 c #Conflicts: 830000 | #Constraints: 76972
626.59/629.95 c #Conflicts: 831000 | #Constraints: 77972
626.59/629.95 c #Conflicts: 832000 | #Constraints: 78972
626.59/629.95 c #Conflicts: 833000 | #Constraints: 79972
626.59/629.95 c #Conflicts: 834000 | #Constraints: 80972
626.59/629.95 c #Conflicts: 835000 | #Constraints: 81972
626.59/629.95 c #Conflicts: 836000 | #Constraints: 82972
626.59/629.95 c #Conflicts: 837000 | #Constraints: 83972
626.59/629.95 c #Conflicts: 838000 | #Constraints: 84972
626.59/629.95 c #Conflicts: 839000 | #Constraints: 85972
626.59/629.95 c #Conflicts: 840000 | #Constraints: 86972
626.59/629.95 c #Conflicts: 841000 | #Constraints: 87972
626.59/629.95 c #Conflicts: 842000 | #Constraints: 88972
626.59/629.95 c #Conflicts: 843000 | #Constraints: 89972
626.59/629.95 c #Conflicts: 844000 | #Constraints: 90972
626.59/629.95 c #Conflicts: 845000 | #Constraints: 91972
626.59/629.95 c #Conflicts: 846000 | #Constraints: 92972
626.59/629.95 c INPROCESSING
626.59/629.95 c GARBAGE COLLECT
626.59/629.95 c #Conflicts: 847000 | #Constraints: 75734
626.59/629.95 c #Conflicts: 848000 | #Constraints: 76734
626.59/629.95 c #Conflicts: 849000 | #Constraints: 77734
626.59/629.95 c #Conflicts: 850000 | #Constraints: 78734
626.59/629.95 c #Conflicts: 851000 | #Constraints: 79734
674.19/677.73 c #Conflicts: 852000 | #Constraints: 80734
674.19/677.73 c #Conflicts: 853000 | #Constraints: 81734
674.19/677.73 c #Conflicts: 854000 | #Constraints: 82734
674.19/677.73 c #Conflicts: 855000 | #Constraints: 83734
674.19/677.73 c #Conflicts: 856000 | #Constraints: 84734
674.19/677.73 c #Conflicts: 857000 | #Constraints: 85734
674.19/677.73 c #Conflicts: 858000 | #Constraints: 86734
674.19/677.73 c #Conflicts: 859000 | #Constraints: 87734
674.19/677.73 c #Conflicts: 860000 | #Constraints: 88734
674.19/677.73 c #Conflicts: 861000 | #Constraints: 89734
674.19/677.73 c #Conflicts: 862000 | #Constraints: 90734
674.19/677.73 c #Conflicts: 863000 | #Constraints: 91734
674.19/677.73 c #Conflicts: 864000 | #Constraints: 92734
674.19/677.73 c #Conflicts: 865000 | #Constraints: 93734
674.19/677.73 c INPROCESSING
674.19/677.73 c GARBAGE COLLECT
674.19/677.73 c #Conflicts: 866000 | #Constraints: 76347
674.19/677.73 c #Conflicts: 867000 | #Constraints: 77347
674.19/677.73 c #Conflicts: 868000 | #Constraints: 78347
674.19/677.73 c #Conflicts: 869000 | #Constraints: 79347
674.19/677.73 c #Conflicts: 870000 | #Constraints: 80347
674.19/677.73 c #Conflicts: 871000 | #Constraints: 81347
674.19/677.73 c #Conflicts: 872000 | #Constraints: 82347
674.19/677.73 c #Conflicts: 873000 | #Constraints: 83347
674.19/677.73 c #Conflicts: 874000 | #Constraints: 84347
674.19/677.73 c #Conflicts: 875000 | #Constraints: 85347
674.19/677.73 c #Conflicts: 876000 | #Constraints: 86347
674.19/677.73 c #Conflicts: 877000 | #Constraints: 87347
674.19/677.73 c #Conflicts: 878000 | #Constraints: 88347
674.19/677.73 c #Conflicts: 879000 | #Constraints: 89347
674.19/677.73 c #Conflicts: 880000 | #Constraints: 90347
674.19/677.73 c #Conflicts: 881000 | #Constraints: 91347
674.19/677.73 c #Conflicts: 882000 | #Constraints: 92347
674.19/677.73 c #Conflicts: 883000 | #Constraints: 93347
674.19/677.73 c #Conflicts: 884000 | #Constraints: 94347
674.19/677.73 c INPROCESSING
674.19/677.73 c GARBAGE COLLECT
674.19/677.73 c #Conflicts: 885000 | #Constraints: 76764
674.19/677.73 c #Conflicts: 886000 | #Constraints: 77764
674.19/677.73 c #Conflicts: 887000 | #Constraints: 78764
674.19/677.73 c #Conflicts: 888000 | #Constraints: 79764
674.19/677.73 c #Conflicts: 889000 | #Constraints: 80764
674.19/677.73 c #Conflicts: 890000 | #Constraints: 81764
674.19/677.73 c #Conflicts: 891000 | #Constraints: 82764
674.19/677.73 c #Conflicts: 892000 | #Constraints: 83764
674.19/677.73 c #Conflicts: 893000 | #Constraints: 84764
674.19/677.73 c #Conflicts: 894000 | #Constraints: 85764
674.19/677.73 c #Conflicts: 895000 | #Constraints: 86764
674.19/677.73 c #Conflicts: 896000 | #Constraints: 87764
674.19/677.73 c #Conflicts: 897000 | #Constraints: 88764
674.19/677.73 c #Conflicts: 898000 | #Constraints: 89764
674.19/677.73 c #Conflicts: 899000 | #Constraints: 90764
674.19/677.73 c #Conflicts: 900000 | #Constraints: 91764
674.19/677.73 c #Conflicts: 901000 | #Constraints: 92764
674.19/677.73 c #Conflicts: 902000 | #Constraints: 93764
674.19/677.73 c #Conflicts: 903000 | #Constraints: 94764
674.19/677.73 c INPROCESSING
674.19/677.73 c GARBAGE COLLECT
674.19/677.73 c #Conflicts: 904000 | #Constraints: 77008
674.19/677.73 c #Conflicts: 905000 | #Constraints: 78008
674.19/677.73 c #Conflicts: 906000 | #Constraints: 79008
674.19/677.73 c #Conflicts: 907000 | #Constraints: 80008
674.19/677.73 c #Conflicts: 908000 | #Constraints: 81008
674.19/677.73 c #Conflicts: 909000 | #Constraints: 82008
674.19/677.73 c #Conflicts: 910000 | #Constraints: 83008
674.19/677.73 c #Conflicts: 911000 | #Constraints: 84008
674.19/677.73 c #Conflicts: 912000 | #Constraints: 85008
674.19/677.73 c #Conflicts: 913000 | #Constraints: 86008
674.19/677.73 c #Conflicts: 914000 | #Constraints: 87008
674.19/677.73 c #Conflicts: 915000 | #Constraints: 88008
674.19/677.73 c #Conflicts: 916000 | #Constraints: 89008
674.19/677.73 c #Conflicts: 917000 | #Constraints: 90008
674.19/677.73 c #Conflicts: 918000 | #Constraints: 91066
674.19/677.73 c #Conflicts: 919000 | #Constraints: 92066
674.19/677.73 c #Conflicts: 920000 | #Constraints: 93066
674.19/677.73 c #Conflicts: 921000 | #Constraints: 94066
674.19/677.73 c #Conflicts: 922000 | #Constraints: 95066
674.19/677.73 c INPROCESSING
674.19/677.73 c GARBAGE COLLECT
674.19/677.73 c #Conflicts: 923000 | #Constraints: 77034
674.19/677.73 c #Conflicts: 924000 | #Constraints: 78034
674.19/677.73 c #Conflicts: 925000 | #Constraints: 79034
674.19/677.73 c #Conflicts: 926000 | #Constraints: 80034
674.19/677.73 c #Conflicts: 927000 | #Constraints: 81034
830.16/834.28 c #Conflicts: 928000 | #Constraints: 82034
830.16/834.28 c #Conflicts: 929000 | #Constraints: 83047
830.16/834.28 c #Conflicts: 930000 | #Constraints: 84050
830.16/834.28 c #Conflicts: 931000 | #Constraints: 85085
830.16/834.28 c #Conflicts: 932000 | #Constraints: 86255
830.16/834.28 c #Conflicts: 933000 | #Constraints: 87412
830.16/834.28 c #Conflicts: 934000 | #Constraints: 88714
830.16/834.28 c #Conflicts: 935000 | #Constraints: 90097
830.16/834.28 c #Conflicts: 936000 | #Constraints: 91110
830.16/834.28 c #Conflicts: 937000 | #Constraints: 92360
830.16/834.28 c #Conflicts: 938000 | #Constraints: 93599
830.16/834.28 c #Conflicts: 939000 | #Constraints: 95061
830.16/834.28 c #Conflicts: 940000 | #Constraints: 96330
830.16/834.28 c #Conflicts: 941000 | #Constraints: 97578
830.16/834.28 c INPROCESSING
830.16/834.28 c GARBAGE COLLECT
830.16/834.28 c #Conflicts: 942000 | #Constraints: 78197
830.16/834.28 c #Conflicts: 943000 | #Constraints: 79576
830.16/834.28 c #Conflicts: 944000 | #Constraints: 80720
830.16/834.28 c #Conflicts: 945000 | #Constraints: 82006
830.16/834.28 c #Conflicts: 946000 | #Constraints: 83314
830.16/834.28 c #Conflicts: 947000 | #Constraints: 84782
830.16/834.28 c #Conflicts: 948000 | #Constraints: 86010
830.16/834.28 c #Conflicts: 949000 | #Constraints: 87396
830.16/834.28 c #Conflicts: 950000 | #Constraints: 88895
830.16/834.28 c #Conflicts: 951000 | #Constraints: 90028
830.16/834.28 c #Conflicts: 952000 | #Constraints: 91052
830.16/834.28 c #Conflicts: 953000 | #Constraints: 92354
830.16/834.28 c #Conflicts: 954000 | #Constraints: 93821
830.16/834.28 c #Conflicts: 955000 | #Constraints: 95281
830.16/834.28 c #Conflicts: 956000 | #Constraints: 96737
830.16/834.28 c #Conflicts: 957000 | #Constraints: 98198
830.16/834.28 c #Conflicts: 958000 | #Constraints: 99692
830.16/834.28 c #Conflicts: 959000 | #Constraints: 101165
830.16/834.28 c #Conflicts: 960000 | #Constraints: 102630
830.16/834.28 c #Conflicts: 961000 | #Constraints: 104113
830.16/834.28 c INPROCESSING
830.16/834.28 c GARBAGE COLLECT
830.16/834.28 c #Conflicts: 962000 | #Constraints: 81663
830.16/834.28 c #Conflicts: 963000 | #Constraints: 82663
830.16/834.28 c #Conflicts: 964000 | #Constraints: 83663
830.16/834.28 c #Conflicts: 965000 | #Constraints: 84663
830.16/834.28 c #Conflicts: 966000 | #Constraints: 85663
830.16/834.28 c #Conflicts: 967000 | #Constraints: 86663
830.16/834.28 c #Conflicts: 968000 | #Constraints: 87663
830.16/834.28 c #Conflicts: 969000 | #Constraints: 88663
830.16/834.28 c #Conflicts: 970000 | #Constraints: 89663
830.16/834.28 c #Conflicts: 971000 | #Constraints: 90663
830.16/834.28 c #Conflicts: 972000 | #Constraints: 91663
830.16/834.28 c #Conflicts: 973000 | #Constraints: 92663
830.16/834.28 c #Conflicts: 974000 | #Constraints: 93663
830.16/834.28 c #Conflicts: 975000 | #Constraints: 94663
830.16/834.28 c #Conflicts: 976000 | #Constraints: 95663
830.16/834.28 c #Conflicts: 977000 | #Constraints: 96663
830.16/834.28 c #Conflicts: 978000 | #Constraints: 97663
830.16/834.28 c #Conflicts: 979000 | #Constraints: 98663
830.16/834.28 c #Conflicts: 980000 | #Constraints: 99663
830.16/834.28 c #Conflicts: 981000 | #Constraints: 100663
830.16/834.28 c INPROCESSING
830.16/834.28 c GARBAGE COLLECT
830.16/834.28 c #Conflicts: 982000 | #Constraints: 79957
830.16/834.28 c #Conflicts: 983000 | #Constraints: 80957
830.16/834.28 c #Conflicts: 984000 | #Constraints: 81957
830.16/834.28 c #Conflicts: 985000 | #Constraints: 82957
830.16/834.28 c #Conflicts: 986000 | #Constraints: 83957
830.16/834.28 c #Conflicts: 987000 | #Constraints: 84957
830.16/834.28 c #Conflicts: 988000 | #Constraints: 85957
830.16/834.28 c #Conflicts: 989000 | #Constraints: 86957
830.16/834.28 c #Conflicts: 990000 | #Constraints: 87957
830.16/834.28 c #Conflicts: 991000 | #Constraints: 88957
830.16/834.28 c #Conflicts: 992000 | #Constraints: 89957
830.16/834.28 c #Conflicts: 993000 | #Constraints: 90957
830.16/834.28 c #Conflicts: 994000 | #Constraints: 91957
830.16/834.28 c #Conflicts: 995000 | #Constraints: 93042
830.16/834.28 c #Conflicts: 996000 | #Constraints: 94439
830.16/834.28 c #Conflicts: 997000 | #Constraints: 95441
830.16/834.28 c #Conflicts: 998000 | #Constraints: 96494
830.16/834.28 c #Conflicts: 999000 | #Constraints: 97559
830.16/834.28 c #Conflicts: 1000000 | #Constraints: 98902
830.16/834.28 c #Conflicts: 1001000 | #Constraints: 100143
830.16/834.28 c INPROCESSING
830.16/834.28 c GARBAGE COLLECT
830.16/834.28 c #Conflicts: 1002000 | #Constraints: 79779
830.16/834.28 c #Conflicts: 1003000 | #Constraints: 80783
1097.44/1102.48 c #Conflicts: 1004000 | #Constraints: 81888
1097.44/1102.48 c #Conflicts: 1005000 | #Constraints: 83151
1097.44/1102.48 c #Conflicts: 1006000 | #Constraints: 84350
1097.44/1102.48 c #Conflicts: 1007000 | #Constraints: 85508
1097.44/1102.48 c #Conflicts: 1008000 | #Constraints: 86574
1097.44/1102.48 c #Conflicts: 1009000 | #Constraints: 87816
1097.44/1102.48 c #Conflicts: 1010000 | #Constraints: 89172
1097.44/1102.48 c #Conflicts: 1011000 | #Constraints: 90543
1097.44/1102.48 c #Conflicts: 1012000 | #Constraints: 92012
1097.44/1102.48 c #Conflicts: 1013000 | #Constraints: 93357
1097.44/1102.48 c #Conflicts: 1014000 | #Constraints: 94827
1097.44/1102.48 c #Conflicts: 1015000 | #Constraints: 96304
1097.44/1102.48 c #Conflicts: 1016000 | #Constraints: 97684
1097.44/1102.48 c #Conflicts: 1017000 | #Constraints: 98910
1097.44/1102.48 c #Conflicts: 1018000 | #Constraints: 100293
1097.44/1102.48 c #Conflicts: 1019000 | #Constraints: 101728
1097.44/1102.48 c #Conflicts: 1020000 | #Constraints: 103182
1097.44/1102.48 c #Conflicts: 1021000 | #Constraints: 104578
1097.44/1102.48 c INPROCESSING
1097.44/1102.48 c GARBAGE COLLECT
1097.44/1102.48 c #Conflicts: 1022000 | #Constraints: 81853
1097.44/1102.48 c #Conflicts: 1023000 | #Constraints: 82900
1097.44/1102.48 c #Conflicts: 1024000 | #Constraints: 83920
1097.44/1102.48 c #Conflicts: 1025000 | #Constraints: 85023
1097.44/1102.48 c #Conflicts: 1026000 | #Constraints: 86135
1097.44/1102.48 c #Conflicts: 1027000 | #Constraints: 87331
1097.44/1102.48 c #Conflicts: 1028000 | #Constraints: 88541
1097.44/1102.48 c #Conflicts: 1029000 | #Constraints: 89541
1097.44/1102.48 c #Conflicts: 1030000 | #Constraints: 90815
1097.44/1102.48 c #Conflicts: 1031000 | #Constraints: 91841
1097.44/1102.48 c #Conflicts: 1032000 | #Constraints: 92856
1097.44/1102.48 c #Conflicts: 1033000 | #Constraints: 94305
1097.44/1102.48 c #Conflicts: 1034000 | #Constraints: 95749
1097.44/1102.48 c #Conflicts: 1035000 | #Constraints: 97138
1097.44/1102.48 c #Conflicts: 1036000 | #Constraints: 98368
1097.44/1102.48 c #Conflicts: 1037000 | #Constraints: 99834
1097.44/1102.48 c #Conflicts: 1038000 | #Constraints: 101038
1097.44/1102.48 c #Conflicts: 1039000 | #Constraints: 102140
1097.44/1102.48 c #Conflicts: 1040000 | #Constraints: 103405
1097.44/1102.48 c #Conflicts: 1041000 | #Constraints: 104724
1097.44/1102.48 c INPROCESSING
1097.44/1102.48 c GARBAGE COLLECT
1097.44/1102.48 c #Conflicts: 1042000 | #Constraints: 81776
1097.44/1102.48 c #Conflicts: 1043000 | #Constraints: 83176
1097.44/1102.48 c #Conflicts: 1044000 | #Constraints: 84462
1097.44/1102.48 c #Conflicts: 1045000 | #Constraints: 85778
1097.44/1102.48 c #Conflicts: 1046000 | #Constraints: 86985
1097.44/1102.48 c #Conflicts: 1047000 | #Constraints: 88145
1097.44/1102.48 c #Conflicts: 1048000 | #Constraints: 89241
1097.44/1102.48 c #Conflicts: 1049000 | #Constraints: 90404
1097.44/1102.48 c #Conflicts: 1050000 | #Constraints: 91442
1097.44/1102.48 c #Conflicts: 1051000 | #Constraints: 92915
1097.44/1102.48 c #Conflicts: 1052000 | #Constraints: 94425
1097.44/1102.48 c #Conflicts: 1053000 | #Constraints: 95840
1097.44/1102.48 c #Conflicts: 1054000 | #Constraints: 97333
1097.44/1102.48 c #Conflicts: 1055000 | #Constraints: 98831
1097.44/1102.48 c #Conflicts: 1056000 | #Constraints: 100336
1097.44/1102.48 c #Conflicts: 1057000 | #Constraints: 101827
1097.44/1102.48 c #Conflicts: 1058000 | #Constraints: 103319
1097.44/1102.48 c #Conflicts: 1059000 | #Constraints: 104817
1097.44/1102.48 c #Conflicts: 1060000 | #Constraints: 106306
1097.44/1102.48 c #Conflicts: 1061000 | #Constraints: 107799
1097.44/1102.48 c #Conflicts: 1062000 | #Constraints: 109292
1097.44/1102.48 c INPROCESSING
1097.44/1102.48 c GARBAGE COLLECT
1097.44/1102.48 c #Conflicts: 1063000 | #Constraints: 84711
1097.44/1102.48 c #Conflicts: 1064000 | #Constraints: 86226
1097.44/1102.48 c #Conflicts: 1065000 | #Constraints: 87766
1097.44/1102.48 c #Conflicts: 1066000 | #Constraints: 89250
1097.44/1102.48 c #Conflicts: 1067000 | #Constraints: 90732
1097.44/1102.48 c #Conflicts: 1068000 | #Constraints: 91881
1097.44/1102.48 c #Conflicts: 1069000 | #Constraints: 93121
1097.44/1102.48 c #Conflicts: 1070000 | #Constraints: 94198
1097.44/1102.48 c #Conflicts: 1071000 | #Constraints: 95241
1097.44/1102.48 c #Conflicts: 1072000 | #Constraints: 96320
1097.44/1102.48 c #Conflicts: 1073000 | #Constraints: 97320
1097.44/1102.48 c #Conflicts: 1074000 | #Constraints: 98351
1097.44/1102.48 c #Conflicts: 1075000 | #Constraints: 99409
1097.44/1102.48 c #Conflicts: 1076000 | #Constraints: 100649
1097.44/1102.48 c #Conflicts: 1077000 | #Constraints: 101879
1097.44/1102.48 c #Conflicts: 1078000 | #Constraints: 103231
1097.44/1102.48 c #Conflicts: 1079000 | #Constraints: 104591
1097.44/1102.48 c #Conflicts: 1080000 | #Constraints: 105914
1183.69/1195.35 c #Conflicts: 1081000 | #Constraints: 107320
1183.69/1195.35 c #Conflicts: 1082000 | #Constraints: 108352
1183.69/1195.35 c #Conflicts: 1083000 | #Constraints: 109352
1183.69/1195.35 c INPROCESSING
1183.69/1195.35 c GARBAGE COLLECT
1183.69/1195.35 c #Conflicts: 1084000 | #Constraints: 84734
1183.69/1195.35 c #Conflicts: 1085000 | #Constraints: 86230
1183.69/1195.35 c #Conflicts: 1086000 | #Constraints: 87494
1183.69/1195.35 c #Conflicts: 1087000 | #Constraints: 88494
1183.69/1195.35 c #Conflicts: 1088000 | #Constraints: 89494
1183.69/1195.35 c #Conflicts: 1089000 | #Constraints: 90494
1183.69/1195.35 c #Conflicts: 1090000 | #Constraints: 91494
1183.69/1195.35 c #Conflicts: 1091000 | #Constraints: 92494
1183.69/1195.35 c #Conflicts: 1092000 | #Constraints: 93494
1183.69/1195.35 c #Conflicts: 1093000 | #Constraints: 94494
1183.69/1195.35 c #Conflicts: 1094000 | #Constraints: 95494
1183.69/1195.35 c #Conflicts: 1095000 | #Constraints: 96494
1183.69/1195.35 c #Conflicts: 1096000 | #Constraints: 97494
1183.69/1195.35 c #Conflicts: 1097000 | #Constraints: 98494
1183.69/1195.35 c #Conflicts: 1098000 | #Constraints: 99494
1183.69/1195.35 c #Conflicts: 1099000 | #Constraints: 100494
1183.69/1195.35 c #Conflicts: 1100000 | #Constraints: 101494
1183.69/1195.35 c #Conflicts: 1101000 | #Constraints: 102494
1183.69/1195.35 c #Conflicts: 1102000 | #Constraints: 103494
1183.69/1195.35 c #Conflicts: 1103000 | #Constraints: 104494
1183.69/1195.35 c #Conflicts: 1104000 | #Constraints: 105494
1183.69/1195.35 c INPROCESSING
1183.69/1195.35 c GARBAGE COLLECT
1183.69/1195.35 c #Conflicts: 1105000 | #Constraints: 82390
1183.69/1195.35 c #Conflicts: 1106000 | #Constraints: 83390
1183.69/1195.35 c #Conflicts: 1107000 | #Constraints: 84390
1183.69/1195.35 c #Conflicts: 1108000 | #Constraints: 85390
1183.69/1195.35 c #Conflicts: 1109000 | #Constraints: 86390
1183.69/1195.35 c #Conflicts: 1110000 | #Constraints: 87390
1183.69/1195.35 c #Conflicts: 1111000 | #Constraints: 88390
1183.69/1195.35 c #Conflicts: 1112000 | #Constraints: 89390
1183.69/1195.35 c #Conflicts: 1113000 | #Constraints: 90390
1183.69/1195.35 c #Conflicts: 1114000 | #Constraints: 91390
1183.69/1195.35 c #Conflicts: 1115000 | #Constraints: 92390
1183.69/1195.35 c #Conflicts: 1116000 | #Constraints: 93390
1183.69/1195.35 c #Conflicts: 1117000 | #Constraints: 94390
1183.69/1195.35 c #Conflicts: 1118000 | #Constraints: 95390
1183.69/1195.35 c #Conflicts: 1119000 | #Constraints: 96390
1183.69/1195.35 c #Conflicts: 1120000 | #Constraints: 97390
1183.69/1195.35 c #Conflicts: 1121000 | #Constraints: 98390
1183.69/1195.35 c #Conflicts: 1122000 | #Constraints: 99390
1183.69/1195.35 c #Conflicts: 1123000 | #Constraints: 100390
1183.69/1195.35 c #Conflicts: 1124000 | #Constraints: 101390
1183.69/1195.35 c #Conflicts: 1125000 | #Constraints: 102390
1183.69/1195.35 c INPROCESSING
1183.69/1195.35 c GARBAGE COLLECT
1183.69/1195.35 c #Conflicts: 1126000 | #Constraints: 80780
1183.69/1195.35 c #Conflicts: 1127000 | #Constraints: 81780
1183.69/1195.35 c #Conflicts: 1128000 | #Constraints: 82780
1183.69/1195.35 c #Conflicts: 1129000 | #Constraints: 83780
1183.69/1195.35 c #Conflicts: 1130000 | #Constraints: 84780
1183.69/1195.35 c #Conflicts: 1131000 | #Constraints: 85780
1183.69/1195.35 c #Conflicts: 1132000 | #Constraints: 86780
1183.69/1195.35 c #Conflicts: 1133000 | #Constraints: 87780
1183.69/1195.35 c #Conflicts: 1134000 | #Constraints: 88780
1183.69/1195.35 c #Conflicts: 1135000 | #Constraints: 89780
1183.69/1195.35 c #Conflicts: 1136000 | #Constraints: 90780
1183.69/1195.35 c #Conflicts: 1137000 | #Constraints: 91780
1183.69/1195.35 c #Conflicts: 1138000 | #Constraints: 92780
1183.69/1195.35 c #Conflicts: 1139000 | #Constraints: 93780
1183.69/1195.35 c #Conflicts: 1140000 | #Constraints: 94780
1183.69/1195.35 c #Conflicts: 1141000 | #Constraints: 95780
1183.69/1195.35 c #Conflicts: 1142000 | #Constraints: 96780
1183.69/1195.35 c #Conflicts: 1143000 | #Constraints: 97780
1183.69/1195.35 c #Conflicts: 1144000 | #Constraints: 98780
1183.69/1195.35 c #Conflicts: 1145000 | #Constraints: 99780
1183.69/1195.35 c #Conflicts: 1146000 | #Constraints: 100780
1183.69/1195.35 c INPROCESSING
1183.69/1195.35 c GARBAGE COLLECT
1183.69/1195.35 c #Conflicts: 1147000 | #Constraints: 79718
1183.69/1195.35 c #Conflicts: 1148000 | #Constraints: 80718
1183.69/1195.35 c #Conflicts: 1149000 | #Constraints: 81718
1183.69/1195.35 c #Conflicts: 1150000 | #Constraints: 82718
1183.69/1195.35 c #Conflicts: 1151000 | #Constraints: 83718
1183.69/1195.35 c #Conflicts: 1152000 | #Constraints: 84718
1183.69/1195.35 c #Conflicts: 1153000 | #Constraints: 85718
1183.69/1195.35 c #Conflicts: 1154000 | #Constraints: 86718
1183.69/1195.35 c #Conflicts: 1155000 | #Constraints: 87718
1183.69/1195.35 c #Conflicts: 1156000 | #Constraints: 88718
1243.66/1255.59 c #Conflicts: 1157000 | #Constraints: 89718
1243.66/1255.59 c #Conflicts: 1158000 | #Constraints: 90718
1243.66/1255.59 c #Conflicts: 1159000 | #Constraints: 91718
1243.66/1255.59 c #Conflicts: 1160000 | #Constraints: 92718
1243.66/1255.59 c #Conflicts: 1161000 | #Constraints: 93718
1243.66/1255.59 c #Conflicts: 1162000 | #Constraints: 94718
1243.66/1255.59 c #Conflicts: 1163000 | #Constraints: 95718
1243.66/1255.59 c #Conflicts: 1164000 | #Constraints: 96718
1243.66/1255.59 c #Conflicts: 1165000 | #Constraints: 97718
1243.66/1255.59 c #Conflicts: 1166000 | #Constraints: 98718
1243.66/1255.59 c #Conflicts: 1167000 | #Constraints: 99718
1243.66/1255.59 c #Conflicts: 1168000 | #Constraints: 100718
1243.66/1255.59 c INPROCESSING
1243.66/1255.59 c GARBAGE COLLECT
1243.66/1255.59 c #Conflicts: 1169000 | #Constraints: 79826
1243.66/1255.59 c #Conflicts: 1170000 | #Constraints: 80826
1243.66/1255.59 c #Conflicts: 1171000 | #Constraints: 81826
1243.66/1255.59 c #Conflicts: 1172000 | #Constraints: 82826
1243.66/1255.59 c #Conflicts: 1173000 | #Constraints: 83826
1243.66/1255.59 c #Conflicts: 1174000 | #Constraints: 84826
1243.66/1255.59 c #Conflicts: 1175000 | #Constraints: 85826
1243.66/1255.59 c #Conflicts: 1176000 | #Constraints: 86826
1243.66/1255.59 c #Conflicts: 1177000 | #Constraints: 87826
1243.66/1255.59 c #Conflicts: 1178000 | #Constraints: 88826
1243.66/1255.59 c #Conflicts: 1179000 | #Constraints: 89826
1243.66/1255.59 c #Conflicts: 1180000 | #Constraints: 90826
1243.66/1255.59 c #Conflicts: 1181000 | #Constraints: 91826
1243.66/1255.59 c #Conflicts: 1182000 | #Constraints: 92826
1243.66/1255.59 c #Conflicts: 1183000 | #Constraints: 93826
1243.66/1255.59 c #Conflicts: 1184000 | #Constraints: 94826
1243.66/1255.59 c #Conflicts: 1185000 | #Constraints: 95826
1243.66/1255.59 c #Conflicts: 1186000 | #Constraints: 96826
1243.66/1255.59 c #Conflicts: 1187000 | #Constraints: 97826
1243.66/1255.59 c #Conflicts: 1188000 | #Constraints: 98826
1243.66/1255.59 c #Conflicts: 1189000 | #Constraints: 99826
1243.66/1255.59 c #Conflicts: 1190000 | #Constraints: 100826
1243.66/1255.59 c INPROCESSING
1243.66/1255.59 c GARBAGE COLLECT
1243.66/1255.59 c #Conflicts: 1191000 | #Constraints: 80030
1243.66/1255.59 c #Conflicts: 1192000 | #Constraints: 81030
1243.66/1255.59 c #Conflicts: 1193000 | #Constraints: 82030
1243.66/1255.59 c #Conflicts: 1194000 | #Constraints: 83030
1243.66/1255.59 c #Conflicts: 1195000 | #Constraints: 84030
1243.66/1255.59 c #Conflicts: 1196000 | #Constraints: 85030
1243.66/1255.59 c #Conflicts: 1197000 | #Constraints: 86030
1243.66/1255.59 c #Conflicts: 1198000 | #Constraints: 87030
1243.66/1255.59 c #Conflicts: 1199000 | #Constraints: 88030
1243.66/1255.59 c #Conflicts: 1200000 | #Constraints: 89030
1243.66/1255.59 c #Conflicts: 1201000 | #Constraints: 90030
1243.66/1255.59 c #Conflicts: 1202000 | #Constraints: 91030
1243.66/1255.59 c #Conflicts: 1203000 | #Constraints: 92030
1243.66/1255.59 c #Conflicts: 1204000 | #Constraints: 93030
1243.66/1255.59 c #Conflicts: 1205000 | #Constraints: 94030
1243.66/1255.59 c #Conflicts: 1206000 | #Constraints: 95030
1243.66/1255.59 c #Conflicts: 1207000 | #Constraints: 96030
1243.66/1255.59 c #Conflicts: 1208000 | #Constraints: 97030
1243.66/1255.59 c #Conflicts: 1209000 | #Constraints: 98030
1243.66/1255.59 c #Conflicts: 1210000 | #Constraints: 99030
1243.66/1255.59 c #Conflicts: 1211000 | #Constraints: 100030
1243.66/1255.59 c #Conflicts: 1212000 | #Constraints: 101030
1243.66/1255.59 c INPROCESSING
1243.66/1255.59 c GARBAGE COLLECT
1243.66/1255.59 c #Conflicts: 1213000 | #Constraints: 80172
1243.66/1255.59 c #Conflicts: 1214000 | #Constraints: 81172
1243.66/1255.59 c #Conflicts: 1215000 | #Constraints: 82172
1243.66/1255.59 c #Conflicts: 1216000 | #Constraints: 83172
1243.66/1255.59 c #Conflicts: 1217000 | #Constraints: 84172
1243.66/1255.59 c #Conflicts: 1218000 | #Constraints: 85172
1243.66/1255.59 c #Conflicts: 1219000 | #Constraints: 86172
1243.66/1255.59 c #Conflicts: 1220000 | #Constraints: 87172
1243.66/1255.59 c #Conflicts: 1221000 | #Constraints: 88172
1243.66/1255.59 c #Conflicts: 1222000 | #Constraints: 89172
1243.66/1255.59 c #Conflicts: 1223000 | #Constraints: 90172
1243.66/1255.59 c #Conflicts: 1224000 | #Constraints: 91172
1243.66/1255.59 c #Conflicts: 1225000 | #Constraints: 92172
1243.66/1255.59 c #Conflicts: 1226000 | #Constraints: 93172
1243.66/1255.59 c #Conflicts: 1227000 | #Constraints: 94172
1243.66/1255.59 c #Conflicts: 1228000 | #Constraints: 95172
1243.66/1255.59 c #Conflicts: 1229000 | #Constraints: 96172
1243.66/1255.59 c #Conflicts: 1230000 | #Constraints: 97172
1243.66/1255.59 c #Conflicts: 1231000 | #Constraints: 98172
1243.66/1255.59 c #Conflicts: 1232000 | #Constraints: 99172
1243.66/1255.59 c #Conflicts: 1233000 | #Constraints: 100172
1312.01/1324.14 c #Conflicts: 1234000 | #Constraints: 101172
1312.01/1324.14 c INPROCESSING
1312.01/1324.14 c GARBAGE COLLECT
1312.01/1324.14 c #Conflicts: 1235000 | #Constraints: 80063
1312.01/1324.14 c #Conflicts: 1236000 | #Constraints: 81063
1312.01/1324.14 c #Conflicts: 1237000 | #Constraints: 82063
1312.01/1324.14 c #Conflicts: 1238000 | #Constraints: 83063
1312.01/1324.14 c #Conflicts: 1239000 | #Constraints: 84063
1312.01/1324.14 c #Conflicts: 1240000 | #Constraints: 85063
1312.01/1324.14 c #Conflicts: 1241000 | #Constraints: 86063
1312.01/1324.14 c #Conflicts: 1242000 | #Constraints: 87063
1312.01/1324.14 c #Conflicts: 1243000 | #Constraints: 88063
1312.01/1324.14 c #Conflicts: 1244000 | #Constraints: 89063
1312.01/1324.14 c #Conflicts: 1245000 | #Constraints: 90063
1312.01/1324.14 c #Conflicts: 1246000 | #Constraints: 91063
1312.01/1324.14 c #Conflicts: 1247000 | #Constraints: 92063
1312.01/1324.14 c #Conflicts: 1248000 | #Constraints: 93063
1312.01/1324.14 c #Conflicts: 1249000 | #Constraints: 94063
1312.01/1324.14 c #Conflicts: 1250000 | #Constraints: 95063
1312.01/1324.14 c #Conflicts: 1251000 | #Constraints: 96063
1312.01/1324.14 c #Conflicts: 1252000 | #Constraints: 97063
1312.01/1324.14 c #Conflicts: 1253000 | #Constraints: 98063
1312.01/1324.14 c #Conflicts: 1254000 | #Constraints: 99063
1312.01/1324.14 c #Conflicts: 1255000 | #Constraints: 100063
1312.01/1324.14 c #Conflicts: 1256000 | #Constraints: 101063
1312.01/1324.14 c INPROCESSING
1312.01/1324.14 c GARBAGE COLLECT
1312.01/1324.14 c #Conflicts: 1257000 | #Constraints: 79850
1312.01/1324.14 c #Conflicts: 1258000 | #Constraints: 80850
1312.01/1324.14 c #Conflicts: 1259000 | #Constraints: 81850
1312.01/1324.14 c #Conflicts: 1260000 | #Constraints: 82850
1312.01/1324.14 c #Conflicts: 1261000 | #Constraints: 83850
1312.01/1324.14 c #Conflicts: 1262000 | #Constraints: 84850
1312.01/1324.14 c #Conflicts: 1263000 | #Constraints: 85850
1312.01/1324.14 c #Conflicts: 1264000 | #Constraints: 86850
1312.01/1324.14 c #Conflicts: 1265000 | #Constraints: 87850
1312.01/1324.14 c #Conflicts: 1266000 | #Constraints: 88850
1312.01/1324.14 c #Conflicts: 1267000 | #Constraints: 89850
1312.01/1324.14 c #Conflicts: 1268000 | #Constraints: 90850
1312.01/1324.14 c #Conflicts: 1269000 | #Constraints: 91850
1312.01/1324.14 c #Conflicts: 1270000 | #Constraints: 92850
1312.01/1324.14 c #Conflicts: 1271000 | #Constraints: 93850
1312.01/1324.14 c #Conflicts: 1272000 | #Constraints: 94850
1312.01/1324.14 c #Conflicts: 1273000 | #Constraints: 95854
1312.01/1324.14 c #Conflicts: 1274000 | #Constraints: 96863
1312.01/1324.14 c #Conflicts: 1275000 | #Constraints: 97975
1312.01/1324.14 c #Conflicts: 1276000 | #Constraints: 99369
1312.01/1324.14 c #Conflicts: 1277000 | #Constraints: 100582
1312.01/1324.14 c #Conflicts: 1278000 | #Constraints: 101585
1312.01/1324.14 c #Conflicts: 1279000 | #Constraints: 102600
1312.01/1324.14 c INPROCESSING
1312.01/1324.14 c GARBAGE COLLECT
1312.01/1324.14 c #Conflicts: 1280000 | #Constraints: 80749
1312.01/1324.14 c #Conflicts: 1281000 | #Constraints: 81753
1312.01/1324.14 c #Conflicts: 1282000 | #Constraints: 82797
1312.01/1324.14 c #Conflicts: 1283000 | #Constraints: 83797
1312.01/1324.14 c #Conflicts: 1284000 | #Constraints: 84797
1312.01/1324.14 c #Conflicts: 1285000 | #Constraints: 85813
1312.01/1324.14 c #Conflicts: 1286000 | #Constraints: 86813
1312.01/1324.14 c #Conflicts: 1287000 | #Constraints: 87813
1312.01/1324.14 c #Conflicts: 1288000 | #Constraints: 88813
1312.01/1324.14 c #Conflicts: 1289000 | #Constraints: 89813
1312.01/1324.14 c #Conflicts: 1290000 | #Constraints: 90813
1312.01/1324.14 c #Conflicts: 1291000 | #Constraints: 91813
1312.01/1324.14 c #Conflicts: 1292000 | #Constraints: 92813
1312.01/1324.14 c #Conflicts: 1293000 | #Constraints: 93813
1312.01/1324.14 c #Conflicts: 1294000 | #Constraints: 94813
1312.01/1324.14 c #Conflicts: 1295000 | #Constraints: 95813
1312.01/1324.14 c #Conflicts: 1296000 | #Constraints: 96813
1312.01/1324.14 c #Conflicts: 1297000 | #Constraints: 97813
1312.01/1324.14 c #Conflicts: 1298000 | #Constraints: 98813
1312.01/1324.14 c #Conflicts: 1299000 | #Constraints: 99813
1312.01/1324.14 c #Conflicts: 1300000 | #Constraints: 100813
1312.01/1324.14 c #Conflicts: 1301000 | #Constraints: 101813
1312.01/1324.14 c #Conflicts: 1302000 | #Constraints: 102813
1312.01/1324.14 c INPROCESSING
1312.01/1324.14 c GARBAGE COLLECT
1312.01/1324.14 c #Conflicts: 1303000 | #Constraints: 80987
1312.01/1324.14 c #Conflicts: 1304000 | #Constraints: 81987
1312.01/1324.14 c #Conflicts: 1305000 | #Constraints: 82987
1312.01/1324.14 c #Conflicts: 1306000 | #Constraints: 83987
1312.01/1324.14 c #Conflicts: 1307000 | #Constraints: 84987
1312.01/1324.14 c #Conflicts: 1308000 | #Constraints: 85987
1312.01/1324.14 c #Conflicts: 1309000 | #Constraints: 86987
1437.09/1449.87 c #Conflicts: 1310000 | #Constraints: 87987
1437.09/1449.87 c #Conflicts: 1311000 | #Constraints: 88987
1437.09/1449.87 c #Conflicts: 1312000 | #Constraints: 89988
1437.09/1449.87 c #Conflicts: 1313000 | #Constraints: 90989
1437.09/1449.87 c #Conflicts: 1314000 | #Constraints: 91990
1437.09/1449.87 c #Conflicts: 1315000 | #Constraints: 92990
1437.09/1449.87 c #Conflicts: 1316000 | #Constraints: 93990
1437.09/1449.87 c #Conflicts: 1317000 | #Constraints: 94990
1437.09/1449.87 c #Conflicts: 1318000 | #Constraints: 95990
1437.09/1449.87 c #Conflicts: 1319000 | #Constraints: 96990
1437.09/1449.87 c #Conflicts: 1320000 | #Constraints: 97990
1437.09/1449.87 c #Conflicts: 1321000 | #Constraints: 98990
1437.09/1449.87 c #Conflicts: 1322000 | #Constraints: 99990
1437.09/1449.87 c #Conflicts: 1323000 | #Constraints: 100990
1437.09/1449.87 c #Conflicts: 1324000 | #Constraints: 101990
1437.09/1449.87 c #Conflicts: 1325000 | #Constraints: 102990
1437.09/1449.87 c INPROCESSING
1437.09/1449.87 c GARBAGE COLLECT
1437.09/1449.87 c #Conflicts: 1326000 | #Constraints: 81049
1437.09/1449.87 c #Conflicts: 1327000 | #Constraints: 82049
1437.09/1449.87 c #Conflicts: 1328000 | #Constraints: 83049
1437.09/1449.87 c #Conflicts: 1329000 | #Constraints: 84049
1437.09/1449.87 c #Conflicts: 1330000 | #Constraints: 85223
1437.09/1449.87 c #Conflicts: 1331000 | #Constraints: 86721
1437.09/1449.87 c #Conflicts: 1332000 | #Constraints: 87769
1437.09/1449.87 c #Conflicts: 1333000 | #Constraints: 88893
1437.09/1449.87 c #Conflicts: 1334000 | #Constraints: 89979
1437.09/1449.87 c #Conflicts: 1335000 | #Constraints: 90979
1437.09/1449.87 c #Conflicts: 1336000 | #Constraints: 91981
1437.09/1449.87 c #Conflicts: 1337000 | #Constraints: 93036
1437.09/1449.87 c #Conflicts: 1338000 | #Constraints: 94094
1437.09/1449.87 c #Conflicts: 1339000 | #Constraints: 95114
1437.09/1449.87 c #Conflicts: 1340000 | #Constraints: 96114
1437.09/1449.87 c #Conflicts: 1341000 | #Constraints: 97339
1437.09/1449.87 c #Conflicts: 1342000 | #Constraints: 98483
1437.09/1449.87 c #Conflicts: 1343000 | #Constraints: 99851
1437.09/1449.87 c #Conflicts: 1344000 | #Constraints: 101064
1437.09/1449.87 c #Conflicts: 1345000 | #Constraints: 102071
1437.09/1449.87 c #Conflicts: 1346000 | #Constraints: 103236
1437.09/1449.87 c #Conflicts: 1347000 | #Constraints: 104469
1437.09/1449.87 c #Conflicts: 1348000 | #Constraints: 105668
1437.09/1449.87 c INPROCESSING
1437.09/1449.87 c GARBAGE COLLECT
1437.09/1449.87 c #Conflicts: 1349000 | #Constraints: 82382
1437.09/1449.87 c #Conflicts: 1350000 | #Constraints: 83382
1437.09/1449.87 c #Conflicts: 1351000 | #Constraints: 84382
1437.09/1449.87 c #Conflicts: 1352000 | #Constraints: 85382
1437.09/1449.87 c #Conflicts: 1353000 | #Constraints: 86382
1437.09/1449.87 c #Conflicts: 1354000 | #Constraints: 87382
1437.09/1449.87 c #Conflicts: 1355000 | #Constraints: 88382
1437.09/1449.87 c #Conflicts: 1356000 | #Constraints: 89382
1437.09/1449.87 c #Conflicts: 1357000 | #Constraints: 90382
1437.09/1449.87 c #Conflicts: 1358000 | #Constraints: 91382
1437.09/1449.87 c #Conflicts: 1359000 | #Constraints: 92382
1437.09/1449.87 c #Conflicts: 1360000 | #Constraints: 93382
1437.09/1449.87 c #Conflicts: 1361000 | #Constraints: 94382
1437.09/1449.87 c #Conflicts: 1362000 | #Constraints: 95382
1437.09/1449.87 c #Conflicts: 1363000 | #Constraints: 96382
1437.09/1449.87 c #Conflicts: 1364000 | #Constraints: 97382
1437.09/1449.87 c #Conflicts: 1365000 | #Constraints: 98382
1437.09/1449.87 c #Conflicts: 1366000 | #Constraints: 99382
1437.09/1449.87 c #Conflicts: 1367000 | #Constraints: 100532
1437.09/1449.87 c #Conflicts: 1368000 | #Constraints: 101533
1437.09/1449.87 c #Conflicts: 1369000 | #Constraints: 102535
1437.09/1449.87 c #Conflicts: 1370000 | #Constraints: 103552
1437.09/1449.87 c #Conflicts: 1371000 | #Constraints: 104698
1437.09/1449.87 c INPROCESSING
1437.09/1449.87 c GARBAGE COLLECT
1437.09/1449.87 c #Conflicts: 1372000 | #Constraints: 81640
1437.09/1449.87 c #Conflicts: 1373000 | #Constraints: 82764
1437.09/1449.87 c #Conflicts: 1374000 | #Constraints: 83974
1437.09/1449.87 c #Conflicts: 1375000 | #Constraints: 85225
1437.09/1449.87 c #Conflicts: 1376000 | #Constraints: 86392
1437.09/1449.87 c #Conflicts: 1377000 | #Constraints: 87860
1437.09/1449.87 c #Conflicts: 1378000 | #Constraints: 89343
1437.09/1449.87 c #Conflicts: 1379000 | #Constraints: 90470
1437.09/1449.87 c #Conflicts: 1380000 | #Constraints: 91648
1437.09/1449.87 c #Conflicts: 1381000 | #Constraints: 92981
1437.09/1449.87 c #Conflicts: 1382000 | #Constraints: 94381
1437.09/1449.87 c #Conflicts: 1383000 | #Constraints: 95381
1437.09/1449.87 c #Conflicts: 1384000 | #Constraints: 96412
1437.09/1449.87 c #Conflicts: 1385000 | #Constraints: 97548
1437.09/1449.87 c #Conflicts: 1386000 | #Constraints: 98572
1521.06/1534.03 c #Conflicts: 1387000 | #Constraints: 99649
1521.06/1534.03 c #Conflicts: 1388000 | #Constraints: 101021
1521.06/1534.03 c #Conflicts: 1389000 | #Constraints: 102203
1521.06/1534.03 c #Conflicts: 1390000 | #Constraints: 103591
1521.06/1534.03 c #Conflicts: 1391000 | #Constraints: 104697
1521.06/1534.03 c #Conflicts: 1392000 | #Constraints: 106068
1521.06/1534.03 c #Conflicts: 1393000 | #Constraints: 107586
1521.06/1534.03 c #Conflicts: 1394000 | #Constraints: 109068
1521.06/1534.03 c #Conflicts: 1395000 | #Constraints: 110557
1521.06/1534.03 c INPROCESSING
1521.06/1534.03 c GARBAGE COLLECT
1521.06/1534.03 c #Conflicts: 1396000 | #Constraints: 84834
1521.06/1534.03 c #Conflicts: 1397000 | #Constraints: 85834
1521.06/1534.03 c #Conflicts: 1398000 | #Constraints: 86834
1521.06/1534.03 c #Conflicts: 1399000 | #Constraints: 87834
1521.06/1534.03 c #Conflicts: 1400000 | #Constraints: 88834
1521.06/1534.03 c #Conflicts: 1401000 | #Constraints: 89834
1521.06/1534.03 c #Conflicts: 1402000 | #Constraints: 90834
1521.06/1534.03 c #Conflicts: 1403000 | #Constraints: 91834
1521.06/1534.03 c #Conflicts: 1404000 | #Constraints: 92834
1521.06/1534.03 c #Conflicts: 1405000 | #Constraints: 93834
1521.06/1534.03 c #Conflicts: 1406000 | #Constraints: 94834
1521.06/1534.03 c #Conflicts: 1407000 | #Constraints: 95834
1521.06/1534.03 c #Conflicts: 1408000 | #Constraints: 96834
1521.06/1534.03 c #Conflicts: 1409000 | #Constraints: 97834
1521.06/1534.03 c #Conflicts: 1410000 | #Constraints: 98834
1521.06/1534.03 c #Conflicts: 1411000 | #Constraints: 99834
1521.06/1534.03 c #Conflicts: 1412000 | #Constraints: 100834
1521.06/1534.03 c #Conflicts: 1413000 | #Constraints: 101834
1521.06/1534.03 c #Conflicts: 1414000 | #Constraints: 102834
1521.06/1534.03 c #Conflicts: 1415000 | #Constraints: 103834
1521.06/1534.03 c #Conflicts: 1416000 | #Constraints: 104834
1521.06/1534.03 c #Conflicts: 1417000 | #Constraints: 105834
1521.06/1534.03 c #Conflicts: 1418000 | #Constraints: 106834
1521.06/1534.03 c #Conflicts: 1419000 | #Constraints: 107834
1521.06/1534.03 c INPROCESSING
1521.06/1534.03 c GARBAGE COLLECT
1521.06/1534.03 c #Conflicts: 1420000 | #Constraints: 83603
1521.06/1534.03 c #Conflicts: 1421000 | #Constraints: 84603
1521.06/1534.03 c #Conflicts: 1422000 | #Constraints: 85603
1521.06/1534.03 c #Conflicts: 1423000 | #Constraints: 86603
1521.06/1534.03 c #Conflicts: 1424000 | #Constraints: 87603
1521.06/1534.03 c #Conflicts: 1425000 | #Constraints: 88603
1521.06/1534.03 c #Conflicts: 1426000 | #Constraints: 89603
1521.06/1534.03 c #Conflicts: 1427000 | #Constraints: 90603
1521.06/1534.03 c #Conflicts: 1428000 | #Constraints: 91603
1521.06/1534.03 c #Conflicts: 1429000 | #Constraints: 92603
1521.06/1534.03 c #Conflicts: 1430000 | #Constraints: 93603
1521.06/1534.03 c #Conflicts: 1431000 | #Constraints: 94603
1521.06/1534.03 c #Conflicts: 1432000 | #Constraints: 95603
1521.06/1534.03 c #Conflicts: 1433000 | #Constraints: 96603
1521.06/1534.03 c #Conflicts: 1434000 | #Constraints: 97603
1521.06/1534.03 c #Conflicts: 1435000 | #Constraints: 98603
1521.06/1534.03 c #Conflicts: 1436000 | #Constraints: 99603
1521.06/1534.03 c #Conflicts: 1437000 | #Constraints: 100603
1521.06/1534.03 c #Conflicts: 1438000 | #Constraints: 101603
1521.06/1534.03 c #Conflicts: 1439000 | #Constraints: 102603
1521.06/1534.03 c #Conflicts: 1440000 | #Constraints: 103603
1521.06/1534.03 c #Conflicts: 1441000 | #Constraints: 104603
1521.06/1534.03 c #Conflicts: 1442000 | #Constraints: 105603
1521.06/1534.03 c #Conflicts: 1443000 | #Constraints: 106603
1521.06/1534.03 c INPROCESSING
1521.06/1534.03 c GARBAGE COLLECT
1521.06/1534.03 c #Conflicts: 1444000 | #Constraints: 82937
1521.06/1534.03 c #Conflicts: 1445000 | #Constraints: 83937
1521.06/1534.03 c #Conflicts: 1446000 | #Constraints: 84937
1521.06/1534.03 c #Conflicts: 1447000 | #Constraints: 85937
1521.06/1534.03 c #Conflicts: 1448000 | #Constraints: 86937
1521.06/1534.03 c #Conflicts: 1449000 | #Constraints: 87937
1521.06/1534.03 c #Conflicts: 1450000 | #Constraints: 88937
1521.06/1534.03 c #Conflicts: 1451000 | #Constraints: 89937
1521.06/1534.03 c #Conflicts: 1452000 | #Constraints: 90937
1521.06/1534.03 c #Conflicts: 1453000 | #Constraints: 91937
1521.06/1534.03 c #Conflicts: 1454000 | #Constraints: 92937
1521.06/1534.03 c #Conflicts: 1455000 | #Constraints: 93937
1521.06/1534.03 c #Conflicts: 1456000 | #Constraints: 94937
1521.06/1534.03 c #Conflicts: 1457000 | #Constraints: 95937
1521.06/1534.03 c #Conflicts: 1458000 | #Constraints: 96937
1521.06/1534.03 c #Conflicts: 1459000 | #Constraints: 97937
1521.06/1534.03 c #Conflicts: 1460000 | #Constraints: 98937
1521.06/1534.03 c #Conflicts: 1461000 | #Constraints: 99937
1521.06/1534.03 c #Conflicts: 1462000 | #Constraints: 100937
1521.06/1534.03 c #Conflicts: 1463000 | #Constraints: 101937
1607.33/1620.66 c #Conflicts: 1464000 | #Constraints: 102937
1607.33/1620.66 c #Conflicts: 1465000 | #Constraints: 103937
1607.33/1620.66 c #Conflicts: 1466000 | #Constraints: 104937
1607.33/1620.66 c #Conflicts: 1467000 | #Constraints: 105937
1607.33/1620.66 c INPROCESSING
1607.33/1620.66 c GARBAGE COLLECT
1607.33/1620.66 c #Conflicts: 1468000 | #Constraints: 82276
1607.33/1620.66 c #Conflicts: 1469000 | #Constraints: 83276
1607.33/1620.66 c #Conflicts: 1470000 | #Constraints: 84276
1607.33/1620.66 c #Conflicts: 1471000 | #Constraints: 85276
1607.33/1620.66 c #Conflicts: 1472000 | #Constraints: 86306
1607.33/1620.66 c #Conflicts: 1473000 | #Constraints: 87630
1607.33/1620.66 c #Conflicts: 1474000 | #Constraints: 88655
1607.33/1620.66 c #Conflicts: 1475000 | #Constraints: 89691
1607.33/1620.66 c #Conflicts: 1476000 | #Constraints: 91181
1607.33/1620.66 c #Conflicts: 1477000 | #Constraints: 92685
1607.33/1620.66 c #Conflicts: 1478000 | #Constraints: 94173
1607.33/1620.66 c #Conflicts: 1479000 | #Constraints: 95566
1607.33/1620.66 c #Conflicts: 1480000 | #Constraints: 96599
1607.33/1620.66 c #Conflicts: 1481000 | #Constraints: 97822
1607.33/1620.66 c #Conflicts: 1482000 | #Constraints: 99320
1607.33/1620.66 c #Conflicts: 1483000 | #Constraints: 100812
1607.33/1620.66 c #Conflicts: 1484000 | #Constraints: 101855
1607.33/1620.66 c #Conflicts: 1485000 | #Constraints: 102855
1607.33/1620.66 c #Conflicts: 1486000 | #Constraints: 103855
1607.33/1620.66 c #Conflicts: 1487000 | #Constraints: 104855
1607.33/1620.66 c #Conflicts: 1488000 | #Constraints: 105855
1607.33/1620.66 c #Conflicts: 1489000 | #Constraints: 106855
1607.33/1620.66 c #Conflicts: 1490000 | #Constraints: 107855
1607.33/1620.66 c #Conflicts: 1491000 | #Constraints: 108855
1607.33/1620.66 c INPROCESSING
1607.33/1620.66 c GARBAGE COLLECT
1607.33/1620.66 c #Conflicts: 1492000 | #Constraints: 83763
1607.33/1620.66 c #Conflicts: 1493000 | #Constraints: 84763
1607.33/1620.66 c #Conflicts: 1494000 | #Constraints: 85763
1607.33/1620.66 c #Conflicts: 1495000 | #Constraints: 86763
1607.33/1620.66 c #Conflicts: 1496000 | #Constraints: 87763
1607.33/1620.66 c #Conflicts: 1497000 | #Constraints: 88763
1607.33/1620.66 c #Conflicts: 1498000 | #Constraints: 89763
1607.33/1620.66 c #Conflicts: 1499000 | #Constraints: 90763
1607.33/1620.66 c #Conflicts: 1500000 | #Constraints: 91763
1607.33/1620.66 c #Conflicts: 1501000 | #Constraints: 92763
1607.33/1620.66 c #Conflicts: 1502000 | #Constraints: 93763
1607.33/1620.66 c #Conflicts: 1503000 | #Constraints: 94763
1607.33/1620.66 c #Conflicts: 1504000 | #Constraints: 96121
1607.33/1620.66 c #Conflicts: 1505000 | #Constraints: 97228
1607.33/1620.66 c #Conflicts: 1506000 | #Constraints: 98230
1607.33/1620.66 c #Conflicts: 1507000 | #Constraints: 99245
1607.33/1620.66 c #Conflicts: 1508000 | #Constraints: 100309
1607.33/1620.66 c #Conflicts: 1509000 | #Constraints: 101782
1607.33/1620.66 c #Conflicts: 1510000 | #Constraints: 103170
1607.33/1620.66 c #Conflicts: 1511000 | #Constraints: 104170
1607.33/1620.66 c #Conflicts: 1512000 | #Constraints: 105170
1607.33/1620.66 c #Conflicts: 1513000 | #Constraints: 106170
1607.33/1620.66 c #Conflicts: 1514000 | #Constraints: 107179
1607.33/1620.66 c #Conflicts: 1515000 | #Constraints: 108353
1607.33/1620.66 c #Conflicts: 1516000 | #Constraints: 109405
1607.33/1620.66 c INPROCESSING
1607.33/1620.66 c GARBAGE COLLECT
1607.33/1620.66 c #Conflicts: 1517000 | #Constraints: 84204
1607.33/1620.66 c #Conflicts: 1518000 | #Constraints: 85204
1607.33/1620.66 c #Conflicts: 1519000 | #Constraints: 86204
1607.33/1620.66 c #Conflicts: 1520000 | #Constraints: 87204
1607.33/1620.66 c #Conflicts: 1521000 | #Constraints: 88204
1607.33/1620.66 c #Conflicts: 1522000 | #Constraints: 89204
1607.33/1620.66 c #Conflicts: 1523000 | #Constraints: 90204
1607.33/1620.66 c #Conflicts: 1524000 | #Constraints: 91204
1607.33/1620.66 c #Conflicts: 1525000 | #Constraints: 92204
1607.33/1620.66 c #Conflicts: 1526000 | #Constraints: 93204
1607.33/1620.66 c #Conflicts: 1527000 | #Constraints: 94204
1607.33/1620.66 c #Conflicts: 1528000 | #Constraints: 95204
1607.33/1620.66 c #Conflicts: 1529000 | #Constraints: 96204
1607.33/1620.66 c #Conflicts: 1530000 | #Constraints: 97204
1607.33/1620.66 c #Conflicts: 1531000 | #Constraints: 98204
1607.33/1620.66 c #Conflicts: 1532000 | #Constraints: 99204
1607.33/1620.66 c #Conflicts: 1533000 | #Constraints: 100204
1607.33/1620.66 c #Conflicts: 1534000 | #Constraints: 101204
1607.33/1620.66 c #Conflicts: 1535000 | #Constraints: 102204
1607.33/1620.66 c #Conflicts: 1536000 | #Constraints: 103204
1607.33/1620.66 c #Conflicts: 1537000 | #Constraints: 104204
1607.33/1620.66 c #Conflicts: 1538000 | #Constraints: 105204
1607.33/1620.66 c #Conflicts: 1539000 | #Constraints: 106204
1607.33/1620.66 c #Conflicts: 1540000 | #Constraints: 107204
1758.99/1773.01 c #Conflicts: 1541000 | #Constraints: 108204
1758.99/1773.01 c INPROCESSING
1758.99/1773.01 c GARBAGE COLLECT
1758.99/1773.01 c #Conflicts: 1542000 | #Constraints: 83775
1758.99/1773.01 c #Conflicts: 1543000 | #Constraints: 84775
1758.99/1773.01 c #Conflicts: 1544000 | #Constraints: 85775
1758.99/1773.01 c #Conflicts: 1545000 | #Constraints: 86775
1758.99/1773.01 c #Conflicts: 1546000 | #Constraints: 87775
1758.99/1773.01 c #Conflicts: 1547000 | #Constraints: 88775
1758.99/1773.01 c #Conflicts: 1548000 | #Constraints: 89775
1758.99/1773.01 c #Conflicts: 1549000 | #Constraints: 90775
1758.99/1773.01 c #Conflicts: 1550000 | #Constraints: 91775
1758.99/1773.01 c #Conflicts: 1551000 | #Constraints: 92775
1758.99/1773.01 c #Conflicts: 1552000 | #Constraints: 93775
1758.99/1773.01 c #Conflicts: 1553000 | #Constraints: 94775
1758.99/1773.01 c #Conflicts: 1554000 | #Constraints: 95775
1758.99/1773.01 c #Conflicts: 1555000 | #Constraints: 96775
1758.99/1773.01 c #Conflicts: 1556000 | #Constraints: 97775
1758.99/1773.01 c #Conflicts: 1557000 | #Constraints: 98775
1758.99/1773.01 c #Conflicts: 1558000 | #Constraints: 99775
1758.99/1773.01 c #Conflicts: 1559000 | #Constraints: 100775
1758.99/1773.01 c #Conflicts: 1560000 | #Constraints: 101775
1758.99/1773.01 c #Conflicts: 1561000 | #Constraints: 102775
1758.99/1773.01 c #Conflicts: 1562000 | #Constraints: 103775
1758.99/1773.01 c #Conflicts: 1563000 | #Constraints: 104775
1758.99/1773.01 c #Conflicts: 1564000 | #Constraints: 105775
1758.99/1773.01 c #Conflicts: 1565000 | #Constraints: 106775
1758.99/1773.01 c #Conflicts: 1566000 | #Constraints: 107775
1758.99/1773.01 c INPROCESSING
1758.99/1773.01 c GARBAGE COLLECT
1758.99/1773.01 c #Conflicts: 1567000 | #Constraints: 83492
1758.99/1773.01 c #Conflicts: 1568000 | #Constraints: 84492
1758.99/1773.01 c #Conflicts: 1569000 | #Constraints: 85492
1758.99/1773.01 c #Conflicts: 1570000 | #Constraints: 86492
1758.99/1773.01 c #Conflicts: 1571000 | #Constraints: 87492
1758.99/1773.01 c #Conflicts: 1572000 | #Constraints: 88492
1758.99/1773.01 c #Conflicts: 1573000 | #Constraints: 89492
1758.99/1773.01 c #Conflicts: 1574000 | #Constraints: 90599
1758.99/1773.01 c #Conflicts: 1575000 | #Constraints: 92079
1758.99/1773.01 c #Conflicts: 1576000 | #Constraints: 93561
1758.99/1773.01 c #Conflicts: 1577000 | #Constraints: 95033
1758.99/1773.01 c #Conflicts: 1578000 | #Constraints: 96485
1758.99/1773.01 c #Conflicts: 1579000 | #Constraints: 97871
1758.99/1773.01 c #Conflicts: 1580000 | #Constraints: 99377
1758.99/1773.01 c #Conflicts: 1581000 | #Constraints: 100878
1758.99/1773.01 c #Conflicts: 1582000 | #Constraints: 102370
1758.99/1773.01 c #Conflicts: 1583000 | #Constraints: 103894
1758.99/1773.01 c #Conflicts: 1584000 | #Constraints: 105380
1758.99/1773.01 c #Conflicts: 1585000 | #Constraints: 106875
1758.99/1773.01 c #Conflicts: 1586000 | #Constraints: 108373
1758.99/1773.01 c #Conflicts: 1587000 | #Constraints: 109870
1758.99/1773.01 c #Conflicts: 1588000 | #Constraints: 111371
1758.99/1773.01 c #Conflicts: 1589000 | #Constraints: 112850
1758.99/1773.01 c #Conflicts: 1590000 | #Constraints: 114344
1758.99/1773.01 c #Conflicts: 1591000 | #Constraints: 115817
1758.99/1773.01 c INPROCESSING
1758.99/1773.01 c GARBAGE COLLECT
1758.99/1773.01 c #Conflicts: 1592000 | #Constraints: 87561
1758.99/1773.01 c #Conflicts: 1593000 | #Constraints: 88561
1758.99/1773.01 c #Conflicts: 1594000 | #Constraints: 89561
1758.99/1773.01 c #Conflicts: 1595000 | #Constraints: 90561
1758.99/1773.01 c #Conflicts: 1596000 | #Constraints: 91561
1758.99/1773.01 c #Conflicts: 1597000 | #Constraints: 92561
1758.99/1773.01 c #Conflicts: 1598000 | #Constraints: 93561
1758.99/1773.01 c #Conflicts: 1599000 | #Constraints: 94561
1758.99/1773.01 c #Conflicts: 1600000 | #Constraints: 95561
1758.99/1773.01 c #Conflicts: 1601000 | #Constraints: 96561
1758.99/1773.01 c #Conflicts: 1602000 | #Constraints: 97561
1758.99/1773.01 c #Conflicts: 1603000 | #Constraints: 98561
1758.99/1773.01 c #Conflicts: 1604000 | #Constraints: 99561
1758.99/1773.01 c #Conflicts: 1605000 | #Constraints: 100561
1758.99/1773.01 c #Conflicts: 1606000 | #Constraints: 101561
1758.99/1773.01 c #Conflicts: 1607000 | #Constraints: 102561
1758.99/1773.01 c #Conflicts: 1608000 | #Constraints: 103561
1758.99/1773.01 c #Conflicts: 1609000 | #Constraints: 104561
1758.99/1773.01 c #Conflicts: 1610000 | #Constraints: 105561
1758.99/1773.01 c #Conflicts: 1611000 | #Constraints: 106561
1758.99/1773.01 c #Conflicts: 1612000 | #Constraints: 107561
1758.99/1773.01 c #Conflicts: 1613000 | #Constraints: 108562
1758.99/1773.01 c #Conflicts: 1614000 | #Constraints: 109563
1758.99/1773.01 c #Conflicts: 1615000 | #Constraints: 110563
1758.99/1773.01 c #Conflicts: 1616000 | #Constraints: 111713
1758.99/1773.01 c INPROCESSING
1840.01/1855.00 c GARBAGE COLLECT
1840.01/1855.00 c #Conflicts: 1617000 | #Constraints: 85161
1840.01/1855.00 c #Conflicts: 1618000 | #Constraints: 86161
1840.01/1855.00 c #Conflicts: 1619000 | #Constraints: 87161
1840.01/1855.00 c #Conflicts: 1620000 | #Constraints: 88161
1840.01/1855.00 c #Conflicts: 1621000 | #Constraints: 89161
1840.01/1855.00 c #Conflicts: 1622000 | #Constraints: 90161
1840.01/1855.00 c #Conflicts: 1623000 | #Constraints: 91161
1840.01/1855.00 c #Conflicts: 1624000 | #Constraints: 92161
1840.01/1855.00 c #Conflicts: 1625000 | #Constraints: 93161
1840.01/1855.00 c #Conflicts: 1626000 | #Constraints: 94161
1840.01/1855.00 c #Conflicts: 1627000 | #Constraints: 95161
1840.01/1855.00 c #Conflicts: 1628000 | #Constraints: 96161
1840.01/1855.00 c #Conflicts: 1629000 | #Constraints: 97161
1840.01/1855.00 c #Conflicts: 1630000 | #Constraints: 98161
1840.01/1855.00 c #Conflicts: 1631000 | #Constraints: 99161
1840.01/1855.00 c #Conflicts: 1632000 | #Constraints: 100161
1840.01/1855.00 c #Conflicts: 1633000 | #Constraints: 101161
1840.01/1855.00 c #Conflicts: 1634000 | #Constraints: 102161
1840.01/1855.00 c #Conflicts: 1635000 | #Constraints: 103161
1840.01/1855.00 c #Conflicts: 1636000 | #Constraints: 104161
1840.01/1855.00 c #Conflicts: 1637000 | #Constraints: 105161
1840.01/1855.00 c #Conflicts: 1638000 | #Constraints: 106161
1840.01/1855.00 c #Conflicts: 1639000 | #Constraints: 107161
1840.01/1855.00 c #Conflicts: 1640000 | #Constraints: 108161
1840.01/1855.00 c #Conflicts: 1641000 | #Constraints: 109161
1840.01/1855.00 c #Conflicts: 1642000 | #Constraints: 110161
1840.01/1855.00 c INPROCESSING
1840.01/1855.00 c GARBAGE COLLECT
1840.01/1855.00 c #Conflicts: 1643000 | #Constraints: 84591
1840.01/1855.00 c #Conflicts: 1644000 | #Constraints: 85591
1840.01/1855.00 c #Conflicts: 1645000 | #Constraints: 86591
1840.01/1855.00 c #Conflicts: 1646000 | #Constraints: 87591
1840.01/1855.00 c #Conflicts: 1647000 | #Constraints: 88591
1840.01/1855.00 c #Conflicts: 1648000 | #Constraints: 89591
1840.01/1855.00 c #Conflicts: 1649000 | #Constraints: 90591
1840.01/1855.00 c #Conflicts: 1650000 | #Constraints: 91591
1840.01/1855.00 c #Conflicts: 1651000 | #Constraints: 92591
1840.01/1855.00 c #Conflicts: 1652000 | #Constraints: 93591
1840.01/1855.00 c #Conflicts: 1653000 | #Constraints: 94591
1840.01/1855.00 c #Conflicts: 1654000 | #Constraints: 95591
1840.01/1855.00 c #Conflicts: 1655000 | #Constraints: 96591
1840.01/1855.00 c #Conflicts: 1656000 | #Constraints: 97591
1840.01/1855.00 c #Conflicts: 1657000 | #Constraints: 98591
1840.01/1855.00 c #Conflicts: 1658000 | #Constraints: 99591
1840.01/1855.00 c #Conflicts: 1659000 | #Constraints: 100591
1840.01/1855.00 c #Conflicts: 1660000 | #Constraints: 101591
1840.01/1855.00 c #Conflicts: 1661000 | #Constraints: 102591
1840.01/1855.00 c #Conflicts: 1662000 | #Constraints: 103591
1840.01/1855.00 c #Conflicts: 1663000 | #Constraints: 104591
1840.01/1855.00 c #Conflicts: 1664000 | #Constraints: 105591
1840.01/1855.00 c #Conflicts: 1665000 | #Constraints: 106591
1840.01/1855.00 c #Conflicts: 1666000 | #Constraints: 107591
1840.01/1855.00 c #Conflicts: 1667000 | #Constraints: 108591
1840.01/1855.00 c #Conflicts: 1668000 | #Constraints: 109591
1840.01/1855.00 c INPROCESSING
1840.01/1855.00 c GARBAGE COLLECT
1840.01/1855.00 c #Conflicts: 1669000 | #Constraints: 84438
1840.01/1855.00 c #Conflicts: 1670000 | #Constraints: 85438
1840.01/1855.00 c #Conflicts: 1671000 | #Constraints: 86438
1840.01/1855.00 c #Conflicts: 1672000 | #Constraints: 87438
1840.01/1855.00 c #Conflicts: 1673000 | #Constraints: 88438
1840.01/1855.00 c #Conflicts: 1674000 | #Constraints: 89438
1840.01/1855.00 c #Conflicts: 1675000 | #Constraints: 90438
1840.01/1855.00 c #Conflicts: 1676000 | #Constraints: 91438
1840.01/1855.00 c #Conflicts: 1677000 | #Constraints: 92438
1840.01/1855.00 c #Conflicts: 1678000 | #Constraints: 93438
1840.01/1855.00 c #Conflicts: 1679000 | #Constraints: 94438
1840.01/1855.00 c #Conflicts: 1680000 | #Constraints: 95438
1840.01/1855.00 c #Conflicts: 1681000 | #Constraints: 96438
1840.01/1855.00 c #Conflicts: 1682000 | #Constraints: 97438
1840.01/1855.00 c #Conflicts: 1683000 | #Constraints: 98438
1840.01/1855.00 c #Conflicts: 1684000 | #Constraints: 99438
1840.01/1855.00 c #Conflicts: 1685000 | #Constraints: 100438
1840.01/1855.00 c #Conflicts: 1686000 | #Constraints: 101438
1840.01/1855.00 c #Conflicts: 1687000 | #Constraints: 102438
1840.01/1855.00 c #Conflicts: 1688000 | #Constraints: 103438
1840.01/1855.00 c #Conflicts: 1689000 | #Constraints: 104438
1840.01/1855.00 c #Conflicts: 1690000 | #Constraints: 105438
1840.01/1855.00 c #Conflicts: 1691000 | #Constraints: 106438
1840.01/1855.00 c #Conflicts: 1692000 | #Constraints: 107438
1840.01/1855.00 c #Conflicts: 1693000 | #Constraints: 108438
1840.01/1855.00 c #Conflicts: 1694000 | #Constraints: 109438
1906.96/1922.19 c INPROCESSING
1906.96/1922.19 c GARBAGE COLLECT
1906.96/1922.19 c #Conflicts: 1695000 | #Constraints: 84318
1906.96/1922.19 c #Conflicts: 1696000 | #Constraints: 85318
1906.96/1922.19 c #Conflicts: 1697000 | #Constraints: 86318
1906.96/1922.19 c #Conflicts: 1698000 | #Constraints: 87318
1906.96/1922.19 c #Conflicts: 1699000 | #Constraints: 88318
1906.96/1922.19 c #Conflicts: 1700000 | #Constraints: 89318
1906.96/1922.19 c #Conflicts: 1701000 | #Constraints: 90318
1906.96/1922.19 c #Conflicts: 1702000 | #Constraints: 91318
1906.96/1922.19 c #Conflicts: 1703000 | #Constraints: 92318
1906.96/1922.19 c #Conflicts: 1704000 | #Constraints: 93318
1906.96/1922.19 c #Conflicts: 1705000 | #Constraints: 94318
1906.96/1922.19 c #Conflicts: 1706000 | #Constraints: 95318
1906.96/1922.19 c #Conflicts: 1707000 | #Constraints: 96318
1906.96/1922.19 c #Conflicts: 1708000 | #Constraints: 97318
1906.96/1922.19 c #Conflicts: 1709000 | #Constraints: 98318
1906.96/1922.19 c #Conflicts: 1710000 | #Constraints: 99318
1906.96/1922.19 c #Conflicts: 1711000 | #Constraints: 100318
1906.96/1922.19 c #Conflicts: 1712000 | #Constraints: 101318
1906.96/1922.19 c #Conflicts: 1713000 | #Constraints: 102318
1906.96/1922.19 c #Conflicts: 1714000 | #Constraints: 103318
1906.96/1922.19 c #Conflicts: 1715000 | #Constraints: 104318
1906.96/1922.19 c #Conflicts: 1716000 | #Constraints: 105318
1906.96/1922.19 c #Conflicts: 1717000 | #Constraints: 106318
1906.96/1922.19 c #Conflicts: 1718000 | #Constraints: 107318
1906.96/1922.19 c #Conflicts: 1719000 | #Constraints: 108318
1906.96/1922.19 c #Conflicts: 1720000 | #Constraints: 109318
1906.96/1922.19 c INPROCESSING
1906.96/1922.19 c GARBAGE COLLECT
1906.96/1922.19 c #Conflicts: 1721000 | #Constraints: 84157
1906.96/1922.19 c #Conflicts: 1722000 | #Constraints: 85157
1906.96/1922.19 c #Conflicts: 1723000 | #Constraints: 86157
1906.96/1922.19 c #Conflicts: 1724000 | #Constraints: 87157
1906.96/1922.19 c #Conflicts: 1725000 | #Constraints: 88157
1906.96/1922.19 c #Conflicts: 1726000 | #Constraints: 89157
1906.96/1922.19 c #Conflicts: 1727000 | #Constraints: 90157
1906.96/1922.19 c #Conflicts: 1728000 | #Constraints: 91157
1906.96/1922.19 c #Conflicts: 1729000 | #Constraints: 92157
1906.96/1922.19 c #Conflicts: 1730000 | #Constraints: 93157
1906.96/1922.19 c #Conflicts: 1731000 | #Constraints: 94157
1906.96/1922.19 c #Conflicts: 1732000 | #Constraints: 95157
1906.96/1922.19 c #Conflicts: 1733000 | #Constraints: 96157
1906.96/1922.19 c #Conflicts: 1734000 | #Constraints: 97157
1906.96/1922.19 c #Conflicts: 1735000 | #Constraints: 98157
1906.96/1922.19 c #Conflicts: 1736000 | #Constraints: 99157
1906.96/1922.19 c #Conflicts: 1737000 | #Constraints: 100157
1906.96/1922.19 c #Conflicts: 1738000 | #Constraints: 101157
1906.96/1922.19 c #Conflicts: 1739000 | #Constraints: 102157
1906.96/1922.19 c #Conflicts: 1740000 | #Constraints: 103157
1906.96/1922.19 c #Conflicts: 1741000 | #Constraints: 104157
1906.96/1922.19 c #Conflicts: 1742000 | #Constraints: 105157
1906.96/1922.19 c #Conflicts: 1743000 | #Constraints: 106157
1906.96/1922.19 c #Conflicts: 1744000 | #Constraints: 107157
1906.96/1922.19 c #Conflicts: 1745000 | #Constraints: 108157
1906.96/1922.19 c #Conflicts: 1746000 | #Constraints: 109157
1906.96/1922.19 c INPROCESSING
1906.96/1922.19 c GARBAGE COLLECT
1906.96/1922.19 c #Conflicts: 1747000 | #Constraints: 83933
1906.96/1922.19 c #Conflicts: 1748000 | #Constraints: 84933
1906.96/1922.19 c #Conflicts: 1749000 | #Constraints: 85933
1906.96/1922.19 c #Conflicts: 1750000 | #Constraints: 86933
1906.96/1922.19 c #Conflicts: 1751000 | #Constraints: 87933
1906.96/1922.19 c #Conflicts: 1752000 | #Constraints: 88933
1906.96/1922.19 c #Conflicts: 1753000 | #Constraints: 89933
1906.96/1922.19 c #Conflicts: 1754000 | #Constraints: 90933
1906.96/1922.19 c #Conflicts: 1755000 | #Constraints: 91933
1906.96/1922.19 c #Conflicts: 1756000 | #Constraints: 92933
1906.96/1922.19 c #Conflicts: 1757000 | #Constraints: 93933
1906.96/1922.19 c #Conflicts: 1758000 | #Constraints: 94933
1906.96/1922.19 c #Conflicts: 1759000 | #Constraints: 95933
1906.96/1922.19 c #Conflicts: 1760000 | #Constraints: 96933
1906.96/1922.19 c #Conflicts: 1761000 | #Constraints: 97933
1906.96/1922.19 c #Conflicts: 1762000 | #Constraints: 98933
1906.96/1922.19 c #Conflicts: 1763000 | #Constraints: 99933
1906.96/1922.19 c #Conflicts: 1764000 | #Constraints: 100933
1906.96/1922.19 c #Conflicts: 1765000 | #Constraints: 101933
1906.96/1922.19 c #Conflicts: 1766000 | #Constraints: 102933
1906.96/1922.19 c #Conflicts: 1767000 | #Constraints: 103933
1906.96/1922.19 c #Conflicts: 1768000 | #Constraints: 104933
1906.96/1922.19 c #Conflicts: 1769000 | #Constraints: 105933
1906.96/1922.19 c #Conflicts: 1770000 | #Constraints: 106933
1906.96/1922.19 c #Conflicts: 1771000 | #Constraints: 107933
1966.61/1982.01 c #Conflicts: 1772000 | #Constraints: 108933
1966.61/1982.01 c #Conflicts: 1773000 | #Constraints: 109933
1966.61/1982.01 c INPROCESSING
1966.61/1982.01 c GARBAGE COLLECT
1966.61/1982.01 c #Conflicts: 1774000 | #Constraints: 84550
1966.61/1982.01 c #Conflicts: 1775000 | #Constraints: 85550
1966.61/1982.01 c #Conflicts: 1776000 | #Constraints: 86550
1966.61/1982.01 c #Conflicts: 1777000 | #Constraints: 87550
1966.61/1982.01 c #Conflicts: 1778000 | #Constraints: 88550
1966.61/1982.01 c #Conflicts: 1779000 | #Constraints: 89550
1966.61/1982.01 c #Conflicts: 1780000 | #Constraints: 90550
1966.61/1982.01 c #Conflicts: 1781000 | #Constraints: 91550
1966.61/1982.01 c #Conflicts: 1782000 | #Constraints: 92550
1966.61/1982.01 c #Conflicts: 1783000 | #Constraints: 93550
1966.61/1982.01 c #Conflicts: 1784000 | #Constraints: 94550
1966.61/1982.01 c #Conflicts: 1785000 | #Constraints: 95550
1966.61/1982.01 c #Conflicts: 1786000 | #Constraints: 96550
1966.61/1982.01 c #Conflicts: 1787000 | #Constraints: 97550
1966.61/1982.01 c #Conflicts: 1788000 | #Constraints: 98550
1966.61/1982.01 c #Conflicts: 1789000 | #Constraints: 99550
1966.61/1982.01 c #Conflicts: 1790000 | #Constraints: 100550
1966.61/1982.01 c #Conflicts: 1791000 | #Constraints: 101550
1966.61/1982.01 c #Conflicts: 1792000 | #Constraints: 102550
1966.61/1982.01 c #Conflicts: 1793000 | #Constraints: 103550
1966.61/1982.01 c #Conflicts: 1794000 | #Constraints: 104550
1966.61/1982.01 c #Conflicts: 1795000 | #Constraints: 105550
1966.61/1982.01 c #Conflicts: 1796000 | #Constraints: 106550
1966.61/1982.01 c #Conflicts: 1797000 | #Constraints: 107550
1966.61/1982.01 c #Conflicts: 1798000 | #Constraints: 108550
1966.61/1982.01 c #Conflicts: 1799000 | #Constraints: 109550
1966.61/1982.01 c #Conflicts: 1800000 | #Constraints: 110550
1966.61/1982.01 c INPROCESSING
1966.61/1982.01 c GARBAGE COLLECT
1966.61/1982.01 c #Conflicts: 1801000 | #Constraints: 84889
1966.61/1982.01 c #Conflicts: 1802000 | #Constraints: 85889
1966.61/1982.01 c #Conflicts: 1803000 | #Constraints: 86889
1966.61/1982.01 c #Conflicts: 1804000 | #Constraints: 87889
1966.61/1982.01 c #Conflicts: 1805000 | #Constraints: 88889
1966.61/1982.01 c #Conflicts: 1806000 | #Constraints: 89889
1966.61/1982.01 c #Conflicts: 1807000 | #Constraints: 90889
1966.61/1982.01 c #Conflicts: 1808000 | #Constraints: 91889
1966.61/1982.01 c #Conflicts: 1809000 | #Constraints: 92889
1966.61/1982.01 c #Conflicts: 1810000 | #Constraints: 93889
1966.61/1982.01 c #Conflicts: 1811000 | #Constraints: 94889
1966.61/1982.01 c #Conflicts: 1812000 | #Constraints: 95889
1966.61/1982.01 c #Conflicts: 1813000 | #Constraints: 96889
1966.61/1982.01 c #Conflicts: 1814000 | #Constraints: 97889
1966.61/1982.01 c #Conflicts: 1815000 | #Constraints: 98889
1966.61/1982.01 c #Conflicts: 1816000 | #Constraints: 99889
1966.61/1982.01 c #Conflicts: 1817000 | #Constraints: 100889
1966.61/1982.01 c #Conflicts: 1818000 | #Constraints: 101889
1966.61/1982.01 c #Conflicts: 1819000 | #Constraints: 102889
1966.61/1982.01 c #Conflicts: 1820000 | #Constraints: 103889
1966.61/1982.01 c #Conflicts: 1821000 | #Constraints: 104889
1966.61/1982.01 c #Conflicts: 1822000 | #Constraints: 105889
1966.61/1982.01 c #Conflicts: 1823000 | #Constraints: 106889
1966.61/1982.01 c #Conflicts: 1824000 | #Constraints: 107889
1966.61/1982.01 c #Conflicts: 1825000 | #Constraints: 108889
1966.61/1982.01 c #Conflicts: 1826000 | #Constraints: 109889
1966.61/1982.01 c #Conflicts: 1827000 | #Constraints: 110889
1966.61/1982.01 c INPROCESSING
1966.61/1982.01 c GARBAGE COLLECT
1966.61/1982.01 c #Conflicts: 1828000 | #Constraints: 85092
1966.61/1982.01 c #Conflicts: 1829000 | #Constraints: 86092
1966.61/1982.01 c #Conflicts: 1830000 | #Constraints: 87092
1966.61/1982.01 c #Conflicts: 1831000 | #Constraints: 88092
1966.61/1982.01 c #Conflicts: 1832000 | #Constraints: 89092
1966.61/1982.01 c #Conflicts: 1833000 | #Constraints: 90092
1966.61/1982.01 c #Conflicts: 1834000 | #Constraints: 91092
1966.61/1982.01 c #Conflicts: 1835000 | #Constraints: 92092
1966.61/1982.01 c #Conflicts: 1836000 | #Constraints: 93092
1966.61/1982.01 c #Conflicts: 1837000 | #Constraints: 94092
1966.61/1982.01 c #Conflicts: 1838000 | #Constraints: 95092
1966.61/1982.01 c #Conflicts: 1839000 | #Constraints: 96092
1966.61/1982.01 c #Conflicts: 1840000 | #Constraints: 97092
1966.61/1982.01 c #Conflicts: 1841000 | #Constraints: 98092
1966.61/1982.01 c #Conflicts: 1842000 | #Constraints: 99092
1966.61/1982.01 c #Conflicts: 1843000 | #Constraints: 100092
1966.61/1982.01 c #Conflicts: 1844000 | #Constraints: 101092
1966.61/1982.01 c #Conflicts: 1845000 | #Constraints: 102092
1966.61/1982.01 c #Conflicts: 1846000 | #Constraints: 103092
1966.61/1982.01 c #Conflicts: 1847000 | #Constraints: 104094
2081.89/2097.73 c #Conflicts: 1848000 | #Constraints: 105255
2081.89/2097.73 c #Conflicts: 1849000 | #Constraints: 106608
2081.89/2097.73 c #Conflicts: 1850000 | #Constraints: 107608
2081.89/2097.73 c #Conflicts: 1851000 | #Constraints: 108608
2081.89/2097.73 c #Conflicts: 1852000 | #Constraints: 109608
2081.89/2097.73 c #Conflicts: 1853000 | #Constraints: 110608
2081.89/2097.73 c #Conflicts: 1854000 | #Constraints: 111608
2081.89/2097.73 c INPROCESSING
2081.89/2097.73 c GARBAGE COLLECT
2081.89/2097.73 c #Conflicts: 1855000 | #Constraints: 85425
2081.89/2097.73 c #Conflicts: 1856000 | #Constraints: 86425
2081.89/2097.73 c #Conflicts: 1857000 | #Constraints: 87425
2081.89/2097.73 c #Conflicts: 1858000 | #Constraints: 88425
2081.89/2097.73 c #Conflicts: 1859000 | #Constraints: 89425
2081.89/2097.73 c #Conflicts: 1860000 | #Constraints: 90425
2081.89/2097.73 c #Conflicts: 1861000 | #Constraints: 91425
2081.89/2097.73 c #Conflicts: 1862000 | #Constraints: 92425
2081.89/2097.73 c #Conflicts: 1863000 | #Constraints: 93425
2081.89/2097.73 c #Conflicts: 1864000 | #Constraints: 94425
2081.89/2097.73 c #Conflicts: 1865000 | #Constraints: 95425
2081.89/2097.73 c #Conflicts: 1866000 | #Constraints: 96425
2081.89/2097.73 c #Conflicts: 1867000 | #Constraints: 97425
2081.89/2097.73 c #Conflicts: 1868000 | #Constraints: 98425
2081.89/2097.73 c #Conflicts: 1869000 | #Constraints: 99435
2081.89/2097.73 c #Conflicts: 1870000 | #Constraints: 100553
2081.89/2097.73 c #Conflicts: 1871000 | #Constraints: 102004
2081.89/2097.73 c #Conflicts: 1872000 | #Constraints: 103218
2081.89/2097.73 c #Conflicts: 1873000 | #Constraints: 104295
2081.89/2097.73 c #Conflicts: 1874000 | #Constraints: 105295
2081.89/2097.73 c #Conflicts: 1875000 | #Constraints: 106295
2081.89/2097.73 c #Conflicts: 1876000 | #Constraints: 107295
2081.89/2097.73 c #Conflicts: 1877000 | #Constraints: 108295
2081.89/2097.73 c #Conflicts: 1878000 | #Constraints: 109295
2081.89/2097.73 c #Conflicts: 1879000 | #Constraints: 110295
2081.89/2097.73 c #Conflicts: 1880000 | #Constraints: 111295
2081.89/2097.73 c #Conflicts: 1881000 | #Constraints: 112295
2081.89/2097.73 c INPROCESSING
2081.89/2097.73 c GARBAGE COLLECT
2081.89/2097.73 c #Conflicts: 1882000 | #Constraints: 85529
2081.89/2097.73 c #Conflicts: 1883000 | #Constraints: 86532
2081.89/2097.73 c #Conflicts: 1884000 | #Constraints: 87560
2081.89/2097.73 c #Conflicts: 1885000 | #Constraints: 88563
2081.89/2097.73 c #Conflicts: 1886000 | #Constraints: 89615
2081.89/2097.73 c #Conflicts: 1887000 | #Constraints: 90619
2081.89/2097.73 c #Conflicts: 1888000 | #Constraints: 91619
2081.89/2097.73 c #Conflicts: 1889000 | #Constraints: 92853
2081.89/2097.73 c #Conflicts: 1890000 | #Constraints: 94113
2081.89/2097.73 c #Conflicts: 1891000 | #Constraints: 95579
2081.89/2097.73 c #Conflicts: 1892000 | #Constraints: 97074
2081.89/2097.73 c #Conflicts: 1893000 | #Constraints: 98274
2081.89/2097.73 c #Conflicts: 1894000 | #Constraints: 99358
2081.89/2097.73 c #Conflicts: 1895000 | #Constraints: 100627
2081.89/2097.73 c #Conflicts: 1896000 | #Constraints: 102063
2081.89/2097.73 c #Conflicts: 1897000 | #Constraints: 103300
2081.89/2097.73 c #Conflicts: 1898000 | #Constraints: 104543
2081.89/2097.73 c #Conflicts: 1899000 | #Constraints: 106013
2081.89/2097.73 c #Conflicts: 1900000 | #Constraints: 107256
2081.89/2097.73 c #Conflicts: 1901000 | #Constraints: 108256
2081.89/2097.73 c #Conflicts: 1902000 | #Constraints: 109256
2081.89/2097.73 c #Conflicts: 1903000 | #Constraints: 110337
2081.89/2097.73 c #Conflicts: 1904000 | #Constraints: 111841
2081.89/2097.73 c #Conflicts: 1905000 | #Constraints: 112907
2081.89/2097.73 c #Conflicts: 1906000 | #Constraints: 113981
2081.89/2097.73 c #Conflicts: 1907000 | #Constraints: 115086
2081.89/2097.73 c #Conflicts: 1908000 | #Constraints: 116086
2081.89/2097.73 c #Conflicts: 1909000 | #Constraints: 117355
2081.89/2097.73 c INPROCESSING
2081.89/2097.73 c GARBAGE COLLECT
2081.89/2097.73 c #Conflicts: 1910000 | #Constraints: 88240
2081.89/2097.73 c #Conflicts: 1911000 | #Constraints: 89240
2081.89/2097.73 c #Conflicts: 1912000 | #Constraints: 90240
2081.89/2097.73 c #Conflicts: 1913000 | #Constraints: 91240
2081.89/2097.73 c #Conflicts: 1914000 | #Constraints: 92240
2081.89/2097.73 c #Conflicts: 1915000 | #Constraints: 93240
2081.89/2097.73 c #Conflicts: 1916000 | #Constraints: 94318
2081.89/2097.73 c #Conflicts: 1917000 | #Constraints: 95668
2081.89/2097.73 c #Conflicts: 1918000 | #Constraints: 96685
2081.89/2097.73 c #Conflicts: 1919000 | #Constraints: 97800
2081.89/2097.73 c #Conflicts: 1920000 | #Constraints: 98943
2081.89/2097.73 c #Conflicts: 1921000 | #Constraints: 99965
2081.89/2097.73 c #Conflicts: 1922000 | #Constraints: 100970
2081.89/2097.73 c #Conflicts: 1923000 | #Constraints: 101970
2081.89/2097.73 c #Conflicts: 1924000 | #Constraints: 102971
2159.74/2175.89 c #Conflicts: 1925000 | #Constraints: 103989
2159.74/2175.89 c #Conflicts: 1926000 | #Constraints: 104998
2159.74/2175.89 c #Conflicts: 1927000 | #Constraints: 106000
2159.74/2175.89 c #Conflicts: 1928000 | #Constraints: 107000
2159.74/2175.89 c #Conflicts: 1929000 | #Constraints: 108000
2159.74/2175.89 c #Conflicts: 1930000 | #Constraints: 109000
2159.74/2175.89 c #Conflicts: 1931000 | #Constraints: 110000
2159.74/2175.89 c #Conflicts: 1932000 | #Constraints: 111000
2159.74/2175.89 c #Conflicts: 1933000 | #Constraints: 112000
2159.74/2175.89 c #Conflicts: 1934000 | #Constraints: 113000
2159.74/2175.89 c #Conflicts: 1935000 | #Constraints: 114000
2159.74/2175.89 c #Conflicts: 1936000 | #Constraints: 115000
2159.74/2175.89 c #Conflicts: 1937000 | #Constraints: 116008
2159.74/2175.89 c INPROCESSING
2159.74/2175.89 c GARBAGE COLLECT
2159.74/2175.89 c #Conflicts: 1938000 | #Constraints: 87632
2159.74/2175.89 c #Conflicts: 1939000 | #Constraints: 88985
2159.74/2175.89 c #Conflicts: 1940000 | #Constraints: 90164
2159.74/2175.89 c #Conflicts: 1941000 | #Constraints: 91303
2159.74/2175.89 c #Conflicts: 1942000 | #Constraints: 92303
2159.74/2175.89 c #Conflicts: 1943000 | #Constraints: 93323
2159.74/2175.89 c #Conflicts: 1944000 | #Constraints: 94368
2159.74/2175.89 c #Conflicts: 1945000 | #Constraints: 95424
2159.74/2175.89 c #Conflicts: 1946000 | #Constraints: 96510
2159.74/2175.89 c #Conflicts: 1947000 | #Constraints: 97537
2159.74/2175.89 c #Conflicts: 1948000 | #Constraints: 98537
2159.74/2175.89 c #Conflicts: 1949000 | #Constraints: 99582
2159.74/2175.89 c #Conflicts: 1950000 | #Constraints: 100611
2159.74/2175.89 c #Conflicts: 1951000 | #Constraints: 101611
2159.74/2175.89 c #Conflicts: 1952000 | #Constraints: 102611
2159.74/2175.89 c #Conflicts: 1953000 | #Constraints: 103611
2159.74/2175.89 c #Conflicts: 1954000 | #Constraints: 104611
2159.74/2175.89 c #Conflicts: 1955000 | #Constraints: 105611
2159.74/2175.89 c #Conflicts: 1956000 | #Constraints: 106611
2159.74/2175.89 c #Conflicts: 1957000 | #Constraints: 107611
2159.74/2175.89 c #Conflicts: 1958000 | #Constraints: 108611
2159.74/2175.89 c #Conflicts: 1959000 | #Constraints: 109611
2159.74/2175.89 c #Conflicts: 1960000 | #Constraints: 110611
2159.74/2175.89 c #Conflicts: 1961000 | #Constraints: 111611
2159.74/2175.89 c #Conflicts: 1962000 | #Constraints: 112611
2159.74/2175.89 c #Conflicts: 1963000 | #Constraints: 113611
2159.74/2175.89 c #Conflicts: 1964000 | #Constraints: 114611
2159.74/2175.89 c #Conflicts: 1965000 | #Constraints: 115611
2159.74/2175.89 c INPROCESSING
2159.74/2175.89 c GARBAGE COLLECT
2159.74/2175.89 c #Conflicts: 1966000 | #Constraints: 87461
2159.74/2175.89 c #Conflicts: 1967000 | #Constraints: 88461
2159.74/2175.89 c #Conflicts: 1968000 | #Constraints: 89461
2159.74/2175.89 c #Conflicts: 1969000 | #Constraints: 90461
2159.74/2175.89 c #Conflicts: 1970000 | #Constraints: 91461
2159.74/2175.89 c #Conflicts: 1971000 | #Constraints: 92461
2159.74/2175.89 c #Conflicts: 1972000 | #Constraints: 93461
2159.74/2175.89 c #Conflicts: 1973000 | #Constraints: 94493
2159.74/2175.89 c #Conflicts: 1974000 | #Constraints: 95984
2159.74/2175.89 c #Conflicts: 1975000 | #Constraints: 97189
2159.74/2175.89 c #Conflicts: 1976000 | #Constraints: 98189
2159.74/2175.89 c #Conflicts: 1977000 | #Constraints: 99422
2159.74/2175.89 c #Conflicts: 1978000 | #Constraints: 100928
2159.74/2175.89 c #Conflicts: 1979000 | #Constraints: 101968
2159.74/2175.89 c #Conflicts: 1980000 | #Constraints: 102968
2159.74/2175.89 c #Conflicts: 1981000 | #Constraints: 103968
2159.74/2175.89 c #Conflicts: 1982000 | #Constraints: 104968
2159.74/2175.89 c #Conflicts: 1983000 | #Constraints: 106002
2159.74/2175.89 c #Conflicts: 1984000 | #Constraints: 107463
2159.74/2175.89 c #Conflicts: 1985000 | #Constraints: 108632
2159.74/2175.89 c #Conflicts: 1986000 | #Constraints: 109913
2159.74/2175.89 c #Conflicts: 1987000 | #Constraints: 111093
2159.74/2175.89 c #Conflicts: 1988000 | #Constraints: 112093
2159.74/2175.89 c #Conflicts: 1989000 | #Constraints: 113093
2159.74/2175.89 c #Conflicts: 1990000 | #Constraints: 114093
2159.74/2175.89 c #Conflicts: 1991000 | #Constraints: 115093
2159.74/2175.89 c #Conflicts: 1992000 | #Constraints: 116093
2159.74/2175.89 c #Conflicts: 1993000 | #Constraints: 117093
2159.74/2175.89 c INPROCESSING
2159.74/2175.89 c GARBAGE COLLECT
2159.74/2175.89 c #Conflicts: 1994000 | #Constraints: 88052
2159.74/2175.89 c #Conflicts: 1995000 | #Constraints: 89052
2159.74/2175.89 c #Conflicts: 1996000 | #Constraints: 90052
2159.74/2175.89 c #Conflicts: 1997000 | #Constraints: 91052
2159.74/2175.89 c #Conflicts: 1998000 | #Constraints: 92052
2159.74/2175.89 c #Conflicts: 1999000 | #Constraints: 93052
2159.74/2175.89 c #Conflicts: 2000000 | #Constraints: 94052
2159.74/2175.89 c #Conflicts: 2001000 | #Constraints: 95052
2333.14/2349.88 c #Conflicts: 2002000 | #Constraints: 96052
2333.14/2349.88 c #Conflicts: 2003000 | #Constraints: 97076
2333.14/2349.88 c #Conflicts: 2004000 | #Constraints: 98147
2333.14/2349.88 c #Conflicts: 2005000 | #Constraints: 99229
2333.14/2349.88 c #Conflicts: 2006000 | #Constraints: 100230
2333.14/2349.88 c #Conflicts: 2007000 | #Constraints: 101233
2333.14/2349.88 c #Conflicts: 2008000 | #Constraints: 102384
2333.14/2349.88 c #Conflicts: 2009000 | #Constraints: 103597
2333.14/2349.88 c #Conflicts: 2010000 | #Constraints: 104807
2333.14/2349.88 c #Conflicts: 2011000 | #Constraints: 106123
2333.14/2349.88 c #Conflicts: 2012000 | #Constraints: 107214
2333.14/2349.88 c #Conflicts: 2013000 | #Constraints: 108407
2333.14/2349.88 c #Conflicts: 2014000 | #Constraints: 109587
2333.14/2349.88 c #Conflicts: 2015000 | #Constraints: 111091
2333.14/2349.88 c #Conflicts: 2016000 | #Constraints: 112571
2333.14/2349.88 c #Conflicts: 2017000 | #Constraints: 114045
2333.14/2349.88 c #Conflicts: 2018000 | #Constraints: 115522
2333.14/2349.88 c #Conflicts: 2019000 | #Constraints: 117021
2333.14/2349.88 c #Conflicts: 2020000 | #Constraints: 118527
2333.14/2349.88 c #Conflicts: 2021000 | #Constraints: 119937
2333.14/2349.88 c INPROCESSING
2333.14/2349.88 c GARBAGE COLLECT
2333.14/2349.88 c #Conflicts: 2022000 | #Constraints: 89408
2333.14/2349.88 c #Conflicts: 2023000 | #Constraints: 90691
2333.14/2349.88 c #Conflicts: 2024000 | #Constraints: 91706
2333.14/2349.88 c #Conflicts: 2025000 | #Constraints: 92814
2333.14/2349.88 c #Conflicts: 2026000 | #Constraints: 93814
2333.14/2349.88 c #Conflicts: 2027000 | #Constraints: 94816
2333.14/2349.88 c #Conflicts: 2028000 | #Constraints: 95833
2333.14/2349.88 c #Conflicts: 2029000 | #Constraints: 96861
2333.14/2349.88 c #Conflicts: 2030000 | #Constraints: 97861
2333.14/2349.88 c #Conflicts: 2031000 | #Constraints: 98861
2333.14/2349.88 c #Conflicts: 2032000 | #Constraints: 99861
2333.14/2349.88 c #Conflicts: 2033000 | #Constraints: 100861
2333.14/2349.88 c #Conflicts: 2034000 | #Constraints: 101861
2333.14/2349.88 c #Conflicts: 2035000 | #Constraints: 102902
2333.14/2349.88 c #Conflicts: 2036000 | #Constraints: 104025
2333.14/2349.88 c #Conflicts: 2037000 | #Constraints: 105293
2333.14/2349.88 c #Conflicts: 2038000 | #Constraints: 106516
2333.14/2349.88 c #Conflicts: 2039000 | #Constraints: 107603
2333.14/2349.88 c #Conflicts: 2040000 | #Constraints: 108603
2333.14/2349.88 c #Conflicts: 2041000 | #Constraints: 109648
2333.14/2349.88 c #Conflicts: 2042000 | #Constraints: 110757
2333.14/2349.88 c #Conflicts: 2043000 | #Constraints: 111757
2333.14/2349.88 c #Conflicts: 2044000 | #Constraints: 112757
2333.14/2349.88 c #Conflicts: 2045000 | #Constraints: 113757
2333.14/2349.88 c #Conflicts: 2046000 | #Constraints: 114757
2333.14/2349.88 c #Conflicts: 2047000 | #Constraints: 115757
2333.14/2349.88 c #Conflicts: 2048000 | #Constraints: 116757
2333.14/2349.88 c #Conflicts: 2049000 | #Constraints: 117757
2333.14/2349.88 c #Conflicts: 2050000 | #Constraints: 118757
2333.14/2349.88 c INPROCESSING
2333.14/2349.88 c GARBAGE COLLECT
2333.14/2349.88 c #Conflicts: 2051000 | #Constraints: 88879
2333.14/2349.88 c #Conflicts: 2052000 | #Constraints: 89879
2333.14/2349.88 c #Conflicts: 2053000 | #Constraints: 90879
2333.14/2349.88 c #Conflicts: 2054000 | #Constraints: 91879
2333.14/2349.88 c #Conflicts: 2055000 | #Constraints: 92894
2333.14/2349.88 c #Conflicts: 2056000 | #Constraints: 93963
2333.14/2349.88 c #Conflicts: 2057000 | #Constraints: 95132
2333.14/2349.88 c #Conflicts: 2058000 | #Constraints: 96584
2333.14/2349.88 c #Conflicts: 2059000 | #Constraints: 97805
2333.14/2349.88 c #Conflicts: 2060000 | #Constraints: 99095
2333.14/2349.88 c #Conflicts: 2061000 | #Constraints: 100354
2333.14/2349.88 c #Conflicts: 2062000 | #Constraints: 101604
2333.14/2349.88 c #Conflicts: 2063000 | #Constraints: 102718
2333.14/2349.88 c #Conflicts: 2064000 | #Constraints: 103797
2333.14/2349.88 c #Conflicts: 2065000 | #Constraints: 105086
2333.14/2349.88 c #Conflicts: 2066000 | #Constraints: 106586
2333.14/2349.88 c #Conflicts: 2067000 | #Constraints: 107587
2333.14/2349.88 c #Conflicts: 2068000 | #Constraints: 109013
2333.14/2349.88 c #Conflicts: 2069000 | #Constraints: 110494
2333.14/2349.88 c #Conflicts: 2070000 | #Constraints: 111963
2333.14/2349.88 c #Conflicts: 2071000 | #Constraints: 113436
2333.14/2349.88 c #Conflicts: 2072000 | #Constraints: 114911
2333.14/2349.88 c #Conflicts: 2073000 | #Constraints: 116400
2333.14/2349.88 c #Conflicts: 2074000 | #Constraints: 117900
2333.14/2349.88 c #Conflicts: 2075000 | #Constraints: 119384
2333.14/2349.88 c #Conflicts: 2076000 | #Constraints: 120871
2333.14/2349.88 c #Conflicts: 2077000 | #Constraints: 122342
2333.14/2349.88 c #Conflicts: 2078000 | #Constraints: 123857
2333.14/2349.88 c #Conflicts: 2079000 | #Constraints: 125352
2671.93/2689.87 c INPROCESSING
2671.93/2689.87 c GARBAGE COLLECT
2671.93/2689.87 c #Conflicts: 2080000 | #Constraints: 92872
2671.93/2689.87 c #Conflicts: 2081000 | #Constraints: 94359
2671.93/2689.87 c #Conflicts: 2082000 | #Constraints: 95856
2671.93/2689.87 c #Conflicts: 2083000 | #Constraints: 97360
2671.93/2689.87 c #Conflicts: 2084000 | #Constraints: 98848
2671.93/2689.87 c #Conflicts: 2085000 | #Constraints: 100341
2671.93/2689.87 c #Conflicts: 2086000 | #Constraints: 101825
2671.93/2689.87 c #Conflicts: 2087000 | #Constraints: 103328
2671.93/2689.87 c #Conflicts: 2088000 | #Constraints: 104817
2671.93/2689.87 c #Conflicts: 2089000 | #Constraints: 106322
2671.93/2689.87 c #Conflicts: 2090000 | #Constraints: 107825
2671.93/2689.87 c #Conflicts: 2091000 | #Constraints: 109332
2671.93/2689.87 c #Conflicts: 2092000 | #Constraints: 110810
2671.93/2689.87 c #Conflicts: 2093000 | #Constraints: 112290
2671.93/2689.87 c #Conflicts: 2094000 | #Constraints: 113781
2671.93/2689.87 c #Conflicts: 2095000 | #Constraints: 115259
2671.93/2689.87 c #Conflicts: 2096000 | #Constraints: 116757
2671.93/2689.87 c #Conflicts: 2097000 | #Constraints: 118234
2671.93/2689.87 c #Conflicts: 2098000 | #Constraints: 119742
2671.93/2689.87 c #Conflicts: 2099000 | #Constraints: 121249
2671.93/2689.87 c #Conflicts: 2100000 | #Constraints: 122749
2671.93/2689.87 c #Conflicts: 2101000 | #Constraints: 124252
2671.93/2689.87 c #Conflicts: 2102000 | #Constraints: 125730
2671.93/2689.87 c #Conflicts: 2103000 | #Constraints: 127225
2671.93/2689.87 c #Conflicts: 2104000 | #Constraints: 128712
2671.93/2689.87 c #Conflicts: 2105000 | #Constraints: 130169
2671.93/2689.87 c #Conflicts: 2106000 | #Constraints: 131651
2671.93/2689.87 c #Conflicts: 2107000 | #Constraints: 133120
2671.93/2689.87 c #Conflicts: 2108000 | #Constraints: 134598
2671.93/2689.87 c INPROCESSING
2671.93/2689.87 c GARBAGE COLLECT
2671.93/2689.87 c #Conflicts: 2109000 | #Constraints: 97376
2671.93/2689.87 c #Conflicts: 2110000 | #Constraints: 98376
2671.93/2689.87 c #Conflicts: 2111000 | #Constraints: 99592
2671.93/2689.87 c #Conflicts: 2112000 | #Constraints: 101068
2671.93/2689.87 c #Conflicts: 2113000 | #Constraints: 102541
2671.93/2689.87 c #Conflicts: 2114000 | #Constraints: 104038
2671.93/2689.87 c #Conflicts: 2115000 | #Constraints: 105501
2671.93/2689.87 c #Conflicts: 2116000 | #Constraints: 106984
2671.93/2689.87 c #Conflicts: 2117000 | #Constraints: 108464
2671.93/2689.87 c #Conflicts: 2118000 | #Constraints: 109941
2671.93/2689.87 c #Conflicts: 2119000 | #Constraints: 111427
2671.93/2689.87 c #Conflicts: 2120000 | #Constraints: 112922
2671.93/2689.87 c #Conflicts: 2121000 | #Constraints: 114397
2671.93/2689.87 c #Conflicts: 2122000 | #Constraints: 115865
2671.93/2689.87 c #Conflicts: 2123000 | #Constraints: 117344
2671.93/2689.87 c #Conflicts: 2124000 | #Constraints: 118843
2671.93/2689.87 c #Conflicts: 2125000 | #Constraints: 120329
2671.93/2689.87 c #Conflicts: 2126000 | #Constraints: 121811
2671.93/2689.87 c #Conflicts: 2127000 | #Constraints: 123298
2671.93/2689.87 c #Conflicts: 2128000 | #Constraints: 124777
2671.93/2689.87 c #Conflicts: 2129000 | #Constraints: 126261
2671.93/2689.87 c #Conflicts: 2130000 | #Constraints: 127747
2671.93/2689.87 c #Conflicts: 2131000 | #Constraints: 129228
2671.93/2689.87 c #Conflicts: 2132000 | #Constraints: 130742
2671.93/2689.87 c #Conflicts: 2133000 | #Constraints: 132236
2671.93/2689.87 c #Conflicts: 2134000 | #Constraints: 133728
2671.93/2689.87 c #Conflicts: 2135000 | #Constraints: 135201
2671.93/2689.87 c #Conflicts: 2136000 | #Constraints: 136691
2671.93/2689.87 c #Conflicts: 2137000 | #Constraints: 138189
2671.93/2689.87 c INPROCESSING
2671.93/2689.87 c GARBAGE COLLECT
2671.93/2689.87 c #Conflicts: 2138000 | #Constraints: 98732
2671.93/2689.87 c #Conflicts: 2139000 | #Constraints: 99732
2671.93/2689.87 c #Conflicts: 2140000 | #Constraints: 100742
2671.93/2689.87 c #Conflicts: 2141000 | #Constraints: 102255
2671.93/2689.87 c #Conflicts: 2142000 | #Constraints: 103753
2671.93/2689.87 c #Conflicts: 2143000 | #Constraints: 104926
2671.93/2689.87 c #Conflicts: 2144000 | #Constraints: 106267
2671.93/2689.87 c #Conflicts: 2145000 | #Constraints: 107765
2671.93/2689.87 c #Conflicts: 2146000 | #Constraints: 109259
2671.93/2689.87 c #Conflicts: 2147000 | #Constraints: 110700
2671.93/2689.87 c #Conflicts: 2148000 | #Constraints: 112189
2671.93/2689.87 c #Conflicts: 2149000 | #Constraints: 113681
2671.93/2689.87 c #Conflicts: 2150000 | #Constraints: 115152
2671.93/2689.87 c #Conflicts: 2151000 | #Constraints: 116595
2671.93/2689.87 c #Conflicts: 2152000 | #Constraints: 118087
2671.93/2689.87 c #Conflicts: 2153000 | #Constraints: 119255
2671.93/2689.87 c #Conflicts: 2154000 | #Constraints: 120413
2671.93/2689.87 c #Conflicts: 2155000 | #Constraints: 121494
2930.47/2949.20 c #Conflicts: 2156000 | #Constraints: 122988
2930.47/2949.20 c #Conflicts: 2157000 | #Constraints: 124431
2930.47/2949.20 c #Conflicts: 2158000 | #Constraints: 125743
2930.47/2949.20 c #Conflicts: 2159000 | #Constraints: 127238
2930.47/2949.20 c #Conflicts: 2160000 | #Constraints: 128726
2930.47/2949.20 c #Conflicts: 2161000 | #Constraints: 130187
2930.47/2949.20 c #Conflicts: 2162000 | #Constraints: 131662
2930.47/2949.20 c #Conflicts: 2163000 | #Constraints: 133164
2930.47/2949.20 c #Conflicts: 2164000 | #Constraints: 134634
2930.47/2949.20 c #Conflicts: 2165000 | #Constraints: 135910
2930.47/2949.20 c #Conflicts: 2166000 | #Constraints: 137304
2930.47/2949.20 c INPROCESSING
2930.47/2949.20 c GARBAGE COLLECT
2930.47/2949.20 c #Conflicts: 2167000 | #Constraints: 98236
2930.47/2949.20 c #Conflicts: 2168000 | #Constraints: 99733
2930.47/2949.20 c #Conflicts: 2169000 | #Constraints: 101219
2930.47/2949.20 c #Conflicts: 2170000 | #Constraints: 102723
2930.47/2949.20 c #Conflicts: 2171000 | #Constraints: 104242
2930.47/2949.20 c #Conflicts: 2172000 | #Constraints: 105723
2930.47/2949.20 c #Conflicts: 2173000 | #Constraints: 107217
2930.47/2949.20 c #Conflicts: 2174000 | #Constraints: 108712
2930.47/2949.20 c #Conflicts: 2175000 | #Constraints: 110205
2930.47/2949.20 c #Conflicts: 2176000 | #Constraints: 111708
2930.47/2949.20 c #Conflicts: 2177000 | #Constraints: 113211
2930.47/2949.20 c #Conflicts: 2178000 | #Constraints: 114708
2930.47/2949.20 c #Conflicts: 2179000 | #Constraints: 116088
2930.47/2949.20 c #Conflicts: 2180000 | #Constraints: 117088
2930.47/2949.20 c #Conflicts: 2181000 | #Constraints: 118088
2930.47/2949.20 c #Conflicts: 2182000 | #Constraints: 119088
2930.47/2949.20 c #Conflicts: 2183000 | #Constraints: 120089
2930.47/2949.20 c #Conflicts: 2184000 | #Constraints: 121091
2930.47/2949.20 c #Conflicts: 2185000 | #Constraints: 122112
2930.47/2949.20 c #Conflicts: 2186000 | #Constraints: 123327
2930.47/2949.20 c #Conflicts: 2187000 | #Constraints: 124827
2930.47/2949.20 c #Conflicts: 2188000 | #Constraints: 126307
2930.47/2949.20 c #Conflicts: 2189000 | #Constraints: 127788
2930.47/2949.20 c #Conflicts: 2190000 | #Constraints: 129212
2930.47/2949.20 c #Conflicts: 2191000 | #Constraints: 130688
2930.47/2949.20 c #Conflicts: 2192000 | #Constraints: 132164
2930.47/2949.20 c #Conflicts: 2193000 | #Constraints: 133467
2930.47/2949.20 c #Conflicts: 2194000 | #Constraints: 134467
2930.47/2949.20 c #Conflicts: 2195000 | #Constraints: 135467
2930.47/2949.20 c #Conflicts: 2196000 | #Constraints: 136467
2930.47/2949.20 c INPROCESSING
2930.47/2949.20 c GARBAGE COLLECT
2930.47/2949.20 c #Conflicts: 2197000 | #Constraints: 97785
2930.47/2949.20 c #Conflicts: 2198000 | #Constraints: 98785
2930.47/2949.20 c #Conflicts: 2199000 | #Constraints: 99785
2930.47/2949.20 c #Conflicts: 2200000 | #Constraints: 100785
2930.47/2949.20 c #Conflicts: 2201000 | #Constraints: 101785
2930.47/2949.20 c #Conflicts: 2202000 | #Constraints: 102785
2930.47/2949.20 c #Conflicts: 2203000 | #Constraints: 103785
2930.47/2949.20 c #Conflicts: 2204000 | #Constraints: 104785
2930.47/2949.20 c #Conflicts: 2205000 | #Constraints: 105785
2930.47/2949.20 c #Conflicts: 2206000 | #Constraints: 106785
2930.47/2949.20 c #Conflicts: 2207000 | #Constraints: 107785
2930.47/2949.20 c #Conflicts: 2208000 | #Constraints: 108785
2930.47/2949.20 c #Conflicts: 2209000 | #Constraints: 109785
2930.47/2949.20 c #Conflicts: 2210000 | #Constraints: 110785
2930.47/2949.20 c #Conflicts: 2211000 | #Constraints: 111785
2930.47/2949.20 c #Conflicts: 2212000 | #Constraints: 112785
2930.47/2949.20 c #Conflicts: 2213000 | #Constraints: 113785
2930.47/2949.20 c #Conflicts: 2214000 | #Constraints: 114785
2930.47/2949.20 c #Conflicts: 2215000 | #Constraints: 115785
2930.47/2949.20 c #Conflicts: 2216000 | #Constraints: 116785
2930.47/2949.20 c #Conflicts: 2217000 | #Constraints: 117785
2930.47/2949.20 c #Conflicts: 2218000 | #Constraints: 118799
2930.47/2949.20 c #Conflicts: 2219000 | #Constraints: 119899
2930.47/2949.20 c #Conflicts: 2220000 | #Constraints: 121118
2930.47/2949.20 c #Conflicts: 2221000 | #Constraints: 122480
2930.47/2949.20 c #Conflicts: 2222000 | #Constraints: 123831
2930.47/2949.20 c #Conflicts: 2223000 | #Constraints: 125294
2930.47/2949.20 c #Conflicts: 2224000 | #Constraints: 126606
2930.47/2949.20 c #Conflicts: 2225000 | #Constraints: 127750
2930.47/2949.20 c #Conflicts: 2226000 | #Constraints: 129196
2930.47/2949.20 c INPROCESSING
2930.47/2949.20 c GARBAGE COLLECT
2930.47/2949.20 c #Conflicts: 2227000 | #Constraints: 94492
2930.47/2949.20 c #Conflicts: 2228000 | #Constraints: 95981
2930.47/2949.20 c #Conflicts: 2229000 | #Constraints: 97452
2930.47/2949.20 c #Conflicts: 2230000 | #Constraints: 98974
2930.47/2949.20 c #Conflicts: 2231000 | #Constraints: 100438
2930.47/2949.20 c #Conflicts: 2232000 | #Constraints: 101662
3217.62/3237.55 c #Conflicts: 2233000 | #Constraints: 102662
3217.62/3237.55 c #Conflicts: 2234000 | #Constraints: 103662
3217.62/3237.55 c #Conflicts: 2235000 | #Constraints: 104662
3217.62/3237.55 c #Conflicts: 2236000 | #Constraints: 105662
3217.62/3237.55 c #Conflicts: 2237000 | #Constraints: 106662
3217.62/3237.55 c #Conflicts: 2238000 | #Constraints: 107662
3217.62/3237.55 c #Conflicts: 2239000 | #Constraints: 108662
3217.62/3237.55 c #Conflicts: 2240000 | #Constraints: 109961
3217.62/3237.55 c #Conflicts: 2241000 | #Constraints: 111448
3217.62/3237.55 c #Conflicts: 2242000 | #Constraints: 112921
3217.62/3237.55 c #Conflicts: 2243000 | #Constraints: 114407
3217.62/3237.55 c #Conflicts: 2244000 | #Constraints: 115907
3217.62/3237.55 c #Conflicts: 2245000 | #Constraints: 117400
3217.62/3237.55 c #Conflicts: 2246000 | #Constraints: 118913
3217.62/3237.55 c #Conflicts: 2247000 | #Constraints: 120430
3217.62/3237.55 c #Conflicts: 2248000 | #Constraints: 121932
3217.62/3237.55 c #Conflicts: 2249000 | #Constraints: 123463
3217.62/3237.55 c #Conflicts: 2250000 | #Constraints: 124965
3217.62/3237.55 c #Conflicts: 2251000 | #Constraints: 126458
3217.62/3237.55 c #Conflicts: 2252000 | #Constraints: 127930
3217.62/3237.55 c #Conflicts: 2253000 | #Constraints: 129218
3217.62/3237.55 c #Conflicts: 2254000 | #Constraints: 130737
3217.62/3237.55 c #Conflicts: 2255000 | #Constraints: 132235
3217.62/3237.55 c #Conflicts: 2256000 | #Constraints: 133716
3217.62/3237.55 c INPROCESSING
3217.62/3237.55 c GARBAGE COLLECT
3217.62/3237.55 c #Conflicts: 2257000 | #Constraints: 96883
3217.62/3237.55 c #Conflicts: 2258000 | #Constraints: 97914
3217.62/3237.55 c #Conflicts: 2259000 | #Constraints: 99027
3217.62/3237.55 c #Conflicts: 2260000 | #Constraints: 100414
3217.62/3237.55 c #Conflicts: 2261000 | #Constraints: 101576
3217.62/3237.55 c #Conflicts: 2262000 | #Constraints: 102742
3217.62/3237.55 c #Conflicts: 2263000 | #Constraints: 103885
3217.62/3237.55 c #Conflicts: 2264000 | #Constraints: 105241
3217.62/3237.55 c #Conflicts: 2265000 | #Constraints: 106633
3217.62/3237.55 c #Conflicts: 2266000 | #Constraints: 108088
3217.62/3237.55 c #Conflicts: 2267000 | #Constraints: 109437
3217.62/3237.55 c #Conflicts: 2268000 | #Constraints: 110922
3217.62/3237.55 c #Conflicts: 2269000 | #Constraints: 112248
3217.62/3237.55 c #Conflicts: 2270000 | #Constraints: 113377
3217.62/3237.55 c #Conflicts: 2271000 | #Constraints: 114609
3217.62/3237.55 c #Conflicts: 2272000 | #Constraints: 115848
3217.62/3237.55 c #Conflicts: 2273000 | #Constraints: 116954
3217.62/3237.55 c #Conflicts: 2274000 | #Constraints: 118090
3217.62/3237.55 c #Conflicts: 2275000 | #Constraints: 119326
3217.62/3237.55 c #Conflicts: 2276000 | #Constraints: 120544
3217.62/3237.55 c #Conflicts: 2277000 | #Constraints: 121930
3217.62/3237.55 c #Conflicts: 2278000 | #Constraints: 122939
3217.62/3237.55 c #Conflicts: 2279000 | #Constraints: 124083
3217.62/3237.55 c #Conflicts: 2280000 | #Constraints: 125566
3217.62/3237.55 c #Conflicts: 2281000 | #Constraints: 127054
3217.62/3237.55 c #Conflicts: 2282000 | #Constraints: 128421
3217.62/3237.55 c #Conflicts: 2283000 | #Constraints: 129802
3217.62/3237.55 c #Conflicts: 2284000 | #Constraints: 131022
3217.62/3237.55 c #Conflicts: 2285000 | #Constraints: 132233
3217.62/3237.55 c #Conflicts: 2286000 | #Constraints: 133372
3217.62/3237.55 c INPROCESSING
3217.62/3237.55 c GARBAGE COLLECT
3217.62/3237.55 c #Conflicts: 2287000 | #Constraints: 96387
3217.62/3237.55 c #Conflicts: 2288000 | #Constraints: 97412
3217.62/3237.55 c #Conflicts: 2289000 | #Constraints: 98487
3217.62/3237.55 c #Conflicts: 2290000 | #Constraints: 99961
3217.62/3237.55 c #Conflicts: 2291000 | #Constraints: 101465
3217.62/3237.55 c #Conflicts: 2292000 | #Constraints: 102985
3217.62/3237.55 c #Conflicts: 2293000 | #Constraints: 104466
3217.62/3237.55 c #Conflicts: 2294000 | #Constraints: 105954
3217.62/3237.55 c #Conflicts: 2295000 | #Constraints: 107460
3217.62/3237.55 c #Conflicts: 2296000 | #Constraints: 108953
3217.62/3237.55 c #Conflicts: 2297000 | #Constraints: 110437
3217.62/3237.55 c #Conflicts: 2298000 | #Constraints: 111894
3217.62/3237.55 c #Conflicts: 2299000 | #Constraints: 113037
3217.62/3237.55 c #Conflicts: 2300000 | #Constraints: 114194
3217.62/3237.55 c #Conflicts: 2301000 | #Constraints: 115468
3217.62/3237.55 c #Conflicts: 2302000 | #Constraints: 116657
3217.62/3237.55 c #Conflicts: 2303000 | #Constraints: 118100
3217.62/3237.55 c #Conflicts: 2304000 | #Constraints: 119562
3217.62/3237.55 c #Conflicts: 2305000 | #Constraints: 121054
3217.62/3237.55 c #Conflicts: 2306000 | #Constraints: 122527
3217.62/3237.55 c #Conflicts: 2307000 | #Constraints: 123786
3217.62/3237.55 c #Conflicts: 2308000 | #Constraints: 124875
3217.62/3237.55 c #Conflicts: 2309000 | #Constraints: 126365
3217.62/3237.55 c #Conflicts: 2310000 | #Constraints: 127853
3323.65/3343.93 c #Conflicts: 2311000 | #Constraints: 129352
3323.65/3343.93 c #Conflicts: 2312000 | #Constraints: 130844
3323.65/3343.93 c #Conflicts: 2313000 | #Constraints: 132366
3323.65/3343.93 c #Conflicts: 2314000 | #Constraints: 133868
3323.65/3343.93 c #Conflicts: 2315000 | #Constraints: 135373
3323.65/3343.93 c #Conflicts: 2316000 | #Constraints: 136875
3323.65/3343.93 c INPROCESSING
3323.65/3343.93 c GARBAGE COLLECT
3323.65/3343.93 c #Conflicts: 2317000 | #Constraints: 97903
3323.65/3343.93 c #Conflicts: 2318000 | #Constraints: 98903
3323.65/3343.93 c #Conflicts: 2319000 | #Constraints: 99903
3323.65/3343.93 c #Conflicts: 2320000 | #Constraints: 100903
3323.65/3343.93 c #Conflicts: 2321000 | #Constraints: 101903
3323.65/3343.93 c #Conflicts: 2322000 | #Constraints: 102903
3323.65/3343.93 c #Conflicts: 2323000 | #Constraints: 103903
3323.65/3343.93 c #Conflicts: 2324000 | #Constraints: 104903
3323.65/3343.93 c #Conflicts: 2325000 | #Constraints: 105903
3323.65/3343.93 c #Conflicts: 2326000 | #Constraints: 106903
3323.65/3343.93 c #Conflicts: 2327000 | #Constraints: 107903
3323.65/3343.93 c #Conflicts: 2328000 | #Constraints: 108903
3323.65/3343.93 c #Conflicts: 2329000 | #Constraints: 109903
3323.65/3343.93 c #Conflicts: 2330000 | #Constraints: 110903
3323.65/3343.93 c #Conflicts: 2331000 | #Constraints: 111903
3323.65/3343.93 c #Conflicts: 2332000 | #Constraints: 112903
3323.65/3343.93 c #Conflicts: 2333000 | #Constraints: 113903
3323.65/3343.93 c #Conflicts: 2334000 | #Constraints: 114903
3323.65/3343.93 c #Conflicts: 2335000 | #Constraints: 115903
3323.65/3343.93 c #Conflicts: 2336000 | #Constraints: 116903
3323.65/3343.93 c #Conflicts: 2337000 | #Constraints: 117903
3323.65/3343.93 c #Conflicts: 2338000 | #Constraints: 118903
3323.65/3343.93 c #Conflicts: 2339000 | #Constraints: 119903
3323.65/3343.93 c #Conflicts: 2340000 | #Constraints: 120903
3323.65/3343.93 c #Conflicts: 2341000 | #Constraints: 121903
3323.65/3343.93 c #Conflicts: 2342000 | #Constraints: 122903
3323.65/3343.93 c #Conflicts: 2343000 | #Constraints: 123903
3323.65/3343.93 c #Conflicts: 2344000 | #Constraints: 124903
3323.65/3343.93 c #Conflicts: 2345000 | #Constraints: 125903
3323.65/3343.93 c #Conflicts: 2346000 | #Constraints: 126903
3323.65/3343.93 c #Conflicts: 2347000 | #Constraints: 127903
3323.65/3343.93 c INPROCESSING
3323.65/3343.93 c GARBAGE COLLECT
3323.65/3343.93 c #Conflicts: 2348000 | #Constraints: 93528
3323.65/3343.93 c #Conflicts: 2349000 | #Constraints: 94528
3323.65/3343.93 c #Conflicts: 2350000 | #Constraints: 95528
3323.65/3343.93 c #Conflicts: 2351000 | #Constraints: 96528
3323.65/3343.93 c #Conflicts: 2352000 | #Constraints: 97528
3323.65/3343.93 c #Conflicts: 2353000 | #Constraints: 98528
3323.65/3343.93 c #Conflicts: 2354000 | #Constraints: 99528
3323.65/3343.93 c #Conflicts: 2355000 | #Constraints: 100528
3323.65/3343.93 c #Conflicts: 2356000 | #Constraints: 101528
3323.65/3343.93 c #Conflicts: 2357000 | #Constraints: 102528
3323.65/3343.93 c #Conflicts: 2358000 | #Constraints: 103528
3323.65/3343.93 c #Conflicts: 2359000 | #Constraints: 104528
3323.65/3343.93 c #Conflicts: 2360000 | #Constraints: 105528
3323.65/3343.93 c #Conflicts: 2361000 | #Constraints: 106528
3323.65/3343.93 c #Conflicts: 2362000 | #Constraints: 107528
3323.65/3343.93 c #Conflicts: 2363000 | #Constraints: 108528
3323.65/3343.93 c #Conflicts: 2364000 | #Constraints: 109528
3323.65/3343.93 c #Conflicts: 2365000 | #Constraints: 110528
3323.65/3343.93 c #Conflicts: 2366000 | #Constraints: 111528
3323.65/3343.93 c #Conflicts: 2367000 | #Constraints: 112528
3323.65/3343.93 c #Conflicts: 2368000 | #Constraints: 113528
3323.65/3343.93 c #Conflicts: 2369000 | #Constraints: 114528
3323.65/3343.93 c #Conflicts: 2370000 | #Constraints: 115528
3323.65/3343.93 c #Conflicts: 2371000 | #Constraints: 116528
3323.65/3343.93 c #Conflicts: 2372000 | #Constraints: 117528
3323.65/3343.93 c #Conflicts: 2373000 | #Constraints: 118528
3323.65/3343.93 c #Conflicts: 2374000 | #Constraints: 119528
3323.65/3343.93 c #Conflicts: 2375000 | #Constraints: 120528
3323.65/3343.93 c #Conflicts: 2376000 | #Constraints: 121528
3323.65/3343.93 c #Conflicts: 2377000 | #Constraints: 122528
3323.65/3343.93 c #Conflicts: 2378000 | #Constraints: 123528
3323.65/3343.93 c INPROCESSING
3323.65/3343.93 c GARBAGE COLLECT
3323.65/3343.93 c #Conflicts: 2379000 | #Constraints: 91474
3323.65/3343.93 c #Conflicts: 2380000 | #Constraints: 92474
3323.65/3343.93 c #Conflicts: 2381000 | #Constraints: 93474
3323.65/3343.93 c #Conflicts: 2382000 | #Constraints: 94474
3323.65/3343.93 c #Conflicts: 2383000 | #Constraints: 95474
3323.65/3343.93 c #Conflicts: 2384000 | #Constraints: 96474
3323.65/3343.93 c #Conflicts: 2385000 | #Constraints: 97474
3323.65/3343.93 c #Conflicts: 2386000 | #Constraints: 98474
3323.65/3343.93 c #Conflicts: 2387000 | #Constraints: 99474
3546.95/3568.00 c #Conflicts: 2388000 | #Constraints: 100538
3546.95/3568.00 c #Conflicts: 2389000 | #Constraints: 101999
3546.95/3568.00 c #Conflicts: 2390000 | #Constraints: 103462
3546.95/3568.00 c #Conflicts: 2391000 | #Constraints: 104948
3546.95/3568.00 c #Conflicts: 2392000 | #Constraints: 106414
3546.95/3568.00 c #Conflicts: 2393000 | #Constraints: 107892
3546.95/3568.00 c #Conflicts: 2394000 | #Constraints: 109366
3546.95/3568.00 c #Conflicts: 2395000 | #Constraints: 110765
3546.95/3568.00 c #Conflicts: 2396000 | #Constraints: 112129
3546.95/3568.00 c #Conflicts: 2397000 | #Constraints: 113277
3546.95/3568.00 c #Conflicts: 2398000 | #Constraints: 114538
3546.95/3568.00 c #Conflicts: 2399000 | #Constraints: 116037
3546.95/3568.00 c #Conflicts: 2400000 | #Constraints: 117512
3546.95/3568.00 c #Conflicts: 2401000 | #Constraints: 119004
3546.95/3568.00 c #Conflicts: 2402000 | #Constraints: 120520
3546.95/3568.00 c #Conflicts: 2403000 | #Constraints: 122042
3546.95/3568.00 c #Conflicts: 2404000 | #Constraints: 123517
3546.95/3568.00 c #Conflicts: 2405000 | #Constraints: 125002
3546.95/3568.00 c #Conflicts: 2406000 | #Constraints: 126513
3546.95/3568.00 c #Conflicts: 2407000 | #Constraints: 128025
3546.95/3568.00 c #Conflicts: 2408000 | #Constraints: 129536
3546.95/3568.00 c #Conflicts: 2409000 | #Constraints: 130921
3546.95/3568.00 c INPROCESSING
3546.95/3568.00 c GARBAGE COLLECT
3546.95/3568.00 c #Conflicts: 2410000 | #Constraints: 95327
3546.95/3568.00 c #Conflicts: 2411000 | #Constraints: 96340
3546.95/3568.00 c #Conflicts: 2412000 | #Constraints: 97345
3546.95/3568.00 c #Conflicts: 2413000 | #Constraints: 98345
3546.95/3568.00 c #Conflicts: 2414000 | #Constraints: 99458
3546.95/3568.00 c #Conflicts: 2415000 | #Constraints: 100604
3546.95/3568.00 c #Conflicts: 2416000 | #Constraints: 101705
3546.95/3568.00 c #Conflicts: 2417000 | #Constraints: 102705
3546.95/3568.00 c #Conflicts: 2418000 | #Constraints: 103705
3546.95/3568.00 c #Conflicts: 2419000 | #Constraints: 104705
3546.95/3568.00 c #Conflicts: 2420000 | #Constraints: 105789
3546.95/3568.00 c #Conflicts: 2421000 | #Constraints: 106924
3546.95/3568.00 c #Conflicts: 2422000 | #Constraints: 108353
3546.95/3568.00 c #Conflicts: 2423000 | #Constraints: 109365
3546.95/3568.00 c #Conflicts: 2424000 | #Constraints: 110365
3546.95/3568.00 c #Conflicts: 2425000 | #Constraints: 111365
3546.95/3568.00 c #Conflicts: 2426000 | #Constraints: 112366
3546.95/3568.00 c #Conflicts: 2427000 | #Constraints: 113366
3546.95/3568.00 c #Conflicts: 2428000 | #Constraints: 114367
3546.95/3568.00 c #Conflicts: 2429000 | #Constraints: 115504
3546.95/3568.00 c #Conflicts: 2430000 | #Constraints: 116607
3546.95/3568.00 c #Conflicts: 2431000 | #Constraints: 117623
3546.95/3568.00 c #Conflicts: 2432000 | #Constraints: 118642
3546.95/3568.00 c #Conflicts: 2433000 | #Constraints: 119642
3546.95/3568.00 c #Conflicts: 2434000 | #Constraints: 120642
3546.95/3568.00 c #Conflicts: 2435000 | #Constraints: 121642
3546.95/3568.00 c #Conflicts: 2436000 | #Constraints: 122642
3546.95/3568.00 c #Conflicts: 2437000 | #Constraints: 123642
3546.95/3568.00 c #Conflicts: 2438000 | #Constraints: 124642
3546.95/3568.00 c #Conflicts: 2439000 | #Constraints: 125642
3546.95/3568.00 c #Conflicts: 2440000 | #Constraints: 126642
3546.95/3568.00 c INPROCESSING
3546.95/3568.00 c GARBAGE COLLECT
3546.95/3568.00 c #Conflicts: 2441000 | #Constraints: 92944
3546.95/3568.00 c #Conflicts: 2442000 | #Constraints: 93944
3546.95/3568.00 c #Conflicts: 2443000 | #Constraints: 95144
3546.95/3568.00 c #Conflicts: 2444000 | #Constraints: 96294
3546.95/3568.00 c #Conflicts: 2445000 | #Constraints: 97318
3546.95/3568.00 c #Conflicts: 2446000 | #Constraints: 98569
3546.95/3568.00 c #Conflicts: 2447000 | #Constraints: 99891
3546.95/3568.00 c #Conflicts: 2448000 | #Constraints: 101172
3546.95/3568.00 c #Conflicts: 2449000 | #Constraints: 102254
3546.95/3568.00 c #Conflicts: 2450000 | #Constraints: 103254
3546.95/3568.00 c #Conflicts: 2451000 | #Constraints: 104254
3546.95/3568.00 c #Conflicts: 2452000 | #Constraints: 105254
3546.95/3568.00 c #Conflicts: 2453000 | #Constraints: 106254
3546.95/3568.00 c #Conflicts: 2454000 | #Constraints: 107585
3546.95/3568.00 c #Conflicts: 2455000 | #Constraints: 109008
3546.95/3568.00 c #Conflicts: 2456000 | #Constraints: 110382
3546.95/3568.00 c #Conflicts: 2457000 | #Constraints: 111475
3546.95/3568.00 c #Conflicts: 2458000 | #Constraints: 112771
3546.95/3568.00 c #Conflicts: 2459000 | #Constraints: 114308
3546.95/3568.00 c #Conflicts: 2460000 | #Constraints: 115815
3546.95/3568.00 c #Conflicts: 2461000 | #Constraints: 117301
3546.95/3568.00 c #Conflicts: 2462000 | #Constraints: 118823
3546.95/3568.00 c #Conflicts: 2463000 | #Constraints: 120394
3546.95/3568.00 c #Conflicts: 2464000 | #Constraints: 121919
3600.07/3621.20 c #Conflicts: 2465000 | #Constraints: 123294
3600.07/3621.20 c #Conflicts: 2466000 | #Constraints: 124725
3600.07/3621.20 c #Conflicts: 2467000 | #Constraints: 126060
3600.07/3621.20 c #Conflicts: 2468000 | #Constraints: 127539
3600.07/3621.20 c #Conflicts: 2469000 | #Constraints: 128625
3600.07/3621.20 c #Conflicts: 2470000 | #Constraints: 129638
3600.07/3621.20 c #Conflicts: 2471000 | #Constraints: 130638
3600.07/3621.20 c INPROCESSING
3600.07/3621.20 c GARBAGE COLLECT
3600.07/3621.20 c #Conflicts: 2472000 | #Constraints: 94657
3600.07/3621.20 c #Conflicts: 2473000 | #Constraints: 95657
3600.07/3621.20 c #Conflicts: 2474000 | #Constraints: 96658
3600.07/3621.20 c #Conflicts: 2475000 | #Constraints: 97714
3600.07/3621.20 c #Conflicts: 2476000 | #Constraints: 98801
3600.07/3621.20 c #Conflicts: 2477000 | #Constraints: 100000
3600.07/3621.20 c #Conflicts: 2478000 | #Constraints: 101109
3600.07/3621.20 c #Conflicts: 2479000 | #Constraints: 102482
3600.07/3621.20 c #Conflicts: 2480000 | #Constraints: 103728
3600.07/3621.20 c #Conflicts: 2481000 | #Constraints: 104785
3600.07/3621.20 c #Conflicts: 2482000 | #Constraints: 105961
3600.07/3621.20 c #Conflicts: 2483000 | #Constraints: 107147
3600.07/3621.20 c #Conflicts: 2484000 | #Constraints: 108222
3600.07/3621.20 c #Conflicts: 2485000 | #Constraints: 109296
3600.07/3621.20 c #Conflicts: 2486000 | #Constraints: 110301
3600.07/3621.20 c #Conflicts: 2487000 | #Constraints: 111301
3600.07/3621.20 c #Conflicts: 2488000 | #Constraints: 112301
3600.07/3621.20 c #Conflicts: 2489000 | #Constraints: 113301
3600.07/3621.20 c #Conflicts: 2490000 | #Constraints: 114301
3600.07/3621.20 c #Conflicts: 2491000 | #Constraints: 115301
3600.07/3621.20 c cpu time 3578.32 s
3600.07/3621.20 c deterministic time 56305049520 5.63e+10
3600.07/3621.20 c optimization time 29.2887 s
3600.07/3621.20 c total solve time 3548.7 s
3600.07/3621.20 c core-guided solve time 0 s
3600.07/3621.20 c propagation time 2045.95 s
3600.07/3621.20 c conflict analysis time 1239.52 s
3600.07/3621.20 c propagations 1448989284
3600.07/3621.20 c resolve steps 138573006
3600.07/3621.20 c decisions 7414768
3600.07/3621.20 c conflicts 2491758
3600.07/3621.20 c restarts 4206
3600.07/3621.20 c inprocessing phases 148
3600.07/3621.20 c garbage collections 147 ,( 99.32 )
3600.07/3621.20 c input clauses 65126 ,( 96.46 )
3600.07/3621.20 c input cardinalities 0 ,( 0.00 )
3600.07/3621.20 c input general constraints 2388 ,( 3.54 )
3600.07/3621.20 c input average constraint length 2.69
3600.07/3621.20 c input average constraint degree 3.06
3600.07/3621.20 c learned clauses 2355573 ,( 88.00 )
3600.07/3621.20 c learned cardinalities 2 ,( 0.00 )
3600.07/3621.20 c learned general constraints 321217 ,( 12.00 )
3600.07/3621.20 c learned average constraint length 441.54
3600.07/3621.20 c learned average constraint degree 63619419.16
3600.07/3621.20 c watched CF 32, 64, 128, Arb: 108230 , 0 , 0 , 0
3600.07/3621.20 c counting CF 32, 64, 128, Arb: 215375 , 0 , 0 , 0
3600.07/3621.20 c watched constraints 108230 ,( 33.45 )
3600.07/3621.20 c counting constraints 215375 ,( 66.55 )
3600.07/3621.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2294183385 , 90302 , 1300067333 ,( 494614871 , 805452462 )
3600.07/3621.20 c gcd simplifications 44782
3600.07/3621.20 c detected cardinalities 1
3600.07/3621.20 c weakened non-implied lits 2483660
3600.07/3621.20 c weakened non-implying lits 22939
3600.07/3621.20 c original variables 23621
3600.07/3621.20 c clausal propagations 1371283391
3600.07/3621.20 c cardinality propagations 32
3600.07/3621.20 c watched propagations 280301
3600.07/3621.20 c counting propagations 74933620
3600.07/3621.20 c watch lookups 11132043011
3600.07/3621.20 c watch backjump lookups 0
3600.07/3621.20 c watch checks 35251286210
3600.07/3621.20 c propagation checks 3774006414
3600.07/3621.20 c constraint additions 3231967433
3600.07/3621.20 c trail pops 1458878432
3600.07/3621.20 c formula constraints 67514
3600.07/3621.20 c learned constraints 2491757
3600.07/3621.20 c bound constraints 0
3600.07/3621.20 c core-guided constraints 0
3600.07/3621.20 c encountered formula constraints 109188859
3600.07/3621.20 c encountered learned constraints 31870310
3600.07/3621.20 c encountered bound constraints 0
3600.07/3621.20 c encountered core-guided constraints 0
3600.07/3621.20 c LP total time 1532.18 s
3600.07/3621.20 c LP solve time 1102.62 s
3600.07/3621.20 c LP constraints added 67621
3600.07/3621.20 c LP constraints removed 2
3600.07/3621.20 c LP pivots internal 249977
3600.07/3621.20 c LP pivots root 213990
3600.07/3621.20 c LP calls 185070
3600.07/3621.20 c LP optimalities 24
3600.07/3621.20 c LP no pivot count 0
3600.07/3621.20 c LP infeasibilities 185024
3600.07/3621.20 c LP valid Farkas constraints 185024
3600.07/3621.20 c LP learned Farkas constraints 0
3600.07/3621.20 c LP basis resets 17
3600.07/3621.20 c LP cycling count 5
3600.07/3621.20 c LP singular count 2
3600.07/3621.20 c LP no primal count 0
3600.07/3621.20 c LP no farkas count 0
3600.07/3621.20 c LP other issue count 10
3600.07/3621.20 c LP Gomory cuts 11
3600.07/3621.20 c LP learned cuts 96
3600.07/3621.20 c LP deleted cuts 2
3600.07/3621.20 c LP encountered Gomory constraints 5476
3600.07/3621.20 c LP encountered Farkas constraints 119
3600.07/3621.20 c LP encountered learned Farkas constraints 0
3600.07/3621.20 c CG auxiliary variables introduced 0
3600.07/3621.20 c CG solutions found 0
3600.07/3621.20 c CG cores constructed 0
3600.07/3621.20 c CG core cardinality constraints returned 0
3600.07/3621.20 c CG unit cores 0
3600.07/3621.20 c CG single cores 0
3600.07/3621.20 c CG blocks removed during cardinality reduction 0
3600.07/3621.20 c CG first core best 0
3600.07/3621.20 c CG decision core best 0
3600.07/3621.20 c CG core reduction tie 0
3600.07/3621.20 c CG core degree average 0.00
3600.07/3621.20 c CG core slack average 0.00
3600.07/3621.20 c CG core upper bound improvements 0
3600.07/3621.20 c STR number of successful calls 0
3600.07/3621.20 c STR number of unsuccessful calls 0
3600.07/3621.20 c STR number of inconclusive calls 0
3600.07/3621.20 c STR number of successful attempts 0
3600.07/3621.20 c STR number of unsuccessful attempts 0
3600.07/3621.20 c STR number of inconclusive attempts 0
3600.07/3621.20 c STR average degree increase per successful call inf
3600.07/3621.20 c STR average degree increase per successful attempt inf
3600.07/3621.20 c STR total number of conflicts for successful attempts 0
3600.07/3621.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3621.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3621.20 c STR average number of conflicts per successful attempt inf
3600.07/3621.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3621.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3621.20 c AVG.sumWPerc 47.28
3600.07/3621.20 c bigint constraints 0
3600.07/3621.20 s UNKNOWN
3600.07/3621.20 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 (62593 MiB free)
memory of node 1: 64507 MiB (62804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491757-1751142556/watcher-4491757-1751142556 -o /tmp/evaluation-result-4491757-1751142556/solver-4491757-1751142556 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15069 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4491757-1751142556.opb PROOFDIR/proof-4491757-1751142556
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15420, runsolver pid=15417
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.18 1.40 1.99 5/270 15422
/proc/meminfo: memFree=128371252/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15422] ppid=15420 vsize=72616 memory=54404 CPUtime=0.09 cores=4,6
/proc/15422/stat : 15422 (pbsuma) R 15420 15420 11935 0 -1 4194304 12352 0 0 0 7 2 0 0 20 0 1 0 29933340 74358784 13601 18446744073709551615 4210688 4653049 140721329376528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 34082816 140721329383651 140721329383986 140721329383986 140721329389551 0
/proc/15422/statm: 18154 13601 992 108 0 15562 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76808 KiB
Current children cumulated memory: 57476 KiB
[startup+0.205972 s]*
/proc/loadavg: 2.18 1.40 1.99 5/270 15423
/proc/meminfo: memFree=128371252/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=67420 memory=22264 CPUtime=0.07 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 3359 0 0 0 5 2 0 0 20 0 1 0 29933352 69038080 5566 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 16855 5566 2016 1147 0 4282 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 71612 KiB
Current children cumulated memory: 25336 KiB
[startup+0.305832 s]*
/proc/loadavg: 2.18 1.40 1.99 5/270 15423
/proc/meminfo: memFree=128371252/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=75532 memory=30108 CPUtime=0.17 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 5652 0 0 0 12 5 0 0 20 0 1 0 29933352 77344768 7527 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 18883 7527 2016 1147 0 6310 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 79724 KiB
Current children cumulated memory: 33180 KiB
[startup+0.700205 s]
/proc/loadavg: 2.18 1.40 1.99 5/270 15423
/proc/meminfo: memFree=128355976/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=196108 memory=121308 CPUtime=0.55 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 19086 0 0 0 46 9 0 0 20 0 1 0 29933352 200814592 30327 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 49027 30327 2304 1147 0 36454 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 200300 KiB
Current children cumulated memory: 124380 KiB
[startup+1.5002 s]
/proc/loadavg: 2.18 1.40 1.99 5/270 15423
/proc/meminfo: memFree=128299584/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=196108 memory=121436 CPUtime=1.36 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 19089 0 0 0 126 10 0 0 20 0 1 0 29933352 200814592 30359 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 49027 30359 2336 1147 0 36454 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 200300 KiB
Current children cumulated memory: 124508 KiB
[startup+3.1057 s]
/proc/loadavg: 2.32 1.45 2.00 5/270 15423
/proc/meminfo: memFree=128304084/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=199888 memory=122716 CPUtime=2.96 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 19414 0 0 0 283 13 0 0 20 0 1 0 29933352 204685312 30679 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 49972 30679 2336 1147 0 37399 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 204080 KiB
Current children cumulated memory: 125788 KiB
[startup+6.30018 s]
/proc/loadavg: 2.32 1.45 2.00 5/270 15423
/proc/meminfo: memFree=128254168/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=204704 memory=126044 CPUtime=6.14 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 19725 0 0 0 599 15 0 0 20 0 1 0 29933352 209616896 31511 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 51176 31511 2336 1147 0 38603 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 208896 KiB
Current children cumulated memory: 129116 KiB
[startup+12.7002 s]
/proc/loadavg: 2.65 1.55 2.03 5/271 15424
/proc/meminfo: memFree=128236520/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=224184 memory=142516 CPUtime=12.52 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 22820 0 0 0 1228 24 0 0 20 0 1 0 29933352 229564416 35629 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 56046 35629 2368 1147 0 43473 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 228376 KiB
Current children cumulated memory: 145588 KiB
[startup+25.5002 s]
/proc/loadavg: 2.86 1.63 2.05 5/272 15426
/proc/meminfo: memFree=128143860/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=225788 memory=145460 CPUtime=25.3 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 23547 0 0 0 2493 37 0 0 20 0 1 0 29933352 231206912 36365 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 56447 36365 2368 1147 0 43874 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 229980 KiB
Current children cumulated memory: 148532 KiB
[startup+51.1058 s]
/proc/loadavg: 3.31 1.84 2.11 5/272 15426
/proc/meminfo: memFree=128067740/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=236528 memory=152796 CPUtime=50.76 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 24862 0 0 0 5010 66 0 0 20 0 1 0 29933352 242204672 38199 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 59132 38199 2368 1147 0 46559 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 240720 KiB
Current children cumulated memory: 155868 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 2.22 2.22 5/274 15431
/proc/meminfo: memFree=127848560/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=238684 memory=160144 CPUtime=101.77 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 25193 0 0 0 10061 116 0 0 20 0 1 0 29933352 244412416 40036 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 59671 40036 2368 1147 0 47098 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 242876 KiB
Current children cumulated memory: 163216 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.56 2.34 5/273 15433
/proc/meminfo: memFree=127587808/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=252156 memory=166952 CPUtime=161.52 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 26042 0 0 0 15980 172 0 0 20 0 1 0 29933352 258207744 41738 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 63039 41738 2368 1147 0 50466 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 256348 KiB
Current children cumulated memory: 170024 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.84 2.45 5/272 15435
/proc/meminfo: memFree=127404912/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=253648 memory=173008 CPUtime=221.29 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 26535 0 0 0 21890 239 0 0 20 0 1 0 29933352 259735552 43252 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
################
# More data... #
################
/proc/15423/statm: 119369 99404 2496 1147 0 106796 0
Current children cumulated CPU time: 3023.25 s
Current children cumulated vsize: 481668 KiB
Current children cumulated memory: 400688 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/273 17476
/proc/meminfo: memFree=111125472/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=479748 memory=398512 CPUtime=3082.75 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 58243 0 0 0 306313 1962 0 0 20 0 1 0 29933352 491261952 99628 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 119937 99628 2496 1147 0 107364 0
Current children cumulated CPU time: 3082.85 s
Current children cumulated vsize: 483940 KiB
Current children cumulated memory: 401584 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.06 5/273 17478
/proc/meminfo: memFree=110872244/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=480364 memory=400560 CPUtime=3142.57 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 58753 0 0 0 312276 1981 0 0 20 0 1 0 29933352 491892736 100140 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 120091 100140 2496 1147 0 107518 0
Current children cumulated CPU time: 3142.67 s
Current children cumulated vsize: 484556 KiB
Current children cumulated memory: 403632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/272 17480
/proc/meminfo: memFree=110600956/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=482628 memory=402096 CPUtime=3202.37 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 59158 0 0 0 318239 1998 0 0 20 0 1 0 29933352 494211072 100524 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 120657 100524 2496 1147 0 108084 0
Current children cumulated CPU time: 3202.47 s
Current children cumulated vsize: 486820 KiB
Current children cumulated memory: 405168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/272 17482
/proc/meminfo: memFree=110212284/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=500632 memory=419944 CPUtime=3262.19 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 62579 0 0 0 324194 2025 0 0 20 0 1 0 29933352 512647168 104986 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 125158 104986 2496 1147 0 112585 0
Current children cumulated CPU time: 3262.29 s
Current children cumulated vsize: 504824 KiB
Current children cumulated memory: 423016 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.18 4.09 5/272 17486
/proc/meminfo: memFree=109934864/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=500632 memory=419944 CPUtime=3321.95 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 62579 0 0 0 330137 2058 0 0 20 0 1 0 29933352 512647168 104986 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 125158 104986 2496 1147 0 112585 0
Current children cumulated CPU time: 3322.05 s
Current children cumulated vsize: 504824 KiB
Current children cumulated memory: 423016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/273 17490
/proc/meminfo: memFree=109749784/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=500632 memory=419944 CPUtime=3381.77 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 62579 0 0 0 336102 2075 0 0 20 0 1 0 29933352 512647168 104986 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 125158 104986 2496 1147 0 112585 0
Current children cumulated CPU time: 3381.87 s
Current children cumulated vsize: 504824 KiB
Current children cumulated memory: 423016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/272 17492
/proc/meminfo: memFree=109448316/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=500632 memory=419944 CPUtime=3441.58 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 62579 0 0 0 342063 2095 0 0 20 0 1 0 29933352 512647168 104986 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 125158 104986 2496 1147 0 112585 0
Current children cumulated CPU time: 3441.68 s
Current children cumulated vsize: 504824 KiB
Current children cumulated memory: 423016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/273 17499
/proc/meminfo: memFree=109171056/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=500632 memory=419944 CPUtime=3501.39 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 62579 0 0 0 348015 2124 0 0 20 0 1 0 29933352 512647168 104986 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 125158 104986 2496 1147 0 112585 0
Current children cumulated CPU time: 3501.49 s
Current children cumulated vsize: 504824 KiB
Current children cumulated memory: 423016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/274 17502
/proc/meminfo: memFree=109039988/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=500632 memory=419944 CPUtime=3561.21 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 62579 0 0 0 353978 2143 0 0 20 0 1 0 29933352 512647168 104986 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 125158 104986 2496 1147 0 112585 0
Current children cumulated CPU time: 3561.31 s
Current children cumulated vsize: 504824 KiB
Current children cumulated memory: 423016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3621.2 s]
/proc/loadavg: 4.05 4.11 4.09 5/273 17504
/proc/meminfo: memFree=108903176/131249996 swapFree=33010684/33010684
[pid=15420] ppid=15417 vsize=4192 memory=3072 CPUtime=0.1 cores=4,6
/proc/15420/stat : 15420 (run-dec-break-l) S 15417 15420 11935 0 -1 4194304 241 13523 0 0 0 0 8 2 20 0 1 0 29933339 4292608 768 18446744073709551615 94174436544512 94174437439045 140737188755216 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94174437678096 94174437725840 94174452998144 140737188759829 140737188760030 140737188760030 140737188765632 0
/proc/15420/statm: 1048 768 704 219 0 110 0
[pid=15423] ppid=15420 vsize=500632 memory=419944 CPUtime=3599.97 cores=4,6
/proc/15423/stat : 15423 (roundingsat) R 15420 15420 11935 0 -1 4194304 62579 0 0 0 357831 2166 0 0 20 0 1 0 29933352 512647168 104986 18446744073709551615 4227072 8923433 140726157538112 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10641408 140726157543668 140726157543976 140726157543976 140726157549546 0
/proc/15423/statm: 125158 104986 2496 1147 0 112585 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 504824 KiB
Current children cumulated memory: 423016 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3621.21 s]
# the end of solver process 15420 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.08742 s, system=0.030423 s
Sleeping 2 seconds
[startup+3621.26 s]
# the end of solver process 15423 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.43 s, system=21.6997 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3621.26
CPU time (s): 3600.13
CPU user time (s): 3578.43
CPU system time (s): 21.6997
CPU usage (%): 99.4165
Max. virtual memory (cumulated for all children) (KiB): 504824
Max. memory (cumulated for all children) (KiB): 423016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.43
system time used= 21.6997
maximum resident set size= 420072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7598832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1129
involuntary context switches= 5237
# summary of solver processes directly reported to runsolver:
# pid: 15420,15423
# total CPU time (s): 3600.13
# total CPU user time (s): 3578.43
# total CPU system time (s): 21.6997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08167 second user time and 17.8236 second system time
The end
Begin job on nodeC021 at 2025-06-28 22:29:17
IDJOB=4491757
IDBENCH=147736
IDSOLVER=3358
FILE ID=nodeC021/4491757-1751142556
RUNJOBID= nodeC021-1751142528-15069
SLURM_JOB_ID= 9587421
Free space on /tmp= 432972 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491757-1751142556/watcher-4491757-1751142556 -o /tmp/evaluation-result-4491757-1751142556/solver-4491757-1751142556 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15069 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4491757-1751142556.opb PROOFDIR/proof-4491757-1751142556
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d06d89796adb8259df968e568daeeb68
RANDOM SEED=1561137824
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.870
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.783
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3512.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3591.708
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.745
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.709
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3494.947
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3660.854
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128408044 kB
MemAvailable: 128150876 kB
Buffers: 3280 kB
Cached: 554508 kB
SwapCached: 0 kB
Active: 1871008 kB
Inactive: 332220 kB
Active(anon): 1663868 kB
Inactive(anon): 0 kB
Active(file): 207140 kB
Inactive(file): 332220 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 129096 kB
Writeback: 0 kB
AnonPages: 1648956 kB
Mapped: 115848 kB
Shmem: 18060 kB
KReclaimable: 85020 kB
Slab: 169832 kB
SReclaimable: 85020 kB
SUnreclaim: 84812 kB
KernelStack: 4272 kB
PageTables: 6528 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2197992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 884736 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC021 at 2025-06-28 23:29:38