0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.10 c Papilo could not simplify the problem
0.00/0.10 c [STEP] solving with SCIP
299.12/300.18 c [STEP] preprocessing done, loading into solver
299.21/300.22 c [STEP] solving
299.21/300.22 c #variables 596 #constraints 27847
299.21/300.22 c SMALL=int, LARGE=long long
299.21/300.22 d SCIPUB -30
299.21/300.22 c bounds - >= -595 @ 299.06
299.21/300.22 c stratification level: 0
324.54/325.66 c bounds - >= -107 @ 299.071
324.54/325.66 c bounds - >= -106 @ 299.072
324.54/325.66 c bounds - >= -105 @ 299.072
324.54/325.66 c bounds - >= -104 @ 299.072
324.54/325.66 c bounds - >= -103 @ 299.072
324.54/325.66 c bounds - >= -102 @ 299.072
324.54/325.66 c bounds - >= -101 @ 299.072
324.54/325.66 c bounds - >= -100 @ 299.072
324.54/325.66 c bounds - >= -99 @ 299.072
324.54/325.66 c bounds - >= -98 @ 299.072
324.54/325.66 c bounds - >= -97 @ 299.072
324.54/325.66 c bounds - >= -96 @ 299.073
324.54/325.66 c #Conflicts: 1000 | #Constraints: 28966
324.54/325.66 c #Conflicts: 2000 | #Constraints: 29966
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 3000 | #Constraints: 29975
324.54/325.66 c #Conflicts: 4000 | #Constraints: 30975
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 5000 | #Constraints: 30387
324.54/325.66 c #Conflicts: 6000 | #Constraints: 31387
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 7000 | #Constraints: 30397
324.54/325.66 c #Conflicts: 8000 | #Constraints: 31397
324.54/325.66 c #Conflicts: 9000 | #Constraints: 32397
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 10000 | #Constraints: 31102
324.54/325.66 c #Conflicts: 11000 | #Constraints: 32102
324.54/325.66 c #Conflicts: 12000 | #Constraints: 33102
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 13000 | #Constraints: 31556
324.54/325.66 c #Conflicts: 14000 | #Constraints: 32556
324.54/325.66 c #Conflicts: 15000 | #Constraints: 33556
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 16000 | #Constraints: 31790
324.54/325.66 c #Conflicts: 17000 | #Constraints: 32790
324.54/325.66 c #Conflicts: 18000 | #Constraints: 33790
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 19000 | #Constraints: 31806
324.54/325.66 c #Conflicts: 20000 | #Constraints: 32806
324.54/325.66 c #Conflicts: 21000 | #Constraints: 33806
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 22000 | #Constraints: 31611
324.54/325.66 c #Conflicts: 23000 | #Constraints: 32611
324.54/325.66 c #Conflicts: 24000 | #Constraints: 33611
324.54/325.66 c #Conflicts: 25000 | #Constraints: 34611
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 26000 | #Constraints: 32218
324.54/325.66 c #Conflicts: 27000 | #Constraints: 33218
324.54/325.66 c #Conflicts: 28000 | #Constraints: 34218
324.54/325.66 c #Conflicts: 29000 | #Constraints: 35218
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 30000 | #Constraints: 32622
324.54/325.66 c #Conflicts: 31000 | #Constraints: 33622
324.54/325.66 c #Conflicts: 32000 | #Constraints: 34622
324.54/325.66 c #Conflicts: 33000 | #Constraints: 35622
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 34000 | #Constraints: 32829
324.54/325.66 c #Conflicts: 35000 | #Constraints: 33829
324.54/325.66 c #Conflicts: 36000 | #Constraints: 34829
324.54/325.66 c #Conflicts: 37000 | #Constraints: 35829
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 38000 | #Constraints: 32832
324.54/325.66 c #Conflicts: 39000 | #Constraints: 33832
324.54/325.66 c #Conflicts: 40000 | #Constraints: 34832
324.54/325.66 c #Conflicts: 41000 | #Constraints: 35832
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 42000 | #Constraints: 32635
324.54/325.66 c #Conflicts: 43000 | #Constraints: 33635
324.54/325.66 c #Conflicts: 44000 | #Constraints: 34635
324.54/325.66 c #Conflicts: 45000 | #Constraints: 35635
324.54/325.66 c #Conflicts: 46000 | #Constraints: 36635
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 47000 | #Constraints: 33231
324.54/325.66 c #Conflicts: 48000 | #Constraints: 34231
324.54/325.66 c #Conflicts: 49000 | #Constraints: 35231
324.54/325.66 c #Conflicts: 50000 | #Constraints: 36231
324.54/325.66 c #Conflicts: 51000 | #Constraints: 37231
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 52000 | #Constraints: 33634
324.54/325.66 c #Conflicts: 53000 | #Constraints: 34634
324.54/325.66 c #Conflicts: 54000 | #Constraints: 35634
324.54/325.66 c #Conflicts: 55000 | #Constraints: 36634
324.54/325.66 c #Conflicts: 56000 | #Constraints: 37634
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 57000 | #Constraints: 33838
324.54/325.66 c #Conflicts: 58000 | #Constraints: 34838
324.54/325.66 c #Conflicts: 59000 | #Constraints: 35838
324.54/325.66 c #Conflicts: 60000 | #Constraints: 36838
324.54/325.66 c #Conflicts: 61000 | #Constraints: 37838
324.54/325.66 c INPROCESSING
324.54/325.66 c GARBAGE COLLECT
324.54/325.66 c #Conflicts: 62000 | #Constraints: 33833
369.91/371.19 c #Conflicts: 63000 | #Constraints: 34833
369.91/371.19 c #Conflicts: 64000 | #Constraints: 35833
369.91/371.19 c #Conflicts: 65000 | #Constraints: 36833
369.91/371.19 c #Conflicts: 66000 | #Constraints: 37833
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 67000 | #Constraints: 33629
369.91/371.19 c #Conflicts: 68000 | #Constraints: 34629
369.91/371.19 c #Conflicts: 69000 | #Constraints: 35629
369.91/371.19 c #Conflicts: 70000 | #Constraints: 36629
369.91/371.19 c #Conflicts: 71000 | #Constraints: 37629
369.91/371.19 c #Conflicts: 72000 | #Constraints: 38629
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 73000 | #Constraints: 34230
369.91/371.19 c #Conflicts: 74000 | #Constraints: 35230
369.91/371.19 c #Conflicts: 75000 | #Constraints: 36230
369.91/371.19 c #Conflicts: 76000 | #Constraints: 37230
369.91/371.19 c #Conflicts: 77000 | #Constraints: 38230
369.91/371.19 c #Conflicts: 78000 | #Constraints: 39230
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 79000 | #Constraints: 34630
369.91/371.19 c #Conflicts: 80000 | #Constraints: 35630
369.91/371.19 c #Conflicts: 81000 | #Constraints: 36630
369.91/371.19 c #Conflicts: 82000 | #Constraints: 37630
369.91/371.19 c #Conflicts: 83000 | #Constraints: 38630
369.91/371.19 c #Conflicts: 84000 | #Constraints: 39630
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 85000 | #Constraints: 34831
369.91/371.19 c #Conflicts: 86000 | #Constraints: 35831
369.91/371.19 c #Conflicts: 87000 | #Constraints: 36831
369.91/371.19 c #Conflicts: 88000 | #Constraints: 37831
369.91/371.19 c #Conflicts: 89000 | #Constraints: 38831
369.91/371.19 c #Conflicts: 90000 | #Constraints: 39831
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 91000 | #Constraints: 34832
369.91/371.19 c #Conflicts: 92000 | #Constraints: 35832
369.91/371.19 c #Conflicts: 93000 | #Constraints: 36832
369.91/371.19 c #Conflicts: 94000 | #Constraints: 37832
369.91/371.19 c #Conflicts: 95000 | #Constraints: 38832
369.91/371.19 c #Conflicts: 96000 | #Constraints: 39832
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 97000 | #Constraints: 34632
369.91/371.19 c #Conflicts: 98000 | #Constraints: 35632
369.91/371.19 c #Conflicts: 99000 | #Constraints: 36632
369.91/371.19 c #Conflicts: 100000 | #Constraints: 37632
369.91/371.19 c #Conflicts: 101000 | #Constraints: 38632
369.91/371.19 c #Conflicts: 102000 | #Constraints: 39632
369.91/371.19 c #Conflicts: 103000 | #Constraints: 40632
369.91/371.19 c bounds - >= -95 @ 348.679
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 104000 | #Constraints: 35197
369.91/371.19 c #Conflicts: 105000 | #Constraints: 36197
369.91/371.19 c #Conflicts: 106000 | #Constraints: 37197
369.91/371.19 c #Conflicts: 107000 | #Constraints: 38197
369.91/371.19 c #Conflicts: 108000 | #Constraints: 39197
369.91/371.19 c #Conflicts: 109000 | #Constraints: 40197
369.91/371.19 c #Conflicts: 110000 | #Constraints: 41197
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 111000 | #Constraints: 35581
369.91/371.19 c #Conflicts: 112000 | #Constraints: 36581
369.91/371.19 c #Conflicts: 113000 | #Constraints: 37581
369.91/371.19 c #Conflicts: 114000 | #Constraints: 38581
369.91/371.19 c #Conflicts: 115000 | #Constraints: 39581
369.91/371.19 c #Conflicts: 116000 | #Constraints: 40581
369.91/371.19 c #Conflicts: 117000 | #Constraints: 41581
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 118000 | #Constraints: 35775
369.91/371.19 c #Conflicts: 119000 | #Constraints: 36775
369.91/371.19 c #Conflicts: 120000 | #Constraints: 37775
369.91/371.19 c #Conflicts: 121000 | #Constraints: 38775
369.91/371.19 c #Conflicts: 122000 | #Constraints: 39775
369.91/371.19 c #Conflicts: 123000 | #Constraints: 40775
369.91/371.19 c #Conflicts: 124000 | #Constraints: 41775
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 125000 | #Constraints: 35771
369.91/371.19 c #Conflicts: 126000 | #Constraints: 36771
369.91/371.19 c #Conflicts: 127000 | #Constraints: 37771
369.91/371.19 c #Conflicts: 128000 | #Constraints: 38771
369.91/371.19 c #Conflicts: 129000 | #Constraints: 39771
369.91/371.19 c #Conflicts: 130000 | #Constraints: 40771
369.91/371.19 c #Conflicts: 131000 | #Constraints: 41771
369.91/371.19 c INPROCESSING
369.91/371.19 c GARBAGE COLLECT
369.91/371.19 c #Conflicts: 132000 | #Constraints: 35567
369.91/371.19 c #Conflicts: 133000 | #Constraints: 36567
428.04/429.40 c #Conflicts: 134000 | #Constraints: 37567
428.04/429.40 c #Conflicts: 135000 | #Constraints: 38567
428.04/429.40 c #Conflicts: 136000 | #Constraints: 39567
428.04/429.40 c #Conflicts: 137000 | #Constraints: 40567
428.04/429.40 c #Conflicts: 138000 | #Constraints: 41567
428.04/429.40 c #Conflicts: 139000 | #Constraints: 42567
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 140000 | #Constraints: 36165
428.04/429.40 c #Conflicts: 141000 | #Constraints: 37165
428.04/429.40 c #Conflicts: 142000 | #Constraints: 38165
428.04/429.40 c #Conflicts: 143000 | #Constraints: 39165
428.04/429.40 c #Conflicts: 144000 | #Constraints: 40165
428.04/429.40 c #Conflicts: 145000 | #Constraints: 41165
428.04/429.40 c #Conflicts: 146000 | #Constraints: 42165
428.04/429.40 c #Conflicts: 147000 | #Constraints: 43165
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 148000 | #Constraints: 36566
428.04/429.40 c #Conflicts: 149000 | #Constraints: 37566
428.04/429.40 c #Conflicts: 150000 | #Constraints: 38566
428.04/429.40 c #Conflicts: 151000 | #Constraints: 39566
428.04/429.40 c #Conflicts: 152000 | #Constraints: 40566
428.04/429.40 c #Conflicts: 153000 | #Constraints: 41566
428.04/429.40 c #Conflicts: 154000 | #Constraints: 42566
428.04/429.40 c #Conflicts: 155000 | #Constraints: 43566
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 156000 | #Constraints: 36765
428.04/429.40 c #Conflicts: 157000 | #Constraints: 37765
428.04/429.40 c #Conflicts: 158000 | #Constraints: 38765
428.04/429.40 c #Conflicts: 159000 | #Constraints: 39765
428.04/429.40 c #Conflicts: 160000 | #Constraints: 40765
428.04/429.40 c #Conflicts: 161000 | #Constraints: 41765
428.04/429.40 c #Conflicts: 162000 | #Constraints: 42765
428.04/429.40 c #Conflicts: 163000 | #Constraints: 43765
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 164000 | #Constraints: 36767
428.04/429.40 c #Conflicts: 165000 | #Constraints: 37767
428.04/429.40 c #Conflicts: 166000 | #Constraints: 38767
428.04/429.40 c #Conflicts: 167000 | #Constraints: 39767
428.04/429.40 c #Conflicts: 168000 | #Constraints: 40767
428.04/429.40 c #Conflicts: 169000 | #Constraints: 41767
428.04/429.40 c #Conflicts: 170000 | #Constraints: 42767
428.04/429.40 c #Conflicts: 171000 | #Constraints: 43767
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 172000 | #Constraints: 36565
428.04/429.40 c #Conflicts: 173000 | #Constraints: 37565
428.04/429.40 c #Conflicts: 174000 | #Constraints: 38565
428.04/429.40 c #Conflicts: 175000 | #Constraints: 39565
428.04/429.40 c #Conflicts: 176000 | #Constraints: 40565
428.04/429.40 c #Conflicts: 177000 | #Constraints: 41565
428.04/429.40 c #Conflicts: 178000 | #Constraints: 42565
428.04/429.40 c #Conflicts: 179000 | #Constraints: 43565
428.04/429.40 c #Conflicts: 180000 | #Constraints: 44565
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 181000 | #Constraints: 37167
428.04/429.40 c #Conflicts: 182000 | #Constraints: 38167
428.04/429.40 c #Conflicts: 183000 | #Constraints: 39167
428.04/429.40 c #Conflicts: 184000 | #Constraints: 40167
428.04/429.40 c #Conflicts: 185000 | #Constraints: 41167
428.04/429.40 c #Conflicts: 186000 | #Constraints: 42167
428.04/429.40 c #Conflicts: 187000 | #Constraints: 43167
428.04/429.40 c #Conflicts: 188000 | #Constraints: 44167
428.04/429.40 c #Conflicts: 189000 | #Constraints: 45167
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 190000 | #Constraints: 37565
428.04/429.40 c #Conflicts: 191000 | #Constraints: 38565
428.04/429.40 c #Conflicts: 192000 | #Constraints: 39565
428.04/429.40 c #Conflicts: 193000 | #Constraints: 40565
428.04/429.40 c #Conflicts: 194000 | #Constraints: 41565
428.04/429.40 c #Conflicts: 195000 | #Constraints: 42565
428.04/429.40 c #Conflicts: 196000 | #Constraints: 43565
428.04/429.40 c #Conflicts: 197000 | #Constraints: 44565
428.04/429.40 c #Conflicts: 198000 | #Constraints: 45565
428.04/429.40 c INPROCESSING
428.04/429.40 c GARBAGE COLLECT
428.04/429.40 c #Conflicts: 199000 | #Constraints: 37767
428.04/429.40 c #Conflicts: 200000 | #Constraints: 38767
428.04/429.40 c #Conflicts: 201000 | #Constraints: 39767
428.04/429.40 c #Conflicts: 202000 | #Constraints: 40767
428.04/429.40 c #Conflicts: 203000 | #Constraints: 41767
428.04/429.40 c #Conflicts: 204000 | #Constraints: 42767
428.04/429.40 c #Conflicts: 205000 | #Constraints: 43767
428.04/429.40 c #Conflicts: 206000 | #Constraints: 44767
428.04/429.40 c #Conflicts: 207000 | #Constraints: 45767
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 208000 | #Constraints: 37766
497.94/499.54 c #Conflicts: 209000 | #Constraints: 38766
497.94/499.54 c #Conflicts: 210000 | #Constraints: 39766
497.94/499.54 c #Conflicts: 211000 | #Constraints: 40766
497.94/499.54 c #Conflicts: 212000 | #Constraints: 41766
497.94/499.54 c #Conflicts: 213000 | #Constraints: 42766
497.94/499.54 c #Conflicts: 214000 | #Constraints: 43766
497.94/499.54 c #Conflicts: 215000 | #Constraints: 44766
497.94/499.54 c #Conflicts: 216000 | #Constraints: 45766
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 217000 | #Constraints: 37566
497.94/499.54 c #Conflicts: 218000 | #Constraints: 38566
497.94/499.54 c #Conflicts: 219000 | #Constraints: 39566
497.94/499.54 c #Conflicts: 220000 | #Constraints: 40566
497.94/499.54 c #Conflicts: 221000 | #Constraints: 41566
497.94/499.54 c #Conflicts: 222000 | #Constraints: 42566
497.94/499.54 c #Conflicts: 223000 | #Constraints: 43566
497.94/499.54 c #Conflicts: 224000 | #Constraints: 44566
497.94/499.54 c #Conflicts: 225000 | #Constraints: 45566
497.94/499.54 c #Conflicts: 226000 | #Constraints: 46566
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 227000 | #Constraints: 38169
497.94/499.54 c #Conflicts: 228000 | #Constraints: 39169
497.94/499.54 c #Conflicts: 229000 | #Constraints: 40169
497.94/499.54 c #Conflicts: 230000 | #Constraints: 41169
497.94/499.54 c #Conflicts: 231000 | #Constraints: 42169
497.94/499.54 c #Conflicts: 232000 | #Constraints: 43169
497.94/499.54 c #Conflicts: 233000 | #Constraints: 44169
497.94/499.54 c #Conflicts: 234000 | #Constraints: 45169
497.94/499.54 c #Conflicts: 235000 | #Constraints: 46169
497.94/499.54 c #Conflicts: 236000 | #Constraints: 47169
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 237000 | #Constraints: 38566
497.94/499.54 c #Conflicts: 238000 | #Constraints: 39566
497.94/499.54 c #Conflicts: 239000 | #Constraints: 40566
497.94/499.54 c #Conflicts: 240000 | #Constraints: 41566
497.94/499.54 c #Conflicts: 241000 | #Constraints: 42566
497.94/499.54 c #Conflicts: 242000 | #Constraints: 43566
497.94/499.54 c #Conflicts: 243000 | #Constraints: 44566
497.94/499.54 c #Conflicts: 244000 | #Constraints: 45566
497.94/499.54 c #Conflicts: 245000 | #Constraints: 46566
497.94/499.54 c #Conflicts: 246000 | #Constraints: 47566
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 247000 | #Constraints: 38764
497.94/499.54 c #Conflicts: 248000 | #Constraints: 39764
497.94/499.54 c #Conflicts: 249000 | #Constraints: 40764
497.94/499.54 c #Conflicts: 250000 | #Constraints: 41764
497.94/499.54 c #Conflicts: 251000 | #Constraints: 42764
497.94/499.54 c #Conflicts: 252000 | #Constraints: 43764
497.94/499.54 c #Conflicts: 253000 | #Constraints: 44764
497.94/499.54 c #Conflicts: 254000 | #Constraints: 45764
497.94/499.54 c #Conflicts: 255000 | #Constraints: 46764
497.94/499.54 c #Conflicts: 256000 | #Constraints: 47764
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 257000 | #Constraints: 38762
497.94/499.54 c #Conflicts: 258000 | #Constraints: 39762
497.94/499.54 c #Conflicts: 259000 | #Constraints: 40762
497.94/499.54 c #Conflicts: 260000 | #Constraints: 41762
497.94/499.54 c #Conflicts: 261000 | #Constraints: 42762
497.94/499.54 c #Conflicts: 262000 | #Constraints: 43762
497.94/499.54 c #Conflicts: 263000 | #Constraints: 44762
497.94/499.54 c #Conflicts: 264000 | #Constraints: 45762
497.94/499.54 c #Conflicts: 265000 | #Constraints: 46762
497.94/499.54 c #Conflicts: 266000 | #Constraints: 47762
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 267000 | #Constraints: 38562
497.94/499.54 c #Conflicts: 268000 | #Constraints: 39562
497.94/499.54 c #Conflicts: 269000 | #Constraints: 40562
497.94/499.54 c #Conflicts: 270000 | #Constraints: 41562
497.94/499.54 c #Conflicts: 271000 | #Constraints: 42562
497.94/499.54 c #Conflicts: 272000 | #Constraints: 43562
497.94/499.54 c #Conflicts: 273000 | #Constraints: 44562
497.94/499.54 c #Conflicts: 274000 | #Constraints: 45562
497.94/499.54 c #Conflicts: 275000 | #Constraints: 46562
497.94/499.54 c #Conflicts: 276000 | #Constraints: 47562
497.94/499.54 c #Conflicts: 277000 | #Constraints: 48562
497.94/499.54 c INPROCESSING
497.94/499.54 c GARBAGE COLLECT
497.94/499.54 c #Conflicts: 278000 | #Constraints: 39165
497.94/499.54 c #Conflicts: 279000 | #Constraints: 40165
497.94/499.54 c #Conflicts: 280000 | #Constraints: 41165
577.32/579.14 c #Conflicts: 281000 | #Constraints: 42165
577.32/579.14 c #Conflicts: 282000 | #Constraints: 43165
577.32/579.14 c #Conflicts: 283000 | #Constraints: 44165
577.32/579.14 c #Conflicts: 284000 | #Constraints: 45165
577.32/579.14 c #Conflicts: 285000 | #Constraints: 46165
577.32/579.14 c #Conflicts: 286000 | #Constraints: 47165
577.32/579.14 c #Conflicts: 287000 | #Constraints: 48165
577.32/579.14 c #Conflicts: 288000 | #Constraints: 49165
577.32/579.14 c INPROCESSING
577.32/579.14 c GARBAGE COLLECT
577.32/579.14 c #Conflicts: 289000 | #Constraints: 39567
577.32/579.14 c #Conflicts: 290000 | #Constraints: 40567
577.32/579.14 c #Conflicts: 291000 | #Constraints: 41567
577.32/579.14 c #Conflicts: 292000 | #Constraints: 42567
577.32/579.14 c #Conflicts: 293000 | #Constraints: 43567
577.32/579.14 c #Conflicts: 294000 | #Constraints: 44567
577.32/579.14 c #Conflicts: 295000 | #Constraints: 45567
577.32/579.14 c #Conflicts: 296000 | #Constraints: 46567
577.32/579.14 c #Conflicts: 297000 | #Constraints: 47567
577.32/579.14 c #Conflicts: 298000 | #Constraints: 48567
577.32/579.14 c #Conflicts: 299000 | #Constraints: 49567
577.32/579.14 c INPROCESSING
577.32/579.14 c GARBAGE COLLECT
577.32/579.14 c #Conflicts: 300000 | #Constraints: 39763
577.32/579.14 c #Conflicts: 301000 | #Constraints: 40763
577.32/579.14 c #Conflicts: 302000 | #Constraints: 41763
577.32/579.14 c #Conflicts: 303000 | #Constraints: 42763
577.32/579.14 c #Conflicts: 304000 | #Constraints: 43763
577.32/579.14 c #Conflicts: 305000 | #Constraints: 44763
577.32/579.14 c #Conflicts: 306000 | #Constraints: 45763
577.32/579.14 c #Conflicts: 307000 | #Constraints: 46763
577.32/579.14 c #Conflicts: 308000 | #Constraints: 47763
577.32/579.14 c #Conflicts: 309000 | #Constraints: 48763
577.32/579.14 c #Conflicts: 310000 | #Constraints: 49763
577.32/579.14 c INPROCESSING
577.32/579.14 c GARBAGE COLLECT
577.32/579.14 c #Conflicts: 311000 | #Constraints: 39766
577.32/579.14 c #Conflicts: 312000 | #Constraints: 40766
577.32/579.14 c #Conflicts: 313000 | #Constraints: 41766
577.32/579.14 c #Conflicts: 314000 | #Constraints: 42766
577.32/579.14 c #Conflicts: 315000 | #Constraints: 43766
577.32/579.14 c #Conflicts: 316000 | #Constraints: 44766
577.32/579.14 c #Conflicts: 317000 | #Constraints: 45766
577.32/579.14 c #Conflicts: 318000 | #Constraints: 46766
577.32/579.14 c #Conflicts: 319000 | #Constraints: 47766
577.32/579.14 c #Conflicts: 320000 | #Constraints: 48766
577.32/579.14 c #Conflicts: 321000 | #Constraints: 49766
577.32/579.14 c INPROCESSING
577.32/579.14 c GARBAGE COLLECT
577.32/579.14 c #Conflicts: 322000 | #Constraints: 39566
577.32/579.14 c #Conflicts: 323000 | #Constraints: 40566
577.32/579.14 c #Conflicts: 324000 | #Constraints: 41566
577.32/579.14 c #Conflicts: 325000 | #Constraints: 42566
577.32/579.14 c #Conflicts: 326000 | #Constraints: 43566
577.32/579.14 c #Conflicts: 327000 | #Constraints: 44566
577.32/579.14 c #Conflicts: 328000 | #Constraints: 45566
577.32/579.14 c #Conflicts: 329000 | #Constraints: 46566
577.32/579.14 c #Conflicts: 330000 | #Constraints: 47566
577.32/579.14 c #Conflicts: 331000 | #Constraints: 48566
577.32/579.14 c #Conflicts: 332000 | #Constraints: 49566
577.32/579.14 c #Conflicts: 333000 | #Constraints: 50566
577.32/579.14 c INPROCESSING
577.32/579.14 c GARBAGE COLLECT
577.32/579.14 c #Conflicts: 334000 | #Constraints: 40165
577.32/579.14 c #Conflicts: 335000 | #Constraints: 41165
577.32/579.14 c #Conflicts: 336000 | #Constraints: 42165
577.32/579.14 c #Conflicts: 337000 | #Constraints: 43165
577.32/579.14 c #Conflicts: 338000 | #Constraints: 44165
577.32/579.14 c #Conflicts: 339000 | #Constraints: 45165
577.32/579.14 c #Conflicts: 340000 | #Constraints: 46165
577.32/579.14 c #Conflicts: 341000 | #Constraints: 47165
577.32/579.14 c #Conflicts: 342000 | #Constraints: 48165
577.32/579.14 c #Conflicts: 343000 | #Constraints: 49165
577.32/579.14 c #Conflicts: 344000 | #Constraints: 50165
577.32/579.14 c #Conflicts: 345000 | #Constraints: 51165
577.32/579.14 c INPROCESSING
577.32/579.14 c GARBAGE COLLECT
577.32/579.14 c #Conflicts: 346000 | #Constraints: 40567
577.32/579.14 c #Conflicts: 347000 | #Constraints: 41567
577.32/579.14 c #Conflicts: 348000 | #Constraints: 42567
577.32/579.14 c #Conflicts: 349000 | #Constraints: 43567
577.32/579.14 c #Conflicts: 350000 | #Constraints: 44567
577.32/579.14 c #Conflicts: 351000 | #Constraints: 45567
577.32/579.14 c #Conflicts: 352000 | #Constraints: 46567
577.32/579.14 c #Conflicts: 353000 | #Constraints: 47567
577.32/579.14 c #Conflicts: 354000 | #Constraints: 48567
577.32/579.14 c #Conflicts: 355000 | #Constraints: 49567
664.17/666.24 c #Conflicts: 356000 | #Constraints: 50567
664.17/666.24 c #Conflicts: 357000 | #Constraints: 51567
664.17/666.24 c INPROCESSING
664.17/666.24 c GARBAGE COLLECT
664.17/666.24 c #Conflicts: 358000 | #Constraints: 40766
664.17/666.24 c #Conflicts: 359000 | #Constraints: 41766
664.17/666.24 c #Conflicts: 360000 | #Constraints: 42766
664.17/666.24 c #Conflicts: 361000 | #Constraints: 43766
664.17/666.24 c #Conflicts: 362000 | #Constraints: 44766
664.17/666.24 c #Conflicts: 363000 | #Constraints: 45766
664.17/666.24 c #Conflicts: 364000 | #Constraints: 46766
664.17/666.24 c #Conflicts: 365000 | #Constraints: 47766
664.17/666.24 c #Conflicts: 366000 | #Constraints: 48766
664.17/666.24 c #Conflicts: 367000 | #Constraints: 49766
664.17/666.24 c #Conflicts: 368000 | #Constraints: 50766
664.17/666.24 c #Conflicts: 369000 | #Constraints: 51766
664.17/666.24 c INPROCESSING
664.17/666.24 c GARBAGE COLLECT
664.17/666.24 c #Conflicts: 370000 | #Constraints: 40766
664.17/666.24 c #Conflicts: 371000 | #Constraints: 41766
664.17/666.24 c #Conflicts: 372000 | #Constraints: 42766
664.17/666.24 c #Conflicts: 373000 | #Constraints: 43766
664.17/666.24 c #Conflicts: 374000 | #Constraints: 44766
664.17/666.24 c #Conflicts: 375000 | #Constraints: 45766
664.17/666.24 c #Conflicts: 376000 | #Constraints: 46766
664.17/666.24 c #Conflicts: 377000 | #Constraints: 47766
664.17/666.24 c #Conflicts: 378000 | #Constraints: 48766
664.17/666.24 c #Conflicts: 379000 | #Constraints: 49766
664.17/666.24 c #Conflicts: 380000 | #Constraints: 50766
664.17/666.24 c #Conflicts: 381000 | #Constraints: 51766
664.17/666.24 c INPROCESSING
664.17/666.24 c GARBAGE COLLECT
664.17/666.24 c #Conflicts: 382000 | #Constraints: 40565
664.17/666.24 c #Conflicts: 383000 | #Constraints: 41565
664.17/666.24 c #Conflicts: 384000 | #Constraints: 42565
664.17/666.24 c #Conflicts: 385000 | #Constraints: 43565
664.17/666.24 c #Conflicts: 386000 | #Constraints: 44565
664.17/666.24 c #Conflicts: 387000 | #Constraints: 45565
664.17/666.24 c #Conflicts: 388000 | #Constraints: 46565
664.17/666.24 c #Conflicts: 389000 | #Constraints: 47565
664.17/666.24 c #Conflicts: 390000 | #Constraints: 48565
664.17/666.24 c #Conflicts: 391000 | #Constraints: 49565
664.17/666.24 c #Conflicts: 392000 | #Constraints: 50565
664.17/666.24 c #Conflicts: 393000 | #Constraints: 51565
664.17/666.24 c #Conflicts: 394000 | #Constraints: 52565
664.17/666.24 c INPROCESSING
664.17/666.24 c GARBAGE COLLECT
664.17/666.24 c #Conflicts: 395000 | #Constraints: 41167
664.17/666.24 c #Conflicts: 396000 | #Constraints: 42167
664.17/666.24 c #Conflicts: 397000 | #Constraints: 43167
664.17/666.24 c #Conflicts: 398000 | #Constraints: 44167
664.17/666.24 c #Conflicts: 399000 | #Constraints: 45167
664.17/666.24 c #Conflicts: 400000 | #Constraints: 46167
664.17/666.24 c #Conflicts: 401000 | #Constraints: 47167
664.17/666.24 c #Conflicts: 402000 | #Constraints: 48167
664.17/666.24 c #Conflicts: 403000 | #Constraints: 49167
664.17/666.24 c #Conflicts: 404000 | #Constraints: 50167
664.17/666.24 c #Conflicts: 405000 | #Constraints: 51167
664.17/666.24 c #Conflicts: 406000 | #Constraints: 52167
664.17/666.24 c #Conflicts: 407000 | #Constraints: 53167
664.17/666.24 c INPROCESSING
664.17/666.24 c GARBAGE COLLECT
664.17/666.24 c #Conflicts: 408000 | #Constraints: 41567
664.17/666.24 c #Conflicts: 409000 | #Constraints: 42567
664.17/666.24 c #Conflicts: 410000 | #Constraints: 43567
664.17/666.24 c #Conflicts: 411000 | #Constraints: 44567
664.17/666.24 c #Conflicts: 412000 | #Constraints: 45567
664.17/666.24 c #Conflicts: 413000 | #Constraints: 46567
664.17/666.24 c #Conflicts: 414000 | #Constraints: 47567
664.17/666.24 c #Conflicts: 415000 | #Constraints: 48567
664.17/666.24 c #Conflicts: 416000 | #Constraints: 49567
664.17/666.24 c #Conflicts: 417000 | #Constraints: 50567
664.17/666.24 c #Conflicts: 418000 | #Constraints: 51567
664.17/666.24 c #Conflicts: 419000 | #Constraints: 52567
664.17/666.24 c #Conflicts: 420000 | #Constraints: 53567
664.17/666.24 c INPROCESSING
664.17/666.24 c GARBAGE COLLECT
664.17/666.24 c #Conflicts: 421000 | #Constraints: 41766
664.17/666.24 c #Conflicts: 422000 | #Constraints: 42766
664.17/666.24 c #Conflicts: 423000 | #Constraints: 43766
664.17/666.24 c #Conflicts: 424000 | #Constraints: 44766
664.17/666.24 c #Conflicts: 425000 | #Constraints: 45766
664.17/666.24 c #Conflicts: 426000 | #Constraints: 46766
664.17/666.24 c #Conflicts: 427000 | #Constraints: 47766
664.17/666.24 c #Conflicts: 428000 | #Constraints: 48766
664.17/666.24 c #Conflicts: 429000 | #Constraints: 49766
664.17/666.24 c #Conflicts: 430000 | #Constraints: 50766
756.90/759.27 c #Conflicts: 431000 | #Constraints: 51766
756.90/759.27 c #Conflicts: 432000 | #Constraints: 52766
756.90/759.27 c #Conflicts: 433000 | #Constraints: 53766
756.90/759.27 c INPROCESSING
756.90/759.27 c GARBAGE COLLECT
756.90/759.27 c #Conflicts: 434000 | #Constraints: 41768
756.90/759.27 c #Conflicts: 435000 | #Constraints: 42768
756.90/759.27 c #Conflicts: 436000 | #Constraints: 43768
756.90/759.27 c #Conflicts: 437000 | #Constraints: 44768
756.90/759.27 c #Conflicts: 438000 | #Constraints: 45768
756.90/759.27 c #Conflicts: 439000 | #Constraints: 46768
756.90/759.27 c #Conflicts: 440000 | #Constraints: 47768
756.90/759.27 c #Conflicts: 441000 | #Constraints: 48768
756.90/759.27 c #Conflicts: 442000 | #Constraints: 49768
756.90/759.27 c #Conflicts: 443000 | #Constraints: 50768
756.90/759.27 c #Conflicts: 444000 | #Constraints: 51768
756.90/759.27 c #Conflicts: 445000 | #Constraints: 52768
756.90/759.27 c #Conflicts: 446000 | #Constraints: 53768
756.90/759.27 c INPROCESSING
756.90/759.27 c GARBAGE COLLECT
756.90/759.27 c #Conflicts: 447000 | #Constraints: 41570
756.90/759.27 c #Conflicts: 448000 | #Constraints: 42570
756.90/759.27 c #Conflicts: 449000 | #Constraints: 43570
756.90/759.27 c #Conflicts: 450000 | #Constraints: 44570
756.90/759.27 c #Conflicts: 451000 | #Constraints: 45570
756.90/759.27 c #Conflicts: 452000 | #Constraints: 46570
756.90/759.27 c #Conflicts: 453000 | #Constraints: 47570
756.90/759.27 c #Conflicts: 454000 | #Constraints: 48570
756.90/759.27 c #Conflicts: 455000 | #Constraints: 49570
756.90/759.27 c #Conflicts: 456000 | #Constraints: 50570
756.90/759.27 c #Conflicts: 457000 | #Constraints: 51570
756.90/759.27 c #Conflicts: 458000 | #Constraints: 52570
756.90/759.27 c #Conflicts: 459000 | #Constraints: 53570
756.90/759.27 c #Conflicts: 460000 | #Constraints: 54570
756.90/759.27 c INPROCESSING
756.90/759.27 c GARBAGE COLLECT
756.90/759.27 c #Conflicts: 461000 | #Constraints: 42168
756.90/759.27 c #Conflicts: 462000 | #Constraints: 43168
756.90/759.27 c #Conflicts: 463000 | #Constraints: 44168
756.90/759.27 c #Conflicts: 464000 | #Constraints: 45168
756.90/759.27 c #Conflicts: 465000 | #Constraints: 46168
756.90/759.27 c #Conflicts: 466000 | #Constraints: 47168
756.90/759.27 c #Conflicts: 467000 | #Constraints: 48168
756.90/759.27 c #Conflicts: 468000 | #Constraints: 49168
756.90/759.27 c #Conflicts: 469000 | #Constraints: 50168
756.90/759.27 c #Conflicts: 470000 | #Constraints: 51168
756.90/759.27 c #Conflicts: 471000 | #Constraints: 52168
756.90/759.27 c #Conflicts: 472000 | #Constraints: 53168
756.90/759.27 c #Conflicts: 473000 | #Constraints: 54168
756.90/759.27 c #Conflicts: 474000 | #Constraints: 55168
756.90/759.27 c INPROCESSING
756.90/759.27 c GARBAGE COLLECT
756.90/759.27 c #Conflicts: 475000 | #Constraints: 42567
756.90/759.27 c #Conflicts: 476000 | #Constraints: 43567
756.90/759.27 c #Conflicts: 477000 | #Constraints: 44567
756.90/759.27 c #Conflicts: 478000 | #Constraints: 45567
756.90/759.27 c #Conflicts: 479000 | #Constraints: 46567
756.90/759.27 c #Conflicts: 480000 | #Constraints: 47567
756.90/759.27 c #Conflicts: 481000 | #Constraints: 48567
756.90/759.27 c #Conflicts: 482000 | #Constraints: 49567
756.90/759.27 c #Conflicts: 483000 | #Constraints: 50567
756.90/759.27 c #Conflicts: 484000 | #Constraints: 51567
756.90/759.27 c #Conflicts: 485000 | #Constraints: 52567
756.90/759.27 c #Conflicts: 486000 | #Constraints: 53567
756.90/759.27 c #Conflicts: 487000 | #Constraints: 54567
756.90/759.27 c #Conflicts: 488000 | #Constraints: 55567
756.90/759.27 c INPROCESSING
756.90/759.27 c GARBAGE COLLECT
756.90/759.27 c #Conflicts: 489000 | #Constraints: 42771
756.90/759.27 c #Conflicts: 490000 | #Constraints: 43771
756.90/759.27 c #Conflicts: 491000 | #Constraints: 44771
756.90/759.27 c #Conflicts: 492000 | #Constraints: 45771
756.90/759.27 c #Conflicts: 493000 | #Constraints: 46771
756.90/759.27 c #Conflicts: 494000 | #Constraints: 47771
756.90/759.27 c #Conflicts: 495000 | #Constraints: 48771
756.90/759.27 c #Conflicts: 496000 | #Constraints: 49771
756.90/759.27 c #Conflicts: 497000 | #Constraints: 50771
756.90/759.27 c #Conflicts: 498000 | #Constraints: 51771
756.90/759.27 c #Conflicts: 499000 | #Constraints: 52771
756.90/759.27 c #Conflicts: 500000 | #Constraints: 53771
756.90/759.27 c #Conflicts: 501000 | #Constraints: 54771
756.90/759.27 c #Conflicts: 502000 | #Constraints: 55771
756.90/759.27 c INPROCESSING
756.90/759.27 c GARBAGE COLLECT
756.90/759.27 c #Conflicts: 503000 | #Constraints: 42771
756.90/759.27 c #Conflicts: 504000 | #Constraints: 43771
756.90/759.27 c #Conflicts: 505000 | #Constraints: 44771
863.30/865.91 c #Conflicts: 506000 | #Constraints: 45771
863.30/865.91 c #Conflicts: 507000 | #Constraints: 46771
863.30/865.91 c #Conflicts: 508000 | #Constraints: 47771
863.30/865.91 c #Conflicts: 509000 | #Constraints: 48771
863.30/865.91 c #Conflicts: 510000 | #Constraints: 49771
863.30/865.91 c #Conflicts: 511000 | #Constraints: 50771
863.30/865.91 c #Conflicts: 512000 | #Constraints: 51771
863.30/865.91 c #Conflicts: 513000 | #Constraints: 52771
863.30/865.91 c #Conflicts: 514000 | #Constraints: 53771
863.30/865.91 c #Conflicts: 515000 | #Constraints: 54771
863.30/865.91 c #Conflicts: 516000 | #Constraints: 55771
863.30/865.91 c INPROCESSING
863.30/865.91 c GARBAGE COLLECT
863.30/865.91 c #Conflicts: 517000 | #Constraints: 42567
863.30/865.91 c #Conflicts: 518000 | #Constraints: 43567
863.30/865.91 c #Conflicts: 519000 | #Constraints: 44567
863.30/865.91 c #Conflicts: 520000 | #Constraints: 45567
863.30/865.91 c #Conflicts: 521000 | #Constraints: 46567
863.30/865.91 c #Conflicts: 522000 | #Constraints: 47567
863.30/865.91 c #Conflicts: 523000 | #Constraints: 48567
863.30/865.91 c #Conflicts: 524000 | #Constraints: 49567
863.30/865.91 c #Conflicts: 525000 | #Constraints: 50567
863.30/865.91 c #Conflicts: 526000 | #Constraints: 51567
863.30/865.91 c #Conflicts: 527000 | #Constraints: 52567
863.30/865.91 c #Conflicts: 528000 | #Constraints: 53567
863.30/865.91 c #Conflicts: 529000 | #Constraints: 54567
863.30/865.91 c #Conflicts: 530000 | #Constraints: 55567
863.30/865.91 c #Conflicts: 531000 | #Constraints: 56567
863.30/865.91 c INPROCESSING
863.30/865.91 c GARBAGE COLLECT
863.30/865.91 c #Conflicts: 532000 | #Constraints: 43167
863.30/865.91 c #Conflicts: 533000 | #Constraints: 44167
863.30/865.91 c #Conflicts: 534000 | #Constraints: 45167
863.30/865.91 c #Conflicts: 535000 | #Constraints: 46167
863.30/865.91 c #Conflicts: 536000 | #Constraints: 47167
863.30/865.91 c #Conflicts: 537000 | #Constraints: 48167
863.30/865.91 c #Conflicts: 538000 | #Constraints: 49167
863.30/865.91 c #Conflicts: 539000 | #Constraints: 50167
863.30/865.91 c #Conflicts: 540000 | #Constraints: 51167
863.30/865.91 c #Conflicts: 541000 | #Constraints: 52167
863.30/865.91 c #Conflicts: 542000 | #Constraints: 53167
863.30/865.91 c #Conflicts: 543000 | #Constraints: 54167
863.30/865.91 c #Conflicts: 544000 | #Constraints: 55167
863.30/865.91 c #Conflicts: 545000 | #Constraints: 56167
863.30/865.91 c #Conflicts: 546000 | #Constraints: 57167
863.30/865.91 c INPROCESSING
863.30/865.91 c GARBAGE COLLECT
863.30/865.91 c #Conflicts: 547000 | #Constraints: 43568
863.30/865.91 c #Conflicts: 548000 | #Constraints: 44568
863.30/865.91 c #Conflicts: 549000 | #Constraints: 45568
863.30/865.91 c #Conflicts: 550000 | #Constraints: 46568
863.30/865.91 c #Conflicts: 551000 | #Constraints: 47568
863.30/865.91 c #Conflicts: 552000 | #Constraints: 48568
863.30/865.91 c #Conflicts: 553000 | #Constraints: 49568
863.30/865.91 c #Conflicts: 554000 | #Constraints: 50568
863.30/865.91 c #Conflicts: 555000 | #Constraints: 51568
863.30/865.91 c #Conflicts: 556000 | #Constraints: 52568
863.30/865.91 c #Conflicts: 557000 | #Constraints: 53568
863.30/865.91 c #Conflicts: 558000 | #Constraints: 54568
863.30/865.91 c #Conflicts: 559000 | #Constraints: 55568
863.30/865.91 c #Conflicts: 560000 | #Constraints: 56568
863.30/865.91 c #Conflicts: 561000 | #Constraints: 57568
863.30/865.91 c INPROCESSING
863.30/865.91 c GARBAGE COLLECT
863.30/865.91 c #Conflicts: 562000 | #Constraints: 43768
863.30/865.91 c #Conflicts: 563000 | #Constraints: 44768
863.30/865.91 c #Conflicts: 564000 | #Constraints: 45768
863.30/865.91 c #Conflicts: 565000 | #Constraints: 46768
863.30/865.91 c #Conflicts: 566000 | #Constraints: 47768
863.30/865.91 c #Conflicts: 567000 | #Constraints: 48768
863.30/865.91 c #Conflicts: 568000 | #Constraints: 49768
863.30/865.91 c #Conflicts: 569000 | #Constraints: 50768
863.30/865.91 c #Conflicts: 570000 | #Constraints: 51768
863.30/865.91 c #Conflicts: 571000 | #Constraints: 52768
863.30/865.91 c #Conflicts: 572000 | #Constraints: 53768
863.30/865.91 c #Conflicts: 573000 | #Constraints: 54768
863.30/865.91 c #Conflicts: 574000 | #Constraints: 55768
863.30/865.91 c #Conflicts: 575000 | #Constraints: 56768
863.30/865.91 c #Conflicts: 576000 | #Constraints: 57768
863.30/865.91 c INPROCESSING
863.30/865.91 c GARBAGE COLLECT
863.30/865.91 c #Conflicts: 577000 | #Constraints: 43768
863.30/865.91 c #Conflicts: 578000 | #Constraints: 44768
863.30/865.91 c #Conflicts: 579000 | #Constraints: 45768
863.30/865.91 c #Conflicts: 580000 | #Constraints: 46768
863.30/865.91 c #Conflicts: 581000 | #Constraints: 47768
974.88/977.89 c #Conflicts: 582000 | #Constraints: 48768
974.88/977.89 c #Conflicts: 583000 | #Constraints: 49768
974.88/977.89 c #Conflicts: 584000 | #Constraints: 50768
974.88/977.89 c #Conflicts: 585000 | #Constraints: 51768
974.88/977.89 c #Conflicts: 586000 | #Constraints: 52768
974.88/977.89 c #Conflicts: 587000 | #Constraints: 53768
974.88/977.89 c #Conflicts: 588000 | #Constraints: 54768
974.88/977.89 c #Conflicts: 589000 | #Constraints: 55768
974.88/977.89 c #Conflicts: 590000 | #Constraints: 56768
974.88/977.89 c #Conflicts: 591000 | #Constraints: 57768
974.88/977.89 c INPROCESSING
974.88/977.89 c GARBAGE COLLECT
974.88/977.89 c #Conflicts: 592000 | #Constraints: 43569
974.88/977.89 c #Conflicts: 593000 | #Constraints: 44569
974.88/977.89 c #Conflicts: 594000 | #Constraints: 45569
974.88/977.89 c #Conflicts: 595000 | #Constraints: 46569
974.88/977.89 c #Conflicts: 596000 | #Constraints: 47569
974.88/977.89 c #Conflicts: 597000 | #Constraints: 48569
974.88/977.89 c #Conflicts: 598000 | #Constraints: 49569
974.88/977.89 c #Conflicts: 599000 | #Constraints: 50569
974.88/977.89 c #Conflicts: 600000 | #Constraints: 51569
974.88/977.89 c #Conflicts: 601000 | #Constraints: 52569
974.88/977.89 c #Conflicts: 602000 | #Constraints: 53569
974.88/977.89 c #Conflicts: 603000 | #Constraints: 54569
974.88/977.89 c #Conflicts: 604000 | #Constraints: 55569
974.88/977.89 c #Conflicts: 605000 | #Constraints: 56569
974.88/977.89 c #Conflicts: 606000 | #Constraints: 57569
974.88/977.89 c #Conflicts: 607000 | #Constraints: 58569
974.88/977.89 c INPROCESSING
974.88/977.89 c GARBAGE COLLECT
974.88/977.89 c #Conflicts: 608000 | #Constraints: 44168
974.88/977.89 c #Conflicts: 609000 | #Constraints: 45168
974.88/977.89 c #Conflicts: 610000 | #Constraints: 46168
974.88/977.89 c #Conflicts: 611000 | #Constraints: 47168
974.88/977.89 c #Conflicts: 612000 | #Constraints: 48168
974.88/977.89 c #Conflicts: 613000 | #Constraints: 49168
974.88/977.89 c #Conflicts: 614000 | #Constraints: 50168
974.88/977.89 c #Conflicts: 615000 | #Constraints: 51168
974.88/977.89 c #Conflicts: 616000 | #Constraints: 52168
974.88/977.89 c #Conflicts: 617000 | #Constraints: 53168
974.88/977.89 c #Conflicts: 618000 | #Constraints: 54168
974.88/977.89 c #Conflicts: 619000 | #Constraints: 55168
974.88/977.89 c #Conflicts: 620000 | #Constraints: 56168
974.88/977.89 c #Conflicts: 621000 | #Constraints: 57168
974.88/977.89 c #Conflicts: 622000 | #Constraints: 58168
974.88/977.89 c #Conflicts: 623000 | #Constraints: 59168
974.88/977.89 c INPROCESSING
974.88/977.89 c GARBAGE COLLECT
974.88/977.89 c #Conflicts: 624000 | #Constraints: 44565
974.88/977.89 c #Conflicts: 625000 | #Constraints: 45565
974.88/977.89 c #Conflicts: 626000 | #Constraints: 46565
974.88/977.89 c #Conflicts: 627000 | #Constraints: 47565
974.88/977.89 c #Conflicts: 628000 | #Constraints: 48565
974.88/977.89 c #Conflicts: 629000 | #Constraints: 49565
974.88/977.89 c #Conflicts: 630000 | #Constraints: 50565
974.88/977.89 c #Conflicts: 631000 | #Constraints: 51565
974.88/977.89 c #Conflicts: 632000 | #Constraints: 52565
974.88/977.89 c #Conflicts: 633000 | #Constraints: 53565
974.88/977.89 c #Conflicts: 634000 | #Constraints: 54565
974.88/977.89 c #Conflicts: 635000 | #Constraints: 55565
974.88/977.89 c #Conflicts: 636000 | #Constraints: 56565
974.88/977.89 c #Conflicts: 637000 | #Constraints: 57565
974.88/977.89 c #Conflicts: 638000 | #Constraints: 58565
974.88/977.89 c #Conflicts: 639000 | #Constraints: 59565
974.88/977.89 c INPROCESSING
974.88/977.89 c GARBAGE COLLECT
974.88/977.89 c #Conflicts: 640000 | #Constraints: 44764
974.88/977.89 c #Conflicts: 641000 | #Constraints: 45764
974.88/977.89 c #Conflicts: 642000 | #Constraints: 46764
974.88/977.89 c #Conflicts: 643000 | #Constraints: 47764
974.88/977.89 c #Conflicts: 644000 | #Constraints: 48764
974.88/977.89 c #Conflicts: 645000 | #Constraints: 49764
974.88/977.89 c #Conflicts: 646000 | #Constraints: 50764
974.88/977.89 c #Conflicts: 647000 | #Constraints: 51764
974.88/977.89 c #Conflicts: 648000 | #Constraints: 52764
974.88/977.89 c #Conflicts: 649000 | #Constraints: 53764
974.88/977.89 c #Conflicts: 650000 | #Constraints: 54764
974.88/977.89 c #Conflicts: 651000 | #Constraints: 55764
974.88/977.89 c #Conflicts: 652000 | #Constraints: 56764
974.88/977.89 c #Conflicts: 653000 | #Constraints: 57764
974.88/977.89 c #Conflicts: 654000 | #Constraints: 58764
974.88/977.89 c #Conflicts: 655000 | #Constraints: 59764
974.88/977.89 c INPROCESSING
974.88/977.89 c GARBAGE COLLECT
974.88/977.89 c #Conflicts: 656000 | #Constraints: 44767
974.88/977.89 c #Conflicts: 657000 | #Constraints: 45767
1096.64/1099.93 c #Conflicts: 658000 | #Constraints: 46767
1096.64/1099.93 c #Conflicts: 659000 | #Constraints: 47767
1096.64/1099.93 c #Conflicts: 660000 | #Constraints: 48767
1096.64/1099.93 c #Conflicts: 661000 | #Constraints: 49767
1096.64/1099.93 c #Conflicts: 662000 | #Constraints: 50767
1096.64/1099.93 c #Conflicts: 663000 | #Constraints: 51767
1096.64/1099.93 c #Conflicts: 664000 | #Constraints: 52767
1096.64/1099.93 c #Conflicts: 665000 | #Constraints: 53767
1096.64/1099.93 c #Conflicts: 666000 | #Constraints: 54767
1096.64/1099.93 c #Conflicts: 667000 | #Constraints: 55767
1096.64/1099.93 c #Conflicts: 668000 | #Constraints: 56767
1096.64/1099.93 c #Conflicts: 669000 | #Constraints: 57767
1096.64/1099.93 c #Conflicts: 670000 | #Constraints: 58767
1096.64/1099.93 c #Conflicts: 671000 | #Constraints: 59767
1096.64/1099.93 c INPROCESSING
1096.64/1099.93 c GARBAGE COLLECT
1096.64/1099.93 c #Conflicts: 672000 | #Constraints: 44566
1096.64/1099.93 c #Conflicts: 673000 | #Constraints: 45566
1096.64/1099.93 c #Conflicts: 674000 | #Constraints: 46566
1096.64/1099.93 c #Conflicts: 675000 | #Constraints: 47566
1096.64/1099.93 c #Conflicts: 676000 | #Constraints: 48566
1096.64/1099.93 c #Conflicts: 677000 | #Constraints: 49566
1096.64/1099.93 c #Conflicts: 678000 | #Constraints: 50566
1096.64/1099.93 c #Conflicts: 679000 | #Constraints: 51566
1096.64/1099.93 c #Conflicts: 680000 | #Constraints: 52566
1096.64/1099.93 c #Conflicts: 681000 | #Constraints: 53566
1096.64/1099.93 c #Conflicts: 682000 | #Constraints: 54566
1096.64/1099.93 c #Conflicts: 683000 | #Constraints: 55566
1096.64/1099.93 c #Conflicts: 684000 | #Constraints: 56566
1096.64/1099.93 c #Conflicts: 685000 | #Constraints: 57566
1096.64/1099.93 c #Conflicts: 686000 | #Constraints: 58566
1096.64/1099.93 c #Conflicts: 687000 | #Constraints: 59566
1096.64/1099.93 c #Conflicts: 688000 | #Constraints: 60566
1096.64/1099.93 c INPROCESSING
1096.64/1099.93 c GARBAGE COLLECT
1096.64/1099.93 c #Conflicts: 689000 | #Constraints: 45165
1096.64/1099.93 c #Conflicts: 690000 | #Constraints: 46165
1096.64/1099.93 c #Conflicts: 691000 | #Constraints: 47165
1096.64/1099.93 c #Conflicts: 692000 | #Constraints: 48165
1096.64/1099.93 c #Conflicts: 693000 | #Constraints: 49165
1096.64/1099.93 c #Conflicts: 694000 | #Constraints: 50165
1096.64/1099.93 c #Conflicts: 695000 | #Constraints: 51165
1096.64/1099.93 c #Conflicts: 696000 | #Constraints: 52165
1096.64/1099.93 c #Conflicts: 697000 | #Constraints: 53165
1096.64/1099.93 c #Conflicts: 698000 | #Constraints: 54165
1096.64/1099.93 c #Conflicts: 699000 | #Constraints: 55165
1096.64/1099.93 c #Conflicts: 700000 | #Constraints: 56165
1096.64/1099.93 c #Conflicts: 701000 | #Constraints: 57165
1096.64/1099.93 c #Conflicts: 702000 | #Constraints: 58165
1096.64/1099.93 c #Conflicts: 703000 | #Constraints: 59165
1096.64/1099.93 c #Conflicts: 704000 | #Constraints: 60165
1096.64/1099.93 c #Conflicts: 705000 | #Constraints: 61165
1096.64/1099.93 c INPROCESSING
1096.64/1099.93 c GARBAGE COLLECT
1096.64/1099.93 c #Conflicts: 706000 | #Constraints: 45564
1096.64/1099.93 c #Conflicts: 707000 | #Constraints: 46564
1096.64/1099.93 c #Conflicts: 708000 | #Constraints: 47564
1096.64/1099.93 c #Conflicts: 709000 | #Constraints: 48564
1096.64/1099.93 c #Conflicts: 710000 | #Constraints: 49564
1096.64/1099.93 c #Conflicts: 711000 | #Constraints: 50564
1096.64/1099.93 c #Conflicts: 712000 | #Constraints: 51564
1096.64/1099.93 c #Conflicts: 713000 | #Constraints: 52564
1096.64/1099.93 c #Conflicts: 714000 | #Constraints: 53564
1096.64/1099.93 c #Conflicts: 715000 | #Constraints: 54564
1096.64/1099.93 c #Conflicts: 716000 | #Constraints: 55564
1096.64/1099.93 c #Conflicts: 717000 | #Constraints: 56564
1096.64/1099.93 c #Conflicts: 718000 | #Constraints: 57564
1096.64/1099.93 c #Conflicts: 719000 | #Constraints: 58564
1096.64/1099.93 c #Conflicts: 720000 | #Constraints: 59564
1096.64/1099.93 c #Conflicts: 721000 | #Constraints: 60564
1096.64/1099.93 c #Conflicts: 722000 | #Constraints: 61564
1096.64/1099.93 c INPROCESSING
1096.64/1099.93 c GARBAGE COLLECT
1096.64/1099.93 c #Conflicts: 723000 | #Constraints: 45761
1096.64/1099.93 c #Conflicts: 724000 | #Constraints: 46761
1096.64/1099.93 c #Conflicts: 725000 | #Constraints: 47761
1096.64/1099.93 c #Conflicts: 726000 | #Constraints: 48761
1096.64/1099.93 c #Conflicts: 727000 | #Constraints: 49761
1096.64/1099.93 c #Conflicts: 728000 | #Constraints: 50761
1096.64/1099.93 c #Conflicts: 729000 | #Constraints: 51761
1096.64/1099.93 c #Conflicts: 730000 | #Constraints: 52761
1096.64/1099.93 c #Conflicts: 731000 | #Constraints: 53761
1096.64/1099.93 c #Conflicts: 732000 | #Constraints: 54761
1096.64/1099.93 c #Conflicts: 733000 | #Constraints: 55761
1242.03/1245.78 c #Conflicts: 734000 | #Constraints: 56761
1242.03/1245.78 c #Conflicts: 735000 | #Constraints: 57761
1242.03/1245.78 c #Conflicts: 736000 | #Constraints: 58761
1242.03/1245.78 c #Conflicts: 737000 | #Constraints: 59761
1242.03/1245.78 c #Conflicts: 738000 | #Constraints: 60761
1242.03/1245.78 c #Conflicts: 739000 | #Constraints: 61761
1242.03/1245.78 c INPROCESSING
1242.03/1245.78 c GARBAGE COLLECT
1242.03/1245.78 c #Conflicts: 740000 | #Constraints: 45766
1242.03/1245.78 c #Conflicts: 741000 | #Constraints: 46766
1242.03/1245.78 c #Conflicts: 742000 | #Constraints: 47766
1242.03/1245.78 c #Conflicts: 743000 | #Constraints: 48766
1242.03/1245.78 c #Conflicts: 744000 | #Constraints: 49766
1242.03/1245.78 c #Conflicts: 745000 | #Constraints: 50766
1242.03/1245.78 c #Conflicts: 746000 | #Constraints: 51766
1242.03/1245.78 c #Conflicts: 747000 | #Constraints: 52766
1242.03/1245.78 c #Conflicts: 748000 | #Constraints: 53766
1242.03/1245.78 c #Conflicts: 749000 | #Constraints: 54766
1242.03/1245.78 c #Conflicts: 750000 | #Constraints: 55766
1242.03/1245.78 c #Conflicts: 751000 | #Constraints: 56766
1242.03/1245.78 c #Conflicts: 752000 | #Constraints: 57766
1242.03/1245.78 c #Conflicts: 753000 | #Constraints: 58766
1242.03/1245.78 c #Conflicts: 754000 | #Constraints: 59766
1242.03/1245.78 c #Conflicts: 755000 | #Constraints: 60766
1242.03/1245.78 c #Conflicts: 756000 | #Constraints: 61766
1242.03/1245.78 c INPROCESSING
1242.03/1245.78 c GARBAGE COLLECT
1242.03/1245.78 c #Conflicts: 757000 | #Constraints: 45567
1242.03/1245.78 c #Conflicts: 758000 | #Constraints: 46567
1242.03/1245.78 c #Conflicts: 759000 | #Constraints: 47567
1242.03/1245.78 c #Conflicts: 760000 | #Constraints: 48567
1242.03/1245.78 c #Conflicts: 761000 | #Constraints: 49567
1242.03/1245.78 c #Conflicts: 762000 | #Constraints: 50567
1242.03/1245.78 c #Conflicts: 763000 | #Constraints: 51567
1242.03/1245.78 c #Conflicts: 764000 | #Constraints: 52567
1242.03/1245.78 c #Conflicts: 765000 | #Constraints: 53567
1242.03/1245.78 c #Conflicts: 766000 | #Constraints: 54567
1242.03/1245.78 c #Conflicts: 767000 | #Constraints: 55567
1242.03/1245.78 c #Conflicts: 768000 | #Constraints: 56567
1242.03/1245.78 c #Conflicts: 769000 | #Constraints: 57567
1242.03/1245.78 c #Conflicts: 770000 | #Constraints: 58567
1242.03/1245.78 c #Conflicts: 771000 | #Constraints: 59567
1242.03/1245.78 c #Conflicts: 772000 | #Constraints: 60567
1242.03/1245.78 c #Conflicts: 773000 | #Constraints: 61567
1242.03/1245.78 c #Conflicts: 774000 | #Constraints: 62567
1242.03/1245.78 c INPROCESSING
1242.03/1245.78 c GARBAGE COLLECT
1242.03/1245.78 c #Conflicts: 775000 | #Constraints: 46168
1242.03/1245.78 c #Conflicts: 776000 | #Constraints: 47168
1242.03/1245.78 c #Conflicts: 777000 | #Constraints: 48168
1242.03/1245.78 c #Conflicts: 778000 | #Constraints: 49168
1242.03/1245.78 c #Conflicts: 779000 | #Constraints: 50168
1242.03/1245.78 c #Conflicts: 780000 | #Constraints: 51168
1242.03/1245.78 c #Conflicts: 781000 | #Constraints: 52168
1242.03/1245.78 c #Conflicts: 782000 | #Constraints: 53168
1242.03/1245.78 c #Conflicts: 783000 | #Constraints: 54168
1242.03/1245.78 c #Conflicts: 784000 | #Constraints: 55168
1242.03/1245.78 c #Conflicts: 785000 | #Constraints: 56168
1242.03/1245.78 c #Conflicts: 786000 | #Constraints: 57168
1242.03/1245.78 c #Conflicts: 787000 | #Constraints: 58168
1242.03/1245.78 c #Conflicts: 788000 | #Constraints: 59168
1242.03/1245.78 c #Conflicts: 789000 | #Constraints: 60168
1242.03/1245.78 c #Conflicts: 790000 | #Constraints: 61168
1242.03/1245.79 c #Conflicts: 791000 | #Constraints: 62168
1242.03/1245.79 c #Conflicts: 792000 | #Constraints: 63168
1242.03/1245.79 c INPROCESSING
1242.03/1245.79 c GARBAGE COLLECT
1242.03/1245.79 c #Conflicts: 793000 | #Constraints: 46565
1242.03/1245.79 c #Conflicts: 794000 | #Constraints: 47565
1242.03/1245.79 c #Conflicts: 795000 | #Constraints: 48565
1242.03/1245.79 c #Conflicts: 796000 | #Constraints: 49565
1242.03/1245.79 c #Conflicts: 797000 | #Constraints: 50565
1242.03/1245.79 c #Conflicts: 798000 | #Constraints: 51565
1242.03/1245.79 c #Conflicts: 799000 | #Constraints: 52565
1242.03/1245.79 c #Conflicts: 800000 | #Constraints: 53565
1242.03/1245.79 c #Conflicts: 801000 | #Constraints: 54565
1242.03/1245.79 c #Conflicts: 802000 | #Constraints: 55565
1242.03/1245.79 c #Conflicts: 803000 | #Constraints: 56565
1242.03/1245.79 c #Conflicts: 804000 | #Constraints: 57565
1242.03/1245.79 c #Conflicts: 805000 | #Constraints: 58565
1242.03/1245.79 c #Conflicts: 806000 | #Constraints: 59565
1242.03/1245.79 c #Conflicts: 807000 | #Constraints: 60565
1242.03/1245.79 c #Conflicts: 808000 | #Constraints: 61565
1242.03/1245.79 c #Conflicts: 809000 | #Constraints: 62565
1396.99/1401.15 c #Conflicts: 810000 | #Constraints: 63565
1396.99/1401.15 c INPROCESSING
1396.99/1401.15 c GARBAGE COLLECT
1396.99/1401.15 c #Conflicts: 811000 | #Constraints: 46761
1396.99/1401.15 c #Conflicts: 812000 | #Constraints: 47761
1396.99/1401.15 c #Conflicts: 813000 | #Constraints: 48761
1396.99/1401.15 c #Conflicts: 814000 | #Constraints: 49761
1396.99/1401.15 c #Conflicts: 815000 | #Constraints: 50761
1396.99/1401.15 c #Conflicts: 816000 | #Constraints: 51761
1396.99/1401.15 c #Conflicts: 817000 | #Constraints: 52761
1396.99/1401.15 c #Conflicts: 818000 | #Constraints: 53761
1396.99/1401.15 c #Conflicts: 819000 | #Constraints: 54761
1396.99/1401.15 c #Conflicts: 820000 | #Constraints: 55761
1396.99/1401.15 c #Conflicts: 821000 | #Constraints: 56761
1396.99/1401.15 c #Conflicts: 822000 | #Constraints: 57761
1396.99/1401.15 c #Conflicts: 823000 | #Constraints: 58761
1396.99/1401.15 c #Conflicts: 824000 | #Constraints: 59761
1396.99/1401.15 c #Conflicts: 825000 | #Constraints: 60761
1396.99/1401.15 c #Conflicts: 826000 | #Constraints: 61761
1396.99/1401.15 c #Conflicts: 827000 | #Constraints: 62761
1396.99/1401.15 c #Conflicts: 828000 | #Constraints: 63761
1396.99/1401.15 c INPROCESSING
1396.99/1401.15 c GARBAGE COLLECT
1396.99/1401.15 c #Conflicts: 829000 | #Constraints: 46763
1396.99/1401.15 c #Conflicts: 830000 | #Constraints: 47763
1396.99/1401.15 c #Conflicts: 831000 | #Constraints: 48763
1396.99/1401.15 c #Conflicts: 832000 | #Constraints: 49763
1396.99/1401.15 c #Conflicts: 833000 | #Constraints: 50763
1396.99/1401.15 c #Conflicts: 834000 | #Constraints: 51763
1396.99/1401.15 c #Conflicts: 835000 | #Constraints: 52763
1396.99/1401.15 c #Conflicts: 836000 | #Constraints: 53763
1396.99/1401.15 c #Conflicts: 837000 | #Constraints: 54763
1396.99/1401.15 c #Conflicts: 838000 | #Constraints: 55763
1396.99/1401.15 c #Conflicts: 839000 | #Constraints: 56763
1396.99/1401.15 c #Conflicts: 840000 | #Constraints: 57763
1396.99/1401.15 c #Conflicts: 841000 | #Constraints: 58763
1396.99/1401.15 c #Conflicts: 842000 | #Constraints: 59763
1396.99/1401.15 c #Conflicts: 843000 | #Constraints: 60763
1396.99/1401.15 c #Conflicts: 844000 | #Constraints: 61763
1396.99/1401.15 c #Conflicts: 845000 | #Constraints: 62763
1396.99/1401.15 c #Conflicts: 846000 | #Constraints: 63763
1396.99/1401.15 c INPROCESSING
1396.99/1401.15 c GARBAGE COLLECT
1396.99/1401.15 c #Conflicts: 847000 | #Constraints: 46565
1396.99/1401.15 c #Conflicts: 848000 | #Constraints: 47565
1396.99/1401.15 c #Conflicts: 849000 | #Constraints: 48565
1396.99/1401.15 c #Conflicts: 850000 | #Constraints: 49565
1396.99/1401.15 c #Conflicts: 851000 | #Constraints: 50565
1396.99/1401.15 c #Conflicts: 852000 | #Constraints: 51565
1396.99/1401.15 c #Conflicts: 853000 | #Constraints: 52565
1396.99/1401.15 c #Conflicts: 854000 | #Constraints: 53565
1396.99/1401.15 c #Conflicts: 855000 | #Constraints: 54565
1396.99/1401.15 c #Conflicts: 856000 | #Constraints: 55565
1396.99/1401.15 c #Conflicts: 857000 | #Constraints: 56565
1396.99/1401.15 c #Conflicts: 858000 | #Constraints: 57565
1396.99/1401.15 c #Conflicts: 859000 | #Constraints: 58565
1396.99/1401.15 c #Conflicts: 860000 | #Constraints: 59565
1396.99/1401.15 c #Conflicts: 861000 | #Constraints: 60565
1396.99/1401.15 c #Conflicts: 862000 | #Constraints: 61565
1396.99/1401.15 c #Conflicts: 863000 | #Constraints: 62565
1396.99/1401.15 c #Conflicts: 864000 | #Constraints: 63565
1396.99/1401.15 c #Conflicts: 865000 | #Constraints: 64565
1396.99/1401.15 c INPROCESSING
1396.99/1401.15 c GARBAGE COLLECT
1396.99/1401.15 c #Conflicts: 866000 | #Constraints: 47167
1396.99/1401.15 c #Conflicts: 867000 | #Constraints: 48167
1396.99/1401.15 c #Conflicts: 868000 | #Constraints: 49167
1396.99/1401.15 c #Conflicts: 869000 | #Constraints: 50167
1396.99/1401.15 c #Conflicts: 870000 | #Constraints: 51167
1396.99/1401.15 c #Conflicts: 871000 | #Constraints: 52167
1396.99/1401.15 c #Conflicts: 872000 | #Constraints: 53167
1396.99/1401.15 c #Conflicts: 873000 | #Constraints: 54167
1396.99/1401.15 c #Conflicts: 874000 | #Constraints: 55167
1396.99/1401.15 c #Conflicts: 875000 | #Constraints: 56167
1396.99/1401.15 c #Conflicts: 876000 | #Constraints: 57167
1396.99/1401.15 c #Conflicts: 877000 | #Constraints: 58167
1396.99/1401.15 c #Conflicts: 878000 | #Constraints: 59167
1396.99/1401.15 c #Conflicts: 879000 | #Constraints: 60167
1396.99/1401.15 c #Conflicts: 880000 | #Constraints: 61167
1396.99/1401.15 c #Conflicts: 881000 | #Constraints: 62167
1396.99/1401.15 c #Conflicts: 882000 | #Constraints: 63167
1396.99/1401.15 c #Conflicts: 883000 | #Constraints: 64167
1396.99/1401.15 c #Conflicts: 884000 | #Constraints: 65167
1396.99/1401.15 c INPROCESSING
1396.99/1401.15 c GARBAGE COLLECT
1396.99/1401.15 c #Conflicts: 885000 | #Constraints: 47566
1558.46/1563.08 c #Conflicts: 886000 | #Constraints: 48566
1558.46/1563.08 c #Conflicts: 887000 | #Constraints: 49566
1558.46/1563.08 c #Conflicts: 888000 | #Constraints: 50566
1558.46/1563.08 c #Conflicts: 889000 | #Constraints: 51566
1558.46/1563.08 c #Conflicts: 890000 | #Constraints: 52566
1558.46/1563.08 c #Conflicts: 891000 | #Constraints: 53566
1558.46/1563.08 c #Conflicts: 892000 | #Constraints: 54566
1558.46/1563.08 c #Conflicts: 893000 | #Constraints: 55566
1558.46/1563.08 c #Conflicts: 894000 | #Constraints: 56566
1558.46/1563.08 c #Conflicts: 895000 | #Constraints: 57566
1558.46/1563.08 c #Conflicts: 896000 | #Constraints: 58566
1558.46/1563.08 c #Conflicts: 897000 | #Constraints: 59566
1558.46/1563.08 c #Conflicts: 898000 | #Constraints: 60566
1558.46/1563.08 c #Conflicts: 899000 | #Constraints: 61566
1558.46/1563.08 c #Conflicts: 900000 | #Constraints: 62566
1558.46/1563.08 c #Conflicts: 901000 | #Constraints: 63566
1558.46/1563.08 c #Conflicts: 902000 | #Constraints: 64566
1558.46/1563.08 c #Conflicts: 903000 | #Constraints: 65566
1558.46/1563.08 c INPROCESSING
1558.46/1563.08 c GARBAGE COLLECT
1558.46/1563.08 c #Conflicts: 904000 | #Constraints: 47768
1558.46/1563.08 c #Conflicts: 905000 | #Constraints: 48768
1558.46/1563.08 c #Conflicts: 906000 | #Constraints: 49768
1558.46/1563.08 c #Conflicts: 907000 | #Constraints: 50768
1558.46/1563.08 c #Conflicts: 908000 | #Constraints: 51768
1558.46/1563.08 c #Conflicts: 909000 | #Constraints: 52768
1558.46/1563.08 c #Conflicts: 910000 | #Constraints: 53768
1558.46/1563.08 c #Conflicts: 911000 | #Constraints: 54768
1558.46/1563.08 c #Conflicts: 912000 | #Constraints: 55768
1558.46/1563.08 c #Conflicts: 913000 | #Constraints: 56768
1558.46/1563.08 c #Conflicts: 914000 | #Constraints: 57768
1558.46/1563.08 c #Conflicts: 915000 | #Constraints: 58768
1558.46/1563.08 c #Conflicts: 916000 | #Constraints: 59768
1558.46/1563.08 c #Conflicts: 917000 | #Constraints: 60768
1558.46/1563.08 c #Conflicts: 918000 | #Constraints: 61768
1558.46/1563.08 c #Conflicts: 919000 | #Constraints: 62768
1558.46/1563.08 c #Conflicts: 920000 | #Constraints: 63768
1558.46/1563.08 c #Conflicts: 921000 | #Constraints: 64768
1558.46/1563.08 c #Conflicts: 922000 | #Constraints: 65768
1558.46/1563.08 c INPROCESSING
1558.46/1563.08 c GARBAGE COLLECT
1558.46/1563.08 c #Conflicts: 923000 | #Constraints: 47765
1558.46/1563.08 c #Conflicts: 924000 | #Constraints: 48765
1558.46/1563.08 c #Conflicts: 925000 | #Constraints: 49765
1558.46/1563.08 c #Conflicts: 926000 | #Constraints: 50765
1558.46/1563.08 c #Conflicts: 927000 | #Constraints: 51765
1558.46/1563.08 c #Conflicts: 928000 | #Constraints: 52765
1558.46/1563.08 c #Conflicts: 929000 | #Constraints: 53765
1558.46/1563.08 c #Conflicts: 930000 | #Constraints: 54765
1558.46/1563.08 c #Conflicts: 931000 | #Constraints: 55765
1558.46/1563.08 c #Conflicts: 932000 | #Constraints: 56765
1558.46/1563.08 c #Conflicts: 933000 | #Constraints: 57765
1558.46/1563.08 c #Conflicts: 934000 | #Constraints: 58765
1558.46/1563.08 c #Conflicts: 935000 | #Constraints: 59765
1558.46/1563.08 c #Conflicts: 936000 | #Constraints: 60765
1558.46/1563.08 c #Conflicts: 937000 | #Constraints: 61765
1558.46/1563.08 c #Conflicts: 938000 | #Constraints: 62765
1558.46/1563.08 c #Conflicts: 939000 | #Constraints: 63765
1558.46/1563.08 c #Conflicts: 940000 | #Constraints: 64765
1558.46/1563.08 c #Conflicts: 941000 | #Constraints: 65765
1558.46/1563.08 c INPROCESSING
1558.46/1563.08 c GARBAGE COLLECT
1558.46/1563.08 c #Conflicts: 942000 | #Constraints: 47569
1558.46/1563.08 c #Conflicts: 943000 | #Constraints: 48569
1558.46/1563.08 c #Conflicts: 944000 | #Constraints: 49569
1558.46/1563.08 c #Conflicts: 945000 | #Constraints: 50569
1558.46/1563.08 c #Conflicts: 946000 | #Constraints: 51569
1558.46/1563.08 c #Conflicts: 947000 | #Constraints: 52569
1558.46/1563.08 c #Conflicts: 948000 | #Constraints: 53569
1558.46/1563.08 c #Conflicts: 949000 | #Constraints: 54569
1558.46/1563.08 c #Conflicts: 950000 | #Constraints: 55569
1558.46/1563.08 c #Conflicts: 951000 | #Constraints: 56569
1558.46/1563.08 c #Conflicts: 952000 | #Constraints: 57569
1558.46/1563.08 c #Conflicts: 953000 | #Constraints: 58569
1558.46/1563.08 c #Conflicts: 954000 | #Constraints: 59569
1558.46/1563.08 c #Conflicts: 955000 | #Constraints: 60569
1558.46/1563.08 c #Conflicts: 956000 | #Constraints: 61569
1558.46/1563.08 c #Conflicts: 957000 | #Constraints: 62569
1558.46/1563.08 c #Conflicts: 958000 | #Constraints: 63569
1558.46/1563.08 c #Conflicts: 959000 | #Constraints: 64569
1558.46/1563.08 c #Conflicts: 960000 | #Constraints: 65569
1558.46/1563.08 c #Conflicts: 961000 | #Constraints: 66569
1715.78/1720.77 c INPROCESSING
1715.78/1720.77 c GARBAGE COLLECT
1715.78/1720.77 c #Conflicts: 962000 | #Constraints: 48170
1715.78/1720.77 c #Conflicts: 963000 | #Constraints: 49170
1715.78/1720.77 c #Conflicts: 964000 | #Constraints: 50170
1715.78/1720.77 c #Conflicts: 965000 | #Constraints: 51170
1715.78/1720.77 c #Conflicts: 966000 | #Constraints: 52170
1715.78/1720.77 c #Conflicts: 967000 | #Constraints: 53170
1715.78/1720.77 c #Conflicts: 968000 | #Constraints: 54170
1715.78/1720.77 c #Conflicts: 969000 | #Constraints: 55170
1715.78/1720.77 c #Conflicts: 970000 | #Constraints: 56170
1715.78/1720.77 c #Conflicts: 971000 | #Constraints: 57170
1715.78/1720.77 c #Conflicts: 972000 | #Constraints: 58170
1715.78/1720.77 c #Conflicts: 973000 | #Constraints: 59170
1715.78/1720.77 c #Conflicts: 974000 | #Constraints: 60170
1715.78/1720.77 c #Conflicts: 975000 | #Constraints: 61170
1715.78/1720.77 c #Conflicts: 976000 | #Constraints: 62170
1715.78/1720.77 c #Conflicts: 977000 | #Constraints: 63170
1715.78/1720.77 c #Conflicts: 978000 | #Constraints: 64170
1715.78/1720.77 c #Conflicts: 979000 | #Constraints: 65170
1715.78/1720.77 c #Conflicts: 980000 | #Constraints: 66170
1715.78/1720.77 c #Conflicts: 981000 | #Constraints: 67170
1715.78/1720.77 c INPROCESSING
1715.78/1720.77 c GARBAGE COLLECT
1715.78/1720.77 c #Conflicts: 982000 | #Constraints: 48570
1715.78/1720.77 c #Conflicts: 983000 | #Constraints: 49570
1715.78/1720.77 c #Conflicts: 984000 | #Constraints: 50570
1715.78/1720.77 c #Conflicts: 985000 | #Constraints: 51570
1715.78/1720.77 c #Conflicts: 986000 | #Constraints: 52570
1715.78/1720.77 c #Conflicts: 987000 | #Constraints: 53570
1715.78/1720.77 c #Conflicts: 988000 | #Constraints: 54570
1715.78/1720.77 c #Conflicts: 989000 | #Constraints: 55570
1715.78/1720.77 c #Conflicts: 990000 | #Constraints: 56570
1715.78/1720.77 c #Conflicts: 991000 | #Constraints: 57570
1715.78/1720.77 c #Conflicts: 992000 | #Constraints: 58570
1715.78/1720.77 c #Conflicts: 993000 | #Constraints: 59570
1715.78/1720.77 c #Conflicts: 994000 | #Constraints: 60570
1715.78/1720.77 c #Conflicts: 995000 | #Constraints: 61570
1715.78/1720.77 c #Conflicts: 996000 | #Constraints: 62570
1715.78/1720.77 c #Conflicts: 997000 | #Constraints: 63570
1715.78/1720.77 c #Conflicts: 998000 | #Constraints: 64570
1715.78/1720.77 c #Conflicts: 999000 | #Constraints: 65570
1715.78/1720.77 c #Conflicts: 1000000 | #Constraints: 66570
1715.78/1720.77 c #Conflicts: 1001000 | #Constraints: 67570
1715.78/1720.77 c INPROCESSING
1715.78/1720.77 c GARBAGE COLLECT
1715.78/1720.77 c #Conflicts: 1002000 | #Constraints: 48773
1715.78/1720.77 c #Conflicts: 1003000 | #Constraints: 49773
1715.78/1720.77 c #Conflicts: 1004000 | #Constraints: 50773
1715.78/1720.77 c #Conflicts: 1005000 | #Constraints: 51773
1715.78/1720.77 c #Conflicts: 1006000 | #Constraints: 52773
1715.78/1720.77 c #Conflicts: 1007000 | #Constraints: 53773
1715.78/1720.77 c #Conflicts: 1008000 | #Constraints: 54773
1715.78/1720.77 c #Conflicts: 1009000 | #Constraints: 55773
1715.78/1720.77 c #Conflicts: 1010000 | #Constraints: 56773
1715.78/1720.77 c #Conflicts: 1011000 | #Constraints: 57773
1715.78/1720.77 c #Conflicts: 1012000 | #Constraints: 58773
1715.78/1720.77 c #Conflicts: 1013000 | #Constraints: 59773
1715.78/1720.77 c #Conflicts: 1014000 | #Constraints: 60773
1715.78/1720.77 c #Conflicts: 1015000 | #Constraints: 61773
1715.78/1720.77 c #Conflicts: 1016000 | #Constraints: 62773
1715.78/1720.77 c #Conflicts: 1017000 | #Constraints: 63773
1715.78/1720.77 c #Conflicts: 1018000 | #Constraints: 64773
1715.78/1720.77 c #Conflicts: 1019000 | #Constraints: 65773
1715.78/1720.77 c #Conflicts: 1020000 | #Constraints: 66773
1715.78/1720.77 c #Conflicts: 1021000 | #Constraints: 67773
1715.78/1720.77 c INPROCESSING
1715.78/1720.77 c GARBAGE COLLECT
1715.78/1720.77 c #Conflicts: 1022000 | #Constraints: 48773
1715.78/1720.77 c #Conflicts: 1023000 | #Constraints: 49773
1715.78/1720.77 c #Conflicts: 1024000 | #Constraints: 50773
1715.78/1720.77 c #Conflicts: 1025000 | #Constraints: 51773
1715.78/1720.77 c #Conflicts: 1026000 | #Constraints: 52773
1715.78/1720.77 c #Conflicts: 1027000 | #Constraints: 53773
1715.78/1720.77 c #Conflicts: 1028000 | #Constraints: 54773
1715.78/1720.77 c #Conflicts: 1029000 | #Constraints: 55773
1715.78/1720.77 c #Conflicts: 1030000 | #Constraints: 56773
1715.78/1720.77 c #Conflicts: 1031000 | #Constraints: 57773
1715.78/1720.77 c #Conflicts: 1032000 | #Constraints: 58773
1715.78/1720.77 c #Conflicts: 1033000 | #Constraints: 59773
1715.78/1720.77 c #Conflicts: 1034000 | #Constraints: 60773
1715.78/1720.77 c #Conflicts: 1035000 | #Constraints: 61773
1715.78/1720.77 c #Conflicts: 1036000 | #Constraints: 62773
1715.78/1720.77 c #Conflicts: 1037000 | #Constraints: 63773
1715.78/1720.77 c #Conflicts: 1038000 | #Constraints: 64773
1839.47/1844.71 c #Conflicts: 1039000 | #Constraints: 65773
1839.47/1844.71 c #Conflicts: 1040000 | #Constraints: 66773
1839.47/1844.71 c #Conflicts: 1041000 | #Constraints: 67773
1839.47/1844.71 c INPROCESSING
1839.47/1844.71 c GARBAGE COLLECT
1839.47/1844.71 c #Conflicts: 1042000 | #Constraints: 48571
1839.47/1844.71 c #Conflicts: 1043000 | #Constraints: 49571
1839.47/1844.71 c #Conflicts: 1044000 | #Constraints: 50571
1839.47/1844.71 c #Conflicts: 1045000 | #Constraints: 51571
1839.47/1844.71 c #Conflicts: 1046000 | #Constraints: 52571
1839.47/1844.71 c #Conflicts: 1047000 | #Constraints: 53571
1839.47/1844.71 c #Conflicts: 1048000 | #Constraints: 54571
1839.47/1844.71 c #Conflicts: 1049000 | #Constraints: 55571
1839.47/1844.71 c #Conflicts: 1050000 | #Constraints: 56571
1839.47/1844.71 c #Conflicts: 1051000 | #Constraints: 57571
1839.47/1844.71 c #Conflicts: 1052000 | #Constraints: 58571
1839.47/1844.71 c #Conflicts: 1053000 | #Constraints: 59571
1839.47/1844.71 c #Conflicts: 1054000 | #Constraints: 60571
1839.47/1844.71 c #Conflicts: 1055000 | #Constraints: 61571
1839.47/1844.71 c #Conflicts: 1056000 | #Constraints: 62571
1839.47/1844.71 c #Conflicts: 1057000 | #Constraints: 63571
1839.47/1844.71 c #Conflicts: 1058000 | #Constraints: 64571
1839.47/1844.71 c #Conflicts: 1059000 | #Constraints: 65571
1839.47/1844.71 c #Conflicts: 1060000 | #Constraints: 66571
1839.47/1844.71 c #Conflicts: 1061000 | #Constraints: 67571
1839.47/1844.71 c #Conflicts: 1062000 | #Constraints: 68571
1839.47/1844.71 c INPROCESSING
1839.47/1844.71 c GARBAGE COLLECT
1839.47/1844.71 c #Conflicts: 1063000 | #Constraints: 49173
1839.47/1844.71 c #Conflicts: 1064000 | #Constraints: 50173
1839.47/1844.71 c #Conflicts: 1065000 | #Constraints: 51173
1839.47/1844.71 c #Conflicts: 1066000 | #Constraints: 52173
1839.47/1844.71 c #Conflicts: 1067000 | #Constraints: 53173
1839.47/1844.71 c #Conflicts: 1068000 | #Constraints: 54173
1839.47/1844.71 c #Conflicts: 1069000 | #Constraints: 55173
1839.47/1844.71 c #Conflicts: 1070000 | #Constraints: 56173
1839.47/1844.71 c #Conflicts: 1071000 | #Constraints: 57173
1839.47/1844.71 c #Conflicts: 1072000 | #Constraints: 58173
1839.47/1844.71 c #Conflicts: 1073000 | #Constraints: 59173
1839.47/1844.71 c #Conflicts: 1074000 | #Constraints: 60173
1839.47/1844.71 c #Conflicts: 1075000 | #Constraints: 61173
1839.47/1844.71 c #Conflicts: 1076000 | #Constraints: 62173
1839.47/1844.71 c #Conflicts: 1077000 | #Constraints: 63173
1839.47/1844.71 c #Conflicts: 1078000 | #Constraints: 64173
1839.47/1844.71 c #Conflicts: 1079000 | #Constraints: 65173
1839.47/1844.71 c #Conflicts: 1080000 | #Constraints: 66173
1839.47/1844.71 c #Conflicts: 1081000 | #Constraints: 67173
1839.47/1844.71 c #Conflicts: 1082000 | #Constraints: 68173
1839.47/1844.71 c #Conflicts: 1083000 | #Constraints: 69173
1839.47/1844.71 c INPROCESSING
1839.47/1844.71 c GARBAGE COLLECT
1839.47/1844.71 c #Conflicts: 1084000 | #Constraints: 49571
1839.47/1844.71 c #Conflicts: 1085000 | #Constraints: 50571
1839.47/1844.71 c #Conflicts: 1086000 | #Constraints: 51571
1839.47/1844.71 c #Conflicts: 1087000 | #Constraints: 52571
1839.47/1844.71 c #Conflicts: 1088000 | #Constraints: 53571
1839.47/1844.71 c #Conflicts: 1089000 | #Constraints: 54571
1839.47/1844.71 c #Conflicts: 1090000 | #Constraints: 55571
1839.47/1844.71 c #Conflicts: 1091000 | #Constraints: 56571
1839.47/1844.71 c #Conflicts: 1092000 | #Constraints: 57571
1839.47/1844.71 c #Conflicts: 1093000 | #Constraints: 58571
1839.47/1844.71 c #Conflicts: 1094000 | #Constraints: 59571
1839.47/1844.71 c #Conflicts: 1095000 | #Constraints: 60571
1839.47/1844.71 c #Conflicts: 1096000 | #Constraints: 61571
1839.47/1844.71 c #Conflicts: 1097000 | #Constraints: 62571
1839.47/1844.71 c #Conflicts: 1098000 | #Constraints: 63571
1839.47/1844.71 c #Conflicts: 1099000 | #Constraints: 64571
1839.47/1844.71 c #Conflicts: 1100000 | #Constraints: 65571
1839.47/1844.71 c #Conflicts: 1101000 | #Constraints: 66571
1839.47/1844.71 c #Conflicts: 1102000 | #Constraints: 67571
1839.47/1844.71 c #Conflicts: 1103000 | #Constraints: 68571
1839.47/1844.71 c #Conflicts: 1104000 | #Constraints: 69571
1839.47/1844.71 c INPROCESSING
1839.47/1844.71 c GARBAGE COLLECT
1839.47/1844.71 c #Conflicts: 1105000 | #Constraints: 49770
1839.47/1844.71 c #Conflicts: 1106000 | #Constraints: 50770
1839.47/1844.71 c #Conflicts: 1107000 | #Constraints: 51770
1839.47/1844.71 c #Conflicts: 1108000 | #Constraints: 52770
1839.47/1844.71 c #Conflicts: 1109000 | #Constraints: 53770
1839.47/1844.71 c #Conflicts: 1110000 | #Constraints: 54770
1839.47/1844.71 c #Conflicts: 1111000 | #Constraints: 55770
1839.47/1844.71 c #Conflicts: 1112000 | #Constraints: 56770
1839.47/1844.71 c #Conflicts: 1113000 | #Constraints: 57770
1839.47/1844.71 c #Conflicts: 1114000 | #Constraints: 58770
1996.10/2001.75 c #Conflicts: 1115000 | #Constraints: 59770
1996.10/2001.75 c #Conflicts: 1116000 | #Constraints: 60770
1996.10/2001.75 c #Conflicts: 1117000 | #Constraints: 61770
1996.10/2001.75 c #Conflicts: 1118000 | #Constraints: 62770
1996.10/2001.75 c #Conflicts: 1119000 | #Constraints: 63770
1996.10/2001.75 c #Conflicts: 1120000 | #Constraints: 64770
1996.10/2001.75 c #Conflicts: 1121000 | #Constraints: 65770
1996.10/2001.75 c #Conflicts: 1122000 | #Constraints: 66770
1996.10/2001.75 c #Conflicts: 1123000 | #Constraints: 67770
1996.10/2001.75 c #Conflicts: 1124000 | #Constraints: 68770
1996.10/2001.75 c #Conflicts: 1125000 | #Constraints: 69770
1996.10/2001.75 c INPROCESSING
1996.10/2001.75 c GARBAGE COLLECT
1996.10/2001.75 c #Conflicts: 1126000 | #Constraints: 49766
1996.10/2001.75 c #Conflicts: 1127000 | #Constraints: 50766
1996.10/2001.75 c #Conflicts: 1128000 | #Constraints: 51766
1996.10/2001.75 c #Conflicts: 1129000 | #Constraints: 52766
1996.10/2001.75 c #Conflicts: 1130000 | #Constraints: 53766
1996.10/2001.75 c #Conflicts: 1131000 | #Constraints: 54766
1996.10/2001.75 c #Conflicts: 1132000 | #Constraints: 55766
1996.10/2001.75 c #Conflicts: 1133000 | #Constraints: 56766
1996.10/2001.75 c #Conflicts: 1134000 | #Constraints: 57766
1996.10/2001.75 c #Conflicts: 1135000 | #Constraints: 58766
1996.10/2001.75 c #Conflicts: 1136000 | #Constraints: 59766
1996.10/2001.75 c #Conflicts: 1137000 | #Constraints: 60766
1996.10/2001.75 c #Conflicts: 1138000 | #Constraints: 61766
1996.10/2001.75 c #Conflicts: 1139000 | #Constraints: 62766
1996.10/2001.75 c #Conflicts: 1140000 | #Constraints: 63766
1996.10/2001.75 c #Conflicts: 1141000 | #Constraints: 64766
1996.10/2001.75 c #Conflicts: 1142000 | #Constraints: 65766
1996.10/2001.75 c #Conflicts: 1143000 | #Constraints: 66766
1996.10/2001.75 c #Conflicts: 1144000 | #Constraints: 67766
1996.10/2001.75 c #Conflicts: 1145000 | #Constraints: 68766
1996.10/2001.75 c #Conflicts: 1146000 | #Constraints: 69766
1996.10/2001.75 c INPROCESSING
1996.10/2001.75 c GARBAGE COLLECT
1996.10/2001.75 c #Conflicts: 1147000 | #Constraints: 49564
1996.10/2001.75 c #Conflicts: 1148000 | #Constraints: 50564
1996.10/2001.75 c #Conflicts: 1149000 | #Constraints: 51564
1996.10/2001.75 c #Conflicts: 1150000 | #Constraints: 52564
1996.10/2001.75 c #Conflicts: 1151000 | #Constraints: 53564
1996.10/2001.75 c #Conflicts: 1152000 | #Constraints: 54564
1996.10/2001.75 c #Conflicts: 1153000 | #Constraints: 55564
1996.10/2001.75 c #Conflicts: 1154000 | #Constraints: 56564
1996.10/2001.75 c #Conflicts: 1155000 | #Constraints: 57564
1996.10/2001.75 c #Conflicts: 1156000 | #Constraints: 58564
1996.10/2001.75 c #Conflicts: 1157000 | #Constraints: 59564
1996.10/2001.75 c #Conflicts: 1158000 | #Constraints: 60564
1996.10/2001.75 c #Conflicts: 1159000 | #Constraints: 61564
1996.10/2001.75 c #Conflicts: 1160000 | #Constraints: 62564
1996.10/2001.75 c #Conflicts: 1161000 | #Constraints: 63564
1996.10/2001.75 c #Conflicts: 1162000 | #Constraints: 64564
1996.10/2001.75 c #Conflicts: 1163000 | #Constraints: 65564
1996.10/2001.75 c #Conflicts: 1164000 | #Constraints: 66564
1996.10/2001.75 c #Conflicts: 1165000 | #Constraints: 67564
1996.10/2001.75 c #Conflicts: 1166000 | #Constraints: 68564
1996.10/2001.75 c #Conflicts: 1167000 | #Constraints: 69564
1996.10/2001.75 c #Conflicts: 1168000 | #Constraints: 70564
1996.10/2001.75 c INPROCESSING
1996.10/2001.75 c GARBAGE COLLECT
1996.10/2001.75 c #Conflicts: 1169000 | #Constraints: 50163
1996.10/2001.75 c #Conflicts: 1170000 | #Constraints: 51163
1996.10/2001.75 c #Conflicts: 1171000 | #Constraints: 52163
1996.10/2001.75 c #Conflicts: 1172000 | #Constraints: 53163
1996.10/2001.75 c #Conflicts: 1173000 | #Constraints: 54163
1996.10/2001.75 c #Conflicts: 1174000 | #Constraints: 55163
1996.10/2001.75 c #Conflicts: 1175000 | #Constraints: 56163
1996.10/2001.75 c #Conflicts: 1176000 | #Constraints: 57163
1996.10/2001.75 c #Conflicts: 1177000 | #Constraints: 58163
1996.10/2001.75 c #Conflicts: 1178000 | #Constraints: 59163
1996.10/2001.75 c #Conflicts: 1179000 | #Constraints: 60163
1996.10/2001.75 c #Conflicts: 1180000 | #Constraints: 61163
1996.10/2001.75 c #Conflicts: 1181000 | #Constraints: 62163
1996.10/2001.75 c #Conflicts: 1182000 | #Constraints: 63163
1996.10/2001.75 c #Conflicts: 1183000 | #Constraints: 64163
1996.10/2001.75 c #Conflicts: 1184000 | #Constraints: 65163
1996.10/2001.75 c #Conflicts: 1185000 | #Constraints: 66163
1996.10/2001.75 c #Conflicts: 1186000 | #Constraints: 67163
1996.10/2001.75 c #Conflicts: 1187000 | #Constraints: 68163
1996.10/2001.75 c #Conflicts: 1188000 | #Constraints: 69163
1996.10/2001.75 c #Conflicts: 1189000 | #Constraints: 70163
1996.10/2001.75 c #Conflicts: 1190000 | #Constraints: 71163
1996.10/2001.75 c INPROCESSING
1996.10/2001.75 c GARBAGE COLLECT
2154.22/2160.21 c #Conflicts: 1191000 | #Constraints: 50561
2154.22/2160.21 c #Conflicts: 1192000 | #Constraints: 51561
2154.22/2160.21 c #Conflicts: 1193000 | #Constraints: 52561
2154.22/2160.21 c #Conflicts: 1194000 | #Constraints: 53561
2154.22/2160.21 c #Conflicts: 1195000 | #Constraints: 54561
2154.22/2160.21 c #Conflicts: 1196000 | #Constraints: 55561
2154.22/2160.21 c #Conflicts: 1197000 | #Constraints: 56561
2154.22/2160.21 c #Conflicts: 1198000 | #Constraints: 57561
2154.22/2160.21 c #Conflicts: 1199000 | #Constraints: 58561
2154.22/2160.21 c #Conflicts: 1200000 | #Constraints: 59561
2154.22/2160.21 c #Conflicts: 1201000 | #Constraints: 60561
2154.22/2160.21 c #Conflicts: 1202000 | #Constraints: 61561
2154.22/2160.21 c #Conflicts: 1203000 | #Constraints: 62561
2154.22/2160.21 c #Conflicts: 1204000 | #Constraints: 63561
2154.22/2160.21 c #Conflicts: 1205000 | #Constraints: 64561
2154.22/2160.21 c #Conflicts: 1206000 | #Constraints: 65561
2154.22/2160.21 c #Conflicts: 1207000 | #Constraints: 66561
2154.22/2160.21 c #Conflicts: 1208000 | #Constraints: 67561
2154.22/2160.21 c #Conflicts: 1209000 | #Constraints: 68561
2154.22/2160.21 c #Conflicts: 1210000 | #Constraints: 69561
2154.22/2160.21 c #Conflicts: 1211000 | #Constraints: 70561
2154.22/2160.21 c #Conflicts: 1212000 | #Constraints: 71561
2154.22/2160.21 c INPROCESSING
2154.22/2160.21 c GARBAGE COLLECT
2154.22/2160.21 c #Conflicts: 1213000 | #Constraints: 50763
2154.22/2160.21 c #Conflicts: 1214000 | #Constraints: 51763
2154.22/2160.21 c #Conflicts: 1215000 | #Constraints: 52763
2154.22/2160.21 c #Conflicts: 1216000 | #Constraints: 53763
2154.22/2160.21 c #Conflicts: 1217000 | #Constraints: 54763
2154.22/2160.21 c #Conflicts: 1218000 | #Constraints: 55763
2154.22/2160.21 c #Conflicts: 1219000 | #Constraints: 56763
2154.22/2160.21 c #Conflicts: 1220000 | #Constraints: 57763
2154.22/2160.21 c #Conflicts: 1221000 | #Constraints: 58763
2154.22/2160.21 c #Conflicts: 1222000 | #Constraints: 59763
2154.22/2160.21 c #Conflicts: 1223000 | #Constraints: 60763
2154.22/2160.21 c #Conflicts: 1224000 | #Constraints: 61763
2154.22/2160.21 c #Conflicts: 1225000 | #Constraints: 62763
2154.22/2160.21 c #Conflicts: 1226000 | #Constraints: 63763
2154.22/2160.21 c #Conflicts: 1227000 | #Constraints: 64763
2154.22/2160.21 c #Conflicts: 1228000 | #Constraints: 65763
2154.22/2160.21 c #Conflicts: 1229000 | #Constraints: 66763
2154.22/2160.21 c #Conflicts: 1230000 | #Constraints: 67763
2154.22/2160.21 c #Conflicts: 1231000 | #Constraints: 68763
2154.22/2160.21 c #Conflicts: 1232000 | #Constraints: 69763
2154.22/2160.21 c #Conflicts: 1233000 | #Constraints: 70763
2154.22/2160.21 c #Conflicts: 1234000 | #Constraints: 71763
2154.22/2160.21 c INPROCESSING
2154.22/2160.21 c GARBAGE COLLECT
2154.22/2160.21 c #Conflicts: 1235000 | #Constraints: 50767
2154.22/2160.21 c #Conflicts: 1236000 | #Constraints: 51767
2154.22/2160.21 c #Conflicts: 1237000 | #Constraints: 52767
2154.22/2160.21 c #Conflicts: 1238000 | #Constraints: 53767
2154.22/2160.21 c #Conflicts: 1239000 | #Constraints: 54767
2154.22/2160.21 c #Conflicts: 1240000 | #Constraints: 55767
2154.22/2160.21 c #Conflicts: 1241000 | #Constraints: 56767
2154.22/2160.21 c #Conflicts: 1242000 | #Constraints: 57767
2154.22/2160.21 c #Conflicts: 1243000 | #Constraints: 58767
2154.22/2160.21 c #Conflicts: 1244000 | #Constraints: 59767
2154.22/2160.21 c #Conflicts: 1245000 | #Constraints: 60767
2154.22/2160.21 c #Conflicts: 1246000 | #Constraints: 61767
2154.22/2160.21 c #Conflicts: 1247000 | #Constraints: 62767
2154.22/2160.21 c #Conflicts: 1248000 | #Constraints: 63767
2154.22/2160.21 c #Conflicts: 1249000 | #Constraints: 64767
2154.22/2160.21 c #Conflicts: 1250000 | #Constraints: 65767
2154.22/2160.21 c #Conflicts: 1251000 | #Constraints: 66767
2154.22/2160.21 c #Conflicts: 1252000 | #Constraints: 67767
2154.22/2160.21 c #Conflicts: 1253000 | #Constraints: 68767
2154.22/2160.21 c #Conflicts: 1254000 | #Constraints: 69767
2154.22/2160.21 c #Conflicts: 1255000 | #Constraints: 70767
2154.22/2160.21 c #Conflicts: 1256000 | #Constraints: 71767
2154.22/2160.21 c INPROCESSING
2154.22/2160.21 c GARBAGE COLLECT
2154.22/2160.21 c #Conflicts: 1257000 | #Constraints: 50568
2154.22/2160.21 c #Conflicts: 1258000 | #Constraints: 51568
2154.22/2160.21 c #Conflicts: 1259000 | #Constraints: 52568
2154.22/2160.21 c #Conflicts: 1260000 | #Constraints: 53568
2154.22/2160.21 c #Conflicts: 1261000 | #Constraints: 54568
2154.22/2160.21 c #Conflicts: 1262000 | #Constraints: 55568
2154.22/2160.21 c #Conflicts: 1263000 | #Constraints: 56568
2154.22/2160.21 c #Conflicts: 1264000 | #Constraints: 57568
2154.22/2160.21 c #Conflicts: 1265000 | #Constraints: 58568
2154.22/2160.21 c #Conflicts: 1266000 | #Constraints: 59568
2154.22/2160.21 c #Conflicts: 1267000 | #Constraints: 60568
2310.04/2316.49 c #Conflicts: 1268000 | #Constraints: 61568
2310.04/2316.49 c #Conflicts: 1269000 | #Constraints: 62568
2310.04/2316.49 c #Conflicts: 1270000 | #Constraints: 63568
2310.04/2316.49 c #Conflicts: 1271000 | #Constraints: 64568
2310.04/2316.49 c #Conflicts: 1272000 | #Constraints: 65568
2310.04/2316.49 c #Conflicts: 1273000 | #Constraints: 66568
2310.04/2316.49 c #Conflicts: 1274000 | #Constraints: 67568
2310.04/2316.49 c #Conflicts: 1275000 | #Constraints: 68568
2310.04/2316.49 c #Conflicts: 1276000 | #Constraints: 69568
2310.04/2316.49 c #Conflicts: 1277000 | #Constraints: 70568
2310.04/2316.49 c #Conflicts: 1278000 | #Constraints: 71568
2310.04/2316.49 c #Conflicts: 1279000 | #Constraints: 72568
2310.04/2316.49 c INPROCESSING
2310.04/2316.49 c GARBAGE COLLECT
2310.04/2316.49 c #Conflicts: 1280000 | #Constraints: 51167
2310.04/2316.49 c #Conflicts: 1281000 | #Constraints: 52167
2310.04/2316.49 c #Conflicts: 1282000 | #Constraints: 53167
2310.04/2316.49 c #Conflicts: 1283000 | #Constraints: 54167
2310.04/2316.49 c #Conflicts: 1284000 | #Constraints: 55167
2310.04/2316.49 c #Conflicts: 1285000 | #Constraints: 56167
2310.04/2316.49 c #Conflicts: 1286000 | #Constraints: 57167
2310.04/2316.49 c #Conflicts: 1287000 | #Constraints: 58167
2310.04/2316.49 c #Conflicts: 1288000 | #Constraints: 59167
2310.04/2316.49 c #Conflicts: 1289000 | #Constraints: 60167
2310.04/2316.49 c #Conflicts: 1290000 | #Constraints: 61167
2310.04/2316.49 c #Conflicts: 1291000 | #Constraints: 62167
2310.04/2316.49 c #Conflicts: 1292000 | #Constraints: 63167
2310.04/2316.49 c #Conflicts: 1293000 | #Constraints: 64167
2310.04/2316.49 c #Conflicts: 1294000 | #Constraints: 65167
2310.04/2316.49 c #Conflicts: 1295000 | #Constraints: 66167
2310.04/2316.49 c #Conflicts: 1296000 | #Constraints: 67167
2310.04/2316.49 c #Conflicts: 1297000 | #Constraints: 68167
2310.04/2316.49 c #Conflicts: 1298000 | #Constraints: 69167
2310.04/2316.49 c #Conflicts: 1299000 | #Constraints: 70167
2310.04/2316.49 c #Conflicts: 1300000 | #Constraints: 71167
2310.04/2316.49 c #Conflicts: 1301000 | #Constraints: 72167
2310.04/2316.49 c #Conflicts: 1302000 | #Constraints: 73167
2310.04/2316.49 c INPROCESSING
2310.04/2316.49 c GARBAGE COLLECT
2310.04/2316.49 c #Conflicts: 1303000 | #Constraints: 51567
2310.04/2316.49 c #Conflicts: 1304000 | #Constraints: 52567
2310.04/2316.49 c #Conflicts: 1305000 | #Constraints: 53567
2310.04/2316.49 c #Conflicts: 1306000 | #Constraints: 54567
2310.04/2316.49 c #Conflicts: 1307000 | #Constraints: 55567
2310.04/2316.49 c #Conflicts: 1308000 | #Constraints: 56567
2310.04/2316.49 c #Conflicts: 1309000 | #Constraints: 57567
2310.04/2316.49 c #Conflicts: 1310000 | #Constraints: 58567
2310.04/2316.49 c #Conflicts: 1311000 | #Constraints: 59567
2310.04/2316.49 c #Conflicts: 1312000 | #Constraints: 60567
2310.04/2316.49 c #Conflicts: 1313000 | #Constraints: 61567
2310.04/2316.49 c #Conflicts: 1314000 | #Constraints: 62567
2310.04/2316.49 c #Conflicts: 1315000 | #Constraints: 63567
2310.04/2316.49 c #Conflicts: 1316000 | #Constraints: 64567
2310.04/2316.49 c #Conflicts: 1317000 | #Constraints: 65567
2310.04/2316.49 c #Conflicts: 1318000 | #Constraints: 66567
2310.04/2316.49 c #Conflicts: 1319000 | #Constraints: 67567
2310.04/2316.49 c #Conflicts: 1320000 | #Constraints: 68567
2310.04/2316.49 c #Conflicts: 1321000 | #Constraints: 69567
2310.04/2316.49 c #Conflicts: 1322000 | #Constraints: 70567
2310.04/2316.49 c #Conflicts: 1323000 | #Constraints: 71567
2310.04/2316.49 c #Conflicts: 1324000 | #Constraints: 72567
2310.04/2316.49 c #Conflicts: 1325000 | #Constraints: 73567
2310.04/2316.49 c INPROCESSING
2310.04/2316.49 c GARBAGE COLLECT
2310.04/2316.49 c #Conflicts: 1326000 | #Constraints: 51767
2310.04/2316.49 c #Conflicts: 1327000 | #Constraints: 52767
2310.04/2316.49 c #Conflicts: 1328000 | #Constraints: 53767
2310.04/2316.49 c #Conflicts: 1329000 | #Constraints: 54767
2310.04/2316.49 c #Conflicts: 1330000 | #Constraints: 55767
2310.04/2316.49 c #Conflicts: 1331000 | #Constraints: 56767
2310.04/2316.49 c #Conflicts: 1332000 | #Constraints: 57767
2310.04/2316.49 c #Conflicts: 1333000 | #Constraints: 58767
2310.04/2316.49 c #Conflicts: 1334000 | #Constraints: 59767
2310.04/2316.49 c #Conflicts: 1335000 | #Constraints: 60767
2310.04/2316.49 c #Conflicts: 1336000 | #Constraints: 61767
2310.04/2316.49 c #Conflicts: 1337000 | #Constraints: 62767
2310.04/2316.49 c #Conflicts: 1338000 | #Constraints: 63767
2310.04/2316.49 c #Conflicts: 1339000 | #Constraints: 64767
2310.04/2316.49 c #Conflicts: 1340000 | #Constraints: 65767
2310.04/2316.49 c #Conflicts: 1341000 | #Constraints: 66767
2310.04/2316.49 c #Conflicts: 1342000 | #Constraints: 67767
2310.04/2316.49 c #Conflicts: 1343000 | #Constraints: 68767
2310.04/2316.49 c #Conflicts: 1344000 | #Constraints: 69767
2474.85/2481.67 c #Conflicts: 1345000 | #Constraints: 70767
2474.85/2481.67 c #Conflicts: 1346000 | #Constraints: 71767
2474.85/2481.67 c #Conflicts: 1347000 | #Constraints: 72767
2474.85/2481.67 c #Conflicts: 1348000 | #Constraints: 73767
2474.85/2481.67 c INPROCESSING
2474.85/2481.67 c GARBAGE COLLECT
2474.85/2481.67 c #Conflicts: 1349000 | #Constraints: 51768
2474.85/2481.67 c #Conflicts: 1350000 | #Constraints: 52768
2474.85/2481.67 c #Conflicts: 1351000 | #Constraints: 53768
2474.85/2481.67 c #Conflicts: 1352000 | #Constraints: 54768
2474.85/2481.67 c #Conflicts: 1353000 | #Constraints: 55768
2474.85/2481.67 c #Conflicts: 1354000 | #Constraints: 56768
2474.85/2481.67 c #Conflicts: 1355000 | #Constraints: 57768
2474.85/2481.67 c #Conflicts: 1356000 | #Constraints: 58768
2474.85/2481.67 c #Conflicts: 1357000 | #Constraints: 59768
2474.85/2481.67 c #Conflicts: 1358000 | #Constraints: 60768
2474.85/2481.67 c #Conflicts: 1359000 | #Constraints: 61768
2474.85/2481.67 c #Conflicts: 1360000 | #Constraints: 62768
2474.85/2481.67 c #Conflicts: 1361000 | #Constraints: 63768
2474.85/2481.67 c #Conflicts: 1362000 | #Constraints: 64768
2474.85/2481.67 c #Conflicts: 1363000 | #Constraints: 65768
2474.85/2481.67 c #Conflicts: 1364000 | #Constraints: 66768
2474.85/2481.67 c #Conflicts: 1365000 | #Constraints: 67768
2474.85/2481.67 c #Conflicts: 1366000 | #Constraints: 68768
2474.85/2481.67 c #Conflicts: 1367000 | #Constraints: 69768
2474.85/2481.67 c #Conflicts: 1368000 | #Constraints: 70768
2474.85/2481.67 c #Conflicts: 1369000 | #Constraints: 71768
2474.85/2481.67 c #Conflicts: 1370000 | #Constraints: 72768
2474.85/2481.67 c #Conflicts: 1371000 | #Constraints: 73768
2474.85/2481.67 c INPROCESSING
2474.85/2481.67 c GARBAGE COLLECT
2474.85/2481.67 c #Conflicts: 1372000 | #Constraints: 51565
2474.85/2481.67 c #Conflicts: 1373000 | #Constraints: 52565
2474.85/2481.67 c #Conflicts: 1374000 | #Constraints: 53565
2474.85/2481.67 c #Conflicts: 1375000 | #Constraints: 54565
2474.85/2481.67 c #Conflicts: 1376000 | #Constraints: 55565
2474.85/2481.67 c #Conflicts: 1377000 | #Constraints: 56565
2474.85/2481.67 c #Conflicts: 1378000 | #Constraints: 57565
2474.85/2481.67 c #Conflicts: 1379000 | #Constraints: 58565
2474.85/2481.67 c #Conflicts: 1380000 | #Constraints: 59565
2474.85/2481.67 c #Conflicts: 1381000 | #Constraints: 60565
2474.85/2481.67 c #Conflicts: 1382000 | #Constraints: 61565
2474.85/2481.67 c #Conflicts: 1383000 | #Constraints: 62565
2474.85/2481.67 c #Conflicts: 1384000 | #Constraints: 63565
2474.85/2481.67 c #Conflicts: 1385000 | #Constraints: 64565
2474.85/2481.67 c #Conflicts: 1386000 | #Constraints: 65565
2474.85/2481.67 c #Conflicts: 1387000 | #Constraints: 66565
2474.85/2481.67 c #Conflicts: 1388000 | #Constraints: 67565
2474.85/2481.67 c #Conflicts: 1389000 | #Constraints: 68565
2474.85/2481.67 c #Conflicts: 1390000 | #Constraints: 69565
2474.85/2481.67 c #Conflicts: 1391000 | #Constraints: 70565
2474.85/2481.67 c #Conflicts: 1392000 | #Constraints: 71565
2474.85/2481.67 c #Conflicts: 1393000 | #Constraints: 72565
2474.85/2481.67 c #Conflicts: 1394000 | #Constraints: 73565
2474.85/2481.67 c #Conflicts: 1395000 | #Constraints: 74565
2474.85/2481.67 c INPROCESSING
2474.85/2481.67 c GARBAGE COLLECT
2474.85/2481.67 c #Conflicts: 1396000 | #Constraints: 52167
2474.85/2481.67 c #Conflicts: 1397000 | #Constraints: 53167
2474.85/2481.67 c #Conflicts: 1398000 | #Constraints: 54167
2474.85/2481.67 c #Conflicts: 1399000 | #Constraints: 55167
2474.85/2481.67 c #Conflicts: 1400000 | #Constraints: 56167
2474.85/2481.67 c #Conflicts: 1401000 | #Constraints: 57167
2474.85/2481.67 c #Conflicts: 1402000 | #Constraints: 58167
2474.85/2481.67 c #Conflicts: 1403000 | #Constraints: 59167
2474.85/2481.67 c #Conflicts: 1404000 | #Constraints: 60167
2474.85/2481.67 c #Conflicts: 1405000 | #Constraints: 61167
2474.85/2481.67 c #Conflicts: 1406000 | #Constraints: 62167
2474.85/2481.67 c #Conflicts: 1407000 | #Constraints: 63167
2474.85/2481.67 c #Conflicts: 1408000 | #Constraints: 64167
2474.85/2481.67 c #Conflicts: 1409000 | #Constraints: 65167
2474.85/2481.67 c #Conflicts: 1410000 | #Constraints: 66167
2474.85/2481.67 c #Conflicts: 1411000 | #Constraints: 67167
2474.85/2481.67 c #Conflicts: 1412000 | #Constraints: 68167
2474.85/2481.67 c #Conflicts: 1413000 | #Constraints: 69167
2474.85/2481.67 c #Conflicts: 1414000 | #Constraints: 70167
2474.85/2481.67 c #Conflicts: 1415000 | #Constraints: 71167
2474.85/2481.67 c #Conflicts: 1416000 | #Constraints: 72167
2474.85/2481.67 c #Conflicts: 1417000 | #Constraints: 73167
2474.85/2481.67 c #Conflicts: 1418000 | #Constraints: 74167
2474.85/2481.67 c #Conflicts: 1419000 | #Constraints: 75167
2474.85/2481.67 c INPROCESSING
2474.85/2481.67 c GARBAGE COLLECT
2474.85/2481.67 c #Conflicts: 1420000 | #Constraints: 52567
2648.84/2656.04 c #Conflicts: 1421000 | #Constraints: 53567
2648.84/2656.04 c #Conflicts: 1422000 | #Constraints: 54567
2648.84/2656.04 c #Conflicts: 1423000 | #Constraints: 55567
2648.84/2656.04 c #Conflicts: 1424000 | #Constraints: 56567
2648.84/2656.04 c #Conflicts: 1425000 | #Constraints: 57567
2648.84/2656.04 c #Conflicts: 1426000 | #Constraints: 58567
2648.84/2656.04 c #Conflicts: 1427000 | #Constraints: 59567
2648.84/2656.04 c #Conflicts: 1428000 | #Constraints: 60567
2648.84/2656.04 c #Conflicts: 1429000 | #Constraints: 61567
2648.84/2656.04 c #Conflicts: 1430000 | #Constraints: 62567
2648.84/2656.04 c #Conflicts: 1431000 | #Constraints: 63567
2648.84/2656.04 c #Conflicts: 1432000 | #Constraints: 64567
2648.84/2656.04 c #Conflicts: 1433000 | #Constraints: 65567
2648.84/2656.04 c #Conflicts: 1434000 | #Constraints: 66567
2648.84/2656.04 c #Conflicts: 1435000 | #Constraints: 67567
2648.84/2656.04 c #Conflicts: 1436000 | #Constraints: 68567
2648.84/2656.04 c #Conflicts: 1437000 | #Constraints: 69567
2648.84/2656.04 c #Conflicts: 1438000 | #Constraints: 70567
2648.84/2656.04 c #Conflicts: 1439000 | #Constraints: 71567
2648.84/2656.04 c #Conflicts: 1440000 | #Constraints: 72567
2648.84/2656.04 c #Conflicts: 1441000 | #Constraints: 73567
2648.84/2656.04 c #Conflicts: 1442000 | #Constraints: 74567
2648.84/2656.04 c #Conflicts: 1443000 | #Constraints: 75567
2648.84/2656.04 c INPROCESSING
2648.84/2656.04 c GARBAGE COLLECT
2648.84/2656.04 c #Conflicts: 1444000 | #Constraints: 52767
2648.84/2656.04 c #Conflicts: 1445000 | #Constraints: 53767
2648.84/2656.04 c #Conflicts: 1446000 | #Constraints: 54767
2648.84/2656.04 c #Conflicts: 1447000 | #Constraints: 55767
2648.84/2656.04 c #Conflicts: 1448000 | #Constraints: 56767
2648.84/2656.04 c #Conflicts: 1449000 | #Constraints: 57767
2648.84/2656.04 c #Conflicts: 1450000 | #Constraints: 58767
2648.84/2656.04 c #Conflicts: 1451000 | #Constraints: 59767
2648.84/2656.04 c #Conflicts: 1452000 | #Constraints: 60767
2648.84/2656.04 c #Conflicts: 1453000 | #Constraints: 61767
2648.84/2656.04 c #Conflicts: 1454000 | #Constraints: 62767
2648.84/2656.04 c #Conflicts: 1455000 | #Constraints: 63767
2648.84/2656.04 c #Conflicts: 1456000 | #Constraints: 64767
2648.84/2656.04 c #Conflicts: 1457000 | #Constraints: 65767
2648.84/2656.04 c #Conflicts: 1458000 | #Constraints: 66767
2648.84/2656.04 c #Conflicts: 1459000 | #Constraints: 67767
2648.84/2656.04 c #Conflicts: 1460000 | #Constraints: 68767
2648.84/2656.04 c #Conflicts: 1461000 | #Constraints: 69767
2648.84/2656.04 c #Conflicts: 1462000 | #Constraints: 70767
2648.84/2656.04 c #Conflicts: 1463000 | #Constraints: 71767
2648.84/2656.04 c #Conflicts: 1464000 | #Constraints: 72767
2648.84/2656.04 c #Conflicts: 1465000 | #Constraints: 73767
2648.84/2656.04 c #Conflicts: 1466000 | #Constraints: 74767
2648.84/2656.04 c #Conflicts: 1467000 | #Constraints: 75767
2648.84/2656.04 c INPROCESSING
2648.84/2656.04 c GARBAGE COLLECT
2648.84/2656.04 c #Conflicts: 1468000 | #Constraints: 52768
2648.84/2656.04 c #Conflicts: 1469000 | #Constraints: 53768
2648.84/2656.04 c #Conflicts: 1470000 | #Constraints: 54768
2648.84/2656.04 c #Conflicts: 1471000 | #Constraints: 55768
2648.84/2656.04 c #Conflicts: 1472000 | #Constraints: 56768
2648.84/2656.04 c #Conflicts: 1473000 | #Constraints: 57768
2648.84/2656.04 c #Conflicts: 1474000 | #Constraints: 58768
2648.84/2656.04 c #Conflicts: 1475000 | #Constraints: 59768
2648.84/2656.04 c #Conflicts: 1476000 | #Constraints: 60768
2648.84/2656.04 c #Conflicts: 1477000 | #Constraints: 61768
2648.84/2656.04 c #Conflicts: 1478000 | #Constraints: 62768
2648.84/2656.04 c #Conflicts: 1479000 | #Constraints: 63768
2648.84/2656.04 c #Conflicts: 1480000 | #Constraints: 64768
2648.84/2656.04 c #Conflicts: 1481000 | #Constraints: 65768
2648.84/2656.04 c #Conflicts: 1482000 | #Constraints: 66768
2648.84/2656.04 c #Conflicts: 1483000 | #Constraints: 67768
2648.84/2656.04 c #Conflicts: 1484000 | #Constraints: 68768
2648.84/2656.04 c #Conflicts: 1485000 | #Constraints: 69768
2648.84/2656.04 c #Conflicts: 1486000 | #Constraints: 70768
2648.84/2656.04 c #Conflicts: 1487000 | #Constraints: 71768
2648.84/2656.04 c #Conflicts: 1488000 | #Constraints: 72768
2648.84/2656.04 c #Conflicts: 1489000 | #Constraints: 73768
2648.84/2656.04 c #Conflicts: 1490000 | #Constraints: 74768
2648.84/2656.04 c #Conflicts: 1491000 | #Constraints: 75768
2648.84/2656.04 c INPROCESSING
2648.84/2656.04 c GARBAGE COLLECT
2648.84/2656.04 c #Conflicts: 1492000 | #Constraints: 52566
2648.84/2656.04 c #Conflicts: 1493000 | #Constraints: 53566
2648.84/2656.04 c #Conflicts: 1494000 | #Constraints: 54566
2648.84/2656.04 c #Conflicts: 1495000 | #Constraints: 55566
2648.84/2656.04 c #Conflicts: 1496000 | #Constraints: 56566
2648.84/2656.04 c #Conflicts: 1497000 | #Constraints: 57566
2825.81/2833.44 c #Conflicts: 1498000 | #Constraints: 58566
2825.81/2833.44 c #Conflicts: 1499000 | #Constraints: 59566
2825.81/2833.44 c #Conflicts: 1500000 | #Constraints: 60566
2825.81/2833.44 c #Conflicts: 1501000 | #Constraints: 61566
2825.81/2833.44 c #Conflicts: 1502000 | #Constraints: 62566
2825.81/2833.44 c #Conflicts: 1503000 | #Constraints: 63566
2825.81/2833.44 c #Conflicts: 1504000 | #Constraints: 64566
2825.81/2833.44 c #Conflicts: 1505000 | #Constraints: 65566
2825.81/2833.44 c #Conflicts: 1506000 | #Constraints: 66566
2825.81/2833.44 c #Conflicts: 1507000 | #Constraints: 67566
2825.81/2833.44 c #Conflicts: 1508000 | #Constraints: 68566
2825.81/2833.44 c #Conflicts: 1509000 | #Constraints: 69566
2825.81/2833.44 c #Conflicts: 1510000 | #Constraints: 70566
2825.81/2833.44 c #Conflicts: 1511000 | #Constraints: 71566
2825.81/2833.44 c #Conflicts: 1512000 | #Constraints: 72566
2825.81/2833.44 c #Conflicts: 1513000 | #Constraints: 73566
2825.81/2833.44 c #Conflicts: 1514000 | #Constraints: 74566
2825.81/2833.44 c #Conflicts: 1515000 | #Constraints: 75566
2825.81/2833.44 c #Conflicts: 1516000 | #Constraints: 76566
2825.81/2833.44 c INPROCESSING
2825.81/2833.44 c GARBAGE COLLECT
2825.81/2833.44 c #Conflicts: 1517000 | #Constraints: 53162
2825.81/2833.44 c #Conflicts: 1518000 | #Constraints: 54162
2825.81/2833.44 c #Conflicts: 1519000 | #Constraints: 55162
2825.81/2833.44 c #Conflicts: 1520000 | #Constraints: 56162
2825.81/2833.44 c #Conflicts: 1521000 | #Constraints: 57162
2825.81/2833.44 c #Conflicts: 1522000 | #Constraints: 58162
2825.81/2833.44 c #Conflicts: 1523000 | #Constraints: 59162
2825.81/2833.44 c #Conflicts: 1524000 | #Constraints: 60162
2825.81/2833.44 c #Conflicts: 1525000 | #Constraints: 61162
2825.81/2833.44 c #Conflicts: 1526000 | #Constraints: 62162
2825.81/2833.44 c #Conflicts: 1527000 | #Constraints: 63162
2825.81/2833.44 c #Conflicts: 1528000 | #Constraints: 64162
2825.81/2833.44 c #Conflicts: 1529000 | #Constraints: 65162
2825.81/2833.44 c #Conflicts: 1530000 | #Constraints: 66162
2825.81/2833.44 c #Conflicts: 1531000 | #Constraints: 67162
2825.81/2833.44 c #Conflicts: 1532000 | #Constraints: 68162
2825.81/2833.44 c #Conflicts: 1533000 | #Constraints: 69162
2825.81/2833.44 c #Conflicts: 1534000 | #Constraints: 70162
2825.81/2833.44 c #Conflicts: 1535000 | #Constraints: 71162
2825.81/2833.44 c #Conflicts: 1536000 | #Constraints: 72162
2825.81/2833.44 c #Conflicts: 1537000 | #Constraints: 73162
2825.81/2833.44 c #Conflicts: 1538000 | #Constraints: 74162
2825.81/2833.44 c #Conflicts: 1539000 | #Constraints: 75162
2825.81/2833.44 c #Conflicts: 1540000 | #Constraints: 76162
2825.81/2833.44 c #Conflicts: 1541000 | #Constraints: 77162
2825.81/2833.44 c INPROCESSING
2825.81/2833.44 c GARBAGE COLLECT
2825.81/2833.44 c #Conflicts: 1542000 | #Constraints: 53562
2825.81/2833.44 c #Conflicts: 1543000 | #Constraints: 54562
2825.81/2833.44 c #Conflicts: 1544000 | #Constraints: 55562
2825.81/2833.44 c #Conflicts: 1545000 | #Constraints: 56562
2825.81/2833.44 c #Conflicts: 1546000 | #Constraints: 57562
2825.81/2833.44 c #Conflicts: 1547000 | #Constraints: 58562
2825.81/2833.44 c #Conflicts: 1548000 | #Constraints: 59562
2825.81/2833.44 c #Conflicts: 1549000 | #Constraints: 60562
2825.81/2833.44 c #Conflicts: 1550000 | #Constraints: 61562
2825.81/2833.44 c #Conflicts: 1551000 | #Constraints: 62562
2825.81/2833.44 c #Conflicts: 1552000 | #Constraints: 63562
2825.81/2833.44 c #Conflicts: 1553000 | #Constraints: 64562
2825.81/2833.44 c #Conflicts: 1554000 | #Constraints: 65562
2825.81/2833.44 c #Conflicts: 1555000 | #Constraints: 66562
2825.81/2833.44 c #Conflicts: 1556000 | #Constraints: 67562
2825.81/2833.44 c #Conflicts: 1557000 | #Constraints: 68562
2825.81/2833.44 c #Conflicts: 1558000 | #Constraints: 69562
2825.81/2833.44 c #Conflicts: 1559000 | #Constraints: 70562
2825.81/2833.44 c #Conflicts: 1560000 | #Constraints: 71562
2825.81/2833.44 c #Conflicts: 1561000 | #Constraints: 72562
2825.81/2833.44 c #Conflicts: 1562000 | #Constraints: 73562
2825.81/2833.44 c #Conflicts: 1563000 | #Constraints: 74562
2825.81/2833.44 c #Conflicts: 1564000 | #Constraints: 75562
2825.81/2833.44 c #Conflicts: 1565000 | #Constraints: 76562
2825.81/2833.44 c #Conflicts: 1566000 | #Constraints: 77562
2825.81/2833.44 c INPROCESSING
2825.81/2833.44 c GARBAGE COLLECT
2825.81/2833.44 c #Conflicts: 1567000 | #Constraints: 53765
2825.81/2833.44 c #Conflicts: 1568000 | #Constraints: 54765
2825.81/2833.44 c #Conflicts: 1569000 | #Constraints: 55765
2825.81/2833.44 c #Conflicts: 1570000 | #Constraints: 56765
2825.81/2833.44 c #Conflicts: 1571000 | #Constraints: 57765
2825.81/2833.44 c #Conflicts: 1572000 | #Constraints: 58765
2825.81/2833.44 c #Conflicts: 1573000 | #Constraints: 59765
2825.81/2833.44 c #Conflicts: 1574000 | #Constraints: 60765
3006.48/3014.54 c #Conflicts: 1575000 | #Constraints: 61765
3006.48/3014.54 c #Conflicts: 1576000 | #Constraints: 62765
3006.48/3014.54 c #Conflicts: 1577000 | #Constraints: 63765
3006.48/3014.54 c #Conflicts: 1578000 | #Constraints: 64765
3006.48/3014.54 c #Conflicts: 1579000 | #Constraints: 65765
3006.48/3014.54 c #Conflicts: 1580000 | #Constraints: 66765
3006.48/3014.54 c #Conflicts: 1581000 | #Constraints: 67765
3006.48/3014.54 c #Conflicts: 1582000 | #Constraints: 68765
3006.48/3014.54 c #Conflicts: 1583000 | #Constraints: 69765
3006.48/3014.54 c #Conflicts: 1584000 | #Constraints: 70765
3006.48/3014.54 c #Conflicts: 1585000 | #Constraints: 71765
3006.48/3014.54 c #Conflicts: 1586000 | #Constraints: 72765
3006.48/3014.54 c #Conflicts: 1587000 | #Constraints: 73765
3006.48/3014.54 c #Conflicts: 1588000 | #Constraints: 74765
3006.48/3014.54 c #Conflicts: 1589000 | #Constraints: 75765
3006.48/3014.54 c #Conflicts: 1590000 | #Constraints: 76765
3006.48/3014.54 c #Conflicts: 1591000 | #Constraints: 77765
3006.48/3014.54 c INPROCESSING
3006.48/3014.54 c GARBAGE COLLECT
3006.48/3014.54 c #Conflicts: 1592000 | #Constraints: 53770
3006.48/3014.54 c #Conflicts: 1593000 | #Constraints: 54770
3006.48/3014.54 c #Conflicts: 1594000 | #Constraints: 55770
3006.48/3014.54 c #Conflicts: 1595000 | #Constraints: 56770
3006.48/3014.54 c #Conflicts: 1596000 | #Constraints: 57770
3006.48/3014.54 c #Conflicts: 1597000 | #Constraints: 58770
3006.48/3014.54 c #Conflicts: 1598000 | #Constraints: 59770
3006.48/3014.54 c #Conflicts: 1599000 | #Constraints: 60770
3006.48/3014.54 c #Conflicts: 1600000 | #Constraints: 61770
3006.48/3014.54 c #Conflicts: 1601000 | #Constraints: 62770
3006.48/3014.54 c #Conflicts: 1602000 | #Constraints: 63770
3006.48/3014.54 c #Conflicts: 1603000 | #Constraints: 64770
3006.48/3014.54 c #Conflicts: 1604000 | #Constraints: 65770
3006.48/3014.54 c #Conflicts: 1605000 | #Constraints: 66770
3006.48/3014.54 c #Conflicts: 1606000 | #Constraints: 67770
3006.48/3014.54 c #Conflicts: 1607000 | #Constraints: 68770
3006.48/3014.54 c #Conflicts: 1608000 | #Constraints: 69770
3006.48/3014.54 c #Conflicts: 1609000 | #Constraints: 70770
3006.48/3014.54 c #Conflicts: 1610000 | #Constraints: 71770
3006.48/3014.54 c #Conflicts: 1611000 | #Constraints: 72770
3006.48/3014.54 c #Conflicts: 1612000 | #Constraints: 73770
3006.48/3014.54 c #Conflicts: 1613000 | #Constraints: 74770
3006.48/3014.54 c #Conflicts: 1614000 | #Constraints: 75770
3006.48/3014.54 c #Conflicts: 1615000 | #Constraints: 76770
3006.48/3014.54 c #Conflicts: 1616000 | #Constraints: 77770
3006.48/3014.54 c INPROCESSING
3006.48/3014.54 c GARBAGE COLLECT
3006.48/3014.54 c #Conflicts: 1617000 | #Constraints: 53568
3006.48/3014.54 c #Conflicts: 1618000 | #Constraints: 54568
3006.48/3014.54 c #Conflicts: 1619000 | #Constraints: 55568
3006.48/3014.54 c #Conflicts: 1620000 | #Constraints: 56568
3006.48/3014.54 c #Conflicts: 1621000 | #Constraints: 57568
3006.48/3014.54 c #Conflicts: 1622000 | #Constraints: 58568
3006.48/3014.54 c #Conflicts: 1623000 | #Constraints: 59568
3006.48/3014.54 c #Conflicts: 1624000 | #Constraints: 60568
3006.48/3014.54 c #Conflicts: 1625000 | #Constraints: 61568
3006.48/3014.54 c #Conflicts: 1626000 | #Constraints: 62568
3006.48/3014.54 c #Conflicts: 1627000 | #Constraints: 63568
3006.48/3014.54 c #Conflicts: 1628000 | #Constraints: 64568
3006.48/3014.54 c #Conflicts: 1629000 | #Constraints: 65568
3006.48/3014.54 c #Conflicts: 1630000 | #Constraints: 66568
3006.48/3014.54 c #Conflicts: 1631000 | #Constraints: 67568
3006.48/3014.54 c #Conflicts: 1632000 | #Constraints: 68568
3006.48/3014.54 c #Conflicts: 1633000 | #Constraints: 69568
3006.48/3014.54 c #Conflicts: 1634000 | #Constraints: 70568
3006.48/3014.54 c #Conflicts: 1635000 | #Constraints: 71568
3006.48/3014.54 c #Conflicts: 1636000 | #Constraints: 72568
3006.48/3014.54 c #Conflicts: 1637000 | #Constraints: 73568
3006.48/3014.54 c #Conflicts: 1638000 | #Constraints: 74568
3006.48/3014.54 c #Conflicts: 1639000 | #Constraints: 75568
3006.48/3014.54 c #Conflicts: 1640000 | #Constraints: 76568
3006.48/3014.54 c #Conflicts: 1641000 | #Constraints: 77568
3006.48/3014.54 c #Conflicts: 1642000 | #Constraints: 78568
3006.48/3014.54 c INPROCESSING
3006.48/3014.54 c GARBAGE COLLECT
3006.48/3014.54 c #Conflicts: 1643000 | #Constraints: 54169
3006.48/3014.54 c #Conflicts: 1644000 | #Constraints: 55169
3006.48/3014.54 c #Conflicts: 1645000 | #Constraints: 56169
3006.48/3014.54 c #Conflicts: 1646000 | #Constraints: 57169
3006.48/3014.54 c #Conflicts: 1647000 | #Constraints: 58169
3006.48/3014.54 c #Conflicts: 1648000 | #Constraints: 59169
3006.48/3014.54 c #Conflicts: 1649000 | #Constraints: 60169
3006.48/3014.54 c #Conflicts: 1650000 | #Constraints: 61169
3006.48/3014.54 c #Conflicts: 1651000 | #Constraints: 62169
3201.01/3209.57 c #Conflicts: 1652000 | #Constraints: 63169
3201.01/3209.57 c #Conflicts: 1653000 | #Constraints: 64169
3201.01/3209.57 c #Conflicts: 1654000 | #Constraints: 65169
3201.01/3209.57 c #Conflicts: 1655000 | #Constraints: 66169
3201.01/3209.57 c #Conflicts: 1656000 | #Constraints: 67169
3201.01/3209.57 c #Conflicts: 1657000 | #Constraints: 68169
3201.01/3209.57 c #Conflicts: 1658000 | #Constraints: 69169
3201.01/3209.57 c #Conflicts: 1659000 | #Constraints: 70169
3201.01/3209.57 c #Conflicts: 1660000 | #Constraints: 71169
3201.01/3209.57 c #Conflicts: 1661000 | #Constraints: 72169
3201.01/3209.57 c #Conflicts: 1662000 | #Constraints: 73169
3201.01/3209.57 c #Conflicts: 1663000 | #Constraints: 74169
3201.01/3209.57 c #Conflicts: 1664000 | #Constraints: 75169
3201.01/3209.57 c #Conflicts: 1665000 | #Constraints: 76169
3201.01/3209.57 c #Conflicts: 1666000 | #Constraints: 77169
3201.01/3209.57 c #Conflicts: 1667000 | #Constraints: 78169
3201.01/3209.57 c #Conflicts: 1668000 | #Constraints: 79169
3201.01/3209.57 c INPROCESSING
3201.01/3209.57 c GARBAGE COLLECT
3201.01/3209.57 c #Conflicts: 1669000 | #Constraints: 54568
3201.01/3209.57 c #Conflicts: 1670000 | #Constraints: 55568
3201.01/3209.57 c #Conflicts: 1671000 | #Constraints: 56568
3201.01/3209.57 c #Conflicts: 1672000 | #Constraints: 57568
3201.01/3209.57 c #Conflicts: 1673000 | #Constraints: 58568
3201.01/3209.57 c #Conflicts: 1674000 | #Constraints: 59568
3201.01/3209.57 c #Conflicts: 1675000 | #Constraints: 60568
3201.01/3209.57 c #Conflicts: 1676000 | #Constraints: 61568
3201.01/3209.57 c #Conflicts: 1677000 | #Constraints: 62568
3201.01/3209.57 c #Conflicts: 1678000 | #Constraints: 63568
3201.01/3209.57 c #Conflicts: 1679000 | #Constraints: 64568
3201.01/3209.57 c #Conflicts: 1680000 | #Constraints: 65568
3201.01/3209.57 c #Conflicts: 1681000 | #Constraints: 66568
3201.01/3209.57 c #Conflicts: 1682000 | #Constraints: 67568
3201.01/3209.57 c #Conflicts: 1683000 | #Constraints: 68568
3201.01/3209.57 c #Conflicts: 1684000 | #Constraints: 69568
3201.01/3209.57 c #Conflicts: 1685000 | #Constraints: 70568
3201.01/3209.57 c #Conflicts: 1686000 | #Constraints: 71568
3201.01/3209.57 c #Conflicts: 1687000 | #Constraints: 72568
3201.01/3209.57 c #Conflicts: 1688000 | #Constraints: 73568
3201.01/3209.57 c #Conflicts: 1689000 | #Constraints: 74568
3201.01/3209.57 c #Conflicts: 1690000 | #Constraints: 75568
3201.01/3209.57 c #Conflicts: 1691000 | #Constraints: 76568
3201.01/3209.57 c #Conflicts: 1692000 | #Constraints: 77568
3201.01/3209.57 c #Conflicts: 1693000 | #Constraints: 78568
3201.01/3209.57 c #Conflicts: 1694000 | #Constraints: 79568
3201.01/3209.57 c INPROCESSING
3201.01/3209.57 c GARBAGE COLLECT
3201.01/3209.57 c #Conflicts: 1695000 | #Constraints: 54761
3201.01/3209.57 c #Conflicts: 1696000 | #Constraints: 55761
3201.01/3209.57 c #Conflicts: 1697000 | #Constraints: 56761
3201.01/3209.57 c #Conflicts: 1698000 | #Constraints: 57761
3201.01/3209.57 c #Conflicts: 1699000 | #Constraints: 58761
3201.01/3209.57 c #Conflicts: 1700000 | #Constraints: 59761
3201.01/3209.57 c #Conflicts: 1701000 | #Constraints: 60761
3201.01/3209.57 c #Conflicts: 1702000 | #Constraints: 61761
3201.01/3209.57 c #Conflicts: 1703000 | #Constraints: 62761
3201.01/3209.57 c #Conflicts: 1704000 | #Constraints: 63761
3201.01/3209.57 c #Conflicts: 1705000 | #Constraints: 64761
3201.01/3209.57 c #Conflicts: 1706000 | #Constraints: 65761
3201.01/3209.57 c #Conflicts: 1707000 | #Constraints: 66761
3201.01/3209.57 c #Conflicts: 1708000 | #Constraints: 67761
3201.01/3209.57 c #Conflicts: 1709000 | #Constraints: 68761
3201.01/3209.57 c #Conflicts: 1710000 | #Constraints: 69761
3201.01/3209.57 c #Conflicts: 1711000 | #Constraints: 70761
3201.01/3209.57 c #Conflicts: 1712000 | #Constraints: 71761
3201.01/3209.57 c #Conflicts: 1713000 | #Constraints: 72761
3201.01/3209.57 c #Conflicts: 1714000 | #Constraints: 73761
3201.01/3209.57 c #Conflicts: 1715000 | #Constraints: 74761
3201.01/3209.57 c #Conflicts: 1716000 | #Constraints: 75761
3201.01/3209.57 c #Conflicts: 1717000 | #Constraints: 76761
3201.01/3209.57 c #Conflicts: 1718000 | #Constraints: 77761
3201.01/3209.57 c #Conflicts: 1719000 | #Constraints: 78761
3201.01/3209.57 c #Conflicts: 1720000 | #Constraints: 79761
3201.01/3209.57 c INPROCESSING
3201.01/3209.57 c GARBAGE COLLECT
3201.01/3209.57 c #Conflicts: 1721000 | #Constraints: 54766
3201.01/3209.57 c #Conflicts: 1722000 | #Constraints: 55766
3201.01/3209.57 c #Conflicts: 1723000 | #Constraints: 56766
3201.01/3209.57 c #Conflicts: 1724000 | #Constraints: 57766
3201.01/3209.57 c #Conflicts: 1725000 | #Constraints: 58766
3201.01/3209.57 c #Conflicts: 1726000 | #Constraints: 59766
3201.01/3209.57 c #Conflicts: 1727000 | #Constraints: 60766
3201.01/3209.57 c #Conflicts: 1728000 | #Constraints: 61766
3384.27/3393.26 c #Conflicts: 1729000 | #Constraints: 62766
3384.27/3393.26 c #Conflicts: 1730000 | #Constraints: 63766
3384.27/3393.26 c #Conflicts: 1731000 | #Constraints: 64766
3384.27/3393.26 c #Conflicts: 1732000 | #Constraints: 65766
3384.27/3393.26 c #Conflicts: 1733000 | #Constraints: 66766
3384.27/3393.26 c #Conflicts: 1734000 | #Constraints: 67766
3384.27/3393.26 c #Conflicts: 1735000 | #Constraints: 68766
3384.27/3393.26 c #Conflicts: 1736000 | #Constraints: 69766
3384.27/3393.26 c #Conflicts: 1737000 | #Constraints: 70766
3384.27/3393.26 c #Conflicts: 1738000 | #Constraints: 71766
3384.27/3393.26 c #Conflicts: 1739000 | #Constraints: 72766
3384.27/3393.26 c #Conflicts: 1740000 | #Constraints: 73766
3384.27/3393.26 c #Conflicts: 1741000 | #Constraints: 74766
3384.27/3393.26 c #Conflicts: 1742000 | #Constraints: 75766
3384.27/3393.26 c #Conflicts: 1743000 | #Constraints: 76766
3384.27/3393.26 c #Conflicts: 1744000 | #Constraints: 77766
3384.27/3393.26 c #Conflicts: 1745000 | #Constraints: 78766
3384.27/3393.26 c #Conflicts: 1746000 | #Constraints: 79766
3384.27/3393.26 c INPROCESSING
3384.27/3393.26 c GARBAGE COLLECT
3384.27/3393.26 c #Conflicts: 1747000 | #Constraints: 54565
3384.27/3393.26 c #Conflicts: 1748000 | #Constraints: 55565
3384.27/3393.26 c #Conflicts: 1749000 | #Constraints: 56565
3384.27/3393.26 c #Conflicts: 1750000 | #Constraints: 57565
3384.27/3393.26 c #Conflicts: 1751000 | #Constraints: 58565
3384.27/3393.26 c #Conflicts: 1752000 | #Constraints: 59565
3384.27/3393.26 c #Conflicts: 1753000 | #Constraints: 60565
3384.27/3393.26 c #Conflicts: 1754000 | #Constraints: 61565
3384.27/3393.26 c #Conflicts: 1755000 | #Constraints: 62565
3384.27/3393.26 c #Conflicts: 1756000 | #Constraints: 63565
3384.27/3393.26 c #Conflicts: 1757000 | #Constraints: 64565
3384.27/3393.26 c #Conflicts: 1758000 | #Constraints: 65565
3384.27/3393.26 c #Conflicts: 1759000 | #Constraints: 66565
3384.27/3393.26 c #Conflicts: 1760000 | #Constraints: 67565
3384.27/3393.26 c #Conflicts: 1761000 | #Constraints: 68565
3384.27/3393.26 c #Conflicts: 1762000 | #Constraints: 69565
3384.27/3393.26 c #Conflicts: 1763000 | #Constraints: 70565
3384.27/3393.26 c #Conflicts: 1764000 | #Constraints: 71565
3384.27/3393.26 c #Conflicts: 1765000 | #Constraints: 72565
3384.27/3393.26 c #Conflicts: 1766000 | #Constraints: 73565
3384.27/3393.26 c #Conflicts: 1767000 | #Constraints: 74565
3384.27/3393.26 c #Conflicts: 1768000 | #Constraints: 75565
3384.27/3393.26 c #Conflicts: 1769000 | #Constraints: 76565
3384.27/3393.26 c #Conflicts: 1770000 | #Constraints: 77565
3384.27/3393.26 c #Conflicts: 1771000 | #Constraints: 78565
3384.27/3393.26 c #Conflicts: 1772000 | #Constraints: 79565
3384.27/3393.26 c #Conflicts: 1773000 | #Constraints: 80565
3384.27/3393.26 c INPROCESSING
3384.27/3393.26 c GARBAGE COLLECT
3384.27/3393.26 c #Conflicts: 1774000 | #Constraints: 55164
3384.27/3393.26 c #Conflicts: 1775000 | #Constraints: 56164
3384.27/3393.26 c #Conflicts: 1776000 | #Constraints: 57164
3384.27/3393.26 c #Conflicts: 1777000 | #Constraints: 58164
3384.27/3393.26 c #Conflicts: 1778000 | #Constraints: 59164
3384.27/3393.26 c #Conflicts: 1779000 | #Constraints: 60164
3384.27/3393.26 c #Conflicts: 1780000 | #Constraints: 61164
3384.27/3393.26 c #Conflicts: 1781000 | #Constraints: 62164
3384.27/3393.26 c #Conflicts: 1782000 | #Constraints: 63164
3384.27/3393.26 c #Conflicts: 1783000 | #Constraints: 64164
3384.27/3393.26 c #Conflicts: 1784000 | #Constraints: 65164
3384.27/3393.26 c #Conflicts: 1785000 | #Constraints: 66164
3384.27/3393.26 c #Conflicts: 1786000 | #Constraints: 67164
3384.27/3393.26 c #Conflicts: 1787000 | #Constraints: 68164
3384.27/3393.26 c #Conflicts: 1788000 | #Constraints: 69164
3384.27/3393.26 c #Conflicts: 1789000 | #Constraints: 70164
3384.27/3393.26 c #Conflicts: 1790000 | #Constraints: 71164
3384.27/3393.26 c #Conflicts: 1791000 | #Constraints: 72164
3384.27/3393.26 c #Conflicts: 1792000 | #Constraints: 73164
3384.27/3393.26 c #Conflicts: 1793000 | #Constraints: 74164
3384.27/3393.26 c #Conflicts: 1794000 | #Constraints: 75164
3384.27/3393.26 c #Conflicts: 1795000 | #Constraints: 76164
3384.27/3393.26 c #Conflicts: 1796000 | #Constraints: 77164
3384.27/3393.26 c #Conflicts: 1797000 | #Constraints: 78164
3384.27/3393.26 c #Conflicts: 1798000 | #Constraints: 79164
3384.27/3393.26 c #Conflicts: 1799000 | #Constraints: 80164
3384.27/3393.26 c #Conflicts: 1800000 | #Constraints: 81164
3384.27/3393.26 c INPROCESSING
3384.27/3393.26 c GARBAGE COLLECT
3384.27/3393.26 c #Conflicts: 1801000 | #Constraints: 55564
3384.27/3393.26 c #Conflicts: 1802000 | #Constraints: 56564
3384.27/3393.26 c #Conflicts: 1803000 | #Constraints: 57564
3384.27/3393.26 c #Conflicts: 1804000 | #Constraints: 58564
3531.21/3540.50 c #Conflicts: 1805000 | #Constraints: 59564
3531.21/3540.50 c #Conflicts: 1806000 | #Constraints: 60564
3531.21/3540.50 c #Conflicts: 1807000 | #Constraints: 61564
3531.21/3540.50 c #Conflicts: 1808000 | #Constraints: 62564
3531.21/3540.50 c #Conflicts: 1809000 | #Constraints: 63564
3531.21/3540.50 c #Conflicts: 1810000 | #Constraints: 64564
3531.21/3540.50 c #Conflicts: 1811000 | #Constraints: 65564
3531.21/3540.50 c #Conflicts: 1812000 | #Constraints: 66564
3531.21/3540.50 c #Conflicts: 1813000 | #Constraints: 67564
3531.21/3540.50 c #Conflicts: 1814000 | #Constraints: 68564
3531.21/3540.50 c #Conflicts: 1815000 | #Constraints: 69564
3531.21/3540.50 c #Conflicts: 1816000 | #Constraints: 70564
3531.21/3540.50 c #Conflicts: 1817000 | #Constraints: 71564
3531.21/3540.50 c #Conflicts: 1818000 | #Constraints: 72564
3531.21/3540.50 c #Conflicts: 1819000 | #Constraints: 73564
3531.21/3540.50 c #Conflicts: 1820000 | #Constraints: 74564
3531.21/3540.50 c #Conflicts: 1821000 | #Constraints: 75564
3531.21/3540.50 c #Conflicts: 1822000 | #Constraints: 76564
3531.21/3540.50 c #Conflicts: 1823000 | #Constraints: 77564
3531.21/3540.50 c #Conflicts: 1824000 | #Constraints: 78564
3531.21/3540.50 c #Conflicts: 1825000 | #Constraints: 79564
3531.21/3540.50 c #Conflicts: 1826000 | #Constraints: 80564
3531.21/3540.50 c #Conflicts: 1827000 | #Constraints: 81564
3531.21/3540.50 c INPROCESSING
3531.21/3540.50 c GARBAGE COLLECT
3531.21/3540.50 c #Conflicts: 1828000 | #Constraints: 55766
3531.21/3540.50 c #Conflicts: 1829000 | #Constraints: 56766
3531.21/3540.50 c #Conflicts: 1830000 | #Constraints: 57766
3531.21/3540.50 c #Conflicts: 1831000 | #Constraints: 58766
3531.21/3540.50 c #Conflicts: 1832000 | #Constraints: 59766
3531.21/3540.50 c #Conflicts: 1833000 | #Constraints: 60766
3531.21/3540.50 c #Conflicts: 1834000 | #Constraints: 61766
3531.21/3540.50 c #Conflicts: 1835000 | #Constraints: 62766
3531.21/3540.50 c #Conflicts: 1836000 | #Constraints: 63766
3531.21/3540.50 c #Conflicts: 1837000 | #Constraints: 64766
3531.21/3540.50 c #Conflicts: 1838000 | #Constraints: 65766
3531.21/3540.50 c #Conflicts: 1839000 | #Constraints: 66766
3531.21/3540.50 c #Conflicts: 1840000 | #Constraints: 67766
3531.21/3540.50 c #Conflicts: 1841000 | #Constraints: 68766
3531.21/3540.50 c #Conflicts: 1842000 | #Constraints: 69766
3531.21/3540.50 c #Conflicts: 1843000 | #Constraints: 70766
3531.21/3540.50 c #Conflicts: 1844000 | #Constraints: 71766
3531.21/3540.50 c #Conflicts: 1845000 | #Constraints: 72766
3531.21/3540.50 c #Conflicts: 1846000 | #Constraints: 73766
3531.21/3540.50 c #Conflicts: 1847000 | #Constraints: 74766
3531.21/3540.50 c #Conflicts: 1848000 | #Constraints: 75766
3531.21/3540.50 c #Conflicts: 1849000 | #Constraints: 76766
3531.21/3540.50 c #Conflicts: 1850000 | #Constraints: 77766
3531.21/3540.50 c #Conflicts: 1851000 | #Constraints: 78766
3531.21/3540.50 c #Conflicts: 1852000 | #Constraints: 79766
3531.21/3540.50 c #Conflicts: 1853000 | #Constraints: 80766
3531.21/3540.50 c #Conflicts: 1854000 | #Constraints: 81766
3531.21/3540.50 c INPROCESSING
3531.21/3540.50 c GARBAGE COLLECT
3531.21/3540.50 c #Conflicts: 1855000 | #Constraints: 55768
3531.21/3540.50 c #Conflicts: 1856000 | #Constraints: 56768
3531.21/3540.50 c #Conflicts: 1857000 | #Constraints: 57768
3531.21/3540.50 c #Conflicts: 1858000 | #Constraints: 58768
3531.21/3540.50 c #Conflicts: 1859000 | #Constraints: 59768
3531.21/3540.50 c #Conflicts: 1860000 | #Constraints: 60768
3531.21/3540.50 c #Conflicts: 1861000 | #Constraints: 61768
3531.21/3540.50 c #Conflicts: 1862000 | #Constraints: 62768
3531.21/3540.50 c #Conflicts: 1863000 | #Constraints: 63768
3531.21/3540.50 c #Conflicts: 1864000 | #Constraints: 64768
3531.21/3540.50 c #Conflicts: 1865000 | #Constraints: 65768
3531.21/3540.50 c #Conflicts: 1866000 | #Constraints: 66768
3531.21/3540.50 c #Conflicts: 1867000 | #Constraints: 67768
3531.21/3540.50 c #Conflicts: 1868000 | #Constraints: 68768
3531.21/3540.50 c #Conflicts: 1869000 | #Constraints: 69768
3531.21/3540.50 c #Conflicts: 1870000 | #Constraints: 70768
3531.21/3540.50 c #Conflicts: 1871000 | #Constraints: 71768
3531.21/3540.50 c #Conflicts: 1872000 | #Constraints: 72768
3531.21/3540.50 c #Conflicts: 1873000 | #Constraints: 73768
3531.21/3540.50 c #Conflicts: 1874000 | #Constraints: 74768
3531.21/3540.50 c #Conflicts: 1875000 | #Constraints: 75768
3531.21/3540.50 c #Conflicts: 1876000 | #Constraints: 76768
3531.21/3540.50 c #Conflicts: 1877000 | #Constraints: 77768
3531.21/3540.50 c #Conflicts: 1878000 | #Constraints: 78768
3531.21/3540.50 c #Conflicts: 1879000 | #Constraints: 79768
3531.21/3540.50 c #Conflicts: 1880000 | #Constraints: 80768
3531.21/3540.50 c #Conflicts: 1881000 | #Constraints: 81768
3531.21/3540.50 c INPROCESSING
3531.21/3540.50 c GARBAGE COLLECT
3600.05/3609.50 c #Conflicts: 1882000 | #Constraints: 55569
3600.05/3609.50 c #Conflicts: 1883000 | #Constraints: 56569
3600.05/3609.50 c #Conflicts: 1884000 | #Constraints: 57569
3600.05/3609.50 c #Conflicts: 1885000 | #Constraints: 58569
3600.05/3609.50 c #Conflicts: 1886000 | #Constraints: 59569
3600.05/3609.50 c #Conflicts: 1887000 | #Constraints: 60569
3600.05/3609.50 c #Conflicts: 1888000 | #Constraints: 61569
3600.05/3609.50 c #Conflicts: 1889000 | #Constraints: 62569
3600.05/3609.50 c #Conflicts: 1890000 | #Constraints: 63569
3600.05/3609.50 c #Conflicts: 1891000 | #Constraints: 64569
3600.05/3609.50 c #Conflicts: 1892000 | #Constraints: 65569
3600.05/3609.50 c #Conflicts: 1893000 | #Constraints: 66569
3600.05/3609.50 c #Conflicts: 1894000 | #Constraints: 67569
3600.05/3609.50 c #Conflicts: 1895000 | #Constraints: 68569
3600.05/3609.50 c #Conflicts: 1896000 | #Constraints: 69569
3600.05/3609.50 c #Conflicts: 1897000 | #Constraints: 70569
3600.05/3609.50 c #Conflicts: 1898000 | #Constraints: 71569
3600.05/3609.50 c #Conflicts: 1899000 | #Constraints: 72569
3600.05/3609.50 c #Conflicts: 1900000 | #Constraints: 73569
3600.05/3609.50 c #Conflicts: 1901000 | #Constraints: 74569
3600.05/3609.50 c #Conflicts: 1902000 | #Constraints: 75569
3600.05/3609.50 c #Conflicts: 1903000 | #Constraints: 76569
3600.05/3609.50 c #Conflicts: 1904000 | #Constraints: 77569
3600.05/3609.50 c #Conflicts: 1905000 | #Constraints: 78569
3600.05/3609.50 c #Conflicts: 1906000 | #Constraints: 79569
3600.05/3609.50 c #Conflicts: 1907000 | #Constraints: 80569
3600.05/3609.50 c #Conflicts: 1908000 | #Constraints: 81569
3600.05/3609.50 c #Conflicts: 1909000 | #Constraints: 82569
3600.05/3609.50 c INPROCESSING
3600.05/3609.50 c GARBAGE COLLECT
3600.05/3609.50 c #Conflicts: 1910000 | #Constraints: 56165
3600.05/3609.50 c Program interrupted by user.
3600.05/3609.50 c cpu time 3592.63 s
3600.05/3609.50 c deterministic time 631889608396 6.32e+11
3600.05/3609.50 c optimization time 2.34192 s
3600.05/3609.50 c total solve time 3291.23 s
3600.05/3609.50 c core-guided solve time 3291.23 s
3600.05/3609.50 c propagation time 3153.3 s
3600.05/3609.50 c conflict analysis time 108.155 s
3600.05/3609.50 c propagations 40709316
3600.05/3609.50 c resolve steps 14664368
3600.05/3609.50 c decisions 2686063
3600.05/3609.50 c conflicts 1910602
3600.05/3609.50 c restarts 3706
3600.05/3609.50 c inprocessing phases 129
3600.05/3609.50 c input clauses 27954
3600.05/3609.50 c input cardinalities 14
3600.05/3609.50 c input general constraints 0
3600.05/3609.50 c input average constraint length 2.31
3600.05/3609.50 c input average constraint degree 1.23
3600.05/3609.50 c learned clauses 1174265
3600.05/3609.50 c learned cardinalities 525004
3600.05/3609.50 c learned general constraints 211332
3600.05/3609.50 c learned average constraint length 549.45
3600.05/3609.50 c learned average constraint degree 8.28
3600.05/3609.50 c watched constraints 211332
3600.05/3609.50 c counting constraints 0
3600.05/3609.50 c gcd simplifications 132460
3600.05/3609.50 c detected cardinalities 46879
3600.05/3609.50 c weakened non-implied lits 16079357
3600.05/3609.50 c weakened non-implying lits 84017
3600.05/3609.50 c original variables 595
3600.05/3609.50 c clausal propagations 28978883
3600.05/3609.50 c cardinality propagations 6572200
3600.05/3609.50 c watched propagations 680165
3600.05/3609.50 c counting propagations 0
3600.05/3609.50 c watch lookups 29794226266
3600.05/3609.50 c watch backjump lookups 1803112
3600.05/3609.50 c watch checks 598993472960
3600.05/3609.50 c propagation checks 814995498
3600.05/3609.50 c constraint additions 2196409858
3600.05/3609.50 c trail pops 45305322
3600.05/3609.50 c formula constraints 27847
3600.05/3609.50 c learned constraints 1910601
3600.05/3609.50 c bound constraints 14
3600.05/3609.50 c core-guided constraints 107
3600.05/3609.50 c encountered formula constraints 12587393
3600.05/3609.50 c encountered learned constraints 3968223
3600.05/3609.50 c encountered bound constraints 2282
3600.05/3609.50 c encountered core-guided constraints 17072
3600.05/3609.50 c LP total time 0 s
3600.05/3609.50 c LP solve time 0 s
3600.05/3609.50 c LP constraints added 0
3600.05/3609.50 c LP constraints removed 0
3600.05/3609.50 c LP pivots internal 0
3600.05/3609.50 c LP pivots root 0
3600.05/3609.50 c LP calls 0
3600.05/3609.50 c LP optimalities 0
3600.05/3609.50 c LP no pivot count 0
3600.05/3609.50 c LP infeasibilities 0
3600.05/3609.50 c LP valid Farkas constraints 0
3600.05/3609.50 c LP learned Farkas constraints 0
3600.05/3609.50 c LP basis resets 0
3600.05/3609.50 c LP cycling count 0
3600.05/3609.50 c LP singular count 0
3600.05/3609.50 c LP no primal count 0
3600.05/3609.50 c LP no farkas count 0
3600.05/3609.50 c LP other issue count 0
3600.05/3609.50 c LP Gomory cuts 0
3600.05/3609.50 c LP learned cuts 0
3600.05/3609.50 c LP deleted cuts 0
3600.05/3609.50 c LP encountered Gomory constraints 0
3600.05/3609.50 c LP encountered Farkas constraints 0
3600.05/3609.50 c LP encountered learned Farkas constraints 0
3600.05/3609.50 c CG auxiliary variables introduced 107
3600.05/3609.50 c CG solutions found 0
3600.05/3609.50 c CG cores constructed 13
3600.05/3609.50 c CG core cardinality constraints returned 0
3600.05/3609.50 c CG unit cores 0
3600.05/3609.50 c CG single cores 13
3600.05/3609.50 c CG blocks removed during cardinality reduction 0
3600.05/3609.50 c CG first core best 0
3600.05/3609.50 c CG decision core best 0
3600.05/3609.50 c CG core reduction tie 0
3600.05/3609.50 c CG core degree average 1.00
3600.05/3609.50 c CG core slack average 7.31
3600.05/3609.50 c CG exhausted 0
3600.05/3609.50 c CG exhaust time 0 s
3600.05/3609.50 c CG trimmed 2
3600.05/3609.50 c CG trim time 8.3e-05 s
3600.05/3609.50 c CG minimized 0
3600.05/3609.50 c CG minimize time 0 s
3600.05/3609.50 c CG am1 prop time 0.002078 s
3600.05/3609.50 c CG # am1s reformulated 107
3600.05/3609.50 c CG lower bound derived from am1s 487
3600.05/3609.50 c CG # clausal cores 13
3600.05/3609.50 c CG # cardinality cores 0
3600.05/3609.50 c CG # pb cores 0
3600.05/3609.50 c CG # pb reforms 0
3600.05/3609.50 c CG # cores discarded because of pb reform 0
3600.05/3609.50 d LOWERBOUND -95
3600.05/3609.50 d NCORES 13
3600.05/3609.50 d NPBCORES 0
3600.05/3609.50 d NPBREFORM 0
3600.05/3609.50 d NTRIMMED 2
3600.05/3609.50 d NEXHAUSTED 0
3600.05/3609.50 d NAM1S 107
3600.05/3609.50 d AM1LB 487
3600.05/3609.50 c [Papilo Statistics]
3600.05/3609.50 c prepro time 0.0378068s
3600.05/3609.50 c # tsx applied 0
3600.05/3609.50 c # tsx conflicts 0
3600.05/3609.50 c # bound changes 0
3600.05/3609.50 c # side changes 0
3600.05/3609.50 c # coef changes 0
3600.05/3609.50 c # rounds 1
3600.05/3609.50 c # deted vars 0
3600.05/3609.50 c # deted constrs 0
3600.05/3609.50 c # consecutive rounds of only bound changes 0
3600.05/3609.50 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (61271 MiB free)
memory of node 1: 64507 MiB (62151 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485081-1751283553/watcher-4485081-1751283553 -o /tmp/evaluation-result-4485081-1751283553/solver-4485081-1751283553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38726 --watchdog 3760 mixed-bag HOME/instance-4485081-1751283553.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=39740, runsolver pid=39737
[startup+0.100063 s]*
/proc/loadavg: 4.14 4.11 4.08 5/266 39741
/proc/meminfo: memFree=126385356/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=102628 memory=22536 CPUtime=0.08 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 5065 0 0 0 8 0 0 0 20 0 1 0 44033112 105091072 5634 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 25657 5634 2304 2842 0 7351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 102628 KiB
Current children cumulated memory: 22536 KiB
[startup+0.20573 s]*
/proc/loadavg: 4.14 4.11 4.08 5/266 39741
/proc/meminfo: memFree=126337224/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=154164 memory=79624 CPUtime=0.19 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 17722 0 0 0 17 2 0 0 20 0 1 0 44033112 157863936 19906 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 38541 19906 4032 2842 0 20235 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 154164 KiB
Current children cumulated memory: 79624 KiB
[startup+0.305775 s]*
/proc/loadavg: 4.14 4.11 4.08 5/266 39741
/proc/meminfo: memFree=126335460/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=156476 memory=81812 CPUtime=0.29 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 20849 0 0 0 26 3 0 0 20 0 1 0 44033112 160231424 20453 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 39119 20453 4064 2842 0 20813 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 156476 KiB
Current children cumulated memory: 81812 KiB
[startup+0.700188 s]
/proc/loadavg: 4.14 4.11 4.08 5/266 39741
/proc/meminfo: memFree=126305660/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=228988 memory=149488 CPUtime=0.68 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 33531 0 0 0 63 5 0 0 20 0 1 0 44033112 234483712 37372 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 57247 37372 4256 2842 0 38941 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 228988 KiB
Current children cumulated memory: 149488 KiB
[startup+1.50018 s]
/proc/loadavg: 4.14 4.11 4.08 5/266 39741
/proc/meminfo: memFree=126277688/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=243424 memory=159984 CPUtime=1.47 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 36157 0 0 0 142 5 0 0 20 0 1 0 44033112 249266176 39996 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 60856 39996 4256 2842 0 42550 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 243424 KiB
Current children cumulated memory: 159984 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.11 4.08 5/266 39741
/proc/meminfo: memFree=126265340/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=256244 memory=163056 CPUtime=3.07 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 36931 0 0 0 302 5 0 0 20 0 1 0 44033112 262393856 40764 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 64061 40764 4256 2842 0 45755 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 256244 KiB
Current children cumulated memory: 163056 KiB
[startup+6.3001 s]
/proc/loadavg: 4.13 4.11 4.08 5/266 39741
/proc/meminfo: memFree=126256044/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=272228 memory=170456 CPUtime=6.26 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 38263 0 0 0 620 6 0 0 20 0 1 0 44033112 278761472 42614 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 68057 42614 4256 2842 0 49751 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 272228 KiB
Current children cumulated memory: 170456 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.08 5/265 39741
/proc/meminfo: memFree=126169208/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=342528 memory=214216 CPUtime=12.64 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 48704 0 0 0 1257 7 0 0 20 0 1 0 44033112 350748672 53554 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 85632 53554 4256 2842 0 67326 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 342528 KiB
Current children cumulated memory: 214216 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.08 5/265 39741
/proc/meminfo: memFree=126147792/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=366740 memory=239176 CPUtime=25.4 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 54972 0 0 0 2531 9 0 0 20 0 1 0 44033112 375541760 59794 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 91685 59794 4256 2842 0 73379 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 366740 KiB
Current children cumulated memory: 239176 KiB
[startup+51.1055 s]
/proc/loadavg: 4.40 4.18 4.10 5/265 39742
/proc/meminfo: memFree=126062860/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=404156 memory=258248 CPUtime=50.91 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 59735 0 0 0 5082 9 0 0 20 0 1 0 44033112 413855744 64562 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 101039 64562 4256 2842 0 82733 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 404156 KiB
Current children cumulated memory: 258248 KiB
[startup+102.3 s]
/proc/loadavg: 4.57 4.26 4.13 5/267 39795
/proc/meminfo: memFree=127133660/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=481252 memory=316240 CPUtime=101.95 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 71270 0 0 0 10183 12 0 0 20 0 1 0 44033112 492802048 79060 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 120313 79060 4256 2842 0 102007 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 481252 KiB
Current children cumulated memory: 316240 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.22 4.13 5/266 39797
/proc/meminfo: memFree=126991232/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=530988 memory=360148 CPUtime=161.76 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 83469 0 0 0 16162 14 0 0 20 0 1 0 44033112 543731712 90037 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 132747 90037 4416 2842 0 114441 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 530988 KiB
Current children cumulated memory: 360148 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.21 4.13 5/265 39799
/proc/meminfo: memFree=126833036/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=647104 memory=406168 CPUtime=221.56 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 91415 0 0 0 22141 15 0 0 20 0 1 0 44033112 662634496 101542 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 161776 101542 4416 2842 0 143470 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 647104 KiB
Current children cumulated memory: 406168 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.19 4.12 5/265 39801
/proc/meminfo: memFree=126709412/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=695100 memory=442520 CPUtime=281.37 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 95899 0 0 0 28121 16 0 0 20 0 1 0 44033112 711782400 110630 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 173775 110630 4416 2842 0 155469 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 695100 KiB
Current children cumulated memory: 442520 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/264 39803
/proc/meminfo: memFree=126718736/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=604332 memory=335840 CPUtime=341.19 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 99241 0 0 0 34070 49 0 0 20 0 1 0 44033112 618835968 83960 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 151083 83960 4608 2842 0 132777 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 604332 KiB
Current children cumulated memory: 335840 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/264 39805
/proc/meminfo: memFree=126790944/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=604332 memory=344064 CPUtime=401.02 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 99255 0 0 0 40022 80 0 0 20 0 1 0 44033112 618835968 86016 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 151083 86016 4608 2842 0 132777 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 604332 KiB
Current children cumulated memory: 344064 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.19 4.13 5/263 39807
/proc/meminfo: memFree=126716544/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=604332 memory=350772 CPUtime=460.84 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 99399 0 0 0 45980 104 0 0 20 0 1 0 44033112 618835968 87693 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 151083 87693 4608 2842 0 132777 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 588904 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 39938
/proc/meminfo: memFree=125981444/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=588904 CPUtime=2914.5 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101470 0 0 0 290819 631 0 0 20 0 1 0 44033112 701685760 147226 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 147226 4608 2842 0 153004 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 588904 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 39940
/proc/meminfo: memFree=125977468/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=588904 CPUtime=2974.35 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101523 0 0 0 296795 640 0 0 20 0 1 0 44033112 701685760 147226 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 147226 4608 2842 0 153004 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 588904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 39945
/proc/meminfo: memFree=125973268/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=590952 CPUtime=3034.22 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101604 0 0 0 302772 650 0 0 20 0 1 0 44033112 701685760 147738 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 147738 4608 2842 0 153004 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 590952 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 39952
/proc/meminfo: memFree=125968888/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=590952 CPUtime=3094.07 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101614 0 0 0 308748 659 0 0 20 0 1 0 44033112 701685760 147738 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 147738 4608 2842 0 153004 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 590952 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 39954
/proc/meminfo: memFree=125960344/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=590952 CPUtime=3153.93 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101614 0 0 0 314725 668 0 0 20 0 1 0 44033112 701685760 147738 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 147738 4608 2842 0 153004 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 590952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 39957
/proc/meminfo: memFree=125968432/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=593000 CPUtime=3213.78 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101617 0 0 0 320701 677 0 0 20 0 1 0 44033112 701685760 148250 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 148250 4608 2842 0 153004 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 593000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 39959
/proc/meminfo: memFree=125964600/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=593000 CPUtime=3273.64 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101618 0 0 0 326678 686 0 0 20 0 1 0 44033112 701685760 148250 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 148250 4608 2842 0 153004 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 593000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 39961
/proc/meminfo: memFree=125964696/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=593000 CPUtime=3333.49 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101618 0 0 0 332656 693 0 0 20 0 1 0 44033112 701685760 148250 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 148250 4608 2842 0 153004 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 593000 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 40052
/proc/meminfo: memFree=126830552/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=685240 memory=595048 CPUtime=3393.35 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101620 0 0 0 338633 702 0 0 20 0 1 0 44033112 701685760 148762 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 171310 148762 4608 2842 0 153004 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 685240 KiB
Current children cumulated memory: 595048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 40055
/proc/meminfo: memFree=126589616/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=766628 memory=595176 CPUtime=3453.2 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101670 0 0 0 344606 714 0 0 20 0 1 0 44033112 785027072 148794 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 191657 148794 4608 2842 0 173351 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 766628 KiB
Current children cumulated memory: 595176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 40058
/proc/meminfo: memFree=126433104/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=766628 memory=595176 CPUtime=3513.06 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101670 0 0 0 350579 727 0 0 20 0 1 0 44033112 785027072 148794 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 191657 148794 4608 2842 0 173351 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 766628 KiB
Current children cumulated memory: 595176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 40060
/proc/meminfo: memFree=126234308/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=766628 memory=595176 CPUtime=3572.91 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 101670 0 0 0 356553 738 0 0 20 0 1 0 44033112 785027072 148794 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 191657 148794 4608 2842 0 173351 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 766628 KiB
Current children cumulated memory: 595176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 40063
/proc/meminfo: memFree=126104748/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=766628 memory=599144 CPUtime=3600.05 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 102136 0 0 0 359262 743 0 0 20 0 1 0 44033112 785027072 149786 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 191657 149786 4608 2842 0 173351 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 766628 KiB
Current children cumulated memory: 599144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 39740 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.63 s, system=7.43346 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 40063
/proc/meminfo: memFree=126104748/131249996 swapFree=33010684/33010684
[pid=39740] ppid=39737 vsize=766628 memory=599144 CPUtime=3600.05 cores=5,7
/proc/39740/stat : 39740 (mixed-bag) R 39737 39740 38713 0 -1 4194304 102136 0 0 0 359262 743 0 0 20 0 1 0 44033112 785027072 149786 18446744073709551615 4235264 15874749 140735196398192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 26189824 140735196404124 140735196404201 140735196404201 140735196409803 0
/proc/39740/statm: 191657 149786 4608 2842 0 173351 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 766628 KiB
Current children cumulated memory: 599144 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.06
CPU user time (s): 3592.63
CPU system time (s): 7.43346
CPU usage (%): 99.7384
Max. virtual memory (cumulated for all children) (KiB): 766628
Max. memory (cumulated for all children) (KiB): 599144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.63
system time used= 7.43346
maximum resident set size= 599656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198
involuntary context switches= 1444
# summary of solver processes directly reported to runsolver:
# pid: 39740
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.63
# total CPU system time (s): 7.43346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35671 second user time and 16.3103 second system time
The end
Begin job on nodeC022 at 2025-06-30 13:39:13
IDJOB=4485081
IDBENCH=146693
IDSOLVER=3340
FILE ID=nodeC022/4485081-1751283553
RUNJOBID= nodeC022-1751279693-38726
SLURM_JOB_ID= 9594218
Free space on /tmp= 433012 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485081-1751283553/watcher-4485081-1751283553 -o /tmp/evaluation-result-4485081-1751283553/solver-4485081-1751283553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38726 --watchdog 3760 mixed-bag HOME/instance-4485081-1751283553.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d08022a8f602c12904bf031cb8221b8f
RANDOM SEED=1906072828
nodeC022 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.714
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.44
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.705
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.44
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 : 3601.802
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.44
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 : 3603.417
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.44
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.678
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.932
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.44
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 : 3700.000
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.44
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.721
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126385260 kB
MemAvailable: 127196424 kB
Buffers: 3280 kB
Cached: 1614324 kB
SwapCached: 0 kB
Active: 2898204 kB
Inactive: 1364720 kB
Active(anon): 2663380 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1364720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16296 kB
Writeback: 0 kB
AnonPages: 2646048 kB
Mapped: 136804 kB
Shmem: 18060 kB
KReclaimable: 101316 kB
Slab: 188012 kB
SReclaimable: 101316 kB
SUnreclaim: 86696 kB
KernelStack: 4288 kB
PageTables: 8800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3824880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1314816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC022 at 2025-06-30 14:39:23