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.000216
0.00/0.00 c stratification level: 0
0.00/0.00 c bounds - >= 32 @ 0.000216
0.00/0.00 c bounds - >= 33 @ 0.000216
0.00/0.00 c bounds - >= 36 @ 0.000216
0.00/0.00 c bounds - >= 41 @ 0.000216
0.00/0.00 c bounds - >= 44 @ 0.000216
0.00/0.00 c bounds - >= 48 @ 0.000216
0.00/0.00 c bounds - >= 50 @ 0.000216
0.00/0.00 c bounds - >= 54 @ 0.000216
0.00/0.00 c bounds - >= 58 @ 0.000216
0.00/0.00 c bounds - >= 62 @ 0.000217
0.00/0.00 c bounds - >= 63 @ 0.000217
0.00/0.00 c finalizing WCE round: reformulating cores
18.35/18.48 c #Conflicts: 1000 | #Constraints: 1159
18.35/18.48 c #Conflicts: 2000 | #Constraints: 2161
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 3000 | #Constraints: 2157
18.35/18.48 c #Conflicts: 4000 | #Constraints: 3159
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 5000 | #Constraints: 2573
18.35/18.48 c #Conflicts: 6000 | #Constraints: 3575
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 7000 | #Constraints: 2577
18.35/18.48 c #Conflicts: 8000 | #Constraints: 3579
18.35/18.48 c #Conflicts: 9000 | #Constraints: 4583
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c bounds 70 >= 63 @ 0.872237
18.35/18.48 c bounds 70 >= 65 @ 0.872877
18.35/18.48 c bounds 70 >= 66 @ 0.874618
18.35/18.48 c #Conflicts: 10000 | #Constraints: 3319
18.35/18.48 c #Conflicts: 11000 | #Constraints: 4319
18.35/18.48 c #Conflicts: 12000 | #Constraints: 5319
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 13000 | #Constraints: 3764
18.35/18.48 c #Conflicts: 14000 | #Constraints: 4764
18.35/18.48 c #Conflicts: 15000 | #Constraints: 5764
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 16000 | #Constraints: 3986
18.35/18.48 c #Conflicts: 17000 | #Constraints: 4986
18.35/18.48 c #Conflicts: 18000 | #Constraints: 5986
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 19000 | #Constraints: 4000
18.35/18.48 c #Conflicts: 20000 | #Constraints: 5000
18.35/18.48 c #Conflicts: 21000 | #Constraints: 6000
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 22000 | #Constraints: 3800
18.35/18.48 c #Conflicts: 23000 | #Constraints: 4800
18.35/18.48 c #Conflicts: 24000 | #Constraints: 5800
18.35/18.48 c #Conflicts: 25000 | #Constraints: 6800
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 26000 | #Constraints: 4407
18.35/18.48 c #Conflicts: 27000 | #Constraints: 5407
18.35/18.48 c #Conflicts: 28000 | #Constraints: 6407
18.35/18.48 c #Conflicts: 29000 | #Constraints: 7407
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 30000 | #Constraints: 4810
18.35/18.48 c #Conflicts: 31000 | #Constraints: 5810
18.35/18.48 c #Conflicts: 32000 | #Constraints: 6810
18.35/18.48 c #Conflicts: 33000 | #Constraints: 7810
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 34000 | #Constraints: 5014
18.35/18.48 c #Conflicts: 35000 | #Constraints: 6014
18.35/18.48 c #Conflicts: 36000 | #Constraints: 7014
18.35/18.48 c #Conflicts: 37000 | #Constraints: 8014
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 38000 | #Constraints: 5016
18.35/18.48 c #Conflicts: 39000 | #Constraints: 6016
18.35/18.48 c #Conflicts: 40000 | #Constraints: 7016
18.35/18.48 c #Conflicts: 41000 | #Constraints: 8016
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 42000 | #Constraints: 4822
18.35/18.48 c #Conflicts: 43000 | #Constraints: 5822
18.35/18.48 c #Conflicts: 44000 | #Constraints: 6822
18.35/18.48 c #Conflicts: 45000 | #Constraints: 7822
18.35/18.48 c #Conflicts: 46000 | #Constraints: 8822
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 47000 | #Constraints: 5415
18.35/18.48 c #Conflicts: 48000 | #Constraints: 6415
18.35/18.48 c #Conflicts: 49000 | #Constraints: 7415
18.35/18.48 c #Conflicts: 50000 | #Constraints: 8415
18.35/18.48 c #Conflicts: 51000 | #Constraints: 9415
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 52000 | #Constraints: 5816
18.35/18.48 c #Conflicts: 53000 | #Constraints: 6816
18.35/18.48 c #Conflicts: 54000 | #Constraints: 7816
18.35/18.48 c #Conflicts: 55000 | #Constraints: 8816
18.35/18.48 c #Conflicts: 56000 | #Constraints: 9816
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 57000 | #Constraints: 6015
18.35/18.48 c #Conflicts: 58000 | #Constraints: 7015
18.35/18.48 c #Conflicts: 59000 | #Constraints: 8015
18.35/18.48 c #Conflicts: 60000 | #Constraints: 9015
18.35/18.48 c #Conflicts: 61000 | #Constraints: 10015
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
18.35/18.48 c #Conflicts: 62000 | #Constraints: 6014
18.35/18.48 c #Conflicts: 63000 | #Constraints: 7014
18.35/18.48 c #Conflicts: 64000 | #Constraints: 8014
18.35/18.48 c #Conflicts: 65000 | #Constraints: 9014
18.35/18.48 c #Conflicts: 66000 | #Constraints: 10014
18.35/18.48 c INPROCESSING
18.35/18.48 c GARBAGE COLLECT
57.46/57.65 c #Conflicts: 67000 | #Constraints: 5812
57.46/57.65 c #Conflicts: 68000 | #Constraints: 6812
57.46/57.65 c #Conflicts: 69000 | #Constraints: 7812
57.46/57.65 c #Conflicts: 70000 | #Constraints: 8812
57.46/57.65 c #Conflicts: 71000 | #Constraints: 9812
57.46/57.65 c #Conflicts: 72000 | #Constraints: 10812
57.46/57.65 c INPROCESSING
57.46/57.65 c GARBAGE COLLECT
57.46/57.65 c #Conflicts: 73000 | #Constraints: 6415
57.46/57.65 c #Conflicts: 74000 | #Constraints: 7415
57.46/57.65 c #Conflicts: 75000 | #Constraints: 8415
57.46/57.65 c #Conflicts: 76000 | #Constraints: 9415
57.46/57.65 c #Conflicts: 77000 | #Constraints: 10415
57.46/57.65 c #Conflicts: 78000 | #Constraints: 11415
57.46/57.65 c INPROCESSING
57.46/57.65 c GARBAGE COLLECT
57.46/57.65 c #Conflicts: 79000 | #Constraints: 6817
57.46/57.65 c #Conflicts: 80000 | #Constraints: 7817
57.46/57.65 c #Conflicts: 81000 | #Constraints: 8817
57.46/57.65 c #Conflicts: 82000 | #Constraints: 9817
57.46/57.65 c #Conflicts: 83000 | #Constraints: 10817
57.46/57.65 c #Conflicts: 84000 | #Constraints: 11817
57.46/57.65 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 85000 | #Constraints: 7021
57.46/57.66 c #Conflicts: 86000 | #Constraints: 8021
57.46/57.66 c #Conflicts: 87000 | #Constraints: 9021
57.46/57.66 c #Conflicts: 88000 | #Constraints: 10021
57.46/57.66 c #Conflicts: 89000 | #Constraints: 11021
57.46/57.66 c #Conflicts: 90000 | #Constraints: 12021
57.46/57.66 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 91000 | #Constraints: 7016
57.46/57.66 c #Conflicts: 92000 | #Constraints: 8016
57.46/57.66 c #Conflicts: 93000 | #Constraints: 9016
57.46/57.66 c #Conflicts: 94000 | #Constraints: 10016
57.46/57.66 c #Conflicts: 95000 | #Constraints: 11016
57.46/57.66 c #Conflicts: 96000 | #Constraints: 12016
57.46/57.66 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 97000 | #Constraints: 6823
57.46/57.66 c #Conflicts: 98000 | #Constraints: 7823
57.46/57.66 c #Conflicts: 99000 | #Constraints: 8823
57.46/57.66 c #Conflicts: 100000 | #Constraints: 9823
57.46/57.66 c #Conflicts: 101000 | #Constraints: 10823
57.46/57.66 c #Conflicts: 102000 | #Constraints: 11823
57.46/57.66 c #Conflicts: 103000 | #Constraints: 12823
57.46/57.66 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 104000 | #Constraints: 7426
57.46/57.66 c #Conflicts: 105000 | #Constraints: 8426
57.46/57.66 c #Conflicts: 106000 | #Constraints: 9426
57.46/57.66 c #Conflicts: 107000 | #Constraints: 10426
57.46/57.66 c #Conflicts: 108000 | #Constraints: 11426
57.46/57.66 c #Conflicts: 109000 | #Constraints: 12426
57.46/57.66 c #Conflicts: 110000 | #Constraints: 13426
57.46/57.66 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 111000 | #Constraints: 7825
57.46/57.66 c #Conflicts: 112000 | #Constraints: 8825
57.46/57.66 c #Conflicts: 113000 | #Constraints: 9825
57.46/57.66 c #Conflicts: 114000 | #Constraints: 10825
57.46/57.66 c #Conflicts: 115000 | #Constraints: 11825
57.46/57.66 c #Conflicts: 116000 | #Constraints: 12825
57.46/57.66 c #Conflicts: 117000 | #Constraints: 13825
57.46/57.66 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 118000 | #Constraints: 8024
57.46/57.66 c #Conflicts: 119000 | #Constraints: 9024
57.46/57.66 c #Conflicts: 120000 | #Constraints: 10024
57.46/57.66 c #Conflicts: 121000 | #Constraints: 11024
57.46/57.66 c #Conflicts: 122000 | #Constraints: 12024
57.46/57.66 c #Conflicts: 123000 | #Constraints: 13024
57.46/57.66 c #Conflicts: 124000 | #Constraints: 14024
57.46/57.66 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 125000 | #Constraints: 8026
57.46/57.66 c #Conflicts: 126000 | #Constraints: 9026
57.46/57.66 c #Conflicts: 127000 | #Constraints: 10026
57.46/57.66 c #Conflicts: 128000 | #Constraints: 11026
57.46/57.66 c #Conflicts: 129000 | #Constraints: 12026
57.46/57.66 c #Conflicts: 130000 | #Constraints: 13026
57.46/57.66 c #Conflicts: 131000 | #Constraints: 14026
57.46/57.66 c INPROCESSING
57.46/57.66 c GARBAGE COLLECT
57.46/57.66 c #Conflicts: 132000 | #Constraints: 7822
57.46/57.66 c #Conflicts: 133000 | #Constraints: 8822
57.46/57.66 c #Conflicts: 134000 | #Constraints: 9822
57.46/57.66 c #Conflicts: 135000 | #Constraints: 10822
57.46/57.66 c #Conflicts: 136000 | #Constraints: 11822
57.46/57.66 c #Conflicts: 137000 | #Constraints: 12822
57.46/57.66 c #Conflicts: 138000 | #Constraints: 13822
57.46/57.66 c #Conflicts: 139000 | #Constraints: 14822
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 140000 | #Constraints: 8424
110.24/110.52 c #Conflicts: 141000 | #Constraints: 9424
110.24/110.52 c #Conflicts: 142000 | #Constraints: 10424
110.24/110.52 c #Conflicts: 143000 | #Constraints: 11424
110.24/110.52 c #Conflicts: 144000 | #Constraints: 12424
110.24/110.52 c #Conflicts: 145000 | #Constraints: 13424
110.24/110.52 c #Conflicts: 146000 | #Constraints: 14424
110.24/110.52 c #Conflicts: 147000 | #Constraints: 15424
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 148000 | #Constraints: 8825
110.24/110.52 c #Conflicts: 149000 | #Constraints: 9825
110.24/110.52 c #Conflicts: 150000 | #Constraints: 10825
110.24/110.52 c #Conflicts: 151000 | #Constraints: 11825
110.24/110.52 c #Conflicts: 152000 | #Constraints: 12825
110.24/110.52 c #Conflicts: 153000 | #Constraints: 13825
110.24/110.52 c #Conflicts: 154000 | #Constraints: 14825
110.24/110.52 c #Conflicts: 155000 | #Constraints: 15825
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 156000 | #Constraints: 9022
110.24/110.52 c #Conflicts: 157000 | #Constraints: 10022
110.24/110.52 c #Conflicts: 158000 | #Constraints: 11022
110.24/110.52 c #Conflicts: 159000 | #Constraints: 12022
110.24/110.52 c #Conflicts: 160000 | #Constraints: 13022
110.24/110.52 c #Conflicts: 161000 | #Constraints: 14022
110.24/110.52 c #Conflicts: 162000 | #Constraints: 15022
110.24/110.52 c #Conflicts: 163000 | #Constraints: 16022
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 164000 | #Constraints: 9026
110.24/110.52 c #Conflicts: 165000 | #Constraints: 10026
110.24/110.52 c #Conflicts: 166000 | #Constraints: 11026
110.24/110.52 c #Conflicts: 167000 | #Constraints: 12026
110.24/110.52 c #Conflicts: 168000 | #Constraints: 13026
110.24/110.52 c #Conflicts: 169000 | #Constraints: 14026
110.24/110.52 c #Conflicts: 170000 | #Constraints: 15026
110.24/110.52 c #Conflicts: 171000 | #Constraints: 16026
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 172000 | #Constraints: 8825
110.24/110.52 c #Conflicts: 173000 | #Constraints: 9825
110.24/110.52 c #Conflicts: 174000 | #Constraints: 10825
110.24/110.52 c #Conflicts: 175000 | #Constraints: 11825
110.24/110.52 c #Conflicts: 176000 | #Constraints: 12825
110.24/110.52 c #Conflicts: 177000 | #Constraints: 13825
110.24/110.52 c #Conflicts: 178000 | #Constraints: 14825
110.24/110.52 c #Conflicts: 179000 | #Constraints: 15825
110.24/110.52 c #Conflicts: 180000 | #Constraints: 16825
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 181000 | #Constraints: 9424
110.24/110.52 c #Conflicts: 182000 | #Constraints: 10424
110.24/110.52 c #Conflicts: 183000 | #Constraints: 11424
110.24/110.52 c #Conflicts: 184000 | #Constraints: 12424
110.24/110.52 c #Conflicts: 185000 | #Constraints: 13424
110.24/110.52 c #Conflicts: 186000 | #Constraints: 14424
110.24/110.52 c #Conflicts: 187000 | #Constraints: 15424
110.24/110.52 c #Conflicts: 188000 | #Constraints: 16424
110.24/110.52 c #Conflicts: 189000 | #Constraints: 17424
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 190000 | #Constraints: 9821
110.24/110.52 c #Conflicts: 191000 | #Constraints: 10821
110.24/110.52 c #Conflicts: 192000 | #Constraints: 11821
110.24/110.52 c #Conflicts: 193000 | #Constraints: 12821
110.24/110.52 c #Conflicts: 194000 | #Constraints: 13821
110.24/110.52 c #Conflicts: 195000 | #Constraints: 14821
110.24/110.52 c #Conflicts: 196000 | #Constraints: 15821
110.24/110.52 c #Conflicts: 197000 | #Constraints: 16821
110.24/110.52 c #Conflicts: 198000 | #Constraints: 17821
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 199000 | #Constraints: 10022
110.24/110.52 c #Conflicts: 200000 | #Constraints: 11022
110.24/110.52 c #Conflicts: 201000 | #Constraints: 12022
110.24/110.52 c #Conflicts: 202000 | #Constraints: 13022
110.24/110.52 c #Conflicts: 203000 | #Constraints: 14022
110.24/110.52 c #Conflicts: 204000 | #Constraints: 15022
110.24/110.52 c #Conflicts: 205000 | #Constraints: 16022
110.24/110.52 c #Conflicts: 206000 | #Constraints: 17022
110.24/110.52 c #Conflicts: 207000 | #Constraints: 18022
110.24/110.52 c INPROCESSING
110.24/110.52 c GARBAGE COLLECT
110.24/110.52 c #Conflicts: 208000 | #Constraints: 10024
110.24/110.52 c #Conflicts: 209000 | #Constraints: 11024
110.24/110.52 c #Conflicts: 210000 | #Constraints: 12024
110.24/110.52 c #Conflicts: 211000 | #Constraints: 13024
110.24/110.52 c #Conflicts: 212000 | #Constraints: 14024
177.19/177.65 c #Conflicts: 213000 | #Constraints: 15024
177.19/177.65 c #Conflicts: 214000 | #Constraints: 16024
177.19/177.65 c #Conflicts: 215000 | #Constraints: 17024
177.19/177.65 c #Conflicts: 216000 | #Constraints: 18024
177.19/177.65 c INPROCESSING
177.19/177.65 c GARBAGE COLLECT
177.19/177.65 c #Conflicts: 217000 | #Constraints: 9821
177.19/177.65 c #Conflicts: 218000 | #Constraints: 10821
177.19/177.65 c #Conflicts: 219000 | #Constraints: 11821
177.19/177.65 c #Conflicts: 220000 | #Constraints: 12821
177.19/177.65 c #Conflicts: 221000 | #Constraints: 13821
177.19/177.65 c #Conflicts: 222000 | #Constraints: 14821
177.19/177.65 c #Conflicts: 223000 | #Constraints: 15821
177.19/177.65 c #Conflicts: 224000 | #Constraints: 16821
177.19/177.65 c #Conflicts: 225000 | #Constraints: 17821
177.19/177.65 c #Conflicts: 226000 | #Constraints: 18821
177.19/177.65 c INPROCESSING
177.19/177.65 c GARBAGE COLLECT
177.19/177.65 c #Conflicts: 227000 | #Constraints: 10423
177.19/177.65 c #Conflicts: 228000 | #Constraints: 11423
177.19/177.65 c #Conflicts: 229000 | #Constraints: 12423
177.19/177.65 c #Conflicts: 230000 | #Constraints: 13423
177.19/177.65 c #Conflicts: 231000 | #Constraints: 14423
177.19/177.65 c #Conflicts: 232000 | #Constraints: 15423
177.19/177.65 c #Conflicts: 233000 | #Constraints: 16423
177.19/177.65 c #Conflicts: 234000 | #Constraints: 17423
177.19/177.65 c #Conflicts: 235000 | #Constraints: 18423
177.19/177.65 c #Conflicts: 236000 | #Constraints: 19423
177.19/177.65 c INPROCESSING
177.19/177.65 c GARBAGE COLLECT
177.19/177.65 c #Conflicts: 237000 | #Constraints: 10822
177.19/177.65 c #Conflicts: 238000 | #Constraints: 11822
177.19/177.65 c #Conflicts: 239000 | #Constraints: 12822
177.19/177.65 c #Conflicts: 240000 | #Constraints: 13822
177.19/177.65 c #Conflicts: 241000 | #Constraints: 14822
177.19/177.65 c #Conflicts: 242000 | #Constraints: 15822
177.19/177.65 c #Conflicts: 243000 | #Constraints: 16822
177.19/177.65 c #Conflicts: 244000 | #Constraints: 17822
177.19/177.65 c #Conflicts: 245000 | #Constraints: 18822
177.19/177.65 c #Conflicts: 246000 | #Constraints: 19822
177.19/177.65 c INPROCESSING
177.19/177.65 c GARBAGE COLLECT
177.19/177.65 c #Conflicts: 247000 | #Constraints: 11021
177.19/177.65 c #Conflicts: 248000 | #Constraints: 12021
177.19/177.65 c #Conflicts: 249000 | #Constraints: 13021
177.19/177.65 c #Conflicts: 250000 | #Constraints: 14021
177.19/177.65 c #Conflicts: 251000 | #Constraints: 15021
177.19/177.65 c #Conflicts: 252000 | #Constraints: 16021
177.19/177.65 c #Conflicts: 253000 | #Constraints: 17021
177.19/177.65 c #Conflicts: 254000 | #Constraints: 18021
177.19/177.65 c #Conflicts: 255000 | #Constraints: 19021
177.19/177.65 c #Conflicts: 256000 | #Constraints: 20021
177.19/177.65 c INPROCESSING
177.19/177.65 c GARBAGE COLLECT
177.19/177.65 c #Conflicts: 257000 | #Constraints: 11026
177.19/177.65 c #Conflicts: 258000 | #Constraints: 12026
177.19/177.65 c #Conflicts: 259000 | #Constraints: 13026
177.19/177.65 c #Conflicts: 260000 | #Constraints: 14026
177.19/177.65 c #Conflicts: 261000 | #Constraints: 15026
177.19/177.65 c #Conflicts: 262000 | #Constraints: 16026
177.19/177.65 c #Conflicts: 263000 | #Constraints: 17026
177.19/177.65 c #Conflicts: 264000 | #Constraints: 18026
177.19/177.65 c #Conflicts: 265000 | #Constraints: 19026
177.19/177.65 c #Conflicts: 266000 | #Constraints: 20026
177.19/177.65 c INPROCESSING
177.19/177.65 c GARBAGE COLLECT
177.19/177.65 c #Conflicts: 267000 | #Constraints: 10829
177.19/177.65 c #Conflicts: 268000 | #Constraints: 11829
177.19/177.65 c #Conflicts: 269000 | #Constraints: 12829
177.19/177.65 c #Conflicts: 270000 | #Constraints: 13829
177.19/177.65 c #Conflicts: 271000 | #Constraints: 14829
177.19/177.65 c #Conflicts: 272000 | #Constraints: 15829
177.19/177.65 c #Conflicts: 273000 | #Constraints: 16829
177.19/177.65 c #Conflicts: 274000 | #Constraints: 17829
177.19/177.65 c #Conflicts: 275000 | #Constraints: 18829
177.19/177.65 c #Conflicts: 276000 | #Constraints: 19829
177.19/177.65 c #Conflicts: 277000 | #Constraints: 20829
177.19/177.65 c INPROCESSING
177.19/177.65 c GARBAGE COLLECT
177.19/177.65 c #Conflicts: 278000 | #Constraints: 11435
177.19/177.65 c #Conflicts: 279000 | #Constraints: 12435
177.19/177.65 c #Conflicts: 280000 | #Constraints: 13435
177.19/177.65 c #Conflicts: 281000 | #Constraints: 14435
177.19/177.65 c #Conflicts: 282000 | #Constraints: 15435
177.19/177.65 c #Conflicts: 283000 | #Constraints: 16435
177.19/177.65 c #Conflicts: 284000 | #Constraints: 17435
177.19/177.65 c #Conflicts: 285000 | #Constraints: 18435
177.19/177.65 c #Conflicts: 286000 | #Constraints: 19435
252.30/252.90 c #Conflicts: 287000 | #Constraints: 20435
252.30/252.90 c #Conflicts: 288000 | #Constraints: 21435
252.30/252.90 c INPROCESSING
252.30/252.90 c GARBAGE COLLECT
252.30/252.90 c #Conflicts: 289000 | #Constraints: 11827
252.30/252.90 c #Conflicts: 290000 | #Constraints: 12827
252.30/252.90 c #Conflicts: 291000 | #Constraints: 13827
252.30/252.90 c #Conflicts: 292000 | #Constraints: 14827
252.30/252.90 c #Conflicts: 293000 | #Constraints: 15827
252.30/252.90 c #Conflicts: 294000 | #Constraints: 16827
252.30/252.90 c #Conflicts: 295000 | #Constraints: 17827
252.30/252.90 c #Conflicts: 296000 | #Constraints: 18827
252.30/252.90 c #Conflicts: 297000 | #Constraints: 19827
252.30/252.90 c #Conflicts: 298000 | #Constraints: 20827
252.30/252.90 c #Conflicts: 299000 | #Constraints: 21827
252.30/252.90 c INPROCESSING
252.30/252.90 c GARBAGE COLLECT
252.30/252.90 c #Conflicts: 300000 | #Constraints: 12029
252.30/252.90 c #Conflicts: 301000 | #Constraints: 13029
252.30/252.90 c #Conflicts: 302000 | #Constraints: 14029
252.30/252.90 c #Conflicts: 303000 | #Constraints: 15029
252.30/252.90 c #Conflicts: 304000 | #Constraints: 16029
252.30/252.90 c #Conflicts: 305000 | #Constraints: 17029
252.30/252.90 c #Conflicts: 306000 | #Constraints: 18029
252.30/252.90 c #Conflicts: 307000 | #Constraints: 19029
252.30/252.90 c #Conflicts: 308000 | #Constraints: 20029
252.30/252.90 c #Conflicts: 309000 | #Constraints: 21029
252.30/252.90 c #Conflicts: 310000 | #Constraints: 22029
252.30/252.90 c INPROCESSING
252.30/252.90 c GARBAGE COLLECT
252.30/252.90 c #Conflicts: 311000 | #Constraints: 12031
252.30/252.90 c #Conflicts: 312000 | #Constraints: 13031
252.30/252.90 c #Conflicts: 313000 | #Constraints: 14031
252.30/252.90 c #Conflicts: 314000 | #Constraints: 15031
252.30/252.90 c #Conflicts: 315000 | #Constraints: 16031
252.30/252.90 c #Conflicts: 316000 | #Constraints: 17031
252.30/252.90 c #Conflicts: 317000 | #Constraints: 18031
252.30/252.90 c #Conflicts: 318000 | #Constraints: 19031
252.30/252.90 c #Conflicts: 319000 | #Constraints: 20031
252.30/252.90 c #Conflicts: 320000 | #Constraints: 21031
252.30/252.90 c #Conflicts: 321000 | #Constraints: 22031
252.30/252.90 c INPROCESSING
252.30/252.90 c GARBAGE COLLECT
252.30/252.90 c #Conflicts: 322000 | #Constraints: 11826
252.30/252.90 c #Conflicts: 323000 | #Constraints: 12826
252.30/252.90 c #Conflicts: 324000 | #Constraints: 13826
252.30/252.90 c #Conflicts: 325000 | #Constraints: 14826
252.30/252.90 c #Conflicts: 326000 | #Constraints: 15826
252.30/252.90 c #Conflicts: 327000 | #Constraints: 16826
252.30/252.90 c #Conflicts: 328000 | #Constraints: 17826
252.30/252.90 c #Conflicts: 329000 | #Constraints: 18826
252.30/252.90 c #Conflicts: 330000 | #Constraints: 19826
252.30/252.90 c #Conflicts: 331000 | #Constraints: 20826
252.30/252.90 c #Conflicts: 332000 | #Constraints: 21826
252.30/252.90 c #Conflicts: 333000 | #Constraints: 22826
252.30/252.90 c INPROCESSING
252.30/252.90 c GARBAGE COLLECT
252.30/252.90 c #Conflicts: 334000 | #Constraints: 12428
252.30/252.90 c #Conflicts: 335000 | #Constraints: 13428
252.30/252.90 c #Conflicts: 336000 | #Constraints: 14428
252.30/252.90 c #Conflicts: 337000 | #Constraints: 15428
252.30/252.90 c #Conflicts: 338000 | #Constraints: 16428
252.30/252.90 c #Conflicts: 339000 | #Constraints: 17428
252.30/252.90 c #Conflicts: 340000 | #Constraints: 18428
252.30/252.90 c #Conflicts: 341000 | #Constraints: 19428
252.30/252.90 c #Conflicts: 342000 | #Constraints: 20428
252.30/252.90 c #Conflicts: 343000 | #Constraints: 21428
252.30/252.90 c #Conflicts: 344000 | #Constraints: 22428
252.30/252.90 c #Conflicts: 345000 | #Constraints: 23428
252.30/252.90 c INPROCESSING
252.30/252.90 c GARBAGE COLLECT
252.30/252.90 c #Conflicts: 346000 | #Constraints: 12822
252.30/252.90 c #Conflicts: 347000 | #Constraints: 13822
252.30/252.90 c #Conflicts: 348000 | #Constraints: 14822
252.30/252.90 c #Conflicts: 349000 | #Constraints: 15822
252.30/252.90 c #Conflicts: 350000 | #Constraints: 16822
252.30/252.90 c #Conflicts: 351000 | #Constraints: 17822
252.30/252.90 c #Conflicts: 352000 | #Constraints: 18822
252.30/252.90 c #Conflicts: 353000 | #Constraints: 19822
252.30/252.90 c #Conflicts: 354000 | #Constraints: 20822
252.30/252.90 c #Conflicts: 355000 | #Constraints: 21822
252.30/252.90 c #Conflicts: 356000 | #Constraints: 22822
252.30/252.90 c #Conflicts: 357000 | #Constraints: 23822
252.30/252.90 c INPROCESSING
252.30/252.90 c GARBAGE COLLECT
252.30/252.90 c #Conflicts: 358000 | #Constraints: 13025
252.30/252.90 c #Conflicts: 359000 | #Constraints: 14025
252.30/252.90 c #Conflicts: 360000 | #Constraints: 15025
333.23/334.06 c #Conflicts: 361000 | #Constraints: 16025
333.23/334.06 c #Conflicts: 362000 | #Constraints: 17025
333.23/334.06 c #Conflicts: 363000 | #Constraints: 18025
333.23/334.06 c #Conflicts: 364000 | #Constraints: 19025
333.23/334.06 c #Conflicts: 365000 | #Constraints: 20025
333.23/334.06 c #Conflicts: 366000 | #Constraints: 21025
333.23/334.06 c #Conflicts: 367000 | #Constraints: 22025
333.23/334.06 c #Conflicts: 368000 | #Constraints: 23025
333.23/334.06 c #Conflicts: 369000 | #Constraints: 24025
333.23/334.06 c INPROCESSING
333.23/334.06 c GARBAGE COLLECT
333.23/334.06 c #Conflicts: 370000 | #Constraints: 13024
333.23/334.06 c #Conflicts: 371000 | #Constraints: 14024
333.23/334.06 c #Conflicts: 372000 | #Constraints: 15024
333.23/334.06 c #Conflicts: 373000 | #Constraints: 16024
333.23/334.06 c #Conflicts: 374000 | #Constraints: 17024
333.23/334.06 c #Conflicts: 375000 | #Constraints: 18024
333.23/334.06 c #Conflicts: 376000 | #Constraints: 19024
333.23/334.06 c #Conflicts: 377000 | #Constraints: 20024
333.23/334.06 c #Conflicts: 378000 | #Constraints: 21024
333.23/334.06 c #Conflicts: 379000 | #Constraints: 22024
333.23/334.06 c #Conflicts: 380000 | #Constraints: 23024
333.23/334.06 c #Conflicts: 381000 | #Constraints: 24024
333.23/334.06 c INPROCESSING
333.23/334.06 c GARBAGE COLLECT
333.23/334.06 c #Conflicts: 382000 | #Constraints: 12828
333.23/334.06 c #Conflicts: 383000 | #Constraints: 13828
333.23/334.06 c #Conflicts: 384000 | #Constraints: 14828
333.23/334.06 c #Conflicts: 385000 | #Constraints: 15828
333.23/334.06 c #Conflicts: 386000 | #Constraints: 16828
333.23/334.06 c #Conflicts: 387000 | #Constraints: 17828
333.23/334.06 c #Conflicts: 388000 | #Constraints: 18828
333.23/334.06 c #Conflicts: 389000 | #Constraints: 19828
333.23/334.06 c #Conflicts: 390000 | #Constraints: 20828
333.23/334.06 c #Conflicts: 391000 | #Constraints: 21828
333.23/334.06 c #Conflicts: 392000 | #Constraints: 22828
333.23/334.06 c #Conflicts: 393000 | #Constraints: 23828
333.23/334.06 c #Conflicts: 394000 | #Constraints: 24828
333.23/334.06 c INPROCESSING
333.23/334.06 c GARBAGE COLLECT
333.23/334.06 c #Conflicts: 395000 | #Constraints: 13430
333.23/334.06 c #Conflicts: 396000 | #Constraints: 14430
333.23/334.06 c #Conflicts: 397000 | #Constraints: 15430
333.23/334.06 c #Conflicts: 398000 | #Constraints: 16430
333.23/334.06 c #Conflicts: 399000 | #Constraints: 17430
333.23/334.06 c #Conflicts: 400000 | #Constraints: 18430
333.23/334.06 c #Conflicts: 401000 | #Constraints: 19430
333.23/334.06 c #Conflicts: 402000 | #Constraints: 20430
333.23/334.06 c #Conflicts: 403000 | #Constraints: 21430
333.23/334.06 c #Conflicts: 404000 | #Constraints: 22430
333.23/334.06 c #Conflicts: 405000 | #Constraints: 23430
333.23/334.06 c #Conflicts: 406000 | #Constraints: 24430
333.23/334.06 c #Conflicts: 407000 | #Constraints: 25430
333.23/334.06 c INPROCESSING
333.23/334.06 c GARBAGE COLLECT
333.23/334.06 c #Conflicts: 408000 | #Constraints: 13825
333.23/334.06 c #Conflicts: 409000 | #Constraints: 14825
333.23/334.06 c #Conflicts: 410000 | #Constraints: 15825
333.23/334.06 c #Conflicts: 411000 | #Constraints: 16825
333.23/334.06 c #Conflicts: 412000 | #Constraints: 17825
333.23/334.06 c #Conflicts: 413000 | #Constraints: 18825
333.23/334.06 c #Conflicts: 414000 | #Constraints: 19825
333.23/334.06 c #Conflicts: 415000 | #Constraints: 20825
333.23/334.06 c #Conflicts: 416000 | #Constraints: 21825
333.23/334.06 c #Conflicts: 417000 | #Constraints: 22825
333.23/334.06 c #Conflicts: 418000 | #Constraints: 23825
333.23/334.06 c #Conflicts: 419000 | #Constraints: 24825
333.23/334.06 c #Conflicts: 420000 | #Constraints: 25825
333.23/334.06 c INPROCESSING
333.23/334.06 c GARBAGE COLLECT
333.23/334.06 c #Conflicts: 421000 | #Constraints: 14024
333.23/334.06 c #Conflicts: 422000 | #Constraints: 15024
333.23/334.06 c #Conflicts: 423000 | #Constraints: 16024
333.23/334.06 c #Conflicts: 424000 | #Constraints: 17024
333.23/334.06 c #Conflicts: 425000 | #Constraints: 18024
333.23/334.06 c #Conflicts: 426000 | #Constraints: 19024
333.23/334.06 c #Conflicts: 427000 | #Constraints: 20024
333.23/334.06 c #Conflicts: 428000 | #Constraints: 21024
333.23/334.06 c #Conflicts: 429000 | #Constraints: 22024
333.23/334.06 c #Conflicts: 430000 | #Constraints: 23024
333.23/334.06 c #Conflicts: 431000 | #Constraints: 24024
333.23/334.06 c #Conflicts: 432000 | #Constraints: 25024
333.23/334.06 c #Conflicts: 433000 | #Constraints: 26024
333.23/334.06 c INPROCESSING
333.23/334.06 c GARBAGE COLLECT
333.23/334.06 c #Conflicts: 434000 | #Constraints: 14027
333.23/334.06 c #Conflicts: 435000 | #Constraints: 15027
424.05/425.07 c #Conflicts: 436000 | #Constraints: 16027
424.05/425.07 c #Conflicts: 437000 | #Constraints: 17027
424.05/425.07 c #Conflicts: 438000 | #Constraints: 18027
424.05/425.07 c #Conflicts: 439000 | #Constraints: 19027
424.05/425.07 c #Conflicts: 440000 | #Constraints: 20027
424.05/425.07 c #Conflicts: 441000 | #Constraints: 21027
424.05/425.07 c #Conflicts: 442000 | #Constraints: 22027
424.05/425.07 c #Conflicts: 443000 | #Constraints: 23027
424.05/425.07 c #Conflicts: 444000 | #Constraints: 24027
424.05/425.07 c #Conflicts: 445000 | #Constraints: 25027
424.05/425.07 c #Conflicts: 446000 | #Constraints: 26027
424.05/425.07 c INPROCESSING
424.05/425.07 c GARBAGE COLLECT
424.05/425.07 c #Conflicts: 447000 | #Constraints: 13831
424.05/425.07 c #Conflicts: 448000 | #Constraints: 14831
424.05/425.07 c #Conflicts: 449000 | #Constraints: 15831
424.05/425.07 c #Conflicts: 450000 | #Constraints: 16831
424.05/425.07 c #Conflicts: 451000 | #Constraints: 17831
424.05/425.07 c #Conflicts: 452000 | #Constraints: 18831
424.05/425.07 c #Conflicts: 453000 | #Constraints: 19831
424.05/425.07 c #Conflicts: 454000 | #Constraints: 20831
424.05/425.07 c #Conflicts: 455000 | #Constraints: 21831
424.05/425.07 c #Conflicts: 456000 | #Constraints: 22831
424.05/425.07 c #Conflicts: 457000 | #Constraints: 23831
424.05/425.07 c #Conflicts: 458000 | #Constraints: 24831
424.05/425.07 c #Conflicts: 459000 | #Constraints: 25831
424.05/425.07 c #Conflicts: 460000 | #Constraints: 26831
424.05/425.07 c INPROCESSING
424.05/425.07 c GARBAGE COLLECT
424.05/425.07 c #Conflicts: 461000 | #Constraints: 14428
424.05/425.07 c #Conflicts: 462000 | #Constraints: 15428
424.05/425.07 c #Conflicts: 463000 | #Constraints: 16428
424.05/425.07 c #Conflicts: 464000 | #Constraints: 17428
424.05/425.07 c #Conflicts: 465000 | #Constraints: 18428
424.05/425.07 c #Conflicts: 466000 | #Constraints: 19428
424.05/425.07 c #Conflicts: 467000 | #Constraints: 20428
424.05/425.07 c #Conflicts: 468000 | #Constraints: 21428
424.05/425.07 c #Conflicts: 469000 | #Constraints: 22428
424.05/425.07 c #Conflicts: 470000 | #Constraints: 23428
424.05/425.07 c #Conflicts: 471000 | #Constraints: 24428
424.05/425.07 c #Conflicts: 472000 | #Constraints: 25428
424.05/425.07 c #Conflicts: 473000 | #Constraints: 26428
424.05/425.07 c #Conflicts: 474000 | #Constraints: 27428
424.05/425.07 c INPROCESSING
424.05/425.07 c GARBAGE COLLECT
424.05/425.07 c #Conflicts: 475000 | #Constraints: 14826
424.05/425.07 c #Conflicts: 476000 | #Constraints: 15826
424.05/425.07 c #Conflicts: 477000 | #Constraints: 16826
424.05/425.07 c #Conflicts: 478000 | #Constraints: 17826
424.05/425.07 c #Conflicts: 479000 | #Constraints: 18826
424.05/425.07 c #Conflicts: 480000 | #Constraints: 19826
424.05/425.07 c #Conflicts: 481000 | #Constraints: 20826
424.05/425.07 c #Conflicts: 482000 | #Constraints: 21826
424.05/425.07 c #Conflicts: 483000 | #Constraints: 22826
424.05/425.07 c #Conflicts: 484000 | #Constraints: 23826
424.05/425.07 c #Conflicts: 485000 | #Constraints: 24826
424.05/425.07 c #Conflicts: 486000 | #Constraints: 25826
424.05/425.07 c #Conflicts: 487000 | #Constraints: 26826
424.05/425.07 c #Conflicts: 488000 | #Constraints: 27826
424.05/425.07 c INPROCESSING
424.05/425.07 c GARBAGE COLLECT
424.05/425.07 c #Conflicts: 489000 | #Constraints: 15027
424.05/425.07 c #Conflicts: 490000 | #Constraints: 16027
424.05/425.07 c #Conflicts: 491000 | #Constraints: 17027
424.05/425.07 c #Conflicts: 492000 | #Constraints: 18027
424.05/425.07 c #Conflicts: 493000 | #Constraints: 19027
424.05/425.07 c #Conflicts: 494000 | #Constraints: 20027
424.05/425.07 c #Conflicts: 495000 | #Constraints: 21027
424.05/425.07 c #Conflicts: 496000 | #Constraints: 22027
424.05/425.07 c #Conflicts: 497000 | #Constraints: 23027
424.05/425.07 c #Conflicts: 498000 | #Constraints: 24027
424.05/425.07 c #Conflicts: 499000 | #Constraints: 25027
424.05/425.07 c #Conflicts: 500000 | #Constraints: 26027
424.05/425.07 c #Conflicts: 501000 | #Constraints: 27027
424.05/425.07 c #Conflicts: 502000 | #Constraints: 28027
424.05/425.07 c INPROCESSING
424.05/425.07 c GARBAGE COLLECT
424.05/425.07 c #Conflicts: 503000 | #Constraints: 15029
424.05/425.07 c #Conflicts: 504000 | #Constraints: 16029
424.05/425.07 c #Conflicts: 505000 | #Constraints: 17029
424.05/425.07 c #Conflicts: 506000 | #Constraints: 18029
424.05/425.07 c #Conflicts: 507000 | #Constraints: 19029
424.05/425.07 c #Conflicts: 508000 | #Constraints: 20029
424.05/425.07 c #Conflicts: 509000 | #Constraints: 21029
424.05/425.07 c #Conflicts: 510000 | #Constraints: 22029
424.05/425.07 c #Conflicts: 511000 | #Constraints: 23029
519.24/520.46 c #Conflicts: 512000 | #Constraints: 24029
519.24/520.46 c #Conflicts: 513000 | #Constraints: 25029
519.24/520.46 c #Conflicts: 514000 | #Constraints: 26029
519.24/520.46 c #Conflicts: 515000 | #Constraints: 27029
519.24/520.46 c #Conflicts: 516000 | #Constraints: 28029
519.24/520.46 c INPROCESSING
519.24/520.46 c GARBAGE COLLECT
519.24/520.46 c #Conflicts: 517000 | #Constraints: 14834
519.24/520.46 c #Conflicts: 518000 | #Constraints: 15834
519.24/520.46 c #Conflicts: 519000 | #Constraints: 16834
519.24/520.46 c #Conflicts: 520000 | #Constraints: 17834
519.24/520.46 c #Conflicts: 521000 | #Constraints: 18834
519.24/520.46 c #Conflicts: 522000 | #Constraints: 19834
519.24/520.46 c #Conflicts: 523000 | #Constraints: 20834
519.24/520.46 c #Conflicts: 524000 | #Constraints: 21834
519.24/520.46 c #Conflicts: 525000 | #Constraints: 22834
519.24/520.46 c #Conflicts: 526000 | #Constraints: 23834
519.24/520.46 c #Conflicts: 527000 | #Constraints: 24834
519.24/520.46 c #Conflicts: 528000 | #Constraints: 25834
519.24/520.46 c #Conflicts: 529000 | #Constraints: 26834
519.24/520.46 c #Conflicts: 530000 | #Constraints: 27834
519.24/520.46 c #Conflicts: 531000 | #Constraints: 28834
519.24/520.46 c INPROCESSING
519.24/520.46 c GARBAGE COLLECT
519.24/520.46 c #Conflicts: 532000 | #Constraints: 15430
519.24/520.46 c #Conflicts: 533000 | #Constraints: 16430
519.24/520.46 c #Conflicts: 534000 | #Constraints: 17430
519.24/520.46 c #Conflicts: 535000 | #Constraints: 18430
519.24/520.46 c #Conflicts: 536000 | #Constraints: 19430
519.24/520.46 c #Conflicts: 537000 | #Constraints: 20430
519.24/520.46 c #Conflicts: 538000 | #Constraints: 21430
519.24/520.46 c #Conflicts: 539000 | #Constraints: 22430
519.24/520.46 c #Conflicts: 540000 | #Constraints: 23430
519.24/520.46 c #Conflicts: 541000 | #Constraints: 24430
519.24/520.46 c #Conflicts: 542000 | #Constraints: 25430
519.24/520.46 c #Conflicts: 543000 | #Constraints: 26430
519.24/520.46 c #Conflicts: 544000 | #Constraints: 27430
519.24/520.46 c #Conflicts: 545000 | #Constraints: 28430
519.24/520.46 c #Conflicts: 546000 | #Constraints: 29430
519.24/520.46 c INPROCESSING
519.24/520.46 c GARBAGE COLLECT
519.24/520.46 c #Conflicts: 547000 | #Constraints: 15827
519.24/520.46 c #Conflicts: 548000 | #Constraints: 16827
519.24/520.46 c #Conflicts: 549000 | #Constraints: 17827
519.24/520.46 c #Conflicts: 550000 | #Constraints: 18827
519.24/520.46 c #Conflicts: 551000 | #Constraints: 19827
519.24/520.46 c #Conflicts: 552000 | #Constraints: 20827
519.24/520.46 c #Conflicts: 553000 | #Constraints: 21827
519.24/520.46 c #Conflicts: 554000 | #Constraints: 22827
519.24/520.46 c #Conflicts: 555000 | #Constraints: 23827
519.24/520.46 c #Conflicts: 556000 | #Constraints: 24827
519.24/520.46 c #Conflicts: 557000 | #Constraints: 25827
519.24/520.46 c #Conflicts: 558000 | #Constraints: 26827
519.24/520.46 c #Conflicts: 559000 | #Constraints: 27827
519.24/520.46 c #Conflicts: 560000 | #Constraints: 28827
519.24/520.46 c #Conflicts: 561000 | #Constraints: 29827
519.24/520.46 c INPROCESSING
519.24/520.46 c GARBAGE COLLECT
519.24/520.46 c #Conflicts: 562000 | #Constraints: 16024
519.24/520.46 c #Conflicts: 563000 | #Constraints: 17024
519.24/520.46 c #Conflicts: 564000 | #Constraints: 18024
519.24/520.46 c #Conflicts: 565000 | #Constraints: 19024
519.24/520.46 c #Conflicts: 566000 | #Constraints: 20024
519.24/520.46 c #Conflicts: 567000 | #Constraints: 21024
519.24/520.46 c #Conflicts: 568000 | #Constraints: 22024
519.24/520.46 c #Conflicts: 569000 | #Constraints: 23024
519.24/520.46 c #Conflicts: 570000 | #Constraints: 24024
519.24/520.46 c #Conflicts: 571000 | #Constraints: 25024
519.24/520.46 c #Conflicts: 572000 | #Constraints: 26024
519.24/520.46 c #Conflicts: 573000 | #Constraints: 27024
519.24/520.46 c #Conflicts: 574000 | #Constraints: 28024
519.24/520.46 c #Conflicts: 575000 | #Constraints: 29024
519.24/520.46 c #Conflicts: 576000 | #Constraints: 30024
519.24/520.46 c INPROCESSING
519.24/520.46 c GARBAGE COLLECT
519.24/520.46 c #Conflicts: 577000 | #Constraints: 16029
519.24/520.46 c #Conflicts: 578000 | #Constraints: 17029
519.24/520.46 c #Conflicts: 579000 | #Constraints: 18029
519.24/520.46 c #Conflicts: 580000 | #Constraints: 19029
519.24/520.46 c #Conflicts: 581000 | #Constraints: 20029
519.24/520.46 c #Conflicts: 582000 | #Constraints: 21029
519.24/520.46 c #Conflicts: 583000 | #Constraints: 22029
519.24/520.46 c #Conflicts: 584000 | #Constraints: 23029
519.24/520.46 c #Conflicts: 585000 | #Constraints: 24029
519.24/520.46 c #Conflicts: 586000 | #Constraints: 25029
625.11/626.59 c #Conflicts: 587000 | #Constraints: 26029
625.11/626.59 c #Conflicts: 588000 | #Constraints: 27029
625.11/626.59 c #Conflicts: 589000 | #Constraints: 28029
625.11/626.59 c #Conflicts: 590000 | #Constraints: 29029
625.11/626.59 c #Conflicts: 591000 | #Constraints: 30029
625.11/626.59 c INPROCESSING
625.11/626.59 c GARBAGE COLLECT
625.11/626.59 c #Conflicts: 592000 | #Constraints: 15828
625.11/626.59 c #Conflicts: 593000 | #Constraints: 16828
625.11/626.59 c #Conflicts: 594000 | #Constraints: 17828
625.11/626.59 c #Conflicts: 595000 | #Constraints: 18828
625.11/626.59 c #Conflicts: 596000 | #Constraints: 19828
625.11/626.59 c #Conflicts: 597000 | #Constraints: 20828
625.11/626.59 c #Conflicts: 598000 | #Constraints: 21828
625.11/626.59 c #Conflicts: 599000 | #Constraints: 22828
625.11/626.59 c #Conflicts: 600000 | #Constraints: 23828
625.11/626.59 c #Conflicts: 601000 | #Constraints: 24828
625.11/626.59 c #Conflicts: 602000 | #Constraints: 25828
625.11/626.59 c #Conflicts: 603000 | #Constraints: 26828
625.11/626.59 c #Conflicts: 604000 | #Constraints: 27828
625.11/626.59 c #Conflicts: 605000 | #Constraints: 28828
625.11/626.59 c #Conflicts: 606000 | #Constraints: 29828
625.11/626.59 c #Conflicts: 607000 | #Constraints: 30828
625.11/626.59 c INPROCESSING
625.11/626.59 c GARBAGE COLLECT
625.11/626.59 c #Conflicts: 608000 | #Constraints: 16429
625.11/626.59 c #Conflicts: 609000 | #Constraints: 17429
625.11/626.59 c #Conflicts: 610000 | #Constraints: 18429
625.11/626.59 c #Conflicts: 611000 | #Constraints: 19429
625.11/626.59 c #Conflicts: 612000 | #Constraints: 20429
625.11/626.59 c #Conflicts: 613000 | #Constraints: 21429
625.11/626.59 c #Conflicts: 614000 | #Constraints: 22429
625.11/626.59 c #Conflicts: 615000 | #Constraints: 23429
625.11/626.59 c #Conflicts: 616000 | #Constraints: 24429
625.11/626.59 c #Conflicts: 617000 | #Constraints: 25429
625.11/626.59 c #Conflicts: 618000 | #Constraints: 26429
625.11/626.59 c #Conflicts: 619000 | #Constraints: 27429
625.11/626.59 c #Conflicts: 620000 | #Constraints: 28429
625.11/626.59 c #Conflicts: 621000 | #Constraints: 29429
625.11/626.59 c #Conflicts: 622000 | #Constraints: 30429
625.11/626.59 c #Conflicts: 623000 | #Constraints: 31429
625.11/626.59 c INPROCESSING
625.11/626.59 c GARBAGE COLLECT
625.11/626.59 c #Conflicts: 624000 | #Constraints: 16832
625.11/626.59 c #Conflicts: 625000 | #Constraints: 17832
625.11/626.59 c #Conflicts: 626000 | #Constraints: 18832
625.11/626.59 c #Conflicts: 627000 | #Constraints: 19832
625.11/626.59 c #Conflicts: 628000 | #Constraints: 20832
625.11/626.59 c #Conflicts: 629000 | #Constraints: 21832
625.11/626.59 c #Conflicts: 630000 | #Constraints: 22832
625.11/626.59 c #Conflicts: 631000 | #Constraints: 23832
625.11/626.59 c #Conflicts: 632000 | #Constraints: 24832
625.11/626.59 c #Conflicts: 633000 | #Constraints: 25832
625.11/626.59 c #Conflicts: 634000 | #Constraints: 26832
625.11/626.59 c #Conflicts: 635000 | #Constraints: 27832
625.11/626.59 c #Conflicts: 636000 | #Constraints: 28832
625.11/626.59 c #Conflicts: 637000 | #Constraints: 29832
625.11/626.59 c #Conflicts: 638000 | #Constraints: 30832
625.11/626.59 c #Conflicts: 639000 | #Constraints: 31832
625.11/626.59 c INPROCESSING
625.11/626.59 c GARBAGE COLLECT
625.11/626.59 c #Conflicts: 640000 | #Constraints: 17028
625.11/626.59 c #Conflicts: 641000 | #Constraints: 18028
625.11/626.59 c #Conflicts: 642000 | #Constraints: 19028
625.11/626.59 c #Conflicts: 643000 | #Constraints: 20028
625.11/626.59 c #Conflicts: 644000 | #Constraints: 21028
625.11/626.59 c #Conflicts: 645000 | #Constraints: 22028
625.11/626.59 c #Conflicts: 646000 | #Constraints: 23028
625.11/626.59 c #Conflicts: 647000 | #Constraints: 24028
625.11/626.59 c #Conflicts: 648000 | #Constraints: 25028
625.11/626.59 c #Conflicts: 649000 | #Constraints: 26028
625.11/626.59 c #Conflicts: 650000 | #Constraints: 27028
625.11/626.59 c #Conflicts: 651000 | #Constraints: 28028
625.11/626.59 c #Conflicts: 652000 | #Constraints: 29028
625.11/626.59 c #Conflicts: 653000 | #Constraints: 30028
625.11/626.59 c #Conflicts: 654000 | #Constraints: 31028
625.11/626.59 c #Conflicts: 655000 | #Constraints: 32028
625.11/626.59 c INPROCESSING
625.11/626.59 c GARBAGE COLLECT
625.11/626.59 c #Conflicts: 656000 | #Constraints: 17028
625.11/626.59 c #Conflicts: 657000 | #Constraints: 18028
625.11/626.59 c #Conflicts: 658000 | #Constraints: 19028
625.11/626.59 c #Conflicts: 659000 | #Constraints: 20028
625.11/626.59 c #Conflicts: 660000 | #Constraints: 21028
625.11/626.59 c #Conflicts: 661000 | #Constraints: 22028
625.11/626.59 c #Conflicts: 662000 | #Constraints: 23028
743.74/745.44 c #Conflicts: 663000 | #Constraints: 24028
743.74/745.44 c #Conflicts: 664000 | #Constraints: 25028
743.74/745.44 c #Conflicts: 665000 | #Constraints: 26028
743.74/745.44 c #Conflicts: 666000 | #Constraints: 27028
743.74/745.44 c #Conflicts: 667000 | #Constraints: 28028
743.74/745.44 c #Conflicts: 668000 | #Constraints: 29028
743.74/745.44 c #Conflicts: 669000 | #Constraints: 30028
743.74/745.44 c #Conflicts: 670000 | #Constraints: 31028
743.74/745.44 c #Conflicts: 671000 | #Constraints: 32028
743.74/745.44 c INPROCESSING
743.74/745.44 c GARBAGE COLLECT
743.74/745.44 c #Conflicts: 672000 | #Constraints: 16829
743.74/745.44 c #Conflicts: 673000 | #Constraints: 17829
743.74/745.44 c #Conflicts: 674000 | #Constraints: 18829
743.74/745.44 c #Conflicts: 675000 | #Constraints: 19829
743.74/745.44 c #Conflicts: 676000 | #Constraints: 20829
743.74/745.44 c #Conflicts: 677000 | #Constraints: 21829
743.74/745.44 c #Conflicts: 678000 | #Constraints: 22829
743.74/745.44 c #Conflicts: 679000 | #Constraints: 23829
743.74/745.44 c #Conflicts: 680000 | #Constraints: 24829
743.74/745.44 c #Conflicts: 681000 | #Constraints: 25829
743.74/745.44 c #Conflicts: 682000 | #Constraints: 26829
743.74/745.44 c #Conflicts: 683000 | #Constraints: 27829
743.74/745.44 c #Conflicts: 684000 | #Constraints: 28829
743.74/745.44 c #Conflicts: 685000 | #Constraints: 29829
743.74/745.44 c #Conflicts: 686000 | #Constraints: 30829
743.74/745.44 c #Conflicts: 687000 | #Constraints: 31829
743.74/745.44 c #Conflicts: 688000 | #Constraints: 32829
743.74/745.44 c INPROCESSING
743.74/745.44 c GARBAGE COLLECT
743.74/745.44 c #Conflicts: 689000 | #Constraints: 17429
743.74/745.44 c #Conflicts: 690000 | #Constraints: 18429
743.74/745.44 c #Conflicts: 691000 | #Constraints: 19429
743.74/745.44 c #Conflicts: 692000 | #Constraints: 20429
743.74/745.44 c #Conflicts: 693000 | #Constraints: 21429
743.74/745.44 c #Conflicts: 694000 | #Constraints: 22429
743.74/745.44 c #Conflicts: 695000 | #Constraints: 23429
743.74/745.44 c #Conflicts: 696000 | #Constraints: 24429
743.74/745.44 c #Conflicts: 697000 | #Constraints: 25429
743.74/745.44 c #Conflicts: 698000 | #Constraints: 26429
743.74/745.44 c #Conflicts: 699000 | #Constraints: 27429
743.74/745.44 c #Conflicts: 700000 | #Constraints: 28429
743.74/745.44 c #Conflicts: 701000 | #Constraints: 29429
743.74/745.44 c #Conflicts: 702000 | #Constraints: 30429
743.74/745.44 c #Conflicts: 703000 | #Constraints: 31429
743.74/745.44 c #Conflicts: 704000 | #Constraints: 32429
743.74/745.44 c #Conflicts: 705000 | #Constraints: 33429
743.74/745.44 c INPROCESSING
743.74/745.44 c GARBAGE COLLECT
743.74/745.44 c #Conflicts: 706000 | #Constraints: 17832
743.74/745.44 c #Conflicts: 707000 | #Constraints: 18832
743.74/745.44 c #Conflicts: 708000 | #Constraints: 19832
743.74/745.44 c #Conflicts: 709000 | #Constraints: 20832
743.74/745.44 c #Conflicts: 710000 | #Constraints: 21832
743.74/745.44 c #Conflicts: 711000 | #Constraints: 22832
743.74/745.44 c #Conflicts: 712000 | #Constraints: 23832
743.74/745.44 c #Conflicts: 713000 | #Constraints: 24832
743.74/745.44 c #Conflicts: 714000 | #Constraints: 25832
743.74/745.44 c #Conflicts: 715000 | #Constraints: 26832
743.74/745.44 c #Conflicts: 716000 | #Constraints: 27832
743.74/745.44 c #Conflicts: 717000 | #Constraints: 28832
743.74/745.44 c #Conflicts: 718000 | #Constraints: 29832
743.74/745.44 c #Conflicts: 719000 | #Constraints: 30832
743.74/745.44 c #Conflicts: 720000 | #Constraints: 31832
743.74/745.44 c #Conflicts: 721000 | #Constraints: 32832
743.74/745.44 c #Conflicts: 722000 | #Constraints: 33832
743.74/745.44 c INPROCESSING
743.74/745.44 c GARBAGE COLLECT
743.74/745.44 c #Conflicts: 723000 | #Constraints: 18031
743.74/745.44 c #Conflicts: 724000 | #Constraints: 19031
743.74/745.44 c #Conflicts: 725000 | #Constraints: 20031
743.74/745.44 c #Conflicts: 726000 | #Constraints: 21031
743.74/745.44 c #Conflicts: 727000 | #Constraints: 22031
743.74/745.44 c #Conflicts: 728000 | #Constraints: 23031
743.74/745.44 c #Conflicts: 729000 | #Constraints: 24031
743.74/745.44 c #Conflicts: 730000 | #Constraints: 25031
743.74/745.44 c #Conflicts: 731000 | #Constraints: 26031
743.74/745.44 c #Conflicts: 732000 | #Constraints: 27031
743.74/745.44 c #Conflicts: 733000 | #Constraints: 28031
743.74/745.44 c #Conflicts: 734000 | #Constraints: 29031
743.74/745.44 c #Conflicts: 735000 | #Constraints: 30031
743.74/745.44 c #Conflicts: 736000 | #Constraints: 31031
743.74/745.44 c #Conflicts: 737000 | #Constraints: 32031
743.74/745.44 c #Conflicts: 738000 | #Constraints: 33031
866.27/868.20 c #Conflicts: 739000 | #Constraints: 34031
866.27/868.20 c INPROCESSING
866.27/868.20 c GARBAGE COLLECT
866.27/868.20 c #Conflicts: 740000 | #Constraints: 18031
866.27/868.20 c #Conflicts: 741000 | #Constraints: 19031
866.27/868.20 c #Conflicts: 742000 | #Constraints: 20031
866.27/868.20 c #Conflicts: 743000 | #Constraints: 21031
866.27/868.20 c #Conflicts: 744000 | #Constraints: 22031
866.27/868.20 c #Conflicts: 745000 | #Constraints: 23031
866.27/868.20 c #Conflicts: 746000 | #Constraints: 24031
866.27/868.20 c #Conflicts: 747000 | #Constraints: 25031
866.27/868.20 c #Conflicts: 748000 | #Constraints: 26031
866.27/868.20 c #Conflicts: 749000 | #Constraints: 27031
866.27/868.20 c #Conflicts: 750000 | #Constraints: 28031
866.27/868.20 c #Conflicts: 751000 | #Constraints: 29031
866.27/868.20 c #Conflicts: 752000 | #Constraints: 30031
866.27/868.20 c #Conflicts: 753000 | #Constraints: 31031
866.27/868.20 c #Conflicts: 754000 | #Constraints: 32031
866.27/868.20 c #Conflicts: 755000 | #Constraints: 33031
866.27/868.20 c #Conflicts: 756000 | #Constraints: 34031
866.27/868.20 c INPROCESSING
866.27/868.20 c GARBAGE COLLECT
866.27/868.20 c #Conflicts: 757000 | #Constraints: 17827
866.27/868.20 c #Conflicts: 758000 | #Constraints: 18827
866.27/868.20 c #Conflicts: 759000 | #Constraints: 19827
866.27/868.20 c #Conflicts: 760000 | #Constraints: 20827
866.27/868.20 c #Conflicts: 761000 | #Constraints: 21827
866.27/868.20 c #Conflicts: 762000 | #Constraints: 22827
866.27/868.20 c #Conflicts: 763000 | #Constraints: 23827
866.27/868.20 c #Conflicts: 764000 | #Constraints: 24827
866.27/868.20 c #Conflicts: 765000 | #Constraints: 25827
866.27/868.20 c #Conflicts: 766000 | #Constraints: 26827
866.27/868.20 c #Conflicts: 767000 | #Constraints: 27827
866.27/868.20 c #Conflicts: 768000 | #Constraints: 28827
866.27/868.20 c #Conflicts: 769000 | #Constraints: 29827
866.27/868.20 c #Conflicts: 770000 | #Constraints: 30827
866.27/868.20 c #Conflicts: 771000 | #Constraints: 31827
866.27/868.20 c #Conflicts: 772000 | #Constraints: 32827
866.27/868.20 c #Conflicts: 773000 | #Constraints: 33827
866.27/868.20 c #Conflicts: 774000 | #Constraints: 34827
866.27/868.20 c INPROCESSING
866.27/868.20 c GARBAGE COLLECT
866.27/868.20 c #Conflicts: 775000 | #Constraints: 18426
866.27/868.20 c #Conflicts: 776000 | #Constraints: 19426
866.27/868.20 c #Conflicts: 777000 | #Constraints: 20426
866.27/868.20 c #Conflicts: 778000 | #Constraints: 21426
866.27/868.20 c #Conflicts: 779000 | #Constraints: 22426
866.27/868.20 c #Conflicts: 780000 | #Constraints: 23426
866.27/868.20 c #Conflicts: 781000 | #Constraints: 24426
866.27/868.20 c #Conflicts: 782000 | #Constraints: 25426
866.27/868.20 c #Conflicts: 783000 | #Constraints: 26426
866.27/868.20 c #Conflicts: 784000 | #Constraints: 27426
866.27/868.20 c #Conflicts: 785000 | #Constraints: 28426
866.27/868.20 c #Conflicts: 786000 | #Constraints: 29426
866.27/868.20 c #Conflicts: 787000 | #Constraints: 30426
866.27/868.20 c #Conflicts: 788000 | #Constraints: 31426
866.27/868.20 c #Conflicts: 789000 | #Constraints: 32426
866.27/868.20 c #Conflicts: 790000 | #Constraints: 33426
866.27/868.20 c #Conflicts: 791000 | #Constraints: 34426
866.27/868.20 c #Conflicts: 792000 | #Constraints: 35426
866.27/868.20 c INPROCESSING
866.27/868.20 c GARBAGE COLLECT
866.27/868.20 c #Conflicts: 793000 | #Constraints: 18820
866.27/868.20 c #Conflicts: 794000 | #Constraints: 19820
866.27/868.20 c #Conflicts: 795000 | #Constraints: 20820
866.27/868.20 c #Conflicts: 796000 | #Constraints: 21820
866.27/868.20 c #Conflicts: 797000 | #Constraints: 22820
866.27/868.20 c #Conflicts: 798000 | #Constraints: 23820
866.27/868.20 c #Conflicts: 799000 | #Constraints: 24820
866.27/868.20 c #Conflicts: 800000 | #Constraints: 25820
866.27/868.20 c #Conflicts: 801000 | #Constraints: 26820
866.27/868.20 c #Conflicts: 802000 | #Constraints: 27820
866.27/868.20 c #Conflicts: 803000 | #Constraints: 28820
866.27/868.20 c #Conflicts: 804000 | #Constraints: 29820
866.27/868.20 c #Conflicts: 805000 | #Constraints: 30820
866.27/868.20 c #Conflicts: 806000 | #Constraints: 31820
866.27/868.20 c #Conflicts: 807000 | #Constraints: 32820
866.27/868.20 c #Conflicts: 808000 | #Constraints: 33820
866.27/868.20 c #Conflicts: 809000 | #Constraints: 34820
866.27/868.20 c #Conflicts: 810000 | #Constraints: 35820
866.27/868.20 c INPROCESSING
866.27/868.20 c GARBAGE COLLECT
866.27/868.20 c #Conflicts: 811000 | #Constraints: 19025
866.27/868.20 c #Conflicts: 812000 | #Constraints: 20025
866.27/868.20 c #Conflicts: 813000 | #Constraints: 21025
866.27/868.20 c #Conflicts: 814000 | #Constraints: 22025
999.40/1001.67 c #Conflicts: 815000 | #Constraints: 23025
999.40/1001.67 c #Conflicts: 816000 | #Constraints: 24025
999.40/1001.67 c #Conflicts: 817000 | #Constraints: 25025
999.40/1001.67 c #Conflicts: 818000 | #Constraints: 26025
999.40/1001.67 c #Conflicts: 819000 | #Constraints: 27025
999.40/1001.67 c #Conflicts: 820000 | #Constraints: 28025
999.40/1001.67 c #Conflicts: 821000 | #Constraints: 29025
999.40/1001.67 c #Conflicts: 822000 | #Constraints: 30025
999.40/1001.67 c #Conflicts: 823000 | #Constraints: 31025
999.40/1001.67 c #Conflicts: 824000 | #Constraints: 32025
999.40/1001.67 c #Conflicts: 825000 | #Constraints: 33025
999.40/1001.67 c #Conflicts: 826000 | #Constraints: 34025
999.40/1001.67 c #Conflicts: 827000 | #Constraints: 35025
999.40/1001.67 c #Conflicts: 828000 | #Constraints: 36025
999.40/1001.67 c INPROCESSING
999.40/1001.67 c GARBAGE COLLECT
999.40/1001.67 c #Conflicts: 829000 | #Constraints: 19030
999.40/1001.67 c #Conflicts: 830000 | #Constraints: 20030
999.40/1001.67 c #Conflicts: 831000 | #Constraints: 21030
999.40/1001.67 c #Conflicts: 832000 | #Constraints: 22030
999.40/1001.67 c #Conflicts: 833000 | #Constraints: 23030
999.40/1001.67 c #Conflicts: 834000 | #Constraints: 24030
999.40/1001.67 c #Conflicts: 835000 | #Constraints: 25030
999.40/1001.67 c #Conflicts: 836000 | #Constraints: 26030
999.40/1001.67 c #Conflicts: 837000 | #Constraints: 27030
999.40/1001.67 c #Conflicts: 838000 | #Constraints: 28030
999.40/1001.67 c #Conflicts: 839000 | #Constraints: 29030
999.40/1001.67 c #Conflicts: 840000 | #Constraints: 30030
999.40/1001.67 c #Conflicts: 841000 | #Constraints: 31030
999.40/1001.67 c #Conflicts: 842000 | #Constraints: 32030
999.40/1001.67 c #Conflicts: 843000 | #Constraints: 33030
999.40/1001.67 c #Conflicts: 844000 | #Constraints: 34030
999.40/1001.67 c #Conflicts: 845000 | #Constraints: 35030
999.40/1001.67 c #Conflicts: 846000 | #Constraints: 36030
999.40/1001.67 c INPROCESSING
999.40/1001.67 c GARBAGE COLLECT
999.40/1001.67 c #Conflicts: 847000 | #Constraints: 18830
999.40/1001.67 c #Conflicts: 848000 | #Constraints: 19830
999.40/1001.67 c #Conflicts: 849000 | #Constraints: 20830
999.40/1001.67 c #Conflicts: 850000 | #Constraints: 21830
999.40/1001.67 c #Conflicts: 851000 | #Constraints: 22830
999.40/1001.67 c #Conflicts: 852000 | #Constraints: 23830
999.40/1001.67 c #Conflicts: 853000 | #Constraints: 24830
999.40/1001.67 c #Conflicts: 854000 | #Constraints: 25830
999.40/1001.67 c #Conflicts: 855000 | #Constraints: 26830
999.40/1001.67 c #Conflicts: 856000 | #Constraints: 27830
999.40/1001.67 c #Conflicts: 857000 | #Constraints: 28830
999.40/1001.67 c #Conflicts: 858000 | #Constraints: 29830
999.40/1001.67 c #Conflicts: 859000 | #Constraints: 30830
999.40/1001.67 c #Conflicts: 860000 | #Constraints: 31830
999.40/1001.67 c #Conflicts: 861000 | #Constraints: 32830
999.40/1001.67 c #Conflicts: 862000 | #Constraints: 33830
999.40/1001.67 c #Conflicts: 863000 | #Constraints: 34830
999.40/1001.67 c #Conflicts: 864000 | #Constraints: 35830
999.40/1001.67 c #Conflicts: 865000 | #Constraints: 36830
999.40/1001.67 c INPROCESSING
999.40/1001.67 c GARBAGE COLLECT
999.40/1001.67 c #Conflicts: 866000 | #Constraints: 19428
999.40/1001.67 c #Conflicts: 867000 | #Constraints: 20428
999.40/1001.67 c #Conflicts: 868000 | #Constraints: 21428
999.40/1001.67 c #Conflicts: 869000 | #Constraints: 22428
999.40/1001.67 c #Conflicts: 870000 | #Constraints: 23428
999.40/1001.67 c #Conflicts: 871000 | #Constraints: 24428
999.40/1001.67 c #Conflicts: 872000 | #Constraints: 25428
999.40/1001.67 c #Conflicts: 873000 | #Constraints: 26428
999.40/1001.67 c #Conflicts: 874000 | #Constraints: 27428
999.40/1001.67 c #Conflicts: 875000 | #Constraints: 28428
999.40/1001.67 c #Conflicts: 876000 | #Constraints: 29428
999.40/1001.67 c #Conflicts: 877000 | #Constraints: 30428
999.40/1001.67 c #Conflicts: 878000 | #Constraints: 31428
999.40/1001.67 c #Conflicts: 879000 | #Constraints: 32428
999.40/1001.67 c #Conflicts: 880000 | #Constraints: 33428
999.40/1001.67 c #Conflicts: 881000 | #Constraints: 34428
999.40/1001.67 c #Conflicts: 882000 | #Constraints: 35428
999.40/1001.67 c #Conflicts: 883000 | #Constraints: 36428
999.40/1001.67 c #Conflicts: 884000 | #Constraints: 37428
999.40/1001.67 c INPROCESSING
999.40/1001.67 c GARBAGE COLLECT
999.40/1001.67 c #Conflicts: 885000 | #Constraints: 19828
999.40/1001.67 c #Conflicts: 886000 | #Constraints: 20828
999.40/1001.67 c #Conflicts: 887000 | #Constraints: 21828
999.40/1001.67 c #Conflicts: 888000 | #Constraints: 22828
999.40/1001.67 c #Conflicts: 889000 | #Constraints: 23828
999.40/1001.67 c #Conflicts: 890000 | #Constraints: 24828
1155.46/1158.08 c #Conflicts: 891000 | #Constraints: 25828
1155.46/1158.08 c #Conflicts: 892000 | #Constraints: 26828
1155.46/1158.08 c #Conflicts: 893000 | #Constraints: 27828
1155.46/1158.08 c #Conflicts: 894000 | #Constraints: 28828
1155.46/1158.08 c #Conflicts: 895000 | #Constraints: 29828
1155.46/1158.08 c #Conflicts: 896000 | #Constraints: 30828
1155.46/1158.08 c #Conflicts: 897000 | #Constraints: 31828
1155.46/1158.08 c #Conflicts: 898000 | #Constraints: 32828
1155.46/1158.08 c #Conflicts: 899000 | #Constraints: 33828
1155.46/1158.08 c #Conflicts: 900000 | #Constraints: 34828
1155.46/1158.08 c #Conflicts: 901000 | #Constraints: 35828
1155.46/1158.08 c #Conflicts: 902000 | #Constraints: 36828
1155.46/1158.08 c #Conflicts: 903000 | #Constraints: 37828
1155.46/1158.08 c INPROCESSING
1155.46/1158.08 c GARBAGE COLLECT
1155.46/1158.08 c #Conflicts: 904000 | #Constraints: 20027
1155.46/1158.08 c #Conflicts: 905000 | #Constraints: 21027
1155.46/1158.08 c #Conflicts: 906000 | #Constraints: 22027
1155.46/1158.08 c #Conflicts: 907000 | #Constraints: 23027
1155.46/1158.08 c #Conflicts: 908000 | #Constraints: 24027
1155.46/1158.08 c #Conflicts: 909000 | #Constraints: 25027
1155.46/1158.08 c #Conflicts: 910000 | #Constraints: 26027
1155.46/1158.08 c #Conflicts: 911000 | #Constraints: 27027
1155.46/1158.08 c #Conflicts: 912000 | #Constraints: 28027
1155.46/1158.08 c #Conflicts: 913000 | #Constraints: 29027
1155.46/1158.08 c #Conflicts: 914000 | #Constraints: 30027
1155.46/1158.08 c #Conflicts: 915000 | #Constraints: 31027
1155.46/1158.08 c #Conflicts: 916000 | #Constraints: 32027
1155.46/1158.08 c #Conflicts: 917000 | #Constraints: 33027
1155.46/1158.08 c #Conflicts: 918000 | #Constraints: 34027
1155.46/1158.08 c #Conflicts: 919000 | #Constraints: 35027
1155.46/1158.08 c #Conflicts: 920000 | #Constraints: 36027
1155.46/1158.08 c #Conflicts: 921000 | #Constraints: 37027
1155.46/1158.08 c #Conflicts: 922000 | #Constraints: 38027
1155.46/1158.08 c INPROCESSING
1155.46/1158.08 c GARBAGE COLLECT
1155.46/1158.08 c #Conflicts: 923000 | #Constraints: 20023
1155.46/1158.08 c #Conflicts: 924000 | #Constraints: 21023
1155.46/1158.08 c #Conflicts: 925000 | #Constraints: 22023
1155.46/1158.08 c #Conflicts: 926000 | #Constraints: 23023
1155.46/1158.08 c #Conflicts: 927000 | #Constraints: 24023
1155.46/1158.08 c #Conflicts: 928000 | #Constraints: 25023
1155.46/1158.08 c #Conflicts: 929000 | #Constraints: 26023
1155.46/1158.08 c #Conflicts: 930000 | #Constraints: 27023
1155.46/1158.08 c #Conflicts: 931000 | #Constraints: 28023
1155.46/1158.08 c #Conflicts: 932000 | #Constraints: 29023
1155.46/1158.08 c #Conflicts: 933000 | #Constraints: 30023
1155.46/1158.08 c #Conflicts: 934000 | #Constraints: 31023
1155.46/1158.08 c #Conflicts: 935000 | #Constraints: 32023
1155.46/1158.08 c #Conflicts: 936000 | #Constraints: 33023
1155.46/1158.08 c #Conflicts: 937000 | #Constraints: 34023
1155.46/1158.08 c #Conflicts: 938000 | #Constraints: 35023
1155.46/1158.08 c #Conflicts: 939000 | #Constraints: 36023
1155.46/1158.08 c #Conflicts: 940000 | #Constraints: 37023
1155.46/1158.08 c #Conflicts: 941000 | #Constraints: 38023
1155.46/1158.08 c INPROCESSING
1155.46/1158.08 c GARBAGE COLLECT
1155.46/1158.08 c #Conflicts: 942000 | #Constraints: 19830
1155.46/1158.08 c #Conflicts: 943000 | #Constraints: 20830
1155.46/1158.08 c #Conflicts: 944000 | #Constraints: 21830
1155.46/1158.08 c #Conflicts: 945000 | #Constraints: 22830
1155.46/1158.08 c #Conflicts: 946000 | #Constraints: 23830
1155.46/1158.08 c #Conflicts: 947000 | #Constraints: 24830
1155.46/1158.08 c #Conflicts: 948000 | #Constraints: 25830
1155.46/1158.08 c #Conflicts: 949000 | #Constraints: 26830
1155.46/1158.08 c #Conflicts: 950000 | #Constraints: 27830
1155.46/1158.08 c #Conflicts: 951000 | #Constraints: 28830
1155.46/1158.08 c #Conflicts: 952000 | #Constraints: 29830
1155.46/1158.08 c #Conflicts: 953000 | #Constraints: 30830
1155.46/1158.08 c #Conflicts: 954000 | #Constraints: 31830
1155.46/1158.08 c #Conflicts: 955000 | #Constraints: 32830
1155.46/1158.08 c #Conflicts: 956000 | #Constraints: 33830
1155.46/1158.08 c #Conflicts: 957000 | #Constraints: 34830
1155.46/1158.08 c #Conflicts: 958000 | #Constraints: 35830
1155.46/1158.08 c #Conflicts: 959000 | #Constraints: 36830
1155.46/1158.08 c #Conflicts: 960000 | #Constraints: 37830
1155.46/1158.08 c #Conflicts: 961000 | #Constraints: 38830
1155.46/1158.08 c INPROCESSING
1155.46/1158.08 c GARBAGE COLLECT
1155.46/1158.08 c #Conflicts: 962000 | #Constraints: 20430
1155.46/1158.08 c #Conflicts: 963000 | #Constraints: 21430
1155.46/1158.08 c #Conflicts: 964000 | #Constraints: 22430
1155.46/1158.08 c #Conflicts: 965000 | #Constraints: 23430
1155.46/1158.08 c #Conflicts: 966000 | #Constraints: 24430
1319.37/1322.31 c #Conflicts: 967000 | #Constraints: 25430
1319.37/1322.31 c #Conflicts: 968000 | #Constraints: 26430
1319.37/1322.31 c #Conflicts: 969000 | #Constraints: 27430
1319.37/1322.31 c #Conflicts: 970000 | #Constraints: 28430
1319.37/1322.31 c #Conflicts: 971000 | #Constraints: 29430
1319.37/1322.31 c #Conflicts: 972000 | #Constraints: 30430
1319.37/1322.31 c #Conflicts: 973000 | #Constraints: 31430
1319.37/1322.31 c #Conflicts: 974000 | #Constraints: 32430
1319.37/1322.31 c #Conflicts: 975000 | #Constraints: 33430
1319.37/1322.31 c #Conflicts: 976000 | #Constraints: 34430
1319.37/1322.31 c #Conflicts: 977000 | #Constraints: 35430
1319.37/1322.31 c #Conflicts: 978000 | #Constraints: 36430
1319.37/1322.31 c #Conflicts: 979000 | #Constraints: 37430
1319.37/1322.31 c #Conflicts: 980000 | #Constraints: 38430
1319.37/1322.31 c #Conflicts: 981000 | #Constraints: 39430
1319.37/1322.31 c INPROCESSING
1319.37/1322.31 c GARBAGE COLLECT
1319.37/1322.31 c #Conflicts: 982000 | #Constraints: 20829
1319.37/1322.31 c #Conflicts: 983000 | #Constraints: 21829
1319.37/1322.31 c #Conflicts: 984000 | #Constraints: 22829
1319.37/1322.31 c #Conflicts: 985000 | #Constraints: 23829
1319.37/1322.31 c #Conflicts: 986000 | #Constraints: 24829
1319.37/1322.31 c #Conflicts: 987000 | #Constraints: 25829
1319.37/1322.31 c #Conflicts: 988000 | #Constraints: 26829
1319.37/1322.31 c #Conflicts: 989000 | #Constraints: 27829
1319.37/1322.31 c #Conflicts: 990000 | #Constraints: 28829
1319.37/1322.31 c #Conflicts: 991000 | #Constraints: 29829
1319.37/1322.31 c #Conflicts: 992000 | #Constraints: 30829
1319.37/1322.31 c #Conflicts: 993000 | #Constraints: 31829
1319.37/1322.31 c #Conflicts: 994000 | #Constraints: 32829
1319.37/1322.31 c #Conflicts: 995000 | #Constraints: 33829
1319.37/1322.31 c #Conflicts: 996000 | #Constraints: 34829
1319.37/1322.31 c #Conflicts: 997000 | #Constraints: 35829
1319.37/1322.31 c #Conflicts: 998000 | #Constraints: 36829
1319.37/1322.31 c #Conflicts: 999000 | #Constraints: 37829
1319.37/1322.31 c #Conflicts: 1000000 | #Constraints: 38829
1319.37/1322.31 c #Conflicts: 1001000 | #Constraints: 39829
1319.37/1322.31 c INPROCESSING
1319.37/1322.31 c GARBAGE COLLECT
1319.37/1322.31 c #Conflicts: 1002000 | #Constraints: 21035
1319.37/1322.31 c #Conflicts: 1003000 | #Constraints: 22035
1319.37/1322.31 c #Conflicts: 1004000 | #Constraints: 23035
1319.37/1322.31 c #Conflicts: 1005000 | #Constraints: 24035
1319.37/1322.31 c #Conflicts: 1006000 | #Constraints: 25035
1319.37/1322.31 c #Conflicts: 1007000 | #Constraints: 26035
1319.37/1322.31 c #Conflicts: 1008000 | #Constraints: 27035
1319.37/1322.31 c #Conflicts: 1009000 | #Constraints: 28035
1319.37/1322.31 c #Conflicts: 1010000 | #Constraints: 29035
1319.37/1322.31 c #Conflicts: 1011000 | #Constraints: 30035
1319.37/1322.31 c #Conflicts: 1012000 | #Constraints: 31035
1319.37/1322.31 c #Conflicts: 1013000 | #Constraints: 32035
1319.37/1322.31 c #Conflicts: 1014000 | #Constraints: 33035
1319.37/1322.31 c #Conflicts: 1015000 | #Constraints: 34035
1319.37/1322.31 c #Conflicts: 1016000 | #Constraints: 35035
1319.37/1322.31 c #Conflicts: 1017000 | #Constraints: 36035
1319.37/1322.31 c #Conflicts: 1018000 | #Constraints: 37035
1319.37/1322.31 c #Conflicts: 1019000 | #Constraints: 38035
1319.37/1322.31 c #Conflicts: 1020000 | #Constraints: 39035
1319.37/1322.31 c #Conflicts: 1021000 | #Constraints: 40035
1319.37/1322.31 c INPROCESSING
1319.37/1322.31 c GARBAGE COLLECT
1319.37/1322.31 c #Conflicts: 1022000 | #Constraints: 21031
1319.37/1322.31 c #Conflicts: 1023000 | #Constraints: 22031
1319.37/1322.31 c #Conflicts: 1024000 | #Constraints: 23031
1319.37/1322.31 c #Conflicts: 1025000 | #Constraints: 24031
1319.37/1322.31 c #Conflicts: 1026000 | #Constraints: 25031
1319.37/1322.31 c #Conflicts: 1027000 | #Constraints: 26031
1319.37/1322.31 c #Conflicts: 1028000 | #Constraints: 27031
1319.37/1322.31 c #Conflicts: 1029000 | #Constraints: 28031
1319.37/1322.31 c #Conflicts: 1030000 | #Constraints: 29031
1319.37/1322.31 c #Conflicts: 1031000 | #Constraints: 30031
1319.37/1322.31 c #Conflicts: 1032000 | #Constraints: 31031
1319.37/1322.31 c #Conflicts: 1033000 | #Constraints: 32031
1319.37/1322.31 c #Conflicts: 1034000 | #Constraints: 33031
1319.37/1322.31 c #Conflicts: 1035000 | #Constraints: 34031
1319.37/1322.31 c #Conflicts: 1036000 | #Constraints: 35031
1319.37/1322.31 c #Conflicts: 1037000 | #Constraints: 36031
1319.37/1322.31 c #Conflicts: 1038000 | #Constraints: 37031
1319.37/1322.31 c #Conflicts: 1039000 | #Constraints: 38031
1319.37/1322.31 c #Conflicts: 1040000 | #Constraints: 39031
1319.37/1322.31 c #Conflicts: 1041000 | #Constraints: 40031
1319.37/1322.31 c INPROCESSING
1319.37/1322.31 c GARBAGE COLLECT
1319.37/1322.31 c #Conflicts: 1042000 | #Constraints: 20829
1319.37/1322.31 c #Conflicts: 1043000 | #Constraints: 21829
1489.31/1492.66 c #Conflicts: 1044000 | #Constraints: 22829
1489.31/1492.66 c #Conflicts: 1045000 | #Constraints: 23829
1489.31/1492.66 c #Conflicts: 1046000 | #Constraints: 24829
1489.31/1492.66 c #Conflicts: 1047000 | #Constraints: 25829
1489.31/1492.66 c #Conflicts: 1048000 | #Constraints: 26829
1489.31/1492.66 c #Conflicts: 1049000 | #Constraints: 27829
1489.31/1492.66 c #Conflicts: 1050000 | #Constraints: 28829
1489.31/1492.66 c #Conflicts: 1051000 | #Constraints: 29829
1489.31/1492.66 c #Conflicts: 1052000 | #Constraints: 30829
1489.31/1492.66 c #Conflicts: 1053000 | #Constraints: 31829
1489.31/1492.66 c #Conflicts: 1054000 | #Constraints: 32829
1489.31/1492.66 c #Conflicts: 1055000 | #Constraints: 33829
1489.31/1492.66 c #Conflicts: 1056000 | #Constraints: 34829
1489.31/1492.66 c #Conflicts: 1057000 | #Constraints: 35829
1489.31/1492.66 c #Conflicts: 1058000 | #Constraints: 36829
1489.31/1492.66 c #Conflicts: 1059000 | #Constraints: 37829
1489.31/1492.66 c #Conflicts: 1060000 | #Constraints: 38829
1489.31/1492.66 c #Conflicts: 1061000 | #Constraints: 39829
1489.31/1492.66 c #Conflicts: 1062000 | #Constraints: 40829
1489.31/1492.66 c INPROCESSING
1489.31/1492.66 c GARBAGE COLLECT
1489.31/1492.66 c #Conflicts: 1063000 | #Constraints: 21432
1489.31/1492.66 c #Conflicts: 1064000 | #Constraints: 22432
1489.31/1492.66 c #Conflicts: 1065000 | #Constraints: 23432
1489.31/1492.66 c #Conflicts: 1066000 | #Constraints: 24432
1489.31/1492.66 c #Conflicts: 1067000 | #Constraints: 25432
1489.31/1492.66 c #Conflicts: 1068000 | #Constraints: 26432
1489.31/1492.66 c #Conflicts: 1069000 | #Constraints: 27432
1489.31/1492.66 c #Conflicts: 1070000 | #Constraints: 28432
1489.31/1492.66 c #Conflicts: 1071000 | #Constraints: 29432
1489.31/1492.66 c #Conflicts: 1072000 | #Constraints: 30432
1489.31/1492.66 c #Conflicts: 1073000 | #Constraints: 31432
1489.31/1492.66 c #Conflicts: 1074000 | #Constraints: 32432
1489.31/1492.66 c #Conflicts: 1075000 | #Constraints: 33432
1489.31/1492.66 c #Conflicts: 1076000 | #Constraints: 34432
1489.31/1492.66 c #Conflicts: 1077000 | #Constraints: 35432
1489.31/1492.66 c #Conflicts: 1078000 | #Constraints: 36432
1489.31/1492.66 c #Conflicts: 1079000 | #Constraints: 37432
1489.31/1492.66 c #Conflicts: 1080000 | #Constraints: 38432
1489.31/1492.66 c #Conflicts: 1081000 | #Constraints: 39432
1489.31/1492.66 c #Conflicts: 1082000 | #Constraints: 40432
1489.31/1492.66 c #Conflicts: 1083000 | #Constraints: 41432
1489.31/1492.66 c INPROCESSING
1489.31/1492.66 c GARBAGE COLLECT
1489.31/1492.66 c #Conflicts: 1084000 | #Constraints: 21831
1489.31/1492.66 c #Conflicts: 1085000 | #Constraints: 22831
1489.31/1492.66 c #Conflicts: 1086000 | #Constraints: 23831
1489.31/1492.66 c #Conflicts: 1087000 | #Constraints: 24831
1489.31/1492.66 c #Conflicts: 1088000 | #Constraints: 25831
1489.31/1492.66 c #Conflicts: 1089000 | #Constraints: 26831
1489.31/1492.66 c #Conflicts: 1090000 | #Constraints: 27831
1489.31/1492.66 c #Conflicts: 1091000 | #Constraints: 28831
1489.31/1492.66 c #Conflicts: 1092000 | #Constraints: 29831
1489.31/1492.66 c #Conflicts: 1093000 | #Constraints: 30831
1489.31/1492.66 c #Conflicts: 1094000 | #Constraints: 31831
1489.31/1492.66 c #Conflicts: 1095000 | #Constraints: 32831
1489.31/1492.66 c #Conflicts: 1096000 | #Constraints: 33831
1489.31/1492.66 c #Conflicts: 1097000 | #Constraints: 34831
1489.31/1492.66 c #Conflicts: 1098000 | #Constraints: 35831
1489.31/1492.66 c #Conflicts: 1099000 | #Constraints: 36831
1489.31/1492.66 c #Conflicts: 1100000 | #Constraints: 37831
1489.31/1492.66 c #Conflicts: 1101000 | #Constraints: 38831
1489.31/1492.66 c #Conflicts: 1102000 | #Constraints: 39831
1489.31/1492.66 c #Conflicts: 1103000 | #Constraints: 40831
1489.31/1492.66 c #Conflicts: 1104000 | #Constraints: 41831
1489.31/1492.66 c INPROCESSING
1489.31/1492.66 c GARBAGE COLLECT
1489.31/1492.66 c #Conflicts: 1105000 | #Constraints: 22030
1489.31/1492.66 c #Conflicts: 1106000 | #Constraints: 23030
1489.31/1492.66 c #Conflicts: 1107000 | #Constraints: 24030
1489.31/1492.66 c #Conflicts: 1108000 | #Constraints: 25030
1489.31/1492.66 c #Conflicts: 1109000 | #Constraints: 26030
1489.31/1492.66 c #Conflicts: 1110000 | #Constraints: 27030
1489.31/1492.66 c #Conflicts: 1111000 | #Constraints: 28030
1489.31/1492.66 c #Conflicts: 1112000 | #Constraints: 29030
1489.31/1492.66 c #Conflicts: 1113000 | #Constraints: 30030
1489.31/1492.66 c #Conflicts: 1114000 | #Constraints: 31030
1489.31/1492.66 c #Conflicts: 1115000 | #Constraints: 32030
1489.31/1492.66 c #Conflicts: 1116000 | #Constraints: 33030
1489.31/1492.66 c #Conflicts: 1117000 | #Constraints: 34030
1489.31/1492.66 c #Conflicts: 1118000 | #Constraints: 35030
1489.31/1492.66 c #Conflicts: 1119000 | #Constraints: 36030
1665.43/1669.15 c #Conflicts: 1120000 | #Constraints: 37030
1665.43/1669.15 c #Conflicts: 1121000 | #Constraints: 38030
1665.43/1669.15 c #Conflicts: 1122000 | #Constraints: 39030
1665.43/1669.15 c #Conflicts: 1123000 | #Constraints: 40030
1665.43/1669.15 c #Conflicts: 1124000 | #Constraints: 41030
1665.43/1669.15 c #Conflicts: 1125000 | #Constraints: 42030
1665.43/1669.15 c INPROCESSING
1665.43/1669.15 c GARBAGE COLLECT
1665.43/1669.15 c #Conflicts: 1126000 | #Constraints: 22032
1665.43/1669.15 c #Conflicts: 1127000 | #Constraints: 23032
1665.43/1669.15 c #Conflicts: 1128000 | #Constraints: 24032
1665.43/1669.15 c #Conflicts: 1129000 | #Constraints: 25032
1665.43/1669.15 c #Conflicts: 1130000 | #Constraints: 26032
1665.43/1669.15 c #Conflicts: 1131000 | #Constraints: 27032
1665.43/1669.15 c #Conflicts: 1132000 | #Constraints: 28032
1665.43/1669.15 c #Conflicts: 1133000 | #Constraints: 29032
1665.43/1669.15 c #Conflicts: 1134000 | #Constraints: 30032
1665.43/1669.15 c #Conflicts: 1135000 | #Constraints: 31032
1665.43/1669.15 c #Conflicts: 1136000 | #Constraints: 32032
1665.43/1669.15 c #Conflicts: 1137000 | #Constraints: 33032
1665.43/1669.15 c #Conflicts: 1138000 | #Constraints: 34032
1665.43/1669.15 c #Conflicts: 1139000 | #Constraints: 35032
1665.43/1669.15 c #Conflicts: 1140000 | #Constraints: 36032
1665.43/1669.15 c #Conflicts: 1141000 | #Constraints: 37032
1665.43/1669.15 c #Conflicts: 1142000 | #Constraints: 38032
1665.43/1669.15 c #Conflicts: 1143000 | #Constraints: 39032
1665.43/1669.15 c #Conflicts: 1144000 | #Constraints: 40032
1665.43/1669.15 c #Conflicts: 1145000 | #Constraints: 41032
1665.43/1669.15 c #Conflicts: 1146000 | #Constraints: 42032
1665.43/1669.15 c INPROCESSING
1665.43/1669.15 c GARBAGE COLLECT
1665.43/1669.15 c #Conflicts: 1147000 | #Constraints: 21830
1665.43/1669.15 c #Conflicts: 1148000 | #Constraints: 22830
1665.43/1669.15 c #Conflicts: 1149000 | #Constraints: 23830
1665.43/1669.15 c #Conflicts: 1150000 | #Constraints: 24830
1665.43/1669.15 c #Conflicts: 1151000 | #Constraints: 25830
1665.43/1669.15 c #Conflicts: 1152000 | #Constraints: 26830
1665.43/1669.15 c #Conflicts: 1153000 | #Constraints: 27830
1665.43/1669.15 c #Conflicts: 1154000 | #Constraints: 28830
1665.43/1669.15 c #Conflicts: 1155000 | #Constraints: 29830
1665.43/1669.15 c #Conflicts: 1156000 | #Constraints: 30830
1665.43/1669.15 c #Conflicts: 1157000 | #Constraints: 31830
1665.43/1669.15 c #Conflicts: 1158000 | #Constraints: 32830
1665.43/1669.15 c #Conflicts: 1159000 | #Constraints: 33830
1665.43/1669.15 c #Conflicts: 1160000 | #Constraints: 34830
1665.43/1669.15 c #Conflicts: 1161000 | #Constraints: 35830
1665.43/1669.15 c #Conflicts: 1162000 | #Constraints: 36830
1665.43/1669.15 c #Conflicts: 1163000 | #Constraints: 37830
1665.43/1669.15 c #Conflicts: 1164000 | #Constraints: 38830
1665.43/1669.15 c #Conflicts: 1165000 | #Constraints: 39830
1665.43/1669.15 c #Conflicts: 1166000 | #Constraints: 40830
1665.43/1669.15 c #Conflicts: 1167000 | #Constraints: 41830
1665.43/1669.15 c #Conflicts: 1168000 | #Constraints: 42830
1665.43/1669.15 c INPROCESSING
1665.43/1669.15 c GARBAGE COLLECT
1665.43/1669.15 c #Conflicts: 1169000 | #Constraints: 22429
1665.43/1669.15 c #Conflicts: 1170000 | #Constraints: 23429
1665.43/1669.15 c #Conflicts: 1171000 | #Constraints: 24429
1665.43/1669.15 c #Conflicts: 1172000 | #Constraints: 25429
1665.43/1669.15 c #Conflicts: 1173000 | #Constraints: 26429
1665.43/1669.15 c #Conflicts: 1174000 | #Constraints: 27429
1665.43/1669.15 c #Conflicts: 1175000 | #Constraints: 28429
1665.43/1669.15 c #Conflicts: 1176000 | #Constraints: 29429
1665.43/1669.15 c #Conflicts: 1177000 | #Constraints: 30429
1665.43/1669.15 c #Conflicts: 1178000 | #Constraints: 31429
1665.43/1669.15 c #Conflicts: 1179000 | #Constraints: 32429
1665.43/1669.15 c #Conflicts: 1180000 | #Constraints: 33429
1665.43/1669.15 c #Conflicts: 1181000 | #Constraints: 34429
1665.43/1669.15 c #Conflicts: 1182000 | #Constraints: 35429
1665.43/1669.15 c #Conflicts: 1183000 | #Constraints: 36429
1665.43/1669.15 c #Conflicts: 1184000 | #Constraints: 37429
1665.43/1669.15 c #Conflicts: 1185000 | #Constraints: 38429
1665.43/1669.15 c #Conflicts: 1186000 | #Constraints: 39429
1665.43/1669.15 c #Conflicts: 1187000 | #Constraints: 40429
1665.43/1669.15 c #Conflicts: 1188000 | #Constraints: 41429
1665.43/1669.15 c #Conflicts: 1189000 | #Constraints: 42429
1665.43/1669.15 c #Conflicts: 1190000 | #Constraints: 43429
1665.43/1669.15 c INPROCESSING
1665.43/1669.15 c GARBAGE COLLECT
1665.43/1669.15 c #Conflicts: 1191000 | #Constraints: 22828
1665.43/1669.15 c #Conflicts: 1192000 | #Constraints: 23828
1665.43/1669.15 c #Conflicts: 1193000 | #Constraints: 24828
1665.43/1669.15 c #Conflicts: 1194000 | #Constraints: 25828
1665.43/1669.15 c #Conflicts: 1195000 | #Constraints: 26828
1665.43/1669.15 c #Conflicts: 1196000 | #Constraints: 27828
1849.43/1853.56 c #Conflicts: 1197000 | #Constraints: 28828
1849.43/1853.56 c #Conflicts: 1198000 | #Constraints: 29828
1849.43/1853.56 c #Conflicts: 1199000 | #Constraints: 30828
1849.43/1853.56 c #Conflicts: 1200000 | #Constraints: 31828
1849.43/1853.56 c #Conflicts: 1201000 | #Constraints: 32828
1849.43/1853.56 c #Conflicts: 1202000 | #Constraints: 33828
1849.43/1853.56 c #Conflicts: 1203000 | #Constraints: 34828
1849.43/1853.56 c #Conflicts: 1204000 | #Constraints: 35828
1849.43/1853.56 c #Conflicts: 1205000 | #Constraints: 36828
1849.43/1853.56 c #Conflicts: 1206000 | #Constraints: 37828
1849.43/1853.56 c #Conflicts: 1207000 | #Constraints: 38828
1849.43/1853.56 c #Conflicts: 1208000 | #Constraints: 39828
1849.43/1853.56 c #Conflicts: 1209000 | #Constraints: 40828
1849.43/1853.56 c #Conflicts: 1210000 | #Constraints: 41828
1849.43/1853.56 c #Conflicts: 1211000 | #Constraints: 42828
1849.43/1853.56 c #Conflicts: 1212000 | #Constraints: 43828
1849.43/1853.56 c INPROCESSING
1849.43/1853.56 c GARBAGE COLLECT
1849.43/1853.56 c #Conflicts: 1213000 | #Constraints: 23033
1849.43/1853.56 c #Conflicts: 1214000 | #Constraints: 24033
1849.43/1853.56 c #Conflicts: 1215000 | #Constraints: 25033
1849.43/1853.56 c #Conflicts: 1216000 | #Constraints: 26033
1849.43/1853.56 c #Conflicts: 1217000 | #Constraints: 27033
1849.43/1853.56 c #Conflicts: 1218000 | #Constraints: 28033
1849.43/1853.56 c #Conflicts: 1219000 | #Constraints: 29033
1849.43/1853.56 c #Conflicts: 1220000 | #Constraints: 30033
1849.43/1853.56 c #Conflicts: 1221000 | #Constraints: 31033
1849.43/1853.56 c #Conflicts: 1222000 | #Constraints: 32033
1849.43/1853.56 c #Conflicts: 1223000 | #Constraints: 33033
1849.43/1853.56 c #Conflicts: 1224000 | #Constraints: 34033
1849.43/1853.56 c #Conflicts: 1225000 | #Constraints: 35033
1849.43/1853.56 c #Conflicts: 1226000 | #Constraints: 36033
1849.43/1853.56 c #Conflicts: 1227000 | #Constraints: 37033
1849.43/1853.56 c #Conflicts: 1228000 | #Constraints: 38033
1849.43/1853.56 c #Conflicts: 1229000 | #Constraints: 39033
1849.43/1853.56 c #Conflicts: 1230000 | #Constraints: 40033
1849.43/1853.56 c #Conflicts: 1231000 | #Constraints: 41033
1849.43/1853.56 c #Conflicts: 1232000 | #Constraints: 42033
1849.43/1853.56 c #Conflicts: 1233000 | #Constraints: 43033
1849.43/1853.56 c #Conflicts: 1234000 | #Constraints: 44033
1849.43/1853.56 c INPROCESSING
1849.43/1853.56 c GARBAGE COLLECT
1849.43/1853.56 c #Conflicts: 1235000 | #Constraints: 23032
1849.43/1853.56 c #Conflicts: 1236000 | #Constraints: 24032
1849.43/1853.56 c #Conflicts: 1237000 | #Constraints: 25032
1849.43/1853.56 c #Conflicts: 1238000 | #Constraints: 26032
1849.43/1853.56 c #Conflicts: 1239000 | #Constraints: 27032
1849.43/1853.56 c #Conflicts: 1240000 | #Constraints: 28032
1849.43/1853.56 c #Conflicts: 1241000 | #Constraints: 29032
1849.43/1853.56 c #Conflicts: 1242000 | #Constraints: 30032
1849.43/1853.56 c #Conflicts: 1243000 | #Constraints: 31032
1849.43/1853.56 c #Conflicts: 1244000 | #Constraints: 32032
1849.43/1853.56 c #Conflicts: 1245000 | #Constraints: 33032
1849.43/1853.56 c #Conflicts: 1246000 | #Constraints: 34032
1849.43/1853.56 c #Conflicts: 1247000 | #Constraints: 35032
1849.43/1853.56 c #Conflicts: 1248000 | #Constraints: 36032
1849.43/1853.56 c #Conflicts: 1249000 | #Constraints: 37032
1849.43/1853.56 c #Conflicts: 1250000 | #Constraints: 38032
1849.43/1853.56 c #Conflicts: 1251000 | #Constraints: 39032
1849.43/1853.56 c #Conflicts: 1252000 | #Constraints: 40032
1849.43/1853.56 c #Conflicts: 1253000 | #Constraints: 41032
1849.43/1853.56 c #Conflicts: 1254000 | #Constraints: 42032
1849.43/1853.56 c #Conflicts: 1255000 | #Constraints: 43032
1849.43/1853.56 c #Conflicts: 1256000 | #Constraints: 44032
1849.43/1853.56 c INPROCESSING
1849.43/1853.56 c GARBAGE COLLECT
1849.43/1853.56 c #Conflicts: 1257000 | #Constraints: 22828
1849.43/1853.56 c #Conflicts: 1258000 | #Constraints: 23828
1849.43/1853.56 c #Conflicts: 1259000 | #Constraints: 24828
1849.43/1853.56 c #Conflicts: 1260000 | #Constraints: 25828
1849.43/1853.56 c #Conflicts: 1261000 | #Constraints: 26828
1849.43/1853.56 c #Conflicts: 1262000 | #Constraints: 27828
1849.43/1853.56 c #Conflicts: 1263000 | #Constraints: 28828
1849.43/1853.56 c #Conflicts: 1264000 | #Constraints: 29828
1849.43/1853.56 c #Conflicts: 1265000 | #Constraints: 30828
1849.43/1853.56 c #Conflicts: 1266000 | #Constraints: 31828
1849.43/1853.56 c #Conflicts: 1267000 | #Constraints: 32828
1849.43/1853.56 c #Conflicts: 1268000 | #Constraints: 33828
1849.43/1853.56 c #Conflicts: 1269000 | #Constraints: 34828
1849.43/1853.56 c #Conflicts: 1270000 | #Constraints: 35828
1849.43/1853.56 c #Conflicts: 1271000 | #Constraints: 36828
1849.43/1853.56 c #Conflicts: 1272000 | #Constraints: 37828
1849.43/1853.56 c #Conflicts: 1273000 | #Constraints: 38828
2055.37/2059.93 c #Conflicts: 1274000 | #Constraints: 39828
2055.37/2059.93 c #Conflicts: 1275000 | #Constraints: 40828
2055.37/2059.93 c #Conflicts: 1276000 | #Constraints: 41828
2055.37/2059.93 c #Conflicts: 1277000 | #Constraints: 42828
2055.37/2059.93 c #Conflicts: 1278000 | #Constraints: 43828
2055.37/2059.93 c #Conflicts: 1279000 | #Constraints: 44828
2055.37/2059.93 c INPROCESSING
2055.37/2059.93 c GARBAGE COLLECT
2055.37/2059.93 c #Conflicts: 1280000 | #Constraints: 23428
2055.37/2059.93 c #Conflicts: 1281000 | #Constraints: 24428
2055.37/2059.93 c #Conflicts: 1282000 | #Constraints: 25428
2055.37/2059.93 c #Conflicts: 1283000 | #Constraints: 26428
2055.37/2059.93 c #Conflicts: 1284000 | #Constraints: 27428
2055.37/2059.93 c #Conflicts: 1285000 | #Constraints: 28428
2055.37/2059.93 c #Conflicts: 1286000 | #Constraints: 29428
2055.37/2059.93 c #Conflicts: 1287000 | #Constraints: 30428
2055.37/2059.93 c #Conflicts: 1288000 | #Constraints: 31428
2055.37/2059.93 c #Conflicts: 1289000 | #Constraints: 32428
2055.37/2059.93 c #Conflicts: 1290000 | #Constraints: 33428
2055.37/2059.93 c #Conflicts: 1291000 | #Constraints: 34428
2055.37/2059.93 c #Conflicts: 1292000 | #Constraints: 35428
2055.37/2059.93 c #Conflicts: 1293000 | #Constraints: 36428
2055.37/2059.93 c #Conflicts: 1294000 | #Constraints: 37428
2055.37/2059.93 c #Conflicts: 1295000 | #Constraints: 38428
2055.37/2059.93 c #Conflicts: 1296000 | #Constraints: 39428
2055.37/2059.93 c #Conflicts: 1297000 | #Constraints: 40428
2055.37/2059.93 c #Conflicts: 1298000 | #Constraints: 41428
2055.37/2059.93 c #Conflicts: 1299000 | #Constraints: 42428
2055.37/2059.93 c #Conflicts: 1300000 | #Constraints: 43428
2055.37/2059.93 c #Conflicts: 1301000 | #Constraints: 44428
2055.37/2059.93 c #Conflicts: 1302000 | #Constraints: 45428
2055.37/2059.93 c INPROCESSING
2055.37/2059.93 c GARBAGE COLLECT
2055.37/2059.93 c #Conflicts: 1303000 | #Constraints: 23825
2055.37/2059.93 c #Conflicts: 1304000 | #Constraints: 24825
2055.37/2059.93 c #Conflicts: 1305000 | #Constraints: 25825
2055.37/2059.93 c #Conflicts: 1306000 | #Constraints: 26825
2055.37/2059.93 c #Conflicts: 1307000 | #Constraints: 27825
2055.37/2059.93 c #Conflicts: 1308000 | #Constraints: 28825
2055.37/2059.93 c #Conflicts: 1309000 | #Constraints: 29825
2055.37/2059.93 c #Conflicts: 1310000 | #Constraints: 30825
2055.37/2059.93 c #Conflicts: 1311000 | #Constraints: 31825
2055.37/2059.93 c #Conflicts: 1312000 | #Constraints: 32825
2055.37/2059.93 c #Conflicts: 1313000 | #Constraints: 33825
2055.37/2059.93 c #Conflicts: 1314000 | #Constraints: 34825
2055.37/2059.93 c #Conflicts: 1315000 | #Constraints: 35825
2055.37/2059.93 c #Conflicts: 1316000 | #Constraints: 36825
2055.37/2059.93 c #Conflicts: 1317000 | #Constraints: 37825
2055.37/2059.93 c #Conflicts: 1318000 | #Constraints: 38825
2055.37/2059.93 c #Conflicts: 1319000 | #Constraints: 39825
2055.37/2059.93 c #Conflicts: 1320000 | #Constraints: 40825
2055.37/2059.93 c #Conflicts: 1321000 | #Constraints: 41825
2055.37/2059.93 c #Conflicts: 1322000 | #Constraints: 42825
2055.37/2059.93 c #Conflicts: 1323000 | #Constraints: 43825
2055.37/2059.93 c #Conflicts: 1324000 | #Constraints: 44825
2055.37/2059.93 c #Conflicts: 1325000 | #Constraints: 45825
2055.37/2059.93 c INPROCESSING
2055.37/2059.93 c GARBAGE COLLECT
2055.37/2059.93 c #Conflicts: 1326000 | #Constraints: 24034
2055.37/2059.93 c #Conflicts: 1327000 | #Constraints: 25034
2055.37/2059.93 c #Conflicts: 1328000 | #Constraints: 26034
2055.37/2059.93 c #Conflicts: 1329000 | #Constraints: 27034
2055.37/2059.93 c #Conflicts: 1330000 | #Constraints: 28034
2055.37/2059.93 c #Conflicts: 1331000 | #Constraints: 29034
2055.37/2059.93 c #Conflicts: 1332000 | #Constraints: 30034
2055.37/2059.93 c #Conflicts: 1333000 | #Constraints: 31034
2055.37/2059.93 c #Conflicts: 1334000 | #Constraints: 32034
2055.37/2059.93 c #Conflicts: 1335000 | #Constraints: 33034
2055.37/2059.93 c #Conflicts: 1336000 | #Constraints: 34034
2055.37/2059.93 c #Conflicts: 1337000 | #Constraints: 35034
2055.37/2059.93 c #Conflicts: 1338000 | #Constraints: 36034
2055.37/2059.93 c #Conflicts: 1339000 | #Constraints: 37034
2055.37/2059.93 c #Conflicts: 1340000 | #Constraints: 38034
2055.37/2059.93 c #Conflicts: 1341000 | #Constraints: 39034
2055.37/2059.93 c #Conflicts: 1342000 | #Constraints: 40034
2055.37/2059.93 c #Conflicts: 1343000 | #Constraints: 41034
2055.37/2059.93 c #Conflicts: 1344000 | #Constraints: 42034
2055.37/2059.93 c #Conflicts: 1345000 | #Constraints: 43034
2055.37/2059.93 c #Conflicts: 1346000 | #Constraints: 44034
2055.37/2059.93 c #Conflicts: 1347000 | #Constraints: 45034
2055.37/2059.93 c #Conflicts: 1348000 | #Constraints: 46034
2055.37/2059.93 c INPROCESSING
2055.37/2059.93 c GARBAGE COLLECT
2055.37/2059.93 c #Conflicts: 1349000 | #Constraints: 24032
2250.96/2255.93 c #Conflicts: 1350000 | #Constraints: 25032
2250.96/2255.93 c #Conflicts: 1351000 | #Constraints: 26032
2250.96/2255.93 c #Conflicts: 1352000 | #Constraints: 27032
2250.96/2255.93 c #Conflicts: 1353000 | #Constraints: 28032
2250.96/2255.93 c #Conflicts: 1354000 | #Constraints: 29032
2250.96/2255.93 c #Conflicts: 1355000 | #Constraints: 30032
2250.96/2255.93 c #Conflicts: 1356000 | #Constraints: 31032
2250.96/2255.93 c #Conflicts: 1357000 | #Constraints: 32032
2250.96/2255.93 c #Conflicts: 1358000 | #Constraints: 33032
2250.96/2255.93 c #Conflicts: 1359000 | #Constraints: 34032
2250.96/2255.93 c #Conflicts: 1360000 | #Constraints: 35032
2250.96/2255.93 c #Conflicts: 1361000 | #Constraints: 36032
2250.96/2255.93 c #Conflicts: 1362000 | #Constraints: 37032
2250.96/2255.93 c #Conflicts: 1363000 | #Constraints: 38032
2250.96/2255.93 c #Conflicts: 1364000 | #Constraints: 39032
2250.96/2255.93 c #Conflicts: 1365000 | #Constraints: 40032
2250.96/2255.93 c #Conflicts: 1366000 | #Constraints: 41032
2250.96/2255.93 c #Conflicts: 1367000 | #Constraints: 42032
2250.96/2255.93 c #Conflicts: 1368000 | #Constraints: 43032
2250.96/2255.93 c #Conflicts: 1369000 | #Constraints: 44032
2250.96/2255.93 c #Conflicts: 1370000 | #Constraints: 45032
2250.96/2255.93 c #Conflicts: 1371000 | #Constraints: 46032
2250.96/2255.93 c INPROCESSING
2250.96/2255.93 c GARBAGE COLLECT
2250.96/2255.93 c #Conflicts: 1372000 | #Constraints: 23835
2250.96/2255.93 c #Conflicts: 1373000 | #Constraints: 24835
2250.96/2255.93 c #Conflicts: 1374000 | #Constraints: 25835
2250.96/2255.93 c #Conflicts: 1375000 | #Constraints: 26835
2250.96/2255.93 c #Conflicts: 1376000 | #Constraints: 27835
2250.96/2255.93 c #Conflicts: 1377000 | #Constraints: 28835
2250.96/2255.93 c #Conflicts: 1378000 | #Constraints: 29835
2250.96/2255.93 c #Conflicts: 1379000 | #Constraints: 30835
2250.96/2255.93 c #Conflicts: 1380000 | #Constraints: 31835
2250.96/2255.93 c #Conflicts: 1381000 | #Constraints: 32835
2250.96/2255.93 c #Conflicts: 1382000 | #Constraints: 33835
2250.96/2255.93 c #Conflicts: 1383000 | #Constraints: 34835
2250.96/2255.93 c #Conflicts: 1384000 | #Constraints: 35835
2250.96/2255.93 c #Conflicts: 1385000 | #Constraints: 36835
2250.96/2255.93 c #Conflicts: 1386000 | #Constraints: 37835
2250.96/2255.93 c #Conflicts: 1387000 | #Constraints: 38835
2250.96/2255.93 c #Conflicts: 1388000 | #Constraints: 39835
2250.96/2255.93 c #Conflicts: 1389000 | #Constraints: 40835
2250.96/2255.93 c #Conflicts: 1390000 | #Constraints: 41835
2250.96/2255.93 c #Conflicts: 1391000 | #Constraints: 42835
2250.96/2255.93 c #Conflicts: 1392000 | #Constraints: 43835
2250.96/2255.93 c #Conflicts: 1393000 | #Constraints: 44835
2250.96/2255.93 c #Conflicts: 1394000 | #Constraints: 45835
2250.96/2255.93 c #Conflicts: 1395000 | #Constraints: 46835
2250.96/2255.93 c INPROCESSING
2250.96/2255.93 c GARBAGE COLLECT
2250.96/2255.93 c #Conflicts: 1396000 | #Constraints: 24435
2250.96/2255.93 c #Conflicts: 1397000 | #Constraints: 25435
2250.96/2255.93 c #Conflicts: 1398000 | #Constraints: 26435
2250.96/2255.93 c #Conflicts: 1399000 | #Constraints: 27435
2250.96/2255.93 c #Conflicts: 1400000 | #Constraints: 28435
2250.96/2255.93 c #Conflicts: 1401000 | #Constraints: 29435
2250.96/2255.93 c #Conflicts: 1402000 | #Constraints: 30435
2250.96/2255.93 c #Conflicts: 1403000 | #Constraints: 31435
2250.96/2255.93 c #Conflicts: 1404000 | #Constraints: 32435
2250.96/2255.93 c #Conflicts: 1405000 | #Constraints: 33435
2250.96/2255.93 c #Conflicts: 1406000 | #Constraints: 34435
2250.96/2255.93 c #Conflicts: 1407000 | #Constraints: 35435
2250.96/2255.93 c #Conflicts: 1408000 | #Constraints: 36435
2250.96/2255.93 c #Conflicts: 1409000 | #Constraints: 37435
2250.96/2255.93 c #Conflicts: 1410000 | #Constraints: 38435
2250.96/2255.93 c #Conflicts: 1411000 | #Constraints: 39435
2250.96/2255.93 c #Conflicts: 1412000 | #Constraints: 40435
2250.96/2255.93 c #Conflicts: 1413000 | #Constraints: 41435
2250.96/2255.93 c #Conflicts: 1414000 | #Constraints: 42435
2250.96/2255.93 c #Conflicts: 1415000 | #Constraints: 43435
2250.96/2255.93 c #Conflicts: 1416000 | #Constraints: 44435
2250.96/2255.93 c #Conflicts: 1417000 | #Constraints: 45435
2250.96/2255.93 c #Conflicts: 1418000 | #Constraints: 46435
2250.96/2255.93 c #Conflicts: 1419000 | #Constraints: 47435
2250.96/2255.93 c INPROCESSING
2250.96/2255.93 c GARBAGE COLLECT
2250.96/2255.93 c #Conflicts: 1420000 | #Constraints: 24836
2250.96/2255.93 c #Conflicts: 1421000 | #Constraints: 25836
2250.96/2255.93 c #Conflicts: 1422000 | #Constraints: 26836
2250.96/2255.93 c #Conflicts: 1423000 | #Constraints: 27836
2250.96/2255.93 c #Conflicts: 1424000 | #Constraints: 28836
2250.96/2255.93 c #Conflicts: 1425000 | #Constraints: 29836
2250.96/2255.93 c #Conflicts: 1426000 | #Constraints: 30836
2464.39/2469.82 c #Conflicts: 1427000 | #Constraints: 31836
2464.39/2469.82 c #Conflicts: 1428000 | #Constraints: 32836
2464.39/2469.82 c #Conflicts: 1429000 | #Constraints: 33836
2464.39/2469.82 c #Conflicts: 1430000 | #Constraints: 34836
2464.39/2469.82 c #Conflicts: 1431000 | #Constraints: 35836
2464.39/2469.82 c #Conflicts: 1432000 | #Constraints: 36836
2464.39/2469.82 c #Conflicts: 1433000 | #Constraints: 37836
2464.39/2469.82 c #Conflicts: 1434000 | #Constraints: 38836
2464.39/2469.82 c #Conflicts: 1435000 | #Constraints: 39836
2464.39/2469.82 c #Conflicts: 1436000 | #Constraints: 40836
2464.39/2469.82 c #Conflicts: 1437000 | #Constraints: 41836
2464.39/2469.82 c #Conflicts: 1438000 | #Constraints: 42836
2464.39/2469.82 c #Conflicts: 1439000 | #Constraints: 43836
2464.39/2469.82 c #Conflicts: 1440000 | #Constraints: 44836
2464.39/2469.82 c #Conflicts: 1441000 | #Constraints: 45836
2464.39/2469.82 c #Conflicts: 1442000 | #Constraints: 46836
2464.39/2469.82 c #Conflicts: 1443000 | #Constraints: 47836
2464.39/2469.82 c INPROCESSING
2464.39/2469.82 c GARBAGE COLLECT
2464.39/2469.82 c #Conflicts: 1444000 | #Constraints: 25037
2464.39/2469.82 c #Conflicts: 1445000 | #Constraints: 26037
2464.39/2469.83 c #Conflicts: 1446000 | #Constraints: 27037
2464.39/2469.83 c #Conflicts: 1447000 | #Constraints: 28037
2464.39/2469.83 c #Conflicts: 1448000 | #Constraints: 29037
2464.39/2469.83 c #Conflicts: 1449000 | #Constraints: 30037
2464.39/2469.83 c #Conflicts: 1450000 | #Constraints: 31037
2464.39/2469.83 c #Conflicts: 1451000 | #Constraints: 32037
2464.39/2469.83 c #Conflicts: 1452000 | #Constraints: 33037
2464.39/2469.83 c #Conflicts: 1453000 | #Constraints: 34037
2464.39/2469.83 c #Conflicts: 1454000 | #Constraints: 35037
2464.39/2469.83 c #Conflicts: 1455000 | #Constraints: 36037
2464.39/2469.83 c #Conflicts: 1456000 | #Constraints: 37037
2464.39/2469.83 c #Conflicts: 1457000 | #Constraints: 38037
2464.39/2469.83 c #Conflicts: 1458000 | #Constraints: 39037
2464.39/2469.83 c #Conflicts: 1459000 | #Constraints: 40037
2464.39/2469.83 c #Conflicts: 1460000 | #Constraints: 41037
2464.39/2469.83 c #Conflicts: 1461000 | #Constraints: 42037
2464.39/2469.83 c #Conflicts: 1462000 | #Constraints: 43037
2464.39/2469.83 c #Conflicts: 1463000 | #Constraints: 44037
2464.39/2469.83 c #Conflicts: 1464000 | #Constraints: 45037
2464.39/2469.83 c #Conflicts: 1465000 | #Constraints: 46037
2464.39/2469.83 c #Conflicts: 1466000 | #Constraints: 47037
2464.39/2469.83 c #Conflicts: 1467000 | #Constraints: 48037
2464.39/2469.83 c INPROCESSING
2464.39/2469.83 c GARBAGE COLLECT
2464.39/2469.83 c #Conflicts: 1468000 | #Constraints: 25034
2464.39/2469.83 c #Conflicts: 1469000 | #Constraints: 26034
2464.39/2469.83 c #Conflicts: 1470000 | #Constraints: 27034
2464.39/2469.83 c #Conflicts: 1471000 | #Constraints: 28034
2464.39/2469.83 c #Conflicts: 1472000 | #Constraints: 29034
2464.39/2469.83 c #Conflicts: 1473000 | #Constraints: 30034
2464.39/2469.83 c #Conflicts: 1474000 | #Constraints: 31034
2464.39/2469.83 c #Conflicts: 1475000 | #Constraints: 32034
2464.39/2469.83 c #Conflicts: 1476000 | #Constraints: 33034
2464.39/2469.83 c #Conflicts: 1477000 | #Constraints: 34034
2464.39/2469.83 c #Conflicts: 1478000 | #Constraints: 35034
2464.39/2469.83 c #Conflicts: 1479000 | #Constraints: 36034
2464.39/2469.83 c #Conflicts: 1480000 | #Constraints: 37034
2464.39/2469.83 c #Conflicts: 1481000 | #Constraints: 38034
2464.39/2469.83 c #Conflicts: 1482000 | #Constraints: 39034
2464.39/2469.83 c #Conflicts: 1483000 | #Constraints: 40034
2464.39/2469.83 c #Conflicts: 1484000 | #Constraints: 41034
2464.39/2469.83 c #Conflicts: 1485000 | #Constraints: 42034
2464.39/2469.83 c #Conflicts: 1486000 | #Constraints: 43034
2464.39/2469.83 c #Conflicts: 1487000 | #Constraints: 44034
2464.39/2469.83 c #Conflicts: 1488000 | #Constraints: 45034
2464.39/2469.83 c #Conflicts: 1489000 | #Constraints: 46034
2464.39/2469.83 c #Conflicts: 1490000 | #Constraints: 47034
2464.39/2469.83 c #Conflicts: 1491000 | #Constraints: 48034
2464.39/2469.83 c INPROCESSING
2464.39/2469.83 c GARBAGE COLLECT
2464.39/2469.83 c #Conflicts: 1492000 | #Constraints: 24831
2464.39/2469.83 c #Conflicts: 1493000 | #Constraints: 25831
2464.39/2469.83 c #Conflicts: 1494000 | #Constraints: 26831
2464.39/2469.83 c #Conflicts: 1495000 | #Constraints: 27831
2464.39/2469.83 c #Conflicts: 1496000 | #Constraints: 28831
2464.39/2469.83 c #Conflicts: 1497000 | #Constraints: 29831
2464.39/2469.83 c #Conflicts: 1498000 | #Constraints: 30831
2464.39/2469.83 c #Conflicts: 1499000 | #Constraints: 31831
2464.39/2469.83 c #Conflicts: 1500000 | #Constraints: 32831
2464.39/2469.83 c #Conflicts: 1501000 | #Constraints: 33831
2464.39/2469.83 c #Conflicts: 1502000 | #Constraints: 34831
2687.60/2693.58 c #Conflicts: 1503000 | #Constraints: 35831
2687.60/2693.58 c #Conflicts: 1504000 | #Constraints: 36831
2687.60/2693.58 c #Conflicts: 1505000 | #Constraints: 37831
2687.60/2693.58 c #Conflicts: 1506000 | #Constraints: 38831
2687.60/2693.58 c #Conflicts: 1507000 | #Constraints: 39831
2687.60/2693.58 c #Conflicts: 1508000 | #Constraints: 40831
2687.60/2693.58 c #Conflicts: 1509000 | #Constraints: 41831
2687.60/2693.58 c #Conflicts: 1510000 | #Constraints: 42831
2687.60/2693.58 c #Conflicts: 1511000 | #Constraints: 43831
2687.60/2693.58 c #Conflicts: 1512000 | #Constraints: 44831
2687.60/2693.58 c #Conflicts: 1513000 | #Constraints: 45831
2687.60/2693.58 c #Conflicts: 1514000 | #Constraints: 46831
2687.60/2693.58 c #Conflicts: 1515000 | #Constraints: 47831
2687.60/2693.58 c #Conflicts: 1516000 | #Constraints: 48831
2687.60/2693.58 c INPROCESSING
2687.60/2693.58 c GARBAGE COLLECT
2687.60/2693.58 c #Conflicts: 1517000 | #Constraints: 25430
2687.60/2693.58 c #Conflicts: 1518000 | #Constraints: 26430
2687.60/2693.58 c #Conflicts: 1519000 | #Constraints: 27430
2687.60/2693.58 c #Conflicts: 1520000 | #Constraints: 28430
2687.60/2693.58 c #Conflicts: 1521000 | #Constraints: 29430
2687.60/2693.58 c #Conflicts: 1522000 | #Constraints: 30430
2687.60/2693.58 c #Conflicts: 1523000 | #Constraints: 31430
2687.60/2693.58 c #Conflicts: 1524000 | #Constraints: 32430
2687.60/2693.58 c #Conflicts: 1525000 | #Constraints: 33430
2687.60/2693.58 c #Conflicts: 1526000 | #Constraints: 34430
2687.60/2693.58 c #Conflicts: 1527000 | #Constraints: 35430
2687.60/2693.58 c #Conflicts: 1528000 | #Constraints: 36430
2687.60/2693.58 c #Conflicts: 1529000 | #Constraints: 37430
2687.60/2693.58 c #Conflicts: 1530000 | #Constraints: 38430
2687.60/2693.58 c #Conflicts: 1531000 | #Constraints: 39430
2687.60/2693.58 c #Conflicts: 1532000 | #Constraints: 40430
2687.60/2693.58 c #Conflicts: 1533000 | #Constraints: 41430
2687.60/2693.58 c #Conflicts: 1534000 | #Constraints: 42430
2687.60/2693.58 c #Conflicts: 1535000 | #Constraints: 43430
2687.60/2693.58 c #Conflicts: 1536000 | #Constraints: 44430
2687.60/2693.58 c #Conflicts: 1537000 | #Constraints: 45430
2687.60/2693.58 c #Conflicts: 1538000 | #Constraints: 46430
2687.60/2693.58 c #Conflicts: 1539000 | #Constraints: 47430
2687.60/2693.58 c #Conflicts: 1540000 | #Constraints: 48430
2687.60/2693.58 c #Conflicts: 1541000 | #Constraints: 49430
2687.60/2693.58 c INPROCESSING
2687.60/2693.58 c GARBAGE COLLECT
2687.60/2693.58 c #Conflicts: 1542000 | #Constraints: 25830
2687.60/2693.58 c #Conflicts: 1543000 | #Constraints: 26830
2687.60/2693.58 c #Conflicts: 1544000 | #Constraints: 27830
2687.60/2693.58 c #Conflicts: 1545000 | #Constraints: 28830
2687.60/2693.58 c #Conflicts: 1546000 | #Constraints: 29830
2687.60/2693.58 c #Conflicts: 1547000 | #Constraints: 30830
2687.60/2693.58 c #Conflicts: 1548000 | #Constraints: 31830
2687.60/2693.58 c #Conflicts: 1549000 | #Constraints: 32830
2687.60/2693.58 c #Conflicts: 1550000 | #Constraints: 33830
2687.60/2693.58 c #Conflicts: 1551000 | #Constraints: 34830
2687.60/2693.58 c #Conflicts: 1552000 | #Constraints: 35830
2687.60/2693.58 c #Conflicts: 1553000 | #Constraints: 36830
2687.60/2693.58 c #Conflicts: 1554000 | #Constraints: 37830
2687.60/2693.58 c #Conflicts: 1555000 | #Constraints: 38830
2687.60/2693.58 c #Conflicts: 1556000 | #Constraints: 39830
2687.60/2693.58 c #Conflicts: 1557000 | #Constraints: 40830
2687.60/2693.58 c #Conflicts: 1558000 | #Constraints: 41830
2687.60/2693.58 c #Conflicts: 1559000 | #Constraints: 42830
2687.60/2693.58 c #Conflicts: 1560000 | #Constraints: 43830
2687.60/2693.58 c #Conflicts: 1561000 | #Constraints: 44830
2687.60/2693.58 c #Conflicts: 1562000 | #Constraints: 45830
2687.60/2693.58 c #Conflicts: 1563000 | #Constraints: 46830
2687.60/2693.58 c #Conflicts: 1564000 | #Constraints: 47830
2687.60/2693.58 c #Conflicts: 1565000 | #Constraints: 48830
2687.60/2693.58 c #Conflicts: 1566000 | #Constraints: 49830
2687.60/2693.58 c INPROCESSING
2687.60/2693.58 c GARBAGE COLLECT
2687.60/2693.58 c #Conflicts: 1567000 | #Constraints: 26027
2687.60/2693.58 c #Conflicts: 1568000 | #Constraints: 27027
2687.60/2693.58 c #Conflicts: 1569000 | #Constraints: 28027
2687.60/2693.58 c #Conflicts: 1570000 | #Constraints: 29027
2687.60/2693.58 c #Conflicts: 1571000 | #Constraints: 30027
2687.60/2693.58 c #Conflicts: 1572000 | #Constraints: 31027
2687.60/2693.58 c #Conflicts: 1573000 | #Constraints: 32027
2687.60/2693.58 c #Conflicts: 1574000 | #Constraints: 33027
2687.60/2693.58 c #Conflicts: 1575000 | #Constraints: 34027
2687.60/2693.58 c #Conflicts: 1576000 | #Constraints: 35027
2687.60/2693.58 c #Conflicts: 1577000 | #Constraints: 36027
2687.60/2693.58 c #Conflicts: 1578000 | #Constraints: 37027
2687.60/2693.58 c #Conflicts: 1579000 | #Constraints: 38027
2946.42/2952.94 c #Conflicts: 1580000 | #Constraints: 39027
2946.42/2952.94 c #Conflicts: 1581000 | #Constraints: 40027
2946.42/2952.94 c #Conflicts: 1582000 | #Constraints: 41027
2946.42/2952.94 c #Conflicts: 1583000 | #Constraints: 42027
2946.42/2952.94 c #Conflicts: 1584000 | #Constraints: 43027
2946.42/2952.94 c #Conflicts: 1585000 | #Constraints: 44027
2946.42/2952.94 c #Conflicts: 1586000 | #Constraints: 45027
2946.42/2952.94 c #Conflicts: 1587000 | #Constraints: 46027
2946.42/2952.94 c #Conflicts: 1588000 | #Constraints: 47027
2946.42/2952.94 c #Conflicts: 1589000 | #Constraints: 48027
2946.42/2952.94 c #Conflicts: 1590000 | #Constraints: 49027
2946.42/2952.94 c #Conflicts: 1591000 | #Constraints: 50027
2946.42/2952.94 c INPROCESSING
2946.42/2952.94 c GARBAGE COLLECT
2946.42/2952.94 c #Conflicts: 1592000 | #Constraints: 26031
2946.42/2952.94 c #Conflicts: 1593000 | #Constraints: 27031
2946.42/2952.94 c #Conflicts: 1594000 | #Constraints: 28031
2946.42/2952.94 c #Conflicts: 1595000 | #Constraints: 29031
2946.42/2952.94 c #Conflicts: 1596000 | #Constraints: 30031
2946.42/2952.94 c #Conflicts: 1597000 | #Constraints: 31031
2946.42/2952.94 c #Conflicts: 1598000 | #Constraints: 32031
2946.42/2952.94 c #Conflicts: 1599000 | #Constraints: 33031
2946.42/2952.94 c #Conflicts: 1600000 | #Constraints: 34031
2946.42/2952.94 c #Conflicts: 1601000 | #Constraints: 35031
2946.42/2952.94 c #Conflicts: 1602000 | #Constraints: 36031
2946.42/2952.94 c #Conflicts: 1603000 | #Constraints: 37031
2946.42/2952.94 c #Conflicts: 1604000 | #Constraints: 38031
2946.42/2952.94 c #Conflicts: 1605000 | #Constraints: 39031
2946.42/2952.94 c #Conflicts: 1606000 | #Constraints: 40031
2946.42/2952.94 c #Conflicts: 1607000 | #Constraints: 41031
2946.42/2952.94 c #Conflicts: 1608000 | #Constraints: 42031
2946.42/2952.94 c #Conflicts: 1609000 | #Constraints: 43031
2946.42/2952.94 c #Conflicts: 1610000 | #Constraints: 44031
2946.42/2952.94 c #Conflicts: 1611000 | #Constraints: 45031
2946.42/2952.94 c #Conflicts: 1612000 | #Constraints: 46031
2946.42/2952.94 c #Conflicts: 1613000 | #Constraints: 47031
2946.42/2952.94 c #Conflicts: 1614000 | #Constraints: 48031
2946.42/2952.94 c #Conflicts: 1615000 | #Constraints: 49031
2946.42/2952.94 c #Conflicts: 1616000 | #Constraints: 50031
2946.42/2952.94 c INPROCESSING
2946.42/2952.94 c GARBAGE COLLECT
2946.42/2952.94 c #Conflicts: 1617000 | #Constraints: 25830
2946.42/2952.94 c #Conflicts: 1618000 | #Constraints: 26830
2946.42/2952.94 c #Conflicts: 1619000 | #Constraints: 27830
2946.42/2952.94 c #Conflicts: 1620000 | #Constraints: 28830
2946.42/2952.94 c #Conflicts: 1621000 | #Constraints: 29830
2946.42/2952.94 c #Conflicts: 1622000 | #Constraints: 30830
2946.42/2952.94 c #Conflicts: 1623000 | #Constraints: 31830
2946.42/2952.94 c #Conflicts: 1624000 | #Constraints: 32830
2946.42/2952.94 c #Conflicts: 1625000 | #Constraints: 33830
2946.42/2952.94 c #Conflicts: 1626000 | #Constraints: 34830
2946.42/2952.94 c #Conflicts: 1627000 | #Constraints: 35830
2946.42/2952.94 c #Conflicts: 1628000 | #Constraints: 36830
2946.42/2952.94 c #Conflicts: 1629000 | #Constraints: 37830
2946.42/2952.94 c #Conflicts: 1630000 | #Constraints: 38830
2946.42/2952.94 c #Conflicts: 1631000 | #Constraints: 39830
2946.42/2952.94 c #Conflicts: 1632000 | #Constraints: 40830
2946.42/2952.94 c #Conflicts: 1633000 | #Constraints: 41830
2946.42/2952.94 c #Conflicts: 1634000 | #Constraints: 42830
2946.42/2952.94 c #Conflicts: 1635000 | #Constraints: 43830
2946.42/2952.94 c #Conflicts: 1636000 | #Constraints: 44830
2946.42/2952.94 c #Conflicts: 1637000 | #Constraints: 45830
2946.42/2952.94 c #Conflicts: 1638000 | #Constraints: 46830
2946.42/2952.94 c #Conflicts: 1639000 | #Constraints: 47830
2946.42/2952.94 c #Conflicts: 1640000 | #Constraints: 48830
2946.42/2952.94 c #Conflicts: 1641000 | #Constraints: 49830
2946.42/2952.94 c #Conflicts: 1642000 | #Constraints: 50830
2946.42/2952.94 c INPROCESSING
2946.42/2952.94 c GARBAGE COLLECT
2946.42/2952.94 c #Conflicts: 1643000 | #Constraints: 26432
2946.42/2952.94 c #Conflicts: 1644000 | #Constraints: 27432
2946.42/2952.94 c #Conflicts: 1645000 | #Constraints: 28432
2946.42/2952.94 c #Conflicts: 1646000 | #Constraints: 29432
2946.42/2952.94 c #Conflicts: 1647000 | #Constraints: 30432
2946.42/2952.94 c #Conflicts: 1648000 | #Constraints: 31432
2946.42/2952.94 c #Conflicts: 1649000 | #Constraints: 32432
2946.42/2952.94 c #Conflicts: 1650000 | #Constraints: 33432
2946.42/2952.94 c #Conflicts: 1651000 | #Constraints: 34432
2946.42/2952.94 c #Conflicts: 1652000 | #Constraints: 35432
2946.42/2952.94 c #Conflicts: 1653000 | #Constraints: 36432
2946.42/2952.94 c #Conflicts: 1654000 | #Constraints: 37432
2946.42/2952.94 c #Conflicts: 1655000 | #Constraints: 38432
2946.42/2952.94 c #Conflicts: 1656000 | #Constraints: 39432
3199.14/3206.27 c #Conflicts: 1657000 | #Constraints: 40432
3199.14/3206.27 c #Conflicts: 1658000 | #Constraints: 41432
3199.14/3206.27 c #Conflicts: 1659000 | #Constraints: 42432
3199.14/3206.27 c #Conflicts: 1660000 | #Constraints: 43432
3199.14/3206.27 c #Conflicts: 1661000 | #Constraints: 44432
3199.14/3206.27 c #Conflicts: 1662000 | #Constraints: 45432
3199.14/3206.27 c #Conflicts: 1663000 | #Constraints: 46432
3199.14/3206.27 c #Conflicts: 1664000 | #Constraints: 47432
3199.14/3206.27 c #Conflicts: 1665000 | #Constraints: 48432
3199.14/3206.27 c #Conflicts: 1666000 | #Constraints: 49432
3199.14/3206.27 c #Conflicts: 1667000 | #Constraints: 50432
3199.14/3206.27 c #Conflicts: 1668000 | #Constraints: 51432
3199.14/3206.27 c INPROCESSING
3199.14/3206.27 c GARBAGE COLLECT
3199.14/3206.27 c #Conflicts: 1669000 | #Constraints: 26830
3199.14/3206.27 c #Conflicts: 1670000 | #Constraints: 27830
3199.14/3206.27 c #Conflicts: 1671000 | #Constraints: 28830
3199.14/3206.27 c #Conflicts: 1672000 | #Constraints: 29830
3199.14/3206.27 c #Conflicts: 1673000 | #Constraints: 30830
3199.14/3206.27 c #Conflicts: 1674000 | #Constraints: 31830
3199.14/3206.27 c #Conflicts: 1675000 | #Constraints: 32830
3199.14/3206.27 c #Conflicts: 1676000 | #Constraints: 33830
3199.14/3206.27 c #Conflicts: 1677000 | #Constraints: 34830
3199.14/3206.27 c #Conflicts: 1678000 | #Constraints: 35830
3199.14/3206.27 c #Conflicts: 1679000 | #Constraints: 36830
3199.14/3206.27 c #Conflicts: 1680000 | #Constraints: 37830
3199.14/3206.27 c #Conflicts: 1681000 | #Constraints: 38830
3199.14/3206.27 c #Conflicts: 1682000 | #Constraints: 39830
3199.14/3206.27 c #Conflicts: 1683000 | #Constraints: 40830
3199.14/3206.27 c #Conflicts: 1684000 | #Constraints: 41830
3199.14/3206.27 c #Conflicts: 1685000 | #Constraints: 42830
3199.14/3206.27 c #Conflicts: 1686000 | #Constraints: 43830
3199.14/3206.27 c #Conflicts: 1687000 | #Constraints: 44830
3199.14/3206.27 c #Conflicts: 1688000 | #Constraints: 45830
3199.14/3206.27 c #Conflicts: 1689000 | #Constraints: 46830
3199.14/3206.27 c #Conflicts: 1690000 | #Constraints: 47830
3199.14/3206.27 c #Conflicts: 1691000 | #Constraints: 48830
3199.14/3206.27 c #Conflicts: 1692000 | #Constraints: 49830
3199.14/3206.27 c #Conflicts: 1693000 | #Constraints: 50830
3199.14/3206.27 c #Conflicts: 1694000 | #Constraints: 51830
3199.14/3206.27 c INPROCESSING
3199.14/3206.27 c GARBAGE COLLECT
3199.14/3206.27 c #Conflicts: 1695000 | #Constraints: 27033
3199.14/3206.27 c #Conflicts: 1696000 | #Constraints: 28033
3199.14/3206.27 c #Conflicts: 1697000 | #Constraints: 29033
3199.14/3206.27 c #Conflicts: 1698000 | #Constraints: 30033
3199.14/3206.27 c #Conflicts: 1699000 | #Constraints: 31033
3199.14/3206.27 c #Conflicts: 1700000 | #Constraints: 32033
3199.14/3206.27 c #Conflicts: 1701000 | #Constraints: 33033
3199.14/3206.27 c #Conflicts: 1702000 | #Constraints: 34033
3199.14/3206.27 c #Conflicts: 1703000 | #Constraints: 35033
3199.14/3206.27 c #Conflicts: 1704000 | #Constraints: 36033
3199.14/3206.27 c #Conflicts: 1705000 | #Constraints: 37033
3199.14/3206.27 c #Conflicts: 1706000 | #Constraints: 38033
3199.14/3206.27 c #Conflicts: 1707000 | #Constraints: 39033
3199.14/3206.27 c #Conflicts: 1708000 | #Constraints: 40033
3199.14/3206.27 c #Conflicts: 1709000 | #Constraints: 41033
3199.14/3206.27 c #Conflicts: 1710000 | #Constraints: 42033
3199.14/3206.27 c #Conflicts: 1711000 | #Constraints: 43033
3199.14/3206.27 c #Conflicts: 1712000 | #Constraints: 44033
3199.14/3206.27 c #Conflicts: 1713000 | #Constraints: 45033
3199.14/3206.27 c #Conflicts: 1714000 | #Constraints: 46033
3199.14/3206.27 c #Conflicts: 1715000 | #Constraints: 47033
3199.14/3206.27 c #Conflicts: 1716000 | #Constraints: 48033
3199.14/3206.27 c #Conflicts: 1717000 | #Constraints: 49033
3199.14/3206.27 c #Conflicts: 1718000 | #Constraints: 50033
3199.14/3206.27 c #Conflicts: 1719000 | #Constraints: 51033
3199.14/3206.27 c #Conflicts: 1720000 | #Constraints: 52033
3199.14/3206.27 c INPROCESSING
3199.14/3206.27 c GARBAGE COLLECT
3199.14/3206.27 c #Conflicts: 1721000 | #Constraints: 27038
3199.14/3206.27 c #Conflicts: 1722000 | #Constraints: 28038
3199.14/3206.27 c #Conflicts: 1723000 | #Constraints: 29038
3199.14/3206.27 c #Conflicts: 1724000 | #Constraints: 30038
3199.14/3206.27 c #Conflicts: 1725000 | #Constraints: 31038
3199.14/3206.27 c #Conflicts: 1726000 | #Constraints: 32038
3199.14/3206.27 c #Conflicts: 1727000 | #Constraints: 33038
3199.14/3206.27 c #Conflicts: 1728000 | #Constraints: 34038
3199.14/3206.27 c #Conflicts: 1729000 | #Constraints: 35038
3199.14/3206.27 c #Conflicts: 1730000 | #Constraints: 36038
3199.14/3206.27 c #Conflicts: 1731000 | #Constraints: 37038
3199.14/3206.27 c #Conflicts: 1732000 | #Constraints: 38038
3199.14/3206.27 c #Conflicts: 1733000 | #Constraints: 39038
3469.03/3476.87 c #Conflicts: 1734000 | #Constraints: 40038
3469.03/3476.87 c #Conflicts: 1735000 | #Constraints: 41038
3469.03/3476.87 c #Conflicts: 1736000 | #Constraints: 42038
3469.03/3476.87 c #Conflicts: 1737000 | #Constraints: 43038
3469.03/3476.87 c #Conflicts: 1738000 | #Constraints: 44038
3469.03/3476.87 c #Conflicts: 1739000 | #Constraints: 45038
3469.03/3476.87 c #Conflicts: 1740000 | #Constraints: 46038
3469.03/3476.87 c #Conflicts: 1741000 | #Constraints: 47038
3469.03/3476.87 c #Conflicts: 1742000 | #Constraints: 48038
3469.03/3476.87 c #Conflicts: 1743000 | #Constraints: 49038
3469.03/3476.87 c #Conflicts: 1744000 | #Constraints: 50038
3469.03/3476.87 c #Conflicts: 1745000 | #Constraints: 51038
3469.03/3476.87 c #Conflicts: 1746000 | #Constraints: 52038
3469.03/3476.87 c INPROCESSING
3469.03/3476.87 c GARBAGE COLLECT
3469.03/3476.87 c #Conflicts: 1747000 | #Constraints: 26831
3469.03/3476.87 c #Conflicts: 1748000 | #Constraints: 27831
3469.03/3476.87 c #Conflicts: 1749000 | #Constraints: 28831
3469.03/3476.87 c #Conflicts: 1750000 | #Constraints: 29831
3469.03/3476.87 c #Conflicts: 1751000 | #Constraints: 30831
3469.03/3476.87 c #Conflicts: 1752000 | #Constraints: 31831
3469.03/3476.87 c #Conflicts: 1753000 | #Constraints: 32831
3469.03/3476.87 c #Conflicts: 1754000 | #Constraints: 33831
3469.03/3476.87 c #Conflicts: 1755000 | #Constraints: 34831
3469.03/3476.87 c #Conflicts: 1756000 | #Constraints: 35831
3469.03/3476.87 c #Conflicts: 1757000 | #Constraints: 36831
3469.03/3476.87 c #Conflicts: 1758000 | #Constraints: 37831
3469.03/3476.87 c #Conflicts: 1759000 | #Constraints: 38831
3469.03/3476.87 c #Conflicts: 1760000 | #Constraints: 39831
3469.03/3476.87 c #Conflicts: 1761000 | #Constraints: 40831
3469.03/3476.87 c #Conflicts: 1762000 | #Constraints: 41831
3469.03/3476.87 c #Conflicts: 1763000 | #Constraints: 42831
3469.03/3476.87 c #Conflicts: 1764000 | #Constraints: 43831
3469.03/3476.87 c #Conflicts: 1765000 | #Constraints: 44831
3469.03/3476.87 c #Conflicts: 1766000 | #Constraints: 45831
3469.03/3476.87 c #Conflicts: 1767000 | #Constraints: 46831
3469.03/3476.87 c #Conflicts: 1768000 | #Constraints: 47831
3469.03/3476.87 c #Conflicts: 1769000 | #Constraints: 48831
3469.03/3476.87 c #Conflicts: 1770000 | #Constraints: 49831
3469.03/3476.87 c #Conflicts: 1771000 | #Constraints: 50831
3469.03/3476.87 c #Conflicts: 1772000 | #Constraints: 51831
3469.03/3476.87 c #Conflicts: 1773000 | #Constraints: 52831
3469.03/3476.87 c INPROCESSING
3469.03/3476.87 c GARBAGE COLLECT
3469.03/3476.87 c #Conflicts: 1774000 | #Constraints: 27432
3469.03/3476.87 c #Conflicts: 1775000 | #Constraints: 28432
3469.03/3476.87 c #Conflicts: 1776000 | #Constraints: 29432
3469.03/3476.87 c #Conflicts: 1777000 | #Constraints: 30432
3469.03/3476.87 c #Conflicts: 1778000 | #Constraints: 31432
3469.03/3476.87 c #Conflicts: 1779000 | #Constraints: 32432
3469.03/3476.87 c #Conflicts: 1780000 | #Constraints: 33432
3469.03/3476.87 c #Conflicts: 1781000 | #Constraints: 34432
3469.03/3476.87 c #Conflicts: 1782000 | #Constraints: 35432
3469.03/3476.87 c #Conflicts: 1783000 | #Constraints: 36432
3469.03/3476.87 c #Conflicts: 1784000 | #Constraints: 37432
3469.03/3476.87 c #Conflicts: 1785000 | #Constraints: 38432
3469.03/3476.87 c #Conflicts: 1786000 | #Constraints: 39432
3469.03/3476.87 c #Conflicts: 1787000 | #Constraints: 40432
3469.03/3476.87 c #Conflicts: 1788000 | #Constraints: 41432
3469.03/3476.87 c #Conflicts: 1789000 | #Constraints: 42432
3469.03/3476.87 c #Conflicts: 1790000 | #Constraints: 43432
3469.03/3476.87 c #Conflicts: 1791000 | #Constraints: 44432
3469.03/3476.87 c #Conflicts: 1792000 | #Constraints: 45432
3469.03/3476.87 c #Conflicts: 1793000 | #Constraints: 46432
3469.03/3476.87 c #Conflicts: 1794000 | #Constraints: 47432
3469.03/3476.87 c #Conflicts: 1795000 | #Constraints: 48432
3469.03/3476.87 c #Conflicts: 1796000 | #Constraints: 49432
3469.03/3476.87 c #Conflicts: 1797000 | #Constraints: 50432
3469.03/3476.87 c #Conflicts: 1798000 | #Constraints: 51432
3469.03/3476.87 c #Conflicts: 1799000 | #Constraints: 52432
3469.03/3476.87 c #Conflicts: 1800000 | #Constraints: 53432
3469.03/3476.87 c INPROCESSING
3469.03/3476.87 c GARBAGE COLLECT
3469.03/3476.87 c #Conflicts: 1801000 | #Constraints: 27828
3469.03/3476.87 c #Conflicts: 1802000 | #Constraints: 28828
3469.03/3476.87 c #Conflicts: 1803000 | #Constraints: 29828
3469.03/3476.87 c #Conflicts: 1804000 | #Constraints: 30828
3469.03/3476.87 c #Conflicts: 1805000 | #Constraints: 31828
3469.03/3476.87 c #Conflicts: 1806000 | #Constraints: 32828
3469.03/3476.87 c #Conflicts: 1807000 | #Constraints: 33828
3469.03/3476.87 c #Conflicts: 1808000 | #Constraints: 34828
3469.03/3476.87 c #Conflicts: 1809000 | #Constraints: 35828
3469.03/3476.87 c #Conflicts: 1810000 | #Constraints: 36828
3600.09/3608.20 c #Conflicts: 1811000 | #Constraints: 37828
3600.09/3608.20 c #Conflicts: 1812000 | #Constraints: 38828
3600.09/3608.20 c #Conflicts: 1813000 | #Constraints: 39828
3600.09/3608.20 c #Conflicts: 1814000 | #Constraints: 40828
3600.09/3608.20 c #Conflicts: 1815000 | #Constraints: 41828
3600.09/3608.20 c #Conflicts: 1816000 | #Constraints: 42828
3600.09/3608.20 c #Conflicts: 1817000 | #Constraints: 43828
3600.09/3608.20 c #Conflicts: 1818000 | #Constraints: 44828
3600.09/3608.20 c #Conflicts: 1819000 | #Constraints: 45828
3600.09/3608.20 c #Conflicts: 1820000 | #Constraints: 46828
3600.09/3608.20 c #Conflicts: 1821000 | #Constraints: 47828
3600.09/3608.20 c #Conflicts: 1822000 | #Constraints: 48828
3600.09/3608.20 c #Conflicts: 1823000 | #Constraints: 49828
3600.09/3608.20 c #Conflicts: 1824000 | #Constraints: 50828
3600.09/3608.20 c #Conflicts: 1825000 | #Constraints: 51828
3600.09/3608.20 c #Conflicts: 1826000 | #Constraints: 52828
3600.09/3608.20 c #Conflicts: 1827000 | #Constraints: 53828
3600.09/3608.20 c INPROCESSING
3600.09/3608.20 c GARBAGE COLLECT
3600.09/3608.20 c #Conflicts: 1828000 | #Constraints: 28030
3600.09/3608.20 c #Conflicts: 1829000 | #Constraints: 29030
3600.09/3608.20 c #Conflicts: 1830000 | #Constraints: 30030
3600.09/3608.20 c #Conflicts: 1831000 | #Constraints: 31030
3600.09/3608.20 c #Conflicts: 1832000 | #Constraints: 32030
3600.09/3608.20 c #Conflicts: 1833000 | #Constraints: 33030
3600.09/3608.20 c #Conflicts: 1834000 | #Constraints: 34030
3600.09/3608.20 c #Conflicts: 1835000 | #Constraints: 35030
3600.09/3608.20 c #Conflicts: 1836000 | #Constraints: 36030
3600.09/3608.20 c #Conflicts: 1837000 | #Constraints: 37030
3600.09/3608.20 c #Conflicts: 1838000 | #Constraints: 38030
3600.09/3608.20 c #Conflicts: 1839000 | #Constraints: 39030
3600.09/3608.20 c #Conflicts: 1840000 | #Constraints: 40030
3600.09/3608.20 c #Conflicts: 1841000 | #Constraints: 41030
3600.09/3608.20 c #Conflicts: 1842000 | #Constraints: 42030
3600.09/3608.20 c #Conflicts: 1843000 | #Constraints: 43030
3600.09/3608.20 c #Conflicts: 1844000 | #Constraints: 44030
3600.09/3608.20 c #Conflicts: 1845000 | #Constraints: 45030
3600.09/3608.20 c #Conflicts: 1846000 | #Constraints: 46030
3600.09/3608.20 c #Conflicts: 1847000 | #Constraints: 47030
3600.09/3608.20 c #Conflicts: 1848000 | #Constraints: 48030
3600.09/3608.20 c Program interrupted by user.
3600.09/3608.20 c cpu time 3591.36 s
3600.09/3608.20 c deterministic time 425166035384 4.25e+11
3600.09/3608.20 c optimization time 66.9839 s
3600.09/3608.20 c total solve time 3524.37 s
3600.09/3608.20 c core-guided solve time 3524.37 s
3600.09/3608.20 c propagation time 3004.24 s
3600.09/3608.20 c conflict analysis time 565.253 s
3600.09/3608.20 c propagations 90643124
3600.09/3608.20 c resolve steps 22092923
3600.09/3608.20 c decisions 3529341
3600.09/3608.20 c conflicts 1848273
3600.09/3608.20 c restarts 3580
3600.09/3608.20 c inprocessing phases 126
3600.09/3608.20 c input clauses 39
3600.09/3608.20 c input cardinalities 149
3600.09/3608.20 c input general constraints 19
3600.09/3608.20 c input average constraint length 16.74
3600.09/3608.20 c input average constraint degree 6.84
3600.09/3608.20 c learned clauses 678970
3600.09/3608.20 c learned cardinalities 269
3600.09/3608.20 c learned general constraints 1169035
3600.09/3608.20 c learned average constraint length 71.18
3600.09/3608.20 c learned average constraint degree 216367.26
3600.09/3608.20 c watched constraints 1047680
3600.09/3608.20 c counting constraints 121374
3600.09/3608.20 c gcd simplifications 45573
3600.09/3608.20 c detected cardinalities 2
3600.09/3608.20 c weakened non-implied lits 54490557
3600.09/3608.20 c weakened non-implying lits 108928
3600.09/3608.20 c original variables 144
3600.09/3608.20 c clausal propagations 2541216
3600.09/3608.20 c cardinality propagations 14478133
3600.09/3608.20 c watched propagations 3867831
3600.09/3608.20 c counting propagations 68459007
3600.09/3608.20 c watch lookups 81663880820
3600.09/3608.20 c watch backjump lookups 73745214406
3600.09/3608.20 c watch checks 162252992919
3600.09/3608.20 c propagation checks 106093712135
3600.09/3608.20 c constraint additions 1220042059
3600.09/3608.20 c trail pops 96020579
3600.09/3608.20 c formula constraints 134
3600.09/3608.20 c learned constraints 1848274
3600.09/3608.20 c bound constraints 14
3600.09/3608.20 c core-guided constraints 59
3600.09/3608.20 c encountered formula constraints 4626023
3600.09/3608.20 c encountered learned constraints 18947444
3600.09/3608.20 c encountered bound constraints 5078
3600.09/3608.20 c encountered core-guided constraints 362651
3600.09/3608.20 c LP total time 0 s
3600.09/3608.20 c LP solve time 0 s
3600.09/3608.20 c LP constraints added 0
3600.09/3608.20 c LP constraints removed 0
3600.09/3608.20 c LP pivots internal 0
3600.09/3608.20 c LP pivots root 0
3600.09/3608.20 c LP calls 0
3600.09/3608.20 c LP optimalities 0
3600.09/3608.20 c LP no pivot count 0
3600.09/3608.20 c LP infeasibilities 0
3600.09/3608.20 c LP valid Farkas constraints 0
3600.09/3608.20 c LP learned Farkas constraints 0
3600.09/3608.20 c LP basis resets 0
3600.09/3608.20 c LP cycling count 0
3600.09/3608.20 c LP singular count 0
3600.09/3608.20 c LP no primal count 0
3600.09/3608.20 c LP no farkas count 0
3600.09/3608.20 c LP other issue count 0
3600.09/3608.20 c LP Gomory cuts 0
3600.09/3608.20 c LP learned cuts 0
3600.09/3608.20 c LP deleted cuts 0
3600.09/3608.20 c LP encountered Gomory constraints 0
3600.09/3608.20 c LP encountered Farkas constraints 0
3600.09/3608.20 c LP encountered learned Farkas constraints 0
3600.09/3608.20 c CG auxiliary variables introduced 30
3600.09/3608.20 c CG solutions found 1
3600.09/3608.20 c CG cores constructed 13
3600.09/3608.20 c CG core cardinality constraints returned 9
3600.09/3608.20 c CG unit cores 0
3600.09/3608.20 c CG single cores 12
3600.09/3608.20 c CG blocks removed during cardinality reduction 0
3600.09/3608.20 c CG first core best 0
3600.09/3608.20 c CG decision core best 0
3600.09/3608.20 c CG core reduction tie 1
3600.09/3608.20 c CG core degree average 2.77
3600.09/3608.20 c CG core slack average 6.08
3600.09/3608.20 c CG exhausted 0
3600.09/3608.20 c CG exhaust time 0.867858 s
3600.09/3608.20 c CG trimmed 24
3600.09/3608.20 c CG trim time 0.000141 s
3600.09/3608.20 c CG minimized 0
3600.09/3608.20 c CG minimize time 0 s
3600.09/3608.20 c CG am1 prop time 0.000162 s
3600.09/3608.20 c CG # am1s reformulated 10
3600.09/3608.20 c CG lower bound derived from am1s 23
3600.09/3608.20 c CG # clausal cores 5
3600.09/3608.20 c CG # cardinality cores 9
3600.09/3608.20 c CG # pb cores 0
3600.09/3608.20 c CG # pb reforms 0
3600.09/3608.20 c CG # cores discarded because of pb reform 0
3600.09/3608.20 d LOWERBOUND 66
3600.09/3608.20 d NCORES 13
3600.09/3608.20 d NPBCORES 0
3600.09/3608.20 d NPBREFORM 0
3600.09/3608.20 d NTRIMMED 24
3600.09/3608.20 d NEXHAUSTED 0
3600.09/3608.20 d NAM1S 10
3600.09/3608.20 d AM1LB 23
3600.09/3608.20 o 70
3600.09/3608.20 s SATISFIABLE
3600.09/3608.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 (62730 MiB free)
memory of node 1: 64473 MiB (62785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436128-1721165286/watcher-4436128-1721165286 -o /tmp/evaluation-result-4436128-1721165286/solver-4436128-1721165286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878134 --watchdog 3760 pb-oll-rs HOME/instance-4436128-1721165286.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=878611, runsolver pid=878608
[startup+0.100321 s]*
/proc/loadavg: 4.01 3.98 4.09 5/258 878612
/proc/meminfo: memFree=128525116/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=39188 memory=8360 CPUtime=0.09 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 406 0 0 0 9 0 0 0 20 0 1 0 168694743 40128512 2090 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 9797 2090 1375 291 0 1331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 8360 KiB
[startup+0.204994 s]*
/proc/loadavg: 4.01 3.98 4.09 5/258 878612
/proc/meminfo: memFree=128524696/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=39468 memory=8624 CPUtime=0.2 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 457 0 0 0 19 1 0 0 20 0 1 0 168694743 40415232 2156 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 9867 2156 1375 291 0 1401 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39468 KiB
Current children cumulated memory: 8624 KiB
[startup+0.304723 s]*
/proc/loadavg: 4.01 3.98 4.09 6/258 878612
/proc/meminfo: memFree=128524220/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=39708 memory=9248 CPUtime=0.29 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 526 0 0 0 28 1 0 0 20 0 1 0 168694743 40660992 2312 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 9927 2312 1436 291 0 1461 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 9248 KiB
[startup+0.700153 s]
/proc/loadavg: 4.01 3.98 4.09 5/258 878612
/proc/meminfo: memFree=128523780/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=39960 memory=9500 CPUtime=0.69 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 589 0 0 0 66 3 0 0 20 0 1 0 168694743 40919040 2375 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 9990 2375 1436 291 0 1524 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39960 KiB
Current children cumulated memory: 9500 KiB
[startup+1.50017 s]
/proc/loadavg: 4.01 3.98 4.09 5/258 878612
/proc/meminfo: memFree=128523444/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=40496 memory=10036 CPUtime=1.49 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 723 0 0 0 143 6 0 0 20 0 1 0 168694743 41467904 2509 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 10124 2509 1436 291 0 1658 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 10036 KiB
[startup+3.10511 s]
/proc/loadavg: 4.01 3.98 4.09 5/258 878612
/proc/meminfo: memFree=128520372/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=40976 memory=12560 CPUtime=3.09 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 852 0 0 0 301 8 0 0 20 0 1 0 168694743 41959424 3140 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 10244 3140 1436 291 0 1778 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40976 KiB
Current children cumulated memory: 12560 KiB
[startup+6.30015 s]
/proc/loadavg: 4.01 3.98 4.09 5/258 878612
/proc/meminfo: memFree=128518252/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=41600 memory=13212 CPUtime=6.27 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 1009 0 0 0 614 13 0 0 20 0 1 0 168694743 42598400 3303 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 10400 3303 1436 291 0 1934 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 13212 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 3.98 4.09 5/258 878614
/proc/meminfo: memFree=128515312/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=42760 memory=14152 CPUtime=12.66 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 1257 0 0 0 1246 20 0 0 20 0 1 0 168694743 43786240 3538 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 10690 3538 1436 291 0 2224 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42760 KiB
Current children cumulated memory: 14152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 3.98 4.09 5/258 878616
/proc/meminfo: memFree=128508320/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=46344 memory=15532 CPUtime=25.44 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 1632 0 0 0 2512 32 0 0 20 0 1 0 168694743 47456256 3883 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 11586 3883 1436 291 0 3120 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 46344 KiB
Current children cumulated memory: 15532 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.00 4.09 5/258 878621
/proc/meminfo: memFree=128487976/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=47464 memory=17864 CPUtime=50.98 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 2292 0 0 0 5047 51 0 0 20 0 1 0 168694743 48603136 4466 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 11866 4466 1436 291 0 3400 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 47464 KiB
Current children cumulated memory: 17864 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.01 4.09 5/258 878630
/proc/meminfo: memFree=128456228/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=53836 memory=21548 CPUtime=102.06 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 3280 0 0 0 10115 91 0 0 20 0 1 0 168694743 55128064 5387 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 13459 5387 1436 291 0 4993 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 53836 KiB
Current children cumulated memory: 21548 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.04 4.09 5/259 878700
/proc/meminfo: memFree=128434536/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=55280 memory=25564 CPUtime=161.92 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 3856 0 0 0 16065 127 0 0 20 0 1 0 168694743 56606720 6391 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 13820 6391 1436 291 0 5354 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 55280 KiB
Current children cumulated memory: 25564 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.06 4.09 5/258 878711
/proc/meminfo: memFree=128407404/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=56288 memory=26580 CPUtime=221.78 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 4258 0 0 0 22016 162 0 0 20 0 1 0 168694743 57638912 6645 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 14072 6645 1436 291 0 5606 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 56288 KiB
Current children cumulated memory: 26580 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.05 4.09 5/257 878721
/proc/meminfo: memFree=128386684/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=57152 memory=28208 CPUtime=281.64 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 4712 0 0 0 27972 192 0 0 20 0 1 0 168694743 58523648 7052 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 14288 7052 1436 291 0 5822 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 57152 KiB
Current children cumulated memory: 28208 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.07 4.09 6/256 878732
/proc/meminfo: memFree=128364556/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=65232 memory=30096 CPUtime=341.51 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 5308 0 0 0 33933 218 0 0 20 0 1 0 168694743 66797568 7524 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 16308 7524 1436 291 0 7842 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 65232 KiB
Current children cumulated memory: 30096 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.07 4.09 5/256 878743
/proc/meminfo: memFree=128335376/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=66092 memory=33440 CPUtime=401.39 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 5782 0 0 0 39900 239 0 0 20 0 1 0 168694743 67678208 8360 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 16523 8360 1436 291 0 8057 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 66092 KiB
Current children cumulated memory: 33440 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.07 4.09 6/254 878753
/proc/meminfo: memFree=128325064/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=66604 memory=33848 CPUtime=461.26 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 6004 0 0 0 45863 263 0 0 20 0 1 0 168694743 68202496 8462 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 16651 8462 1436 291 0 8185 0
################
# More data... #
################
Current children cumulated memory: 58740 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.14 6/255 880291
/proc/meminfo: memFree=127929804/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=91816 memory=59080 CPUtime=2856.03 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 12616 0 0 0 284838 765 0 0 20 0 1 0 168694743 94019584 14770 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 22954 14770 1436 291 0 14488 0
Current children cumulated CPU time: 2856.03 s
Current children cumulated vsize: 91816 KiB
Current children cumulated memory: 59080 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.15 4.15 6/254 880301
/proc/meminfo: memFree=127925832/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=91488 memory=59040 CPUtime=2915.89 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 12734 0 0 0 290814 775 0 0 20 0 1 0 168694743 93683712 14760 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 22872 14760 1436 291 0 14406 0
Current children cumulated CPU time: 2915.89 s
Current children cumulated vsize: 91488 KiB
Current children cumulated memory: 59040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.14 6/254 880313
/proc/meminfo: memFree=127914832/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=91488 memory=59040 CPUtime=2975.76 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 12757 0 0 0 296791 785 0 0 20 0 1 0 168694743 93683712 14760 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 22872 14760 1436 291 0 14406 0
Current children cumulated CPU time: 2975.76 s
Current children cumulated vsize: 91488 KiB
Current children cumulated memory: 59040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.14 6/254 880323
/proc/meminfo: memFree=127894940/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=91488 memory=59044 CPUtime=3035.63 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 12921 0 0 0 302769 794 0 0 20 0 1 0 168694743 93683712 14761 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 22872 14761 1436 291 0 14406 0
Current children cumulated CPU time: 3035.63 s
Current children cumulated vsize: 91488 KiB
Current children cumulated memory: 59044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.14 4.14 7/254 880333
/proc/meminfo: memFree=127887364/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=91744 memory=59176 CPUtime=3095.5 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13121 0 0 0 308748 802 0 0 20 0 1 0 168694743 93945856 14794 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 22936 14794 1436 291 0 14470 0
Current children cumulated CPU time: 3095.5 s
Current children cumulated vsize: 91744 KiB
Current children cumulated memory: 59176 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.14 6/256 880348
/proc/meminfo: memFree=127883408/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=91744 memory=59176 CPUtime=3155.36 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13145 0 0 0 314726 810 0 0 20 0 1 0 168694743 93945856 14794 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 22936 14794 1436 291 0 14470 0
Current children cumulated CPU time: 3155.36 s
Current children cumulated vsize: 91744 KiB
Current children cumulated memory: 59176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.14 6/256 880358
/proc/meminfo: memFree=127877192/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=91744 memory=59180 CPUtime=3215.2 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13310 0 0 0 320701 819 0 0 20 0 1 0 168694743 93945856 14795 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 22936 14795 1436 291 0 14470 0
Current children cumulated CPU time: 3215.2 s
Current children cumulated vsize: 91744 KiB
Current children cumulated memory: 59180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.14 6/256 880368
/proc/meminfo: memFree=127872144/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=92000 memory=59320 CPUtime=3275.05 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13513 0 0 0 326677 828 0 0 20 0 1 0 168694743 94208000 14830 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 23000 14830 1436 291 0 14534 0
Current children cumulated CPU time: 3275.05 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 59320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.14 6/256 880379
/proc/meminfo: memFree=127835564/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=92000 memory=59320 CPUtime=3334.88 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13537 0 0 0 332652 836 0 0 20 0 1 0 168694743 94208000 14830 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 23000 14830 1436 291 0 14534 0
Current children cumulated CPU time: 3334.88 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 59320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.14 6/256 880390
/proc/meminfo: memFree=127828216/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=92000 memory=59324 CPUtime=3394.73 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13703 0 0 0 338628 845 0 0 20 0 1 0 168694743 94208000 14831 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 23000 14831 1436 291 0 14534 0
Current children cumulated CPU time: 3394.73 s
Current children cumulated vsize: 92000 KiB
Current children cumulated memory: 59324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.13 6/256 880784
/proc/meminfo: memFree=127689600/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=92256 memory=59480 CPUtime=3454.57 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13910 0 0 0 344604 853 0 0 20 0 1 0 168694743 94470144 14870 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 23064 14870 1436 291 0 14598 0
Current children cumulated CPU time: 3454.57 s
Current children cumulated vsize: 92256 KiB
Current children cumulated memory: 59480 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/256 880886
/proc/meminfo: memFree=127701496/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=92256 memory=59480 CPUtime=3514.41 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 13933 0 0 0 350579 862 0 0 20 0 1 0 168694743 94470144 14870 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 23064 14870 1436 291 0 14598 0
Current children cumulated CPU time: 3514.41 s
Current children cumulated vsize: 92256 KiB
Current children cumulated memory: 59480 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/257 880989
/proc/meminfo: memFree=128271108/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=92256 memory=59940 CPUtime=3574.26 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 14099 0 0 0 356556 870 0 0 20 0 1 0 168694743 94470144 14985 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 23064 14985 1436 291 0 14598 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 92256 KiB
Current children cumulated memory: 59940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.2 s]
/proc/loadavg: 4.20 4.15 4.13 5/258 881162
/proc/meminfo: memFree=128258040/131524600 swapFree=131071996/131071996
[pid=878611] ppid=878608 vsize=92256 memory=59940 CPUtime=3600.09 cores=4,6
/proc/878611/stat : 878611 (pb-oll-rs) R 878608 878611 878123 0 -1 4194304 14101 0 0 0 359135 874 0 0 20 0 1 0 168694743 94470144 14985 134679101440 4194304 5384005 140721388597088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31412224 140721388602391 140721388602468 140721388602468 140721388609483 0
/proc/878611/statm: 23064 14985 1436 291 0 14598 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 92256 KiB
Current children cumulated memory: 59940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.2 s]
# the end of solver process 878611 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.36 s, system=8.7442 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.2
CPU time (s): 3600.1
CPU user time (s): 3591.36
CPU system time (s): 8.7442
CPU usage (%): 99.7754
Max. virtual memory (cumulated for all children) (KiB): 92956
Max. memory (cumulated for all children) (KiB): 60368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.36
system time used= 8.7442
maximum resident set size= 60368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14118
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= 29
involuntary context switches= 1498
# summary of solver processes directly reported to runsolver:
# pid: 878611
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.36
# total CPU system time (s): 8.7442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89806 second user time and 15.1461 second system time
The end
Begin job on nodeC026 at 2024-07-16 23:28:18
IDJOB=4436128
IDBENCH=158431
IDSOLVER=3067
FILE ID=nodeC026/4436128-1721165286
RUNJOBID= nodeC026-1721165209-878134
SLURM_JOB_ID= 7505787
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436128-1721165286/watcher-4436128-1721165286 -o /tmp/evaluation-result-4436128-1721165286/solver-4436128-1721165286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721165209-878134 --watchdog 3760 pb-oll-rs HOME/instance-4436128-1721165286.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fbb156e7552e932d6b03b61f2d75f6d
RANDOM SEED=251069959
nodeC026.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 : 3672.771
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.74
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 : 3693.107
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.45
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 : 3619.345
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.272
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.45
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 : 3638.864
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.74
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 : 3693.161
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.45
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 : 3649.043
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.74
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.931
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.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128528660 kB
MemAvailable: 129625208 kB
Buffers: 442116 kB
Cached: 1484872 kB
SwapCached: 0 kB
Active: 828580 kB
Inactive: 1556320 kB
Active(anon): 1548 kB
Inactive(anon): 494108 kB
Active(file): 827032 kB
Inactive(file): 1062212 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2384 kB
Writeback: 0 kB
AnonPages: 454992 kB
Mapped: 108736 kB
Shmem: 37720 kB
KReclaimable: 94252 kB
Slab: 202092 kB
SReclaimable: 94252 kB
SUnreclaim: 107840 kB
KernelStack: 4160 kB
PageTables: 10376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 728488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC026 at 2024-07-17 00:28:27