0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 172 #constraints 14
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.001351
0.00/0.00 c stratification level: 64
0.00/0.03 c bounds 454 >= 0 @ 0.022045
0.00/0.03 c stratification level: 32
0.00/0.03 c bounds 274 >= 0 @ 0.030491
0.00/0.03 c stratification level: 16
0.41/0.48 c #Conflicts: 1000 | #Constraints: 1015
0.41/0.48 c bounds 116 >= 0 @ 0.454335
0.41/0.48 c stratification level: 8
19.95/20.03 c #Conflicts: 2000 | #Constraints: 2016
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 3000 | #Constraints: 2018
19.95/20.03 c #Conflicts: 4000 | #Constraints: 3018
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 5000 | #Constraints: 2425
19.95/20.03 c #Conflicts: 6000 | #Constraints: 3425
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 7000 | #Constraints: 2427
19.95/20.03 c #Conflicts: 8000 | #Constraints: 3427
19.95/20.03 c #Conflicts: 9000 | #Constraints: 4427
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 10000 | #Constraints: 3128
19.95/20.03 c #Conflicts: 11000 | #Constraints: 4128
19.95/20.03 c #Conflicts: 12000 | #Constraints: 5128
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 13000 | #Constraints: 3575
19.95/20.03 c #Conflicts: 14000 | #Constraints: 4575
19.95/20.03 c #Conflicts: 15000 | #Constraints: 5575
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 16000 | #Constraints: 3801
19.95/20.03 c #Conflicts: 17000 | #Constraints: 4801
19.95/20.03 c #Conflicts: 18000 | #Constraints: 5801
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 19000 | #Constraints: 3816
19.95/20.03 c #Conflicts: 20000 | #Constraints: 4816
19.95/20.03 c #Conflicts: 21000 | #Constraints: 5816
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 22000 | #Constraints: 3622
19.95/20.03 c #Conflicts: 23000 | #Constraints: 4622
19.95/20.03 c #Conflicts: 24000 | #Constraints: 5622
19.95/20.03 c #Conflicts: 25000 | #Constraints: 6622
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 26000 | #Constraints: 4225
19.95/20.03 c #Conflicts: 27000 | #Constraints: 5225
19.95/20.03 c #Conflicts: 28000 | #Constraints: 6225
19.95/20.03 c #Conflicts: 29000 | #Constraints: 7225
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 30000 | #Constraints: 4622
19.95/20.03 c #Conflicts: 31000 | #Constraints: 5622
19.95/20.03 c #Conflicts: 32000 | #Constraints: 6622
19.95/20.03 c #Conflicts: 33000 | #Constraints: 7622
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 34000 | #Constraints: 4824
19.95/20.03 c #Conflicts: 35000 | #Constraints: 5824
19.95/20.03 c #Conflicts: 36000 | #Constraints: 6824
19.95/20.03 c #Conflicts: 37000 | #Constraints: 7824
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 38000 | #Constraints: 4829
19.95/20.03 c #Conflicts: 39000 | #Constraints: 5829
19.95/20.03 c #Conflicts: 40000 | #Constraints: 6829
19.95/20.03 c #Conflicts: 41000 | #Constraints: 7829
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 42000 | #Constraints: 4633
19.95/20.03 c #Conflicts: 43000 | #Constraints: 5633
19.95/20.03 c #Conflicts: 44000 | #Constraints: 6633
19.95/20.03 c #Conflicts: 45000 | #Constraints: 7633
19.95/20.03 c #Conflicts: 46000 | #Constraints: 8633
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 47000 | #Constraints: 5227
19.95/20.03 c #Conflicts: 48000 | #Constraints: 6227
19.95/20.03 c #Conflicts: 49000 | #Constraints: 7227
19.95/20.03 c #Conflicts: 50000 | #Constraints: 8227
19.95/20.03 c #Conflicts: 51000 | #Constraints: 9227
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 52000 | #Constraints: 5629
19.95/20.03 c #Conflicts: 53000 | #Constraints: 6629
19.95/20.03 c #Conflicts: 54000 | #Constraints: 7629
19.95/20.03 c #Conflicts: 55000 | #Constraints: 8629
19.95/20.03 c #Conflicts: 56000 | #Constraints: 9629
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 57000 | #Constraints: 5828
19.95/20.03 c #Conflicts: 58000 | #Constraints: 6828
19.95/20.03 c #Conflicts: 59000 | #Constraints: 7828
19.95/20.03 c #Conflicts: 60000 | #Constraints: 8828
19.95/20.03 c #Conflicts: 61000 | #Constraints: 9828
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 62000 | #Constraints: 5833
19.95/20.03 c #Conflicts: 63000 | #Constraints: 6833
19.95/20.03 c #Conflicts: 64000 | #Constraints: 7833
19.95/20.03 c #Conflicts: 65000 | #Constraints: 8833
19.95/20.03 c #Conflicts: 66000 | #Constraints: 9833
19.95/20.03 c INPROCESSING
19.95/20.03 c GARBAGE COLLECT
19.95/20.03 c #Conflicts: 67000 | #Constraints: 5632
19.95/20.03 c #Conflicts: 68000 | #Constraints: 6632
19.95/20.03 c #Conflicts: 69000 | #Constraints: 7632
52.37/52.51 c #Conflicts: 70000 | #Constraints: 8632
52.37/52.51 c #Conflicts: 71000 | #Constraints: 9632
52.37/52.51 c #Conflicts: 72000 | #Constraints: 10632
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 73000 | #Constraints: 6232
52.37/52.51 c #Conflicts: 74000 | #Constraints: 7232
52.37/52.51 c #Conflicts: 75000 | #Constraints: 8232
52.37/52.51 c #Conflicts: 76000 | #Constraints: 9232
52.37/52.51 c #Conflicts: 77000 | #Constraints: 10232
52.37/52.51 c #Conflicts: 78000 | #Constraints: 11232
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 79000 | #Constraints: 6632
52.37/52.51 c #Conflicts: 80000 | #Constraints: 7632
52.37/52.51 c #Conflicts: 81000 | #Constraints: 8632
52.37/52.51 c #Conflicts: 82000 | #Constraints: 9632
52.37/52.51 c #Conflicts: 83000 | #Constraints: 10632
52.37/52.51 c #Conflicts: 84000 | #Constraints: 11632
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 85000 | #Constraints: 6833
52.37/52.51 c #Conflicts: 86000 | #Constraints: 7833
52.37/52.51 c #Conflicts: 87000 | #Constraints: 8833
52.37/52.51 c #Conflicts: 88000 | #Constraints: 9833
52.37/52.51 c #Conflicts: 89000 | #Constraints: 10833
52.37/52.51 c #Conflicts: 90000 | #Constraints: 11833
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 91000 | #Constraints: 6830
52.37/52.51 c #Conflicts: 92000 | #Constraints: 7830
52.37/52.51 c #Conflicts: 93000 | #Constraints: 8830
52.37/52.51 c #Conflicts: 94000 | #Constraints: 9830
52.37/52.51 c #Conflicts: 95000 | #Constraints: 10830
52.37/52.51 c #Conflicts: 96000 | #Constraints: 11830
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 97000 | #Constraints: 6631
52.37/52.51 c #Conflicts: 98000 | #Constraints: 7631
52.37/52.51 c #Conflicts: 99000 | #Constraints: 8631
52.37/52.51 c #Conflicts: 100000 | #Constraints: 9631
52.37/52.51 c #Conflicts: 101000 | #Constraints: 10631
52.37/52.51 c #Conflicts: 102000 | #Constraints: 11631
52.37/52.51 c #Conflicts: 103000 | #Constraints: 12631
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 104000 | #Constraints: 7230
52.37/52.51 c #Conflicts: 105000 | #Constraints: 8230
52.37/52.51 c #Conflicts: 106000 | #Constraints: 9230
52.37/52.51 c #Conflicts: 107000 | #Constraints: 10230
52.37/52.51 c #Conflicts: 108000 | #Constraints: 11230
52.37/52.51 c #Conflicts: 109000 | #Constraints: 12230
52.37/52.51 c #Conflicts: 110000 | #Constraints: 13230
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 111000 | #Constraints: 7629
52.37/52.51 c #Conflicts: 112000 | #Constraints: 8629
52.37/52.51 c #Conflicts: 113000 | #Constraints: 9629
52.37/52.51 c #Conflicts: 114000 | #Constraints: 10629
52.37/52.51 c #Conflicts: 115000 | #Constraints: 11629
52.37/52.51 c #Conflicts: 116000 | #Constraints: 12629
52.37/52.51 c #Conflicts: 117000 | #Constraints: 13629
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 118000 | #Constraints: 7830
52.37/52.51 c #Conflicts: 119000 | #Constraints: 8830
52.37/52.51 c #Conflicts: 120000 | #Constraints: 9830
52.37/52.51 c #Conflicts: 121000 | #Constraints: 10830
52.37/52.51 c #Conflicts: 122000 | #Constraints: 11830
52.37/52.51 c #Conflicts: 123000 | #Constraints: 12830
52.37/52.51 c #Conflicts: 124000 | #Constraints: 13830
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 125000 | #Constraints: 7829
52.37/52.51 c #Conflicts: 126000 | #Constraints: 8829
52.37/52.51 c #Conflicts: 127000 | #Constraints: 9829
52.37/52.51 c #Conflicts: 128000 | #Constraints: 10829
52.37/52.51 c #Conflicts: 129000 | #Constraints: 11829
52.37/52.51 c #Conflicts: 130000 | #Constraints: 12829
52.37/52.51 c #Conflicts: 131000 | #Constraints: 13829
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 132000 | #Constraints: 7626
52.37/52.51 c #Conflicts: 133000 | #Constraints: 8626
52.37/52.51 c #Conflicts: 134000 | #Constraints: 9626
52.37/52.51 c #Conflicts: 135000 | #Constraints: 10626
52.37/52.51 c #Conflicts: 136000 | #Constraints: 11626
52.37/52.51 c #Conflicts: 137000 | #Constraints: 12626
52.37/52.51 c #Conflicts: 138000 | #Constraints: 13626
52.37/52.51 c #Conflicts: 139000 | #Constraints: 14626
52.37/52.51 c INPROCESSING
52.37/52.51 c GARBAGE COLLECT
52.37/52.51 c #Conflicts: 140000 | #Constraints: 8231
52.37/52.51 c #Conflicts: 141000 | #Constraints: 9231
97.95/98.26 c #Conflicts: 142000 | #Constraints: 10231
97.95/98.26 c #Conflicts: 143000 | #Constraints: 11231
97.95/98.26 c #Conflicts: 144000 | #Constraints: 12231
97.95/98.26 c #Conflicts: 145000 | #Constraints: 13231
97.95/98.26 c #Conflicts: 146000 | #Constraints: 14231
97.95/98.26 c #Conflicts: 147000 | #Constraints: 15231
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 148000 | #Constraints: 8632
97.95/98.26 c #Conflicts: 149000 | #Constraints: 9632
97.95/98.26 c #Conflicts: 150000 | #Constraints: 10632
97.95/98.26 c #Conflicts: 151000 | #Constraints: 11632
97.95/98.26 c #Conflicts: 152000 | #Constraints: 12632
97.95/98.26 c #Conflicts: 153000 | #Constraints: 13632
97.95/98.26 c #Conflicts: 154000 | #Constraints: 14632
97.95/98.26 c #Conflicts: 155000 | #Constraints: 15632
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 156000 | #Constraints: 8830
97.95/98.26 c #Conflicts: 157000 | #Constraints: 9830
97.95/98.26 c #Conflicts: 158000 | #Constraints: 10830
97.95/98.26 c #Conflicts: 159000 | #Constraints: 11830
97.95/98.26 c #Conflicts: 160000 | #Constraints: 12830
97.95/98.26 c #Conflicts: 161000 | #Constraints: 13830
97.95/98.26 c #Conflicts: 162000 | #Constraints: 14830
97.95/98.26 c #Conflicts: 163000 | #Constraints: 15830
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 164000 | #Constraints: 8831
97.95/98.26 c #Conflicts: 165000 | #Constraints: 9831
97.95/98.26 c #Conflicts: 166000 | #Constraints: 10831
97.95/98.26 c #Conflicts: 167000 | #Constraints: 11831
97.95/98.26 c #Conflicts: 168000 | #Constraints: 12831
97.95/98.26 c #Conflicts: 169000 | #Constraints: 13831
97.95/98.26 c #Conflicts: 170000 | #Constraints: 14831
97.95/98.26 c #Conflicts: 171000 | #Constraints: 15831
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 172000 | #Constraints: 8627
97.95/98.26 c #Conflicts: 173000 | #Constraints: 9627
97.95/98.26 c #Conflicts: 174000 | #Constraints: 10627
97.95/98.26 c #Conflicts: 175000 | #Constraints: 11627
97.95/98.26 c #Conflicts: 176000 | #Constraints: 12627
97.95/98.26 c #Conflicts: 177000 | #Constraints: 13627
97.95/98.26 c #Conflicts: 178000 | #Constraints: 14627
97.95/98.26 c #Conflicts: 179000 | #Constraints: 15627
97.95/98.26 c #Conflicts: 180000 | #Constraints: 16627
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 181000 | #Constraints: 9228
97.95/98.26 c #Conflicts: 182000 | #Constraints: 10228
97.95/98.26 c #Conflicts: 183000 | #Constraints: 11228
97.95/98.26 c #Conflicts: 184000 | #Constraints: 12228
97.95/98.26 c #Conflicts: 185000 | #Constraints: 13228
97.95/98.26 c #Conflicts: 186000 | #Constraints: 14228
97.95/98.26 c #Conflicts: 187000 | #Constraints: 15228
97.95/98.26 c #Conflicts: 188000 | #Constraints: 16228
97.95/98.26 c #Conflicts: 189000 | #Constraints: 17228
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 190000 | #Constraints: 9634
97.95/98.26 c #Conflicts: 191000 | #Constraints: 10634
97.95/98.26 c #Conflicts: 192000 | #Constraints: 11634
97.95/98.26 c #Conflicts: 193000 | #Constraints: 12634
97.95/98.26 c #Conflicts: 194000 | #Constraints: 13634
97.95/98.26 c #Conflicts: 195000 | #Constraints: 14634
97.95/98.26 c #Conflicts: 196000 | #Constraints: 15634
97.95/98.26 c #Conflicts: 197000 | #Constraints: 16634
97.95/98.26 c #Conflicts: 198000 | #Constraints: 17634
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 199000 | #Constraints: 9836
97.95/98.26 c #Conflicts: 200000 | #Constraints: 10836
97.95/98.26 c #Conflicts: 201000 | #Constraints: 11836
97.95/98.26 c #Conflicts: 202000 | #Constraints: 12836
97.95/98.26 c #Conflicts: 203000 | #Constraints: 13836
97.95/98.26 c #Conflicts: 204000 | #Constraints: 14836
97.95/98.26 c #Conflicts: 205000 | #Constraints: 15836
97.95/98.26 c #Conflicts: 206000 | #Constraints: 16836
97.95/98.26 c #Conflicts: 207000 | #Constraints: 17836
97.95/98.26 c INPROCESSING
97.95/98.26 c GARBAGE COLLECT
97.95/98.26 c #Conflicts: 208000 | #Constraints: 9834
97.95/98.26 c #Conflicts: 209000 | #Constraints: 10834
97.95/98.26 c #Conflicts: 210000 | #Constraints: 11834
97.95/98.26 c #Conflicts: 211000 | #Constraints: 12834
97.95/98.26 c #Conflicts: 212000 | #Constraints: 13834
97.95/98.26 c #Conflicts: 213000 | #Constraints: 14834
97.95/98.26 c #Conflicts: 214000 | #Constraints: 15834
156.18/156.63 c #Conflicts: 215000 | #Constraints: 16834
156.18/156.63 c #Conflicts: 216000 | #Constraints: 17834
156.18/156.63 c INPROCESSING
156.18/156.63 c GARBAGE COLLECT
156.18/156.63 c #Conflicts: 217000 | #Constraints: 9634
156.18/156.63 c #Conflicts: 218000 | #Constraints: 10634
156.18/156.63 c #Conflicts: 219000 | #Constraints: 11634
156.18/156.63 c #Conflicts: 220000 | #Constraints: 12634
156.18/156.63 c #Conflicts: 221000 | #Constraints: 13634
156.18/156.63 c #Conflicts: 222000 | #Constraints: 14634
156.18/156.63 c #Conflicts: 223000 | #Constraints: 15634
156.18/156.63 c #Conflicts: 224000 | #Constraints: 16634
156.18/156.63 c #Conflicts: 225000 | #Constraints: 17634
156.18/156.63 c #Conflicts: 226000 | #Constraints: 18634
156.18/156.63 c INPROCESSING
156.18/156.63 c GARBAGE COLLECT
156.18/156.63 c #Conflicts: 227000 | #Constraints: 10237
156.18/156.63 c #Conflicts: 228000 | #Constraints: 11237
156.18/156.63 c #Conflicts: 229000 | #Constraints: 12237
156.18/156.63 c #Conflicts: 230000 | #Constraints: 13237
156.18/156.63 c #Conflicts: 231000 | #Constraints: 14237
156.18/156.63 c #Conflicts: 232000 | #Constraints: 15237
156.18/156.63 c #Conflicts: 233000 | #Constraints: 16237
156.18/156.63 c #Conflicts: 234000 | #Constraints: 17237
156.18/156.63 c #Conflicts: 235000 | #Constraints: 18237
156.18/156.63 c #Conflicts: 236000 | #Constraints: 19237
156.18/156.63 c INPROCESSING
156.18/156.63 c GARBAGE COLLECT
156.18/156.63 c #Conflicts: 237000 | #Constraints: 10636
156.18/156.63 c #Conflicts: 238000 | #Constraints: 11636
156.18/156.63 c #Conflicts: 239000 | #Constraints: 12636
156.18/156.63 c #Conflicts: 240000 | #Constraints: 13636
156.18/156.63 c #Conflicts: 241000 | #Constraints: 14636
156.18/156.63 c #Conflicts: 242000 | #Constraints: 15636
156.18/156.63 c #Conflicts: 243000 | #Constraints: 16636
156.18/156.63 c #Conflicts: 244000 | #Constraints: 17636
156.18/156.63 c #Conflicts: 245000 | #Constraints: 18636
156.18/156.63 c #Conflicts: 246000 | #Constraints: 19636
156.18/156.63 c INPROCESSING
156.18/156.63 c GARBAGE COLLECT
156.18/156.63 c #Conflicts: 247000 | #Constraints: 10833
156.18/156.63 c #Conflicts: 248000 | #Constraints: 11833
156.18/156.63 c #Conflicts: 249000 | #Constraints: 12833
156.18/156.63 c #Conflicts: 250000 | #Constraints: 13833
156.18/156.63 c #Conflicts: 251000 | #Constraints: 14833
156.18/156.63 c #Conflicts: 252000 | #Constraints: 15833
156.18/156.63 c #Conflicts: 253000 | #Constraints: 16833
156.18/156.63 c #Conflicts: 254000 | #Constraints: 17833
156.18/156.63 c #Conflicts: 255000 | #Constraints: 18833
156.18/156.63 c #Conflicts: 256000 | #Constraints: 19833
156.18/156.63 c INPROCESSING
156.18/156.63 c GARBAGE COLLECT
156.18/156.63 c #Conflicts: 257000 | #Constraints: 10831
156.18/156.63 c #Conflicts: 258000 | #Constraints: 11831
156.18/156.63 c #Conflicts: 259000 | #Constraints: 12831
156.18/156.63 c #Conflicts: 260000 | #Constraints: 13831
156.18/156.63 c #Conflicts: 261000 | #Constraints: 14831
156.18/156.63 c #Conflicts: 262000 | #Constraints: 15831
156.18/156.63 c #Conflicts: 263000 | #Constraints: 16831
156.18/156.63 c #Conflicts: 264000 | #Constraints: 17831
156.18/156.63 c #Conflicts: 265000 | #Constraints: 18831
156.18/156.63 c #Conflicts: 266000 | #Constraints: 19831
156.18/156.63 c INPROCESSING
156.18/156.63 c GARBAGE COLLECT
156.18/156.63 c #Conflicts: 267000 | #Constraints: 10634
156.18/156.63 c #Conflicts: 268000 | #Constraints: 11634
156.18/156.63 c #Conflicts: 269000 | #Constraints: 12634
156.18/156.63 c #Conflicts: 270000 | #Constraints: 13634
156.18/156.63 c #Conflicts: 271000 | #Constraints: 14634
156.18/156.63 c #Conflicts: 272000 | #Constraints: 15634
156.18/156.63 c #Conflicts: 273000 | #Constraints: 16634
156.18/156.63 c #Conflicts: 274000 | #Constraints: 17634
156.18/156.63 c #Conflicts: 275000 | #Constraints: 18634
156.18/156.63 c #Conflicts: 276000 | #Constraints: 19634
156.18/156.63 c #Conflicts: 277000 | #Constraints: 20634
156.18/156.63 c INPROCESSING
156.18/156.63 c GARBAGE COLLECT
156.18/156.63 c #Conflicts: 278000 | #Constraints: 11231
156.18/156.63 c #Conflicts: 279000 | #Constraints: 12231
156.18/156.63 c #Conflicts: 280000 | #Constraints: 13231
156.18/156.63 c #Conflicts: 281000 | #Constraints: 14231
156.18/156.63 c #Conflicts: 282000 | #Constraints: 15231
156.18/156.63 c #Conflicts: 283000 | #Constraints: 16231
156.18/156.63 c #Conflicts: 284000 | #Constraints: 17231
156.18/156.63 c #Conflicts: 285000 | #Constraints: 18231
156.18/156.63 c #Conflicts: 286000 | #Constraints: 19231
156.18/156.63 c #Conflicts: 287000 | #Constraints: 20231
156.18/156.63 c #Conflicts: 288000 | #Constraints: 21231
156.18/156.63 c INPROCESSING
230.14/230.87 c GARBAGE COLLECT
230.14/230.87 c #Conflicts: 289000 | #Constraints: 11630
230.14/230.87 c #Conflicts: 290000 | #Constraints: 12630
230.14/230.87 c #Conflicts: 291000 | #Constraints: 13630
230.14/230.87 c #Conflicts: 292000 | #Constraints: 14630
230.14/230.87 c #Conflicts: 293000 | #Constraints: 15630
230.14/230.87 c #Conflicts: 294000 | #Constraints: 16630
230.14/230.87 c #Conflicts: 295000 | #Constraints: 17630
230.14/230.87 c #Conflicts: 296000 | #Constraints: 18630
230.14/230.87 c #Conflicts: 297000 | #Constraints: 19630
230.14/230.87 c #Conflicts: 298000 | #Constraints: 20630
230.14/230.87 c #Conflicts: 299000 | #Constraints: 21630
230.14/230.87 c INPROCESSING
230.14/230.87 c GARBAGE COLLECT
230.14/230.87 c #Conflicts: 300000 | #Constraints: 11835
230.14/230.87 c #Conflicts: 301000 | #Constraints: 12835
230.14/230.87 c #Conflicts: 302000 | #Constraints: 13835
230.14/230.87 c #Conflicts: 303000 | #Constraints: 14835
230.14/230.87 c #Conflicts: 304000 | #Constraints: 15835
230.14/230.87 c #Conflicts: 305000 | #Constraints: 16835
230.14/230.87 c #Conflicts: 306000 | #Constraints: 17835
230.14/230.87 c #Conflicts: 307000 | #Constraints: 18835
230.14/230.87 c #Conflicts: 308000 | #Constraints: 19835
230.14/230.87 c #Conflicts: 309000 | #Constraints: 20835
230.14/230.87 c #Conflicts: 310000 | #Constraints: 21835
230.14/230.87 c INPROCESSING
230.14/230.87 c GARBAGE COLLECT
230.14/230.87 c #Conflicts: 311000 | #Constraints: 11834
230.14/230.87 c #Conflicts: 312000 | #Constraints: 12834
230.14/230.87 c #Conflicts: 313000 | #Constraints: 13834
230.14/230.87 c #Conflicts: 314000 | #Constraints: 14834
230.14/230.87 c #Conflicts: 315000 | #Constraints: 15834
230.14/230.87 c #Conflicts: 316000 | #Constraints: 16834
230.14/230.87 c #Conflicts: 317000 | #Constraints: 17834
230.14/230.87 c #Conflicts: 318000 | #Constraints: 18834
230.14/230.87 c #Conflicts: 319000 | #Constraints: 19834
230.14/230.87 c #Conflicts: 320000 | #Constraints: 20834
230.14/230.87 c #Conflicts: 321000 | #Constraints: 21834
230.14/230.87 c INPROCESSING
230.14/230.87 c GARBAGE COLLECT
230.14/230.87 c #Conflicts: 322000 | #Constraints: 11636
230.14/230.87 c #Conflicts: 323000 | #Constraints: 12636
230.14/230.87 c #Conflicts: 324000 | #Constraints: 13636
230.14/230.87 c #Conflicts: 325000 | #Constraints: 14636
230.14/230.87 c #Conflicts: 326000 | #Constraints: 15636
230.14/230.87 c #Conflicts: 327000 | #Constraints: 16636
230.14/230.87 c #Conflicts: 328000 | #Constraints: 17636
230.14/230.87 c #Conflicts: 329000 | #Constraints: 18636
230.14/230.87 c #Conflicts: 330000 | #Constraints: 19636
230.14/230.87 c #Conflicts: 331000 | #Constraints: 20636
230.14/230.87 c #Conflicts: 332000 | #Constraints: 21636
230.14/230.87 c #Conflicts: 333000 | #Constraints: 22636
230.14/230.87 c INPROCESSING
230.14/230.87 c GARBAGE COLLECT
230.14/230.87 c #Conflicts: 334000 | #Constraints: 12235
230.14/230.87 c #Conflicts: 335000 | #Constraints: 13235
230.14/230.87 c #Conflicts: 336000 | #Constraints: 14235
230.14/230.87 c #Conflicts: 337000 | #Constraints: 15235
230.14/230.87 c #Conflicts: 338000 | #Constraints: 16235
230.14/230.87 c #Conflicts: 339000 | #Constraints: 17235
230.14/230.87 c #Conflicts: 340000 | #Constraints: 18235
230.14/230.87 c #Conflicts: 341000 | #Constraints: 19235
230.14/230.87 c #Conflicts: 342000 | #Constraints: 20235
230.14/230.87 c #Conflicts: 343000 | #Constraints: 21235
230.14/230.87 c #Conflicts: 344000 | #Constraints: 22235
230.14/230.87 c #Conflicts: 345000 | #Constraints: 23235
230.14/230.87 c INPROCESSING
230.14/230.87 c GARBAGE COLLECT
230.14/230.87 c #Conflicts: 346000 | #Constraints: 12634
230.14/230.87 c #Conflicts: 347000 | #Constraints: 13634
230.14/230.87 c #Conflicts: 348000 | #Constraints: 14634
230.14/230.87 c #Conflicts: 349000 | #Constraints: 15634
230.14/230.87 c #Conflicts: 350000 | #Constraints: 16634
230.14/230.87 c #Conflicts: 351000 | #Constraints: 17634
230.14/230.87 c #Conflicts: 352000 | #Constraints: 18634
230.14/230.87 c #Conflicts: 353000 | #Constraints: 19634
230.14/230.87 c #Conflicts: 354000 | #Constraints: 20634
230.14/230.87 c #Conflicts: 355000 | #Constraints: 21634
230.14/230.87 c #Conflicts: 356000 | #Constraints: 22634
230.14/230.87 c #Conflicts: 357000 | #Constraints: 23634
230.14/230.87 c INPROCESSING
230.14/230.87 c GARBAGE COLLECT
230.14/230.87 c #Conflicts: 358000 | #Constraints: 12829
230.14/230.87 c #Conflicts: 359000 | #Constraints: 13829
230.14/230.87 c #Conflicts: 360000 | #Constraints: 14829
230.14/230.87 c #Conflicts: 361000 | #Constraints: 15829
230.14/230.87 c #Conflicts: 362000 | #Constraints: 16829
230.14/230.87 c #Conflicts: 363000 | #Constraints: 17829
318.31/319.20 c #Conflicts: 364000 | #Constraints: 18829
318.31/319.20 c #Conflicts: 365000 | #Constraints: 19829
318.31/319.20 c #Conflicts: 366000 | #Constraints: 20829
318.31/319.20 c #Conflicts: 367000 | #Constraints: 21829
318.31/319.20 c #Conflicts: 368000 | #Constraints: 22829
318.31/319.20 c #Conflicts: 369000 | #Constraints: 23829
318.31/319.20 c INPROCESSING
318.31/319.20 c GARBAGE COLLECT
318.31/319.20 c #Conflicts: 370000 | #Constraints: 12831
318.31/319.20 c #Conflicts: 371000 | #Constraints: 13831
318.31/319.20 c #Conflicts: 372000 | #Constraints: 14831
318.31/319.20 c #Conflicts: 373000 | #Constraints: 15831
318.31/319.20 c #Conflicts: 374000 | #Constraints: 16831
318.31/319.20 c #Conflicts: 375000 | #Constraints: 17831
318.31/319.20 c #Conflicts: 376000 | #Constraints: 18831
318.31/319.20 c #Conflicts: 377000 | #Constraints: 19831
318.31/319.20 c #Conflicts: 378000 | #Constraints: 20831
318.31/319.20 c #Conflicts: 379000 | #Constraints: 21831
318.31/319.20 c #Conflicts: 380000 | #Constraints: 22831
318.31/319.20 c #Conflicts: 381000 | #Constraints: 23831
318.31/319.20 c INPROCESSING
318.31/319.20 c GARBAGE COLLECT
318.31/319.20 c #Conflicts: 382000 | #Constraints: 12632
318.31/319.20 c #Conflicts: 383000 | #Constraints: 13632
318.31/319.20 c #Conflicts: 384000 | #Constraints: 14632
318.31/319.20 c #Conflicts: 385000 | #Constraints: 15632
318.31/319.20 c #Conflicts: 386000 | #Constraints: 16632
318.31/319.20 c #Conflicts: 387000 | #Constraints: 17632
318.31/319.20 c #Conflicts: 388000 | #Constraints: 18632
318.31/319.20 c #Conflicts: 389000 | #Constraints: 19632
318.31/319.20 c #Conflicts: 390000 | #Constraints: 20632
318.31/319.20 c #Conflicts: 391000 | #Constraints: 21632
318.31/319.20 c #Conflicts: 392000 | #Constraints: 22632
318.31/319.20 c #Conflicts: 393000 | #Constraints: 23632
318.31/319.20 c #Conflicts: 394000 | #Constraints: 24632
318.31/319.20 c INPROCESSING
318.31/319.20 c GARBAGE COLLECT
318.31/319.20 c #Conflicts: 395000 | #Constraints: 13231
318.31/319.20 c #Conflicts: 396000 | #Constraints: 14231
318.31/319.20 c #Conflicts: 397000 | #Constraints: 15231
318.31/319.20 c #Conflicts: 398000 | #Constraints: 16231
318.31/319.20 c #Conflicts: 399000 | #Constraints: 17231
318.31/319.20 c #Conflicts: 400000 | #Constraints: 18231
318.31/319.20 c #Conflicts: 401000 | #Constraints: 19231
318.31/319.20 c #Conflicts: 402000 | #Constraints: 20231
318.31/319.20 c #Conflicts: 403000 | #Constraints: 21231
318.31/319.20 c #Conflicts: 404000 | #Constraints: 22231
318.31/319.20 c #Conflicts: 405000 | #Constraints: 23231
318.31/319.20 c #Conflicts: 406000 | #Constraints: 24231
318.31/319.20 c #Conflicts: 407000 | #Constraints: 25231
318.31/319.20 c INPROCESSING
318.31/319.20 c GARBAGE COLLECT
318.31/319.20 c #Conflicts: 408000 | #Constraints: 13630
318.31/319.20 c #Conflicts: 409000 | #Constraints: 14630
318.31/319.20 c #Conflicts: 410000 | #Constraints: 15630
318.31/319.20 c #Conflicts: 411000 | #Constraints: 16630
318.31/319.20 c #Conflicts: 412000 | #Constraints: 17630
318.31/319.20 c #Conflicts: 413000 | #Constraints: 18630
318.31/319.20 c #Conflicts: 414000 | #Constraints: 19630
318.31/319.20 c #Conflicts: 415000 | #Constraints: 20630
318.31/319.20 c #Conflicts: 416000 | #Constraints: 21630
318.31/319.20 c #Conflicts: 417000 | #Constraints: 22630
318.31/319.20 c #Conflicts: 418000 | #Constraints: 23630
318.31/319.20 c #Conflicts: 419000 | #Constraints: 24630
318.31/319.20 c #Conflicts: 420000 | #Constraints: 25630
318.31/319.20 c INPROCESSING
318.31/319.20 c GARBAGE COLLECT
318.31/319.20 c #Conflicts: 421000 | #Constraints: 13833
318.31/319.20 c #Conflicts: 422000 | #Constraints: 14833
318.31/319.20 c #Conflicts: 423000 | #Constraints: 15833
318.31/319.20 c #Conflicts: 424000 | #Constraints: 16833
318.31/319.20 c #Conflicts: 425000 | #Constraints: 17833
318.31/319.20 c #Conflicts: 426000 | #Constraints: 18833
318.31/319.20 c #Conflicts: 427000 | #Constraints: 19833
318.31/319.20 c #Conflicts: 428000 | #Constraints: 20833
318.31/319.20 c #Conflicts: 429000 | #Constraints: 21833
318.31/319.20 c #Conflicts: 430000 | #Constraints: 22833
318.31/319.20 c #Conflicts: 431000 | #Constraints: 23833
318.31/319.20 c #Conflicts: 432000 | #Constraints: 24833
318.31/319.20 c #Conflicts: 433000 | #Constraints: 25833
318.31/319.20 c INPROCESSING
318.31/319.20 c GARBAGE COLLECT
318.31/319.20 c #Conflicts: 434000 | #Constraints: 13835
318.31/319.20 c #Conflicts: 435000 | #Constraints: 14835
318.31/319.20 c #Conflicts: 436000 | #Constraints: 15835
318.31/319.20 c #Conflicts: 437000 | #Constraints: 16835
318.31/319.20 c #Conflicts: 438000 | #Constraints: 17835
355.51/356.54 c #Conflicts: 439000 | #Constraints: 18835
355.51/356.54 c #Conflicts: 440000 | #Constraints: 19835
355.51/356.54 c #Conflicts: 441000 | #Constraints: 20835
355.51/356.54 c #Conflicts: 442000 | #Constraints: 21835
355.51/356.54 c #Conflicts: 443000 | #Constraints: 22835
355.51/356.54 c #Conflicts: 444000 | #Constraints: 23835
355.51/356.54 c #Conflicts: 445000 | #Constraints: 24835
355.51/356.54 c #Conflicts: 446000 | #Constraints: 25835
355.51/356.54 c INPROCESSING
355.51/356.54 c GARBAGE COLLECT
355.51/356.54 c #Conflicts: 447000 | #Constraints: 13638
355.51/356.54 c #Conflicts: 448000 | #Constraints: 14638
355.51/356.54 c #Conflicts: 449000 | #Constraints: 15638
355.51/356.54 c #Conflicts: 450000 | #Constraints: 16638
355.51/356.54 c #Conflicts: 451000 | #Constraints: 17638
355.51/356.54 c #Conflicts: 452000 | #Constraints: 18638
355.51/356.54 c #Conflicts: 453000 | #Constraints: 19638
355.51/356.54 c #Conflicts: 454000 | #Constraints: 20638
355.51/356.54 c #Conflicts: 455000 | #Constraints: 21638
355.51/356.54 c #Conflicts: 456000 | #Constraints: 22638
355.51/356.54 c #Conflicts: 457000 | #Constraints: 23638
355.51/356.54 c #Conflicts: 458000 | #Constraints: 24638
355.51/356.54 c #Conflicts: 459000 | #Constraints: 25638
355.51/356.54 c #Conflicts: 460000 | #Constraints: 26638
355.51/356.54 c INPROCESSING
355.51/356.54 c GARBAGE COLLECT
355.51/356.54 c bounds 50 >= 0 @ 353.607
355.51/356.54 c stratification level: 4
467.62/468.97 c #Conflicts: 461000 | #Constraints: 14236
467.62/468.97 c #Conflicts: 462000 | #Constraints: 15236
467.62/468.97 c #Conflicts: 463000 | #Constraints: 16236
467.62/468.97 c #Conflicts: 464000 | #Constraints: 17236
467.62/468.97 c #Conflicts: 465000 | #Constraints: 18236
467.62/468.97 c #Conflicts: 466000 | #Constraints: 19236
467.62/468.97 c #Conflicts: 467000 | #Constraints: 20236
467.62/468.97 c #Conflicts: 468000 | #Constraints: 21236
467.62/468.97 c #Conflicts: 469000 | #Constraints: 22236
467.62/468.97 c #Conflicts: 470000 | #Constraints: 23236
467.62/468.97 c #Conflicts: 471000 | #Constraints: 24236
467.62/468.97 c #Conflicts: 472000 | #Constraints: 25236
467.62/468.97 c #Conflicts: 473000 | #Constraints: 26236
467.62/468.97 c #Conflicts: 474000 | #Constraints: 27236
467.62/468.97 c INPROCESSING
467.62/468.97 c GARBAGE COLLECT
467.62/468.97 c #Conflicts: 475000 | #Constraints: 14635
467.62/468.97 c #Conflicts: 476000 | #Constraints: 15635
467.62/468.97 c #Conflicts: 477000 | #Constraints: 16635
467.62/468.97 c #Conflicts: 478000 | #Constraints: 17635
467.62/468.97 c #Conflicts: 479000 | #Constraints: 18635
467.62/468.97 c #Conflicts: 480000 | #Constraints: 19635
467.62/468.97 c #Conflicts: 481000 | #Constraints: 20635
467.62/468.97 c #Conflicts: 482000 | #Constraints: 21635
467.62/468.97 c #Conflicts: 483000 | #Constraints: 22635
467.62/468.97 c #Conflicts: 484000 | #Constraints: 23635
467.62/468.97 c #Conflicts: 485000 | #Constraints: 24635
467.62/468.97 c #Conflicts: 486000 | #Constraints: 25635
467.62/468.97 c #Conflicts: 487000 | #Constraints: 26635
467.62/468.97 c #Conflicts: 488000 | #Constraints: 27635
467.62/468.97 c INPROCESSING
467.62/468.97 c GARBAGE COLLECT
467.62/468.97 c #Conflicts: 489000 | #Constraints: 14837
467.62/468.97 c #Conflicts: 490000 | #Constraints: 15837
467.62/468.97 c #Conflicts: 491000 | #Constraints: 16837
467.62/468.97 c #Conflicts: 492000 | #Constraints: 17837
467.62/468.97 c #Conflicts: 493000 | #Constraints: 18837
467.62/468.97 c #Conflicts: 494000 | #Constraints: 19837
467.62/468.97 c #Conflicts: 495000 | #Constraints: 20837
467.62/468.97 c #Conflicts: 496000 | #Constraints: 21837
467.62/468.97 c #Conflicts: 497000 | #Constraints: 22837
467.62/468.97 c #Conflicts: 498000 | #Constraints: 23837
467.62/468.97 c #Conflicts: 499000 | #Constraints: 24837
467.62/468.97 c #Conflicts: 500000 | #Constraints: 25837
467.62/468.97 c #Conflicts: 501000 | #Constraints: 26837
467.62/468.97 c #Conflicts: 502000 | #Constraints: 27837
467.62/468.97 c INPROCESSING
467.62/468.97 c GARBAGE COLLECT
467.62/468.97 c #Conflicts: 503000 | #Constraints: 14834
467.62/468.97 c #Conflicts: 504000 | #Constraints: 15834
467.62/468.97 c #Conflicts: 505000 | #Constraints: 16834
467.62/468.97 c #Conflicts: 506000 | #Constraints: 17834
467.62/468.97 c #Conflicts: 507000 | #Constraints: 18834
467.62/468.97 c #Conflicts: 508000 | #Constraints: 19834
467.62/468.97 c #Conflicts: 509000 | #Constraints: 20834
467.62/468.97 c #Conflicts: 510000 | #Constraints: 21834
467.62/468.97 c #Conflicts: 511000 | #Constraints: 22834
467.62/468.97 c #Conflicts: 512000 | #Constraints: 23834
467.62/468.97 c #Conflicts: 513000 | #Constraints: 24834
467.62/468.97 c #Conflicts: 514000 | #Constraints: 25834
467.62/468.97 c #Conflicts: 515000 | #Constraints: 26834
467.62/468.97 c #Conflicts: 516000 | #Constraints: 27834
467.62/468.97 c INPROCESSING
467.62/468.97 c GARBAGE COLLECT
467.62/468.97 c #Conflicts: 517000 | #Constraints: 14633
467.62/468.97 c #Conflicts: 518000 | #Constraints: 15633
467.62/468.97 c #Conflicts: 519000 | #Constraints: 16633
467.62/468.97 c #Conflicts: 520000 | #Constraints: 17633
467.62/468.97 c #Conflicts: 521000 | #Constraints: 18633
467.62/468.97 c #Conflicts: 522000 | #Constraints: 19633
467.62/468.97 c #Conflicts: 523000 | #Constraints: 20633
467.62/468.97 c #Conflicts: 524000 | #Constraints: 21633
467.62/468.97 c #Conflicts: 525000 | #Constraints: 22633
467.62/468.97 c #Conflicts: 526000 | #Constraints: 23633
467.62/468.97 c #Conflicts: 527000 | #Constraints: 24633
467.62/468.97 c #Conflicts: 528000 | #Constraints: 25633
467.62/468.97 c #Conflicts: 529000 | #Constraints: 26633
467.62/468.97 c #Conflicts: 530000 | #Constraints: 27633
467.62/468.97 c #Conflicts: 531000 | #Constraints: 28633
467.62/468.97 c INPROCESSING
467.62/468.97 c GARBAGE COLLECT
467.62/468.97 c #Conflicts: 532000 | #Constraints: 15234
467.62/468.97 c #Conflicts: 533000 | #Constraints: 16234
467.62/468.97 c #Conflicts: 534000 | #Constraints: 17234
467.62/468.97 c #Conflicts: 535000 | #Constraints: 18234
467.62/468.97 c #Conflicts: 536000 | #Constraints: 19234
590.10/591.72 c #Conflicts: 537000 | #Constraints: 20234
590.10/591.72 c #Conflicts: 538000 | #Constraints: 21234
590.10/591.72 c #Conflicts: 539000 | #Constraints: 22234
590.10/591.72 c #Conflicts: 540000 | #Constraints: 23234
590.10/591.72 c #Conflicts: 541000 | #Constraints: 24234
590.10/591.72 c #Conflicts: 542000 | #Constraints: 25234
590.10/591.72 c #Conflicts: 543000 | #Constraints: 26234
590.10/591.72 c #Conflicts: 544000 | #Constraints: 27234
590.10/591.72 c #Conflicts: 545000 | #Constraints: 28234
590.10/591.72 c #Conflicts: 546000 | #Constraints: 29234
590.10/591.72 c INPROCESSING
590.10/591.72 c GARBAGE COLLECT
590.10/591.72 c #Conflicts: 547000 | #Constraints: 15634
590.10/591.72 c #Conflicts: 548000 | #Constraints: 16634
590.10/591.72 c #Conflicts: 549000 | #Constraints: 17634
590.10/591.72 c #Conflicts: 550000 | #Constraints: 18634
590.10/591.72 c #Conflicts: 551000 | #Constraints: 19634
590.10/591.72 c #Conflicts: 552000 | #Constraints: 20634
590.10/591.72 c #Conflicts: 553000 | #Constraints: 21634
590.10/591.72 c #Conflicts: 554000 | #Constraints: 22634
590.10/591.72 c #Conflicts: 555000 | #Constraints: 23634
590.10/591.72 c #Conflicts: 556000 | #Constraints: 24634
590.10/591.72 c #Conflicts: 557000 | #Constraints: 25634
590.10/591.72 c #Conflicts: 558000 | #Constraints: 26634
590.10/591.72 c #Conflicts: 559000 | #Constraints: 27634
590.10/591.72 c #Conflicts: 560000 | #Constraints: 28634
590.10/591.72 c #Conflicts: 561000 | #Constraints: 29634
590.10/591.72 c INPROCESSING
590.10/591.72 c GARBAGE COLLECT
590.10/591.72 c #Conflicts: 562000 | #Constraints: 15830
590.10/591.72 c #Conflicts: 563000 | #Constraints: 16830
590.10/591.72 c #Conflicts: 564000 | #Constraints: 17830
590.10/591.72 c #Conflicts: 565000 | #Constraints: 18830
590.10/591.72 c #Conflicts: 566000 | #Constraints: 19830
590.10/591.72 c #Conflicts: 567000 | #Constraints: 20830
590.10/591.72 c #Conflicts: 568000 | #Constraints: 21830
590.10/591.72 c #Conflicts: 569000 | #Constraints: 22830
590.10/591.72 c #Conflicts: 570000 | #Constraints: 23830
590.10/591.72 c #Conflicts: 571000 | #Constraints: 24830
590.10/591.72 c #Conflicts: 572000 | #Constraints: 25830
590.10/591.72 c #Conflicts: 573000 | #Constraints: 26830
590.10/591.72 c #Conflicts: 574000 | #Constraints: 27830
590.10/591.72 c #Conflicts: 575000 | #Constraints: 28830
590.10/591.72 c #Conflicts: 576000 | #Constraints: 29830
590.10/591.72 c INPROCESSING
590.10/591.72 c GARBAGE COLLECT
590.10/591.72 c #Conflicts: 577000 | #Constraints: 15835
590.10/591.72 c #Conflicts: 578000 | #Constraints: 16835
590.10/591.72 c #Conflicts: 579000 | #Constraints: 17835
590.10/591.72 c #Conflicts: 580000 | #Constraints: 18835
590.10/591.72 c #Conflicts: 581000 | #Constraints: 19835
590.10/591.72 c #Conflicts: 582000 | #Constraints: 20835
590.10/591.72 c #Conflicts: 583000 | #Constraints: 21835
590.10/591.72 c #Conflicts: 584000 | #Constraints: 22835
590.10/591.72 c #Conflicts: 585000 | #Constraints: 23835
590.10/591.72 c #Conflicts: 586000 | #Constraints: 24835
590.10/591.72 c #Conflicts: 587000 | #Constraints: 25835
590.10/591.72 c #Conflicts: 588000 | #Constraints: 26835
590.10/591.72 c #Conflicts: 589000 | #Constraints: 27835
590.10/591.72 c #Conflicts: 590000 | #Constraints: 28835
590.10/591.72 c #Conflicts: 591000 | #Constraints: 29835
590.10/591.72 c INPROCESSING
590.10/591.72 c GARBAGE COLLECT
590.10/591.72 c #Conflicts: 592000 | #Constraints: 15634
590.10/591.72 c #Conflicts: 593000 | #Constraints: 16634
590.10/591.72 c #Conflicts: 594000 | #Constraints: 17634
590.10/591.72 c #Conflicts: 595000 | #Constraints: 18634
590.10/591.72 c #Conflicts: 596000 | #Constraints: 19634
590.10/591.72 c #Conflicts: 597000 | #Constraints: 20634
590.10/591.72 c #Conflicts: 598000 | #Constraints: 21634
590.10/591.72 c #Conflicts: 599000 | #Constraints: 22634
590.10/591.72 c #Conflicts: 600000 | #Constraints: 23634
590.10/591.72 c #Conflicts: 601000 | #Constraints: 24634
590.10/591.72 c #Conflicts: 602000 | #Constraints: 25634
590.10/591.72 c #Conflicts: 603000 | #Constraints: 26634
590.10/591.72 c #Conflicts: 604000 | #Constraints: 27634
590.10/591.72 c #Conflicts: 605000 | #Constraints: 28634
590.10/591.72 c #Conflicts: 606000 | #Constraints: 29634
590.10/591.72 c #Conflicts: 607000 | #Constraints: 30634
590.10/591.72 c INPROCESSING
590.10/591.72 c GARBAGE COLLECT
590.10/591.72 c #Conflicts: 608000 | #Constraints: 16236
590.10/591.72 c #Conflicts: 609000 | #Constraints: 17236
590.10/591.72 c #Conflicts: 610000 | #Constraints: 18236
590.10/591.72 c #Conflicts: 611000 | #Constraints: 19236
590.10/591.72 c #Conflicts: 612000 | #Constraints: 20236
714.61/716.70 c #Conflicts: 613000 | #Constraints: 21236
714.61/716.70 c #Conflicts: 614000 | #Constraints: 22236
714.61/716.70 c #Conflicts: 615000 | #Constraints: 23236
714.61/716.70 c #Conflicts: 616000 | #Constraints: 24236
714.61/716.70 c #Conflicts: 617000 | #Constraints: 25236
714.61/716.70 c #Conflicts: 618000 | #Constraints: 26236
714.61/716.70 c #Conflicts: 619000 | #Constraints: 27236
714.61/716.70 c #Conflicts: 620000 | #Constraints: 28236
714.61/716.70 c #Conflicts: 621000 | #Constraints: 29236
714.61/716.70 c #Conflicts: 622000 | #Constraints: 30236
714.61/716.70 c #Conflicts: 623000 | #Constraints: 31236
714.61/716.70 c INPROCESSING
714.61/716.70 c GARBAGE COLLECT
714.61/716.70 c #Conflicts: 624000 | #Constraints: 16634
714.61/716.70 c #Conflicts: 625000 | #Constraints: 17634
714.61/716.70 c #Conflicts: 626000 | #Constraints: 18634
714.61/716.70 c #Conflicts: 627000 | #Constraints: 19634
714.61/716.70 c #Conflicts: 628000 | #Constraints: 20634
714.61/716.70 c #Conflicts: 629000 | #Constraints: 21634
714.61/716.70 c #Conflicts: 630000 | #Constraints: 22634
714.61/716.70 c #Conflicts: 631000 | #Constraints: 23634
714.61/716.70 c #Conflicts: 632000 | #Constraints: 24634
714.61/716.70 c #Conflicts: 633000 | #Constraints: 25634
714.61/716.70 c #Conflicts: 634000 | #Constraints: 26634
714.61/716.70 c #Conflicts: 635000 | #Constraints: 27634
714.61/716.70 c #Conflicts: 636000 | #Constraints: 28634
714.61/716.70 c #Conflicts: 637000 | #Constraints: 29634
714.61/716.70 c #Conflicts: 638000 | #Constraints: 30634
714.61/716.70 c #Conflicts: 639000 | #Constraints: 31634
714.61/716.70 c INPROCESSING
714.61/716.70 c GARBAGE COLLECT
714.61/716.70 c #Conflicts: 640000 | #Constraints: 16832
714.61/716.70 c #Conflicts: 641000 | #Constraints: 17832
714.61/716.70 c #Conflicts: 642000 | #Constraints: 18832
714.61/716.70 c #Conflicts: 643000 | #Constraints: 19832
714.61/716.70 c #Conflicts: 644000 | #Constraints: 20832
714.61/716.70 c #Conflicts: 645000 | #Constraints: 21832
714.61/716.70 c #Conflicts: 646000 | #Constraints: 22832
714.61/716.70 c #Conflicts: 647000 | #Constraints: 23832
714.61/716.70 c #Conflicts: 648000 | #Constraints: 24832
714.61/716.70 c #Conflicts: 649000 | #Constraints: 25832
714.61/716.70 c #Conflicts: 650000 | #Constraints: 26832
714.61/716.70 c #Conflicts: 651000 | #Constraints: 27832
714.61/716.70 c #Conflicts: 652000 | #Constraints: 28832
714.61/716.70 c #Conflicts: 653000 | #Constraints: 29832
714.61/716.70 c #Conflicts: 654000 | #Constraints: 30832
714.61/716.70 c #Conflicts: 655000 | #Constraints: 31832
714.61/716.70 c INPROCESSING
714.61/716.70 c GARBAGE COLLECT
714.61/716.70 c #Conflicts: 656000 | #Constraints: 16832
714.61/716.70 c #Conflicts: 657000 | #Constraints: 17832
714.61/716.70 c #Conflicts: 658000 | #Constraints: 18832
714.61/716.70 c #Conflicts: 659000 | #Constraints: 19832
714.61/716.70 c #Conflicts: 660000 | #Constraints: 20832
714.61/716.70 c #Conflicts: 661000 | #Constraints: 21832
714.61/716.70 c #Conflicts: 662000 | #Constraints: 22832
714.61/716.70 c #Conflicts: 663000 | #Constraints: 23832
714.61/716.70 c #Conflicts: 664000 | #Constraints: 24832
714.61/716.70 c #Conflicts: 665000 | #Constraints: 25832
714.61/716.70 c #Conflicts: 666000 | #Constraints: 26832
714.61/716.70 c #Conflicts: 667000 | #Constraints: 27832
714.61/716.70 c #Conflicts: 668000 | #Constraints: 28832
714.61/716.70 c #Conflicts: 669000 | #Constraints: 29832
714.61/716.70 c #Conflicts: 670000 | #Constraints: 30832
714.61/716.70 c #Conflicts: 671000 | #Constraints: 31832
714.61/716.70 c INPROCESSING
714.61/716.70 c GARBAGE COLLECT
714.61/716.70 c #Conflicts: 672000 | #Constraints: 16627
714.61/716.70 c #Conflicts: 673000 | #Constraints: 17627
714.61/716.70 c #Conflicts: 674000 | #Constraints: 18627
714.61/716.70 c #Conflicts: 675000 | #Constraints: 19627
714.61/716.70 c #Conflicts: 676000 | #Constraints: 20627
714.61/716.70 c #Conflicts: 677000 | #Constraints: 21627
714.61/716.70 c #Conflicts: 678000 | #Constraints: 22627
714.61/716.70 c #Conflicts: 679000 | #Constraints: 23627
714.61/716.70 c #Conflicts: 680000 | #Constraints: 24627
714.61/716.70 c #Conflicts: 681000 | #Constraints: 25627
714.61/716.70 c #Conflicts: 682000 | #Constraints: 26627
714.61/716.70 c #Conflicts: 683000 | #Constraints: 27627
714.61/716.70 c #Conflicts: 684000 | #Constraints: 28627
714.61/716.70 c #Conflicts: 685000 | #Constraints: 29627
714.61/716.70 c #Conflicts: 686000 | #Constraints: 30627
714.61/716.70 c #Conflicts: 687000 | #Constraints: 31627
714.61/716.70 c #Conflicts: 688000 | #Constraints: 32627
870.76/873.25 c INPROCESSING
870.76/873.25 c GARBAGE COLLECT
870.76/873.25 c #Conflicts: 689000 | #Constraints: 17232
870.76/873.25 c #Conflicts: 690000 | #Constraints: 18232
870.76/873.25 c #Conflicts: 691000 | #Constraints: 19232
870.76/873.25 c #Conflicts: 692000 | #Constraints: 20232
870.76/873.25 c #Conflicts: 693000 | #Constraints: 21232
870.76/873.25 c #Conflicts: 694000 | #Constraints: 22232
870.76/873.25 c #Conflicts: 695000 | #Constraints: 23232
870.76/873.25 c #Conflicts: 696000 | #Constraints: 24232
870.76/873.25 c #Conflicts: 697000 | #Constraints: 25232
870.76/873.25 c #Conflicts: 698000 | #Constraints: 26232
870.76/873.25 c #Conflicts: 699000 | #Constraints: 27232
870.76/873.25 c #Conflicts: 700000 | #Constraints: 28232
870.76/873.25 c #Conflicts: 701000 | #Constraints: 29232
870.76/873.25 c #Conflicts: 702000 | #Constraints: 30232
870.76/873.25 c #Conflicts: 703000 | #Constraints: 31232
870.76/873.25 c #Conflicts: 704000 | #Constraints: 32232
870.76/873.25 c #Conflicts: 705000 | #Constraints: 33232
870.76/873.25 c INPROCESSING
870.76/873.25 c GARBAGE COLLECT
870.76/873.25 c #Conflicts: 706000 | #Constraints: 17631
870.76/873.25 c #Conflicts: 707000 | #Constraints: 18631
870.76/873.25 c #Conflicts: 708000 | #Constraints: 19631
870.76/873.25 c #Conflicts: 709000 | #Constraints: 20631
870.76/873.25 c #Conflicts: 710000 | #Constraints: 21631
870.76/873.25 c #Conflicts: 711000 | #Constraints: 22631
870.76/873.25 c #Conflicts: 712000 | #Constraints: 23631
870.76/873.25 c #Conflicts: 713000 | #Constraints: 24631
870.76/873.25 c #Conflicts: 714000 | #Constraints: 25631
870.76/873.25 c #Conflicts: 715000 | #Constraints: 26631
870.76/873.25 c #Conflicts: 716000 | #Constraints: 27631
870.76/873.25 c #Conflicts: 717000 | #Constraints: 28631
870.76/873.25 c #Conflicts: 718000 | #Constraints: 29631
870.76/873.25 c #Conflicts: 719000 | #Constraints: 30631
870.76/873.25 c #Conflicts: 720000 | #Constraints: 31631
870.76/873.25 c #Conflicts: 721000 | #Constraints: 32631
870.76/873.25 c #Conflicts: 722000 | #Constraints: 33631
870.76/873.25 c INPROCESSING
870.76/873.25 c GARBAGE COLLECT
870.76/873.25 c #Conflicts: 723000 | #Constraints: 17834
870.76/873.25 c #Conflicts: 724000 | #Constraints: 18834
870.76/873.25 c #Conflicts: 725000 | #Constraints: 19834
870.76/873.25 c #Conflicts: 726000 | #Constraints: 20834
870.76/873.25 c #Conflicts: 727000 | #Constraints: 21834
870.76/873.25 c #Conflicts: 728000 | #Constraints: 22834
870.76/873.25 c #Conflicts: 729000 | #Constraints: 23834
870.76/873.25 c #Conflicts: 730000 | #Constraints: 24834
870.76/873.25 c #Conflicts: 731000 | #Constraints: 25834
870.76/873.25 c #Conflicts: 732000 | #Constraints: 26834
870.76/873.25 c #Conflicts: 733000 | #Constraints: 27834
870.76/873.25 c #Conflicts: 734000 | #Constraints: 28834
870.76/873.25 c #Conflicts: 735000 | #Constraints: 29834
870.76/873.25 c #Conflicts: 736000 | #Constraints: 30834
870.76/873.25 c #Conflicts: 737000 | #Constraints: 31834
870.76/873.25 c #Conflicts: 738000 | #Constraints: 32834
870.76/873.25 c #Conflicts: 739000 | #Constraints: 33834
870.76/873.25 c INPROCESSING
870.76/873.25 c GARBAGE COLLECT
870.76/873.25 c #Conflicts: 740000 | #Constraints: 17836
870.76/873.25 c #Conflicts: 741000 | #Constraints: 18836
870.76/873.25 c #Conflicts: 742000 | #Constraints: 19836
870.76/873.25 c #Conflicts: 743000 | #Constraints: 20836
870.76/873.25 c #Conflicts: 744000 | #Constraints: 21836
870.76/873.25 c #Conflicts: 745000 | #Constraints: 22836
870.76/873.25 c #Conflicts: 746000 | #Constraints: 23836
870.76/873.25 c #Conflicts: 747000 | #Constraints: 24836
870.76/873.25 c #Conflicts: 748000 | #Constraints: 25836
870.76/873.25 c #Conflicts: 749000 | #Constraints: 26836
870.76/873.25 c #Conflicts: 750000 | #Constraints: 27836
870.76/873.25 c #Conflicts: 751000 | #Constraints: 28836
870.76/873.25 c #Conflicts: 752000 | #Constraints: 29836
870.76/873.25 c #Conflicts: 753000 | #Constraints: 30836
870.76/873.25 c #Conflicts: 754000 | #Constraints: 31836
870.76/873.25 c #Conflicts: 755000 | #Constraints: 32836
870.76/873.25 c #Conflicts: 756000 | #Constraints: 33836
870.76/873.25 c INPROCESSING
870.76/873.25 c GARBAGE COLLECT
870.76/873.25 c #Conflicts: 757000 | #Constraints: 17628
870.76/873.25 c #Conflicts: 758000 | #Constraints: 18628
870.76/873.25 c #Conflicts: 759000 | #Constraints: 19628
870.76/873.25 c #Conflicts: 760000 | #Constraints: 20628
870.76/873.25 c #Conflicts: 761000 | #Constraints: 21628
870.76/873.25 c #Conflicts: 762000 | #Constraints: 22628
870.76/873.25 c #Conflicts: 763000 | #Constraints: 23628
870.76/873.25 c #Conflicts: 764000 | #Constraints: 24628
1029.94/1032.83 c #Conflicts: 765000 | #Constraints: 25628
1029.94/1032.83 c #Conflicts: 766000 | #Constraints: 26628
1029.94/1032.83 c #Conflicts: 767000 | #Constraints: 27628
1029.94/1032.83 c #Conflicts: 768000 | #Constraints: 28628
1029.94/1032.83 c #Conflicts: 769000 | #Constraints: 29628
1029.94/1032.83 c #Conflicts: 770000 | #Constraints: 30628
1029.94/1032.83 c #Conflicts: 771000 | #Constraints: 31628
1029.94/1032.83 c #Conflicts: 772000 | #Constraints: 32628
1029.94/1032.83 c #Conflicts: 773000 | #Constraints: 33628
1029.94/1032.83 c #Conflicts: 774000 | #Constraints: 34628
1029.94/1032.83 c INPROCESSING
1029.94/1032.83 c GARBAGE COLLECT
1029.94/1032.83 c #Conflicts: 775000 | #Constraints: 18233
1029.94/1032.83 c #Conflicts: 776000 | #Constraints: 19233
1029.94/1032.83 c #Conflicts: 777000 | #Constraints: 20233
1029.94/1032.83 c #Conflicts: 778000 | #Constraints: 21233
1029.94/1032.83 c #Conflicts: 779000 | #Constraints: 22233
1029.94/1032.83 c #Conflicts: 780000 | #Constraints: 23233
1029.94/1032.83 c #Conflicts: 781000 | #Constraints: 24233
1029.94/1032.83 c #Conflicts: 782000 | #Constraints: 25233
1029.94/1032.83 c #Conflicts: 783000 | #Constraints: 26233
1029.94/1032.83 c #Conflicts: 784000 | #Constraints: 27233
1029.94/1032.83 c #Conflicts: 785000 | #Constraints: 28233
1029.94/1032.83 c #Conflicts: 786000 | #Constraints: 29233
1029.94/1032.83 c #Conflicts: 787000 | #Constraints: 30233
1029.94/1032.83 c #Conflicts: 788000 | #Constraints: 31233
1029.94/1032.83 c #Conflicts: 789000 | #Constraints: 32233
1029.94/1032.83 c #Conflicts: 790000 | #Constraints: 33233
1029.94/1032.83 c #Conflicts: 791000 | #Constraints: 34233
1029.94/1032.83 c #Conflicts: 792000 | #Constraints: 35233
1029.94/1032.83 c INPROCESSING
1029.94/1032.83 c GARBAGE COLLECT
1029.94/1032.83 c #Conflicts: 793000 | #Constraints: 18631
1029.94/1032.83 c #Conflicts: 794000 | #Constraints: 19631
1029.94/1032.83 c #Conflicts: 795000 | #Constraints: 20631
1029.94/1032.83 c #Conflicts: 796000 | #Constraints: 21631
1029.94/1032.83 c #Conflicts: 797000 | #Constraints: 22631
1029.94/1032.83 c #Conflicts: 798000 | #Constraints: 23631
1029.94/1032.83 c #Conflicts: 799000 | #Constraints: 24631
1029.94/1032.83 c #Conflicts: 800000 | #Constraints: 25631
1029.94/1032.83 c #Conflicts: 801000 | #Constraints: 26631
1029.94/1032.83 c #Conflicts: 802000 | #Constraints: 27631
1029.94/1032.83 c #Conflicts: 803000 | #Constraints: 28631
1029.94/1032.83 c #Conflicts: 804000 | #Constraints: 29631
1029.94/1032.83 c #Conflicts: 805000 | #Constraints: 30631
1029.94/1032.83 c #Conflicts: 806000 | #Constraints: 31631
1029.94/1032.83 c #Conflicts: 807000 | #Constraints: 32631
1029.94/1032.83 c #Conflicts: 808000 | #Constraints: 33631
1029.94/1032.83 c #Conflicts: 809000 | #Constraints: 34631
1029.94/1032.83 c #Conflicts: 810000 | #Constraints: 35631
1029.94/1032.83 c INPROCESSING
1029.94/1032.83 c GARBAGE COLLECT
1029.94/1032.83 c #Conflicts: 811000 | #Constraints: 18829
1029.94/1032.83 c #Conflicts: 812000 | #Constraints: 19829
1029.94/1032.83 c #Conflicts: 813000 | #Constraints: 20829
1029.94/1032.83 c #Conflicts: 814000 | #Constraints: 21829
1029.94/1032.83 c #Conflicts: 815000 | #Constraints: 22829
1029.94/1032.83 c #Conflicts: 816000 | #Constraints: 23829
1029.94/1032.83 c #Conflicts: 817000 | #Constraints: 24829
1029.94/1032.83 c #Conflicts: 818000 | #Constraints: 25829
1029.94/1032.83 c #Conflicts: 819000 | #Constraints: 26829
1029.94/1032.83 c #Conflicts: 820000 | #Constraints: 27829
1029.94/1032.83 c #Conflicts: 821000 | #Constraints: 28829
1029.94/1032.83 c #Conflicts: 822000 | #Constraints: 29829
1029.94/1032.83 c #Conflicts: 823000 | #Constraints: 30829
1029.94/1032.83 c #Conflicts: 824000 | #Constraints: 31829
1029.94/1032.83 c #Conflicts: 825000 | #Constraints: 32829
1029.94/1032.83 c #Conflicts: 826000 | #Constraints: 33829
1029.94/1032.83 c #Conflicts: 827000 | #Constraints: 34829
1029.94/1032.83 c #Conflicts: 828000 | #Constraints: 35829
1029.94/1032.83 c INPROCESSING
1029.94/1032.83 c GARBAGE COLLECT
1029.94/1032.83 c #Conflicts: 829000 | #Constraints: 18832
1029.94/1032.83 c #Conflicts: 830000 | #Constraints: 19832
1029.94/1032.83 c #Conflicts: 831000 | #Constraints: 20832
1029.94/1032.83 c #Conflicts: 832000 | #Constraints: 21832
1029.94/1032.83 c #Conflicts: 833000 | #Constraints: 22832
1029.94/1032.83 c #Conflicts: 834000 | #Constraints: 23832
1029.94/1032.83 c #Conflicts: 835000 | #Constraints: 24832
1029.94/1032.83 c #Conflicts: 836000 | #Constraints: 25832
1029.94/1032.83 c #Conflicts: 837000 | #Constraints: 26832
1029.94/1032.83 c #Conflicts: 838000 | #Constraints: 27832
1029.94/1032.83 c #Conflicts: 839000 | #Constraints: 28832
1029.94/1032.83 c #Conflicts: 840000 | #Constraints: 29832
1197.50/1200.85 c #Conflicts: 841000 | #Constraints: 30832
1197.50/1200.85 c #Conflicts: 842000 | #Constraints: 31832
1197.50/1200.85 c #Conflicts: 843000 | #Constraints: 32832
1197.50/1200.85 c #Conflicts: 844000 | #Constraints: 33832
1197.50/1200.85 c #Conflicts: 845000 | #Constraints: 34832
1197.50/1200.85 c #Conflicts: 846000 | #Constraints: 35832
1197.50/1200.85 c INPROCESSING
1197.50/1200.85 c GARBAGE COLLECT
1197.50/1200.85 c #Conflicts: 847000 | #Constraints: 18634
1197.50/1200.85 c #Conflicts: 848000 | #Constraints: 19634
1197.50/1200.85 c #Conflicts: 849000 | #Constraints: 20634
1197.50/1200.85 c #Conflicts: 850000 | #Constraints: 21634
1197.50/1200.85 c #Conflicts: 851000 | #Constraints: 22634
1197.50/1200.85 c #Conflicts: 852000 | #Constraints: 23634
1197.50/1200.85 c #Conflicts: 853000 | #Constraints: 24634
1197.50/1200.85 c #Conflicts: 854000 | #Constraints: 25634
1197.50/1200.85 c #Conflicts: 855000 | #Constraints: 26634
1197.50/1200.85 c #Conflicts: 856000 | #Constraints: 27634
1197.50/1200.85 c #Conflicts: 857000 | #Constraints: 28634
1197.50/1200.85 c #Conflicts: 858000 | #Constraints: 29634
1197.50/1200.85 c #Conflicts: 859000 | #Constraints: 30634
1197.50/1200.85 c #Conflicts: 860000 | #Constraints: 31634
1197.50/1200.85 c #Conflicts: 861000 | #Constraints: 32634
1197.50/1200.85 c #Conflicts: 862000 | #Constraints: 33634
1197.50/1200.85 c #Conflicts: 863000 | #Constraints: 34634
1197.50/1200.85 c #Conflicts: 864000 | #Constraints: 35634
1197.50/1200.85 c #Conflicts: 865000 | #Constraints: 36634
1197.50/1200.85 c INPROCESSING
1197.50/1200.85 c GARBAGE COLLECT
1197.50/1200.85 c #Conflicts: 866000 | #Constraints: 19229
1197.50/1200.85 c #Conflicts: 867000 | #Constraints: 20229
1197.50/1200.85 c #Conflicts: 868000 | #Constraints: 21229
1197.50/1200.85 c #Conflicts: 869000 | #Constraints: 22229
1197.50/1200.85 c #Conflicts: 870000 | #Constraints: 23229
1197.50/1200.85 c #Conflicts: 871000 | #Constraints: 24229
1197.50/1200.85 c #Conflicts: 872000 | #Constraints: 25229
1197.50/1200.85 c #Conflicts: 873000 | #Constraints: 26229
1197.50/1200.85 c #Conflicts: 874000 | #Constraints: 27229
1197.50/1200.85 c #Conflicts: 875000 | #Constraints: 28229
1197.50/1200.85 c #Conflicts: 876000 | #Constraints: 29229
1197.50/1200.85 c #Conflicts: 877000 | #Constraints: 30229
1197.50/1200.85 c #Conflicts: 878000 | #Constraints: 31229
1197.50/1200.85 c #Conflicts: 879000 | #Constraints: 32229
1197.50/1200.85 c #Conflicts: 880000 | #Constraints: 33229
1197.50/1200.85 c #Conflicts: 881000 | #Constraints: 34229
1197.50/1200.85 c #Conflicts: 882000 | #Constraints: 35229
1197.50/1200.85 c #Conflicts: 883000 | #Constraints: 36229
1197.50/1200.85 c #Conflicts: 884000 | #Constraints: 37229
1197.50/1200.85 c INPROCESSING
1197.50/1200.85 c GARBAGE COLLECT
1197.50/1200.85 c #Conflicts: 885000 | #Constraints: 19631
1197.50/1200.85 c #Conflicts: 886000 | #Constraints: 20631
1197.50/1200.85 c #Conflicts: 887000 | #Constraints: 21631
1197.50/1200.85 c #Conflicts: 888000 | #Constraints: 22631
1197.50/1200.85 c #Conflicts: 889000 | #Constraints: 23631
1197.50/1200.85 c #Conflicts: 890000 | #Constraints: 24631
1197.50/1200.85 c #Conflicts: 891000 | #Constraints: 25631
1197.50/1200.85 c #Conflicts: 892000 | #Constraints: 26631
1197.50/1200.85 c #Conflicts: 893000 | #Constraints: 27631
1197.50/1200.85 c #Conflicts: 894000 | #Constraints: 28631
1197.50/1200.85 c #Conflicts: 895000 | #Constraints: 29631
1197.50/1200.85 c #Conflicts: 896000 | #Constraints: 30631
1197.50/1200.85 c #Conflicts: 897000 | #Constraints: 31631
1197.50/1200.85 c #Conflicts: 898000 | #Constraints: 32631
1197.50/1200.85 c #Conflicts: 899000 | #Constraints: 33631
1197.50/1200.85 c #Conflicts: 900000 | #Constraints: 34631
1197.50/1200.85 c #Conflicts: 901000 | #Constraints: 35631
1197.50/1200.85 c #Conflicts: 902000 | #Constraints: 36631
1197.50/1200.85 c #Conflicts: 903000 | #Constraints: 37631
1197.50/1200.85 c INPROCESSING
1197.50/1200.85 c GARBAGE COLLECT
1197.50/1200.85 c #Conflicts: 904000 | #Constraints: 19830
1197.50/1200.85 c #Conflicts: 905000 | #Constraints: 20830
1197.50/1200.85 c #Conflicts: 906000 | #Constraints: 21830
1197.50/1200.85 c #Conflicts: 907000 | #Constraints: 22830
1197.50/1200.85 c #Conflicts: 908000 | #Constraints: 23830
1197.50/1200.85 c #Conflicts: 909000 | #Constraints: 24830
1197.50/1200.85 c #Conflicts: 910000 | #Constraints: 25830
1197.50/1200.85 c #Conflicts: 911000 | #Constraints: 26830
1197.50/1200.85 c #Conflicts: 912000 | #Constraints: 27830
1197.50/1200.85 c #Conflicts: 913000 | #Constraints: 28830
1197.50/1200.85 c #Conflicts: 914000 | #Constraints: 29830
1197.50/1200.85 c #Conflicts: 915000 | #Constraints: 30830
1197.50/1200.85 c #Conflicts: 916000 | #Constraints: 31830
1385.29/1389.12 c #Conflicts: 917000 | #Constraints: 32830
1385.29/1389.12 c #Conflicts: 918000 | #Constraints: 33830
1385.29/1389.12 c #Conflicts: 919000 | #Constraints: 34830
1385.29/1389.12 c #Conflicts: 920000 | #Constraints: 35830
1385.29/1389.12 c #Conflicts: 921000 | #Constraints: 36830
1385.29/1389.12 c #Conflicts: 922000 | #Constraints: 37830
1385.29/1389.12 c INPROCESSING
1385.29/1389.12 c GARBAGE COLLECT
1385.29/1389.12 c #Conflicts: 923000 | #Constraints: 19829
1385.29/1389.12 c #Conflicts: 924000 | #Constraints: 20829
1385.29/1389.12 c #Conflicts: 925000 | #Constraints: 21829
1385.29/1389.12 c #Conflicts: 926000 | #Constraints: 22829
1385.29/1389.12 c #Conflicts: 927000 | #Constraints: 23829
1385.29/1389.12 c #Conflicts: 928000 | #Constraints: 24829
1385.29/1389.12 c #Conflicts: 929000 | #Constraints: 25829
1385.29/1389.12 c #Conflicts: 930000 | #Constraints: 26829
1385.29/1389.12 c #Conflicts: 931000 | #Constraints: 27829
1385.29/1389.12 c #Conflicts: 932000 | #Constraints: 28829
1385.29/1389.12 c #Conflicts: 933000 | #Constraints: 29829
1385.29/1389.12 c #Conflicts: 934000 | #Constraints: 30829
1385.29/1389.12 c #Conflicts: 935000 | #Constraints: 31829
1385.29/1389.12 c #Conflicts: 936000 | #Constraints: 32829
1385.29/1389.12 c #Conflicts: 937000 | #Constraints: 33829
1385.29/1389.12 c #Conflicts: 938000 | #Constraints: 34829
1385.29/1389.12 c #Conflicts: 939000 | #Constraints: 35829
1385.29/1389.12 c #Conflicts: 940000 | #Constraints: 36829
1385.29/1389.12 c #Conflicts: 941000 | #Constraints: 37829
1385.29/1389.12 c INPROCESSING
1385.29/1389.12 c GARBAGE COLLECT
1385.29/1389.12 c #Conflicts: 942000 | #Constraints: 19632
1385.29/1389.12 c #Conflicts: 943000 | #Constraints: 20632
1385.29/1389.12 c #Conflicts: 944000 | #Constraints: 21632
1385.29/1389.12 c #Conflicts: 945000 | #Constraints: 22632
1385.29/1389.12 c #Conflicts: 946000 | #Constraints: 23632
1385.29/1389.12 c #Conflicts: 947000 | #Constraints: 24632
1385.29/1389.12 c #Conflicts: 948000 | #Constraints: 25632
1385.29/1389.12 c #Conflicts: 949000 | #Constraints: 26632
1385.29/1389.12 c #Conflicts: 950000 | #Constraints: 27632
1385.29/1389.12 c #Conflicts: 951000 | #Constraints: 28632
1385.29/1389.12 c #Conflicts: 952000 | #Constraints: 29632
1385.29/1389.12 c #Conflicts: 953000 | #Constraints: 30632
1385.29/1389.12 c #Conflicts: 954000 | #Constraints: 31632
1385.29/1389.12 c #Conflicts: 955000 | #Constraints: 32632
1385.29/1389.12 c #Conflicts: 956000 | #Constraints: 33632
1385.29/1389.12 c #Conflicts: 957000 | #Constraints: 34632
1385.29/1389.12 c #Conflicts: 958000 | #Constraints: 35632
1385.29/1389.12 c #Conflicts: 959000 | #Constraints: 36632
1385.29/1389.12 c #Conflicts: 960000 | #Constraints: 37632
1385.29/1389.12 c #Conflicts: 961000 | #Constraints: 38632
1385.29/1389.12 c INPROCESSING
1385.29/1389.12 c GARBAGE COLLECT
1385.29/1389.12 c #Conflicts: 962000 | #Constraints: 20234
1385.29/1389.12 c #Conflicts: 963000 | #Constraints: 21234
1385.29/1389.12 c #Conflicts: 964000 | #Constraints: 22234
1385.29/1389.12 c #Conflicts: 965000 | #Constraints: 23234
1385.29/1389.12 c #Conflicts: 966000 | #Constraints: 24234
1385.29/1389.12 c #Conflicts: 967000 | #Constraints: 25234
1385.29/1389.12 c #Conflicts: 968000 | #Constraints: 26234
1385.29/1389.12 c #Conflicts: 969000 | #Constraints: 27234
1385.29/1389.12 c #Conflicts: 970000 | #Constraints: 28234
1385.29/1389.12 c #Conflicts: 971000 | #Constraints: 29234
1385.29/1389.12 c #Conflicts: 972000 | #Constraints: 30234
1385.29/1389.12 c #Conflicts: 973000 | #Constraints: 31234
1385.29/1389.12 c #Conflicts: 974000 | #Constraints: 32234
1385.29/1389.12 c #Conflicts: 975000 | #Constraints: 33234
1385.29/1389.12 c #Conflicts: 976000 | #Constraints: 34234
1385.29/1389.12 c #Conflicts: 977000 | #Constraints: 35234
1385.29/1389.12 c #Conflicts: 978000 | #Constraints: 36234
1385.29/1389.12 c #Conflicts: 979000 | #Constraints: 37234
1385.29/1389.12 c #Conflicts: 980000 | #Constraints: 38234
1385.29/1389.12 c #Conflicts: 981000 | #Constraints: 39234
1385.29/1389.12 c INPROCESSING
1385.29/1389.12 c GARBAGE COLLECT
1385.29/1389.12 c #Conflicts: 982000 | #Constraints: 20635
1385.29/1389.12 c #Conflicts: 983000 | #Constraints: 21635
1385.29/1389.12 c #Conflicts: 984000 | #Constraints: 22635
1385.29/1389.12 c #Conflicts: 985000 | #Constraints: 23635
1385.29/1389.12 c #Conflicts: 986000 | #Constraints: 24635
1385.29/1389.12 c #Conflicts: 987000 | #Constraints: 25635
1385.29/1389.12 c #Conflicts: 988000 | #Constraints: 26635
1385.29/1389.12 c #Conflicts: 989000 | #Constraints: 27635
1385.29/1389.12 c #Conflicts: 990000 | #Constraints: 28635
1385.29/1389.12 c #Conflicts: 991000 | #Constraints: 29635
1385.29/1389.12 c #Conflicts: 992000 | #Constraints: 30635
1619.46/1623.99 c #Conflicts: 993000 | #Constraints: 31635
1619.46/1623.99 c #Conflicts: 994000 | #Constraints: 32635
1619.46/1623.99 c #Conflicts: 995000 | #Constraints: 33635
1619.46/1623.99 c #Conflicts: 996000 | #Constraints: 34635
1619.46/1623.99 c #Conflicts: 997000 | #Constraints: 35635
1619.46/1623.99 c #Conflicts: 998000 | #Constraints: 36635
1619.46/1623.99 c #Conflicts: 999000 | #Constraints: 37635
1619.46/1623.99 c #Conflicts: 1000000 | #Constraints: 38635
1619.46/1623.99 c #Conflicts: 1001000 | #Constraints: 39635
1619.46/1623.99 c INPROCESSING
1619.46/1623.99 c GARBAGE COLLECT
1619.46/1623.99 c #Conflicts: 1002000 | #Constraints: 20833
1619.46/1623.99 c #Conflicts: 1003000 | #Constraints: 21833
1619.46/1623.99 c #Conflicts: 1004000 | #Constraints: 22833
1619.46/1623.99 c #Conflicts: 1005000 | #Constraints: 23833
1619.46/1623.99 c #Conflicts: 1006000 | #Constraints: 24833
1619.46/1623.99 c #Conflicts: 1007000 | #Constraints: 25833
1619.46/1623.99 c #Conflicts: 1008000 | #Constraints: 26833
1619.46/1623.99 c #Conflicts: 1009000 | #Constraints: 27833
1619.46/1623.99 c #Conflicts: 1010000 | #Constraints: 28833
1619.46/1623.99 c #Conflicts: 1011000 | #Constraints: 29833
1619.46/1623.99 c #Conflicts: 1012000 | #Constraints: 30833
1619.46/1623.99 c #Conflicts: 1013000 | #Constraints: 31833
1619.46/1623.99 c #Conflicts: 1014000 | #Constraints: 32833
1619.46/1623.99 c #Conflicts: 1015000 | #Constraints: 33833
1619.46/1623.99 c #Conflicts: 1016000 | #Constraints: 34833
1619.46/1623.99 c #Conflicts: 1017000 | #Constraints: 35833
1619.46/1623.99 c #Conflicts: 1018000 | #Constraints: 36833
1619.46/1623.99 c #Conflicts: 1019000 | #Constraints: 37833
1619.46/1623.99 c #Conflicts: 1020000 | #Constraints: 38833
1619.46/1623.99 c #Conflicts: 1021000 | #Constraints: 39833
1619.46/1623.99 c INPROCESSING
1619.46/1623.99 c GARBAGE COLLECT
1619.46/1623.99 c #Conflicts: 1022000 | #Constraints: 20834
1619.46/1623.99 c #Conflicts: 1023000 | #Constraints: 21834
1619.46/1623.99 c #Conflicts: 1024000 | #Constraints: 22834
1619.46/1623.99 c #Conflicts: 1025000 | #Constraints: 23834
1619.46/1623.99 c #Conflicts: 1026000 | #Constraints: 24834
1619.46/1623.99 c #Conflicts: 1027000 | #Constraints: 25834
1619.46/1623.99 c #Conflicts: 1028000 | #Constraints: 26834
1619.46/1623.99 c #Conflicts: 1029000 | #Constraints: 27834
1619.46/1623.99 c #Conflicts: 1030000 | #Constraints: 28834
1619.46/1623.99 c #Conflicts: 1031000 | #Constraints: 29834
1619.46/1623.99 c #Conflicts: 1032000 | #Constraints: 30834
1619.46/1623.99 c #Conflicts: 1033000 | #Constraints: 31834
1619.46/1623.99 c #Conflicts: 1034000 | #Constraints: 32834
1619.46/1623.99 c #Conflicts: 1035000 | #Constraints: 33834
1619.46/1623.99 c #Conflicts: 1036000 | #Constraints: 34834
1619.46/1623.99 c #Conflicts: 1037000 | #Constraints: 35834
1619.46/1623.99 c #Conflicts: 1038000 | #Constraints: 36834
1619.46/1623.99 c #Conflicts: 1039000 | #Constraints: 37834
1619.46/1623.99 c #Conflicts: 1040000 | #Constraints: 38834
1619.46/1623.99 c #Conflicts: 1041000 | #Constraints: 39834
1619.46/1623.99 c INPROCESSING
1619.46/1623.99 c GARBAGE COLLECT
1619.46/1623.99 c #Conflicts: 1042000 | #Constraints: 20637
1619.46/1623.99 c #Conflicts: 1043000 | #Constraints: 21637
1619.46/1623.99 c #Conflicts: 1044000 | #Constraints: 22637
1619.46/1623.99 c #Conflicts: 1045000 | #Constraints: 23637
1619.46/1623.99 c #Conflicts: 1046000 | #Constraints: 24637
1619.46/1623.99 c #Conflicts: 1047000 | #Constraints: 25637
1619.46/1623.99 c #Conflicts: 1048000 | #Constraints: 26637
1619.46/1623.99 c #Conflicts: 1049000 | #Constraints: 27637
1619.46/1623.99 c #Conflicts: 1050000 | #Constraints: 28637
1619.46/1623.99 c #Conflicts: 1051000 | #Constraints: 29637
1619.46/1623.99 c #Conflicts: 1052000 | #Constraints: 30637
1619.46/1623.99 c #Conflicts: 1053000 | #Constraints: 31637
1619.46/1623.99 c #Conflicts: 1054000 | #Constraints: 32637
1619.46/1623.99 c #Conflicts: 1055000 | #Constraints: 33637
1619.46/1623.99 c #Conflicts: 1056000 | #Constraints: 34637
1619.46/1623.99 c #Conflicts: 1057000 | #Constraints: 35637
1619.46/1623.99 c #Conflicts: 1058000 | #Constraints: 36637
1619.46/1623.99 c #Conflicts: 1059000 | #Constraints: 37637
1619.46/1623.99 c #Conflicts: 1060000 | #Constraints: 38637
1619.46/1623.99 c #Conflicts: 1061000 | #Constraints: 39637
1619.46/1623.99 c #Conflicts: 1062000 | #Constraints: 40637
1619.46/1623.99 c INPROCESSING
1619.46/1623.99 c GARBAGE COLLECT
1619.46/1623.99 c #Conflicts: 1063000 | #Constraints: 21236
1619.46/1623.99 c #Conflicts: 1064000 | #Constraints: 22236
1619.46/1623.99 c #Conflicts: 1065000 | #Constraints: 23236
1619.46/1623.99 c #Conflicts: 1066000 | #Constraints: 24236
1619.46/1623.99 c #Conflicts: 1067000 | #Constraints: 25236
1619.46/1623.99 c #Conflicts: 1068000 | #Constraints: 26236
1885.65/1890.84 c #Conflicts: 1069000 | #Constraints: 27236
1885.65/1890.84 c #Conflicts: 1070000 | #Constraints: 28236
1885.65/1890.84 c #Conflicts: 1071000 | #Constraints: 29236
1885.65/1890.84 c #Conflicts: 1072000 | #Constraints: 30236
1885.65/1890.84 c #Conflicts: 1073000 | #Constraints: 31236
1885.65/1890.84 c #Conflicts: 1074000 | #Constraints: 32236
1885.65/1890.84 c #Conflicts: 1075000 | #Constraints: 33236
1885.65/1890.84 c #Conflicts: 1076000 | #Constraints: 34236
1885.65/1890.84 c #Conflicts: 1077000 | #Constraints: 35236
1885.65/1890.84 c #Conflicts: 1078000 | #Constraints: 36236
1885.65/1890.84 c #Conflicts: 1079000 | #Constraints: 37236
1885.65/1890.84 c #Conflicts: 1080000 | #Constraints: 38236
1885.65/1890.84 c #Conflicts: 1081000 | #Constraints: 39236
1885.65/1890.84 c #Conflicts: 1082000 | #Constraints: 40236
1885.65/1890.84 c #Conflicts: 1083000 | #Constraints: 41236
1885.65/1890.84 c INPROCESSING
1885.65/1890.84 c GARBAGE COLLECT
1885.65/1890.84 c #Conflicts: 1084000 | #Constraints: 21633
1885.65/1890.84 c #Conflicts: 1085000 | #Constraints: 22633
1885.65/1890.84 c #Conflicts: 1086000 | #Constraints: 23633
1885.65/1890.84 c #Conflicts: 1087000 | #Constraints: 24633
1885.65/1890.84 c #Conflicts: 1088000 | #Constraints: 25633
1885.65/1890.84 c #Conflicts: 1089000 | #Constraints: 26633
1885.65/1890.84 c #Conflicts: 1090000 | #Constraints: 27633
1885.65/1890.84 c #Conflicts: 1091000 | #Constraints: 28633
1885.65/1890.84 c #Conflicts: 1092000 | #Constraints: 29633
1885.65/1890.84 c #Conflicts: 1093000 | #Constraints: 30633
1885.65/1890.84 c #Conflicts: 1094000 | #Constraints: 31633
1885.65/1890.84 c #Conflicts: 1095000 | #Constraints: 32633
1885.65/1890.84 c #Conflicts: 1096000 | #Constraints: 33633
1885.65/1890.84 c #Conflicts: 1097000 | #Constraints: 34633
1885.65/1890.84 c #Conflicts: 1098000 | #Constraints: 35633
1885.65/1890.84 c #Conflicts: 1099000 | #Constraints: 36633
1885.65/1890.84 c #Conflicts: 1100000 | #Constraints: 37633
1885.65/1890.84 c #Conflicts: 1101000 | #Constraints: 38633
1885.65/1890.84 c #Conflicts: 1102000 | #Constraints: 39633
1885.65/1890.84 c #Conflicts: 1103000 | #Constraints: 40633
1885.65/1890.84 c #Conflicts: 1104000 | #Constraints: 41633
1885.65/1890.84 c INPROCESSING
1885.65/1890.84 c GARBAGE COLLECT
1885.65/1890.84 c #Conflicts: 1105000 | #Constraints: 21835
1885.65/1890.84 c #Conflicts: 1106000 | #Constraints: 22835
1885.65/1890.84 c #Conflicts: 1107000 | #Constraints: 23835
1885.65/1890.84 c #Conflicts: 1108000 | #Constraints: 24835
1885.65/1890.84 c #Conflicts: 1109000 | #Constraints: 25835
1885.65/1890.84 c #Conflicts: 1110000 | #Constraints: 26835
1885.65/1890.84 c #Conflicts: 1111000 | #Constraints: 27835
1885.65/1890.84 c #Conflicts: 1112000 | #Constraints: 28835
1885.65/1890.84 c #Conflicts: 1113000 | #Constraints: 29835
1885.65/1890.84 c #Conflicts: 1114000 | #Constraints: 30835
1885.65/1890.84 c #Conflicts: 1115000 | #Constraints: 31835
1885.65/1890.84 c #Conflicts: 1116000 | #Constraints: 32835
1885.65/1890.84 c #Conflicts: 1117000 | #Constraints: 33835
1885.65/1890.84 c #Conflicts: 1118000 | #Constraints: 34835
1885.65/1890.84 c #Conflicts: 1119000 | #Constraints: 35835
1885.65/1890.84 c #Conflicts: 1120000 | #Constraints: 36835
1885.65/1890.84 c #Conflicts: 1121000 | #Constraints: 37835
1885.65/1890.84 c #Conflicts: 1122000 | #Constraints: 38835
1885.65/1890.84 c #Conflicts: 1123000 | #Constraints: 39835
1885.65/1890.84 c #Conflicts: 1124000 | #Constraints: 40835
1885.65/1890.84 c #Conflicts: 1125000 | #Constraints: 41835
1885.65/1890.84 c INPROCESSING
1885.65/1890.84 c GARBAGE COLLECT
1885.65/1890.84 c #Conflicts: 1126000 | #Constraints: 21836
1885.65/1890.84 c #Conflicts: 1127000 | #Constraints: 22836
1885.65/1890.84 c #Conflicts: 1128000 | #Constraints: 23836
1885.65/1890.84 c #Conflicts: 1129000 | #Constraints: 24836
1885.65/1890.84 c #Conflicts: 1130000 | #Constraints: 25836
1885.65/1890.84 c #Conflicts: 1131000 | #Constraints: 26836
1885.65/1890.84 c #Conflicts: 1132000 | #Constraints: 27836
1885.65/1890.84 c #Conflicts: 1133000 | #Constraints: 28836
1885.65/1890.84 c #Conflicts: 1134000 | #Constraints: 29836
1885.65/1890.84 c #Conflicts: 1135000 | #Constraints: 30836
1885.65/1890.84 c #Conflicts: 1136000 | #Constraints: 31836
1885.65/1890.84 c #Conflicts: 1137000 | #Constraints: 32836
1885.65/1890.84 c #Conflicts: 1138000 | #Constraints: 33836
1885.65/1890.84 c #Conflicts: 1139000 | #Constraints: 34836
1885.65/1890.84 c #Conflicts: 1140000 | #Constraints: 35836
1885.65/1890.84 c #Conflicts: 1141000 | #Constraints: 36836
1885.65/1890.84 c #Conflicts: 1142000 | #Constraints: 37836
1885.65/1890.84 c #Conflicts: 1143000 | #Constraints: 38836
1885.65/1890.84 c #Conflicts: 1144000 | #Constraints: 39836
1885.65/1890.84 c #Conflicts: 1145000 | #Constraints: 40836
2110.65/2116.45 c #Conflicts: 1146000 | #Constraints: 41836
2110.65/2116.45 c INPROCESSING
2110.65/2116.45 c GARBAGE COLLECT
2110.65/2116.45 c #Conflicts: 1147000 | #Constraints: 21632
2110.65/2116.45 c #Conflicts: 1148000 | #Constraints: 22632
2110.65/2116.45 c #Conflicts: 1149000 | #Constraints: 23632
2110.65/2116.45 c #Conflicts: 1150000 | #Constraints: 24632
2110.65/2116.45 c #Conflicts: 1151000 | #Constraints: 25632
2110.65/2116.45 c #Conflicts: 1152000 | #Constraints: 26632
2110.65/2116.45 c #Conflicts: 1153000 | #Constraints: 27632
2110.65/2116.45 c #Conflicts: 1154000 | #Constraints: 28632
2110.65/2116.45 c #Conflicts: 1155000 | #Constraints: 29632
2110.65/2116.45 c #Conflicts: 1156000 | #Constraints: 30632
2110.65/2116.45 c #Conflicts: 1157000 | #Constraints: 31632
2110.65/2116.45 c #Conflicts: 1158000 | #Constraints: 32632
2110.65/2116.45 c #Conflicts: 1159000 | #Constraints: 33632
2110.65/2116.45 c #Conflicts: 1160000 | #Constraints: 34632
2110.65/2116.45 c #Conflicts: 1161000 | #Constraints: 35632
2110.65/2116.45 c #Conflicts: 1162000 | #Constraints: 36632
2110.65/2116.45 c #Conflicts: 1163000 | #Constraints: 37632
2110.65/2116.45 c #Conflicts: 1164000 | #Constraints: 38632
2110.65/2116.45 c #Conflicts: 1165000 | #Constraints: 39632
2110.65/2116.45 c #Conflicts: 1166000 | #Constraints: 40632
2110.65/2116.45 c #Conflicts: 1167000 | #Constraints: 41632
2110.65/2116.45 c #Conflicts: 1168000 | #Constraints: 42632
2110.65/2116.45 c INPROCESSING
2110.65/2116.45 c GARBAGE COLLECT
2110.65/2116.45 c #Conflicts: 1169000 | #Constraints: 22234
2110.65/2116.45 c #Conflicts: 1170000 | #Constraints: 23234
2110.65/2116.45 c #Conflicts: 1171000 | #Constraints: 24234
2110.65/2116.45 c #Conflicts: 1172000 | #Constraints: 25234
2110.65/2116.45 c #Conflicts: 1173000 | #Constraints: 26234
2110.65/2116.45 c #Conflicts: 1174000 | #Constraints: 27234
2110.65/2116.45 c #Conflicts: 1175000 | #Constraints: 28234
2110.65/2116.45 c #Conflicts: 1176000 | #Constraints: 29234
2110.65/2116.45 c #Conflicts: 1177000 | #Constraints: 30234
2110.65/2116.45 c #Conflicts: 1178000 | #Constraints: 31234
2110.65/2116.45 c #Conflicts: 1179000 | #Constraints: 32234
2110.65/2116.45 c #Conflicts: 1180000 | #Constraints: 33234
2110.65/2116.45 c #Conflicts: 1181000 | #Constraints: 34234
2110.65/2116.45 c #Conflicts: 1182000 | #Constraints: 35234
2110.65/2116.45 c #Conflicts: 1183000 | #Constraints: 36234
2110.65/2116.45 c #Conflicts: 1184000 | #Constraints: 37234
2110.65/2116.45 c #Conflicts: 1185000 | #Constraints: 38234
2110.65/2116.45 c #Conflicts: 1186000 | #Constraints: 39234
2110.65/2116.45 c #Conflicts: 1187000 | #Constraints: 40234
2110.65/2116.45 c #Conflicts: 1188000 | #Constraints: 41234
2110.65/2116.45 c #Conflicts: 1189000 | #Constraints: 42234
2110.65/2116.45 c #Conflicts: 1190000 | #Constraints: 43234
2110.65/2116.45 c INPROCESSING
2110.65/2116.45 c GARBAGE COLLECT
2110.65/2116.45 c #Conflicts: 1191000 | #Constraints: 22633
2110.65/2116.45 c #Conflicts: 1192000 | #Constraints: 23633
2110.65/2116.45 c #Conflicts: 1193000 | #Constraints: 24633
2110.65/2116.45 c #Conflicts: 1194000 | #Constraints: 25633
2110.65/2116.45 c #Conflicts: 1195000 | #Constraints: 26633
2110.65/2116.45 c #Conflicts: 1196000 | #Constraints: 27633
2110.65/2116.45 c #Conflicts: 1197000 | #Constraints: 28633
2110.65/2116.45 c #Conflicts: 1198000 | #Constraints: 29633
2110.65/2116.45 c #Conflicts: 1199000 | #Constraints: 30633
2110.65/2116.45 c #Conflicts: 1200000 | #Constraints: 31633
2110.65/2116.45 c #Conflicts: 1201000 | #Constraints: 32633
2110.65/2116.45 c #Conflicts: 1202000 | #Constraints: 33633
2110.65/2116.45 c #Conflicts: 1203000 | #Constraints: 34633
2110.65/2116.45 c #Conflicts: 1204000 | #Constraints: 35633
2110.65/2116.45 c #Conflicts: 1205000 | #Constraints: 36633
2110.65/2116.45 c #Conflicts: 1206000 | #Constraints: 37633
2110.65/2116.45 c #Conflicts: 1207000 | #Constraints: 38633
2110.65/2116.45 c #Conflicts: 1208000 | #Constraints: 39633
2110.65/2116.45 c #Conflicts: 1209000 | #Constraints: 40633
2110.65/2116.45 c #Conflicts: 1210000 | #Constraints: 41633
2110.65/2116.45 c #Conflicts: 1211000 | #Constraints: 42633
2110.65/2116.45 c #Conflicts: 1212000 | #Constraints: 43633
2110.65/2116.45 c INPROCESSING
2110.65/2116.45 c GARBAGE COLLECT
2110.65/2116.45 c #Conflicts: 1213000 | #Constraints: 22831
2110.65/2116.45 c #Conflicts: 1214000 | #Constraints: 23831
2110.65/2116.45 c #Conflicts: 1215000 | #Constraints: 24831
2110.65/2116.45 c #Conflicts: 1216000 | #Constraints: 25831
2110.65/2116.45 c #Conflicts: 1217000 | #Constraints: 26831
2110.65/2116.45 c #Conflicts: 1218000 | #Constraints: 27831
2110.65/2116.45 c #Conflicts: 1219000 | #Constraints: 28831
2110.65/2116.45 c #Conflicts: 1220000 | #Constraints: 29831
2110.65/2116.45 c #Conflicts: 1221000 | #Constraints: 30831
2110.65/2116.45 c #Conflicts: 1222000 | #Constraints: 31831
2338.54/2344.96 c #Conflicts: 1223000 | #Constraints: 32831
2338.54/2344.96 c #Conflicts: 1224000 | #Constraints: 33831
2338.54/2344.96 c #Conflicts: 1225000 | #Constraints: 34831
2338.54/2344.96 c #Conflicts: 1226000 | #Constraints: 35831
2338.54/2344.96 c #Conflicts: 1227000 | #Constraints: 36831
2338.54/2344.96 c #Conflicts: 1228000 | #Constraints: 37831
2338.54/2344.96 c #Conflicts: 1229000 | #Constraints: 38831
2338.54/2344.96 c #Conflicts: 1230000 | #Constraints: 39831
2338.54/2344.96 c #Conflicts: 1231000 | #Constraints: 40831
2338.54/2344.96 c #Conflicts: 1232000 | #Constraints: 41831
2338.54/2344.96 c #Conflicts: 1233000 | #Constraints: 42831
2338.54/2344.96 c #Conflicts: 1234000 | #Constraints: 43831
2338.54/2344.96 c INPROCESSING
2338.54/2344.96 c GARBAGE COLLECT
2338.54/2344.96 c #Conflicts: 1235000 | #Constraints: 22832
2338.54/2344.96 c #Conflicts: 1236000 | #Constraints: 23832
2338.54/2344.96 c #Conflicts: 1237000 | #Constraints: 24832
2338.54/2344.96 c #Conflicts: 1238000 | #Constraints: 25832
2338.54/2344.96 c #Conflicts: 1239000 | #Constraints: 26832
2338.54/2344.96 c #Conflicts: 1240000 | #Constraints: 27832
2338.54/2344.96 c #Conflicts: 1241000 | #Constraints: 28832
2338.54/2344.96 c #Conflicts: 1242000 | #Constraints: 29832
2338.54/2344.96 c #Conflicts: 1243000 | #Constraints: 30832
2338.54/2344.96 c #Conflicts: 1244000 | #Constraints: 31832
2338.54/2344.96 c #Conflicts: 1245000 | #Constraints: 32832
2338.54/2344.96 c #Conflicts: 1246000 | #Constraints: 33832
2338.54/2344.96 c #Conflicts: 1247000 | #Constraints: 34832
2338.54/2344.96 c #Conflicts: 1248000 | #Constraints: 35832
2338.54/2344.96 c #Conflicts: 1249000 | #Constraints: 36832
2338.54/2344.96 c #Conflicts: 1250000 | #Constraints: 37832
2338.54/2344.96 c #Conflicts: 1251000 | #Constraints: 38832
2338.54/2344.96 c #Conflicts: 1252000 | #Constraints: 39832
2338.54/2344.96 c #Conflicts: 1253000 | #Constraints: 40832
2338.54/2344.96 c #Conflicts: 1254000 | #Constraints: 41832
2338.54/2344.96 c #Conflicts: 1255000 | #Constraints: 42832
2338.54/2344.96 c #Conflicts: 1256000 | #Constraints: 43832
2338.54/2344.96 c INPROCESSING
2338.54/2344.96 c GARBAGE COLLECT
2338.54/2344.96 c #Conflicts: 1257000 | #Constraints: 22630
2338.54/2344.96 c #Conflicts: 1258000 | #Constraints: 23630
2338.54/2344.96 c #Conflicts: 1259000 | #Constraints: 24630
2338.54/2344.96 c #Conflicts: 1260000 | #Constraints: 25630
2338.54/2344.96 c #Conflicts: 1261000 | #Constraints: 26630
2338.54/2344.96 c #Conflicts: 1262000 | #Constraints: 27630
2338.54/2344.96 c #Conflicts: 1263000 | #Constraints: 28630
2338.54/2344.96 c #Conflicts: 1264000 | #Constraints: 29630
2338.54/2344.96 c #Conflicts: 1265000 | #Constraints: 30630
2338.54/2344.96 c #Conflicts: 1266000 | #Constraints: 31630
2338.54/2344.96 c #Conflicts: 1267000 | #Constraints: 32630
2338.54/2344.96 c #Conflicts: 1268000 | #Constraints: 33630
2338.54/2344.96 c #Conflicts: 1269000 | #Constraints: 34630
2338.54/2344.96 c #Conflicts: 1270000 | #Constraints: 35630
2338.54/2344.96 c #Conflicts: 1271000 | #Constraints: 36630
2338.54/2344.96 c #Conflicts: 1272000 | #Constraints: 37630
2338.54/2344.96 c #Conflicts: 1273000 | #Constraints: 38630
2338.54/2344.96 c #Conflicts: 1274000 | #Constraints: 39630
2338.54/2344.96 c #Conflicts: 1275000 | #Constraints: 40630
2338.54/2344.96 c #Conflicts: 1276000 | #Constraints: 41630
2338.54/2344.96 c #Conflicts: 1277000 | #Constraints: 42630
2338.54/2344.96 c #Conflicts: 1278000 | #Constraints: 43630
2338.54/2344.96 c #Conflicts: 1279000 | #Constraints: 44630
2338.54/2344.96 c INPROCESSING
2338.54/2344.96 c GARBAGE COLLECT
2338.54/2344.96 c #Conflicts: 1280000 | #Constraints: 23228
2338.54/2344.96 c #Conflicts: 1281000 | #Constraints: 24228
2338.54/2344.96 c #Conflicts: 1282000 | #Constraints: 25228
2338.54/2344.96 c #Conflicts: 1283000 | #Constraints: 26228
2338.54/2344.96 c #Conflicts: 1284000 | #Constraints: 27228
2338.54/2344.96 c #Conflicts: 1285000 | #Constraints: 28228
2338.54/2344.96 c #Conflicts: 1286000 | #Constraints: 29228
2338.54/2344.96 c #Conflicts: 1287000 | #Constraints: 30228
2338.54/2344.96 c #Conflicts: 1288000 | #Constraints: 31228
2338.54/2344.96 c #Conflicts: 1289000 | #Constraints: 32228
2338.54/2344.96 c #Conflicts: 1290000 | #Constraints: 33228
2338.54/2344.96 c #Conflicts: 1291000 | #Constraints: 34228
2338.54/2344.96 c #Conflicts: 1292000 | #Constraints: 35228
2338.54/2344.96 c #Conflicts: 1293000 | #Constraints: 36228
2338.54/2344.96 c #Conflicts: 1294000 | #Constraints: 37228
2338.54/2344.96 c #Conflicts: 1295000 | #Constraints: 38228
2338.54/2344.96 c #Conflicts: 1296000 | #Constraints: 39228
2338.54/2344.96 c #Conflicts: 1297000 | #Constraints: 40228
2338.54/2344.96 c #Conflicts: 1298000 | #Constraints: 41228
2604.63/2611.73 c #Conflicts: 1299000 | #Constraints: 42228
2604.63/2611.73 c #Conflicts: 1300000 | #Constraints: 43228
2604.63/2611.73 c #Conflicts: 1301000 | #Constraints: 44228
2604.63/2611.73 c #Conflicts: 1302000 | #Constraints: 45228
2604.63/2611.73 c INPROCESSING
2604.63/2611.73 c GARBAGE COLLECT
2604.63/2611.73 c #Conflicts: 1303000 | #Constraints: 23631
2604.63/2611.73 c #Conflicts: 1304000 | #Constraints: 24631
2604.63/2611.73 c #Conflicts: 1305000 | #Constraints: 25631
2604.63/2611.73 c #Conflicts: 1306000 | #Constraints: 26631
2604.63/2611.73 c #Conflicts: 1307000 | #Constraints: 27631
2604.63/2611.73 c #Conflicts: 1308000 | #Constraints: 28631
2604.63/2611.73 c #Conflicts: 1309000 | #Constraints: 29631
2604.63/2611.73 c #Conflicts: 1310000 | #Constraints: 30631
2604.63/2611.73 c #Conflicts: 1311000 | #Constraints: 31631
2604.63/2611.73 c #Conflicts: 1312000 | #Constraints: 32631
2604.63/2611.73 c #Conflicts: 1313000 | #Constraints: 33631
2604.63/2611.73 c #Conflicts: 1314000 | #Constraints: 34631
2604.63/2611.73 c #Conflicts: 1315000 | #Constraints: 35631
2604.63/2611.73 c #Conflicts: 1316000 | #Constraints: 36631
2604.63/2611.73 c #Conflicts: 1317000 | #Constraints: 37631
2604.63/2611.73 c #Conflicts: 1318000 | #Constraints: 38631
2604.63/2611.73 c #Conflicts: 1319000 | #Constraints: 39631
2604.63/2611.73 c #Conflicts: 1320000 | #Constraints: 40631
2604.63/2611.73 c #Conflicts: 1321000 | #Constraints: 41631
2604.63/2611.73 c #Conflicts: 1322000 | #Constraints: 42631
2604.63/2611.73 c #Conflicts: 1323000 | #Constraints: 43631
2604.63/2611.73 c #Conflicts: 1324000 | #Constraints: 44631
2604.63/2611.73 c #Conflicts: 1325000 | #Constraints: 45631
2604.63/2611.73 c INPROCESSING
2604.63/2611.73 c GARBAGE COLLECT
2604.63/2611.73 c #Conflicts: 1326000 | #Constraints: 23835
2604.63/2611.73 c #Conflicts: 1327000 | #Constraints: 24835
2604.63/2611.73 c #Conflicts: 1328000 | #Constraints: 25835
2604.63/2611.73 c #Conflicts: 1329000 | #Constraints: 26835
2604.63/2611.73 c #Conflicts: 1330000 | #Constraints: 27835
2604.63/2611.73 c #Conflicts: 1331000 | #Constraints: 28835
2604.63/2611.73 c #Conflicts: 1332000 | #Constraints: 29835
2604.63/2611.73 c #Conflicts: 1333000 | #Constraints: 30835
2604.63/2611.73 c #Conflicts: 1334000 | #Constraints: 31835
2604.63/2611.73 c #Conflicts: 1335000 | #Constraints: 32835
2604.63/2611.73 c #Conflicts: 1336000 | #Constraints: 33835
2604.63/2611.73 c #Conflicts: 1337000 | #Constraints: 34835
2604.63/2611.73 c #Conflicts: 1338000 | #Constraints: 35835
2604.63/2611.73 c #Conflicts: 1339000 | #Constraints: 36835
2604.63/2611.73 c #Conflicts: 1340000 | #Constraints: 37835
2604.63/2611.73 c #Conflicts: 1341000 | #Constraints: 38835
2604.63/2611.73 c #Conflicts: 1342000 | #Constraints: 39835
2604.63/2611.73 c #Conflicts: 1343000 | #Constraints: 40835
2604.63/2611.73 c #Conflicts: 1344000 | #Constraints: 41835
2604.63/2611.73 c #Conflicts: 1345000 | #Constraints: 42835
2604.63/2611.73 c #Conflicts: 1346000 | #Constraints: 43835
2604.63/2611.73 c #Conflicts: 1347000 | #Constraints: 44835
2604.63/2611.73 c #Conflicts: 1348000 | #Constraints: 45835
2604.63/2611.73 c INPROCESSING
2604.63/2611.73 c GARBAGE COLLECT
2604.63/2611.73 c #Conflicts: 1349000 | #Constraints: 23837
2604.63/2611.73 c #Conflicts: 1350000 | #Constraints: 24837
2604.63/2611.73 c #Conflicts: 1351000 | #Constraints: 25837
2604.63/2611.73 c #Conflicts: 1352000 | #Constraints: 26837
2604.63/2611.73 c #Conflicts: 1353000 | #Constraints: 27837
2604.63/2611.73 c #Conflicts: 1354000 | #Constraints: 28837
2604.63/2611.73 c #Conflicts: 1355000 | #Constraints: 29837
2604.63/2611.73 c #Conflicts: 1356000 | #Constraints: 30837
2604.63/2611.73 c #Conflicts: 1357000 | #Constraints: 31837
2604.63/2611.73 c #Conflicts: 1358000 | #Constraints: 32837
2604.63/2611.73 c #Conflicts: 1359000 | #Constraints: 33837
2604.63/2611.73 c #Conflicts: 1360000 | #Constraints: 34837
2604.63/2611.73 c #Conflicts: 1361000 | #Constraints: 35837
2604.63/2611.73 c #Conflicts: 1362000 | #Constraints: 36837
2604.63/2611.73 c #Conflicts: 1363000 | #Constraints: 37837
2604.63/2611.73 c #Conflicts: 1364000 | #Constraints: 38837
2604.63/2611.73 c #Conflicts: 1365000 | #Constraints: 39837
2604.63/2611.73 c #Conflicts: 1366000 | #Constraints: 40837
2604.63/2611.73 c #Conflicts: 1367000 | #Constraints: 41837
2604.63/2611.73 c #Conflicts: 1368000 | #Constraints: 42837
2604.63/2611.73 c #Conflicts: 1369000 | #Constraints: 43837
2604.63/2611.73 c #Conflicts: 1370000 | #Constraints: 44837
2604.63/2611.73 c #Conflicts: 1371000 | #Constraints: 45837
2604.63/2611.73 c INPROCESSING
2604.63/2611.73 c GARBAGE COLLECT
2604.63/2611.73 c #Conflicts: 1372000 | #Constraints: 23633
2604.63/2611.73 c #Conflicts: 1373000 | #Constraints: 24633
2604.63/2611.73 c #Conflicts: 1374000 | #Constraints: 25633
2604.63/2611.73 c #Conflicts: 1375000 | #Constraints: 26633
2863.61/2871.43 c #Conflicts: 1376000 | #Constraints: 27633
2863.61/2871.43 c #Conflicts: 1377000 | #Constraints: 28633
2863.61/2871.43 c #Conflicts: 1378000 | #Constraints: 29633
2863.61/2871.43 c #Conflicts: 1379000 | #Constraints: 30633
2863.61/2871.43 c #Conflicts: 1380000 | #Constraints: 31633
2863.61/2871.43 c #Conflicts: 1381000 | #Constraints: 32633
2863.61/2871.43 c #Conflicts: 1382000 | #Constraints: 33633
2863.61/2871.43 c #Conflicts: 1383000 | #Constraints: 34633
2863.61/2871.43 c #Conflicts: 1384000 | #Constraints: 35633
2863.61/2871.43 c #Conflicts: 1385000 | #Constraints: 36633
2863.61/2871.43 c #Conflicts: 1386000 | #Constraints: 37633
2863.61/2871.43 c #Conflicts: 1387000 | #Constraints: 38633
2863.61/2871.43 c #Conflicts: 1388000 | #Constraints: 39633
2863.61/2871.43 c #Conflicts: 1389000 | #Constraints: 40633
2863.61/2871.43 c #Conflicts: 1390000 | #Constraints: 41633
2863.61/2871.43 c #Conflicts: 1391000 | #Constraints: 42633
2863.61/2871.43 c #Conflicts: 1392000 | #Constraints: 43633
2863.61/2871.43 c #Conflicts: 1393000 | #Constraints: 44633
2863.61/2871.43 c #Conflicts: 1394000 | #Constraints: 45633
2863.61/2871.43 c #Conflicts: 1395000 | #Constraints: 46633
2863.61/2871.43 c INPROCESSING
2863.61/2871.43 c GARBAGE COLLECT
2863.61/2871.43 c #Conflicts: 1396000 | #Constraints: 24231
2863.61/2871.43 c #Conflicts: 1397000 | #Constraints: 25231
2863.61/2871.43 c #Conflicts: 1398000 | #Constraints: 26231
2863.61/2871.43 c #Conflicts: 1399000 | #Constraints: 27231
2863.61/2871.43 c #Conflicts: 1400000 | #Constraints: 28231
2863.61/2871.43 c #Conflicts: 1401000 | #Constraints: 29231
2863.61/2871.43 c #Conflicts: 1402000 | #Constraints: 30231
2863.61/2871.43 c #Conflicts: 1403000 | #Constraints: 31231
2863.61/2871.43 c #Conflicts: 1404000 | #Constraints: 32231
2863.61/2871.43 c #Conflicts: 1405000 | #Constraints: 33231
2863.61/2871.43 c #Conflicts: 1406000 | #Constraints: 34231
2863.61/2871.43 c #Conflicts: 1407000 | #Constraints: 35231
2863.61/2871.43 c #Conflicts: 1408000 | #Constraints: 36231
2863.61/2871.43 c #Conflicts: 1409000 | #Constraints: 37231
2863.61/2871.43 c #Conflicts: 1410000 | #Constraints: 38231
2863.61/2871.43 c #Conflicts: 1411000 | #Constraints: 39231
2863.61/2871.43 c #Conflicts: 1412000 | #Constraints: 40231
2863.61/2871.43 c #Conflicts: 1413000 | #Constraints: 41231
2863.61/2871.43 c #Conflicts: 1414000 | #Constraints: 42231
2863.61/2871.43 c #Conflicts: 1415000 | #Constraints: 43231
2863.61/2871.43 c #Conflicts: 1416000 | #Constraints: 44231
2863.61/2871.43 c #Conflicts: 1417000 | #Constraints: 45231
2863.61/2871.43 c #Conflicts: 1418000 | #Constraints: 46231
2863.61/2871.43 c #Conflicts: 1419000 | #Constraints: 47231
2863.61/2871.43 c INPROCESSING
2863.61/2871.43 c GARBAGE COLLECT
2863.61/2871.43 c #Conflicts: 1420000 | #Constraints: 24630
2863.61/2871.43 c #Conflicts: 1421000 | #Constraints: 25630
2863.61/2871.43 c #Conflicts: 1422000 | #Constraints: 26630
2863.61/2871.43 c #Conflicts: 1423000 | #Constraints: 27630
2863.61/2871.43 c #Conflicts: 1424000 | #Constraints: 28630
2863.61/2871.43 c #Conflicts: 1425000 | #Constraints: 29630
2863.61/2871.43 c #Conflicts: 1426000 | #Constraints: 30630
2863.61/2871.43 c #Conflicts: 1427000 | #Constraints: 31630
2863.61/2871.43 c #Conflicts: 1428000 | #Constraints: 32630
2863.61/2871.43 c #Conflicts: 1429000 | #Constraints: 33630
2863.61/2871.43 c #Conflicts: 1430000 | #Constraints: 34630
2863.61/2871.43 c #Conflicts: 1431000 | #Constraints: 35630
2863.61/2871.43 c #Conflicts: 1432000 | #Constraints: 36630
2863.61/2871.43 c #Conflicts: 1433000 | #Constraints: 37630
2863.61/2871.43 c #Conflicts: 1434000 | #Constraints: 38630
2863.61/2871.43 c #Conflicts: 1435000 | #Constraints: 39630
2863.61/2871.43 c #Conflicts: 1436000 | #Constraints: 40630
2863.61/2871.43 c #Conflicts: 1437000 | #Constraints: 41630
2863.61/2871.43 c #Conflicts: 1438000 | #Constraints: 42630
2863.61/2871.43 c #Conflicts: 1439000 | #Constraints: 43630
2863.61/2871.43 c #Conflicts: 1440000 | #Constraints: 44630
2863.61/2871.43 c #Conflicts: 1441000 | #Constraints: 45630
2863.61/2871.43 c #Conflicts: 1442000 | #Constraints: 46630
2863.61/2871.43 c #Conflicts: 1443000 | #Constraints: 47630
2863.61/2871.43 c INPROCESSING
2863.61/2871.43 c GARBAGE COLLECT
2863.61/2871.43 c #Conflicts: 1444000 | #Constraints: 24832
2863.61/2871.43 c #Conflicts: 1445000 | #Constraints: 25832
2863.61/2871.43 c #Conflicts: 1446000 | #Constraints: 26832
2863.61/2871.43 c #Conflicts: 1447000 | #Constraints: 27832
2863.61/2871.43 c #Conflicts: 1448000 | #Constraints: 28832
2863.61/2871.43 c #Conflicts: 1449000 | #Constraints: 29832
2863.61/2871.43 c #Conflicts: 1450000 | #Constraints: 30832
2863.61/2871.43 c #Conflicts: 1451000 | #Constraints: 31832
3138.54/3147.28 c #Conflicts: 1452000 | #Constraints: 32832
3138.54/3147.28 c #Conflicts: 1453000 | #Constraints: 33832
3138.54/3147.28 c #Conflicts: 1454000 | #Constraints: 34832
3138.54/3147.28 c #Conflicts: 1455000 | #Constraints: 35832
3138.54/3147.28 c #Conflicts: 1456000 | #Constraints: 36832
3138.54/3147.28 c #Conflicts: 1457000 | #Constraints: 37832
3138.54/3147.28 c #Conflicts: 1458000 | #Constraints: 38832
3138.54/3147.28 c #Conflicts: 1459000 | #Constraints: 39832
3138.54/3147.28 c #Conflicts: 1460000 | #Constraints: 40832
3138.54/3147.28 c #Conflicts: 1461000 | #Constraints: 41832
3138.54/3147.28 c #Conflicts: 1462000 | #Constraints: 42832
3138.54/3147.28 c #Conflicts: 1463000 | #Constraints: 43832
3138.54/3147.28 c #Conflicts: 1464000 | #Constraints: 44832
3138.54/3147.28 c #Conflicts: 1465000 | #Constraints: 45832
3138.54/3147.28 c #Conflicts: 1466000 | #Constraints: 46832
3138.54/3147.28 c #Conflicts: 1467000 | #Constraints: 47832
3138.54/3147.28 c INPROCESSING
3138.54/3147.28 c GARBAGE COLLECT
3138.54/3147.28 c #Conflicts: 1468000 | #Constraints: 24833
3138.54/3147.28 c #Conflicts: 1469000 | #Constraints: 25833
3138.54/3147.28 c #Conflicts: 1470000 | #Constraints: 26833
3138.54/3147.28 c #Conflicts: 1471000 | #Constraints: 27833
3138.54/3147.28 c #Conflicts: 1472000 | #Constraints: 28833
3138.54/3147.28 c #Conflicts: 1473000 | #Constraints: 29833
3138.54/3147.28 c #Conflicts: 1474000 | #Constraints: 30833
3138.54/3147.28 c #Conflicts: 1475000 | #Constraints: 31833
3138.54/3147.28 c #Conflicts: 1476000 | #Constraints: 32833
3138.54/3147.28 c #Conflicts: 1477000 | #Constraints: 33833
3138.54/3147.28 c #Conflicts: 1478000 | #Constraints: 34833
3138.54/3147.28 c #Conflicts: 1479000 | #Constraints: 35833
3138.54/3147.28 c #Conflicts: 1480000 | #Constraints: 36833
3138.54/3147.28 c #Conflicts: 1481000 | #Constraints: 37833
3138.54/3147.28 c #Conflicts: 1482000 | #Constraints: 38833
3138.54/3147.28 c #Conflicts: 1483000 | #Constraints: 39833
3138.54/3147.28 c #Conflicts: 1484000 | #Constraints: 40833
3138.54/3147.28 c #Conflicts: 1485000 | #Constraints: 41833
3138.54/3147.28 c #Conflicts: 1486000 | #Constraints: 42833
3138.54/3147.28 c #Conflicts: 1487000 | #Constraints: 43833
3138.54/3147.28 c #Conflicts: 1488000 | #Constraints: 44833
3138.54/3147.28 c #Conflicts: 1489000 | #Constraints: 45833
3138.54/3147.28 c #Conflicts: 1490000 | #Constraints: 46833
3138.54/3147.28 c #Conflicts: 1491000 | #Constraints: 47833
3138.54/3147.28 c INPROCESSING
3138.54/3147.28 c GARBAGE COLLECT
3138.54/3147.28 c #Conflicts: 1492000 | #Constraints: 24631
3138.54/3147.28 c #Conflicts: 1493000 | #Constraints: 25631
3138.54/3147.28 c #Conflicts: 1494000 | #Constraints: 26631
3138.54/3147.28 c #Conflicts: 1495000 | #Constraints: 27631
3138.54/3147.28 c #Conflicts: 1496000 | #Constraints: 28631
3138.54/3147.28 c #Conflicts: 1497000 | #Constraints: 29631
3138.54/3147.28 c #Conflicts: 1498000 | #Constraints: 30631
3138.54/3147.28 c #Conflicts: 1499000 | #Constraints: 31631
3138.54/3147.28 c #Conflicts: 1500000 | #Constraints: 32631
3138.54/3147.28 c #Conflicts: 1501000 | #Constraints: 33631
3138.54/3147.28 c #Conflicts: 1502000 | #Constraints: 34631
3138.54/3147.28 c #Conflicts: 1503000 | #Constraints: 35631
3138.54/3147.28 c #Conflicts: 1504000 | #Constraints: 36631
3138.54/3147.28 c #Conflicts: 1505000 | #Constraints: 37631
3138.54/3147.28 c #Conflicts: 1506000 | #Constraints: 38631
3138.54/3147.28 c #Conflicts: 1507000 | #Constraints: 39631
3138.54/3147.28 c #Conflicts: 1508000 | #Constraints: 40631
3138.54/3147.28 c #Conflicts: 1509000 | #Constraints: 41631
3138.54/3147.28 c #Conflicts: 1510000 | #Constraints: 42631
3138.54/3147.28 c #Conflicts: 1511000 | #Constraints: 43631
3138.54/3147.28 c #Conflicts: 1512000 | #Constraints: 44631
3138.54/3147.28 c #Conflicts: 1513000 | #Constraints: 45631
3138.54/3147.28 c #Conflicts: 1514000 | #Constraints: 46631
3138.54/3147.28 c #Conflicts: 1515000 | #Constraints: 47631
3138.54/3147.28 c #Conflicts: 1516000 | #Constraints: 48631
3138.54/3147.28 c INPROCESSING
3138.54/3147.28 c GARBAGE COLLECT
3138.54/3147.28 c #Conflicts: 1517000 | #Constraints: 25231
3138.54/3147.28 c #Conflicts: 1518000 | #Constraints: 26231
3138.54/3147.28 c #Conflicts: 1519000 | #Constraints: 27231
3138.54/3147.28 c #Conflicts: 1520000 | #Constraints: 28231
3138.54/3147.28 c #Conflicts: 1521000 | #Constraints: 29231
3138.54/3147.28 c #Conflicts: 1522000 | #Constraints: 30231
3138.54/3147.28 c #Conflicts: 1523000 | #Constraints: 31231
3138.54/3147.28 c #Conflicts: 1524000 | #Constraints: 32231
3138.54/3147.28 c #Conflicts: 1525000 | #Constraints: 33231
3138.54/3147.28 c #Conflicts: 1526000 | #Constraints: 34231
3138.54/3147.28 c #Conflicts: 1527000 | #Constraints: 35231
3138.54/3147.28 c #Conflicts: 1528000 | #Constraints: 36231
3392.85/3402.35 c #Conflicts: 1529000 | #Constraints: 37231
3392.85/3402.35 c #Conflicts: 1530000 | #Constraints: 38231
3392.85/3402.35 c #Conflicts: 1531000 | #Constraints: 39231
3392.85/3402.35 c #Conflicts: 1532000 | #Constraints: 40231
3392.85/3402.35 c #Conflicts: 1533000 | #Constraints: 41231
3392.85/3402.35 c #Conflicts: 1534000 | #Constraints: 42231
3392.85/3402.35 c #Conflicts: 1535000 | #Constraints: 43231
3392.85/3402.35 c #Conflicts: 1536000 | #Constraints: 44231
3392.85/3402.35 c #Conflicts: 1537000 | #Constraints: 45231
3392.85/3402.35 c #Conflicts: 1538000 | #Constraints: 46231
3392.85/3402.35 c #Conflicts: 1539000 | #Constraints: 47231
3392.85/3402.35 c #Conflicts: 1540000 | #Constraints: 48231
3392.85/3402.35 c #Conflicts: 1541000 | #Constraints: 49231
3392.85/3402.35 c INPROCESSING
3392.85/3402.35 c GARBAGE COLLECT
3392.85/3402.35 c #Conflicts: 1542000 | #Constraints: 25633
3392.85/3402.35 c #Conflicts: 1543000 | #Constraints: 26633
3392.85/3402.35 c #Conflicts: 1544000 | #Constraints: 27633
3392.85/3402.35 c #Conflicts: 1545000 | #Constraints: 28633
3392.85/3402.35 c #Conflicts: 1546000 | #Constraints: 29633
3392.85/3402.35 c #Conflicts: 1547000 | #Constraints: 30633
3392.85/3402.35 c #Conflicts: 1548000 | #Constraints: 31633
3392.85/3402.35 c #Conflicts: 1549000 | #Constraints: 32633
3392.85/3402.35 c #Conflicts: 1550000 | #Constraints: 33633
3392.85/3402.35 c #Conflicts: 1551000 | #Constraints: 34633
3392.85/3402.35 c #Conflicts: 1552000 | #Constraints: 35633
3392.85/3402.35 c #Conflicts: 1553000 | #Constraints: 36633
3392.85/3402.35 c #Conflicts: 1554000 | #Constraints: 37633
3392.85/3402.35 c #Conflicts: 1555000 | #Constraints: 38633
3392.85/3402.35 c #Conflicts: 1556000 | #Constraints: 39633
3392.85/3402.35 c #Conflicts: 1557000 | #Constraints: 40633
3392.85/3402.35 c #Conflicts: 1558000 | #Constraints: 41633
3392.85/3402.35 c #Conflicts: 1559000 | #Constraints: 42633
3392.85/3402.35 c #Conflicts: 1560000 | #Constraints: 43633
3392.85/3402.35 c #Conflicts: 1561000 | #Constraints: 44633
3392.85/3402.35 c #Conflicts: 1562000 | #Constraints: 45633
3392.85/3402.35 c #Conflicts: 1563000 | #Constraints: 46633
3392.85/3402.35 c #Conflicts: 1564000 | #Constraints: 47633
3392.85/3402.35 c #Conflicts: 1565000 | #Constraints: 48633
3392.85/3402.35 c #Conflicts: 1566000 | #Constraints: 49633
3392.85/3402.35 c INPROCESSING
3392.85/3402.35 c GARBAGE COLLECT
3392.85/3402.35 c #Conflicts: 1567000 | #Constraints: 25834
3392.85/3402.35 c #Conflicts: 1568000 | #Constraints: 26834
3392.85/3402.35 c #Conflicts: 1569000 | #Constraints: 27834
3392.85/3402.35 c #Conflicts: 1570000 | #Constraints: 28834
3392.85/3402.35 c #Conflicts: 1571000 | #Constraints: 29834
3392.85/3402.35 c #Conflicts: 1572000 | #Constraints: 30834
3392.85/3402.35 c #Conflicts: 1573000 | #Constraints: 31834
3392.85/3402.35 c #Conflicts: 1574000 | #Constraints: 32834
3392.85/3402.35 c #Conflicts: 1575000 | #Constraints: 33834
3392.85/3402.35 c #Conflicts: 1576000 | #Constraints: 34834
3392.85/3402.35 c #Conflicts: 1577000 | #Constraints: 35834
3392.85/3402.35 c #Conflicts: 1578000 | #Constraints: 36834
3392.85/3402.35 c #Conflicts: 1579000 | #Constraints: 37834
3392.85/3402.35 c #Conflicts: 1580000 | #Constraints: 38834
3392.85/3402.35 c #Conflicts: 1581000 | #Constraints: 39834
3392.85/3402.35 c #Conflicts: 1582000 | #Constraints: 40834
3392.85/3402.35 c #Conflicts: 1583000 | #Constraints: 41834
3392.85/3402.35 c #Conflicts: 1584000 | #Constraints: 42834
3392.85/3402.35 c #Conflicts: 1585000 | #Constraints: 43834
3392.85/3402.35 c #Conflicts: 1586000 | #Constraints: 44834
3392.85/3402.35 c #Conflicts: 1587000 | #Constraints: 45834
3392.85/3402.35 c #Conflicts: 1588000 | #Constraints: 46834
3392.85/3402.35 c #Conflicts: 1589000 | #Constraints: 47834
3392.85/3402.35 c #Conflicts: 1590000 | #Constraints: 48834
3392.85/3402.35 c #Conflicts: 1591000 | #Constraints: 49834
3392.85/3402.35 c INPROCESSING
3392.85/3402.35 c GARBAGE COLLECT
3392.85/3402.35 c #Conflicts: 1592000 | #Constraints: 25837
3392.85/3402.35 c #Conflicts: 1593000 | #Constraints: 26837
3392.85/3402.35 c #Conflicts: 1594000 | #Constraints: 27837
3392.85/3402.35 c #Conflicts: 1595000 | #Constraints: 28837
3392.85/3402.35 c #Conflicts: 1596000 | #Constraints: 29837
3392.85/3402.35 c #Conflicts: 1597000 | #Constraints: 30837
3392.85/3402.35 c #Conflicts: 1598000 | #Constraints: 31837
3392.85/3402.35 c #Conflicts: 1599000 | #Constraints: 32837
3392.85/3402.35 c #Conflicts: 1600000 | #Constraints: 33837
3392.85/3402.35 c #Conflicts: 1601000 | #Constraints: 34837
3392.85/3402.35 c #Conflicts: 1602000 | #Constraints: 35837
3392.85/3402.35 c #Conflicts: 1603000 | #Constraints: 36837
3392.85/3402.35 c #Conflicts: 1604000 | #Constraints: 37837
3392.85/3402.35 c #Conflicts: 1605000 | #Constraints: 38837
3600.01/3610.11 c #Conflicts: 1606000 | #Constraints: 39837
3600.01/3610.11 c #Conflicts: 1607000 | #Constraints: 40837
3600.01/3610.11 c #Conflicts: 1608000 | #Constraints: 41837
3600.01/3610.11 c #Conflicts: 1609000 | #Constraints: 42837
3600.01/3610.11 c #Conflicts: 1610000 | #Constraints: 43837
3600.01/3610.11 c #Conflicts: 1611000 | #Constraints: 44837
3600.01/3610.11 c #Conflicts: 1612000 | #Constraints: 45837
3600.01/3610.11 c #Conflicts: 1613000 | #Constraints: 46837
3600.01/3610.11 c #Conflicts: 1614000 | #Constraints: 47837
3600.01/3610.11 c #Conflicts: 1615000 | #Constraints: 48837
3600.01/3610.11 c #Conflicts: 1616000 | #Constraints: 49837
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 1617000 | #Constraints: 25635
3600.01/3610.11 c #Conflicts: 1618000 | #Constraints: 26635
3600.01/3610.11 c #Conflicts: 1619000 | #Constraints: 27635
3600.01/3610.11 c #Conflicts: 1620000 | #Constraints: 28635
3600.01/3610.11 c #Conflicts: 1621000 | #Constraints: 29635
3600.01/3610.11 c #Conflicts: 1622000 | #Constraints: 30635
3600.01/3610.11 c #Conflicts: 1623000 | #Constraints: 31635
3600.01/3610.11 c #Conflicts: 1624000 | #Constraints: 32635
3600.01/3610.11 c #Conflicts: 1625000 | #Constraints: 33635
3600.01/3610.11 c #Conflicts: 1626000 | #Constraints: 34635
3600.01/3610.11 c #Conflicts: 1627000 | #Constraints: 35635
3600.01/3610.11 c #Conflicts: 1628000 | #Constraints: 36635
3600.01/3610.11 c #Conflicts: 1629000 | #Constraints: 37635
3600.01/3610.11 c #Conflicts: 1630000 | #Constraints: 38635
3600.01/3610.11 c #Conflicts: 1631000 | #Constraints: 39635
3600.01/3610.11 c #Conflicts: 1632000 | #Constraints: 40635
3600.01/3610.11 c #Conflicts: 1633000 | #Constraints: 41635
3600.01/3610.11 c #Conflicts: 1634000 | #Constraints: 42635
3600.01/3610.11 c #Conflicts: 1635000 | #Constraints: 43635
3600.01/3610.11 c #Conflicts: 1636000 | #Constraints: 44635
3600.01/3610.11 c #Conflicts: 1637000 | #Constraints: 45635
3600.01/3610.11 c #Conflicts: 1638000 | #Constraints: 46635
3600.01/3610.11 c #Conflicts: 1639000 | #Constraints: 47635
3600.01/3610.11 c #Conflicts: 1640000 | #Constraints: 48635
3600.01/3610.11 c #Conflicts: 1641000 | #Constraints: 49635
3600.01/3610.11 c #Conflicts: 1642000 | #Constraints: 50635
3600.01/3610.11 c INPROCESSING
3600.01/3610.11 c GARBAGE COLLECT
3600.01/3610.11 c #Conflicts: 1643000 | #Constraints: 26232
3600.01/3610.11 c #Conflicts: 1644000 | #Constraints: 27232
3600.01/3610.11 c #Conflicts: 1645000 | #Constraints: 28232
3600.01/3610.11 c #Conflicts: 1646000 | #Constraints: 29232
3600.01/3610.11 c #Conflicts: 1647000 | #Constraints: 30232
3600.01/3610.11 c #Conflicts: 1648000 | #Constraints: 31232
3600.01/3610.11 c #Conflicts: 1649000 | #Constraints: 32232
3600.01/3610.11 c #Conflicts: 1650000 | #Constraints: 33232
3600.01/3610.11 c #Conflicts: 1651000 | #Constraints: 34232
3600.01/3610.11 c #Conflicts: 1652000 | #Constraints: 35232
3600.01/3610.11 c #Conflicts: 1653000 | #Constraints: 36232
3600.01/3610.11 c #Conflicts: 1654000 | #Constraints: 37232
3600.01/3610.11 c #Conflicts: 1655000 | #Constraints: 38232
3600.01/3610.11 c Program interrupted by user.
3600.01/3610.11 c cpu time 3591.95 s
3600.01/3610.11 c deterministic time 536726634855 5.37e+11
3600.01/3610.11 c optimization time 45.1299 s
3600.01/3610.11 c total solve time 3546.82 s
3600.01/3610.11 c core-guided solve time 3546.82 s
3600.01/3610.11 c propagation time 3440.98 s
3600.01/3610.11 c conflict analysis time 135.96 s
3600.01/3610.11 c propagations 19882129
3600.01/3610.11 c resolve steps 7584555
3600.01/3610.11 c decisions 3191462
3600.01/3610.11 c conflicts 1655894
3600.01/3610.11 c restarts 3132
3600.01/3610.11 c inprocessing phases 119
3600.01/3610.11 c input clauses 0
3600.01/3610.11 c input cardinalities 0
3600.01/3610.11 c input general constraints 18
3600.01/3610.11 c input average constraint length 82.89
3600.01/3610.11 c input average constraint degree 2037.89
3600.01/3610.11 c learned clauses 863205
3600.01/3610.11 c learned cardinalities 0
3600.01/3610.11 c learned general constraints 792688
3600.01/3610.11 c learned average constraint length 78.02
3600.01/3610.11 c learned average constraint degree 463474.22
3600.01/3610.11 c watched constraints 787565
3600.01/3610.11 c counting constraints 5141
3600.01/3610.11 c gcd simplifications 764652
3600.01/3610.11 c detected cardinalities 0
3600.01/3610.11 c weakened non-implied lits 27571302
3600.01/3610.11 c weakened non-implying lits 2397499
3600.01/3610.11 c original variables 172
3600.01/3610.11 c clausal propagations 326257
3600.01/3610.11 c cardinality propagations 0
3600.01/3610.11 c watched propagations 13936510
3600.01/3610.11 c counting propagations 4330091
3600.01/3610.11 c watch lookups 26121353081
3600.01/3610.11 c watch backjump lookups 12347500174
3600.01/3610.11 c watch checks 405230818052
3600.01/3610.11 c propagation checks 92231612680
3600.01/3610.11 c constraint additions 747547935
3600.01/3610.11 c trail pops 24729341
3600.01/3610.11 c formula constraints 14
3600.01/3610.11 c learned constraints 1655893
3600.01/3610.11 c bound constraints 4
3600.01/3610.11 c core-guided constraints 0
3600.01/3610.11 c encountered formula constraints 2597849
3600.01/3610.11 c encountered learned constraints 6642600
3600.01/3610.11 c encountered bound constraints 0
3600.01/3610.11 c encountered core-guided constraints 0
3600.01/3610.11 c LP total time 0 s
3600.01/3610.11 c LP solve time 0 s
3600.01/3610.11 c LP constraints added 0
3600.01/3610.11 c LP constraints removed 0
3600.01/3610.11 c LP pivots internal 0
3600.01/3610.11 c LP pivots root 0
3600.01/3610.11 c LP calls 0
3600.01/3610.11 c LP optimalities 0
3600.01/3610.11 c LP no pivot count 0
3600.01/3610.11 c LP infeasibilities 0
3600.01/3610.11 c LP valid Farkas constraints 0
3600.01/3610.11 c LP learned Farkas constraints 0
3600.01/3610.11 c LP basis resets 0
3600.01/3610.11 c LP cycling count 0
3600.01/3610.11 c LP singular count 0
3600.01/3610.11 c LP no primal count 0
3600.01/3610.11 c LP no farkas count 0
3600.01/3610.11 c LP other issue count 0
3600.01/3610.11 c LP Gomory cuts 0
3600.01/3610.11 c LP learned cuts 0
3600.01/3610.11 c LP deleted cuts 0
3600.01/3610.11 c LP encountered Gomory constraints 0
3600.01/3610.11 c LP encountered Farkas constraints 0
3600.01/3610.11 c LP encountered learned Farkas constraints 0
3600.01/3610.11 c CG auxiliary variables introduced 0
3600.01/3610.11 c CG solutions found 4
3600.01/3610.11 c CG cores constructed 0
3600.01/3610.11 c CG core cardinality constraints returned 0
3600.01/3610.11 c CG unit cores 0
3600.01/3610.11 c CG single cores 0
3600.01/3610.11 c CG blocks removed during cardinality reduction 0
3600.01/3610.11 c CG first core best 0
3600.01/3610.11 c CG decision core best 0
3600.01/3610.11 c CG core reduction tie 0
3600.01/3610.11 c CG core degree average 0.00
3600.01/3610.11 c CG core slack average 0.00
3600.01/3610.11 c CG exhausted 0
3600.01/3610.11 c CG exhaust time 0 s
3600.01/3610.11 c CG trimmed 0
3600.01/3610.11 c CG trim time 0 s
3600.01/3610.11 c CG minimized 0
3600.01/3610.11 c CG minimize time 0 s
3600.01/3610.11 c CG am1 prop time 0.000254 s
3600.01/3610.11 c CG # am1s reformulated 0
3600.01/3610.11 c CG lower bound derived from am1s 0
3600.01/3610.11 c CG # clausal cores 0
3600.01/3610.11 c CG # cardinality cores 0
3600.01/3610.11 c CG # pb cores 0
3600.01/3610.11 c CG # pb reforms 0
3600.01/3610.11 c CG # cores discarded because of pb reform 0
3600.01/3610.11 d LOWERBOUND 0
3600.01/3610.11 d NCORES 0
3600.01/3610.11 d NPBCORES 0
3600.01/3610.11 d NPBREFORM 0
3600.01/3610.11 d NTRIMMED 0
3600.01/3610.11 d NEXHAUSTED 0
3600.01/3610.11 d NAM1S 0
3600.01/3610.11 d AM1LB 0
3600.01/3610.11 o 50
3600.01/3610.11 s SATISFIABLE
3600.01/3610.11 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
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: 64096 MiB (63337 MiB free)
memory of node 1: 64473 MiB (62043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435906-1721104466/watcher-4435906-1721104466 -o /tmp/evaluation-result-4435906-1721104466/solver-4435906-1721104466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836655 --watchdog 3760 pb-oll-rs HOME/instance-4435906-1721104466.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=836714, runsolver pid=836704
[startup+0.100771 s]*
/proc/loadavg: 3.56 4.02 4.13 8/246 836716
/proc/meminfo: memFree=128387612/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=38924 memory=6456 CPUtime=0.1 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 393 0 0 0 10 0 0 0 20 0 1 0 162605460 39858176 1614 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 9731 1614 1409 291 0 1265 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 6456 KiB
[startup+0.214861 s]*
/proc/loadavg: 3.56 4.02 4.13 8/246 836716
/proc/meminfo: memFree=128383804/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=39056 memory=8764 CPUtime=0.21 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 442 0 0 0 21 0 0 0 20 0 1 0 162605460 39993344 2191 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 9764 2191 1409 291 0 1298 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39056 KiB
Current children cumulated memory: 8764 KiB
[startup+0.31297 s]*
/proc/loadavg: 3.56 4.02 4.13 8/246 836716
/proc/meminfo: memFree=128382656/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=39188 memory=8764 CPUtime=0.31 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 475 0 0 0 30 1 0 0 20 0 1 0 162605460 40128512 2191 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 9797 2191 1409 291 0 1331 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 8764 KiB
[startup+0.70026 s]
/proc/loadavg: 3.56 4.02 4.13 8/246 836716
/proc/meminfo: memFree=128380752/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=39452 memory=9028 CPUtime=0.69 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 536 0 0 0 67 2 0 0 20 0 1 0 162605460 40398848 2257 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 9863 2257 1409 291 0 1397 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 9028 KiB
[startup+1.50026 s]
/proc/loadavg: 3.59 4.02 4.13 8/246 836716
/proc/meminfo: memFree=128376976/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=39992 memory=9792 CPUtime=1.48 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 646 0 0 0 145 3 0 0 20 0 1 0 162605460 40951808 2448 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 9998 2448 1472 291 0 1532 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39992 KiB
Current children cumulated memory: 9792 KiB
[startup+3.11243 s]
/proc/loadavg: 3.59 4.02 4.13 8/246 836718
/proc/meminfo: memFree=128370692/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=40644 memory=10580 CPUtime=3.09 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 853 0 0 0 301 8 0 0 20 0 1 0 162605460 41619456 2645 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 10161 2645 1472 291 0 1695 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40644 KiB
Current children cumulated memory: 10580 KiB
[startup+6.30023 s]
/proc/loadavg: 3.62 4.02 4.13 8/246 836718
/proc/meminfo: memFree=128367092/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=41520 memory=12332 CPUtime=6.26 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 1266 0 0 0 613 13 0 0 20 0 1 0 162605460 42516480 3083 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 10380 3083 1472 291 0 1914 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41520 KiB
Current children cumulated memory: 12332 KiB
[startup+12.7002 s]
/proc/loadavg: 3.66 4.02 4.12 8/246 836718
/proc/meminfo: memFree=128363676/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=42400 memory=13864 CPUtime=12.66 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 1651 0 0 0 1247 19 0 0 20 0 1 0 162605460 43417600 3466 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 10600 3466 1472 291 0 2134 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42400 KiB
Current children cumulated memory: 13864 KiB
[startup+25.5003 s]
/proc/loadavg: 3.71 4.02 4.12 8/246 836721
/proc/meminfo: memFree=128353488/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=46144 memory=16180 CPUtime=25.43 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 2085 0 0 0 2513 30 0 0 20 0 1 0 162605460 47251456 4045 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 11536 4045 1472 291 0 3070 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 16180 KiB
[startup+51.1126 s]
/proc/loadavg: 3.90 4.03 4.12 8/246 836724
/proc/meminfo: memFree=128344496/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=46960 memory=18416 CPUtime=50.98 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 2727 0 0 0 5048 50 0 0 20 0 1 0 162605460 48087040 4604 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 11740 4604 1472 291 0 3274 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 46960 KiB
Current children cumulated memory: 18416 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.04 4.12 7/243 836778
/proc/meminfo: memFree=128339624/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=54132 memory=24532 CPUtime=102.04 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 3820 0 0 0 10121 83 0 0 20 0 1 0 162605460 55431168 6133 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 13533 6133 1472 291 0 5067 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 54132 KiB
Current children cumulated memory: 24532 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.05 4.11 8/243 836879
/proc/meminfo: memFree=128313148/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=55432 memory=25816 CPUtime=161.86 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 4236 0 0 0 16067 119 0 0 20 0 1 0 162605460 56762368 6454 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 13858 6454 1472 291 0 5392 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 55432 KiB
Current children cumulated memory: 25816 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.05 4.11 8/243 836890
/proc/meminfo: memFree=128304908/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=63324 memory=27480 CPUtime=221.67 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 4798 0 0 0 22021 146 0 0 20 0 1 0 162605460 64843776 6870 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 15831 6870 1472 291 0 7365 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 63324 KiB
Current children cumulated memory: 27480 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.06 4.10 8/243 836900
/proc/meminfo: memFree=128294356/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=63908 memory=29852 CPUtime=281.5 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 5390 0 0 0 27975 175 0 0 20 0 1 0 162605460 65441792 7463 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 15977 7463 1472 291 0 7511 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 63908 KiB
Current children cumulated memory: 29852 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.06 4.10 7/242 836911
/proc/meminfo: memFree=128280012/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=63912 memory=31924 CPUtime=341.35 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 5494 0 0 0 33942 193 0 0 20 0 1 0 162605460 65445888 7981 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 15978 7981 1472 291 0 7512 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 63912 KiB
Current children cumulated memory: 31924 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.08 4.10 8/245 836927
/proc/meminfo: memFree=128275992/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=64748 memory=32656 CPUtime=401.2 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 5774 0 0 0 39910 210 0 0 20 0 1 0 162605460 66301952 8164 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 16187 8164 1472 291 0 7721 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 64748 KiB
Current children cumulated memory: 32656 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.06 4.09 7/245 836937
/proc/meminfo: memFree=128267392/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=67440 memory=34368 CPUtime=461.04 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 6271 0 0 0 45879 225 0 0 20 0 1 0 162605460 69058560 8592 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 16860 8592 1472 291 0 8394 0
################
# More data... #
################
Current children cumulated memory: 51476 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.26 4.24 7/243 837952
/proc/meminfo: memFree=128169056/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=85588 memory=51480 CPUtime=2914.35 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10096 0 0 0 290735 700 0 0 20 0 1 0 162605460 87642112 12870 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21397 12870 1472 291 0 12931 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 85588 KiB
Current children cumulated memory: 51480 KiB
[startup+2982.3 s]
/proc/loadavg: 4.60 4.34 4.27 7/243 837962
/proc/meminfo: memFree=128166244/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=85588 memory=53528 CPUtime=2974.16 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10116 0 0 0 296706 710 0 0 20 0 1 0 162605460 87642112 13382 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21397 13382 1472 291 0 12931 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 85588 KiB
Current children cumulated memory: 53528 KiB
[startup+3042.3 s]
/proc/loadavg: 4.63 4.41 4.30 7/243 837973
/proc/meminfo: memFree=128163284/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=85844 memory=53608 CPUtime=3033.97 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10200 0 0 0 302677 720 0 0 20 0 1 0 162605460 87904256 13402 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21461 13402 1472 291 0 12995 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 85844 KiB
Current children cumulated memory: 53608 KiB
[startup+3102.3 s]
/proc/loadavg: 4.43 4.41 4.30 7/241 838369
/proc/meminfo: memFree=128262568/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=85844 memory=53788 CPUtime=3093.78 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10224 0 0 0 308649 729 0 0 20 0 1 0 162605460 87904256 13447 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21461 13447 1472 291 0 12995 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 85844 KiB
Current children cumulated memory: 53788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.36 4.29 7/241 838380
/proc/meminfo: memFree=128260892/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=86100 memory=53972 CPUtime=3153.6 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10307 0 0 0 314620 740 0 0 20 0 1 0 162605460 88166400 13493 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21525 13493 1472 291 0 13059 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 86100 KiB
Current children cumulated memory: 53972 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.31 4.27 7/241 838390
/proc/meminfo: memFree=128260420/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=86100 memory=53972 CPUtime=3213.4 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10327 0 0 0 320592 748 0 0 20 0 1 0 162605460 88166400 13493 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21525 13493 1472 291 0 13059 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 86100 KiB
Current children cumulated memory: 53972 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.30 4.27 7/243 838571
/proc/meminfo: memFree=128259472/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=86100 memory=54048 CPUtime=3273.22 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10352 0 0 0 326563 759 0 0 20 0 1 0 162605460 88166400 13512 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21525 13512 1472 291 0 13059 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 86100 KiB
Current children cumulated memory: 54048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.26 4.26 7/243 838581
/proc/meminfo: memFree=128259496/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=86100 memory=54048 CPUtime=3333.04 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10373 0 0 0 332535 769 0 0 20 0 1 0 162605460 88166400 13512 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21525 13512 1472 291 0 13059 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 86100 KiB
Current children cumulated memory: 54048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.22 4.25 7/246 838650
/proc/meminfo: memFree=128257768/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=86516 memory=54428 CPUtime=3392.85 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10496 0 0 0 338508 777 0 0 20 0 1 0 162605460 88592384 13607 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21629 13607 1472 291 0 13163 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 86516 KiB
Current children cumulated memory: 54428 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.24 7/246 838660
/proc/meminfo: memFree=128254004/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=87028 memory=54784 CPUtime=3452.66 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10645 0 0 0 344480 786 0 0 20 0 1 0 162605460 89116672 13696 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21757 13696 1472 291 0 13291 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 87028 KiB
Current children cumulated memory: 54784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.17 4.22 7/246 838671
/proc/meminfo: memFree=128253492/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=87028 memory=54784 CPUtime=3512.47 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10664 0 0 0 350452 795 0 0 20 0 1 0 162605460 89116672 13696 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 21757 13696 1472 291 0 13291 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 87028 KiB
Current children cumulated memory: 54784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.22 7/245 838681
/proc/meminfo: memFree=128252248/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=88072 memory=55640 CPUtime=3572.29 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10994 0 0 0 356426 803 0 0 20 0 1 0 162605460 90185728 13910 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 22018 13910 1472 291 0 13552 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 88072 KiB
Current children cumulated memory: 55640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.09 4.15 4.21 6/245 838733
/proc/meminfo: memFree=128286640/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=88072 memory=55640 CPUtime=3600.01 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10996 0 0 0 359194 807 0 0 20 0 1 0 162605460 90185728 13910 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 22018 13910 1472 291 0 13552 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 88072 KiB
Current children cumulated memory: 55640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 836714 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.95 s, system=8.07933 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.09 4.15 4.21 6/245 838733
/proc/meminfo: memFree=128286640/131655788 swapFree=131071996/131071996
[pid=836714] ppid=836704 vsize=88072 memory=55640 CPUtime=3600.01 cores=5,7
/proc/836714/stat : 836714 (pb-oll-rs) R 836704 836714 836642 0 -1 4194304 10996 0 0 0 359194 807 0 0 20 0 1 0 162605460 90185728 13910 134679101440 4194304 5384005 140728978976464 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13131776 140728978977815 140728978977892 140728978977892 140728978984907 0
/proc/836714/statm: 22018 13910 1472 291 0 13552 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 88072 KiB
Current children cumulated memory: 55640 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.03
CPU user time (s): 3591.95
CPU system time (s): 8.07933
CPU usage (%): 99.7205
Max. virtual memory (cumulated for all children) (KiB): 88072
Max. memory (cumulated for all children) (KiB): 55640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.95
system time used= 8.07933
maximum resident set size= 56016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11013
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= 28
involuntary context switches= 1413
# summary of solver processes directly reported to runsolver:
# pid: 836714
# total CPU time (s): 3600.03
# total CPU user time (s): 3591.95
# total CPU system time (s): 8.07933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8635 second user time and 36.8153 second system time
The end
Begin job on nodeC005 at 2024-07-16 06:34:39
IDJOB=4435906
IDBENCH=147611
IDSOLVER=3067
FILE ID=nodeC005/4435906-1721104466
RUNJOBID= nodeC005-1721104478-836655
SLURM_JOB_ID= 7505626
Free space on /tmp= 723784 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435906-1721104466/watcher-4435906-1721104466 -o /tmp/evaluation-result-4435906-1721104466/solver-4435906-1721104466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836655 --watchdog 3760 pb-oll-rs HOME/instance-4435906-1721104466.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=1228448863
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 0xb00001f
cpu MHz : 1197.189
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 0xb00001f
cpu MHz : 1197.179
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 0xb00001f
cpu MHz : 1197.179
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 0xb00001f
cpu MHz : 3224.024
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 0xb00001f
cpu MHz : 1197.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
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 : 0xb00001f
cpu MHz : 1197.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 0xb00001f
cpu MHz : 1197.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128393256 kB
MemAvailable: 129955444 kB
Buffers: 381260 kB
Cached: 2007140 kB
SwapCached: 0 kB
Active: 688512 kB
Inactive: 2007900 kB
Active(anon): 3336 kB
Inactive(anon): 343020 kB
Active(file): 685176 kB
Inactive(file): 1664880 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8016 kB
Writeback: 72 kB
AnonPages: 307740 kB
Mapped: 105656 kB
Shmem: 37704 kB
KReclaimable: 104660 kB
Slab: 206104 kB
SReclaimable: 104660 kB
SUnreclaim: 101444 kB
KernelStack: 3684 kB
PageTables: 10016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 821228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52832 kB
HardwareCorrupted: 0 kB
AnonHugePages: 184320 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-16 07:34:49