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 144 #constraints 134
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 7 @ 0.000709
0.00/0.00 c stratification level: 0
0.00/0.00 c bounds - >= 32 @ 0.001163
0.00/0.00 c bounds - >= 33 @ 0.001223
0.00/0.00 c bounds - >= 36 @ 0.00126
0.00/0.00 c bounds - >= 41 @ 0.001294
0.00/0.00 c bounds - >= 44 @ 0.001332
0.00/0.00 c bounds - >= 48 @ 0.00137
0.00/0.00 c bounds - >= 50 @ 0.00141
0.00/0.00 c bounds - >= 54 @ 0.001471
0.00/0.00 c bounds - >= 58 @ 0.00151
0.00/0.00 c bounds - >= 62 @ 0.001542
0.00/0.00 c bounds - >= 63 @ 0.001655
0.00/0.00 c finalizing WCE round: reformulating cores
18.64/18.71 c #Conflicts: 1000 | #Constraints: 1159
18.64/18.71 c #Conflicts: 2000 | #Constraints: 2161
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 3000 | #Constraints: 2157
18.64/18.71 c #Conflicts: 4000 | #Constraints: 3159
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 5000 | #Constraints: 2573
18.64/18.71 c #Conflicts: 6000 | #Constraints: 3575
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 7000 | #Constraints: 2577
18.64/18.71 c #Conflicts: 8000 | #Constraints: 3579
18.64/18.71 c #Conflicts: 9000 | #Constraints: 4583
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c bounds 70 >= 63 @ 0.901821
18.64/18.71 c bounds 70 >= 65 @ 0.90249
18.64/18.71 c bounds 70 >= 66 @ 0.904245
18.64/18.71 c #Conflicts: 10000 | #Constraints: 3319
18.64/18.71 c #Conflicts: 11000 | #Constraints: 4319
18.64/18.71 c #Conflicts: 12000 | #Constraints: 5319
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 13000 | #Constraints: 3764
18.64/18.71 c #Conflicts: 14000 | #Constraints: 4764
18.64/18.71 c #Conflicts: 15000 | #Constraints: 5764
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 16000 | #Constraints: 3986
18.64/18.71 c #Conflicts: 17000 | #Constraints: 4986
18.64/18.71 c #Conflicts: 18000 | #Constraints: 5986
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 19000 | #Constraints: 4000
18.64/18.71 c #Conflicts: 20000 | #Constraints: 5000
18.64/18.71 c #Conflicts: 21000 | #Constraints: 6000
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 22000 | #Constraints: 3800
18.64/18.71 c #Conflicts: 23000 | #Constraints: 4800
18.64/18.71 c #Conflicts: 24000 | #Constraints: 5800
18.64/18.71 c #Conflicts: 25000 | #Constraints: 6800
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 26000 | #Constraints: 4407
18.64/18.71 c #Conflicts: 27000 | #Constraints: 5407
18.64/18.71 c #Conflicts: 28000 | #Constraints: 6407
18.64/18.71 c #Conflicts: 29000 | #Constraints: 7407
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 30000 | #Constraints: 4810
18.64/18.71 c #Conflicts: 31000 | #Constraints: 5810
18.64/18.71 c #Conflicts: 32000 | #Constraints: 6810
18.64/18.71 c #Conflicts: 33000 | #Constraints: 7810
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 34000 | #Constraints: 5014
18.64/18.71 c #Conflicts: 35000 | #Constraints: 6014
18.64/18.71 c #Conflicts: 36000 | #Constraints: 7014
18.64/18.71 c #Conflicts: 37000 | #Constraints: 8014
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 38000 | #Constraints: 5016
18.64/18.71 c #Conflicts: 39000 | #Constraints: 6016
18.64/18.71 c #Conflicts: 40000 | #Constraints: 7016
18.64/18.71 c #Conflicts: 41000 | #Constraints: 8016
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 42000 | #Constraints: 4822
18.64/18.71 c #Conflicts: 43000 | #Constraints: 5822
18.64/18.71 c #Conflicts: 44000 | #Constraints: 6822
18.64/18.71 c #Conflicts: 45000 | #Constraints: 7822
18.64/18.71 c #Conflicts: 46000 | #Constraints: 8822
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 47000 | #Constraints: 5415
18.64/18.71 c #Conflicts: 48000 | #Constraints: 6415
18.64/18.71 c #Conflicts: 49000 | #Constraints: 7415
18.64/18.71 c #Conflicts: 50000 | #Constraints: 8415
18.64/18.71 c #Conflicts: 51000 | #Constraints: 9415
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 52000 | #Constraints: 5816
18.64/18.71 c #Conflicts: 53000 | #Constraints: 6816
18.64/18.71 c #Conflicts: 54000 | #Constraints: 7816
18.64/18.71 c #Conflicts: 55000 | #Constraints: 8816
18.64/18.71 c #Conflicts: 56000 | #Constraints: 9816
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 57000 | #Constraints: 6015
18.64/18.71 c #Conflicts: 58000 | #Constraints: 7015
18.64/18.71 c #Conflicts: 59000 | #Constraints: 8015
18.64/18.71 c #Conflicts: 60000 | #Constraints: 9015
18.64/18.71 c #Conflicts: 61000 | #Constraints: 10015
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
18.64/18.71 c #Conflicts: 62000 | #Constraints: 6014
18.64/18.71 c #Conflicts: 63000 | #Constraints: 7014
18.64/18.71 c #Conflicts: 64000 | #Constraints: 8014
18.64/18.71 c #Conflicts: 65000 | #Constraints: 9014
18.64/18.71 c #Conflicts: 66000 | #Constraints: 10014
18.64/18.71 c INPROCESSING
18.64/18.71 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 67000 | #Constraints: 5812
57.86/58.02 c #Conflicts: 68000 | #Constraints: 6812
57.86/58.02 c #Conflicts: 69000 | #Constraints: 7812
57.86/58.02 c #Conflicts: 70000 | #Constraints: 8812
57.86/58.02 c #Conflicts: 71000 | #Constraints: 9812
57.86/58.02 c #Conflicts: 72000 | #Constraints: 10812
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 73000 | #Constraints: 6415
57.86/58.02 c #Conflicts: 74000 | #Constraints: 7415
57.86/58.02 c #Conflicts: 75000 | #Constraints: 8415
57.86/58.02 c #Conflicts: 76000 | #Constraints: 9415
57.86/58.02 c #Conflicts: 77000 | #Constraints: 10415
57.86/58.02 c #Conflicts: 78000 | #Constraints: 11415
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 79000 | #Constraints: 6817
57.86/58.02 c #Conflicts: 80000 | #Constraints: 7817
57.86/58.02 c #Conflicts: 81000 | #Constraints: 8817
57.86/58.02 c #Conflicts: 82000 | #Constraints: 9817
57.86/58.02 c #Conflicts: 83000 | #Constraints: 10817
57.86/58.02 c #Conflicts: 84000 | #Constraints: 11817
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 85000 | #Constraints: 7021
57.86/58.02 c #Conflicts: 86000 | #Constraints: 8021
57.86/58.02 c #Conflicts: 87000 | #Constraints: 9021
57.86/58.02 c #Conflicts: 88000 | #Constraints: 10021
57.86/58.02 c #Conflicts: 89000 | #Constraints: 11021
57.86/58.02 c #Conflicts: 90000 | #Constraints: 12021
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 91000 | #Constraints: 7016
57.86/58.02 c #Conflicts: 92000 | #Constraints: 8016
57.86/58.02 c #Conflicts: 93000 | #Constraints: 9016
57.86/58.02 c #Conflicts: 94000 | #Constraints: 10016
57.86/58.02 c #Conflicts: 95000 | #Constraints: 11016
57.86/58.02 c #Conflicts: 96000 | #Constraints: 12016
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 97000 | #Constraints: 6823
57.86/58.02 c #Conflicts: 98000 | #Constraints: 7823
57.86/58.02 c #Conflicts: 99000 | #Constraints: 8823
57.86/58.02 c #Conflicts: 100000 | #Constraints: 9823
57.86/58.02 c #Conflicts: 101000 | #Constraints: 10823
57.86/58.02 c #Conflicts: 102000 | #Constraints: 11823
57.86/58.02 c #Conflicts: 103000 | #Constraints: 12823
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 104000 | #Constraints: 7426
57.86/58.02 c #Conflicts: 105000 | #Constraints: 8426
57.86/58.02 c #Conflicts: 106000 | #Constraints: 9426
57.86/58.02 c #Conflicts: 107000 | #Constraints: 10426
57.86/58.02 c #Conflicts: 108000 | #Constraints: 11426
57.86/58.02 c #Conflicts: 109000 | #Constraints: 12426
57.86/58.02 c #Conflicts: 110000 | #Constraints: 13426
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 111000 | #Constraints: 7825
57.86/58.02 c #Conflicts: 112000 | #Constraints: 8825
57.86/58.02 c #Conflicts: 113000 | #Constraints: 9825
57.86/58.02 c #Conflicts: 114000 | #Constraints: 10825
57.86/58.02 c #Conflicts: 115000 | #Constraints: 11825
57.86/58.02 c #Conflicts: 116000 | #Constraints: 12825
57.86/58.02 c #Conflicts: 117000 | #Constraints: 13825
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 118000 | #Constraints: 8024
57.86/58.02 c #Conflicts: 119000 | #Constraints: 9024
57.86/58.02 c #Conflicts: 120000 | #Constraints: 10024
57.86/58.02 c #Conflicts: 121000 | #Constraints: 11024
57.86/58.02 c #Conflicts: 122000 | #Constraints: 12024
57.86/58.02 c #Conflicts: 123000 | #Constraints: 13024
57.86/58.02 c #Conflicts: 124000 | #Constraints: 14024
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 125000 | #Constraints: 8026
57.86/58.02 c #Conflicts: 126000 | #Constraints: 9026
57.86/58.02 c #Conflicts: 127000 | #Constraints: 10026
57.86/58.02 c #Conflicts: 128000 | #Constraints: 11026
57.86/58.02 c #Conflicts: 129000 | #Constraints: 12026
57.86/58.02 c #Conflicts: 130000 | #Constraints: 13026
57.86/58.02 c #Conflicts: 131000 | #Constraints: 14026
57.86/58.02 c INPROCESSING
57.86/58.02 c GARBAGE COLLECT
57.86/58.02 c #Conflicts: 132000 | #Constraints: 7822
57.86/58.02 c #Conflicts: 133000 | #Constraints: 8822
57.86/58.02 c #Conflicts: 134000 | #Constraints: 9822
57.86/58.02 c #Conflicts: 135000 | #Constraints: 10822
57.86/58.02 c #Conflicts: 136000 | #Constraints: 11822
57.86/58.02 c #Conflicts: 137000 | #Constraints: 12822
57.86/58.02 c #Conflicts: 138000 | #Constraints: 13822
57.86/58.02 c #Conflicts: 139000 | #Constraints: 14822
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 140000 | #Constraints: 8424
111.02/111.36 c #Conflicts: 141000 | #Constraints: 9424
111.02/111.36 c #Conflicts: 142000 | #Constraints: 10424
111.02/111.36 c #Conflicts: 143000 | #Constraints: 11424
111.02/111.36 c #Conflicts: 144000 | #Constraints: 12424
111.02/111.36 c #Conflicts: 145000 | #Constraints: 13424
111.02/111.36 c #Conflicts: 146000 | #Constraints: 14424
111.02/111.36 c #Conflicts: 147000 | #Constraints: 15424
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 148000 | #Constraints: 8825
111.02/111.36 c #Conflicts: 149000 | #Constraints: 9825
111.02/111.36 c #Conflicts: 150000 | #Constraints: 10825
111.02/111.36 c #Conflicts: 151000 | #Constraints: 11825
111.02/111.36 c #Conflicts: 152000 | #Constraints: 12825
111.02/111.36 c #Conflicts: 153000 | #Constraints: 13825
111.02/111.36 c #Conflicts: 154000 | #Constraints: 14825
111.02/111.36 c #Conflicts: 155000 | #Constraints: 15825
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 156000 | #Constraints: 9022
111.02/111.36 c #Conflicts: 157000 | #Constraints: 10022
111.02/111.36 c #Conflicts: 158000 | #Constraints: 11022
111.02/111.36 c #Conflicts: 159000 | #Constraints: 12022
111.02/111.36 c #Conflicts: 160000 | #Constraints: 13022
111.02/111.36 c #Conflicts: 161000 | #Constraints: 14022
111.02/111.36 c #Conflicts: 162000 | #Constraints: 15022
111.02/111.36 c #Conflicts: 163000 | #Constraints: 16022
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 164000 | #Constraints: 9026
111.02/111.36 c #Conflicts: 165000 | #Constraints: 10026
111.02/111.36 c #Conflicts: 166000 | #Constraints: 11026
111.02/111.36 c #Conflicts: 167000 | #Constraints: 12026
111.02/111.36 c #Conflicts: 168000 | #Constraints: 13026
111.02/111.36 c #Conflicts: 169000 | #Constraints: 14026
111.02/111.36 c #Conflicts: 170000 | #Constraints: 15026
111.02/111.36 c #Conflicts: 171000 | #Constraints: 16026
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 172000 | #Constraints: 8825
111.02/111.36 c #Conflicts: 173000 | #Constraints: 9825
111.02/111.36 c #Conflicts: 174000 | #Constraints: 10825
111.02/111.36 c #Conflicts: 175000 | #Constraints: 11825
111.02/111.36 c #Conflicts: 176000 | #Constraints: 12825
111.02/111.36 c #Conflicts: 177000 | #Constraints: 13825
111.02/111.36 c #Conflicts: 178000 | #Constraints: 14825
111.02/111.36 c #Conflicts: 179000 | #Constraints: 15825
111.02/111.36 c #Conflicts: 180000 | #Constraints: 16825
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 181000 | #Constraints: 9424
111.02/111.36 c #Conflicts: 182000 | #Constraints: 10424
111.02/111.36 c #Conflicts: 183000 | #Constraints: 11424
111.02/111.36 c #Conflicts: 184000 | #Constraints: 12424
111.02/111.36 c #Conflicts: 185000 | #Constraints: 13424
111.02/111.36 c #Conflicts: 186000 | #Constraints: 14424
111.02/111.36 c #Conflicts: 187000 | #Constraints: 15424
111.02/111.36 c #Conflicts: 188000 | #Constraints: 16424
111.02/111.36 c #Conflicts: 189000 | #Constraints: 17424
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 190000 | #Constraints: 9821
111.02/111.36 c #Conflicts: 191000 | #Constraints: 10821
111.02/111.36 c #Conflicts: 192000 | #Constraints: 11821
111.02/111.36 c #Conflicts: 193000 | #Constraints: 12821
111.02/111.36 c #Conflicts: 194000 | #Constraints: 13821
111.02/111.36 c #Conflicts: 195000 | #Constraints: 14821
111.02/111.36 c #Conflicts: 196000 | #Constraints: 15821
111.02/111.36 c #Conflicts: 197000 | #Constraints: 16821
111.02/111.36 c #Conflicts: 198000 | #Constraints: 17821
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 199000 | #Constraints: 10022
111.02/111.36 c #Conflicts: 200000 | #Constraints: 11022
111.02/111.36 c #Conflicts: 201000 | #Constraints: 12022
111.02/111.36 c #Conflicts: 202000 | #Constraints: 13022
111.02/111.36 c #Conflicts: 203000 | #Constraints: 14022
111.02/111.36 c #Conflicts: 204000 | #Constraints: 15022
111.02/111.36 c #Conflicts: 205000 | #Constraints: 16022
111.02/111.36 c #Conflicts: 206000 | #Constraints: 17022
111.02/111.36 c #Conflicts: 207000 | #Constraints: 18022
111.02/111.36 c INPROCESSING
111.02/111.36 c GARBAGE COLLECT
111.02/111.36 c #Conflicts: 208000 | #Constraints: 10024
111.02/111.36 c #Conflicts: 209000 | #Constraints: 11024
111.02/111.36 c #Conflicts: 210000 | #Constraints: 12024
111.02/111.36 c #Conflicts: 211000 | #Constraints: 13024
111.02/111.36 c #Conflicts: 212000 | #Constraints: 14024
178.55/179.02 c #Conflicts: 213000 | #Constraints: 15024
178.55/179.02 c #Conflicts: 214000 | #Constraints: 16024
178.55/179.02 c #Conflicts: 215000 | #Constraints: 17024
178.55/179.02 c #Conflicts: 216000 | #Constraints: 18024
178.55/179.02 c INPROCESSING
178.55/179.02 c GARBAGE COLLECT
178.55/179.02 c #Conflicts: 217000 | #Constraints: 9821
178.55/179.02 c #Conflicts: 218000 | #Constraints: 10821
178.55/179.02 c #Conflicts: 219000 | #Constraints: 11821
178.55/179.02 c #Conflicts: 220000 | #Constraints: 12821
178.55/179.02 c #Conflicts: 221000 | #Constraints: 13821
178.55/179.02 c #Conflicts: 222000 | #Constraints: 14821
178.55/179.02 c #Conflicts: 223000 | #Constraints: 15821
178.55/179.02 c #Conflicts: 224000 | #Constraints: 16821
178.55/179.02 c #Conflicts: 225000 | #Constraints: 17821
178.55/179.02 c #Conflicts: 226000 | #Constraints: 18821
178.55/179.02 c INPROCESSING
178.55/179.02 c GARBAGE COLLECT
178.55/179.02 c #Conflicts: 227000 | #Constraints: 10423
178.55/179.02 c #Conflicts: 228000 | #Constraints: 11423
178.55/179.02 c #Conflicts: 229000 | #Constraints: 12423
178.55/179.02 c #Conflicts: 230000 | #Constraints: 13423
178.55/179.03 c #Conflicts: 231000 | #Constraints: 14423
178.55/179.03 c #Conflicts: 232000 | #Constraints: 15423
178.55/179.03 c #Conflicts: 233000 | #Constraints: 16423
178.55/179.03 c #Conflicts: 234000 | #Constraints: 17423
178.55/179.03 c #Conflicts: 235000 | #Constraints: 18423
178.55/179.03 c #Conflicts: 236000 | #Constraints: 19423
178.55/179.03 c INPROCESSING
178.55/179.03 c GARBAGE COLLECT
178.55/179.03 c #Conflicts: 237000 | #Constraints: 10822
178.55/179.03 c #Conflicts: 238000 | #Constraints: 11822
178.55/179.03 c #Conflicts: 239000 | #Constraints: 12822
178.55/179.03 c #Conflicts: 240000 | #Constraints: 13822
178.55/179.03 c #Conflicts: 241000 | #Constraints: 14822
178.55/179.03 c #Conflicts: 242000 | #Constraints: 15822
178.55/179.03 c #Conflicts: 243000 | #Constraints: 16822
178.55/179.03 c #Conflicts: 244000 | #Constraints: 17822
178.55/179.03 c #Conflicts: 245000 | #Constraints: 18822
178.55/179.03 c #Conflicts: 246000 | #Constraints: 19822
178.55/179.03 c INPROCESSING
178.55/179.03 c GARBAGE COLLECT
178.55/179.03 c #Conflicts: 247000 | #Constraints: 11021
178.55/179.03 c #Conflicts: 248000 | #Constraints: 12021
178.55/179.03 c #Conflicts: 249000 | #Constraints: 13021
178.55/179.03 c #Conflicts: 250000 | #Constraints: 14021
178.55/179.03 c #Conflicts: 251000 | #Constraints: 15021
178.55/179.03 c #Conflicts: 252000 | #Constraints: 16021
178.55/179.03 c #Conflicts: 253000 | #Constraints: 17021
178.55/179.03 c #Conflicts: 254000 | #Constraints: 18021
178.55/179.03 c #Conflicts: 255000 | #Constraints: 19021
178.55/179.03 c #Conflicts: 256000 | #Constraints: 20021
178.55/179.03 c INPROCESSING
178.55/179.03 c GARBAGE COLLECT
178.55/179.03 c #Conflicts: 257000 | #Constraints: 11026
178.55/179.03 c #Conflicts: 258000 | #Constraints: 12026
178.55/179.03 c #Conflicts: 259000 | #Constraints: 13026
178.55/179.03 c #Conflicts: 260000 | #Constraints: 14026
178.55/179.03 c #Conflicts: 261000 | #Constraints: 15026
178.55/179.03 c #Conflicts: 262000 | #Constraints: 16026
178.55/179.03 c #Conflicts: 263000 | #Constraints: 17026
178.55/179.03 c #Conflicts: 264000 | #Constraints: 18026
178.55/179.03 c #Conflicts: 265000 | #Constraints: 19026
178.55/179.03 c #Conflicts: 266000 | #Constraints: 20026
178.55/179.03 c INPROCESSING
178.55/179.03 c GARBAGE COLLECT
178.55/179.03 c #Conflicts: 267000 | #Constraints: 10829
178.55/179.03 c #Conflicts: 268000 | #Constraints: 11829
178.55/179.03 c #Conflicts: 269000 | #Constraints: 12829
178.55/179.03 c #Conflicts: 270000 | #Constraints: 13829
178.55/179.03 c #Conflicts: 271000 | #Constraints: 14829
178.55/179.03 c #Conflicts: 272000 | #Constraints: 15829
178.55/179.03 c #Conflicts: 273000 | #Constraints: 16829
178.55/179.03 c #Conflicts: 274000 | #Constraints: 17829
178.55/179.03 c #Conflicts: 275000 | #Constraints: 18829
178.55/179.03 c #Conflicts: 276000 | #Constraints: 19829
178.55/179.03 c #Conflicts: 277000 | #Constraints: 20829
178.55/179.03 c INPROCESSING
178.55/179.03 c GARBAGE COLLECT
178.55/179.03 c #Conflicts: 278000 | #Constraints: 11435
178.55/179.03 c #Conflicts: 279000 | #Constraints: 12435
178.55/179.03 c #Conflicts: 280000 | #Constraints: 13435
178.55/179.03 c #Conflicts: 281000 | #Constraints: 14435
178.55/179.03 c #Conflicts: 282000 | #Constraints: 15435
178.55/179.03 c #Conflicts: 283000 | #Constraints: 16435
178.55/179.03 c #Conflicts: 284000 | #Constraints: 17435
178.55/179.03 c #Conflicts: 285000 | #Constraints: 18435
178.55/179.03 c #Conflicts: 286000 | #Constraints: 19435
254.96/255.67 c #Conflicts: 287000 | #Constraints: 20435
254.96/255.67 c #Conflicts: 288000 | #Constraints: 21435
254.96/255.67 c INPROCESSING
254.96/255.67 c GARBAGE COLLECT
254.96/255.67 c #Conflicts: 289000 | #Constraints: 11827
254.96/255.67 c #Conflicts: 290000 | #Constraints: 12827
254.96/255.67 c #Conflicts: 291000 | #Constraints: 13827
254.96/255.67 c #Conflicts: 292000 | #Constraints: 14827
254.96/255.67 c #Conflicts: 293000 | #Constraints: 15827
254.96/255.67 c #Conflicts: 294000 | #Constraints: 16827
254.96/255.67 c #Conflicts: 295000 | #Constraints: 17827
254.96/255.67 c #Conflicts: 296000 | #Constraints: 18827
254.96/255.67 c #Conflicts: 297000 | #Constraints: 19827
254.96/255.67 c #Conflicts: 298000 | #Constraints: 20827
254.96/255.67 c #Conflicts: 299000 | #Constraints: 21827
254.96/255.67 c INPROCESSING
254.96/255.67 c GARBAGE COLLECT
254.96/255.67 c #Conflicts: 300000 | #Constraints: 12029
254.96/255.67 c #Conflicts: 301000 | #Constraints: 13029
254.96/255.67 c #Conflicts: 302000 | #Constraints: 14029
254.96/255.67 c #Conflicts: 303000 | #Constraints: 15029
254.96/255.67 c #Conflicts: 304000 | #Constraints: 16029
254.96/255.67 c #Conflicts: 305000 | #Constraints: 17029
254.96/255.67 c #Conflicts: 306000 | #Constraints: 18029
254.96/255.67 c #Conflicts: 307000 | #Constraints: 19029
254.96/255.67 c #Conflicts: 308000 | #Constraints: 20029
254.96/255.67 c #Conflicts: 309000 | #Constraints: 21029
254.96/255.67 c #Conflicts: 310000 | #Constraints: 22029
254.96/255.67 c INPROCESSING
254.96/255.67 c GARBAGE COLLECT
254.96/255.67 c #Conflicts: 311000 | #Constraints: 12031
254.96/255.67 c #Conflicts: 312000 | #Constraints: 13031
254.96/255.67 c #Conflicts: 313000 | #Constraints: 14031
254.96/255.67 c #Conflicts: 314000 | #Constraints: 15031
254.96/255.67 c #Conflicts: 315000 | #Constraints: 16031
254.96/255.67 c #Conflicts: 316000 | #Constraints: 17031
254.96/255.67 c #Conflicts: 317000 | #Constraints: 18031
254.96/255.67 c #Conflicts: 318000 | #Constraints: 19031
254.96/255.67 c #Conflicts: 319000 | #Constraints: 20031
254.96/255.67 c #Conflicts: 320000 | #Constraints: 21031
254.96/255.67 c #Conflicts: 321000 | #Constraints: 22031
254.96/255.67 c INPROCESSING
254.96/255.67 c GARBAGE COLLECT
254.96/255.67 c #Conflicts: 322000 | #Constraints: 11826
254.96/255.67 c #Conflicts: 323000 | #Constraints: 12826
254.96/255.67 c #Conflicts: 324000 | #Constraints: 13826
254.96/255.67 c #Conflicts: 325000 | #Constraints: 14826
254.96/255.67 c #Conflicts: 326000 | #Constraints: 15826
254.96/255.67 c #Conflicts: 327000 | #Constraints: 16826
254.96/255.67 c #Conflicts: 328000 | #Constraints: 17826
254.96/255.67 c #Conflicts: 329000 | #Constraints: 18826
254.96/255.67 c #Conflicts: 330000 | #Constraints: 19826
254.96/255.67 c #Conflicts: 331000 | #Constraints: 20826
254.96/255.67 c #Conflicts: 332000 | #Constraints: 21826
254.96/255.67 c #Conflicts: 333000 | #Constraints: 22826
254.96/255.67 c INPROCESSING
254.96/255.67 c GARBAGE COLLECT
254.96/255.67 c #Conflicts: 334000 | #Constraints: 12428
254.96/255.67 c #Conflicts: 335000 | #Constraints: 13428
254.96/255.67 c #Conflicts: 336000 | #Constraints: 14428
254.96/255.67 c #Conflicts: 337000 | #Constraints: 15428
254.96/255.67 c #Conflicts: 338000 | #Constraints: 16428
254.96/255.67 c #Conflicts: 339000 | #Constraints: 17428
254.96/255.67 c #Conflicts: 340000 | #Constraints: 18428
254.96/255.67 c #Conflicts: 341000 | #Constraints: 19428
254.96/255.67 c #Conflicts: 342000 | #Constraints: 20428
254.96/255.67 c #Conflicts: 343000 | #Constraints: 21428
254.96/255.67 c #Conflicts: 344000 | #Constraints: 22428
254.96/255.67 c #Conflicts: 345000 | #Constraints: 23428
254.96/255.67 c INPROCESSING
254.96/255.67 c GARBAGE COLLECT
254.96/255.67 c #Conflicts: 346000 | #Constraints: 12822
254.96/255.67 c #Conflicts: 347000 | #Constraints: 13822
254.96/255.67 c #Conflicts: 348000 | #Constraints: 14822
254.96/255.67 c #Conflicts: 349000 | #Constraints: 15822
254.96/255.67 c #Conflicts: 350000 | #Constraints: 16822
254.96/255.67 c #Conflicts: 351000 | #Constraints: 17822
254.96/255.67 c #Conflicts: 352000 | #Constraints: 18822
254.96/255.67 c #Conflicts: 353000 | #Constraints: 19822
254.96/255.67 c #Conflicts: 354000 | #Constraints: 20822
254.96/255.67 c #Conflicts: 355000 | #Constraints: 21822
254.96/255.67 c #Conflicts: 356000 | #Constraints: 22822
254.96/255.67 c #Conflicts: 357000 | #Constraints: 23822
254.96/255.67 c INPROCESSING
254.96/255.67 c GARBAGE COLLECT
254.96/255.67 c #Conflicts: 358000 | #Constraints: 13025
254.96/255.67 c #Conflicts: 359000 | #Constraints: 14025
254.96/255.67 c #Conflicts: 360000 | #Constraints: 15025
341.93/342.85 c #Conflicts: 361000 | #Constraints: 16025
341.93/342.85 c #Conflicts: 362000 | #Constraints: 17025
341.93/342.85 c #Conflicts: 363000 | #Constraints: 18025
341.93/342.85 c #Conflicts: 364000 | #Constraints: 19025
341.93/342.85 c #Conflicts: 365000 | #Constraints: 20025
341.93/342.85 c #Conflicts: 366000 | #Constraints: 21025
341.93/342.85 c #Conflicts: 367000 | #Constraints: 22025
341.93/342.85 c #Conflicts: 368000 | #Constraints: 23025
341.93/342.85 c #Conflicts: 369000 | #Constraints: 24025
341.93/342.85 c INPROCESSING
341.93/342.85 c GARBAGE COLLECT
341.93/342.85 c #Conflicts: 370000 | #Constraints: 13024
341.93/342.85 c #Conflicts: 371000 | #Constraints: 14024
341.93/342.85 c #Conflicts: 372000 | #Constraints: 15024
341.93/342.85 c #Conflicts: 373000 | #Constraints: 16024
341.93/342.85 c #Conflicts: 374000 | #Constraints: 17024
341.93/342.85 c #Conflicts: 375000 | #Constraints: 18024
341.93/342.85 c #Conflicts: 376000 | #Constraints: 19024
341.93/342.85 c #Conflicts: 377000 | #Constraints: 20024
341.93/342.85 c #Conflicts: 378000 | #Constraints: 21024
341.93/342.85 c #Conflicts: 379000 | #Constraints: 22024
341.93/342.85 c #Conflicts: 380000 | #Constraints: 23024
341.93/342.85 c #Conflicts: 381000 | #Constraints: 24024
341.93/342.85 c INPROCESSING
341.93/342.85 c GARBAGE COLLECT
341.93/342.85 c #Conflicts: 382000 | #Constraints: 12828
341.93/342.85 c #Conflicts: 383000 | #Constraints: 13828
341.93/342.85 c #Conflicts: 384000 | #Constraints: 14828
341.93/342.85 c #Conflicts: 385000 | #Constraints: 15828
341.93/342.85 c #Conflicts: 386000 | #Constraints: 16828
341.93/342.85 c #Conflicts: 387000 | #Constraints: 17828
341.93/342.85 c #Conflicts: 388000 | #Constraints: 18828
341.93/342.85 c #Conflicts: 389000 | #Constraints: 19828
341.93/342.85 c #Conflicts: 390000 | #Constraints: 20828
341.93/342.85 c #Conflicts: 391000 | #Constraints: 21828
341.93/342.85 c #Conflicts: 392000 | #Constraints: 22828
341.93/342.85 c #Conflicts: 393000 | #Constraints: 23828
341.93/342.85 c #Conflicts: 394000 | #Constraints: 24828
341.93/342.85 c INPROCESSING
341.93/342.85 c GARBAGE COLLECT
341.93/342.85 c #Conflicts: 395000 | #Constraints: 13430
341.93/342.85 c #Conflicts: 396000 | #Constraints: 14430
341.93/342.85 c #Conflicts: 397000 | #Constraints: 15430
341.93/342.85 c #Conflicts: 398000 | #Constraints: 16430
341.93/342.85 c #Conflicts: 399000 | #Constraints: 17430
341.93/342.85 c #Conflicts: 400000 | #Constraints: 18430
341.93/342.85 c #Conflicts: 401000 | #Constraints: 19430
341.93/342.85 c #Conflicts: 402000 | #Constraints: 20430
341.93/342.85 c #Conflicts: 403000 | #Constraints: 21430
341.93/342.85 c #Conflicts: 404000 | #Constraints: 22430
341.93/342.85 c #Conflicts: 405000 | #Constraints: 23430
341.93/342.85 c #Conflicts: 406000 | #Constraints: 24430
341.93/342.85 c #Conflicts: 407000 | #Constraints: 25430
341.93/342.85 c INPROCESSING
341.93/342.85 c GARBAGE COLLECT
341.93/342.85 c #Conflicts: 408000 | #Constraints: 13825
341.93/342.85 c #Conflicts: 409000 | #Constraints: 14825
341.93/342.85 c #Conflicts: 410000 | #Constraints: 15825
341.93/342.85 c #Conflicts: 411000 | #Constraints: 16825
341.93/342.85 c #Conflicts: 412000 | #Constraints: 17825
341.93/342.85 c #Conflicts: 413000 | #Constraints: 18825
341.93/342.85 c #Conflicts: 414000 | #Constraints: 19825
341.93/342.85 c #Conflicts: 415000 | #Constraints: 20825
341.93/342.85 c #Conflicts: 416000 | #Constraints: 21825
341.93/342.85 c #Conflicts: 417000 | #Constraints: 22825
341.93/342.85 c #Conflicts: 418000 | #Constraints: 23825
341.93/342.85 c #Conflicts: 419000 | #Constraints: 24825
341.93/342.85 c #Conflicts: 420000 | #Constraints: 25825
341.93/342.85 c INPROCESSING
341.93/342.85 c GARBAGE COLLECT
341.93/342.85 c #Conflicts: 421000 | #Constraints: 14024
341.93/342.85 c #Conflicts: 422000 | #Constraints: 15024
341.93/342.85 c #Conflicts: 423000 | #Constraints: 16024
341.93/342.85 c #Conflicts: 424000 | #Constraints: 17024
341.93/342.85 c #Conflicts: 425000 | #Constraints: 18024
341.93/342.85 c #Conflicts: 426000 | #Constraints: 19024
341.93/342.85 c #Conflicts: 427000 | #Constraints: 20024
341.93/342.85 c #Conflicts: 428000 | #Constraints: 21024
341.93/342.85 c #Conflicts: 429000 | #Constraints: 22024
341.93/342.85 c #Conflicts: 430000 | #Constraints: 23024
341.93/342.85 c #Conflicts: 431000 | #Constraints: 24024
341.93/342.85 c #Conflicts: 432000 | #Constraints: 25024
341.93/342.85 c #Conflicts: 433000 | #Constraints: 26024
341.93/342.85 c INPROCESSING
341.93/342.85 c GARBAGE COLLECT
341.93/342.85 c #Conflicts: 434000 | #Constraints: 14027
341.93/342.85 c #Conflicts: 435000 | #Constraints: 15027
439.87/441.02 c #Conflicts: 436000 | #Constraints: 16027
439.87/441.02 c #Conflicts: 437000 | #Constraints: 17027
439.87/441.02 c #Conflicts: 438000 | #Constraints: 18027
439.87/441.02 c #Conflicts: 439000 | #Constraints: 19027
439.87/441.02 c #Conflicts: 440000 | #Constraints: 20027
439.87/441.02 c #Conflicts: 441000 | #Constraints: 21027
439.87/441.02 c #Conflicts: 442000 | #Constraints: 22027
439.87/441.02 c #Conflicts: 443000 | #Constraints: 23027
439.87/441.02 c #Conflicts: 444000 | #Constraints: 24027
439.87/441.02 c #Conflicts: 445000 | #Constraints: 25027
439.87/441.02 c #Conflicts: 446000 | #Constraints: 26027
439.87/441.02 c INPROCESSING
439.87/441.02 c GARBAGE COLLECT
439.87/441.02 c #Conflicts: 447000 | #Constraints: 13831
439.87/441.02 c #Conflicts: 448000 | #Constraints: 14831
439.87/441.02 c #Conflicts: 449000 | #Constraints: 15831
439.87/441.02 c #Conflicts: 450000 | #Constraints: 16831
439.87/441.02 c #Conflicts: 451000 | #Constraints: 17831
439.87/441.02 c #Conflicts: 452000 | #Constraints: 18831
439.87/441.02 c #Conflicts: 453000 | #Constraints: 19831
439.87/441.02 c #Conflicts: 454000 | #Constraints: 20831
439.87/441.02 c #Conflicts: 455000 | #Constraints: 21831
439.87/441.02 c #Conflicts: 456000 | #Constraints: 22831
439.87/441.02 c #Conflicts: 457000 | #Constraints: 23831
439.87/441.02 c #Conflicts: 458000 | #Constraints: 24831
439.87/441.02 c #Conflicts: 459000 | #Constraints: 25831
439.87/441.02 c #Conflicts: 460000 | #Constraints: 26831
439.87/441.02 c INPROCESSING
439.87/441.02 c GARBAGE COLLECT
439.87/441.02 c #Conflicts: 461000 | #Constraints: 14428
439.87/441.02 c #Conflicts: 462000 | #Constraints: 15428
439.87/441.02 c #Conflicts: 463000 | #Constraints: 16428
439.87/441.02 c #Conflicts: 464000 | #Constraints: 17428
439.87/441.02 c #Conflicts: 465000 | #Constraints: 18428
439.87/441.02 c #Conflicts: 466000 | #Constraints: 19428
439.87/441.02 c #Conflicts: 467000 | #Constraints: 20428
439.87/441.02 c #Conflicts: 468000 | #Constraints: 21428
439.87/441.02 c #Conflicts: 469000 | #Constraints: 22428
439.87/441.02 c #Conflicts: 470000 | #Constraints: 23428
439.87/441.02 c #Conflicts: 471000 | #Constraints: 24428
439.87/441.02 c #Conflicts: 472000 | #Constraints: 25428
439.87/441.02 c #Conflicts: 473000 | #Constraints: 26428
439.87/441.02 c #Conflicts: 474000 | #Constraints: 27428
439.87/441.02 c INPROCESSING
439.87/441.02 c GARBAGE COLLECT
439.87/441.02 c #Conflicts: 475000 | #Constraints: 14826
439.87/441.02 c #Conflicts: 476000 | #Constraints: 15826
439.87/441.02 c #Conflicts: 477000 | #Constraints: 16826
439.87/441.02 c #Conflicts: 478000 | #Constraints: 17826
439.87/441.02 c #Conflicts: 479000 | #Constraints: 18826
439.87/441.02 c #Conflicts: 480000 | #Constraints: 19826
439.87/441.02 c #Conflicts: 481000 | #Constraints: 20826
439.87/441.02 c #Conflicts: 482000 | #Constraints: 21826
439.87/441.02 c #Conflicts: 483000 | #Constraints: 22826
439.87/441.02 c #Conflicts: 484000 | #Constraints: 23826
439.87/441.02 c #Conflicts: 485000 | #Constraints: 24826
439.87/441.02 c #Conflicts: 486000 | #Constraints: 25826
439.87/441.02 c #Conflicts: 487000 | #Constraints: 26826
439.87/441.02 c #Conflicts: 488000 | #Constraints: 27826
439.87/441.02 c INPROCESSING
439.87/441.02 c GARBAGE COLLECT
439.87/441.02 c #Conflicts: 489000 | #Constraints: 15027
439.87/441.02 c #Conflicts: 490000 | #Constraints: 16027
439.87/441.02 c #Conflicts: 491000 | #Constraints: 17027
439.87/441.02 c #Conflicts: 492000 | #Constraints: 18027
439.87/441.02 c #Conflicts: 493000 | #Constraints: 19027
439.87/441.02 c #Conflicts: 494000 | #Constraints: 20027
439.87/441.02 c #Conflicts: 495000 | #Constraints: 21027
439.87/441.02 c #Conflicts: 496000 | #Constraints: 22027
439.87/441.02 c #Conflicts: 497000 | #Constraints: 23027
439.87/441.02 c #Conflicts: 498000 | #Constraints: 24027
439.87/441.02 c #Conflicts: 499000 | #Constraints: 25027
439.87/441.02 c #Conflicts: 500000 | #Constraints: 26027
439.87/441.02 c #Conflicts: 501000 | #Constraints: 27027
439.87/441.02 c #Conflicts: 502000 | #Constraints: 28027
439.87/441.02 c INPROCESSING
439.87/441.02 c GARBAGE COLLECT
439.87/441.02 c #Conflicts: 503000 | #Constraints: 15029
439.87/441.02 c #Conflicts: 504000 | #Constraints: 16029
439.87/441.02 c #Conflicts: 505000 | #Constraints: 17029
439.87/441.02 c #Conflicts: 506000 | #Constraints: 18029
439.87/441.02 c #Conflicts: 507000 | #Constraints: 19029
439.87/441.02 c #Conflicts: 508000 | #Constraints: 20029
439.87/441.02 c #Conflicts: 509000 | #Constraints: 21029
439.87/441.02 c #Conflicts: 510000 | #Constraints: 22029
439.87/441.02 c #Conflicts: 511000 | #Constraints: 23029
544.60/546.07 c #Conflicts: 512000 | #Constraints: 24029
544.60/546.07 c #Conflicts: 513000 | #Constraints: 25029
544.60/546.07 c #Conflicts: 514000 | #Constraints: 26029
544.60/546.07 c #Conflicts: 515000 | #Constraints: 27029
544.60/546.07 c #Conflicts: 516000 | #Constraints: 28029
544.60/546.07 c INPROCESSING
544.60/546.07 c GARBAGE COLLECT
544.60/546.07 c #Conflicts: 517000 | #Constraints: 14834
544.60/546.07 c #Conflicts: 518000 | #Constraints: 15834
544.60/546.07 c #Conflicts: 519000 | #Constraints: 16834
544.60/546.07 c #Conflicts: 520000 | #Constraints: 17834
544.60/546.07 c #Conflicts: 521000 | #Constraints: 18834
544.60/546.07 c #Conflicts: 522000 | #Constraints: 19834
544.60/546.07 c #Conflicts: 523000 | #Constraints: 20834
544.60/546.07 c #Conflicts: 524000 | #Constraints: 21834
544.60/546.07 c #Conflicts: 525000 | #Constraints: 22834
544.60/546.07 c #Conflicts: 526000 | #Constraints: 23834
544.60/546.07 c #Conflicts: 527000 | #Constraints: 24834
544.60/546.07 c #Conflicts: 528000 | #Constraints: 25834
544.60/546.07 c #Conflicts: 529000 | #Constraints: 26834
544.60/546.07 c #Conflicts: 530000 | #Constraints: 27834
544.60/546.07 c #Conflicts: 531000 | #Constraints: 28834
544.60/546.07 c INPROCESSING
544.60/546.07 c GARBAGE COLLECT
544.60/546.07 c #Conflicts: 532000 | #Constraints: 15430
544.60/546.07 c #Conflicts: 533000 | #Constraints: 16430
544.60/546.07 c #Conflicts: 534000 | #Constraints: 17430
544.60/546.07 c #Conflicts: 535000 | #Constraints: 18430
544.60/546.07 c #Conflicts: 536000 | #Constraints: 19430
544.60/546.07 c #Conflicts: 537000 | #Constraints: 20430
544.60/546.07 c #Conflicts: 538000 | #Constraints: 21430
544.60/546.07 c #Conflicts: 539000 | #Constraints: 22430
544.60/546.07 c #Conflicts: 540000 | #Constraints: 23430
544.60/546.07 c #Conflicts: 541000 | #Constraints: 24430
544.60/546.07 c #Conflicts: 542000 | #Constraints: 25430
544.60/546.07 c #Conflicts: 543000 | #Constraints: 26430
544.60/546.07 c #Conflicts: 544000 | #Constraints: 27430
544.60/546.07 c #Conflicts: 545000 | #Constraints: 28430
544.60/546.07 c #Conflicts: 546000 | #Constraints: 29430
544.60/546.07 c INPROCESSING
544.60/546.07 c GARBAGE COLLECT
544.60/546.07 c #Conflicts: 547000 | #Constraints: 15827
544.60/546.07 c #Conflicts: 548000 | #Constraints: 16827
544.60/546.07 c #Conflicts: 549000 | #Constraints: 17827
544.60/546.07 c #Conflicts: 550000 | #Constraints: 18827
544.60/546.07 c #Conflicts: 551000 | #Constraints: 19827
544.60/546.07 c #Conflicts: 552000 | #Constraints: 20827
544.60/546.07 c #Conflicts: 553000 | #Constraints: 21827
544.60/546.07 c #Conflicts: 554000 | #Constraints: 22827
544.60/546.07 c #Conflicts: 555000 | #Constraints: 23827
544.60/546.07 c #Conflicts: 556000 | #Constraints: 24827
544.60/546.07 c #Conflicts: 557000 | #Constraints: 25827
544.60/546.07 c #Conflicts: 558000 | #Constraints: 26827
544.60/546.07 c #Conflicts: 559000 | #Constraints: 27827
544.60/546.07 c #Conflicts: 560000 | #Constraints: 28827
544.60/546.07 c #Conflicts: 561000 | #Constraints: 29827
544.60/546.07 c INPROCESSING
544.60/546.07 c GARBAGE COLLECT
544.60/546.07 c #Conflicts: 562000 | #Constraints: 16024
544.60/546.07 c #Conflicts: 563000 | #Constraints: 17024
544.60/546.07 c #Conflicts: 564000 | #Constraints: 18024
544.60/546.07 c #Conflicts: 565000 | #Constraints: 19024
544.60/546.07 c #Conflicts: 566000 | #Constraints: 20024
544.60/546.07 c #Conflicts: 567000 | #Constraints: 21024
544.60/546.07 c #Conflicts: 568000 | #Constraints: 22024
544.60/546.07 c #Conflicts: 569000 | #Constraints: 23024
544.60/546.07 c #Conflicts: 570000 | #Constraints: 24024
544.60/546.07 c #Conflicts: 571000 | #Constraints: 25024
544.60/546.07 c #Conflicts: 572000 | #Constraints: 26024
544.60/546.07 c #Conflicts: 573000 | #Constraints: 27024
544.60/546.07 c #Conflicts: 574000 | #Constraints: 28024
544.60/546.07 c #Conflicts: 575000 | #Constraints: 29024
544.60/546.07 c #Conflicts: 576000 | #Constraints: 30024
544.60/546.07 c INPROCESSING
544.60/546.07 c GARBAGE COLLECT
544.60/546.07 c #Conflicts: 577000 | #Constraints: 16029
544.60/546.07 c #Conflicts: 578000 | #Constraints: 17029
544.60/546.07 c #Conflicts: 579000 | #Constraints: 18029
544.60/546.07 c #Conflicts: 580000 | #Constraints: 19029
544.60/546.07 c #Conflicts: 581000 | #Constraints: 20029
544.60/546.07 c #Conflicts: 582000 | #Constraints: 21029
544.60/546.07 c #Conflicts: 583000 | #Constraints: 22029
544.60/546.07 c #Conflicts: 584000 | #Constraints: 23029
544.60/546.07 c #Conflicts: 585000 | #Constraints: 24029
544.60/546.07 c #Conflicts: 586000 | #Constraints: 25029
662.08/663.82 c #Conflicts: 587000 | #Constraints: 26029
662.08/663.82 c #Conflicts: 588000 | #Constraints: 27029
662.08/663.82 c #Conflicts: 589000 | #Constraints: 28029
662.08/663.82 c #Conflicts: 590000 | #Constraints: 29029
662.08/663.82 c #Conflicts: 591000 | #Constraints: 30029
662.08/663.82 c INPROCESSING
662.08/663.82 c GARBAGE COLLECT
662.08/663.82 c #Conflicts: 592000 | #Constraints: 15828
662.08/663.82 c #Conflicts: 593000 | #Constraints: 16828
662.08/663.82 c #Conflicts: 594000 | #Constraints: 17828
662.08/663.82 c #Conflicts: 595000 | #Constraints: 18828
662.08/663.82 c #Conflicts: 596000 | #Constraints: 19828
662.08/663.82 c #Conflicts: 597000 | #Constraints: 20828
662.08/663.82 c #Conflicts: 598000 | #Constraints: 21828
662.08/663.82 c #Conflicts: 599000 | #Constraints: 22828
662.08/663.82 c #Conflicts: 600000 | #Constraints: 23828
662.08/663.82 c #Conflicts: 601000 | #Constraints: 24828
662.08/663.82 c #Conflicts: 602000 | #Constraints: 25828
662.08/663.82 c #Conflicts: 603000 | #Constraints: 26828
662.08/663.82 c #Conflicts: 604000 | #Constraints: 27828
662.08/663.82 c #Conflicts: 605000 | #Constraints: 28828
662.08/663.82 c #Conflicts: 606000 | #Constraints: 29828
662.08/663.82 c #Conflicts: 607000 | #Constraints: 30828
662.08/663.82 c INPROCESSING
662.08/663.82 c GARBAGE COLLECT
662.08/663.82 c #Conflicts: 608000 | #Constraints: 16429
662.08/663.82 c #Conflicts: 609000 | #Constraints: 17429
662.08/663.82 c #Conflicts: 610000 | #Constraints: 18429
662.08/663.82 c #Conflicts: 611000 | #Constraints: 19429
662.08/663.82 c #Conflicts: 612000 | #Constraints: 20429
662.08/663.82 c #Conflicts: 613000 | #Constraints: 21429
662.08/663.82 c #Conflicts: 614000 | #Constraints: 22429
662.08/663.82 c #Conflicts: 615000 | #Constraints: 23429
662.08/663.82 c #Conflicts: 616000 | #Constraints: 24429
662.08/663.82 c #Conflicts: 617000 | #Constraints: 25429
662.08/663.82 c #Conflicts: 618000 | #Constraints: 26429
662.08/663.82 c #Conflicts: 619000 | #Constraints: 27429
662.08/663.82 c #Conflicts: 620000 | #Constraints: 28429
662.08/663.82 c #Conflicts: 621000 | #Constraints: 29429
662.08/663.82 c #Conflicts: 622000 | #Constraints: 30429
662.08/663.82 c #Conflicts: 623000 | #Constraints: 31429
662.08/663.82 c INPROCESSING
662.08/663.82 c GARBAGE COLLECT
662.08/663.82 c #Conflicts: 624000 | #Constraints: 16832
662.08/663.82 c #Conflicts: 625000 | #Constraints: 17832
662.08/663.82 c #Conflicts: 626000 | #Constraints: 18832
662.08/663.82 c #Conflicts: 627000 | #Constraints: 19832
662.08/663.82 c #Conflicts: 628000 | #Constraints: 20832
662.08/663.82 c #Conflicts: 629000 | #Constraints: 21832
662.08/663.82 c #Conflicts: 630000 | #Constraints: 22832
662.08/663.82 c #Conflicts: 631000 | #Constraints: 23832
662.08/663.82 c #Conflicts: 632000 | #Constraints: 24832
662.08/663.82 c #Conflicts: 633000 | #Constraints: 25832
662.08/663.82 c #Conflicts: 634000 | #Constraints: 26832
662.08/663.82 c #Conflicts: 635000 | #Constraints: 27832
662.08/663.82 c #Conflicts: 636000 | #Constraints: 28832
662.08/663.82 c #Conflicts: 637000 | #Constraints: 29832
662.08/663.82 c #Conflicts: 638000 | #Constraints: 30832
662.08/663.82 c #Conflicts: 639000 | #Constraints: 31832
662.08/663.82 c INPROCESSING
662.08/663.82 c GARBAGE COLLECT
662.08/663.82 c #Conflicts: 640000 | #Constraints: 17028
662.08/663.82 c #Conflicts: 641000 | #Constraints: 18028
662.08/663.82 c #Conflicts: 642000 | #Constraints: 19028
662.08/663.82 c #Conflicts: 643000 | #Constraints: 20028
662.08/663.82 c #Conflicts: 644000 | #Constraints: 21028
662.08/663.82 c #Conflicts: 645000 | #Constraints: 22028
662.08/663.82 c #Conflicts: 646000 | #Constraints: 23028
662.08/663.82 c #Conflicts: 647000 | #Constraints: 24028
662.08/663.82 c #Conflicts: 648000 | #Constraints: 25028
662.08/663.82 c #Conflicts: 649000 | #Constraints: 26028
662.08/663.82 c #Conflicts: 650000 | #Constraints: 27028
662.08/663.82 c #Conflicts: 651000 | #Constraints: 28028
662.08/663.82 c #Conflicts: 652000 | #Constraints: 29028
662.08/663.82 c #Conflicts: 653000 | #Constraints: 30028
662.08/663.82 c #Conflicts: 654000 | #Constraints: 31028
662.08/663.82 c #Conflicts: 655000 | #Constraints: 32028
662.08/663.82 c INPROCESSING
662.08/663.82 c GARBAGE COLLECT
662.08/663.82 c #Conflicts: 656000 | #Constraints: 17028
662.08/663.82 c #Conflicts: 657000 | #Constraints: 18028
662.08/663.82 c #Conflicts: 658000 | #Constraints: 19028
662.08/663.82 c #Conflicts: 659000 | #Constraints: 20028
662.08/663.82 c #Conflicts: 660000 | #Constraints: 21028
662.08/663.82 c #Conflicts: 661000 | #Constraints: 22028
662.08/663.82 c #Conflicts: 662000 | #Constraints: 23028
794.04/796.10 c #Conflicts: 663000 | #Constraints: 24028
794.04/796.10 c #Conflicts: 664000 | #Constraints: 25028
794.04/796.10 c #Conflicts: 665000 | #Constraints: 26028
794.04/796.10 c #Conflicts: 666000 | #Constraints: 27028
794.04/796.10 c #Conflicts: 667000 | #Constraints: 28028
794.04/796.10 c #Conflicts: 668000 | #Constraints: 29028
794.04/796.10 c #Conflicts: 669000 | #Constraints: 30028
794.04/796.10 c #Conflicts: 670000 | #Constraints: 31028
794.04/796.10 c #Conflicts: 671000 | #Constraints: 32028
794.04/796.10 c INPROCESSING
794.04/796.10 c GARBAGE COLLECT
794.04/796.10 c #Conflicts: 672000 | #Constraints: 16829
794.04/796.10 c #Conflicts: 673000 | #Constraints: 17829
794.04/796.10 c #Conflicts: 674000 | #Constraints: 18829
794.04/796.10 c #Conflicts: 675000 | #Constraints: 19829
794.04/796.10 c #Conflicts: 676000 | #Constraints: 20829
794.04/796.10 c #Conflicts: 677000 | #Constraints: 21829
794.04/796.10 c #Conflicts: 678000 | #Constraints: 22829
794.04/796.10 c #Conflicts: 679000 | #Constraints: 23829
794.04/796.10 c #Conflicts: 680000 | #Constraints: 24829
794.04/796.10 c #Conflicts: 681000 | #Constraints: 25829
794.04/796.10 c #Conflicts: 682000 | #Constraints: 26829
794.04/796.10 c #Conflicts: 683000 | #Constraints: 27829
794.04/796.10 c #Conflicts: 684000 | #Constraints: 28829
794.04/796.10 c #Conflicts: 685000 | #Constraints: 29829
794.04/796.10 c #Conflicts: 686000 | #Constraints: 30829
794.04/796.10 c #Conflicts: 687000 | #Constraints: 31829
794.04/796.10 c #Conflicts: 688000 | #Constraints: 32829
794.04/796.10 c INPROCESSING
794.04/796.10 c GARBAGE COLLECT
794.04/796.10 c #Conflicts: 689000 | #Constraints: 17429
794.04/796.10 c #Conflicts: 690000 | #Constraints: 18429
794.04/796.10 c #Conflicts: 691000 | #Constraints: 19429
794.04/796.10 c #Conflicts: 692000 | #Constraints: 20429
794.04/796.10 c #Conflicts: 693000 | #Constraints: 21429
794.04/796.10 c #Conflicts: 694000 | #Constraints: 22429
794.04/796.10 c #Conflicts: 695000 | #Constraints: 23429
794.04/796.10 c #Conflicts: 696000 | #Constraints: 24429
794.04/796.10 c #Conflicts: 697000 | #Constraints: 25429
794.04/796.10 c #Conflicts: 698000 | #Constraints: 26429
794.04/796.10 c #Conflicts: 699000 | #Constraints: 27429
794.04/796.10 c #Conflicts: 700000 | #Constraints: 28429
794.04/796.11 c #Conflicts: 701000 | #Constraints: 29429
794.04/796.11 c #Conflicts: 702000 | #Constraints: 30429
794.04/796.11 c #Conflicts: 703000 | #Constraints: 31429
794.04/796.11 c #Conflicts: 704000 | #Constraints: 32429
794.04/796.11 c #Conflicts: 705000 | #Constraints: 33429
794.04/796.11 c INPROCESSING
794.04/796.11 c GARBAGE COLLECT
794.04/796.11 c #Conflicts: 706000 | #Constraints: 17832
794.04/796.11 c #Conflicts: 707000 | #Constraints: 18832
794.04/796.11 c #Conflicts: 708000 | #Constraints: 19832
794.04/796.11 c #Conflicts: 709000 | #Constraints: 20832
794.04/796.11 c #Conflicts: 710000 | #Constraints: 21832
794.04/796.11 c #Conflicts: 711000 | #Constraints: 22832
794.04/796.11 c #Conflicts: 712000 | #Constraints: 23832
794.04/796.11 c #Conflicts: 713000 | #Constraints: 24832
794.04/796.11 c #Conflicts: 714000 | #Constraints: 25832
794.04/796.11 c #Conflicts: 715000 | #Constraints: 26832
794.04/796.11 c #Conflicts: 716000 | #Constraints: 27832
794.04/796.11 c #Conflicts: 717000 | #Constraints: 28832
794.04/796.11 c #Conflicts: 718000 | #Constraints: 29832
794.04/796.11 c #Conflicts: 719000 | #Constraints: 30832
794.04/796.11 c #Conflicts: 720000 | #Constraints: 31832
794.04/796.11 c #Conflicts: 721000 | #Constraints: 32832
794.04/796.11 c #Conflicts: 722000 | #Constraints: 33832
794.04/796.11 c INPROCESSING
794.04/796.11 c GARBAGE COLLECT
794.04/796.11 c #Conflicts: 723000 | #Constraints: 18031
794.04/796.11 c #Conflicts: 724000 | #Constraints: 19031
794.04/796.11 c #Conflicts: 725000 | #Constraints: 20031
794.04/796.11 c #Conflicts: 726000 | #Constraints: 21031
794.04/796.11 c #Conflicts: 727000 | #Constraints: 22031
794.04/796.11 c #Conflicts: 728000 | #Constraints: 23031
794.04/796.11 c #Conflicts: 729000 | #Constraints: 24031
794.04/796.11 c #Conflicts: 730000 | #Constraints: 25031
794.04/796.11 c #Conflicts: 731000 | #Constraints: 26031
794.04/796.11 c #Conflicts: 732000 | #Constraints: 27031
794.04/796.11 c #Conflicts: 733000 | #Constraints: 28031
794.04/796.11 c #Conflicts: 734000 | #Constraints: 29031
794.04/796.11 c #Conflicts: 735000 | #Constraints: 30031
794.04/796.11 c #Conflicts: 736000 | #Constraints: 31031
794.04/796.11 c #Conflicts: 737000 | #Constraints: 32031
794.04/796.11 c #Conflicts: 738000 | #Constraints: 33031
929.77/932.24 c #Conflicts: 739000 | #Constraints: 34031
929.77/932.24 c INPROCESSING
929.77/932.24 c GARBAGE COLLECT
929.77/932.24 c #Conflicts: 740000 | #Constraints: 18031
929.77/932.24 c #Conflicts: 741000 | #Constraints: 19031
929.77/932.24 c #Conflicts: 742000 | #Constraints: 20031
929.77/932.24 c #Conflicts: 743000 | #Constraints: 21031
929.77/932.24 c #Conflicts: 744000 | #Constraints: 22031
929.77/932.24 c #Conflicts: 745000 | #Constraints: 23031
929.77/932.24 c #Conflicts: 746000 | #Constraints: 24031
929.77/932.24 c #Conflicts: 747000 | #Constraints: 25031
929.77/932.24 c #Conflicts: 748000 | #Constraints: 26031
929.77/932.24 c #Conflicts: 749000 | #Constraints: 27031
929.77/932.24 c #Conflicts: 750000 | #Constraints: 28031
929.77/932.24 c #Conflicts: 751000 | #Constraints: 29031
929.77/932.24 c #Conflicts: 752000 | #Constraints: 30031
929.77/932.24 c #Conflicts: 753000 | #Constraints: 31031
929.77/932.24 c #Conflicts: 754000 | #Constraints: 32031
929.77/932.24 c #Conflicts: 755000 | #Constraints: 33031
929.77/932.24 c #Conflicts: 756000 | #Constraints: 34031
929.77/932.24 c INPROCESSING
929.77/932.24 c GARBAGE COLLECT
929.77/932.24 c #Conflicts: 757000 | #Constraints: 17827
929.77/932.24 c #Conflicts: 758000 | #Constraints: 18827
929.77/932.24 c #Conflicts: 759000 | #Constraints: 19827
929.77/932.24 c #Conflicts: 760000 | #Constraints: 20827
929.77/932.24 c #Conflicts: 761000 | #Constraints: 21827
929.77/932.24 c #Conflicts: 762000 | #Constraints: 22827
929.77/932.24 c #Conflicts: 763000 | #Constraints: 23827
929.77/932.24 c #Conflicts: 764000 | #Constraints: 24827
929.77/932.24 c #Conflicts: 765000 | #Constraints: 25827
929.77/932.24 c #Conflicts: 766000 | #Constraints: 26827
929.77/932.24 c #Conflicts: 767000 | #Constraints: 27827
929.77/932.24 c #Conflicts: 768000 | #Constraints: 28827
929.77/932.24 c #Conflicts: 769000 | #Constraints: 29827
929.77/932.24 c #Conflicts: 770000 | #Constraints: 30827
929.77/932.24 c #Conflicts: 771000 | #Constraints: 31827
929.77/932.24 c #Conflicts: 772000 | #Constraints: 32827
929.77/932.24 c #Conflicts: 773000 | #Constraints: 33827
929.77/932.24 c #Conflicts: 774000 | #Constraints: 34827
929.77/932.24 c INPROCESSING
929.77/932.24 c GARBAGE COLLECT
929.77/932.24 c #Conflicts: 775000 | #Constraints: 18426
929.77/932.24 c #Conflicts: 776000 | #Constraints: 19426
929.77/932.24 c #Conflicts: 777000 | #Constraints: 20426
929.77/932.24 c #Conflicts: 778000 | #Constraints: 21426
929.77/932.24 c #Conflicts: 779000 | #Constraints: 22426
929.77/932.24 c #Conflicts: 780000 | #Constraints: 23426
929.77/932.24 c #Conflicts: 781000 | #Constraints: 24426
929.77/932.24 c #Conflicts: 782000 | #Constraints: 25426
929.77/932.24 c #Conflicts: 783000 | #Constraints: 26426
929.77/932.24 c #Conflicts: 784000 | #Constraints: 27426
929.77/932.24 c #Conflicts: 785000 | #Constraints: 28426
929.77/932.24 c #Conflicts: 786000 | #Constraints: 29426
929.77/932.24 c #Conflicts: 787000 | #Constraints: 30426
929.77/932.24 c #Conflicts: 788000 | #Constraints: 31426
929.77/932.24 c #Conflicts: 789000 | #Constraints: 32426
929.77/932.24 c #Conflicts: 790000 | #Constraints: 33426
929.77/932.24 c #Conflicts: 791000 | #Constraints: 34426
929.77/932.24 c #Conflicts: 792000 | #Constraints: 35426
929.77/932.24 c INPROCESSING
929.77/932.24 c GARBAGE COLLECT
929.77/932.24 c #Conflicts: 793000 | #Constraints: 18820
929.77/932.24 c #Conflicts: 794000 | #Constraints: 19820
929.77/932.24 c #Conflicts: 795000 | #Constraints: 20820
929.77/932.24 c #Conflicts: 796000 | #Constraints: 21820
929.77/932.24 c #Conflicts: 797000 | #Constraints: 22820
929.77/932.24 c #Conflicts: 798000 | #Constraints: 23820
929.77/932.24 c #Conflicts: 799000 | #Constraints: 24820
929.77/932.24 c #Conflicts: 800000 | #Constraints: 25820
929.77/932.24 c #Conflicts: 801000 | #Constraints: 26820
929.77/932.24 c #Conflicts: 802000 | #Constraints: 27820
929.77/932.24 c #Conflicts: 803000 | #Constraints: 28820
929.77/932.24 c #Conflicts: 804000 | #Constraints: 29820
929.77/932.24 c #Conflicts: 805000 | #Constraints: 30820
929.77/932.24 c #Conflicts: 806000 | #Constraints: 31820
929.77/932.24 c #Conflicts: 807000 | #Constraints: 32820
929.77/932.24 c #Conflicts: 808000 | #Constraints: 33820
929.77/932.24 c #Conflicts: 809000 | #Constraints: 34820
929.77/932.24 c #Conflicts: 810000 | #Constraints: 35820
929.77/932.24 c INPROCESSING
929.77/932.24 c GARBAGE COLLECT
929.77/932.24 c #Conflicts: 811000 | #Constraints: 19025
929.77/932.24 c #Conflicts: 812000 | #Constraints: 20025
929.77/932.24 c #Conflicts: 813000 | #Constraints: 21025
929.77/932.24 c #Conflicts: 814000 | #Constraints: 22025
1073.20/1076.10 c #Conflicts: 815000 | #Constraints: 23025
1073.20/1076.10 c #Conflicts: 816000 | #Constraints: 24025
1073.20/1076.10 c #Conflicts: 817000 | #Constraints: 25025
1073.20/1076.10 c #Conflicts: 818000 | #Constraints: 26025
1073.20/1076.10 c #Conflicts: 819000 | #Constraints: 27025
1073.20/1076.10 c #Conflicts: 820000 | #Constraints: 28025
1073.20/1076.10 c #Conflicts: 821000 | #Constraints: 29025
1073.20/1076.10 c #Conflicts: 822000 | #Constraints: 30025
1073.20/1076.10 c #Conflicts: 823000 | #Constraints: 31025
1073.20/1076.10 c #Conflicts: 824000 | #Constraints: 32025
1073.20/1076.10 c #Conflicts: 825000 | #Constraints: 33025
1073.20/1076.10 c #Conflicts: 826000 | #Constraints: 34025
1073.20/1076.10 c #Conflicts: 827000 | #Constraints: 35025
1073.20/1076.10 c #Conflicts: 828000 | #Constraints: 36025
1073.20/1076.10 c INPROCESSING
1073.20/1076.10 c GARBAGE COLLECT
1073.20/1076.10 c #Conflicts: 829000 | #Constraints: 19030
1073.20/1076.10 c #Conflicts: 830000 | #Constraints: 20030
1073.20/1076.10 c #Conflicts: 831000 | #Constraints: 21030
1073.20/1076.10 c #Conflicts: 832000 | #Constraints: 22030
1073.20/1076.10 c #Conflicts: 833000 | #Constraints: 23030
1073.20/1076.10 c #Conflicts: 834000 | #Constraints: 24030
1073.20/1076.10 c #Conflicts: 835000 | #Constraints: 25030
1073.20/1076.10 c #Conflicts: 836000 | #Constraints: 26030
1073.20/1076.10 c #Conflicts: 837000 | #Constraints: 27030
1073.20/1076.10 c #Conflicts: 838000 | #Constraints: 28030
1073.20/1076.10 c #Conflicts: 839000 | #Constraints: 29030
1073.20/1076.10 c #Conflicts: 840000 | #Constraints: 30030
1073.20/1076.10 c #Conflicts: 841000 | #Constraints: 31030
1073.20/1076.10 c #Conflicts: 842000 | #Constraints: 32030
1073.20/1076.10 c #Conflicts: 843000 | #Constraints: 33030
1073.20/1076.10 c #Conflicts: 844000 | #Constraints: 34030
1073.20/1076.10 c #Conflicts: 845000 | #Constraints: 35030
1073.20/1076.10 c #Conflicts: 846000 | #Constraints: 36030
1073.20/1076.10 c INPROCESSING
1073.20/1076.10 c GARBAGE COLLECT
1073.20/1076.10 c #Conflicts: 847000 | #Constraints: 18830
1073.20/1076.10 c #Conflicts: 848000 | #Constraints: 19830
1073.20/1076.10 c #Conflicts: 849000 | #Constraints: 20830
1073.20/1076.10 c #Conflicts: 850000 | #Constraints: 21830
1073.20/1076.10 c #Conflicts: 851000 | #Constraints: 22830
1073.20/1076.10 c #Conflicts: 852000 | #Constraints: 23830
1073.20/1076.10 c #Conflicts: 853000 | #Constraints: 24830
1073.20/1076.10 c #Conflicts: 854000 | #Constraints: 25830
1073.20/1076.10 c #Conflicts: 855000 | #Constraints: 26830
1073.20/1076.10 c #Conflicts: 856000 | #Constraints: 27830
1073.20/1076.10 c #Conflicts: 857000 | #Constraints: 28830
1073.20/1076.10 c #Conflicts: 858000 | #Constraints: 29830
1073.20/1076.10 c #Conflicts: 859000 | #Constraints: 30830
1073.20/1076.10 c #Conflicts: 860000 | #Constraints: 31830
1073.20/1076.10 c #Conflicts: 861000 | #Constraints: 32830
1073.20/1076.10 c #Conflicts: 862000 | #Constraints: 33830
1073.20/1076.10 c #Conflicts: 863000 | #Constraints: 34830
1073.20/1076.10 c #Conflicts: 864000 | #Constraints: 35830
1073.20/1076.10 c #Conflicts: 865000 | #Constraints: 36830
1073.20/1076.10 c INPROCESSING
1073.20/1076.10 c GARBAGE COLLECT
1073.20/1076.10 c #Conflicts: 866000 | #Constraints: 19428
1073.20/1076.10 c #Conflicts: 867000 | #Constraints: 20428
1073.20/1076.10 c #Conflicts: 868000 | #Constraints: 21428
1073.20/1076.10 c #Conflicts: 869000 | #Constraints: 22428
1073.20/1076.10 c #Conflicts: 870000 | #Constraints: 23428
1073.20/1076.10 c #Conflicts: 871000 | #Constraints: 24428
1073.20/1076.10 c #Conflicts: 872000 | #Constraints: 25428
1073.20/1076.10 c #Conflicts: 873000 | #Constraints: 26428
1073.20/1076.10 c #Conflicts: 874000 | #Constraints: 27428
1073.20/1076.10 c #Conflicts: 875000 | #Constraints: 28428
1073.20/1076.10 c #Conflicts: 876000 | #Constraints: 29428
1073.20/1076.10 c #Conflicts: 877000 | #Constraints: 30428
1073.20/1076.10 c #Conflicts: 878000 | #Constraints: 31428
1073.20/1076.10 c #Conflicts: 879000 | #Constraints: 32428
1073.20/1076.10 c #Conflicts: 880000 | #Constraints: 33428
1073.20/1076.10 c #Conflicts: 881000 | #Constraints: 34428
1073.20/1076.10 c #Conflicts: 882000 | #Constraints: 35428
1073.20/1076.10 c #Conflicts: 883000 | #Constraints: 36428
1073.20/1076.10 c #Conflicts: 884000 | #Constraints: 37428
1073.20/1076.10 c INPROCESSING
1073.20/1076.10 c GARBAGE COLLECT
1073.20/1076.10 c #Conflicts: 885000 | #Constraints: 19828
1073.20/1076.10 c #Conflicts: 886000 | #Constraints: 20828
1073.20/1076.10 c #Conflicts: 887000 | #Constraints: 21828
1073.20/1076.10 c #Conflicts: 888000 | #Constraints: 22828
1073.20/1076.10 c #Conflicts: 889000 | #Constraints: 23828
1073.20/1076.10 c #Conflicts: 890000 | #Constraints: 24828
1234.16/1237.48 c #Conflicts: 891000 | #Constraints: 25828
1234.16/1237.48 c #Conflicts: 892000 | #Constraints: 26828
1234.16/1237.48 c #Conflicts: 893000 | #Constraints: 27828
1234.16/1237.48 c #Conflicts: 894000 | #Constraints: 28828
1234.16/1237.48 c #Conflicts: 895000 | #Constraints: 29828
1234.16/1237.48 c #Conflicts: 896000 | #Constraints: 30828
1234.16/1237.48 c #Conflicts: 897000 | #Constraints: 31828
1234.16/1237.48 c #Conflicts: 898000 | #Constraints: 32828
1234.16/1237.48 c #Conflicts: 899000 | #Constraints: 33828
1234.16/1237.48 c #Conflicts: 900000 | #Constraints: 34828
1234.16/1237.48 c #Conflicts: 901000 | #Constraints: 35828
1234.16/1237.48 c #Conflicts: 902000 | #Constraints: 36828
1234.16/1237.48 c #Conflicts: 903000 | #Constraints: 37828
1234.16/1237.48 c INPROCESSING
1234.16/1237.48 c GARBAGE COLLECT
1234.16/1237.48 c #Conflicts: 904000 | #Constraints: 20027
1234.16/1237.48 c #Conflicts: 905000 | #Constraints: 21027
1234.16/1237.48 c #Conflicts: 906000 | #Constraints: 22027
1234.16/1237.48 c #Conflicts: 907000 | #Constraints: 23027
1234.16/1237.48 c #Conflicts: 908000 | #Constraints: 24027
1234.16/1237.48 c #Conflicts: 909000 | #Constraints: 25027
1234.16/1237.48 c #Conflicts: 910000 | #Constraints: 26027
1234.16/1237.48 c #Conflicts: 911000 | #Constraints: 27027
1234.16/1237.48 c #Conflicts: 912000 | #Constraints: 28027
1234.16/1237.48 c #Conflicts: 913000 | #Constraints: 29027
1234.16/1237.48 c #Conflicts: 914000 | #Constraints: 30027
1234.16/1237.48 c #Conflicts: 915000 | #Constraints: 31027
1234.16/1237.48 c #Conflicts: 916000 | #Constraints: 32027
1234.16/1237.48 c #Conflicts: 917000 | #Constraints: 33027
1234.16/1237.48 c #Conflicts: 918000 | #Constraints: 34027
1234.16/1237.48 c #Conflicts: 919000 | #Constraints: 35027
1234.16/1237.48 c #Conflicts: 920000 | #Constraints: 36027
1234.16/1237.48 c #Conflicts: 921000 | #Constraints: 37027
1234.16/1237.48 c #Conflicts: 922000 | #Constraints: 38027
1234.16/1237.48 c INPROCESSING
1234.16/1237.48 c GARBAGE COLLECT
1234.16/1237.48 c #Conflicts: 923000 | #Constraints: 20023
1234.16/1237.48 c #Conflicts: 924000 | #Constraints: 21023
1234.16/1237.48 c #Conflicts: 925000 | #Constraints: 22023
1234.16/1237.48 c #Conflicts: 926000 | #Constraints: 23023
1234.16/1237.48 c #Conflicts: 927000 | #Constraints: 24023
1234.16/1237.48 c #Conflicts: 928000 | #Constraints: 25023
1234.16/1237.48 c #Conflicts: 929000 | #Constraints: 26023
1234.16/1237.48 c #Conflicts: 930000 | #Constraints: 27023
1234.16/1237.48 c #Conflicts: 931000 | #Constraints: 28023
1234.16/1237.48 c #Conflicts: 932000 | #Constraints: 29023
1234.16/1237.48 c #Conflicts: 933000 | #Constraints: 30023
1234.16/1237.48 c #Conflicts: 934000 | #Constraints: 31023
1234.16/1237.48 c #Conflicts: 935000 | #Constraints: 32023
1234.16/1237.48 c #Conflicts: 936000 | #Constraints: 33023
1234.16/1237.48 c #Conflicts: 937000 | #Constraints: 34023
1234.16/1237.48 c #Conflicts: 938000 | #Constraints: 35023
1234.16/1237.48 c #Conflicts: 939000 | #Constraints: 36023
1234.16/1237.48 c #Conflicts: 940000 | #Constraints: 37023
1234.16/1237.48 c #Conflicts: 941000 | #Constraints: 38023
1234.16/1237.48 c INPROCESSING
1234.16/1237.48 c GARBAGE COLLECT
1234.16/1237.48 c #Conflicts: 942000 | #Constraints: 19830
1234.16/1237.48 c #Conflicts: 943000 | #Constraints: 20830
1234.16/1237.48 c #Conflicts: 944000 | #Constraints: 21830
1234.16/1237.48 c #Conflicts: 945000 | #Constraints: 22830
1234.16/1237.48 c #Conflicts: 946000 | #Constraints: 23830
1234.16/1237.48 c #Conflicts: 947000 | #Constraints: 24830
1234.16/1237.48 c #Conflicts: 948000 | #Constraints: 25830
1234.16/1237.48 c #Conflicts: 949000 | #Constraints: 26830
1234.16/1237.48 c #Conflicts: 950000 | #Constraints: 27830
1234.16/1237.48 c #Conflicts: 951000 | #Constraints: 28830
1234.16/1237.48 c #Conflicts: 952000 | #Constraints: 29830
1234.16/1237.48 c #Conflicts: 953000 | #Constraints: 30830
1234.16/1237.48 c #Conflicts: 954000 | #Constraints: 31830
1234.16/1237.48 c #Conflicts: 955000 | #Constraints: 32830
1234.16/1237.48 c #Conflicts: 956000 | #Constraints: 33830
1234.16/1237.48 c #Conflicts: 957000 | #Constraints: 34830
1234.16/1237.48 c #Conflicts: 958000 | #Constraints: 35830
1234.16/1237.48 c #Conflicts: 959000 | #Constraints: 36830
1234.16/1237.48 c #Conflicts: 960000 | #Constraints: 37830
1234.16/1237.48 c #Conflicts: 961000 | #Constraints: 38830
1234.16/1237.48 c INPROCESSING
1234.16/1237.48 c GARBAGE COLLECT
1234.16/1237.48 c #Conflicts: 962000 | #Constraints: 20430
1234.16/1237.48 c #Conflicts: 963000 | #Constraints: 21430
1234.16/1237.48 c #Conflicts: 964000 | #Constraints: 22430
1234.16/1237.48 c #Conflicts: 965000 | #Constraints: 23430
1234.16/1237.48 c #Conflicts: 966000 | #Constraints: 24430
1413.08/1416.81 c #Conflicts: 967000 | #Constraints: 25430
1413.08/1416.81 c #Conflicts: 968000 | #Constraints: 26430
1413.08/1416.81 c #Conflicts: 969000 | #Constraints: 27430
1413.08/1416.81 c #Conflicts: 970000 | #Constraints: 28430
1413.08/1416.81 c #Conflicts: 971000 | #Constraints: 29430
1413.08/1416.81 c #Conflicts: 972000 | #Constraints: 30430
1413.08/1416.81 c #Conflicts: 973000 | #Constraints: 31430
1413.08/1416.81 c #Conflicts: 974000 | #Constraints: 32430
1413.08/1416.81 c #Conflicts: 975000 | #Constraints: 33430
1413.08/1416.81 c #Conflicts: 976000 | #Constraints: 34430
1413.08/1416.81 c #Conflicts: 977000 | #Constraints: 35430
1413.08/1416.81 c #Conflicts: 978000 | #Constraints: 36430
1413.08/1416.81 c #Conflicts: 979000 | #Constraints: 37430
1413.08/1416.81 c #Conflicts: 980000 | #Constraints: 38430
1413.08/1416.81 c #Conflicts: 981000 | #Constraints: 39430
1413.08/1416.81 c INPROCESSING
1413.08/1416.81 c GARBAGE COLLECT
1413.08/1416.81 c #Conflicts: 982000 | #Constraints: 20829
1413.08/1416.81 c #Conflicts: 983000 | #Constraints: 21829
1413.08/1416.81 c #Conflicts: 984000 | #Constraints: 22829
1413.08/1416.81 c #Conflicts: 985000 | #Constraints: 23829
1413.08/1416.81 c #Conflicts: 986000 | #Constraints: 24829
1413.08/1416.81 c #Conflicts: 987000 | #Constraints: 25829
1413.08/1416.81 c #Conflicts: 988000 | #Constraints: 26829
1413.08/1416.81 c #Conflicts: 989000 | #Constraints: 27829
1413.08/1416.81 c #Conflicts: 990000 | #Constraints: 28829
1413.08/1416.81 c #Conflicts: 991000 | #Constraints: 29829
1413.08/1416.81 c #Conflicts: 992000 | #Constraints: 30829
1413.08/1416.81 c #Conflicts: 993000 | #Constraints: 31829
1413.08/1416.81 c #Conflicts: 994000 | #Constraints: 32829
1413.08/1416.81 c #Conflicts: 995000 | #Constraints: 33829
1413.08/1416.81 c #Conflicts: 996000 | #Constraints: 34829
1413.08/1416.81 c #Conflicts: 997000 | #Constraints: 35829
1413.08/1416.81 c #Conflicts: 998000 | #Constraints: 36829
1413.08/1416.81 c #Conflicts: 999000 | #Constraints: 37829
1413.08/1416.81 c #Conflicts: 1000000 | #Constraints: 38829
1413.08/1416.81 c #Conflicts: 1001000 | #Constraints: 39829
1413.08/1416.81 c INPROCESSING
1413.08/1416.81 c GARBAGE COLLECT
1413.08/1416.81 c #Conflicts: 1002000 | #Constraints: 21035
1413.08/1416.81 c #Conflicts: 1003000 | #Constraints: 22035
1413.08/1416.81 c #Conflicts: 1004000 | #Constraints: 23035
1413.08/1416.81 c #Conflicts: 1005000 | #Constraints: 24035
1413.08/1416.81 c #Conflicts: 1006000 | #Constraints: 25035
1413.08/1416.81 c #Conflicts: 1007000 | #Constraints: 26035
1413.08/1416.81 c #Conflicts: 1008000 | #Constraints: 27035
1413.08/1416.81 c #Conflicts: 1009000 | #Constraints: 28035
1413.08/1416.81 c #Conflicts: 1010000 | #Constraints: 29035
1413.08/1416.81 c #Conflicts: 1011000 | #Constraints: 30035
1413.08/1416.81 c #Conflicts: 1012000 | #Constraints: 31035
1413.08/1416.81 c #Conflicts: 1013000 | #Constraints: 32035
1413.08/1416.81 c #Conflicts: 1014000 | #Constraints: 33035
1413.08/1416.81 c #Conflicts: 1015000 | #Constraints: 34035
1413.08/1416.81 c #Conflicts: 1016000 | #Constraints: 35035
1413.08/1416.81 c #Conflicts: 1017000 | #Constraints: 36035
1413.08/1416.81 c #Conflicts: 1018000 | #Constraints: 37035
1413.08/1416.81 c #Conflicts: 1019000 | #Constraints: 38035
1413.08/1416.81 c #Conflicts: 1020000 | #Constraints: 39035
1413.08/1416.81 c #Conflicts: 1021000 | #Constraints: 40035
1413.08/1416.81 c INPROCESSING
1413.08/1416.81 c GARBAGE COLLECT
1413.08/1416.81 c #Conflicts: 1022000 | #Constraints: 21031
1413.08/1416.81 c #Conflicts: 1023000 | #Constraints: 22031
1413.08/1416.81 c #Conflicts: 1024000 | #Constraints: 23031
1413.08/1416.81 c #Conflicts: 1025000 | #Constraints: 24031
1413.08/1416.81 c #Conflicts: 1026000 | #Constraints: 25031
1413.08/1416.81 c #Conflicts: 1027000 | #Constraints: 26031
1413.08/1416.81 c #Conflicts: 1028000 | #Constraints: 27031
1413.08/1416.81 c #Conflicts: 1029000 | #Constraints: 28031
1413.08/1416.81 c #Conflicts: 1030000 | #Constraints: 29031
1413.08/1416.81 c #Conflicts: 1031000 | #Constraints: 30031
1413.08/1416.81 c #Conflicts: 1032000 | #Constraints: 31031
1413.08/1416.81 c #Conflicts: 1033000 | #Constraints: 32031
1413.08/1416.81 c #Conflicts: 1034000 | #Constraints: 33031
1413.08/1416.81 c #Conflicts: 1035000 | #Constraints: 34031
1413.08/1416.81 c #Conflicts: 1036000 | #Constraints: 35031
1413.08/1416.81 c #Conflicts: 1037000 | #Constraints: 36031
1413.08/1416.81 c #Conflicts: 1038000 | #Constraints: 37031
1413.08/1416.81 c #Conflicts: 1039000 | #Constraints: 38031
1413.08/1416.81 c #Conflicts: 1040000 | #Constraints: 39031
1413.08/1416.81 c #Conflicts: 1041000 | #Constraints: 40031
1413.08/1416.81 c INPROCESSING
1413.08/1416.81 c GARBAGE COLLECT
1413.08/1416.81 c #Conflicts: 1042000 | #Constraints: 20829
1413.08/1416.81 c #Conflicts: 1043000 | #Constraints: 21829
1618.31/1622.65 c #Conflicts: 1044000 | #Constraints: 22829
1618.31/1622.65 c #Conflicts: 1045000 | #Constraints: 23829
1618.31/1622.65 c #Conflicts: 1046000 | #Constraints: 24829
1618.31/1622.65 c #Conflicts: 1047000 | #Constraints: 25829
1618.31/1622.65 c #Conflicts: 1048000 | #Constraints: 26829
1618.31/1622.65 c #Conflicts: 1049000 | #Constraints: 27829
1618.31/1622.65 c #Conflicts: 1050000 | #Constraints: 28829
1618.31/1622.65 c #Conflicts: 1051000 | #Constraints: 29829
1618.31/1622.65 c #Conflicts: 1052000 | #Constraints: 30829
1618.31/1622.65 c #Conflicts: 1053000 | #Constraints: 31829
1618.31/1622.65 c #Conflicts: 1054000 | #Constraints: 32829
1618.31/1622.65 c #Conflicts: 1055000 | #Constraints: 33829
1618.31/1622.65 c #Conflicts: 1056000 | #Constraints: 34829
1618.31/1622.65 c #Conflicts: 1057000 | #Constraints: 35829
1618.31/1622.65 c #Conflicts: 1058000 | #Constraints: 36829
1618.31/1622.65 c #Conflicts: 1059000 | #Constraints: 37829
1618.31/1622.65 c #Conflicts: 1060000 | #Constraints: 38829
1618.31/1622.65 c #Conflicts: 1061000 | #Constraints: 39829
1618.31/1622.65 c #Conflicts: 1062000 | #Constraints: 40829
1618.31/1622.65 c INPROCESSING
1618.31/1622.65 c GARBAGE COLLECT
1618.31/1622.65 c #Conflicts: 1063000 | #Constraints: 21432
1618.31/1622.65 c #Conflicts: 1064000 | #Constraints: 22432
1618.31/1622.65 c #Conflicts: 1065000 | #Constraints: 23432
1618.31/1622.65 c #Conflicts: 1066000 | #Constraints: 24432
1618.31/1622.65 c #Conflicts: 1067000 | #Constraints: 25432
1618.31/1622.65 c #Conflicts: 1068000 | #Constraints: 26432
1618.31/1622.65 c #Conflicts: 1069000 | #Constraints: 27432
1618.31/1622.65 c #Conflicts: 1070000 | #Constraints: 28432
1618.31/1622.65 c #Conflicts: 1071000 | #Constraints: 29432
1618.31/1622.65 c #Conflicts: 1072000 | #Constraints: 30432
1618.31/1622.65 c #Conflicts: 1073000 | #Constraints: 31432
1618.31/1622.65 c #Conflicts: 1074000 | #Constraints: 32432
1618.31/1622.65 c #Conflicts: 1075000 | #Constraints: 33432
1618.31/1622.65 c #Conflicts: 1076000 | #Constraints: 34432
1618.31/1622.65 c #Conflicts: 1077000 | #Constraints: 35432
1618.31/1622.65 c #Conflicts: 1078000 | #Constraints: 36432
1618.31/1622.65 c #Conflicts: 1079000 | #Constraints: 37432
1618.31/1622.65 c #Conflicts: 1080000 | #Constraints: 38432
1618.31/1622.65 c #Conflicts: 1081000 | #Constraints: 39432
1618.31/1622.65 c #Conflicts: 1082000 | #Constraints: 40432
1618.31/1622.65 c #Conflicts: 1083000 | #Constraints: 41432
1618.31/1622.65 c INPROCESSING
1618.31/1622.65 c GARBAGE COLLECT
1618.31/1622.65 c #Conflicts: 1084000 | #Constraints: 21831
1618.31/1622.65 c #Conflicts: 1085000 | #Constraints: 22831
1618.31/1622.65 c #Conflicts: 1086000 | #Constraints: 23831
1618.31/1622.65 c #Conflicts: 1087000 | #Constraints: 24831
1618.31/1622.65 c #Conflicts: 1088000 | #Constraints: 25831
1618.31/1622.65 c #Conflicts: 1089000 | #Constraints: 26831
1618.31/1622.65 c #Conflicts: 1090000 | #Constraints: 27831
1618.31/1622.65 c #Conflicts: 1091000 | #Constraints: 28831
1618.31/1622.65 c #Conflicts: 1092000 | #Constraints: 29831
1618.31/1622.65 c #Conflicts: 1093000 | #Constraints: 30831
1618.31/1622.65 c #Conflicts: 1094000 | #Constraints: 31831
1618.31/1622.65 c #Conflicts: 1095000 | #Constraints: 32831
1618.31/1622.65 c #Conflicts: 1096000 | #Constraints: 33831
1618.31/1622.65 c #Conflicts: 1097000 | #Constraints: 34831
1618.31/1622.65 c #Conflicts: 1098000 | #Constraints: 35831
1618.31/1622.65 c #Conflicts: 1099000 | #Constraints: 36831
1618.31/1622.65 c #Conflicts: 1100000 | #Constraints: 37831
1618.31/1622.65 c #Conflicts: 1101000 | #Constraints: 38831
1618.31/1622.65 c #Conflicts: 1102000 | #Constraints: 39831
1618.31/1622.65 c #Conflicts: 1103000 | #Constraints: 40831
1618.31/1622.65 c #Conflicts: 1104000 | #Constraints: 41831
1618.31/1622.65 c INPROCESSING
1618.31/1622.65 c GARBAGE COLLECT
1618.31/1622.65 c #Conflicts: 1105000 | #Constraints: 22030
1618.31/1622.65 c #Conflicts: 1106000 | #Constraints: 23030
1618.31/1622.65 c #Conflicts: 1107000 | #Constraints: 24030
1618.31/1622.65 c #Conflicts: 1108000 | #Constraints: 25030
1618.31/1622.65 c #Conflicts: 1109000 | #Constraints: 26030
1618.31/1622.65 c #Conflicts: 1110000 | #Constraints: 27030
1618.31/1622.65 c #Conflicts: 1111000 | #Constraints: 28030
1618.31/1622.65 c #Conflicts: 1112000 | #Constraints: 29030
1618.31/1622.65 c #Conflicts: 1113000 | #Constraints: 30030
1618.31/1622.65 c #Conflicts: 1114000 | #Constraints: 31030
1618.31/1622.65 c #Conflicts: 1115000 | #Constraints: 32030
1618.31/1622.65 c #Conflicts: 1116000 | #Constraints: 33030
1618.31/1622.65 c #Conflicts: 1117000 | #Constraints: 34030
1618.31/1622.65 c #Conflicts: 1118000 | #Constraints: 35030
1618.31/1622.65 c #Conflicts: 1119000 | #Constraints: 36030
1822.86/1827.76 c #Conflicts: 1120000 | #Constraints: 37030
1822.86/1827.76 c #Conflicts: 1121000 | #Constraints: 38030
1822.86/1827.76 c #Conflicts: 1122000 | #Constraints: 39030
1822.86/1827.76 c #Conflicts: 1123000 | #Constraints: 40030
1822.86/1827.76 c #Conflicts: 1124000 | #Constraints: 41030
1822.86/1827.76 c #Conflicts: 1125000 | #Constraints: 42030
1822.86/1827.76 c INPROCESSING
1822.86/1827.76 c GARBAGE COLLECT
1822.86/1827.76 c #Conflicts: 1126000 | #Constraints: 22032
1822.86/1827.76 c #Conflicts: 1127000 | #Constraints: 23032
1822.86/1827.76 c #Conflicts: 1128000 | #Constraints: 24032
1822.86/1827.76 c #Conflicts: 1129000 | #Constraints: 25032
1822.86/1827.76 c #Conflicts: 1130000 | #Constraints: 26032
1822.86/1827.76 c #Conflicts: 1131000 | #Constraints: 27032
1822.86/1827.76 c #Conflicts: 1132000 | #Constraints: 28032
1822.86/1827.76 c #Conflicts: 1133000 | #Constraints: 29032
1822.86/1827.76 c #Conflicts: 1134000 | #Constraints: 30032
1822.86/1827.76 c #Conflicts: 1135000 | #Constraints: 31032
1822.86/1827.76 c #Conflicts: 1136000 | #Constraints: 32032
1822.86/1827.76 c #Conflicts: 1137000 | #Constraints: 33032
1822.86/1827.76 c #Conflicts: 1138000 | #Constraints: 34032
1822.86/1827.76 c #Conflicts: 1139000 | #Constraints: 35032
1822.86/1827.76 c #Conflicts: 1140000 | #Constraints: 36032
1822.86/1827.76 c #Conflicts: 1141000 | #Constraints: 37032
1822.86/1827.76 c #Conflicts: 1142000 | #Constraints: 38032
1822.86/1827.76 c #Conflicts: 1143000 | #Constraints: 39032
1822.86/1827.76 c #Conflicts: 1144000 | #Constraints: 40032
1822.86/1827.76 c #Conflicts: 1145000 | #Constraints: 41032
1822.86/1827.76 c #Conflicts: 1146000 | #Constraints: 42032
1822.86/1827.76 c INPROCESSING
1822.86/1827.76 c GARBAGE COLLECT
1822.86/1827.76 c #Conflicts: 1147000 | #Constraints: 21830
1822.86/1827.76 c #Conflicts: 1148000 | #Constraints: 22830
1822.86/1827.76 c #Conflicts: 1149000 | #Constraints: 23830
1822.86/1827.76 c #Conflicts: 1150000 | #Constraints: 24830
1822.86/1827.76 c #Conflicts: 1151000 | #Constraints: 25830
1822.86/1827.76 c #Conflicts: 1152000 | #Constraints: 26830
1822.86/1827.76 c #Conflicts: 1153000 | #Constraints: 27830
1822.86/1827.76 c #Conflicts: 1154000 | #Constraints: 28830
1822.86/1827.76 c #Conflicts: 1155000 | #Constraints: 29830
1822.86/1827.76 c #Conflicts: 1156000 | #Constraints: 30830
1822.86/1827.76 c #Conflicts: 1157000 | #Constraints: 31830
1822.86/1827.76 c #Conflicts: 1158000 | #Constraints: 32830
1822.86/1827.76 c #Conflicts: 1159000 | #Constraints: 33830
1822.86/1827.76 c #Conflicts: 1160000 | #Constraints: 34830
1822.86/1827.76 c #Conflicts: 1161000 | #Constraints: 35830
1822.86/1827.76 c #Conflicts: 1162000 | #Constraints: 36830
1822.86/1827.76 c #Conflicts: 1163000 | #Constraints: 37830
1822.86/1827.76 c #Conflicts: 1164000 | #Constraints: 38830
1822.86/1827.76 c #Conflicts: 1165000 | #Constraints: 39830
1822.86/1827.76 c #Conflicts: 1166000 | #Constraints: 40830
1822.86/1827.76 c #Conflicts: 1167000 | #Constraints: 41830
1822.86/1827.76 c #Conflicts: 1168000 | #Constraints: 42830
1822.86/1827.76 c INPROCESSING
1822.86/1827.76 c GARBAGE COLLECT
1822.86/1827.76 c #Conflicts: 1169000 | #Constraints: 22429
1822.86/1827.76 c #Conflicts: 1170000 | #Constraints: 23429
1822.86/1827.76 c #Conflicts: 1171000 | #Constraints: 24429
1822.86/1827.76 c #Conflicts: 1172000 | #Constraints: 25429
1822.86/1827.76 c #Conflicts: 1173000 | #Constraints: 26429
1822.86/1827.76 c #Conflicts: 1174000 | #Constraints: 27429
1822.86/1827.76 c #Conflicts: 1175000 | #Constraints: 28429
1822.86/1827.76 c #Conflicts: 1176000 | #Constraints: 29429
1822.86/1827.76 c #Conflicts: 1177000 | #Constraints: 30429
1822.86/1827.76 c #Conflicts: 1178000 | #Constraints: 31429
1822.86/1827.76 c #Conflicts: 1179000 | #Constraints: 32429
1822.86/1827.76 c #Conflicts: 1180000 | #Constraints: 33429
1822.86/1827.76 c #Conflicts: 1181000 | #Constraints: 34429
1822.86/1827.76 c #Conflicts: 1182000 | #Constraints: 35429
1822.86/1827.76 c #Conflicts: 1183000 | #Constraints: 36429
1822.86/1827.76 c #Conflicts: 1184000 | #Constraints: 37429
1822.86/1827.76 c #Conflicts: 1185000 | #Constraints: 38429
1822.86/1827.76 c #Conflicts: 1186000 | #Constraints: 39429
1822.86/1827.76 c #Conflicts: 1187000 | #Constraints: 40429
1822.86/1827.76 c #Conflicts: 1188000 | #Constraints: 41429
1822.86/1827.76 c #Conflicts: 1189000 | #Constraints: 42429
1822.86/1827.76 c #Conflicts: 1190000 | #Constraints: 43429
1822.86/1827.76 c INPROCESSING
1822.86/1827.76 c GARBAGE COLLECT
1822.86/1827.76 c #Conflicts: 1191000 | #Constraints: 22828
1822.86/1827.76 c #Conflicts: 1192000 | #Constraints: 23828
1822.86/1827.76 c #Conflicts: 1193000 | #Constraints: 24828
1822.86/1827.76 c #Conflicts: 1194000 | #Constraints: 25828
1822.86/1827.76 c #Conflicts: 1195000 | #Constraints: 26828
1822.86/1827.76 c #Conflicts: 1196000 | #Constraints: 27828
2034.29/2039.76 c #Conflicts: 1197000 | #Constraints: 28828
2034.29/2039.76 c #Conflicts: 1198000 | #Constraints: 29828
2034.29/2039.76 c #Conflicts: 1199000 | #Constraints: 30828
2034.29/2039.76 c #Conflicts: 1200000 | #Constraints: 31828
2034.29/2039.76 c #Conflicts: 1201000 | #Constraints: 32828
2034.29/2039.76 c #Conflicts: 1202000 | #Constraints: 33828
2034.29/2039.76 c #Conflicts: 1203000 | #Constraints: 34828
2034.29/2039.76 c #Conflicts: 1204000 | #Constraints: 35828
2034.29/2039.76 c #Conflicts: 1205000 | #Constraints: 36828
2034.29/2039.76 c #Conflicts: 1206000 | #Constraints: 37828
2034.29/2039.76 c #Conflicts: 1207000 | #Constraints: 38828
2034.29/2039.76 c #Conflicts: 1208000 | #Constraints: 39828
2034.29/2039.76 c #Conflicts: 1209000 | #Constraints: 40828
2034.29/2039.76 c #Conflicts: 1210000 | #Constraints: 41828
2034.29/2039.76 c #Conflicts: 1211000 | #Constraints: 42828
2034.29/2039.76 c #Conflicts: 1212000 | #Constraints: 43828
2034.29/2039.76 c INPROCESSING
2034.29/2039.76 c GARBAGE COLLECT
2034.29/2039.76 c #Conflicts: 1213000 | #Constraints: 23033
2034.29/2039.76 c #Conflicts: 1214000 | #Constraints: 24033
2034.29/2039.76 c #Conflicts: 1215000 | #Constraints: 25033
2034.29/2039.76 c #Conflicts: 1216000 | #Constraints: 26033
2034.29/2039.76 c #Conflicts: 1217000 | #Constraints: 27033
2034.29/2039.76 c #Conflicts: 1218000 | #Constraints: 28033
2034.29/2039.76 c #Conflicts: 1219000 | #Constraints: 29033
2034.29/2039.76 c #Conflicts: 1220000 | #Constraints: 30033
2034.29/2039.76 c #Conflicts: 1221000 | #Constraints: 31033
2034.29/2039.76 c #Conflicts: 1222000 | #Constraints: 32033
2034.29/2039.76 c #Conflicts: 1223000 | #Constraints: 33033
2034.29/2039.76 c #Conflicts: 1224000 | #Constraints: 34033
2034.29/2039.76 c #Conflicts: 1225000 | #Constraints: 35033
2034.29/2039.76 c #Conflicts: 1226000 | #Constraints: 36033
2034.29/2039.76 c #Conflicts: 1227000 | #Constraints: 37033
2034.29/2039.76 c #Conflicts: 1228000 | #Constraints: 38033
2034.29/2039.76 c #Conflicts: 1229000 | #Constraints: 39033
2034.29/2039.76 c #Conflicts: 1230000 | #Constraints: 40033
2034.29/2039.76 c #Conflicts: 1231000 | #Constraints: 41033
2034.29/2039.76 c #Conflicts: 1232000 | #Constraints: 42033
2034.29/2039.76 c #Conflicts: 1233000 | #Constraints: 43033
2034.29/2039.76 c #Conflicts: 1234000 | #Constraints: 44033
2034.29/2039.76 c INPROCESSING
2034.29/2039.76 c GARBAGE COLLECT
2034.29/2039.76 c #Conflicts: 1235000 | #Constraints: 23032
2034.29/2039.76 c #Conflicts: 1236000 | #Constraints: 24032
2034.29/2039.76 c #Conflicts: 1237000 | #Constraints: 25032
2034.29/2039.76 c #Conflicts: 1238000 | #Constraints: 26032
2034.29/2039.76 c #Conflicts: 1239000 | #Constraints: 27032
2034.29/2039.76 c #Conflicts: 1240000 | #Constraints: 28032
2034.29/2039.76 c #Conflicts: 1241000 | #Constraints: 29032
2034.29/2039.76 c #Conflicts: 1242000 | #Constraints: 30032
2034.29/2039.76 c #Conflicts: 1243000 | #Constraints: 31032
2034.29/2039.76 c #Conflicts: 1244000 | #Constraints: 32032
2034.29/2039.76 c #Conflicts: 1245000 | #Constraints: 33032
2034.29/2039.76 c #Conflicts: 1246000 | #Constraints: 34032
2034.29/2039.76 c #Conflicts: 1247000 | #Constraints: 35032
2034.29/2039.76 c #Conflicts: 1248000 | #Constraints: 36032
2034.29/2039.76 c #Conflicts: 1249000 | #Constraints: 37032
2034.29/2039.76 c #Conflicts: 1250000 | #Constraints: 38032
2034.29/2039.76 c #Conflicts: 1251000 | #Constraints: 39032
2034.29/2039.76 c #Conflicts: 1252000 | #Constraints: 40032
2034.29/2039.76 c #Conflicts: 1253000 | #Constraints: 41032
2034.29/2039.76 c #Conflicts: 1254000 | #Constraints: 42032
2034.29/2039.76 c #Conflicts: 1255000 | #Constraints: 43032
2034.29/2039.76 c #Conflicts: 1256000 | #Constraints: 44032
2034.29/2039.76 c INPROCESSING
2034.29/2039.76 c GARBAGE COLLECT
2034.29/2039.76 c #Conflicts: 1257000 | #Constraints: 22828
2034.29/2039.76 c #Conflicts: 1258000 | #Constraints: 23828
2034.29/2039.76 c #Conflicts: 1259000 | #Constraints: 24828
2034.29/2039.76 c #Conflicts: 1260000 | #Constraints: 25828
2034.29/2039.76 c #Conflicts: 1261000 | #Constraints: 26828
2034.29/2039.76 c #Conflicts: 1262000 | #Constraints: 27828
2034.29/2039.76 c #Conflicts: 1263000 | #Constraints: 28828
2034.29/2039.76 c #Conflicts: 1264000 | #Constraints: 29828
2034.29/2039.76 c #Conflicts: 1265000 | #Constraints: 30828
2034.29/2039.76 c #Conflicts: 1266000 | #Constraints: 31828
2034.29/2039.76 c #Conflicts: 1267000 | #Constraints: 32828
2034.29/2039.76 c #Conflicts: 1268000 | #Constraints: 33828
2034.29/2039.76 c #Conflicts: 1269000 | #Constraints: 34828
2034.29/2039.76 c #Conflicts: 1270000 | #Constraints: 35828
2034.29/2039.76 c #Conflicts: 1271000 | #Constraints: 36828
2034.29/2039.76 c #Conflicts: 1272000 | #Constraints: 37828
2034.29/2039.76 c #Conflicts: 1273000 | #Constraints: 38828
2259.78/2265.80 c #Conflicts: 1274000 | #Constraints: 39828
2259.78/2265.80 c #Conflicts: 1275000 | #Constraints: 40828
2259.78/2265.80 c #Conflicts: 1276000 | #Constraints: 41828
2259.78/2265.80 c #Conflicts: 1277000 | #Constraints: 42828
2259.78/2265.80 c #Conflicts: 1278000 | #Constraints: 43828
2259.78/2265.80 c #Conflicts: 1279000 | #Constraints: 44828
2259.78/2265.80 c INPROCESSING
2259.78/2265.80 c GARBAGE COLLECT
2259.78/2265.80 c #Conflicts: 1280000 | #Constraints: 23428
2259.78/2265.80 c #Conflicts: 1281000 | #Constraints: 24428
2259.78/2265.80 c #Conflicts: 1282000 | #Constraints: 25428
2259.78/2265.80 c #Conflicts: 1283000 | #Constraints: 26428
2259.78/2265.80 c #Conflicts: 1284000 | #Constraints: 27428
2259.78/2265.80 c #Conflicts: 1285000 | #Constraints: 28428
2259.78/2265.80 c #Conflicts: 1286000 | #Constraints: 29428
2259.78/2265.80 c #Conflicts: 1287000 | #Constraints: 30428
2259.78/2265.80 c #Conflicts: 1288000 | #Constraints: 31428
2259.78/2265.80 c #Conflicts: 1289000 | #Constraints: 32428
2259.78/2265.80 c #Conflicts: 1290000 | #Constraints: 33428
2259.78/2265.80 c #Conflicts: 1291000 | #Constraints: 34428
2259.78/2265.80 c #Conflicts: 1292000 | #Constraints: 35428
2259.78/2265.80 c #Conflicts: 1293000 | #Constraints: 36428
2259.78/2265.80 c #Conflicts: 1294000 | #Constraints: 37428
2259.78/2265.80 c #Conflicts: 1295000 | #Constraints: 38428
2259.78/2265.80 c #Conflicts: 1296000 | #Constraints: 39428
2259.78/2265.80 c #Conflicts: 1297000 | #Constraints: 40428
2259.78/2265.80 c #Conflicts: 1298000 | #Constraints: 41428
2259.78/2265.80 c #Conflicts: 1299000 | #Constraints: 42428
2259.78/2265.80 c #Conflicts: 1300000 | #Constraints: 43428
2259.78/2265.80 c #Conflicts: 1301000 | #Constraints: 44428
2259.78/2265.80 c #Conflicts: 1302000 | #Constraints: 45428
2259.78/2265.80 c INPROCESSING
2259.78/2265.80 c GARBAGE COLLECT
2259.78/2265.80 c #Conflicts: 1303000 | #Constraints: 23825
2259.78/2265.80 c #Conflicts: 1304000 | #Constraints: 24825
2259.78/2265.80 c #Conflicts: 1305000 | #Constraints: 25825
2259.78/2265.80 c #Conflicts: 1306000 | #Constraints: 26825
2259.78/2265.80 c #Conflicts: 1307000 | #Constraints: 27825
2259.78/2265.80 c #Conflicts: 1308000 | #Constraints: 28825
2259.78/2265.80 c #Conflicts: 1309000 | #Constraints: 29825
2259.78/2265.80 c #Conflicts: 1310000 | #Constraints: 30825
2259.78/2265.80 c #Conflicts: 1311000 | #Constraints: 31825
2259.78/2265.80 c #Conflicts: 1312000 | #Constraints: 32825
2259.78/2265.80 c #Conflicts: 1313000 | #Constraints: 33825
2259.78/2265.80 c #Conflicts: 1314000 | #Constraints: 34825
2259.78/2265.80 c #Conflicts: 1315000 | #Constraints: 35825
2259.78/2265.80 c #Conflicts: 1316000 | #Constraints: 36825
2259.78/2265.80 c #Conflicts: 1317000 | #Constraints: 37825
2259.78/2265.80 c #Conflicts: 1318000 | #Constraints: 38825
2259.78/2265.80 c #Conflicts: 1319000 | #Constraints: 39825
2259.78/2265.80 c #Conflicts: 1320000 | #Constraints: 40825
2259.78/2265.80 c #Conflicts: 1321000 | #Constraints: 41825
2259.78/2265.80 c #Conflicts: 1322000 | #Constraints: 42825
2259.78/2265.80 c #Conflicts: 1323000 | #Constraints: 43825
2259.78/2265.80 c #Conflicts: 1324000 | #Constraints: 44825
2259.78/2265.80 c #Conflicts: 1325000 | #Constraints: 45825
2259.78/2265.80 c INPROCESSING
2259.78/2265.80 c GARBAGE COLLECT
2259.78/2265.80 c #Conflicts: 1326000 | #Constraints: 24034
2259.78/2265.80 c #Conflicts: 1327000 | #Constraints: 25034
2259.78/2265.80 c #Conflicts: 1328000 | #Constraints: 26034
2259.78/2265.80 c #Conflicts: 1329000 | #Constraints: 27034
2259.78/2265.80 c #Conflicts: 1330000 | #Constraints: 28034
2259.78/2265.80 c #Conflicts: 1331000 | #Constraints: 29034
2259.78/2265.80 c #Conflicts: 1332000 | #Constraints: 30034
2259.78/2265.80 c #Conflicts: 1333000 | #Constraints: 31034
2259.78/2265.80 c #Conflicts: 1334000 | #Constraints: 32034
2259.78/2265.80 c #Conflicts: 1335000 | #Constraints: 33034
2259.78/2265.80 c #Conflicts: 1336000 | #Constraints: 34034
2259.78/2265.80 c #Conflicts: 1337000 | #Constraints: 35034
2259.78/2265.80 c #Conflicts: 1338000 | #Constraints: 36034
2259.78/2265.80 c #Conflicts: 1339000 | #Constraints: 37034
2259.78/2265.80 c #Conflicts: 1340000 | #Constraints: 38034
2259.78/2265.80 c #Conflicts: 1341000 | #Constraints: 39034
2259.78/2265.80 c #Conflicts: 1342000 | #Constraints: 40034
2259.78/2265.80 c #Conflicts: 1343000 | #Constraints: 41034
2259.78/2265.80 c #Conflicts: 1344000 | #Constraints: 42034
2259.78/2265.80 c #Conflicts: 1345000 | #Constraints: 43034
2259.78/2265.80 c #Conflicts: 1346000 | #Constraints: 44034
2259.78/2265.80 c #Conflicts: 1347000 | #Constraints: 45034
2259.78/2265.80 c #Conflicts: 1348000 | #Constraints: 46034
2259.78/2265.80 c INPROCESSING
2259.78/2265.80 c GARBAGE COLLECT
2259.78/2265.80 c #Conflicts: 1349000 | #Constraints: 24032
2489.27/2495.95 c #Conflicts: 1350000 | #Constraints: 25032
2489.27/2495.95 c #Conflicts: 1351000 | #Constraints: 26032
2489.27/2495.95 c #Conflicts: 1352000 | #Constraints: 27032
2489.27/2495.95 c #Conflicts: 1353000 | #Constraints: 28032
2489.27/2495.95 c #Conflicts: 1354000 | #Constraints: 29032
2489.27/2495.95 c #Conflicts: 1355000 | #Constraints: 30032
2489.27/2495.95 c #Conflicts: 1356000 | #Constraints: 31032
2489.27/2495.95 c #Conflicts: 1357000 | #Constraints: 32032
2489.27/2495.95 c #Conflicts: 1358000 | #Constraints: 33032
2489.27/2495.95 c #Conflicts: 1359000 | #Constraints: 34032
2489.27/2495.95 c #Conflicts: 1360000 | #Constraints: 35032
2489.27/2495.95 c #Conflicts: 1361000 | #Constraints: 36032
2489.27/2495.95 c #Conflicts: 1362000 | #Constraints: 37032
2489.27/2495.95 c #Conflicts: 1363000 | #Constraints: 38032
2489.27/2495.95 c #Conflicts: 1364000 | #Constraints: 39032
2489.27/2495.95 c #Conflicts: 1365000 | #Constraints: 40032
2489.27/2495.95 c #Conflicts: 1366000 | #Constraints: 41032
2489.27/2495.95 c #Conflicts: 1367000 | #Constraints: 42032
2489.27/2495.95 c #Conflicts: 1368000 | #Constraints: 43032
2489.27/2495.95 c #Conflicts: 1369000 | #Constraints: 44032
2489.27/2495.95 c #Conflicts: 1370000 | #Constraints: 45032
2489.27/2495.95 c #Conflicts: 1371000 | #Constraints: 46032
2489.27/2495.95 c INPROCESSING
2489.27/2495.95 c GARBAGE COLLECT
2489.27/2495.95 c #Conflicts: 1372000 | #Constraints: 23835
2489.27/2495.95 c #Conflicts: 1373000 | #Constraints: 24835
2489.27/2495.95 c #Conflicts: 1374000 | #Constraints: 25835
2489.27/2495.95 c #Conflicts: 1375000 | #Constraints: 26835
2489.27/2495.95 c #Conflicts: 1376000 | #Constraints: 27835
2489.27/2495.95 c #Conflicts: 1377000 | #Constraints: 28835
2489.27/2495.95 c #Conflicts: 1378000 | #Constraints: 29835
2489.27/2495.95 c #Conflicts: 1379000 | #Constraints: 30835
2489.27/2495.95 c #Conflicts: 1380000 | #Constraints: 31835
2489.27/2495.95 c #Conflicts: 1381000 | #Constraints: 32835
2489.27/2495.95 c #Conflicts: 1382000 | #Constraints: 33835
2489.27/2495.95 c #Conflicts: 1383000 | #Constraints: 34835
2489.27/2495.95 c #Conflicts: 1384000 | #Constraints: 35835
2489.27/2495.95 c #Conflicts: 1385000 | #Constraints: 36835
2489.27/2495.95 c #Conflicts: 1386000 | #Constraints: 37835
2489.27/2495.95 c #Conflicts: 1387000 | #Constraints: 38835
2489.27/2495.95 c #Conflicts: 1388000 | #Constraints: 39835
2489.27/2495.95 c #Conflicts: 1389000 | #Constraints: 40835
2489.27/2495.95 c #Conflicts: 1390000 | #Constraints: 41835
2489.27/2495.95 c #Conflicts: 1391000 | #Constraints: 42835
2489.27/2495.95 c #Conflicts: 1392000 | #Constraints: 43835
2489.27/2495.95 c #Conflicts: 1393000 | #Constraints: 44835
2489.27/2495.95 c #Conflicts: 1394000 | #Constraints: 45835
2489.27/2495.95 c #Conflicts: 1395000 | #Constraints: 46835
2489.27/2495.95 c INPROCESSING
2489.27/2495.95 c GARBAGE COLLECT
2489.27/2495.95 c #Conflicts: 1396000 | #Constraints: 24435
2489.27/2495.95 c #Conflicts: 1397000 | #Constraints: 25435
2489.27/2495.95 c #Conflicts: 1398000 | #Constraints: 26435
2489.27/2495.95 c #Conflicts: 1399000 | #Constraints: 27435
2489.27/2495.95 c #Conflicts: 1400000 | #Constraints: 28435
2489.27/2495.95 c #Conflicts: 1401000 | #Constraints: 29435
2489.27/2495.95 c #Conflicts: 1402000 | #Constraints: 30435
2489.27/2495.95 c #Conflicts: 1403000 | #Constraints: 31435
2489.27/2495.95 c #Conflicts: 1404000 | #Constraints: 32435
2489.27/2495.95 c #Conflicts: 1405000 | #Constraints: 33435
2489.27/2495.95 c #Conflicts: 1406000 | #Constraints: 34435
2489.27/2495.95 c #Conflicts: 1407000 | #Constraints: 35435
2489.27/2495.95 c #Conflicts: 1408000 | #Constraints: 36435
2489.27/2495.95 c #Conflicts: 1409000 | #Constraints: 37435
2489.27/2495.95 c #Conflicts: 1410000 | #Constraints: 38435
2489.27/2495.95 c #Conflicts: 1411000 | #Constraints: 39435
2489.27/2495.95 c #Conflicts: 1412000 | #Constraints: 40435
2489.27/2495.95 c #Conflicts: 1413000 | #Constraints: 41435
2489.27/2495.95 c #Conflicts: 1414000 | #Constraints: 42435
2489.27/2495.95 c #Conflicts: 1415000 | #Constraints: 43435
2489.27/2495.95 c #Conflicts: 1416000 | #Constraints: 44435
2489.27/2495.95 c #Conflicts: 1417000 | #Constraints: 45435
2489.27/2495.95 c #Conflicts: 1418000 | #Constraints: 46435
2489.27/2495.95 c #Conflicts: 1419000 | #Constraints: 47435
2489.27/2495.95 c INPROCESSING
2489.27/2495.95 c GARBAGE COLLECT
2489.27/2495.95 c #Conflicts: 1420000 | #Constraints: 24836
2489.27/2495.95 c #Conflicts: 1421000 | #Constraints: 25836
2489.27/2495.95 c #Conflicts: 1422000 | #Constraints: 26836
2489.27/2495.95 c #Conflicts: 1423000 | #Constraints: 27836
2489.27/2495.95 c #Conflicts: 1424000 | #Constraints: 28836
2489.27/2495.95 c #Conflicts: 1425000 | #Constraints: 29836
2489.27/2495.95 c #Conflicts: 1426000 | #Constraints: 30836
2715.55/2722.81 c #Conflicts: 1427000 | #Constraints: 31836
2715.55/2722.81 c #Conflicts: 1428000 | #Constraints: 32836
2715.55/2722.81 c #Conflicts: 1429000 | #Constraints: 33836
2715.55/2722.81 c #Conflicts: 1430000 | #Constraints: 34836
2715.55/2722.81 c #Conflicts: 1431000 | #Constraints: 35836
2715.55/2722.81 c #Conflicts: 1432000 | #Constraints: 36836
2715.55/2722.81 c #Conflicts: 1433000 | #Constraints: 37836
2715.55/2722.81 c #Conflicts: 1434000 | #Constraints: 38836
2715.55/2722.81 c #Conflicts: 1435000 | #Constraints: 39836
2715.55/2722.81 c #Conflicts: 1436000 | #Constraints: 40836
2715.55/2722.81 c #Conflicts: 1437000 | #Constraints: 41836
2715.55/2722.81 c #Conflicts: 1438000 | #Constraints: 42836
2715.55/2722.81 c #Conflicts: 1439000 | #Constraints: 43836
2715.55/2722.81 c #Conflicts: 1440000 | #Constraints: 44836
2715.55/2722.81 c #Conflicts: 1441000 | #Constraints: 45836
2715.55/2722.81 c #Conflicts: 1442000 | #Constraints: 46836
2715.55/2722.81 c #Conflicts: 1443000 | #Constraints: 47836
2715.55/2722.81 c INPROCESSING
2715.55/2722.81 c GARBAGE COLLECT
2715.55/2722.81 c #Conflicts: 1444000 | #Constraints: 25037
2715.55/2722.81 c #Conflicts: 1445000 | #Constraints: 26037
2715.55/2722.81 c #Conflicts: 1446000 | #Constraints: 27037
2715.55/2722.81 c #Conflicts: 1447000 | #Constraints: 28037
2715.55/2722.81 c #Conflicts: 1448000 | #Constraints: 29037
2715.55/2722.81 c #Conflicts: 1449000 | #Constraints: 30037
2715.55/2722.81 c #Conflicts: 1450000 | #Constraints: 31037
2715.55/2722.81 c #Conflicts: 1451000 | #Constraints: 32037
2715.55/2722.81 c #Conflicts: 1452000 | #Constraints: 33037
2715.55/2722.81 c #Conflicts: 1453000 | #Constraints: 34037
2715.55/2722.81 c #Conflicts: 1454000 | #Constraints: 35037
2715.55/2722.81 c #Conflicts: 1455000 | #Constraints: 36037
2715.55/2722.81 c #Conflicts: 1456000 | #Constraints: 37037
2715.55/2722.81 c #Conflicts: 1457000 | #Constraints: 38037
2715.55/2722.81 c #Conflicts: 1458000 | #Constraints: 39037
2715.55/2722.81 c #Conflicts: 1459000 | #Constraints: 40037
2715.55/2722.81 c #Conflicts: 1460000 | #Constraints: 41037
2715.55/2722.81 c #Conflicts: 1461000 | #Constraints: 42037
2715.55/2722.81 c #Conflicts: 1462000 | #Constraints: 43037
2715.55/2722.81 c #Conflicts: 1463000 | #Constraints: 44037
2715.55/2722.81 c #Conflicts: 1464000 | #Constraints: 45037
2715.55/2722.81 c #Conflicts: 1465000 | #Constraints: 46037
2715.55/2722.81 c #Conflicts: 1466000 | #Constraints: 47037
2715.55/2722.81 c #Conflicts: 1467000 | #Constraints: 48037
2715.55/2722.81 c INPROCESSING
2715.55/2722.81 c GARBAGE COLLECT
2715.55/2722.81 c #Conflicts: 1468000 | #Constraints: 25034
2715.55/2722.81 c #Conflicts: 1469000 | #Constraints: 26034
2715.55/2722.81 c #Conflicts: 1470000 | #Constraints: 27034
2715.55/2722.81 c #Conflicts: 1471000 | #Constraints: 28034
2715.55/2722.81 c #Conflicts: 1472000 | #Constraints: 29034
2715.55/2722.81 c #Conflicts: 1473000 | #Constraints: 30034
2715.55/2722.81 c #Conflicts: 1474000 | #Constraints: 31034
2715.55/2722.81 c #Conflicts: 1475000 | #Constraints: 32034
2715.55/2722.81 c #Conflicts: 1476000 | #Constraints: 33034
2715.55/2722.81 c #Conflicts: 1477000 | #Constraints: 34034
2715.55/2722.81 c #Conflicts: 1478000 | #Constraints: 35034
2715.55/2722.81 c #Conflicts: 1479000 | #Constraints: 36034
2715.55/2722.81 c #Conflicts: 1480000 | #Constraints: 37034
2715.55/2722.81 c #Conflicts: 1481000 | #Constraints: 38034
2715.55/2722.81 c #Conflicts: 1482000 | #Constraints: 39034
2715.55/2722.81 c #Conflicts: 1483000 | #Constraints: 40034
2715.55/2722.81 c #Conflicts: 1484000 | #Constraints: 41034
2715.55/2722.81 c #Conflicts: 1485000 | #Constraints: 42034
2715.55/2722.81 c #Conflicts: 1486000 | #Constraints: 43034
2715.55/2722.81 c #Conflicts: 1487000 | #Constraints: 44034
2715.55/2722.81 c #Conflicts: 1488000 | #Constraints: 45034
2715.55/2722.81 c #Conflicts: 1489000 | #Constraints: 46034
2715.55/2722.81 c #Conflicts: 1490000 | #Constraints: 47034
2715.55/2722.81 c #Conflicts: 1491000 | #Constraints: 48034
2715.55/2722.81 c INPROCESSING
2715.55/2722.81 c GARBAGE COLLECT
2715.55/2722.81 c #Conflicts: 1492000 | #Constraints: 24831
2715.55/2722.81 c #Conflicts: 1493000 | #Constraints: 25831
2715.55/2722.81 c #Conflicts: 1494000 | #Constraints: 26831
2715.55/2722.81 c #Conflicts: 1495000 | #Constraints: 27831
2715.55/2722.81 c #Conflicts: 1496000 | #Constraints: 28831
2715.55/2722.81 c #Conflicts: 1497000 | #Constraints: 29831
2715.55/2722.81 c #Conflicts: 1498000 | #Constraints: 30831
2715.55/2722.81 c #Conflicts: 1499000 | #Constraints: 31831
2715.55/2722.81 c #Conflicts: 1500000 | #Constraints: 32831
2715.55/2722.81 c #Conflicts: 1501000 | #Constraints: 33831
2715.55/2722.81 c #Conflicts: 1502000 | #Constraints: 34831
2715.55/2722.81 c #Conflicts: 1503000 | #Constraints: 35831
2900.25/2907.91 c #Conflicts: 1504000 | #Constraints: 36831
2900.25/2907.91 c #Conflicts: 1505000 | #Constraints: 37831
2900.25/2907.91 c #Conflicts: 1506000 | #Constraints: 38831
2900.25/2907.91 c #Conflicts: 1507000 | #Constraints: 39831
2900.25/2907.91 c #Conflicts: 1508000 | #Constraints: 40831
2900.25/2907.91 c #Conflicts: 1509000 | #Constraints: 41831
2900.25/2907.91 c #Conflicts: 1510000 | #Constraints: 42831
2900.25/2907.91 c #Conflicts: 1511000 | #Constraints: 43831
2900.25/2907.91 c #Conflicts: 1512000 | #Constraints: 44831
2900.25/2907.91 c #Conflicts: 1513000 | #Constraints: 45831
2900.25/2907.91 c #Conflicts: 1514000 | #Constraints: 46831
2900.25/2907.91 c #Conflicts: 1515000 | #Constraints: 47831
2900.25/2907.91 c #Conflicts: 1516000 | #Constraints: 48831
2900.25/2907.91 c INPROCESSING
2900.25/2907.91 c GARBAGE COLLECT
2900.25/2907.91 c #Conflicts: 1517000 | #Constraints: 25430
2900.25/2907.91 c #Conflicts: 1518000 | #Constraints: 26430
2900.25/2907.91 c #Conflicts: 1519000 | #Constraints: 27430
2900.25/2907.91 c #Conflicts: 1520000 | #Constraints: 28430
2900.25/2907.91 c #Conflicts: 1521000 | #Constraints: 29430
2900.25/2907.91 c #Conflicts: 1522000 | #Constraints: 30430
2900.25/2907.91 c #Conflicts: 1523000 | #Constraints: 31430
2900.25/2907.91 c #Conflicts: 1524000 | #Constraints: 32430
2900.25/2907.91 c #Conflicts: 1525000 | #Constraints: 33430
2900.25/2907.91 c #Conflicts: 1526000 | #Constraints: 34430
2900.25/2907.91 c #Conflicts: 1527000 | #Constraints: 35430
2900.25/2907.91 c #Conflicts: 1528000 | #Constraints: 36430
2900.25/2907.91 c #Conflicts: 1529000 | #Constraints: 37430
2900.25/2907.91 c #Conflicts: 1530000 | #Constraints: 38430
2900.25/2907.91 c #Conflicts: 1531000 | #Constraints: 39430
2900.25/2907.91 c #Conflicts: 1532000 | #Constraints: 40430
2900.25/2907.91 c #Conflicts: 1533000 | #Constraints: 41430
2900.25/2907.91 c #Conflicts: 1534000 | #Constraints: 42430
2900.25/2907.91 c #Conflicts: 1535000 | #Constraints: 43430
2900.25/2907.91 c #Conflicts: 1536000 | #Constraints: 44430
2900.25/2907.91 c #Conflicts: 1537000 | #Constraints: 45430
2900.25/2907.91 c #Conflicts: 1538000 | #Constraints: 46430
2900.25/2907.91 c #Conflicts: 1539000 | #Constraints: 47430
2900.25/2907.91 c #Conflicts: 1540000 | #Constraints: 48430
2900.25/2907.91 c #Conflicts: 1541000 | #Constraints: 49430
2900.25/2907.91 c INPROCESSING
2900.25/2907.91 c GARBAGE COLLECT
2900.25/2907.91 c #Conflicts: 1542000 | #Constraints: 25830
2900.25/2907.91 c #Conflicts: 1543000 | #Constraints: 26830
2900.25/2907.91 c #Conflicts: 1544000 | #Constraints: 27830
2900.25/2907.91 c #Conflicts: 1545000 | #Constraints: 28830
2900.25/2907.91 c #Conflicts: 1546000 | #Constraints: 29830
2900.25/2907.91 c #Conflicts: 1547000 | #Constraints: 30830
2900.25/2907.91 c #Conflicts: 1548000 | #Constraints: 31830
2900.25/2907.91 c #Conflicts: 1549000 | #Constraints: 32830
2900.25/2907.91 c #Conflicts: 1550000 | #Constraints: 33830
2900.25/2907.91 c #Conflicts: 1551000 | #Constraints: 34830
2900.25/2907.91 c #Conflicts: 1552000 | #Constraints: 35830
2900.25/2907.91 c #Conflicts: 1553000 | #Constraints: 36830
2900.25/2907.91 c #Conflicts: 1554000 | #Constraints: 37830
2900.25/2907.91 c #Conflicts: 1555000 | #Constraints: 38830
2900.25/2907.91 c #Conflicts: 1556000 | #Constraints: 39830
2900.25/2907.91 c #Conflicts: 1557000 | #Constraints: 40830
2900.25/2907.91 c #Conflicts: 1558000 | #Constraints: 41830
2900.25/2907.91 c #Conflicts: 1559000 | #Constraints: 42830
2900.25/2907.91 c #Conflicts: 1560000 | #Constraints: 43830
2900.25/2907.91 c #Conflicts: 1561000 | #Constraints: 44830
2900.25/2907.91 c #Conflicts: 1562000 | #Constraints: 45830
2900.25/2907.91 c #Conflicts: 1563000 | #Constraints: 46830
2900.25/2907.91 c #Conflicts: 1564000 | #Constraints: 47830
2900.25/2907.91 c #Conflicts: 1565000 | #Constraints: 48830
2900.25/2907.91 c #Conflicts: 1566000 | #Constraints: 49830
2900.25/2907.91 c INPROCESSING
2900.25/2907.91 c GARBAGE COLLECT
2900.25/2907.91 c #Conflicts: 1567000 | #Constraints: 26027
2900.25/2907.91 c #Conflicts: 1568000 | #Constraints: 27027
2900.25/2907.91 c #Conflicts: 1569000 | #Constraints: 28027
2900.25/2907.91 c #Conflicts: 1570000 | #Constraints: 29027
2900.25/2907.91 c #Conflicts: 1571000 | #Constraints: 30027
2900.25/2907.91 c #Conflicts: 1572000 | #Constraints: 31027
2900.25/2907.91 c #Conflicts: 1573000 | #Constraints: 32027
2900.25/2907.91 c #Conflicts: 1574000 | #Constraints: 33027
2900.25/2907.91 c #Conflicts: 1575000 | #Constraints: 34027
2900.25/2907.91 c #Conflicts: 1576000 | #Constraints: 35027
2900.25/2907.91 c #Conflicts: 1577000 | #Constraints: 36027
2900.25/2907.91 c #Conflicts: 1578000 | #Constraints: 37027
2900.25/2907.91 c #Conflicts: 1579000 | #Constraints: 38027
3094.03/3102.14 c #Conflicts: 1580000 | #Constraints: 39027
3094.03/3102.14 c #Conflicts: 1581000 | #Constraints: 40027
3094.03/3102.14 c #Conflicts: 1582000 | #Constraints: 41027
3094.03/3102.14 c #Conflicts: 1583000 | #Constraints: 42027
3094.03/3102.14 c #Conflicts: 1584000 | #Constraints: 43027
3094.03/3102.14 c #Conflicts: 1585000 | #Constraints: 44027
3094.03/3102.14 c #Conflicts: 1586000 | #Constraints: 45027
3094.03/3102.14 c #Conflicts: 1587000 | #Constraints: 46027
3094.03/3102.14 c #Conflicts: 1588000 | #Constraints: 47027
3094.03/3102.14 c #Conflicts: 1589000 | #Constraints: 48027
3094.03/3102.14 c #Conflicts: 1590000 | #Constraints: 49027
3094.03/3102.14 c #Conflicts: 1591000 | #Constraints: 50027
3094.03/3102.14 c INPROCESSING
3094.03/3102.14 c GARBAGE COLLECT
3094.03/3102.14 c #Conflicts: 1592000 | #Constraints: 26031
3094.03/3102.14 c #Conflicts: 1593000 | #Constraints: 27031
3094.03/3102.14 c #Conflicts: 1594000 | #Constraints: 28031
3094.03/3102.14 c #Conflicts: 1595000 | #Constraints: 29031
3094.03/3102.14 c #Conflicts: 1596000 | #Constraints: 30031
3094.03/3102.14 c #Conflicts: 1597000 | #Constraints: 31031
3094.03/3102.14 c #Conflicts: 1598000 | #Constraints: 32031
3094.03/3102.14 c #Conflicts: 1599000 | #Constraints: 33031
3094.03/3102.14 c #Conflicts: 1600000 | #Constraints: 34031
3094.03/3102.14 c #Conflicts: 1601000 | #Constraints: 35031
3094.03/3102.14 c #Conflicts: 1602000 | #Constraints: 36031
3094.03/3102.14 c #Conflicts: 1603000 | #Constraints: 37031
3094.03/3102.14 c #Conflicts: 1604000 | #Constraints: 38031
3094.03/3102.14 c #Conflicts: 1605000 | #Constraints: 39031
3094.03/3102.14 c #Conflicts: 1606000 | #Constraints: 40031
3094.03/3102.14 c #Conflicts: 1607000 | #Constraints: 41031
3094.03/3102.14 c #Conflicts: 1608000 | #Constraints: 42031
3094.03/3102.14 c #Conflicts: 1609000 | #Constraints: 43031
3094.03/3102.14 c #Conflicts: 1610000 | #Constraints: 44031
3094.03/3102.14 c #Conflicts: 1611000 | #Constraints: 45031
3094.03/3102.14 c #Conflicts: 1612000 | #Constraints: 46031
3094.03/3102.14 c #Conflicts: 1613000 | #Constraints: 47031
3094.03/3102.14 c #Conflicts: 1614000 | #Constraints: 48031
3094.03/3102.14 c #Conflicts: 1615000 | #Constraints: 49031
3094.03/3102.14 c #Conflicts: 1616000 | #Constraints: 50031
3094.03/3102.14 c INPROCESSING
3094.03/3102.14 c GARBAGE COLLECT
3094.03/3102.14 c #Conflicts: 1617000 | #Constraints: 25830
3094.03/3102.14 c #Conflicts: 1618000 | #Constraints: 26830
3094.03/3102.14 c #Conflicts: 1619000 | #Constraints: 27830
3094.03/3102.14 c #Conflicts: 1620000 | #Constraints: 28830
3094.03/3102.14 c #Conflicts: 1621000 | #Constraints: 29830
3094.03/3102.14 c #Conflicts: 1622000 | #Constraints: 30830
3094.03/3102.14 c #Conflicts: 1623000 | #Constraints: 31830
3094.03/3102.14 c #Conflicts: 1624000 | #Constraints: 32830
3094.03/3102.14 c #Conflicts: 1625000 | #Constraints: 33830
3094.03/3102.14 c #Conflicts: 1626000 | #Constraints: 34830
3094.03/3102.14 c #Conflicts: 1627000 | #Constraints: 35830
3094.03/3102.14 c #Conflicts: 1628000 | #Constraints: 36830
3094.03/3102.14 c #Conflicts: 1629000 | #Constraints: 37830
3094.03/3102.14 c #Conflicts: 1630000 | #Constraints: 38830
3094.03/3102.14 c #Conflicts: 1631000 | #Constraints: 39830
3094.03/3102.14 c #Conflicts: 1632000 | #Constraints: 40830
3094.03/3102.14 c #Conflicts: 1633000 | #Constraints: 41830
3094.03/3102.14 c #Conflicts: 1634000 | #Constraints: 42830
3094.03/3102.14 c #Conflicts: 1635000 | #Constraints: 43830
3094.03/3102.14 c #Conflicts: 1636000 | #Constraints: 44830
3094.03/3102.14 c #Conflicts: 1637000 | #Constraints: 45830
3094.03/3102.14 c #Conflicts: 1638000 | #Constraints: 46830
3094.03/3102.14 c #Conflicts: 1639000 | #Constraints: 47830
3094.03/3102.14 c #Conflicts: 1640000 | #Constraints: 48830
3094.03/3102.14 c #Conflicts: 1641000 | #Constraints: 49830
3094.03/3102.14 c #Conflicts: 1642000 | #Constraints: 50830
3094.03/3102.14 c INPROCESSING
3094.03/3102.14 c GARBAGE COLLECT
3094.03/3102.14 c #Conflicts: 1643000 | #Constraints: 26432
3094.03/3102.14 c #Conflicts: 1644000 | #Constraints: 27432
3094.03/3102.14 c #Conflicts: 1645000 | #Constraints: 28432
3094.03/3102.14 c #Conflicts: 1646000 | #Constraints: 29432
3094.03/3102.14 c #Conflicts: 1647000 | #Constraints: 30432
3094.03/3102.14 c #Conflicts: 1648000 | #Constraints: 31432
3094.03/3102.14 c #Conflicts: 1649000 | #Constraints: 32432
3094.03/3102.14 c #Conflicts: 1650000 | #Constraints: 33432
3094.03/3102.14 c #Conflicts: 1651000 | #Constraints: 34432
3094.03/3102.14 c #Conflicts: 1652000 | #Constraints: 35432
3094.03/3102.14 c #Conflicts: 1653000 | #Constraints: 36432
3094.03/3102.14 c #Conflicts: 1654000 | #Constraints: 37432
3094.03/3102.14 c #Conflicts: 1655000 | #Constraints: 38432
3094.03/3102.14 c #Conflicts: 1656000 | #Constraints: 39432
3293.30/3301.85 c #Conflicts: 1657000 | #Constraints: 40432
3293.30/3301.85 c #Conflicts: 1658000 | #Constraints: 41432
3293.30/3301.85 c #Conflicts: 1659000 | #Constraints: 42432
3293.30/3301.85 c #Conflicts: 1660000 | #Constraints: 43432
3293.30/3301.85 c #Conflicts: 1661000 | #Constraints: 44432
3293.30/3301.85 c #Conflicts: 1662000 | #Constraints: 45432
3293.30/3301.85 c #Conflicts: 1663000 | #Constraints: 46432
3293.30/3301.85 c #Conflicts: 1664000 | #Constraints: 47432
3293.30/3301.85 c #Conflicts: 1665000 | #Constraints: 48432
3293.30/3301.85 c #Conflicts: 1666000 | #Constraints: 49432
3293.30/3301.85 c #Conflicts: 1667000 | #Constraints: 50432
3293.30/3301.85 c #Conflicts: 1668000 | #Constraints: 51432
3293.30/3301.85 c INPROCESSING
3293.30/3301.85 c GARBAGE COLLECT
3293.30/3301.85 c #Conflicts: 1669000 | #Constraints: 26830
3293.30/3301.85 c #Conflicts: 1670000 | #Constraints: 27830
3293.30/3301.85 c #Conflicts: 1671000 | #Constraints: 28830
3293.30/3301.85 c #Conflicts: 1672000 | #Constraints: 29830
3293.30/3301.85 c #Conflicts: 1673000 | #Constraints: 30830
3293.30/3301.85 c #Conflicts: 1674000 | #Constraints: 31830
3293.30/3301.85 c #Conflicts: 1675000 | #Constraints: 32830
3293.30/3301.85 c #Conflicts: 1676000 | #Constraints: 33830
3293.30/3301.85 c #Conflicts: 1677000 | #Constraints: 34830
3293.30/3301.85 c #Conflicts: 1678000 | #Constraints: 35830
3293.30/3301.85 c #Conflicts: 1679000 | #Constraints: 36830
3293.30/3301.85 c #Conflicts: 1680000 | #Constraints: 37830
3293.30/3301.85 c #Conflicts: 1681000 | #Constraints: 38830
3293.30/3301.85 c #Conflicts: 1682000 | #Constraints: 39830
3293.30/3301.85 c #Conflicts: 1683000 | #Constraints: 40830
3293.30/3301.85 c #Conflicts: 1684000 | #Constraints: 41830
3293.30/3301.85 c #Conflicts: 1685000 | #Constraints: 42830
3293.30/3301.85 c #Conflicts: 1686000 | #Constraints: 43830
3293.30/3301.85 c #Conflicts: 1687000 | #Constraints: 44830
3293.30/3301.85 c #Conflicts: 1688000 | #Constraints: 45830
3293.30/3301.85 c #Conflicts: 1689000 | #Constraints: 46830
3293.30/3301.85 c #Conflicts: 1690000 | #Constraints: 47830
3293.30/3301.85 c #Conflicts: 1691000 | #Constraints: 48830
3293.30/3301.85 c #Conflicts: 1692000 | #Constraints: 49830
3293.30/3301.85 c #Conflicts: 1693000 | #Constraints: 50830
3293.30/3301.85 c #Conflicts: 1694000 | #Constraints: 51830
3293.30/3301.85 c INPROCESSING
3293.30/3301.85 c GARBAGE COLLECT
3293.30/3301.85 c #Conflicts: 1695000 | #Constraints: 27033
3293.30/3301.85 c #Conflicts: 1696000 | #Constraints: 28033
3293.30/3301.85 c #Conflicts: 1697000 | #Constraints: 29033
3293.30/3301.85 c #Conflicts: 1698000 | #Constraints: 30033
3293.30/3301.85 c #Conflicts: 1699000 | #Constraints: 31033
3293.30/3301.85 c #Conflicts: 1700000 | #Constraints: 32033
3293.30/3301.85 c #Conflicts: 1701000 | #Constraints: 33033
3293.30/3301.85 c #Conflicts: 1702000 | #Constraints: 34033
3293.30/3301.85 c #Conflicts: 1703000 | #Constraints: 35033
3293.30/3301.85 c #Conflicts: 1704000 | #Constraints: 36033
3293.30/3301.85 c #Conflicts: 1705000 | #Constraints: 37033
3293.30/3301.85 c #Conflicts: 1706000 | #Constraints: 38033
3293.30/3301.85 c #Conflicts: 1707000 | #Constraints: 39033
3293.30/3301.85 c #Conflicts: 1708000 | #Constraints: 40033
3293.30/3301.85 c #Conflicts: 1709000 | #Constraints: 41033
3293.30/3301.85 c #Conflicts: 1710000 | #Constraints: 42033
3293.30/3301.85 c #Conflicts: 1711000 | #Constraints: 43033
3293.30/3301.85 c #Conflicts: 1712000 | #Constraints: 44033
3293.30/3301.85 c #Conflicts: 1713000 | #Constraints: 45033
3293.30/3301.85 c #Conflicts: 1714000 | #Constraints: 46033
3293.30/3301.85 c #Conflicts: 1715000 | #Constraints: 47033
3293.30/3301.85 c #Conflicts: 1716000 | #Constraints: 48033
3293.30/3301.85 c #Conflicts: 1717000 | #Constraints: 49033
3293.30/3301.85 c #Conflicts: 1718000 | #Constraints: 50033
3293.30/3301.85 c #Conflicts: 1719000 | #Constraints: 51033
3293.30/3301.85 c #Conflicts: 1720000 | #Constraints: 52033
3293.30/3301.85 c INPROCESSING
3293.30/3301.85 c GARBAGE COLLECT
3293.30/3301.85 c #Conflicts: 1721000 | #Constraints: 27038
3293.30/3301.85 c #Conflicts: 1722000 | #Constraints: 28038
3293.30/3301.85 c #Conflicts: 1723000 | #Constraints: 29038
3293.30/3301.85 c #Conflicts: 1724000 | #Constraints: 30038
3293.30/3301.85 c #Conflicts: 1725000 | #Constraints: 31038
3293.30/3301.85 c #Conflicts: 1726000 | #Constraints: 32038
3293.30/3301.85 c #Conflicts: 1727000 | #Constraints: 33038
3293.30/3301.85 c #Conflicts: 1728000 | #Constraints: 34038
3293.30/3301.85 c #Conflicts: 1729000 | #Constraints: 35038
3293.30/3301.85 c #Conflicts: 1730000 | #Constraints: 36038
3293.30/3301.85 c #Conflicts: 1731000 | #Constraints: 37038
3293.30/3301.85 c #Conflicts: 1732000 | #Constraints: 38038
3293.30/3301.85 c #Conflicts: 1733000 | #Constraints: 39038
3496.76/3505.73 c #Conflicts: 1734000 | #Constraints: 40038
3496.76/3505.73 c #Conflicts: 1735000 | #Constraints: 41038
3496.76/3505.73 c #Conflicts: 1736000 | #Constraints: 42038
3496.76/3505.73 c #Conflicts: 1737000 | #Constraints: 43038
3496.76/3505.73 c #Conflicts: 1738000 | #Constraints: 44038
3496.76/3505.73 c #Conflicts: 1739000 | #Constraints: 45038
3496.76/3505.73 c #Conflicts: 1740000 | #Constraints: 46038
3496.76/3505.73 c #Conflicts: 1741000 | #Constraints: 47038
3496.76/3505.73 c #Conflicts: 1742000 | #Constraints: 48038
3496.76/3505.73 c #Conflicts: 1743000 | #Constraints: 49038
3496.76/3505.73 c #Conflicts: 1744000 | #Constraints: 50038
3496.76/3505.73 c #Conflicts: 1745000 | #Constraints: 51038
3496.76/3505.73 c #Conflicts: 1746000 | #Constraints: 52038
3496.76/3505.73 c INPROCESSING
3496.76/3505.73 c GARBAGE COLLECT
3496.76/3505.73 c #Conflicts: 1747000 | #Constraints: 26831
3496.76/3505.73 c #Conflicts: 1748000 | #Constraints: 27831
3496.76/3505.73 c #Conflicts: 1749000 | #Constraints: 28831
3496.76/3505.73 c #Conflicts: 1750000 | #Constraints: 29831
3496.76/3505.73 c #Conflicts: 1751000 | #Constraints: 30831
3496.76/3505.73 c #Conflicts: 1752000 | #Constraints: 31831
3496.76/3505.73 c #Conflicts: 1753000 | #Constraints: 32831
3496.76/3505.73 c #Conflicts: 1754000 | #Constraints: 33831
3496.76/3505.73 c #Conflicts: 1755000 | #Constraints: 34831
3496.76/3505.73 c #Conflicts: 1756000 | #Constraints: 35831
3496.76/3505.73 c #Conflicts: 1757000 | #Constraints: 36831
3496.76/3505.73 c #Conflicts: 1758000 | #Constraints: 37831
3496.76/3505.73 c #Conflicts: 1759000 | #Constraints: 38831
3496.76/3505.73 c #Conflicts: 1760000 | #Constraints: 39831
3496.76/3505.73 c #Conflicts: 1761000 | #Constraints: 40831
3496.76/3505.73 c #Conflicts: 1762000 | #Constraints: 41831
3496.76/3505.73 c #Conflicts: 1763000 | #Constraints: 42831
3496.76/3505.73 c #Conflicts: 1764000 | #Constraints: 43831
3496.76/3505.73 c #Conflicts: 1765000 | #Constraints: 44831
3496.76/3505.73 c #Conflicts: 1766000 | #Constraints: 45831
3496.76/3505.73 c #Conflicts: 1767000 | #Constraints: 46831
3496.76/3505.73 c #Conflicts: 1768000 | #Constraints: 47831
3496.76/3505.73 c #Conflicts: 1769000 | #Constraints: 48831
3496.76/3505.73 c #Conflicts: 1770000 | #Constraints: 49831
3496.76/3505.73 c #Conflicts: 1771000 | #Constraints: 50831
3496.76/3505.73 c #Conflicts: 1772000 | #Constraints: 51831
3496.76/3505.73 c #Conflicts: 1773000 | #Constraints: 52831
3496.76/3505.73 c INPROCESSING
3496.76/3505.73 c GARBAGE COLLECT
3496.76/3505.73 c #Conflicts: 1774000 | #Constraints: 27432
3496.76/3505.73 c #Conflicts: 1775000 | #Constraints: 28432
3496.76/3505.73 c #Conflicts: 1776000 | #Constraints: 29432
3496.76/3505.73 c #Conflicts: 1777000 | #Constraints: 30432
3496.76/3505.73 c #Conflicts: 1778000 | #Constraints: 31432
3496.76/3505.73 c #Conflicts: 1779000 | #Constraints: 32432
3496.76/3505.73 c #Conflicts: 1780000 | #Constraints: 33432
3496.76/3505.73 c #Conflicts: 1781000 | #Constraints: 34432
3496.76/3505.73 c #Conflicts: 1782000 | #Constraints: 35432
3496.76/3505.73 c #Conflicts: 1783000 | #Constraints: 36432
3496.76/3505.73 c #Conflicts: 1784000 | #Constraints: 37432
3496.76/3505.73 c #Conflicts: 1785000 | #Constraints: 38432
3496.76/3505.73 c #Conflicts: 1786000 | #Constraints: 39432
3496.76/3505.73 c #Conflicts: 1787000 | #Constraints: 40432
3496.76/3505.73 c #Conflicts: 1788000 | #Constraints: 41432
3496.76/3505.73 c #Conflicts: 1789000 | #Constraints: 42432
3496.76/3505.73 c #Conflicts: 1790000 | #Constraints: 43432
3496.76/3505.73 c #Conflicts: 1791000 | #Constraints: 44432
3496.76/3505.73 c #Conflicts: 1792000 | #Constraints: 45432
3496.76/3505.73 c #Conflicts: 1793000 | #Constraints: 46432
3496.76/3505.73 c #Conflicts: 1794000 | #Constraints: 47432
3496.76/3505.73 c #Conflicts: 1795000 | #Constraints: 48432
3496.76/3505.73 c #Conflicts: 1796000 | #Constraints: 49432
3496.76/3505.73 c #Conflicts: 1797000 | #Constraints: 50432
3496.76/3505.73 c #Conflicts: 1798000 | #Constraints: 51432
3496.76/3505.73 c #Conflicts: 1799000 | #Constraints: 52432
3496.76/3505.73 c #Conflicts: 1800000 | #Constraints: 53432
3496.76/3505.73 c INPROCESSING
3496.76/3505.73 c GARBAGE COLLECT
3496.76/3505.73 c #Conflicts: 1801000 | #Constraints: 27828
3496.76/3505.73 c #Conflicts: 1802000 | #Constraints: 28828
3496.76/3505.73 c #Conflicts: 1803000 | #Constraints: 29828
3496.76/3505.73 c #Conflicts: 1804000 | #Constraints: 30828
3496.76/3505.73 c #Conflicts: 1805000 | #Constraints: 31828
3496.76/3505.73 c #Conflicts: 1806000 | #Constraints: 32828
3496.76/3505.73 c #Conflicts: 1807000 | #Constraints: 33828
3496.76/3505.73 c #Conflicts: 1808000 | #Constraints: 34828
3496.76/3505.73 c #Conflicts: 1809000 | #Constraints: 35828
3496.76/3505.73 c #Conflicts: 1810000 | #Constraints: 36828
3600.04/3609.20 c #Conflicts: 1811000 | #Constraints: 37828
3600.04/3609.20 c #Conflicts: 1812000 | #Constraints: 38828
3600.04/3609.20 c #Conflicts: 1813000 | #Constraints: 39828
3600.04/3609.20 c #Conflicts: 1814000 | #Constraints: 40828
3600.04/3609.20 c #Conflicts: 1815000 | #Constraints: 41828
3600.04/3609.20 c #Conflicts: 1816000 | #Constraints: 42828
3600.04/3609.20 c #Conflicts: 1817000 | #Constraints: 43828
3600.04/3609.20 c #Conflicts: 1818000 | #Constraints: 44828
3600.04/3609.20 c #Conflicts: 1819000 | #Constraints: 45828
3600.04/3609.20 c #Conflicts: 1820000 | #Constraints: 46828
3600.04/3609.20 c #Conflicts: 1821000 | #Constraints: 47828
3600.04/3609.20 c #Conflicts: 1822000 | #Constraints: 48828
3600.04/3609.20 c #Conflicts: 1823000 | #Constraints: 49828
3600.04/3609.20 c #Conflicts: 1824000 | #Constraints: 50828
3600.04/3609.20 c #Conflicts: 1825000 | #Constraints: 51828
3600.04/3609.20 c #Conflicts: 1826000 | #Constraints: 52828
3600.04/3609.20 c #Conflicts: 1827000 | #Constraints: 53828
3600.04/3609.20 c INPROCESSING
3600.04/3609.20 c GARBAGE COLLECT
3600.04/3609.20 c #Conflicts: 1828000 | #Constraints: 28030
3600.04/3609.20 c #Conflicts: 1829000 | #Constraints: 29030
3600.04/3609.20 c #Conflicts: 1830000 | #Constraints: 30030
3600.04/3609.20 c #Conflicts: 1831000 | #Constraints: 31030
3600.04/3609.20 c #Conflicts: 1832000 | #Constraints: 32030
3600.04/3609.20 c #Conflicts: 1833000 | #Constraints: 33030
3600.04/3609.20 c #Conflicts: 1834000 | #Constraints: 34030
3600.04/3609.20 c #Conflicts: 1835000 | #Constraints: 35030
3600.04/3609.20 c #Conflicts: 1836000 | #Constraints: 36030
3600.04/3609.20 c #Conflicts: 1837000 | #Constraints: 37030
3600.04/3609.20 c #Conflicts: 1838000 | #Constraints: 38030
3600.04/3609.20 c #Conflicts: 1839000 | #Constraints: 39030
3600.04/3609.20 c #Conflicts: 1840000 | #Constraints: 40030
3600.04/3609.20 c #Conflicts: 1841000 | #Constraints: 41030
3600.04/3609.20 c #Conflicts: 1842000 | #Constraints: 42030
3600.04/3609.20 c #Conflicts: 1843000 | #Constraints: 43030
3600.04/3609.20 c #Conflicts: 1844000 | #Constraints: 44030
3600.04/3609.20 c #Conflicts: 1845000 | #Constraints: 45030
3600.04/3609.20 c #Conflicts: 1846000 | #Constraints: 46030
3600.04/3609.20 c #Conflicts: 1847000 | #Constraints: 47030
3600.04/3609.20 c Program interrupted by user.
3600.04/3609.20 c cpu time 3588.88 s
3600.04/3609.20 c deterministic time 424952987692 4.25e+11
3600.04/3609.20 c optimization time 53.4772 s
3600.04/3609.20 c total solve time 3535.4 s
3600.04/3609.20 c core-guided solve time 3535.4 s
3600.04/3609.20 c propagation time 3014.15 s
3600.04/3609.20 c conflict analysis time 551.512 s
3600.04/3609.20 c propagations 90617547
3600.04/3609.20 c resolve steps 22086973
3600.04/3609.20 c decisions 3528098
3600.04/3609.20 c conflicts 1847743
3600.04/3609.20 c restarts 3580
3600.04/3609.20 c inprocessing phases 126
3600.04/3609.20 c input clauses 39
3600.04/3609.20 c input cardinalities 149
3600.04/3609.20 c input general constraints 19
3600.04/3609.20 c input average constraint length 16.74
3600.04/3609.20 c input average constraint degree 6.84
3600.04/3609.20 c learned clauses 678813
3600.04/3609.20 c learned cardinalities 269
3600.04/3609.20 c learned general constraints 1168662
3600.04/3609.20 c learned average constraint length 71.18
3600.04/3609.20 c learned average constraint degree 216415.10
3600.04/3609.20 c watched constraints 1047350
3600.04/3609.20 c counting constraints 121331
3600.04/3609.20 c gcd simplifications 45565
3600.04/3609.20 c detected cardinalities 2
3600.04/3609.20 c weakened non-implied lits 54477948
3600.04/3609.20 c weakened non-implying lits 108910
3600.04/3609.20 c original variables 144
3600.04/3609.20 c clausal propagations 2540541
3600.04/3609.20 c cardinality propagations 14475345
3600.04/3609.20 c watched propagations 3866546
3600.04/3609.20 c counting propagations 68438469
3600.04/3609.20 c watch lookups 81627288934
3600.04/3609.20 c watch backjump lookups 73712376623
3600.04/3609.20 c watch checks 162163116291
3600.04/3609.20 c propagation checks 106040402229
3600.04/3609.20 c constraint additions 1219664747
3600.04/3609.20 c trail pops 95993222
3600.04/3609.20 c formula constraints 134
3600.04/3609.20 c learned constraints 1847744
3600.04/3609.20 c bound constraints 14
3600.04/3609.20 c core-guided constraints 59
3600.04/3609.20 c encountered formula constraints 4625122
3600.04/3609.20 c encountered learned constraints 18941947
3600.04/3609.20 c encountered bound constraints 5078
3600.04/3609.20 c encountered core-guided constraints 362569
3600.04/3609.20 c LP total time 0 s
3600.04/3609.20 c LP solve time 0 s
3600.04/3609.20 c LP constraints added 0
3600.04/3609.20 c LP constraints removed 0
3600.04/3609.20 c LP pivots internal 0
3600.04/3609.20 c LP pivots root 0
3600.04/3609.20 c LP calls 0
3600.04/3609.20 c LP optimalities 0
3600.04/3609.20 c LP no pivot count 0
3600.04/3609.20 c LP infeasibilities 0
3600.04/3609.20 c LP valid Farkas constraints 0
3600.04/3609.20 c LP learned Farkas constraints 0
3600.04/3609.20 c LP basis resets 0
3600.04/3609.20 c LP cycling count 0
3600.04/3609.20 c LP singular count 0
3600.04/3609.20 c LP no primal count 0
3600.04/3609.20 c LP no farkas count 0
3600.04/3609.20 c LP other issue count 0
3600.04/3609.20 c LP Gomory cuts 0
3600.04/3609.20 c LP learned cuts 0
3600.04/3609.20 c LP deleted cuts 0
3600.04/3609.20 c LP encountered Gomory constraints 0
3600.04/3609.20 c LP encountered Farkas constraints 0
3600.04/3609.20 c LP encountered learned Farkas constraints 0
3600.04/3609.20 c CG auxiliary variables introduced 30
3600.04/3609.20 c CG solutions found 1
3600.04/3609.20 c CG cores constructed 13
3600.04/3609.20 c CG core cardinality constraints returned 9
3600.04/3609.20 c CG unit cores 0
3600.04/3609.20 c CG single cores 12
3600.04/3609.20 c CG blocks removed during cardinality reduction 0
3600.04/3609.20 c CG first core best 0
3600.04/3609.20 c CG decision core best 0
3600.04/3609.20 c CG core reduction tie 1
3600.04/3609.20 c CG core degree average 2.77
3600.04/3609.20 c CG core slack average 6.08
3600.04/3609.20 c CG exhausted 0
3600.04/3609.20 c CG exhaust time 0.893968 s
3600.04/3609.20 c CG trimmed 24
3600.04/3609.20 c CG trim time 0.000303 s
3600.04/3609.20 c CG minimized 0
3600.04/3609.20 c CG minimize time 0 s
3600.04/3609.20 c CG am1 prop time 0.00038 s
3600.04/3609.20 c CG # am1s reformulated 10
3600.04/3609.20 c CG lower bound derived from am1s 23
3600.04/3609.20 c CG # clausal cores 5
3600.04/3609.20 c CG # cardinality cores 9
3600.04/3609.20 c CG # pb cores 0
3600.04/3609.20 c CG # pb reforms 0
3600.04/3609.20 c CG # cores discarded because of pb reform 0
3600.04/3609.20 d LOWERBOUND 66
3600.04/3609.20 d NCORES 13
3600.04/3609.20 d NPBCORES 0
3600.04/3609.20 d NPBREFORM 0
3600.04/3609.20 d NTRIMMED 24
3600.04/3609.20 d NEXHAUSTED 0
3600.04/3609.20 d NAM1S 10
3600.04/3609.20 d AM1LB 23
3600.04/3609.20 o 70
3600.04/3609.20 s SATISFIABLE
3600.04/3609.20 v x1 -x2 x3 -x4 x5 x6 -x7 x8 x9 -x10 x11 -x12 x13 x14 -x15 x16 x17 x18 -x19 x20 -x21 -x22 x23 x24 x25 x26 -x27 x28 -x29 x30 x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 x45 x46 x47 x48 -x49 x50 x51 x52 -x53 -x54 -x55 -x56 x57 -x58 x59 x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 x68 -x69 -x70 -x71 x72 x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 x90 x91 x92 x93 -x94 -x95 -x96 x97 -x98 -x99 x100 -x101 x102 x103 x104 -x105 -x106 x107 x108 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 x121 -x122 x123 x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 x133 -x134 x135 x136 x137 x138 x139 x140 -x141 x142 x143 -x144
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59528 MiB free)
memory of node 1: 64473 MiB (57391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454570-1721477778/watcher-4454570-1721477778 -o /tmp/evaluation-result-4454570-1721477778/solver-4454570-1721477778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721473216-1106446 --watchdog 3760 pb-oll-rs HOME/instance-4454570-1721477778.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1109245, runsolver pid=1109242
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.09 4.12 4.09 5/256 1109246
/proc/meminfo: memFree=119719396/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=39188 memory=6648 CPUtime=0.1 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 509 0 0 0 10 0 0 0 20 0 1 0 199945897 40128512 1662 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 9797 1662 1321 291 0 1331 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 6648 KiB
[startup+0.205965 s]*
/proc/loadavg: 4.09 4.12 4.09 5/256 1109246
/proc/meminfo: memFree=119718892/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=39468 memory=7140 CPUtime=0.2 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 590 0 0 0 20 0 0 0 20 0 1 0 199945897 40415232 1785 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 9867 1785 1382 291 0 1401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39468 KiB
Current children cumulated memory: 7140 KiB
[startup+0.305715 s]*
/proc/loadavg: 4.09 4.12 4.09 5/256 1109246
/proc/meminfo: memFree=119718416/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=39708 memory=7800 CPUtime=0.3 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 727 0 0 0 30 0 0 0 20 0 1 0 199945897 40660992 1950 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 9927 1950 1382 291 0 1461 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 7800 KiB
[startup+0.70021 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 1109246
/proc/meminfo: memFree=119715360/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=39960 memory=8352 CPUtime=0.69 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 865 0 0 0 68 1 0 0 20 0 1 0 199945897 40919040 2088 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 9990 2088 1382 291 0 1524 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39960 KiB
Current children cumulated memory: 8352 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 1109246
/proc/meminfo: memFree=119710960/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=40496 memory=11040 CPUtime=1.48 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 1026 0 0 0 145 3 0 0 20 0 1 0 199945897 41467904 2760 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 10124 2760 1382 291 0 1658 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 11040 KiB
[startup+3.10579 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 1109247
/proc/meminfo: memFree=119666852/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=40976 memory=11516 CPUtime=3.08 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 1154 0 0 0 303 5 0 0 20 0 1 0 199945897 41959424 2879 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 10244 2879 1382 291 0 1778 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40976 KiB
Current children cumulated memory: 11516 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 1109247
/proc/meminfo: memFree=119597452/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=41600 memory=12168 CPUtime=6.28 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 1310 0 0 0 618 10 0 0 20 0 1 0 199945897 42598400 3042 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 10400 3042 1382 291 0 1934 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 12168 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 1109247
/proc/meminfo: memFree=119498112/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=42760 memory=13596 CPUtime=12.66 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 1670 0 0 0 1249 17 0 0 20 0 1 0 199945897 43786240 3399 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 10690 3399 1382 291 0 2224 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42760 KiB
Current children cumulated memory: 13596 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 1109250
/proc/meminfo: memFree=119391060/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=46344 memory=15312 CPUtime=25.43 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 2135 0 0 0 2516 27 0 0 20 0 1 0 199945897 47456256 3828 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 11586 3828 1382 291 0 3120 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 46344 KiB
Current children cumulated memory: 15312 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.13 4.09 5/254 1109253
/proc/meminfo: memFree=119278640/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=47464 memory=17644 CPUtime=50.98 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 2795 0 0 0 5049 49 0 0 20 0 1 0 199945897 48603136 4411 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 11866 4411 1382 291 0 3400 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 47464 KiB
Current children cumulated memory: 17644 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1109264
/proc/meminfo: memFree=119055160/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=53836 memory=23320 CPUtime=102.04 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 3770 0 0 0 10120 84 0 0 20 0 1 0 199945897 55128064 5830 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 13459 5830 1382 291 0 4993 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 53836 KiB
Current children cumulated memory: 23320 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 1109274
/proc/meminfo: memFree=118982868/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=55280 memory=24520 CPUtime=161.9 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 4154 0 0 0 16069 121 0 0 20 0 1 0 199945897 56606720 6130 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 13820 6130 1382 291 0 5354 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 55280 KiB
Current children cumulated memory: 24520 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1109289
/proc/meminfo: memFree=118979520/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=56288 memory=25976 CPUtime=221.74 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 4665 0 0 0 22017 157 0 0 20 0 1 0 199945897 57638912 6494 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 14072 6494 1382 291 0 5606 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 56288 KiB
Current children cumulated memory: 25976 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1109300
/proc/meminfo: memFree=118976460/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=57152 memory=27584 CPUtime=281.59 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 5212 0 0 0 27969 190 0 0 20 0 1 0 199945897 58523648 6896 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 14288 6896 1382 291 0 5822 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 57152 KiB
Current children cumulated memory: 27584 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1109310
/proc/meminfo: memFree=118732468/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=65232 memory=31428 CPUtime=341.43 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 5778 0 0 0 33922 221 0 0 20 0 1 0 199945897 66797568 7857 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 16308 7857 1382 291 0 7842 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 65232 KiB
Current children cumulated memory: 31428 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 1109321
/proc/meminfo: memFree=118729708/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=65964 memory=32044 CPUtime=401.27 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 6037 0 0 0 39875 252 0 0 20 0 1 0 199945897 67547136 8011 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 16491 8011 1382 291 0 8025 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 65964 KiB
Current children cumulated memory: 32044 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1109333
/proc/meminfo: memFree=118727812/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=66604 memory=32612 CPUtime=461.12 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 6288 0 0 0 45830 282 0 0 20 0 1 0 199945897 68202496 8153 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 16651 8153 1382 291 0 8185 0
################
# More data... #
################
Current children cumulated memory: 56632 KiB
[startup+2862.3 s]
/proc/loadavg: 2.19 3.11 3.70 3/243 1111015
/proc/meminfo: memFree=126904144/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=90216 memory=56632 CPUtime=2854.74 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 12116 0 0 0 284493 981 0 0 20 0 1 0 199945897 92381184 14158 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22554 14158 1382 291 0 14088 0
Current children cumulated CPU time: 2854.74 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 56632 KiB
[startup+2922.3 s]
/proc/loadavg: 2.11 2.92 3.60 3/243 1111025
/proc/meminfo: memFree=126902620/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=90988 memory=57288 CPUtime=2914.61 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 12305 0 0 0 290469 992 0 0 20 0 1 0 199945897 93171712 14322 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22747 14322 1382 291 0 14281 0
Current children cumulated CPU time: 2914.61 s
Current children cumulated vsize: 90988 KiB
Current children cumulated memory: 57288 KiB
[startup+2982.3 s]
/proc/loadavg: 2.14 2.78 3.50 3/241 1111035
/proc/meminfo: memFree=126901608/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=91500 memory=57724 CPUtime=2974.48 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 12462 0 0 0 296446 1002 0 0 20 0 1 0 199945897 93696000 14431 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22875 14431 1382 291 0 14409 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 91500 KiB
Current children cumulated memory: 57724 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.65 3.41 3/241 1111046
/proc/meminfo: memFree=126900348/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=91816 memory=58156 CPUtime=3034.35 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 12564 0 0 0 302423 1012 0 0 20 0 1 0 199945897 94019584 14539 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22954 14539 1382 291 0 14488 0
Current children cumulated CPU time: 3034.35 s
Current children cumulated vsize: 91816 KiB
Current children cumulated memory: 58156 KiB
[startup+3102.3 s]
/proc/loadavg: 2.15 2.56 3.33 3/241 1111058
/proc/meminfo: memFree=126899932/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=91488 memory=57968 CPUtime=3094.23 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 12680 0 0 0 308399 1024 0 0 20 0 1 0 199945897 93683712 14492 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22872 14492 1382 291 0 14406 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 91488 KiB
Current children cumulated memory: 57968 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.47 3.25 3/242 1111069
/proc/meminfo: memFree=126899160/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=91488 memory=57972 CPUtime=3154.1 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 12845 0 0 0 314377 1033 0 0 20 0 1 0 199945897 93683712 14493 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22872 14493 1382 291 0 14406 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 91488 KiB
Current children cumulated memory: 57972 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.40 3.17 3/244 1111083
/proc/meminfo: memFree=126896440/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=91744 memory=60152 CPUtime=3213.97 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13042 0 0 0 320353 1044 0 0 20 0 1 0 199945897 93945856 15038 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22936 15038 1382 291 0 14470 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 91744 KiB
Current children cumulated memory: 60152 KiB
[startup+3282.3 s]
/proc/loadavg: 2.14 2.35 3.11 3/244 1111094
/proc/meminfo: memFree=126895712/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=91744 memory=60156 CPUtime=3273.84 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13208 0 0 0 326330 1054 0 0 20 0 1 0 199945897 93945856 15039 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 22936 15039 1382 291 0 14470 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 91744 KiB
Current children cumulated memory: 60156 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.30 3.04 3/244 1111105
/proc/meminfo: memFree=126894824/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=92000 memory=60156 CPUtime=3333.71 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13240 0 0 0 332303 1068 0 0 20 0 1 0 199945897 94208000 15039 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 23000 15039 1382 291 0 14534 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 60156 KiB
[startup+3402.3 s]
/proc/loadavg: 2.15 2.28 2.99 3/244 1111115
/proc/meminfo: memFree=126893572/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=92000 memory=60656 CPUtime=3393.59 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13439 0 0 0 338280 1079 0 0 20 0 1 0 199945897 94208000 15164 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 23000 15164 1382 291 0 14534 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 60656 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.24 2.93 3/243 1111127
/proc/meminfo: memFree=126892920/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=92000 memory=60656 CPUtime=3453.46 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13606 0 0 0 344255 1091 0 0 20 0 1 0 199945897 94208000 15164 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 23000 15164 1382 291 0 14534 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 60656 KiB
[startup+3522.3 s]
/proc/loadavg: 1.46 2.03 2.81 2/236 1111168
/proc/meminfo: memFree=127000292/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=92256 memory=60800 CPUtime=3513.33 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13809 0 0 0 350231 1102 0 0 20 0 1 0 199945897 94470144 15200 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 23064 15200 1382 291 0 14598 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 92256 KiB
Current children cumulated memory: 60800 KiB
[startup+3582.3 s]
/proc/loadavg: 1.27 1.87 2.70 2/234 1111179
/proc/meminfo: memFree=126999380/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=92256 memory=60800 CPUtime=3573.2 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13976 0 0 0 356208 1112 0 0 20 0 1 0 199945897 94470144 15200 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 23064 15200 1382 291 0 14598 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 92256 KiB
Current children cumulated memory: 60800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.17 1.80 2.66 2/234 1111184
/proc/meminfo: memFree=126999140/131524600 swapFree=131071996/131071996
[pid=1109245] ppid=1109242 vsize=92256 memory=60800 CPUtime=3600.04 cores=1,3
/proc/1109245/stat : 1109245 (pb-oll-rs) R 1109242 1109245 1106434 0 -1 4194304 13978 0 0 0 358887 1117 0 0 20 0 1 0 199945897 94470144 15200 134679101440 4194304 5384485 140734434819616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19111936 140734434821141 140734434821218 140734434821218 140734434828235 0
/proc/1109245/statm: 23064 15200 1382 291 0 14598 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 92256 KiB
Current children cumulated memory: 60800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 1109245 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.88 s, system=11.1804 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.2
CPU time (s): 3600.06
CPU user time (s): 3588.88
CPU system time (s): 11.1804
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 92956
Max. memory (cumulated for all children) (KiB): 61344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.88
system time used= 11.1804
maximum resident set size= 61344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13996
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= 26
involuntary context switches= 1962
# summary of solver processes directly reported to runsolver:
# pid: 1109245
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.88
# total CPU system time (s): 11.1804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1195 second user time and 16.4531 second system time
The end
Begin job on nodeC030 at 2024-07-20 14:16:31
IDJOB=4454570
IDBENCH=158431
IDSOLVER=3082
FILE ID=nodeC030/4454570-1721477778
RUNJOBID= nodeC030-1721473216-1106446
SLURM_JOB_ID= 7545745
Free space on /tmp= 890020 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_12x12_001.opb.metafix.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454570-1721477778/watcher-4454570-1721477778 -o /tmp/evaluation-result-4454570-1721477778/solver-4454570-1721477778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721473216-1106446 --watchdog 3760 pb-oll-rs HOME/instance-4454570-1721477778.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fbb156e7552e932d6b03b61f2d75f6d
RANDOM SEED=632250737
nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.450
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3648.512
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.847
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3655.756
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.456
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.643
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.883
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119725932 kB
MemAvailable: 122348988 kB
Buffers: 551736 kB
Cached: 2891184 kB
SwapCached: 0 kB
Active: 1286260 kB
Inactive: 9825404 kB
Active(anon): 1556 kB
Inactive(anon): 7712776 kB
Active(file): 1284704 kB
Inactive(file): 2112628 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2432 kB
Writeback: 0 kB
AnonPages: 7668084 kB
Mapped: 111656 kB
Shmem: 45912 kB
KReclaimable: 131092 kB
Slab: 248924 kB
SReclaimable: 131092 kB
SUnreclaim: 117832 kB
KernelStack: 4160 kB
PageTables: 26040 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 10191360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74880 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1052672 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: 262868 kB
DirectMap2M: 23627776 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890080 MiB
End job on nodeC030 at 2024-07-20 15:16:40