0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.05 c [STEP] preprocessing with Papilo
0.00/0.09 c Papilo could not simplify the problem
0.00/0.09 c [STEP] solving with SCIP
299.25/300.18 c [STEP] preprocessing done, loading into solver
299.35/300.22 c [STEP] solving
299.35/300.22 c #variables 596 #constraints 27856
299.35/300.22 c SMALL=int, LARGE=long long
299.35/300.22 c bounds - >= -595 @ 299.168
299.35/300.22 c stratification level: 0
321.19/322.10 c bounds - >= -130 @ 299.181
321.19/322.10 c bounds - >= -129 @ 299.182
321.19/322.10 c bounds - >= -128 @ 299.182
321.19/322.10 c bounds - >= -127 @ 299.183
321.19/322.10 c bounds - >= -126 @ 299.183
321.19/322.10 c bounds - >= -125 @ 299.183
321.19/322.10 c bounds - >= -124 @ 299.183
321.19/322.10 c bounds - >= -123 @ 299.183
321.19/322.10 c bounds - >= -122 @ 299.183
321.19/322.10 c bounds - >= -121 @ 299.183
321.19/322.10 c bounds - >= -120 @ 299.184
321.19/322.10 c bounds - >= -119 @ 299.184
321.19/322.10 c bounds - >= -118 @ 299.184
321.19/322.10 c bounds - >= -117 @ 299.185
321.19/322.10 c bounds - >= -116 @ 299.185
321.19/322.10 c #Conflicts: 1000 | #Constraints: 29000
321.19/322.10 c #Conflicts: 2000 | #Constraints: 30000
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 3000 | #Constraints: 29999
321.19/322.10 c #Conflicts: 4000 | #Constraints: 30999
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 5000 | #Constraints: 30427
321.19/322.10 c #Conflicts: 6000 | #Constraints: 31427
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 7000 | #Constraints: 30433
321.19/322.10 c #Conflicts: 8000 | #Constraints: 31433
321.19/322.10 c #Conflicts: 9000 | #Constraints: 32433
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 10000 | #Constraints: 31134
321.19/322.10 c #Conflicts: 11000 | #Constraints: 32134
321.19/322.10 c #Conflicts: 12000 | #Constraints: 33134
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 13000 | #Constraints: 31583
321.19/322.10 c #Conflicts: 14000 | #Constraints: 32583
321.19/322.10 c #Conflicts: 15000 | #Constraints: 33583
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 16000 | #Constraints: 31829
321.19/322.10 c #Conflicts: 17000 | #Constraints: 32829
321.19/322.10 c #Conflicts: 18000 | #Constraints: 33829
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 19000 | #Constraints: 31848
321.19/322.10 c #Conflicts: 20000 | #Constraints: 32848
321.19/322.10 c #Conflicts: 21000 | #Constraints: 33848
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 22000 | #Constraints: 31656
321.19/322.10 c #Conflicts: 23000 | #Constraints: 32656
321.19/322.10 c #Conflicts: 24000 | #Constraints: 33656
321.19/322.10 c #Conflicts: 25000 | #Constraints: 34656
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 26000 | #Constraints: 32272
321.19/322.10 c #Conflicts: 27000 | #Constraints: 33272
321.19/322.10 c #Conflicts: 28000 | #Constraints: 34272
321.19/322.10 c #Conflicts: 29000 | #Constraints: 35272
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 30000 | #Constraints: 32688
321.19/322.10 c #Conflicts: 31000 | #Constraints: 33688
321.19/322.10 c #Conflicts: 32000 | #Constraints: 34688
321.19/322.10 c #Conflicts: 33000 | #Constraints: 35688
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 34000 | #Constraints: 32897
321.19/322.10 c #Conflicts: 35000 | #Constraints: 33897
321.19/322.10 c #Conflicts: 36000 | #Constraints: 34897
321.19/322.10 c #Conflicts: 37000 | #Constraints: 35897
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 38000 | #Constraints: 32907
321.19/322.10 c #Conflicts: 39000 | #Constraints: 33907
321.19/322.10 c #Conflicts: 40000 | #Constraints: 34907
321.19/322.10 c #Conflicts: 41000 | #Constraints: 35907
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 42000 | #Constraints: 32698
321.19/322.10 c #Conflicts: 43000 | #Constraints: 33698
321.19/322.10 c #Conflicts: 44000 | #Constraints: 34698
321.19/322.10 c #Conflicts: 45000 | #Constraints: 35698
321.19/322.10 c #Conflicts: 46000 | #Constraints: 36698
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 47000 | #Constraints: 33298
321.19/322.10 c #Conflicts: 48000 | #Constraints: 34298
321.19/322.10 c #Conflicts: 49000 | #Constraints: 35298
321.19/322.10 c #Conflicts: 50000 | #Constraints: 36298
321.19/322.10 c #Conflicts: 51000 | #Constraints: 37298
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 52000 | #Constraints: 33714
321.19/322.10 c #Conflicts: 53000 | #Constraints: 34714
321.19/322.10 c #Conflicts: 54000 | #Constraints: 35714
321.19/322.10 c #Conflicts: 55000 | #Constraints: 36714
321.19/322.10 c #Conflicts: 56000 | #Constraints: 37714
321.19/322.10 c INPROCESSING
321.19/322.10 c GARBAGE COLLECT
321.19/322.10 c #Conflicts: 57000 | #Constraints: 33922
321.19/322.10 c #Conflicts: 58000 | #Constraints: 34922
321.19/322.10 c #Conflicts: 59000 | #Constraints: 35922
321.19/322.10 c #Conflicts: 60000 | #Constraints: 36922
321.19/322.10 c #Conflicts: 61000 | #Constraints: 37922
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 62000 | #Constraints: 33923
359.76/360.82 c #Conflicts: 63000 | #Constraints: 34923
359.76/360.82 c #Conflicts: 64000 | #Constraints: 35923
359.76/360.82 c #Conflicts: 65000 | #Constraints: 36923
359.76/360.82 c #Conflicts: 66000 | #Constraints: 37923
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 67000 | #Constraints: 33734
359.76/360.82 c #Conflicts: 68000 | #Constraints: 34734
359.76/360.82 c #Conflicts: 69000 | #Constraints: 35734
359.76/360.82 c #Conflicts: 70000 | #Constraints: 36734
359.76/360.82 c #Conflicts: 71000 | #Constraints: 37734
359.76/360.82 c #Conflicts: 72000 | #Constraints: 38734
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 73000 | #Constraints: 34334
359.76/360.82 c #Conflicts: 74000 | #Constraints: 35334
359.76/360.82 c #Conflicts: 75000 | #Constraints: 36334
359.76/360.82 c #Conflicts: 76000 | #Constraints: 37334
359.76/360.82 c #Conflicts: 77000 | #Constraints: 38334
359.76/360.82 c #Conflicts: 78000 | #Constraints: 39334
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 79000 | #Constraints: 34732
359.76/360.82 c #Conflicts: 80000 | #Constraints: 35732
359.76/360.82 c #Conflicts: 81000 | #Constraints: 36732
359.76/360.82 c #Conflicts: 82000 | #Constraints: 37732
359.76/360.82 c #Conflicts: 83000 | #Constraints: 38732
359.76/360.82 c #Conflicts: 84000 | #Constraints: 39732
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 85000 | #Constraints: 34925
359.76/360.82 c #Conflicts: 86000 | #Constraints: 35925
359.76/360.82 c #Conflicts: 87000 | #Constraints: 36925
359.76/360.82 c #Conflicts: 88000 | #Constraints: 37925
359.76/360.82 c #Conflicts: 89000 | #Constraints: 38925
359.76/360.82 c #Conflicts: 90000 | #Constraints: 39925
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 91000 | #Constraints: 34952
359.76/360.82 c #Conflicts: 92000 | #Constraints: 35952
359.76/360.82 c #Conflicts: 93000 | #Constraints: 36952
359.76/360.82 c #Conflicts: 94000 | #Constraints: 37952
359.76/360.82 c #Conflicts: 95000 | #Constraints: 38952
359.76/360.82 c #Conflicts: 96000 | #Constraints: 39952
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 97000 | #Constraints: 34754
359.76/360.82 c #Conflicts: 98000 | #Constraints: 35754
359.76/360.82 c #Conflicts: 99000 | #Constraints: 36754
359.76/360.82 c #Conflicts: 100000 | #Constraints: 37754
359.76/360.82 c #Conflicts: 101000 | #Constraints: 38754
359.76/360.82 c #Conflicts: 102000 | #Constraints: 39754
359.76/360.82 c #Conflicts: 103000 | #Constraints: 40754
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 104000 | #Constraints: 35352
359.76/360.82 c #Conflicts: 105000 | #Constraints: 36352
359.76/360.82 c #Conflicts: 106000 | #Constraints: 37352
359.76/360.82 c #Conflicts: 107000 | #Constraints: 38352
359.76/360.82 c #Conflicts: 108000 | #Constraints: 39352
359.76/360.82 c #Conflicts: 109000 | #Constraints: 40352
359.76/360.82 c #Conflicts: 110000 | #Constraints: 41352
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 111000 | #Constraints: 35746
359.76/360.82 c #Conflicts: 112000 | #Constraints: 36746
359.76/360.82 c #Conflicts: 113000 | #Constraints: 37746
359.76/360.82 c #Conflicts: 114000 | #Constraints: 38746
359.76/360.82 c #Conflicts: 115000 | #Constraints: 39746
359.76/360.82 c #Conflicts: 116000 | #Constraints: 40746
359.76/360.82 c #Conflicts: 117000 | #Constraints: 41746
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 118000 | #Constraints: 35940
359.76/360.82 c #Conflicts: 119000 | #Constraints: 36940
359.76/360.82 c #Conflicts: 120000 | #Constraints: 37940
359.76/360.82 c #Conflicts: 121000 | #Constraints: 38940
359.76/360.82 c #Conflicts: 122000 | #Constraints: 39940
359.76/360.82 c #Conflicts: 123000 | #Constraints: 40940
359.76/360.82 c #Conflicts: 124000 | #Constraints: 41940
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 125000 | #Constraints: 35940
359.76/360.82 c #Conflicts: 126000 | #Constraints: 36940
359.76/360.82 c #Conflicts: 127000 | #Constraints: 37940
359.76/360.82 c #Conflicts: 128000 | #Constraints: 38940
359.76/360.82 c #Conflicts: 129000 | #Constraints: 39940
359.76/360.82 c #Conflicts: 130000 | #Constraints: 40940
359.76/360.82 c #Conflicts: 131000 | #Constraints: 41940
359.76/360.82 c INPROCESSING
359.76/360.82 c GARBAGE COLLECT
359.76/360.82 c #Conflicts: 132000 | #Constraints: 35743
413.40/414.63 c #Conflicts: 133000 | #Constraints: 36743
413.40/414.63 c #Conflicts: 134000 | #Constraints: 37743
413.40/414.63 c #Conflicts: 135000 | #Constraints: 38743
413.40/414.63 c #Conflicts: 136000 | #Constraints: 39743
413.40/414.63 c #Conflicts: 137000 | #Constraints: 40743
413.40/414.63 c #Conflicts: 138000 | #Constraints: 41743
413.40/414.63 c #Conflicts: 139000 | #Constraints: 42743
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 140000 | #Constraints: 36357
413.40/414.63 c #Conflicts: 141000 | #Constraints: 37357
413.40/414.63 c #Conflicts: 142000 | #Constraints: 38357
413.40/414.63 c #Conflicts: 143000 | #Constraints: 39357
413.40/414.63 c #Conflicts: 144000 | #Constraints: 40357
413.40/414.63 c #Conflicts: 145000 | #Constraints: 41357
413.40/414.63 c #Conflicts: 146000 | #Constraints: 42357
413.40/414.63 c #Conflicts: 147000 | #Constraints: 43357
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 148000 | #Constraints: 36775
413.40/414.63 c #Conflicts: 149000 | #Constraints: 37775
413.40/414.63 c #Conflicts: 150000 | #Constraints: 38775
413.40/414.63 c #Conflicts: 151000 | #Constraints: 39775
413.40/414.63 c #Conflicts: 152000 | #Constraints: 40775
413.40/414.63 c #Conflicts: 153000 | #Constraints: 41775
413.40/414.63 c #Conflicts: 154000 | #Constraints: 42775
413.40/414.63 c #Conflicts: 155000 | #Constraints: 43775
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 156000 | #Constraints: 36959
413.40/414.63 c #Conflicts: 157000 | #Constraints: 37959
413.40/414.63 c #Conflicts: 158000 | #Constraints: 38959
413.40/414.63 c #Conflicts: 159000 | #Constraints: 39959
413.40/414.63 c #Conflicts: 160000 | #Constraints: 40959
413.40/414.63 c #Conflicts: 161000 | #Constraints: 41959
413.40/414.63 c #Conflicts: 162000 | #Constraints: 42959
413.40/414.63 c #Conflicts: 163000 | #Constraints: 43959
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 164000 | #Constraints: 36958
413.40/414.63 c #Conflicts: 165000 | #Constraints: 37958
413.40/414.63 c #Conflicts: 166000 | #Constraints: 38958
413.40/414.63 c #Conflicts: 167000 | #Constraints: 39958
413.40/414.63 c #Conflicts: 168000 | #Constraints: 40958
413.40/414.63 c #Conflicts: 169000 | #Constraints: 41958
413.40/414.63 c #Conflicts: 170000 | #Constraints: 42958
413.40/414.63 c #Conflicts: 171000 | #Constraints: 43958
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 172000 | #Constraints: 36743
413.40/414.63 c #Conflicts: 173000 | #Constraints: 37743
413.40/414.63 c #Conflicts: 174000 | #Constraints: 38743
413.40/414.63 c #Conflicts: 175000 | #Constraints: 39743
413.40/414.63 c #Conflicts: 176000 | #Constraints: 40743
413.40/414.63 c #Conflicts: 177000 | #Constraints: 41743
413.40/414.63 c #Conflicts: 178000 | #Constraints: 42743
413.40/414.63 c #Conflicts: 179000 | #Constraints: 43743
413.40/414.63 c #Conflicts: 180000 | #Constraints: 44743
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 181000 | #Constraints: 37353
413.40/414.63 c #Conflicts: 182000 | #Constraints: 38353
413.40/414.63 c #Conflicts: 183000 | #Constraints: 39353
413.40/414.63 c #Conflicts: 184000 | #Constraints: 40353
413.40/414.63 c #Conflicts: 185000 | #Constraints: 41353
413.40/414.63 c #Conflicts: 186000 | #Constraints: 42353
413.40/414.63 c #Conflicts: 187000 | #Constraints: 43353
413.40/414.63 c #Conflicts: 188000 | #Constraints: 44353
413.40/414.63 c #Conflicts: 189000 | #Constraints: 45353
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 190000 | #Constraints: 37774
413.40/414.63 c #Conflicts: 191000 | #Constraints: 38774
413.40/414.63 c #Conflicts: 192000 | #Constraints: 39774
413.40/414.63 c #Conflicts: 193000 | #Constraints: 40774
413.40/414.63 c #Conflicts: 194000 | #Constraints: 41774
413.40/414.63 c #Conflicts: 195000 | #Constraints: 42774
413.40/414.63 c #Conflicts: 196000 | #Constraints: 43774
413.40/414.63 c #Conflicts: 197000 | #Constraints: 44774
413.40/414.63 c #Conflicts: 198000 | #Constraints: 45774
413.40/414.63 c INPROCESSING
413.40/414.63 c GARBAGE COLLECT
413.40/414.63 c #Conflicts: 199000 | #Constraints: 37964
413.40/414.63 c #Conflicts: 200000 | #Constraints: 38964
413.40/414.63 c #Conflicts: 201000 | #Constraints: 39964
413.40/414.63 c #Conflicts: 202000 | #Constraints: 40964
413.40/414.63 c #Conflicts: 203000 | #Constraints: 41964
413.40/414.63 c #Conflicts: 204000 | #Constraints: 42964
413.40/414.63 c #Conflicts: 205000 | #Constraints: 43964
413.40/414.63 c #Conflicts: 206000 | #Constraints: 44964
475.51/476.91 c #Conflicts: 207000 | #Constraints: 45964
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 208000 | #Constraints: 37959
475.51/476.91 c #Conflicts: 209000 | #Constraints: 38959
475.51/476.91 c #Conflicts: 210000 | #Constraints: 39959
475.51/476.91 c #Conflicts: 211000 | #Constraints: 40959
475.51/476.91 c #Conflicts: 212000 | #Constraints: 41959
475.51/476.91 c #Conflicts: 213000 | #Constraints: 42959
475.51/476.91 c #Conflicts: 214000 | #Constraints: 43959
475.51/476.91 c #Conflicts: 215000 | #Constraints: 44959
475.51/476.91 c #Conflicts: 216000 | #Constraints: 45959
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 217000 | #Constraints: 37737
475.51/476.91 c #Conflicts: 218000 | #Constraints: 38737
475.51/476.91 c #Conflicts: 219000 | #Constraints: 39737
475.51/476.91 c #Conflicts: 220000 | #Constraints: 40737
475.51/476.91 c #Conflicts: 221000 | #Constraints: 41737
475.51/476.91 c #Conflicts: 222000 | #Constraints: 42737
475.51/476.91 c #Conflicts: 223000 | #Constraints: 43737
475.51/476.91 c #Conflicts: 224000 | #Constraints: 44737
475.51/476.91 c #Conflicts: 225000 | #Constraints: 45737
475.51/476.91 c #Conflicts: 226000 | #Constraints: 46737
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 227000 | #Constraints: 38348
475.51/476.91 c #Conflicts: 228000 | #Constraints: 39348
475.51/476.91 c #Conflicts: 229000 | #Constraints: 40348
475.51/476.91 c #Conflicts: 230000 | #Constraints: 41348
475.51/476.91 c #Conflicts: 231000 | #Constraints: 42348
475.51/476.91 c #Conflicts: 232000 | #Constraints: 43348
475.51/476.91 c #Conflicts: 233000 | #Constraints: 44348
475.51/476.91 c #Conflicts: 234000 | #Constraints: 45348
475.51/476.91 c #Conflicts: 235000 | #Constraints: 46348
475.51/476.91 c #Conflicts: 236000 | #Constraints: 47348
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 237000 | #Constraints: 38734
475.51/476.91 c #Conflicts: 238000 | #Constraints: 39734
475.51/476.91 c #Conflicts: 239000 | #Constraints: 40734
475.51/476.91 c #Conflicts: 240000 | #Constraints: 41734
475.51/476.91 c #Conflicts: 241000 | #Constraints: 42734
475.51/476.91 c #Conflicts: 242000 | #Constraints: 43734
475.51/476.91 c #Conflicts: 243000 | #Constraints: 44734
475.51/476.91 c #Conflicts: 244000 | #Constraints: 45734
475.51/476.91 c #Conflicts: 245000 | #Constraints: 46734
475.51/476.91 c #Conflicts: 246000 | #Constraints: 47734
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 247000 | #Constraints: 38932
475.51/476.91 c #Conflicts: 248000 | #Constraints: 39932
475.51/476.91 c #Conflicts: 249000 | #Constraints: 40932
475.51/476.91 c #Conflicts: 250000 | #Constraints: 41932
475.51/476.91 c #Conflicts: 251000 | #Constraints: 42932
475.51/476.91 c #Conflicts: 252000 | #Constraints: 43932
475.51/476.91 c #Conflicts: 253000 | #Constraints: 44932
475.51/476.91 c #Conflicts: 254000 | #Constraints: 45932
475.51/476.91 c #Conflicts: 255000 | #Constraints: 46932
475.51/476.91 c #Conflicts: 256000 | #Constraints: 47932
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 257000 | #Constraints: 38946
475.51/476.91 c #Conflicts: 258000 | #Constraints: 39946
475.51/476.91 c #Conflicts: 259000 | #Constraints: 40946
475.51/476.91 c #Conflicts: 260000 | #Constraints: 41946
475.51/476.91 c #Conflicts: 261000 | #Constraints: 42946
475.51/476.91 c #Conflicts: 262000 | #Constraints: 43946
475.51/476.91 c #Conflicts: 263000 | #Constraints: 44946
475.51/476.91 c #Conflicts: 264000 | #Constraints: 45946
475.51/476.91 c #Conflicts: 265000 | #Constraints: 46946
475.51/476.91 c #Conflicts: 266000 | #Constraints: 47946
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 267000 | #Constraints: 38744
475.51/476.91 c #Conflicts: 268000 | #Constraints: 39744
475.51/476.91 c #Conflicts: 269000 | #Constraints: 40744
475.51/476.91 c #Conflicts: 270000 | #Constraints: 41744
475.51/476.91 c #Conflicts: 271000 | #Constraints: 42744
475.51/476.91 c #Conflicts: 272000 | #Constraints: 43744
475.51/476.91 c #Conflicts: 273000 | #Constraints: 44744
475.51/476.91 c #Conflicts: 274000 | #Constraints: 45744
475.51/476.91 c #Conflicts: 275000 | #Constraints: 46744
475.51/476.91 c #Conflicts: 276000 | #Constraints: 47744
475.51/476.91 c #Conflicts: 277000 | #Constraints: 48744
475.51/476.91 c INPROCESSING
475.51/476.91 c GARBAGE COLLECT
475.51/476.91 c #Conflicts: 278000 | #Constraints: 39357
475.51/476.91 c #Conflicts: 279000 | #Constraints: 40357
549.70/551.33 c #Conflicts: 280000 | #Constraints: 41357
549.70/551.33 c #Conflicts: 281000 | #Constraints: 42357
549.70/551.33 c #Conflicts: 282000 | #Constraints: 43357
549.70/551.33 c #Conflicts: 283000 | #Constraints: 44357
549.70/551.33 c #Conflicts: 284000 | #Constraints: 45357
549.70/551.33 c #Conflicts: 285000 | #Constraints: 46357
549.70/551.33 c #Conflicts: 286000 | #Constraints: 47357
549.70/551.33 c #Conflicts: 287000 | #Constraints: 48357
549.70/551.33 c #Conflicts: 288000 | #Constraints: 49357
549.70/551.33 c INPROCESSING
549.70/551.33 c GARBAGE COLLECT
549.70/551.33 c #Conflicts: 289000 | #Constraints: 39751
549.70/551.33 c #Conflicts: 290000 | #Constraints: 40751
549.70/551.33 c #Conflicts: 291000 | #Constraints: 41751
549.70/551.33 c #Conflicts: 292000 | #Constraints: 42751
549.70/551.33 c #Conflicts: 293000 | #Constraints: 43751
549.70/551.33 c #Conflicts: 294000 | #Constraints: 44751
549.70/551.33 c #Conflicts: 295000 | #Constraints: 45751
549.70/551.33 c #Conflicts: 296000 | #Constraints: 46751
549.70/551.33 c #Conflicts: 297000 | #Constraints: 47751
549.70/551.33 c #Conflicts: 298000 | #Constraints: 48751
549.70/551.33 c #Conflicts: 299000 | #Constraints: 49751
549.70/551.33 c INPROCESSING
549.70/551.33 c GARBAGE COLLECT
549.70/551.33 c #Conflicts: 300000 | #Constraints: 39966
549.70/551.33 c #Conflicts: 301000 | #Constraints: 40966
549.70/551.33 c #Conflicts: 302000 | #Constraints: 41966
549.70/551.33 c #Conflicts: 303000 | #Constraints: 42966
549.70/551.33 c #Conflicts: 304000 | #Constraints: 43966
549.70/551.33 c #Conflicts: 305000 | #Constraints: 44966
549.70/551.33 c #Conflicts: 306000 | #Constraints: 45966
549.70/551.33 c #Conflicts: 307000 | #Constraints: 46966
549.70/551.33 c #Conflicts: 308000 | #Constraints: 47966
549.70/551.33 c #Conflicts: 309000 | #Constraints: 48966
549.70/551.33 c #Conflicts: 310000 | #Constraints: 49966
549.70/551.33 c INPROCESSING
549.70/551.33 c GARBAGE COLLECT
549.70/551.33 c #Conflicts: 311000 | #Constraints: 39959
549.70/551.33 c #Conflicts: 312000 | #Constraints: 40959
549.70/551.33 c #Conflicts: 313000 | #Constraints: 41959
549.70/551.33 c #Conflicts: 314000 | #Constraints: 42959
549.70/551.33 c #Conflicts: 315000 | #Constraints: 43959
549.70/551.33 c #Conflicts: 316000 | #Constraints: 44959
549.70/551.33 c #Conflicts: 317000 | #Constraints: 45959
549.70/551.33 c #Conflicts: 318000 | #Constraints: 46959
549.70/551.33 c #Conflicts: 319000 | #Constraints: 47959
549.70/551.33 c #Conflicts: 320000 | #Constraints: 48959
549.70/551.33 c #Conflicts: 321000 | #Constraints: 49959
549.70/551.33 c INPROCESSING
549.70/551.33 c GARBAGE COLLECT
549.70/551.33 c #Conflicts: 322000 | #Constraints: 39758
549.70/551.33 c #Conflicts: 323000 | #Constraints: 40758
549.70/551.33 c #Conflicts: 324000 | #Constraints: 41758
549.70/551.33 c #Conflicts: 325000 | #Constraints: 42758
549.70/551.33 c #Conflicts: 326000 | #Constraints: 43758
549.70/551.33 c #Conflicts: 327000 | #Constraints: 44758
549.70/551.33 c #Conflicts: 328000 | #Constraints: 45758
549.70/551.33 c #Conflicts: 329000 | #Constraints: 46758
549.70/551.33 c #Conflicts: 330000 | #Constraints: 47758
549.70/551.33 c #Conflicts: 331000 | #Constraints: 48758
549.70/551.33 c #Conflicts: 332000 | #Constraints: 49758
549.70/551.33 c #Conflicts: 333000 | #Constraints: 50758
549.70/551.33 c INPROCESSING
549.70/551.33 c GARBAGE COLLECT
549.70/551.33 c #Conflicts: 334000 | #Constraints: 40372
549.70/551.33 c #Conflicts: 335000 | #Constraints: 41372
549.70/551.33 c #Conflicts: 336000 | #Constraints: 42372
549.70/551.33 c #Conflicts: 337000 | #Constraints: 43372
549.70/551.33 c #Conflicts: 338000 | #Constraints: 44372
549.70/551.33 c #Conflicts: 339000 | #Constraints: 45372
549.70/551.33 c #Conflicts: 340000 | #Constraints: 46372
549.70/551.33 c #Conflicts: 341000 | #Constraints: 47372
549.70/551.33 c #Conflicts: 342000 | #Constraints: 48372
549.70/551.33 c #Conflicts: 343000 | #Constraints: 49372
549.70/551.33 c #Conflicts: 344000 | #Constraints: 50372
549.70/551.33 c #Conflicts: 345000 | #Constraints: 51372
549.70/551.33 c INPROCESSING
549.70/551.33 c GARBAGE COLLECT
549.70/551.33 c #Conflicts: 346000 | #Constraints: 40768
549.70/551.33 c #Conflicts: 347000 | #Constraints: 41768
549.70/551.33 c #Conflicts: 348000 | #Constraints: 42768
549.70/551.33 c #Conflicts: 349000 | #Constraints: 43768
549.70/551.33 c #Conflicts: 350000 | #Constraints: 44768
549.70/551.33 c #Conflicts: 351000 | #Constraints: 45768
549.70/551.33 c #Conflicts: 352000 | #Constraints: 46768
549.70/551.33 c #Conflicts: 353000 | #Constraints: 47768
549.70/551.33 c #Conflicts: 354000 | #Constraints: 48768
633.15/635.05 c #Conflicts: 355000 | #Constraints: 49768
633.15/635.05 c #Conflicts: 356000 | #Constraints: 50768
633.15/635.05 c #Conflicts: 357000 | #Constraints: 51768
633.15/635.05 c INPROCESSING
633.15/635.05 c GARBAGE COLLECT
633.15/635.05 c #Conflicts: 358000 | #Constraints: 40989
633.15/635.05 c #Conflicts: 359000 | #Constraints: 41989
633.15/635.05 c #Conflicts: 360000 | #Constraints: 42989
633.15/635.05 c #Conflicts: 361000 | #Constraints: 43989
633.15/635.05 c #Conflicts: 362000 | #Constraints: 44989
633.15/635.05 c #Conflicts: 363000 | #Constraints: 45989
633.15/635.05 c #Conflicts: 364000 | #Constraints: 46989
633.15/635.05 c #Conflicts: 365000 | #Constraints: 47989
633.15/635.05 c #Conflicts: 366000 | #Constraints: 48989
633.15/635.05 c #Conflicts: 367000 | #Constraints: 49989
633.15/635.05 c #Conflicts: 368000 | #Constraints: 50989
633.15/635.05 c #Conflicts: 369000 | #Constraints: 51989
633.15/635.05 c INPROCESSING
633.15/635.05 c GARBAGE COLLECT
633.15/635.05 c #Conflicts: 370000 | #Constraints: 40996
633.15/635.05 c #Conflicts: 371000 | #Constraints: 41996
633.15/635.05 c #Conflicts: 372000 | #Constraints: 42996
633.15/635.05 c #Conflicts: 373000 | #Constraints: 43996
633.15/635.05 c #Conflicts: 374000 | #Constraints: 44996
633.15/635.05 c #Conflicts: 375000 | #Constraints: 45996
633.15/635.05 c #Conflicts: 376000 | #Constraints: 46996
633.15/635.05 c #Conflicts: 377000 | #Constraints: 47996
633.15/635.05 c #Conflicts: 378000 | #Constraints: 48996
633.15/635.05 c #Conflicts: 379000 | #Constraints: 49996
633.15/635.05 c #Conflicts: 380000 | #Constraints: 50996
633.15/635.05 c #Conflicts: 381000 | #Constraints: 51996
633.15/635.05 c INPROCESSING
633.15/635.05 c GARBAGE COLLECT
633.15/635.05 c #Conflicts: 382000 | #Constraints: 40801
633.15/635.05 c #Conflicts: 383000 | #Constraints: 41801
633.15/635.05 c #Conflicts: 384000 | #Constraints: 42801
633.15/635.05 c #Conflicts: 385000 | #Constraints: 43801
633.15/635.05 c #Conflicts: 386000 | #Constraints: 44801
633.15/635.05 c #Conflicts: 387000 | #Constraints: 45801
633.15/635.05 c #Conflicts: 388000 | #Constraints: 46801
633.15/635.05 c #Conflicts: 389000 | #Constraints: 47801
633.15/635.05 c #Conflicts: 390000 | #Constraints: 48801
633.15/635.05 c #Conflicts: 391000 | #Constraints: 49801
633.15/635.05 c #Conflicts: 392000 | #Constraints: 50801
633.15/635.05 c #Conflicts: 393000 | #Constraints: 51801
633.15/635.05 c #Conflicts: 394000 | #Constraints: 52801
633.15/635.05 c INPROCESSING
633.15/635.05 c GARBAGE COLLECT
633.15/635.05 c #Conflicts: 395000 | #Constraints: 41392
633.15/635.05 c #Conflicts: 396000 | #Constraints: 42392
633.15/635.05 c #Conflicts: 397000 | #Constraints: 43392
633.15/635.05 c #Conflicts: 398000 | #Constraints: 44392
633.15/635.05 c #Conflicts: 399000 | #Constraints: 45392
633.15/635.05 c #Conflicts: 400000 | #Constraints: 46392
633.15/635.05 c #Conflicts: 401000 | #Constraints: 47392
633.15/635.05 c #Conflicts: 402000 | #Constraints: 48392
633.15/635.05 c #Conflicts: 403000 | #Constraints: 49392
633.15/635.05 c #Conflicts: 404000 | #Constraints: 50392
633.15/635.05 c #Conflicts: 405000 | #Constraints: 51392
633.15/635.05 c #Conflicts: 406000 | #Constraints: 52392
633.15/635.05 c #Conflicts: 407000 | #Constraints: 53392
633.15/635.05 c INPROCESSING
633.15/635.05 c GARBAGE COLLECT
633.15/635.05 c #Conflicts: 408000 | #Constraints: 41783
633.15/635.05 c #Conflicts: 409000 | #Constraints: 42783
633.15/635.05 c #Conflicts: 410000 | #Constraints: 43783
633.15/635.05 c #Conflicts: 411000 | #Constraints: 44783
633.15/635.05 c #Conflicts: 412000 | #Constraints: 45783
633.15/635.05 c #Conflicts: 413000 | #Constraints: 46783
633.15/635.05 c #Conflicts: 414000 | #Constraints: 47783
633.15/635.05 c #Conflicts: 415000 | #Constraints: 48783
633.15/635.05 c #Conflicts: 416000 | #Constraints: 49783
633.15/635.05 c #Conflicts: 417000 | #Constraints: 50783
633.15/635.05 c #Conflicts: 418000 | #Constraints: 51783
633.15/635.05 c #Conflicts: 419000 | #Constraints: 52783
633.15/635.05 c #Conflicts: 420000 | #Constraints: 53783
633.15/635.05 c INPROCESSING
633.15/635.05 c GARBAGE COLLECT
633.15/635.05 c #Conflicts: 421000 | #Constraints: 41974
633.15/635.05 c #Conflicts: 422000 | #Constraints: 42974
633.15/635.05 c #Conflicts: 423000 | #Constraints: 43974
633.15/635.05 c #Conflicts: 424000 | #Constraints: 44974
633.15/635.05 c #Conflicts: 425000 | #Constraints: 45974
633.15/635.05 c #Conflicts: 426000 | #Constraints: 46974
633.15/635.05 c #Conflicts: 427000 | #Constraints: 47974
633.15/635.05 c #Conflicts: 428000 | #Constraints: 48974
633.15/635.05 c #Conflicts: 429000 | #Constraints: 49974
715.80/717.96 c #Conflicts: 430000 | #Constraints: 50974
715.80/717.96 c #Conflicts: 431000 | #Constraints: 51974
715.80/717.96 c #Conflicts: 432000 | #Constraints: 52974
715.80/717.96 c #Conflicts: 433000 | #Constraints: 53974
715.80/717.96 c INPROCESSING
715.80/717.96 c GARBAGE COLLECT
715.80/717.96 c #Conflicts: 434000 | #Constraints: 41984
715.80/717.96 c #Conflicts: 435000 | #Constraints: 42984
715.80/717.96 c #Conflicts: 436000 | #Constraints: 43984
715.80/717.96 c #Conflicts: 437000 | #Constraints: 44984
715.80/717.96 c #Conflicts: 438000 | #Constraints: 45984
715.80/717.96 c #Conflicts: 439000 | #Constraints: 46984
715.80/717.96 c #Conflicts: 440000 | #Constraints: 47984
715.80/717.96 c #Conflicts: 441000 | #Constraints: 48984
715.80/717.96 c #Conflicts: 442000 | #Constraints: 49984
715.80/717.96 c #Conflicts: 443000 | #Constraints: 50984
715.80/717.96 c #Conflicts: 444000 | #Constraints: 51984
715.80/717.96 c #Conflicts: 445000 | #Constraints: 52984
715.80/717.96 c #Conflicts: 446000 | #Constraints: 53984
715.80/717.96 c INPROCESSING
715.80/717.96 c GARBAGE COLLECT
715.80/717.96 c #Conflicts: 447000 | #Constraints: 41756
715.80/717.96 c #Conflicts: 448000 | #Constraints: 42756
715.80/717.96 c #Conflicts: 449000 | #Constraints: 43756
715.80/717.96 c #Conflicts: 450000 | #Constraints: 44756
715.80/717.96 c #Conflicts: 451000 | #Constraints: 45756
715.80/717.96 c #Conflicts: 452000 | #Constraints: 46756
715.80/717.96 c #Conflicts: 453000 | #Constraints: 47756
715.80/717.96 c #Conflicts: 454000 | #Constraints: 48756
715.80/717.96 c #Conflicts: 455000 | #Constraints: 49756
715.80/717.96 c #Conflicts: 456000 | #Constraints: 50756
715.80/717.96 c #Conflicts: 457000 | #Constraints: 51756
715.80/717.96 c #Conflicts: 458000 | #Constraints: 52756
715.80/717.96 c #Conflicts: 459000 | #Constraints: 53756
715.80/717.96 c #Conflicts: 460000 | #Constraints: 54756
715.80/717.96 c INPROCESSING
715.80/717.96 c GARBAGE COLLECT
715.80/717.96 c #Conflicts: 461000 | #Constraints: 42333
715.80/717.96 c #Conflicts: 462000 | #Constraints: 43333
715.80/717.96 c #Conflicts: 463000 | #Constraints: 44333
715.80/717.96 c #Conflicts: 464000 | #Constraints: 45333
715.80/717.96 c #Conflicts: 465000 | #Constraints: 46333
715.80/717.96 c #Conflicts: 466000 | #Constraints: 47333
715.80/717.96 c #Conflicts: 467000 | #Constraints: 48333
715.80/717.96 c #Conflicts: 468000 | #Constraints: 49333
715.80/717.96 c #Conflicts: 469000 | #Constraints: 50333
715.80/717.96 c #Conflicts: 470000 | #Constraints: 51333
715.80/717.96 c #Conflicts: 471000 | #Constraints: 52333
715.80/717.96 c #Conflicts: 472000 | #Constraints: 53333
715.80/717.96 c #Conflicts: 473000 | #Constraints: 54333
715.80/717.96 c #Conflicts: 474000 | #Constraints: 55333
715.80/717.96 c INPROCESSING
715.80/717.96 c GARBAGE COLLECT
715.80/717.96 c #Conflicts: 475000 | #Constraints: 42759
715.80/717.96 c #Conflicts: 476000 | #Constraints: 43759
715.80/717.96 c #Conflicts: 477000 | #Constraints: 44759
715.80/717.96 c #Conflicts: 478000 | #Constraints: 45759
715.80/717.96 c #Conflicts: 479000 | #Constraints: 46759
715.80/717.96 c #Conflicts: 480000 | #Constraints: 47759
715.80/717.96 c #Conflicts: 481000 | #Constraints: 48759
715.80/717.96 c #Conflicts: 482000 | #Constraints: 49759
715.80/717.96 c #Conflicts: 483000 | #Constraints: 50759
715.80/717.96 c #Conflicts: 484000 | #Constraints: 51759
715.80/717.96 c #Conflicts: 485000 | #Constraints: 52759
715.80/717.96 c #Conflicts: 486000 | #Constraints: 53759
715.80/717.96 c #Conflicts: 487000 | #Constraints: 54759
715.80/717.96 c #Conflicts: 488000 | #Constraints: 55759
715.80/717.96 c INPROCESSING
715.80/717.96 c GARBAGE COLLECT
715.80/717.96 c #Conflicts: 489000 | #Constraints: 42990
715.80/717.96 c #Conflicts: 490000 | #Constraints: 43990
715.80/717.96 c #Conflicts: 491000 | #Constraints: 44990
715.80/717.96 c #Conflicts: 492000 | #Constraints: 45990
715.80/717.96 c #Conflicts: 493000 | #Constraints: 46990
715.80/717.96 c #Conflicts: 494000 | #Constraints: 47990
715.80/717.96 c #Conflicts: 495000 | #Constraints: 48990
715.80/717.96 c #Conflicts: 496000 | #Constraints: 49990
715.80/717.96 c #Conflicts: 497000 | #Constraints: 50990
715.80/717.96 c #Conflicts: 498000 | #Constraints: 51990
715.80/717.96 c #Conflicts: 499000 | #Constraints: 52990
715.80/717.96 c #Conflicts: 500000 | #Constraints: 53990
715.80/717.96 c #Conflicts: 501000 | #Constraints: 54990
715.80/717.96 c #Conflicts: 502000 | #Constraints: 55990
715.80/717.96 c INPROCESSING
715.80/717.96 c GARBAGE COLLECT
715.80/717.96 c #Conflicts: 503000 | #Constraints: 43007
715.80/717.96 c #Conflicts: 504000 | #Constraints: 44007
824.99/827.49 c #Conflicts: 505000 | #Constraints: 45007
824.99/827.49 c #Conflicts: 506000 | #Constraints: 46007
824.99/827.49 c #Conflicts: 507000 | #Constraints: 47007
824.99/827.49 c #Conflicts: 508000 | #Constraints: 48007
824.99/827.49 c #Conflicts: 509000 | #Constraints: 49007
824.99/827.49 c #Conflicts: 510000 | #Constraints: 50007
824.99/827.49 c #Conflicts: 511000 | #Constraints: 51007
824.99/827.49 c #Conflicts: 512000 | #Constraints: 52007
824.99/827.49 c #Conflicts: 513000 | #Constraints: 53007
824.99/827.49 c #Conflicts: 514000 | #Constraints: 54007
824.99/827.49 c #Conflicts: 515000 | #Constraints: 55007
824.99/827.49 c #Conflicts: 516000 | #Constraints: 56007
824.99/827.49 c INPROCESSING
824.99/827.49 c GARBAGE COLLECT
824.99/827.49 c #Conflicts: 517000 | #Constraints: 42789
824.99/827.49 c #Conflicts: 518000 | #Constraints: 43789
824.99/827.49 c #Conflicts: 519000 | #Constraints: 44789
824.99/827.49 c #Conflicts: 520000 | #Constraints: 45789
824.99/827.49 c #Conflicts: 521000 | #Constraints: 46789
824.99/827.49 c #Conflicts: 522000 | #Constraints: 47789
824.99/827.49 c #Conflicts: 523000 | #Constraints: 48789
824.99/827.49 c #Conflicts: 524000 | #Constraints: 49789
824.99/827.49 c #Conflicts: 525000 | #Constraints: 50789
824.99/827.49 c #Conflicts: 526000 | #Constraints: 51789
824.99/827.49 c #Conflicts: 527000 | #Constraints: 52789
824.99/827.49 c #Conflicts: 528000 | #Constraints: 53789
824.99/827.49 c #Conflicts: 529000 | #Constraints: 54789
824.99/827.49 c #Conflicts: 530000 | #Constraints: 55789
824.99/827.49 c #Conflicts: 531000 | #Constraints: 56789
824.99/827.49 c INPROCESSING
824.99/827.49 c GARBAGE COLLECT
824.99/827.49 c #Conflicts: 532000 | #Constraints: 43374
824.99/827.49 c #Conflicts: 533000 | #Constraints: 44374
824.99/827.49 c #Conflicts: 534000 | #Constraints: 45374
824.99/827.49 c #Conflicts: 535000 | #Constraints: 46374
824.99/827.49 c #Conflicts: 536000 | #Constraints: 47374
824.99/827.49 c #Conflicts: 537000 | #Constraints: 48374
824.99/827.49 c #Conflicts: 538000 | #Constraints: 49374
824.99/827.49 c #Conflicts: 539000 | #Constraints: 50374
824.99/827.49 c #Conflicts: 540000 | #Constraints: 51374
824.99/827.49 c #Conflicts: 541000 | #Constraints: 52374
824.99/827.49 c #Conflicts: 542000 | #Constraints: 53374
824.99/827.49 c #Conflicts: 543000 | #Constraints: 54374
824.99/827.49 c #Conflicts: 544000 | #Constraints: 55374
824.99/827.49 c #Conflicts: 545000 | #Constraints: 56374
824.99/827.49 c #Conflicts: 546000 | #Constraints: 57374
824.99/827.49 c INPROCESSING
824.99/827.49 c GARBAGE COLLECT
824.99/827.49 c #Conflicts: 547000 | #Constraints: 43785
824.99/827.49 c #Conflicts: 548000 | #Constraints: 44785
824.99/827.49 c #Conflicts: 549000 | #Constraints: 45785
824.99/827.49 c #Conflicts: 550000 | #Constraints: 46785
824.99/827.49 c #Conflicts: 551000 | #Constraints: 47785
824.99/827.49 c #Conflicts: 552000 | #Constraints: 48785
824.99/827.49 c #Conflicts: 553000 | #Constraints: 49785
824.99/827.49 c #Conflicts: 554000 | #Constraints: 50785
824.99/827.49 c #Conflicts: 555000 | #Constraints: 51785
824.99/827.49 c #Conflicts: 556000 | #Constraints: 52785
824.99/827.49 c #Conflicts: 557000 | #Constraints: 53785
824.99/827.49 c #Conflicts: 558000 | #Constraints: 54785
824.99/827.49 c #Conflicts: 559000 | #Constraints: 55785
824.99/827.49 c #Conflicts: 560000 | #Constraints: 56785
824.99/827.49 c #Conflicts: 561000 | #Constraints: 57785
824.99/827.49 c INPROCESSING
824.99/827.49 c GARBAGE COLLECT
824.99/827.49 c #Conflicts: 562000 | #Constraints: 43980
824.99/827.49 c #Conflicts: 563000 | #Constraints: 44980
824.99/827.49 c #Conflicts: 564000 | #Constraints: 45980
824.99/827.49 c #Conflicts: 565000 | #Constraints: 46980
824.99/827.49 c #Conflicts: 566000 | #Constraints: 47980
824.99/827.49 c #Conflicts: 567000 | #Constraints: 48980
824.99/827.49 c #Conflicts: 568000 | #Constraints: 49980
824.99/827.49 c #Conflicts: 569000 | #Constraints: 50980
824.99/827.49 c #Conflicts: 570000 | #Constraints: 51980
824.99/827.49 c #Conflicts: 571000 | #Constraints: 52980
824.99/827.49 c #Conflicts: 572000 | #Constraints: 53980
824.99/827.49 c #Conflicts: 573000 | #Constraints: 54980
824.99/827.49 c #Conflicts: 574000 | #Constraints: 55980
824.99/827.49 c #Conflicts: 575000 | #Constraints: 56980
824.99/827.49 c #Conflicts: 576000 | #Constraints: 57980
824.99/827.49 c INPROCESSING
824.99/827.49 c GARBAGE COLLECT
824.99/827.49 c #Conflicts: 577000 | #Constraints: 43996
824.99/827.49 c #Conflicts: 578000 | #Constraints: 44996
824.99/827.49 c #Conflicts: 579000 | #Constraints: 45996
824.99/827.49 c #Conflicts: 580000 | #Constraints: 46996
941.24/944.03 c #Conflicts: 581000 | #Constraints: 47996
941.24/944.03 c #Conflicts: 582000 | #Constraints: 48996
941.24/944.03 c #Conflicts: 583000 | #Constraints: 49996
941.24/944.03 c #Conflicts: 584000 | #Constraints: 50996
941.24/944.03 c #Conflicts: 585000 | #Constraints: 51996
941.24/944.03 c #Conflicts: 586000 | #Constraints: 52996
941.24/944.03 c #Conflicts: 587000 | #Constraints: 53996
941.24/944.03 c #Conflicts: 588000 | #Constraints: 54996
941.24/944.03 c #Conflicts: 589000 | #Constraints: 55996
941.24/944.03 c #Conflicts: 590000 | #Constraints: 56996
941.24/944.03 c #Conflicts: 591000 | #Constraints: 57996
941.24/944.03 c INPROCESSING
941.24/944.03 c GARBAGE COLLECT
941.24/944.03 c #Conflicts: 592000 | #Constraints: 43799
941.24/944.03 c #Conflicts: 593000 | #Constraints: 44799
941.24/944.03 c #Conflicts: 594000 | #Constraints: 45799
941.24/944.03 c #Conflicts: 595000 | #Constraints: 46799
941.24/944.03 c #Conflicts: 596000 | #Constraints: 47799
941.24/944.03 c #Conflicts: 597000 | #Constraints: 48799
941.24/944.03 c #Conflicts: 598000 | #Constraints: 49799
941.24/944.03 c #Conflicts: 599000 | #Constraints: 50799
941.24/944.03 c #Conflicts: 600000 | #Constraints: 51799
941.24/944.03 c #Conflicts: 601000 | #Constraints: 52799
941.24/944.03 c #Conflicts: 602000 | #Constraints: 53799
941.24/944.03 c #Conflicts: 603000 | #Constraints: 54799
941.24/944.03 c #Conflicts: 604000 | #Constraints: 55799
941.24/944.03 c #Conflicts: 605000 | #Constraints: 56799
941.24/944.03 c #Conflicts: 606000 | #Constraints: 57799
941.24/944.03 c #Conflicts: 607000 | #Constraints: 58799
941.24/944.03 c INPROCESSING
941.24/944.03 c GARBAGE COLLECT
941.24/944.03 c #Conflicts: 608000 | #Constraints: 44382
941.24/944.03 c #Conflicts: 609000 | #Constraints: 45382
941.24/944.03 c #Conflicts: 610000 | #Constraints: 46382
941.24/944.03 c #Conflicts: 611000 | #Constraints: 47382
941.24/944.03 c #Conflicts: 612000 | #Constraints: 48382
941.24/944.03 c #Conflicts: 613000 | #Constraints: 49382
941.24/944.03 c #Conflicts: 614000 | #Constraints: 50382
941.24/944.03 c #Conflicts: 615000 | #Constraints: 51382
941.24/944.03 c #Conflicts: 616000 | #Constraints: 52382
941.24/944.03 c #Conflicts: 617000 | #Constraints: 53382
941.24/944.03 c #Conflicts: 618000 | #Constraints: 54382
941.24/944.03 c #Conflicts: 619000 | #Constraints: 55382
941.24/944.03 c #Conflicts: 620000 | #Constraints: 56382
941.24/944.03 c #Conflicts: 621000 | #Constraints: 57382
941.24/944.03 c #Conflicts: 622000 | #Constraints: 58382
941.24/944.03 c #Conflicts: 623000 | #Constraints: 59382
941.24/944.03 c INPROCESSING
941.24/944.03 c GARBAGE COLLECT
941.24/944.03 c #Conflicts: 624000 | #Constraints: 44785
941.24/944.03 c #Conflicts: 625000 | #Constraints: 45785
941.24/944.03 c #Conflicts: 626000 | #Constraints: 46785
941.24/944.03 c #Conflicts: 627000 | #Constraints: 47785
941.24/944.03 c #Conflicts: 628000 | #Constraints: 48785
941.24/944.03 c #Conflicts: 629000 | #Constraints: 49785
941.24/944.03 c #Conflicts: 630000 | #Constraints: 50785
941.24/944.03 c #Conflicts: 631000 | #Constraints: 51785
941.24/944.03 c #Conflicts: 632000 | #Constraints: 52785
941.24/944.03 c #Conflicts: 633000 | #Constraints: 53785
941.24/944.03 c #Conflicts: 634000 | #Constraints: 54785
941.24/944.03 c #Conflicts: 635000 | #Constraints: 55785
941.24/944.03 c #Conflicts: 636000 | #Constraints: 56785
941.24/944.03 c #Conflicts: 637000 | #Constraints: 57785
941.24/944.03 c #Conflicts: 638000 | #Constraints: 58785
941.24/944.03 c #Conflicts: 639000 | #Constraints: 59785
941.24/944.03 c INPROCESSING
941.24/944.03 c GARBAGE COLLECT
941.24/944.03 c #Conflicts: 640000 | #Constraints: 44976
941.24/944.03 c #Conflicts: 641000 | #Constraints: 45976
941.24/944.03 c #Conflicts: 642000 | #Constraints: 46976
941.24/944.03 c #Conflicts: 643000 | #Constraints: 47976
941.24/944.03 c #Conflicts: 644000 | #Constraints: 48976
941.24/944.03 c #Conflicts: 645000 | #Constraints: 49976
941.24/944.03 c #Conflicts: 646000 | #Constraints: 50976
941.24/944.03 c #Conflicts: 647000 | #Constraints: 51976
941.24/944.03 c #Conflicts: 648000 | #Constraints: 52976
941.24/944.03 c #Conflicts: 649000 | #Constraints: 53976
941.24/944.03 c #Conflicts: 650000 | #Constraints: 54976
941.24/944.03 c #Conflicts: 651000 | #Constraints: 55976
941.24/944.03 c #Conflicts: 652000 | #Constraints: 56976
941.24/944.03 c #Conflicts: 653000 | #Constraints: 57976
941.24/944.03 c #Conflicts: 654000 | #Constraints: 58976
941.24/944.03 c #Conflicts: 655000 | #Constraints: 59976
941.24/944.03 c INPROCESSING
941.24/944.03 c GARBAGE COLLECT
1065.22/1068.32 c #Conflicts: 656000 | #Constraints: 44982
1065.22/1068.32 c #Conflicts: 657000 | #Constraints: 45982
1065.22/1068.32 c #Conflicts: 658000 | #Constraints: 46982
1065.22/1068.32 c #Conflicts: 659000 | #Constraints: 47982
1065.22/1068.32 c #Conflicts: 660000 | #Constraints: 48982
1065.22/1068.32 c #Conflicts: 661000 | #Constraints: 49982
1065.22/1068.32 c #Conflicts: 662000 | #Constraints: 50982
1065.22/1068.32 c #Conflicts: 663000 | #Constraints: 51982
1065.22/1068.32 c #Conflicts: 664000 | #Constraints: 52982
1065.22/1068.32 c #Conflicts: 665000 | #Constraints: 53982
1065.22/1068.32 c #Conflicts: 666000 | #Constraints: 54982
1065.22/1068.32 c #Conflicts: 667000 | #Constraints: 55982
1065.22/1068.32 c #Conflicts: 668000 | #Constraints: 56982
1065.22/1068.32 c #Conflicts: 669000 | #Constraints: 57982
1065.22/1068.32 c #Conflicts: 670000 | #Constraints: 58982
1065.22/1068.32 c #Conflicts: 671000 | #Constraints: 59982
1065.22/1068.32 c INPROCESSING
1065.22/1068.32 c GARBAGE COLLECT
1065.22/1068.32 c #Conflicts: 672000 | #Constraints: 44782
1065.22/1068.32 c #Conflicts: 673000 | #Constraints: 45782
1065.22/1068.32 c #Conflicts: 674000 | #Constraints: 46782
1065.22/1068.32 c #Conflicts: 675000 | #Constraints: 47782
1065.22/1068.32 c #Conflicts: 676000 | #Constraints: 48782
1065.22/1068.32 c #Conflicts: 677000 | #Constraints: 49782
1065.22/1068.32 c #Conflicts: 678000 | #Constraints: 50782
1065.22/1068.32 c #Conflicts: 679000 | #Constraints: 51782
1065.22/1068.32 c #Conflicts: 680000 | #Constraints: 52782
1065.22/1068.32 c #Conflicts: 681000 | #Constraints: 53782
1065.22/1068.32 c #Conflicts: 682000 | #Constraints: 54782
1065.22/1068.32 c #Conflicts: 683000 | #Constraints: 55782
1065.22/1068.32 c #Conflicts: 684000 | #Constraints: 56782
1065.22/1068.32 c #Conflicts: 685000 | #Constraints: 57782
1065.22/1068.32 c #Conflicts: 686000 | #Constraints: 58782
1065.22/1068.32 c #Conflicts: 687000 | #Constraints: 59782
1065.22/1068.32 c #Conflicts: 688000 | #Constraints: 60782
1065.22/1068.32 c INPROCESSING
1065.22/1068.32 c GARBAGE COLLECT
1065.22/1068.32 c #Conflicts: 689000 | #Constraints: 45363
1065.22/1068.32 c #Conflicts: 690000 | #Constraints: 46363
1065.22/1068.32 c #Conflicts: 691000 | #Constraints: 47363
1065.22/1068.32 c #Conflicts: 692000 | #Constraints: 48363
1065.22/1068.32 c #Conflicts: 693000 | #Constraints: 49363
1065.22/1068.32 c #Conflicts: 694000 | #Constraints: 50363
1065.22/1068.32 c #Conflicts: 695000 | #Constraints: 51363
1065.22/1068.32 c #Conflicts: 696000 | #Constraints: 52363
1065.22/1068.32 c #Conflicts: 697000 | #Constraints: 53363
1065.22/1068.32 c #Conflicts: 698000 | #Constraints: 54363
1065.22/1068.32 c #Conflicts: 699000 | #Constraints: 55363
1065.22/1068.32 c #Conflicts: 700000 | #Constraints: 56363
1065.22/1068.32 c #Conflicts: 701000 | #Constraints: 57363
1065.22/1068.32 c #Conflicts: 702000 | #Constraints: 58363
1065.22/1068.32 c #Conflicts: 703000 | #Constraints: 59363
1065.22/1068.32 c #Conflicts: 704000 | #Constraints: 60363
1065.22/1068.32 c #Conflicts: 705000 | #Constraints: 61363
1065.22/1068.32 c INPROCESSING
1065.22/1068.32 c GARBAGE COLLECT
1065.22/1068.32 c #Conflicts: 706000 | #Constraints: 45772
1065.22/1068.32 c #Conflicts: 707000 | #Constraints: 46772
1065.22/1068.32 c #Conflicts: 708000 | #Constraints: 47772
1065.22/1068.32 c #Conflicts: 709000 | #Constraints: 48772
1065.22/1068.32 c #Conflicts: 710000 | #Constraints: 49772
1065.22/1068.32 c #Conflicts: 711000 | #Constraints: 50772
1065.22/1068.32 c #Conflicts: 712000 | #Constraints: 51772
1065.22/1068.32 c #Conflicts: 713000 | #Constraints: 52772
1065.22/1068.32 c #Conflicts: 714000 | #Constraints: 53772
1065.22/1068.32 c #Conflicts: 715000 | #Constraints: 54772
1065.22/1068.32 c #Conflicts: 716000 | #Constraints: 55772
1065.22/1068.32 c #Conflicts: 717000 | #Constraints: 56772
1065.22/1068.32 c #Conflicts: 718000 | #Constraints: 57772
1065.22/1068.32 c #Conflicts: 719000 | #Constraints: 58772
1065.22/1068.32 c #Conflicts: 720000 | #Constraints: 59772
1065.22/1068.32 c #Conflicts: 721000 | #Constraints: 60772
1065.22/1068.32 c #Conflicts: 722000 | #Constraints: 61772
1065.22/1068.32 c INPROCESSING
1065.22/1068.32 c GARBAGE COLLECT
1065.22/1068.32 c #Conflicts: 723000 | #Constraints: 45981
1065.22/1068.32 c #Conflicts: 724000 | #Constraints: 46981
1065.22/1068.32 c #Conflicts: 725000 | #Constraints: 47981
1065.22/1068.32 c #Conflicts: 726000 | #Constraints: 48981
1065.22/1068.32 c #Conflicts: 727000 | #Constraints: 49981
1065.22/1068.32 c #Conflicts: 728000 | #Constraints: 50981
1065.22/1068.32 c #Conflicts: 729000 | #Constraints: 51981
1065.22/1068.32 c #Conflicts: 730000 | #Constraints: 52981
1065.22/1068.32 c #Conflicts: 731000 | #Constraints: 53981
1065.22/1068.32 c #Conflicts: 732000 | #Constraints: 54981
1197.70/1201.12 c #Conflicts: 733000 | #Constraints: 55981
1197.70/1201.12 c #Conflicts: 734000 | #Constraints: 56981
1197.70/1201.12 c #Conflicts: 735000 | #Constraints: 57981
1197.70/1201.12 c #Conflicts: 736000 | #Constraints: 58981
1197.70/1201.12 c #Conflicts: 737000 | #Constraints: 59981
1197.70/1201.12 c #Conflicts: 738000 | #Constraints: 60981
1197.70/1201.12 c #Conflicts: 739000 | #Constraints: 61981
1197.70/1201.12 c INPROCESSING
1197.70/1201.12 c GARBAGE COLLECT
1197.70/1201.12 c #Conflicts: 740000 | #Constraints: 45995
1197.70/1201.12 c #Conflicts: 741000 | #Constraints: 46995
1197.70/1201.12 c #Conflicts: 742000 | #Constraints: 47995
1197.70/1201.12 c #Conflicts: 743000 | #Constraints: 48995
1197.70/1201.12 c #Conflicts: 744000 | #Constraints: 49995
1197.70/1201.12 c #Conflicts: 745000 | #Constraints: 50995
1197.70/1201.12 c #Conflicts: 746000 | #Constraints: 51995
1197.70/1201.12 c #Conflicts: 747000 | #Constraints: 52995
1197.70/1201.12 c #Conflicts: 748000 | #Constraints: 53995
1197.70/1201.12 c #Conflicts: 749000 | #Constraints: 54995
1197.70/1201.12 c #Conflicts: 750000 | #Constraints: 55995
1197.70/1201.12 c #Conflicts: 751000 | #Constraints: 56995
1197.70/1201.12 c #Conflicts: 752000 | #Constraints: 57995
1197.70/1201.12 c #Conflicts: 753000 | #Constraints: 58995
1197.70/1201.12 c #Conflicts: 754000 | #Constraints: 59995
1197.70/1201.12 c #Conflicts: 755000 | #Constraints: 60995
1197.70/1201.12 c #Conflicts: 756000 | #Constraints: 61995
1197.70/1201.12 c INPROCESSING
1197.70/1201.12 c GARBAGE COLLECT
1197.70/1201.12 c #Conflicts: 757000 | #Constraints: 45795
1197.70/1201.12 c #Conflicts: 758000 | #Constraints: 46795
1197.70/1201.12 c #Conflicts: 759000 | #Constraints: 47795
1197.70/1201.12 c #Conflicts: 760000 | #Constraints: 48795
1197.70/1201.12 c #Conflicts: 761000 | #Constraints: 49795
1197.70/1201.12 c #Conflicts: 762000 | #Constraints: 50795
1197.70/1201.12 c #Conflicts: 763000 | #Constraints: 51795
1197.70/1201.12 c #Conflicts: 764000 | #Constraints: 52795
1197.70/1201.12 c #Conflicts: 765000 | #Constraints: 53795
1197.70/1201.12 c #Conflicts: 766000 | #Constraints: 54795
1197.70/1201.12 c #Conflicts: 767000 | #Constraints: 55795
1197.70/1201.12 c #Conflicts: 768000 | #Constraints: 56795
1197.70/1201.12 c #Conflicts: 769000 | #Constraints: 57795
1197.70/1201.12 c #Conflicts: 770000 | #Constraints: 58795
1197.70/1201.12 c #Conflicts: 771000 | #Constraints: 59795
1197.70/1201.12 c #Conflicts: 772000 | #Constraints: 60795
1197.70/1201.12 c #Conflicts: 773000 | #Constraints: 61795
1197.70/1201.12 c #Conflicts: 774000 | #Constraints: 62795
1197.70/1201.12 c INPROCESSING
1197.70/1201.12 c GARBAGE COLLECT
1197.70/1201.12 c #Conflicts: 775000 | #Constraints: 46376
1197.70/1201.12 c #Conflicts: 776000 | #Constraints: 47376
1197.70/1201.12 c #Conflicts: 777000 | #Constraints: 48376
1197.70/1201.12 c #Conflicts: 778000 | #Constraints: 49376
1197.70/1201.12 c #Conflicts: 779000 | #Constraints: 50376
1197.70/1201.12 c #Conflicts: 780000 | #Constraints: 51376
1197.70/1201.12 c #Conflicts: 781000 | #Constraints: 52376
1197.70/1201.12 c #Conflicts: 782000 | #Constraints: 53376
1197.70/1201.12 c #Conflicts: 783000 | #Constraints: 54376
1197.70/1201.12 c #Conflicts: 784000 | #Constraints: 55376
1197.70/1201.12 c #Conflicts: 785000 | #Constraints: 56376
1197.70/1201.12 c #Conflicts: 786000 | #Constraints: 57376
1197.70/1201.12 c #Conflicts: 787000 | #Constraints: 58376
1197.70/1201.12 c #Conflicts: 788000 | #Constraints: 59376
1197.70/1201.12 c #Conflicts: 789000 | #Constraints: 60376
1197.70/1201.12 c #Conflicts: 790000 | #Constraints: 61376
1197.70/1201.12 c #Conflicts: 791000 | #Constraints: 62376
1197.70/1201.12 c #Conflicts: 792000 | #Constraints: 63376
1197.70/1201.12 c INPROCESSING
1197.70/1201.12 c GARBAGE COLLECT
1197.70/1201.12 c #Conflicts: 793000 | #Constraints: 46785
1197.70/1201.12 c #Conflicts: 794000 | #Constraints: 47785
1197.70/1201.12 c #Conflicts: 795000 | #Constraints: 48785
1197.70/1201.12 c #Conflicts: 796000 | #Constraints: 49785
1197.70/1201.12 c #Conflicts: 797000 | #Constraints: 50785
1197.70/1201.12 c #Conflicts: 798000 | #Constraints: 51785
1197.70/1201.12 c #Conflicts: 799000 | #Constraints: 52785
1197.70/1201.12 c #Conflicts: 800000 | #Constraints: 53785
1197.70/1201.12 c #Conflicts: 801000 | #Constraints: 54785
1197.70/1201.12 c #Conflicts: 802000 | #Constraints: 55785
1197.70/1201.12 c #Conflicts: 803000 | #Constraints: 56785
1197.70/1201.12 c #Conflicts: 804000 | #Constraints: 57785
1197.70/1201.12 c #Conflicts: 805000 | #Constraints: 58785
1197.70/1201.12 c #Conflicts: 806000 | #Constraints: 59785
1197.70/1201.12 c #Conflicts: 807000 | #Constraints: 60785
1197.70/1201.12 c #Conflicts: 808000 | #Constraints: 61785
1323.49/1327.28 c #Conflicts: 809000 | #Constraints: 62785
1323.49/1327.28 c #Conflicts: 810000 | #Constraints: 63785
1323.49/1327.28 c INPROCESSING
1323.49/1327.28 c GARBAGE COLLECT
1323.49/1327.28 c #Conflicts: 811000 | #Constraints: 47006
1323.49/1327.28 c #Conflicts: 812000 | #Constraints: 48006
1323.49/1327.28 c #Conflicts: 813000 | #Constraints: 49006
1323.49/1327.28 c #Conflicts: 814000 | #Constraints: 50006
1323.49/1327.28 c #Conflicts: 815000 | #Constraints: 51006
1323.49/1327.28 c #Conflicts: 816000 | #Constraints: 52006
1323.49/1327.28 c #Conflicts: 817000 | #Constraints: 53006
1323.49/1327.28 c #Conflicts: 818000 | #Constraints: 54006
1323.49/1327.28 c #Conflicts: 819000 | #Constraints: 55006
1323.49/1327.28 c #Conflicts: 820000 | #Constraints: 56006
1323.49/1327.28 c #Conflicts: 821000 | #Constraints: 57006
1323.49/1327.28 c #Conflicts: 822000 | #Constraints: 58006
1323.49/1327.28 c #Conflicts: 823000 | #Constraints: 59006
1323.49/1327.28 c #Conflicts: 824000 | #Constraints: 60006
1323.49/1327.28 c #Conflicts: 825000 | #Constraints: 61006
1323.49/1327.28 c #Conflicts: 826000 | #Constraints: 62006
1323.49/1327.28 c #Conflicts: 827000 | #Constraints: 63006
1323.49/1327.28 c #Conflicts: 828000 | #Constraints: 64006
1323.49/1327.28 c INPROCESSING
1323.49/1327.28 c GARBAGE COLLECT
1323.49/1327.28 c #Conflicts: 829000 | #Constraints: 47005
1323.49/1327.28 c #Conflicts: 830000 | #Constraints: 48005
1323.49/1327.28 c #Conflicts: 831000 | #Constraints: 49005
1323.49/1327.28 c #Conflicts: 832000 | #Constraints: 50005
1323.49/1327.28 c #Conflicts: 833000 | #Constraints: 51005
1323.49/1327.28 c #Conflicts: 834000 | #Constraints: 52005
1323.49/1327.28 c #Conflicts: 835000 | #Constraints: 53005
1323.49/1327.28 c #Conflicts: 836000 | #Constraints: 54005
1323.49/1327.28 c #Conflicts: 837000 | #Constraints: 55005
1323.49/1327.28 c #Conflicts: 838000 | #Constraints: 56005
1323.49/1327.28 c #Conflicts: 839000 | #Constraints: 57005
1323.49/1327.28 c #Conflicts: 840000 | #Constraints: 58005
1323.49/1327.28 c #Conflicts: 841000 | #Constraints: 59005
1323.49/1327.28 c #Conflicts: 842000 | #Constraints: 60005
1323.49/1327.28 c #Conflicts: 843000 | #Constraints: 61005
1323.49/1327.28 c #Conflicts: 844000 | #Constraints: 62005
1323.49/1327.28 c #Conflicts: 845000 | #Constraints: 63005
1323.49/1327.28 c #Conflicts: 846000 | #Constraints: 64005
1323.49/1327.28 c INPROCESSING
1323.49/1327.28 c GARBAGE COLLECT
1323.49/1327.28 c #Conflicts: 847000 | #Constraints: 46804
1323.49/1327.28 c #Conflicts: 848000 | #Constraints: 47804
1323.49/1327.28 c #Conflicts: 849000 | #Constraints: 48804
1323.49/1327.28 c #Conflicts: 850000 | #Constraints: 49804
1323.49/1327.28 c #Conflicts: 851000 | #Constraints: 50804
1323.49/1327.28 c #Conflicts: 852000 | #Constraints: 51804
1323.49/1327.28 c #Conflicts: 853000 | #Constraints: 52804
1323.49/1327.28 c #Conflicts: 854000 | #Constraints: 53804
1323.49/1327.28 c #Conflicts: 855000 | #Constraints: 54804
1323.49/1327.28 c #Conflicts: 856000 | #Constraints: 55804
1323.49/1327.28 c #Conflicts: 857000 | #Constraints: 56804
1323.49/1327.28 c #Conflicts: 858000 | #Constraints: 57804
1323.49/1327.28 c #Conflicts: 859000 | #Constraints: 58804
1323.49/1327.28 c #Conflicts: 860000 | #Constraints: 59804
1323.49/1327.28 c #Conflicts: 861000 | #Constraints: 60804
1323.49/1327.28 c #Conflicts: 862000 | #Constraints: 61804
1323.49/1327.28 c #Conflicts: 863000 | #Constraints: 62804
1323.49/1327.28 c #Conflicts: 864000 | #Constraints: 63804
1323.49/1327.28 c #Conflicts: 865000 | #Constraints: 64804
1323.49/1327.28 c INPROCESSING
1323.49/1327.28 c GARBAGE COLLECT
1323.49/1327.28 c #Conflicts: 866000 | #Constraints: 47375
1323.49/1327.28 c #Conflicts: 867000 | #Constraints: 48375
1323.49/1327.28 c #Conflicts: 868000 | #Constraints: 49375
1323.49/1327.28 c #Conflicts: 869000 | #Constraints: 50375
1323.49/1327.28 c #Conflicts: 870000 | #Constraints: 51375
1323.49/1327.28 c #Conflicts: 871000 | #Constraints: 52375
1323.49/1327.28 c #Conflicts: 872000 | #Constraints: 53375
1323.49/1327.28 c #Conflicts: 873000 | #Constraints: 54375
1323.49/1327.28 c #Conflicts: 874000 | #Constraints: 55375
1323.49/1327.28 c #Conflicts: 875000 | #Constraints: 56375
1323.49/1327.28 c #Conflicts: 876000 | #Constraints: 57375
1323.49/1327.28 c #Conflicts: 877000 | #Constraints: 58375
1323.49/1327.28 c #Conflicts: 878000 | #Constraints: 59375
1323.49/1327.28 c #Conflicts: 879000 | #Constraints: 60375
1323.49/1327.28 c #Conflicts: 880000 | #Constraints: 61375
1323.49/1327.28 c #Conflicts: 881000 | #Constraints: 62375
1323.49/1327.28 c #Conflicts: 882000 | #Constraints: 63375
1323.49/1327.28 c #Conflicts: 883000 | #Constraints: 64375
1323.49/1327.28 c #Conflicts: 884000 | #Constraints: 65375
1472.14/1476.25 c INPROCESSING
1472.14/1476.25 c GARBAGE COLLECT
1472.14/1476.25 c #Conflicts: 885000 | #Constraints: 47764
1472.14/1476.25 c #Conflicts: 886000 | #Constraints: 48764
1472.14/1476.25 c #Conflicts: 887000 | #Constraints: 49764
1472.14/1476.25 c #Conflicts: 888000 | #Constraints: 50764
1472.14/1476.25 c #Conflicts: 889000 | #Constraints: 51764
1472.14/1476.25 c #Conflicts: 890000 | #Constraints: 52764
1472.14/1476.25 c #Conflicts: 891000 | #Constraints: 53764
1472.14/1476.25 c #Conflicts: 892000 | #Constraints: 54764
1472.14/1476.25 c #Conflicts: 893000 | #Constraints: 55764
1472.14/1476.25 c #Conflicts: 894000 | #Constraints: 56764
1472.14/1476.25 c #Conflicts: 895000 | #Constraints: 57764
1472.14/1476.25 c #Conflicts: 896000 | #Constraints: 58764
1472.14/1476.25 c #Conflicts: 897000 | #Constraints: 59764
1472.14/1476.25 c #Conflicts: 898000 | #Constraints: 60764
1472.14/1476.25 c #Conflicts: 899000 | #Constraints: 61764
1472.14/1476.25 c #Conflicts: 900000 | #Constraints: 62764
1472.14/1476.25 c #Conflicts: 901000 | #Constraints: 63764
1472.14/1476.25 c #Conflicts: 902000 | #Constraints: 64764
1472.14/1476.25 c #Conflicts: 903000 | #Constraints: 65764
1472.14/1476.25 c INPROCESSING
1472.14/1476.25 c GARBAGE COLLECT
1472.14/1476.25 c #Conflicts: 904000 | #Constraints: 47976
1472.14/1476.25 c #Conflicts: 905000 | #Constraints: 48976
1472.14/1476.25 c #Conflicts: 906000 | #Constraints: 49976
1472.14/1476.25 c #Conflicts: 907000 | #Constraints: 50976
1472.14/1476.25 c #Conflicts: 908000 | #Constraints: 51976
1472.14/1476.25 c #Conflicts: 909000 | #Constraints: 52976
1472.14/1476.25 c #Conflicts: 910000 | #Constraints: 53976
1472.14/1476.25 c #Conflicts: 911000 | #Constraints: 54976
1472.14/1476.25 c #Conflicts: 912000 | #Constraints: 55976
1472.14/1476.25 c #Conflicts: 913000 | #Constraints: 56976
1472.14/1476.25 c #Conflicts: 914000 | #Constraints: 57976
1472.14/1476.25 c #Conflicts: 915000 | #Constraints: 58976
1472.14/1476.25 c #Conflicts: 916000 | #Constraints: 59976
1472.14/1476.25 c #Conflicts: 917000 | #Constraints: 60976
1472.14/1476.25 c #Conflicts: 918000 | #Constraints: 61976
1472.14/1476.25 c #Conflicts: 919000 | #Constraints: 62976
1472.14/1476.25 c #Conflicts: 920000 | #Constraints: 63976
1472.14/1476.25 c #Conflicts: 921000 | #Constraints: 64976
1472.14/1476.25 c #Conflicts: 922000 | #Constraints: 65976
1472.14/1476.25 c INPROCESSING
1472.14/1476.25 c GARBAGE COLLECT
1472.14/1476.25 c #Conflicts: 923000 | #Constraints: 47985
1472.14/1476.25 c #Conflicts: 924000 | #Constraints: 48985
1472.14/1476.25 c #Conflicts: 925000 | #Constraints: 49985
1472.14/1476.25 c #Conflicts: 926000 | #Constraints: 50985
1472.14/1476.25 c #Conflicts: 927000 | #Constraints: 51985
1472.14/1476.25 c #Conflicts: 928000 | #Constraints: 52985
1472.14/1476.25 c #Conflicts: 929000 | #Constraints: 53985
1472.14/1476.25 c #Conflicts: 930000 | #Constraints: 54985
1472.14/1476.25 c #Conflicts: 931000 | #Constraints: 55985
1472.14/1476.25 c #Conflicts: 932000 | #Constraints: 56985
1472.14/1476.25 c #Conflicts: 933000 | #Constraints: 57985
1472.14/1476.25 c #Conflicts: 934000 | #Constraints: 58985
1472.14/1476.25 c #Conflicts: 935000 | #Constraints: 59985
1472.14/1476.25 c #Conflicts: 936000 | #Constraints: 60985
1472.14/1476.25 c #Conflicts: 937000 | #Constraints: 61985
1472.14/1476.25 c #Conflicts: 938000 | #Constraints: 62985
1472.14/1476.25 c #Conflicts: 939000 | #Constraints: 63985
1472.14/1476.25 c #Conflicts: 940000 | #Constraints: 64985
1472.14/1476.25 c #Conflicts: 941000 | #Constraints: 65985
1472.14/1476.25 c INPROCESSING
1472.14/1476.25 c GARBAGE COLLECT
1472.14/1476.25 c #Conflicts: 942000 | #Constraints: 47799
1472.14/1476.25 c #Conflicts: 943000 | #Constraints: 48799
1472.14/1476.25 c #Conflicts: 944000 | #Constraints: 49799
1472.14/1476.25 c #Conflicts: 945000 | #Constraints: 50799
1472.14/1476.25 c #Conflicts: 946000 | #Constraints: 51799
1472.14/1476.25 c #Conflicts: 947000 | #Constraints: 52799
1472.14/1476.25 c #Conflicts: 948000 | #Constraints: 53799
1472.14/1476.25 c #Conflicts: 949000 | #Constraints: 54799
1472.14/1476.25 c #Conflicts: 950000 | #Constraints: 55799
1472.14/1476.25 c #Conflicts: 951000 | #Constraints: 56799
1472.14/1476.25 c #Conflicts: 952000 | #Constraints: 57799
1472.14/1476.25 c #Conflicts: 953000 | #Constraints: 58799
1472.14/1476.25 c #Conflicts: 954000 | #Constraints: 59799
1472.14/1476.25 c #Conflicts: 955000 | #Constraints: 60799
1472.14/1476.25 c #Conflicts: 956000 | #Constraints: 61799
1472.14/1476.25 c #Conflicts: 957000 | #Constraints: 62799
1472.14/1476.25 c #Conflicts: 958000 | #Constraints: 63799
1472.14/1476.25 c #Conflicts: 959000 | #Constraints: 64799
1472.14/1476.25 c #Conflicts: 960000 | #Constraints: 65799
1621.08/1625.57 c #Conflicts: 961000 | #Constraints: 66799
1621.08/1625.57 c INPROCESSING
1621.08/1625.57 c GARBAGE COLLECT
1621.08/1625.57 c #Conflicts: 962000 | #Constraints: 48403
1621.08/1625.57 c #Conflicts: 963000 | #Constraints: 49403
1621.08/1625.57 c #Conflicts: 964000 | #Constraints: 50403
1621.08/1625.57 c #Conflicts: 965000 | #Constraints: 51403
1621.08/1625.57 c #Conflicts: 966000 | #Constraints: 52403
1621.08/1625.57 c #Conflicts: 967000 | #Constraints: 53403
1621.08/1625.57 c #Conflicts: 968000 | #Constraints: 54403
1621.08/1625.57 c #Conflicts: 969000 | #Constraints: 55403
1621.08/1625.57 c #Conflicts: 970000 | #Constraints: 56403
1621.08/1625.57 c #Conflicts: 971000 | #Constraints: 57403
1621.08/1625.57 c #Conflicts: 972000 | #Constraints: 58403
1621.08/1625.57 c #Conflicts: 973000 | #Constraints: 59403
1621.08/1625.57 c #Conflicts: 974000 | #Constraints: 60403
1621.08/1625.57 c #Conflicts: 975000 | #Constraints: 61403
1621.08/1625.57 c #Conflicts: 976000 | #Constraints: 62403
1621.08/1625.57 c #Conflicts: 977000 | #Constraints: 63403
1621.08/1625.57 c #Conflicts: 978000 | #Constraints: 64403
1621.08/1625.57 c #Conflicts: 979000 | #Constraints: 65403
1621.08/1625.57 c #Conflicts: 980000 | #Constraints: 66403
1621.08/1625.57 c #Conflicts: 981000 | #Constraints: 67403
1621.08/1625.57 c INPROCESSING
1621.08/1625.57 c GARBAGE COLLECT
1621.08/1625.57 c #Conflicts: 982000 | #Constraints: 48817
1621.08/1625.57 c #Conflicts: 983000 | #Constraints: 49817
1621.08/1625.57 c #Conflicts: 984000 | #Constraints: 50817
1621.08/1625.57 c #Conflicts: 985000 | #Constraints: 51817
1621.08/1625.57 c #Conflicts: 986000 | #Constraints: 52817
1621.08/1625.57 c #Conflicts: 987000 | #Constraints: 53817
1621.08/1625.57 c #Conflicts: 988000 | #Constraints: 54817
1621.08/1625.57 c #Conflicts: 989000 | #Constraints: 55817
1621.08/1625.57 c #Conflicts: 990000 | #Constraints: 56817
1621.08/1625.57 c #Conflicts: 991000 | #Constraints: 57817
1621.08/1625.57 c #Conflicts: 992000 | #Constraints: 58817
1621.08/1625.57 c #Conflicts: 993000 | #Constraints: 59817
1621.08/1625.57 c #Conflicts: 994000 | #Constraints: 60817
1621.08/1625.57 c #Conflicts: 995000 | #Constraints: 61817
1621.08/1625.57 c #Conflicts: 996000 | #Constraints: 62817
1621.08/1625.57 c #Conflicts: 997000 | #Constraints: 63817
1621.08/1625.57 c #Conflicts: 998000 | #Constraints: 64817
1621.08/1625.57 c #Conflicts: 999000 | #Constraints: 65817
1621.08/1625.57 c #Conflicts: 1000000 | #Constraints: 66817
1621.08/1625.57 c #Conflicts: 1001000 | #Constraints: 67817
1621.08/1625.57 c INPROCESSING
1621.08/1625.57 c GARBAGE COLLECT
1621.08/1625.57 c #Conflicts: 1002000 | #Constraints: 49012
1621.08/1625.57 c #Conflicts: 1003000 | #Constraints: 50012
1621.08/1625.57 c #Conflicts: 1004000 | #Constraints: 51012
1621.08/1625.57 c #Conflicts: 1005000 | #Constraints: 52012
1621.08/1625.57 c #Conflicts: 1006000 | #Constraints: 53012
1621.08/1625.57 c #Conflicts: 1007000 | #Constraints: 54012
1621.08/1625.57 c #Conflicts: 1008000 | #Constraints: 55012
1621.08/1625.57 c #Conflicts: 1009000 | #Constraints: 56012
1621.08/1625.57 c #Conflicts: 1010000 | #Constraints: 57012
1621.08/1625.57 c #Conflicts: 1011000 | #Constraints: 58012
1621.08/1625.57 c #Conflicts: 1012000 | #Constraints: 59012
1621.08/1625.57 c #Conflicts: 1013000 | #Constraints: 60012
1621.08/1625.57 c #Conflicts: 1014000 | #Constraints: 61012
1621.08/1625.57 c #Conflicts: 1015000 | #Constraints: 62012
1621.08/1625.57 c #Conflicts: 1016000 | #Constraints: 63012
1621.08/1625.57 c #Conflicts: 1017000 | #Constraints: 64012
1621.08/1625.57 c #Conflicts: 1018000 | #Constraints: 65012
1621.08/1625.57 c #Conflicts: 1019000 | #Constraints: 66012
1621.08/1625.57 c #Conflicts: 1020000 | #Constraints: 67012
1621.08/1625.57 c #Conflicts: 1021000 | #Constraints: 68012
1621.08/1625.57 c INPROCESSING
1621.08/1625.57 c GARBAGE COLLECT
1621.08/1625.57 c #Conflicts: 1022000 | #Constraints: 48969
1621.08/1625.57 c #Conflicts: 1023000 | #Constraints: 49969
1621.08/1625.57 c #Conflicts: 1024000 | #Constraints: 50969
1621.08/1625.57 c #Conflicts: 1025000 | #Constraints: 51969
1621.08/1625.57 c #Conflicts: 1026000 | #Constraints: 52969
1621.08/1625.57 c #Conflicts: 1027000 | #Constraints: 53969
1621.08/1625.57 c #Conflicts: 1028000 | #Constraints: 54969
1621.08/1625.57 c #Conflicts: 1029000 | #Constraints: 55969
1621.08/1625.57 c #Conflicts: 1030000 | #Constraints: 56969
1621.08/1625.57 c #Conflicts: 1031000 | #Constraints: 57969
1621.08/1625.57 c #Conflicts: 1032000 | #Constraints: 58969
1621.08/1625.57 c #Conflicts: 1033000 | #Constraints: 59969
1621.08/1625.57 c #Conflicts: 1034000 | #Constraints: 60969
1621.08/1625.57 c #Conflicts: 1035000 | #Constraints: 61969
1621.08/1625.57 c #Conflicts: 1036000 | #Constraints: 62969
1621.08/1625.57 c #Conflicts: 1037000 | #Constraints: 63969
1779.99/1784.88 c #Conflicts: 1038000 | #Constraints: 64969
1779.99/1784.88 c #Conflicts: 1039000 | #Constraints: 65969
1779.99/1784.88 c #Conflicts: 1040000 | #Constraints: 66969
1779.99/1784.88 c #Conflicts: 1041000 | #Constraints: 67969
1779.99/1784.88 c INPROCESSING
1779.99/1784.88 c GARBAGE COLLECT
1779.99/1784.88 c #Conflicts: 1042000 | #Constraints: 48800
1779.99/1784.88 c #Conflicts: 1043000 | #Constraints: 49800
1779.99/1784.88 c #Conflicts: 1044000 | #Constraints: 50800
1779.99/1784.88 c #Conflicts: 1045000 | #Constraints: 51800
1779.99/1784.88 c #Conflicts: 1046000 | #Constraints: 52800
1779.99/1784.88 c #Conflicts: 1047000 | #Constraints: 53800
1779.99/1784.88 c #Conflicts: 1048000 | #Constraints: 54800
1779.99/1784.88 c #Conflicts: 1049000 | #Constraints: 55800
1779.99/1784.88 c #Conflicts: 1050000 | #Constraints: 56800
1779.99/1784.88 c #Conflicts: 1051000 | #Constraints: 57800
1779.99/1784.88 c #Conflicts: 1052000 | #Constraints: 58800
1779.99/1784.88 c #Conflicts: 1053000 | #Constraints: 59800
1779.99/1784.88 c #Conflicts: 1054000 | #Constraints: 60800
1779.99/1784.88 c #Conflicts: 1055000 | #Constraints: 61800
1779.99/1784.88 c #Conflicts: 1056000 | #Constraints: 62800
1779.99/1784.88 c #Conflicts: 1057000 | #Constraints: 63800
1779.99/1784.88 c #Conflicts: 1058000 | #Constraints: 64800
1779.99/1784.88 c #Conflicts: 1059000 | #Constraints: 65800
1779.99/1784.88 c #Conflicts: 1060000 | #Constraints: 66800
1779.99/1784.88 c #Conflicts: 1061000 | #Constraints: 67800
1779.99/1784.88 c #Conflicts: 1062000 | #Constraints: 68800
1779.99/1784.88 c INPROCESSING
1779.99/1784.88 c GARBAGE COLLECT
1779.99/1784.88 c #Conflicts: 1063000 | #Constraints: 49392
1779.99/1784.88 c #Conflicts: 1064000 | #Constraints: 50392
1779.99/1784.88 c #Conflicts: 1065000 | #Constraints: 51392
1779.99/1784.88 c #Conflicts: 1066000 | #Constraints: 52392
1779.99/1784.88 c #Conflicts: 1067000 | #Constraints: 53392
1779.99/1784.88 c #Conflicts: 1068000 | #Constraints: 54392
1779.99/1784.88 c #Conflicts: 1069000 | #Constraints: 55392
1779.99/1784.88 c #Conflicts: 1070000 | #Constraints: 56392
1779.99/1784.88 c #Conflicts: 1071000 | #Constraints: 57392
1779.99/1784.88 c #Conflicts: 1072000 | #Constraints: 58392
1779.99/1784.88 c #Conflicts: 1073000 | #Constraints: 59392
1779.99/1784.88 c #Conflicts: 1074000 | #Constraints: 60392
1779.99/1784.88 c #Conflicts: 1075000 | #Constraints: 61392
1779.99/1784.88 c #Conflicts: 1076000 | #Constraints: 62392
1779.99/1784.88 c #Conflicts: 1077000 | #Constraints: 63392
1779.99/1784.88 c #Conflicts: 1078000 | #Constraints: 64392
1779.99/1784.88 c #Conflicts: 1079000 | #Constraints: 65392
1779.99/1784.88 c #Conflicts: 1080000 | #Constraints: 66392
1779.99/1784.88 c #Conflicts: 1081000 | #Constraints: 67392
1779.99/1784.88 c #Conflicts: 1082000 | #Constraints: 68392
1779.99/1784.88 c #Conflicts: 1083000 | #Constraints: 69392
1779.99/1784.88 c INPROCESSING
1779.99/1784.88 c GARBAGE COLLECT
1779.99/1784.88 c #Conflicts: 1084000 | #Constraints: 49804
1779.99/1784.88 c #Conflicts: 1085000 | #Constraints: 50804
1779.99/1784.88 c #Conflicts: 1086000 | #Constraints: 51804
1779.99/1784.88 c #Conflicts: 1087000 | #Constraints: 52804
1779.99/1784.88 c #Conflicts: 1088000 | #Constraints: 53804
1779.99/1784.88 c #Conflicts: 1089000 | #Constraints: 54804
1779.99/1784.88 c #Conflicts: 1090000 | #Constraints: 55804
1779.99/1784.88 c #Conflicts: 1091000 | #Constraints: 56804
1779.99/1784.88 c #Conflicts: 1092000 | #Constraints: 57804
1779.99/1784.88 c #Conflicts: 1093000 | #Constraints: 58804
1779.99/1784.88 c #Conflicts: 1094000 | #Constraints: 59804
1779.99/1784.88 c #Conflicts: 1095000 | #Constraints: 60804
1779.99/1784.88 c #Conflicts: 1096000 | #Constraints: 61804
1779.99/1784.88 c #Conflicts: 1097000 | #Constraints: 62804
1779.99/1784.88 c #Conflicts: 1098000 | #Constraints: 63804
1779.99/1784.88 c #Conflicts: 1099000 | #Constraints: 64804
1779.99/1784.88 c #Conflicts: 1100000 | #Constraints: 65804
1779.99/1784.88 c #Conflicts: 1101000 | #Constraints: 66804
1779.99/1784.88 c #Conflicts: 1102000 | #Constraints: 67804
1779.99/1784.88 c #Conflicts: 1103000 | #Constraints: 68804
1779.99/1784.88 c #Conflicts: 1104000 | #Constraints: 69804
1779.99/1784.88 c INPROCESSING
1779.99/1784.88 c GARBAGE COLLECT
1779.99/1784.88 c #Conflicts: 1105000 | #Constraints: 49991
1779.99/1784.88 c #Conflicts: 1106000 | #Constraints: 50991
1779.99/1784.88 c #Conflicts: 1107000 | #Constraints: 51991
1779.99/1784.88 c #Conflicts: 1108000 | #Constraints: 52991
1779.99/1784.88 c #Conflicts: 1109000 | #Constraints: 53991
1779.99/1784.88 c #Conflicts: 1110000 | #Constraints: 54991
1779.99/1784.88 c #Conflicts: 1111000 | #Constraints: 55991
1779.99/1784.88 c #Conflicts: 1112000 | #Constraints: 56991
1779.99/1784.88 c #Conflicts: 1113000 | #Constraints: 57991
1949.66/1955.00 c #Conflicts: 1114000 | #Constraints: 58991
1949.66/1955.00 c #Conflicts: 1115000 | #Constraints: 59991
1949.66/1955.00 c #Conflicts: 1116000 | #Constraints: 60991
1949.66/1955.00 c #Conflicts: 1117000 | #Constraints: 61991
1949.66/1955.00 c #Conflicts: 1118000 | #Constraints: 62991
1949.66/1955.00 c #Conflicts: 1119000 | #Constraints: 63991
1949.66/1955.00 c #Conflicts: 1120000 | #Constraints: 64991
1949.66/1955.00 c #Conflicts: 1121000 | #Constraints: 65991
1949.66/1955.00 c #Conflicts: 1122000 | #Constraints: 66991
1949.66/1955.00 c #Conflicts: 1123000 | #Constraints: 67991
1949.66/1955.00 c #Conflicts: 1124000 | #Constraints: 68991
1949.66/1955.00 c #Conflicts: 1125000 | #Constraints: 69991
1949.66/1955.00 c INPROCESSING
1949.66/1955.00 c GARBAGE COLLECT
1949.66/1955.00 c #Conflicts: 1126000 | #Constraints: 49988
1949.66/1955.00 c #Conflicts: 1127000 | #Constraints: 50988
1949.66/1955.00 c #Conflicts: 1128000 | #Constraints: 51988
1949.66/1955.00 c #Conflicts: 1129000 | #Constraints: 52988
1949.66/1955.00 c #Conflicts: 1130000 | #Constraints: 53988
1949.66/1955.00 c #Conflicts: 1131000 | #Constraints: 54988
1949.66/1955.00 c #Conflicts: 1132000 | #Constraints: 55988
1949.66/1955.00 c #Conflicts: 1133000 | #Constraints: 56988
1949.66/1955.00 c #Conflicts: 1134000 | #Constraints: 57988
1949.66/1955.00 c #Conflicts: 1135000 | #Constraints: 58988
1949.66/1955.00 c #Conflicts: 1136000 | #Constraints: 59988
1949.66/1955.00 c #Conflicts: 1137000 | #Constraints: 60988
1949.66/1955.00 c #Conflicts: 1138000 | #Constraints: 61988
1949.66/1955.00 c #Conflicts: 1139000 | #Constraints: 62988
1949.66/1955.00 c #Conflicts: 1140000 | #Constraints: 63988
1949.66/1955.00 c #Conflicts: 1141000 | #Constraints: 64988
1949.66/1955.00 c #Conflicts: 1142000 | #Constraints: 65988
1949.66/1955.00 c #Conflicts: 1143000 | #Constraints: 66988
1949.66/1955.00 c #Conflicts: 1144000 | #Constraints: 67988
1949.66/1955.00 c #Conflicts: 1145000 | #Constraints: 68988
1949.66/1955.00 c #Conflicts: 1146000 | #Constraints: 69988
1949.66/1955.00 c INPROCESSING
1949.66/1955.00 c GARBAGE COLLECT
1949.66/1955.00 c #Conflicts: 1147000 | #Constraints: 49780
1949.66/1955.00 c #Conflicts: 1148000 | #Constraints: 50780
1949.66/1955.00 c #Conflicts: 1149000 | #Constraints: 51780
1949.66/1955.00 c #Conflicts: 1150000 | #Constraints: 52780
1949.66/1955.00 c #Conflicts: 1151000 | #Constraints: 53780
1949.66/1955.00 c #Conflicts: 1152000 | #Constraints: 54780
1949.66/1955.00 c #Conflicts: 1153000 | #Constraints: 55780
1949.66/1955.00 c #Conflicts: 1154000 | #Constraints: 56780
1949.66/1955.00 c #Conflicts: 1155000 | #Constraints: 57780
1949.66/1955.00 c #Conflicts: 1156000 | #Constraints: 58780
1949.66/1955.00 c #Conflicts: 1157000 | #Constraints: 59780
1949.66/1955.00 c #Conflicts: 1158000 | #Constraints: 60780
1949.66/1955.00 c #Conflicts: 1159000 | #Constraints: 61780
1949.66/1955.00 c #Conflicts: 1160000 | #Constraints: 62780
1949.66/1955.00 c #Conflicts: 1161000 | #Constraints: 63780
1949.66/1955.00 c #Conflicts: 1162000 | #Constraints: 64780
1949.66/1955.00 c #Conflicts: 1163000 | #Constraints: 65780
1949.66/1955.00 c #Conflicts: 1164000 | #Constraints: 66780
1949.66/1955.00 c #Conflicts: 1165000 | #Constraints: 67780
1949.66/1955.00 c #Conflicts: 1166000 | #Constraints: 68780
1949.66/1955.00 c #Conflicts: 1167000 | #Constraints: 69780
1949.66/1955.00 c #Conflicts: 1168000 | #Constraints: 70780
1949.66/1955.00 c INPROCESSING
1949.66/1955.00 c GARBAGE COLLECT
1949.66/1955.00 c #Conflicts: 1169000 | #Constraints: 50392
1949.66/1955.00 c #Conflicts: 1170000 | #Constraints: 51392
1949.66/1955.00 c #Conflicts: 1171000 | #Constraints: 52392
1949.66/1955.00 c #Conflicts: 1172000 | #Constraints: 53392
1949.66/1955.00 c #Conflicts: 1173000 | #Constraints: 54392
1949.66/1955.00 c #Conflicts: 1174000 | #Constraints: 55392
1949.66/1955.00 c #Conflicts: 1175000 | #Constraints: 56392
1949.66/1955.00 c #Conflicts: 1176000 | #Constraints: 57392
1949.66/1955.00 c #Conflicts: 1177000 | #Constraints: 58392
1949.66/1955.00 c #Conflicts: 1178000 | #Constraints: 59392
1949.66/1955.00 c #Conflicts: 1179000 | #Constraints: 60392
1949.66/1955.00 c #Conflicts: 1180000 | #Constraints: 61392
1949.66/1955.00 c #Conflicts: 1181000 | #Constraints: 62392
1949.66/1955.00 c #Conflicts: 1182000 | #Constraints: 63392
1949.66/1955.00 c #Conflicts: 1183000 | #Constraints: 64392
1949.66/1955.00 c #Conflicts: 1184000 | #Constraints: 65392
1949.66/1955.00 c #Conflicts: 1185000 | #Constraints: 66392
1949.66/1955.00 c #Conflicts: 1186000 | #Constraints: 67392
1949.66/1955.00 c #Conflicts: 1187000 | #Constraints: 68392
1949.66/1955.00 c #Conflicts: 1188000 | #Constraints: 69392
1949.66/1955.00 c #Conflicts: 1189000 | #Constraints: 70392
1949.66/1955.00 c #Conflicts: 1190000 | #Constraints: 71392
2104.65/2110.39 c INPROCESSING
2104.65/2110.39 c GARBAGE COLLECT
2104.65/2110.39 c #Conflicts: 1191000 | #Constraints: 50811
2104.65/2110.39 c #Conflicts: 1192000 | #Constraints: 51811
2104.65/2110.39 c #Conflicts: 1193000 | #Constraints: 52811
2104.65/2110.39 c #Conflicts: 1194000 | #Constraints: 53811
2104.65/2110.39 c #Conflicts: 1195000 | #Constraints: 54811
2104.65/2110.39 c #Conflicts: 1196000 | #Constraints: 55811
2104.65/2110.39 c #Conflicts: 1197000 | #Constraints: 56811
2104.65/2110.39 c #Conflicts: 1198000 | #Constraints: 57811
2104.65/2110.39 c #Conflicts: 1199000 | #Constraints: 58811
2104.65/2110.39 c #Conflicts: 1200000 | #Constraints: 59811
2104.65/2110.39 c #Conflicts: 1201000 | #Constraints: 60811
2104.65/2110.39 c #Conflicts: 1202000 | #Constraints: 61811
2104.65/2110.39 c #Conflicts: 1203000 | #Constraints: 62811
2104.65/2110.39 c #Conflicts: 1204000 | #Constraints: 63811
2104.65/2110.39 c #Conflicts: 1205000 | #Constraints: 64811
2104.65/2110.39 c #Conflicts: 1206000 | #Constraints: 65811
2104.65/2110.39 c #Conflicts: 1207000 | #Constraints: 66811
2104.65/2110.39 c #Conflicts: 1208000 | #Constraints: 67811
2104.65/2110.39 c #Conflicts: 1209000 | #Constraints: 68811
2104.65/2110.39 c #Conflicts: 1210000 | #Constraints: 69811
2104.65/2110.39 c #Conflicts: 1211000 | #Constraints: 70811
2104.65/2110.39 c #Conflicts: 1212000 | #Constraints: 71811
2104.65/2110.39 c INPROCESSING
2104.65/2110.39 c GARBAGE COLLECT
2104.65/2110.39 c #Conflicts: 1213000 | #Constraints: 51022
2104.65/2110.39 c #Conflicts: 1214000 | #Constraints: 52022
2104.65/2110.39 c #Conflicts: 1215000 | #Constraints: 53022
2104.65/2110.39 c #Conflicts: 1216000 | #Constraints: 54022
2104.65/2110.39 c #Conflicts: 1217000 | #Constraints: 55022
2104.65/2110.39 c #Conflicts: 1218000 | #Constraints: 56022
2104.65/2110.39 c #Conflicts: 1219000 | #Constraints: 57022
2104.65/2110.39 c #Conflicts: 1220000 | #Constraints: 58022
2104.65/2110.39 c #Conflicts: 1221000 | #Constraints: 59022
2104.65/2110.39 c #Conflicts: 1222000 | #Constraints: 60022
2104.65/2110.39 c #Conflicts: 1223000 | #Constraints: 61022
2104.65/2110.39 c #Conflicts: 1224000 | #Constraints: 62022
2104.65/2110.39 c #Conflicts: 1225000 | #Constraints: 63022
2104.65/2110.39 c #Conflicts: 1226000 | #Constraints: 64022
2104.65/2110.39 c #Conflicts: 1227000 | #Constraints: 65022
2104.65/2110.39 c #Conflicts: 1228000 | #Constraints: 66022
2104.65/2110.39 c #Conflicts: 1229000 | #Constraints: 67022
2104.65/2110.39 c #Conflicts: 1230000 | #Constraints: 68022
2104.65/2110.39 c #Conflicts: 1231000 | #Constraints: 69022
2104.65/2110.39 c #Conflicts: 1232000 | #Constraints: 70022
2104.65/2110.39 c #Conflicts: 1233000 | #Constraints: 71022
2104.65/2110.39 c #Conflicts: 1234000 | #Constraints: 72022
2104.65/2110.39 c INPROCESSING
2104.65/2110.39 c GARBAGE COLLECT
2104.65/2110.39 c #Conflicts: 1235000 | #Constraints: 50985
2104.65/2110.39 c #Conflicts: 1236000 | #Constraints: 51985
2104.65/2110.39 c #Conflicts: 1237000 | #Constraints: 52985
2104.65/2110.39 c #Conflicts: 1238000 | #Constraints: 53985
2104.65/2110.39 c #Conflicts: 1239000 | #Constraints: 54985
2104.65/2110.39 c #Conflicts: 1240000 | #Constraints: 55985
2104.65/2110.39 c #Conflicts: 1241000 | #Constraints: 56985
2104.65/2110.39 c #Conflicts: 1242000 | #Constraints: 57985
2104.65/2110.39 c #Conflicts: 1243000 | #Constraints: 58985
2104.65/2110.39 c #Conflicts: 1244000 | #Constraints: 59985
2104.65/2110.39 c #Conflicts: 1245000 | #Constraints: 60985
2104.65/2110.39 c #Conflicts: 1246000 | #Constraints: 61985
2104.65/2110.39 c #Conflicts: 1247000 | #Constraints: 62985
2104.65/2110.39 c #Conflicts: 1248000 | #Constraints: 63985
2104.65/2110.39 c #Conflicts: 1249000 | #Constraints: 64985
2104.65/2110.39 c #Conflicts: 1250000 | #Constraints: 65985
2104.65/2110.39 c #Conflicts: 1251000 | #Constraints: 66985
2104.65/2110.39 c #Conflicts: 1252000 | #Constraints: 67985
2104.65/2110.39 c #Conflicts: 1253000 | #Constraints: 68985
2104.65/2110.39 c #Conflicts: 1254000 | #Constraints: 69985
2104.65/2110.39 c #Conflicts: 1255000 | #Constraints: 70985
2104.65/2110.39 c #Conflicts: 1256000 | #Constraints: 71985
2104.65/2110.39 c INPROCESSING
2104.65/2110.39 c GARBAGE COLLECT
2104.65/2110.39 c #Conflicts: 1257000 | #Constraints: 50790
2104.65/2110.39 c #Conflicts: 1258000 | #Constraints: 51790
2104.65/2110.39 c #Conflicts: 1259000 | #Constraints: 52790
2104.65/2110.39 c #Conflicts: 1260000 | #Constraints: 53790
2104.65/2110.39 c #Conflicts: 1261000 | #Constraints: 54790
2104.65/2110.39 c #Conflicts: 1262000 | #Constraints: 55790
2104.65/2110.39 c #Conflicts: 1263000 | #Constraints: 56790
2104.65/2110.39 c #Conflicts: 1264000 | #Constraints: 57790
2104.65/2110.39 c #Conflicts: 1265000 | #Constraints: 58790
2104.65/2110.39 c #Conflicts: 1266000 | #Constraints: 59790
2272.66/2278.71 c #Conflicts: 1267000 | #Constraints: 60790
2272.66/2278.71 c #Conflicts: 1268000 | #Constraints: 61790
2272.66/2278.71 c #Conflicts: 1269000 | #Constraints: 62790
2272.66/2278.71 c #Conflicts: 1270000 | #Constraints: 63790
2272.66/2278.71 c #Conflicts: 1271000 | #Constraints: 64790
2272.66/2278.71 c #Conflicts: 1272000 | #Constraints: 65790
2272.66/2278.71 c #Conflicts: 1273000 | #Constraints: 66790
2272.66/2278.71 c #Conflicts: 1274000 | #Constraints: 67790
2272.66/2278.71 c #Conflicts: 1275000 | #Constraints: 68790
2272.66/2278.71 c #Conflicts: 1276000 | #Constraints: 69790
2272.66/2278.71 c #Conflicts: 1277000 | #Constraints: 70790
2272.66/2278.71 c #Conflicts: 1278000 | #Constraints: 71790
2272.66/2278.71 c #Conflicts: 1279000 | #Constraints: 72790
2272.66/2278.71 c INPROCESSING
2272.66/2278.71 c GARBAGE COLLECT
2272.66/2278.71 c #Conflicts: 1280000 | #Constraints: 51395
2272.66/2278.71 c #Conflicts: 1281000 | #Constraints: 52395
2272.66/2278.71 c #Conflicts: 1282000 | #Constraints: 53395
2272.66/2278.71 c #Conflicts: 1283000 | #Constraints: 54395
2272.66/2278.71 c #Conflicts: 1284000 | #Constraints: 55395
2272.66/2278.71 c #Conflicts: 1285000 | #Constraints: 56395
2272.66/2278.71 c #Conflicts: 1286000 | #Constraints: 57395
2272.66/2278.71 c #Conflicts: 1287000 | #Constraints: 58395
2272.66/2278.71 c #Conflicts: 1288000 | #Constraints: 59395
2272.66/2278.71 c #Conflicts: 1289000 | #Constraints: 60395
2272.66/2278.71 c #Conflicts: 1290000 | #Constraints: 61395
2272.66/2278.71 c #Conflicts: 1291000 | #Constraints: 62395
2272.66/2278.71 c #Conflicts: 1292000 | #Constraints: 63395
2272.66/2278.71 c #Conflicts: 1293000 | #Constraints: 64395
2272.66/2278.71 c #Conflicts: 1294000 | #Constraints: 65395
2272.66/2278.71 c #Conflicts: 1295000 | #Constraints: 66395
2272.66/2278.71 c #Conflicts: 1296000 | #Constraints: 67395
2272.66/2278.71 c #Conflicts: 1297000 | #Constraints: 68395
2272.66/2278.71 c #Conflicts: 1298000 | #Constraints: 69395
2272.66/2278.71 c #Conflicts: 1299000 | #Constraints: 70395
2272.66/2278.71 c #Conflicts: 1300000 | #Constraints: 71395
2272.66/2278.71 c #Conflicts: 1301000 | #Constraints: 72395
2272.66/2278.71 c #Conflicts: 1302000 | #Constraints: 73395
2272.66/2278.71 c INPROCESSING
2272.66/2278.71 c GARBAGE COLLECT
2272.66/2278.71 c #Conflicts: 1303000 | #Constraints: 51788
2272.66/2278.71 c #Conflicts: 1304000 | #Constraints: 52788
2272.66/2278.71 c #Conflicts: 1305000 | #Constraints: 53788
2272.66/2278.71 c #Conflicts: 1306000 | #Constraints: 54788
2272.66/2278.71 c #Conflicts: 1307000 | #Constraints: 55788
2272.66/2278.71 c #Conflicts: 1308000 | #Constraints: 56788
2272.66/2278.71 c #Conflicts: 1309000 | #Constraints: 57788
2272.66/2278.71 c #Conflicts: 1310000 | #Constraints: 58788
2272.66/2278.71 c #Conflicts: 1311000 | #Constraints: 59788
2272.66/2278.71 c #Conflicts: 1312000 | #Constraints: 60788
2272.66/2278.71 c #Conflicts: 1313000 | #Constraints: 61788
2272.66/2278.71 c #Conflicts: 1314000 | #Constraints: 62788
2272.66/2278.71 c #Conflicts: 1315000 | #Constraints: 63788
2272.66/2278.71 c #Conflicts: 1316000 | #Constraints: 64788
2272.66/2278.71 c #Conflicts: 1317000 | #Constraints: 65788
2272.66/2278.71 c #Conflicts: 1318000 | #Constraints: 66788
2272.66/2278.71 c #Conflicts: 1319000 | #Constraints: 67788
2272.66/2278.71 c #Conflicts: 1320000 | #Constraints: 68788
2272.66/2278.71 c #Conflicts: 1321000 | #Constraints: 69788
2272.66/2278.71 c #Conflicts: 1322000 | #Constraints: 70788
2272.66/2278.71 c #Conflicts: 1323000 | #Constraints: 71788
2272.66/2278.71 c #Conflicts: 1324000 | #Constraints: 72788
2272.66/2278.71 c #Conflicts: 1325000 | #Constraints: 73788
2272.66/2278.71 c INPROCESSING
2272.66/2278.71 c GARBAGE COLLECT
2272.66/2278.71 c #Conflicts: 1326000 | #Constraints: 52011
2272.66/2278.71 c #Conflicts: 1327000 | #Constraints: 53011
2272.66/2278.71 c #Conflicts: 1328000 | #Constraints: 54011
2272.66/2278.71 c #Conflicts: 1329000 | #Constraints: 55011
2272.66/2278.71 c #Conflicts: 1330000 | #Constraints: 56011
2272.66/2278.71 c #Conflicts: 1331000 | #Constraints: 57011
2272.66/2278.71 c #Conflicts: 1332000 | #Constraints: 58011
2272.66/2278.71 c #Conflicts: 1333000 | #Constraints: 59011
2272.66/2278.71 c #Conflicts: 1334000 | #Constraints: 60011
2272.66/2278.71 c #Conflicts: 1335000 | #Constraints: 61011
2272.66/2278.71 c #Conflicts: 1336000 | #Constraints: 62011
2272.66/2278.71 c #Conflicts: 1337000 | #Constraints: 63011
2272.66/2278.71 c #Conflicts: 1338000 | #Constraints: 64011
2272.66/2278.71 c #Conflicts: 1339000 | #Constraints: 65011
2272.66/2278.71 c #Conflicts: 1340000 | #Constraints: 66011
2272.66/2278.71 c #Conflicts: 1341000 | #Constraints: 67011
2272.66/2278.71 c #Conflicts: 1342000 | #Constraints: 68011
2272.66/2278.71 c #Conflicts: 1343000 | #Constraints: 69011
2460.01/2466.55 c #Conflicts: 1344000 | #Constraints: 70011
2460.01/2466.55 c #Conflicts: 1345000 | #Constraints: 71011
2460.01/2466.55 c #Conflicts: 1346000 | #Constraints: 72011
2460.01/2466.55 c #Conflicts: 1347000 | #Constraints: 73011
2460.01/2466.55 c #Conflicts: 1348000 | #Constraints: 74011
2460.01/2466.55 c INPROCESSING
2460.01/2466.55 c GARBAGE COLLECT
2460.01/2466.55 c #Conflicts: 1349000 | #Constraints: 52021
2460.01/2466.55 c #Conflicts: 1350000 | #Constraints: 53021
2460.01/2466.55 c #Conflicts: 1351000 | #Constraints: 54021
2460.01/2466.55 c #Conflicts: 1352000 | #Constraints: 55021
2460.01/2466.55 c #Conflicts: 1353000 | #Constraints: 56021
2460.01/2466.55 c #Conflicts: 1354000 | #Constraints: 57021
2460.01/2466.55 c #Conflicts: 1355000 | #Constraints: 58021
2460.01/2466.55 c #Conflicts: 1356000 | #Constraints: 59021
2460.01/2466.55 c #Conflicts: 1357000 | #Constraints: 60021
2460.01/2466.55 c #Conflicts: 1358000 | #Constraints: 61021
2460.01/2466.55 c #Conflicts: 1359000 | #Constraints: 62021
2460.01/2466.55 c #Conflicts: 1360000 | #Constraints: 63021
2460.01/2466.55 c #Conflicts: 1361000 | #Constraints: 64021
2460.01/2466.55 c #Conflicts: 1362000 | #Constraints: 65021
2460.01/2466.55 c #Conflicts: 1363000 | #Constraints: 66021
2460.01/2466.55 c #Conflicts: 1364000 | #Constraints: 67021
2460.01/2466.55 c #Conflicts: 1365000 | #Constraints: 68021
2460.01/2466.55 c #Conflicts: 1366000 | #Constraints: 69021
2460.01/2466.55 c #Conflicts: 1367000 | #Constraints: 70021
2460.01/2466.55 c #Conflicts: 1368000 | #Constraints: 71021
2460.01/2466.55 c #Conflicts: 1369000 | #Constraints: 72021
2460.01/2466.55 c #Conflicts: 1370000 | #Constraints: 73021
2460.01/2466.55 c #Conflicts: 1371000 | #Constraints: 74021
2460.01/2466.55 c INPROCESSING
2460.01/2466.55 c GARBAGE COLLECT
2460.01/2466.55 c #Conflicts: 1372000 | #Constraints: 51813
2460.01/2466.55 c #Conflicts: 1373000 | #Constraints: 52813
2460.01/2466.55 c #Conflicts: 1374000 | #Constraints: 53813
2460.01/2466.55 c #Conflicts: 1375000 | #Constraints: 54813
2460.01/2466.55 c #Conflicts: 1376000 | #Constraints: 55813
2460.01/2466.55 c #Conflicts: 1377000 | #Constraints: 56813
2460.01/2466.55 c #Conflicts: 1378000 | #Constraints: 57813
2460.01/2466.55 c #Conflicts: 1379000 | #Constraints: 58813
2460.01/2466.55 c #Conflicts: 1380000 | #Constraints: 59813
2460.01/2466.55 c #Conflicts: 1381000 | #Constraints: 60813
2460.01/2466.55 c #Conflicts: 1382000 | #Constraints: 61813
2460.01/2466.55 c #Conflicts: 1383000 | #Constraints: 62813
2460.01/2466.55 c #Conflicts: 1384000 | #Constraints: 63813
2460.01/2466.55 c #Conflicts: 1385000 | #Constraints: 64813
2460.01/2466.55 c #Conflicts: 1386000 | #Constraints: 65813
2460.01/2466.55 c #Conflicts: 1387000 | #Constraints: 66813
2460.01/2466.55 c #Conflicts: 1388000 | #Constraints: 67813
2460.01/2466.55 c #Conflicts: 1389000 | #Constraints: 68813
2460.01/2466.55 c #Conflicts: 1390000 | #Constraints: 69813
2460.01/2466.55 c #Conflicts: 1391000 | #Constraints: 70813
2460.01/2466.55 c #Conflicts: 1392000 | #Constraints: 71813
2460.01/2466.55 c #Conflicts: 1393000 | #Constraints: 72813
2460.01/2466.55 c #Conflicts: 1394000 | #Constraints: 73813
2460.01/2466.55 c #Conflicts: 1395000 | #Constraints: 74813
2460.01/2466.55 c INPROCESSING
2460.01/2466.55 c GARBAGE COLLECT
2460.01/2466.55 c #Conflicts: 1396000 | #Constraints: 52413
2460.01/2466.55 c #Conflicts: 1397000 | #Constraints: 53413
2460.01/2466.55 c #Conflicts: 1398000 | #Constraints: 54413
2460.01/2466.55 c #Conflicts: 1399000 | #Constraints: 55413
2460.01/2466.55 c #Conflicts: 1400000 | #Constraints: 56413
2460.01/2466.55 c #Conflicts: 1401000 | #Constraints: 57413
2460.01/2466.55 c #Conflicts: 1402000 | #Constraints: 58413
2460.01/2466.55 c #Conflicts: 1403000 | #Constraints: 59413
2460.01/2466.55 c #Conflicts: 1404000 | #Constraints: 60413
2460.01/2466.55 c #Conflicts: 1405000 | #Constraints: 61413
2460.01/2466.55 c #Conflicts: 1406000 | #Constraints: 62413
2460.01/2466.55 c #Conflicts: 1407000 | #Constraints: 63413
2460.01/2466.55 c #Conflicts: 1408000 | #Constraints: 64413
2460.01/2466.55 c #Conflicts: 1409000 | #Constraints: 65413
2460.01/2466.55 c #Conflicts: 1410000 | #Constraints: 66413
2460.01/2466.55 c #Conflicts: 1411000 | #Constraints: 67413
2460.01/2466.55 c #Conflicts: 1412000 | #Constraints: 68413
2460.01/2466.55 c #Conflicts: 1413000 | #Constraints: 69413
2460.01/2466.55 c #Conflicts: 1414000 | #Constraints: 70413
2460.01/2466.55 c #Conflicts: 1415000 | #Constraints: 71413
2460.01/2466.55 c #Conflicts: 1416000 | #Constraints: 72413
2460.01/2466.55 c #Conflicts: 1417000 | #Constraints: 73413
2460.01/2466.55 c #Conflicts: 1418000 | #Constraints: 74413
2460.01/2466.55 c #Conflicts: 1419000 | #Constraints: 75413
2460.01/2466.55 c INPROCESSING
2618.82/2625.75 c GARBAGE COLLECT
2618.82/2625.75 c #Conflicts: 1420000 | #Constraints: 52801
2618.82/2625.75 c #Conflicts: 1421000 | #Constraints: 53801
2618.82/2625.75 c #Conflicts: 1422000 | #Constraints: 54801
2618.82/2625.75 c #Conflicts: 1423000 | #Constraints: 55801
2618.82/2625.75 c #Conflicts: 1424000 | #Constraints: 56801
2618.82/2625.75 c #Conflicts: 1425000 | #Constraints: 57801
2618.82/2625.75 c #Conflicts: 1426000 | #Constraints: 58801
2618.82/2625.75 c #Conflicts: 1427000 | #Constraints: 59801
2618.82/2625.75 c #Conflicts: 1428000 | #Constraints: 60801
2618.82/2625.75 c #Conflicts: 1429000 | #Constraints: 61801
2618.82/2625.75 c #Conflicts: 1430000 | #Constraints: 62801
2618.82/2625.75 c #Conflicts: 1431000 | #Constraints: 63801
2618.82/2625.75 c #Conflicts: 1432000 | #Constraints: 64801
2618.82/2625.75 c #Conflicts: 1433000 | #Constraints: 65801
2618.82/2625.75 c #Conflicts: 1434000 | #Constraints: 66801
2618.82/2625.75 c #Conflicts: 1435000 | #Constraints: 67801
2618.82/2625.75 c #Conflicts: 1436000 | #Constraints: 68801
2618.82/2625.75 c #Conflicts: 1437000 | #Constraints: 69801
2618.82/2625.75 c #Conflicts: 1438000 | #Constraints: 70801
2618.82/2625.75 c #Conflicts: 1439000 | #Constraints: 71801
2618.82/2625.75 c #Conflicts: 1440000 | #Constraints: 72801
2618.82/2625.75 c #Conflicts: 1441000 | #Constraints: 73801
2618.82/2625.75 c #Conflicts: 1442000 | #Constraints: 74801
2618.82/2625.75 c #Conflicts: 1443000 | #Constraints: 75801
2618.82/2625.75 c INPROCESSING
2618.82/2625.75 c GARBAGE COLLECT
2618.82/2625.75 c #Conflicts: 1444000 | #Constraints: 53000
2618.82/2625.75 c #Conflicts: 1445000 | #Constraints: 54000
2618.82/2625.75 c #Conflicts: 1446000 | #Constraints: 55000
2618.82/2625.75 c #Conflicts: 1447000 | #Constraints: 56000
2618.82/2625.75 c #Conflicts: 1448000 | #Constraints: 57000
2618.82/2625.75 c #Conflicts: 1449000 | #Constraints: 58000
2618.82/2625.75 c #Conflicts: 1450000 | #Constraints: 59000
2618.82/2625.75 c #Conflicts: 1451000 | #Constraints: 60000
2618.82/2625.75 c #Conflicts: 1452000 | #Constraints: 61000
2618.82/2625.75 c #Conflicts: 1453000 | #Constraints: 62000
2618.82/2625.75 c #Conflicts: 1454000 | #Constraints: 63000
2618.82/2625.75 c #Conflicts: 1455000 | #Constraints: 64000
2618.82/2625.75 c #Conflicts: 1456000 | #Constraints: 65000
2618.82/2625.75 c #Conflicts: 1457000 | #Constraints: 66000
2618.82/2625.75 c #Conflicts: 1458000 | #Constraints: 67000
2618.82/2625.75 c #Conflicts: 1459000 | #Constraints: 68000
2618.82/2625.75 c #Conflicts: 1460000 | #Constraints: 69000
2618.82/2625.75 c #Conflicts: 1461000 | #Constraints: 70000
2618.82/2625.75 c #Conflicts: 1462000 | #Constraints: 71000
2618.82/2625.75 c #Conflicts: 1463000 | #Constraints: 72000
2618.82/2625.75 c #Conflicts: 1464000 | #Constraints: 73000
2618.82/2625.75 c #Conflicts: 1465000 | #Constraints: 74000
2618.82/2625.75 c #Conflicts: 1466000 | #Constraints: 75000
2618.82/2625.75 c #Conflicts: 1467000 | #Constraints: 76000
2618.82/2625.75 c INPROCESSING
2618.82/2625.75 c GARBAGE COLLECT
2618.82/2625.75 c #Conflicts: 1468000 | #Constraints: 52993
2618.82/2625.75 c #Conflicts: 1469000 | #Constraints: 53993
2618.82/2625.75 c #Conflicts: 1470000 | #Constraints: 54993
2618.82/2625.75 c #Conflicts: 1471000 | #Constraints: 55993
2618.82/2625.75 c #Conflicts: 1472000 | #Constraints: 56993
2618.82/2625.75 c #Conflicts: 1473000 | #Constraints: 57993
2618.82/2625.75 c #Conflicts: 1474000 | #Constraints: 58993
2618.82/2625.75 c #Conflicts: 1475000 | #Constraints: 59993
2618.82/2625.75 c #Conflicts: 1476000 | #Constraints: 60993
2618.82/2625.75 c #Conflicts: 1477000 | #Constraints: 61993
2618.82/2625.76 c #Conflicts: 1478000 | #Constraints: 62993
2618.82/2625.76 c #Conflicts: 1479000 | #Constraints: 63993
2618.82/2625.76 c #Conflicts: 1480000 | #Constraints: 64993
2618.82/2625.76 c #Conflicts: 1481000 | #Constraints: 65993
2618.82/2625.76 c #Conflicts: 1482000 | #Constraints: 66993
2618.82/2625.76 c #Conflicts: 1483000 | #Constraints: 67993
2618.82/2625.76 c #Conflicts: 1484000 | #Constraints: 68993
2618.82/2625.76 c #Conflicts: 1485000 | #Constraints: 69993
2618.82/2625.76 c #Conflicts: 1486000 | #Constraints: 70993
2618.82/2625.76 c #Conflicts: 1487000 | #Constraints: 71993
2618.82/2625.76 c #Conflicts: 1488000 | #Constraints: 72993
2618.82/2625.76 c #Conflicts: 1489000 | #Constraints: 73993
2618.82/2625.76 c #Conflicts: 1490000 | #Constraints: 74993
2618.82/2625.76 c #Conflicts: 1491000 | #Constraints: 75993
2618.82/2625.76 c INPROCESSING
2618.82/2625.76 c GARBAGE COLLECT
2618.82/2625.76 c #Conflicts: 1492000 | #Constraints: 52778
2618.82/2625.76 c #Conflicts: 1493000 | #Constraints: 53778
2618.82/2625.76 c #Conflicts: 1494000 | #Constraints: 54778
2618.82/2625.76 c #Conflicts: 1495000 | #Constraints: 55778
2618.82/2625.76 c #Conflicts: 1496000 | #Constraints: 56778
2782.24/2789.50 c #Conflicts: 1497000 | #Constraints: 57778
2782.24/2789.50 c #Conflicts: 1498000 | #Constraints: 58778
2782.24/2789.50 c #Conflicts: 1499000 | #Constraints: 59778
2782.24/2789.50 c #Conflicts: 1500000 | #Constraints: 60778
2782.24/2789.50 c #Conflicts: 1501000 | #Constraints: 61778
2782.24/2789.50 c #Conflicts: 1502000 | #Constraints: 62778
2782.24/2789.50 c #Conflicts: 1503000 | #Constraints: 63778
2782.24/2789.50 c #Conflicts: 1504000 | #Constraints: 64778
2782.24/2789.50 c #Conflicts: 1505000 | #Constraints: 65778
2782.24/2789.50 c #Conflicts: 1506000 | #Constraints: 66778
2782.24/2789.50 c #Conflicts: 1507000 | #Constraints: 67778
2782.24/2789.50 c #Conflicts: 1508000 | #Constraints: 68778
2782.24/2789.50 c #Conflicts: 1509000 | #Constraints: 69778
2782.24/2789.50 c #Conflicts: 1510000 | #Constraints: 70778
2782.24/2789.50 c #Conflicts: 1511000 | #Constraints: 71778
2782.24/2789.50 c #Conflicts: 1512000 | #Constraints: 72778
2782.24/2789.50 c #Conflicts: 1513000 | #Constraints: 73778
2782.24/2789.50 c #Conflicts: 1514000 | #Constraints: 74778
2782.24/2789.50 c #Conflicts: 1515000 | #Constraints: 75778
2782.24/2789.50 c #Conflicts: 1516000 | #Constraints: 76778
2782.24/2789.50 c INPROCESSING
2782.24/2789.50 c GARBAGE COLLECT
2782.24/2789.50 c #Conflicts: 1517000 | #Constraints: 53377
2782.24/2789.50 c #Conflicts: 1518000 | #Constraints: 54377
2782.24/2789.50 c #Conflicts: 1519000 | #Constraints: 55377
2782.24/2789.50 c #Conflicts: 1520000 | #Constraints: 56377
2782.24/2789.50 c #Conflicts: 1521000 | #Constraints: 57377
2782.24/2789.50 c #Conflicts: 1522000 | #Constraints: 58377
2782.24/2789.50 c #Conflicts: 1523000 | #Constraints: 59377
2782.24/2789.50 c #Conflicts: 1524000 | #Constraints: 60377
2782.24/2789.50 c #Conflicts: 1525000 | #Constraints: 61377
2782.24/2789.50 c #Conflicts: 1526000 | #Constraints: 62377
2782.24/2789.50 c #Conflicts: 1527000 | #Constraints: 63377
2782.24/2789.50 c #Conflicts: 1528000 | #Constraints: 64377
2782.24/2789.50 c #Conflicts: 1529000 | #Constraints: 65377
2782.24/2789.50 c #Conflicts: 1530000 | #Constraints: 66377
2782.24/2789.50 c #Conflicts: 1531000 | #Constraints: 67377
2782.24/2789.50 c #Conflicts: 1532000 | #Constraints: 68377
2782.24/2789.50 c #Conflicts: 1533000 | #Constraints: 69377
2782.24/2789.50 c #Conflicts: 1534000 | #Constraints: 70377
2782.24/2789.50 c #Conflicts: 1535000 | #Constraints: 71377
2782.24/2789.50 c #Conflicts: 1536000 | #Constraints: 72377
2782.24/2789.50 c #Conflicts: 1537000 | #Constraints: 73377
2782.24/2789.50 c #Conflicts: 1538000 | #Constraints: 74377
2782.24/2789.50 c #Conflicts: 1539000 | #Constraints: 75377
2782.24/2789.50 c #Conflicts: 1540000 | #Constraints: 76377
2782.24/2789.50 c #Conflicts: 1541000 | #Constraints: 77377
2782.24/2789.50 c INPROCESSING
2782.24/2789.50 c GARBAGE COLLECT
2782.24/2789.50 c #Conflicts: 1542000 | #Constraints: 53803
2782.24/2789.50 c #Conflicts: 1543000 | #Constraints: 54803
2782.24/2789.50 c #Conflicts: 1544000 | #Constraints: 55803
2782.24/2789.50 c #Conflicts: 1545000 | #Constraints: 56803
2782.24/2789.50 c #Conflicts: 1546000 | #Constraints: 57803
2782.24/2789.50 c #Conflicts: 1547000 | #Constraints: 58803
2782.24/2789.50 c #Conflicts: 1548000 | #Constraints: 59803
2782.24/2789.50 c #Conflicts: 1549000 | #Constraints: 60803
2782.24/2789.50 c #Conflicts: 1550000 | #Constraints: 61803
2782.24/2789.50 c #Conflicts: 1551000 | #Constraints: 62803
2782.24/2789.50 c #Conflicts: 1552000 | #Constraints: 63803
2782.24/2789.50 c #Conflicts: 1553000 | #Constraints: 64803
2782.24/2789.50 c #Conflicts: 1554000 | #Constraints: 65803
2782.24/2789.50 c #Conflicts: 1555000 | #Constraints: 66803
2782.24/2789.50 c #Conflicts: 1556000 | #Constraints: 67803
2782.24/2789.50 c #Conflicts: 1557000 | #Constraints: 68803
2782.24/2789.50 c #Conflicts: 1558000 | #Constraints: 69803
2782.24/2789.50 c #Conflicts: 1559000 | #Constraints: 70803
2782.24/2789.50 c #Conflicts: 1560000 | #Constraints: 71803
2782.24/2789.50 c #Conflicts: 1561000 | #Constraints: 72803
2782.24/2789.50 c #Conflicts: 1562000 | #Constraints: 73803
2782.24/2789.50 c #Conflicts: 1563000 | #Constraints: 74803
2782.24/2789.50 c #Conflicts: 1564000 | #Constraints: 75803
2782.24/2789.50 c #Conflicts: 1565000 | #Constraints: 76803
2782.24/2789.50 c #Conflicts: 1566000 | #Constraints: 77803
2782.24/2789.50 c INPROCESSING
2782.24/2789.50 c GARBAGE COLLECT
2782.24/2789.50 c #Conflicts: 1567000 | #Constraints: 54020
2782.24/2789.50 c #Conflicts: 1568000 | #Constraints: 55020
2782.24/2789.50 c #Conflicts: 1569000 | #Constraints: 56020
2782.24/2789.50 c #Conflicts: 1570000 | #Constraints: 57020
2782.24/2789.50 c #Conflicts: 1571000 | #Constraints: 58020
2782.24/2789.50 c #Conflicts: 1572000 | #Constraints: 59020
2782.24/2789.50 c #Conflicts: 1573000 | #Constraints: 60020
2943.56/2951.22 c #Conflicts: 1574000 | #Constraints: 61020
2943.56/2951.22 c #Conflicts: 1575000 | #Constraints: 62020
2943.56/2951.22 c #Conflicts: 1576000 | #Constraints: 63020
2943.56/2951.22 c #Conflicts: 1577000 | #Constraints: 64020
2943.56/2951.22 c #Conflicts: 1578000 | #Constraints: 65020
2943.56/2951.22 c #Conflicts: 1579000 | #Constraints: 66020
2943.56/2951.22 c #Conflicts: 1580000 | #Constraints: 67020
2943.56/2951.22 c #Conflicts: 1581000 | #Constraints: 68020
2943.56/2951.22 c #Conflicts: 1582000 | #Constraints: 69020
2943.56/2951.22 c #Conflicts: 1583000 | #Constraints: 70020
2943.56/2951.22 c #Conflicts: 1584000 | #Constraints: 71020
2943.56/2951.22 c #Conflicts: 1585000 | #Constraints: 72020
2943.56/2951.22 c #Conflicts: 1586000 | #Constraints: 73020
2943.56/2951.22 c #Conflicts: 1587000 | #Constraints: 74020
2943.56/2951.22 c #Conflicts: 1588000 | #Constraints: 75020
2943.56/2951.22 c #Conflicts: 1589000 | #Constraints: 76020
2943.56/2951.22 c #Conflicts: 1590000 | #Constraints: 77020
2943.56/2951.22 c #Conflicts: 1591000 | #Constraints: 78020
2943.56/2951.22 c INPROCESSING
2943.56/2951.22 c GARBAGE COLLECT
2943.56/2951.22 c #Conflicts: 1592000 | #Constraints: 53992
2943.56/2951.22 c #Conflicts: 1593000 | #Constraints: 54992
2943.56/2951.22 c #Conflicts: 1594000 | #Constraints: 55992
2943.56/2951.22 c #Conflicts: 1595000 | #Constraints: 56992
2943.56/2951.22 c #Conflicts: 1596000 | #Constraints: 57992
2943.56/2951.22 c #Conflicts: 1597000 | #Constraints: 58992
2943.56/2951.22 c #Conflicts: 1598000 | #Constraints: 59992
2943.56/2951.22 c #Conflicts: 1599000 | #Constraints: 60992
2943.56/2951.22 c #Conflicts: 1600000 | #Constraints: 61992
2943.56/2951.22 c #Conflicts: 1601000 | #Constraints: 62992
2943.56/2951.22 c #Conflicts: 1602000 | #Constraints: 63992
2943.56/2951.22 c #Conflicts: 1603000 | #Constraints: 64992
2943.56/2951.22 c #Conflicts: 1604000 | #Constraints: 65992
2943.56/2951.22 c #Conflicts: 1605000 | #Constraints: 66992
2943.56/2951.22 c #Conflicts: 1606000 | #Constraints: 67992
2943.56/2951.22 c #Conflicts: 1607000 | #Constraints: 68992
2943.56/2951.22 c #Conflicts: 1608000 | #Constraints: 69992
2943.56/2951.22 c #Conflicts: 1609000 | #Constraints: 70992
2943.56/2951.22 c #Conflicts: 1610000 | #Constraints: 71992
2943.56/2951.22 c #Conflicts: 1611000 | #Constraints: 72992
2943.56/2951.22 c #Conflicts: 1612000 | #Constraints: 73992
2943.56/2951.22 c #Conflicts: 1613000 | #Constraints: 74992
2943.56/2951.22 c #Conflicts: 1614000 | #Constraints: 75992
2943.56/2951.22 c #Conflicts: 1615000 | #Constraints: 76992
2943.56/2951.22 c #Conflicts: 1616000 | #Constraints: 77992
2943.56/2951.22 c INPROCESSING
2943.56/2951.22 c GARBAGE COLLECT
2943.56/2951.22 c #Conflicts: 1617000 | #Constraints: 53799
2943.56/2951.22 c #Conflicts: 1618000 | #Constraints: 54799
2943.56/2951.22 c #Conflicts: 1619000 | #Constraints: 55799
2943.56/2951.22 c #Conflicts: 1620000 | #Constraints: 56799
2943.56/2951.22 c #Conflicts: 1621000 | #Constraints: 57799
2943.56/2951.22 c #Conflicts: 1622000 | #Constraints: 58799
2943.56/2951.22 c #Conflicts: 1623000 | #Constraints: 59799
2943.56/2951.22 c #Conflicts: 1624000 | #Constraints: 60799
2943.56/2951.22 c #Conflicts: 1625000 | #Constraints: 61799
2943.56/2951.22 c #Conflicts: 1626000 | #Constraints: 62799
2943.56/2951.22 c #Conflicts: 1627000 | #Constraints: 63799
2943.56/2951.22 c #Conflicts: 1628000 | #Constraints: 64799
2943.56/2951.22 c #Conflicts: 1629000 | #Constraints: 65799
2943.56/2951.22 c #Conflicts: 1630000 | #Constraints: 66799
2943.56/2951.22 c #Conflicts: 1631000 | #Constraints: 67799
2943.56/2951.22 c #Conflicts: 1632000 | #Constraints: 68799
2943.56/2951.22 c #Conflicts: 1633000 | #Constraints: 69799
2943.56/2951.22 c #Conflicts: 1634000 | #Constraints: 70799
2943.56/2951.22 c #Conflicts: 1635000 | #Constraints: 71799
2943.56/2951.22 c #Conflicts: 1636000 | #Constraints: 72799
2943.56/2951.22 c #Conflicts: 1637000 | #Constraints: 73799
2943.56/2951.22 c #Conflicts: 1638000 | #Constraints: 74799
2943.56/2951.22 c #Conflicts: 1639000 | #Constraints: 75799
2943.56/2951.22 c #Conflicts: 1640000 | #Constraints: 76799
2943.56/2951.22 c #Conflicts: 1641000 | #Constraints: 77799
2943.56/2951.22 c #Conflicts: 1642000 | #Constraints: 78799
2943.56/2951.22 c INPROCESSING
2943.56/2951.22 c GARBAGE COLLECT
2943.56/2951.22 c #Conflicts: 1643000 | #Constraints: 54376
2943.56/2951.22 c #Conflicts: 1644000 | #Constraints: 55376
2943.56/2951.22 c #Conflicts: 1645000 | #Constraints: 56376
2943.56/2951.22 c #Conflicts: 1646000 | #Constraints: 57376
2943.56/2951.22 c #Conflicts: 1647000 | #Constraints: 58376
2943.56/2951.22 c #Conflicts: 1648000 | #Constraints: 59376
2943.56/2951.22 c #Conflicts: 1649000 | #Constraints: 60376
2943.56/2951.22 c #Conflicts: 1650000 | #Constraints: 61376
3129.58/3137.79 c #Conflicts: 1651000 | #Constraints: 62376
3129.58/3137.79 c #Conflicts: 1652000 | #Constraints: 63376
3129.58/3137.79 c #Conflicts: 1653000 | #Constraints: 64376
3129.58/3137.79 c #Conflicts: 1654000 | #Constraints: 65376
3129.58/3137.79 c #Conflicts: 1655000 | #Constraints: 66376
3129.58/3137.79 c #Conflicts: 1656000 | #Constraints: 67376
3129.58/3137.79 c #Conflicts: 1657000 | #Constraints: 68376
3129.58/3137.79 c #Conflicts: 1658000 | #Constraints: 69376
3129.58/3137.79 c #Conflicts: 1659000 | #Constraints: 70376
3129.58/3137.79 c #Conflicts: 1660000 | #Constraints: 71376
3129.58/3137.79 c #Conflicts: 1661000 | #Constraints: 72376
3129.58/3137.79 c #Conflicts: 1662000 | #Constraints: 73376
3129.58/3137.79 c #Conflicts: 1663000 | #Constraints: 74376
3129.58/3137.79 c #Conflicts: 1664000 | #Constraints: 75376
3129.58/3137.79 c #Conflicts: 1665000 | #Constraints: 76376
3129.58/3137.79 c #Conflicts: 1666000 | #Constraints: 77376
3129.58/3137.79 c #Conflicts: 1667000 | #Constraints: 78376
3129.58/3137.79 c #Conflicts: 1668000 | #Constraints: 79376
3129.58/3137.79 c INPROCESSING
3129.58/3137.79 c GARBAGE COLLECT
3129.58/3137.79 c #Conflicts: 1669000 | #Constraints: 54772
3129.58/3137.79 c #Conflicts: 1670000 | #Constraints: 55772
3129.58/3137.79 c #Conflicts: 1671000 | #Constraints: 56772
3129.58/3137.79 c #Conflicts: 1672000 | #Constraints: 57772
3129.58/3137.79 c #Conflicts: 1673000 | #Constraints: 58772
3129.58/3137.79 c #Conflicts: 1674000 | #Constraints: 59772
3129.58/3137.79 c #Conflicts: 1675000 | #Constraints: 60772
3129.58/3137.79 c #Conflicts: 1676000 | #Constraints: 61772
3129.58/3137.79 c #Conflicts: 1677000 | #Constraints: 62772
3129.58/3137.79 c #Conflicts: 1678000 | #Constraints: 63772
3129.58/3137.79 c #Conflicts: 1679000 | #Constraints: 64772
3129.58/3137.79 c #Conflicts: 1680000 | #Constraints: 65772
3129.58/3137.79 c #Conflicts: 1681000 | #Constraints: 66772
3129.58/3137.79 c #Conflicts: 1682000 | #Constraints: 67772
3129.58/3137.79 c #Conflicts: 1683000 | #Constraints: 68772
3129.58/3137.79 c #Conflicts: 1684000 | #Constraints: 69772
3129.58/3137.79 c #Conflicts: 1685000 | #Constraints: 70772
3129.58/3137.79 c #Conflicts: 1686000 | #Constraints: 71772
3129.58/3137.79 c #Conflicts: 1687000 | #Constraints: 72772
3129.58/3137.79 c #Conflicts: 1688000 | #Constraints: 73772
3129.58/3137.79 c #Conflicts: 1689000 | #Constraints: 74772
3129.58/3137.79 c #Conflicts: 1690000 | #Constraints: 75772
3129.58/3137.79 c #Conflicts: 1691000 | #Constraints: 76772
3129.58/3137.79 c #Conflicts: 1692000 | #Constraints: 77772
3129.58/3137.79 c #Conflicts: 1693000 | #Constraints: 78772
3129.58/3137.79 c #Conflicts: 1694000 | #Constraints: 79772
3129.58/3137.79 c INPROCESSING
3129.58/3137.79 c GARBAGE COLLECT
3129.58/3137.79 c #Conflicts: 1695000 | #Constraints: 54992
3129.58/3137.79 c #Conflicts: 1696000 | #Constraints: 55992
3129.58/3137.79 c #Conflicts: 1697000 | #Constraints: 56992
3129.58/3137.79 c #Conflicts: 1698000 | #Constraints: 57992
3129.58/3137.79 c #Conflicts: 1699000 | #Constraints: 58992
3129.58/3137.79 c #Conflicts: 1700000 | #Constraints: 59992
3129.58/3137.79 c #Conflicts: 1701000 | #Constraints: 60992
3129.58/3137.79 c #Conflicts: 1702000 | #Constraints: 61992
3129.58/3137.79 c #Conflicts: 1703000 | #Constraints: 62992
3129.58/3137.79 c #Conflicts: 1704000 | #Constraints: 63992
3129.58/3137.79 c #Conflicts: 1705000 | #Constraints: 64992
3129.58/3137.79 c #Conflicts: 1706000 | #Constraints: 65992
3129.58/3137.79 c #Conflicts: 1707000 | #Constraints: 66992
3129.58/3137.79 c #Conflicts: 1708000 | #Constraints: 67992
3129.58/3137.79 c #Conflicts: 1709000 | #Constraints: 68992
3129.58/3137.79 c #Conflicts: 1710000 | #Constraints: 69992
3129.58/3137.79 c #Conflicts: 1711000 | #Constraints: 70992
3129.58/3137.79 c #Conflicts: 1712000 | #Constraints: 71992
3129.58/3137.79 c #Conflicts: 1713000 | #Constraints: 72992
3129.58/3137.79 c #Conflicts: 1714000 | #Constraints: 73992
3129.58/3137.79 c #Conflicts: 1715000 | #Constraints: 74992
3129.58/3137.79 c #Conflicts: 1716000 | #Constraints: 75992
3129.58/3137.79 c #Conflicts: 1717000 | #Constraints: 76992
3129.58/3137.79 c #Conflicts: 1718000 | #Constraints: 77992
3129.58/3137.79 c #Conflicts: 1719000 | #Constraints: 78992
3129.58/3137.79 c #Conflicts: 1720000 | #Constraints: 79992
3129.58/3137.79 c INPROCESSING
3129.58/3137.79 c GARBAGE COLLECT
3129.58/3137.79 c #Conflicts: 1721000 | #Constraints: 54981
3129.58/3137.79 c #Conflicts: 1722000 | #Constraints: 55981
3129.58/3137.79 c #Conflicts: 1723000 | #Constraints: 56981
3129.58/3137.79 c #Conflicts: 1724000 | #Constraints: 57981
3129.58/3137.79 c #Conflicts: 1725000 | #Constraints: 58981
3129.58/3137.79 c #Conflicts: 1726000 | #Constraints: 59981
3326.78/3335.41 c #Conflicts: 1727000 | #Constraints: 60981
3326.78/3335.41 c #Conflicts: 1728000 | #Constraints: 61981
3326.78/3335.41 c #Conflicts: 1729000 | #Constraints: 62981
3326.78/3335.41 c #Conflicts: 1730000 | #Constraints: 63981
3326.78/3335.41 c #Conflicts: 1731000 | #Constraints: 64981
3326.78/3335.41 c #Conflicts: 1732000 | #Constraints: 65981
3326.78/3335.41 c #Conflicts: 1733000 | #Constraints: 66981
3326.78/3335.41 c #Conflicts: 1734000 | #Constraints: 67981
3326.78/3335.41 c #Conflicts: 1735000 | #Constraints: 68981
3326.78/3335.41 c #Conflicts: 1736000 | #Constraints: 69981
3326.78/3335.41 c #Conflicts: 1737000 | #Constraints: 70981
3326.78/3335.41 c #Conflicts: 1738000 | #Constraints: 71981
3326.78/3335.41 c #Conflicts: 1739000 | #Constraints: 72981
3326.78/3335.41 c #Conflicts: 1740000 | #Constraints: 73981
3326.78/3335.41 c #Conflicts: 1741000 | #Constraints: 74981
3326.78/3335.41 c #Conflicts: 1742000 | #Constraints: 75981
3326.78/3335.41 c #Conflicts: 1743000 | #Constraints: 76981
3326.78/3335.41 c #Conflicts: 1744000 | #Constraints: 77981
3326.78/3335.41 c #Conflicts: 1745000 | #Constraints: 78981
3326.78/3335.41 c #Conflicts: 1746000 | #Constraints: 79981
3326.78/3335.41 c INPROCESSING
3326.78/3335.41 c GARBAGE COLLECT
3326.78/3335.41 c #Conflicts: 1747000 | #Constraints: 54800
3326.78/3335.41 c #Conflicts: 1748000 | #Constraints: 55800
3326.78/3335.41 c #Conflicts: 1749000 | #Constraints: 56800
3326.78/3335.41 c #Conflicts: 1750000 | #Constraints: 57800
3326.78/3335.41 c #Conflicts: 1751000 | #Constraints: 58800
3326.78/3335.41 c #Conflicts: 1752000 | #Constraints: 59800
3326.78/3335.41 c #Conflicts: 1753000 | #Constraints: 60800
3326.78/3335.41 c #Conflicts: 1754000 | #Constraints: 61800
3326.78/3335.41 c #Conflicts: 1755000 | #Constraints: 62800
3326.78/3335.41 c #Conflicts: 1756000 | #Constraints: 63800
3326.78/3335.41 c #Conflicts: 1757000 | #Constraints: 64800
3326.78/3335.41 c #Conflicts: 1758000 | #Constraints: 65800
3326.78/3335.41 c #Conflicts: 1759000 | #Constraints: 66800
3326.78/3335.41 c #Conflicts: 1760000 | #Constraints: 67800
3326.78/3335.41 c #Conflicts: 1761000 | #Constraints: 68800
3326.78/3335.41 c #Conflicts: 1762000 | #Constraints: 69800
3326.78/3335.41 c #Conflicts: 1763000 | #Constraints: 70800
3326.78/3335.41 c #Conflicts: 1764000 | #Constraints: 71800
3326.78/3335.41 c #Conflicts: 1765000 | #Constraints: 72800
3326.78/3335.41 c #Conflicts: 1766000 | #Constraints: 73800
3326.78/3335.41 c #Conflicts: 1767000 | #Constraints: 74800
3326.78/3335.41 c #Conflicts: 1768000 | #Constraints: 75800
3326.78/3335.41 c #Conflicts: 1769000 | #Constraints: 76800
3326.78/3335.41 c #Conflicts: 1770000 | #Constraints: 77800
3326.78/3335.41 c #Conflicts: 1771000 | #Constraints: 78800
3326.78/3335.41 c #Conflicts: 1772000 | #Constraints: 79800
3326.78/3335.41 c #Conflicts: 1773000 | #Constraints: 80800
3326.78/3335.41 c INPROCESSING
3326.78/3335.41 c GARBAGE COLLECT
3326.78/3335.41 c #Conflicts: 1774000 | #Constraints: 55380
3326.78/3335.41 c #Conflicts: 1775000 | #Constraints: 56380
3326.78/3335.41 c #Conflicts: 1776000 | #Constraints: 57380
3326.78/3335.41 c #Conflicts: 1777000 | #Constraints: 58380
3326.78/3335.41 c #Conflicts: 1778000 | #Constraints: 59380
3326.78/3335.41 c #Conflicts: 1779000 | #Constraints: 60380
3326.78/3335.41 c #Conflicts: 1780000 | #Constraints: 61380
3326.78/3335.41 c #Conflicts: 1781000 | #Constraints: 62380
3326.78/3335.41 c #Conflicts: 1782000 | #Constraints: 63380
3326.78/3335.41 c #Conflicts: 1783000 | #Constraints: 64380
3326.78/3335.41 c #Conflicts: 1784000 | #Constraints: 65380
3326.78/3335.41 c #Conflicts: 1785000 | #Constraints: 66380
3326.78/3335.41 c #Conflicts: 1786000 | #Constraints: 67380
3326.78/3335.41 c #Conflicts: 1787000 | #Constraints: 68380
3326.78/3335.41 c #Conflicts: 1788000 | #Constraints: 69380
3326.78/3335.41 c #Conflicts: 1789000 | #Constraints: 70380
3326.78/3335.41 c #Conflicts: 1790000 | #Constraints: 71380
3326.78/3335.41 c #Conflicts: 1791000 | #Constraints: 72380
3326.78/3335.41 c #Conflicts: 1792000 | #Constraints: 73380
3326.78/3335.41 c #Conflicts: 1793000 | #Constraints: 74380
3326.78/3335.41 c #Conflicts: 1794000 | #Constraints: 75380
3326.78/3335.41 c #Conflicts: 1795000 | #Constraints: 76380
3326.78/3335.41 c #Conflicts: 1796000 | #Constraints: 77380
3326.78/3335.41 c #Conflicts: 1797000 | #Constraints: 78380
3326.78/3335.41 c #Conflicts: 1798000 | #Constraints: 79380
3326.78/3335.41 c #Conflicts: 1799000 | #Constraints: 80380
3326.78/3335.41 c #Conflicts: 1800000 | #Constraints: 81380
3326.78/3335.41 c INPROCESSING
3326.78/3335.41 c GARBAGE COLLECT
3326.78/3335.41 c #Conflicts: 1801000 | #Constraints: 55782
3326.78/3335.41 c #Conflicts: 1802000 | #Constraints: 56782
3326.78/3335.41 c #Conflicts: 1803000 | #Constraints: 57782
3521.57/3530.73 c #Conflicts: 1804000 | #Constraints: 58782
3521.57/3530.73 c #Conflicts: 1805000 | #Constraints: 59782
3521.57/3530.73 c #Conflicts: 1806000 | #Constraints: 60782
3521.57/3530.73 c #Conflicts: 1807000 | #Constraints: 61782
3521.57/3530.73 c #Conflicts: 1808000 | #Constraints: 62782
3521.57/3530.73 c #Conflicts: 1809000 | #Constraints: 63782
3521.57/3530.73 c #Conflicts: 1810000 | #Constraints: 64782
3521.57/3530.73 c #Conflicts: 1811000 | #Constraints: 65782
3521.57/3530.73 c #Conflicts: 1812000 | #Constraints: 66782
3521.57/3530.73 c #Conflicts: 1813000 | #Constraints: 67782
3521.57/3530.73 c #Conflicts: 1814000 | #Constraints: 68782
3521.57/3530.73 c #Conflicts: 1815000 | #Constraints: 69782
3521.57/3530.73 c #Conflicts: 1816000 | #Constraints: 70782
3521.57/3530.73 c #Conflicts: 1817000 | #Constraints: 71782
3521.57/3530.73 c #Conflicts: 1818000 | #Constraints: 72782
3521.57/3530.73 c #Conflicts: 1819000 | #Constraints: 73782
3521.57/3530.73 c #Conflicts: 1820000 | #Constraints: 74782
3521.57/3530.73 c #Conflicts: 1821000 | #Constraints: 75782
3521.57/3530.73 c #Conflicts: 1822000 | #Constraints: 76782
3521.57/3530.73 c #Conflicts: 1823000 | #Constraints: 77782
3521.57/3530.73 c #Conflicts: 1824000 | #Constraints: 78782
3521.57/3530.73 c #Conflicts: 1825000 | #Constraints: 79782
3521.57/3530.73 c #Conflicts: 1826000 | #Constraints: 80782
3521.57/3530.73 c #Conflicts: 1827000 | #Constraints: 81782
3521.57/3530.73 c INPROCESSING
3521.57/3530.73 c GARBAGE COLLECT
3521.57/3530.73 c #Conflicts: 1828000 | #Constraints: 55984
3521.57/3530.73 c #Conflicts: 1829000 | #Constraints: 56984
3521.57/3530.73 c #Conflicts: 1830000 | #Constraints: 57984
3521.57/3530.73 c #Conflicts: 1831000 | #Constraints: 58984
3521.57/3530.73 c #Conflicts: 1832000 | #Constraints: 59984
3521.57/3530.73 c #Conflicts: 1833000 | #Constraints: 60984
3521.57/3530.73 c #Conflicts: 1834000 | #Constraints: 61984
3521.57/3530.73 c #Conflicts: 1835000 | #Constraints: 62984
3521.57/3530.73 c #Conflicts: 1836000 | #Constraints: 63984
3521.57/3530.73 c #Conflicts: 1837000 | #Constraints: 64984
3521.57/3530.73 c #Conflicts: 1838000 | #Constraints: 65984
3521.57/3530.73 c #Conflicts: 1839000 | #Constraints: 66984
3521.57/3530.73 c #Conflicts: 1840000 | #Constraints: 67984
3521.57/3530.73 c #Conflicts: 1841000 | #Constraints: 68984
3521.57/3530.73 c #Conflicts: 1842000 | #Constraints: 69984
3521.57/3530.73 c #Conflicts: 1843000 | #Constraints: 70984
3521.57/3530.73 c #Conflicts: 1844000 | #Constraints: 71984
3521.57/3530.73 c #Conflicts: 1845000 | #Constraints: 72984
3521.57/3530.73 c #Conflicts: 1846000 | #Constraints: 73984
3521.57/3530.73 c #Conflicts: 1847000 | #Constraints: 74984
3521.57/3530.73 c #Conflicts: 1848000 | #Constraints: 75984
3521.57/3530.73 c #Conflicts: 1849000 | #Constraints: 76984
3521.57/3530.73 c #Conflicts: 1850000 | #Constraints: 77984
3521.57/3530.73 c #Conflicts: 1851000 | #Constraints: 78984
3521.57/3530.73 c #Conflicts: 1852000 | #Constraints: 79984
3521.57/3530.73 c #Conflicts: 1853000 | #Constraints: 80984
3521.57/3530.73 c #Conflicts: 1854000 | #Constraints: 81984
3521.57/3530.73 c INPROCESSING
3521.57/3530.73 c GARBAGE COLLECT
3521.57/3530.73 c #Conflicts: 1855000 | #Constraints: 55977
3521.57/3530.73 c #Conflicts: 1856000 | #Constraints: 56977
3521.57/3530.73 c #Conflicts: 1857000 | #Constraints: 57977
3521.57/3530.73 c #Conflicts: 1858000 | #Constraints: 58977
3521.57/3530.73 c #Conflicts: 1859000 | #Constraints: 59977
3521.57/3530.73 c #Conflicts: 1860000 | #Constraints: 60977
3521.57/3530.73 c #Conflicts: 1861000 | #Constraints: 61977
3521.57/3530.73 c #Conflicts: 1862000 | #Constraints: 62977
3521.57/3530.73 c #Conflicts: 1863000 | #Constraints: 63977
3521.57/3530.73 c #Conflicts: 1864000 | #Constraints: 64977
3521.57/3530.73 c #Conflicts: 1865000 | #Constraints: 65977
3521.57/3530.73 c #Conflicts: 1866000 | #Constraints: 66977
3521.57/3530.73 c #Conflicts: 1867000 | #Constraints: 67977
3521.57/3530.73 c #Conflicts: 1868000 | #Constraints: 68977
3521.57/3530.73 c #Conflicts: 1869000 | #Constraints: 69977
3521.57/3530.73 c #Conflicts: 1870000 | #Constraints: 70977
3521.57/3530.73 c #Conflicts: 1871000 | #Constraints: 71977
3521.57/3530.73 c #Conflicts: 1872000 | #Constraints: 72977
3521.57/3530.73 c #Conflicts: 1873000 | #Constraints: 73977
3521.57/3530.73 c #Conflicts: 1874000 | #Constraints: 74977
3521.57/3530.73 c #Conflicts: 1875000 | #Constraints: 75977
3521.57/3530.73 c #Conflicts: 1876000 | #Constraints: 76977
3521.57/3530.73 c #Conflicts: 1877000 | #Constraints: 77977
3521.57/3530.73 c #Conflicts: 1878000 | #Constraints: 78977
3521.57/3530.73 c #Conflicts: 1879000 | #Constraints: 79977
3521.57/3530.73 c #Conflicts: 1880000 | #Constraints: 80977
3521.57/3530.73 c #Conflicts: 1881000 | #Constraints: 81977
3600.07/3609.49 c INPROCESSING
3600.07/3609.49 c GARBAGE COLLECT
3600.07/3609.49 c #Conflicts: 1882000 | #Constraints: 55810
3600.07/3609.49 c #Conflicts: 1883000 | #Constraints: 56810
3600.07/3609.49 c #Conflicts: 1884000 | #Constraints: 57810
3600.07/3609.49 c #Conflicts: 1885000 | #Constraints: 58810
3600.07/3609.49 c #Conflicts: 1886000 | #Constraints: 59810
3600.07/3609.49 c #Conflicts: 1887000 | #Constraints: 60810
3600.07/3609.49 c #Conflicts: 1888000 | #Constraints: 61810
3600.07/3609.49 c #Conflicts: 1889000 | #Constraints: 62810
3600.07/3609.49 c #Conflicts: 1890000 | #Constraints: 63810
3600.07/3609.49 c #Conflicts: 1891000 | #Constraints: 64810
3600.07/3609.49 c #Conflicts: 1892000 | #Constraints: 65810
3600.07/3609.49 c #Conflicts: 1893000 | #Constraints: 66810
3600.07/3609.49 c #Conflicts: 1894000 | #Constraints: 67810
3600.07/3609.49 c #Conflicts: 1895000 | #Constraints: 68810
3600.07/3609.49 c #Conflicts: 1896000 | #Constraints: 69810
3600.07/3609.49 c #Conflicts: 1897000 | #Constraints: 70810
3600.07/3609.49 c #Conflicts: 1898000 | #Constraints: 71810
3600.07/3609.49 c #Conflicts: 1899000 | #Constraints: 72810
3600.07/3609.49 c #Conflicts: 1900000 | #Constraints: 73810
3600.07/3609.49 c #Conflicts: 1901000 | #Constraints: 74810
3600.07/3609.49 c #Conflicts: 1902000 | #Constraints: 75810
3600.07/3609.49 c #Conflicts: 1903000 | #Constraints: 76810
3600.07/3609.49 c #Conflicts: 1904000 | #Constraints: 77810
3600.07/3609.49 c #Conflicts: 1905000 | #Constraints: 78810
3600.07/3609.49 c #Conflicts: 1906000 | #Constraints: 79810
3600.07/3609.49 c #Conflicts: 1907000 | #Constraints: 80810
3600.07/3609.49 c #Conflicts: 1908000 | #Constraints: 81810
3600.07/3609.49 c #Conflicts: 1909000 | #Constraints: 82810
3600.07/3609.49 c INPROCESSING
3600.07/3609.49 c GARBAGE COLLECT
3600.07/3609.49 c Program interrupted by user.
3600.07/3609.49 c cpu time 3592.75 s
3600.07/3609.49 c deterministic time 620477788992 6.20e+11
3600.07/3609.49 c optimization time 0.01687 s
3600.07/3609.49 c total solve time 3293.57 s
3600.07/3609.49 c core-guided solve time 3293.57 s
3600.07/3609.49 c propagation time 3162.49 s
3600.07/3609.49 c conflict analysis time 100.651 s
3600.07/3609.49 c propagations 40745477
3600.07/3609.49 c resolve steps 14857640
3600.07/3609.49 c decisions 2222956
3600.07/3609.49 c conflicts 1909200
3600.07/3609.49 c restarts 3706
3600.07/3609.49 c inprocessing phases 129
3600.07/3609.49 c input clauses 27985
3600.07/3609.49 c input cardinalities 16
3600.07/3609.49 c input general constraints 0
3600.07/3609.49 c input average constraint length 2.36
3600.07/3609.49 c input average constraint degree 1.25
3600.07/3609.49 c learned clauses 1224611
3600.07/3609.49 c learned cardinalities 529124
3600.07/3609.49 c learned general constraints 155465
3600.07/3609.49 c learned average constraint length 555.33
3600.07/3609.49 c learned average constraint degree 10.02
3600.07/3609.49 c watched constraints 155465
3600.07/3609.49 c counting constraints 0
3600.07/3609.49 c gcd simplifications 91849
3600.07/3609.49 c detected cardinalities 10949
3600.07/3609.49 c weakened non-implied lits 23300634
3600.07/3609.49 c weakened non-implying lits 60539
3600.07/3609.49 c original variables 595
3600.07/3609.49 c clausal propagations 28910457
3600.07/3609.49 c cardinality propagations 6595921
3600.07/3609.49 c watched propagations 589044
3600.07/3609.49 c counting propagations 0
3600.07/3609.49 c watch lookups 32123547749
3600.07/3609.49 c watch backjump lookups 5961360
3600.07/3609.49 c watch checks 585781469922
3600.07/3609.49 c propagation checks 432726091
3600.07/3609.49 c constraint additions 2046237803
3600.07/3609.49 c trail pops 44877633
3600.07/3609.49 c formula constraints 27856
3600.07/3609.49 c learned constraints 1909200
3600.07/3609.49 c bound constraints 16
3600.07/3609.49 c core-guided constraints 129
3600.07/3609.49 c encountered formula constraints 10872749
3600.07/3609.49 c encountered learned constraints 5821373
3600.07/3609.49 c encountered bound constraints 1427
3600.07/3609.49 c encountered core-guided constraints 71291
3600.07/3609.49 c LP total time 0 s
3600.07/3609.49 c LP solve time 0 s
3600.07/3609.49 c LP constraints added 0
3600.07/3609.49 c LP constraints removed 0
3600.07/3609.49 c LP pivots internal 0
3600.07/3609.49 c LP pivots root 0
3600.07/3609.49 c LP calls 0
3600.07/3609.49 c LP optimalities 0
3600.07/3609.49 c LP no pivot count 0
3600.07/3609.49 c LP infeasibilities 0
3600.07/3609.49 c LP valid Farkas constraints 0
3600.07/3609.49 c LP learned Farkas constraints 0
3600.07/3609.49 c LP basis resets 0
3600.07/3609.49 c LP cycling count 0
3600.07/3609.49 c LP singular count 0
3600.07/3609.49 c LP no primal count 0
3600.07/3609.49 c LP no farkas count 0
3600.07/3609.49 c LP other issue count 0
3600.07/3609.49 c LP Gomory cuts 0
3600.07/3609.49 c LP learned cuts 0
3600.07/3609.49 c LP deleted cuts 0
3600.07/3609.49 c LP encountered Gomory constraints 0
3600.07/3609.49 c LP encountered Farkas constraints 0
3600.07/3609.49 c LP encountered learned Farkas constraints 0
3600.07/3609.49 c CG auxiliary variables introduced 129
3600.07/3609.49 c CG solutions found 0
3600.07/3609.49 c CG cores constructed 15
3600.07/3609.49 c CG core cardinality constraints returned 0
3600.07/3609.49 c CG unit cores 0
3600.07/3609.49 c CG single cores 15
3600.07/3609.49 c CG blocks removed during cardinality reduction 0
3600.07/3609.49 c CG first core best 0
3600.07/3609.49 c CG decision core best 0
3600.07/3609.49 c CG core reduction tie 0
3600.07/3609.49 c CG core degree average 1.00
3600.07/3609.49 c CG core slack average 6.87
3600.07/3609.49 c CG exhausted 0
3600.07/3609.49 c CG exhaust time 0 s
3600.07/3609.49 c CG trimmed 3
3600.07/3609.49 c CG trim time 0.000188 s
3600.07/3609.49 c CG minimized 0
3600.07/3609.49 c CG minimize time 0 s
3600.07/3609.49 c CG am1 prop time 0.002129 s
3600.07/3609.49 c CG # am1s reformulated 129
3600.07/3609.49 c CG lower bound derived from am1s 464
3600.07/3609.49 c CG # clausal cores 15
3600.07/3609.49 c CG # cardinality cores 0
3600.07/3609.49 c CG # pb cores 0
3600.07/3609.49 c CG # pb reforms 0
3600.07/3609.49 c CG # cores discarded because of pb reform 0
3600.07/3609.49 d LOWERBOUND -116
3600.07/3609.49 d NCORES 15
3600.07/3609.49 d NPBCORES 0
3600.07/3609.49 d NPBREFORM 0
3600.07/3609.49 d NTRIMMED 3
3600.07/3609.49 d NEXHAUSTED 0
3600.07/3609.49 d NAM1S 129
3600.07/3609.49 d AM1LB 464
3600.07/3609.49 c [Papilo Statistics]
3600.07/3609.49 c prepro time 0.0393332s
3600.07/3609.49 c # tsx applied 0
3600.07/3609.49 c # tsx conflicts 0
3600.07/3609.49 c # bound changes 0
3600.07/3609.49 c # side changes 0
3600.07/3609.49 c # coef changes 0
3600.07/3609.49 c # rounds 1
3600.07/3609.49 c # deted vars 0
3600.07/3609.49 c # deted constrs 0
3600.07/3609.49 c # consecutive rounds of only bound changes 0
3600.07/3609.49 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: 63968 MiB (61260 MiB free)
memory of node 1: 64473 MiB (59324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435518-1721062731/watcher-4435518-1721062731 -o /tmp/evaluation-result-4435518-1721062731/solver-4435518-1721062731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809295 --watchdog 3760 mixed-bag HOME/instance-4435518-1721062731.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811630, runsolver pid=811627
[startup+0.100094 s]*
/proc/loadavg: 4.09 4.10 4.09 5/257 811631
/proc/meminfo: memFree=123462644/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=103284 memory=35712 CPUtime=0.1 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 7296 0 0 0 9 1 0 0 20 0 1 0 158438076 105762816 8928 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 25821 8928 3423 3002 0 9572 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 103284 KiB
Current children cumulated memory: 35712 KiB
[startup+0.205537 s]*
/proc/loadavg: 4.09 4.10 4.09 5/257 811631
/proc/meminfo: memFree=123414064/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=146640 memory=79308 CPUtime=0.2 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 17821 0 0 0 17 3 0 0 20 0 1 0 158438076 150159360 19827 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 36660 19827 3855 3002 0 20411 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 146640 KiB
Current children cumulated memory: 79308 KiB
[startup+0.305493 s]*
/proc/loadavg: 4.09 4.10 4.09 5/257 811631
/proc/meminfo: memFree=123411768/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=149120 memory=81792 CPUtime=0.3 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 19547 0 0 0 27 3 0 0 20 0 1 0 158438076 152698880 20448 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 37280 20448 3855 3002 0 21031 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149120 KiB
Current children cumulated memory: 81792 KiB
[startup+0.700232 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 811631
/proc/meminfo: memFree=123371804/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=226340 memory=151152 CPUtime=0.69 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 33165 0 0 0 63 6 0 0 20 0 1 0 158438076 231772160 37788 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 56585 37788 4087 3002 0 40336 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 226340 KiB
Current children cumulated memory: 151152 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 811631
/proc/meminfo: memFree=123336392/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=244108 memory=162828 CPUtime=1.48 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 36039 0 0 0 142 6 0 0 20 0 1 0 158438076 249966592 40707 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 61027 40707 4103 3002 0 44778 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 244108 KiB
Current children cumulated memory: 162828 KiB
[startup+3.10533 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 811632
/proc/meminfo: memFree=123326176/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=257800 memory=168300 CPUtime=3.08 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 36903 0 0 0 302 6 0 0 20 0 1 0 158438076 263987200 42075 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 64450 42075 4103 3002 0 48201 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 257800 KiB
Current children cumulated memory: 168300 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 811632
/proc/meminfo: memFree=123276044/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=337328 memory=217820 CPUtime=6.27 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 47707 0 0 0 619 8 0 0 20 0 1 0 158438076 345423872 54455 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 84332 54455 4135 3002 0 68083 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 337328 KiB
Current children cumulated memory: 217820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 811634
/proc/meminfo: memFree=123275764/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=337328 memory=217820 CPUtime=12.66 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 47763 0 0 0 1257 9 0 0 20 0 1 0 158438076 345423872 54455 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 84332 54455 4135 3002 0 68083 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 337328 KiB
Current children cumulated memory: 217820 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 811635
/proc/meminfo: memFree=123248156/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=371700 memory=243584 CPUtime=25.42 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 54235 0 0 0 2532 10 0 0 20 0 1 0 158438076 380620800 60896 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 92925 60896 4135 3002 0 76676 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 371700 KiB
Current children cumulated memory: 243584 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 811638
/proc/meminfo: memFree=123217672/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=395412 memory=259672 CPUtime=50.96 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 58228 0 0 0 5085 11 0 0 20 0 1 0 158438076 404901888 64918 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 98853 64918 4135 3002 0 82604 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 395412 KiB
Current children cumulated memory: 259672 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.18 4.12 5/257 811652
/proc/meminfo: memFree=123236436/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=500488 memory=326248 CPUtime=102.03 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 70781 0 0 0 10189 14 0 0 20 0 1 0 158438076 512499712 81562 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 125122 81562 4135 3002 0 108873 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 500488 KiB
Current children cumulated memory: 326248 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 811673
/proc/meminfo: memFree=123159464/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=582008 memory=371656 CPUtime=161.87 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 80602 0 0 0 16172 15 0 0 20 0 1 0 158438076 595976192 92914 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 145502 92914 4135 3002 0 129253 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 582008 KiB
Current children cumulated memory: 371656 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 811729
/proc/meminfo: memFree=126745368/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=654472 memory=425936 CPUtime=221.69 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 91614 0 0 0 22152 17 0 0 20 0 1 0 158438076 670179328 106484 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 163618 106484 4135 3002 0 147369 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 654472 KiB
Current children cumulated memory: 425936 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 811740
/proc/meminfo: memFree=126683116/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=684616 memory=452996 CPUtime=281.51 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 98690 0 0 0 28132 19 0 0 20 0 1 0 158438076 701046784 113249 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 171154 113249 4135 3002 0 154905 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 684616 KiB
Current children cumulated memory: 452996 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 811751
/proc/meminfo: memFree=126706588/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=556760 memory=341344 CPUtime=341.32 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 102361 0 0 0 34079 53 0 0 20 0 1 0 158438076 570122240 85336 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 139190 85336 4263 3002 0 122941 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 556760 KiB
Current children cumulated memory: 341344 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 811761
/proc/meminfo: memFree=126621408/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=575728 memory=351956 CPUtime=401.13 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 102922 0 0 0 40033 80 0 0 20 0 1 0 158438076 589545472 87989 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 143932 87989 4263 3002 0 127683 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 575728 KiB
Current children cumulated memory: 351956 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/255 811771
/proc/meminfo: memFree=126556108/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=575728 memory=358100 CPUtime=460.95 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 102931 0 0 0 45989 106 0 0 20 0 1 0 158438076 589545472 89525 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 143932 89525 4263 3002 0 127683 0
################
# More data... #
################
Current children cumulated memory: 550380 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/254 812860
/proc/meminfo: memFree=126539832/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=552428 CPUtime=2854.88 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 108058 0 0 0 284849 639 0 0 20 0 1 0 158438076 672395264 138107 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 138107 4263 3002 0 147910 0
Current children cumulated CPU time: 2854.88 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 552428 KiB
[startup+2922.3 s]
/proc/loadavg: 4.47 4.20 4.12 5/254 812871
/proc/meminfo: memFree=126522612/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=552428 CPUtime=2914.74 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 108182 0 0 0 290825 649 0 0 20 0 1 0 158438076 672395264 138107 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 138107 4263 3002 0 147910 0
Current children cumulated CPU time: 2914.74 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 552428 KiB
[startup+2982.3 s]
/proc/loadavg: 4.65 4.30 4.16 5/254 812881
/proc/meminfo: memFree=126522164/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=552428 CPUtime=2974.58 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 108318 0 0 0 296802 656 0 0 20 0 1 0 158438076 672395264 138107 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 138107 4263 3002 0 147910 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 552428 KiB
[startup+3042.3 s]
/proc/loadavg: 4.37 4.29 4.16 5/254 812891
/proc/meminfo: memFree=126518508/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=554476 CPUtime=3034.42 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 108453 0 0 0 302778 664 0 0 20 0 1 0 158438076 672395264 138619 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 138619 4263 3002 0 147910 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 554476 KiB
[startup+3102.3 s]
/proc/loadavg: 4.33 4.30 4.17 5/256 812906
/proc/meminfo: memFree=126508136/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=554476 CPUtime=3094.27 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 108591 0 0 0 308754 673 0 0 20 0 1 0 158438076 672395264 138619 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 138619 4263 3002 0 147910 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 554476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.26 4.17 5/256 812916
/proc/meminfo: memFree=126490652/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=556524 CPUtime=3154.11 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 108731 0 0 0 314730 681 0 0 20 0 1 0 158438076 672395264 139131 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 139131 4263 3002 0 147910 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 556524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.22 4.16 5/256 812926
/proc/meminfo: memFree=126489928/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=556524 CPUtime=3213.97 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 108869 0 0 0 320707 690 0 0 20 0 1 0 158438076 672395264 139131 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 139131 4263 3002 0 147910 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 556524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.16 5/256 812937
/proc/meminfo: memFree=126481252/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=558572 CPUtime=3273.81 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 109007 0 0 0 326684 697 0 0 20 0 1 0 158438076 672395264 139643 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 139643 4263 3002 0 147910 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 558572 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.18 4.16 5/256 812948
/proc/meminfo: memFree=126462404/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=558572 CPUtime=3333.66 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 109146 0 0 0 332661 705 0 0 20 0 1 0 158438076 672395264 139643 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 139643 4263 3002 0 147910 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 558572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/255 813342
/proc/meminfo: memFree=126447488/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=558572 CPUtime=3393.5 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 109285 0 0 0 338637 713 0 0 20 0 1 0 158438076 672395264 139643 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 139643 4263 3002 0 147910 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 558572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.16 5/255 813397
/proc/meminfo: memFree=126433224/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=560620 CPUtime=3453.34 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 109419 0 0 0 344612 722 0 0 20 0 1 0 158438076 672395264 140155 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 140155 4263 3002 0 147910 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 560620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.28 4.22 4.17 5/255 813408
/proc/meminfo: memFree=126256144/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=560620 CPUtime=3513.2 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 109558 0 0 0 350589 731 0 0 20 0 1 0 158438076 672395264 140155 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 140155 4263 3002 0 147910 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 560620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.58 4.30 4.20 5/257 813588
/proc/meminfo: memFree=126127628/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=560620 CPUtime=3573.05 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 109701 0 0 0 356565 740 0 0 20 0 1 0 158438076 672395264 140155 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 140155 4263 3002 0 147910 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 560620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.38 4.28 4.20 5/257 813592
/proc/meminfo: memFree=126073476/131524600 swapFree=131071996/131071996
[pid=811630] ppid=811627 vsize=656636 memory=560620 CPUtime=3600.07 cores=4,6
/proc/811630/stat : 811630 (mixed-bag) R 811627 811630 809284 0 -1 4194304 109721 0 0 0 359265 742 0 0 20 0 1 0 158438076 672395264 140155 134679101440 4194304 16487941 140721113117344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36720640 140721113121815 140721113121892 140721113121892 140721113128907 0
/proc/811630/statm: 164159 140155 4263 3002 0 147910 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 656636 KiB
Current children cumulated memory: 560620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 811630 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.75 s, system=7.43037 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.18
CPU user time (s): 3592.75
CPU system time (s): 7.43037
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 689700
Max. memory (cumulated for all children) (KiB): 560620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.75
system time used= 7.43037
maximum resident set size= 561404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109746
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= 91
involuntary context switches= 1593
# summary of solver processes directly reported to runsolver:
# pid: 811630
# total CPU time (s): 3600.18
# total CPU user time (s): 3592.75
# total CPU system time (s): 7.43037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80321 second user time and 16.1578 second system time
The end
Begin job on nodeC023 at 2024-07-15 18:59:04
IDJOB=4435518
IDBENCH=146690
IDSOLVER=3066
FILE ID=nodeC023/4435518-1721062731
RUNJOBID= nodeC023-1721058927-809295
SLURM_JOB_ID= 7505494
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435518-1721062731/watcher-4435518-1721062731 -o /tmp/evaluation-result-4435518-1721062731/solver-4435518-1721062731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809295 --watchdog 3760 mixed-bag HOME/instance-4435518-1721062731.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8
RANDOM SEED=476415945
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3684.830
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3692.732
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3645.754
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3600.342
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3663.430
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3692.767
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3659.944
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.127
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123478860 kB
MemAvailable: 124833928 kB
Buffers: 374888 kB
Cached: 1808516 kB
SwapCached: 0 kB
Active: 706756 kB
Inactive: 6718596 kB
Active(anon): 1596 kB
Inactive(anon): 5278064 kB
Active(file): 705160 kB
Inactive(file): 1440532 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16944 kB
Writeback: 0 kB
AnonPages: 5241144 kB
Mapped: 138628 kB
Shmem: 37720 kB
KReclaimable: 98396 kB
Slab: 204316 kB
SReclaimable: 98396 kB
SUnreclaim: 105920 kB
KernelStack: 4140 kB
PageTables: 20320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6119344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3735552 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC023 at 2024-07-15 19:59:13