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-4510369-1751197550.opb'
0.00/0.01 c read 0.02MB (0.42ms)
0.00/0.01 c [cnf: #variables 201 #clauses 802 #duplicates 0 #arr 2404]
0.00/0.01 c output proof to 'PROOFDIR/proof-4510369-1751197550'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 120] (0.36ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (4.56ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 1606 #edges 6014]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 4.00*10^0 #generators 10] (2.56ms)
0.00/0.02 c
0.00/0.02 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.02 c (0.01ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c add generic predicates (break_depth=10)
0.00/0.02 c added predicates for 10 generators (0.02ms)
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 280 #add_vars 90]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4510369-1751197550.opb.pre'
0.00/0.02 c wrote 0.03MB (0.15ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 4.56ms 45.65% detect_special
0.00/0.02 c 2.56ms 25.58% detect_generic
0.00/0.02 c 1.91ms 19.11% other
0.00/0.02 c 0.42ms 4.16% parse
0.00/0.02 c 0.36ms 3.56% approx_orbits
0.00/0.02 c 0.15ms 1.46% output
0.00/0.02 c 0.02ms 0.24% finalize_order
0.00/0.02 c 0.02ms 0.19% break_generic
0.00/0.02 c 0.01ms 0.05% optimize_gens
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 10.00ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 291 #constraints 1082
1.65/1.79 c #Conflicts: 1000 | #Constraints: 2081
1.65/1.79 c #Conflicts: 2000 | #Constraints: 3081
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 3000 | #Constraints: 3090
1.65/1.79 c #Conflicts: 4000 | #Constraints: 4090
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 5000 | #Constraints: 3497
1.65/1.79 c #Conflicts: 6000 | #Constraints: 4497
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 7000 | #Constraints: 3500
1.65/1.79 c #Conflicts: 8000 | #Constraints: 4500
1.65/1.79 c #Conflicts: 9000 | #Constraints: 5500
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 10000 | #Constraints: 4205
1.65/1.79 c #Conflicts: 11000 | #Constraints: 5205
1.65/1.79 c #Conflicts: 12000 | #Constraints: 6205
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 13000 | #Constraints: 4654
1.65/1.79 c #Conflicts: 14000 | #Constraints: 5654
1.65/1.79 c #Conflicts: 15000 | #Constraints: 6654
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 16000 | #Constraints: 4889
1.65/1.79 c #Conflicts: 17000 | #Constraints: 5889
1.65/1.79 c #Conflicts: 18000 | #Constraints: 6889
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 19000 | #Constraints: 4903
1.65/1.79 c #Conflicts: 20000 | #Constraints: 5903
1.65/1.79 c #Conflicts: 21000 | #Constraints: 6903
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 22000 | #Constraints: 4706
1.65/1.79 c #Conflicts: 23000 | #Constraints: 5706
1.65/1.79 c #Conflicts: 24000 | #Constraints: 6706
1.65/1.79 c #Conflicts: 25000 | #Constraints: 7706
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 26000 | #Constraints: 5311
1.65/1.79 c #Conflicts: 27000 | #Constraints: 6311
1.65/1.79 c #Conflicts: 28000 | #Constraints: 7311
1.65/1.79 c #Conflicts: 29000 | #Constraints: 8311
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 30000 | #Constraints: 5711
1.65/1.79 c #Conflicts: 31000 | #Constraints: 6711
1.65/1.79 c #Conflicts: 32000 | #Constraints: 7711
1.65/1.79 c #Conflicts: 33000 | #Constraints: 8711
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 34000 | #Constraints: 5915
1.65/1.79 c #Conflicts: 35000 | #Constraints: 6915
1.65/1.79 c #Conflicts: 36000 | #Constraints: 7915
1.65/1.79 c #Conflicts: 37000 | #Constraints: 8915
1.65/1.79 c #Conflicts: 38000 | #Constraints: 9915
1.65/1.79 c #Conflicts: 39000 | #Constraints: 10915
1.65/1.79 c #Conflicts: 40000 | #Constraints: 11915
1.65/1.79 c #Conflicts: 41000 | #Constraints: 12915
1.65/1.79 c #Conflicts: 42000 | #Constraints: 13915
1.65/1.79 c #Conflicts: 43000 | #Constraints: 14915
1.65/1.79 c #Conflicts: 44000 | #Constraints: 15915
1.65/1.79 c #Conflicts: 45000 | #Constraints: 16915
1.65/1.79 c #Conflicts: 46000 | #Constraints: 17915
1.65/1.79 c #Conflicts: 47000 | #Constraints: 18915
1.65/1.79 c #Conflicts: 48000 | #Constraints: 19915
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 49000 | #Constraints: 11526
1.65/1.79 c #Conflicts: 50000 | #Constraints: 12526
1.65/1.79 c #Conflicts: 51000 | #Constraints: 13526
1.65/1.79 c #Conflicts: 52000 | #Constraints: 14526
1.65/1.79 c #Conflicts: 53000 | #Constraints: 15526
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 54000 | #Constraints: 9182
1.65/1.79 c #Conflicts: 55000 | #Constraints: 10182
1.65/1.79 c #Conflicts: 56000 | #Constraints: 11182
1.65/1.79 c #Conflicts: 57000 | #Constraints: 12182
1.65/1.79 c #Conflicts: 58000 | #Constraints: 13182
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 59000 | #Constraints: 7752
1.65/1.79 c #Conflicts: 60000 | #Constraints: 8752
1.65/1.79 c #Conflicts: 61000 | #Constraints: 9752
1.65/1.79 c #Conflicts: 62000 | #Constraints: 10752
1.65/1.79 c #Conflicts: 63000 | #Constraints: 11752
1.65/1.79 c #Conflicts: 64000 | #Constraints: 12752
1.65/1.79 c INPROCESSING
1.65/1.79 c GARBAGE COLLECT
1.65/1.79 c #Conflicts: 65000 | #Constraints: 7689
1.65/1.79 c #Conflicts: 66000 | #Constraints: 8689
1.65/1.79 c #Conflicts: 67000 | #Constraints: 9689
1.65/1.79 c #Conflicts: 68000 | #Constraints: 10689
1.65/1.79 c #Conflicts: 69000 | #Constraints: 11689
1.65/1.79 c #Conflicts: 70000 | #Constraints: 12689
4.13/4.21 c #Conflicts: 71000 | #Constraints: 13689
4.13/4.21 c #Conflicts: 72000 | #Constraints: 14689
4.13/4.21 c #Conflicts: 73000 | #Constraints: 15689
4.13/4.21 c #Conflicts: 74000 | #Constraints: 16689
4.13/4.21 c #Conflicts: 75000 | #Constraints: 17689
4.13/4.21 c #Conflicts: 76000 | #Constraints: 18689
4.13/4.21 c #Conflicts: 77000 | #Constraints: 19689
4.13/4.21 c #Conflicts: 78000 | #Constraints: 20689
4.13/4.21 c #Conflicts: 79000 | #Constraints: 21689
4.13/4.21 c #Conflicts: 80000 | #Constraints: 22689
4.13/4.21 c #Conflicts: 81000 | #Constraints: 23689
4.13/4.21 c #Conflicts: 82000 | #Constraints: 24689
4.13/4.21 c #Conflicts: 83000 | #Constraints: 25689
4.13/4.21 c #Conflicts: 84000 | #Constraints: 26689
4.13/4.21 c INPROCESSING
4.13/4.21 c GARBAGE COLLECT
4.13/4.21 c #Conflicts: 85000 | #Constraints: 14512
4.13/4.21 c #Conflicts: 86000 | #Constraints: 15512
4.13/4.21 c #Conflicts: 87000 | #Constraints: 16512
4.13/4.21 c #Conflicts: 88000 | #Constraints: 17512
4.13/4.21 c #Conflicts: 89000 | #Constraints: 18512
4.13/4.21 c #Conflicts: 90000 | #Constraints: 19512
4.13/4.21 c #Conflicts: 91000 | #Constraints: 20512
4.13/4.21 c INPROCESSING
4.13/4.21 c GARBAGE COLLECT
4.13/4.21 c #Conflicts: 92000 | #Constraints: 11436
4.13/4.21 c #Conflicts: 93000 | #Constraints: 12436
4.13/4.21 c #Conflicts: 94000 | #Constraints: 13436
4.13/4.21 c #Conflicts: 95000 | #Constraints: 14436
4.13/4.21 c #Conflicts: 96000 | #Constraints: 15436
4.13/4.21 c #Conflicts: 97000 | #Constraints: 16436
4.13/4.21 c #Conflicts: 98000 | #Constraints: 17436
4.13/4.21 c #Conflicts: 99000 | #Constraints: 18436
4.13/4.21 c INPROCESSING
4.13/4.21 c GARBAGE COLLECT
4.13/4.21 c #Conflicts: 100000 | #Constraints: 10790
4.13/4.21 c #Conflicts: 101000 | #Constraints: 11790
4.13/4.21 c #Conflicts: 102000 | #Constraints: 12790
4.13/4.21 c #Conflicts: 103000 | #Constraints: 13790
4.13/4.21 c #Conflicts: 104000 | #Constraints: 14790
4.13/4.21 c #Conflicts: 105000 | #Constraints: 15790
4.13/4.21 c #Conflicts: 106000 | #Constraints: 16790
4.13/4.21 c INPROCESSING
4.13/4.21 c GARBAGE COLLECT
4.13/4.21 c #Conflicts: 107000 | #Constraints: 9758
4.13/4.21 c #Conflicts: 108000 | #Constraints: 10758
4.13/4.21 c #Conflicts: 109000 | #Constraints: 11758
4.13/4.21 c #Conflicts: 110000 | #Constraints: 12758
4.13/4.21 c #Conflicts: 111000 | #Constraints: 13758
4.13/4.21 c #Conflicts: 112000 | #Constraints: 14758
4.13/4.21 c #Conflicts: 113000 | #Constraints: 15758
4.13/4.21 c #Conflicts: 114000 | #Constraints: 16758
4.13/4.21 c #Conflicts: 115000 | #Constraints: 17758
4.13/4.21 c #Conflicts: 116000 | #Constraints: 18758
4.13/4.21 c #Conflicts: 117000 | #Constraints: 19758
4.13/4.21 c #Conflicts: 118000 | #Constraints: 20758
4.13/4.21 c #Conflicts: 119000 | #Constraints: 21758
4.13/4.21 c #Conflicts: 120000 | #Constraints: 22758
4.13/4.21 c #Conflicts: 121000 | #Constraints: 23758
4.13/4.21 c #Conflicts: 122000 | #Constraints: 24758
4.13/4.21 c #Conflicts: 123000 | #Constraints: 25758
4.13/4.21 c #Conflicts: 124000 | #Constraints: 26758
4.13/4.21 c #Conflicts: 125000 | #Constraints: 27758
4.13/4.21 c #Conflicts: 126000 | #Constraints: 28758
4.13/4.21 c #Conflicts: 127000 | #Constraints: 29758
4.13/4.21 c #Conflicts: 128000 | #Constraints: 30758
4.13/4.21 c #Conflicts: 129000 | #Constraints: 31758
4.13/4.21 c #Conflicts: 130000 | #Constraints: 32758
4.13/4.21 c #Conflicts: 131000 | #Constraints: 33758
4.13/4.21 c #Conflicts: 132000 | #Constraints: 34758
4.13/4.21 c INPROCESSING
4.13/4.21 c GARBAGE COLLECT
4.13/4.21 c #Conflicts: 133000 | #Constraints: 18951
4.13/4.21 c #Conflicts: 134000 | #Constraints: 19951
4.13/4.21 c #Conflicts: 135000 | #Constraints: 20951
4.13/4.21 c #Conflicts: 136000 | #Constraints: 21951
4.13/4.21 c #Conflicts: 137000 | #Constraints: 22951
4.13/4.21 c #Conflicts: 138000 | #Constraints: 23951
4.13/4.21 c #Conflicts: 139000 | #Constraints: 24951
4.13/4.21 c #Conflicts: 140000 | #Constraints: 25951
4.13/4.21 c INPROCESSING
4.13/4.21 c GARBAGE COLLECT
4.13/4.21 c #Conflicts: 141000 | #Constraints: 14201
4.13/4.21 c #Conflicts: 142000 | #Constraints: 15201
4.13/4.21 c #Conflicts: 143000 | #Constraints: 16201
4.13/4.21 c #Conflicts: 144000 | #Constraints: 17201
4.13/4.21 c #Conflicts: 145000 | #Constraints: 18201
6.81/6.93 c #Conflicts: 146000 | #Constraints: 19201
6.81/6.93 c #Conflicts: 147000 | #Constraints: 20201
6.81/6.93 c #Conflicts: 148000 | #Constraints: 21201
6.81/6.93 c #Conflicts: 149000 | #Constraints: 22201
6.81/6.93 c INPROCESSING
6.81/6.93 c GARBAGE COLLECT
6.81/6.93 c #Conflicts: 150000 | #Constraints: 12373
6.81/6.93 c #Conflicts: 151000 | #Constraints: 13373
6.81/6.93 c #Conflicts: 152000 | #Constraints: 14373
6.81/6.93 c #Conflicts: 153000 | #Constraints: 15373
6.81/6.93 c #Conflicts: 154000 | #Constraints: 16373
6.81/6.93 c #Conflicts: 155000 | #Constraints: 17373
6.81/6.93 c #Conflicts: 156000 | #Constraints: 18373
6.81/6.93 c #Conflicts: 157000 | #Constraints: 19373
6.81/6.93 c #Conflicts: 158000 | #Constraints: 20373
6.81/6.93 c INPROCESSING
6.81/6.93 c GARBAGE COLLECT
6.81/6.93 c #Conflicts: 159000 | #Constraints: 11407
6.81/6.93 c #Conflicts: 160000 | #Constraints: 12407
6.81/6.93 c #Conflicts: 161000 | #Constraints: 13407
6.81/6.93 c #Conflicts: 162000 | #Constraints: 14407
6.81/6.93 c #Conflicts: 163000 | #Constraints: 15407
6.81/6.93 c #Conflicts: 164000 | #Constraints: 16407
6.81/6.93 c #Conflicts: 165000 | #Constraints: 17407
6.81/6.93 c #Conflicts: 166000 | #Constraints: 18407
6.81/6.93 c #Conflicts: 167000 | #Constraints: 19407
6.81/6.93 c #Conflicts: 168000 | #Constraints: 20407
6.81/6.93 c #Conflicts: 169000 | #Constraints: 21407
6.81/6.93 c #Conflicts: 170000 | #Constraints: 22407
6.81/6.93 c #Conflicts: 171000 | #Constraints: 23407
6.81/6.93 c #Conflicts: 172000 | #Constraints: 24407
6.81/6.93 c #Conflicts: 173000 | #Constraints: 25407
6.81/6.93 c #Conflicts: 174000 | #Constraints: 26407
6.81/6.93 c #Conflicts: 175000 | #Constraints: 27407
6.81/6.93 c #Conflicts: 176000 | #Constraints: 28407
6.81/6.93 c #Conflicts: 177000 | #Constraints: 29407
6.81/6.93 c #Conflicts: 178000 | #Constraints: 30407
6.81/6.93 c #Conflicts: 179000 | #Constraints: 31407
6.81/6.93 c #Conflicts: 180000 | #Constraints: 32407
6.81/6.93 c #Conflicts: 181000 | #Constraints: 33407
6.81/6.93 c #Conflicts: 182000 | #Constraints: 34407
6.81/6.93 c #Conflicts: 183000 | #Constraints: 35407
6.81/6.93 c #Conflicts: 184000 | #Constraints: 36407
6.81/6.93 c #Conflicts: 185000 | #Constraints: 37407
6.81/6.93 c #Conflicts: 186000 | #Constraints: 38407
6.81/6.93 c #Conflicts: 187000 | #Constraints: 39407
6.81/6.93 c #Conflicts: 188000 | #Constraints: 40407
6.81/6.93 c #Conflicts: 189000 | #Constraints: 41407
6.81/6.93 c INPROCESSING
6.81/6.93 c GARBAGE COLLECT
6.81/6.93 c #Conflicts: 190000 | #Constraints: 21987
6.81/6.93 c #Conflicts: 191000 | #Constraints: 22987
6.81/6.93 c #Conflicts: 192000 | #Constraints: 23987
6.81/6.93 c #Conflicts: 193000 | #Constraints: 24987
6.81/6.93 c #Conflicts: 194000 | #Constraints: 25987
6.81/6.93 c #Conflicts: 195000 | #Constraints: 26987
6.81/6.93 c #Conflicts: 196000 | #Constraints: 27987
6.81/6.93 c #Conflicts: 197000 | #Constraints: 28987
6.81/6.93 c #Conflicts: 198000 | #Constraints: 29987
6.81/6.93 c #Conflicts: 199000 | #Constraints: 30987
6.81/6.93 c #Conflicts: 200000 | #Constraints: 31987
6.81/6.93 c INPROCESSING
6.81/6.93 c GARBAGE COLLECT
6.81/6.93 c #Conflicts: 201000 | #Constraints: 17576
6.81/6.93 c #Conflicts: 202000 | #Constraints: 18576
6.81/6.93 c #Conflicts: 203000 | #Constraints: 19576
6.81/6.93 c #Conflicts: 204000 | #Constraints: 20576
6.81/6.93 c #Conflicts: 205000 | #Constraints: 21576
6.81/6.93 c #Conflicts: 206000 | #Constraints: 22576
6.81/6.93 c #Conflicts: 207000 | #Constraints: 23576
6.81/6.93 c #Conflicts: 208000 | #Constraints: 24576
6.81/6.93 c #Conflicts: 209000 | #Constraints: 25576
6.81/6.93 c #Conflicts: 210000 | #Constraints: 26576
6.81/6.93 c INPROCESSING
6.81/6.93 c GARBAGE COLLECT
6.81/6.93 c #Conflicts: 211000 | #Constraints: 14558
6.81/6.93 c #Conflicts: 212000 | #Constraints: 15558
6.81/6.93 c #Conflicts: 213000 | #Constraints: 16558
6.81/6.93 c #Conflicts: 214000 | #Constraints: 17558
6.81/6.93 c #Conflicts: 215000 | #Constraints: 18558
6.81/6.93 c #Conflicts: 216000 | #Constraints: 19558
6.81/6.93 c #Conflicts: 217000 | #Constraints: 20558
6.81/6.93 c #Conflicts: 218000 | #Constraints: 21558
6.81/6.93 c #Conflicts: 219000 | #Constraints: 22558
6.81/6.93 c #Conflicts: 220000 | #Constraints: 23558
9.70/9.86 c #Conflicts: 221000 | #Constraints: 24558
9.70/9.86 c INPROCESSING
9.70/9.86 c GARBAGE COLLECT
9.70/9.86 c #Conflicts: 222000 | #Constraints: 13662
9.70/9.86 c #Conflicts: 223000 | #Constraints: 14662
9.70/9.86 c #Conflicts: 224000 | #Constraints: 15662
9.70/9.86 c #Conflicts: 225000 | #Constraints: 16662
9.70/9.86 c #Conflicts: 226000 | #Constraints: 17662
9.70/9.86 c #Conflicts: 227000 | #Constraints: 18662
9.70/9.86 c #Conflicts: 228000 | #Constraints: 19662
9.70/9.86 c #Conflicts: 229000 | #Constraints: 20662
9.70/9.86 c #Conflicts: 230000 | #Constraints: 21662
9.70/9.86 c #Conflicts: 231000 | #Constraints: 22662
9.70/9.86 c #Conflicts: 232000 | #Constraints: 23662
9.70/9.86 c #Conflicts: 233000 | #Constraints: 24662
9.70/9.86 c #Conflicts: 234000 | #Constraints: 25662
9.70/9.86 c #Conflicts: 235000 | #Constraints: 26662
9.70/9.86 c #Conflicts: 236000 | #Constraints: 27662
9.70/9.86 c #Conflicts: 237000 | #Constraints: 28662
9.70/9.86 c #Conflicts: 238000 | #Constraints: 29662
9.70/9.86 c #Conflicts: 239000 | #Constraints: 30662
9.70/9.86 c #Conflicts: 240000 | #Constraints: 31662
9.70/9.86 c #Conflicts: 241000 | #Constraints: 32662
9.70/9.86 c #Conflicts: 242000 | #Constraints: 33662
9.70/9.86 c #Conflicts: 243000 | #Constraints: 34662
9.70/9.86 c #Conflicts: 244000 | #Constraints: 35662
9.70/9.86 c #Conflicts: 245000 | #Constraints: 36662
9.70/9.86 c #Conflicts: 246000 | #Constraints: 37662
9.70/9.86 c #Conflicts: 247000 | #Constraints: 38662
9.70/9.86 c #Conflicts: 248000 | #Constraints: 39662
9.70/9.86 c #Conflicts: 249000 | #Constraints: 40662
9.70/9.86 c #Conflicts: 250000 | #Constraints: 41662
9.70/9.86 c #Conflicts: 251000 | #Constraints: 42662
9.70/9.86 c #Conflicts: 252000 | #Constraints: 43662
9.70/9.86 c #Conflicts: 253000 | #Constraints: 44662
9.70/9.86 c #Conflicts: 254000 | #Constraints: 45662
9.70/9.86 c #Conflicts: 255000 | #Constraints: 46662
9.70/9.86 c #Conflicts: 256000 | #Constraints: 47662
9.70/9.86 c #Conflicts: 257000 | #Constraints: 48662
9.70/9.86 c INPROCESSING
9.70/9.86 c GARBAGE COLLECT
9.70/9.86 c #Conflicts: 258000 | #Constraints: 25605
9.70/9.86 c #Conflicts: 259000 | #Constraints: 26605
9.70/9.86 c #Conflicts: 260000 | #Constraints: 27605
9.70/9.86 c #Conflicts: 261000 | #Constraints: 28605
9.70/9.86 c #Conflicts: 262000 | #Constraints: 29605
9.70/9.86 c #Conflicts: 263000 | #Constraints: 30605
9.70/9.86 c #Conflicts: 264000 | #Constraints: 31605
9.70/9.86 c #Conflicts: 265000 | #Constraints: 32605
9.70/9.86 c #Conflicts: 266000 | #Constraints: 33605
9.70/9.86 c #Conflicts: 267000 | #Constraints: 34605
9.70/9.86 c #Conflicts: 268000 | #Constraints: 35605
9.70/9.86 c #Conflicts: 269000 | #Constraints: 36605
9.70/9.86 c INPROCESSING
9.70/9.86 c GARBAGE COLLECT
9.70/9.86 c #Conflicts: 270000 | #Constraints: 19524
9.70/9.86 c #Conflicts: 271000 | #Constraints: 20524
9.70/9.86 c #Conflicts: 272000 | #Constraints: 21524
9.70/9.86 c #Conflicts: 273000 | #Constraints: 22524
9.70/9.86 c #Conflicts: 274000 | #Constraints: 23524
9.70/9.86 c #Conflicts: 275000 | #Constraints: 24524
9.70/9.86 c #Conflicts: 276000 | #Constraints: 25524
9.70/9.86 c #Conflicts: 277000 | #Constraints: 26524
9.70/9.86 c #Conflicts: 278000 | #Constraints: 27524
9.70/9.86 c #Conflicts: 279000 | #Constraints: 28524
9.70/9.86 c #Conflicts: 280000 | #Constraints: 29524
9.70/9.86 c #Conflicts: 281000 | #Constraints: 30524
9.70/9.86 c #Conflicts: 282000 | #Constraints: 31524
9.70/9.86 c INPROCESSING
9.70/9.86 c GARBAGE COLLECT
9.70/9.86 c #Conflicts: 283000 | #Constraints: 17337
9.70/9.86 c #Conflicts: 284000 | #Constraints: 18337
9.70/9.86 c #Conflicts: 285000 | #Constraints: 19337
9.70/9.86 c #Conflicts: 286000 | #Constraints: 20337
9.70/9.86 c #Conflicts: 287000 | #Constraints: 21337
9.70/9.86 c #Conflicts: 288000 | #Constraints: 22337
9.70/9.86 c #Conflicts: 289000 | #Constraints: 23337
9.70/9.86 c #Conflicts: 290000 | #Constraints: 24337
9.70/9.86 c #Conflicts: 291000 | #Constraints: 25337
9.70/9.86 c #Conflicts: 292000 | #Constraints: 26337
9.70/9.86 c #Conflicts: 293000 | #Constraints: 27337
9.70/9.86 c #Conflicts: 294000 | #Constraints: 28337
9.70/9.86 c INPROCESSING
9.70/9.86 c GARBAGE COLLECT
9.70/9.86 c #Conflicts: 295000 | #Constraints: 15506
9.70/9.86 c #Conflicts: 296000 | #Constraints: 16506
12.90/13.00 c #Conflicts: 297000 | #Constraints: 17506
12.90/13.00 c #Conflicts: 298000 | #Constraints: 18506
12.90/13.00 c #Conflicts: 299000 | #Constraints: 19506
12.90/13.00 c #Conflicts: 300000 | #Constraints: 20506
12.90/13.00 c #Conflicts: 301000 | #Constraints: 21506
12.90/13.00 c #Conflicts: 302000 | #Constraints: 22506
12.90/13.00 c #Conflicts: 303000 | #Constraints: 23506
12.90/13.00 c #Conflicts: 304000 | #Constraints: 24506
12.90/13.00 c #Conflicts: 305000 | #Constraints: 25506
12.90/13.00 c #Conflicts: 306000 | #Constraints: 26506
12.90/13.00 c #Conflicts: 307000 | #Constraints: 27506
12.90/13.00 c #Conflicts: 308000 | #Constraints: 28506
12.90/13.00 c #Conflicts: 309000 | #Constraints: 29506
12.90/13.00 c #Conflicts: 310000 | #Constraints: 30506
12.90/13.00 c #Conflicts: 311000 | #Constraints: 31506
12.90/13.00 c #Conflicts: 312000 | #Constraints: 32506
12.90/13.00 c #Conflicts: 313000 | #Constraints: 33506
12.90/13.00 c #Conflicts: 314000 | #Constraints: 34506
12.90/13.00 c #Conflicts: 315000 | #Constraints: 35506
12.90/13.00 c #Conflicts: 316000 | #Constraints: 36506
12.90/13.00 c #Conflicts: 317000 | #Constraints: 37506
12.90/13.00 c #Conflicts: 318000 | #Constraints: 38506
12.90/13.00 c #Conflicts: 319000 | #Constraints: 39506
12.90/13.00 c #Conflicts: 320000 | #Constraints: 40506
12.90/13.00 c #Conflicts: 321000 | #Constraints: 41506
12.90/13.00 c #Conflicts: 322000 | #Constraints: 42506
12.90/13.00 c #Conflicts: 323000 | #Constraints: 43506
12.90/13.00 c #Conflicts: 324000 | #Constraints: 44506
12.90/13.00 c #Conflicts: 325000 | #Constraints: 45506
12.90/13.00 c #Conflicts: 326000 | #Constraints: 46506
12.90/13.00 c #Conflicts: 327000 | #Constraints: 47506
12.90/13.00 c #Conflicts: 328000 | #Constraints: 48506
12.90/13.00 c #Conflicts: 329000 | #Constraints: 49506
12.90/13.00 c #Conflicts: 330000 | #Constraints: 50506
12.90/13.00 c #Conflicts: 331000 | #Constraints: 51506
12.90/13.00 c #Conflicts: 332000 | #Constraints: 52506
12.90/13.00 c #Conflicts: 333000 | #Constraints: 53506
12.90/13.00 c #Conflicts: 334000 | #Constraints: 54506
12.90/13.00 c #Conflicts: 335000 | #Constraints: 55506
12.90/13.00 c #Conflicts: 336000 | #Constraints: 56506
12.90/13.00 c INPROCESSING
12.90/13.00 c GARBAGE COLLECT
12.90/13.00 c #Conflicts: 337000 | #Constraints: 29831
12.90/13.00 c #Conflicts: 338000 | #Constraints: 30831
12.90/13.00 c #Conflicts: 339000 | #Constraints: 31831
12.90/13.00 c #Conflicts: 340000 | #Constraints: 32831
12.90/13.00 c #Conflicts: 341000 | #Constraints: 33831
12.90/13.00 c #Conflicts: 342000 | #Constraints: 34831
12.90/13.00 c #Conflicts: 343000 | #Constraints: 35831
12.90/13.00 c #Conflicts: 344000 | #Constraints: 36831
12.90/13.00 c #Conflicts: 345000 | #Constraints: 37831
12.90/13.00 c #Conflicts: 346000 | #Constraints: 38831
12.90/13.00 c #Conflicts: 347000 | #Constraints: 39831
12.90/13.00 c #Conflicts: 348000 | #Constraints: 40831
12.90/13.00 c #Conflicts: 349000 | #Constraints: 41831
12.90/13.00 c INPROCESSING
12.90/13.00 c GARBAGE COLLECT
12.90/13.00 c #Conflicts: 350000 | #Constraints: 22086
12.90/13.00 c #Conflicts: 351000 | #Constraints: 23086
12.90/13.00 c #Conflicts: 352000 | #Constraints: 24086
12.90/13.00 c #Conflicts: 353000 | #Constraints: 25086
12.90/13.00 c #Conflicts: 354000 | #Constraints: 26086
12.90/13.00 c #Conflicts: 355000 | #Constraints: 27086
12.90/13.00 c #Conflicts: 356000 | #Constraints: 28086
12.90/13.00 c #Conflicts: 357000 | #Constraints: 29086
12.90/13.00 c #Conflicts: 358000 | #Constraints: 30086
12.90/13.00 c #Conflicts: 359000 | #Constraints: 31086
12.90/13.00 c #Conflicts: 360000 | #Constraints: 32086
12.90/13.00 c #Conflicts: 361000 | #Constraints: 33086
12.90/13.00 c #Conflicts: 362000 | #Constraints: 34086
12.90/13.00 c #Conflicts: 363000 | #Constraints: 35086
12.90/13.00 c INPROCESSING
12.90/13.00 c GARBAGE COLLECT
12.90/13.00 c #Conflicts: 364000 | #Constraints: 18711
12.90/13.00 c #Conflicts: 365000 | #Constraints: 19711
12.90/13.00 c #Conflicts: 366000 | #Constraints: 20711
12.90/13.00 c #Conflicts: 367000 | #Constraints: 21711
12.90/13.00 c #Conflicts: 368000 | #Constraints: 22711
12.90/13.00 c #Conflicts: 369000 | #Constraints: 23711
12.90/13.00 c #Conflicts: 370000 | #Constraints: 24711
12.90/13.00 c #Conflicts: 371000 | #Constraints: 25711
12.90/13.00 c #Conflicts: 372000 | #Constraints: 26711
12.90/13.00 c #Conflicts: 373000 | #Constraints: 27711
16.28/16.48 c #Conflicts: 374000 | #Constraints: 28711
16.28/16.48 c #Conflicts: 375000 | #Constraints: 29711
16.28/16.48 c #Conflicts: 376000 | #Constraints: 30711
16.28/16.48 c #Conflicts: 377000 | #Constraints: 31711
16.28/16.48 c #Conflicts: 378000 | #Constraints: 32711
16.28/16.48 c INPROCESSING
16.28/16.48 c GARBAGE COLLECT
16.28/16.48 c #Conflicts: 379000 | #Constraints: 17929
16.28/16.48 c #Conflicts: 380000 | #Constraints: 18929
16.28/16.48 c #Conflicts: 381000 | #Constraints: 19929
16.28/16.48 c #Conflicts: 382000 | #Constraints: 20929
16.28/16.48 c #Conflicts: 383000 | #Constraints: 21929
16.28/16.48 c #Conflicts: 384000 | #Constraints: 22929
16.28/16.48 c #Conflicts: 385000 | #Constraints: 23929
16.28/16.48 c #Conflicts: 386000 | #Constraints: 24929
16.28/16.48 c #Conflicts: 387000 | #Constraints: 25929
16.28/16.48 c #Conflicts: 388000 | #Constraints: 26929
16.28/16.48 c #Conflicts: 389000 | #Constraints: 27929
16.28/16.48 c #Conflicts: 390000 | #Constraints: 28929
16.28/16.48 c #Conflicts: 391000 | #Constraints: 29929
16.28/16.48 c #Conflicts: 392000 | #Constraints: 30929
16.28/16.48 c #Conflicts: 393000 | #Constraints: 31929
16.28/16.48 c #Conflicts: 394000 | #Constraints: 32929
16.28/16.48 c #Conflicts: 395000 | #Constraints: 33929
16.28/16.48 c #Conflicts: 396000 | #Constraints: 34929
16.28/16.48 c #Conflicts: 397000 | #Constraints: 35929
16.28/16.48 c #Conflicts: 398000 | #Constraints: 36929
16.28/16.48 c #Conflicts: 399000 | #Constraints: 37929
16.28/16.48 c #Conflicts: 400000 | #Constraints: 38929
16.28/16.48 c #Conflicts: 401000 | #Constraints: 39929
16.28/16.48 c #Conflicts: 402000 | #Constraints: 40929
16.28/16.48 c #Conflicts: 403000 | #Constraints: 41929
16.28/16.48 c #Conflicts: 404000 | #Constraints: 42929
16.28/16.48 c #Conflicts: 405000 | #Constraints: 43929
16.28/16.48 c #Conflicts: 406000 | #Constraints: 44929
16.28/16.48 c #Conflicts: 407000 | #Constraints: 45929
16.28/16.48 c #Conflicts: 408000 | #Constraints: 46929
16.28/16.48 c #Conflicts: 409000 | #Constraints: 47929
16.28/16.48 c #Conflicts: 410000 | #Constraints: 48929
16.28/16.48 c #Conflicts: 411000 | #Constraints: 49929
16.28/16.48 c #Conflicts: 412000 | #Constraints: 50929
16.28/16.48 c #Conflicts: 413000 | #Constraints: 51929
16.28/16.48 c #Conflicts: 414000 | #Constraints: 52929
16.28/16.48 c #Conflicts: 415000 | #Constraints: 53929
16.28/16.48 c #Conflicts: 416000 | #Constraints: 54929
16.28/16.48 c #Conflicts: 417000 | #Constraints: 55929
16.28/16.48 c #Conflicts: 418000 | #Constraints: 56929
16.28/16.48 c #Conflicts: 419000 | #Constraints: 57929
16.28/16.48 c #Conflicts: 420000 | #Constraints: 58929
16.28/16.48 c #Conflicts: 421000 | #Constraints: 59929
16.28/16.48 c #Conflicts: 422000 | #Constraints: 60929
16.28/16.48 c #Conflicts: 423000 | #Constraints: 61929
16.28/16.48 c #Conflicts: 424000 | #Constraints: 62929
16.28/16.48 c INPROCESSING
16.28/16.48 c GARBAGE COLLECT
16.28/16.48 c #Conflicts: 425000 | #Constraints: 32638
16.28/16.48 c #Conflicts: 426000 | #Constraints: 33638
16.28/16.48 c #Conflicts: 427000 | #Constraints: 34638
16.28/16.48 c #Conflicts: 428000 | #Constraints: 35638
16.28/16.48 c #Conflicts: 429000 | #Constraints: 36638
16.28/16.48 c #Conflicts: 430000 | #Constraints: 37638
16.28/16.48 c #Conflicts: 431000 | #Constraints: 38638
16.28/16.48 c #Conflicts: 432000 | #Constraints: 39638
16.28/16.48 c #Conflicts: 433000 | #Constraints: 40638
16.28/16.48 c #Conflicts: 434000 | #Constraints: 41638
16.28/16.48 c #Conflicts: 435000 | #Constraints: 42638
16.28/16.48 c #Conflicts: 436000 | #Constraints: 43638
16.28/16.48 c #Conflicts: 437000 | #Constraints: 44638
16.28/16.48 c #Conflicts: 438000 | #Constraints: 45638
16.28/16.48 c #Conflicts: 439000 | #Constraints: 46638
16.28/16.48 c #Conflicts: 440000 | #Constraints: 47638
16.28/16.48 c INPROCESSING
16.28/16.48 c GARBAGE COLLECT
16.28/16.48 c #Conflicts: 441000 | #Constraints: 25243
16.28/16.48 c #Conflicts: 442000 | #Constraints: 26243
16.28/16.48 c #Conflicts: 443000 | #Constraints: 27243
16.28/16.48 c #Conflicts: 444000 | #Constraints: 28243
16.28/16.48 c #Conflicts: 445000 | #Constraints: 29243
16.28/16.48 c #Conflicts: 446000 | #Constraints: 30243
16.28/16.48 c #Conflicts: 447000 | #Constraints: 31243
16.28/16.48 c #Conflicts: 448000 | #Constraints: 32243
16.28/16.48 c #Conflicts: 449000 | #Constraints: 33243
16.28/16.48 c #Conflicts: 450000 | #Constraints: 34243
19.98/20.18 c #Conflicts: 451000 | #Constraints: 35243
19.98/20.18 c #Conflicts: 452000 | #Constraints: 36243
19.98/20.18 c #Conflicts: 453000 | #Constraints: 37243
19.98/20.18 c #Conflicts: 454000 | #Constraints: 38243
19.98/20.18 c #Conflicts: 455000 | #Constraints: 39243
19.98/20.18 c #Conflicts: 456000 | #Constraints: 40243
19.98/20.18 c INPROCESSING
19.98/20.18 c GARBAGE COLLECT
19.98/20.18 c #Conflicts: 457000 | #Constraints: 21707
19.98/20.18 c #Conflicts: 458000 | #Constraints: 22707
19.98/20.18 c #Conflicts: 459000 | #Constraints: 23707
19.98/20.18 c #Conflicts: 460000 | #Constraints: 24707
19.98/20.18 c #Conflicts: 461000 | #Constraints: 25707
19.98/20.18 c #Conflicts: 462000 | #Constraints: 26707
19.98/20.18 c #Conflicts: 463000 | #Constraints: 27707
19.98/20.18 c #Conflicts: 464000 | #Constraints: 28707
19.98/20.18 c #Conflicts: 465000 | #Constraints: 29707
19.98/20.18 c #Conflicts: 466000 | #Constraints: 30707
19.98/20.18 c #Conflicts: 467000 | #Constraints: 31707
19.98/20.18 c #Conflicts: 468000 | #Constraints: 32707
19.98/20.18 c #Conflicts: 469000 | #Constraints: 33707
19.98/20.18 c #Conflicts: 470000 | #Constraints: 34707
19.98/20.18 c #Conflicts: 471000 | #Constraints: 35707
19.98/20.18 c INPROCESSING
19.98/20.18 c GARBAGE COLLECT
19.98/20.18 c #Conflicts: 472000 | #Constraints: 18991
19.98/20.18 c #Conflicts: 473000 | #Constraints: 19991
19.98/20.18 c #Conflicts: 474000 | #Constraints: 20991
19.98/20.18 c #Conflicts: 475000 | #Constraints: 21991
19.98/20.18 c #Conflicts: 476000 | #Constraints: 22991
19.98/20.18 c #Conflicts: 477000 | #Constraints: 23991
19.98/20.18 c #Conflicts: 478000 | #Constraints: 24991
19.98/20.18 c #Conflicts: 479000 | #Constraints: 25991
19.98/20.18 c #Conflicts: 480000 | #Constraints: 26991
19.98/20.18 c #Conflicts: 481000 | #Constraints: 27991
19.98/20.18 c #Conflicts: 482000 | #Constraints: 28991
19.98/20.18 c #Conflicts: 483000 | #Constraints: 29991
19.98/20.18 c #Conflicts: 484000 | #Constraints: 30991
19.98/20.18 c #Conflicts: 485000 | #Constraints: 31991
19.98/20.18 c #Conflicts: 486000 | #Constraints: 32991
19.98/20.18 c #Conflicts: 487000 | #Constraints: 33991
19.98/20.18 c #Conflicts: 488000 | #Constraints: 34991
19.98/20.18 c #Conflicts: 489000 | #Constraints: 35991
19.98/20.18 c #Conflicts: 490000 | #Constraints: 36991
19.98/20.18 c #Conflicts: 491000 | #Constraints: 37991
19.98/20.18 c #Conflicts: 492000 | #Constraints: 38991
19.98/20.18 c #Conflicts: 493000 | #Constraints: 39991
19.98/20.18 c #Conflicts: 494000 | #Constraints: 40991
19.98/20.18 c #Conflicts: 495000 | #Constraints: 41991
19.98/20.18 c #Conflicts: 496000 | #Constraints: 42991
19.98/20.18 c #Conflicts: 497000 | #Constraints: 43991
19.98/20.18 c #Conflicts: 498000 | #Constraints: 44991
19.98/20.18 c #Conflicts: 499000 | #Constraints: 45991
19.98/20.18 c #Conflicts: 500000 | #Constraints: 46991
19.98/20.18 c #Conflicts: 501000 | #Constraints: 47991
19.98/20.18 c #Conflicts: 502000 | #Constraints: 48991
19.98/20.18 c #Conflicts: 503000 | #Constraints: 49991
19.98/20.18 c #Conflicts: 504000 | #Constraints: 50991
19.98/20.18 c #Conflicts: 505000 | #Constraints: 51991
19.98/20.18 c #Conflicts: 506000 | #Constraints: 52991
19.98/20.18 c #Conflicts: 507000 | #Constraints: 53991
19.98/20.18 c #Conflicts: 508000 | #Constraints: 54991
19.98/20.18 c #Conflicts: 509000 | #Constraints: 55991
19.98/20.18 c #Conflicts: 510000 | #Constraints: 56991
19.98/20.18 c #Conflicts: 511000 | #Constraints: 57991
19.98/20.18 c #Conflicts: 512000 | #Constraints: 58991
19.98/20.18 c #Conflicts: 513000 | #Constraints: 59991
19.98/20.18 c #Conflicts: 514000 | #Constraints: 60991
19.98/20.18 c #Conflicts: 515000 | #Constraints: 61991
19.98/20.18 c #Conflicts: 516000 | #Constraints: 62991
19.98/20.18 c #Conflicts: 517000 | #Constraints: 63991
19.98/20.18 c #Conflicts: 518000 | #Constraints: 64991
19.98/20.18 c #Conflicts: 519000 | #Constraints: 65991
19.98/20.18 c #Conflicts: 520000 | #Constraints: 66991
19.98/20.18 c #Conflicts: 521000 | #Constraints: 67991
19.98/20.18 c #Conflicts: 522000 | #Constraints: 68991
19.98/20.18 c #Conflicts: 523000 | #Constraints: 69991
19.98/20.18 c #Conflicts: 524000 | #Constraints: 70991
19.98/20.18 c INPROCESSING
19.98/20.18 c GARBAGE COLLECT
19.98/20.18 c #Conflicts: 525000 | #Constraints: 37071
19.98/20.18 c #Conflicts: 526000 | #Constraints: 38071
23.37/23.55 c #Conflicts: 527000 | #Constraints: 39071
23.37/23.55 c #Conflicts: 528000 | #Constraints: 40071
23.37/23.55 c #Conflicts: 529000 | #Constraints: 41071
23.37/23.55 c #Conflicts: 530000 | #Constraints: 42071
23.37/23.55 c #Conflicts: 531000 | #Constraints: 43071
23.37/23.55 c #Conflicts: 532000 | #Constraints: 44071
23.37/23.55 c #Conflicts: 533000 | #Constraints: 45071
23.37/23.55 c #Conflicts: 534000 | #Constraints: 46071
23.37/23.55 c #Conflicts: 535000 | #Constraints: 47071
23.37/23.55 c #Conflicts: 536000 | #Constraints: 48071
23.37/23.55 c #Conflicts: 537000 | #Constraints: 49071
23.37/23.55 c #Conflicts: 538000 | #Constraints: 50071
23.37/23.55 c #Conflicts: 539000 | #Constraints: 51071
23.37/23.55 c #Conflicts: 540000 | #Constraints: 52071
23.37/23.55 c #Conflicts: 541000 | #Constraints: 53071
23.37/23.55 c INPROCESSING
23.37/23.55 c GARBAGE COLLECT
23.37/23.55 c #Conflicts: 542000 | #Constraints: 28016
23.37/23.55 c #Conflicts: 543000 | #Constraints: 29016
23.37/23.55 c #Conflicts: 544000 | #Constraints: 30016
23.37/23.55 c #Conflicts: 545000 | #Constraints: 31016
23.37/23.55 c #Conflicts: 546000 | #Constraints: 32016
23.37/23.55 c #Conflicts: 547000 | #Constraints: 33016
23.37/23.55 c #Conflicts: 548000 | #Constraints: 34016
23.37/23.55 c #Conflicts: 549000 | #Constraints: 35016
23.37/23.55 c #Conflicts: 550000 | #Constraints: 36016
23.37/23.55 c #Conflicts: 551000 | #Constraints: 37016
23.37/23.55 c #Conflicts: 552000 | #Constraints: 38016
23.37/23.55 c #Conflicts: 553000 | #Constraints: 39016
23.37/23.55 c #Conflicts: 554000 | #Constraints: 40016
23.37/23.55 c #Conflicts: 555000 | #Constraints: 41016
23.37/23.55 c #Conflicts: 556000 | #Constraints: 42016
23.37/23.55 c #Conflicts: 557000 | #Constraints: 43016
23.37/23.55 c #Conflicts: 558000 | #Constraints: 44016
23.37/23.55 c INPROCESSING
23.37/23.55 c GARBAGE COLLECT
23.37/23.55 c #Conflicts: 559000 | #Constraints: 23280
23.37/23.55 c #Conflicts: 560000 | #Constraints: 24280
23.37/23.55 c #Conflicts: 561000 | #Constraints: 25280
23.37/23.55 c #Conflicts: 562000 | #Constraints: 26280
23.37/23.55 c #Conflicts: 563000 | #Constraints: 27280
23.37/23.55 c #Conflicts: 564000 | #Constraints: 28280
23.37/23.55 c #Conflicts: 565000 | #Constraints: 29280
23.37/23.55 c #Conflicts: 566000 | #Constraints: 30280
23.37/23.55 c #Conflicts: 567000 | #Constraints: 31280
23.37/23.55 c #Conflicts: 568000 | #Constraints: 32280
23.37/23.55 c #Conflicts: 569000 | #Constraints: 33280
23.37/23.55 c #Conflicts: 570000 | #Constraints: 34280
23.37/23.55 c #Conflicts: 571000 | #Constraints: 35280
23.37/23.55 c #Conflicts: 572000 | #Constraints: 36280
23.37/23.55 c #Conflicts: 573000 | #Constraints: 37280
23.37/23.55 c #Conflicts: 574000 | #Constraints: 38280
23.37/23.55 c #Conflicts: 575000 | #Constraints: 39280
23.37/23.55 c #Conflicts: 576000 | #Constraints: 40280
23.37/23.55 c INPROCESSING
23.37/23.55 c GARBAGE COLLECT
23.37/23.55 c #Conflicts: 577000 | #Constraints: 21614
23.37/23.55 c #Conflicts: 578000 | #Constraints: 22614
23.37/23.55 c #Conflicts: 579000 | #Constraints: 23614
23.37/23.55 c #Conflicts: 580000 | #Constraints: 24614
23.37/23.55 c #Conflicts: 581000 | #Constraints: 25614
23.37/23.55 c #Conflicts: 582000 | #Constraints: 26614
23.37/23.55 c #Conflicts: 583000 | #Constraints: 27614
23.37/23.55 c #Conflicts: 584000 | #Constraints: 28614
23.37/23.55 c #Conflicts: 585000 | #Constraints: 29614
23.37/23.55 c #Conflicts: 586000 | #Constraints: 30614
23.37/23.55 c #Conflicts: 587000 | #Constraints: 31614
23.37/23.55 c #Conflicts: 588000 | #Constraints: 32614
23.37/23.55 c #Conflicts: 589000 | #Constraints: 33614
23.37/23.55 c #Conflicts: 590000 | #Constraints: 34614
23.37/23.55 c #Conflicts: 591000 | #Constraints: 35614
23.37/23.55 c #Conflicts: 592000 | #Constraints: 36614
23.37/23.55 c #Conflicts: 593000 | #Constraints: 37614
23.37/23.55 c #Conflicts: 594000 | #Constraints: 38614
23.37/23.55 c #Conflicts: 595000 | #Constraints: 39614
23.37/23.55 c #Conflicts: 596000 | #Constraints: 40614
23.37/23.55 c #Conflicts: 597000 | #Constraints: 41614
23.37/23.55 c #Conflicts: 598000 | #Constraints: 42614
23.37/23.55 c #Conflicts: 599000 | #Constraints: 43614
23.37/23.55 c #Conflicts: 600000 | #Constraints: 44614
23.37/23.55 c #Conflicts: 601000 | #Constraints: 45614
23.37/23.55 c #Conflicts: 602000 | #Constraints: 46614
23.37/23.55 c #Conflicts: 603000 | #Constraints: 47614
27.56/27.78 c #Conflicts: 604000 | #Constraints: 48614
27.56/27.78 c #Conflicts: 605000 | #Constraints: 49614
27.56/27.78 c #Conflicts: 606000 | #Constraints: 50614
27.56/27.78 c #Conflicts: 607000 | #Constraints: 51614
27.56/27.78 c #Conflicts: 608000 | #Constraints: 52614
27.56/27.78 c #Conflicts: 609000 | #Constraints: 53614
27.56/27.78 c #Conflicts: 610000 | #Constraints: 54614
27.56/27.78 c #Conflicts: 611000 | #Constraints: 55614
27.56/27.78 c #Conflicts: 612000 | #Constraints: 56614
27.56/27.78 c #Conflicts: 613000 | #Constraints: 57614
27.56/27.78 c #Conflicts: 614000 | #Constraints: 58614
27.56/27.78 c #Conflicts: 615000 | #Constraints: 59614
27.56/27.78 c #Conflicts: 616000 | #Constraints: 60614
27.56/27.78 c #Conflicts: 617000 | #Constraints: 61614
27.56/27.78 c #Conflicts: 618000 | #Constraints: 62614
27.56/27.78 c #Conflicts: 619000 | #Constraints: 63614
27.56/27.78 c #Conflicts: 620000 | #Constraints: 64614
27.56/27.78 c #Conflicts: 621000 | #Constraints: 65614
27.56/27.78 c #Conflicts: 622000 | #Constraints: 66614
27.56/27.78 c #Conflicts: 623000 | #Constraints: 67614
27.56/27.78 c #Conflicts: 624000 | #Constraints: 68614
27.56/27.78 c #Conflicts: 625000 | #Constraints: 69614
27.56/27.78 c #Conflicts: 626000 | #Constraints: 70614
27.56/27.78 c #Conflicts: 627000 | #Constraints: 71614
27.56/27.78 c #Conflicts: 628000 | #Constraints: 72614
27.56/27.78 c #Conflicts: 629000 | #Constraints: 73614
27.56/27.78 c #Conflicts: 630000 | #Constraints: 74614
27.56/27.78 c #Conflicts: 631000 | #Constraints: 75614
27.56/27.78 c #Conflicts: 632000 | #Constraints: 76614
27.56/27.78 c #Conflicts: 633000 | #Constraints: 77614
27.56/27.78 c INPROCESSING
27.56/27.78 c GARBAGE COLLECT
27.56/27.78 c #Conflicts: 634000 | #Constraints: 40085
27.56/27.78 c #Conflicts: 635000 | #Constraints: 41085
27.56/27.78 c #Conflicts: 636000 | #Constraints: 42085
27.56/27.78 c #Conflicts: 637000 | #Constraints: 43085
27.56/27.78 c #Conflicts: 638000 | #Constraints: 44085
27.56/27.78 c #Conflicts: 639000 | #Constraints: 45085
27.56/27.78 c #Conflicts: 640000 | #Constraints: 46085
27.56/27.78 c #Conflicts: 641000 | #Constraints: 47085
27.56/27.78 c #Conflicts: 642000 | #Constraints: 48085
27.56/27.78 c #Conflicts: 643000 | #Constraints: 49085
27.56/27.78 c #Conflicts: 644000 | #Constraints: 50085
27.56/27.78 c #Conflicts: 645000 | #Constraints: 51085
27.56/27.78 c #Conflicts: 646000 | #Constraints: 52085
27.56/27.78 c #Conflicts: 647000 | #Constraints: 53085
27.56/27.78 c #Conflicts: 648000 | #Constraints: 54085
27.56/27.78 c #Conflicts: 649000 | #Constraints: 55085
27.56/27.78 c #Conflicts: 650000 | #Constraints: 56085
27.56/27.78 c #Conflicts: 651000 | #Constraints: 57085
27.56/27.78 c #Conflicts: 652000 | #Constraints: 58085
27.56/27.78 c INPROCESSING
27.56/27.78 c GARBAGE COLLECT
27.56/27.78 c #Conflicts: 653000 | #Constraints: 30370
27.56/27.78 c #Conflicts: 654000 | #Constraints: 31370
27.56/27.78 c #Conflicts: 655000 | #Constraints: 32370
27.56/27.78 c #Conflicts: 656000 | #Constraints: 33370
27.56/27.78 c #Conflicts: 657000 | #Constraints: 34370
27.56/27.78 c #Conflicts: 658000 | #Constraints: 35370
27.56/27.78 c #Conflicts: 659000 | #Constraints: 36370
27.56/27.78 c #Conflicts: 660000 | #Constraints: 37370
27.56/27.78 c #Conflicts: 661000 | #Constraints: 38370
27.56/27.78 c #Conflicts: 662000 | #Constraints: 39370
27.56/27.78 c #Conflicts: 663000 | #Constraints: 40370
27.56/27.78 c #Conflicts: 664000 | #Constraints: 41370
27.56/27.78 c #Conflicts: 665000 | #Constraints: 42370
27.56/27.78 c #Conflicts: 666000 | #Constraints: 43370
27.56/27.78 c #Conflicts: 667000 | #Constraints: 44370
27.56/27.78 c #Conflicts: 668000 | #Constraints: 45370
27.56/27.78 c #Conflicts: 669000 | #Constraints: 46370
27.56/27.78 c #Conflicts: 670000 | #Constraints: 47370
27.56/27.78 c #Conflicts: 671000 | #Constraints: 48370
27.56/27.78 c INPROCESSING
27.56/27.78 c GARBAGE COLLECT
27.56/27.78 c #Conflicts: 672000 | #Constraints: 25465
27.56/27.78 c #Conflicts: 673000 | #Constraints: 26465
27.56/27.78 c #Conflicts: 674000 | #Constraints: 27465
27.56/27.78 c #Conflicts: 675000 | #Constraints: 28465
27.56/27.78 c #Conflicts: 676000 | #Constraints: 29465
27.56/27.78 c #Conflicts: 677000 | #Constraints: 30465
27.56/27.78 c #Conflicts: 678000 | #Constraints: 31465
27.56/27.78 c #Conflicts: 679000 | #Constraints: 32465
27.56/27.78 c #Conflicts: 680000 | #Constraints: 33465
31.85/32.08 c #Conflicts: 681000 | #Constraints: 34465
31.85/32.08 c #Conflicts: 682000 | #Constraints: 35465
31.85/32.08 c #Conflicts: 683000 | #Constraints: 36465
31.85/32.08 c #Conflicts: 684000 | #Constraints: 37465
31.85/32.08 c #Conflicts: 685000 | #Constraints: 38465
31.85/32.08 c #Conflicts: 686000 | #Constraints: 39465
31.85/32.08 c #Conflicts: 687000 | #Constraints: 40465
31.85/32.08 c #Conflicts: 688000 | #Constraints: 41465
31.85/32.08 c #Conflicts: 689000 | #Constraints: 42465
31.85/32.08 c #Conflicts: 690000 | #Constraints: 43465
31.85/32.08 c INPROCESSING
31.85/32.08 c GARBAGE COLLECT
31.85/32.08 c #Conflicts: 691000 | #Constraints: 22860
31.85/32.08 c #Conflicts: 692000 | #Constraints: 23860
31.85/32.08 c #Conflicts: 693000 | #Constraints: 24860
31.85/32.08 c #Conflicts: 694000 | #Constraints: 25860
31.85/32.08 c #Conflicts: 695000 | #Constraints: 26860
31.85/32.08 c #Conflicts: 696000 | #Constraints: 27860
31.85/32.08 c #Conflicts: 697000 | #Constraints: 28860
31.85/32.08 c #Conflicts: 698000 | #Constraints: 29860
31.85/32.08 c #Conflicts: 699000 | #Constraints: 30860
31.85/32.08 c #Conflicts: 700000 | #Constraints: 31860
31.85/32.08 c #Conflicts: 701000 | #Constraints: 32860
31.85/32.08 c #Conflicts: 702000 | #Constraints: 33860
31.85/32.08 c #Conflicts: 703000 | #Constraints: 34860
31.85/32.08 c #Conflicts: 704000 | #Constraints: 35860
31.85/32.08 c #Conflicts: 705000 | #Constraints: 36860
31.85/32.08 c #Conflicts: 706000 | #Constraints: 37860
31.85/32.08 c #Conflicts: 707000 | #Constraints: 38860
31.85/32.08 c #Conflicts: 708000 | #Constraints: 39860
31.85/32.08 c #Conflicts: 709000 | #Constraints: 40860
31.85/32.08 c #Conflicts: 710000 | #Constraints: 41860
31.85/32.08 c #Conflicts: 711000 | #Constraints: 42860
31.85/32.08 c #Conflicts: 712000 | #Constraints: 43860
31.85/32.08 c #Conflicts: 713000 | #Constraints: 44860
31.85/32.08 c #Conflicts: 714000 | #Constraints: 45860
31.85/32.08 c #Conflicts: 715000 | #Constraints: 46860
31.85/32.08 c #Conflicts: 716000 | #Constraints: 47860
31.85/32.08 c #Conflicts: 717000 | #Constraints: 48860
31.85/32.08 c #Conflicts: 718000 | #Constraints: 49860
31.85/32.08 c #Conflicts: 719000 | #Constraints: 50860
31.85/32.08 c #Conflicts: 720000 | #Constraints: 51860
31.85/32.08 c #Conflicts: 721000 | #Constraints: 52860
31.85/32.08 c #Conflicts: 722000 | #Constraints: 53860
31.85/32.08 c #Conflicts: 723000 | #Constraints: 54860
31.85/32.08 c #Conflicts: 724000 | #Constraints: 55860
31.85/32.08 c #Conflicts: 725000 | #Constraints: 56860
31.85/32.08 c #Conflicts: 726000 | #Constraints: 57860
31.85/32.08 c #Conflicts: 727000 | #Constraints: 58860
31.85/32.08 c #Conflicts: 728000 | #Constraints: 59860
31.85/32.08 c #Conflicts: 729000 | #Constraints: 60860
31.85/32.08 c #Conflicts: 730000 | #Constraints: 61860
31.85/32.08 c #Conflicts: 731000 | #Constraints: 62860
31.85/32.08 c #Conflicts: 732000 | #Constraints: 63860
31.85/32.08 c #Conflicts: 733000 | #Constraints: 64860
31.85/32.08 c #Conflicts: 734000 | #Constraints: 65860
31.85/32.08 c #Conflicts: 735000 | #Constraints: 66860
31.85/32.08 c #Conflicts: 736000 | #Constraints: 67860
31.85/32.08 c #Conflicts: 737000 | #Constraints: 68860
31.85/32.08 c #Conflicts: 738000 | #Constraints: 69860
31.85/32.08 c #Conflicts: 739000 | #Constraints: 70860
31.85/32.08 c #Conflicts: 740000 | #Constraints: 71860
31.85/32.08 c #Conflicts: 741000 | #Constraints: 72860
31.85/32.08 c #Conflicts: 742000 | #Constraints: 73860
31.85/32.08 c #Conflicts: 743000 | #Constraints: 74860
31.85/32.08 c #Conflicts: 744000 | #Constraints: 75860
31.85/32.08 c #Conflicts: 745000 | #Constraints: 76860
31.85/32.08 c #Conflicts: 746000 | #Constraints: 77860
31.85/32.08 c #Conflicts: 747000 | #Constraints: 78860
31.85/32.08 c #Conflicts: 748000 | #Constraints: 79860
31.85/32.08 c #Conflicts: 749000 | #Constraints: 80860
31.85/32.08 c #Conflicts: 750000 | #Constraints: 81860
31.85/32.08 c #Conflicts: 751000 | #Constraints: 82860
31.85/32.08 c #Conflicts: 752000 | #Constraints: 83860
31.85/32.08 c #Conflicts: 753000 | #Constraints: 84860
31.85/32.08 c INPROCESSING
31.85/32.08 c GARBAGE COLLECT
31.85/32.08 c #Conflicts: 754000 | #Constraints: 43706
31.85/32.08 c #Conflicts: 755000 | #Constraints: 44706
31.85/32.08 c #Conflicts: 756000 | #Constraints: 45706
31.85/32.08 c #Conflicts: 757000 | #Constraints: 46706
31.85/32.08 c #Conflicts: 758000 | #Constraints: 47706
35.61/35.97 c #Conflicts: 759000 | #Constraints: 48706
35.61/35.97 c #Conflicts: 760000 | #Constraints: 49706
35.61/35.97 c #Conflicts: 761000 | #Constraints: 50706
35.61/35.97 c #Conflicts: 762000 | #Constraints: 51706
35.61/35.97 c #Conflicts: 763000 | #Constraints: 52706
35.61/35.97 c #Conflicts: 764000 | #Constraints: 53706
35.61/35.97 c #Conflicts: 765000 | #Constraints: 54706
35.61/35.97 c #Conflicts: 766000 | #Constraints: 55706
35.61/35.97 c #Conflicts: 767000 | #Constraints: 56706
35.61/35.97 c #Conflicts: 768000 | #Constraints: 57706
35.61/35.97 c #Conflicts: 769000 | #Constraints: 58706
35.61/35.97 c #Conflicts: 770000 | #Constraints: 59706
35.61/35.97 c #Conflicts: 771000 | #Constraints: 60706
35.61/35.97 c #Conflicts: 772000 | #Constraints: 61706
35.61/35.97 c #Conflicts: 773000 | #Constraints: 62706
35.61/35.97 c #Conflicts: 774000 | #Constraints: 63706
35.61/35.97 c INPROCESSING
35.61/35.97 c GARBAGE COLLECT
35.61/35.97 c #Conflicts: 775000 | #Constraints: 33330
35.61/35.97 c #Conflicts: 776000 | #Constraints: 34330
35.61/35.97 c #Conflicts: 777000 | #Constraints: 35330
35.61/35.98 c #Conflicts: 778000 | #Constraints: 36330
35.61/35.98 c #Conflicts: 779000 | #Constraints: 37330
35.61/35.98 c #Conflicts: 780000 | #Constraints: 38330
35.61/35.98 c #Conflicts: 781000 | #Constraints: 39330
35.61/35.98 c #Conflicts: 782000 | #Constraints: 40330
35.61/35.98 c #Conflicts: 783000 | #Constraints: 41330
35.61/35.98 c #Conflicts: 784000 | #Constraints: 42330
35.61/35.98 c #Conflicts: 785000 | #Constraints: 43330
35.61/35.98 c #Conflicts: 786000 | #Constraints: 44330
35.61/35.98 c #Conflicts: 787000 | #Constraints: 45330
35.61/35.98 c #Conflicts: 788000 | #Constraints: 46330
35.61/35.98 c #Conflicts: 789000 | #Constraints: 47330
35.61/35.98 c #Conflicts: 790000 | #Constraints: 48330
35.61/35.98 c #Conflicts: 791000 | #Constraints: 49330
35.61/35.98 c #Conflicts: 792000 | #Constraints: 50330
35.61/35.98 c #Conflicts: 793000 | #Constraints: 51330
35.61/35.98 c #Conflicts: 794000 | #Constraints: 52330
35.61/35.98 c #Conflicts: 795000 | #Constraints: 53330
35.61/35.98 c INPROCESSING
35.61/35.98 c GARBAGE COLLECT
35.61/35.98 c #Conflicts: 796000 | #Constraints: 28240
35.61/35.98 c #Conflicts: 797000 | #Constraints: 29240
35.61/35.98 c #Conflicts: 798000 | #Constraints: 30240
35.61/35.98 c #Conflicts: 799000 | #Constraints: 31240
35.61/35.98 c #Conflicts: 800000 | #Constraints: 32240
35.61/35.98 c #Conflicts: 801000 | #Constraints: 33240
35.61/35.98 c #Conflicts: 802000 | #Constraints: 34240
35.61/35.98 c #Conflicts: 803000 | #Constraints: 35240
35.61/35.98 c #Conflicts: 804000 | #Constraints: 36240
35.61/35.98 c #Conflicts: 805000 | #Constraints: 37240
35.61/35.98 c #Conflicts: 806000 | #Constraints: 38240
35.61/35.98 c #Conflicts: 807000 | #Constraints: 39240
35.61/35.98 c #Conflicts: 808000 | #Constraints: 40240
35.61/35.98 c #Conflicts: 809000 | #Constraints: 41240
35.61/35.98 c #Conflicts: 810000 | #Constraints: 42240
35.61/35.98 c #Conflicts: 811000 | #Constraints: 43240
35.61/35.98 c #Conflicts: 812000 | #Constraints: 44240
35.61/35.98 c #Conflicts: 813000 | #Constraints: 45240
35.61/35.98 c #Conflicts: 814000 | #Constraints: 46240
35.61/35.98 c #Conflicts: 815000 | #Constraints: 47240
35.61/35.98 c #Conflicts: 816000 | #Constraints: 48240
35.61/35.98 c INPROCESSING
35.61/35.98 c GARBAGE COLLECT
35.61/35.98 c #Conflicts: 817000 | #Constraints: 25693
35.61/35.98 c #Conflicts: 818000 | #Constraints: 26693
35.61/35.98 c #Conflicts: 819000 | #Constraints: 27693
35.61/35.98 c #Conflicts: 820000 | #Constraints: 28693
35.61/35.98 c #Conflicts: 821000 | #Constraints: 29693
35.61/35.98 c #Conflicts: 822000 | #Constraints: 30693
35.61/35.98 c #Conflicts: 823000 | #Constraints: 31693
35.61/35.98 c #Conflicts: 824000 | #Constraints: 32693
35.61/35.98 c #Conflicts: 825000 | #Constraints: 33693
35.61/35.98 c #Conflicts: 826000 | #Constraints: 34693
35.61/35.98 c #Conflicts: 827000 | #Constraints: 35693
35.61/35.98 c #Conflicts: 828000 | #Constraints: 36693
35.61/35.98 c #Conflicts: 829000 | #Constraints: 37693
35.61/35.98 c #Conflicts: 830000 | #Constraints: 38693
35.61/35.98 c #Conflicts: 831000 | #Constraints: 39693
35.61/35.98 c #Conflicts: 832000 | #Constraints: 40693
35.61/35.98 c #Conflicts: 833000 | #Constraints: 41693
35.61/35.98 c #Conflicts: 834000 | #Constraints: 42693
35.61/35.98 c #Conflicts: 835000 | #Constraints: 43693
40.50/40.84 c #Conflicts: 836000 | #Constraints: 44693
40.50/40.84 c #Conflicts: 837000 | #Constraints: 45693
40.50/40.84 c #Conflicts: 838000 | #Constraints: 46693
40.50/40.84 c #Conflicts: 839000 | #Constraints: 47693
40.50/40.84 c #Conflicts: 840000 | #Constraints: 48693
40.50/40.84 c #Conflicts: 841000 | #Constraints: 49693
40.50/40.84 c #Conflicts: 842000 | #Constraints: 50693
40.50/40.84 c #Conflicts: 843000 | #Constraints: 51693
40.50/40.84 c #Conflicts: 844000 | #Constraints: 52693
40.50/40.84 c #Conflicts: 845000 | #Constraints: 53693
40.50/40.84 c #Conflicts: 846000 | #Constraints: 54693
40.50/40.84 c #Conflicts: 847000 | #Constraints: 55693
40.50/40.84 c #Conflicts: 848000 | #Constraints: 56693
40.50/40.84 c #Conflicts: 849000 | #Constraints: 57693
40.50/40.84 c #Conflicts: 850000 | #Constraints: 58693
40.50/40.84 c #Conflicts: 851000 | #Constraints: 59693
40.50/40.84 c #Conflicts: 852000 | #Constraints: 60693
40.50/40.84 c #Conflicts: 853000 | #Constraints: 61693
40.50/40.84 c #Conflicts: 854000 | #Constraints: 62693
40.50/40.84 c #Conflicts: 855000 | #Constraints: 63693
40.50/40.84 c #Conflicts: 856000 | #Constraints: 64693
40.50/40.84 c #Conflicts: 857000 | #Constraints: 65693
40.50/40.84 c #Conflicts: 858000 | #Constraints: 66693
40.50/40.84 c #Conflicts: 859000 | #Constraints: 67693
40.50/40.84 c #Conflicts: 860000 | #Constraints: 68693
40.50/40.84 c #Conflicts: 861000 | #Constraints: 69693
40.50/40.84 c #Conflicts: 862000 | #Constraints: 70693
40.50/40.84 c #Conflicts: 863000 | #Constraints: 71693
40.50/40.84 c #Conflicts: 864000 | #Constraints: 72693
40.50/40.84 c #Conflicts: 865000 | #Constraints: 73693
40.50/40.84 c #Conflicts: 866000 | #Constraints: 74693
40.50/40.84 c #Conflicts: 867000 | #Constraints: 75693
40.50/40.84 c #Conflicts: 868000 | #Constraints: 76693
40.50/40.84 c #Conflicts: 869000 | #Constraints: 77693
40.50/40.84 c #Conflicts: 870000 | #Constraints: 78693
40.50/40.84 c #Conflicts: 871000 | #Constraints: 79693
40.50/40.84 c #Conflicts: 872000 | #Constraints: 80693
40.50/40.84 c #Conflicts: 873000 | #Constraints: 81693
40.50/40.84 c #Conflicts: 874000 | #Constraints: 82693
40.50/40.84 c #Conflicts: 875000 | #Constraints: 83693
40.50/40.84 c #Conflicts: 876000 | #Constraints: 84693
40.50/40.84 c #Conflicts: 877000 | #Constraints: 85693
40.50/40.84 c #Conflicts: 878000 | #Constraints: 86693
40.50/40.84 c #Conflicts: 879000 | #Constraints: 87693
40.50/40.84 c #Conflicts: 880000 | #Constraints: 88693
40.50/40.84 c #Conflicts: 881000 | #Constraints: 89693
40.50/40.84 c #Conflicts: 882000 | #Constraints: 90693
40.50/40.84 c #Conflicts: 883000 | #Constraints: 91693
40.50/40.84 c #Conflicts: 884000 | #Constraints: 92693
40.50/40.84 c INPROCESSING
40.50/40.84 c GARBAGE COLLECT
40.50/40.84 c #Conflicts: 885000 | #Constraints: 47929
40.50/40.84 c #Conflicts: 886000 | #Constraints: 48929
40.50/40.84 c #Conflicts: 887000 | #Constraints: 49929
40.50/40.84 c #Conflicts: 888000 | #Constraints: 50929
40.50/40.84 c #Conflicts: 889000 | #Constraints: 51929
40.50/40.84 c #Conflicts: 890000 | #Constraints: 52929
40.50/40.84 c #Conflicts: 891000 | #Constraints: 53929
40.50/40.84 c #Conflicts: 892000 | #Constraints: 54929
40.50/40.84 c #Conflicts: 893000 | #Constraints: 55929
40.50/40.84 c #Conflicts: 894000 | #Constraints: 56929
40.50/40.84 c #Conflicts: 895000 | #Constraints: 57929
40.50/40.84 c #Conflicts: 896000 | #Constraints: 58929
40.50/40.84 c #Conflicts: 897000 | #Constraints: 59929
40.50/40.84 c #Conflicts: 898000 | #Constraints: 60929
40.50/40.84 c #Conflicts: 899000 | #Constraints: 61929
40.50/40.84 c #Conflicts: 900000 | #Constraints: 62929
40.50/40.84 c #Conflicts: 901000 | #Constraints: 63929
40.50/40.84 c #Conflicts: 902000 | #Constraints: 64929
40.50/40.84 c #Conflicts: 903000 | #Constraints: 65929
40.50/40.84 c #Conflicts: 904000 | #Constraints: 66929
40.50/40.84 c #Conflicts: 905000 | #Constraints: 67929
40.50/40.84 c #Conflicts: 906000 | #Constraints: 68929
40.50/40.84 c INPROCESSING
40.50/40.84 c GARBAGE COLLECT
40.50/40.84 c #Conflicts: 907000 | #Constraints: 35898
40.50/40.84 c #Conflicts: 908000 | #Constraints: 36898
40.50/40.84 c #Conflicts: 909000 | #Constraints: 37898
40.50/40.84 c #Conflicts: 910000 | #Constraints: 38898
40.50/40.84 c #Conflicts: 911000 | #Constraints: 39898
40.50/40.84 c #Conflicts: 912000 | #Constraints: 40898
44.59/44.95 c #Conflicts: 913000 | #Constraints: 41898
44.59/44.95 c #Conflicts: 914000 | #Constraints: 42898
44.59/44.95 c #Conflicts: 915000 | #Constraints: 43898
44.59/44.95 c #Conflicts: 916000 | #Constraints: 44898
44.59/44.95 c #Conflicts: 917000 | #Constraints: 45898
44.59/44.95 c #Conflicts: 918000 | #Constraints: 46898
44.59/44.95 c #Conflicts: 919000 | #Constraints: 47898
44.59/44.95 c #Conflicts: 920000 | #Constraints: 48898
44.59/44.95 c #Conflicts: 921000 | #Constraints: 49898
44.59/44.95 c #Conflicts: 922000 | #Constraints: 50898
44.59/44.95 c #Conflicts: 923000 | #Constraints: 51898
44.59/44.95 c #Conflicts: 924000 | #Constraints: 52898
44.59/44.95 c #Conflicts: 925000 | #Constraints: 53898
44.59/44.95 c #Conflicts: 926000 | #Constraints: 54898
44.59/44.95 c #Conflicts: 927000 | #Constraints: 55898
44.59/44.95 c #Conflicts: 928000 | #Constraints: 56898
44.59/44.95 c INPROCESSING
44.59/44.95 c GARBAGE COLLECT
44.59/44.95 c #Conflicts: 929000 | #Constraints: 29635
44.59/44.95 c #Conflicts: 930000 | #Constraints: 30635
44.59/44.95 c #Conflicts: 931000 | #Constraints: 31635
44.59/44.95 c #Conflicts: 932000 | #Constraints: 32635
44.59/44.95 c #Conflicts: 933000 | #Constraints: 33635
44.59/44.95 c #Conflicts: 934000 | #Constraints: 34635
44.59/44.95 c #Conflicts: 935000 | #Constraints: 35635
44.59/44.95 c #Conflicts: 936000 | #Constraints: 36635
44.59/44.95 c #Conflicts: 937000 | #Constraints: 37635
44.59/44.95 c #Conflicts: 938000 | #Constraints: 38635
44.59/44.95 c #Conflicts: 939000 | #Constraints: 39635
44.59/44.95 c #Conflicts: 940000 | #Constraints: 40635
44.59/44.95 c #Conflicts: 941000 | #Constraints: 41635
44.59/44.95 c #Conflicts: 942000 | #Constraints: 42635
44.59/44.95 c #Conflicts: 943000 | #Constraints: 43635
44.59/44.95 c #Conflicts: 944000 | #Constraints: 44635
44.59/44.95 c #Conflicts: 945000 | #Constraints: 45635
44.59/44.95 c #Conflicts: 946000 | #Constraints: 46635
44.59/44.95 c #Conflicts: 947000 | #Constraints: 47635
44.59/44.95 c #Conflicts: 948000 | #Constraints: 48635
44.59/44.95 c #Conflicts: 949000 | #Constraints: 49635
44.59/44.95 c #Conflicts: 950000 | #Constraints: 50635
44.59/44.95 c #Conflicts: 951000 | #Constraints: 51635
44.59/44.95 c INPROCESSING
44.59/44.95 c GARBAGE COLLECT
44.59/44.95 c #Conflicts: 952000 | #Constraints: 27148
44.59/44.95 c #Conflicts: 953000 | #Constraints: 28148
44.59/44.95 c #Conflicts: 954000 | #Constraints: 29148
44.59/44.95 c #Conflicts: 955000 | #Constraints: 30148
44.59/44.95 c #Conflicts: 956000 | #Constraints: 31148
44.59/44.95 c #Conflicts: 957000 | #Constraints: 32148
44.59/44.95 c #Conflicts: 958000 | #Constraints: 33148
44.59/44.95 c #Conflicts: 959000 | #Constraints: 34148
44.59/44.95 c #Conflicts: 960000 | #Constraints: 35148
44.59/44.95 c #Conflicts: 961000 | #Constraints: 36148
44.59/44.95 c #Conflicts: 962000 | #Constraints: 37148
44.59/44.95 c #Conflicts: 963000 | #Constraints: 38148
44.59/44.95 c #Conflicts: 964000 | #Constraints: 39148
44.59/44.95 c #Conflicts: 965000 | #Constraints: 40148
44.59/44.95 c #Conflicts: 966000 | #Constraints: 41148
44.59/44.95 c #Conflicts: 967000 | #Constraints: 42148
44.59/44.95 c #Conflicts: 968000 | #Constraints: 43148
44.59/44.95 c #Conflicts: 969000 | #Constraints: 44148
44.59/44.95 c #Conflicts: 970000 | #Constraints: 45148
44.59/44.95 c #Conflicts: 971000 | #Constraints: 46148
44.59/44.95 c #Conflicts: 972000 | #Constraints: 47148
44.59/44.95 c #Conflicts: 973000 | #Constraints: 48148
44.59/44.95 c #Conflicts: 974000 | #Constraints: 49148
44.59/44.95 c #Conflicts: 975000 | #Constraints: 50148
44.59/44.95 c #Conflicts: 976000 | #Constraints: 51148
44.59/44.95 c #Conflicts: 977000 | #Constraints: 52148
44.59/44.95 c #Conflicts: 978000 | #Constraints: 53148
44.59/44.95 c #Conflicts: 979000 | #Constraints: 54148
44.59/44.95 c #Conflicts: 980000 | #Constraints: 55148
44.59/44.95 c #Conflicts: 981000 | #Constraints: 56148
44.59/44.95 c #Conflicts: 982000 | #Constraints: 57148
44.59/44.95 c #Conflicts: 983000 | #Constraints: 58148
44.59/44.95 c #Conflicts: 984000 | #Constraints: 59148
44.59/44.95 c #Conflicts: 985000 | #Constraints: 60148
44.59/44.95 c #Conflicts: 986000 | #Constraints: 61148
44.59/44.95 c #Conflicts: 987000 | #Constraints: 62148
44.59/44.95 c #Conflicts: 988000 | #Constraints: 63148
44.59/44.95 c #Conflicts: 989000 | #Constraints: 64148
44.59/44.95 c #Conflicts: 990000 | #Constraints: 65148
49.47/49.87 c #Conflicts: 991000 | #Constraints: 66148
49.47/49.87 c #Conflicts: 992000 | #Constraints: 67148
49.47/49.87 c #Conflicts: 993000 | #Constraints: 68148
49.47/49.87 c #Conflicts: 994000 | #Constraints: 69148
49.47/49.87 c #Conflicts: 995000 | #Constraints: 70148
49.47/49.87 c #Conflicts: 996000 | #Constraints: 71148
49.47/49.87 c #Conflicts: 997000 | #Constraints: 72148
49.47/49.87 c #Conflicts: 998000 | #Constraints: 73148
49.47/49.87 c #Conflicts: 999000 | #Constraints: 74148
49.47/49.87 c #Conflicts: 1000000 | #Constraints: 75148
49.47/49.87 c #Conflicts: 1001000 | #Constraints: 76148
49.47/49.87 c #Conflicts: 1002000 | #Constraints: 77148
49.47/49.87 c #Conflicts: 1003000 | #Constraints: 78148
49.47/49.87 c #Conflicts: 1004000 | #Constraints: 79148
49.47/49.87 c #Conflicts: 1005000 | #Constraints: 80148
49.47/49.87 c #Conflicts: 1006000 | #Constraints: 81148
49.47/49.87 c #Conflicts: 1007000 | #Constraints: 82148
49.47/49.87 c #Conflicts: 1008000 | #Constraints: 83148
49.47/49.87 c #Conflicts: 1009000 | #Constraints: 84148
49.47/49.87 c #Conflicts: 1010000 | #Constraints: 85148
49.47/49.87 c #Conflicts: 1011000 | #Constraints: 86148
49.47/49.87 c #Conflicts: 1012000 | #Constraints: 87148
49.47/49.87 c #Conflicts: 1013000 | #Constraints: 88148
49.47/49.87 c #Conflicts: 1014000 | #Constraints: 89148
49.47/49.87 c #Conflicts: 1015000 | #Constraints: 90148
49.47/49.87 c #Conflicts: 1016000 | #Constraints: 91148
49.47/49.87 c #Conflicts: 1017000 | #Constraints: 92148
49.47/49.87 c #Conflicts: 1018000 | #Constraints: 93148
49.47/49.87 c #Conflicts: 1019000 | #Constraints: 94148
49.47/49.87 c #Conflicts: 1020000 | #Constraints: 95148
49.47/49.87 c #Conflicts: 1021000 | #Constraints: 96148
49.47/49.87 c #Conflicts: 1022000 | #Constraints: 97148
49.47/49.87 c #Conflicts: 1023000 | #Constraints: 98148
49.47/49.87 c #Conflicts: 1024000 | #Constraints: 99148
49.47/49.87 c INPROCESSING
49.47/49.87 c GARBAGE COLLECT
49.47/49.87 c #Conflicts: 1025000 | #Constraints: 50769
49.47/49.87 c #Conflicts: 1026000 | #Constraints: 51769
49.47/49.87 c #Conflicts: 1027000 | #Constraints: 52769
49.47/49.87 c #Conflicts: 1028000 | #Constraints: 53769
49.47/49.87 c #Conflicts: 1029000 | #Constraints: 54769
49.47/49.87 c #Conflicts: 1030000 | #Constraints: 55769
49.47/49.87 c #Conflicts: 1031000 | #Constraints: 56769
49.47/49.87 c #Conflicts: 1032000 | #Constraints: 57769
49.47/49.87 c #Conflicts: 1033000 | #Constraints: 58769
49.47/49.87 c #Conflicts: 1034000 | #Constraints: 59769
49.47/49.87 c #Conflicts: 1035000 | #Constraints: 60769
49.47/49.87 c #Conflicts: 1036000 | #Constraints: 61769
49.47/49.87 c #Conflicts: 1037000 | #Constraints: 62769
49.47/49.87 c #Conflicts: 1038000 | #Constraints: 63769
49.47/49.87 c #Conflicts: 1039000 | #Constraints: 64769
49.47/49.87 c #Conflicts: 1040000 | #Constraints: 65769
49.47/49.87 c #Conflicts: 1041000 | #Constraints: 66769
49.47/49.87 c #Conflicts: 1042000 | #Constraints: 67769
49.47/49.87 c #Conflicts: 1043000 | #Constraints: 68769
49.47/49.87 c #Conflicts: 1044000 | #Constraints: 69769
49.47/49.87 c #Conflicts: 1045000 | #Constraints: 70769
49.47/49.87 c #Conflicts: 1046000 | #Constraints: 71769
49.47/49.87 c #Conflicts: 1047000 | #Constraints: 72769
49.47/49.87 c #Conflicts: 1048000 | #Constraints: 73769
49.47/49.87 c INPROCESSING
49.47/49.87 c GARBAGE COLLECT
49.47/49.87 c #Conflicts: 1049000 | #Constraints: 38077
49.47/49.87 c #Conflicts: 1050000 | #Constraints: 39077
49.47/49.87 c #Conflicts: 1051000 | #Constraints: 40077
49.47/49.87 c #Conflicts: 1052000 | #Constraints: 41077
49.47/49.87 c #Conflicts: 1053000 | #Constraints: 42077
49.47/49.87 c #Conflicts: 1054000 | #Constraints: 43077
49.47/49.87 c #Conflicts: 1055000 | #Constraints: 44077
49.47/49.87 c #Conflicts: 1056000 | #Constraints: 45077
49.47/49.87 c #Conflicts: 1057000 | #Constraints: 46077
49.47/49.87 c #Conflicts: 1058000 | #Constraints: 47077
49.47/49.87 c #Conflicts: 1059000 | #Constraints: 48077
49.47/49.87 c #Conflicts: 1060000 | #Constraints: 49077
49.47/49.87 c #Conflicts: 1061000 | #Constraints: 50077
49.47/49.87 c #Conflicts: 1062000 | #Constraints: 51077
49.47/49.87 c #Conflicts: 1063000 | #Constraints: 52077
49.47/49.87 c #Conflicts: 1064000 | #Constraints: 53077
49.47/49.87 c #Conflicts: 1065000 | #Constraints: 54077
49.47/49.87 c #Conflicts: 1066000 | #Constraints: 55077
49.47/49.87 c #Conflicts: 1067000 | #Constraints: 56077
53.66/54.01 c #Conflicts: 1068000 | #Constraints: 57077
53.66/54.01 c #Conflicts: 1069000 | #Constraints: 58077
53.66/54.01 c #Conflicts: 1070000 | #Constraints: 59077
53.66/54.01 c #Conflicts: 1071000 | #Constraints: 60077
53.66/54.01 c #Conflicts: 1072000 | #Constraints: 61077
53.66/54.01 c #Conflicts: 1073000 | #Constraints: 62077
53.66/54.01 c INPROCESSING
53.66/54.01 c GARBAGE COLLECT
53.66/54.01 c #Conflicts: 1074000 | #Constraints: 32627
53.66/54.01 c #Conflicts: 1075000 | #Constraints: 33627
53.66/54.01 c #Conflicts: 1076000 | #Constraints: 34627
53.66/54.01 c #Conflicts: 1077000 | #Constraints: 35627
53.66/54.01 c #Conflicts: 1078000 | #Constraints: 36627
53.66/54.01 c #Conflicts: 1079000 | #Constraints: 37627
53.66/54.01 c #Conflicts: 1080000 | #Constraints: 38627
53.66/54.01 c #Conflicts: 1081000 | #Constraints: 39627
53.66/54.01 c #Conflicts: 1082000 | #Constraints: 40627
53.66/54.01 c #Conflicts: 1083000 | #Constraints: 41627
53.66/54.01 c #Conflicts: 1084000 | #Constraints: 42627
53.66/54.01 c #Conflicts: 1085000 | #Constraints: 43627
53.66/54.01 c #Conflicts: 1086000 | #Constraints: 44627
53.66/54.01 c #Conflicts: 1087000 | #Constraints: 45627
53.66/54.01 c #Conflicts: 1088000 | #Constraints: 46627
53.66/54.01 c #Conflicts: 1089000 | #Constraints: 47627
53.66/54.01 c #Conflicts: 1090000 | #Constraints: 48627
53.66/54.01 c #Conflicts: 1091000 | #Constraints: 49627
53.66/54.01 c #Conflicts: 1092000 | #Constraints: 50627
53.66/54.01 c #Conflicts: 1093000 | #Constraints: 51627
53.66/54.01 c #Conflicts: 1094000 | #Constraints: 52627
53.66/54.01 c #Conflicts: 1095000 | #Constraints: 53627
53.66/54.01 c #Conflicts: 1096000 | #Constraints: 54627
53.66/54.01 c #Conflicts: 1097000 | #Constraints: 55627
53.66/54.01 c INPROCESSING
53.66/54.01 c GARBAGE COLLECT
53.66/54.01 c #Conflicts: 1098000 | #Constraints: 29196
53.66/54.01 c #Conflicts: 1099000 | #Constraints: 30196
53.66/54.01 c #Conflicts: 1100000 | #Constraints: 31196
53.66/54.01 c #Conflicts: 1101000 | #Constraints: 32196
53.66/54.01 c #Conflicts: 1102000 | #Constraints: 33196
53.66/54.01 c #Conflicts: 1103000 | #Constraints: 34196
53.66/54.01 c #Conflicts: 1104000 | #Constraints: 35196
53.66/54.01 c #Conflicts: 1105000 | #Constraints: 36196
53.66/54.01 c #Conflicts: 1106000 | #Constraints: 37196
53.66/54.01 c #Conflicts: 1107000 | #Constraints: 38196
53.66/54.01 c #Conflicts: 1108000 | #Constraints: 39196
53.66/54.01 c #Conflicts: 1109000 | #Constraints: 40196
53.66/54.01 c #Conflicts: 1110000 | #Constraints: 41196
53.66/54.01 c #Conflicts: 1111000 | #Constraints: 42196
53.66/54.01 c #Conflicts: 1112000 | #Constraints: 43196
53.66/54.01 c #Conflicts: 1113000 | #Constraints: 44196
53.66/54.01 c #Conflicts: 1114000 | #Constraints: 45196
53.66/54.01 c #Conflicts: 1115000 | #Constraints: 46196
53.66/54.01 c #Conflicts: 1116000 | #Constraints: 47196
53.66/54.01 c #Conflicts: 1117000 | #Constraints: 48196
53.66/54.01 c #Conflicts: 1118000 | #Constraints: 49196
53.66/54.01 c #Conflicts: 1119000 | #Constraints: 50196
53.66/54.01 c #Conflicts: 1120000 | #Constraints: 51196
53.66/54.01 c #Conflicts: 1121000 | #Constraints: 52196
53.66/54.01 c #Conflicts: 1122000 | #Constraints: 53196
53.66/54.01 c #Conflicts: 1123000 | #Constraints: 54196
53.66/54.01 c #Conflicts: 1124000 | #Constraints: 55196
53.66/54.01 c #Conflicts: 1125000 | #Constraints: 56196
53.66/54.01 c #Conflicts: 1126000 | #Constraints: 57196
53.66/54.01 c #Conflicts: 1127000 | #Constraints: 58196
53.66/54.01 c #Conflicts: 1128000 | #Constraints: 59196
53.66/54.01 c #Conflicts: 1129000 | #Constraints: 60196
53.66/54.01 c #Conflicts: 1130000 | #Constraints: 61196
53.66/54.01 c #Conflicts: 1131000 | #Constraints: 62196
53.66/54.01 c #Conflicts: 1132000 | #Constraints: 63196
53.66/54.01 c #Conflicts: 1133000 | #Constraints: 64196
53.66/54.01 c #Conflicts: 1134000 | #Constraints: 65196
53.66/54.01 c #Conflicts: 1135000 | #Constraints: 66196
53.66/54.01 c #Conflicts: 1136000 | #Constraints: 67196
53.66/54.01 c #Conflicts: 1137000 | #Constraints: 68196
53.66/54.01 c #Conflicts: 1138000 | #Constraints: 69196
53.66/54.01 c #Conflicts: 1139000 | #Constraints: 70196
53.66/54.01 c #Conflicts: 1140000 | #Constraints: 71196
53.66/54.01 c #Conflicts: 1141000 | #Constraints: 72196
53.66/54.01 c #Conflicts: 1142000 | #Constraints: 73196
53.66/54.01 c #Conflicts: 1143000 | #Constraints: 74196
53.66/54.01 c #Conflicts: 1144000 | #Constraints: 75196
53.66/54.01 c #Conflicts: 1145000 | #Constraints: 76196
58.55/58.96 c #Conflicts: 1146000 | #Constraints: 77196
58.55/58.96 c #Conflicts: 1147000 | #Constraints: 78196
58.55/58.96 c #Conflicts: 1148000 | #Constraints: 79196
58.55/58.96 c #Conflicts: 1149000 | #Constraints: 80196
58.55/58.96 c #Conflicts: 1150000 | #Constraints: 81196
58.55/58.96 c #Conflicts: 1151000 | #Constraints: 82196
58.55/58.96 c #Conflicts: 1152000 | #Constraints: 83196
58.55/58.96 c #Conflicts: 1153000 | #Constraints: 84196
58.55/58.96 c #Conflicts: 1154000 | #Constraints: 85196
58.55/58.96 c #Conflicts: 1155000 | #Constraints: 86196
58.55/58.96 c #Conflicts: 1156000 | #Constraints: 87196
58.55/58.96 c #Conflicts: 1157000 | #Constraints: 88196
58.55/58.96 c #Conflicts: 1158000 | #Constraints: 89196
58.55/58.96 c #Conflicts: 1159000 | #Constraints: 90196
58.55/58.96 c #Conflicts: 1160000 | #Constraints: 91196
58.55/58.96 c #Conflicts: 1161000 | #Constraints: 92196
58.55/58.96 c #Conflicts: 1162000 | #Constraints: 93196
58.55/58.96 c #Conflicts: 1163000 | #Constraints: 94196
58.55/58.96 c #Conflicts: 1164000 | #Constraints: 95196
58.55/58.96 c #Conflicts: 1165000 | #Constraints: 96196
58.55/58.96 c #Conflicts: 1166000 | #Constraints: 97196
58.55/58.96 c #Conflicts: 1167000 | #Constraints: 98196
58.55/58.96 c #Conflicts: 1168000 | #Constraints: 99196
58.55/58.96 c #Conflicts: 1169000 | #Constraints: 100196
58.55/58.96 c #Conflicts: 1170000 | #Constraints: 101196
58.55/58.96 c #Conflicts: 1171000 | #Constraints: 102196
58.55/58.96 c #Conflicts: 1172000 | #Constraints: 103196
58.55/58.96 c #Conflicts: 1173000 | #Constraints: 104196
58.55/58.96 c #Conflicts: 1174000 | #Constraints: 105196
58.55/58.96 c #Conflicts: 1175000 | #Constraints: 106196
58.55/58.96 c #Conflicts: 1176000 | #Constraints: 107196
58.55/58.96 c INPROCESSING
58.55/58.96 c GARBAGE COLLECT
58.55/58.96 c #Conflicts: 1177000 | #Constraints: 55182
58.55/58.96 c #Conflicts: 1178000 | #Constraints: 56182
58.55/58.96 c #Conflicts: 1179000 | #Constraints: 57182
58.55/58.96 c #Conflicts: 1180000 | #Constraints: 58182
58.55/58.96 c #Conflicts: 1181000 | #Constraints: 59182
58.55/58.96 c #Conflicts: 1182000 | #Constraints: 60182
58.55/58.96 c #Conflicts: 1183000 | #Constraints: 61182
58.55/58.96 c #Conflicts: 1184000 | #Constraints: 62182
58.55/58.96 c #Conflicts: 1185000 | #Constraints: 63182
58.55/58.96 c #Conflicts: 1186000 | #Constraints: 64182
58.55/58.96 c #Conflicts: 1187000 | #Constraints: 65182
58.55/58.96 c #Conflicts: 1188000 | #Constraints: 66182
58.55/58.96 c #Conflicts: 1189000 | #Constraints: 67182
58.55/58.96 c #Conflicts: 1190000 | #Constraints: 68182
58.55/58.96 c #Conflicts: 1191000 | #Constraints: 69182
58.55/58.96 c #Conflicts: 1192000 | #Constraints: 70182
58.55/58.96 c #Conflicts: 1193000 | #Constraints: 71182
58.55/58.96 c #Conflicts: 1194000 | #Constraints: 72182
58.55/58.96 c #Conflicts: 1195000 | #Constraints: 73182
58.55/58.96 c #Conflicts: 1196000 | #Constraints: 74182
58.55/58.96 c #Conflicts: 1197000 | #Constraints: 75182
58.55/58.96 c #Conflicts: 1198000 | #Constraints: 76182
58.55/58.96 c #Conflicts: 1199000 | #Constraints: 77182
58.55/58.96 c #Conflicts: 1200000 | #Constraints: 78182
58.55/58.96 c #Conflicts: 1201000 | #Constraints: 79182
58.55/58.96 c INPROCESSING
58.55/58.96 c GARBAGE COLLECT
58.55/58.96 c #Conflicts: 1202000 | #Constraints: 40821
58.55/58.96 c #Conflicts: 1203000 | #Constraints: 41821
58.55/58.96 c #Conflicts: 1204000 | #Constraints: 42821
58.55/58.96 c #Conflicts: 1205000 | #Constraints: 43821
58.55/58.96 c #Conflicts: 1206000 | #Constraints: 44821
58.55/58.96 c #Conflicts: 1207000 | #Constraints: 45821
58.55/58.96 c #Conflicts: 1208000 | #Constraints: 46821
58.55/58.96 c #Conflicts: 1209000 | #Constraints: 47821
58.55/58.96 c #Conflicts: 1210000 | #Constraints: 48821
58.55/58.96 c #Conflicts: 1211000 | #Constraints: 49821
58.55/58.96 c #Conflicts: 1212000 | #Constraints: 50821
58.55/58.96 c #Conflicts: 1213000 | #Constraints: 51821
58.55/58.96 c #Conflicts: 1214000 | #Constraints: 52821
58.55/58.96 c #Conflicts: 1215000 | #Constraints: 53821
58.55/58.96 c #Conflicts: 1216000 | #Constraints: 54821
58.55/58.96 c #Conflicts: 1217000 | #Constraints: 55821
58.55/58.96 c #Conflicts: 1218000 | #Constraints: 56821
58.55/58.96 c #Conflicts: 1219000 | #Constraints: 57821
58.55/58.96 c #Conflicts: 1220000 | #Constraints: 58821
58.55/58.96 c #Conflicts: 1221000 | #Constraints: 59821
58.55/58.96 c #Conflicts: 1222000 | #Constraints: 60821
62.60/63.07 c #Conflicts: 1223000 | #Constraints: 61821
62.60/63.07 c #Conflicts: 1224000 | #Constraints: 62821
62.60/63.07 c #Conflicts: 1225000 | #Constraints: 63821
62.60/63.07 c #Conflicts: 1226000 | #Constraints: 64821
62.60/63.07 c #Conflicts: 1227000 | #Constraints: 65821
62.60/63.07 c INPROCESSING
62.60/63.07 c GARBAGE COLLECT
62.60/63.07 c #Conflicts: 1228000 | #Constraints: 34198
62.60/63.07 c #Conflicts: 1229000 | #Constraints: 35198
62.60/63.07 c #Conflicts: 1230000 | #Constraints: 36198
62.60/63.07 c #Conflicts: 1231000 | #Constraints: 37198
62.60/63.07 c #Conflicts: 1232000 | #Constraints: 38198
62.60/63.07 c #Conflicts: 1233000 | #Constraints: 39198
62.60/63.07 c #Conflicts: 1234000 | #Constraints: 40198
62.60/63.07 c #Conflicts: 1235000 | #Constraints: 41198
62.60/63.07 c #Conflicts: 1236000 | #Constraints: 42198
62.60/63.07 c #Conflicts: 1237000 | #Constraints: 43198
62.60/63.07 c #Conflicts: 1238000 | #Constraints: 44198
62.60/63.07 c #Conflicts: 1239000 | #Constraints: 45198
62.60/63.07 c #Conflicts: 1240000 | #Constraints: 46198
62.60/63.07 c #Conflicts: 1241000 | #Constraints: 47198
62.60/63.07 c #Conflicts: 1242000 | #Constraints: 48198
62.60/63.07 c #Conflicts: 1243000 | #Constraints: 49198
62.60/63.07 c #Conflicts: 1244000 | #Constraints: 50198
62.60/63.07 c #Conflicts: 1245000 | #Constraints: 51198
62.60/63.07 c #Conflicts: 1246000 | #Constraints: 52198
62.60/63.07 c #Conflicts: 1247000 | #Constraints: 53198
62.60/63.07 c #Conflicts: 1248000 | #Constraints: 54198
62.60/63.07 c #Conflicts: 1249000 | #Constraints: 55198
62.60/63.07 c #Conflicts: 1250000 | #Constraints: 56198
62.60/63.07 c #Conflicts: 1251000 | #Constraints: 57198
62.60/63.07 c #Conflicts: 1252000 | #Constraints: 58198
62.60/63.07 c #Conflicts: 1253000 | #Constraints: 59198
62.60/63.07 c INPROCESSING
62.60/63.07 c GARBAGE COLLECT
62.60/63.07 c #Conflicts: 1254000 | #Constraints: 30823
62.60/63.07 c #Conflicts: 1255000 | #Constraints: 31823
62.60/63.07 c #Conflicts: 1256000 | #Constraints: 32823
62.60/63.07 c #Conflicts: 1257000 | #Constraints: 33823
62.60/63.07 c #Conflicts: 1258000 | #Constraints: 34823
62.60/63.07 c #Conflicts: 1259000 | #Constraints: 35823
62.60/63.07 c #Conflicts: 1260000 | #Constraints: 36823
62.60/63.07 c #Conflicts: 1261000 | #Constraints: 37823
62.60/63.07 c #Conflicts: 1262000 | #Constraints: 38823
62.60/63.07 c #Conflicts: 1263000 | #Constraints: 39823
62.60/63.07 c #Conflicts: 1264000 | #Constraints: 40823
62.60/63.07 c #Conflicts: 1265000 | #Constraints: 41823
62.60/63.07 c #Conflicts: 1266000 | #Constraints: 42823
62.60/63.07 c #Conflicts: 1267000 | #Constraints: 43823
62.60/63.07 c #Conflicts: 1268000 | #Constraints: 44823
62.60/63.07 c #Conflicts: 1269000 | #Constraints: 45823
62.60/63.07 c #Conflicts: 1270000 | #Constraints: 46823
62.60/63.07 c #Conflicts: 1271000 | #Constraints: 47823
62.60/63.07 c #Conflicts: 1272000 | #Constraints: 48823
62.60/63.07 c #Conflicts: 1273000 | #Constraints: 49823
62.60/63.07 c #Conflicts: 1274000 | #Constraints: 50823
62.60/63.07 c #Conflicts: 1275000 | #Constraints: 51823
62.60/63.07 c #Conflicts: 1276000 | #Constraints: 52823
62.60/63.07 c #Conflicts: 1277000 | #Constraints: 53823
62.60/63.07 c #Conflicts: 1278000 | #Constraints: 54823
62.60/63.07 c #Conflicts: 1279000 | #Constraints: 55823
62.60/63.07 c #Conflicts: 1280000 | #Constraints: 56823
62.60/63.07 c #Conflicts: 1281000 | #Constraints: 57823
62.60/63.07 c #Conflicts: 1282000 | #Constraints: 58823
62.60/63.07 c #Conflicts: 1283000 | #Constraints: 59823
62.60/63.07 c #Conflicts: 1284000 | #Constraints: 60823
62.60/63.07 c #Conflicts: 1285000 | #Constraints: 61823
62.60/63.07 c #Conflicts: 1286000 | #Constraints: 62823
62.60/63.07 c #Conflicts: 1287000 | #Constraints: 63823
62.60/63.07 c #Conflicts: 1288000 | #Constraints: 64823
62.60/63.07 c #Conflicts: 1289000 | #Constraints: 65823
62.60/63.07 c #Conflicts: 1290000 | #Constraints: 66823
62.60/63.07 c #Conflicts: 1291000 | #Constraints: 67823
62.60/63.07 c #Conflicts: 1292000 | #Constraints: 68823
62.60/63.07 c #Conflicts: 1293000 | #Constraints: 69823
62.60/63.07 c #Conflicts: 1294000 | #Constraints: 70823
62.60/63.07 c #Conflicts: 1295000 | #Constraints: 71823
62.60/63.07 c #Conflicts: 1296000 | #Constraints: 72823
62.60/63.07 c #Conflicts: 1297000 | #Constraints: 73823
62.60/63.07 c #Conflicts: 1298000 | #Constraints: 74823
62.60/63.07 c #Conflicts: 1299000 | #Constraints: 75823
62.60/63.07 c #Conflicts: 1300000 | #Constraints: 76823
68.23/68.74 c #Conflicts: 1301000 | #Constraints: 77823
68.23/68.74 c #Conflicts: 1302000 | #Constraints: 78823
68.23/68.74 c #Conflicts: 1303000 | #Constraints: 79823
68.23/68.74 c #Conflicts: 1304000 | #Constraints: 80823
68.23/68.74 c #Conflicts: 1305000 | #Constraints: 81823
68.23/68.74 c #Conflicts: 1306000 | #Constraints: 82823
68.23/68.74 c #Conflicts: 1307000 | #Constraints: 83823
68.23/68.74 c #Conflicts: 1308000 | #Constraints: 84823
68.23/68.74 c #Conflicts: 1309000 | #Constraints: 85823
68.23/68.74 c #Conflicts: 1310000 | #Constraints: 86823
68.23/68.74 c #Conflicts: 1311000 | #Constraints: 87823
68.23/68.74 c #Conflicts: 1312000 | #Constraints: 88823
68.23/68.74 c #Conflicts: 1313000 | #Constraints: 89823
68.23/68.74 c #Conflicts: 1314000 | #Constraints: 90823
68.23/68.74 c #Conflicts: 1315000 | #Constraints: 91823
68.23/68.74 c #Conflicts: 1316000 | #Constraints: 92823
68.23/68.74 c #Conflicts: 1317000 | #Constraints: 93823
68.23/68.74 c #Conflicts: 1318000 | #Constraints: 94823
68.23/68.74 c #Conflicts: 1319000 | #Constraints: 95823
68.23/68.74 c #Conflicts: 1320000 | #Constraints: 96823
68.23/68.74 c #Conflicts: 1321000 | #Constraints: 97823
68.23/68.74 c #Conflicts: 1322000 | #Constraints: 98823
68.23/68.74 c #Conflicts: 1323000 | #Constraints: 99823
68.23/68.74 c #Conflicts: 1324000 | #Constraints: 100823
68.23/68.74 c #Conflicts: 1325000 | #Constraints: 101823
68.23/68.74 c #Conflicts: 1326000 | #Constraints: 102823
68.23/68.74 c #Conflicts: 1327000 | #Constraints: 103823
68.23/68.74 c #Conflicts: 1328000 | #Constraints: 104823
68.23/68.74 c #Conflicts: 1329000 | #Constraints: 105823
68.23/68.74 c #Conflicts: 1330000 | #Constraints: 106823
68.23/68.74 c #Conflicts: 1331000 | #Constraints: 107823
68.23/68.74 c #Conflicts: 1332000 | #Constraints: 108823
68.23/68.74 c #Conflicts: 1333000 | #Constraints: 109823
68.23/68.74 c #Conflicts: 1334000 | #Constraints: 110823
68.23/68.74 c #Conflicts: 1335000 | #Constraints: 111823
68.23/68.74 c #Conflicts: 1336000 | #Constraints: 112823
68.23/68.74 c #Conflicts: 1337000 | #Constraints: 113823
68.23/68.74 c INPROCESSING
68.23/68.74 c GARBAGE COLLECT
68.23/68.74 c #Conflicts: 1338000 | #Constraints: 58195
68.23/68.74 c #Conflicts: 1339000 | #Constraints: 59195
68.23/68.74 c #Conflicts: 1340000 | #Constraints: 60195
68.23/68.74 c #Conflicts: 1341000 | #Constraints: 61195
68.23/68.74 c #Conflicts: 1342000 | #Constraints: 62195
68.23/68.74 c #Conflicts: 1343000 | #Constraints: 63195
68.23/68.74 c #Conflicts: 1344000 | #Constraints: 64195
68.23/68.74 c #Conflicts: 1345000 | #Constraints: 65195
68.23/68.74 c #Conflicts: 1346000 | #Constraints: 66195
68.23/68.74 c #Conflicts: 1347000 | #Constraints: 67195
68.23/68.74 c #Conflicts: 1348000 | #Constraints: 68195
68.23/68.74 c #Conflicts: 1349000 | #Constraints: 69195
68.23/68.74 c #Conflicts: 1350000 | #Constraints: 70195
68.23/68.74 c #Conflicts: 1351000 | #Constraints: 71195
68.23/68.74 c #Conflicts: 1352000 | #Constraints: 72195
68.23/68.74 c #Conflicts: 1353000 | #Constraints: 73195
68.23/68.74 c #Conflicts: 1354000 | #Constraints: 74195
68.23/68.74 c #Conflicts: 1355000 | #Constraints: 75195
68.23/68.74 c #Conflicts: 1356000 | #Constraints: 76195
68.23/68.74 c #Conflicts: 1357000 | #Constraints: 77195
68.23/68.74 c #Conflicts: 1358000 | #Constraints: 78195
68.23/68.74 c #Conflicts: 1359000 | #Constraints: 79195
68.23/68.74 c #Conflicts: 1360000 | #Constraints: 80195
68.23/68.74 c #Conflicts: 1361000 | #Constraints: 81195
68.23/68.74 c #Conflicts: 1362000 | #Constraints: 82195
68.23/68.74 c #Conflicts: 1363000 | #Constraints: 83195
68.23/68.74 c #Conflicts: 1364000 | #Constraints: 84195
68.23/68.74 c #Conflicts: 1365000 | #Constraints: 85195
68.23/68.74 c INPROCESSING
68.23/68.74 c GARBAGE COLLECT
68.23/68.74 c #Conflicts: 1366000 | #Constraints: 44182
68.23/68.74 c #Conflicts: 1367000 | #Constraints: 45182
68.23/68.74 c #Conflicts: 1368000 | #Constraints: 46182
68.23/68.74 c #Conflicts: 1369000 | #Constraints: 47182
68.23/68.74 c #Conflicts: 1370000 | #Constraints: 48182
68.23/68.74 c #Conflicts: 1371000 | #Constraints: 49182
68.23/68.74 c #Conflicts: 1372000 | #Constraints: 50182
68.23/68.74 c #Conflicts: 1373000 | #Constraints: 51182
68.23/68.74 c #Conflicts: 1374000 | #Constraints: 52182
68.23/68.74 c #Conflicts: 1375000 | #Constraints: 53182
68.23/68.74 c #Conflicts: 1376000 | #Constraints: 54182
68.23/68.74 c #Conflicts: 1377000 | #Constraints: 55182
72.42/72.93 c #Conflicts: 1378000 | #Constraints: 56182
72.42/72.93 c #Conflicts: 1379000 | #Constraints: 57182
72.42/72.93 c #Conflicts: 1380000 | #Constraints: 58182
72.42/72.93 c #Conflicts: 1381000 | #Constraints: 59182
72.42/72.93 c #Conflicts: 1382000 | #Constraints: 60182
72.42/72.93 c #Conflicts: 1383000 | #Constraints: 61182
72.42/72.93 c #Conflicts: 1384000 | #Constraints: 62182
72.42/72.93 c #Conflicts: 1385000 | #Constraints: 63182
72.42/72.93 c #Conflicts: 1386000 | #Constraints: 64182
72.42/72.93 c #Conflicts: 1387000 | #Constraints: 65182
72.42/72.93 c #Conflicts: 1388000 | #Constraints: 66182
72.42/72.93 c #Conflicts: 1389000 | #Constraints: 67182
72.42/72.93 c #Conflicts: 1390000 | #Constraints: 68182
72.42/72.93 c #Conflicts: 1391000 | #Constraints: 69182
72.42/72.93 c #Conflicts: 1392000 | #Constraints: 70182
72.42/72.93 c INPROCESSING
72.42/72.93 c GARBAGE COLLECT
72.42/72.93 c #Conflicts: 1393000 | #Constraints: 36375
72.42/72.93 c #Conflicts: 1394000 | #Constraints: 37375
72.42/72.93 c #Conflicts: 1395000 | #Constraints: 38375
72.42/72.93 c #Conflicts: 1396000 | #Constraints: 39375
72.42/72.93 c #Conflicts: 1397000 | #Constraints: 40375
72.42/72.93 c #Conflicts: 1398000 | #Constraints: 41375
72.42/72.93 c #Conflicts: 1399000 | #Constraints: 42375
72.42/72.93 c #Conflicts: 1400000 | #Constraints: 43375
72.42/72.93 c #Conflicts: 1401000 | #Constraints: 44375
72.42/72.93 c #Conflicts: 1402000 | #Constraints: 45375
72.42/72.93 c #Conflicts: 1403000 | #Constraints: 46375
72.42/72.93 c #Conflicts: 1404000 | #Constraints: 47375
72.42/72.93 c #Conflicts: 1405000 | #Constraints: 48375
72.42/72.93 c #Conflicts: 1406000 | #Constraints: 49375
72.42/72.93 c #Conflicts: 1407000 | #Constraints: 50375
72.42/72.93 c #Conflicts: 1408000 | #Constraints: 51375
72.42/72.93 c #Conflicts: 1409000 | #Constraints: 52375
72.42/72.93 c #Conflicts: 1410000 | #Constraints: 53375
72.42/72.93 c #Conflicts: 1411000 | #Constraints: 54375
72.42/72.93 c #Conflicts: 1412000 | #Constraints: 55375
72.42/72.93 c #Conflicts: 1413000 | #Constraints: 56375
72.42/72.93 c #Conflicts: 1414000 | #Constraints: 57375
72.42/72.93 c #Conflicts: 1415000 | #Constraints: 58375
72.42/72.93 c #Conflicts: 1416000 | #Constraints: 59375
72.42/72.93 c #Conflicts: 1417000 | #Constraints: 60375
72.42/72.93 c #Conflicts: 1418000 | #Constraints: 61375
72.42/72.93 c #Conflicts: 1419000 | #Constraints: 62375
72.42/72.93 c #Conflicts: 1420000 | #Constraints: 63375
72.42/72.93 c INPROCESSING
72.42/72.93 c GARBAGE COLLECT
72.42/72.93 c #Conflicts: 1421000 | #Constraints: 33075
72.42/72.93 c #Conflicts: 1422000 | #Constraints: 34075
72.42/72.93 c #Conflicts: 1423000 | #Constraints: 35075
72.42/72.93 c #Conflicts: 1424000 | #Constraints: 36075
72.42/72.93 c #Conflicts: 1425000 | #Constraints: 37075
72.42/72.93 c #Conflicts: 1426000 | #Constraints: 38075
72.42/72.93 c #Conflicts: 1427000 | #Constraints: 39075
72.42/72.93 c #Conflicts: 1428000 | #Constraints: 40075
72.42/72.93 c #Conflicts: 1429000 | #Constraints: 41075
72.42/72.93 c #Conflicts: 1430000 | #Constraints: 42075
72.42/72.93 c #Conflicts: 1431000 | #Constraints: 43075
72.42/72.93 c #Conflicts: 1432000 | #Constraints: 44075
72.42/72.93 c #Conflicts: 1433000 | #Constraints: 45075
72.42/72.93 c #Conflicts: 1434000 | #Constraints: 46075
72.42/72.93 c #Conflicts: 1435000 | #Constraints: 47075
72.42/72.93 c #Conflicts: 1436000 | #Constraints: 48075
72.42/72.93 c #Conflicts: 1437000 | #Constraints: 49075
72.42/72.93 c #Conflicts: 1438000 | #Constraints: 50075
72.42/72.93 c #Conflicts: 1439000 | #Constraints: 51075
72.42/72.93 c #Conflicts: 1440000 | #Constraints: 52075
72.42/72.93 c #Conflicts: 1441000 | #Constraints: 53075
72.42/72.93 c #Conflicts: 1442000 | #Constraints: 54075
72.42/72.93 c #Conflicts: 1443000 | #Constraints: 55075
72.42/72.93 c #Conflicts: 1444000 | #Constraints: 56075
72.42/72.93 c #Conflicts: 1445000 | #Constraints: 57075
72.42/72.93 c #Conflicts: 1446000 | #Constraints: 58075
72.42/72.93 c #Conflicts: 1447000 | #Constraints: 59075
72.42/72.93 c #Conflicts: 1448000 | #Constraints: 60075
72.42/72.93 c #Conflicts: 1449000 | #Constraints: 61075
72.42/72.93 c #Conflicts: 1450000 | #Constraints: 62075
72.42/72.93 c #Conflicts: 1451000 | #Constraints: 63075
72.42/72.93 c #Conflicts: 1452000 | #Constraints: 64075
72.42/72.93 c #Conflicts: 1453000 | #Constraints: 65075
72.42/72.93 c #Conflicts: 1454000 | #Constraints: 66075
72.42/72.93 c #Conflicts: 1455000 | #Constraints: 67075
78.31/78.82 c #Conflicts: 1456000 | #Constraints: 68075
78.31/78.82 c #Conflicts: 1457000 | #Constraints: 69075
78.31/78.82 c #Conflicts: 1458000 | #Constraints: 70075
78.31/78.82 c #Conflicts: 1459000 | #Constraints: 71075
78.31/78.82 c #Conflicts: 1460000 | #Constraints: 72075
78.31/78.82 c #Conflicts: 1461000 | #Constraints: 73075
78.31/78.82 c #Conflicts: 1462000 | #Constraints: 74075
78.31/78.82 c #Conflicts: 1463000 | #Constraints: 75075
78.31/78.82 c #Conflicts: 1464000 | #Constraints: 76075
78.31/78.82 c #Conflicts: 1465000 | #Constraints: 77075
78.31/78.82 c #Conflicts: 1466000 | #Constraints: 78075
78.31/78.82 c #Conflicts: 1467000 | #Constraints: 79075
78.31/78.82 c #Conflicts: 1468000 | #Constraints: 80075
78.31/78.82 c #Conflicts: 1469000 | #Constraints: 81075
78.31/78.82 c #Conflicts: 1470000 | #Constraints: 82075
78.31/78.82 c #Conflicts: 1471000 | #Constraints: 83075
78.31/78.82 c #Conflicts: 1472000 | #Constraints: 84075
78.31/78.82 c #Conflicts: 1473000 | #Constraints: 85075
78.31/78.82 c #Conflicts: 1474000 | #Constraints: 86075
78.31/78.82 c #Conflicts: 1475000 | #Constraints: 87075
78.31/78.82 c #Conflicts: 1476000 | #Constraints: 88075
78.31/78.82 c #Conflicts: 1477000 | #Constraints: 89075
78.31/78.82 c #Conflicts: 1478000 | #Constraints: 90075
78.31/78.82 c #Conflicts: 1479000 | #Constraints: 91075
78.31/78.82 c #Conflicts: 1480000 | #Constraints: 92075
78.31/78.82 c #Conflicts: 1481000 | #Constraints: 93075
78.31/78.82 c #Conflicts: 1482000 | #Constraints: 94075
78.31/78.82 c #Conflicts: 1483000 | #Constraints: 95075
78.31/78.82 c #Conflicts: 1484000 | #Constraints: 96075
78.31/78.82 c #Conflicts: 1485000 | #Constraints: 97075
78.31/78.82 c #Conflicts: 1486000 | #Constraints: 98075
78.31/78.82 c #Conflicts: 1487000 | #Constraints: 99075
78.31/78.82 c #Conflicts: 1488000 | #Constraints: 100075
78.31/78.82 c #Conflicts: 1489000 | #Constraints: 101075
78.31/78.82 c #Conflicts: 1490000 | #Constraints: 102075
78.31/78.82 c #Conflicts: 1491000 | #Constraints: 103075
78.31/78.82 c #Conflicts: 1492000 | #Constraints: 104075
78.31/78.82 c #Conflicts: 1493000 | #Constraints: 105075
78.31/78.82 c #Conflicts: 1494000 | #Constraints: 106075
78.31/78.82 c #Conflicts: 1495000 | #Constraints: 107075
78.31/78.82 c #Conflicts: 1496000 | #Constraints: 108075
78.31/78.82 c #Conflicts: 1497000 | #Constraints: 109075
78.31/78.82 c #Conflicts: 1498000 | #Constraints: 110075
78.31/78.82 c #Conflicts: 1499000 | #Constraints: 111075
78.31/78.82 c #Conflicts: 1500000 | #Constraints: 112075
78.31/78.82 c #Conflicts: 1501000 | #Constraints: 113075
78.31/78.82 c #Conflicts: 1502000 | #Constraints: 114075
78.31/78.82 c #Conflicts: 1503000 | #Constraints: 115075
78.31/78.82 c #Conflicts: 1504000 | #Constraints: 116075
78.31/78.82 c #Conflicts: 1505000 | #Constraints: 117075
78.31/78.82 c #Conflicts: 1506000 | #Constraints: 118075
78.31/78.82 c #Conflicts: 1507000 | #Constraints: 119075
78.31/78.82 c #Conflicts: 1508000 | #Constraints: 120075
78.31/78.82 c #Conflicts: 1509000 | #Constraints: 121075
78.31/78.82 c INPROCESSING
78.31/78.82 c GARBAGE COLLECT
78.31/78.82 c #Conflicts: 1510000 | #Constraints: 61823
78.31/78.82 c #Conflicts: 1511000 | #Constraints: 62823
78.31/78.82 c #Conflicts: 1512000 | #Constraints: 63823
78.31/78.82 c #Conflicts: 1513000 | #Constraints: 64823
78.31/78.82 c #Conflicts: 1514000 | #Constraints: 65823
78.31/78.82 c #Conflicts: 1515000 | #Constraints: 66823
78.31/78.82 c #Conflicts: 1516000 | #Constraints: 67823
78.31/78.82 c #Conflicts: 1517000 | #Constraints: 68823
78.31/78.82 c #Conflicts: 1518000 | #Constraints: 69823
78.31/78.82 c #Conflicts: 1519000 | #Constraints: 70823
78.31/78.82 c #Conflicts: 1520000 | #Constraints: 71823
78.31/78.82 c #Conflicts: 1521000 | #Constraints: 72823
78.31/78.82 c #Conflicts: 1522000 | #Constraints: 73823
78.31/78.82 c #Conflicts: 1523000 | #Constraints: 74823
78.31/78.82 c #Conflicts: 1524000 | #Constraints: 75823
78.31/78.82 c #Conflicts: 1525000 | #Constraints: 76823
78.31/78.82 c #Conflicts: 1526000 | #Constraints: 77823
78.31/78.82 c #Conflicts: 1527000 | #Constraints: 78823
78.31/78.82 c #Conflicts: 1528000 | #Constraints: 79823
78.31/78.82 c #Conflicts: 1529000 | #Constraints: 80823
78.31/78.82 c #Conflicts: 1530000 | #Constraints: 81823
78.31/78.82 c #Conflicts: 1531000 | #Constraints: 82823
78.31/78.82 c #Conflicts: 1532000 | #Constraints: 83823
78.31/78.82 c #Conflicts: 1533000 | #Constraints: 84823
83.20/83.72 c #Conflicts: 1534000 | #Constraints: 85823
83.20/83.72 c #Conflicts: 1535000 | #Constraints: 86823
83.20/83.72 c #Conflicts: 1536000 | #Constraints: 87823
83.20/83.72 c #Conflicts: 1537000 | #Constraints: 88823
83.20/83.72 c #Conflicts: 1538000 | #Constraints: 89823
83.20/83.72 c INPROCESSING
83.20/83.72 c GARBAGE COLLECT
83.20/83.72 c #Conflicts: 1539000 | #Constraints: 46147
83.20/83.72 c #Conflicts: 1540000 | #Constraints: 47147
83.20/83.72 c #Conflicts: 1541000 | #Constraints: 48147
83.20/83.72 c #Conflicts: 1542000 | #Constraints: 49147
83.20/83.72 c #Conflicts: 1543000 | #Constraints: 50147
83.20/83.72 c #Conflicts: 1544000 | #Constraints: 51147
83.20/83.72 c #Conflicts: 1545000 | #Constraints: 52147
83.20/83.72 c #Conflicts: 1546000 | #Constraints: 53147
83.20/83.72 c #Conflicts: 1547000 | #Constraints: 54147
83.20/83.72 c #Conflicts: 1548000 | #Constraints: 55147
83.20/83.72 c #Conflicts: 1549000 | #Constraints: 56147
83.20/83.72 c #Conflicts: 1550000 | #Constraints: 57147
83.20/83.72 c #Conflicts: 1551000 | #Constraints: 58147
83.20/83.72 c #Conflicts: 1552000 | #Constraints: 59147
83.20/83.72 c #Conflicts: 1553000 | #Constraints: 60147
83.20/83.72 c #Conflicts: 1554000 | #Constraints: 61147
83.20/83.72 c #Conflicts: 1555000 | #Constraints: 62147
83.20/83.72 c #Conflicts: 1556000 | #Constraints: 63147
83.20/83.72 c #Conflicts: 1557000 | #Constraints: 64147
83.20/83.72 c #Conflicts: 1558000 | #Constraints: 65147
83.20/83.72 c #Conflicts: 1559000 | #Constraints: 66147
83.20/83.72 c #Conflicts: 1560000 | #Constraints: 67147
83.20/83.72 c #Conflicts: 1561000 | #Constraints: 68147
83.20/83.72 c #Conflicts: 1562000 | #Constraints: 69147
83.20/83.72 c #Conflicts: 1563000 | #Constraints: 70147
83.20/83.72 c #Conflicts: 1564000 | #Constraints: 71147
83.20/83.72 c #Conflicts: 1565000 | #Constraints: 72147
83.20/83.72 c #Conflicts: 1566000 | #Constraints: 73147
83.20/83.72 c #Conflicts: 1567000 | #Constraints: 74147
83.20/83.72 c #Conflicts: 1568000 | #Constraints: 75147
83.20/83.72 c INPROCESSING
83.20/83.72 c GARBAGE COLLECT
83.20/83.72 c #Conflicts: 1569000 | #Constraints: 39164
83.20/83.72 c #Conflicts: 1570000 | #Constraints: 40164
83.20/83.72 c #Conflicts: 1571000 | #Constraints: 41164
83.20/83.72 c #Conflicts: 1572000 | #Constraints: 42164
83.20/83.72 c #Conflicts: 1573000 | #Constraints: 43164
83.20/83.72 c #Conflicts: 1574000 | #Constraints: 44164
83.20/83.72 c #Conflicts: 1575000 | #Constraints: 45164
83.20/83.72 c #Conflicts: 1576000 | #Constraints: 46164
83.20/83.72 c #Conflicts: 1577000 | #Constraints: 47164
83.20/83.72 c #Conflicts: 1578000 | #Constraints: 48164
83.20/83.72 c #Conflicts: 1579000 | #Constraints: 49164
83.20/83.72 c #Conflicts: 1580000 | #Constraints: 50164
83.20/83.72 c #Conflicts: 1581000 | #Constraints: 51164
83.20/83.72 c #Conflicts: 1582000 | #Constraints: 52164
83.20/83.72 c #Conflicts: 1583000 | #Constraints: 53164
83.20/83.72 c #Conflicts: 1584000 | #Constraints: 54164
83.20/83.72 c #Conflicts: 1585000 | #Constraints: 55164
83.20/83.72 c #Conflicts: 1586000 | #Constraints: 56164
83.20/83.72 c #Conflicts: 1587000 | #Constraints: 57164
83.20/83.72 c #Conflicts: 1588000 | #Constraints: 58164
83.20/83.72 c #Conflicts: 1589000 | #Constraints: 59164
83.20/83.72 c #Conflicts: 1590000 | #Constraints: 60164
83.20/83.72 c #Conflicts: 1591000 | #Constraints: 61164
83.20/83.72 c #Conflicts: 1592000 | #Constraints: 62164
83.20/83.72 c #Conflicts: 1593000 | #Constraints: 63164
83.20/83.72 c #Conflicts: 1594000 | #Constraints: 64164
83.20/83.72 c #Conflicts: 1595000 | #Constraints: 65164
83.20/83.72 c #Conflicts: 1596000 | #Constraints: 66164
83.20/83.72 c #Conflicts: 1597000 | #Constraints: 67164
83.20/83.72 c INPROCESSING
83.20/83.72 c GARBAGE COLLECT
83.20/83.72 c #Conflicts: 1598000 | #Constraints: 34916
83.20/83.72 c #Conflicts: 1599000 | #Constraints: 35916
83.20/83.72 c #Conflicts: 1600000 | #Constraints: 36916
83.20/83.72 c #Conflicts: 1601000 | #Constraints: 37916
83.20/83.72 c #Conflicts: 1602000 | #Constraints: 38916
83.20/83.72 c #Conflicts: 1603000 | #Constraints: 39916
83.20/83.72 c #Conflicts: 1604000 | #Constraints: 40916
83.20/83.72 c #Conflicts: 1605000 | #Constraints: 41916
83.20/83.72 c #Conflicts: 1606000 | #Constraints: 42916
83.20/83.72 c #Conflicts: 1607000 | #Constraints: 43916
83.20/83.72 c #Conflicts: 1608000 | #Constraints: 44916
83.20/83.72 c #Conflicts: 1609000 | #Constraints: 45916
83.20/83.72 c #Conflicts: 1610000 | #Constraints: 46916
88.49/89.06 c #Conflicts: 1611000 | #Constraints: 47916
88.49/89.06 c #Conflicts: 1612000 | #Constraints: 48916
88.49/89.06 c #Conflicts: 1613000 | #Constraints: 49916
88.49/89.06 c #Conflicts: 1614000 | #Constraints: 50916
88.49/89.06 c #Conflicts: 1615000 | #Constraints: 51916
88.49/89.06 c #Conflicts: 1616000 | #Constraints: 52916
88.49/89.06 c #Conflicts: 1617000 | #Constraints: 53916
88.49/89.06 c #Conflicts: 1618000 | #Constraints: 54916
88.49/89.06 c #Conflicts: 1619000 | #Constraints: 55916
88.49/89.06 c #Conflicts: 1620000 | #Constraints: 56916
88.49/89.06 c #Conflicts: 1621000 | #Constraints: 57916
88.49/89.06 c #Conflicts: 1622000 | #Constraints: 58916
88.49/89.06 c #Conflicts: 1623000 | #Constraints: 59916
88.49/89.06 c #Conflicts: 1624000 | #Constraints: 60916
88.49/89.06 c #Conflicts: 1625000 | #Constraints: 61916
88.49/89.06 c #Conflicts: 1626000 | #Constraints: 62916
88.49/89.06 c #Conflicts: 1627000 | #Constraints: 63916
88.49/89.06 c #Conflicts: 1628000 | #Constraints: 64916
88.49/89.06 c #Conflicts: 1629000 | #Constraints: 65916
88.49/89.06 c #Conflicts: 1630000 | #Constraints: 66916
88.49/89.06 c #Conflicts: 1631000 | #Constraints: 67916
88.49/89.06 c #Conflicts: 1632000 | #Constraints: 68916
88.49/89.06 c #Conflicts: 1633000 | #Constraints: 69916
88.49/89.06 c #Conflicts: 1634000 | #Constraints: 70916
88.49/89.06 c #Conflicts: 1635000 | #Constraints: 71916
88.49/89.06 c #Conflicts: 1636000 | #Constraints: 72916
88.49/89.06 c #Conflicts: 1637000 | #Constraints: 73916
88.49/89.06 c #Conflicts: 1638000 | #Constraints: 74916
88.49/89.06 c #Conflicts: 1639000 | #Constraints: 75916
88.49/89.06 c #Conflicts: 1640000 | #Constraints: 76916
88.49/89.06 c #Conflicts: 1641000 | #Constraints: 77916
88.49/89.06 c #Conflicts: 1642000 | #Constraints: 78916
88.49/89.06 c #Conflicts: 1643000 | #Constraints: 79916
88.49/89.06 c #Conflicts: 1644000 | #Constraints: 80916
88.49/89.06 c #Conflicts: 1645000 | #Constraints: 81916
88.49/89.06 c #Conflicts: 1646000 | #Constraints: 82916
88.49/89.06 c #Conflicts: 1647000 | #Constraints: 83916
88.49/89.06 c #Conflicts: 1648000 | #Constraints: 84916
88.49/89.06 c #Conflicts: 1649000 | #Constraints: 85916
88.49/89.06 c #Conflicts: 1650000 | #Constraints: 86916
88.49/89.06 c #Conflicts: 1651000 | #Constraints: 87916
88.49/89.06 c #Conflicts: 1652000 | #Constraints: 88916
88.49/89.06 c #Conflicts: 1653000 | #Constraints: 89916
88.49/89.06 c #Conflicts: 1654000 | #Constraints: 90916
88.49/89.06 c #Conflicts: 1655000 | #Constraints: 91916
88.49/89.06 c #Conflicts: 1656000 | #Constraints: 92916
88.49/89.06 c #Conflicts: 1657000 | #Constraints: 93916
88.49/89.06 c #Conflicts: 1658000 | #Constraints: 94916
88.49/89.06 c #Conflicts: 1659000 | #Constraints: 95916
88.49/89.06 c #Conflicts: 1660000 | #Constraints: 96916
88.49/89.06 c #Conflicts: 1661000 | #Constraints: 97916
88.49/89.06 c #Conflicts: 1662000 | #Constraints: 98916
88.49/89.06 c #Conflicts: 1663000 | #Constraints: 99916
88.49/89.06 c #Conflicts: 1664000 | #Constraints: 100916
88.49/89.06 c #Conflicts: 1665000 | #Constraints: 101916
88.49/89.06 c #Conflicts: 1666000 | #Constraints: 102916
88.49/89.06 c #Conflicts: 1667000 | #Constraints: 103916
88.49/89.06 c #Conflicts: 1668000 | #Constraints: 104916
88.49/89.06 c #Conflicts: 1669000 | #Constraints: 105916
88.49/89.06 c #Conflicts: 1670000 | #Constraints: 106916
88.49/89.06 c #Conflicts: 1671000 | #Constraints: 107916
88.49/89.06 c #Conflicts: 1672000 | #Constraints: 108916
88.49/89.06 c #Conflicts: 1673000 | #Constraints: 109916
88.49/89.06 c #Conflicts: 1674000 | #Constraints: 110916
88.49/89.06 c #Conflicts: 1675000 | #Constraints: 111916
88.49/89.06 c #Conflicts: 1676000 | #Constraints: 112916
88.49/89.06 c #Conflicts: 1677000 | #Constraints: 113916
88.49/89.06 c #Conflicts: 1678000 | #Constraints: 114916
88.49/89.06 c #Conflicts: 1679000 | #Constraints: 115916
88.49/89.06 c #Conflicts: 1680000 | #Constraints: 116916
88.49/89.06 c #Conflicts: 1681000 | #Constraints: 117916
88.49/89.06 c #Conflicts: 1682000 | #Constraints: 118916
88.49/89.06 c #Conflicts: 1683000 | #Constraints: 119916
88.49/89.06 c #Conflicts: 1684000 | #Constraints: 120916
88.49/89.06 c #Conflicts: 1685000 | #Constraints: 121916
88.49/89.06 c #Conflicts: 1686000 | #Constraints: 122916
88.49/89.06 c #Conflicts: 1687000 | #Constraints: 123916
88.49/89.06 c #Conflicts: 1688000 | #Constraints: 124916
92.98/93.51 c #Conflicts: 1689000 | #Constraints: 125916
92.98/93.51 c #Conflicts: 1690000 | #Constraints: 126916
92.98/93.51 c #Conflicts: 1691000 | #Constraints: 127916
92.98/93.51 c #Conflicts: 1692000 | #Constraints: 128916
92.98/93.51 c INPROCESSING
92.98/93.51 c GARBAGE COLLECT
92.98/93.51 c #Conflicts: 1693000 | #Constraints: 66046
92.98/93.51 c #Conflicts: 1694000 | #Constraints: 67046
92.98/93.51 c #Conflicts: 1695000 | #Constraints: 68046
92.98/93.51 c #Conflicts: 1696000 | #Constraints: 69046
92.98/93.51 c #Conflicts: 1697000 | #Constraints: 70046
92.98/93.51 c #Conflicts: 1698000 | #Constraints: 71046
92.98/93.51 c #Conflicts: 1699000 | #Constraints: 72046
92.98/93.51 c #Conflicts: 1700000 | #Constraints: 73046
92.98/93.51 c #Conflicts: 1701000 | #Constraints: 74046
92.98/93.51 c #Conflicts: 1702000 | #Constraints: 75046
92.98/93.51 c #Conflicts: 1703000 | #Constraints: 76046
92.98/93.51 c #Conflicts: 1704000 | #Constraints: 77046
92.98/93.51 c #Conflicts: 1705000 | #Constraints: 78046
92.98/93.51 c #Conflicts: 1706000 | #Constraints: 79046
92.98/93.51 c #Conflicts: 1707000 | #Constraints: 80046
92.98/93.51 c #Conflicts: 1708000 | #Constraints: 81046
92.98/93.51 c #Conflicts: 1709000 | #Constraints: 82046
92.98/93.51 c #Conflicts: 1710000 | #Constraints: 83046
92.98/93.51 c #Conflicts: 1711000 | #Constraints: 84046
92.98/93.51 c #Conflicts: 1712000 | #Constraints: 85046
92.98/93.51 c #Conflicts: 1713000 | #Constraints: 86046
92.98/93.51 c #Conflicts: 1714000 | #Constraints: 87046
92.98/93.51 c #Conflicts: 1715000 | #Constraints: 88046
92.98/93.51 c #Conflicts: 1716000 | #Constraints: 89046
92.98/93.51 c #Conflicts: 1717000 | #Constraints: 90046
92.98/93.51 c #Conflicts: 1718000 | #Constraints: 91046
92.98/93.51 c #Conflicts: 1719000 | #Constraints: 92046
92.98/93.51 c #Conflicts: 1720000 | #Constraints: 93046
92.98/93.51 c #Conflicts: 1721000 | #Constraints: 94046
92.98/93.51 c #Conflicts: 1722000 | #Constraints: 95046
92.98/93.51 c INPROCESSING
92.98/93.51 c GARBAGE COLLECT
92.98/93.51 c #Conflicts: 1723000 | #Constraints: 48711
92.98/93.51 c #Conflicts: 1724000 | #Constraints: 49711
92.98/93.51 c #Conflicts: 1725000 | #Constraints: 50711
92.98/93.51 c #Conflicts: 1726000 | #Constraints: 51711
92.98/93.51 c #Conflicts: 1727000 | #Constraints: 52711
92.98/93.51 c #Conflicts: 1728000 | #Constraints: 53711
92.98/93.51 c #Conflicts: 1729000 | #Constraints: 54711
92.98/93.51 c #Conflicts: 1730000 | #Constraints: 55711
92.98/93.51 c #Conflicts: 1731000 | #Constraints: 56711
92.98/93.51 c #Conflicts: 1732000 | #Constraints: 57711
92.98/93.51 c #Conflicts: 1733000 | #Constraints: 58711
92.98/93.51 c #Conflicts: 1734000 | #Constraints: 59711
92.98/93.51 c #Conflicts: 1735000 | #Constraints: 60711
92.98/93.51 c #Conflicts: 1736000 | #Constraints: 61711
92.98/93.51 c #Conflicts: 1737000 | #Constraints: 62711
92.98/93.51 c #Conflicts: 1738000 | #Constraints: 63711
92.98/93.51 c #Conflicts: 1739000 | #Constraints: 64711
92.98/93.51 c #Conflicts: 1740000 | #Constraints: 65711
92.98/93.51 c #Conflicts: 1741000 | #Constraints: 66711
92.98/93.51 c #Conflicts: 1742000 | #Constraints: 67711
92.98/93.51 c #Conflicts: 1743000 | #Constraints: 68711
92.98/93.51 c #Conflicts: 1744000 | #Constraints: 69711
92.98/93.51 c #Conflicts: 1745000 | #Constraints: 70711
92.98/93.51 c #Conflicts: 1746000 | #Constraints: 71711
92.98/93.51 c #Conflicts: 1747000 | #Constraints: 72711
92.98/93.51 c #Conflicts: 1748000 | #Constraints: 73711
92.98/93.51 c #Conflicts: 1749000 | #Constraints: 74711
92.98/93.51 c #Conflicts: 1750000 | #Constraints: 75711
92.98/93.51 c #Conflicts: 1751000 | #Constraints: 76711
92.98/93.51 c #Conflicts: 1752000 | #Constraints: 77711
92.98/93.51 c #Conflicts: 1753000 | #Constraints: 78711
92.98/93.51 c INPROCESSING
92.98/93.51 c GARBAGE COLLECT
92.98/93.51 c #Conflicts: 1754000 | #Constraints: 40557
92.98/93.51 c #Conflicts: 1755000 | #Constraints: 41557
92.98/93.51 c #Conflicts: 1756000 | #Constraints: 42557
92.98/93.51 c #Conflicts: 1757000 | #Constraints: 43557
92.98/93.51 c #Conflicts: 1758000 | #Constraints: 44557
92.98/93.51 c #Conflicts: 1759000 | #Constraints: 45557
92.98/93.51 c #Conflicts: 1760000 | #Constraints: 46557
92.98/93.51 c #Conflicts: 1761000 | #Constraints: 47557
92.98/93.51 c #Conflicts: 1762000 | #Constraints: 48557
92.98/93.51 c #Conflicts: 1763000 | #Constraints: 49557
92.98/93.51 c #Conflicts: 1764000 | #Constraints: 50557
92.98/93.51 c #Conflicts: 1765000 | #Constraints: 51557
97.18/97.85 c #Conflicts: 1766000 | #Constraints: 52557
97.18/97.85 c #Conflicts: 1767000 | #Constraints: 53557
97.18/97.85 c #Conflicts: 1768000 | #Constraints: 54557
97.18/97.85 c #Conflicts: 1769000 | #Constraints: 55557
97.18/97.85 c #Conflicts: 1770000 | #Constraints: 56557
97.18/97.85 c #Conflicts: 1771000 | #Constraints: 57557
97.18/97.85 c #Conflicts: 1772000 | #Constraints: 58557
97.18/97.85 c #Conflicts: 1773000 | #Constraints: 59557
97.18/97.85 c #Conflicts: 1774000 | #Constraints: 60557
97.18/97.85 c #Conflicts: 1775000 | #Constraints: 61557
97.18/97.85 c #Conflicts: 1776000 | #Constraints: 62557
97.18/97.85 c #Conflicts: 1777000 | #Constraints: 63557
97.18/97.85 c #Conflicts: 1778000 | #Constraints: 64557
97.18/97.85 c #Conflicts: 1779000 | #Constraints: 65557
97.18/97.85 c #Conflicts: 1780000 | #Constraints: 66557
97.18/97.85 c #Conflicts: 1781000 | #Constraints: 67557
97.18/97.85 c #Conflicts: 1782000 | #Constraints: 68557
97.18/97.85 c #Conflicts: 1783000 | #Constraints: 69557
97.18/97.85 c #Conflicts: 1784000 | #Constraints: 70557
97.18/97.85 c #Conflicts: 1785000 | #Constraints: 71557
97.18/97.85 c INPROCESSING
97.18/97.85 c GARBAGE COLLECT
97.18/97.85 c #Conflicts: 1786000 | #Constraints: 37371
97.18/97.85 c #Conflicts: 1787000 | #Constraints: 38371
97.18/97.85 c #Conflicts: 1788000 | #Constraints: 39371
97.18/97.85 c #Conflicts: 1789000 | #Constraints: 40371
97.18/97.85 c #Conflicts: 1790000 | #Constraints: 41371
97.18/97.85 c #Conflicts: 1791000 | #Constraints: 42371
97.18/97.85 c #Conflicts: 1792000 | #Constraints: 43371
97.18/97.85 c #Conflicts: 1793000 | #Constraints: 44371
97.18/97.85 c #Conflicts: 1794000 | #Constraints: 45371
97.18/97.85 c #Conflicts: 1795000 | #Constraints: 46371
97.18/97.85 c #Conflicts: 1796000 | #Constraints: 47371
97.18/97.85 c #Conflicts: 1797000 | #Constraints: 48371
97.18/97.85 c #Conflicts: 1798000 | #Constraints: 49371
97.18/97.85 c #Conflicts: 1799000 | #Constraints: 50371
97.18/97.85 c #Conflicts: 1800000 | #Constraints: 51371
97.18/97.85 c #Conflicts: 1801000 | #Constraints: 52371
97.18/97.85 c #Conflicts: 1802000 | #Constraints: 53371
97.18/97.85 c #Conflicts: 1803000 | #Constraints: 54371
97.18/97.85 c #Conflicts: 1804000 | #Constraints: 55371
97.18/97.85 c #Conflicts: 1805000 | #Constraints: 56371
97.18/97.85 c #Conflicts: 1806000 | #Constraints: 57371
97.18/97.85 c #Conflicts: 1807000 | #Constraints: 58371
97.18/97.85 c #Conflicts: 1808000 | #Constraints: 59371
97.18/97.85 c #Conflicts: 1809000 | #Constraints: 60371
97.18/97.85 c #Conflicts: 1810000 | #Constraints: 61371
97.18/97.85 c #Conflicts: 1811000 | #Constraints: 62371
97.18/97.85 c #Conflicts: 1812000 | #Constraints: 63371
97.18/97.85 c #Conflicts: 1813000 | #Constraints: 64371
97.18/97.85 c #Conflicts: 1814000 | #Constraints: 65371
97.18/97.85 c #Conflicts: 1815000 | #Constraints: 66371
97.18/97.85 c #Conflicts: 1816000 | #Constraints: 67371
97.18/97.85 c #Conflicts: 1817000 | #Constraints: 68371
97.18/97.85 c #Conflicts: 1818000 | #Constraints: 69371
97.18/97.85 c #Conflicts: 1819000 | #Constraints: 70371
97.18/97.85 c #Conflicts: 1820000 | #Constraints: 71371
97.18/97.85 c #Conflicts: 1821000 | #Constraints: 72371
97.18/97.85 c #Conflicts: 1822000 | #Constraints: 73371
97.18/97.85 c #Conflicts: 1823000 | #Constraints: 74371
97.18/97.85 c #Conflicts: 1824000 | #Constraints: 75371
97.18/97.85 c #Conflicts: 1825000 | #Constraints: 76371
97.18/97.85 c #Conflicts: 1826000 | #Constraints: 77371
97.18/97.85 c #Conflicts: 1827000 | #Constraints: 78371
97.18/97.85 c #Conflicts: 1828000 | #Constraints: 79371
97.18/97.85 c #Conflicts: 1829000 | #Constraints: 80371
97.18/97.85 c #Conflicts: 1830000 | #Constraints: 81371
97.18/97.85 c #Conflicts: 1831000 | #Constraints: 82371
97.18/97.85 c #Conflicts: 1832000 | #Constraints: 83371
97.18/97.85 c #Conflicts: 1833000 | #Constraints: 84371
97.18/97.85 c #Conflicts: 1834000 | #Constraints: 85371
97.18/97.85 c #Conflicts: 1835000 | #Constraints: 86371
97.18/97.85 c #Conflicts: 1836000 | #Constraints: 87371
97.18/97.85 c #Conflicts: 1837000 | #Constraints: 88371
97.18/97.85 c #Conflicts: 1838000 | #Constraints: 89371
97.18/97.85 c #Conflicts: 1839000 | #Constraints: 90371
97.18/97.85 c #Conflicts: 1840000 | #Constraints: 91371
97.18/97.85 c #Conflicts: 1841000 | #Constraints: 92371
97.18/97.85 c #Conflicts: 1842000 | #Constraints: 93371
97.18/97.85 c #Conflicts: 1843000 | #Constraints: 94371
99.27/99.93 c #Conflicts: 1844000 | #Constraints: 95371
99.27/99.93 c #Conflicts: 1845000 | #Constraints: 96371
99.27/99.93 c #Conflicts: 1846000 | #Constraints: 97371
99.27/99.93 c #Conflicts: 1847000 | #Constraints: 98371
99.27/99.93 c #Conflicts: 1848000 | #Constraints: 99371
99.27/99.93 c #Conflicts: 1849000 | #Constraints: 100371
99.27/99.93 c #Conflicts: 1850000 | #Constraints: 101371
99.27/99.93 c #Conflicts: 1851000 | #Constraints: 102371
99.27/99.93 c #Conflicts: 1852000 | #Constraints: 103371
99.27/99.93 c #Conflicts: 1853000 | #Constraints: 104371
99.27/99.93 c #Conflicts: 1854000 | #Constraints: 105371
99.27/99.93 c #Conflicts: 1855000 | #Constraints: 106371
99.27/99.93 c #Conflicts: 1856000 | #Constraints: 107371
99.27/99.93 c #Conflicts: 1857000 | #Constraints: 108371
99.27/99.93 c #Conflicts: 1858000 | #Constraints: 109371
99.27/99.93 c #Conflicts: 1859000 | #Constraints: 110371
99.27/99.93 c #Conflicts: 1860000 | #Constraints: 111371
99.27/99.93 c #Conflicts: 1861000 | #Constraints: 112371
99.27/99.93 c #Conflicts: 1862000 | #Constraints: 113371
99.27/99.93 c #Conflicts: 1863000 | #Constraints: 114371
99.27/99.93 c #Conflicts: 1864000 | #Constraints: 115371
99.27/99.93 c #Conflicts: 1865000 | #Constraints: 116371
99.27/99.93 c #Conflicts: 1866000 | #Constraints: 117371
99.27/99.93 c #Conflicts: 1867000 | #Constraints: 118371
99.27/99.93 c #Conflicts: 1868000 | #Constraints: 119371
99.27/99.93 c cpu time 94.6038 s
99.27/99.93 c deterministic time 3895257706 3.90e+09
99.27/99.93 c optimization time 9.3e-05 s
99.27/99.93 c total solve time 94.6001 s
99.27/99.93 c core-guided solve time 0 s
99.27/99.93 c propagation time 70.9958 s
99.27/99.93 c conflict analysis time 15.9921 s
99.27/99.93 c propagations 26888455
99.27/99.93 c resolve steps 10630986
99.27/99.93 c decisions 2314484
99.27/99.93 c conflicts 1868093
99.27/99.93 c restarts 3580
99.27/99.93 c inprocessing phases 75
99.27/99.93 c garbage collections 75 ,( 100.00 )
99.27/99.93 c input clauses 1082 ,( 100.00 )
99.27/99.93 c input cardinalities 0 ,( 0.00 )
99.27/99.93 c input general constraints 0 ,( 0.00 )
99.27/99.93 c input average constraint length 2.97
99.27/99.93 c input average constraint degree 1.00
99.27/99.93 c learned clauses 1868092 ,( 100.00 )
99.27/99.93 c learned cardinalities 0 ,( 0.00 )
99.27/99.93 c learned general constraints 0 ,( 0.00 )
99.27/99.93 c learned average constraint length 18.84
99.27/99.93 c learned average constraint degree 1.00
99.27/99.93 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
99.27/99.93 c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
99.27/99.93 c watched constraints 0 ,( -nan )
99.27/99.93 c counting constraints 0 ,( -nan )
99.27/99.93 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1427609467 , 0 , 0 ,( 0 , 0 )
99.27/99.93 c gcd simplifications 0
99.27/99.93 c detected cardinalities 0
99.27/99.93 c weakened non-implied lits 0
99.27/99.93 c weakened non-implying lits 0
99.27/99.93 c original variables 291
99.27/99.93 c clausal propagations 25020363
99.27/99.93 c cardinality propagations 0
99.27/99.93 c watched propagations 0
99.27/99.93 c counting propagations 0
99.27/99.93 c watch lookups 1427609467
99.27/99.93 c watch backjump lookups 0
99.27/99.93 c watch checks 2268001290
99.27/99.93 c propagation checks 25020363
99.27/99.93 c constraint additions 114352630
99.27/99.93 c trail pops 31071016
99.27/99.93 c formula constraints 1082
99.27/99.93 c learned constraints 1868092
99.27/99.93 c bound constraints 0
99.27/99.93 c core-guided constraints 0
99.27/99.93 c encountered formula constraints 3662633
99.27/99.93 c encountered learned constraints 8836446
99.27/99.93 c encountered bound constraints 0
99.27/99.93 c encountered core-guided constraints 0
99.27/99.93 c LP total time 0 s
99.27/99.93 c LP solve time 0 s
99.27/99.93 c LP constraints added 0
99.27/99.93 c LP constraints removed 0
99.27/99.93 c LP pivots internal 0
99.27/99.93 c LP pivots root 0
99.27/99.93 c LP calls 0
99.27/99.93 c LP optimalities 0
99.27/99.93 c LP no pivot count 0
99.27/99.93 c LP infeasibilities 0
99.27/99.93 c LP valid Farkas constraints 0
99.27/99.93 c LP learned Farkas constraints 0
99.27/99.93 c LP basis resets 0
99.27/99.93 c LP cycling count 0
99.27/99.93 c LP singular count 0
99.27/99.93 c LP no primal count 0
99.27/99.93 c LP no farkas count 0
99.27/99.93 c LP other issue count 0
99.27/99.93 c LP Gomory cuts 0
99.27/99.93 c LP learned cuts 0
99.27/99.93 c LP deleted cuts 0
99.27/99.93 c LP encountered Gomory constraints 0
99.27/99.93 c LP encountered Farkas constraints 0
99.27/99.93 c LP encountered learned Farkas constraints 0
99.27/99.93 c CG auxiliary variables introduced 0
99.27/99.93 c CG solutions found 0
99.27/99.93 c CG cores constructed 0
99.27/99.93 c CG core cardinality constraints returned 0
99.27/99.93 c CG unit cores 0
99.27/99.93 c CG single cores 0
99.27/99.93 c CG blocks removed during cardinality reduction 0
99.27/99.93 c CG first core best 0
99.27/99.93 c CG decision core best 0
99.27/99.93 c CG core reduction tie 0
99.27/99.93 c CG core degree average 0.00
99.27/99.93 c CG core slack average 0.00
99.27/99.93 c CG core upper bound improvements 0
99.27/99.93 c STR number of successful calls 0
99.27/99.93 c STR number of unsuccessful calls 0
99.27/99.93 c STR number of inconclusive calls 0
99.27/99.93 c STR number of successful attempts 0
99.27/99.94 c STR number of unsuccessful attempts 0
99.27/99.94 c STR number of inconclusive attempts 0
99.27/99.94 c STR average degree increase per successful call inf
99.27/99.94 c STR average degree increase per successful attempt inf
99.27/99.94 c STR total number of conflicts for successful attempts 0
99.27/99.94 c STR total number of conflicts for unsuccessful attempts 0
99.27/99.94 c STR total number of conflicts for inconclusive attempts 0
99.27/99.94 c STR average number of conflicts per successful attempt inf
99.27/99.94 c STR average number of conflicts per unsuccessful attempt inf
99.27/99.94 c STR average number of conflicts per inconclusive attempt inf
99.27/99.94 c AVG.sumWPerc -nan
99.27/99.94 c bigint constraints 0
99.27/99.94 s UNSATISFIABLE
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 (63135 MiB free)
memory of node 1: 64507 MiB (63868 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510369-1751197550/watcher-4510369-1751197550 -o /tmp/evaluation-result-4510369-1751197550/solver-4510369-1751197550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21225 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510369-1751197550.opb PROOFDIR/proof-4510369-1751197550
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21523, runsolver pid=21519
[startup+0.100059 s]*
/proc/loadavg: 0.48 0.91 1.19 5/270 21532
/proc/meminfo: memFree=130048448/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=56100 memory=12232 CPUtime=0.06 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 611 0 0 0 5 1 0 0 20 0 1 0 35434556 57446400 3058 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 14025 3058 2144 1147 0 1452 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60292 KiB
Current children cumulated memory: 15176 KiB
[startup+0.205491 s]*
/proc/loadavg: 0.48 0.91 1.19 5/270 21532
/proc/meminfo: memFree=130046432/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=56560 memory=12616 CPUtime=0.16 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 717 0 0 0 15 1 0 0 20 0 1 0 35434556 57917440 3154 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 14140 3154 2144 1147 0 1567 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 60752 KiB
Current children cumulated memory: 15560 KiB
[startup+0.304577 s]*
/proc/loadavg: 0.48 0.91 1.19 5/270 21532
/proc/meminfo: memFree=130046012/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=56692 memory=12744 CPUtime=0.27 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 750 0 0 0 24 3 0 0 20 0 1 0 35434556 58052608 3186 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 14173 3186 2144 1147 0 1600 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 60884 KiB
Current children cumulated memory: 15688 KiB
[startup+0.700127 s]
/proc/loadavg: 0.76 0.96 1.20 5/270 21532
/proc/meminfo: memFree=130041224/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=57132 memory=13256 CPUtime=0.65 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 893 0 0 0 59 6 0 0 20 0 1 0 35434556 58503168 3314 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 14283 3314 2144 1147 0 1710 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 61324 KiB
Current children cumulated memory: 16200 KiB
[startup+1.50013 s]
/proc/loadavg: 0.76 0.96 1.20 5/270 21532
/proc/meminfo: memFree=130036184/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=59196 memory=14868 CPUtime=1.45 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 1481 0 0 0 131 14 0 0 20 0 1 0 35434556 60616704 3717 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 14799 3717 2144 1147 0 2226 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 63388 KiB
Current children cumulated memory: 17812 KiB
[startup+3.10526 s]
/proc/loadavg: 0.76 0.96 1.20 5/270 21532
/proc/meminfo: memFree=130004700/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=60276 memory=16520 CPUtime=3.05 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 2244 0 0 0 278 27 0 0 20 0 1 0 35434556 61722624 4130 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 15069 4130 2144 1147 0 2496 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 64468 KiB
Current children cumulated memory: 19464 KiB
[startup+6.30016 s]
/proc/loadavg: 1.10 1.03 1.22 4/265 21589
/proc/meminfo: memFree=129978116/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=63476 memory=20488 CPUtime=6.22 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 3958 0 0 0 573 49 0 0 20 0 1 0 35434556 64999424 5122 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 15869 5122 2144 1147 0 3296 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 67668 KiB
Current children cumulated memory: 23432 KiB
[startup+12.7001 s]
/proc/loadavg: 1.33 1.08 1.24 5/270 21629
/proc/meminfo: memFree=129896812/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=70144 memory=25668 CPUtime=12.59 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 6533 0 0 0 1174 85 0 0 20 0 1 0 35434556 71827456 6417 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 17536 6417 2144 1147 0 4963 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 74336 KiB
Current children cumulated memory: 28612 KiB
[startup+25.5002 s]
/proc/loadavg: 1.74 1.18 1.27 5/268 21629
/proc/meminfo: memFree=129720812/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=80796 memory=33384 CPUtime=25.37 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 9421 0 0 0 2386 151 0 0 20 0 1 0 35434556 82735104 8346 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 20199 8346 2144 1147 0 7626 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 84988 KiB
Current children cumulated memory: 36328 KiB
[startup+51.1054 s]
/proc/loadavg: 2.63 1.45 1.36 5/272 21633
/proc/meminfo: memFree=129475596/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=86320 memory=41708 CPUtime=50.78 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 13591 0 0 0 4810 268 0 0 20 0 1 0 35434556 88391680 10427 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 21580 10427 2144 1147 0 9007 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 90512 KiB
Current children cumulated memory: 44652 KiB
[startup+99.9494 s]
# the end of solver process 21523 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=94.6138 s, system=4.71873 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.63 1.45 1.36 5/272 21633
/proc/meminfo: memFree=129475596/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=86320 memory=41708 CPUtime=50.87 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 13591 0 0 0 4819 268 0 0 20 0 1 0 35434556 88391680 10427 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 21580 10427 2144 1147 0 9007 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 90512 KiB
Current children cumulated memory: 44652 KiB
[startup+76.8002 s]
/proc/loadavg: 3.10 1.66 1.43 5/272 21635
/proc/meminfo: memFree=129239116/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=89668 memory=47024 CPUtime=76.32 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 16094 0 0 0 7258 374 0 0 20 0 1 0 35434556 91820032 11756 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 22417 11756 2144 1147 0 9844 0
Current children cumulated CPU time: 76.32 s
Current children cumulated vsize: 93860 KiB
Current children cumulated memory: 49968 KiB
[startup+89.6002 s]
/proc/loadavg: 3.32 1.75 1.46 5/271 21635
/proc/meminfo: memFree=129160104/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=102148 memory=52076 CPUtime=89.09 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 18290 0 0 0 8484 425 0 0 20 0 1 0 35434556 104599552 13019 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 25537 13019 2144 1147 0 12964 0
Current children cumulated CPU time: 89.09 s
Current children cumulated vsize: 106340 KiB
Current children cumulated memory: 55020 KiB
[startup+96.0002 s]*
/proc/loadavg: 3.42 1.82 1.49 5/271 21635
/proc/meminfo: memFree=129109020/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=101908 memory=51728 CPUtime=95.39 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 18715 0 0 0 9084 455 0 0 20 0 1 0 35434556 104353792 12932 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 25477 12932 2144 1147 0 12904 0
Current children cumulated CPU time: 95.39 s
Current children cumulated vsize: 106100 KiB
Current children cumulated memory: 54672 KiB
[startup+97.6002 s]
/proc/loadavg: 3.42 1.82 1.49 5/271 21635
/proc/meminfo: memFree=129101564/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=101908 memory=51728 CPUtime=96.98 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 18715 0 0 0 9236 462 0 0 20 0 1 0 35434556 104353792 12932 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 25477 12932 2144 1147 0 12904 0
Current children cumulated CPU time: 96.98 s
Current children cumulated vsize: 106100 KiB
Current children cumulated memory: 54672 KiB
[startup+99.2002 s]
/proc/loadavg: 3.42 1.82 1.49 5/271 21635
/proc/meminfo: memFree=129077364/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=101908 memory=51728 CPUtime=98.58 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 18715 0 0 0 9389 469 0 0 20 0 1 0 35434556 104353792 12932 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 25477 12932 2144 1147 0 12904 0
Current children cumulated CPU time: 98.58 s
Current children cumulated vsize: 106100 KiB
Current children cumulated memory: 54672 KiB
[startup+99.6002 s]
/proc/loadavg: 3.42 1.82 1.49 5/271 21635
/proc/meminfo: memFree=129077364/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=102184 memory=51856 CPUtime=98.98 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 18749 0 0 0 9428 470 0 0 20 0 1 0 35434556 104636416 12964 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 25546 12964 2144 1147 0 12973 0
Current children cumulated CPU time: 98.98 s
Current children cumulated vsize: 106376 KiB
Current children cumulated memory: 54800 KiB
[startup+99.8002 s]
/proc/loadavg: 3.42 1.82 1.49 5/271 21635
/proc/meminfo: memFree=129077364/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=102184 memory=51856 CPUtime=99.17 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 18753 0 0 0 9447 470 0 0 20 0 1 0 35434556 104636416 12964 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 25546 12964 2144 1147 0 12973 0
Current children cumulated CPU time: 99.17 s
Current children cumulated vsize: 106376 KiB
Current children cumulated memory: 54800 KiB
[startup+99.9002 s]
/proc/loadavg: 3.42 1.82 1.49 5/271 21635
/proc/meminfo: memFree=129077364/131249996 swapFree=33010684/33010684
[pid=21523] ppid=21519 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21523/stat : 21523 (run-dec-break-l) S 21519 21523 21214 0 -1 4194304 240 467 0 0 0 0 0 0 20 0 1 0 35434553 4292608 736 18446744073709551615 94790671433728 94790672328261 140727203629168 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94790672567312 94790672615056 94790685581312 140727203633429 140727203633630 140727203633630 140727203639232 0
/proc/21523/statm: 1048 736 672 219 0 110 0
[pid=21531] ppid=21523 vsize=102184 memory=51856 CPUtime=99.27 cores=4,6
/proc/21531/stat : 21531 (roundingsat) R 21523 21523 21214 0 -1 4194304 18753 0 0 0 9457 470 0 0 20 0 1 0 35434556 104636416 12964 18446744073709551615 4227072 8923433 140732867189392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16273408 140732867193076 140732867193384 140732867193384 140732867198954 0
/proc/21531/statm: 25546 12964 2144 1147 0 12973 0
Current children cumulated CPU time: 99.27 s
Current children cumulated vsize: 106376 KiB
Current children cumulated memory: 54800 KiB
Child status: 0
Real time (s): 99.9495
CPU time (s): 99.3325
CPU user time (s): 94.6138
CPU system time (s): 4.71873
CPU usage (%): 99.3827
Max. virtual memory (cumulated for all children) (KiB): 106376
Max. memory (cumulated for all children) (KiB): 55020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.6138
system time used= 4.71873
maximum resident set size= 52888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 323480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 478
involuntary context switches= 173
# summary of solver processes directly reported to runsolver:
# pid: 21523
# total CPU time (s): 99.3325
# total CPU user time (s): 94.6138
# total CPU system time (s): 4.71873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.221589 second user time and 0.428199 second system time
The end
Begin job on nodeC030 at 2025-06-29 13:45:50
IDJOB=4510369
IDBENCH=160357
IDSOLVER=3358
FILE ID=nodeC030/4510369-1751197550
RUNJOBID= nodeC030-1751197546-21225
SLURM_JOB_ID= 9587610
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510369-1751197550/watcher-4510369-1751197550 -o /tmp/evaluation-result-4510369-1751197550/solver-4510369-1751197550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751197546-21225 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4510369-1751197550.opb PROOFDIR/proof-4510369-1751197550
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fa6a1707c990041c74d493ed085ddd0
RANDOM SEED=499842669
nodeC030 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 : 3601.788
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.316
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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.850
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3819.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.326
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.226
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130052924 kB
MemAvailable: 129798248 kB
Buffers: 3280 kB
Cached: 555704 kB
SwapCached: 0 kB
Active: 337868 kB
Inactive: 298900 kB
Active(anon): 95912 kB
Inactive(anon): 0 kB
Active(file): 241956 kB
Inactive(file): 298900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47720 kB
Writeback: 160 kB
AnonPages: 80996 kB
Mapped: 110632 kB
Shmem: 18064 kB
KReclaimable: 87012 kB
Slab: 172552 kB
SReclaimable: 87012 kB
SUnreclaim: 85540 kB
KernelStack: 4240 kB
PageTables: 3340 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 399772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-06-29 13:47:30