0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.72/300.79 c [STEP] preprocessing done, loading into solver
299.72/300.80 c [STEP] solving
299.72/300.80 c #variables 199 #constraints 16
299.72/300.80 c SMALL=int, LARGE=long long
299.72/300.80 d SCIPUB 38
299.72/300.80 c bounds - >= 0 @ 299.531
299.72/300.80 c stratification level: 32
313.49/314.54 c #Conflicts: 1000 | #Constraints: 1016
313.49/314.54 c #Conflicts: 2000 | #Constraints: 2016
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 3000 | #Constraints: 2021
313.49/314.54 c #Conflicts: 4000 | #Constraints: 3021
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 5000 | #Constraints: 2428
313.49/314.54 c #Conflicts: 6000 | #Constraints: 3428
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 7000 | #Constraints: 2431
313.49/314.54 c #Conflicts: 8000 | #Constraints: 3431
313.49/314.54 c #Conflicts: 9000 | #Constraints: 4431
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 10000 | #Constraints: 3128
313.49/314.54 c #Conflicts: 11000 | #Constraints: 4128
313.49/314.54 c #Conflicts: 12000 | #Constraints: 5128
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 13000 | #Constraints: 3578
313.49/314.54 c #Conflicts: 14000 | #Constraints: 4578
313.49/314.54 c #Conflicts: 15000 | #Constraints: 5578
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 16000 | #Constraints: 3805
313.49/314.54 c #Conflicts: 17000 | #Constraints: 4805
313.49/314.54 c #Conflicts: 18000 | #Constraints: 5805
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 19000 | #Constraints: 3820
313.49/314.54 c #Conflicts: 20000 | #Constraints: 4820
313.49/314.54 c #Conflicts: 21000 | #Constraints: 5820
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 22000 | #Constraints: 3629
313.49/314.54 c #Conflicts: 23000 | #Constraints: 4629
313.49/314.54 c #Conflicts: 24000 | #Constraints: 5629
313.49/314.54 c #Conflicts: 25000 | #Constraints: 6629
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 26000 | #Constraints: 4230
313.49/314.54 c #Conflicts: 27000 | #Constraints: 5230
313.49/314.54 c #Conflicts: 28000 | #Constraints: 6230
313.49/314.54 c #Conflicts: 29000 | #Constraints: 7230
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 30000 | #Constraints: 4635
313.49/314.54 c #Conflicts: 31000 | #Constraints: 5635
313.49/314.54 c #Conflicts: 32000 | #Constraints: 6635
313.49/314.54 c #Conflicts: 33000 | #Constraints: 7635
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 34000 | #Constraints: 4832
313.49/314.54 c #Conflicts: 35000 | #Constraints: 5832
313.49/314.54 c #Conflicts: 36000 | #Constraints: 6832
313.49/314.54 c #Conflicts: 37000 | #Constraints: 7832
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 38000 | #Constraints: 4835
313.49/314.54 c #Conflicts: 39000 | #Constraints: 5835
313.49/314.54 c #Conflicts: 40000 | #Constraints: 6835
313.49/314.54 c #Conflicts: 41000 | #Constraints: 7835
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 42000 | #Constraints: 4640
313.49/314.54 c #Conflicts: 43000 | #Constraints: 5640
313.49/314.54 c #Conflicts: 44000 | #Constraints: 6640
313.49/314.54 c #Conflicts: 45000 | #Constraints: 7640
313.49/314.54 c #Conflicts: 46000 | #Constraints: 8640
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 47000 | #Constraints: 5242
313.49/314.54 c #Conflicts: 48000 | #Constraints: 6242
313.49/314.54 c #Conflicts: 49000 | #Constraints: 7242
313.49/314.54 c #Conflicts: 50000 | #Constraints: 8242
313.49/314.54 c #Conflicts: 51000 | #Constraints: 9242
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 52000 | #Constraints: 5639
313.49/314.54 c #Conflicts: 53000 | #Constraints: 6639
313.49/314.54 c #Conflicts: 54000 | #Constraints: 7639
313.49/314.54 c #Conflicts: 55000 | #Constraints: 8639
313.49/314.54 c #Conflicts: 56000 | #Constraints: 9639
313.49/314.54 c INPROCESSING
313.49/314.54 c GARBAGE COLLECT
313.49/314.54 c #Conflicts: 57000 | #Constraints: 5836
313.49/314.54 c #Conflicts: 58000 | #Constraints: 6836
313.49/314.54 c bounds 33 >= 0 @ 313.033
313.49/314.54 c stratification level: 16
313.49/314.54 c bounds 25 >= 0 @ 313.034
313.49/314.54 c stratification level: 8
349.00/350.10 c #Conflicts: 59000 | #Constraints: 7838
349.00/350.10 c #Conflicts: 60000 | #Constraints: 8838
349.00/350.10 c #Conflicts: 61000 | #Constraints: 9838
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 62000 | #Constraints: 5837
349.00/350.10 c #Conflicts: 63000 | #Constraints: 6837
349.00/350.10 c #Conflicts: 64000 | #Constraints: 7837
349.00/350.10 c #Conflicts: 65000 | #Constraints: 8837
349.00/350.10 c #Conflicts: 66000 | #Constraints: 9837
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 67000 | #Constraints: 5635
349.00/350.10 c #Conflicts: 68000 | #Constraints: 6635
349.00/350.10 c #Conflicts: 69000 | #Constraints: 7635
349.00/350.10 c #Conflicts: 70000 | #Constraints: 8635
349.00/350.10 c #Conflicts: 71000 | #Constraints: 9635
349.00/350.10 c #Conflicts: 72000 | #Constraints: 10635
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 73000 | #Constraints: 6233
349.00/350.10 c #Conflicts: 74000 | #Constraints: 7233
349.00/350.10 c #Conflicts: 75000 | #Constraints: 8233
349.00/350.10 c #Conflicts: 76000 | #Constraints: 9233
349.00/350.10 c #Conflicts: 77000 | #Constraints: 10233
349.00/350.10 c #Conflicts: 78000 | #Constraints: 11233
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 79000 | #Constraints: 6636
349.00/350.10 c #Conflicts: 80000 | #Constraints: 7636
349.00/350.10 c #Conflicts: 81000 | #Constraints: 8636
349.00/350.10 c #Conflicts: 82000 | #Constraints: 9636
349.00/350.10 c #Conflicts: 83000 | #Constraints: 10636
349.00/350.10 c #Conflicts: 84000 | #Constraints: 11636
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 85000 | #Constraints: 6839
349.00/350.10 c #Conflicts: 86000 | #Constraints: 7839
349.00/350.10 c #Conflicts: 87000 | #Constraints: 8839
349.00/350.10 c #Conflicts: 88000 | #Constraints: 9839
349.00/350.10 c #Conflicts: 89000 | #Constraints: 10839
349.00/350.10 c #Conflicts: 90000 | #Constraints: 11839
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 91000 | #Constraints: 6838
349.00/350.10 c #Conflicts: 92000 | #Constraints: 7838
349.00/350.10 c #Conflicts: 93000 | #Constraints: 8838
349.00/350.10 c #Conflicts: 94000 | #Constraints: 9838
349.00/350.10 c #Conflicts: 95000 | #Constraints: 10838
349.00/350.10 c #Conflicts: 96000 | #Constraints: 11838
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 97000 | #Constraints: 6638
349.00/350.10 c #Conflicts: 98000 | #Constraints: 7638
349.00/350.10 c #Conflicts: 99000 | #Constraints: 8638
349.00/350.10 c #Conflicts: 100000 | #Constraints: 9638
349.00/350.10 c #Conflicts: 101000 | #Constraints: 10638
349.00/350.10 c #Conflicts: 102000 | #Constraints: 11638
349.00/350.10 c #Conflicts: 103000 | #Constraints: 12638
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 104000 | #Constraints: 7237
349.00/350.10 c #Conflicts: 105000 | #Constraints: 8237
349.00/350.10 c #Conflicts: 106000 | #Constraints: 9237
349.00/350.10 c #Conflicts: 107000 | #Constraints: 10237
349.00/350.10 c #Conflicts: 108000 | #Constraints: 11237
349.00/350.10 c #Conflicts: 109000 | #Constraints: 12237
349.00/350.10 c #Conflicts: 110000 | #Constraints: 13237
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 111000 | #Constraints: 7638
349.00/350.10 c #Conflicts: 112000 | #Constraints: 8638
349.00/350.10 c #Conflicts: 113000 | #Constraints: 9638
349.00/350.10 c #Conflicts: 114000 | #Constraints: 10638
349.00/350.10 c #Conflicts: 115000 | #Constraints: 11638
349.00/350.10 c #Conflicts: 116000 | #Constraints: 12638
349.00/350.10 c #Conflicts: 117000 | #Constraints: 13638
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 118000 | #Constraints: 7836
349.00/350.10 c #Conflicts: 119000 | #Constraints: 8836
349.00/350.10 c #Conflicts: 120000 | #Constraints: 9836
349.00/350.10 c #Conflicts: 121000 | #Constraints: 10836
349.00/350.10 c #Conflicts: 122000 | #Constraints: 11836
349.00/350.10 c #Conflicts: 123000 | #Constraints: 12836
349.00/350.10 c #Conflicts: 124000 | #Constraints: 13836
349.00/350.10 c INPROCESSING
349.00/350.10 c GARBAGE COLLECT
349.00/350.10 c #Conflicts: 125000 | #Constraints: 7836
349.00/350.10 c #Conflicts: 126000 | #Constraints: 8836
349.00/350.10 c #Conflicts: 127000 | #Constraints: 9836
349.00/350.10 c #Conflicts: 128000 | #Constraints: 10836
349.00/350.10 c #Conflicts: 129000 | #Constraints: 11836
349.00/350.10 c #Conflicts: 130000 | #Constraints: 12836
397.57/398.82 c #Conflicts: 131000 | #Constraints: 13836
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 132000 | #Constraints: 7640
397.57/398.82 c #Conflicts: 133000 | #Constraints: 8640
397.57/398.82 c #Conflicts: 134000 | #Constraints: 9640
397.57/398.82 c #Conflicts: 135000 | #Constraints: 10640
397.57/398.82 c #Conflicts: 136000 | #Constraints: 11640
397.57/398.82 c #Conflicts: 137000 | #Constraints: 12640
397.57/398.82 c #Conflicts: 138000 | #Constraints: 13640
397.57/398.82 c #Conflicts: 139000 | #Constraints: 14640
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 140000 | #Constraints: 8236
397.57/398.82 c #Conflicts: 141000 | #Constraints: 9236
397.57/398.82 c #Conflicts: 142000 | #Constraints: 10236
397.57/398.82 c #Conflicts: 143000 | #Constraints: 11236
397.57/398.82 c #Conflicts: 144000 | #Constraints: 12236
397.57/398.82 c #Conflicts: 145000 | #Constraints: 13236
397.57/398.82 c #Conflicts: 146000 | #Constraints: 14236
397.57/398.82 c #Conflicts: 147000 | #Constraints: 15236
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 148000 | #Constraints: 8637
397.57/398.82 c #Conflicts: 149000 | #Constraints: 9637
397.57/398.82 c #Conflicts: 150000 | #Constraints: 10637
397.57/398.82 c #Conflicts: 151000 | #Constraints: 11637
397.57/398.82 c #Conflicts: 152000 | #Constraints: 12637
397.57/398.82 c #Conflicts: 153000 | #Constraints: 13637
397.57/398.82 c #Conflicts: 154000 | #Constraints: 14637
397.57/398.82 c #Conflicts: 155000 | #Constraints: 15637
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 156000 | #Constraints: 8834
397.57/398.82 c #Conflicts: 157000 | #Constraints: 9834
397.57/398.82 c #Conflicts: 158000 | #Constraints: 10834
397.57/398.82 c #Conflicts: 159000 | #Constraints: 11834
397.57/398.82 c #Conflicts: 160000 | #Constraints: 12834
397.57/398.82 c #Conflicts: 161000 | #Constraints: 13834
397.57/398.82 c #Conflicts: 162000 | #Constraints: 14834
397.57/398.82 c #Conflicts: 163000 | #Constraints: 15834
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 164000 | #Constraints: 8839
397.57/398.82 c #Conflicts: 165000 | #Constraints: 9839
397.57/398.82 c #Conflicts: 166000 | #Constraints: 10839
397.57/398.82 c #Conflicts: 167000 | #Constraints: 11839
397.57/398.82 c #Conflicts: 168000 | #Constraints: 12839
397.57/398.82 c #Conflicts: 169000 | #Constraints: 13839
397.57/398.82 c #Conflicts: 170000 | #Constraints: 14839
397.57/398.82 c #Conflicts: 171000 | #Constraints: 15839
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 172000 | #Constraints: 8633
397.57/398.82 c #Conflicts: 173000 | #Constraints: 9633
397.57/398.82 c #Conflicts: 174000 | #Constraints: 10633
397.57/398.82 c #Conflicts: 175000 | #Constraints: 11633
397.57/398.82 c #Conflicts: 176000 | #Constraints: 12633
397.57/398.82 c #Conflicts: 177000 | #Constraints: 13633
397.57/398.82 c #Conflicts: 178000 | #Constraints: 14633
397.57/398.82 c #Conflicts: 179000 | #Constraints: 15633
397.57/398.82 c #Conflicts: 180000 | #Constraints: 16633
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 181000 | #Constraints: 9236
397.57/398.82 c #Conflicts: 182000 | #Constraints: 10236
397.57/398.82 c #Conflicts: 183000 | #Constraints: 11236
397.57/398.82 c #Conflicts: 184000 | #Constraints: 12236
397.57/398.82 c #Conflicts: 185000 | #Constraints: 13236
397.57/398.82 c #Conflicts: 186000 | #Constraints: 14236
397.57/398.82 c #Conflicts: 187000 | #Constraints: 15236
397.57/398.82 c #Conflicts: 188000 | #Constraints: 16236
397.57/398.82 c #Conflicts: 189000 | #Constraints: 17236
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 190000 | #Constraints: 9639
397.57/398.82 c #Conflicts: 191000 | #Constraints: 10639
397.57/398.82 c #Conflicts: 192000 | #Constraints: 11639
397.57/398.82 c #Conflicts: 193000 | #Constraints: 12639
397.57/398.82 c #Conflicts: 194000 | #Constraints: 13639
397.57/398.82 c #Conflicts: 195000 | #Constraints: 14639
397.57/398.82 c #Conflicts: 196000 | #Constraints: 15639
397.57/398.82 c #Conflicts: 197000 | #Constraints: 16639
397.57/398.82 c #Conflicts: 198000 | #Constraints: 17639
397.57/398.82 c INPROCESSING
397.57/398.82 c GARBAGE COLLECT
397.57/398.82 c #Conflicts: 199000 | #Constraints: 9843
397.57/398.82 c #Conflicts: 200000 | #Constraints: 10843
397.57/398.82 c #Conflicts: 201000 | #Constraints: 11843
397.57/398.82 c #Conflicts: 202000 | #Constraints: 12843
397.57/398.82 c #Conflicts: 203000 | #Constraints: 13843
461.31/462.79 c #Conflicts: 204000 | #Constraints: 14843
461.31/462.79 c #Conflicts: 205000 | #Constraints: 15843
461.31/462.79 c #Conflicts: 206000 | #Constraints: 16843
461.31/462.79 c #Conflicts: 207000 | #Constraints: 17843
461.31/462.79 c INPROCESSING
461.31/462.79 c GARBAGE COLLECT
461.31/462.79 c #Conflicts: 208000 | #Constraints: 9840
461.31/462.79 c #Conflicts: 209000 | #Constraints: 10840
461.31/462.79 c #Conflicts: 210000 | #Constraints: 11840
461.31/462.79 c #Conflicts: 211000 | #Constraints: 12840
461.31/462.79 c #Conflicts: 212000 | #Constraints: 13840
461.31/462.79 c #Conflicts: 213000 | #Constraints: 14840
461.31/462.79 c #Conflicts: 214000 | #Constraints: 15840
461.31/462.79 c #Conflicts: 215000 | #Constraints: 16840
461.31/462.79 c #Conflicts: 216000 | #Constraints: 17840
461.31/462.79 c INPROCESSING
461.31/462.79 c GARBAGE COLLECT
461.31/462.79 c #Conflicts: 217000 | #Constraints: 9643
461.31/462.79 c #Conflicts: 218000 | #Constraints: 10643
461.31/462.79 c #Conflicts: 219000 | #Constraints: 11643
461.31/462.79 c #Conflicts: 220000 | #Constraints: 12643
461.31/462.79 c #Conflicts: 221000 | #Constraints: 13643
461.31/462.79 c #Conflicts: 222000 | #Constraints: 14643
461.31/462.79 c #Conflicts: 223000 | #Constraints: 15643
461.31/462.79 c #Conflicts: 224000 | #Constraints: 16643
461.31/462.79 c #Conflicts: 225000 | #Constraints: 17643
461.31/462.79 c #Conflicts: 226000 | #Constraints: 18643
461.31/462.79 c INPROCESSING
461.31/462.79 c GARBAGE COLLECT
461.31/462.79 c #Conflicts: 227000 | #Constraints: 10243
461.31/462.79 c #Conflicts: 228000 | #Constraints: 11243
461.31/462.79 c #Conflicts: 229000 | #Constraints: 12243
461.31/462.79 c #Conflicts: 230000 | #Constraints: 13243
461.31/462.79 c #Conflicts: 231000 | #Constraints: 14243
461.31/462.79 c #Conflicts: 232000 | #Constraints: 15243
461.31/462.79 c #Conflicts: 233000 | #Constraints: 16243
461.31/462.79 c #Conflicts: 234000 | #Constraints: 17243
461.31/462.79 c #Conflicts: 235000 | #Constraints: 18243
461.31/462.79 c #Conflicts: 236000 | #Constraints: 19243
461.31/462.79 c INPROCESSING
461.31/462.79 c GARBAGE COLLECT
461.31/462.79 c #Conflicts: 237000 | #Constraints: 10638
461.31/462.79 c #Conflicts: 238000 | #Constraints: 11638
461.31/462.79 c #Conflicts: 239000 | #Constraints: 12638
461.31/462.79 c #Conflicts: 240000 | #Constraints: 13638
461.31/462.79 c #Conflicts: 241000 | #Constraints: 14638
461.31/462.79 c #Conflicts: 242000 | #Constraints: 15638
461.31/462.79 c #Conflicts: 243000 | #Constraints: 16638
461.31/462.79 c #Conflicts: 244000 | #Constraints: 17638
461.31/462.79 c #Conflicts: 245000 | #Constraints: 18638
461.31/462.79 c #Conflicts: 246000 | #Constraints: 19638
461.31/462.79 c INPROCESSING
461.31/462.79 c GARBAGE COLLECT
461.31/462.79 c #Conflicts: 247000 | #Constraints: 10841
461.31/462.79 c #Conflicts: 248000 | #Constraints: 11841
461.31/462.79 c #Conflicts: 249000 | #Constraints: 12841
461.31/462.79 c #Conflicts: 250000 | #Constraints: 13841
461.31/462.79 c #Conflicts: 251000 | #Constraints: 14841
461.31/462.79 c #Conflicts: 252000 | #Constraints: 15841
461.31/462.79 c #Conflicts: 253000 | #Constraints: 16841
461.31/462.79 c #Conflicts: 254000 | #Constraints: 17841
461.31/462.79 c #Conflicts: 255000 | #Constraints: 18841
461.31/462.79 c #Conflicts: 256000 | #Constraints: 19841
461.31/462.79 c INPROCESSING
461.31/462.79 c GARBAGE COLLECT
461.31/462.79 c #Conflicts: 257000 | #Constraints: 10840
461.31/462.79 c #Conflicts: 258000 | #Constraints: 11840
461.31/462.79 c #Conflicts: 259000 | #Constraints: 12840
461.31/462.79 c #Conflicts: 260000 | #Constraints: 13840
461.31/462.79 c #Conflicts: 261000 | #Constraints: 14840
461.31/462.79 c #Conflicts: 262000 | #Constraints: 15840
461.31/462.79 c #Conflicts: 263000 | #Constraints: 16840
461.31/462.79 c #Conflicts: 264000 | #Constraints: 17840
461.31/462.79 c #Conflicts: 265000 | #Constraints: 18840
461.31/462.79 c #Conflicts: 266000 | #Constraints: 19840
461.31/462.79 c INPROCESSING
461.31/462.79 c GARBAGE COLLECT
461.31/462.79 c #Conflicts: 267000 | #Constraints: 10640
461.31/462.79 c #Conflicts: 268000 | #Constraints: 11640
461.31/462.79 c #Conflicts: 269000 | #Constraints: 12640
461.31/462.79 c #Conflicts: 270000 | #Constraints: 13640
461.31/462.79 c #Conflicts: 271000 | #Constraints: 14640
461.31/462.79 c #Conflicts: 272000 | #Constraints: 15640
461.31/462.79 c #Conflicts: 273000 | #Constraints: 16640
461.31/462.79 c #Conflicts: 274000 | #Constraints: 17640
461.31/462.79 c #Conflicts: 275000 | #Constraints: 18640
461.31/462.79 c #Conflicts: 276000 | #Constraints: 19640
461.31/462.79 c #Conflicts: 277000 | #Constraints: 20640
461.31/462.79 c INPROCESSING
531.72/533.36 c GARBAGE COLLECT
531.72/533.36 c #Conflicts: 278000 | #Constraints: 11242
531.72/533.36 c #Conflicts: 279000 | #Constraints: 12242
531.72/533.36 c #Conflicts: 280000 | #Constraints: 13242
531.72/533.36 c #Conflicts: 281000 | #Constraints: 14242
531.72/533.36 c #Conflicts: 282000 | #Constraints: 15242
531.72/533.36 c #Conflicts: 283000 | #Constraints: 16242
531.72/533.36 c #Conflicts: 284000 | #Constraints: 17242
531.72/533.36 c #Conflicts: 285000 | #Constraints: 18242
531.72/533.36 c #Conflicts: 286000 | #Constraints: 19242
531.72/533.36 c #Conflicts: 287000 | #Constraints: 20242
531.72/533.36 c #Conflicts: 288000 | #Constraints: 21242
531.72/533.36 c INPROCESSING
531.72/533.36 c GARBAGE COLLECT
531.72/533.36 c #Conflicts: 289000 | #Constraints: 11637
531.72/533.36 c #Conflicts: 290000 | #Constraints: 12637
531.72/533.36 c #Conflicts: 291000 | #Constraints: 13637
531.72/533.36 c #Conflicts: 292000 | #Constraints: 14637
531.72/533.36 c #Conflicts: 293000 | #Constraints: 15637
531.72/533.36 c #Conflicts: 294000 | #Constraints: 16637
531.72/533.36 c #Conflicts: 295000 | #Constraints: 17637
531.72/533.36 c #Conflicts: 296000 | #Constraints: 18637
531.72/533.36 c #Conflicts: 297000 | #Constraints: 19637
531.72/533.36 c #Conflicts: 298000 | #Constraints: 20637
531.72/533.36 c #Conflicts: 299000 | #Constraints: 21637
531.72/533.36 c INPROCESSING
531.72/533.36 c GARBAGE COLLECT
531.72/533.36 c #Conflicts: 300000 | #Constraints: 11837
531.72/533.36 c #Conflicts: 301000 | #Constraints: 12837
531.72/533.36 c #Conflicts: 302000 | #Constraints: 13837
531.72/533.36 c #Conflicts: 303000 | #Constraints: 14837
531.72/533.36 c #Conflicts: 304000 | #Constraints: 15837
531.72/533.36 c #Conflicts: 305000 | #Constraints: 16837
531.72/533.36 c #Conflicts: 306000 | #Constraints: 17837
531.72/533.36 c #Conflicts: 307000 | #Constraints: 18837
531.72/533.36 c #Conflicts: 308000 | #Constraints: 19837
531.72/533.36 c #Conflicts: 309000 | #Constraints: 20837
531.72/533.36 c #Conflicts: 310000 | #Constraints: 21837
531.72/533.36 c INPROCESSING
531.72/533.36 c GARBAGE COLLECT
531.72/533.36 c #Conflicts: 311000 | #Constraints: 11838
531.72/533.36 c #Conflicts: 312000 | #Constraints: 12838
531.72/533.36 c #Conflicts: 313000 | #Constraints: 13838
531.72/533.36 c #Conflicts: 314000 | #Constraints: 14838
531.72/533.36 c #Conflicts: 315000 | #Constraints: 15838
531.72/533.36 c #Conflicts: 316000 | #Constraints: 16838
531.72/533.36 c #Conflicts: 317000 | #Constraints: 17838
531.72/533.36 c #Conflicts: 318000 | #Constraints: 18838
531.72/533.36 c #Conflicts: 319000 | #Constraints: 19838
531.72/533.36 c #Conflicts: 320000 | #Constraints: 20838
531.72/533.36 c #Conflicts: 321000 | #Constraints: 21838
531.72/533.36 c INPROCESSING
531.72/533.36 c GARBAGE COLLECT
531.72/533.36 c #Conflicts: 322000 | #Constraints: 11639
531.72/533.36 c #Conflicts: 323000 | #Constraints: 12639
531.72/533.36 c #Conflicts: 324000 | #Constraints: 13639
531.72/533.36 c #Conflicts: 325000 | #Constraints: 14639
531.72/533.36 c #Conflicts: 326000 | #Constraints: 15639
531.72/533.36 c #Conflicts: 327000 | #Constraints: 16639
531.72/533.36 c #Conflicts: 328000 | #Constraints: 17639
531.72/533.36 c #Conflicts: 329000 | #Constraints: 18639
531.72/533.36 c #Conflicts: 330000 | #Constraints: 19639
531.72/533.36 c #Conflicts: 331000 | #Constraints: 20639
531.72/533.36 c #Conflicts: 332000 | #Constraints: 21639
531.72/533.36 c #Conflicts: 333000 | #Constraints: 22639
531.72/533.36 c INPROCESSING
531.72/533.36 c GARBAGE COLLECT
531.72/533.36 c #Conflicts: 334000 | #Constraints: 12241
531.72/533.36 c #Conflicts: 335000 | #Constraints: 13241
531.72/533.36 c #Conflicts: 336000 | #Constraints: 14241
531.72/533.36 c #Conflicts: 337000 | #Constraints: 15241
531.72/533.36 c #Conflicts: 338000 | #Constraints: 16241
531.72/533.36 c #Conflicts: 339000 | #Constraints: 17241
531.72/533.36 c #Conflicts: 340000 | #Constraints: 18241
531.72/533.36 c #Conflicts: 341000 | #Constraints: 19241
531.72/533.36 c #Conflicts: 342000 | #Constraints: 20241
531.72/533.36 c #Conflicts: 343000 | #Constraints: 21241
531.72/533.36 c #Conflicts: 344000 | #Constraints: 22241
531.72/533.36 c #Conflicts: 345000 | #Constraints: 23241
531.72/533.36 c INPROCESSING
531.72/533.36 c GARBAGE COLLECT
531.72/533.36 c #Conflicts: 346000 | #Constraints: 12637
531.72/533.36 c #Conflicts: 347000 | #Constraints: 13637
531.72/533.36 c #Conflicts: 348000 | #Constraints: 14637
531.72/533.36 c #Conflicts: 349000 | #Constraints: 15637
531.72/533.36 c #Conflicts: 350000 | #Constraints: 16637
531.72/533.36 c #Conflicts: 351000 | #Constraints: 17637
531.72/533.36 c #Conflicts: 352000 | #Constraints: 18637
611.72/613.50 c #Conflicts: 353000 | #Constraints: 19637
611.72/613.50 c #Conflicts: 354000 | #Constraints: 20637
611.72/613.50 c #Conflicts: 355000 | #Constraints: 21637
611.72/613.50 c #Conflicts: 356000 | #Constraints: 22637
611.72/613.50 c #Conflicts: 357000 | #Constraints: 23637
611.72/613.50 c INPROCESSING
611.72/613.50 c GARBAGE COLLECT
611.72/613.50 c #Conflicts: 358000 | #Constraints: 12837
611.72/613.50 c #Conflicts: 359000 | #Constraints: 13837
611.72/613.50 c #Conflicts: 360000 | #Constraints: 14837
611.72/613.50 c #Conflicts: 361000 | #Constraints: 15837
611.72/613.50 c #Conflicts: 362000 | #Constraints: 16837
611.72/613.50 c #Conflicts: 363000 | #Constraints: 17837
611.72/613.50 c #Conflicts: 364000 | #Constraints: 18837
611.72/613.50 c #Conflicts: 365000 | #Constraints: 19837
611.72/613.50 c #Conflicts: 366000 | #Constraints: 20837
611.72/613.50 c #Conflicts: 367000 | #Constraints: 21837
611.72/613.50 c #Conflicts: 368000 | #Constraints: 22837
611.72/613.50 c #Conflicts: 369000 | #Constraints: 23837
611.72/613.50 c INPROCESSING
611.72/613.50 c GARBAGE COLLECT
611.72/613.50 c #Conflicts: 370000 | #Constraints: 12835
611.72/613.50 c #Conflicts: 371000 | #Constraints: 13835
611.72/613.50 c #Conflicts: 372000 | #Constraints: 14835
611.72/613.50 c #Conflicts: 373000 | #Constraints: 15835
611.72/613.50 c #Conflicts: 374000 | #Constraints: 16835
611.72/613.50 c #Conflicts: 375000 | #Constraints: 17835
611.72/613.50 c #Conflicts: 376000 | #Constraints: 18835
611.72/613.50 c #Conflicts: 377000 | #Constraints: 19835
611.72/613.50 c #Conflicts: 378000 | #Constraints: 20835
611.72/613.50 c #Conflicts: 379000 | #Constraints: 21835
611.72/613.50 c #Conflicts: 380000 | #Constraints: 22835
611.72/613.50 c #Conflicts: 381000 | #Constraints: 23835
611.72/613.50 c INPROCESSING
611.72/613.50 c GARBAGE COLLECT
611.72/613.50 c #Conflicts: 382000 | #Constraints: 12635
611.72/613.50 c #Conflicts: 383000 | #Constraints: 13635
611.72/613.50 c #Conflicts: 384000 | #Constraints: 14635
611.72/613.50 c #Conflicts: 385000 | #Constraints: 15635
611.72/613.50 c #Conflicts: 386000 | #Constraints: 16635
611.72/613.50 c #Conflicts: 387000 | #Constraints: 17635
611.72/613.50 c #Conflicts: 388000 | #Constraints: 18635
611.72/613.50 c #Conflicts: 389000 | #Constraints: 19635
611.72/613.50 c #Conflicts: 390000 | #Constraints: 20635
611.72/613.50 c #Conflicts: 391000 | #Constraints: 21635
611.72/613.50 c #Conflicts: 392000 | #Constraints: 22635
611.72/613.50 c #Conflicts: 393000 | #Constraints: 23635
611.72/613.50 c #Conflicts: 394000 | #Constraints: 24635
611.72/613.50 c INPROCESSING
611.72/613.50 c GARBAGE COLLECT
611.72/613.50 c #Conflicts: 395000 | #Constraints: 13236
611.72/613.50 c #Conflicts: 396000 | #Constraints: 14236
611.72/613.50 c #Conflicts: 397000 | #Constraints: 15236
611.72/613.50 c #Conflicts: 398000 | #Constraints: 16236
611.72/613.50 c #Conflicts: 399000 | #Constraints: 17236
611.72/613.50 c #Conflicts: 400000 | #Constraints: 18236
611.72/613.50 c #Conflicts: 401000 | #Constraints: 19236
611.72/613.50 c #Conflicts: 402000 | #Constraints: 20236
611.72/613.50 c #Conflicts: 403000 | #Constraints: 21236
611.72/613.50 c #Conflicts: 404000 | #Constraints: 22236
611.72/613.50 c #Conflicts: 405000 | #Constraints: 23236
611.72/613.50 c #Conflicts: 406000 | #Constraints: 24236
611.72/613.50 c #Conflicts: 407000 | #Constraints: 25236
611.72/613.50 c INPROCESSING
611.72/613.50 c GARBAGE COLLECT
611.72/613.50 c #Conflicts: 408000 | #Constraints: 13640
611.72/613.50 c #Conflicts: 409000 | #Constraints: 14640
611.72/613.50 c #Conflicts: 410000 | #Constraints: 15640
611.72/613.50 c #Conflicts: 411000 | #Constraints: 16640
611.72/613.50 c #Conflicts: 412000 | #Constraints: 17640
611.72/613.50 c #Conflicts: 413000 | #Constraints: 18640
611.72/613.50 c #Conflicts: 414000 | #Constraints: 19640
611.72/613.50 c #Conflicts: 415000 | #Constraints: 20640
611.72/613.50 c #Conflicts: 416000 | #Constraints: 21640
611.72/613.50 c #Conflicts: 417000 | #Constraints: 22640
611.72/613.50 c #Conflicts: 418000 | #Constraints: 23640
611.72/613.50 c #Conflicts: 419000 | #Constraints: 24640
611.72/613.50 c #Conflicts: 420000 | #Constraints: 25640
611.72/613.50 c INPROCESSING
611.72/613.50 c GARBAGE COLLECT
611.72/613.50 c #Conflicts: 421000 | #Constraints: 13843
611.72/613.50 c #Conflicts: 422000 | #Constraints: 14843
611.72/613.50 c #Conflicts: 423000 | #Constraints: 15843
611.72/613.50 c #Conflicts: 424000 | #Constraints: 16843
611.72/613.50 c #Conflicts: 425000 | #Constraints: 17843
611.72/613.50 c #Conflicts: 426000 | #Constraints: 18843
611.72/613.50 c #Conflicts: 427000 | #Constraints: 19843
713.20/715.30 c #Conflicts: 428000 | #Constraints: 20843
713.20/715.30 c #Conflicts: 429000 | #Constraints: 21843
713.20/715.30 c #Conflicts: 430000 | #Constraints: 22843
713.20/715.30 c #Conflicts: 431000 | #Constraints: 23843
713.20/715.30 c #Conflicts: 432000 | #Constraints: 24843
713.20/715.30 c #Conflicts: 433000 | #Constraints: 25843
713.20/715.30 c INPROCESSING
713.20/715.30 c GARBAGE COLLECT
713.20/715.30 c #Conflicts: 434000 | #Constraints: 13844
713.20/715.30 c #Conflicts: 435000 | #Constraints: 14844
713.20/715.30 c #Conflicts: 436000 | #Constraints: 15844
713.20/715.30 c #Conflicts: 437000 | #Constraints: 16844
713.20/715.30 c #Conflicts: 438000 | #Constraints: 17844
713.20/715.30 c #Conflicts: 439000 | #Constraints: 18844
713.20/715.30 c #Conflicts: 440000 | #Constraints: 19844
713.20/715.30 c #Conflicts: 441000 | #Constraints: 20844
713.20/715.30 c #Conflicts: 442000 | #Constraints: 21844
713.20/715.30 c #Conflicts: 443000 | #Constraints: 22844
713.20/715.30 c #Conflicts: 444000 | #Constraints: 23844
713.20/715.30 c #Conflicts: 445000 | #Constraints: 24844
713.20/715.30 c #Conflicts: 446000 | #Constraints: 25844
713.20/715.30 c INPROCESSING
713.20/715.30 c GARBAGE COLLECT
713.20/715.30 c #Conflicts: 447000 | #Constraints: 13643
713.20/715.30 c #Conflicts: 448000 | #Constraints: 14643
713.20/715.30 c #Conflicts: 449000 | #Constraints: 15643
713.20/715.30 c #Conflicts: 450000 | #Constraints: 16643
713.20/715.30 c #Conflicts: 451000 | #Constraints: 17643
713.20/715.30 c #Conflicts: 452000 | #Constraints: 18643
713.20/715.30 c #Conflicts: 453000 | #Constraints: 19643
713.20/715.30 c #Conflicts: 454000 | #Constraints: 20643
713.20/715.30 c #Conflicts: 455000 | #Constraints: 21643
713.20/715.30 c #Conflicts: 456000 | #Constraints: 22643
713.20/715.30 c #Conflicts: 457000 | #Constraints: 23643
713.20/715.30 c #Conflicts: 458000 | #Constraints: 24643
713.20/715.30 c #Conflicts: 459000 | #Constraints: 25643
713.20/715.30 c #Conflicts: 460000 | #Constraints: 26643
713.20/715.30 c INPROCESSING
713.20/715.30 c GARBAGE COLLECT
713.20/715.30 c #Conflicts: 461000 | #Constraints: 14242
713.20/715.30 c #Conflicts: 462000 | #Constraints: 15242
713.20/715.30 c #Conflicts: 463000 | #Constraints: 16242
713.20/715.30 c #Conflicts: 464000 | #Constraints: 17242
713.20/715.30 c #Conflicts: 465000 | #Constraints: 18242
713.20/715.30 c #Conflicts: 466000 | #Constraints: 19242
713.20/715.30 c #Conflicts: 467000 | #Constraints: 20242
713.20/715.30 c #Conflicts: 468000 | #Constraints: 21242
713.20/715.30 c #Conflicts: 469000 | #Constraints: 22242
713.20/715.30 c #Conflicts: 470000 | #Constraints: 23242
713.20/715.30 c #Conflicts: 471000 | #Constraints: 24242
713.20/715.30 c #Conflicts: 472000 | #Constraints: 25242
713.20/715.30 c #Conflicts: 473000 | #Constraints: 26242
713.20/715.30 c #Conflicts: 474000 | #Constraints: 27242
713.20/715.30 c INPROCESSING
713.20/715.30 c GARBAGE COLLECT
713.20/715.30 c #Conflicts: 475000 | #Constraints: 14644
713.20/715.30 c #Conflicts: 476000 | #Constraints: 15644
713.20/715.30 c #Conflicts: 477000 | #Constraints: 16644
713.20/715.30 c #Conflicts: 478000 | #Constraints: 17644
713.20/715.30 c #Conflicts: 479000 | #Constraints: 18644
713.20/715.30 c #Conflicts: 480000 | #Constraints: 19644
713.20/715.30 c #Conflicts: 481000 | #Constraints: 20644
713.20/715.30 c #Conflicts: 482000 | #Constraints: 21644
713.20/715.30 c #Conflicts: 483000 | #Constraints: 22644
713.20/715.30 c #Conflicts: 484000 | #Constraints: 23644
713.20/715.30 c #Conflicts: 485000 | #Constraints: 24644
713.20/715.30 c #Conflicts: 486000 | #Constraints: 25644
713.20/715.30 c #Conflicts: 487000 | #Constraints: 26644
713.20/715.30 c #Conflicts: 488000 | #Constraints: 27644
713.20/715.30 c INPROCESSING
713.20/715.30 c GARBAGE COLLECT
713.20/715.30 c #Conflicts: 489000 | #Constraints: 14845
713.20/715.30 c #Conflicts: 490000 | #Constraints: 15845
713.20/715.30 c #Conflicts: 491000 | #Constraints: 16845
713.20/715.30 c #Conflicts: 492000 | #Constraints: 17845
713.20/715.30 c #Conflicts: 493000 | #Constraints: 18845
713.20/715.30 c #Conflicts: 494000 | #Constraints: 19845
713.20/715.30 c #Conflicts: 495000 | #Constraints: 20845
713.20/715.30 c #Conflicts: 496000 | #Constraints: 21845
713.20/715.30 c #Conflicts: 497000 | #Constraints: 22845
713.20/715.30 c #Conflicts: 498000 | #Constraints: 23845
713.20/715.30 c #Conflicts: 499000 | #Constraints: 24845
713.20/715.30 c #Conflicts: 500000 | #Constraints: 25845
713.20/715.30 c #Conflicts: 501000 | #Constraints: 26845
713.20/715.30 c #Conflicts: 502000 | #Constraints: 27845
713.20/715.30 c INPROCESSING
808.65/811.10 c GARBAGE COLLECT
808.65/811.10 c #Conflicts: 503000 | #Constraints: 14849
808.65/811.10 c #Conflicts: 504000 | #Constraints: 15849
808.65/811.10 c #Conflicts: 505000 | #Constraints: 16849
808.65/811.10 c #Conflicts: 506000 | #Constraints: 17849
808.65/811.10 c #Conflicts: 507000 | #Constraints: 18849
808.65/811.10 c #Conflicts: 508000 | #Constraints: 19849
808.65/811.10 c #Conflicts: 509000 | #Constraints: 20849
808.65/811.10 c #Conflicts: 510000 | #Constraints: 21849
808.65/811.10 c #Conflicts: 511000 | #Constraints: 22849
808.65/811.10 c #Conflicts: 512000 | #Constraints: 23849
808.65/811.10 c #Conflicts: 513000 | #Constraints: 24849
808.65/811.10 c #Conflicts: 514000 | #Constraints: 25849
808.65/811.10 c #Conflicts: 515000 | #Constraints: 26849
808.65/811.10 c #Conflicts: 516000 | #Constraints: 27849
808.65/811.10 c INPROCESSING
808.65/811.10 c GARBAGE COLLECT
808.65/811.10 c #Conflicts: 517000 | #Constraints: 14644
808.65/811.10 c #Conflicts: 518000 | #Constraints: 15644
808.65/811.10 c #Conflicts: 519000 | #Constraints: 16644
808.65/811.10 c #Conflicts: 520000 | #Constraints: 17644
808.65/811.10 c #Conflicts: 521000 | #Constraints: 18644
808.65/811.10 c #Conflicts: 522000 | #Constraints: 19644
808.65/811.10 c #Conflicts: 523000 | #Constraints: 20644
808.65/811.10 c #Conflicts: 524000 | #Constraints: 21644
808.65/811.10 c #Conflicts: 525000 | #Constraints: 22644
808.65/811.10 c #Conflicts: 526000 | #Constraints: 23644
808.65/811.10 c #Conflicts: 527000 | #Constraints: 24644
808.65/811.10 c #Conflicts: 528000 | #Constraints: 25644
808.65/811.10 c #Conflicts: 529000 | #Constraints: 26644
808.65/811.10 c #Conflicts: 530000 | #Constraints: 27644
808.65/811.10 c #Conflicts: 531000 | #Constraints: 28644
808.65/811.10 c INPROCESSING
808.65/811.10 c GARBAGE COLLECT
808.65/811.10 c #Conflicts: 532000 | #Constraints: 15242
808.65/811.10 c #Conflicts: 533000 | #Constraints: 16242
808.65/811.10 c #Conflicts: 534000 | #Constraints: 17242
808.65/811.10 c #Conflicts: 535000 | #Constraints: 18242
808.65/811.10 c #Conflicts: 536000 | #Constraints: 19242
808.65/811.10 c #Conflicts: 537000 | #Constraints: 20242
808.65/811.10 c #Conflicts: 538000 | #Constraints: 21242
808.65/811.10 c #Conflicts: 539000 | #Constraints: 22242
808.65/811.10 c #Conflicts: 540000 | #Constraints: 23242
808.65/811.10 c #Conflicts: 541000 | #Constraints: 24242
808.65/811.10 c #Conflicts: 542000 | #Constraints: 25242
808.65/811.10 c #Conflicts: 543000 | #Constraints: 26242
808.65/811.10 c #Conflicts: 544000 | #Constraints: 27242
808.65/811.10 c #Conflicts: 545000 | #Constraints: 28242
808.65/811.10 c #Conflicts: 546000 | #Constraints: 29242
808.65/811.10 c INPROCESSING
808.65/811.10 c GARBAGE COLLECT
808.65/811.10 c #Conflicts: 547000 | #Constraints: 15639
808.65/811.10 c #Conflicts: 548000 | #Constraints: 16639
808.65/811.10 c #Conflicts: 549000 | #Constraints: 17639
808.65/811.10 c #Conflicts: 550000 | #Constraints: 18639
808.65/811.10 c #Conflicts: 551000 | #Constraints: 19639
808.65/811.10 c #Conflicts: 552000 | #Constraints: 20639
808.65/811.10 c #Conflicts: 553000 | #Constraints: 21639
808.65/811.10 c #Conflicts: 554000 | #Constraints: 22639
808.65/811.10 c #Conflicts: 555000 | #Constraints: 23639
808.65/811.10 c #Conflicts: 556000 | #Constraints: 24639
808.65/811.10 c #Conflicts: 557000 | #Constraints: 25639
808.65/811.10 c #Conflicts: 558000 | #Constraints: 26639
808.65/811.10 c #Conflicts: 559000 | #Constraints: 27639
808.65/811.10 c #Conflicts: 560000 | #Constraints: 28639
808.65/811.10 c #Conflicts: 561000 | #Constraints: 29639
808.65/811.10 c INPROCESSING
808.65/811.10 c GARBAGE COLLECT
808.65/811.10 c #Conflicts: 562000 | #Constraints: 15839
808.65/811.10 c #Conflicts: 563000 | #Constraints: 16839
808.65/811.10 c #Conflicts: 564000 | #Constraints: 17839
808.65/811.10 c #Conflicts: 565000 | #Constraints: 18839
808.65/811.10 c #Conflicts: 566000 | #Constraints: 19839
808.65/811.10 c #Conflicts: 567000 | #Constraints: 20839
808.65/811.10 c #Conflicts: 568000 | #Constraints: 21839
808.65/811.10 c #Conflicts: 569000 | #Constraints: 22839
808.65/811.10 c #Conflicts: 570000 | #Constraints: 23839
808.65/811.10 c #Conflicts: 571000 | #Constraints: 24839
808.65/811.10 c #Conflicts: 572000 | #Constraints: 25839
808.65/811.10 c #Conflicts: 573000 | #Constraints: 26839
808.65/811.10 c #Conflicts: 574000 | #Constraints: 27839
808.65/811.10 c #Conflicts: 575000 | #Constraints: 28839
808.65/811.10 c #Conflicts: 576000 | #Constraints: 29839
808.65/811.10 c bounds 23 >= 0 @ 805.835
808.65/811.10 c stratification level: 4
920.05/922.71 c INPROCESSING
920.05/922.71 c GARBAGE COLLECT
920.05/922.71 c #Conflicts: 577000 | #Constraints: 15836
920.05/922.71 c #Conflicts: 578000 | #Constraints: 16836
920.05/922.71 c #Conflicts: 579000 | #Constraints: 17836
920.05/922.71 c #Conflicts: 580000 | #Constraints: 18836
920.05/922.71 c #Conflicts: 581000 | #Constraints: 19836
920.05/922.71 c #Conflicts: 582000 | #Constraints: 20836
920.05/922.71 c #Conflicts: 583000 | #Constraints: 21836
920.05/922.71 c #Conflicts: 584000 | #Constraints: 22836
920.05/922.71 c #Conflicts: 585000 | #Constraints: 23836
920.05/922.71 c #Conflicts: 586000 | #Constraints: 24836
920.05/922.71 c #Conflicts: 587000 | #Constraints: 25836
920.05/922.71 c #Conflicts: 588000 | #Constraints: 26836
920.05/922.71 c #Conflicts: 589000 | #Constraints: 27836
920.05/922.71 c #Conflicts: 590000 | #Constraints: 28836
920.05/922.71 c #Conflicts: 591000 | #Constraints: 29836
920.05/922.71 c INPROCESSING
920.05/922.71 c GARBAGE COLLECT
920.05/922.71 c #Conflicts: 592000 | #Constraints: 15637
920.05/922.71 c #Conflicts: 593000 | #Constraints: 16637
920.05/922.71 c #Conflicts: 594000 | #Constraints: 17637
920.05/922.71 c #Conflicts: 595000 | #Constraints: 18637
920.05/922.71 c #Conflicts: 596000 | #Constraints: 19637
920.05/922.71 c #Conflicts: 597000 | #Constraints: 20637
920.05/922.71 c #Conflicts: 598000 | #Constraints: 21637
920.05/922.71 c #Conflicts: 599000 | #Constraints: 22637
920.05/922.71 c #Conflicts: 600000 | #Constraints: 23637
920.05/922.71 c #Conflicts: 601000 | #Constraints: 24637
920.05/922.71 c #Conflicts: 602000 | #Constraints: 25637
920.05/922.71 c #Conflicts: 603000 | #Constraints: 26637
920.05/922.71 c #Conflicts: 604000 | #Constraints: 27637
920.05/922.71 c #Conflicts: 605000 | #Constraints: 28637
920.05/922.71 c #Conflicts: 606000 | #Constraints: 29637
920.05/922.71 c #Conflicts: 607000 | #Constraints: 30637
920.05/922.71 c INPROCESSING
920.05/922.71 c GARBAGE COLLECT
920.05/922.71 c #Conflicts: 608000 | #Constraints: 16236
920.05/922.71 c #Conflicts: 609000 | #Constraints: 17236
920.05/922.71 c #Conflicts: 610000 | #Constraints: 18236
920.05/922.71 c #Conflicts: 611000 | #Constraints: 19236
920.05/922.71 c #Conflicts: 612000 | #Constraints: 20236
920.05/922.71 c #Conflicts: 613000 | #Constraints: 21236
920.05/922.71 c #Conflicts: 614000 | #Constraints: 22236
920.05/922.71 c #Conflicts: 615000 | #Constraints: 23236
920.05/922.71 c #Conflicts: 616000 | #Constraints: 24236
920.05/922.71 c #Conflicts: 617000 | #Constraints: 25236
920.05/922.71 c #Conflicts: 618000 | #Constraints: 26236
920.05/922.71 c #Conflicts: 619000 | #Constraints: 27236
920.05/922.71 c #Conflicts: 620000 | #Constraints: 28236
920.05/922.71 c #Conflicts: 621000 | #Constraints: 29236
920.05/922.71 c #Conflicts: 622000 | #Constraints: 30236
920.05/922.71 c #Conflicts: 623000 | #Constraints: 31236
920.05/922.71 c INPROCESSING
920.05/922.71 c GARBAGE COLLECT
920.05/922.71 c #Conflicts: 624000 | #Constraints: 16639
920.05/922.71 c #Conflicts: 625000 | #Constraints: 17639
920.05/922.71 c #Conflicts: 626000 | #Constraints: 18639
920.05/922.71 c #Conflicts: 627000 | #Constraints: 19639
920.05/922.71 c #Conflicts: 628000 | #Constraints: 20639
920.05/922.71 c #Conflicts: 629000 | #Constraints: 21639
920.05/922.71 c #Conflicts: 630000 | #Constraints: 22639
920.05/922.71 c #Conflicts: 631000 | #Constraints: 23639
920.05/922.71 c #Conflicts: 632000 | #Constraints: 24639
920.05/922.71 c #Conflicts: 633000 | #Constraints: 25639
920.05/922.71 c #Conflicts: 634000 | #Constraints: 26639
920.05/922.71 c #Conflicts: 635000 | #Constraints: 27639
920.05/922.71 c #Conflicts: 636000 | #Constraints: 28639
920.05/922.71 c #Conflicts: 637000 | #Constraints: 29639
920.05/922.71 c #Conflicts: 638000 | #Constraints: 30639
920.05/922.71 c #Conflicts: 639000 | #Constraints: 31639
920.05/922.71 c INPROCESSING
920.05/922.71 c GARBAGE COLLECT
920.05/922.71 c #Conflicts: 640000 | #Constraints: 16838
920.05/922.71 c #Conflicts: 641000 | #Constraints: 17838
920.05/922.71 c #Conflicts: 642000 | #Constraints: 18838
920.05/922.71 c #Conflicts: 643000 | #Constraints: 19838
920.05/922.71 c #Conflicts: 644000 | #Constraints: 20838
920.05/922.71 c #Conflicts: 645000 | #Constraints: 21838
920.05/922.71 c #Conflicts: 646000 | #Constraints: 22838
920.05/922.71 c #Conflicts: 647000 | #Constraints: 23838
920.05/922.71 c #Conflicts: 648000 | #Constraints: 24838
920.05/922.71 c #Conflicts: 649000 | #Constraints: 25838
920.05/922.71 c #Conflicts: 650000 | #Constraints: 26838
920.05/922.71 c #Conflicts: 651000 | #Constraints: 27838
920.05/922.71 c #Conflicts: 652000 | #Constraints: 28838
1041.91/1044.99 c #Conflicts: 653000 | #Constraints: 29838
1041.91/1044.99 c #Conflicts: 654000 | #Constraints: 30838
1041.91/1044.99 c #Conflicts: 655000 | #Constraints: 31838
1041.91/1044.99 c INPROCESSING
1041.91/1044.99 c GARBAGE COLLECT
1041.91/1044.99 c #Conflicts: 656000 | #Constraints: 16841
1041.91/1044.99 c #Conflicts: 657000 | #Constraints: 17841
1041.91/1044.99 c #Conflicts: 658000 | #Constraints: 18841
1041.91/1044.99 c #Conflicts: 659000 | #Constraints: 19841
1041.91/1044.99 c #Conflicts: 660000 | #Constraints: 20841
1041.91/1044.99 c #Conflicts: 661000 | #Constraints: 21841
1041.91/1044.99 c #Conflicts: 662000 | #Constraints: 22841
1041.91/1044.99 c #Conflicts: 663000 | #Constraints: 23841
1041.91/1044.99 c #Conflicts: 664000 | #Constraints: 24841
1041.91/1044.99 c #Conflicts: 665000 | #Constraints: 25841
1041.91/1044.99 c #Conflicts: 666000 | #Constraints: 26841
1041.91/1044.99 c #Conflicts: 667000 | #Constraints: 27841
1041.91/1044.99 c #Conflicts: 668000 | #Constraints: 28841
1041.91/1044.99 c #Conflicts: 669000 | #Constraints: 29841
1041.91/1044.99 c #Conflicts: 670000 | #Constraints: 30841
1041.91/1044.99 c #Conflicts: 671000 | #Constraints: 31841
1041.91/1044.99 c INPROCESSING
1041.91/1044.99 c GARBAGE COLLECT
1041.91/1044.99 c #Conflicts: 672000 | #Constraints: 16638
1041.91/1044.99 c #Conflicts: 673000 | #Constraints: 17638
1041.91/1044.99 c #Conflicts: 674000 | #Constraints: 18638
1041.91/1044.99 c #Conflicts: 675000 | #Constraints: 19638
1041.91/1044.99 c #Conflicts: 676000 | #Constraints: 20638
1041.91/1044.99 c #Conflicts: 677000 | #Constraints: 21638
1041.91/1044.99 c #Conflicts: 678000 | #Constraints: 22638
1041.91/1044.99 c #Conflicts: 679000 | #Constraints: 23638
1041.91/1044.99 c #Conflicts: 680000 | #Constraints: 24638
1041.91/1044.99 c #Conflicts: 681000 | #Constraints: 25638
1041.91/1044.99 c #Conflicts: 682000 | #Constraints: 26638
1041.91/1044.99 c #Conflicts: 683000 | #Constraints: 27638
1041.91/1044.99 c #Conflicts: 684000 | #Constraints: 28638
1041.91/1044.99 c #Conflicts: 685000 | #Constraints: 29638
1041.91/1044.99 c #Conflicts: 686000 | #Constraints: 30638
1041.91/1044.99 c #Conflicts: 687000 | #Constraints: 31638
1041.91/1044.99 c #Conflicts: 688000 | #Constraints: 32638
1041.91/1044.99 c INPROCESSING
1041.91/1044.99 c GARBAGE COLLECT
1041.91/1044.99 c #Conflicts: 689000 | #Constraints: 17238
1041.91/1044.99 c #Conflicts: 690000 | #Constraints: 18238
1041.91/1044.99 c #Conflicts: 691000 | #Constraints: 19238
1041.91/1044.99 c #Conflicts: 692000 | #Constraints: 20238
1041.91/1044.99 c #Conflicts: 693000 | #Constraints: 21238
1041.91/1044.99 c #Conflicts: 694000 | #Constraints: 22238
1041.91/1044.99 c #Conflicts: 695000 | #Constraints: 23238
1041.91/1044.99 c #Conflicts: 696000 | #Constraints: 24238
1041.91/1044.99 c #Conflicts: 697000 | #Constraints: 25238
1041.91/1044.99 c #Conflicts: 698000 | #Constraints: 26238
1041.91/1044.99 c #Conflicts: 699000 | #Constraints: 27238
1041.91/1044.99 c #Conflicts: 700000 | #Constraints: 28238
1041.91/1044.99 c #Conflicts: 701000 | #Constraints: 29238
1041.91/1044.99 c #Conflicts: 702000 | #Constraints: 30238
1041.91/1044.99 c #Conflicts: 703000 | #Constraints: 31238
1041.91/1044.99 c #Conflicts: 704000 | #Constraints: 32238
1041.91/1044.99 c #Conflicts: 705000 | #Constraints: 33238
1041.91/1044.99 c INPROCESSING
1041.91/1044.99 c GARBAGE COLLECT
1041.91/1044.99 c #Conflicts: 706000 | #Constraints: 17634
1041.91/1044.99 c #Conflicts: 707000 | #Constraints: 18634
1041.91/1044.99 c #Conflicts: 708000 | #Constraints: 19634
1041.91/1044.99 c #Conflicts: 709000 | #Constraints: 20634
1041.91/1044.99 c #Conflicts: 710000 | #Constraints: 21634
1041.91/1044.99 c #Conflicts: 711000 | #Constraints: 22634
1041.91/1044.99 c #Conflicts: 712000 | #Constraints: 23634
1041.91/1044.99 c #Conflicts: 713000 | #Constraints: 24634
1041.91/1044.99 c #Conflicts: 714000 | #Constraints: 25634
1041.91/1044.99 c #Conflicts: 715000 | #Constraints: 26634
1041.91/1044.99 c #Conflicts: 716000 | #Constraints: 27634
1041.91/1044.99 c #Conflicts: 717000 | #Constraints: 28634
1041.91/1044.99 c #Conflicts: 718000 | #Constraints: 29634
1041.91/1044.99 c #Conflicts: 719000 | #Constraints: 30634
1041.91/1044.99 c #Conflicts: 720000 | #Constraints: 31634
1041.91/1044.99 c #Conflicts: 721000 | #Constraints: 32634
1041.91/1044.99 c #Conflicts: 722000 | #Constraints: 33634
1041.91/1044.99 c INPROCESSING
1041.91/1044.99 c GARBAGE COLLECT
1041.91/1044.99 c #Conflicts: 723000 | #Constraints: 17838
1041.91/1044.99 c #Conflicts: 724000 | #Constraints: 18838
1041.91/1044.99 c #Conflicts: 725000 | #Constraints: 19838
1041.91/1044.99 c #Conflicts: 726000 | #Constraints: 20838
1041.91/1044.99 c #Conflicts: 727000 | #Constraints: 21838
1041.91/1044.99 c #Conflicts: 728000 | #Constraints: 22838
1173.96/1177.39 c #Conflicts: 729000 | #Constraints: 23838
1173.96/1177.39 c #Conflicts: 730000 | #Constraints: 24838
1173.96/1177.39 c #Conflicts: 731000 | #Constraints: 25838
1173.96/1177.39 c #Conflicts: 732000 | #Constraints: 26838
1173.96/1177.39 c #Conflicts: 733000 | #Constraints: 27838
1173.96/1177.39 c #Conflicts: 734000 | #Constraints: 28838
1173.96/1177.39 c #Conflicts: 735000 | #Constraints: 29838
1173.96/1177.39 c #Conflicts: 736000 | #Constraints: 30838
1173.96/1177.39 c #Conflicts: 737000 | #Constraints: 31838
1173.96/1177.39 c #Conflicts: 738000 | #Constraints: 32838
1173.96/1177.39 c #Conflicts: 739000 | #Constraints: 33838
1173.96/1177.39 c INPROCESSING
1173.96/1177.39 c GARBAGE COLLECT
1173.96/1177.39 c #Conflicts: 740000 | #Constraints: 17842
1173.96/1177.39 c #Conflicts: 741000 | #Constraints: 18842
1173.96/1177.39 c #Conflicts: 742000 | #Constraints: 19842
1173.96/1177.39 c #Conflicts: 743000 | #Constraints: 20842
1173.96/1177.39 c #Conflicts: 744000 | #Constraints: 21842
1173.96/1177.39 c #Conflicts: 745000 | #Constraints: 22842
1173.96/1177.39 c #Conflicts: 746000 | #Constraints: 23842
1173.96/1177.39 c #Conflicts: 747000 | #Constraints: 24842
1173.96/1177.39 c #Conflicts: 748000 | #Constraints: 25842
1173.96/1177.39 c #Conflicts: 749000 | #Constraints: 26842
1173.96/1177.39 c #Conflicts: 750000 | #Constraints: 27842
1173.96/1177.39 c #Conflicts: 751000 | #Constraints: 28842
1173.96/1177.39 c #Conflicts: 752000 | #Constraints: 29842
1173.96/1177.39 c #Conflicts: 753000 | #Constraints: 30842
1173.96/1177.39 c #Conflicts: 754000 | #Constraints: 31842
1173.96/1177.39 c #Conflicts: 755000 | #Constraints: 32842
1173.96/1177.39 c #Conflicts: 756000 | #Constraints: 33842
1173.96/1177.39 c INPROCESSING
1173.96/1177.39 c GARBAGE COLLECT
1173.96/1177.39 c #Conflicts: 757000 | #Constraints: 17639
1173.96/1177.39 c #Conflicts: 758000 | #Constraints: 18639
1173.96/1177.39 c #Conflicts: 759000 | #Constraints: 19639
1173.96/1177.39 c #Conflicts: 760000 | #Constraints: 20639
1173.96/1177.39 c #Conflicts: 761000 | #Constraints: 21639
1173.96/1177.39 c #Conflicts: 762000 | #Constraints: 22639
1173.96/1177.39 c #Conflicts: 763000 | #Constraints: 23639
1173.96/1177.39 c #Conflicts: 764000 | #Constraints: 24639
1173.96/1177.39 c #Conflicts: 765000 | #Constraints: 25639
1173.96/1177.39 c #Conflicts: 766000 | #Constraints: 26639
1173.96/1177.39 c #Conflicts: 767000 | #Constraints: 27639
1173.96/1177.39 c #Conflicts: 768000 | #Constraints: 28639
1173.96/1177.39 c #Conflicts: 769000 | #Constraints: 29639
1173.96/1177.39 c #Conflicts: 770000 | #Constraints: 30639
1173.96/1177.39 c #Conflicts: 771000 | #Constraints: 31639
1173.96/1177.39 c #Conflicts: 772000 | #Constraints: 32639
1173.96/1177.39 c #Conflicts: 773000 | #Constraints: 33639
1173.96/1177.39 c #Conflicts: 774000 | #Constraints: 34639
1173.96/1177.39 c INPROCESSING
1173.96/1177.39 c GARBAGE COLLECT
1173.96/1177.39 c #Conflicts: 775000 | #Constraints: 18235
1173.96/1177.39 c #Conflicts: 776000 | #Constraints: 19235
1173.96/1177.39 c #Conflicts: 777000 | #Constraints: 20235
1173.96/1177.39 c #Conflicts: 778000 | #Constraints: 21235
1173.96/1177.39 c #Conflicts: 779000 | #Constraints: 22235
1173.96/1177.39 c #Conflicts: 780000 | #Constraints: 23235
1173.96/1177.39 c #Conflicts: 781000 | #Constraints: 24235
1173.96/1177.39 c #Conflicts: 782000 | #Constraints: 25235
1173.96/1177.39 c #Conflicts: 783000 | #Constraints: 26235
1173.96/1177.39 c #Conflicts: 784000 | #Constraints: 27235
1173.96/1177.39 c #Conflicts: 785000 | #Constraints: 28235
1173.96/1177.39 c #Conflicts: 786000 | #Constraints: 29235
1173.96/1177.39 c #Conflicts: 787000 | #Constraints: 30235
1173.96/1177.39 c #Conflicts: 788000 | #Constraints: 31235
1173.96/1177.39 c #Conflicts: 789000 | #Constraints: 32235
1173.96/1177.39 c #Conflicts: 790000 | #Constraints: 33235
1173.96/1177.39 c #Conflicts: 791000 | #Constraints: 34235
1173.96/1177.39 c #Conflicts: 792000 | #Constraints: 35235
1173.96/1177.39 c INPROCESSING
1173.96/1177.39 c GARBAGE COLLECT
1173.96/1177.39 c #Conflicts: 793000 | #Constraints: 18636
1173.96/1177.39 c #Conflicts: 794000 | #Constraints: 19636
1173.96/1177.39 c #Conflicts: 795000 | #Constraints: 20636
1173.96/1177.39 c #Conflicts: 796000 | #Constraints: 21636
1173.96/1177.39 c #Conflicts: 797000 | #Constraints: 22636
1173.96/1177.39 c #Conflicts: 798000 | #Constraints: 23636
1173.96/1177.39 c #Conflicts: 799000 | #Constraints: 24636
1173.96/1177.39 c #Conflicts: 800000 | #Constraints: 25636
1173.96/1177.39 c #Conflicts: 801000 | #Constraints: 26636
1173.96/1177.39 c #Conflicts: 802000 | #Constraints: 27636
1173.96/1177.39 c #Conflicts: 803000 | #Constraints: 28636
1173.96/1177.39 c #Conflicts: 804000 | #Constraints: 29636
1306.00/1309.71 c #Conflicts: 805000 | #Constraints: 30636
1306.00/1309.71 c #Conflicts: 806000 | #Constraints: 31636
1306.00/1309.71 c #Conflicts: 807000 | #Constraints: 32636
1306.00/1309.71 c #Conflicts: 808000 | #Constraints: 33636
1306.00/1309.71 c #Conflicts: 809000 | #Constraints: 34636
1306.00/1309.71 c #Conflicts: 810000 | #Constraints: 35636
1306.00/1309.71 c INPROCESSING
1306.00/1309.71 c GARBAGE COLLECT
1306.00/1309.71 c #Conflicts: 811000 | #Constraints: 18837
1306.00/1309.71 c #Conflicts: 812000 | #Constraints: 19837
1306.00/1309.71 c #Conflicts: 813000 | #Constraints: 20837
1306.00/1309.71 c #Conflicts: 814000 | #Constraints: 21837
1306.00/1309.71 c #Conflicts: 815000 | #Constraints: 22837
1306.00/1309.71 c #Conflicts: 816000 | #Constraints: 23837
1306.00/1309.71 c #Conflicts: 817000 | #Constraints: 24837
1306.00/1309.71 c #Conflicts: 818000 | #Constraints: 25837
1306.00/1309.71 c #Conflicts: 819000 | #Constraints: 26837
1306.00/1309.71 c #Conflicts: 820000 | #Constraints: 27837
1306.00/1309.71 c #Conflicts: 821000 | #Constraints: 28837
1306.00/1309.71 c #Conflicts: 822000 | #Constraints: 29837
1306.00/1309.71 c #Conflicts: 823000 | #Constraints: 30837
1306.00/1309.71 c #Conflicts: 824000 | #Constraints: 31837
1306.00/1309.71 c #Conflicts: 825000 | #Constraints: 32837
1306.00/1309.71 c #Conflicts: 826000 | #Constraints: 33837
1306.00/1309.71 c #Conflicts: 827000 | #Constraints: 34837
1306.00/1309.71 c #Conflicts: 828000 | #Constraints: 35837
1306.00/1309.71 c INPROCESSING
1306.00/1309.71 c GARBAGE COLLECT
1306.00/1309.71 c #Conflicts: 829000 | #Constraints: 18837
1306.00/1309.71 c #Conflicts: 830000 | #Constraints: 19837
1306.00/1309.71 c #Conflicts: 831000 | #Constraints: 20837
1306.00/1309.71 c #Conflicts: 832000 | #Constraints: 21837
1306.00/1309.71 c #Conflicts: 833000 | #Constraints: 22837
1306.00/1309.71 c #Conflicts: 834000 | #Constraints: 23837
1306.00/1309.71 c #Conflicts: 835000 | #Constraints: 24837
1306.00/1309.71 c #Conflicts: 836000 | #Constraints: 25837
1306.00/1309.71 c #Conflicts: 837000 | #Constraints: 26837
1306.00/1309.71 c #Conflicts: 838000 | #Constraints: 27837
1306.00/1309.71 c #Conflicts: 839000 | #Constraints: 28837
1306.00/1309.71 c #Conflicts: 840000 | #Constraints: 29837
1306.00/1309.71 c #Conflicts: 841000 | #Constraints: 30837
1306.00/1309.71 c #Conflicts: 842000 | #Constraints: 31837
1306.00/1309.71 c #Conflicts: 843000 | #Constraints: 32837
1306.00/1309.71 c #Conflicts: 844000 | #Constraints: 33837
1306.00/1309.71 c #Conflicts: 845000 | #Constraints: 34837
1306.00/1309.71 c #Conflicts: 846000 | #Constraints: 35837
1306.00/1309.71 c INPROCESSING
1306.00/1309.71 c GARBAGE COLLECT
1306.00/1309.71 c #Conflicts: 847000 | #Constraints: 18635
1306.00/1309.71 c #Conflicts: 848000 | #Constraints: 19635
1306.00/1309.71 c #Conflicts: 849000 | #Constraints: 20635
1306.00/1309.71 c #Conflicts: 850000 | #Constraints: 21635
1306.00/1309.71 c #Conflicts: 851000 | #Constraints: 22635
1306.00/1309.71 c #Conflicts: 852000 | #Constraints: 23635
1306.00/1309.71 c #Conflicts: 853000 | #Constraints: 24635
1306.00/1309.71 c #Conflicts: 854000 | #Constraints: 25635
1306.00/1309.71 c #Conflicts: 855000 | #Constraints: 26635
1306.00/1309.71 c #Conflicts: 856000 | #Constraints: 27635
1306.00/1309.71 c #Conflicts: 857000 | #Constraints: 28635
1306.00/1309.71 c #Conflicts: 858000 | #Constraints: 29635
1306.00/1309.71 c #Conflicts: 859000 | #Constraints: 30635
1306.00/1309.71 c #Conflicts: 860000 | #Constraints: 31635
1306.00/1309.71 c #Conflicts: 861000 | #Constraints: 32635
1306.00/1309.71 c #Conflicts: 862000 | #Constraints: 33635
1306.00/1309.71 c #Conflicts: 863000 | #Constraints: 34635
1306.00/1309.71 c #Conflicts: 864000 | #Constraints: 35635
1306.00/1309.71 c #Conflicts: 865000 | #Constraints: 36635
1306.00/1309.71 c INPROCESSING
1306.00/1309.71 c GARBAGE COLLECT
1306.00/1309.71 c #Conflicts: 866000 | #Constraints: 19237
1306.00/1309.71 c #Conflicts: 867000 | #Constraints: 20237
1306.00/1309.71 c #Conflicts: 868000 | #Constraints: 21237
1306.00/1309.71 c #Conflicts: 869000 | #Constraints: 22237
1306.00/1309.71 c #Conflicts: 870000 | #Constraints: 23237
1306.00/1309.71 c #Conflicts: 871000 | #Constraints: 24237
1306.00/1309.71 c #Conflicts: 872000 | #Constraints: 25237
1306.00/1309.71 c #Conflicts: 873000 | #Constraints: 26237
1306.00/1309.71 c #Conflicts: 874000 | #Constraints: 27237
1306.00/1309.71 c #Conflicts: 875000 | #Constraints: 28237
1306.00/1309.71 c #Conflicts: 876000 | #Constraints: 29237
1306.00/1309.71 c #Conflicts: 877000 | #Constraints: 30237
1306.00/1309.71 c #Conflicts: 878000 | #Constraints: 31237
1306.00/1309.71 c #Conflicts: 879000 | #Constraints: 32237
1306.00/1309.71 c #Conflicts: 880000 | #Constraints: 33237
1447.71/1451.81 c #Conflicts: 881000 | #Constraints: 34237
1447.71/1451.81 c #Conflicts: 882000 | #Constraints: 35237
1447.71/1451.81 c #Conflicts: 883000 | #Constraints: 36237
1447.71/1451.81 c #Conflicts: 884000 | #Constraints: 37237
1447.71/1451.81 c INPROCESSING
1447.71/1451.81 c GARBAGE COLLECT
1447.71/1451.81 c #Conflicts: 885000 | #Constraints: 19639
1447.71/1451.81 c #Conflicts: 886000 | #Constraints: 20639
1447.71/1451.81 c #Conflicts: 887000 | #Constraints: 21639
1447.71/1451.81 c #Conflicts: 888000 | #Constraints: 22639
1447.71/1451.81 c #Conflicts: 889000 | #Constraints: 23639
1447.71/1451.81 c #Conflicts: 890000 | #Constraints: 24639
1447.71/1451.81 c #Conflicts: 891000 | #Constraints: 25639
1447.71/1451.81 c #Conflicts: 892000 | #Constraints: 26639
1447.71/1451.81 c #Conflicts: 893000 | #Constraints: 27639
1447.71/1451.81 c #Conflicts: 894000 | #Constraints: 28639
1447.71/1451.81 c #Conflicts: 895000 | #Constraints: 29639
1447.71/1451.81 c #Conflicts: 896000 | #Constraints: 30639
1447.71/1451.81 c #Conflicts: 897000 | #Constraints: 31639
1447.71/1451.81 c #Conflicts: 898000 | #Constraints: 32639
1447.71/1451.81 c #Conflicts: 899000 | #Constraints: 33639
1447.71/1451.81 c #Conflicts: 900000 | #Constraints: 34639
1447.71/1451.81 c #Conflicts: 901000 | #Constraints: 35639
1447.71/1451.81 c #Conflicts: 902000 | #Constraints: 36639
1447.71/1451.81 c #Conflicts: 903000 | #Constraints: 37639
1447.71/1451.81 c INPROCESSING
1447.71/1451.81 c GARBAGE COLLECT
1447.71/1451.81 c #Conflicts: 904000 | #Constraints: 19840
1447.71/1451.81 c #Conflicts: 905000 | #Constraints: 20840
1447.71/1451.81 c #Conflicts: 906000 | #Constraints: 21840
1447.71/1451.81 c #Conflicts: 907000 | #Constraints: 22840
1447.71/1451.81 c #Conflicts: 908000 | #Constraints: 23840
1447.71/1451.81 c #Conflicts: 909000 | #Constraints: 24840
1447.71/1451.81 c #Conflicts: 910000 | #Constraints: 25840
1447.71/1451.81 c #Conflicts: 911000 | #Constraints: 26840
1447.71/1451.81 c #Conflicts: 912000 | #Constraints: 27840
1447.71/1451.81 c #Conflicts: 913000 | #Constraints: 28840
1447.71/1451.81 c #Conflicts: 914000 | #Constraints: 29840
1447.71/1451.81 c #Conflicts: 915000 | #Constraints: 30840
1447.71/1451.81 c #Conflicts: 916000 | #Constraints: 31840
1447.71/1451.81 c #Conflicts: 917000 | #Constraints: 32840
1447.71/1451.81 c #Conflicts: 918000 | #Constraints: 33840
1447.71/1451.81 c #Conflicts: 919000 | #Constraints: 34840
1447.71/1451.81 c #Conflicts: 920000 | #Constraints: 35840
1447.71/1451.81 c #Conflicts: 921000 | #Constraints: 36840
1447.71/1451.81 c #Conflicts: 922000 | #Constraints: 37840
1447.71/1451.81 c INPROCESSING
1447.71/1451.81 c GARBAGE COLLECT
1447.71/1451.81 c #Conflicts: 923000 | #Constraints: 19840
1447.71/1451.81 c #Conflicts: 924000 | #Constraints: 20840
1447.71/1451.81 c #Conflicts: 925000 | #Constraints: 21840
1447.71/1451.81 c #Conflicts: 926000 | #Constraints: 22840
1447.71/1451.81 c #Conflicts: 927000 | #Constraints: 23840
1447.71/1451.81 c #Conflicts: 928000 | #Constraints: 24840
1447.71/1451.81 c #Conflicts: 929000 | #Constraints: 25840
1447.71/1451.81 c #Conflicts: 930000 | #Constraints: 26840
1447.71/1451.81 c #Conflicts: 931000 | #Constraints: 27840
1447.71/1451.81 c #Conflicts: 932000 | #Constraints: 28840
1447.71/1451.81 c #Conflicts: 933000 | #Constraints: 29840
1447.71/1451.81 c #Conflicts: 934000 | #Constraints: 30840
1447.71/1451.81 c #Conflicts: 935000 | #Constraints: 31840
1447.71/1451.81 c #Conflicts: 936000 | #Constraints: 32840
1447.71/1451.81 c #Conflicts: 937000 | #Constraints: 33840
1447.71/1451.81 c #Conflicts: 938000 | #Constraints: 34840
1447.71/1451.81 c #Conflicts: 939000 | #Constraints: 35840
1447.71/1451.81 c #Conflicts: 940000 | #Constraints: 36840
1447.71/1451.81 c #Conflicts: 941000 | #Constraints: 37840
1447.71/1451.81 c INPROCESSING
1447.71/1451.81 c GARBAGE COLLECT
1447.71/1451.81 c #Conflicts: 942000 | #Constraints: 19642
1447.71/1451.81 c #Conflicts: 943000 | #Constraints: 20642
1447.71/1451.81 c #Conflicts: 944000 | #Constraints: 21642
1447.71/1451.81 c #Conflicts: 945000 | #Constraints: 22642
1447.71/1451.81 c #Conflicts: 946000 | #Constraints: 23642
1447.71/1451.81 c #Conflicts: 947000 | #Constraints: 24642
1447.71/1451.81 c #Conflicts: 948000 | #Constraints: 25642
1447.71/1451.81 c #Conflicts: 949000 | #Constraints: 26642
1447.71/1451.81 c #Conflicts: 950000 | #Constraints: 27642
1447.71/1451.81 c #Conflicts: 951000 | #Constraints: 28642
1447.71/1451.81 c #Conflicts: 952000 | #Constraints: 29642
1447.71/1451.81 c #Conflicts: 953000 | #Constraints: 30642
1447.71/1451.81 c #Conflicts: 954000 | #Constraints: 31642
1447.71/1451.81 c #Conflicts: 955000 | #Constraints: 32642
1447.71/1451.81 c #Conflicts: 956000 | #Constraints: 33642
1624.24/1628.80 c #Conflicts: 957000 | #Constraints: 34642
1624.24/1628.80 c #Conflicts: 958000 | #Constraints: 35642
1624.24/1628.80 c #Conflicts: 959000 | #Constraints: 36642
1624.24/1628.80 c #Conflicts: 960000 | #Constraints: 37642
1624.24/1628.80 c #Conflicts: 961000 | #Constraints: 38642
1624.24/1628.80 c INPROCESSING
1624.24/1628.80 c GARBAGE COLLECT
1624.24/1628.80 c #Conflicts: 962000 | #Constraints: 20240
1624.24/1628.80 c #Conflicts: 963000 | #Constraints: 21240
1624.24/1628.80 c #Conflicts: 964000 | #Constraints: 22240
1624.24/1628.80 c #Conflicts: 965000 | #Constraints: 23240
1624.24/1628.80 c #Conflicts: 966000 | #Constraints: 24240
1624.24/1628.80 c #Conflicts: 967000 | #Constraints: 25240
1624.24/1628.80 c #Conflicts: 968000 | #Constraints: 26240
1624.24/1628.80 c #Conflicts: 969000 | #Constraints: 27240
1624.24/1628.80 c #Conflicts: 970000 | #Constraints: 28240
1624.24/1628.80 c #Conflicts: 971000 | #Constraints: 29240
1624.24/1628.80 c #Conflicts: 972000 | #Constraints: 30240
1624.24/1628.80 c #Conflicts: 973000 | #Constraints: 31240
1624.24/1628.80 c #Conflicts: 974000 | #Constraints: 32240
1624.24/1628.80 c #Conflicts: 975000 | #Constraints: 33240
1624.24/1628.80 c #Conflicts: 976000 | #Constraints: 34240
1624.24/1628.80 c #Conflicts: 977000 | #Constraints: 35240
1624.24/1628.80 c #Conflicts: 978000 | #Constraints: 36240
1624.24/1628.80 c #Conflicts: 979000 | #Constraints: 37240
1624.24/1628.80 c #Conflicts: 980000 | #Constraints: 38240
1624.24/1628.80 c #Conflicts: 981000 | #Constraints: 39240
1624.24/1628.80 c INPROCESSING
1624.24/1628.80 c GARBAGE COLLECT
1624.24/1628.80 c #Conflicts: 982000 | #Constraints: 20641
1624.24/1628.80 c #Conflicts: 983000 | #Constraints: 21641
1624.24/1628.80 c #Conflicts: 984000 | #Constraints: 22641
1624.24/1628.80 c #Conflicts: 985000 | #Constraints: 23641
1624.24/1628.80 c #Conflicts: 986000 | #Constraints: 24641
1624.24/1628.80 c #Conflicts: 987000 | #Constraints: 25641
1624.24/1628.80 c #Conflicts: 988000 | #Constraints: 26641
1624.24/1628.80 c #Conflicts: 989000 | #Constraints: 27641
1624.24/1628.80 c #Conflicts: 990000 | #Constraints: 28641
1624.24/1628.80 c #Conflicts: 991000 | #Constraints: 29641
1624.24/1628.80 c #Conflicts: 992000 | #Constraints: 30641
1624.24/1628.80 c #Conflicts: 993000 | #Constraints: 31641
1624.24/1628.80 c #Conflicts: 994000 | #Constraints: 32641
1624.24/1628.80 c #Conflicts: 995000 | #Constraints: 33641
1624.24/1628.80 c #Conflicts: 996000 | #Constraints: 34641
1624.24/1628.80 c #Conflicts: 997000 | #Constraints: 35641
1624.24/1628.80 c #Conflicts: 998000 | #Constraints: 36641
1624.24/1628.80 c #Conflicts: 999000 | #Constraints: 37641
1624.24/1628.80 c #Conflicts: 1000000 | #Constraints: 38641
1624.24/1628.80 c #Conflicts: 1001000 | #Constraints: 39641
1624.24/1628.80 c INPROCESSING
1624.24/1628.80 c GARBAGE COLLECT
1624.24/1628.80 c #Conflicts: 1002000 | #Constraints: 20837
1624.24/1628.80 c #Conflicts: 1003000 | #Constraints: 21837
1624.24/1628.80 c #Conflicts: 1004000 | #Constraints: 22837
1624.24/1628.80 c #Conflicts: 1005000 | #Constraints: 23837
1624.24/1628.80 c #Conflicts: 1006000 | #Constraints: 24837
1624.24/1628.80 c #Conflicts: 1007000 | #Constraints: 25837
1624.24/1628.80 c #Conflicts: 1008000 | #Constraints: 26837
1624.24/1628.80 c #Conflicts: 1009000 | #Constraints: 27837
1624.24/1628.80 c #Conflicts: 1010000 | #Constraints: 28837
1624.24/1628.80 c #Conflicts: 1011000 | #Constraints: 29837
1624.24/1628.80 c #Conflicts: 1012000 | #Constraints: 30837
1624.24/1628.80 c #Conflicts: 1013000 | #Constraints: 31837
1624.24/1628.80 c #Conflicts: 1014000 | #Constraints: 32837
1624.24/1628.80 c #Conflicts: 1015000 | #Constraints: 33837
1624.24/1628.80 c #Conflicts: 1016000 | #Constraints: 34837
1624.24/1628.80 c #Conflicts: 1017000 | #Constraints: 35837
1624.24/1628.80 c #Conflicts: 1018000 | #Constraints: 36837
1624.24/1628.80 c #Conflicts: 1019000 | #Constraints: 37837
1624.24/1628.80 c #Conflicts: 1020000 | #Constraints: 38837
1624.24/1628.80 c #Conflicts: 1021000 | #Constraints: 39837
1624.24/1628.80 c INPROCESSING
1624.24/1628.80 c GARBAGE COLLECT
1624.24/1628.80 c #Conflicts: 1022000 | #Constraints: 20839
1624.24/1628.80 c #Conflicts: 1023000 | #Constraints: 21839
1624.24/1628.80 c #Conflicts: 1024000 | #Constraints: 22839
1624.24/1628.80 c #Conflicts: 1025000 | #Constraints: 23839
1624.24/1628.80 c #Conflicts: 1026000 | #Constraints: 24839
1624.24/1628.80 c #Conflicts: 1027000 | #Constraints: 25839
1624.24/1628.80 c #Conflicts: 1028000 | #Constraints: 26839
1624.24/1628.80 c #Conflicts: 1029000 | #Constraints: 27839
1624.24/1628.80 c #Conflicts: 1030000 | #Constraints: 28839
1624.24/1628.80 c #Conflicts: 1031000 | #Constraints: 29839
1624.24/1628.80 c #Conflicts: 1032000 | #Constraints: 30839
1624.24/1628.80 c #Conflicts: 1033000 | #Constraints: 31839
1803.04/1808.17 c #Conflicts: 1034000 | #Constraints: 32839
1803.04/1808.17 c #Conflicts: 1035000 | #Constraints: 33839
1803.04/1808.17 c #Conflicts: 1036000 | #Constraints: 34839
1803.04/1808.17 c #Conflicts: 1037000 | #Constraints: 35839
1803.04/1808.17 c #Conflicts: 1038000 | #Constraints: 36839
1803.04/1808.17 c #Conflicts: 1039000 | #Constraints: 37839
1803.04/1808.17 c #Conflicts: 1040000 | #Constraints: 38839
1803.04/1808.17 c #Conflicts: 1041000 | #Constraints: 39839
1803.04/1808.17 c INPROCESSING
1803.04/1808.17 c GARBAGE COLLECT
1803.04/1808.17 c #Conflicts: 1042000 | #Constraints: 20641
1803.04/1808.17 c #Conflicts: 1043000 | #Constraints: 21641
1803.04/1808.17 c #Conflicts: 1044000 | #Constraints: 22641
1803.04/1808.17 c #Conflicts: 1045000 | #Constraints: 23641
1803.04/1808.17 c #Conflicts: 1046000 | #Constraints: 24641
1803.04/1808.17 c #Conflicts: 1047000 | #Constraints: 25641
1803.04/1808.17 c #Conflicts: 1048000 | #Constraints: 26641
1803.04/1808.17 c #Conflicts: 1049000 | #Constraints: 27641
1803.04/1808.17 c #Conflicts: 1050000 | #Constraints: 28641
1803.04/1808.17 c #Conflicts: 1051000 | #Constraints: 29641
1803.04/1808.17 c #Conflicts: 1052000 | #Constraints: 30641
1803.04/1808.17 c #Conflicts: 1053000 | #Constraints: 31641
1803.04/1808.17 c #Conflicts: 1054000 | #Constraints: 32641
1803.04/1808.17 c #Conflicts: 1055000 | #Constraints: 33641
1803.04/1808.17 c #Conflicts: 1056000 | #Constraints: 34641
1803.04/1808.17 c #Conflicts: 1057000 | #Constraints: 35641
1803.04/1808.17 c #Conflicts: 1058000 | #Constraints: 36641
1803.04/1808.17 c #Conflicts: 1059000 | #Constraints: 37641
1803.04/1808.17 c #Conflicts: 1060000 | #Constraints: 38641
1803.04/1808.17 c #Conflicts: 1061000 | #Constraints: 39641
1803.04/1808.17 c #Conflicts: 1062000 | #Constraints: 40641
1803.04/1808.17 c INPROCESSING
1803.04/1808.17 c GARBAGE COLLECT
1803.04/1808.17 c #Conflicts: 1063000 | #Constraints: 21244
1803.04/1808.17 c #Conflicts: 1064000 | #Constraints: 22244
1803.04/1808.17 c #Conflicts: 1065000 | #Constraints: 23244
1803.04/1808.17 c #Conflicts: 1066000 | #Constraints: 24244
1803.04/1808.17 c #Conflicts: 1067000 | #Constraints: 25244
1803.04/1808.17 c #Conflicts: 1068000 | #Constraints: 26244
1803.04/1808.17 c #Conflicts: 1069000 | #Constraints: 27244
1803.04/1808.17 c #Conflicts: 1070000 | #Constraints: 28244
1803.04/1808.17 c #Conflicts: 1071000 | #Constraints: 29244
1803.04/1808.17 c #Conflicts: 1072000 | #Constraints: 30244
1803.04/1808.17 c #Conflicts: 1073000 | #Constraints: 31244
1803.04/1808.17 c #Conflicts: 1074000 | #Constraints: 32244
1803.04/1808.17 c #Conflicts: 1075000 | #Constraints: 33244
1803.04/1808.17 c #Conflicts: 1076000 | #Constraints: 34244
1803.04/1808.17 c #Conflicts: 1077000 | #Constraints: 35244
1803.04/1808.17 c #Conflicts: 1078000 | #Constraints: 36244
1803.04/1808.17 c #Conflicts: 1079000 | #Constraints: 37244
1803.04/1808.17 c #Conflicts: 1080000 | #Constraints: 38244
1803.04/1808.17 c #Conflicts: 1081000 | #Constraints: 39244
1803.04/1808.17 c #Conflicts: 1082000 | #Constraints: 40244
1803.04/1808.17 c #Conflicts: 1083000 | #Constraints: 41244
1803.04/1808.17 c INPROCESSING
1803.04/1808.17 c GARBAGE COLLECT
1803.04/1808.17 c #Conflicts: 1084000 | #Constraints: 21644
1803.04/1808.17 c #Conflicts: 1085000 | #Constraints: 22644
1803.04/1808.17 c #Conflicts: 1086000 | #Constraints: 23644
1803.04/1808.17 c #Conflicts: 1087000 | #Constraints: 24644
1803.04/1808.17 c #Conflicts: 1088000 | #Constraints: 25644
1803.04/1808.17 c #Conflicts: 1089000 | #Constraints: 26644
1803.04/1808.17 c #Conflicts: 1090000 | #Constraints: 27644
1803.04/1808.17 c #Conflicts: 1091000 | #Constraints: 28644
1803.04/1808.17 c #Conflicts: 1092000 | #Constraints: 29644
1803.04/1808.17 c #Conflicts: 1093000 | #Constraints: 30644
1803.04/1808.17 c #Conflicts: 1094000 | #Constraints: 31644
1803.04/1808.17 c #Conflicts: 1095000 | #Constraints: 32644
1803.04/1808.17 c #Conflicts: 1096000 | #Constraints: 33644
1803.04/1808.17 c #Conflicts: 1097000 | #Constraints: 34644
1803.04/1808.17 c #Conflicts: 1098000 | #Constraints: 35644
1803.04/1808.17 c #Conflicts: 1099000 | #Constraints: 36644
1803.04/1808.17 c #Conflicts: 1100000 | #Constraints: 37644
1803.04/1808.17 c #Conflicts: 1101000 | #Constraints: 38644
1803.04/1808.17 c #Conflicts: 1102000 | #Constraints: 39644
1803.04/1808.17 c #Conflicts: 1103000 | #Constraints: 40644
1803.04/1808.17 c #Conflicts: 1104000 | #Constraints: 41644
1803.04/1808.17 c INPROCESSING
1803.04/1808.17 c GARBAGE COLLECT
1803.04/1808.17 c #Conflicts: 1105000 | #Constraints: 21838
1803.04/1808.17 c #Conflicts: 1106000 | #Constraints: 22838
1803.04/1808.17 c #Conflicts: 1107000 | #Constraints: 23838
1803.04/1808.17 c #Conflicts: 1108000 | #Constraints: 24838
1803.04/1808.17 c #Conflicts: 1109000 | #Constraints: 25838
1973.16/1978.71 c #Conflicts: 1110000 | #Constraints: 26838
1973.16/1978.71 c #Conflicts: 1111000 | #Constraints: 27838
1973.16/1978.71 c #Conflicts: 1112000 | #Constraints: 28838
1973.16/1978.71 c #Conflicts: 1113000 | #Constraints: 29838
1973.16/1978.71 c #Conflicts: 1114000 | #Constraints: 30838
1973.16/1978.71 c #Conflicts: 1115000 | #Constraints: 31838
1973.16/1978.71 c #Conflicts: 1116000 | #Constraints: 32838
1973.16/1978.71 c #Conflicts: 1117000 | #Constraints: 33838
1973.16/1978.71 c #Conflicts: 1118000 | #Constraints: 34838
1973.16/1978.71 c #Conflicts: 1119000 | #Constraints: 35838
1973.16/1978.71 c #Conflicts: 1120000 | #Constraints: 36838
1973.16/1978.71 c #Conflicts: 1121000 | #Constraints: 37838
1973.16/1978.71 c #Conflicts: 1122000 | #Constraints: 38838
1973.16/1978.71 c #Conflicts: 1123000 | #Constraints: 39838
1973.16/1978.71 c #Conflicts: 1124000 | #Constraints: 40838
1973.16/1978.71 c #Conflicts: 1125000 | #Constraints: 41838
1973.16/1978.71 c INPROCESSING
1973.16/1978.71 c GARBAGE COLLECT
1973.16/1978.71 c #Conflicts: 1126000 | #Constraints: 21843
1973.16/1978.71 c #Conflicts: 1127000 | #Constraints: 22843
1973.16/1978.71 c #Conflicts: 1128000 | #Constraints: 23843
1973.16/1978.71 c #Conflicts: 1129000 | #Constraints: 24843
1973.16/1978.71 c #Conflicts: 1130000 | #Constraints: 25843
1973.16/1978.71 c #Conflicts: 1131000 | #Constraints: 26843
1973.16/1978.71 c #Conflicts: 1132000 | #Constraints: 27843
1973.16/1978.71 c #Conflicts: 1133000 | #Constraints: 28843
1973.16/1978.71 c #Conflicts: 1134000 | #Constraints: 29843
1973.16/1978.71 c #Conflicts: 1135000 | #Constraints: 30843
1973.16/1978.71 c #Conflicts: 1136000 | #Constraints: 31843
1973.16/1978.71 c #Conflicts: 1137000 | #Constraints: 32843
1973.16/1978.71 c #Conflicts: 1138000 | #Constraints: 33843
1973.16/1978.71 c #Conflicts: 1139000 | #Constraints: 34843
1973.16/1978.71 c #Conflicts: 1140000 | #Constraints: 35843
1973.16/1978.71 c #Conflicts: 1141000 | #Constraints: 36843
1973.16/1978.71 c #Conflicts: 1142000 | #Constraints: 37843
1973.16/1978.71 c #Conflicts: 1143000 | #Constraints: 38843
1973.16/1978.71 c #Conflicts: 1144000 | #Constraints: 39843
1973.16/1978.71 c #Conflicts: 1145000 | #Constraints: 40843
1973.16/1978.71 c #Conflicts: 1146000 | #Constraints: 41843
1973.16/1978.71 c INPROCESSING
1973.16/1978.71 c GARBAGE COLLECT
1973.16/1978.71 c #Conflicts: 1147000 | #Constraints: 21644
1973.16/1978.71 c #Conflicts: 1148000 | #Constraints: 22644
1973.16/1978.71 c #Conflicts: 1149000 | #Constraints: 23644
1973.16/1978.71 c #Conflicts: 1150000 | #Constraints: 24644
1973.16/1978.71 c #Conflicts: 1151000 | #Constraints: 25644
1973.16/1978.71 c #Conflicts: 1152000 | #Constraints: 26644
1973.16/1978.71 c #Conflicts: 1153000 | #Constraints: 27644
1973.16/1978.71 c #Conflicts: 1154000 | #Constraints: 28644
1973.16/1978.71 c #Conflicts: 1155000 | #Constraints: 29644
1973.16/1978.71 c #Conflicts: 1156000 | #Constraints: 30644
1973.16/1978.71 c #Conflicts: 1157000 | #Constraints: 31644
1973.16/1978.71 c #Conflicts: 1158000 | #Constraints: 32644
1973.16/1978.71 c #Conflicts: 1159000 | #Constraints: 33644
1973.16/1978.71 c #Conflicts: 1160000 | #Constraints: 34644
1973.16/1978.71 c #Conflicts: 1161000 | #Constraints: 35644
1973.16/1978.71 c #Conflicts: 1162000 | #Constraints: 36644
1973.16/1978.71 c #Conflicts: 1163000 | #Constraints: 37644
1973.16/1978.71 c #Conflicts: 1164000 | #Constraints: 38644
1973.16/1978.71 c #Conflicts: 1165000 | #Constraints: 39644
1973.16/1978.71 c #Conflicts: 1166000 | #Constraints: 40644
1973.16/1978.71 c #Conflicts: 1167000 | #Constraints: 41644
1973.16/1978.71 c #Conflicts: 1168000 | #Constraints: 42644
1973.16/1978.71 c INPROCESSING
1973.16/1978.71 c GARBAGE COLLECT
1973.16/1978.71 c #Conflicts: 1169000 | #Constraints: 22243
1973.16/1978.71 c #Conflicts: 1170000 | #Constraints: 23243
1973.16/1978.71 c #Conflicts: 1171000 | #Constraints: 24243
1973.16/1978.71 c #Conflicts: 1172000 | #Constraints: 25243
1973.16/1978.71 c #Conflicts: 1173000 | #Constraints: 26243
1973.16/1978.71 c #Conflicts: 1174000 | #Constraints: 27243
1973.16/1978.71 c #Conflicts: 1175000 | #Constraints: 28243
1973.16/1978.71 c #Conflicts: 1176000 | #Constraints: 29243
1973.16/1978.71 c #Conflicts: 1177000 | #Constraints: 30243
1973.16/1978.71 c #Conflicts: 1178000 | #Constraints: 31243
1973.16/1978.71 c #Conflicts: 1179000 | #Constraints: 32243
1973.16/1978.71 c #Conflicts: 1180000 | #Constraints: 33243
1973.16/1978.71 c #Conflicts: 1181000 | #Constraints: 34243
1973.16/1978.71 c #Conflicts: 1182000 | #Constraints: 35243
1973.16/1978.71 c #Conflicts: 1183000 | #Constraints: 36243
1973.16/1978.71 c #Conflicts: 1184000 | #Constraints: 37243
1973.16/1978.71 c #Conflicts: 1185000 | #Constraints: 38243
1973.16/1978.71 c #Conflicts: 1186000 | #Constraints: 39243
2139.79/2145.85 c #Conflicts: 1187000 | #Constraints: 40243
2139.79/2145.85 c #Conflicts: 1188000 | #Constraints: 41243
2139.79/2145.85 c #Conflicts: 1189000 | #Constraints: 42243
2139.79/2145.85 c #Conflicts: 1190000 | #Constraints: 43243
2139.79/2145.85 c INPROCESSING
2139.79/2145.85 c GARBAGE COLLECT
2139.79/2145.85 c #Conflicts: 1191000 | #Constraints: 22638
2139.79/2145.85 c #Conflicts: 1192000 | #Constraints: 23638
2139.79/2145.85 c #Conflicts: 1193000 | #Constraints: 24638
2139.79/2145.85 c #Conflicts: 1194000 | #Constraints: 25638
2139.79/2145.85 c #Conflicts: 1195000 | #Constraints: 26638
2139.79/2145.85 c #Conflicts: 1196000 | #Constraints: 27638
2139.79/2145.85 c #Conflicts: 1197000 | #Constraints: 28638
2139.79/2145.85 c #Conflicts: 1198000 | #Constraints: 29638
2139.79/2145.85 c #Conflicts: 1199000 | #Constraints: 30638
2139.79/2145.85 c #Conflicts: 1200000 | #Constraints: 31638
2139.79/2145.85 c #Conflicts: 1201000 | #Constraints: 32638
2139.79/2145.85 c #Conflicts: 1202000 | #Constraints: 33638
2139.79/2145.85 c #Conflicts: 1203000 | #Constraints: 34638
2139.79/2145.85 c #Conflicts: 1204000 | #Constraints: 35638
2139.79/2145.85 c #Conflicts: 1205000 | #Constraints: 36638
2139.79/2145.85 c #Conflicts: 1206000 | #Constraints: 37638
2139.79/2145.85 c #Conflicts: 1207000 | #Constraints: 38638
2139.79/2145.85 c #Conflicts: 1208000 | #Constraints: 39638
2139.79/2145.85 c #Conflicts: 1209000 | #Constraints: 40638
2139.79/2145.85 c #Conflicts: 1210000 | #Constraints: 41638
2139.79/2145.85 c #Conflicts: 1211000 | #Constraints: 42638
2139.79/2145.85 c #Conflicts: 1212000 | #Constraints: 43638
2139.79/2145.85 c INPROCESSING
2139.79/2145.85 c GARBAGE COLLECT
2139.79/2145.85 c #Conflicts: 1213000 | #Constraints: 22839
2139.79/2145.85 c #Conflicts: 1214000 | #Constraints: 23839
2139.79/2145.85 c #Conflicts: 1215000 | #Constraints: 24839
2139.79/2145.85 c #Conflicts: 1216000 | #Constraints: 25839
2139.79/2145.85 c #Conflicts: 1217000 | #Constraints: 26839
2139.79/2145.85 c #Conflicts: 1218000 | #Constraints: 27839
2139.79/2145.85 c #Conflicts: 1219000 | #Constraints: 28839
2139.79/2145.85 c #Conflicts: 1220000 | #Constraints: 29839
2139.79/2145.85 c #Conflicts: 1221000 | #Constraints: 30839
2139.79/2145.85 c #Conflicts: 1222000 | #Constraints: 31839
2139.79/2145.85 c #Conflicts: 1223000 | #Constraints: 32839
2139.79/2145.85 c #Conflicts: 1224000 | #Constraints: 33839
2139.79/2145.85 c #Conflicts: 1225000 | #Constraints: 34839
2139.79/2145.85 c #Conflicts: 1226000 | #Constraints: 35839
2139.79/2145.85 c #Conflicts: 1227000 | #Constraints: 36839
2139.79/2145.85 c #Conflicts: 1228000 | #Constraints: 37839
2139.79/2145.85 c #Conflicts: 1229000 | #Constraints: 38839
2139.79/2145.85 c #Conflicts: 1230000 | #Constraints: 39839
2139.79/2145.85 c #Conflicts: 1231000 | #Constraints: 40839
2139.79/2145.85 c #Conflicts: 1232000 | #Constraints: 41839
2139.79/2145.85 c #Conflicts: 1233000 | #Constraints: 42839
2139.79/2145.85 c #Conflicts: 1234000 | #Constraints: 43839
2139.79/2145.85 c INPROCESSING
2139.79/2145.85 c GARBAGE COLLECT
2139.79/2145.85 c #Conflicts: 1235000 | #Constraints: 22836
2139.79/2145.85 c #Conflicts: 1236000 | #Constraints: 23836
2139.79/2145.85 c #Conflicts: 1237000 | #Constraints: 24836
2139.79/2145.85 c #Conflicts: 1238000 | #Constraints: 25836
2139.79/2145.85 c #Conflicts: 1239000 | #Constraints: 26836
2139.79/2145.85 c #Conflicts: 1240000 | #Constraints: 27836
2139.79/2145.85 c #Conflicts: 1241000 | #Constraints: 28836
2139.79/2145.85 c #Conflicts: 1242000 | #Constraints: 29836
2139.79/2145.85 c #Conflicts: 1243000 | #Constraints: 30836
2139.79/2145.85 c #Conflicts: 1244000 | #Constraints: 31836
2139.79/2145.85 c #Conflicts: 1245000 | #Constraints: 32836
2139.79/2145.85 c #Conflicts: 1246000 | #Constraints: 33836
2139.79/2145.85 c #Conflicts: 1247000 | #Constraints: 34836
2139.79/2145.85 c #Conflicts: 1248000 | #Constraints: 35836
2139.79/2145.85 c #Conflicts: 1249000 | #Constraints: 36836
2139.79/2145.85 c #Conflicts: 1250000 | #Constraints: 37836
2139.79/2145.85 c #Conflicts: 1251000 | #Constraints: 38836
2139.79/2145.85 c #Conflicts: 1252000 | #Constraints: 39836
2139.79/2145.85 c #Conflicts: 1253000 | #Constraints: 40836
2139.79/2145.85 c #Conflicts: 1254000 | #Constraints: 41836
2139.79/2145.85 c #Conflicts: 1255000 | #Constraints: 42836
2139.79/2145.85 c #Conflicts: 1256000 | #Constraints: 43836
2139.79/2145.85 c INPROCESSING
2139.79/2145.85 c GARBAGE COLLECT
2139.79/2145.85 c #Conflicts: 1257000 | #Constraints: 22639
2139.79/2145.85 c #Conflicts: 1258000 | #Constraints: 23639
2139.79/2145.85 c #Conflicts: 1259000 | #Constraints: 24639
2139.79/2145.85 c #Conflicts: 1260000 | #Constraints: 25639
2139.79/2145.85 c #Conflicts: 1261000 | #Constraints: 26639
2139.79/2145.85 c #Conflicts: 1262000 | #Constraints: 27639
2321.98/2328.59 c #Conflicts: 1263000 | #Constraints: 28639
2321.98/2328.59 c #Conflicts: 1264000 | #Constraints: 29639
2321.98/2328.59 c #Conflicts: 1265000 | #Constraints: 30639
2321.98/2328.59 c #Conflicts: 1266000 | #Constraints: 31639
2321.98/2328.59 c #Conflicts: 1267000 | #Constraints: 32639
2321.98/2328.59 c #Conflicts: 1268000 | #Constraints: 33639
2321.98/2328.59 c #Conflicts: 1269000 | #Constraints: 34639
2321.98/2328.59 c #Conflicts: 1270000 | #Constraints: 35639
2321.98/2328.59 c #Conflicts: 1271000 | #Constraints: 36639
2321.98/2328.59 c #Conflicts: 1272000 | #Constraints: 37639
2321.98/2328.59 c #Conflicts: 1273000 | #Constraints: 38639
2321.98/2328.59 c #Conflicts: 1274000 | #Constraints: 39639
2321.98/2328.59 c #Conflicts: 1275000 | #Constraints: 40639
2321.98/2328.59 c #Conflicts: 1276000 | #Constraints: 41639
2321.98/2328.59 c #Conflicts: 1277000 | #Constraints: 42639
2321.98/2328.59 c #Conflicts: 1278000 | #Constraints: 43639
2321.98/2328.59 c #Conflicts: 1279000 | #Constraints: 44639
2321.98/2328.59 c INPROCESSING
2321.98/2328.59 c GARBAGE COLLECT
2321.98/2328.59 c #Conflicts: 1280000 | #Constraints: 23239
2321.98/2328.59 c #Conflicts: 1281000 | #Constraints: 24239
2321.98/2328.59 c #Conflicts: 1282000 | #Constraints: 25239
2321.98/2328.59 c #Conflicts: 1283000 | #Constraints: 26239
2321.98/2328.59 c #Conflicts: 1284000 | #Constraints: 27239
2321.98/2328.59 c #Conflicts: 1285000 | #Constraints: 28239
2321.98/2328.59 c #Conflicts: 1286000 | #Constraints: 29239
2321.98/2328.59 c #Conflicts: 1287000 | #Constraints: 30239
2321.98/2328.59 c #Conflicts: 1288000 | #Constraints: 31239
2321.98/2328.59 c #Conflicts: 1289000 | #Constraints: 32239
2321.98/2328.59 c #Conflicts: 1290000 | #Constraints: 33239
2321.98/2328.59 c #Conflicts: 1291000 | #Constraints: 34239
2321.98/2328.59 c #Conflicts: 1292000 | #Constraints: 35239
2321.98/2328.59 c #Conflicts: 1293000 | #Constraints: 36239
2321.98/2328.59 c #Conflicts: 1294000 | #Constraints: 37239
2321.98/2328.59 c #Conflicts: 1295000 | #Constraints: 38239
2321.98/2328.59 c #Conflicts: 1296000 | #Constraints: 39239
2321.98/2328.59 c #Conflicts: 1297000 | #Constraints: 40239
2321.98/2328.59 c #Conflicts: 1298000 | #Constraints: 41239
2321.98/2328.59 c #Conflicts: 1299000 | #Constraints: 42239
2321.98/2328.59 c #Conflicts: 1300000 | #Constraints: 43239
2321.98/2328.59 c #Conflicts: 1301000 | #Constraints: 44239
2321.98/2328.59 c #Conflicts: 1302000 | #Constraints: 45239
2321.98/2328.59 c INPROCESSING
2321.98/2328.59 c GARBAGE COLLECT
2321.98/2328.59 c #Conflicts: 1303000 | #Constraints: 23639
2321.98/2328.59 c #Conflicts: 1304000 | #Constraints: 24639
2321.98/2328.59 c #Conflicts: 1305000 | #Constraints: 25639
2321.98/2328.59 c #Conflicts: 1306000 | #Constraints: 26639
2321.98/2328.59 c #Conflicts: 1307000 | #Constraints: 27639
2321.98/2328.59 c #Conflicts: 1308000 | #Constraints: 28639
2321.98/2328.59 c #Conflicts: 1309000 | #Constraints: 29639
2321.98/2328.59 c #Conflicts: 1310000 | #Constraints: 30639
2321.98/2328.59 c #Conflicts: 1311000 | #Constraints: 31639
2321.98/2328.59 c #Conflicts: 1312000 | #Constraints: 32639
2321.98/2328.59 c #Conflicts: 1313000 | #Constraints: 33639
2321.98/2328.59 c #Conflicts: 1314000 | #Constraints: 34639
2321.98/2328.59 c #Conflicts: 1315000 | #Constraints: 35639
2321.98/2328.59 c #Conflicts: 1316000 | #Constraints: 36639
2321.98/2328.59 c #Conflicts: 1317000 | #Constraints: 37639
2321.98/2328.59 c #Conflicts: 1318000 | #Constraints: 38639
2321.98/2328.59 c #Conflicts: 1319000 | #Constraints: 39639
2321.98/2328.59 c #Conflicts: 1320000 | #Constraints: 40639
2321.98/2328.59 c #Conflicts: 1321000 | #Constraints: 41639
2321.98/2328.59 c #Conflicts: 1322000 | #Constraints: 42639
2321.98/2328.59 c #Conflicts: 1323000 | #Constraints: 43639
2321.98/2328.59 c #Conflicts: 1324000 | #Constraints: 44639
2321.98/2328.59 c #Conflicts: 1325000 | #Constraints: 45639
2321.98/2328.59 c INPROCESSING
2321.98/2328.59 c GARBAGE COLLECT
2321.98/2328.59 c #Conflicts: 1326000 | #Constraints: 23839
2321.98/2328.59 c #Conflicts: 1327000 | #Constraints: 24839
2321.98/2328.59 c #Conflicts: 1328000 | #Constraints: 25839
2321.98/2328.59 c #Conflicts: 1329000 | #Constraints: 26839
2321.98/2328.59 c #Conflicts: 1330000 | #Constraints: 27839
2321.98/2328.59 c #Conflicts: 1331000 | #Constraints: 28839
2321.98/2328.59 c #Conflicts: 1332000 | #Constraints: 29839
2321.98/2328.59 c #Conflicts: 1333000 | #Constraints: 30839
2321.98/2328.59 c #Conflicts: 1334000 | #Constraints: 31839
2321.98/2328.59 c #Conflicts: 1335000 | #Constraints: 32839
2321.98/2328.59 c #Conflicts: 1336000 | #Constraints: 33839
2321.98/2328.59 c #Conflicts: 1337000 | #Constraints: 34839
2321.98/2328.59 c #Conflicts: 1338000 | #Constraints: 35839
2321.98/2328.59 c #Conflicts: 1339000 | #Constraints: 36839
2508.26/2515.31 c #Conflicts: 1340000 | #Constraints: 37839
2508.26/2515.31 c #Conflicts: 1341000 | #Constraints: 38839
2508.26/2515.31 c #Conflicts: 1342000 | #Constraints: 39839
2508.26/2515.31 c #Conflicts: 1343000 | #Constraints: 40839
2508.26/2515.31 c #Conflicts: 1344000 | #Constraints: 41839
2508.26/2515.31 c #Conflicts: 1345000 | #Constraints: 42839
2508.26/2515.31 c #Conflicts: 1346000 | #Constraints: 43839
2508.26/2515.31 c #Conflicts: 1347000 | #Constraints: 44839
2508.26/2515.31 c #Conflicts: 1348000 | #Constraints: 45839
2508.26/2515.31 c INPROCESSING
2508.26/2515.31 c GARBAGE COLLECT
2508.26/2515.31 c #Conflicts: 1349000 | #Constraints: 23846
2508.26/2515.31 c #Conflicts: 1350000 | #Constraints: 24846
2508.26/2515.31 c #Conflicts: 1351000 | #Constraints: 25846
2508.26/2515.31 c #Conflicts: 1352000 | #Constraints: 26846
2508.26/2515.31 c #Conflicts: 1353000 | #Constraints: 27846
2508.26/2515.31 c #Conflicts: 1354000 | #Constraints: 28846
2508.26/2515.31 c #Conflicts: 1355000 | #Constraints: 29846
2508.26/2515.31 c #Conflicts: 1356000 | #Constraints: 30846
2508.26/2515.31 c #Conflicts: 1357000 | #Constraints: 31846
2508.26/2515.31 c #Conflicts: 1358000 | #Constraints: 32846
2508.26/2515.31 c #Conflicts: 1359000 | #Constraints: 33846
2508.26/2515.31 c #Conflicts: 1360000 | #Constraints: 34846
2508.26/2515.31 c #Conflicts: 1361000 | #Constraints: 35846
2508.26/2515.31 c #Conflicts: 1362000 | #Constraints: 36846
2508.26/2515.31 c #Conflicts: 1363000 | #Constraints: 37846
2508.26/2515.31 c #Conflicts: 1364000 | #Constraints: 38846
2508.26/2515.31 c #Conflicts: 1365000 | #Constraints: 39846
2508.26/2515.31 c #Conflicts: 1366000 | #Constraints: 40846
2508.26/2515.31 c #Conflicts: 1367000 | #Constraints: 41846
2508.26/2515.31 c #Conflicts: 1368000 | #Constraints: 42846
2508.26/2515.31 c #Conflicts: 1369000 | #Constraints: 43846
2508.26/2515.31 c #Conflicts: 1370000 | #Constraints: 44846
2508.26/2515.31 c #Conflicts: 1371000 | #Constraints: 45846
2508.26/2515.31 c INPROCESSING
2508.26/2515.31 c GARBAGE COLLECT
2508.26/2515.31 c #Conflicts: 1372000 | #Constraints: 23646
2508.26/2515.31 c #Conflicts: 1373000 | #Constraints: 24646
2508.26/2515.31 c #Conflicts: 1374000 | #Constraints: 25646
2508.26/2515.31 c #Conflicts: 1375000 | #Constraints: 26646
2508.26/2515.31 c #Conflicts: 1376000 | #Constraints: 27646
2508.26/2515.31 c #Conflicts: 1377000 | #Constraints: 28646
2508.26/2515.31 c #Conflicts: 1378000 | #Constraints: 29646
2508.26/2515.31 c #Conflicts: 1379000 | #Constraints: 30646
2508.26/2515.31 c #Conflicts: 1380000 | #Constraints: 31646
2508.26/2515.31 c #Conflicts: 1381000 | #Constraints: 32646
2508.26/2515.31 c #Conflicts: 1382000 | #Constraints: 33646
2508.26/2515.31 c #Conflicts: 1383000 | #Constraints: 34646
2508.26/2515.31 c #Conflicts: 1384000 | #Constraints: 35646
2508.26/2515.31 c #Conflicts: 1385000 | #Constraints: 36646
2508.26/2515.31 c #Conflicts: 1386000 | #Constraints: 37646
2508.26/2515.31 c #Conflicts: 1387000 | #Constraints: 38646
2508.26/2515.31 c #Conflicts: 1388000 | #Constraints: 39646
2508.26/2515.31 c #Conflicts: 1389000 | #Constraints: 40646
2508.26/2515.31 c #Conflicts: 1390000 | #Constraints: 41646
2508.26/2515.31 c #Conflicts: 1391000 | #Constraints: 42646
2508.26/2515.31 c #Conflicts: 1392000 | #Constraints: 43646
2508.26/2515.31 c #Conflicts: 1393000 | #Constraints: 44646
2508.26/2515.31 c #Conflicts: 1394000 | #Constraints: 45646
2508.26/2515.31 c #Conflicts: 1395000 | #Constraints: 46646
2508.26/2515.31 c INPROCESSING
2508.26/2515.31 c GARBAGE COLLECT
2508.26/2515.31 c #Conflicts: 1396000 | #Constraints: 24244
2508.26/2515.31 c #Conflicts: 1397000 | #Constraints: 25244
2508.26/2515.31 c #Conflicts: 1398000 | #Constraints: 26244
2508.26/2515.31 c #Conflicts: 1399000 | #Constraints: 27244
2508.26/2515.31 c #Conflicts: 1400000 | #Constraints: 28244
2508.26/2515.31 c #Conflicts: 1401000 | #Constraints: 29244
2508.26/2515.31 c #Conflicts: 1402000 | #Constraints: 30244
2508.26/2515.31 c #Conflicts: 1403000 | #Constraints: 31244
2508.26/2515.31 c #Conflicts: 1404000 | #Constraints: 32244
2508.26/2515.31 c #Conflicts: 1405000 | #Constraints: 33244
2508.26/2515.31 c #Conflicts: 1406000 | #Constraints: 34244
2508.26/2515.31 c #Conflicts: 1407000 | #Constraints: 35244
2508.26/2515.31 c #Conflicts: 1408000 | #Constraints: 36244
2508.26/2515.31 c #Conflicts: 1409000 | #Constraints: 37244
2508.26/2515.31 c #Conflicts: 1410000 | #Constraints: 38244
2508.26/2515.31 c #Conflicts: 1411000 | #Constraints: 39244
2508.26/2515.31 c #Conflicts: 1412000 | #Constraints: 40244
2508.26/2515.31 c #Conflicts: 1413000 | #Constraints: 41244
2508.26/2515.31 c #Conflicts: 1414000 | #Constraints: 42244
2508.26/2515.31 c #Conflicts: 1415000 | #Constraints: 43244
2508.26/2515.31 c #Conflicts: 1416000 | #Constraints: 44244
2694.94/2702.53 c #Conflicts: 1417000 | #Constraints: 45244
2694.94/2702.53 c #Conflicts: 1418000 | #Constraints: 46244
2694.94/2702.53 c #Conflicts: 1419000 | #Constraints: 47244
2694.94/2702.53 c INPROCESSING
2694.94/2702.53 c GARBAGE COLLECT
2694.94/2702.53 c #Conflicts: 1420000 | #Constraints: 24644
2694.94/2702.53 c #Conflicts: 1421000 | #Constraints: 25644
2694.94/2702.53 c #Conflicts: 1422000 | #Constraints: 26644
2694.94/2702.53 c #Conflicts: 1423000 | #Constraints: 27644
2694.94/2702.53 c #Conflicts: 1424000 | #Constraints: 28644
2694.94/2702.53 c #Conflicts: 1425000 | #Constraints: 29644
2694.94/2702.53 c #Conflicts: 1426000 | #Constraints: 30644
2694.94/2702.53 c #Conflicts: 1427000 | #Constraints: 31644
2694.94/2702.53 c #Conflicts: 1428000 | #Constraints: 32644
2694.94/2702.53 c #Conflicts: 1429000 | #Constraints: 33644
2694.94/2702.53 c #Conflicts: 1430000 | #Constraints: 34644
2694.94/2702.53 c #Conflicts: 1431000 | #Constraints: 35644
2694.94/2702.53 c #Conflicts: 1432000 | #Constraints: 36644
2694.94/2702.53 c #Conflicts: 1433000 | #Constraints: 37644
2694.94/2702.53 c #Conflicts: 1434000 | #Constraints: 38644
2694.94/2702.53 c #Conflicts: 1435000 | #Constraints: 39644
2694.94/2702.53 c #Conflicts: 1436000 | #Constraints: 40644
2694.94/2702.53 c #Conflicts: 1437000 | #Constraints: 41644
2694.94/2702.53 c #Conflicts: 1438000 | #Constraints: 42644
2694.94/2702.53 c #Conflicts: 1439000 | #Constraints: 43644
2694.94/2702.53 c #Conflicts: 1440000 | #Constraints: 44644
2694.94/2702.53 c #Conflicts: 1441000 | #Constraints: 45644
2694.94/2702.53 c #Conflicts: 1442000 | #Constraints: 46644
2694.94/2702.53 c #Conflicts: 1443000 | #Constraints: 47644
2694.94/2702.53 c INPROCESSING
2694.94/2702.53 c GARBAGE COLLECT
2694.94/2702.53 c #Conflicts: 1444000 | #Constraints: 24843
2694.94/2702.53 c #Conflicts: 1445000 | #Constraints: 25843
2694.94/2702.53 c #Conflicts: 1446000 | #Constraints: 26843
2694.94/2702.53 c #Conflicts: 1447000 | #Constraints: 27843
2694.94/2702.53 c #Conflicts: 1448000 | #Constraints: 28843
2694.94/2702.53 c #Conflicts: 1449000 | #Constraints: 29843
2694.94/2702.53 c #Conflicts: 1450000 | #Constraints: 30843
2694.94/2702.53 c #Conflicts: 1451000 | #Constraints: 31843
2694.94/2702.53 c #Conflicts: 1452000 | #Constraints: 32843
2694.94/2702.53 c #Conflicts: 1453000 | #Constraints: 33843
2694.94/2702.53 c #Conflicts: 1454000 | #Constraints: 34843
2694.94/2702.53 c #Conflicts: 1455000 | #Constraints: 35843
2694.94/2702.53 c #Conflicts: 1456000 | #Constraints: 36843
2694.94/2702.53 c #Conflicts: 1457000 | #Constraints: 37843
2694.94/2702.53 c #Conflicts: 1458000 | #Constraints: 38843
2694.94/2702.53 c #Conflicts: 1459000 | #Constraints: 39843
2694.94/2702.53 c #Conflicts: 1460000 | #Constraints: 40843
2694.94/2702.53 c #Conflicts: 1461000 | #Constraints: 41843
2694.94/2702.53 c #Conflicts: 1462000 | #Constraints: 42843
2694.94/2702.53 c #Conflicts: 1463000 | #Constraints: 43843
2694.94/2702.53 c #Conflicts: 1464000 | #Constraints: 44843
2694.94/2702.53 c #Conflicts: 1465000 | #Constraints: 45843
2694.94/2702.53 c #Conflicts: 1466000 | #Constraints: 46843
2694.94/2702.53 c #Conflicts: 1467000 | #Constraints: 47843
2694.94/2702.53 c INPROCESSING
2694.94/2702.53 c GARBAGE COLLECT
2694.94/2702.53 c #Conflicts: 1468000 | #Constraints: 24839
2694.94/2702.53 c #Conflicts: 1469000 | #Constraints: 25839
2694.94/2702.53 c #Conflicts: 1470000 | #Constraints: 26839
2694.94/2702.53 c #Conflicts: 1471000 | #Constraints: 27839
2694.94/2702.53 c #Conflicts: 1472000 | #Constraints: 28839
2694.94/2702.53 c #Conflicts: 1473000 | #Constraints: 29839
2694.94/2702.53 c #Conflicts: 1474000 | #Constraints: 30839
2694.94/2702.53 c #Conflicts: 1475000 | #Constraints: 31839
2694.94/2702.53 c #Conflicts: 1476000 | #Constraints: 32839
2694.94/2702.53 c #Conflicts: 1477000 | #Constraints: 33839
2694.94/2702.53 c #Conflicts: 1478000 | #Constraints: 34839
2694.94/2702.53 c #Conflicts: 1479000 | #Constraints: 35839
2694.94/2702.53 c #Conflicts: 1480000 | #Constraints: 36839
2694.94/2702.53 c #Conflicts: 1481000 | #Constraints: 37839
2694.94/2702.53 c #Conflicts: 1482000 | #Constraints: 38839
2694.94/2702.53 c #Conflicts: 1483000 | #Constraints: 39839
2694.94/2702.53 c #Conflicts: 1484000 | #Constraints: 40839
2694.94/2702.53 c #Conflicts: 1485000 | #Constraints: 41839
2694.94/2702.53 c #Conflicts: 1486000 | #Constraints: 42839
2694.94/2702.53 c #Conflicts: 1487000 | #Constraints: 43839
2694.94/2702.53 c #Conflicts: 1488000 | #Constraints: 44839
2694.94/2702.53 c #Conflicts: 1489000 | #Constraints: 45839
2694.94/2702.53 c #Conflicts: 1490000 | #Constraints: 46839
2694.94/2702.53 c #Conflicts: 1491000 | #Constraints: 47839
2694.94/2702.53 c INPROCESSING
2694.94/2702.53 c GARBAGE COLLECT
2694.94/2702.53 c #Conflicts: 1492000 | #Constraints: 24640
2897.67/2905.88 c #Conflicts: 1493000 | #Constraints: 25640
2897.67/2905.88 c #Conflicts: 1494000 | #Constraints: 26640
2897.67/2905.88 c #Conflicts: 1495000 | #Constraints: 27640
2897.67/2905.88 c #Conflicts: 1496000 | #Constraints: 28640
2897.67/2905.88 c #Conflicts: 1497000 | #Constraints: 29640
2897.67/2905.88 c #Conflicts: 1498000 | #Constraints: 30640
2897.67/2905.88 c #Conflicts: 1499000 | #Constraints: 31640
2897.67/2905.88 c #Conflicts: 1500000 | #Constraints: 32640
2897.67/2905.88 c #Conflicts: 1501000 | #Constraints: 33640
2897.67/2905.88 c #Conflicts: 1502000 | #Constraints: 34640
2897.67/2905.88 c #Conflicts: 1503000 | #Constraints: 35640
2897.67/2905.88 c #Conflicts: 1504000 | #Constraints: 36640
2897.67/2905.88 c #Conflicts: 1505000 | #Constraints: 37640
2897.67/2905.88 c #Conflicts: 1506000 | #Constraints: 38640
2897.67/2905.88 c #Conflicts: 1507000 | #Constraints: 39640
2897.67/2905.88 c #Conflicts: 1508000 | #Constraints: 40640
2897.67/2905.88 c #Conflicts: 1509000 | #Constraints: 41640
2897.67/2905.88 c #Conflicts: 1510000 | #Constraints: 42640
2897.67/2905.88 c #Conflicts: 1511000 | #Constraints: 43640
2897.67/2905.88 c #Conflicts: 1512000 | #Constraints: 44640
2897.67/2905.88 c #Conflicts: 1513000 | #Constraints: 45640
2897.67/2905.88 c #Conflicts: 1514000 | #Constraints: 46640
2897.67/2905.88 c #Conflicts: 1515000 | #Constraints: 47640
2897.67/2905.88 c #Conflicts: 1516000 | #Constraints: 48640
2897.67/2905.88 c INPROCESSING
2897.67/2905.88 c GARBAGE COLLECT
2897.67/2905.88 c #Conflicts: 1517000 | #Constraints: 25236
2897.67/2905.88 c #Conflicts: 1518000 | #Constraints: 26236
2897.67/2905.88 c #Conflicts: 1519000 | #Constraints: 27236
2897.67/2905.88 c #Conflicts: 1520000 | #Constraints: 28236
2897.67/2905.88 c #Conflicts: 1521000 | #Constraints: 29236
2897.67/2905.88 c #Conflicts: 1522000 | #Constraints: 30236
2897.67/2905.88 c #Conflicts: 1523000 | #Constraints: 31236
2897.67/2905.88 c #Conflicts: 1524000 | #Constraints: 32236
2897.67/2905.88 c #Conflicts: 1525000 | #Constraints: 33236
2897.67/2905.88 c #Conflicts: 1526000 | #Constraints: 34236
2897.67/2905.88 c #Conflicts: 1527000 | #Constraints: 35236
2897.67/2905.88 c #Conflicts: 1528000 | #Constraints: 36236
2897.67/2905.88 c #Conflicts: 1529000 | #Constraints: 37236
2897.67/2905.88 c #Conflicts: 1530000 | #Constraints: 38236
2897.67/2905.88 c #Conflicts: 1531000 | #Constraints: 39236
2897.67/2905.88 c #Conflicts: 1532000 | #Constraints: 40236
2897.67/2905.88 c #Conflicts: 1533000 | #Constraints: 41236
2897.67/2905.88 c #Conflicts: 1534000 | #Constraints: 42236
2897.67/2905.88 c #Conflicts: 1535000 | #Constraints: 43236
2897.67/2905.88 c #Conflicts: 1536000 | #Constraints: 44236
2897.67/2905.88 c #Conflicts: 1537000 | #Constraints: 45236
2897.67/2905.88 c #Conflicts: 1538000 | #Constraints: 46236
2897.67/2905.88 c #Conflicts: 1539000 | #Constraints: 47236
2897.67/2905.88 c #Conflicts: 1540000 | #Constraints: 48236
2897.67/2905.88 c #Conflicts: 1541000 | #Constraints: 49236
2897.67/2905.88 c INPROCESSING
2897.67/2905.88 c GARBAGE COLLECT
2897.67/2905.88 c #Conflicts: 1542000 | #Constraints: 25638
2897.67/2905.88 c #Conflicts: 1543000 | #Constraints: 26638
2897.67/2905.88 c #Conflicts: 1544000 | #Constraints: 27638
2897.67/2905.88 c #Conflicts: 1545000 | #Constraints: 28638
2897.67/2905.88 c #Conflicts: 1546000 | #Constraints: 29638
2897.67/2905.88 c #Conflicts: 1547000 | #Constraints: 30638
2897.67/2905.88 c #Conflicts: 1548000 | #Constraints: 31638
2897.67/2905.88 c #Conflicts: 1549000 | #Constraints: 32638
2897.67/2905.88 c #Conflicts: 1550000 | #Constraints: 33638
2897.67/2905.88 c #Conflicts: 1551000 | #Constraints: 34638
2897.67/2905.88 c #Conflicts: 1552000 | #Constraints: 35638
2897.67/2905.88 c #Conflicts: 1553000 | #Constraints: 36638
2897.67/2905.88 c #Conflicts: 1554000 | #Constraints: 37638
2897.67/2905.88 c #Conflicts: 1555000 | #Constraints: 38638
2897.67/2905.88 c #Conflicts: 1556000 | #Constraints: 39638
2897.67/2905.88 c #Conflicts: 1557000 | #Constraints: 40638
2897.67/2905.88 c #Conflicts: 1558000 | #Constraints: 41638
2897.67/2905.88 c #Conflicts: 1559000 | #Constraints: 42638
2897.67/2905.88 c #Conflicts: 1560000 | #Constraints: 43638
2897.67/2905.88 c #Conflicts: 1561000 | #Constraints: 44638
2897.67/2905.88 c #Conflicts: 1562000 | #Constraints: 45638
2897.67/2905.88 c #Conflicts: 1563000 | #Constraints: 46638
2897.67/2905.88 c #Conflicts: 1564000 | #Constraints: 47638
2897.67/2905.88 c #Conflicts: 1565000 | #Constraints: 48638
2897.67/2905.88 c #Conflicts: 1566000 | #Constraints: 49638
2897.67/2905.88 c INPROCESSING
2897.67/2905.88 c GARBAGE COLLECT
2897.67/2905.88 c #Conflicts: 1567000 | #Constraints: 25838
2897.67/2905.88 c #Conflicts: 1568000 | #Constraints: 26838
2897.67/2905.88 c #Conflicts: 1569000 | #Constraints: 27838
3135.51/3144.36 c #Conflicts: 1570000 | #Constraints: 28838
3135.51/3144.36 c #Conflicts: 1571000 | #Constraints: 29838
3135.51/3144.36 c #Conflicts: 1572000 | #Constraints: 30838
3135.51/3144.36 c #Conflicts: 1573000 | #Constraints: 31838
3135.51/3144.36 c #Conflicts: 1574000 | #Constraints: 32838
3135.51/3144.36 c #Conflicts: 1575000 | #Constraints: 33838
3135.51/3144.36 c #Conflicts: 1576000 | #Constraints: 34838
3135.51/3144.36 c #Conflicts: 1577000 | #Constraints: 35838
3135.51/3144.36 c #Conflicts: 1578000 | #Constraints: 36838
3135.51/3144.36 c #Conflicts: 1579000 | #Constraints: 37838
3135.51/3144.36 c #Conflicts: 1580000 | #Constraints: 38838
3135.51/3144.36 c #Conflicts: 1581000 | #Constraints: 39838
3135.51/3144.36 c #Conflicts: 1582000 | #Constraints: 40838
3135.51/3144.36 c #Conflicts: 1583000 | #Constraints: 41838
3135.51/3144.36 c #Conflicts: 1584000 | #Constraints: 42838
3135.51/3144.36 c #Conflicts: 1585000 | #Constraints: 43838
3135.51/3144.36 c #Conflicts: 1586000 | #Constraints: 44838
3135.51/3144.36 c #Conflicts: 1587000 | #Constraints: 45838
3135.51/3144.36 c #Conflicts: 1588000 | #Constraints: 46838
3135.51/3144.36 c #Conflicts: 1589000 | #Constraints: 47838
3135.51/3144.36 c #Conflicts: 1590000 | #Constraints: 48838
3135.51/3144.36 c #Conflicts: 1591000 | #Constraints: 49838
3135.51/3144.36 c INPROCESSING
3135.51/3144.36 c GARBAGE COLLECT
3135.51/3144.36 c #Conflicts: 1592000 | #Constraints: 25838
3135.51/3144.36 c #Conflicts: 1593000 | #Constraints: 26838
3135.51/3144.36 c #Conflicts: 1594000 | #Constraints: 27838
3135.51/3144.36 c #Conflicts: 1595000 | #Constraints: 28838
3135.51/3144.36 c #Conflicts: 1596000 | #Constraints: 29838
3135.51/3144.36 c #Conflicts: 1597000 | #Constraints: 30838
3135.51/3144.36 c #Conflicts: 1598000 | #Constraints: 31838
3135.51/3144.36 c #Conflicts: 1599000 | #Constraints: 32838
3135.51/3144.36 c #Conflicts: 1600000 | #Constraints: 33838
3135.51/3144.36 c #Conflicts: 1601000 | #Constraints: 34838
3135.51/3144.36 c #Conflicts: 1602000 | #Constraints: 35838
3135.51/3144.36 c #Conflicts: 1603000 | #Constraints: 36838
3135.51/3144.36 c #Conflicts: 1604000 | #Constraints: 37838
3135.51/3144.36 c #Conflicts: 1605000 | #Constraints: 38838
3135.51/3144.36 c #Conflicts: 1606000 | #Constraints: 39838
3135.51/3144.36 c #Conflicts: 1607000 | #Constraints: 40838
3135.51/3144.36 c #Conflicts: 1608000 | #Constraints: 41838
3135.51/3144.36 c #Conflicts: 1609000 | #Constraints: 42838
3135.51/3144.36 c #Conflicts: 1610000 | #Constraints: 43838
3135.51/3144.36 c #Conflicts: 1611000 | #Constraints: 44838
3135.51/3144.36 c #Conflicts: 1612000 | #Constraints: 45838
3135.51/3144.36 c #Conflicts: 1613000 | #Constraints: 46838
3135.51/3144.36 c #Conflicts: 1614000 | #Constraints: 47838
3135.51/3144.36 c #Conflicts: 1615000 | #Constraints: 48838
3135.51/3144.36 c #Conflicts: 1616000 | #Constraints: 49838
3135.51/3144.36 c INPROCESSING
3135.51/3144.36 c GARBAGE COLLECT
3135.51/3144.36 c #Conflicts: 1617000 | #Constraints: 25638
3135.51/3144.36 c #Conflicts: 1618000 | #Constraints: 26638
3135.51/3144.36 c #Conflicts: 1619000 | #Constraints: 27638
3135.51/3144.36 c #Conflicts: 1620000 | #Constraints: 28638
3135.51/3144.36 c #Conflicts: 1621000 | #Constraints: 29638
3135.51/3144.36 c #Conflicts: 1622000 | #Constraints: 30638
3135.51/3144.36 c #Conflicts: 1623000 | #Constraints: 31638
3135.51/3144.36 c #Conflicts: 1624000 | #Constraints: 32638
3135.51/3144.36 c #Conflicts: 1625000 | #Constraints: 33638
3135.51/3144.36 c #Conflicts: 1626000 | #Constraints: 34638
3135.51/3144.36 c #Conflicts: 1627000 | #Constraints: 35638
3135.51/3144.36 c #Conflicts: 1628000 | #Constraints: 36638
3135.51/3144.36 c #Conflicts: 1629000 | #Constraints: 37638
3135.51/3144.36 c #Conflicts: 1630000 | #Constraints: 38638
3135.51/3144.36 c #Conflicts: 1631000 | #Constraints: 39638
3135.51/3144.36 c #Conflicts: 1632000 | #Constraints: 40638
3135.51/3144.36 c #Conflicts: 1633000 | #Constraints: 41638
3135.51/3144.36 c #Conflicts: 1634000 | #Constraints: 42638
3135.51/3144.36 c #Conflicts: 1635000 | #Constraints: 43638
3135.51/3144.36 c #Conflicts: 1636000 | #Constraints: 44638
3135.51/3144.36 c #Conflicts: 1637000 | #Constraints: 45638
3135.51/3144.36 c #Conflicts: 1638000 | #Constraints: 46638
3135.51/3144.36 c #Conflicts: 1639000 | #Constraints: 47638
3135.51/3144.36 c #Conflicts: 1640000 | #Constraints: 48638
3135.51/3144.36 c #Conflicts: 1641000 | #Constraints: 49638
3135.51/3144.36 c #Conflicts: 1642000 | #Constraints: 50638
3135.51/3144.36 c INPROCESSING
3135.51/3144.36 c GARBAGE COLLECT
3135.51/3144.36 c #Conflicts: 1643000 | #Constraints: 26240
3135.51/3144.36 c #Conflicts: 1644000 | #Constraints: 27240
3135.51/3144.36 c #Conflicts: 1645000 | #Constraints: 28240
3135.51/3144.36 c #Conflicts: 1646000 | #Constraints: 29240
3345.15/3354.68 c #Conflicts: 1647000 | #Constraints: 30240
3345.15/3354.68 c #Conflicts: 1648000 | #Constraints: 31240
3345.15/3354.68 c #Conflicts: 1649000 | #Constraints: 32240
3345.15/3354.68 c #Conflicts: 1650000 | #Constraints: 33240
3345.15/3354.68 c #Conflicts: 1651000 | #Constraints: 34240
3345.15/3354.68 c #Conflicts: 1652000 | #Constraints: 35240
3345.15/3354.68 c #Conflicts: 1653000 | #Constraints: 36240
3345.15/3354.68 c #Conflicts: 1654000 | #Constraints: 37240
3345.15/3354.68 c #Conflicts: 1655000 | #Constraints: 38240
3345.15/3354.68 c #Conflicts: 1656000 | #Constraints: 39240
3345.15/3354.68 c #Conflicts: 1657000 | #Constraints: 40240
3345.15/3354.68 c #Conflicts: 1658000 | #Constraints: 41240
3345.15/3354.68 c #Conflicts: 1659000 | #Constraints: 42240
3345.15/3354.68 c #Conflicts: 1660000 | #Constraints: 43240
3345.15/3354.68 c #Conflicts: 1661000 | #Constraints: 44240
3345.15/3354.68 c #Conflicts: 1662000 | #Constraints: 45240
3345.15/3354.68 c #Conflicts: 1663000 | #Constraints: 46240
3345.15/3354.68 c #Conflicts: 1664000 | #Constraints: 47240
3345.15/3354.68 c #Conflicts: 1665000 | #Constraints: 48240
3345.15/3354.68 c #Conflicts: 1666000 | #Constraints: 49240
3345.15/3354.68 c #Conflicts: 1667000 | #Constraints: 50240
3345.15/3354.68 c #Conflicts: 1668000 | #Constraints: 51240
3345.15/3354.68 c INPROCESSING
3345.15/3354.68 c GARBAGE COLLECT
3345.15/3354.68 c #Conflicts: 1669000 | #Constraints: 26639
3345.15/3354.68 c #Conflicts: 1670000 | #Constraints: 27639
3345.15/3354.68 c #Conflicts: 1671000 | #Constraints: 28639
3345.15/3354.68 c #Conflicts: 1672000 | #Constraints: 29639
3345.15/3354.68 c #Conflicts: 1673000 | #Constraints: 30639
3345.15/3354.68 c #Conflicts: 1674000 | #Constraints: 31639
3345.15/3354.68 c #Conflicts: 1675000 | #Constraints: 32639
3345.15/3354.68 c #Conflicts: 1676000 | #Constraints: 33639
3345.15/3354.68 c #Conflicts: 1677000 | #Constraints: 34639
3345.15/3354.68 c #Conflicts: 1678000 | #Constraints: 35639
3345.15/3354.68 c #Conflicts: 1679000 | #Constraints: 36639
3345.15/3354.68 c #Conflicts: 1680000 | #Constraints: 37639
3345.15/3354.68 c #Conflicts: 1681000 | #Constraints: 38639
3345.15/3354.68 c #Conflicts: 1682000 | #Constraints: 39639
3345.15/3354.68 c #Conflicts: 1683000 | #Constraints: 40639
3345.15/3354.68 c #Conflicts: 1684000 | #Constraints: 41639
3345.15/3354.68 c #Conflicts: 1685000 | #Constraints: 42639
3345.15/3354.68 c #Conflicts: 1686000 | #Constraints: 43639
3345.15/3354.68 c #Conflicts: 1687000 | #Constraints: 44639
3345.15/3354.68 c #Conflicts: 1688000 | #Constraints: 45639
3345.15/3354.68 c #Conflicts: 1689000 | #Constraints: 46639
3345.15/3354.68 c #Conflicts: 1690000 | #Constraints: 47639
3345.15/3354.68 c #Conflicts: 1691000 | #Constraints: 48639
3345.15/3354.68 c #Conflicts: 1692000 | #Constraints: 49639
3345.15/3354.68 c #Conflicts: 1693000 | #Constraints: 50639
3345.15/3354.68 c #Conflicts: 1694000 | #Constraints: 51639
3345.15/3354.68 c INPROCESSING
3345.15/3354.68 c GARBAGE COLLECT
3345.15/3354.68 c #Conflicts: 1695000 | #Constraints: 26841
3345.15/3354.68 c #Conflicts: 1696000 | #Constraints: 27841
3345.15/3354.68 c #Conflicts: 1697000 | #Constraints: 28841
3345.15/3354.68 c #Conflicts: 1698000 | #Constraints: 29841
3345.15/3354.68 c #Conflicts: 1699000 | #Constraints: 30841
3345.15/3354.68 c #Conflicts: 1700000 | #Constraints: 31841
3345.15/3354.68 c #Conflicts: 1701000 | #Constraints: 32841
3345.15/3354.68 c #Conflicts: 1702000 | #Constraints: 33841
3345.15/3354.68 c #Conflicts: 1703000 | #Constraints: 34841
3345.15/3354.68 c #Conflicts: 1704000 | #Constraints: 35841
3345.15/3354.68 c #Conflicts: 1705000 | #Constraints: 36841
3345.15/3354.68 c #Conflicts: 1706000 | #Constraints: 37841
3345.15/3354.68 c #Conflicts: 1707000 | #Constraints: 38841
3345.15/3354.68 c #Conflicts: 1708000 | #Constraints: 39841
3345.15/3354.68 c #Conflicts: 1709000 | #Constraints: 40841
3345.15/3354.68 c #Conflicts: 1710000 | #Constraints: 41841
3345.15/3354.68 c #Conflicts: 1711000 | #Constraints: 42841
3345.15/3354.68 c #Conflicts: 1712000 | #Constraints: 43841
3345.15/3354.68 c #Conflicts: 1713000 | #Constraints: 44841
3345.15/3354.68 c #Conflicts: 1714000 | #Constraints: 45841
3345.15/3354.68 c #Conflicts: 1715000 | #Constraints: 46841
3345.15/3354.68 c #Conflicts: 1716000 | #Constraints: 47841
3345.15/3354.68 c #Conflicts: 1717000 | #Constraints: 48841
3345.15/3354.68 c #Conflicts: 1718000 | #Constraints: 49841
3345.15/3354.68 c #Conflicts: 1719000 | #Constraints: 50841
3345.15/3354.68 c #Conflicts: 1720000 | #Constraints: 51841
3345.15/3354.68 c INPROCESSING
3345.15/3354.68 c GARBAGE COLLECT
3345.15/3354.68 c #Conflicts: 1721000 | #Constraints: 26842
3345.15/3354.68 c #Conflicts: 1722000 | #Constraints: 27842
3568.42/3578.52 c #Conflicts: 1723000 | #Constraints: 28842
3568.42/3578.52 c #Conflicts: 1724000 | #Constraints: 29842
3568.42/3578.52 c #Conflicts: 1725000 | #Constraints: 30842
3568.42/3578.52 c #Conflicts: 1726000 | #Constraints: 31842
3568.42/3578.52 c #Conflicts: 1727000 | #Constraints: 32842
3568.42/3578.52 c #Conflicts: 1728000 | #Constraints: 33842
3568.42/3578.52 c #Conflicts: 1729000 | #Constraints: 34842
3568.42/3578.52 c #Conflicts: 1730000 | #Constraints: 35842
3568.42/3578.52 c #Conflicts: 1731000 | #Constraints: 36842
3568.42/3578.52 c #Conflicts: 1732000 | #Constraints: 37842
3568.42/3578.52 c #Conflicts: 1733000 | #Constraints: 38842
3568.42/3578.52 c #Conflicts: 1734000 | #Constraints: 39842
3568.42/3578.52 c #Conflicts: 1735000 | #Constraints: 40842
3568.42/3578.52 c #Conflicts: 1736000 | #Constraints: 41842
3568.42/3578.52 c #Conflicts: 1737000 | #Constraints: 42842
3568.42/3578.52 c #Conflicts: 1738000 | #Constraints: 43842
3568.42/3578.52 c #Conflicts: 1739000 | #Constraints: 44842
3568.42/3578.52 c #Conflicts: 1740000 | #Constraints: 45842
3568.42/3578.52 c #Conflicts: 1741000 | #Constraints: 46842
3568.42/3578.52 c #Conflicts: 1742000 | #Constraints: 47842
3568.42/3578.52 c #Conflicts: 1743000 | #Constraints: 48842
3568.42/3578.52 c #Conflicts: 1744000 | #Constraints: 49842
3568.42/3578.52 c #Conflicts: 1745000 | #Constraints: 50842
3568.42/3578.52 c #Conflicts: 1746000 | #Constraints: 51842
3568.42/3578.52 c INPROCESSING
3568.42/3578.52 c GARBAGE COLLECT
3568.42/3578.52 c #Conflicts: 1747000 | #Constraints: 26640
3568.42/3578.52 c #Conflicts: 1748000 | #Constraints: 27640
3568.42/3578.52 c #Conflicts: 1749000 | #Constraints: 28640
3568.42/3578.52 c #Conflicts: 1750000 | #Constraints: 29640
3568.42/3578.52 c #Conflicts: 1751000 | #Constraints: 30640
3568.42/3578.52 c #Conflicts: 1752000 | #Constraints: 31640
3568.42/3578.52 c #Conflicts: 1753000 | #Constraints: 32640
3568.42/3578.52 c #Conflicts: 1754000 | #Constraints: 33640
3568.42/3578.52 c #Conflicts: 1755000 | #Constraints: 34640
3568.42/3578.52 c #Conflicts: 1756000 | #Constraints: 35640
3568.42/3578.52 c #Conflicts: 1757000 | #Constraints: 36640
3568.42/3578.52 c #Conflicts: 1758000 | #Constraints: 37640
3568.42/3578.52 c #Conflicts: 1759000 | #Constraints: 38640
3568.42/3578.52 c #Conflicts: 1760000 | #Constraints: 39640
3568.42/3578.52 c #Conflicts: 1761000 | #Constraints: 40640
3568.42/3578.52 c #Conflicts: 1762000 | #Constraints: 41640
3568.42/3578.52 c #Conflicts: 1763000 | #Constraints: 42640
3568.42/3578.52 c #Conflicts: 1764000 | #Constraints: 43640
3568.42/3578.52 c #Conflicts: 1765000 | #Constraints: 44640
3568.42/3578.52 c #Conflicts: 1766000 | #Constraints: 45640
3568.42/3578.52 c #Conflicts: 1767000 | #Constraints: 46640
3568.42/3578.52 c #Conflicts: 1768000 | #Constraints: 47640
3568.42/3578.52 c #Conflicts: 1769000 | #Constraints: 48640
3568.42/3578.52 c #Conflicts: 1770000 | #Constraints: 49640
3568.42/3578.52 c #Conflicts: 1771000 | #Constraints: 50640
3568.42/3578.52 c #Conflicts: 1772000 | #Constraints: 51640
3568.42/3578.52 c #Conflicts: 1773000 | #Constraints: 52640
3568.42/3578.52 c INPROCESSING
3568.42/3578.52 c GARBAGE COLLECT
3568.42/3578.52 c #Conflicts: 1774000 | #Constraints: 27235
3568.42/3578.52 c #Conflicts: 1775000 | #Constraints: 28235
3568.42/3578.52 c #Conflicts: 1776000 | #Constraints: 29235
3568.42/3578.52 c #Conflicts: 1777000 | #Constraints: 30235
3568.42/3578.52 c #Conflicts: 1778000 | #Constraints: 31235
3568.42/3578.52 c #Conflicts: 1779000 | #Constraints: 32235
3568.42/3578.52 c #Conflicts: 1780000 | #Constraints: 33235
3568.42/3578.52 c #Conflicts: 1781000 | #Constraints: 34235
3568.42/3578.52 c #Conflicts: 1782000 | #Constraints: 35235
3568.42/3578.52 c #Conflicts: 1783000 | #Constraints: 36235
3568.42/3578.52 c #Conflicts: 1784000 | #Constraints: 37235
3568.42/3578.52 c #Conflicts: 1785000 | #Constraints: 38235
3568.42/3578.52 c #Conflicts: 1786000 | #Constraints: 39235
3568.42/3578.52 c #Conflicts: 1787000 | #Constraints: 40235
3568.42/3578.52 c #Conflicts: 1788000 | #Constraints: 41235
3568.42/3578.52 c #Conflicts: 1789000 | #Constraints: 42235
3568.42/3578.52 c #Conflicts: 1790000 | #Constraints: 43235
3568.42/3578.52 c #Conflicts: 1791000 | #Constraints: 44235
3568.42/3578.52 c #Conflicts: 1792000 | #Constraints: 45235
3568.42/3578.52 c #Conflicts: 1793000 | #Constraints: 46235
3568.42/3578.52 c #Conflicts: 1794000 | #Constraints: 47235
3568.42/3578.52 c #Conflicts: 1795000 | #Constraints: 48235
3568.42/3578.52 c #Conflicts: 1796000 | #Constraints: 49235
3568.42/3578.52 c #Conflicts: 1797000 | #Constraints: 50235
3568.42/3578.52 c #Conflicts: 1798000 | #Constraints: 51235
3568.42/3578.52 c #Conflicts: 1799000 | #Constraints: 52235
3568.42/3578.52 c #Conflicts: 1800000 | #Constraints: 53235
3600.03/3610.20 c INPROCESSING
3600.03/3610.20 c GARBAGE COLLECT
3600.03/3610.20 c #Conflicts: 1801000 | #Constraints: 27638
3600.03/3610.20 c #Conflicts: 1802000 | #Constraints: 28638
3600.03/3610.20 c #Conflicts: 1803000 | #Constraints: 29638
3600.03/3610.20 c #Conflicts: 1804000 | #Constraints: 30638
3600.03/3610.20 c #Conflicts: 1805000 | #Constraints: 31638
3600.03/3610.20 c #Conflicts: 1806000 | #Constraints: 32638
3600.03/3610.20 c #Conflicts: 1807000 | #Constraints: 33638
3600.03/3610.20 c #Conflicts: 1808000 | #Constraints: 34638
3600.03/3610.20 c #Conflicts: 1809000 | #Constraints: 35638
3600.03/3610.20 c #Conflicts: 1810000 | #Constraints: 36638
3600.03/3610.20 c #Conflicts: 1811000 | #Constraints: 37638
3600.03/3610.20 c Program interrupted by user.
3600.03/3610.20 c cpu time 3589.99 s
3600.03/3610.20 c deterministic time 583551741084 5.84e+11
3600.03/3610.20 c optimization time 31.4615 s
3600.03/3610.20 c total solve time 3259 s
3600.03/3610.20 c core-guided solve time 3259 s
3600.03/3610.20 c propagation time 3137.03 s
3600.03/3610.20 c conflict analysis time 137.147 s
3600.03/3610.20 c propagations 26572145
3600.03/3610.20 c resolve steps 9004209
3600.03/3610.20 c decisions 3793719
3600.03/3610.20 c conflicts 1811391
3600.03/3610.20 c restarts 3543
3600.03/3610.20 c inprocessing phases 125
3600.03/3610.20 c input clauses 0
3600.03/3610.20 c input cardinalities 0
3600.03/3610.20 c input general constraints 20
3600.03/3610.20 c input average constraint length 87.70
3600.03/3610.20 c input average constraint degree 1855.20
3600.03/3610.20 c learned clauses 786527
3600.03/3610.20 c learned cardinalities 0
3600.03/3610.20 c learned general constraints 1024864
3600.03/3610.20 c learned average constraint length 81.14
3600.03/3610.20 c learned average constraint degree 347410.27
3600.03/3610.20 c watched constraints 1024027
3600.03/3610.20 c counting constraints 857
3600.03/3610.20 c gcd simplifications 696612
3600.03/3610.20 c detected cardinalities 0
3600.03/3610.20 c weakened non-implied lits 41114628
3600.03/3610.20 c weakened non-implying lits 1786717
3600.03/3610.20 c original variables 198
3600.03/3610.20 c clausal propagations 377120
3600.03/3610.20 c cardinality propagations 0
3600.03/3610.20 c watched propagations 21779796
3600.03/3610.20 c counting propagations 3217698
3600.03/3610.20 c watch lookups 24106609896
3600.03/3610.20 c watch backjump lookups 8408977472
3600.03/3610.20 c watch checks 498929348589
3600.03/3610.20 c propagation checks 50957841946
3600.03/3610.20 c constraint additions 1086420218
3600.03/3610.20 c trail pops 32177098
3600.03/3610.20 c formula constraints 16
3600.03/3610.20 c learned constraints 1811391
3600.03/3610.20 c bound constraints 4
3600.03/3610.20 c core-guided constraints 0
3600.03/3610.20 c encountered formula constraints 1935089
3600.03/3610.20 c encountered learned constraints 8879011
3600.03/3610.20 c encountered bound constraints 1500
3600.03/3610.20 c encountered core-guided constraints 0
3600.03/3610.20 c LP total time 0 s
3600.03/3610.20 c LP solve time 0 s
3600.03/3610.20 c LP constraints added 0
3600.03/3610.20 c LP constraints removed 0
3600.03/3610.20 c LP pivots internal 0
3600.03/3610.20 c LP pivots root 0
3600.03/3610.20 c LP calls 0
3600.03/3610.20 c LP optimalities 0
3600.03/3610.20 c LP no pivot count 0
3600.03/3610.20 c LP infeasibilities 0
3600.03/3610.20 c LP valid Farkas constraints 0
3600.03/3610.20 c LP learned Farkas constraints 0
3600.03/3610.20 c LP basis resets 0
3600.03/3610.20 c LP cycling count 0
3600.03/3610.20 c LP singular count 0
3600.03/3610.20 c LP no primal count 0
3600.03/3610.20 c LP no farkas count 0
3600.03/3610.20 c LP other issue count 0
3600.03/3610.20 c LP Gomory cuts 0
3600.03/3610.20 c LP learned cuts 0
3600.03/3610.20 c LP deleted cuts 0
3600.03/3610.20 c LP encountered Gomory constraints 0
3600.03/3610.20 c LP encountered Farkas constraints 0
3600.03/3610.20 c LP encountered learned Farkas constraints 0
3600.03/3610.20 c CG auxiliary variables introduced 0
3600.03/3610.20 c CG solutions found 3
3600.03/3610.20 c CG cores constructed 0
3600.03/3610.20 c CG core cardinality constraints returned 0
3600.03/3610.20 c CG unit cores 0
3600.03/3610.20 c CG single cores 0
3600.03/3610.20 c CG blocks removed during cardinality reduction 0
3600.03/3610.20 c CG first core best 0
3600.03/3610.20 c CG decision core best 0
3600.03/3610.20 c CG core reduction tie 0
3600.03/3610.20 c CG core degree average 0.00
3600.03/3610.20 c CG core slack average 0.00
3600.03/3610.20 c CG exhausted 0
3600.03/3610.20 c CG exhaust time 0 s
3600.03/3610.20 c CG trimmed 0
3600.03/3610.20 c CG trim time 0 s
3600.03/3610.20 c CG minimized 0
3600.03/3610.20 c CG minimize time 0 s
3600.03/3610.20 c CG am1 prop time 0.000194 s
3600.03/3610.20 c CG # am1s reformulated 0
3600.03/3610.20 c CG lower bound derived from am1s 0
3600.03/3610.20 c CG # clausal cores 0
3600.03/3610.20 c CG # cardinality cores 0
3600.03/3610.20 c CG # pb cores 0
3600.03/3610.20 c CG # pb reforms 0
3600.03/3610.20 c CG # cores discarded because of pb reform 0
3600.03/3610.20 d LOWERBOUND 0
3600.03/3610.20 d NCORES 0
3600.03/3610.20 d NPBCORES 0
3600.03/3610.20 d NPBREFORM 0
3600.03/3610.20 d NTRIMMED 0
3600.03/3610.20 d NEXHAUSTED 0
3600.03/3610.20 d NAM1S 0
3600.03/3610.20 d AM1LB 0
3600.03/3610.20 c [Papilo Statistics]
3600.03/3610.20 c prepro time 0.000406138s
3600.03/3610.20 c # tsx applied 8
3600.03/3610.20 c # tsx conflicts 0
3600.03/3610.20 c # bound changes 0
3600.03/3610.20 c # side changes 8
3600.03/3610.20 c # coef changes 0
3600.03/3610.20 c # rounds 2
3600.03/3610.20 c # deted vars 0
3600.03/3610.20 c # deted constrs 8
3600.03/3610.20 c # consecutive rounds of only bound changes 0
3600.03/3610.20 c [STEP] postprocessing with Papilo
3600.03/3610.20 o 23
3600.03/3610.20 s SATISFIABLE
3600.03/3610.20 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 x132 x133 x134 -x135 x136 -x137 -x138 x139 -x140 x141 x142 -x143 x144 -x145 -x146 -x147 x148 -x149 x150 x151 x152 x153 -x154 -x155 x156 -x157 x158 -x159 x160 -x161 x162 -x163 x164 x165 -x166 -x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 -x177 x178 -x179 -x180 x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 -x197 -x198
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62662 MiB free)
memory of node 1: 64465 MiB (56900 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528966-1752257604/watcher-4528966-1752257604 -o /tmp/evaluation-result-4528966-1752257604/solver-4528966-1752257604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117730 --watchdog 3760 mixed-bag HOME/instance-4528966-1752257604.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117888, runsolver pid=117885
[startup+0.100064 s]*
/proc/loadavg: 4.10 3.63 3.69 5/263 117889
/proc/meminfo: memFree=122432972/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=103304 memory=31488 CPUtime=0.09 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 3962 0 0 0 8 1 0 0 20 0 1 0 141434948 105783296 7872 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 25826 7872 4320 2834 0 8031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103304 KiB
Current children cumulated memory: 31488 KiB
[startup+0.205409 s]*
/proc/loadavg: 4.10 3.63 3.69 5/263 117889
/proc/meminfo: memFree=122413000/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=114632 memory=41856 CPUtime=0.19 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 6575 0 0 0 18 1 0 0 20 0 1 0 141434948 117383168 10464 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 28658 10464 4320 2834 0 10863 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 114632 KiB
Current children cumulated memory: 41856 KiB
[startup+0.305336 s]*
/proc/loadavg: 4.10 3.63 3.69 5/263 117889
/proc/meminfo: memFree=122413000/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=113572 memory=40972 CPUtime=0.3 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 6602 0 0 0 28 2 0 0 20 0 1 0 141434948 116297728 10243 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 28393 10243 4320 2834 0 10598 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113572 KiB
Current children cumulated memory: 40972 KiB
[startup+0.700158 s]
/proc/loadavg: 4.10 3.63 3.69 5/263 117889
/proc/meminfo: memFree=122397752/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=114724 memory=42008 CPUtime=0.68 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 7016 0 0 0 66 2 0 0 20 0 1 0 141434948 117477376 10502 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 28681 10502 4320 2834 0 10886 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114724 KiB
Current children cumulated memory: 42008 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 3.63 3.69 5/263 117889
/proc/meminfo: memFree=122393656/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=125616 memory=51628 CPUtime=1.47 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 9479 0 0 0 145 2 0 0 20 0 1 0 141434948 128630784 12907 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 31404 12907 4320 2834 0 13609 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 125616 KiB
Current children cumulated memory: 51628 KiB
[startup+3.10519 s]
/proc/loadavg: 4.10 3.63 3.69 5/263 117889
/proc/meminfo: memFree=122366128/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=127720 memory=54652 CPUtime=3.07 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 10994 0 0 0 305 2 0 0 20 0 1 0 141434948 130785280 13663 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 31930 13663 4320 2834 0 14135 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 54652 KiB
[startup+6.30015 s]
/proc/loadavg: 4.09 3.63 3.69 5/263 117889
/proc/meminfo: memFree=122338232/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=139040 memory=66536 CPUtime=6.26 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 14015 0 0 0 622 4 0 0 20 0 1 0 141434948 142376960 16634 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 34760 16634 4416 2834 0 16965 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 139040 KiB
Current children cumulated memory: 66536 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.64 3.69 5/263 117889
/proc/meminfo: memFree=122238284/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=163240 memory=90344 CPUtime=12.64 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 19946 0 0 0 1259 5 0 0 20 0 1 0 141434948 167157760 22586 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 40810 22586 4416 2834 0 23015 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 163240 KiB
Current children cumulated memory: 90344 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 3.66 3.70 5/263 117890
/proc/meminfo: memFree=122120336/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=210124 memory=133556 CPUtime=25.4 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 31169 0 0 0 2533 7 0 0 20 0 1 0 141434948 215166976 33389 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 52531 33389 4416 2834 0 34736 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 210124 KiB
Current children cumulated memory: 133556 KiB
[startup+51.1052 s]
/proc/loadavg: 4.10 3.70 3.72 5/263 117890
/proc/meminfo: memFree=121889416/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=280756 memory=200684 CPUtime=50.91 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 48299 0 0 0 5081 10 0 0 20 0 1 0 141434948 287494144 50171 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 70189 50171 4416 2834 0 52394 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 280756 KiB
Current children cumulated memory: 200684 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.77 3.74 5/263 117892
/proc/meminfo: memFree=121716556/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=389016 memory=307816 CPUtime=101.94 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 75943 0 0 0 10179 15 0 0 20 0 1 0 141434948 398352384 76954 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 97254 76954 4416 2834 0 79459 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 389016 KiB
Current children cumulated memory: 307816 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.83 3.76 5/263 117894
/proc/meminfo: memFree=121516868/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=472364 memory=389608 CPUtime=161.75 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 96399 0 0 0 16155 20 0 0 20 0 1 0 141434948 483700736 97402 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 118091 97402 4416 2834 0 100296 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 472364 KiB
Current children cumulated memory: 389608 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.88 3.78 5/263 117896
/proc/meminfo: memFree=121374340/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=540420 memory=456600 CPUtime=221.56 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 113380 0 0 0 22133 23 0 0 20 0 1 0 141434948 553390080 114150 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 135105 114150 4416 2834 0 117310 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 540420 KiB
Current children cumulated memory: 456600 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.92 3.81 5/264 117901
/proc/meminfo: memFree=121181532/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=625624 memory=537988 CPUtime=281.37 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 133231 0 0 0 28110 27 0 0 20 0 1 0 141434948 640638976 134497 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 156406 134497 4416 2834 0 138611 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 625624 KiB
Current children cumulated memory: 537988 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.95 3.83 5/263 117907
/proc/meminfo: memFree=121243712/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=476724 memory=397780 CPUtime=341.22 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 139667 0 0 0 34051 71 0 0 20 0 1 0 141434948 488165376 99445 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 119181 99445 4576 2834 0 101386 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 476724 KiB
Current children cumulated memory: 397780 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.97 3.84 5/263 117909
/proc/meminfo: memFree=121181904/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=476724 memory=401392 CPUtime=401.07 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 140046 0 0 0 39997 110 0 0 20 0 1 0 141434948 488165376 100348 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 119181 100348 4576 2834 0 101386 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 476724 KiB
Current children cumulated memory: 401392 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.00 3.86 5/263 117911
/proc/meminfo: memFree=121139520/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=483904 memory=402160 CPUtime=460.91 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 140260 0 0 0 45950 141 0 0 20 0 1 0 141434948 495517696 100540 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 120976 100540 4576 2834 0 103181 0
################
# More data... #
################
Current children cumulated memory: 420372 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 118031
/proc/meminfo: memFree=119949992/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=495580 memory=420372 CPUtime=2854.29 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141241 0 0 0 284586 843 0 0 20 0 1 0 141434948 507473920 105093 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 123895 105093 4576 2834 0 106100 0
Current children cumulated CPU time: 2854.29 s
Current children cumulated vsize: 495580 KiB
Current children cumulated memory: 420372 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 118033
/proc/meminfo: memFree=119959984/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=495580 memory=420372 CPUtime=2914.12 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141241 0 0 0 290558 854 0 0 20 0 1 0 141434948 507473920 105093 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 123895 105093 4576 2834 0 106100 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 495580 KiB
Current children cumulated memory: 420372 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 118035
/proc/meminfo: memFree=119910588/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=495580 memory=420628 CPUtime=2973.96 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141324 0 0 0 296530 866 0 0 20 0 1 0 141434948 507473920 105157 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 123895 105157 4576 2834 0 106100 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 495580 KiB
Current children cumulated memory: 420628 KiB
[startup+3042.3 s]
/proc/loadavg: 4.44 4.17 4.12 5/263 118037
/proc/meminfo: memFree=119891368/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=495580 memory=420628 CPUtime=3033.79 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141330 0 0 0 302502 877 0 0 20 0 1 0 141434948 507473920 105157 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 123895 105157 4576 2834 0 106100 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 495580 KiB
Current children cumulated memory: 420628 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/263 118039
/proc/meminfo: memFree=119825464/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=495580 memory=420628 CPUtime=3093.62 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141331 0 0 0 308471 891 0 0 20 0 1 0 141434948 507473920 105157 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 123895 105157 4576 2834 0 106100 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 495580 KiB
Current children cumulated memory: 420628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 118041
/proc/meminfo: memFree=119747916/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=421524 CPUtime=3153.45 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141538 0 0 0 314441 904 0 0 20 0 1 0 141434948 526897152 105381 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 105381 4576 2834 0 110842 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 421524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 118043
/proc/meminfo: memFree=119742596/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=421524 CPUtime=3213.28 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141538 0 0 0 320412 916 0 0 20 0 1 0 141434948 526897152 105381 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 105381 4576 2834 0 110842 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 421524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/263 118047
/proc/meminfo: memFree=119624828/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=421524 CPUtime=3273.12 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141538 0 0 0 326384 928 0 0 20 0 1 0 141434948 526897152 105381 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 105381 4576 2834 0 110842 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 421524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 118142
/proc/meminfo: memFree=117642628/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=421524 CPUtime=3332.88 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141538 0 0 0 332342 946 0 0 20 0 1 0 141434948 526897152 105381 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 105381 4576 2834 0 110842 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 421524 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 118144
/proc/meminfo: memFree=116459488/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=421780 CPUtime=3392.7 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141545 0 0 0 338312 958 0 0 20 0 1 0 141434948 526897152 105445 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 105445 4576 2834 0 110842 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 421780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 118146
/proc/meminfo: memFree=115255624/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=422292 CPUtime=3452.53 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141553 0 0 0 344281 972 0 0 20 0 1 0 141434948 526897152 105573 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 105573 4576 2834 0 110842 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 422292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 118148
/proc/meminfo: memFree=115303416/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=423956 CPUtime=3512.37 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141733 0 0 0 350251 986 0 0 20 0 1 0 141434948 526897152 105989 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 105989 4576 2834 0 110842 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 423956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 118150
/proc/meminfo: memFree=115165196/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=425748 CPUtime=3572.21 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141740 0 0 0 356222 999 0 0 20 0 1 0 141434948 526897152 106437 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 106437 4576 2834 0 110842 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 425748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 118197
/proc/meminfo: memFree=115074860/131249992 swapFree=33009392/33010684
[pid=117888] ppid=117885 vsize=514548 memory=429972 CPUtime=3600.03 cores=4,6
/proc/117888/stat : 117888 (mixed-bag) R 117885 117888 117714 0 -1 4194304 141740 0 0 0 358998 1005 0 0 20 0 1 0 141434948 526897152 107493 18446744073709551615 4235264 15840557 140722963862992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26963968 140722963868058 140722963868135 140722963868135 140722963873739 0
/proc/117888/statm: 128637 107493 4576 2834 0 110842 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 514548 KiB
Current children cumulated memory: 429972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 117888 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.99 s, system=10.06 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.05
CPU user time (s): 3589.99
CPU system time (s): 10.06
CPU usage (%): 99.7187
Max. virtual memory (cumulated for all children) (KiB): 648004
Max. memory (cumulated for all children) (KiB): 560516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.99
system time used= 10.06
maximum resident set size= 560516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141764
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= 126
involuntary context switches= 3123
# summary of solver processes directly reported to runsolver:
# pid: 117888
# total CPU time (s): 3600.05
# total CPU user time (s): 3589.99
# total CPU system time (s): 10.06
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92732 second user time and 15.0644 second system time
The end
Begin job on nodeC035 at 2025-07-11 20:13:24
IDJOB=4528966
IDBENCH=147586
IDSOLVER=3386
FILE ID=nodeC035/4528966-1752257604
RUNJOBID= nodeC035-1752257288-117730
SLURM_JOB_ID= 9682607
Free space on /tmp= 432564 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528966-1752257604/watcher-4528966-1752257604 -o /tmp/evaluation-result-4528966-1752257604/solver-4528966-1752257604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117730 --watchdog 3760 mixed-bag HOME/instance-4528966-1752257604.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=591065357
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.746
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.722
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 3639.046
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 3605.364
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 3601.456
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.755
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.041
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 3604.505
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 122437068 kB
MemAvailable: 125493188 kB
Buffers: 664 kB
Cached: 3803828 kB
SwapCached: 332 kB
Active: 4552504 kB
Inactive: 3488972 kB
Active(anon): 4233660 kB
Inactive(anon): 21028 kB
Active(file): 318844 kB
Inactive(file): 3467944 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30788 kB
Writeback: 0 kB
AnonPages: 4237744 kB
Mapped: 140608 kB
Shmem: 17700 kB
KReclaimable: 217140 kB
Slab: 310952 kB
SReclaimable: 217140 kB
SUnreclaim: 93812 kB
KernelStack: 4304 kB
PageTables: 11760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4751136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1419264 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432480 MiB
End job on nodeC035 at 2025-07-11 21:13:35