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