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.19 c [STEP] preprocessing done, loading into solver
299.34/300.23 c [STEP] solving
299.34/300.23 c #variables 596 #constraints 27856
299.34/300.23 c SMALL=int, LARGE=long long
299.34/300.23 d SCIPUB -31
299.34/300.23 c bounds - >= -595 @ 299.099
299.34/300.23 c stratification level: 0
320.99/321.91 c bounds - >= -130 @ 299.115
320.99/321.91 c bounds - >= -129 @ 299.115
320.99/321.91 c bounds - >= -128 @ 299.115
320.99/321.91 c bounds - >= -127 @ 299.115
320.99/321.91 c bounds - >= -126 @ 299.115
320.99/321.91 c bounds - >= -125 @ 299.115
320.99/321.91 c bounds - >= -124 @ 299.115
320.99/321.91 c bounds - >= -123 @ 299.115
320.99/321.91 c bounds - >= -122 @ 299.115
320.99/321.91 c bounds - >= -121 @ 299.115
320.99/321.91 c bounds - >= -120 @ 299.116
320.99/321.91 c bounds - >= -119 @ 299.116
320.99/321.91 c bounds - >= -118 @ 299.116
320.99/321.91 c bounds - >= -117 @ 299.117
320.99/321.91 c bounds - >= -116 @ 299.117
320.99/321.91 c #Conflicts: 1000 | #Constraints: 29000
320.99/321.91 c #Conflicts: 2000 | #Constraints: 30000
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 3000 | #Constraints: 29999
320.99/321.91 c #Conflicts: 4000 | #Constraints: 30999
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 5000 | #Constraints: 30427
320.99/321.91 c #Conflicts: 6000 | #Constraints: 31427
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 7000 | #Constraints: 30433
320.99/321.91 c #Conflicts: 8000 | #Constraints: 31433
320.99/321.91 c #Conflicts: 9000 | #Constraints: 32433
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 10000 | #Constraints: 31134
320.99/321.91 c #Conflicts: 11000 | #Constraints: 32134
320.99/321.91 c #Conflicts: 12000 | #Constraints: 33134
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 13000 | #Constraints: 31583
320.99/321.91 c #Conflicts: 14000 | #Constraints: 32583
320.99/321.91 c #Conflicts: 15000 | #Constraints: 33583
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 16000 | #Constraints: 31829
320.99/321.91 c #Conflicts: 17000 | #Constraints: 32829
320.99/321.91 c #Conflicts: 18000 | #Constraints: 33829
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 19000 | #Constraints: 31848
320.99/321.91 c #Conflicts: 20000 | #Constraints: 32848
320.99/321.91 c #Conflicts: 21000 | #Constraints: 33848
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 22000 | #Constraints: 31656
320.99/321.91 c #Conflicts: 23000 | #Constraints: 32656
320.99/321.91 c #Conflicts: 24000 | #Constraints: 33656
320.99/321.91 c #Conflicts: 25000 | #Constraints: 34656
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 26000 | #Constraints: 32272
320.99/321.91 c #Conflicts: 27000 | #Constraints: 33272
320.99/321.91 c #Conflicts: 28000 | #Constraints: 34272
320.99/321.91 c #Conflicts: 29000 | #Constraints: 35272
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 30000 | #Constraints: 32688
320.99/321.91 c #Conflicts: 31000 | #Constraints: 33688
320.99/321.91 c #Conflicts: 32000 | #Constraints: 34688
320.99/321.91 c #Conflicts: 33000 | #Constraints: 35688
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 34000 | #Constraints: 32897
320.99/321.91 c #Conflicts: 35000 | #Constraints: 33897
320.99/321.91 c #Conflicts: 36000 | #Constraints: 34897
320.99/321.91 c #Conflicts: 37000 | #Constraints: 35897
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 38000 | #Constraints: 32907
320.99/321.91 c #Conflicts: 39000 | #Constraints: 33907
320.99/321.91 c #Conflicts: 40000 | #Constraints: 34907
320.99/321.91 c #Conflicts: 41000 | #Constraints: 35907
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 42000 | #Constraints: 32698
320.99/321.91 c #Conflicts: 43000 | #Constraints: 33698
320.99/321.91 c #Conflicts: 44000 | #Constraints: 34698
320.99/321.91 c #Conflicts: 45000 | #Constraints: 35698
320.99/321.91 c #Conflicts: 46000 | #Constraints: 36698
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 47000 | #Constraints: 33298
320.99/321.91 c #Conflicts: 48000 | #Constraints: 34298
320.99/321.91 c #Conflicts: 49000 | #Constraints: 35298
320.99/321.91 c #Conflicts: 50000 | #Constraints: 36298
320.99/321.91 c #Conflicts: 51000 | #Constraints: 37298
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 52000 | #Constraints: 33714
320.99/321.91 c #Conflicts: 53000 | #Constraints: 34714
320.99/321.91 c #Conflicts: 54000 | #Constraints: 35714
320.99/321.91 c #Conflicts: 55000 | #Constraints: 36714
320.99/321.91 c #Conflicts: 56000 | #Constraints: 37714
320.99/321.91 c INPROCESSING
320.99/321.91 c GARBAGE COLLECT
320.99/321.91 c #Conflicts: 57000 | #Constraints: 33922
320.99/321.91 c #Conflicts: 58000 | #Constraints: 34922
320.99/321.91 c #Conflicts: 59000 | #Constraints: 35922
320.99/321.91 c #Conflicts: 60000 | #Constraints: 36922
320.99/321.91 c #Conflicts: 61000 | #Constraints: 37922
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 62000 | #Constraints: 33923
358.49/359.57 c #Conflicts: 63000 | #Constraints: 34923
358.49/359.57 c #Conflicts: 64000 | #Constraints: 35923
358.49/359.57 c #Conflicts: 65000 | #Constraints: 36923
358.49/359.57 c #Conflicts: 66000 | #Constraints: 37923
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 67000 | #Constraints: 33734
358.49/359.57 c #Conflicts: 68000 | #Constraints: 34734
358.49/359.57 c #Conflicts: 69000 | #Constraints: 35734
358.49/359.57 c #Conflicts: 70000 | #Constraints: 36734
358.49/359.57 c #Conflicts: 71000 | #Constraints: 37734
358.49/359.57 c #Conflicts: 72000 | #Constraints: 38734
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 73000 | #Constraints: 34334
358.49/359.57 c #Conflicts: 74000 | #Constraints: 35334
358.49/359.57 c #Conflicts: 75000 | #Constraints: 36334
358.49/359.57 c #Conflicts: 76000 | #Constraints: 37334
358.49/359.57 c #Conflicts: 77000 | #Constraints: 38334
358.49/359.57 c #Conflicts: 78000 | #Constraints: 39334
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 79000 | #Constraints: 34732
358.49/359.57 c #Conflicts: 80000 | #Constraints: 35732
358.49/359.57 c #Conflicts: 81000 | #Constraints: 36732
358.49/359.57 c #Conflicts: 82000 | #Constraints: 37732
358.49/359.57 c #Conflicts: 83000 | #Constraints: 38732
358.49/359.57 c #Conflicts: 84000 | #Constraints: 39732
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 85000 | #Constraints: 34925
358.49/359.57 c #Conflicts: 86000 | #Constraints: 35925
358.49/359.57 c #Conflicts: 87000 | #Constraints: 36925
358.49/359.57 c #Conflicts: 88000 | #Constraints: 37925
358.49/359.57 c #Conflicts: 89000 | #Constraints: 38925
358.49/359.57 c #Conflicts: 90000 | #Constraints: 39925
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 91000 | #Constraints: 34952
358.49/359.57 c #Conflicts: 92000 | #Constraints: 35952
358.49/359.57 c #Conflicts: 93000 | #Constraints: 36952
358.49/359.57 c #Conflicts: 94000 | #Constraints: 37952
358.49/359.57 c #Conflicts: 95000 | #Constraints: 38952
358.49/359.57 c #Conflicts: 96000 | #Constraints: 39952
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 97000 | #Constraints: 34754
358.49/359.57 c #Conflicts: 98000 | #Constraints: 35754
358.49/359.57 c #Conflicts: 99000 | #Constraints: 36754
358.49/359.57 c #Conflicts: 100000 | #Constraints: 37754
358.49/359.57 c #Conflicts: 101000 | #Constraints: 38754
358.49/359.57 c #Conflicts: 102000 | #Constraints: 39754
358.49/359.57 c #Conflicts: 103000 | #Constraints: 40754
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 104000 | #Constraints: 35352
358.49/359.57 c #Conflicts: 105000 | #Constraints: 36352
358.49/359.57 c #Conflicts: 106000 | #Constraints: 37352
358.49/359.57 c #Conflicts: 107000 | #Constraints: 38352
358.49/359.57 c #Conflicts: 108000 | #Constraints: 39352
358.49/359.57 c #Conflicts: 109000 | #Constraints: 40352
358.49/359.57 c #Conflicts: 110000 | #Constraints: 41352
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 111000 | #Constraints: 35746
358.49/359.57 c #Conflicts: 112000 | #Constraints: 36746
358.49/359.57 c #Conflicts: 113000 | #Constraints: 37746
358.49/359.57 c #Conflicts: 114000 | #Constraints: 38746
358.49/359.57 c #Conflicts: 115000 | #Constraints: 39746
358.49/359.57 c #Conflicts: 116000 | #Constraints: 40746
358.49/359.57 c #Conflicts: 117000 | #Constraints: 41746
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 118000 | #Constraints: 35940
358.49/359.57 c #Conflicts: 119000 | #Constraints: 36940
358.49/359.57 c #Conflicts: 120000 | #Constraints: 37940
358.49/359.57 c #Conflicts: 121000 | #Constraints: 38940
358.49/359.57 c #Conflicts: 122000 | #Constraints: 39940
358.49/359.57 c #Conflicts: 123000 | #Constraints: 40940
358.49/359.57 c #Conflicts: 124000 | #Constraints: 41940
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 125000 | #Constraints: 35940
358.49/359.57 c #Conflicts: 126000 | #Constraints: 36940
358.49/359.57 c #Conflicts: 127000 | #Constraints: 37940
358.49/359.57 c #Conflicts: 128000 | #Constraints: 38940
358.49/359.57 c #Conflicts: 129000 | #Constraints: 39940
358.49/359.57 c #Conflicts: 130000 | #Constraints: 40940
358.49/359.57 c #Conflicts: 131000 | #Constraints: 41940
358.49/359.57 c INPROCESSING
358.49/359.57 c GARBAGE COLLECT
358.49/359.57 c #Conflicts: 132000 | #Constraints: 35743
410.76/411.93 c #Conflicts: 133000 | #Constraints: 36743
410.76/411.93 c #Conflicts: 134000 | #Constraints: 37743
410.76/411.93 c #Conflicts: 135000 | #Constraints: 38743
410.76/411.93 c #Conflicts: 136000 | #Constraints: 39743
410.76/411.93 c #Conflicts: 137000 | #Constraints: 40743
410.76/411.93 c #Conflicts: 138000 | #Constraints: 41743
410.76/411.93 c #Conflicts: 139000 | #Constraints: 42743
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 140000 | #Constraints: 36357
410.76/411.93 c #Conflicts: 141000 | #Constraints: 37357
410.76/411.93 c #Conflicts: 142000 | #Constraints: 38357
410.76/411.93 c #Conflicts: 143000 | #Constraints: 39357
410.76/411.93 c #Conflicts: 144000 | #Constraints: 40357
410.76/411.93 c #Conflicts: 145000 | #Constraints: 41357
410.76/411.93 c #Conflicts: 146000 | #Constraints: 42357
410.76/411.93 c #Conflicts: 147000 | #Constraints: 43357
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 148000 | #Constraints: 36775
410.76/411.93 c #Conflicts: 149000 | #Constraints: 37775
410.76/411.93 c #Conflicts: 150000 | #Constraints: 38775
410.76/411.93 c #Conflicts: 151000 | #Constraints: 39775
410.76/411.93 c #Conflicts: 152000 | #Constraints: 40775
410.76/411.93 c #Conflicts: 153000 | #Constraints: 41775
410.76/411.93 c #Conflicts: 154000 | #Constraints: 42775
410.76/411.93 c #Conflicts: 155000 | #Constraints: 43775
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 156000 | #Constraints: 36959
410.76/411.93 c #Conflicts: 157000 | #Constraints: 37959
410.76/411.93 c #Conflicts: 158000 | #Constraints: 38959
410.76/411.93 c #Conflicts: 159000 | #Constraints: 39959
410.76/411.93 c #Conflicts: 160000 | #Constraints: 40959
410.76/411.93 c #Conflicts: 161000 | #Constraints: 41959
410.76/411.93 c #Conflicts: 162000 | #Constraints: 42959
410.76/411.93 c #Conflicts: 163000 | #Constraints: 43959
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 164000 | #Constraints: 36958
410.76/411.93 c #Conflicts: 165000 | #Constraints: 37958
410.76/411.93 c #Conflicts: 166000 | #Constraints: 38958
410.76/411.93 c #Conflicts: 167000 | #Constraints: 39958
410.76/411.93 c #Conflicts: 168000 | #Constraints: 40958
410.76/411.93 c #Conflicts: 169000 | #Constraints: 41958
410.76/411.93 c #Conflicts: 170000 | #Constraints: 42958
410.76/411.93 c #Conflicts: 171000 | #Constraints: 43958
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 172000 | #Constraints: 36743
410.76/411.93 c #Conflicts: 173000 | #Constraints: 37743
410.76/411.93 c #Conflicts: 174000 | #Constraints: 38743
410.76/411.93 c #Conflicts: 175000 | #Constraints: 39743
410.76/411.93 c #Conflicts: 176000 | #Constraints: 40743
410.76/411.93 c #Conflicts: 177000 | #Constraints: 41743
410.76/411.93 c #Conflicts: 178000 | #Constraints: 42743
410.76/411.93 c #Conflicts: 179000 | #Constraints: 43743
410.76/411.93 c #Conflicts: 180000 | #Constraints: 44743
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 181000 | #Constraints: 37353
410.76/411.93 c #Conflicts: 182000 | #Constraints: 38353
410.76/411.93 c #Conflicts: 183000 | #Constraints: 39353
410.76/411.93 c #Conflicts: 184000 | #Constraints: 40353
410.76/411.93 c #Conflicts: 185000 | #Constraints: 41353
410.76/411.93 c #Conflicts: 186000 | #Constraints: 42353
410.76/411.93 c #Conflicts: 187000 | #Constraints: 43353
410.76/411.93 c #Conflicts: 188000 | #Constraints: 44353
410.76/411.93 c #Conflicts: 189000 | #Constraints: 45353
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 190000 | #Constraints: 37774
410.76/411.93 c #Conflicts: 191000 | #Constraints: 38774
410.76/411.93 c #Conflicts: 192000 | #Constraints: 39774
410.76/411.93 c #Conflicts: 193000 | #Constraints: 40774
410.76/411.93 c #Conflicts: 194000 | #Constraints: 41774
410.76/411.93 c #Conflicts: 195000 | #Constraints: 42774
410.76/411.93 c #Conflicts: 196000 | #Constraints: 43774
410.76/411.93 c #Conflicts: 197000 | #Constraints: 44774
410.76/411.93 c #Conflicts: 198000 | #Constraints: 45774
410.76/411.93 c INPROCESSING
410.76/411.93 c GARBAGE COLLECT
410.76/411.93 c #Conflicts: 199000 | #Constraints: 37964
410.76/411.93 c #Conflicts: 200000 | #Constraints: 38964
410.76/411.93 c #Conflicts: 201000 | #Constraints: 39964
410.76/411.93 c #Conflicts: 202000 | #Constraints: 40964
410.76/411.93 c #Conflicts: 203000 | #Constraints: 41964
410.76/411.93 c #Conflicts: 204000 | #Constraints: 42964
410.76/411.93 c #Conflicts: 205000 | #Constraints: 43964
410.76/411.93 c #Conflicts: 206000 | #Constraints: 44964
469.61/470.94 c #Conflicts: 207000 | #Constraints: 45964
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 208000 | #Constraints: 37959
469.61/470.94 c #Conflicts: 209000 | #Constraints: 38959
469.61/470.94 c #Conflicts: 210000 | #Constraints: 39959
469.61/470.94 c #Conflicts: 211000 | #Constraints: 40959
469.61/470.94 c #Conflicts: 212000 | #Constraints: 41959
469.61/470.94 c #Conflicts: 213000 | #Constraints: 42959
469.61/470.94 c #Conflicts: 214000 | #Constraints: 43959
469.61/470.94 c #Conflicts: 215000 | #Constraints: 44959
469.61/470.94 c #Conflicts: 216000 | #Constraints: 45959
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 217000 | #Constraints: 37737
469.61/470.94 c #Conflicts: 218000 | #Constraints: 38737
469.61/470.94 c #Conflicts: 219000 | #Constraints: 39737
469.61/470.94 c #Conflicts: 220000 | #Constraints: 40737
469.61/470.94 c #Conflicts: 221000 | #Constraints: 41737
469.61/470.94 c #Conflicts: 222000 | #Constraints: 42737
469.61/470.94 c #Conflicts: 223000 | #Constraints: 43737
469.61/470.94 c #Conflicts: 224000 | #Constraints: 44737
469.61/470.94 c #Conflicts: 225000 | #Constraints: 45737
469.61/470.94 c #Conflicts: 226000 | #Constraints: 46737
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 227000 | #Constraints: 38348
469.61/470.94 c #Conflicts: 228000 | #Constraints: 39348
469.61/470.94 c #Conflicts: 229000 | #Constraints: 40348
469.61/470.94 c #Conflicts: 230000 | #Constraints: 41348
469.61/470.94 c #Conflicts: 231000 | #Constraints: 42348
469.61/470.94 c #Conflicts: 232000 | #Constraints: 43348
469.61/470.94 c #Conflicts: 233000 | #Constraints: 44348
469.61/470.94 c #Conflicts: 234000 | #Constraints: 45348
469.61/470.94 c #Conflicts: 235000 | #Constraints: 46348
469.61/470.94 c #Conflicts: 236000 | #Constraints: 47348
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 237000 | #Constraints: 38734
469.61/470.94 c #Conflicts: 238000 | #Constraints: 39734
469.61/470.94 c #Conflicts: 239000 | #Constraints: 40734
469.61/470.94 c #Conflicts: 240000 | #Constraints: 41734
469.61/470.94 c #Conflicts: 241000 | #Constraints: 42734
469.61/470.94 c #Conflicts: 242000 | #Constraints: 43734
469.61/470.94 c #Conflicts: 243000 | #Constraints: 44734
469.61/470.94 c #Conflicts: 244000 | #Constraints: 45734
469.61/470.94 c #Conflicts: 245000 | #Constraints: 46734
469.61/470.94 c #Conflicts: 246000 | #Constraints: 47734
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 247000 | #Constraints: 38932
469.61/470.94 c #Conflicts: 248000 | #Constraints: 39932
469.61/470.94 c #Conflicts: 249000 | #Constraints: 40932
469.61/470.94 c #Conflicts: 250000 | #Constraints: 41932
469.61/470.94 c #Conflicts: 251000 | #Constraints: 42932
469.61/470.94 c #Conflicts: 252000 | #Constraints: 43932
469.61/470.94 c #Conflicts: 253000 | #Constraints: 44932
469.61/470.94 c #Conflicts: 254000 | #Constraints: 45932
469.61/470.94 c #Conflicts: 255000 | #Constraints: 46932
469.61/470.94 c #Conflicts: 256000 | #Constraints: 47932
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 257000 | #Constraints: 38946
469.61/470.94 c #Conflicts: 258000 | #Constraints: 39946
469.61/470.94 c #Conflicts: 259000 | #Constraints: 40946
469.61/470.94 c #Conflicts: 260000 | #Constraints: 41946
469.61/470.94 c #Conflicts: 261000 | #Constraints: 42946
469.61/470.94 c #Conflicts: 262000 | #Constraints: 43946
469.61/470.94 c #Conflicts: 263000 | #Constraints: 44946
469.61/470.94 c #Conflicts: 264000 | #Constraints: 45946
469.61/470.94 c #Conflicts: 265000 | #Constraints: 46946
469.61/470.94 c #Conflicts: 266000 | #Constraints: 47946
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 267000 | #Constraints: 38744
469.61/470.94 c #Conflicts: 268000 | #Constraints: 39744
469.61/470.94 c #Conflicts: 269000 | #Constraints: 40744
469.61/470.94 c #Conflicts: 270000 | #Constraints: 41744
469.61/470.94 c #Conflicts: 271000 | #Constraints: 42744
469.61/470.94 c #Conflicts: 272000 | #Constraints: 43744
469.61/470.94 c #Conflicts: 273000 | #Constraints: 44744
469.61/470.94 c #Conflicts: 274000 | #Constraints: 45744
469.61/470.94 c #Conflicts: 275000 | #Constraints: 46744
469.61/470.94 c #Conflicts: 276000 | #Constraints: 47744
469.61/470.94 c #Conflicts: 277000 | #Constraints: 48744
469.61/470.94 c INPROCESSING
469.61/470.94 c GARBAGE COLLECT
469.61/470.94 c #Conflicts: 278000 | #Constraints: 39357
469.61/470.94 c #Conflicts: 279000 | #Constraints: 40357
538.73/540.21 c #Conflicts: 280000 | #Constraints: 41357
538.73/540.21 c #Conflicts: 281000 | #Constraints: 42357
538.73/540.21 c #Conflicts: 282000 | #Constraints: 43357
538.73/540.21 c #Conflicts: 283000 | #Constraints: 44357
538.73/540.21 c #Conflicts: 284000 | #Constraints: 45357
538.73/540.21 c #Conflicts: 285000 | #Constraints: 46357
538.73/540.21 c #Conflicts: 286000 | #Constraints: 47357
538.73/540.21 c #Conflicts: 287000 | #Constraints: 48357
538.73/540.21 c #Conflicts: 288000 | #Constraints: 49357
538.73/540.21 c INPROCESSING
538.73/540.21 c GARBAGE COLLECT
538.73/540.21 c #Conflicts: 289000 | #Constraints: 39751
538.73/540.21 c #Conflicts: 290000 | #Constraints: 40751
538.73/540.21 c #Conflicts: 291000 | #Constraints: 41751
538.73/540.21 c #Conflicts: 292000 | #Constraints: 42751
538.73/540.21 c #Conflicts: 293000 | #Constraints: 43751
538.73/540.21 c #Conflicts: 294000 | #Constraints: 44751
538.73/540.21 c #Conflicts: 295000 | #Constraints: 45751
538.73/540.21 c #Conflicts: 296000 | #Constraints: 46751
538.73/540.21 c #Conflicts: 297000 | #Constraints: 47751
538.73/540.21 c #Conflicts: 298000 | #Constraints: 48751
538.73/540.21 c #Conflicts: 299000 | #Constraints: 49751
538.73/540.21 c INPROCESSING
538.73/540.21 c GARBAGE COLLECT
538.73/540.21 c #Conflicts: 300000 | #Constraints: 39966
538.73/540.21 c #Conflicts: 301000 | #Constraints: 40966
538.73/540.21 c #Conflicts: 302000 | #Constraints: 41966
538.73/540.21 c #Conflicts: 303000 | #Constraints: 42966
538.73/540.21 c #Conflicts: 304000 | #Constraints: 43966
538.73/540.21 c #Conflicts: 305000 | #Constraints: 44966
538.73/540.21 c #Conflicts: 306000 | #Constraints: 45966
538.73/540.21 c #Conflicts: 307000 | #Constraints: 46966
538.73/540.21 c #Conflicts: 308000 | #Constraints: 47966
538.73/540.21 c #Conflicts: 309000 | #Constraints: 48966
538.73/540.21 c #Conflicts: 310000 | #Constraints: 49966
538.73/540.21 c INPROCESSING
538.73/540.21 c GARBAGE COLLECT
538.73/540.21 c #Conflicts: 311000 | #Constraints: 39959
538.73/540.21 c #Conflicts: 312000 | #Constraints: 40959
538.73/540.21 c #Conflicts: 313000 | #Constraints: 41959
538.73/540.21 c #Conflicts: 314000 | #Constraints: 42959
538.73/540.21 c #Conflicts: 315000 | #Constraints: 43959
538.73/540.21 c #Conflicts: 316000 | #Constraints: 44959
538.73/540.21 c #Conflicts: 317000 | #Constraints: 45959
538.73/540.21 c #Conflicts: 318000 | #Constraints: 46959
538.73/540.21 c #Conflicts: 319000 | #Constraints: 47959
538.73/540.21 c #Conflicts: 320000 | #Constraints: 48959
538.73/540.21 c #Conflicts: 321000 | #Constraints: 49959
538.73/540.21 c INPROCESSING
538.73/540.21 c GARBAGE COLLECT
538.73/540.21 c #Conflicts: 322000 | #Constraints: 39758
538.73/540.21 c #Conflicts: 323000 | #Constraints: 40758
538.73/540.21 c #Conflicts: 324000 | #Constraints: 41758
538.73/540.21 c #Conflicts: 325000 | #Constraints: 42758
538.73/540.21 c #Conflicts: 326000 | #Constraints: 43758
538.73/540.21 c #Conflicts: 327000 | #Constraints: 44758
538.73/540.21 c #Conflicts: 328000 | #Constraints: 45758
538.73/540.21 c #Conflicts: 329000 | #Constraints: 46758
538.73/540.21 c #Conflicts: 330000 | #Constraints: 47758
538.73/540.21 c #Conflicts: 331000 | #Constraints: 48758
538.73/540.21 c #Conflicts: 332000 | #Constraints: 49758
538.73/540.21 c #Conflicts: 333000 | #Constraints: 50758
538.73/540.21 c INPROCESSING
538.73/540.21 c GARBAGE COLLECT
538.73/540.21 c #Conflicts: 334000 | #Constraints: 40372
538.73/540.21 c #Conflicts: 335000 | #Constraints: 41372
538.73/540.21 c #Conflicts: 336000 | #Constraints: 42372
538.73/540.21 c #Conflicts: 337000 | #Constraints: 43372
538.73/540.21 c #Conflicts: 338000 | #Constraints: 44372
538.73/540.21 c #Conflicts: 339000 | #Constraints: 45372
538.73/540.21 c #Conflicts: 340000 | #Constraints: 46372
538.73/540.21 c #Conflicts: 341000 | #Constraints: 47372
538.73/540.21 c #Conflicts: 342000 | #Constraints: 48372
538.73/540.21 c #Conflicts: 343000 | #Constraints: 49372
538.73/540.21 c #Conflicts: 344000 | #Constraints: 50372
538.73/540.21 c #Conflicts: 345000 | #Constraints: 51372
538.73/540.21 c INPROCESSING
538.73/540.21 c GARBAGE COLLECT
538.73/540.21 c #Conflicts: 346000 | #Constraints: 40768
538.73/540.21 c #Conflicts: 347000 | #Constraints: 41768
538.73/540.21 c #Conflicts: 348000 | #Constraints: 42768
538.73/540.21 c #Conflicts: 349000 | #Constraints: 43768
538.73/540.21 c #Conflicts: 350000 | #Constraints: 44768
538.73/540.21 c #Conflicts: 351000 | #Constraints: 45768
538.73/540.21 c #Conflicts: 352000 | #Constraints: 46768
538.73/540.21 c #Conflicts: 353000 | #Constraints: 47768
538.73/540.21 c #Conflicts: 354000 | #Constraints: 48768
617.52/619.26 c #Conflicts: 355000 | #Constraints: 49768
617.52/619.26 c #Conflicts: 356000 | #Constraints: 50768
617.52/619.26 c #Conflicts: 357000 | #Constraints: 51768
617.52/619.26 c INPROCESSING
617.52/619.26 c GARBAGE COLLECT
617.52/619.26 c #Conflicts: 358000 | #Constraints: 40989
617.52/619.26 c #Conflicts: 359000 | #Constraints: 41989
617.52/619.26 c #Conflicts: 360000 | #Constraints: 42989
617.52/619.26 c #Conflicts: 361000 | #Constraints: 43989
617.52/619.26 c #Conflicts: 362000 | #Constraints: 44989
617.52/619.26 c #Conflicts: 363000 | #Constraints: 45989
617.52/619.26 c #Conflicts: 364000 | #Constraints: 46989
617.52/619.26 c #Conflicts: 365000 | #Constraints: 47989
617.52/619.26 c #Conflicts: 366000 | #Constraints: 48989
617.52/619.26 c #Conflicts: 367000 | #Constraints: 49989
617.52/619.26 c #Conflicts: 368000 | #Constraints: 50989
617.52/619.26 c #Conflicts: 369000 | #Constraints: 51989
617.52/619.26 c INPROCESSING
617.52/619.26 c GARBAGE COLLECT
617.52/619.26 c #Conflicts: 370000 | #Constraints: 40996
617.52/619.26 c #Conflicts: 371000 | #Constraints: 41996
617.52/619.26 c #Conflicts: 372000 | #Constraints: 42996
617.52/619.26 c #Conflicts: 373000 | #Constraints: 43996
617.52/619.26 c #Conflicts: 374000 | #Constraints: 44996
617.52/619.26 c #Conflicts: 375000 | #Constraints: 45996
617.52/619.26 c #Conflicts: 376000 | #Constraints: 46996
617.52/619.26 c #Conflicts: 377000 | #Constraints: 47996
617.52/619.26 c #Conflicts: 378000 | #Constraints: 48996
617.52/619.26 c #Conflicts: 379000 | #Constraints: 49996
617.52/619.26 c #Conflicts: 380000 | #Constraints: 50996
617.52/619.26 c #Conflicts: 381000 | #Constraints: 51996
617.52/619.26 c INPROCESSING
617.52/619.26 c GARBAGE COLLECT
617.52/619.26 c #Conflicts: 382000 | #Constraints: 40801
617.52/619.26 c #Conflicts: 383000 | #Constraints: 41801
617.52/619.26 c #Conflicts: 384000 | #Constraints: 42801
617.52/619.26 c #Conflicts: 385000 | #Constraints: 43801
617.52/619.26 c #Conflicts: 386000 | #Constraints: 44801
617.52/619.26 c #Conflicts: 387000 | #Constraints: 45801
617.52/619.26 c #Conflicts: 388000 | #Constraints: 46801
617.52/619.26 c #Conflicts: 389000 | #Constraints: 47801
617.52/619.26 c #Conflicts: 390000 | #Constraints: 48801
617.52/619.26 c #Conflicts: 391000 | #Constraints: 49801
617.52/619.26 c #Conflicts: 392000 | #Constraints: 50801
617.52/619.26 c #Conflicts: 393000 | #Constraints: 51801
617.52/619.26 c #Conflicts: 394000 | #Constraints: 52801
617.52/619.26 c INPROCESSING
617.52/619.26 c GARBAGE COLLECT
617.52/619.26 c #Conflicts: 395000 | #Constraints: 41392
617.52/619.26 c #Conflicts: 396000 | #Constraints: 42392
617.52/619.26 c #Conflicts: 397000 | #Constraints: 43392
617.52/619.26 c #Conflicts: 398000 | #Constraints: 44392
617.52/619.26 c #Conflicts: 399000 | #Constraints: 45392
617.52/619.26 c #Conflicts: 400000 | #Constraints: 46392
617.52/619.26 c #Conflicts: 401000 | #Constraints: 47392
617.52/619.26 c #Conflicts: 402000 | #Constraints: 48392
617.52/619.26 c #Conflicts: 403000 | #Constraints: 49392
617.52/619.26 c #Conflicts: 404000 | #Constraints: 50392
617.52/619.26 c #Conflicts: 405000 | #Constraints: 51392
617.52/619.26 c #Conflicts: 406000 | #Constraints: 52392
617.52/619.26 c #Conflicts: 407000 | #Constraints: 53392
617.52/619.26 c INPROCESSING
617.52/619.26 c GARBAGE COLLECT
617.52/619.26 c #Conflicts: 408000 | #Constraints: 41783
617.52/619.26 c #Conflicts: 409000 | #Constraints: 42783
617.52/619.26 c #Conflicts: 410000 | #Constraints: 43783
617.52/619.26 c #Conflicts: 411000 | #Constraints: 44783
617.52/619.26 c #Conflicts: 412000 | #Constraints: 45783
617.52/619.26 c #Conflicts: 413000 | #Constraints: 46783
617.52/619.26 c #Conflicts: 414000 | #Constraints: 47783
617.52/619.26 c #Conflicts: 415000 | #Constraints: 48783
617.52/619.26 c #Conflicts: 416000 | #Constraints: 49783
617.52/619.26 c #Conflicts: 417000 | #Constraints: 50783
617.52/619.26 c #Conflicts: 418000 | #Constraints: 51783
617.52/619.26 c #Conflicts: 419000 | #Constraints: 52783
617.52/619.26 c #Conflicts: 420000 | #Constraints: 53783
617.52/619.26 c INPROCESSING
617.52/619.26 c GARBAGE COLLECT
617.52/619.26 c #Conflicts: 421000 | #Constraints: 41974
617.52/619.26 c #Conflicts: 422000 | #Constraints: 42974
617.52/619.26 c #Conflicts: 423000 | #Constraints: 43974
617.52/619.26 c #Conflicts: 424000 | #Constraints: 44974
617.52/619.26 c #Conflicts: 425000 | #Constraints: 45974
617.52/619.26 c #Conflicts: 426000 | #Constraints: 46974
617.52/619.26 c #Conflicts: 427000 | #Constraints: 47974
617.52/619.26 c #Conflicts: 428000 | #Constraints: 48974
617.52/619.26 c #Conflicts: 429000 | #Constraints: 49974
694.92/696.85 c #Conflicts: 430000 | #Constraints: 50974
694.92/696.85 c #Conflicts: 431000 | #Constraints: 51974
694.92/696.85 c #Conflicts: 432000 | #Constraints: 52974
694.92/696.85 c #Conflicts: 433000 | #Constraints: 53974
694.92/696.85 c INPROCESSING
694.92/696.85 c GARBAGE COLLECT
694.92/696.85 c #Conflicts: 434000 | #Constraints: 41984
694.92/696.85 c #Conflicts: 435000 | #Constraints: 42984
694.92/696.85 c #Conflicts: 436000 | #Constraints: 43984
694.92/696.85 c #Conflicts: 437000 | #Constraints: 44984
694.92/696.85 c #Conflicts: 438000 | #Constraints: 45984
694.92/696.85 c #Conflicts: 439000 | #Constraints: 46984
694.92/696.85 c #Conflicts: 440000 | #Constraints: 47984
694.92/696.85 c #Conflicts: 441000 | #Constraints: 48984
694.92/696.85 c #Conflicts: 442000 | #Constraints: 49984
694.92/696.85 c #Conflicts: 443000 | #Constraints: 50984
694.92/696.85 c #Conflicts: 444000 | #Constraints: 51984
694.92/696.85 c #Conflicts: 445000 | #Constraints: 52984
694.92/696.85 c #Conflicts: 446000 | #Constraints: 53984
694.92/696.85 c INPROCESSING
694.92/696.85 c GARBAGE COLLECT
694.92/696.85 c #Conflicts: 447000 | #Constraints: 41756
694.92/696.85 c #Conflicts: 448000 | #Constraints: 42756
694.92/696.85 c #Conflicts: 449000 | #Constraints: 43756
694.92/696.85 c #Conflicts: 450000 | #Constraints: 44756
694.92/696.85 c #Conflicts: 451000 | #Constraints: 45756
694.92/696.85 c #Conflicts: 452000 | #Constraints: 46756
694.92/696.85 c #Conflicts: 453000 | #Constraints: 47756
694.92/696.85 c #Conflicts: 454000 | #Constraints: 48756
694.92/696.85 c #Conflicts: 455000 | #Constraints: 49756
694.92/696.85 c #Conflicts: 456000 | #Constraints: 50756
694.92/696.85 c #Conflicts: 457000 | #Constraints: 51756
694.92/696.85 c #Conflicts: 458000 | #Constraints: 52756
694.92/696.85 c #Conflicts: 459000 | #Constraints: 53756
694.92/696.85 c #Conflicts: 460000 | #Constraints: 54756
694.92/696.85 c INPROCESSING
694.92/696.85 c GARBAGE COLLECT
694.92/696.85 c #Conflicts: 461000 | #Constraints: 42333
694.92/696.85 c #Conflicts: 462000 | #Constraints: 43333
694.92/696.85 c #Conflicts: 463000 | #Constraints: 44333
694.92/696.85 c #Conflicts: 464000 | #Constraints: 45333
694.92/696.85 c #Conflicts: 465000 | #Constraints: 46333
694.92/696.85 c #Conflicts: 466000 | #Constraints: 47333
694.92/696.85 c #Conflicts: 467000 | #Constraints: 48333
694.92/696.85 c #Conflicts: 468000 | #Constraints: 49333
694.92/696.85 c #Conflicts: 469000 | #Constraints: 50333
694.92/696.85 c #Conflicts: 470000 | #Constraints: 51333
694.92/696.85 c #Conflicts: 471000 | #Constraints: 52333
694.92/696.85 c #Conflicts: 472000 | #Constraints: 53333
694.92/696.85 c #Conflicts: 473000 | #Constraints: 54333
694.92/696.85 c #Conflicts: 474000 | #Constraints: 55333
694.92/696.85 c INPROCESSING
694.92/696.85 c GARBAGE COLLECT
694.92/696.85 c #Conflicts: 475000 | #Constraints: 42759
694.92/696.85 c #Conflicts: 476000 | #Constraints: 43759
694.92/696.85 c #Conflicts: 477000 | #Constraints: 44759
694.92/696.85 c #Conflicts: 478000 | #Constraints: 45759
694.92/696.85 c #Conflicts: 479000 | #Constraints: 46759
694.92/696.85 c #Conflicts: 480000 | #Constraints: 47759
694.92/696.85 c #Conflicts: 481000 | #Constraints: 48759
694.92/696.85 c #Conflicts: 482000 | #Constraints: 49759
694.92/696.85 c #Conflicts: 483000 | #Constraints: 50759
694.92/696.85 c #Conflicts: 484000 | #Constraints: 51759
694.92/696.85 c #Conflicts: 485000 | #Constraints: 52759
694.92/696.85 c #Conflicts: 486000 | #Constraints: 53759
694.92/696.85 c #Conflicts: 487000 | #Constraints: 54759
694.92/696.85 c #Conflicts: 488000 | #Constraints: 55759
694.92/696.85 c INPROCESSING
694.92/696.85 c GARBAGE COLLECT
694.92/696.85 c #Conflicts: 489000 | #Constraints: 42990
694.92/696.85 c #Conflicts: 490000 | #Constraints: 43990
694.92/696.85 c #Conflicts: 491000 | #Constraints: 44990
694.92/696.85 c #Conflicts: 492000 | #Constraints: 45990
694.92/696.85 c #Conflicts: 493000 | #Constraints: 46990
694.92/696.85 c #Conflicts: 494000 | #Constraints: 47990
694.92/696.85 c #Conflicts: 495000 | #Constraints: 48990
694.92/696.85 c #Conflicts: 496000 | #Constraints: 49990
694.92/696.85 c #Conflicts: 497000 | #Constraints: 50990
694.92/696.85 c #Conflicts: 498000 | #Constraints: 51990
694.92/696.85 c #Conflicts: 499000 | #Constraints: 52990
694.92/696.85 c #Conflicts: 500000 | #Constraints: 53990
694.92/696.85 c #Conflicts: 501000 | #Constraints: 54990
694.92/696.85 c #Conflicts: 502000 | #Constraints: 55990
694.92/696.85 c INPROCESSING
694.92/696.85 c GARBAGE COLLECT
694.92/696.85 c #Conflicts: 503000 | #Constraints: 43007
694.92/696.85 c #Conflicts: 504000 | #Constraints: 44007
797.46/799.61 c #Conflicts: 505000 | #Constraints: 45007
797.46/799.61 c #Conflicts: 506000 | #Constraints: 46007
797.46/799.61 c #Conflicts: 507000 | #Constraints: 47007
797.46/799.61 c #Conflicts: 508000 | #Constraints: 48007
797.46/799.61 c #Conflicts: 509000 | #Constraints: 49007
797.46/799.61 c #Conflicts: 510000 | #Constraints: 50007
797.46/799.61 c #Conflicts: 511000 | #Constraints: 51007
797.46/799.61 c #Conflicts: 512000 | #Constraints: 52007
797.46/799.61 c #Conflicts: 513000 | #Constraints: 53007
797.46/799.61 c #Conflicts: 514000 | #Constraints: 54007
797.46/799.61 c #Conflicts: 515000 | #Constraints: 55007
797.46/799.61 c #Conflicts: 516000 | #Constraints: 56007
797.46/799.61 c INPROCESSING
797.46/799.61 c GARBAGE COLLECT
797.46/799.61 c #Conflicts: 517000 | #Constraints: 42789
797.46/799.61 c #Conflicts: 518000 | #Constraints: 43789
797.46/799.61 c #Conflicts: 519000 | #Constraints: 44789
797.46/799.61 c #Conflicts: 520000 | #Constraints: 45789
797.46/799.61 c #Conflicts: 521000 | #Constraints: 46789
797.46/799.61 c #Conflicts: 522000 | #Constraints: 47789
797.46/799.61 c #Conflicts: 523000 | #Constraints: 48789
797.46/799.61 c #Conflicts: 524000 | #Constraints: 49789
797.46/799.61 c #Conflicts: 525000 | #Constraints: 50789
797.46/799.61 c #Conflicts: 526000 | #Constraints: 51789
797.46/799.61 c #Conflicts: 527000 | #Constraints: 52789
797.46/799.61 c #Conflicts: 528000 | #Constraints: 53789
797.46/799.61 c #Conflicts: 529000 | #Constraints: 54789
797.46/799.61 c #Conflicts: 530000 | #Constraints: 55789
797.46/799.61 c #Conflicts: 531000 | #Constraints: 56789
797.46/799.61 c INPROCESSING
797.46/799.61 c GARBAGE COLLECT
797.46/799.61 c #Conflicts: 532000 | #Constraints: 43374
797.46/799.61 c #Conflicts: 533000 | #Constraints: 44374
797.46/799.61 c #Conflicts: 534000 | #Constraints: 45374
797.46/799.61 c #Conflicts: 535000 | #Constraints: 46374
797.46/799.61 c #Conflicts: 536000 | #Constraints: 47374
797.46/799.61 c #Conflicts: 537000 | #Constraints: 48374
797.46/799.61 c #Conflicts: 538000 | #Constraints: 49374
797.46/799.61 c #Conflicts: 539000 | #Constraints: 50374
797.46/799.61 c #Conflicts: 540000 | #Constraints: 51374
797.46/799.61 c #Conflicts: 541000 | #Constraints: 52374
797.46/799.61 c #Conflicts: 542000 | #Constraints: 53374
797.46/799.61 c #Conflicts: 543000 | #Constraints: 54374
797.46/799.61 c #Conflicts: 544000 | #Constraints: 55374
797.46/799.61 c #Conflicts: 545000 | #Constraints: 56374
797.46/799.61 c #Conflicts: 546000 | #Constraints: 57374
797.46/799.61 c INPROCESSING
797.46/799.61 c GARBAGE COLLECT
797.46/799.61 c #Conflicts: 547000 | #Constraints: 43785
797.46/799.61 c #Conflicts: 548000 | #Constraints: 44785
797.46/799.61 c #Conflicts: 549000 | #Constraints: 45785
797.46/799.61 c #Conflicts: 550000 | #Constraints: 46785
797.46/799.61 c #Conflicts: 551000 | #Constraints: 47785
797.46/799.61 c #Conflicts: 552000 | #Constraints: 48785
797.46/799.61 c #Conflicts: 553000 | #Constraints: 49785
797.46/799.61 c #Conflicts: 554000 | #Constraints: 50785
797.46/799.61 c #Conflicts: 555000 | #Constraints: 51785
797.46/799.61 c #Conflicts: 556000 | #Constraints: 52785
797.46/799.61 c #Conflicts: 557000 | #Constraints: 53785
797.46/799.61 c #Conflicts: 558000 | #Constraints: 54785
797.46/799.61 c #Conflicts: 559000 | #Constraints: 55785
797.46/799.61 c #Conflicts: 560000 | #Constraints: 56785
797.46/799.61 c #Conflicts: 561000 | #Constraints: 57785
797.46/799.61 c INPROCESSING
797.46/799.61 c GARBAGE COLLECT
797.46/799.61 c #Conflicts: 562000 | #Constraints: 43980
797.46/799.61 c #Conflicts: 563000 | #Constraints: 44980
797.46/799.61 c #Conflicts: 564000 | #Constraints: 45980
797.46/799.61 c #Conflicts: 565000 | #Constraints: 46980
797.46/799.61 c #Conflicts: 566000 | #Constraints: 47980
797.46/799.61 c #Conflicts: 567000 | #Constraints: 48980
797.46/799.61 c #Conflicts: 568000 | #Constraints: 49980
797.46/799.61 c #Conflicts: 569000 | #Constraints: 50980
797.46/799.61 c #Conflicts: 570000 | #Constraints: 51980
797.46/799.61 c #Conflicts: 571000 | #Constraints: 52980
797.46/799.61 c #Conflicts: 572000 | #Constraints: 53980
797.46/799.61 c #Conflicts: 573000 | #Constraints: 54980
797.46/799.61 c #Conflicts: 574000 | #Constraints: 55980
797.46/799.61 c #Conflicts: 575000 | #Constraints: 56980
797.46/799.61 c #Conflicts: 576000 | #Constraints: 57980
797.46/799.61 c INPROCESSING
797.46/799.61 c GARBAGE COLLECT
797.46/799.61 c #Conflicts: 577000 | #Constraints: 43996
797.46/799.61 c #Conflicts: 578000 | #Constraints: 44996
797.46/799.61 c #Conflicts: 579000 | #Constraints: 45996
797.46/799.61 c #Conflicts: 580000 | #Constraints: 46996
907.17/909.61 c #Conflicts: 581000 | #Constraints: 47996
907.17/909.61 c #Conflicts: 582000 | #Constraints: 48996
907.17/909.61 c #Conflicts: 583000 | #Constraints: 49996
907.17/909.61 c #Conflicts: 584000 | #Constraints: 50996
907.17/909.61 c #Conflicts: 585000 | #Constraints: 51996
907.17/909.61 c #Conflicts: 586000 | #Constraints: 52996
907.17/909.61 c #Conflicts: 587000 | #Constraints: 53996
907.17/909.61 c #Conflicts: 588000 | #Constraints: 54996
907.17/909.61 c #Conflicts: 589000 | #Constraints: 55996
907.17/909.61 c #Conflicts: 590000 | #Constraints: 56996
907.17/909.61 c #Conflicts: 591000 | #Constraints: 57996
907.17/909.61 c INPROCESSING
907.17/909.61 c GARBAGE COLLECT
907.17/909.61 c #Conflicts: 592000 | #Constraints: 43799
907.17/909.61 c #Conflicts: 593000 | #Constraints: 44799
907.17/909.61 c #Conflicts: 594000 | #Constraints: 45799
907.17/909.61 c #Conflicts: 595000 | #Constraints: 46799
907.17/909.61 c #Conflicts: 596000 | #Constraints: 47799
907.17/909.61 c #Conflicts: 597000 | #Constraints: 48799
907.17/909.61 c #Conflicts: 598000 | #Constraints: 49799
907.17/909.61 c #Conflicts: 599000 | #Constraints: 50799
907.17/909.61 c #Conflicts: 600000 | #Constraints: 51799
907.17/909.61 c #Conflicts: 601000 | #Constraints: 52799
907.17/909.61 c #Conflicts: 602000 | #Constraints: 53799
907.17/909.61 c #Conflicts: 603000 | #Constraints: 54799
907.17/909.61 c #Conflicts: 604000 | #Constraints: 55799
907.17/909.61 c #Conflicts: 605000 | #Constraints: 56799
907.17/909.61 c #Conflicts: 606000 | #Constraints: 57799
907.17/909.61 c #Conflicts: 607000 | #Constraints: 58799
907.17/909.61 c INPROCESSING
907.17/909.61 c GARBAGE COLLECT
907.17/909.61 c #Conflicts: 608000 | #Constraints: 44382
907.17/909.61 c #Conflicts: 609000 | #Constraints: 45382
907.17/909.61 c #Conflicts: 610000 | #Constraints: 46382
907.17/909.61 c #Conflicts: 611000 | #Constraints: 47382
907.17/909.61 c #Conflicts: 612000 | #Constraints: 48382
907.17/909.61 c #Conflicts: 613000 | #Constraints: 49382
907.17/909.61 c #Conflicts: 614000 | #Constraints: 50382
907.17/909.61 c #Conflicts: 615000 | #Constraints: 51382
907.17/909.61 c #Conflicts: 616000 | #Constraints: 52382
907.17/909.61 c #Conflicts: 617000 | #Constraints: 53382
907.17/909.61 c #Conflicts: 618000 | #Constraints: 54382
907.17/909.61 c #Conflicts: 619000 | #Constraints: 55382
907.17/909.61 c #Conflicts: 620000 | #Constraints: 56382
907.17/909.61 c #Conflicts: 621000 | #Constraints: 57382
907.17/909.61 c #Conflicts: 622000 | #Constraints: 58382
907.17/909.61 c #Conflicts: 623000 | #Constraints: 59382
907.17/909.61 c INPROCESSING
907.17/909.61 c GARBAGE COLLECT
907.17/909.61 c #Conflicts: 624000 | #Constraints: 44785
907.17/909.61 c #Conflicts: 625000 | #Constraints: 45785
907.17/909.61 c #Conflicts: 626000 | #Constraints: 46785
907.17/909.61 c #Conflicts: 627000 | #Constraints: 47785
907.17/909.61 c #Conflicts: 628000 | #Constraints: 48785
907.17/909.61 c #Conflicts: 629000 | #Constraints: 49785
907.17/909.61 c #Conflicts: 630000 | #Constraints: 50785
907.17/909.61 c #Conflicts: 631000 | #Constraints: 51785
907.17/909.61 c #Conflicts: 632000 | #Constraints: 52785
907.17/909.61 c #Conflicts: 633000 | #Constraints: 53785
907.17/909.61 c #Conflicts: 634000 | #Constraints: 54785
907.17/909.61 c #Conflicts: 635000 | #Constraints: 55785
907.17/909.61 c #Conflicts: 636000 | #Constraints: 56785
907.17/909.61 c #Conflicts: 637000 | #Constraints: 57785
907.17/909.61 c #Conflicts: 638000 | #Constraints: 58785
907.17/909.61 c #Conflicts: 639000 | #Constraints: 59785
907.17/909.61 c INPROCESSING
907.17/909.61 c GARBAGE COLLECT
907.17/909.61 c #Conflicts: 640000 | #Constraints: 44976
907.17/909.61 c #Conflicts: 641000 | #Constraints: 45976
907.17/909.61 c #Conflicts: 642000 | #Constraints: 46976
907.17/909.61 c #Conflicts: 643000 | #Constraints: 47976
907.17/909.61 c #Conflicts: 644000 | #Constraints: 48976
907.17/909.61 c #Conflicts: 645000 | #Constraints: 49976
907.17/909.61 c #Conflicts: 646000 | #Constraints: 50976
907.17/909.61 c #Conflicts: 647000 | #Constraints: 51976
907.17/909.61 c #Conflicts: 648000 | #Constraints: 52976
907.17/909.61 c #Conflicts: 649000 | #Constraints: 53976
907.17/909.61 c #Conflicts: 650000 | #Constraints: 54976
907.17/909.61 c #Conflicts: 651000 | #Constraints: 55976
907.17/909.61 c #Conflicts: 652000 | #Constraints: 56976
907.17/909.61 c #Conflicts: 653000 | #Constraints: 57976
907.17/909.61 c #Conflicts: 654000 | #Constraints: 58976
907.17/909.61 c #Conflicts: 655000 | #Constraints: 59976
907.17/909.61 c INPROCESSING
907.17/909.61 c GARBAGE COLLECT
1024.36/1027.16 c #Conflicts: 656000 | #Constraints: 44982
1024.36/1027.16 c #Conflicts: 657000 | #Constraints: 45982
1024.36/1027.16 c #Conflicts: 658000 | #Constraints: 46982
1024.36/1027.16 c #Conflicts: 659000 | #Constraints: 47982
1024.36/1027.16 c #Conflicts: 660000 | #Constraints: 48982
1024.36/1027.16 c #Conflicts: 661000 | #Constraints: 49982
1024.36/1027.16 c #Conflicts: 662000 | #Constraints: 50982
1024.36/1027.16 c #Conflicts: 663000 | #Constraints: 51982
1024.36/1027.16 c #Conflicts: 664000 | #Constraints: 52982
1024.36/1027.16 c #Conflicts: 665000 | #Constraints: 53982
1024.36/1027.16 c #Conflicts: 666000 | #Constraints: 54982
1024.36/1027.16 c #Conflicts: 667000 | #Constraints: 55982
1024.36/1027.16 c #Conflicts: 668000 | #Constraints: 56982
1024.36/1027.16 c #Conflicts: 669000 | #Constraints: 57982
1024.36/1027.16 c #Conflicts: 670000 | #Constraints: 58982
1024.36/1027.16 c #Conflicts: 671000 | #Constraints: 59982
1024.36/1027.16 c INPROCESSING
1024.36/1027.16 c GARBAGE COLLECT
1024.36/1027.16 c #Conflicts: 672000 | #Constraints: 44782
1024.36/1027.16 c #Conflicts: 673000 | #Constraints: 45782
1024.36/1027.16 c #Conflicts: 674000 | #Constraints: 46782
1024.36/1027.16 c #Conflicts: 675000 | #Constraints: 47782
1024.36/1027.16 c #Conflicts: 676000 | #Constraints: 48782
1024.36/1027.16 c #Conflicts: 677000 | #Constraints: 49782
1024.36/1027.16 c #Conflicts: 678000 | #Constraints: 50782
1024.36/1027.16 c #Conflicts: 679000 | #Constraints: 51782
1024.36/1027.16 c #Conflicts: 680000 | #Constraints: 52782
1024.36/1027.16 c #Conflicts: 681000 | #Constraints: 53782
1024.36/1027.16 c #Conflicts: 682000 | #Constraints: 54782
1024.36/1027.16 c #Conflicts: 683000 | #Constraints: 55782
1024.36/1027.16 c #Conflicts: 684000 | #Constraints: 56782
1024.36/1027.16 c #Conflicts: 685000 | #Constraints: 57782
1024.36/1027.16 c #Conflicts: 686000 | #Constraints: 58782
1024.36/1027.16 c #Conflicts: 687000 | #Constraints: 59782
1024.36/1027.16 c #Conflicts: 688000 | #Constraints: 60782
1024.36/1027.16 c INPROCESSING
1024.36/1027.16 c GARBAGE COLLECT
1024.36/1027.16 c #Conflicts: 689000 | #Constraints: 45363
1024.36/1027.16 c #Conflicts: 690000 | #Constraints: 46363
1024.36/1027.16 c #Conflicts: 691000 | #Constraints: 47363
1024.36/1027.16 c #Conflicts: 692000 | #Constraints: 48363
1024.36/1027.16 c #Conflicts: 693000 | #Constraints: 49363
1024.36/1027.16 c #Conflicts: 694000 | #Constraints: 50363
1024.36/1027.16 c #Conflicts: 695000 | #Constraints: 51363
1024.36/1027.16 c #Conflicts: 696000 | #Constraints: 52363
1024.36/1027.16 c #Conflicts: 697000 | #Constraints: 53363
1024.36/1027.16 c #Conflicts: 698000 | #Constraints: 54363
1024.36/1027.16 c #Conflicts: 699000 | #Constraints: 55363
1024.36/1027.16 c #Conflicts: 700000 | #Constraints: 56363
1024.36/1027.16 c #Conflicts: 701000 | #Constraints: 57363
1024.36/1027.16 c #Conflicts: 702000 | #Constraints: 58363
1024.36/1027.16 c #Conflicts: 703000 | #Constraints: 59363
1024.36/1027.16 c #Conflicts: 704000 | #Constraints: 60363
1024.36/1027.16 c #Conflicts: 705000 | #Constraints: 61363
1024.36/1027.16 c INPROCESSING
1024.36/1027.16 c GARBAGE COLLECT
1024.36/1027.16 c #Conflicts: 706000 | #Constraints: 45772
1024.36/1027.16 c #Conflicts: 707000 | #Constraints: 46772
1024.36/1027.16 c #Conflicts: 708000 | #Constraints: 47772
1024.36/1027.16 c #Conflicts: 709000 | #Constraints: 48772
1024.36/1027.16 c #Conflicts: 710000 | #Constraints: 49772
1024.36/1027.16 c #Conflicts: 711000 | #Constraints: 50772
1024.36/1027.16 c #Conflicts: 712000 | #Constraints: 51772
1024.36/1027.16 c #Conflicts: 713000 | #Constraints: 52772
1024.36/1027.16 c #Conflicts: 714000 | #Constraints: 53772
1024.36/1027.16 c #Conflicts: 715000 | #Constraints: 54772
1024.36/1027.16 c #Conflicts: 716000 | #Constraints: 55772
1024.36/1027.16 c #Conflicts: 717000 | #Constraints: 56772
1024.36/1027.16 c #Conflicts: 718000 | #Constraints: 57772
1024.36/1027.16 c #Conflicts: 719000 | #Constraints: 58772
1024.36/1027.16 c #Conflicts: 720000 | #Constraints: 59772
1024.36/1027.16 c #Conflicts: 721000 | #Constraints: 60772
1024.36/1027.16 c #Conflicts: 722000 | #Constraints: 61772
1024.36/1027.16 c INPROCESSING
1024.36/1027.16 c GARBAGE COLLECT
1024.36/1027.16 c #Conflicts: 723000 | #Constraints: 45981
1024.36/1027.16 c #Conflicts: 724000 | #Constraints: 46981
1024.36/1027.16 c #Conflicts: 725000 | #Constraints: 47981
1024.36/1027.16 c #Conflicts: 726000 | #Constraints: 48981
1024.36/1027.16 c #Conflicts: 727000 | #Constraints: 49981
1024.36/1027.16 c #Conflicts: 728000 | #Constraints: 50981
1024.36/1027.16 c #Conflicts: 729000 | #Constraints: 51981
1024.36/1027.16 c #Conflicts: 730000 | #Constraints: 52981
1024.36/1027.16 c #Conflicts: 731000 | #Constraints: 53981
1024.36/1027.16 c #Conflicts: 732000 | #Constraints: 54981
1149.62/1152.75 c #Conflicts: 733000 | #Constraints: 55981
1149.62/1152.75 c #Conflicts: 734000 | #Constraints: 56981
1149.62/1152.75 c #Conflicts: 735000 | #Constraints: 57981
1149.62/1152.75 c #Conflicts: 736000 | #Constraints: 58981
1149.62/1152.75 c #Conflicts: 737000 | #Constraints: 59981
1149.62/1152.75 c #Conflicts: 738000 | #Constraints: 60981
1149.62/1152.75 c #Conflicts: 739000 | #Constraints: 61981
1149.62/1152.75 c INPROCESSING
1149.62/1152.75 c GARBAGE COLLECT
1149.62/1152.75 c #Conflicts: 740000 | #Constraints: 45995
1149.62/1152.75 c #Conflicts: 741000 | #Constraints: 46995
1149.62/1152.75 c #Conflicts: 742000 | #Constraints: 47995
1149.62/1152.75 c #Conflicts: 743000 | #Constraints: 48995
1149.62/1152.75 c #Conflicts: 744000 | #Constraints: 49995
1149.62/1152.75 c #Conflicts: 745000 | #Constraints: 50995
1149.62/1152.75 c #Conflicts: 746000 | #Constraints: 51995
1149.62/1152.75 c #Conflicts: 747000 | #Constraints: 52995
1149.62/1152.75 c #Conflicts: 748000 | #Constraints: 53995
1149.62/1152.75 c #Conflicts: 749000 | #Constraints: 54995
1149.62/1152.75 c #Conflicts: 750000 | #Constraints: 55995
1149.62/1152.75 c #Conflicts: 751000 | #Constraints: 56995
1149.62/1152.75 c #Conflicts: 752000 | #Constraints: 57995
1149.62/1152.75 c #Conflicts: 753000 | #Constraints: 58995
1149.62/1152.75 c #Conflicts: 754000 | #Constraints: 59995
1149.62/1152.75 c #Conflicts: 755000 | #Constraints: 60995
1149.62/1152.75 c #Conflicts: 756000 | #Constraints: 61995
1149.62/1152.75 c INPROCESSING
1149.62/1152.75 c GARBAGE COLLECT
1149.62/1152.75 c #Conflicts: 757000 | #Constraints: 45795
1149.62/1152.75 c #Conflicts: 758000 | #Constraints: 46795
1149.62/1152.75 c #Conflicts: 759000 | #Constraints: 47795
1149.62/1152.75 c #Conflicts: 760000 | #Constraints: 48795
1149.62/1152.75 c #Conflicts: 761000 | #Constraints: 49795
1149.62/1152.75 c #Conflicts: 762000 | #Constraints: 50795
1149.62/1152.75 c #Conflicts: 763000 | #Constraints: 51795
1149.62/1152.75 c #Conflicts: 764000 | #Constraints: 52795
1149.62/1152.75 c #Conflicts: 765000 | #Constraints: 53795
1149.62/1152.75 c #Conflicts: 766000 | #Constraints: 54795
1149.62/1152.75 c #Conflicts: 767000 | #Constraints: 55795
1149.62/1152.75 c #Conflicts: 768000 | #Constraints: 56795
1149.62/1152.75 c #Conflicts: 769000 | #Constraints: 57795
1149.62/1152.75 c #Conflicts: 770000 | #Constraints: 58795
1149.62/1152.75 c #Conflicts: 771000 | #Constraints: 59795
1149.62/1152.75 c #Conflicts: 772000 | #Constraints: 60795
1149.62/1152.75 c #Conflicts: 773000 | #Constraints: 61795
1149.62/1152.75 c #Conflicts: 774000 | #Constraints: 62795
1149.62/1152.75 c INPROCESSING
1149.62/1152.75 c GARBAGE COLLECT
1149.62/1152.75 c #Conflicts: 775000 | #Constraints: 46376
1149.62/1152.75 c #Conflicts: 776000 | #Constraints: 47376
1149.62/1152.75 c #Conflicts: 777000 | #Constraints: 48376
1149.62/1152.75 c #Conflicts: 778000 | #Constraints: 49376
1149.62/1152.75 c #Conflicts: 779000 | #Constraints: 50376
1149.62/1152.75 c #Conflicts: 780000 | #Constraints: 51376
1149.62/1152.75 c #Conflicts: 781000 | #Constraints: 52376
1149.62/1152.75 c #Conflicts: 782000 | #Constraints: 53376
1149.62/1152.75 c #Conflicts: 783000 | #Constraints: 54376
1149.62/1152.75 c #Conflicts: 784000 | #Constraints: 55376
1149.62/1152.75 c #Conflicts: 785000 | #Constraints: 56376
1149.62/1152.75 c #Conflicts: 786000 | #Constraints: 57376
1149.62/1152.75 c #Conflicts: 787000 | #Constraints: 58376
1149.62/1152.75 c #Conflicts: 788000 | #Constraints: 59376
1149.62/1152.75 c #Conflicts: 789000 | #Constraints: 60376
1149.62/1152.75 c #Conflicts: 790000 | #Constraints: 61376
1149.62/1152.75 c #Conflicts: 791000 | #Constraints: 62376
1149.62/1152.75 c #Conflicts: 792000 | #Constraints: 63376
1149.62/1152.75 c INPROCESSING
1149.62/1152.75 c GARBAGE COLLECT
1149.62/1152.75 c #Conflicts: 793000 | #Constraints: 46785
1149.62/1152.75 c #Conflicts: 794000 | #Constraints: 47785
1149.62/1152.75 c #Conflicts: 795000 | #Constraints: 48785
1149.62/1152.75 c #Conflicts: 796000 | #Constraints: 49785
1149.62/1152.75 c #Conflicts: 797000 | #Constraints: 50785
1149.62/1152.75 c #Conflicts: 798000 | #Constraints: 51785
1149.62/1152.75 c #Conflicts: 799000 | #Constraints: 52785
1149.62/1152.75 c #Conflicts: 800000 | #Constraints: 53785
1149.62/1152.75 c #Conflicts: 801000 | #Constraints: 54785
1149.62/1152.75 c #Conflicts: 802000 | #Constraints: 55785
1149.62/1152.75 c #Conflicts: 803000 | #Constraints: 56785
1149.62/1152.75 c #Conflicts: 804000 | #Constraints: 57785
1149.62/1152.75 c #Conflicts: 805000 | #Constraints: 58785
1149.62/1152.75 c #Conflicts: 806000 | #Constraints: 59785
1149.62/1152.75 c #Conflicts: 807000 | #Constraints: 60785
1149.62/1152.75 c #Conflicts: 808000 | #Constraints: 61785
1273.11/1276.54 c #Conflicts: 809000 | #Constraints: 62785
1273.11/1276.54 c #Conflicts: 810000 | #Constraints: 63785
1273.11/1276.54 c INPROCESSING
1273.11/1276.54 c GARBAGE COLLECT
1273.11/1276.54 c #Conflicts: 811000 | #Constraints: 47006
1273.11/1276.54 c #Conflicts: 812000 | #Constraints: 48006
1273.11/1276.54 c #Conflicts: 813000 | #Constraints: 49006
1273.11/1276.54 c #Conflicts: 814000 | #Constraints: 50006
1273.11/1276.54 c #Conflicts: 815000 | #Constraints: 51006
1273.11/1276.54 c #Conflicts: 816000 | #Constraints: 52006
1273.11/1276.54 c #Conflicts: 817000 | #Constraints: 53006
1273.11/1276.54 c #Conflicts: 818000 | #Constraints: 54006
1273.11/1276.54 c #Conflicts: 819000 | #Constraints: 55006
1273.11/1276.54 c #Conflicts: 820000 | #Constraints: 56006
1273.11/1276.54 c #Conflicts: 821000 | #Constraints: 57006
1273.11/1276.54 c #Conflicts: 822000 | #Constraints: 58006
1273.11/1276.54 c #Conflicts: 823000 | #Constraints: 59006
1273.11/1276.54 c #Conflicts: 824000 | #Constraints: 60006
1273.11/1276.54 c #Conflicts: 825000 | #Constraints: 61006
1273.11/1276.54 c #Conflicts: 826000 | #Constraints: 62006
1273.11/1276.54 c #Conflicts: 827000 | #Constraints: 63006
1273.11/1276.54 c #Conflicts: 828000 | #Constraints: 64006
1273.11/1276.54 c INPROCESSING
1273.11/1276.54 c GARBAGE COLLECT
1273.11/1276.54 c #Conflicts: 829000 | #Constraints: 47005
1273.11/1276.54 c #Conflicts: 830000 | #Constraints: 48005
1273.11/1276.54 c #Conflicts: 831000 | #Constraints: 49005
1273.11/1276.54 c #Conflicts: 832000 | #Constraints: 50005
1273.11/1276.54 c #Conflicts: 833000 | #Constraints: 51005
1273.11/1276.54 c #Conflicts: 834000 | #Constraints: 52005
1273.11/1276.54 c #Conflicts: 835000 | #Constraints: 53005
1273.11/1276.54 c #Conflicts: 836000 | #Constraints: 54005
1273.11/1276.54 c #Conflicts: 837000 | #Constraints: 55005
1273.11/1276.54 c #Conflicts: 838000 | #Constraints: 56005
1273.11/1276.54 c #Conflicts: 839000 | #Constraints: 57005
1273.11/1276.54 c #Conflicts: 840000 | #Constraints: 58005
1273.11/1276.54 c #Conflicts: 841000 | #Constraints: 59005
1273.11/1276.54 c #Conflicts: 842000 | #Constraints: 60005
1273.11/1276.54 c #Conflicts: 843000 | #Constraints: 61005
1273.11/1276.54 c #Conflicts: 844000 | #Constraints: 62005
1273.11/1276.54 c #Conflicts: 845000 | #Constraints: 63005
1273.11/1276.54 c #Conflicts: 846000 | #Constraints: 64005
1273.11/1276.54 c INPROCESSING
1273.11/1276.54 c GARBAGE COLLECT
1273.11/1276.54 c #Conflicts: 847000 | #Constraints: 46804
1273.11/1276.54 c #Conflicts: 848000 | #Constraints: 47804
1273.11/1276.54 c #Conflicts: 849000 | #Constraints: 48804
1273.11/1276.54 c #Conflicts: 850000 | #Constraints: 49804
1273.11/1276.54 c #Conflicts: 851000 | #Constraints: 50804
1273.11/1276.54 c #Conflicts: 852000 | #Constraints: 51804
1273.11/1276.54 c #Conflicts: 853000 | #Constraints: 52804
1273.11/1276.54 c #Conflicts: 854000 | #Constraints: 53804
1273.11/1276.54 c #Conflicts: 855000 | #Constraints: 54804
1273.11/1276.54 c #Conflicts: 856000 | #Constraints: 55804
1273.11/1276.54 c #Conflicts: 857000 | #Constraints: 56804
1273.11/1276.54 c #Conflicts: 858000 | #Constraints: 57804
1273.11/1276.54 c #Conflicts: 859000 | #Constraints: 58804
1273.11/1276.54 c #Conflicts: 860000 | #Constraints: 59804
1273.11/1276.54 c #Conflicts: 861000 | #Constraints: 60804
1273.11/1276.54 c #Conflicts: 862000 | #Constraints: 61804
1273.11/1276.54 c #Conflicts: 863000 | #Constraints: 62804
1273.11/1276.54 c #Conflicts: 864000 | #Constraints: 63804
1273.11/1276.54 c #Conflicts: 865000 | #Constraints: 64804
1273.11/1276.54 c INPROCESSING
1273.11/1276.54 c GARBAGE COLLECT
1273.11/1276.54 c #Conflicts: 866000 | #Constraints: 47375
1273.11/1276.54 c #Conflicts: 867000 | #Constraints: 48375
1273.11/1276.54 c #Conflicts: 868000 | #Constraints: 49375
1273.11/1276.54 c #Conflicts: 869000 | #Constraints: 50375
1273.11/1276.54 c #Conflicts: 870000 | #Constraints: 51375
1273.11/1276.54 c #Conflicts: 871000 | #Constraints: 52375
1273.11/1276.54 c #Conflicts: 872000 | #Constraints: 53375
1273.11/1276.54 c #Conflicts: 873000 | #Constraints: 54375
1273.11/1276.54 c #Conflicts: 874000 | #Constraints: 55375
1273.11/1276.54 c #Conflicts: 875000 | #Constraints: 56375
1273.11/1276.54 c #Conflicts: 876000 | #Constraints: 57375
1273.11/1276.54 c #Conflicts: 877000 | #Constraints: 58375
1273.11/1276.54 c #Conflicts: 878000 | #Constraints: 59375
1273.11/1276.54 c #Conflicts: 879000 | #Constraints: 60375
1273.11/1276.54 c #Conflicts: 880000 | #Constraints: 61375
1273.11/1276.54 c #Conflicts: 881000 | #Constraints: 62375
1273.11/1276.54 c #Conflicts: 882000 | #Constraints: 63375
1273.11/1276.54 c #Conflicts: 883000 | #Constraints: 64375
1273.11/1276.54 c #Conflicts: 884000 | #Constraints: 65375
1412.56/1416.33 c INPROCESSING
1412.56/1416.33 c GARBAGE COLLECT
1412.56/1416.33 c #Conflicts: 885000 | #Constraints: 47764
1412.56/1416.33 c #Conflicts: 886000 | #Constraints: 48764
1412.56/1416.33 c #Conflicts: 887000 | #Constraints: 49764
1412.56/1416.33 c #Conflicts: 888000 | #Constraints: 50764
1412.56/1416.33 c #Conflicts: 889000 | #Constraints: 51764
1412.56/1416.33 c #Conflicts: 890000 | #Constraints: 52764
1412.56/1416.33 c #Conflicts: 891000 | #Constraints: 53764
1412.56/1416.33 c #Conflicts: 892000 | #Constraints: 54764
1412.56/1416.33 c #Conflicts: 893000 | #Constraints: 55764
1412.56/1416.33 c #Conflicts: 894000 | #Constraints: 56764
1412.56/1416.33 c #Conflicts: 895000 | #Constraints: 57764
1412.56/1416.33 c #Conflicts: 896000 | #Constraints: 58764
1412.56/1416.33 c #Conflicts: 897000 | #Constraints: 59764
1412.56/1416.33 c #Conflicts: 898000 | #Constraints: 60764
1412.56/1416.33 c #Conflicts: 899000 | #Constraints: 61764
1412.56/1416.33 c #Conflicts: 900000 | #Constraints: 62764
1412.56/1416.33 c #Conflicts: 901000 | #Constraints: 63764
1412.56/1416.33 c #Conflicts: 902000 | #Constraints: 64764
1412.56/1416.33 c #Conflicts: 903000 | #Constraints: 65764
1412.56/1416.33 c INPROCESSING
1412.56/1416.33 c GARBAGE COLLECT
1412.56/1416.33 c #Conflicts: 904000 | #Constraints: 47976
1412.56/1416.33 c #Conflicts: 905000 | #Constraints: 48976
1412.56/1416.33 c #Conflicts: 906000 | #Constraints: 49976
1412.56/1416.33 c #Conflicts: 907000 | #Constraints: 50976
1412.56/1416.33 c #Conflicts: 908000 | #Constraints: 51976
1412.56/1416.33 c #Conflicts: 909000 | #Constraints: 52976
1412.56/1416.33 c #Conflicts: 910000 | #Constraints: 53976
1412.56/1416.33 c #Conflicts: 911000 | #Constraints: 54976
1412.56/1416.33 c #Conflicts: 912000 | #Constraints: 55976
1412.56/1416.33 c #Conflicts: 913000 | #Constraints: 56976
1412.56/1416.33 c #Conflicts: 914000 | #Constraints: 57976
1412.56/1416.33 c #Conflicts: 915000 | #Constraints: 58976
1412.56/1416.33 c #Conflicts: 916000 | #Constraints: 59976
1412.56/1416.33 c #Conflicts: 917000 | #Constraints: 60976
1412.56/1416.33 c #Conflicts: 918000 | #Constraints: 61976
1412.56/1416.33 c #Conflicts: 919000 | #Constraints: 62976
1412.56/1416.33 c #Conflicts: 920000 | #Constraints: 63976
1412.56/1416.33 c #Conflicts: 921000 | #Constraints: 64976
1412.56/1416.33 c #Conflicts: 922000 | #Constraints: 65976
1412.56/1416.33 c INPROCESSING
1412.56/1416.33 c GARBAGE COLLECT
1412.56/1416.33 c #Conflicts: 923000 | #Constraints: 47985
1412.56/1416.33 c #Conflicts: 924000 | #Constraints: 48985
1412.56/1416.33 c #Conflicts: 925000 | #Constraints: 49985
1412.56/1416.33 c #Conflicts: 926000 | #Constraints: 50985
1412.56/1416.33 c #Conflicts: 927000 | #Constraints: 51985
1412.56/1416.33 c #Conflicts: 928000 | #Constraints: 52985
1412.56/1416.33 c #Conflicts: 929000 | #Constraints: 53985
1412.56/1416.33 c #Conflicts: 930000 | #Constraints: 54985
1412.56/1416.33 c #Conflicts: 931000 | #Constraints: 55985
1412.56/1416.33 c #Conflicts: 932000 | #Constraints: 56985
1412.56/1416.33 c #Conflicts: 933000 | #Constraints: 57985
1412.56/1416.33 c #Conflicts: 934000 | #Constraints: 58985
1412.56/1416.33 c #Conflicts: 935000 | #Constraints: 59985
1412.56/1416.33 c #Conflicts: 936000 | #Constraints: 60985
1412.56/1416.33 c #Conflicts: 937000 | #Constraints: 61985
1412.56/1416.33 c #Conflicts: 938000 | #Constraints: 62985
1412.56/1416.33 c #Conflicts: 939000 | #Constraints: 63985
1412.56/1416.33 c #Conflicts: 940000 | #Constraints: 64985
1412.56/1416.33 c #Conflicts: 941000 | #Constraints: 65985
1412.56/1416.33 c INPROCESSING
1412.56/1416.33 c GARBAGE COLLECT
1412.56/1416.33 c #Conflicts: 942000 | #Constraints: 47799
1412.56/1416.33 c #Conflicts: 943000 | #Constraints: 48799
1412.56/1416.33 c #Conflicts: 944000 | #Constraints: 49799
1412.56/1416.33 c #Conflicts: 945000 | #Constraints: 50799
1412.56/1416.33 c #Conflicts: 946000 | #Constraints: 51799
1412.56/1416.33 c #Conflicts: 947000 | #Constraints: 52799
1412.56/1416.33 c #Conflicts: 948000 | #Constraints: 53799
1412.56/1416.33 c #Conflicts: 949000 | #Constraints: 54799
1412.56/1416.33 c #Conflicts: 950000 | #Constraints: 55799
1412.56/1416.33 c #Conflicts: 951000 | #Constraints: 56799
1412.56/1416.33 c #Conflicts: 952000 | #Constraints: 57799
1412.56/1416.33 c #Conflicts: 953000 | #Constraints: 58799
1412.56/1416.33 c #Conflicts: 954000 | #Constraints: 59799
1412.56/1416.33 c #Conflicts: 955000 | #Constraints: 60799
1412.56/1416.33 c #Conflicts: 956000 | #Constraints: 61799
1412.56/1416.33 c #Conflicts: 957000 | #Constraints: 62799
1412.56/1416.33 c #Conflicts: 958000 | #Constraints: 63799
1412.56/1416.33 c #Conflicts: 959000 | #Constraints: 64799
1412.56/1416.33 c #Conflicts: 960000 | #Constraints: 65799
1555.69/1559.81 c #Conflicts: 961000 | #Constraints: 66799
1555.69/1559.81 c INPROCESSING
1555.69/1559.81 c GARBAGE COLLECT
1555.69/1559.81 c #Conflicts: 962000 | #Constraints: 48403
1555.69/1559.81 c #Conflicts: 963000 | #Constraints: 49403
1555.69/1559.81 c #Conflicts: 964000 | #Constraints: 50403
1555.69/1559.81 c #Conflicts: 965000 | #Constraints: 51403
1555.69/1559.81 c #Conflicts: 966000 | #Constraints: 52403
1555.69/1559.81 c #Conflicts: 967000 | #Constraints: 53403
1555.69/1559.81 c #Conflicts: 968000 | #Constraints: 54403
1555.69/1559.81 c #Conflicts: 969000 | #Constraints: 55403
1555.69/1559.81 c #Conflicts: 970000 | #Constraints: 56403
1555.69/1559.81 c #Conflicts: 971000 | #Constraints: 57403
1555.69/1559.81 c #Conflicts: 972000 | #Constraints: 58403
1555.69/1559.81 c #Conflicts: 973000 | #Constraints: 59403
1555.69/1559.81 c #Conflicts: 974000 | #Constraints: 60403
1555.69/1559.81 c #Conflicts: 975000 | #Constraints: 61403
1555.69/1559.81 c #Conflicts: 976000 | #Constraints: 62403
1555.69/1559.81 c #Conflicts: 977000 | #Constraints: 63403
1555.69/1559.81 c #Conflicts: 978000 | #Constraints: 64403
1555.69/1559.81 c #Conflicts: 979000 | #Constraints: 65403
1555.69/1559.81 c #Conflicts: 980000 | #Constraints: 66403
1555.69/1559.81 c #Conflicts: 981000 | #Constraints: 67403
1555.69/1559.81 c INPROCESSING
1555.69/1559.81 c GARBAGE COLLECT
1555.69/1559.81 c #Conflicts: 982000 | #Constraints: 48817
1555.69/1559.81 c #Conflicts: 983000 | #Constraints: 49817
1555.69/1559.81 c #Conflicts: 984000 | #Constraints: 50817
1555.69/1559.81 c #Conflicts: 985000 | #Constraints: 51817
1555.69/1559.81 c #Conflicts: 986000 | #Constraints: 52817
1555.69/1559.81 c #Conflicts: 987000 | #Constraints: 53817
1555.69/1559.81 c #Conflicts: 988000 | #Constraints: 54817
1555.69/1559.81 c #Conflicts: 989000 | #Constraints: 55817
1555.69/1559.81 c #Conflicts: 990000 | #Constraints: 56817
1555.69/1559.81 c #Conflicts: 991000 | #Constraints: 57817
1555.69/1559.81 c #Conflicts: 992000 | #Constraints: 58817
1555.69/1559.81 c #Conflicts: 993000 | #Constraints: 59817
1555.69/1559.81 c #Conflicts: 994000 | #Constraints: 60817
1555.69/1559.81 c #Conflicts: 995000 | #Constraints: 61817
1555.69/1559.81 c #Conflicts: 996000 | #Constraints: 62817
1555.69/1559.81 c #Conflicts: 997000 | #Constraints: 63817
1555.69/1559.81 c #Conflicts: 998000 | #Constraints: 64817
1555.69/1559.81 c #Conflicts: 999000 | #Constraints: 65817
1555.69/1559.81 c #Conflicts: 1000000 | #Constraints: 66817
1555.69/1559.81 c #Conflicts: 1001000 | #Constraints: 67817
1555.69/1559.81 c INPROCESSING
1555.69/1559.81 c GARBAGE COLLECT
1555.69/1559.81 c #Conflicts: 1002000 | #Constraints: 49012
1555.69/1559.81 c #Conflicts: 1003000 | #Constraints: 50012
1555.69/1559.81 c #Conflicts: 1004000 | #Constraints: 51012
1555.69/1559.81 c #Conflicts: 1005000 | #Constraints: 52012
1555.69/1559.81 c #Conflicts: 1006000 | #Constraints: 53012
1555.69/1559.81 c #Conflicts: 1007000 | #Constraints: 54012
1555.69/1559.81 c #Conflicts: 1008000 | #Constraints: 55012
1555.69/1559.81 c #Conflicts: 1009000 | #Constraints: 56012
1555.69/1559.81 c #Conflicts: 1010000 | #Constraints: 57012
1555.69/1559.81 c #Conflicts: 1011000 | #Constraints: 58012
1555.69/1559.81 c #Conflicts: 1012000 | #Constraints: 59012
1555.69/1559.81 c #Conflicts: 1013000 | #Constraints: 60012
1555.69/1559.81 c #Conflicts: 1014000 | #Constraints: 61012
1555.69/1559.81 c #Conflicts: 1015000 | #Constraints: 62012
1555.69/1559.81 c #Conflicts: 1016000 | #Constraints: 63012
1555.69/1559.81 c #Conflicts: 1017000 | #Constraints: 64012
1555.69/1559.81 c #Conflicts: 1018000 | #Constraints: 65012
1555.69/1559.81 c #Conflicts: 1019000 | #Constraints: 66012
1555.69/1559.81 c #Conflicts: 1020000 | #Constraints: 67012
1555.69/1559.81 c #Conflicts: 1021000 | #Constraints: 68012
1555.69/1559.81 c INPROCESSING
1555.69/1559.81 c GARBAGE COLLECT
1555.69/1559.81 c #Conflicts: 1022000 | #Constraints: 48969
1555.69/1559.81 c #Conflicts: 1023000 | #Constraints: 49969
1555.69/1559.81 c #Conflicts: 1024000 | #Constraints: 50969
1555.69/1559.81 c #Conflicts: 1025000 | #Constraints: 51969
1555.69/1559.81 c #Conflicts: 1026000 | #Constraints: 52969
1555.69/1559.81 c #Conflicts: 1027000 | #Constraints: 53969
1555.69/1559.81 c #Conflicts: 1028000 | #Constraints: 54969
1555.69/1559.81 c #Conflicts: 1029000 | #Constraints: 55969
1555.69/1559.81 c #Conflicts: 1030000 | #Constraints: 56969
1555.69/1559.81 c #Conflicts: 1031000 | #Constraints: 57969
1555.69/1559.81 c #Conflicts: 1032000 | #Constraints: 58969
1555.69/1559.81 c #Conflicts: 1033000 | #Constraints: 59969
1555.69/1559.81 c #Conflicts: 1034000 | #Constraints: 60969
1555.69/1559.81 c #Conflicts: 1035000 | #Constraints: 61969
1555.69/1559.81 c #Conflicts: 1036000 | #Constraints: 62969
1555.69/1559.81 c #Conflicts: 1037000 | #Constraints: 63969
1706.20/1710.79 c #Conflicts: 1038000 | #Constraints: 64969
1706.20/1710.79 c #Conflicts: 1039000 | #Constraints: 65969
1706.20/1710.79 c #Conflicts: 1040000 | #Constraints: 66969
1706.20/1710.79 c #Conflicts: 1041000 | #Constraints: 67969
1706.20/1710.79 c INPROCESSING
1706.20/1710.79 c GARBAGE COLLECT
1706.20/1710.79 c #Conflicts: 1042000 | #Constraints: 48800
1706.20/1710.79 c #Conflicts: 1043000 | #Constraints: 49800
1706.20/1710.79 c #Conflicts: 1044000 | #Constraints: 50800
1706.20/1710.79 c #Conflicts: 1045000 | #Constraints: 51800
1706.20/1710.79 c #Conflicts: 1046000 | #Constraints: 52800
1706.20/1710.79 c #Conflicts: 1047000 | #Constraints: 53800
1706.20/1710.79 c #Conflicts: 1048000 | #Constraints: 54800
1706.20/1710.79 c #Conflicts: 1049000 | #Constraints: 55800
1706.20/1710.79 c #Conflicts: 1050000 | #Constraints: 56800
1706.20/1710.79 c #Conflicts: 1051000 | #Constraints: 57800
1706.20/1710.79 c #Conflicts: 1052000 | #Constraints: 58800
1706.20/1710.79 c #Conflicts: 1053000 | #Constraints: 59800
1706.20/1710.79 c #Conflicts: 1054000 | #Constraints: 60800
1706.20/1710.79 c #Conflicts: 1055000 | #Constraints: 61800
1706.20/1710.79 c #Conflicts: 1056000 | #Constraints: 62800
1706.20/1710.79 c #Conflicts: 1057000 | #Constraints: 63800
1706.20/1710.79 c #Conflicts: 1058000 | #Constraints: 64800
1706.20/1710.79 c #Conflicts: 1059000 | #Constraints: 65800
1706.20/1710.79 c #Conflicts: 1060000 | #Constraints: 66800
1706.20/1710.79 c #Conflicts: 1061000 | #Constraints: 67800
1706.20/1710.79 c #Conflicts: 1062000 | #Constraints: 68800
1706.20/1710.79 c INPROCESSING
1706.20/1710.79 c GARBAGE COLLECT
1706.20/1710.79 c #Conflicts: 1063000 | #Constraints: 49392
1706.20/1710.79 c #Conflicts: 1064000 | #Constraints: 50392
1706.20/1710.79 c #Conflicts: 1065000 | #Constraints: 51392
1706.20/1710.79 c #Conflicts: 1066000 | #Constraints: 52392
1706.20/1710.79 c #Conflicts: 1067000 | #Constraints: 53392
1706.20/1710.79 c #Conflicts: 1068000 | #Constraints: 54392
1706.20/1710.79 c #Conflicts: 1069000 | #Constraints: 55392
1706.20/1710.79 c #Conflicts: 1070000 | #Constraints: 56392
1706.20/1710.79 c #Conflicts: 1071000 | #Constraints: 57392
1706.20/1710.79 c #Conflicts: 1072000 | #Constraints: 58392
1706.20/1710.79 c #Conflicts: 1073000 | #Constraints: 59392
1706.20/1710.79 c #Conflicts: 1074000 | #Constraints: 60392
1706.20/1710.79 c #Conflicts: 1075000 | #Constraints: 61392
1706.20/1710.79 c #Conflicts: 1076000 | #Constraints: 62392
1706.20/1710.79 c #Conflicts: 1077000 | #Constraints: 63392
1706.20/1710.79 c #Conflicts: 1078000 | #Constraints: 64392
1706.20/1710.79 c #Conflicts: 1079000 | #Constraints: 65392
1706.20/1710.79 c #Conflicts: 1080000 | #Constraints: 66392
1706.20/1710.79 c #Conflicts: 1081000 | #Constraints: 67392
1706.20/1710.79 c #Conflicts: 1082000 | #Constraints: 68392
1706.20/1710.79 c #Conflicts: 1083000 | #Constraints: 69392
1706.20/1710.79 c INPROCESSING
1706.20/1710.79 c GARBAGE COLLECT
1706.20/1710.79 c #Conflicts: 1084000 | #Constraints: 49804
1706.20/1710.79 c #Conflicts: 1085000 | #Constraints: 50804
1706.20/1710.79 c #Conflicts: 1086000 | #Constraints: 51804
1706.20/1710.79 c #Conflicts: 1087000 | #Constraints: 52804
1706.20/1710.79 c #Conflicts: 1088000 | #Constraints: 53804
1706.20/1710.79 c #Conflicts: 1089000 | #Constraints: 54804
1706.20/1710.79 c #Conflicts: 1090000 | #Constraints: 55804
1706.20/1710.79 c #Conflicts: 1091000 | #Constraints: 56804
1706.20/1710.79 c #Conflicts: 1092000 | #Constraints: 57804
1706.20/1710.79 c #Conflicts: 1093000 | #Constraints: 58804
1706.20/1710.79 c #Conflicts: 1094000 | #Constraints: 59804
1706.20/1710.79 c #Conflicts: 1095000 | #Constraints: 60804
1706.20/1710.79 c #Conflicts: 1096000 | #Constraints: 61804
1706.20/1710.79 c #Conflicts: 1097000 | #Constraints: 62804
1706.20/1710.79 c #Conflicts: 1098000 | #Constraints: 63804
1706.20/1710.79 c #Conflicts: 1099000 | #Constraints: 64804
1706.20/1710.79 c #Conflicts: 1100000 | #Constraints: 65804
1706.20/1710.79 c #Conflicts: 1101000 | #Constraints: 66804
1706.20/1710.79 c #Conflicts: 1102000 | #Constraints: 67804
1706.20/1710.79 c #Conflicts: 1103000 | #Constraints: 68804
1706.20/1710.79 c #Conflicts: 1104000 | #Constraints: 69804
1706.20/1710.79 c INPROCESSING
1706.20/1710.79 c GARBAGE COLLECT
1706.20/1710.79 c #Conflicts: 1105000 | #Constraints: 49991
1706.20/1710.79 c #Conflicts: 1106000 | #Constraints: 50991
1706.20/1710.79 c #Conflicts: 1107000 | #Constraints: 51991
1706.20/1710.79 c #Conflicts: 1108000 | #Constraints: 52991
1706.20/1710.79 c #Conflicts: 1109000 | #Constraints: 53991
1706.20/1710.79 c #Conflicts: 1110000 | #Constraints: 54991
1706.20/1710.79 c #Conflicts: 1111000 | #Constraints: 55991
1706.20/1710.79 c #Conflicts: 1112000 | #Constraints: 56991
1706.20/1710.79 c #Conflicts: 1113000 | #Constraints: 57991
1903.93/1908.99 c #Conflicts: 1114000 | #Constraints: 58991
1903.93/1908.99 c #Conflicts: 1115000 | #Constraints: 59991
1903.93/1908.99 c #Conflicts: 1116000 | #Constraints: 60991
1903.93/1908.99 c #Conflicts: 1117000 | #Constraints: 61991
1903.93/1908.99 c #Conflicts: 1118000 | #Constraints: 62991
1903.93/1908.99 c #Conflicts: 1119000 | #Constraints: 63991
1903.93/1908.99 c #Conflicts: 1120000 | #Constraints: 64991
1903.93/1908.99 c #Conflicts: 1121000 | #Constraints: 65991
1903.93/1908.99 c #Conflicts: 1122000 | #Constraints: 66991
1903.93/1908.99 c #Conflicts: 1123000 | #Constraints: 67991
1903.93/1908.99 c #Conflicts: 1124000 | #Constraints: 68991
1903.93/1908.99 c #Conflicts: 1125000 | #Constraints: 69991
1903.93/1908.99 c INPROCESSING
1903.93/1908.99 c GARBAGE COLLECT
1903.93/1908.99 c #Conflicts: 1126000 | #Constraints: 49988
1903.93/1908.99 c #Conflicts: 1127000 | #Constraints: 50988
1903.93/1908.99 c #Conflicts: 1128000 | #Constraints: 51988
1903.93/1908.99 c #Conflicts: 1129000 | #Constraints: 52988
1903.93/1908.99 c #Conflicts: 1130000 | #Constraints: 53988
1903.93/1908.99 c #Conflicts: 1131000 | #Constraints: 54988
1903.93/1908.99 c #Conflicts: 1132000 | #Constraints: 55988
1903.93/1908.99 c #Conflicts: 1133000 | #Constraints: 56988
1903.93/1908.99 c #Conflicts: 1134000 | #Constraints: 57988
1903.93/1908.99 c #Conflicts: 1135000 | #Constraints: 58988
1903.93/1908.99 c #Conflicts: 1136000 | #Constraints: 59988
1903.93/1908.99 c #Conflicts: 1137000 | #Constraints: 60988
1903.93/1908.99 c #Conflicts: 1138000 | #Constraints: 61988
1903.93/1908.99 c #Conflicts: 1139000 | #Constraints: 62988
1903.93/1908.99 c #Conflicts: 1140000 | #Constraints: 63988
1903.93/1908.99 c #Conflicts: 1141000 | #Constraints: 64988
1903.93/1908.99 c #Conflicts: 1142000 | #Constraints: 65988
1903.93/1908.99 c #Conflicts: 1143000 | #Constraints: 66988
1903.93/1908.99 c #Conflicts: 1144000 | #Constraints: 67988
1903.93/1908.99 c #Conflicts: 1145000 | #Constraints: 68988
1903.93/1908.99 c #Conflicts: 1146000 | #Constraints: 69988
1903.93/1908.99 c INPROCESSING
1903.93/1908.99 c GARBAGE COLLECT
1903.93/1908.99 c #Conflicts: 1147000 | #Constraints: 49780
1903.93/1908.99 c #Conflicts: 1148000 | #Constraints: 50780
1903.93/1908.99 c #Conflicts: 1149000 | #Constraints: 51780
1903.93/1908.99 c #Conflicts: 1150000 | #Constraints: 52780
1903.93/1908.99 c #Conflicts: 1151000 | #Constraints: 53780
1903.93/1908.99 c #Conflicts: 1152000 | #Constraints: 54780
1903.93/1908.99 c #Conflicts: 1153000 | #Constraints: 55780
1903.93/1908.99 c #Conflicts: 1154000 | #Constraints: 56780
1903.93/1908.99 c #Conflicts: 1155000 | #Constraints: 57780
1903.93/1908.99 c #Conflicts: 1156000 | #Constraints: 58780
1903.93/1908.99 c #Conflicts: 1157000 | #Constraints: 59780
1903.93/1908.99 c #Conflicts: 1158000 | #Constraints: 60780
1903.93/1908.99 c #Conflicts: 1159000 | #Constraints: 61780
1903.93/1908.99 c #Conflicts: 1160000 | #Constraints: 62780
1903.93/1908.99 c #Conflicts: 1161000 | #Constraints: 63780
1903.93/1908.99 c #Conflicts: 1162000 | #Constraints: 64780
1903.93/1908.99 c #Conflicts: 1163000 | #Constraints: 65780
1903.93/1908.99 c #Conflicts: 1164000 | #Constraints: 66780
1903.93/1908.99 c #Conflicts: 1165000 | #Constraints: 67780
1903.93/1908.99 c #Conflicts: 1166000 | #Constraints: 68780
1903.93/1908.99 c #Conflicts: 1167000 | #Constraints: 69780
1903.93/1908.99 c #Conflicts: 1168000 | #Constraints: 70780
1903.93/1908.99 c INPROCESSING
1903.93/1908.99 c GARBAGE COLLECT
1903.93/1908.99 c #Conflicts: 1169000 | #Constraints: 50392
1903.93/1908.99 c #Conflicts: 1170000 | #Constraints: 51392
1903.93/1909.00 c #Conflicts: 1171000 | #Constraints: 52392
1903.93/1909.00 c #Conflicts: 1172000 | #Constraints: 53392
1903.93/1909.00 c #Conflicts: 1173000 | #Constraints: 54392
1903.93/1909.00 c #Conflicts: 1174000 | #Constraints: 55392
1903.93/1909.00 c #Conflicts: 1175000 | #Constraints: 56392
1903.93/1909.00 c #Conflicts: 1176000 | #Constraints: 57392
1903.93/1909.00 c #Conflicts: 1177000 | #Constraints: 58392
1903.93/1909.00 c #Conflicts: 1178000 | #Constraints: 59392
1903.93/1909.00 c #Conflicts: 1179000 | #Constraints: 60392
1903.93/1909.00 c #Conflicts: 1180000 | #Constraints: 61392
1903.93/1909.00 c #Conflicts: 1181000 | #Constraints: 62392
1903.93/1909.00 c #Conflicts: 1182000 | #Constraints: 63392
1903.93/1909.00 c #Conflicts: 1183000 | #Constraints: 64392
1903.93/1909.00 c #Conflicts: 1184000 | #Constraints: 65392
1903.93/1909.00 c #Conflicts: 1185000 | #Constraints: 66392
1903.93/1909.00 c #Conflicts: 1186000 | #Constraints: 67392
1903.93/1909.00 c #Conflicts: 1187000 | #Constraints: 68392
1903.93/1909.00 c #Conflicts: 1188000 | #Constraints: 69392
1903.93/1909.00 c #Conflicts: 1189000 | #Constraints: 70392
1903.93/1909.00 c #Conflicts: 1190000 | #Constraints: 71392
2093.27/2098.76 c INPROCESSING
2093.27/2098.76 c GARBAGE COLLECT
2093.27/2098.76 c #Conflicts: 1191000 | #Constraints: 50811
2093.27/2098.76 c #Conflicts: 1192000 | #Constraints: 51811
2093.27/2098.76 c #Conflicts: 1193000 | #Constraints: 52811
2093.27/2098.76 c #Conflicts: 1194000 | #Constraints: 53811
2093.27/2098.76 c #Conflicts: 1195000 | #Constraints: 54811
2093.27/2098.76 c #Conflicts: 1196000 | #Constraints: 55811
2093.27/2098.76 c #Conflicts: 1197000 | #Constraints: 56811
2093.27/2098.76 c #Conflicts: 1198000 | #Constraints: 57811
2093.27/2098.76 c #Conflicts: 1199000 | #Constraints: 58811
2093.27/2098.76 c #Conflicts: 1200000 | #Constraints: 59811
2093.27/2098.76 c #Conflicts: 1201000 | #Constraints: 60811
2093.27/2098.76 c #Conflicts: 1202000 | #Constraints: 61811
2093.27/2098.76 c #Conflicts: 1203000 | #Constraints: 62811
2093.27/2098.76 c #Conflicts: 1204000 | #Constraints: 63811
2093.27/2098.76 c #Conflicts: 1205000 | #Constraints: 64811
2093.27/2098.76 c #Conflicts: 1206000 | #Constraints: 65811
2093.27/2098.76 c #Conflicts: 1207000 | #Constraints: 66811
2093.27/2098.76 c #Conflicts: 1208000 | #Constraints: 67811
2093.27/2098.76 c #Conflicts: 1209000 | #Constraints: 68811
2093.27/2098.76 c #Conflicts: 1210000 | #Constraints: 69811
2093.27/2098.76 c #Conflicts: 1211000 | #Constraints: 70811
2093.27/2098.76 c #Conflicts: 1212000 | #Constraints: 71811
2093.27/2098.76 c INPROCESSING
2093.27/2098.76 c GARBAGE COLLECT
2093.27/2098.76 c #Conflicts: 1213000 | #Constraints: 51022
2093.27/2098.76 c #Conflicts: 1214000 | #Constraints: 52022
2093.27/2098.76 c #Conflicts: 1215000 | #Constraints: 53022
2093.27/2098.76 c #Conflicts: 1216000 | #Constraints: 54022
2093.27/2098.76 c #Conflicts: 1217000 | #Constraints: 55022
2093.27/2098.76 c #Conflicts: 1218000 | #Constraints: 56022
2093.27/2098.76 c #Conflicts: 1219000 | #Constraints: 57022
2093.27/2098.76 c #Conflicts: 1220000 | #Constraints: 58022
2093.27/2098.76 c #Conflicts: 1221000 | #Constraints: 59022
2093.27/2098.76 c #Conflicts: 1222000 | #Constraints: 60022
2093.27/2098.76 c #Conflicts: 1223000 | #Constraints: 61022
2093.27/2098.76 c #Conflicts: 1224000 | #Constraints: 62022
2093.27/2098.76 c #Conflicts: 1225000 | #Constraints: 63022
2093.27/2098.76 c #Conflicts: 1226000 | #Constraints: 64022
2093.27/2098.76 c #Conflicts: 1227000 | #Constraints: 65022
2093.27/2098.76 c #Conflicts: 1228000 | #Constraints: 66022
2093.27/2098.76 c #Conflicts: 1229000 | #Constraints: 67022
2093.27/2098.76 c #Conflicts: 1230000 | #Constraints: 68022
2093.27/2098.76 c #Conflicts: 1231000 | #Constraints: 69022
2093.27/2098.76 c #Conflicts: 1232000 | #Constraints: 70022
2093.27/2098.76 c #Conflicts: 1233000 | #Constraints: 71022
2093.27/2098.76 c #Conflicts: 1234000 | #Constraints: 72022
2093.27/2098.76 c INPROCESSING
2093.27/2098.76 c GARBAGE COLLECT
2093.27/2098.76 c #Conflicts: 1235000 | #Constraints: 50985
2093.27/2098.76 c #Conflicts: 1236000 | #Constraints: 51985
2093.27/2098.76 c #Conflicts: 1237000 | #Constraints: 52985
2093.27/2098.76 c #Conflicts: 1238000 | #Constraints: 53985
2093.27/2098.76 c #Conflicts: 1239000 | #Constraints: 54985
2093.27/2098.76 c #Conflicts: 1240000 | #Constraints: 55985
2093.27/2098.76 c #Conflicts: 1241000 | #Constraints: 56985
2093.27/2098.76 c #Conflicts: 1242000 | #Constraints: 57985
2093.27/2098.76 c #Conflicts: 1243000 | #Constraints: 58985
2093.27/2098.76 c #Conflicts: 1244000 | #Constraints: 59985
2093.27/2098.76 c #Conflicts: 1245000 | #Constraints: 60985
2093.27/2098.76 c #Conflicts: 1246000 | #Constraints: 61985
2093.27/2098.76 c #Conflicts: 1247000 | #Constraints: 62985
2093.27/2098.76 c #Conflicts: 1248000 | #Constraints: 63985
2093.27/2098.76 c #Conflicts: 1249000 | #Constraints: 64985
2093.27/2098.76 c #Conflicts: 1250000 | #Constraints: 65985
2093.27/2098.76 c #Conflicts: 1251000 | #Constraints: 66985
2093.27/2098.76 c #Conflicts: 1252000 | #Constraints: 67985
2093.27/2098.76 c #Conflicts: 1253000 | #Constraints: 68985
2093.27/2098.76 c #Conflicts: 1254000 | #Constraints: 69985
2093.27/2098.76 c #Conflicts: 1255000 | #Constraints: 70985
2093.27/2098.76 c #Conflicts: 1256000 | #Constraints: 71985
2093.27/2098.76 c INPROCESSING
2093.27/2098.76 c GARBAGE COLLECT
2093.27/2098.76 c #Conflicts: 1257000 | #Constraints: 50790
2093.27/2098.76 c #Conflicts: 1258000 | #Constraints: 51790
2093.27/2098.76 c #Conflicts: 1259000 | #Constraints: 52790
2093.27/2098.76 c #Conflicts: 1260000 | #Constraints: 53790
2093.27/2098.76 c #Conflicts: 1261000 | #Constraints: 54790
2093.27/2098.76 c #Conflicts: 1262000 | #Constraints: 55790
2093.27/2098.76 c #Conflicts: 1263000 | #Constraints: 56790
2093.27/2098.76 c #Conflicts: 1264000 | #Constraints: 57790
2093.27/2098.76 c #Conflicts: 1265000 | #Constraints: 58790
2093.27/2098.76 c #Conflicts: 1266000 | #Constraints: 59790
2286.31/2292.25 c #Conflicts: 1267000 | #Constraints: 60790
2286.31/2292.25 c #Conflicts: 1268000 | #Constraints: 61790
2286.31/2292.25 c #Conflicts: 1269000 | #Constraints: 62790
2286.31/2292.25 c #Conflicts: 1270000 | #Constraints: 63790
2286.31/2292.25 c #Conflicts: 1271000 | #Constraints: 64790
2286.31/2292.25 c #Conflicts: 1272000 | #Constraints: 65790
2286.31/2292.25 c #Conflicts: 1273000 | #Constraints: 66790
2286.31/2292.25 c #Conflicts: 1274000 | #Constraints: 67790
2286.31/2292.25 c #Conflicts: 1275000 | #Constraints: 68790
2286.31/2292.25 c #Conflicts: 1276000 | #Constraints: 69790
2286.31/2292.25 c #Conflicts: 1277000 | #Constraints: 70790
2286.31/2292.25 c #Conflicts: 1278000 | #Constraints: 71790
2286.31/2292.25 c #Conflicts: 1279000 | #Constraints: 72790
2286.31/2292.25 c INPROCESSING
2286.31/2292.25 c GARBAGE COLLECT
2286.31/2292.25 c #Conflicts: 1280000 | #Constraints: 51395
2286.31/2292.25 c #Conflicts: 1281000 | #Constraints: 52395
2286.31/2292.25 c #Conflicts: 1282000 | #Constraints: 53395
2286.31/2292.25 c #Conflicts: 1283000 | #Constraints: 54395
2286.31/2292.25 c #Conflicts: 1284000 | #Constraints: 55395
2286.31/2292.25 c #Conflicts: 1285000 | #Constraints: 56395
2286.31/2292.25 c #Conflicts: 1286000 | #Constraints: 57395
2286.31/2292.25 c #Conflicts: 1287000 | #Constraints: 58395
2286.31/2292.25 c #Conflicts: 1288000 | #Constraints: 59395
2286.31/2292.25 c #Conflicts: 1289000 | #Constraints: 60395
2286.31/2292.25 c #Conflicts: 1290000 | #Constraints: 61395
2286.31/2292.25 c #Conflicts: 1291000 | #Constraints: 62395
2286.31/2292.25 c #Conflicts: 1292000 | #Constraints: 63395
2286.31/2292.25 c #Conflicts: 1293000 | #Constraints: 64395
2286.31/2292.25 c #Conflicts: 1294000 | #Constraints: 65395
2286.31/2292.25 c #Conflicts: 1295000 | #Constraints: 66395
2286.31/2292.25 c #Conflicts: 1296000 | #Constraints: 67395
2286.31/2292.25 c #Conflicts: 1297000 | #Constraints: 68395
2286.31/2292.25 c #Conflicts: 1298000 | #Constraints: 69395
2286.31/2292.25 c #Conflicts: 1299000 | #Constraints: 70395
2286.31/2292.25 c #Conflicts: 1300000 | #Constraints: 71395
2286.31/2292.25 c #Conflicts: 1301000 | #Constraints: 72395
2286.31/2292.25 c #Conflicts: 1302000 | #Constraints: 73395
2286.31/2292.25 c INPROCESSING
2286.31/2292.25 c GARBAGE COLLECT
2286.31/2292.25 c #Conflicts: 1303000 | #Constraints: 51788
2286.31/2292.25 c #Conflicts: 1304000 | #Constraints: 52788
2286.31/2292.25 c #Conflicts: 1305000 | #Constraints: 53788
2286.31/2292.25 c #Conflicts: 1306000 | #Constraints: 54788
2286.31/2292.25 c #Conflicts: 1307000 | #Constraints: 55788
2286.31/2292.25 c #Conflicts: 1308000 | #Constraints: 56788
2286.31/2292.25 c #Conflicts: 1309000 | #Constraints: 57788
2286.31/2292.25 c #Conflicts: 1310000 | #Constraints: 58788
2286.31/2292.25 c #Conflicts: 1311000 | #Constraints: 59788
2286.31/2292.25 c #Conflicts: 1312000 | #Constraints: 60788
2286.31/2292.25 c #Conflicts: 1313000 | #Constraints: 61788
2286.31/2292.25 c #Conflicts: 1314000 | #Constraints: 62788
2286.31/2292.25 c #Conflicts: 1315000 | #Constraints: 63788
2286.31/2292.25 c #Conflicts: 1316000 | #Constraints: 64788
2286.31/2292.25 c #Conflicts: 1317000 | #Constraints: 65788
2286.31/2292.25 c #Conflicts: 1318000 | #Constraints: 66788
2286.31/2292.25 c #Conflicts: 1319000 | #Constraints: 67788
2286.31/2292.25 c #Conflicts: 1320000 | #Constraints: 68788
2286.31/2292.25 c #Conflicts: 1321000 | #Constraints: 69788
2286.31/2292.25 c #Conflicts: 1322000 | #Constraints: 70788
2286.31/2292.25 c #Conflicts: 1323000 | #Constraints: 71788
2286.31/2292.25 c #Conflicts: 1324000 | #Constraints: 72788
2286.31/2292.25 c #Conflicts: 1325000 | #Constraints: 73788
2286.31/2292.25 c INPROCESSING
2286.31/2292.25 c GARBAGE COLLECT
2286.31/2292.25 c #Conflicts: 1326000 | #Constraints: 52011
2286.31/2292.25 c #Conflicts: 1327000 | #Constraints: 53011
2286.31/2292.25 c #Conflicts: 1328000 | #Constraints: 54011
2286.31/2292.25 c #Conflicts: 1329000 | #Constraints: 55011
2286.31/2292.25 c #Conflicts: 1330000 | #Constraints: 56011
2286.31/2292.25 c #Conflicts: 1331000 | #Constraints: 57011
2286.31/2292.25 c #Conflicts: 1332000 | #Constraints: 58011
2286.31/2292.25 c #Conflicts: 1333000 | #Constraints: 59011
2286.31/2292.25 c #Conflicts: 1334000 | #Constraints: 60011
2286.31/2292.25 c #Conflicts: 1335000 | #Constraints: 61011
2286.31/2292.25 c #Conflicts: 1336000 | #Constraints: 62011
2286.31/2292.25 c #Conflicts: 1337000 | #Constraints: 63011
2286.31/2292.25 c #Conflicts: 1338000 | #Constraints: 64011
2286.31/2292.25 c #Conflicts: 1339000 | #Constraints: 65011
2286.31/2292.25 c #Conflicts: 1340000 | #Constraints: 66011
2286.31/2292.25 c #Conflicts: 1341000 | #Constraints: 67011
2286.31/2292.25 c #Conflicts: 1342000 | #Constraints: 68011
2286.31/2292.25 c #Conflicts: 1343000 | #Constraints: 69011
2486.37/2492.87 c #Conflicts: 1344000 | #Constraints: 70011
2486.37/2492.87 c #Conflicts: 1345000 | #Constraints: 71011
2486.37/2492.87 c #Conflicts: 1346000 | #Constraints: 72011
2486.37/2492.87 c #Conflicts: 1347000 | #Constraints: 73011
2486.37/2492.87 c #Conflicts: 1348000 | #Constraints: 74011
2486.37/2492.87 c INPROCESSING
2486.37/2492.87 c GARBAGE COLLECT
2486.37/2492.87 c #Conflicts: 1349000 | #Constraints: 52021
2486.37/2492.87 c #Conflicts: 1350000 | #Constraints: 53021
2486.37/2492.87 c #Conflicts: 1351000 | #Constraints: 54021
2486.37/2492.87 c #Conflicts: 1352000 | #Constraints: 55021
2486.37/2492.87 c #Conflicts: 1353000 | #Constraints: 56021
2486.37/2492.87 c #Conflicts: 1354000 | #Constraints: 57021
2486.37/2492.87 c #Conflicts: 1355000 | #Constraints: 58021
2486.37/2492.87 c #Conflicts: 1356000 | #Constraints: 59021
2486.37/2492.87 c #Conflicts: 1357000 | #Constraints: 60021
2486.37/2492.87 c #Conflicts: 1358000 | #Constraints: 61021
2486.37/2492.87 c #Conflicts: 1359000 | #Constraints: 62021
2486.37/2492.87 c #Conflicts: 1360000 | #Constraints: 63021
2486.37/2492.87 c #Conflicts: 1361000 | #Constraints: 64021
2486.37/2492.87 c #Conflicts: 1362000 | #Constraints: 65021
2486.37/2492.87 c #Conflicts: 1363000 | #Constraints: 66021
2486.37/2492.87 c #Conflicts: 1364000 | #Constraints: 67021
2486.37/2492.87 c #Conflicts: 1365000 | #Constraints: 68021
2486.37/2492.87 c #Conflicts: 1366000 | #Constraints: 69021
2486.37/2492.87 c #Conflicts: 1367000 | #Constraints: 70021
2486.37/2492.87 c #Conflicts: 1368000 | #Constraints: 71021
2486.37/2492.87 c #Conflicts: 1369000 | #Constraints: 72021
2486.37/2492.87 c #Conflicts: 1370000 | #Constraints: 73021
2486.37/2492.87 c #Conflicts: 1371000 | #Constraints: 74021
2486.37/2492.87 c INPROCESSING
2486.37/2492.87 c GARBAGE COLLECT
2486.37/2492.87 c #Conflicts: 1372000 | #Constraints: 51813
2486.37/2492.87 c #Conflicts: 1373000 | #Constraints: 52813
2486.37/2492.87 c #Conflicts: 1374000 | #Constraints: 53813
2486.37/2492.87 c #Conflicts: 1375000 | #Constraints: 54813
2486.37/2492.87 c #Conflicts: 1376000 | #Constraints: 55813
2486.37/2492.87 c #Conflicts: 1377000 | #Constraints: 56813
2486.37/2492.87 c #Conflicts: 1378000 | #Constraints: 57813
2486.37/2492.87 c #Conflicts: 1379000 | #Constraints: 58813
2486.37/2492.87 c #Conflicts: 1380000 | #Constraints: 59813
2486.37/2492.87 c #Conflicts: 1381000 | #Constraints: 60813
2486.37/2492.87 c #Conflicts: 1382000 | #Constraints: 61813
2486.37/2492.87 c #Conflicts: 1383000 | #Constraints: 62813
2486.37/2492.87 c #Conflicts: 1384000 | #Constraints: 63813
2486.37/2492.87 c #Conflicts: 1385000 | #Constraints: 64813
2486.37/2492.87 c #Conflicts: 1386000 | #Constraints: 65813
2486.37/2492.87 c #Conflicts: 1387000 | #Constraints: 66813
2486.37/2492.87 c #Conflicts: 1388000 | #Constraints: 67813
2486.37/2492.87 c #Conflicts: 1389000 | #Constraints: 68813
2486.37/2492.87 c #Conflicts: 1390000 | #Constraints: 69813
2486.37/2492.87 c #Conflicts: 1391000 | #Constraints: 70813
2486.37/2492.87 c #Conflicts: 1392000 | #Constraints: 71813
2486.37/2492.87 c #Conflicts: 1393000 | #Constraints: 72813
2486.37/2492.87 c #Conflicts: 1394000 | #Constraints: 73813
2486.37/2492.87 c #Conflicts: 1395000 | #Constraints: 74813
2486.37/2492.87 c INPROCESSING
2486.37/2492.87 c GARBAGE COLLECT
2486.37/2492.87 c #Conflicts: 1396000 | #Constraints: 52413
2486.37/2492.87 c #Conflicts: 1397000 | #Constraints: 53413
2486.37/2492.87 c #Conflicts: 1398000 | #Constraints: 54413
2486.37/2492.87 c #Conflicts: 1399000 | #Constraints: 55413
2486.37/2492.87 c #Conflicts: 1400000 | #Constraints: 56413
2486.37/2492.87 c #Conflicts: 1401000 | #Constraints: 57413
2486.37/2492.87 c #Conflicts: 1402000 | #Constraints: 58413
2486.37/2492.87 c #Conflicts: 1403000 | #Constraints: 59413
2486.37/2492.87 c #Conflicts: 1404000 | #Constraints: 60413
2486.37/2492.87 c #Conflicts: 1405000 | #Constraints: 61413
2486.37/2492.87 c #Conflicts: 1406000 | #Constraints: 62413
2486.37/2492.87 c #Conflicts: 1407000 | #Constraints: 63413
2486.37/2492.87 c #Conflicts: 1408000 | #Constraints: 64413
2486.37/2492.87 c #Conflicts: 1409000 | #Constraints: 65413
2486.37/2492.87 c #Conflicts: 1410000 | #Constraints: 66413
2486.37/2492.87 c #Conflicts: 1411000 | #Constraints: 67413
2486.37/2492.87 c #Conflicts: 1412000 | #Constraints: 68413
2486.37/2492.87 c #Conflicts: 1413000 | #Constraints: 69413
2486.37/2492.87 c #Conflicts: 1414000 | #Constraints: 70413
2486.37/2492.87 c #Conflicts: 1415000 | #Constraints: 71413
2486.37/2492.87 c #Conflicts: 1416000 | #Constraints: 72413
2486.37/2492.87 c #Conflicts: 1417000 | #Constraints: 73413
2486.37/2492.87 c #Conflicts: 1418000 | #Constraints: 74413
2486.37/2492.87 c #Conflicts: 1419000 | #Constraints: 75413
2486.37/2492.87 c INPROCESSING
2684.16/2691.18 c GARBAGE COLLECT
2684.16/2691.18 c #Conflicts: 1420000 | #Constraints: 52801
2684.16/2691.18 c #Conflicts: 1421000 | #Constraints: 53801
2684.16/2691.18 c #Conflicts: 1422000 | #Constraints: 54801
2684.16/2691.18 c #Conflicts: 1423000 | #Constraints: 55801
2684.16/2691.18 c #Conflicts: 1424000 | #Constraints: 56801
2684.16/2691.18 c #Conflicts: 1425000 | #Constraints: 57801
2684.16/2691.18 c #Conflicts: 1426000 | #Constraints: 58801
2684.16/2691.18 c #Conflicts: 1427000 | #Constraints: 59801
2684.16/2691.18 c #Conflicts: 1428000 | #Constraints: 60801
2684.16/2691.18 c #Conflicts: 1429000 | #Constraints: 61801
2684.16/2691.18 c #Conflicts: 1430000 | #Constraints: 62801
2684.16/2691.18 c #Conflicts: 1431000 | #Constraints: 63801
2684.16/2691.18 c #Conflicts: 1432000 | #Constraints: 64801
2684.16/2691.18 c #Conflicts: 1433000 | #Constraints: 65801
2684.16/2691.18 c #Conflicts: 1434000 | #Constraints: 66801
2684.16/2691.18 c #Conflicts: 1435000 | #Constraints: 67801
2684.16/2691.18 c #Conflicts: 1436000 | #Constraints: 68801
2684.16/2691.18 c #Conflicts: 1437000 | #Constraints: 69801
2684.16/2691.18 c #Conflicts: 1438000 | #Constraints: 70801
2684.16/2691.18 c #Conflicts: 1439000 | #Constraints: 71801
2684.16/2691.18 c #Conflicts: 1440000 | #Constraints: 72801
2684.16/2691.18 c #Conflicts: 1441000 | #Constraints: 73801
2684.16/2691.18 c #Conflicts: 1442000 | #Constraints: 74801
2684.16/2691.18 c #Conflicts: 1443000 | #Constraints: 75801
2684.16/2691.18 c INPROCESSING
2684.16/2691.18 c GARBAGE COLLECT
2684.16/2691.18 c #Conflicts: 1444000 | #Constraints: 53000
2684.16/2691.18 c #Conflicts: 1445000 | #Constraints: 54000
2684.16/2691.18 c #Conflicts: 1446000 | #Constraints: 55000
2684.16/2691.18 c #Conflicts: 1447000 | #Constraints: 56000
2684.16/2691.18 c #Conflicts: 1448000 | #Constraints: 57000
2684.16/2691.18 c #Conflicts: 1449000 | #Constraints: 58000
2684.16/2691.18 c #Conflicts: 1450000 | #Constraints: 59000
2684.16/2691.18 c #Conflicts: 1451000 | #Constraints: 60000
2684.16/2691.18 c #Conflicts: 1452000 | #Constraints: 61000
2684.16/2691.18 c #Conflicts: 1453000 | #Constraints: 62000
2684.16/2691.18 c #Conflicts: 1454000 | #Constraints: 63000
2684.16/2691.18 c #Conflicts: 1455000 | #Constraints: 64000
2684.16/2691.18 c #Conflicts: 1456000 | #Constraints: 65000
2684.16/2691.18 c #Conflicts: 1457000 | #Constraints: 66000
2684.16/2691.18 c #Conflicts: 1458000 | #Constraints: 67000
2684.16/2691.18 c #Conflicts: 1459000 | #Constraints: 68000
2684.16/2691.18 c #Conflicts: 1460000 | #Constraints: 69000
2684.16/2691.18 c #Conflicts: 1461000 | #Constraints: 70000
2684.16/2691.18 c #Conflicts: 1462000 | #Constraints: 71000
2684.16/2691.18 c #Conflicts: 1463000 | #Constraints: 72000
2684.16/2691.18 c #Conflicts: 1464000 | #Constraints: 73000
2684.16/2691.18 c #Conflicts: 1465000 | #Constraints: 74000
2684.16/2691.18 c #Conflicts: 1466000 | #Constraints: 75000
2684.16/2691.18 c #Conflicts: 1467000 | #Constraints: 76000
2684.16/2691.18 c INPROCESSING
2684.16/2691.18 c GARBAGE COLLECT
2684.16/2691.18 c #Conflicts: 1468000 | #Constraints: 52993
2684.16/2691.18 c #Conflicts: 1469000 | #Constraints: 53993
2684.16/2691.18 c #Conflicts: 1470000 | #Constraints: 54993
2684.16/2691.18 c #Conflicts: 1471000 | #Constraints: 55993
2684.16/2691.18 c #Conflicts: 1472000 | #Constraints: 56993
2684.16/2691.18 c #Conflicts: 1473000 | #Constraints: 57993
2684.16/2691.18 c #Conflicts: 1474000 | #Constraints: 58993
2684.16/2691.18 c #Conflicts: 1475000 | #Constraints: 59993
2684.16/2691.18 c #Conflicts: 1476000 | #Constraints: 60993
2684.16/2691.18 c #Conflicts: 1477000 | #Constraints: 61993
2684.16/2691.18 c #Conflicts: 1478000 | #Constraints: 62993
2684.16/2691.18 c #Conflicts: 1479000 | #Constraints: 63993
2684.16/2691.18 c #Conflicts: 1480000 | #Constraints: 64993
2684.16/2691.18 c #Conflicts: 1481000 | #Constraints: 65993
2684.16/2691.18 c #Conflicts: 1482000 | #Constraints: 66993
2684.16/2691.18 c #Conflicts: 1483000 | #Constraints: 67993
2684.16/2691.18 c #Conflicts: 1484000 | #Constraints: 68993
2684.16/2691.18 c #Conflicts: 1485000 | #Constraints: 69993
2684.16/2691.18 c #Conflicts: 1486000 | #Constraints: 70993
2684.16/2691.18 c #Conflicts: 1487000 | #Constraints: 71993
2684.16/2691.18 c #Conflicts: 1488000 | #Constraints: 72993
2684.16/2691.18 c #Conflicts: 1489000 | #Constraints: 73993
2684.16/2691.18 c #Conflicts: 1490000 | #Constraints: 74993
2684.16/2691.18 c #Conflicts: 1491000 | #Constraints: 75993
2684.16/2691.18 c INPROCESSING
2684.16/2691.18 c GARBAGE COLLECT
2684.16/2691.18 c #Conflicts: 1492000 | #Constraints: 52778
2684.16/2691.18 c #Conflicts: 1493000 | #Constraints: 53778
2684.16/2691.18 c #Conflicts: 1494000 | #Constraints: 54778
2684.16/2691.18 c #Conflicts: 1495000 | #Constraints: 55778
2684.16/2691.18 c #Conflicts: 1496000 | #Constraints: 56778
2888.41/2895.92 c #Conflicts: 1497000 | #Constraints: 57778
2888.41/2895.92 c #Conflicts: 1498000 | #Constraints: 58778
2888.41/2895.92 c #Conflicts: 1499000 | #Constraints: 59778
2888.41/2895.92 c #Conflicts: 1500000 | #Constraints: 60778
2888.41/2895.92 c #Conflicts: 1501000 | #Constraints: 61778
2888.41/2895.92 c #Conflicts: 1502000 | #Constraints: 62778
2888.41/2895.92 c #Conflicts: 1503000 | #Constraints: 63778
2888.41/2895.92 c #Conflicts: 1504000 | #Constraints: 64778
2888.41/2895.92 c #Conflicts: 1505000 | #Constraints: 65778
2888.41/2895.92 c #Conflicts: 1506000 | #Constraints: 66778
2888.41/2895.92 c #Conflicts: 1507000 | #Constraints: 67778
2888.41/2895.92 c #Conflicts: 1508000 | #Constraints: 68778
2888.41/2895.92 c #Conflicts: 1509000 | #Constraints: 69778
2888.41/2895.92 c #Conflicts: 1510000 | #Constraints: 70778
2888.41/2895.92 c #Conflicts: 1511000 | #Constraints: 71778
2888.41/2895.92 c #Conflicts: 1512000 | #Constraints: 72778
2888.41/2895.92 c #Conflicts: 1513000 | #Constraints: 73778
2888.41/2895.92 c #Conflicts: 1514000 | #Constraints: 74778
2888.41/2895.92 c #Conflicts: 1515000 | #Constraints: 75778
2888.41/2895.92 c #Conflicts: 1516000 | #Constraints: 76778
2888.41/2895.92 c INPROCESSING
2888.41/2895.92 c GARBAGE COLLECT
2888.41/2895.92 c #Conflicts: 1517000 | #Constraints: 53377
2888.41/2895.92 c #Conflicts: 1518000 | #Constraints: 54377
2888.41/2895.92 c #Conflicts: 1519000 | #Constraints: 55377
2888.41/2895.92 c #Conflicts: 1520000 | #Constraints: 56377
2888.41/2895.92 c #Conflicts: 1521000 | #Constraints: 57377
2888.41/2895.92 c #Conflicts: 1522000 | #Constraints: 58377
2888.41/2895.92 c #Conflicts: 1523000 | #Constraints: 59377
2888.41/2895.92 c #Conflicts: 1524000 | #Constraints: 60377
2888.41/2895.92 c #Conflicts: 1525000 | #Constraints: 61377
2888.41/2895.92 c #Conflicts: 1526000 | #Constraints: 62377
2888.41/2895.92 c #Conflicts: 1527000 | #Constraints: 63377
2888.41/2895.92 c #Conflicts: 1528000 | #Constraints: 64377
2888.41/2895.92 c #Conflicts: 1529000 | #Constraints: 65377
2888.41/2895.92 c #Conflicts: 1530000 | #Constraints: 66377
2888.41/2895.92 c #Conflicts: 1531000 | #Constraints: 67377
2888.41/2895.92 c #Conflicts: 1532000 | #Constraints: 68377
2888.41/2895.92 c #Conflicts: 1533000 | #Constraints: 69377
2888.41/2895.92 c #Conflicts: 1534000 | #Constraints: 70377
2888.41/2895.92 c #Conflicts: 1535000 | #Constraints: 71377
2888.41/2895.92 c #Conflicts: 1536000 | #Constraints: 72377
2888.41/2895.92 c #Conflicts: 1537000 | #Constraints: 73377
2888.41/2895.92 c #Conflicts: 1538000 | #Constraints: 74377
2888.41/2895.92 c #Conflicts: 1539000 | #Constraints: 75377
2888.41/2895.92 c #Conflicts: 1540000 | #Constraints: 76377
2888.41/2895.92 c #Conflicts: 1541000 | #Constraints: 77377
2888.41/2895.92 c INPROCESSING
2888.41/2895.92 c GARBAGE COLLECT
2888.41/2895.92 c #Conflicts: 1542000 | #Constraints: 53803
2888.41/2895.92 c #Conflicts: 1543000 | #Constraints: 54803
2888.41/2895.92 c #Conflicts: 1544000 | #Constraints: 55803
2888.41/2895.92 c #Conflicts: 1545000 | #Constraints: 56803
2888.41/2895.92 c #Conflicts: 1546000 | #Constraints: 57803
2888.41/2895.92 c #Conflicts: 1547000 | #Constraints: 58803
2888.41/2895.92 c #Conflicts: 1548000 | #Constraints: 59803
2888.41/2895.92 c #Conflicts: 1549000 | #Constraints: 60803
2888.41/2895.92 c #Conflicts: 1550000 | #Constraints: 61803
2888.41/2895.92 c #Conflicts: 1551000 | #Constraints: 62803
2888.41/2895.92 c #Conflicts: 1552000 | #Constraints: 63803
2888.41/2895.92 c #Conflicts: 1553000 | #Constraints: 64803
2888.41/2895.92 c #Conflicts: 1554000 | #Constraints: 65803
2888.41/2895.92 c #Conflicts: 1555000 | #Constraints: 66803
2888.41/2895.92 c #Conflicts: 1556000 | #Constraints: 67803
2888.41/2895.92 c #Conflicts: 1557000 | #Constraints: 68803
2888.41/2895.92 c #Conflicts: 1558000 | #Constraints: 69803
2888.41/2895.92 c #Conflicts: 1559000 | #Constraints: 70803
2888.41/2895.92 c #Conflicts: 1560000 | #Constraints: 71803
2888.41/2895.92 c #Conflicts: 1561000 | #Constraints: 72803
2888.41/2895.92 c #Conflicts: 1562000 | #Constraints: 73803
2888.41/2895.92 c #Conflicts: 1563000 | #Constraints: 74803
2888.41/2895.92 c #Conflicts: 1564000 | #Constraints: 75803
2888.41/2895.92 c #Conflicts: 1565000 | #Constraints: 76803
2888.41/2895.92 c #Conflicts: 1566000 | #Constraints: 77803
2888.41/2895.92 c INPROCESSING
2888.41/2895.92 c GARBAGE COLLECT
2888.41/2895.92 c #Conflicts: 1567000 | #Constraints: 54020
2888.41/2895.92 c #Conflicts: 1568000 | #Constraints: 55020
2888.41/2895.92 c #Conflicts: 1569000 | #Constraints: 56020
2888.41/2895.92 c #Conflicts: 1570000 | #Constraints: 57020
2888.41/2895.92 c #Conflicts: 1571000 | #Constraints: 58020
2888.41/2895.92 c #Conflicts: 1572000 | #Constraints: 59020
2888.41/2895.92 c #Conflicts: 1573000 | #Constraints: 60020
3054.31/3062.24 c #Conflicts: 1574000 | #Constraints: 61020
3054.31/3062.24 c #Conflicts: 1575000 | #Constraints: 62020
3054.31/3062.24 c #Conflicts: 1576000 | #Constraints: 63020
3054.31/3062.24 c #Conflicts: 1577000 | #Constraints: 64020
3054.31/3062.24 c #Conflicts: 1578000 | #Constraints: 65020
3054.31/3062.24 c #Conflicts: 1579000 | #Constraints: 66020
3054.31/3062.24 c #Conflicts: 1580000 | #Constraints: 67020
3054.31/3062.24 c #Conflicts: 1581000 | #Constraints: 68020
3054.31/3062.24 c #Conflicts: 1582000 | #Constraints: 69020
3054.31/3062.24 c #Conflicts: 1583000 | #Constraints: 70020
3054.31/3062.24 c #Conflicts: 1584000 | #Constraints: 71020
3054.31/3062.24 c #Conflicts: 1585000 | #Constraints: 72020
3054.31/3062.24 c #Conflicts: 1586000 | #Constraints: 73020
3054.31/3062.24 c #Conflicts: 1587000 | #Constraints: 74020
3054.31/3062.24 c #Conflicts: 1588000 | #Constraints: 75020
3054.31/3062.24 c #Conflicts: 1589000 | #Constraints: 76020
3054.31/3062.24 c #Conflicts: 1590000 | #Constraints: 77020
3054.31/3062.24 c #Conflicts: 1591000 | #Constraints: 78020
3054.31/3062.24 c INPROCESSING
3054.31/3062.24 c GARBAGE COLLECT
3054.31/3062.24 c #Conflicts: 1592000 | #Constraints: 53992
3054.31/3062.24 c #Conflicts: 1593000 | #Constraints: 54992
3054.31/3062.24 c #Conflicts: 1594000 | #Constraints: 55992
3054.31/3062.24 c #Conflicts: 1595000 | #Constraints: 56992
3054.31/3062.24 c #Conflicts: 1596000 | #Constraints: 57992
3054.31/3062.24 c #Conflicts: 1597000 | #Constraints: 58992
3054.31/3062.24 c #Conflicts: 1598000 | #Constraints: 59992
3054.31/3062.24 c #Conflicts: 1599000 | #Constraints: 60992
3054.31/3062.24 c #Conflicts: 1600000 | #Constraints: 61992
3054.31/3062.24 c #Conflicts: 1601000 | #Constraints: 62992
3054.31/3062.24 c #Conflicts: 1602000 | #Constraints: 63992
3054.31/3062.24 c #Conflicts: 1603000 | #Constraints: 64992
3054.31/3062.24 c #Conflicts: 1604000 | #Constraints: 65992
3054.31/3062.24 c #Conflicts: 1605000 | #Constraints: 66992
3054.31/3062.24 c #Conflicts: 1606000 | #Constraints: 67992
3054.31/3062.24 c #Conflicts: 1607000 | #Constraints: 68992
3054.31/3062.24 c #Conflicts: 1608000 | #Constraints: 69992
3054.31/3062.24 c #Conflicts: 1609000 | #Constraints: 70992
3054.31/3062.24 c #Conflicts: 1610000 | #Constraints: 71992
3054.31/3062.24 c #Conflicts: 1611000 | #Constraints: 72992
3054.31/3062.24 c #Conflicts: 1612000 | #Constraints: 73992
3054.31/3062.24 c #Conflicts: 1613000 | #Constraints: 74992
3054.31/3062.24 c #Conflicts: 1614000 | #Constraints: 75992
3054.31/3062.24 c #Conflicts: 1615000 | #Constraints: 76992
3054.31/3062.24 c #Conflicts: 1616000 | #Constraints: 77992
3054.31/3062.24 c INPROCESSING
3054.31/3062.24 c GARBAGE COLLECT
3054.31/3062.24 c #Conflicts: 1617000 | #Constraints: 53799
3054.31/3062.24 c #Conflicts: 1618000 | #Constraints: 54799
3054.31/3062.24 c #Conflicts: 1619000 | #Constraints: 55799
3054.31/3062.24 c #Conflicts: 1620000 | #Constraints: 56799
3054.31/3062.24 c #Conflicts: 1621000 | #Constraints: 57799
3054.31/3062.24 c #Conflicts: 1622000 | #Constraints: 58799
3054.31/3062.24 c #Conflicts: 1623000 | #Constraints: 59799
3054.31/3062.24 c #Conflicts: 1624000 | #Constraints: 60799
3054.31/3062.24 c #Conflicts: 1625000 | #Constraints: 61799
3054.31/3062.24 c #Conflicts: 1626000 | #Constraints: 62799
3054.31/3062.24 c #Conflicts: 1627000 | #Constraints: 63799
3054.31/3062.24 c #Conflicts: 1628000 | #Constraints: 64799
3054.31/3062.24 c #Conflicts: 1629000 | #Constraints: 65799
3054.31/3062.24 c #Conflicts: 1630000 | #Constraints: 66799
3054.31/3062.24 c #Conflicts: 1631000 | #Constraints: 67799
3054.31/3062.24 c #Conflicts: 1632000 | #Constraints: 68799
3054.31/3062.24 c #Conflicts: 1633000 | #Constraints: 69799
3054.31/3062.24 c #Conflicts: 1634000 | #Constraints: 70799
3054.31/3062.24 c #Conflicts: 1635000 | #Constraints: 71799
3054.31/3062.24 c #Conflicts: 1636000 | #Constraints: 72799
3054.31/3062.24 c #Conflicts: 1637000 | #Constraints: 73799
3054.31/3062.24 c #Conflicts: 1638000 | #Constraints: 74799
3054.31/3062.24 c #Conflicts: 1639000 | #Constraints: 75799
3054.31/3062.24 c #Conflicts: 1640000 | #Constraints: 76799
3054.31/3062.24 c #Conflicts: 1641000 | #Constraints: 77799
3054.31/3062.24 c #Conflicts: 1642000 | #Constraints: 78799
3054.31/3062.24 c INPROCESSING
3054.31/3062.24 c GARBAGE COLLECT
3054.31/3062.24 c #Conflicts: 1643000 | #Constraints: 54376
3054.31/3062.24 c #Conflicts: 1644000 | #Constraints: 55376
3054.31/3062.24 c #Conflicts: 1645000 | #Constraints: 56376
3054.31/3062.24 c #Conflicts: 1646000 | #Constraints: 57376
3054.31/3062.24 c #Conflicts: 1647000 | #Constraints: 58376
3054.31/3062.24 c #Conflicts: 1648000 | #Constraints: 59376
3054.31/3062.24 c #Conflicts: 1649000 | #Constraints: 60376
3054.31/3062.24 c #Conflicts: 1650000 | #Constraints: 61376
3244.67/3253.03 c #Conflicts: 1651000 | #Constraints: 62376
3244.67/3253.03 c #Conflicts: 1652000 | #Constraints: 63376
3244.67/3253.03 c #Conflicts: 1653000 | #Constraints: 64376
3244.67/3253.03 c #Conflicts: 1654000 | #Constraints: 65376
3244.67/3253.03 c #Conflicts: 1655000 | #Constraints: 66376
3244.67/3253.03 c #Conflicts: 1656000 | #Constraints: 67376
3244.67/3253.03 c #Conflicts: 1657000 | #Constraints: 68376
3244.67/3253.03 c #Conflicts: 1658000 | #Constraints: 69376
3244.67/3253.03 c #Conflicts: 1659000 | #Constraints: 70376
3244.67/3253.03 c #Conflicts: 1660000 | #Constraints: 71376
3244.67/3253.03 c #Conflicts: 1661000 | #Constraints: 72376
3244.67/3253.03 c #Conflicts: 1662000 | #Constraints: 73376
3244.67/3253.03 c #Conflicts: 1663000 | #Constraints: 74376
3244.67/3253.03 c #Conflicts: 1664000 | #Constraints: 75376
3244.67/3253.03 c #Conflicts: 1665000 | #Constraints: 76376
3244.67/3253.03 c #Conflicts: 1666000 | #Constraints: 77376
3244.67/3253.03 c #Conflicts: 1667000 | #Constraints: 78376
3244.67/3253.03 c #Conflicts: 1668000 | #Constraints: 79376
3244.67/3253.03 c INPROCESSING
3244.67/3253.03 c GARBAGE COLLECT
3244.67/3253.03 c #Conflicts: 1669000 | #Constraints: 54772
3244.67/3253.03 c #Conflicts: 1670000 | #Constraints: 55772
3244.67/3253.03 c #Conflicts: 1671000 | #Constraints: 56772
3244.67/3253.03 c #Conflicts: 1672000 | #Constraints: 57772
3244.67/3253.03 c #Conflicts: 1673000 | #Constraints: 58772
3244.67/3253.03 c #Conflicts: 1674000 | #Constraints: 59772
3244.67/3253.03 c #Conflicts: 1675000 | #Constraints: 60772
3244.67/3253.03 c #Conflicts: 1676000 | #Constraints: 61772
3244.67/3253.03 c #Conflicts: 1677000 | #Constraints: 62772
3244.67/3253.03 c #Conflicts: 1678000 | #Constraints: 63772
3244.67/3253.03 c #Conflicts: 1679000 | #Constraints: 64772
3244.67/3253.03 c #Conflicts: 1680000 | #Constraints: 65772
3244.67/3253.03 c #Conflicts: 1681000 | #Constraints: 66772
3244.67/3253.03 c #Conflicts: 1682000 | #Constraints: 67772
3244.67/3253.03 c #Conflicts: 1683000 | #Constraints: 68772
3244.67/3253.03 c #Conflicts: 1684000 | #Constraints: 69772
3244.67/3253.03 c #Conflicts: 1685000 | #Constraints: 70772
3244.67/3253.03 c #Conflicts: 1686000 | #Constraints: 71772
3244.67/3253.03 c #Conflicts: 1687000 | #Constraints: 72772
3244.67/3253.03 c #Conflicts: 1688000 | #Constraints: 73772
3244.67/3253.03 c #Conflicts: 1689000 | #Constraints: 74772
3244.67/3253.03 c #Conflicts: 1690000 | #Constraints: 75772
3244.67/3253.03 c #Conflicts: 1691000 | #Constraints: 76772
3244.67/3253.03 c #Conflicts: 1692000 | #Constraints: 77772
3244.67/3253.03 c #Conflicts: 1693000 | #Constraints: 78772
3244.67/3253.03 c #Conflicts: 1694000 | #Constraints: 79772
3244.67/3253.03 c INPROCESSING
3244.67/3253.03 c GARBAGE COLLECT
3244.67/3253.03 c #Conflicts: 1695000 | #Constraints: 54992
3244.67/3253.03 c #Conflicts: 1696000 | #Constraints: 55992
3244.67/3253.03 c #Conflicts: 1697000 | #Constraints: 56992
3244.67/3253.03 c #Conflicts: 1698000 | #Constraints: 57992
3244.67/3253.03 c #Conflicts: 1699000 | #Constraints: 58992
3244.67/3253.03 c #Conflicts: 1700000 | #Constraints: 59992
3244.67/3253.03 c #Conflicts: 1701000 | #Constraints: 60992
3244.67/3253.03 c #Conflicts: 1702000 | #Constraints: 61992
3244.67/3253.03 c #Conflicts: 1703000 | #Constraints: 62992
3244.67/3253.03 c #Conflicts: 1704000 | #Constraints: 63992
3244.67/3253.03 c #Conflicts: 1705000 | #Constraints: 64992
3244.67/3253.03 c #Conflicts: 1706000 | #Constraints: 65992
3244.67/3253.03 c #Conflicts: 1707000 | #Constraints: 66992
3244.67/3253.03 c #Conflicts: 1708000 | #Constraints: 67992
3244.67/3253.03 c #Conflicts: 1709000 | #Constraints: 68992
3244.67/3253.03 c #Conflicts: 1710000 | #Constraints: 69992
3244.67/3253.03 c #Conflicts: 1711000 | #Constraints: 70992
3244.67/3253.03 c #Conflicts: 1712000 | #Constraints: 71992
3244.67/3253.03 c #Conflicts: 1713000 | #Constraints: 72992
3244.67/3253.03 c #Conflicts: 1714000 | #Constraints: 73992
3244.67/3253.03 c #Conflicts: 1715000 | #Constraints: 74992
3244.67/3253.03 c #Conflicts: 1716000 | #Constraints: 75992
3244.67/3253.03 c #Conflicts: 1717000 | #Constraints: 76992
3244.67/3253.03 c #Conflicts: 1718000 | #Constraints: 77992
3244.67/3253.03 c #Conflicts: 1719000 | #Constraints: 78992
3244.67/3253.03 c #Conflicts: 1720000 | #Constraints: 79992
3244.67/3253.03 c INPROCESSING
3244.67/3253.03 c GARBAGE COLLECT
3244.67/3253.03 c #Conflicts: 1721000 | #Constraints: 54981
3244.67/3253.03 c #Conflicts: 1722000 | #Constraints: 55981
3244.67/3253.03 c #Conflicts: 1723000 | #Constraints: 56981
3244.67/3253.03 c #Conflicts: 1724000 | #Constraints: 57981
3244.67/3253.03 c #Conflicts: 1725000 | #Constraints: 58981
3244.67/3253.03 c #Conflicts: 1726000 | #Constraints: 59981
3446.59/3455.43 c #Conflicts: 1727000 | #Constraints: 60981
3446.59/3455.43 c #Conflicts: 1728000 | #Constraints: 61981
3446.59/3455.43 c #Conflicts: 1729000 | #Constraints: 62981
3446.59/3455.43 c #Conflicts: 1730000 | #Constraints: 63981
3446.59/3455.43 c #Conflicts: 1731000 | #Constraints: 64981
3446.59/3455.43 c #Conflicts: 1732000 | #Constraints: 65981
3446.59/3455.43 c #Conflicts: 1733000 | #Constraints: 66981
3446.59/3455.43 c #Conflicts: 1734000 | #Constraints: 67981
3446.59/3455.43 c #Conflicts: 1735000 | #Constraints: 68981
3446.59/3455.43 c #Conflicts: 1736000 | #Constraints: 69981
3446.59/3455.43 c #Conflicts: 1737000 | #Constraints: 70981
3446.59/3455.43 c #Conflicts: 1738000 | #Constraints: 71981
3446.59/3455.43 c #Conflicts: 1739000 | #Constraints: 72981
3446.59/3455.43 c #Conflicts: 1740000 | #Constraints: 73981
3446.59/3455.43 c #Conflicts: 1741000 | #Constraints: 74981
3446.59/3455.43 c #Conflicts: 1742000 | #Constraints: 75981
3446.59/3455.43 c #Conflicts: 1743000 | #Constraints: 76981
3446.59/3455.43 c #Conflicts: 1744000 | #Constraints: 77981
3446.59/3455.43 c #Conflicts: 1745000 | #Constraints: 78981
3446.59/3455.43 c #Conflicts: 1746000 | #Constraints: 79981
3446.59/3455.43 c INPROCESSING
3446.59/3455.43 c GARBAGE COLLECT
3446.59/3455.43 c #Conflicts: 1747000 | #Constraints: 54800
3446.59/3455.43 c #Conflicts: 1748000 | #Constraints: 55800
3446.59/3455.43 c #Conflicts: 1749000 | #Constraints: 56800
3446.59/3455.43 c #Conflicts: 1750000 | #Constraints: 57800
3446.59/3455.43 c #Conflicts: 1751000 | #Constraints: 58800
3446.59/3455.43 c #Conflicts: 1752000 | #Constraints: 59800
3446.59/3455.43 c #Conflicts: 1753000 | #Constraints: 60800
3446.59/3455.43 c #Conflicts: 1754000 | #Constraints: 61800
3446.59/3455.43 c #Conflicts: 1755000 | #Constraints: 62800
3446.59/3455.43 c #Conflicts: 1756000 | #Constraints: 63800
3446.59/3455.43 c #Conflicts: 1757000 | #Constraints: 64800
3446.59/3455.43 c #Conflicts: 1758000 | #Constraints: 65800
3446.59/3455.43 c #Conflicts: 1759000 | #Constraints: 66800
3446.59/3455.43 c #Conflicts: 1760000 | #Constraints: 67800
3446.59/3455.43 c #Conflicts: 1761000 | #Constraints: 68800
3446.59/3455.43 c #Conflicts: 1762000 | #Constraints: 69800
3446.59/3455.43 c #Conflicts: 1763000 | #Constraints: 70800
3446.59/3455.43 c #Conflicts: 1764000 | #Constraints: 71800
3446.59/3455.43 c #Conflicts: 1765000 | #Constraints: 72800
3446.59/3455.43 c #Conflicts: 1766000 | #Constraints: 73800
3446.59/3455.43 c #Conflicts: 1767000 | #Constraints: 74800
3446.59/3455.43 c #Conflicts: 1768000 | #Constraints: 75800
3446.59/3455.43 c #Conflicts: 1769000 | #Constraints: 76800
3446.59/3455.43 c #Conflicts: 1770000 | #Constraints: 77800
3446.59/3455.43 c #Conflicts: 1771000 | #Constraints: 78800
3446.59/3455.43 c #Conflicts: 1772000 | #Constraints: 79800
3446.59/3455.43 c #Conflicts: 1773000 | #Constraints: 80800
3446.59/3455.43 c INPROCESSING
3446.59/3455.43 c GARBAGE COLLECT
3446.59/3455.43 c #Conflicts: 1774000 | #Constraints: 55380
3446.59/3455.43 c #Conflicts: 1775000 | #Constraints: 56380
3446.59/3455.43 c #Conflicts: 1776000 | #Constraints: 57380
3446.59/3455.43 c #Conflicts: 1777000 | #Constraints: 58380
3446.59/3455.43 c #Conflicts: 1778000 | #Constraints: 59380
3446.59/3455.43 c #Conflicts: 1779000 | #Constraints: 60380
3446.59/3455.43 c #Conflicts: 1780000 | #Constraints: 61380
3446.59/3455.43 c #Conflicts: 1781000 | #Constraints: 62380
3446.59/3455.43 c #Conflicts: 1782000 | #Constraints: 63380
3446.59/3455.43 c #Conflicts: 1783000 | #Constraints: 64380
3446.59/3455.43 c #Conflicts: 1784000 | #Constraints: 65380
3446.59/3455.43 c #Conflicts: 1785000 | #Constraints: 66380
3446.59/3455.43 c #Conflicts: 1786000 | #Constraints: 67380
3446.59/3455.43 c #Conflicts: 1787000 | #Constraints: 68380
3446.59/3455.43 c #Conflicts: 1788000 | #Constraints: 69380
3446.59/3455.43 c #Conflicts: 1789000 | #Constraints: 70380
3446.59/3455.43 c #Conflicts: 1790000 | #Constraints: 71380
3446.59/3455.43 c #Conflicts: 1791000 | #Constraints: 72380
3446.59/3455.43 c #Conflicts: 1792000 | #Constraints: 73380
3446.59/3455.43 c #Conflicts: 1793000 | #Constraints: 74380
3446.59/3455.43 c #Conflicts: 1794000 | #Constraints: 75380
3446.59/3455.43 c #Conflicts: 1795000 | #Constraints: 76380
3446.59/3455.43 c #Conflicts: 1796000 | #Constraints: 77380
3446.59/3455.43 c #Conflicts: 1797000 | #Constraints: 78380
3446.59/3455.43 c #Conflicts: 1798000 | #Constraints: 79380
3446.59/3455.43 c #Conflicts: 1799000 | #Constraints: 80380
3446.59/3455.43 c #Conflicts: 1800000 | #Constraints: 81380
3446.59/3455.43 c INPROCESSING
3446.59/3455.43 c GARBAGE COLLECT
3446.59/3455.43 c #Conflicts: 1801000 | #Constraints: 55782
3446.59/3455.43 c #Conflicts: 1802000 | #Constraints: 56782
3446.59/3455.43 c #Conflicts: 1803000 | #Constraints: 57782
3600.03/3609.20 c #Conflicts: 1804000 | #Constraints: 58782
3600.03/3609.20 c #Conflicts: 1805000 | #Constraints: 59782
3600.03/3609.20 c #Conflicts: 1806000 | #Constraints: 60782
3600.03/3609.20 c #Conflicts: 1807000 | #Constraints: 61782
3600.03/3609.20 c #Conflicts: 1808000 | #Constraints: 62782
3600.03/3609.20 c #Conflicts: 1809000 | #Constraints: 63782
3600.03/3609.20 c #Conflicts: 1810000 | #Constraints: 64782
3600.03/3609.20 c #Conflicts: 1811000 | #Constraints: 65782
3600.03/3609.20 c #Conflicts: 1812000 | #Constraints: 66782
3600.03/3609.20 c #Conflicts: 1813000 | #Constraints: 67782
3600.03/3609.20 c #Conflicts: 1814000 | #Constraints: 68782
3600.03/3609.20 c #Conflicts: 1815000 | #Constraints: 69782
3600.03/3609.20 c #Conflicts: 1816000 | #Constraints: 70782
3600.03/3609.20 c #Conflicts: 1817000 | #Constraints: 71782
3600.03/3609.20 c #Conflicts: 1818000 | #Constraints: 72782
3600.03/3609.20 c #Conflicts: 1819000 | #Constraints: 73782
3600.03/3609.20 c #Conflicts: 1820000 | #Constraints: 74782
3600.03/3609.20 c #Conflicts: 1821000 | #Constraints: 75782
3600.03/3609.20 c #Conflicts: 1822000 | #Constraints: 76782
3600.03/3609.20 c #Conflicts: 1823000 | #Constraints: 77782
3600.03/3609.20 c #Conflicts: 1824000 | #Constraints: 78782
3600.03/3609.20 c #Conflicts: 1825000 | #Constraints: 79782
3600.03/3609.20 c #Conflicts: 1826000 | #Constraints: 80782
3600.03/3609.20 c #Conflicts: 1827000 | #Constraints: 81782
3600.03/3609.20 c INPROCESSING
3600.03/3609.20 c GARBAGE COLLECT
3600.03/3609.20 c #Conflicts: 1828000 | #Constraints: 55984
3600.03/3609.20 c #Conflicts: 1829000 | #Constraints: 56984
3600.03/3609.20 c #Conflicts: 1830000 | #Constraints: 57984
3600.03/3609.20 c #Conflicts: 1831000 | #Constraints: 58984
3600.03/3609.20 c #Conflicts: 1832000 | #Constraints: 59984
3600.03/3609.20 c #Conflicts: 1833000 | #Constraints: 60984
3600.03/3609.20 c #Conflicts: 1834000 | #Constraints: 61984
3600.03/3609.20 c #Conflicts: 1835000 | #Constraints: 62984
3600.03/3609.20 c #Conflicts: 1836000 | #Constraints: 63984
3600.03/3609.20 c #Conflicts: 1837000 | #Constraints: 64984
3600.03/3609.20 c #Conflicts: 1838000 | #Constraints: 65984
3600.03/3609.20 c #Conflicts: 1839000 | #Constraints: 66984
3600.03/3609.20 c #Conflicts: 1840000 | #Constraints: 67984
3600.03/3609.20 c #Conflicts: 1841000 | #Constraints: 68984
3600.03/3609.20 c #Conflicts: 1842000 | #Constraints: 69984
3600.03/3609.20 c #Conflicts: 1843000 | #Constraints: 70984
3600.03/3609.20 c #Conflicts: 1844000 | #Constraints: 71984
3600.03/3609.20 c #Conflicts: 1845000 | #Constraints: 72984
3600.03/3609.20 c #Conflicts: 1846000 | #Constraints: 73984
3600.03/3609.20 c #Conflicts: 1847000 | #Constraints: 74984
3600.03/3609.20 c #Conflicts: 1848000 | #Constraints: 75984
3600.03/3609.20 c #Conflicts: 1849000 | #Constraints: 76984
3600.03/3609.20 c #Conflicts: 1850000 | #Constraints: 77984
3600.03/3609.20 c #Conflicts: 1851000 | #Constraints: 78984
3600.03/3609.20 c #Conflicts: 1852000 | #Constraints: 79984
3600.03/3609.20 c #Conflicts: 1853000 | #Constraints: 80984
3600.03/3609.20 c #Conflicts: 1854000 | #Constraints: 81984
3600.03/3609.20 c INPROCESSING
3600.03/3609.20 c GARBAGE COLLECT
3600.03/3609.20 c #Conflicts: 1855000 | #Constraints: 55977
3600.03/3609.20 c #Conflicts: 1856000 | #Constraints: 56977
3600.03/3609.20 c #Conflicts: 1857000 | #Constraints: 57977
3600.03/3609.20 c #Conflicts: 1858000 | #Constraints: 58977
3600.03/3609.20 c #Conflicts: 1859000 | #Constraints: 59977
3600.03/3609.20 c #Conflicts: 1860000 | #Constraints: 60977
3600.03/3609.20 c #Conflicts: 1861000 | #Constraints: 61977
3600.03/3609.20 c #Conflicts: 1862000 | #Constraints: 62977
3600.03/3609.20 c #Conflicts: 1863000 | #Constraints: 63977
3600.03/3609.20 c #Conflicts: 1864000 | #Constraints: 64977
3600.03/3609.20 c Program interrupted by user.
3600.03/3609.20 c cpu time 3591.93 s
3600.03/3609.20 c deterministic time 595709356290 5.96e+11
3600.03/3609.20 c optimization time 18.3978 s
3600.03/3609.20 c total solve time 3274.44 s
3600.03/3609.20 c core-guided solve time 3274.44 s
3600.03/3609.20 c propagation time 3164.75 s
3600.03/3609.20 c conflict analysis time 97.9608 s
3600.03/3609.20 c propagations 39768523
3600.03/3609.20 c resolve steps 14504527
3600.03/3609.20 c decisions 2169900
3600.03/3609.20 c conflicts 1864362
3600.03/3609.20 c restarts 3580
3600.03/3609.20 c inprocessing phases 127
3600.03/3609.20 c input clauses 27985
3600.03/3609.20 c input cardinalities 16
3600.03/3609.20 c input general constraints 0
3600.03/3609.20 c input average constraint length 2.36
3600.03/3609.20 c input average constraint degree 1.25
3600.03/3609.20 c learned clauses 1195536
3600.03/3609.20 c learned cardinalities 516837
3600.03/3609.20 c learned general constraints 151988
3600.03/3609.20 c learned average constraint length 555.29
3600.03/3609.20 c learned average constraint degree 10.03
3600.03/3609.20 c watched constraints 151988
3600.03/3609.20 c counting constraints 0
3600.03/3609.20 c gcd simplifications 89726
3600.03/3609.20 c detected cardinalities 10735
3600.03/3609.20 c weakened non-implied lits 22744388
3600.03/3609.20 c weakened non-implying lits 59028
3600.03/3609.20 c original variables 595
3600.03/3609.20 c clausal propagations 28219389
3600.03/3609.20 c cardinality propagations 6439355
3600.03/3609.20 c watched propagations 572822
3600.03/3609.20 c counting propagations 0
3600.03/3609.20 c watch lookups 30892236245
3600.03/3609.20 c watch backjump lookups 5813192
3600.03/3609.20 c watch checks 562305235453
3600.03/3609.20 c propagation checks 422078871
3600.03/3609.20 c constraint additions 1998252010
3600.03/3609.20 c trail pops 43802095
3600.03/3609.20 c formula constraints 27856
3600.03/3609.20 c learned constraints 1864361
3600.03/3609.20 c bound constraints 16
3600.03/3609.20 c core-guided constraints 129
3600.03/3609.20 c encountered formula constraints 10625237
3600.03/3609.20 c encountered learned constraints 5671893
3600.03/3609.20 c encountered bound constraints 1414
3600.03/3609.20 c encountered core-guided constraints 70345
3600.03/3609.20 c LP total time 0 s
3600.03/3609.20 c LP solve time 0 s
3600.03/3609.20 c LP constraints added 0
3600.03/3609.20 c LP constraints removed 0
3600.03/3609.20 c LP pivots internal 0
3600.03/3609.20 c LP pivots root 0
3600.03/3609.20 c LP calls 0
3600.03/3609.20 c LP optimalities 0
3600.03/3609.20 c LP no pivot count 0
3600.03/3609.20 c LP infeasibilities 0
3600.03/3609.20 c LP valid Farkas constraints 0
3600.03/3609.20 c LP learned Farkas constraints 0
3600.03/3609.20 c LP basis resets 0
3600.03/3609.20 c LP cycling count 0
3600.03/3609.20 c LP singular count 0
3600.03/3609.20 c LP no primal count 0
3600.03/3609.20 c LP no farkas count 0
3600.03/3609.20 c LP other issue count 0
3600.03/3609.20 c LP Gomory cuts 0
3600.03/3609.20 c LP learned cuts 0
3600.03/3609.20 c LP deleted cuts 0
3600.03/3609.20 c LP encountered Gomory constraints 0
3600.03/3609.20 c LP encountered Farkas constraints 0
3600.03/3609.20 c LP encountered learned Farkas constraints 0
3600.03/3609.20 c CG auxiliary variables introduced 129
3600.03/3609.20 c CG solutions found 0
3600.03/3609.20 c CG cores constructed 15
3600.03/3609.20 c CG core cardinality constraints returned 0
3600.03/3609.20 c CG unit cores 0
3600.03/3609.20 c CG single cores 15
3600.03/3609.20 c CG blocks removed during cardinality reduction 0
3600.03/3609.20 c CG first core best 0
3600.03/3609.20 c CG decision core best 0
3600.03/3609.20 c CG core reduction tie 0
3600.03/3609.20 c CG core degree average 1.00
3600.03/3609.20 c CG core slack average 6.87
3600.03/3609.20 c CG exhausted 0
3600.03/3609.20 c CG exhaust time 0 s
3600.03/3609.20 c CG trimmed 3
3600.03/3609.20 c CG trim time 0.0001 s
3600.03/3609.20 c CG minimized 0
3600.03/3609.20 c CG minimize time 0 s
3600.03/3609.20 c CG am1 prop time 0.002459 s
3600.03/3609.20 c CG # am1s reformulated 129
3600.03/3609.20 c CG lower bound derived from am1s 464
3600.03/3609.20 c CG # clausal cores 15
3600.03/3609.20 c CG # cardinality cores 0
3600.03/3609.20 c CG # pb cores 0
3600.03/3609.20 c CG # pb reforms 0
3600.03/3609.20 c CG # cores discarded because of pb reform 0
3600.03/3609.20 d LOWERBOUND -116
3600.03/3609.20 d NCORES 15
3600.03/3609.20 d NPBCORES 0
3600.03/3609.20 d NPBREFORM 0
3600.03/3609.20 d NTRIMMED 3
3600.03/3609.20 d NEXHAUSTED 0
3600.03/3609.20 d NAM1S 129
3600.03/3609.20 d AM1LB 464
3600.03/3609.20 c [Papilo Statistics]
3600.03/3609.20 c prepro time 0.0397312s
3600.03/3609.20 c # tsx applied 0
3600.03/3609.20 c # tsx conflicts 0
3600.03/3609.20 c # bound changes 0
3600.03/3609.20 c # side changes 0
3600.03/3609.20 c # coef changes 0
3600.03/3609.20 c # rounds 1
3600.03/3609.20 c # deted vars 0
3600.03/3609.20 c # deted constrs 0
3600.03/3609.20 c # consecutive rounds of only bound changes 0
3600.03/3609.20 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 (60452 MiB free)
memory of node 1: 64473 MiB (62045 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454776-1721432917/watcher-4454776-1721432917 -o /tmp/evaluation-result-4454776-1721432917/solver-4454776-1721432917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034142 --watchdog 3760 mixed-bag HOME/instance-4454776-1721432917.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1039513, runsolver pid=1039510
[startup+0.100623 s]*
/proc/loadavg: 4.18 4.11 4.10 5/254 1039514
/proc/meminfo: memFree=125423844/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=94784 memory=26964 CPUtime=0.09 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 5163 0 0 0 9 0 0 0 20 0 1 0 195460582 97058816 6741 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 23696 6741 3347 3002 0 7445 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 94784 KiB
Current children cumulated memory: 26964 KiB
[startup+0.205581 s]*
/proc/loadavg: 4.18 4.11 4.10 5/254 1039514
/proc/meminfo: memFree=125373128/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=146648 memory=79008 CPUtime=0.19 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 17815 0 0 0 17 2 0 0 20 0 1 0 195460582 150167552 19752 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 36662 19752 3779 3002 0 20411 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 146648 KiB
Current children cumulated memory: 79008 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.18 4.11 4.10 5/254 1039514
/proc/meminfo: memFree=125370496/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=149128 memory=81488 CPUtime=0.29 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 19540 0 0 0 27 2 0 0 20 0 1 0 195460582 152707072 20372 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 37282 20372 3779 3002 0 21031 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149128 KiB
Current children cumulated memory: 81488 KiB
[startup+0.700232 s]
/proc/loadavg: 4.18 4.11 4.10 5/254 1039514
/proc/meminfo: memFree=125329576/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=226348 memory=151884 CPUtime=0.69 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 32395 0 0 0 64 5 0 0 20 0 1 0 195460582 231780352 37971 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 56587 37971 4012 3002 0 40336 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 226348 KiB
Current children cumulated memory: 151884 KiB
[startup+1.50023 s]
/proc/loadavg: 4.18 4.11 4.10 5/254 1039515
/proc/meminfo: memFree=125293928/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=244116 memory=163560 CPUtime=1.48 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 35269 0 0 0 143 5 0 0 20 0 1 0 195460582 249974784 40890 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 61029 40890 4028 3002 0 44778 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 244116 KiB
Current children cumulated memory: 163560 KiB
[startup+3.10579 s]
/proc/loadavg: 4.18 4.11 4.10 5/254 1039515
/proc/meminfo: memFree=125279504/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=255052 memory=166464 CPUtime=3.08 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 35991 0 0 0 303 5 0 0 20 0 1 0 195460582 261173248 41616 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 63763 41616 4028 3002 0 47512 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 255052 KiB
Current children cumulated memory: 166464 KiB
[startup+6.30021 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 1039515
/proc/meminfo: memFree=125236048/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=337336 memory=210652 CPUtime=6.27 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 47004 0 0 0 620 7 0 0 20 0 1 0 195460582 345432064 52663 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 84334 52663 4059 3002 0 68083 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 337336 KiB
Current children cumulated memory: 210652 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/254 1039517
/proc/meminfo: memFree=125232696/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=337336 memory=210652 CPUtime=12.64 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 47056 0 0 0 1257 7 0 0 20 0 1 0 195460582 345432064 52663 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 84334 52663 4059 3002 0 68083 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 337336 KiB
Current children cumulated memory: 210652 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 1039518
/proc/meminfo: memFree=125192108/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=371708 memory=236448 CPUtime=25.41 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 53524 0 0 0 2531 10 0 0 20 0 1 0 195460582 380628992 59112 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 92927 59112 4059 3002 0 76676 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 371708 KiB
Current children cumulated memory: 236448 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 1039523
/proc/meminfo: memFree=125165688/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=395420 memory=252552 CPUtime=50.94 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 57512 0 0 0 5081 13 0 0 20 0 1 0 195460582 404910080 63138 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 98855 63138 4059 3002 0 82604 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 395420 KiB
Current children cumulated memory: 252552 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 1039532
/proc/meminfo: memFree=125032620/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=497872 memory=318996 CPUtime=101.99 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 69555 0 0 0 10180 19 0 0 20 0 1 0 195460582 509820928 79749 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 124468 79749 4059 3002 0 108217 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 497872 KiB
Current children cumulated memory: 318996 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 1039592
/proc/meminfo: memFree=125668924/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=573056 memory=359844 CPUtime=161.83 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 78233 0 0 0 16161 22 0 0 20 0 1 0 195460582 586809344 89961 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 143264 89961 4059 3002 0 127013 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 573056 KiB
Current children cumulated memory: 359844 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 1039603
/proc/meminfo: memFree=125452228/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=654480 memory=418152 CPUtime=221.66 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 90268 0 0 0 22142 24 0 0 20 0 1 0 195460582 670187520 104538 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163620 104538 4059 3002 0 147369 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 654480 KiB
Current children cumulated memory: 418152 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1039613
/proc/meminfo: memFree=125394920/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=684624 memory=443260 CPUtime=281.49 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 96283 0 0 0 28124 25 0 0 20 0 1 0 195460582 701054976 110815 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 171156 110815 4059 3002 0 154905 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 684624 KiB
Current children cumulated memory: 443260 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 1039625
/proc/meminfo: memFree=125398652/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=555748 memory=335660 CPUtime=341.33 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 98692 0 0 0 34068 65 0 0 20 0 1 0 195460582 569085952 83915 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 138937 83915 4187 3002 0 122686 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 555748 KiB
Current children cumulated memory: 335660 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 1039636
/proc/meminfo: memFree=125290796/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=574716 memory=343968 CPUtime=401.19 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 99259 0 0 0 40019 100 0 0 20 0 1 0 195460582 588509184 85992 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 143679 85992 4187 3002 0 127428 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 574716 KiB
Current children cumulated memory: 343968 KiB
[startup+462.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/258 1040030
/proc/meminfo: memFree=125386580/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=574716 memory=352160 CPUtime=461.03 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 99273 0 0 0 45973 130 0 0 20 0 1 0 195460582 588509184 88040 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 143679 88040 4187 3002 0 127428 0
################
# More data... #
################
Current children cumulated memory: 552648 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 1041315
/proc/meminfo: memFree=124937204/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=552648 CPUtime=2854.91 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 104220 0 0 0 284801 690 0 0 20 0 1 0 195460582 671358976 138162 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 138162 4187 3002 0 147655 0
Current children cumulated CPU time: 2854.91 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 552648 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/255 1041327
/proc/meminfo: memFree=124927280/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=554696 CPUtime=2914.74 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 104370 0 0 0 290773 701 0 0 20 0 1 0 195460582 671358976 138674 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 138674 4187 3002 0 147655 0
Current children cumulated CPU time: 2914.74 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 554696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 1041337
/proc/meminfo: memFree=124920624/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=554696 CPUtime=2974.6 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 104505 0 0 0 296749 711 0 0 20 0 1 0 195460582 671358976 138674 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 138674 4187 3002 0 147655 0
Current children cumulated CPU time: 2974.6 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 554696 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 1041347
/proc/meminfo: memFree=124915432/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=554696 CPUtime=3034.46 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 104643 0 0 0 302723 723 0 0 20 0 1 0 195460582 671358976 138674 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 138674 4187 3002 0 147655 0
Current children cumulated CPU time: 3034.46 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 554696 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 1041357
/proc/meminfo: memFree=124904616/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=556744 CPUtime=3094.32 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 104786 0 0 0 308699 733 0 0 20 0 1 0 195460582 671358976 139186 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 139186 4187 3002 0 147655 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 556744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 1041372
/proc/meminfo: memFree=124897608/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=556744 CPUtime=3154.18 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 104925 0 0 0 314675 743 0 0 20 0 1 0 195460582 671358976 139186 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 139186 4187 3002 0 147655 0
Current children cumulated CPU time: 3154.18 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 556744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.31 4.17 4.12 5/256 1041384
/proc/meminfo: memFree=124890464/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=558792 CPUtime=3214.04 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105060 0 0 0 320652 752 0 0 20 0 1 0 195460582 671358976 139698 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 139698 4187 3002 0 147655 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 558792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/256 1041394
/proc/meminfo: memFree=124883660/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=558792 CPUtime=3273.9 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105199 0 0 0 326627 763 0 0 20 0 1 0 195460582 671358976 139698 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 139698 4187 3002 0 147655 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 558792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 1041405
/proc/meminfo: memFree=124874780/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=560840 CPUtime=3333.75 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105336 0 0 0 332603 772 0 0 20 0 1 0 195460582 671358976 140210 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 140210 4187 3002 0 147655 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 560840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/256 1041415
/proc/meminfo: memFree=124872544/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=560840 CPUtime=3393.61 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105477 0 0 0 338580 781 0 0 20 0 1 0 195460582 671358976 140210 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 140210 4187 3002 0 147655 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 560840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 1041425
/proc/meminfo: memFree=124865652/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=560840 CPUtime=3453.47 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105631 0 0 0 344557 790 0 0 20 0 1 0 195460582 671358976 140210 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 140210 4187 3002 0 147655 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 560840 KiB
[startup+3522.3 s]
/proc/loadavg: 3.53 3.96 4.04 4/248 1041467
/proc/meminfo: memFree=125253372/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=560840 CPUtime=3513.33 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105771 0 0 0 350536 797 0 0 20 0 1 0 195460582 671358976 140210 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 140210 4187 3002 0 147655 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 560840 KiB
[startup+3582.3 s]
/proc/loadavg: 3.24 3.80 3.98 4/249 1041478
/proc/meminfo: memFree=125206528/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=562888 CPUtime=3573.19 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105904 0 0 0 356514 805 0 0 20 0 1 0 195460582 671358976 140722 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 140722 4187 3002 0 147655 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 562888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 3.23 3.75 3.96 4/249 1041482
/proc/meminfo: memFree=125201028/131524600 swapFree=131071996/131071996
[pid=1039513] ppid=1039510 vsize=655624 memory=564936 CPUtime=3600.03 cores=1,3
/proc/1039513/stat : 1039513 (mixed-bag) R 1039510 1039513 1034130 0 -1 4194304 105975 0 0 0 359193 810 0 0 20 0 1 0 195460582 671358976 141234 134679101440 4194304 16488053 140725561033760 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34291712 140725561041941 140725561042018 140725561042018 140725561049035 0
/proc/1039513/statm: 163906 141234 4187 3002 0 147655 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 655624 KiB
Current children cumulated memory: 564936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 1039513 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.94 s, system=8.10444 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.04
CPU user time (s): 3591.94
CPU system time (s): 8.10444
CPU usage (%): 99.7461
Max. virtual memory (cumulated for all children) (KiB): 688688
Max. memory (cumulated for all children) (KiB): 564936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.94
system time used= 8.10444
maximum resident set size= 565856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106000
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= 101
involuntary context switches= 1353
# summary of solver processes directly reported to runsolver:
# pid: 1039513
# total CPU time (s): 3600.04
# total CPU user time (s): 3591.94
# total CPU system time (s): 8.10444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67335 second user time and 15.5471 second system time
The end
Begin job on nodeC032 at 2024-07-20 01:48:49
IDJOB=4454776
IDBENCH=146690
IDSOLVER=3083
FILE ID=nodeC032/4454776-1721432917
RUNJOBID= nodeC032-1721425494-1034142
SLURM_JOB_ID= 7545615
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454776-1721432917/watcher-4454776-1721432917 -o /tmp/evaluation-result-4454776-1721432917/solver-4454776-1721432917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034142 --watchdog 3760 mixed-bag HOME/instance-4454776-1721432917.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8
RANDOM SEED=616203875
nodeC032.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 : 3665.469
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.33
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 : 3665.827
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.03
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 : 3599.844
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.33
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 : 3664.841
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.03
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 : 3665.531
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.33
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 : 3666.202
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.03
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 : 3599.956
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.962
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125438160 kB
MemAvailable: 128081004 kB
Buffers: 549492 kB
Cached: 2915632 kB
SwapCached: 0 kB
Active: 1036848 kB
Inactive: 4381048 kB
Active(anon): 1556 kB
Inactive(anon): 1997432 kB
Active(file): 1035292 kB
Inactive(file): 2383616 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17168 kB
Writeback: 0 kB
AnonPages: 1953088 kB
Mapped: 142096 kB
Shmem: 45912 kB
KReclaimable: 127516 kB
Slab: 244176 kB
SReclaimable: 127516 kB
SUnreclaim: 116660 kB
KernelStack: 4048 kB
PageTables: 14028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2860616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 681984 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC032 at 2024-07-20 02:48:58