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.08/0.19 c [STEP] solving
0.08/0.19 c #variables 1150 #constraints 80035
0.08/0.19 c SMALL=int, LARGE=long long
0.08/0.19 c bounds - >= -1150 @ 0.111369
0.08/0.19 c stratification level: 0
0.19/0.25 c bounds - >= -198 @ 0.14631
0.19/0.25 c bounds - >= -197 @ 0.147288
0.19/0.25 c bounds - >= -196 @ 0.147605
0.19/0.25 c bounds - >= -195 @ 0.147605
0.19/0.25 c bounds - >= -194 @ 0.148114
0.19/0.25 c bounds - >= -193 @ 0.148713
0.19/0.25 c bounds - >= -192 @ 0.149143
0.19/0.25 c bounds - >= -191 @ 0.149749
0.19/0.25 c bounds - >= -190 @ 0.150349
0.19/0.25 c bounds - >= -189 @ 0.150608
0.19/0.25 c bounds - >= -188 @ 0.151128
0.19/0.25 c bounds - >= -187 @ 0.152361
0.19/0.25 c bounds - >= -186 @ 0.152607
0.19/0.25 c bounds - >= -185 @ 0.152607
0.19/0.25 c bounds - >= -184 @ 0.152607
0.19/0.25 c bounds - >= -183 @ 0.152871
0.19/0.25 c bounds - >= -182 @ 0.153403
0.19/0.25 c bounds - >= -181 @ 0.154265
0.19/0.25 c bounds - >= -180 @ 0.155031
0.19/0.25 c bounds - >= -179 @ 0.155864
0.19/0.25 c bounds - >= -178 @ 0.15778
0.19/0.25 c bounds - >= -177 @ 0.158951
0.19/0.25 c finalizing WCE round: reformulating cores
13.15/13.25 c bounds -21 >= -196 @ 0.162596
13.15/13.25 c bounds -23 >= -193 @ 0.174047
13.15/13.25 c bounds -23 >= -193 @ 0.17985
13.15/13.25 c #Conflicts: 1000 | #Constraints: 81276
13.15/13.25 c bounds -23 >= -193 @ 0.191432
13.15/13.25 c bounds -25 >= -188 @ 0.240413
13.15/13.25 c bounds -25 >= -188 @ 0.241529
13.15/13.25 c #Conflicts: 2000 | #Constraints: 82288
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 3000 | #Constraints: 82069
13.15/13.25 c bounds -28 >= -181 @ 0.921092
13.15/13.25 c #Conflicts: 4000 | #Constraints: 83075
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 5000 | #Constraints: 82568
13.15/13.25 c #Conflicts: 6000 | #Constraints: 83572
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 7000 | #Constraints: 82626
13.15/13.25 c #Conflicts: 8000 | #Constraints: 83628
13.15/13.25 c #Conflicts: 9000 | #Constraints: 84633
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 10000 | #Constraints: 83364
13.15/13.25 c bounds -31 >= -171 @ 3.40736
13.15/13.25 c #Conflicts: 11000 | #Constraints: 84368
13.15/13.25 c #Conflicts: 12000 | #Constraints: 85370
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c bounds -32 >= -169 @ 4.2215
13.15/13.25 c bounds -32 >= -168 @ 4.22266
13.15/13.25 c bounds -32 >= -167 @ 4.2272
13.15/13.25 c bounds -32 >= -166 @ 4.24404
13.15/13.25 c bounds -32 >= -165 @ 4.25655
13.15/13.25 c #Conflicts: 13000 | #Constraints: 83900
13.15/13.25 c bounds -32 >= -164 @ 4.39083
13.15/13.25 c #Conflicts: 14000 | #Constraints: 84946
13.15/13.25 c #Conflicts: 15000 | #Constraints: 85946
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 16000 | #Constraints: 84173
13.15/13.25 c #Conflicts: 17000 | #Constraints: 85173
13.15/13.25 c #Conflicts: 18000 | #Constraints: 86173
13.15/13.25 c INPROCESSING
13.15/13.25 c #Conflicts: 19000 | #Constraints: 84196
13.15/13.25 c #Conflicts: 20000 | #Constraints: 85196
13.15/13.25 c bounds -32 >= -163 @ 5.29509
13.15/13.25 c #Conflicts: 21000 | #Constraints: 86254
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 22000 | #Constraints: 84052
13.15/13.25 c #Conflicts: 23000 | #Constraints: 85052
13.15/13.25 c #Conflicts: 24000 | #Constraints: 86052
13.15/13.25 c #Conflicts: 25000 | #Constraints: 87052
13.15/13.25 c INPROCESSING
13.15/13.25 c #Conflicts: 26000 | #Constraints: 84659
13.15/13.25 c #Conflicts: 27000 | #Constraints: 85659
13.15/13.25 c #Conflicts: 28000 | #Constraints: 86659
13.15/13.25 c #Conflicts: 29000 | #Constraints: 87659
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 30000 | #Constraints: 85058
13.15/13.25 c #Conflicts: 31000 | #Constraints: 86058
13.15/13.25 c #Conflicts: 32000 | #Constraints: 87058
13.15/13.25 c #Conflicts: 33000 | #Constraints: 88058
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 34000 | #Constraints: 85263
13.15/13.25 c #Conflicts: 35000 | #Constraints: 86263
13.15/13.25 c #Conflicts: 36000 | #Constraints: 87263
13.15/13.25 c #Conflicts: 37000 | #Constraints: 88263
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 38000 | #Constraints: 85281
13.15/13.25 c #Conflicts: 39000 | #Constraints: 86281
13.15/13.25 c #Conflicts: 40000 | #Constraints: 87281
13.15/13.25 c #Conflicts: 41000 | #Constraints: 88281
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 42000 | #Constraints: 85091
13.15/13.25 c #Conflicts: 43000 | #Constraints: 86091
13.15/13.25 c #Conflicts: 44000 | #Constraints: 87091
13.15/13.25 c #Conflicts: 45000 | #Constraints: 88091
13.15/13.25 c #Conflicts: 46000 | #Constraints: 89091
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 47000 | #Constraints: 85698
13.15/13.25 c #Conflicts: 48000 | #Constraints: 86698
13.15/13.25 c #Conflicts: 49000 | #Constraints: 87698
13.15/13.25 c #Conflicts: 50000 | #Constraints: 88698
13.15/13.25 c #Conflicts: 51000 | #Constraints: 89698
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 52000 | #Constraints: 86096
13.15/13.25 c #Conflicts: 53000 | #Constraints: 87096
13.15/13.25 c #Conflicts: 54000 | #Constraints: 88096
13.15/13.25 c #Conflicts: 55000 | #Constraints: 89096
13.15/13.25 c #Conflicts: 56000 | #Constraints: 90096
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c #Conflicts: 57000 | #Constraints: 86296
13.15/13.25 c #Conflicts: 58000 | #Constraints: 87296
13.15/13.25 c #Conflicts: 59000 | #Constraints: 88296
13.15/13.25 c #Conflicts: 60000 | #Constraints: 89296
13.15/13.25 c #Conflicts: 61000 | #Constraints: 90296
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 62000 | #Constraints: 86305
35.29/35.46 c #Conflicts: 63000 | #Constraints: 87305
35.29/35.46 c #Conflicts: 64000 | #Constraints: 88305
35.29/35.46 c #Conflicts: 65000 | #Constraints: 89305
35.29/35.46 c #Conflicts: 66000 | #Constraints: 90305
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 67000 | #Constraints: 86104
35.29/35.46 c #Conflicts: 68000 | #Constraints: 87104
35.29/35.46 c #Conflicts: 69000 | #Constraints: 88104
35.29/35.46 c #Conflicts: 70000 | #Constraints: 89104
35.29/35.46 c #Conflicts: 71000 | #Constraints: 90104
35.29/35.46 c #Conflicts: 72000 | #Constraints: 91104
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 73000 | #Constraints: 86710
35.29/35.46 c #Conflicts: 74000 | #Constraints: 87710
35.29/35.46 c #Conflicts: 75000 | #Constraints: 88710
35.29/35.46 c #Conflicts: 76000 | #Constraints: 89710
35.29/35.46 c #Conflicts: 77000 | #Constraints: 90710
35.29/35.46 c #Conflicts: 78000 | #Constraints: 91710
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 79000 | #Constraints: 87096
35.29/35.46 c #Conflicts: 80000 | #Constraints: 88096
35.29/35.46 c #Conflicts: 81000 | #Constraints: 89096
35.29/35.46 c #Conflicts: 82000 | #Constraints: 90096
35.29/35.46 c #Conflicts: 83000 | #Constraints: 91096
35.29/35.46 c #Conflicts: 84000 | #Constraints: 92096
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 85000 | #Constraints: 87314
35.29/35.46 c #Conflicts: 86000 | #Constraints: 88314
35.29/35.46 c #Conflicts: 87000 | #Constraints: 89314
35.29/35.46 c #Conflicts: 88000 | #Constraints: 90314
35.29/35.46 c #Conflicts: 89000 | #Constraints: 91314
35.29/35.46 c #Conflicts: 90000 | #Constraints: 92314
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 91000 | #Constraints: 87314
35.29/35.46 c #Conflicts: 92000 | #Constraints: 88314
35.29/35.46 c #Conflicts: 93000 | #Constraints: 89314
35.29/35.46 c #Conflicts: 94000 | #Constraints: 90314
35.29/35.46 c #Conflicts: 95000 | #Constraints: 91314
35.29/35.46 c #Conflicts: 96000 | #Constraints: 92314
35.29/35.46 c bounds -32 >= -162 @ 21.5151
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 97000 | #Constraints: 87099
35.29/35.46 c #Conflicts: 98000 | #Constraints: 88099
35.29/35.46 c #Conflicts: 99000 | #Constraints: 89099
35.29/35.46 c #Conflicts: 100000 | #Constraints: 90099
35.29/35.46 c #Conflicts: 101000 | #Constraints: 91099
35.29/35.46 c #Conflicts: 102000 | #Constraints: 92099
35.29/35.46 c #Conflicts: 103000 | #Constraints: 93099
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 104000 | #Constraints: 87717
35.29/35.46 c #Conflicts: 105000 | #Constraints: 88717
35.29/35.46 c #Conflicts: 106000 | #Constraints: 89717
35.29/35.46 c #Conflicts: 107000 | #Constraints: 90717
35.29/35.46 c #Conflicts: 108000 | #Constraints: 91717
35.29/35.46 c #Conflicts: 109000 | #Constraints: 92717
35.29/35.46 c #Conflicts: 110000 | #Constraints: 93717
35.29/35.46 c #Conflicts: 111000 | #Constraints: 94717
35.29/35.46 c #Conflicts: 112000 | #Constraints: 95717
35.29/35.46 c #Conflicts: 113000 | #Constraints: 96717
35.29/35.46 c #Conflicts: 114000 | #Constraints: 97717
35.29/35.46 c #Conflicts: 115000 | #Constraints: 98717
35.29/35.46 c #Conflicts: 116000 | #Constraints: 99717
35.29/35.46 c #Conflicts: 117000 | #Constraints: 100717
35.29/35.46 c #Conflicts: 118000 | #Constraints: 101717
35.29/35.46 c #Conflicts: 119000 | #Constraints: 102717
35.29/35.46 c #Conflicts: 120000 | #Constraints: 103717
35.29/35.46 c #Conflicts: 121000 | #Constraints: 104717
35.29/35.46 c #Conflicts: 122000 | #Constraints: 105717
35.29/35.46 c #Conflicts: 123000 | #Constraints: 106717
35.29/35.46 c #Conflicts: 124000 | #Constraints: 107717
35.29/35.46 c #Conflicts: 125000 | #Constraints: 108717
35.29/35.46 c #Conflicts: 126000 | #Constraints: 109717
35.29/35.46 c #Conflicts: 127000 | #Constraints: 110717
35.29/35.46 c #Conflicts: 128000 | #Constraints: 111717
35.29/35.46 c #Conflicts: 129000 | #Constraints: 112717
35.29/35.46 c #Conflicts: 130000 | #Constraints: 113717
35.29/35.46 c #Conflicts: 131000 | #Constraints: 114717
35.29/35.46 c #Conflicts: 132000 | #Constraints: 115717
35.29/35.46 c INPROCESSING
35.29/35.46 c GARBAGE COLLECT
35.29/35.46 c #Conflicts: 133000 | #Constraints: 98862
70.50/70.76 c #Conflicts: 134000 | #Constraints: 99862
70.50/70.76 c #Conflicts: 135000 | #Constraints: 100862
70.50/70.76 c #Conflicts: 136000 | #Constraints: 101862
70.50/70.76 c #Conflicts: 137000 | #Constraints: 102862
70.50/70.76 c #Conflicts: 138000 | #Constraints: 103862
70.50/70.76 c #Conflicts: 139000 | #Constraints: 104862
70.50/70.76 c #Conflicts: 140000 | #Constraints: 105862
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 141000 | #Constraints: 93984
70.50/70.76 c #Conflicts: 142000 | #Constraints: 94984
70.50/70.76 c #Conflicts: 143000 | #Constraints: 95984
70.50/70.76 c #Conflicts: 144000 | #Constraints: 96984
70.50/70.76 c #Conflicts: 145000 | #Constraints: 97984
70.50/70.76 c #Conflicts: 146000 | #Constraints: 98984
70.50/70.76 c #Conflicts: 147000 | #Constraints: 99984
70.50/70.76 c #Conflicts: 148000 | #Constraints: 100984
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 149000 | #Constraints: 91511
70.50/70.76 c #Conflicts: 150000 | #Constraints: 92511
70.50/70.76 c #Conflicts: 151000 | #Constraints: 93511
70.50/70.76 c #Conflicts: 152000 | #Constraints: 94511
70.50/70.76 c #Conflicts: 153000 | #Constraints: 95511
70.50/70.76 c #Conflicts: 154000 | #Constraints: 96511
70.50/70.76 c #Conflicts: 155000 | #Constraints: 97511
70.50/70.76 c #Conflicts: 156000 | #Constraints: 98511
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 157000 | #Constraints: 90103
70.50/70.76 c #Conflicts: 158000 | #Constraints: 91103
70.50/70.76 c #Conflicts: 159000 | #Constraints: 92103
70.50/70.76 c #Conflicts: 160000 | #Constraints: 93103
70.50/70.76 c #Conflicts: 161000 | #Constraints: 94103
70.50/70.76 c #Conflicts: 162000 | #Constraints: 95103
70.50/70.76 c #Conflicts: 163000 | #Constraints: 96103
70.50/70.76 c #Conflicts: 164000 | #Constraints: 97103
70.50/70.76 c #Conflicts: 165000 | #Constraints: 98103
70.50/70.76 c #Conflicts: 166000 | #Constraints: 99103
70.50/70.76 c #Conflicts: 167000 | #Constraints: 100103
70.50/70.76 c #Conflicts: 168000 | #Constraints: 101103
70.50/70.76 c bounds -32 >= -161 @ 46.0089
70.50/70.76 c #Conflicts: 169000 | #Constraints: 102149
70.50/70.76 c #Conflicts: 170000 | #Constraints: 103149
70.50/70.76 c #Conflicts: 171000 | #Constraints: 104149
70.50/70.76 c #Conflicts: 172000 | #Constraints: 105149
70.50/70.76 c #Conflicts: 173000 | #Constraints: 106149
70.50/70.76 c #Conflicts: 174000 | #Constraints: 107149
70.50/70.76 c #Conflicts: 175000 | #Constraints: 108149
70.50/70.76 c #Conflicts: 176000 | #Constraints: 109149
70.50/70.76 c #Conflicts: 177000 | #Constraints: 110149
70.50/70.76 c #Conflicts: 178000 | #Constraints: 111149
70.50/70.76 c #Conflicts: 179000 | #Constraints: 112149
70.50/70.76 c #Conflicts: 180000 | #Constraints: 113149
70.50/70.76 c #Conflicts: 181000 | #Constraints: 114149
70.50/70.76 c #Conflicts: 182000 | #Constraints: 115149
70.50/70.76 c #Conflicts: 183000 | #Constraints: 116149
70.50/70.76 c #Conflicts: 184000 | #Constraints: 117149
70.50/70.76 c #Conflicts: 185000 | #Constraints: 118149
70.50/70.76 c #Conflicts: 186000 | #Constraints: 119149
70.50/70.76 c #Conflicts: 187000 | #Constraints: 120149
70.50/70.76 c #Conflicts: 188000 | #Constraints: 121149
70.50/70.76 c #Conflicts: 189000 | #Constraints: 122149
70.50/70.76 c #Conflicts: 190000 | #Constraints: 123149
70.50/70.76 c #Conflicts: 191000 | #Constraints: 124149
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 192000 | #Constraints: 103160
70.50/70.76 c #Conflicts: 193000 | #Constraints: 104160
70.50/70.76 c #Conflicts: 194000 | #Constraints: 105160
70.50/70.76 c #Conflicts: 195000 | #Constraints: 106160
70.50/70.76 c #Conflicts: 196000 | #Constraints: 107160
70.50/70.76 c #Conflicts: 197000 | #Constraints: 108160
70.50/70.76 c #Conflicts: 198000 | #Constraints: 109160
70.50/70.76 c #Conflicts: 199000 | #Constraints: 110160
70.50/70.76 c #Conflicts: 200000 | #Constraints: 111160
70.50/70.76 c #Conflicts: 201000 | #Constraints: 112160
70.50/70.76 c INPROCESSING
70.50/70.76 c GARBAGE COLLECT
70.50/70.76 c #Conflicts: 202000 | #Constraints: 97373
70.50/70.76 c #Conflicts: 203000 | #Constraints: 98373
70.50/70.76 c #Conflicts: 204000 | #Constraints: 99373
70.50/70.76 c #Conflicts: 205000 | #Constraints: 100373
70.50/70.76 c #Conflicts: 206000 | #Constraints: 101373
70.50/70.76 c #Conflicts: 207000 | #Constraints: 102373
70.50/70.76 c #Conflicts: 208000 | #Constraints: 103373
133.83/134.26 c #Conflicts: 209000 | #Constraints: 104373
133.83/134.26 c #Conflicts: 210000 | #Constraints: 105373
133.83/134.26 c INPROCESSING
133.83/134.26 c GARBAGE COLLECT
133.83/134.26 c #Conflicts: 211000 | #Constraints: 93591
133.83/134.26 c #Conflicts: 212000 | #Constraints: 94591
133.83/134.26 c #Conflicts: 213000 | #Constraints: 95591
133.83/134.26 c #Conflicts: 214000 | #Constraints: 96591
133.83/134.26 c #Conflicts: 215000 | #Constraints: 97591
133.83/134.26 c #Conflicts: 216000 | #Constraints: 98591
133.83/134.26 c #Conflicts: 217000 | #Constraints: 99591
133.83/134.26 c #Conflicts: 218000 | #Constraints: 100591
133.83/134.26 c #Conflicts: 219000 | #Constraints: 101591
133.83/134.26 c #Conflicts: 220000 | #Constraints: 102591
133.83/134.26 c INPROCESSING
133.83/134.26 c GARBAGE COLLECT
133.83/134.26 c #Conflicts: 221000 | #Constraints: 92220
133.83/134.26 c #Conflicts: 222000 | #Constraints: 93220
133.83/134.26 c #Conflicts: 223000 | #Constraints: 94220
133.83/134.26 c #Conflicts: 224000 | #Constraints: 95220
133.83/134.26 c #Conflicts: 225000 | #Constraints: 96220
133.83/134.26 c #Conflicts: 226000 | #Constraints: 97220
133.83/134.26 c #Conflicts: 227000 | #Constraints: 98220
133.83/134.26 c #Conflicts: 228000 | #Constraints: 99220
133.83/134.26 c #Conflicts: 229000 | #Constraints: 100220
133.83/134.26 c #Conflicts: 230000 | #Constraints: 101220
133.83/134.26 c #Conflicts: 231000 | #Constraints: 102220
133.83/134.26 c #Conflicts: 232000 | #Constraints: 103220
133.83/134.26 c #Conflicts: 233000 | #Constraints: 104220
133.83/134.26 c #Conflicts: 234000 | #Constraints: 105220
133.83/134.26 c #Conflicts: 235000 | #Constraints: 106220
133.83/134.26 c #Conflicts: 236000 | #Constraints: 107220
133.83/134.26 c #Conflicts: 237000 | #Constraints: 108220
133.83/134.26 c #Conflicts: 238000 | #Constraints: 109220
133.83/134.26 c #Conflicts: 239000 | #Constraints: 110220
133.83/134.26 c #Conflicts: 240000 | #Constraints: 111220
133.83/134.26 c #Conflicts: 241000 | #Constraints: 112220
133.83/134.26 c #Conflicts: 242000 | #Constraints: 113220
133.83/134.26 c #Conflicts: 243000 | #Constraints: 114220
133.83/134.26 c #Conflicts: 244000 | #Constraints: 115220
133.83/134.26 c #Conflicts: 245000 | #Constraints: 116220
133.83/134.26 c #Conflicts: 246000 | #Constraints: 117220
133.83/134.26 c #Conflicts: 247000 | #Constraints: 118220
133.83/134.26 c #Conflicts: 248000 | #Constraints: 119220
133.83/134.26 c #Conflicts: 249000 | #Constraints: 120220
133.83/134.26 c #Conflicts: 250000 | #Constraints: 121220
133.83/134.26 c #Conflicts: 251000 | #Constraints: 122220
133.83/134.26 c #Conflicts: 252000 | #Constraints: 123220
133.83/134.26 c #Conflicts: 253000 | #Constraints: 124220
133.83/134.26 c #Conflicts: 254000 | #Constraints: 125220
133.83/134.26 c #Conflicts: 255000 | #Constraints: 126220
133.83/134.26 c #Conflicts: 256000 | #Constraints: 127220
133.83/134.26 c #Conflicts: 257000 | #Constraints: 128220
133.83/134.26 c #Conflicts: 258000 | #Constraints: 129220
133.83/134.26 c #Conflicts: 259000 | #Constraints: 130220
133.83/134.26 c #Conflicts: 260000 | #Constraints: 131220
133.83/134.26 c INPROCESSING
133.83/134.26 c GARBAGE COLLECT
133.83/134.26 c #Conflicts: 261000 | #Constraints: 106558
133.83/134.26 c #Conflicts: 262000 | #Constraints: 107558
133.83/134.26 c #Conflicts: 263000 | #Constraints: 108558
133.83/134.26 c #Conflicts: 264000 | #Constraints: 109558
133.83/134.26 c #Conflicts: 265000 | #Constraints: 110558
133.83/134.26 c #Conflicts: 266000 | #Constraints: 111558
133.83/134.26 c #Conflicts: 267000 | #Constraints: 112558
133.83/134.26 c #Conflicts: 268000 | #Constraints: 113558
133.83/134.26 c #Conflicts: 269000 | #Constraints: 114558
133.83/134.26 c #Conflicts: 270000 | #Constraints: 115558
133.83/134.26 c #Conflicts: 271000 | #Constraints: 116558
133.83/134.26 c #Conflicts: 272000 | #Constraints: 117558
133.83/134.26 c INPROCESSING
133.83/134.26 c GARBAGE COLLECT
133.83/134.26 c #Conflicts: 273000 | #Constraints: 100077
133.83/134.26 c #Conflicts: 274000 | #Constraints: 101077
133.83/134.26 c #Conflicts: 275000 | #Constraints: 102077
133.83/134.26 c #Conflicts: 276000 | #Constraints: 103077
133.83/134.26 c #Conflicts: 277000 | #Constraints: 104077
133.83/134.26 c #Conflicts: 278000 | #Constraints: 105077
133.83/134.26 c #Conflicts: 279000 | #Constraints: 106077
133.83/134.26 c #Conflicts: 280000 | #Constraints: 107077
133.83/134.26 c #Conflicts: 281000 | #Constraints: 108077
133.83/134.26 c #Conflicts: 282000 | #Constraints: 109077
133.83/134.26 c #Conflicts: 283000 | #Constraints: 110077
133.83/134.26 c INPROCESSING
133.83/134.26 c GARBAGE COLLECT
133.83/134.26 c #Conflicts: 284000 | #Constraints: 96076
217.91/218.54 c #Conflicts: 285000 | #Constraints: 97076
217.91/218.54 c #Conflicts: 286000 | #Constraints: 98076
217.91/218.54 c #Conflicts: 287000 | #Constraints: 99076
217.91/218.54 c #Conflicts: 288000 | #Constraints: 100076
217.91/218.54 c #Conflicts: 289000 | #Constraints: 101076
217.91/218.54 c #Conflicts: 290000 | #Constraints: 102076
217.91/218.54 c #Conflicts: 291000 | #Constraints: 103076
217.91/218.54 c #Conflicts: 292000 | #Constraints: 104076
217.91/218.54 c #Conflicts: 293000 | #Constraints: 105076
217.91/218.54 c #Conflicts: 294000 | #Constraints: 106076
217.91/218.54 c #Conflicts: 295000 | #Constraints: 107076
217.91/218.54 c INPROCESSING
217.91/218.54 c GARBAGE COLLECT
217.91/218.54 c #Conflicts: 296000 | #Constraints: 94770
217.91/218.54 c #Conflicts: 297000 | #Constraints: 95770
217.91/218.54 c #Conflicts: 298000 | #Constraints: 96770
217.91/218.54 c #Conflicts: 299000 | #Constraints: 97770
217.91/218.54 c #Conflicts: 300000 | #Constraints: 98770
217.91/218.54 c #Conflicts: 301000 | #Constraints: 99770
217.91/218.54 c #Conflicts: 302000 | #Constraints: 100770
217.91/218.54 c #Conflicts: 303000 | #Constraints: 101770
217.91/218.54 c #Conflicts: 304000 | #Constraints: 102770
217.91/218.54 c #Conflicts: 305000 | #Constraints: 103770
217.91/218.54 c #Conflicts: 306000 | #Constraints: 104770
217.91/218.54 c #Conflicts: 307000 | #Constraints: 105770
217.91/218.54 c #Conflicts: 308000 | #Constraints: 106770
217.91/218.54 c #Conflicts: 309000 | #Constraints: 107770
217.91/218.54 c #Conflicts: 310000 | #Constraints: 108770
217.91/218.54 c #Conflicts: 311000 | #Constraints: 109770
217.91/218.54 c #Conflicts: 312000 | #Constraints: 110770
217.91/218.54 c #Conflicts: 313000 | #Constraints: 111770
217.91/218.54 c #Conflicts: 314000 | #Constraints: 112770
217.91/218.54 c #Conflicts: 315000 | #Constraints: 113770
217.91/218.54 c #Conflicts: 316000 | #Constraints: 114770
217.91/218.54 c #Conflicts: 317000 | #Constraints: 115770
217.91/218.54 c #Conflicts: 318000 | #Constraints: 116770
217.91/218.54 c #Conflicts: 319000 | #Constraints: 117770
217.91/218.54 c #Conflicts: 320000 | #Constraints: 118770
217.91/218.54 c #Conflicts: 321000 | #Constraints: 119770
217.91/218.54 c #Conflicts: 322000 | #Constraints: 120770
217.91/218.54 c #Conflicts: 323000 | #Constraints: 121770
217.91/218.54 c #Conflicts: 324000 | #Constraints: 122770
217.91/218.54 c #Conflicts: 325000 | #Constraints: 123770
217.91/218.54 c #Conflicts: 326000 | #Constraints: 124770
217.91/218.54 c #Conflicts: 327000 | #Constraints: 125770
217.91/218.54 c #Conflicts: 328000 | #Constraints: 126770
217.91/218.54 c #Conflicts: 329000 | #Constraints: 127770
217.91/218.54 c #Conflicts: 330000 | #Constraints: 128770
217.91/218.54 c #Conflicts: 331000 | #Constraints: 129770
217.91/218.54 c #Conflicts: 332000 | #Constraints: 130770
217.91/218.54 c #Conflicts: 333000 | #Constraints: 131770
217.91/218.54 c #Conflicts: 334000 | #Constraints: 132770
217.91/218.54 c #Conflicts: 335000 | #Constraints: 133770
217.91/218.54 c #Conflicts: 336000 | #Constraints: 134770
217.91/218.54 c #Conflicts: 337000 | #Constraints: 135770
217.91/218.54 c #Conflicts: 338000 | #Constraints: 136770
217.91/218.54 c #Conflicts: 339000 | #Constraints: 137770
217.91/218.54 c #Conflicts: 340000 | #Constraints: 138770
217.91/218.54 c INPROCESSING
217.91/218.54 c GARBAGE COLLECT
217.91/218.54 c #Conflicts: 341000 | #Constraints: 110490
217.91/218.54 c #Conflicts: 342000 | #Constraints: 111490
217.91/218.54 c #Conflicts: 343000 | #Constraints: 112490
217.91/218.54 c #Conflicts: 344000 | #Constraints: 113490
217.91/218.54 c #Conflicts: 345000 | #Constraints: 114490
217.91/218.54 c #Conflicts: 346000 | #Constraints: 115490
217.91/218.54 c #Conflicts: 347000 | #Constraints: 116490
217.91/218.54 c #Conflicts: 348000 | #Constraints: 117490
217.91/218.54 c #Conflicts: 349000 | #Constraints: 118490
217.91/218.54 c #Conflicts: 350000 | #Constraints: 119490
217.91/218.54 c #Conflicts: 351000 | #Constraints: 120490
217.91/218.54 c #Conflicts: 352000 | #Constraints: 121490
217.91/218.54 c #Conflicts: 353000 | #Constraints: 122490
217.91/218.54 c INPROCESSING
217.91/218.54 c GARBAGE COLLECT
217.91/218.54 c #Conflicts: 354000 | #Constraints: 102337
217.91/218.54 c #Conflicts: 355000 | #Constraints: 103337
217.91/218.54 c #Conflicts: 356000 | #Constraints: 104337
217.91/218.54 c #Conflicts: 357000 | #Constraints: 105337
217.91/218.54 c #Conflicts: 358000 | #Constraints: 106337
217.91/218.54 c #Conflicts: 359000 | #Constraints: 107337
217.91/218.54 c #Conflicts: 360000 | #Constraints: 108337
217.91/218.54 c #Conflicts: 361000 | #Constraints: 109337
303.20/304.10 c #Conflicts: 362000 | #Constraints: 110337
303.20/304.10 c #Conflicts: 363000 | #Constraints: 111337
303.20/304.10 c #Conflicts: 364000 | #Constraints: 112337
303.20/304.10 c #Conflicts: 365000 | #Constraints: 113337
303.20/304.10 c #Conflicts: 366000 | #Constraints: 114337
303.20/304.10 c INPROCESSING
303.20/304.10 c GARBAGE COLLECT
303.20/304.10 c #Conflicts: 367000 | #Constraints: 98218
303.20/304.10 c #Conflicts: 368000 | #Constraints: 99218
303.20/304.10 c #Conflicts: 369000 | #Constraints: 100218
303.20/304.10 c #Conflicts: 370000 | #Constraints: 101218
303.20/304.10 c #Conflicts: 371000 | #Constraints: 102218
303.20/304.10 c #Conflicts: 372000 | #Constraints: 103218
303.20/304.10 c #Conflicts: 373000 | #Constraints: 104218
303.20/304.10 c #Conflicts: 374000 | #Constraints: 105218
303.20/304.10 c #Conflicts: 375000 | #Constraints: 106218
303.20/304.10 c #Conflicts: 376000 | #Constraints: 107218
303.20/304.10 c #Conflicts: 377000 | #Constraints: 108218
303.20/304.10 c #Conflicts: 378000 | #Constraints: 109218
303.20/304.10 c #Conflicts: 379000 | #Constraints: 110218
303.20/304.10 c #Conflicts: 380000 | #Constraints: 111218
303.20/304.10 c INPROCESSING
303.20/304.10 c GARBAGE COLLECT
303.20/304.10 c #Conflicts: 381000 | #Constraints: 96925
303.20/304.10 c #Conflicts: 382000 | #Constraints: 97925
303.20/304.10 c #Conflicts: 383000 | #Constraints: 98925
303.20/304.10 c #Conflicts: 384000 | #Constraints: 99925
303.20/304.10 c #Conflicts: 385000 | #Constraints: 100925
303.20/304.10 c #Conflicts: 386000 | #Constraints: 101925
303.20/304.10 c #Conflicts: 387000 | #Constraints: 102925
303.20/304.10 c #Conflicts: 388000 | #Constraints: 103925
303.20/304.10 c #Conflicts: 389000 | #Constraints: 104925
303.20/304.10 c #Conflicts: 390000 | #Constraints: 105925
303.20/304.10 c #Conflicts: 391000 | #Constraints: 106925
303.20/304.10 c #Conflicts: 392000 | #Constraints: 107925
303.20/304.10 c #Conflicts: 393000 | #Constraints: 108925
303.20/304.10 c #Conflicts: 394000 | #Constraints: 109925
303.20/304.10 c #Conflicts: 395000 | #Constraints: 110925
303.20/304.10 c #Conflicts: 396000 | #Constraints: 111925
303.20/304.10 c #Conflicts: 397000 | #Constraints: 112925
303.20/304.10 c #Conflicts: 398000 | #Constraints: 113925
303.20/304.10 c #Conflicts: 399000 | #Constraints: 114925
303.20/304.10 c #Conflicts: 400000 | #Constraints: 115925
303.20/304.10 c #Conflicts: 401000 | #Constraints: 116925
303.20/304.10 c #Conflicts: 402000 | #Constraints: 117925
303.20/304.10 c #Conflicts: 403000 | #Constraints: 118925
303.20/304.10 c #Conflicts: 404000 | #Constraints: 119925
303.20/304.10 c #Conflicts: 405000 | #Constraints: 120925
303.20/304.10 c #Conflicts: 406000 | #Constraints: 121925
303.20/304.10 c #Conflicts: 407000 | #Constraints: 122925
303.20/304.10 c #Conflicts: 408000 | #Constraints: 123925
303.20/304.10 c #Conflicts: 409000 | #Constraints: 124925
303.20/304.10 c #Conflicts: 410000 | #Constraints: 125925
303.20/304.10 c #Conflicts: 411000 | #Constraints: 126925
303.20/304.10 c #Conflicts: 412000 | #Constraints: 127925
303.20/304.10 c #Conflicts: 413000 | #Constraints: 128925
303.20/304.10 c #Conflicts: 414000 | #Constraints: 129925
303.20/304.10 c #Conflicts: 415000 | #Constraints: 130925
303.20/304.10 c #Conflicts: 416000 | #Constraints: 131925
303.20/304.10 c #Conflicts: 417000 | #Constraints: 132925
303.20/304.10 c #Conflicts: 418000 | #Constraints: 133925
303.20/304.10 c #Conflicts: 419000 | #Constraints: 134925
303.20/304.10 c #Conflicts: 420000 | #Constraints: 135925
303.20/304.10 c #Conflicts: 421000 | #Constraints: 136925
303.20/304.10 c #Conflicts: 422000 | #Constraints: 137925
303.20/304.10 c #Conflicts: 423000 | #Constraints: 138925
303.20/304.10 c #Conflicts: 424000 | #Constraints: 139925
303.20/304.10 c #Conflicts: 425000 | #Constraints: 140925
303.20/304.10 c #Conflicts: 426000 | #Constraints: 141925
303.20/304.10 c #Conflicts: 427000 | #Constraints: 142925
303.20/304.10 c #Conflicts: 428000 | #Constraints: 143925
303.20/304.10 c #Conflicts: 429000 | #Constraints: 144925
303.20/304.10 c #Conflicts: 430000 | #Constraints: 145925
303.20/304.10 c INPROCESSING
303.20/304.10 c GARBAGE COLLECT
303.20/304.10 c #Conflicts: 431000 | #Constraints: 114068
303.20/304.10 c #Conflicts: 432000 | #Constraints: 115068
303.20/304.10 c #Conflicts: 433000 | #Constraints: 116068
303.20/304.10 c #Conflicts: 434000 | #Constraints: 117068
303.20/304.10 c #Conflicts: 435000 | #Constraints: 118068
303.20/304.10 c #Conflicts: 436000 | #Constraints: 119068
303.20/304.10 c #Conflicts: 437000 | #Constraints: 120068
303.20/304.10 c #Conflicts: 438000 | #Constraints: 121068
374.62/375.64 c #Conflicts: 439000 | #Constraints: 122068
374.62/375.64 c #Conflicts: 440000 | #Constraints: 123068
374.62/375.64 c #Conflicts: 441000 | #Constraints: 124068
374.62/375.64 c #Conflicts: 442000 | #Constraints: 125068
374.62/375.64 c #Conflicts: 443000 | #Constraints: 126068
374.62/375.64 c #Conflicts: 444000 | #Constraints: 127068
374.62/375.64 c #Conflicts: 445000 | #Constraints: 128068
374.62/375.64 c INPROCESSING
374.62/375.64 c GARBAGE COLLECT
374.62/375.64 c #Conflicts: 446000 | #Constraints: 105247
374.62/375.64 c #Conflicts: 447000 | #Constraints: 106247
374.62/375.64 c #Conflicts: 448000 | #Constraints: 107247
374.62/375.64 c #Conflicts: 449000 | #Constraints: 108247
374.62/375.64 c #Conflicts: 450000 | #Constraints: 109247
374.62/375.64 c #Conflicts: 451000 | #Constraints: 110247
374.62/375.64 c #Conflicts: 452000 | #Constraints: 111247
374.62/375.64 c #Conflicts: 453000 | #Constraints: 112247
374.62/375.64 c #Conflicts: 454000 | #Constraints: 113247
374.62/375.64 c #Conflicts: 455000 | #Constraints: 114247
374.62/375.64 c #Conflicts: 456000 | #Constraints: 115247
374.62/375.64 c #Conflicts: 457000 | #Constraints: 116247
374.62/375.64 c #Conflicts: 458000 | #Constraints: 117247
374.62/375.64 c #Conflicts: 459000 | #Constraints: 118247
374.62/375.64 c #Conflicts: 460000 | #Constraints: 119247
374.62/375.64 c INPROCESSING
374.62/375.64 c GARBAGE COLLECT
374.62/375.64 c #Conflicts: 461000 | #Constraints: 100904
374.62/375.64 c #Conflicts: 462000 | #Constraints: 101904
374.62/375.64 c #Conflicts: 463000 | #Constraints: 102904
374.62/375.64 c #Conflicts: 464000 | #Constraints: 103904
374.62/375.64 c #Conflicts: 465000 | #Constraints: 104904
374.62/375.64 c #Conflicts: 466000 | #Constraints: 105904
374.62/375.64 c #Conflicts: 467000 | #Constraints: 106904
374.62/375.64 c #Conflicts: 468000 | #Constraints: 107904
374.62/375.64 c #Conflicts: 469000 | #Constraints: 108904
374.62/375.64 c #Conflicts: 470000 | #Constraints: 109904
374.62/375.64 c #Conflicts: 471000 | #Constraints: 110904
374.62/375.64 c #Conflicts: 472000 | #Constraints: 111904
374.62/375.64 c #Conflicts: 473000 | #Constraints: 112904
374.62/375.64 c #Conflicts: 474000 | #Constraints: 113904
374.62/375.64 c #Conflicts: 475000 | #Constraints: 114904
374.62/375.64 c INPROCESSING
374.62/375.64 c GARBAGE COLLECT
374.62/375.64 c #Conflicts: 476000 | #Constraints: 98665
374.62/375.64 c #Conflicts: 477000 | #Constraints: 99665
374.62/375.64 c #Conflicts: 478000 | #Constraints: 100665
374.62/375.64 c #Conflicts: 479000 | #Constraints: 101665
374.62/375.64 c #Conflicts: 480000 | #Constraints: 102665
374.62/375.64 c #Conflicts: 481000 | #Constraints: 103665
374.62/375.64 c #Conflicts: 482000 | #Constraints: 104665
374.62/375.64 c #Conflicts: 483000 | #Constraints: 105665
374.62/375.64 c #Conflicts: 484000 | #Constraints: 106665
374.62/375.64 c #Conflicts: 485000 | #Constraints: 107665
374.62/375.64 c #Conflicts: 486000 | #Constraints: 108665
374.62/375.64 c #Conflicts: 487000 | #Constraints: 109665
374.62/375.64 c #Conflicts: 488000 | #Constraints: 110665
374.62/375.64 c #Conflicts: 489000 | #Constraints: 111665
374.62/375.64 c #Conflicts: 490000 | #Constraints: 112665
374.62/375.64 c #Conflicts: 491000 | #Constraints: 113665
374.62/375.64 c #Conflicts: 492000 | #Constraints: 114665
374.62/375.64 c #Conflicts: 493000 | #Constraints: 115665
374.62/375.64 c #Conflicts: 494000 | #Constraints: 116665
374.62/375.64 c #Conflicts: 495000 | #Constraints: 117665
374.62/375.64 c #Conflicts: 496000 | #Constraints: 118665
374.62/375.64 c #Conflicts: 497000 | #Constraints: 119665
374.62/375.64 c #Conflicts: 498000 | #Constraints: 120665
374.62/375.64 c #Conflicts: 499000 | #Constraints: 121665
374.62/375.64 c #Conflicts: 500000 | #Constraints: 122665
374.62/375.64 c #Conflicts: 501000 | #Constraints: 123665
374.62/375.64 c #Conflicts: 502000 | #Constraints: 124665
374.62/375.64 c #Conflicts: 503000 | #Constraints: 125665
374.62/375.64 c #Conflicts: 504000 | #Constraints: 126665
374.62/375.64 c #Conflicts: 505000 | #Constraints: 127665
374.62/375.64 c #Conflicts: 506000 | #Constraints: 128665
374.62/375.64 c #Conflicts: 507000 | #Constraints: 129665
374.62/375.64 c #Conflicts: 508000 | #Constraints: 130665
374.62/375.64 c #Conflicts: 509000 | #Constraints: 131665
374.62/375.64 c #Conflicts: 510000 | #Constraints: 132665
374.62/375.64 c #Conflicts: 511000 | #Constraints: 133665
374.62/375.64 c #Conflicts: 512000 | #Constraints: 134665
374.62/375.64 c #Conflicts: 513000 | #Constraints: 135665
374.62/375.64 c #Conflicts: 514000 | #Constraints: 136665
463.90/465.16 c #Conflicts: 515000 | #Constraints: 137665
463.90/465.16 c #Conflicts: 516000 | #Constraints: 138665
463.90/465.16 c #Conflicts: 517000 | #Constraints: 139665
463.90/465.16 c #Conflicts: 518000 | #Constraints: 140665
463.90/465.16 c #Conflicts: 519000 | #Constraints: 141665
463.90/465.16 c #Conflicts: 520000 | #Constraints: 142665
463.90/465.16 c #Conflicts: 521000 | #Constraints: 143665
463.90/465.16 c #Conflicts: 522000 | #Constraints: 144665
463.90/465.16 c #Conflicts: 523000 | #Constraints: 145665
463.90/465.16 c #Conflicts: 524000 | #Constraints: 146665
463.90/465.16 c #Conflicts: 525000 | #Constraints: 147665
463.90/465.16 c #Conflicts: 526000 | #Constraints: 148665
463.90/465.16 c #Conflicts: 527000 | #Constraints: 149665
463.90/465.16 c #Conflicts: 528000 | #Constraints: 150665
463.90/465.16 c #Conflicts: 529000 | #Constraints: 151665
463.90/465.16 c #Conflicts: 530000 | #Constraints: 152665
463.90/465.16 c #Conflicts: 531000 | #Constraints: 153665
463.90/465.16 c INPROCESSING
463.90/465.16 c GARBAGE COLLECT
463.90/465.16 c #Conflicts: 532000 | #Constraints: 118195
463.90/465.16 c #Conflicts: 533000 | #Constraints: 119195
463.90/465.16 c #Conflicts: 534000 | #Constraints: 120195
463.90/465.16 c #Conflicts: 535000 | #Constraints: 121195
463.90/465.16 c #Conflicts: 536000 | #Constraints: 122195
463.90/465.16 c #Conflicts: 537000 | #Constraints: 123195
463.90/465.16 c #Conflicts: 538000 | #Constraints: 124195
463.90/465.16 c #Conflicts: 539000 | #Constraints: 125195
463.90/465.16 c #Conflicts: 540000 | #Constraints: 126195
463.90/465.16 c #Conflicts: 541000 | #Constraints: 127195
463.90/465.16 c #Conflicts: 542000 | #Constraints: 128195
463.90/465.16 c #Conflicts: 543000 | #Constraints: 129195
463.90/465.16 c #Conflicts: 544000 | #Constraints: 130195
463.90/465.16 c #Conflicts: 545000 | #Constraints: 131195
463.90/465.16 c #Conflicts: 546000 | #Constraints: 132195
463.90/465.16 c #Conflicts: 547000 | #Constraints: 133195
463.90/465.16 c INPROCESSING
463.90/465.16 c GARBAGE COLLECT
463.90/465.16 c #Conflicts: 548000 | #Constraints: 107728
463.90/465.16 c #Conflicts: 549000 | #Constraints: 108728
463.90/465.16 c #Conflicts: 550000 | #Constraints: 109728
463.90/465.16 c #Conflicts: 551000 | #Constraints: 110728
463.90/465.16 c #Conflicts: 552000 | #Constraints: 111728
463.90/465.16 c #Conflicts: 553000 | #Constraints: 112728
463.90/465.16 c #Conflicts: 554000 | #Constraints: 113728
463.90/465.16 c #Conflicts: 555000 | #Constraints: 114728
463.90/465.16 c #Conflicts: 556000 | #Constraints: 115728
463.90/465.16 c #Conflicts: 557000 | #Constraints: 116728
463.90/465.16 c #Conflicts: 558000 | #Constraints: 117728
463.90/465.16 c #Conflicts: 559000 | #Constraints: 118728
463.90/465.16 c #Conflicts: 560000 | #Constraints: 119728
463.90/465.16 c #Conflicts: 561000 | #Constraints: 120728
463.90/465.16 c #Conflicts: 562000 | #Constraints: 121728
463.90/465.16 c #Conflicts: 563000 | #Constraints: 122728
463.90/465.16 c #Conflicts: 564000 | #Constraints: 123728
463.90/465.16 c INPROCESSING
463.90/465.16 c GARBAGE COLLECT
463.90/465.16 c #Conflicts: 565000 | #Constraints: 103178
463.90/465.16 c #Conflicts: 566000 | #Constraints: 104178
463.90/465.16 c #Conflicts: 567000 | #Constraints: 105178
463.90/465.16 c #Conflicts: 568000 | #Constraints: 106178
463.90/465.16 c #Conflicts: 569000 | #Constraints: 107178
463.90/465.16 c #Conflicts: 570000 | #Constraints: 108178
463.90/465.16 c #Conflicts: 571000 | #Constraints: 109178
463.90/465.16 c #Conflicts: 572000 | #Constraints: 110178
463.90/465.16 c #Conflicts: 573000 | #Constraints: 111178
463.90/465.16 c #Conflicts: 574000 | #Constraints: 112178
463.90/465.16 c #Conflicts: 575000 | #Constraints: 113178
463.90/465.16 c #Conflicts: 576000 | #Constraints: 114178
463.90/465.16 c #Conflicts: 577000 | #Constraints: 115178
463.90/465.16 c #Conflicts: 578000 | #Constraints: 116178
463.90/465.16 c #Conflicts: 579000 | #Constraints: 117178
463.90/465.16 c #Conflicts: 580000 | #Constraints: 118178
463.90/465.16 c INPROCESSING
463.90/465.16 c GARBAGE COLLECT
463.90/465.16 c #Conflicts: 581000 | #Constraints: 100011
463.90/465.16 c #Conflicts: 582000 | #Constraints: 101011
463.90/465.16 c #Conflicts: 583000 | #Constraints: 102011
463.90/465.16 c #Conflicts: 584000 | #Constraints: 103011
463.90/465.16 c #Conflicts: 585000 | #Constraints: 104011
463.90/465.16 c #Conflicts: 586000 | #Constraints: 105011
463.90/465.16 c #Conflicts: 587000 | #Constraints: 106011
463.90/465.16 c #Conflicts: 588000 | #Constraints: 107011
463.90/465.16 c #Conflicts: 589000 | #Constraints: 108011
463.90/465.16 c #Conflicts: 590000 | #Constraints: 109011
463.90/465.16 c #Conflicts: 591000 | #Constraints: 110011
584.10/585.66 c #Conflicts: 592000 | #Constraints: 111011
584.10/585.66 c #Conflicts: 593000 | #Constraints: 112011
584.10/585.66 c #Conflicts: 594000 | #Constraints: 113011
584.10/585.66 c #Conflicts: 595000 | #Constraints: 114011
584.10/585.66 c #Conflicts: 596000 | #Constraints: 115011
584.10/585.66 c #Conflicts: 597000 | #Constraints: 116011
584.10/585.66 c #Conflicts: 598000 | #Constraints: 117011
584.10/585.66 c #Conflicts: 599000 | #Constraints: 118011
584.10/585.66 c #Conflicts: 600000 | #Constraints: 119011
584.10/585.66 c #Conflicts: 601000 | #Constraints: 120011
584.10/585.66 c #Conflicts: 602000 | #Constraints: 121011
584.10/585.66 c #Conflicts: 603000 | #Constraints: 122011
584.10/585.66 c #Conflicts: 604000 | #Constraints: 123011
584.10/585.66 c #Conflicts: 605000 | #Constraints: 124011
584.10/585.66 c #Conflicts: 606000 | #Constraints: 125011
584.10/585.66 c #Conflicts: 607000 | #Constraints: 126011
584.10/585.66 c #Conflicts: 608000 | #Constraints: 127011
584.10/585.66 c #Conflicts: 609000 | #Constraints: 128011
584.10/585.66 c #Conflicts: 610000 | #Constraints: 129011
584.10/585.66 c #Conflicts: 611000 | #Constraints: 130011
584.10/585.66 c #Conflicts: 612000 | #Constraints: 131011
584.10/585.66 c #Conflicts: 613000 | #Constraints: 132011
584.10/585.66 c #Conflicts: 614000 | #Constraints: 133011
584.10/585.66 c #Conflicts: 615000 | #Constraints: 134011
584.10/585.66 c #Conflicts: 616000 | #Constraints: 135011
584.10/585.66 c #Conflicts: 617000 | #Constraints: 136011
584.10/585.66 c #Conflicts: 618000 | #Constraints: 137011
584.10/585.66 c #Conflicts: 619000 | #Constraints: 138011
584.10/585.66 c #Conflicts: 620000 | #Constraints: 139011
584.10/585.66 c #Conflicts: 621000 | #Constraints: 140011
584.10/585.66 c #Conflicts: 622000 | #Constraints: 141011
584.10/585.66 c #Conflicts: 623000 | #Constraints: 142011
584.10/585.66 c #Conflicts: 624000 | #Constraints: 143011
584.10/585.66 c #Conflicts: 625000 | #Constraints: 144011
584.10/585.66 c #Conflicts: 626000 | #Constraints: 145011
584.10/585.66 c #Conflicts: 627000 | #Constraints: 146011
584.10/585.66 c #Conflicts: 628000 | #Constraints: 147011
584.10/585.66 c #Conflicts: 629000 | #Constraints: 148011
584.10/585.66 c #Conflicts: 630000 | #Constraints: 149011
584.10/585.66 c #Conflicts: 631000 | #Constraints: 150011
584.10/585.66 c #Conflicts: 632000 | #Constraints: 151011
584.10/585.66 c #Conflicts: 633000 | #Constraints: 152011
584.10/585.66 c #Conflicts: 634000 | #Constraints: 153011
584.10/585.66 c #Conflicts: 635000 | #Constraints: 154011
584.10/585.66 c #Conflicts: 636000 | #Constraints: 155011
584.10/585.66 c #Conflicts: 637000 | #Constraints: 156011
584.10/585.66 c #Conflicts: 638000 | #Constraints: 157011
584.10/585.66 c #Conflicts: 639000 | #Constraints: 158011
584.10/585.66 c #Conflicts: 640000 | #Constraints: 159011
584.10/585.66 c #Conflicts: 641000 | #Constraints: 160011
584.10/585.66 c INPROCESSING
584.10/585.66 c GARBAGE COLLECT
584.10/585.66 c #Conflicts: 642000 | #Constraints: 120858
584.10/585.66 c #Conflicts: 643000 | #Constraints: 121858
584.10/585.66 c #Conflicts: 644000 | #Constraints: 122858
584.10/585.66 c #Conflicts: 645000 | #Constraints: 123858
584.10/585.66 c #Conflicts: 646000 | #Constraints: 124858
584.10/585.66 c #Conflicts: 647000 | #Constraints: 125858
584.10/585.66 c #Conflicts: 648000 | #Constraints: 126858
584.10/585.66 c #Conflicts: 649000 | #Constraints: 127858
584.10/585.66 c #Conflicts: 650000 | #Constraints: 128858
584.10/585.66 c #Conflicts: 651000 | #Constraints: 129858
584.10/585.66 c #Conflicts: 652000 | #Constraints: 130858
584.10/585.66 c #Conflicts: 653000 | #Constraints: 131858
584.10/585.66 c #Conflicts: 654000 | #Constraints: 132858
584.10/585.66 c #Conflicts: 655000 | #Constraints: 133858
584.10/585.66 c #Conflicts: 656000 | #Constraints: 134858
584.10/585.66 c #Conflicts: 657000 | #Constraints: 135858
584.10/585.66 c #Conflicts: 658000 | #Constraints: 136858
584.10/585.66 c #Conflicts: 659000 | #Constraints: 137858
584.10/585.66 c #Conflicts: 660000 | #Constraints: 138858
584.10/585.66 c INPROCESSING
584.10/585.66 c GARBAGE COLLECT
584.10/585.66 c #Conflicts: 661000 | #Constraints: 110806
584.10/585.66 c #Conflicts: 662000 | #Constraints: 111806
584.10/585.66 c #Conflicts: 663000 | #Constraints: 112806
584.10/585.66 c #Conflicts: 664000 | #Constraints: 113806
584.10/585.66 c #Conflicts: 665000 | #Constraints: 114806
584.10/585.66 c #Conflicts: 666000 | #Constraints: 115806
584.10/585.66 c #Conflicts: 667000 | #Constraints: 116806
584.10/585.66 c #Conflicts: 668000 | #Constraints: 117806
672.16/673.92 c #Conflicts: 669000 | #Constraints: 118806
672.16/673.92 c #Conflicts: 670000 | #Constraints: 119806
672.16/673.92 c #Conflicts: 671000 | #Constraints: 120806
672.16/673.92 c #Conflicts: 672000 | #Constraints: 121806
672.16/673.92 c #Conflicts: 673000 | #Constraints: 122806
672.16/673.92 c #Conflicts: 674000 | #Constraints: 123806
672.16/673.92 c #Conflicts: 675000 | #Constraints: 124806
672.16/673.92 c #Conflicts: 676000 | #Constraints: 125806
672.16/673.92 c #Conflicts: 677000 | #Constraints: 126806
672.16/673.92 c #Conflicts: 678000 | #Constraints: 127806
672.16/673.92 c INPROCESSING
672.16/673.92 c GARBAGE COLLECT
672.16/673.92 c #Conflicts: 679000 | #Constraints: 105093
672.16/673.92 c #Conflicts: 680000 | #Constraints: 106093
672.16/673.92 c #Conflicts: 681000 | #Constraints: 107093
672.16/673.92 c #Conflicts: 682000 | #Constraints: 108093
672.16/673.92 c #Conflicts: 683000 | #Constraints: 109093
672.16/673.92 c #Conflicts: 684000 | #Constraints: 110093
672.16/673.92 c #Conflicts: 685000 | #Constraints: 111093
672.16/673.92 c #Conflicts: 686000 | #Constraints: 112093
672.16/673.92 c #Conflicts: 687000 | #Constraints: 113093
672.16/673.92 c #Conflicts: 688000 | #Constraints: 114093
672.16/673.92 c #Conflicts: 689000 | #Constraints: 115093
672.16/673.92 c #Conflicts: 690000 | #Constraints: 116093
672.16/673.92 c #Conflicts: 691000 | #Constraints: 117093
672.16/673.92 c #Conflicts: 692000 | #Constraints: 118093
672.16/673.92 c #Conflicts: 693000 | #Constraints: 119093
672.16/673.92 c #Conflicts: 694000 | #Constraints: 120093
672.16/673.92 c #Conflicts: 695000 | #Constraints: 121093
672.16/673.92 c #Conflicts: 696000 | #Constraints: 122093
672.16/673.92 c INPROCESSING
672.16/673.92 c GARBAGE COLLECT
672.16/673.92 c #Conflicts: 697000 | #Constraints: 101993
672.16/673.92 c #Conflicts: 698000 | #Constraints: 102993
672.16/673.92 c #Conflicts: 699000 | #Constraints: 103993
672.16/673.92 c #Conflicts: 700000 | #Constraints: 104993
672.16/673.92 c #Conflicts: 701000 | #Constraints: 105993
672.16/673.92 c #Conflicts: 702000 | #Constraints: 106993
672.16/673.92 c #Conflicts: 703000 | #Constraints: 107993
672.16/673.92 c #Conflicts: 704000 | #Constraints: 108993
672.16/673.92 c #Conflicts: 705000 | #Constraints: 109993
672.16/673.92 c #Conflicts: 706000 | #Constraints: 110993
672.16/673.92 c #Conflicts: 707000 | #Constraints: 111993
672.16/673.92 c #Conflicts: 708000 | #Constraints: 112993
672.16/673.92 c #Conflicts: 709000 | #Constraints: 113993
672.16/673.92 c #Conflicts: 710000 | #Constraints: 114993
672.16/673.92 c #Conflicts: 711000 | #Constraints: 115993
672.16/673.92 c #Conflicts: 712000 | #Constraints: 116993
672.16/673.92 c #Conflicts: 713000 | #Constraints: 117993
672.16/673.92 c #Conflicts: 714000 | #Constraints: 118993
672.16/673.92 c #Conflicts: 715000 | #Constraints: 119993
672.16/673.92 c #Conflicts: 716000 | #Constraints: 120993
672.16/673.92 c #Conflicts: 717000 | #Constraints: 121993
672.16/673.92 c #Conflicts: 718000 | #Constraints: 122993
672.16/673.92 c #Conflicts: 719000 | #Constraints: 123993
672.16/673.92 c #Conflicts: 720000 | #Constraints: 124993
672.16/673.92 c #Conflicts: 721000 | #Constraints: 125993
672.16/673.92 c #Conflicts: 722000 | #Constraints: 126993
672.16/673.92 c #Conflicts: 723000 | #Constraints: 127993
672.16/673.92 c #Conflicts: 724000 | #Constraints: 128993
672.16/673.92 c #Conflicts: 725000 | #Constraints: 129993
672.16/673.92 c #Conflicts: 726000 | #Constraints: 130993
672.16/673.92 c #Conflicts: 727000 | #Constraints: 131993
672.16/673.92 c #Conflicts: 728000 | #Constraints: 132993
672.16/673.92 c #Conflicts: 729000 | #Constraints: 133993
672.16/673.92 c #Conflicts: 730000 | #Constraints: 134993
672.16/673.92 c #Conflicts: 731000 | #Constraints: 135993
672.16/673.92 c #Conflicts: 732000 | #Constraints: 136993
672.16/673.92 c #Conflicts: 733000 | #Constraints: 137993
672.16/673.92 c #Conflicts: 734000 | #Constraints: 138993
672.16/673.92 c #Conflicts: 735000 | #Constraints: 139993
672.16/673.92 c #Conflicts: 736000 | #Constraints: 140993
672.16/673.92 c #Conflicts: 737000 | #Constraints: 141993
672.16/673.92 c #Conflicts: 738000 | #Constraints: 142993
672.16/673.92 c #Conflicts: 739000 | #Constraints: 143993
672.16/673.92 c #Conflicts: 740000 | #Constraints: 144993
672.16/673.92 c #Conflicts: 741000 | #Constraints: 145993
672.16/673.92 c #Conflicts: 742000 | #Constraints: 146993
672.16/673.92 c #Conflicts: 743000 | #Constraints: 147993
672.16/673.92 c #Conflicts: 744000 | #Constraints: 148993
672.16/673.92 c #Conflicts: 745000 | #Constraints: 149993
672.16/673.92 c #Conflicts: 746000 | #Constraints: 150993
793.65/795.79 c #Conflicts: 747000 | #Constraints: 151993
793.65/795.79 c #Conflicts: 748000 | #Constraints: 152993
793.65/795.79 c #Conflicts: 749000 | #Constraints: 153993
793.65/795.79 c #Conflicts: 750000 | #Constraints: 154993
793.65/795.79 c #Conflicts: 751000 | #Constraints: 155993
793.65/795.79 c #Conflicts: 752000 | #Constraints: 156993
793.65/795.79 c #Conflicts: 753000 | #Constraints: 157993
793.65/795.79 c #Conflicts: 754000 | #Constraints: 158993
793.65/795.79 c #Conflicts: 755000 | #Constraints: 159993
793.65/795.79 c #Conflicts: 756000 | #Constraints: 160993
793.65/795.79 c #Conflicts: 757000 | #Constraints: 161993
793.65/795.79 c #Conflicts: 758000 | #Constraints: 162993
793.65/795.79 c #Conflicts: 759000 | #Constraints: 163993
793.65/795.79 c #Conflicts: 760000 | #Constraints: 164993
793.65/795.79 c #Conflicts: 761000 | #Constraints: 165993
793.65/795.79 c #Conflicts: 762000 | #Constraints: 166993
793.65/795.79 c #Conflicts: 763000 | #Constraints: 167993
793.65/795.79 c INPROCESSING
793.65/795.79 c GARBAGE COLLECT
793.65/795.79 c #Conflicts: 764000 | #Constraints: 125259
793.65/795.79 c #Conflicts: 765000 | #Constraints: 126259
793.65/795.79 c #Conflicts: 766000 | #Constraints: 127259
793.65/795.79 c #Conflicts: 767000 | #Constraints: 128259
793.65/795.79 c #Conflicts: 768000 | #Constraints: 129259
793.65/795.79 c #Conflicts: 769000 | #Constraints: 130259
793.65/795.79 c #Conflicts: 770000 | #Constraints: 131259
793.65/795.79 c #Conflicts: 771000 | #Constraints: 132259
793.65/795.79 c #Conflicts: 772000 | #Constraints: 133259
793.65/795.79 c #Conflicts: 773000 | #Constraints: 134259
793.65/795.79 c #Conflicts: 774000 | #Constraints: 135259
793.65/795.79 c #Conflicts: 775000 | #Constraints: 136259
793.65/795.79 c #Conflicts: 776000 | #Constraints: 137259
793.65/795.79 c #Conflicts: 777000 | #Constraints: 138259
793.65/795.79 c #Conflicts: 778000 | #Constraints: 139259
793.65/795.79 c #Conflicts: 779000 | #Constraints: 140259
793.65/795.79 c #Conflicts: 780000 | #Constraints: 141259
793.65/795.79 c #Conflicts: 781000 | #Constraints: 142259
793.65/795.79 c #Conflicts: 782000 | #Constraints: 143259
793.65/795.79 c #Conflicts: 783000 | #Constraints: 144259
793.65/795.79 c INPROCESSING
793.65/795.79 c GARBAGE COLLECT
793.65/795.79 c #Conflicts: 784000 | #Constraints: 113457
793.65/795.79 c #Conflicts: 785000 | #Constraints: 114457
793.65/795.79 c #Conflicts: 786000 | #Constraints: 115457
793.65/795.79 c #Conflicts: 787000 | #Constraints: 116457
793.65/795.79 c #Conflicts: 788000 | #Constraints: 117457
793.65/795.79 c #Conflicts: 789000 | #Constraints: 118457
793.65/795.79 c #Conflicts: 790000 | #Constraints: 119457
793.65/795.79 c #Conflicts: 791000 | #Constraints: 120457
793.65/795.79 c #Conflicts: 792000 | #Constraints: 121457
793.65/795.79 c #Conflicts: 793000 | #Constraints: 122457
793.65/795.79 c #Conflicts: 794000 | #Constraints: 123457
793.65/795.79 c #Conflicts: 795000 | #Constraints: 124457
793.65/795.79 c #Conflicts: 796000 | #Constraints: 125457
793.65/795.79 c #Conflicts: 797000 | #Constraints: 126457
793.65/795.79 c #Conflicts: 798000 | #Constraints: 127457
793.65/795.79 c #Conflicts: 799000 | #Constraints: 128457
793.65/795.79 c #Conflicts: 800000 | #Constraints: 129457
793.65/795.79 c #Conflicts: 801000 | #Constraints: 130457
793.65/795.79 c #Conflicts: 802000 | #Constraints: 131457
793.65/795.79 c #Conflicts: 803000 | #Constraints: 132457
793.65/795.79 c INPROCESSING
793.65/795.79 c GARBAGE COLLECT
793.65/795.79 c #Conflicts: 804000 | #Constraints: 107563
793.65/795.79 c #Conflicts: 805000 | #Constraints: 108563
793.65/795.79 c #Conflicts: 806000 | #Constraints: 109563
793.65/795.79 c #Conflicts: 807000 | #Constraints: 110563
793.65/795.79 c #Conflicts: 808000 | #Constraints: 111563
793.65/795.79 c #Conflicts: 809000 | #Constraints: 112563
793.65/795.79 c #Conflicts: 810000 | #Constraints: 113563
793.65/795.79 c #Conflicts: 811000 | #Constraints: 114563
793.65/795.79 c #Conflicts: 812000 | #Constraints: 115563
793.65/795.79 c #Conflicts: 813000 | #Constraints: 116563
793.65/795.79 c #Conflicts: 814000 | #Constraints: 117563
793.65/795.79 c #Conflicts: 815000 | #Constraints: 118563
793.65/795.79 c #Conflicts: 816000 | #Constraints: 119563
793.65/795.79 c #Conflicts: 817000 | #Constraints: 120563
793.65/795.79 c #Conflicts: 818000 | #Constraints: 121563
793.65/795.79 c #Conflicts: 819000 | #Constraints: 122563
793.65/795.79 c #Conflicts: 820000 | #Constraints: 123563
793.65/795.79 c #Conflicts: 821000 | #Constraints: 124563
793.65/795.79 c #Conflicts: 822000 | #Constraints: 125563
793.65/795.79 c #Conflicts: 823000 | #Constraints: 126563
928.01/930.48 c INPROCESSING
928.01/930.48 c GARBAGE COLLECT
928.01/930.48 c #Conflicts: 824000 | #Constraints: 104494
928.01/930.48 c #Conflicts: 825000 | #Constraints: 105494
928.01/930.48 c #Conflicts: 826000 | #Constraints: 106494
928.01/930.48 c #Conflicts: 827000 | #Constraints: 107494
928.01/930.48 c #Conflicts: 828000 | #Constraints: 108494
928.01/930.48 c #Conflicts: 829000 | #Constraints: 109494
928.01/930.48 c #Conflicts: 830000 | #Constraints: 110494
928.01/930.48 c #Conflicts: 831000 | #Constraints: 111494
928.01/930.48 c #Conflicts: 832000 | #Constraints: 112494
928.01/930.48 c #Conflicts: 833000 | #Constraints: 113494
928.01/930.48 c #Conflicts: 834000 | #Constraints: 114494
928.01/930.48 c #Conflicts: 835000 | #Constraints: 115494
928.01/930.48 c #Conflicts: 836000 | #Constraints: 116494
928.01/930.48 c #Conflicts: 837000 | #Constraints: 117494
928.01/930.48 c #Conflicts: 838000 | #Constraints: 118494
928.01/930.48 c #Conflicts: 839000 | #Constraints: 119494
928.01/930.48 c #Conflicts: 840000 | #Constraints: 120494
928.01/930.48 c #Conflicts: 841000 | #Constraints: 121494
928.01/930.48 c #Conflicts: 842000 | #Constraints: 122494
928.01/930.48 c #Conflicts: 843000 | #Constraints: 123494
928.01/930.48 c #Conflicts: 844000 | #Constraints: 124494
928.01/930.48 c #Conflicts: 845000 | #Constraints: 125494
928.01/930.48 c #Conflicts: 846000 | #Constraints: 126494
928.01/930.48 c #Conflicts: 847000 | #Constraints: 127494
928.01/930.48 c #Conflicts: 848000 | #Constraints: 128494
928.01/930.48 c #Conflicts: 849000 | #Constraints: 129494
928.01/930.48 c #Conflicts: 850000 | #Constraints: 130494
928.01/930.48 c #Conflicts: 851000 | #Constraints: 131494
928.01/930.48 c #Conflicts: 852000 | #Constraints: 132494
928.01/930.48 c #Conflicts: 853000 | #Constraints: 133494
928.01/930.48 c #Conflicts: 854000 | #Constraints: 134494
928.01/930.48 c #Conflicts: 855000 | #Constraints: 135494
928.01/930.48 c #Conflicts: 856000 | #Constraints: 136494
928.01/930.48 c #Conflicts: 857000 | #Constraints: 137494
928.01/930.48 c #Conflicts: 858000 | #Constraints: 138494
928.01/930.48 c #Conflicts: 859000 | #Constraints: 139494
928.01/930.48 c #Conflicts: 860000 | #Constraints: 140494
928.01/930.48 c #Conflicts: 861000 | #Constraints: 141494
928.01/930.48 c #Conflicts: 862000 | #Constraints: 142494
928.01/930.48 c #Conflicts: 863000 | #Constraints: 143494
928.01/930.48 c #Conflicts: 864000 | #Constraints: 144494
928.01/930.48 c #Conflicts: 865000 | #Constraints: 145494
928.01/930.48 c #Conflicts: 866000 | #Constraints: 146494
928.01/930.48 c #Conflicts: 867000 | #Constraints: 147494
928.01/930.48 c #Conflicts: 868000 | #Constraints: 148494
928.01/930.48 c #Conflicts: 869000 | #Constraints: 149494
928.01/930.48 c #Conflicts: 870000 | #Constraints: 150494
928.01/930.48 c #Conflicts: 871000 | #Constraints: 151494
928.01/930.48 c #Conflicts: 872000 | #Constraints: 152494
928.01/930.48 c #Conflicts: 873000 | #Constraints: 153494
928.01/930.48 c #Conflicts: 874000 | #Constraints: 154494
928.01/930.48 c #Conflicts: 875000 | #Constraints: 155494
928.01/930.48 c #Conflicts: 876000 | #Constraints: 156494
928.01/930.48 c #Conflicts: 877000 | #Constraints: 157494
928.01/930.48 c #Conflicts: 878000 | #Constraints: 158494
928.01/930.48 c #Conflicts: 879000 | #Constraints: 159494
928.01/930.48 c #Conflicts: 880000 | #Constraints: 160494
928.01/930.48 c #Conflicts: 881000 | #Constraints: 161494
928.01/930.48 c #Conflicts: 882000 | #Constraints: 162494
928.01/930.48 c #Conflicts: 883000 | #Constraints: 163494
928.01/930.48 c #Conflicts: 884000 | #Constraints: 164494
928.01/930.48 c #Conflicts: 885000 | #Constraints: 165494
928.01/930.48 c #Conflicts: 886000 | #Constraints: 166494
928.01/930.48 c #Conflicts: 887000 | #Constraints: 167494
928.01/930.48 c #Conflicts: 888000 | #Constraints: 168494
928.01/930.48 c #Conflicts: 889000 | #Constraints: 169494
928.01/930.48 c #Conflicts: 890000 | #Constraints: 170494
928.01/930.48 c #Conflicts: 891000 | #Constraints: 171494
928.01/930.48 c #Conflicts: 892000 | #Constraints: 172494
928.01/930.48 c #Conflicts: 893000 | #Constraints: 173494
928.01/930.48 c #Conflicts: 894000 | #Constraints: 174494
928.01/930.48 c INPROCESSING
928.01/930.48 c GARBAGE COLLECT
928.01/930.48 c #Conflicts: 895000 | #Constraints: 128171
928.01/930.48 c #Conflicts: 896000 | #Constraints: 129171
928.01/930.48 c #Conflicts: 897000 | #Constraints: 130171
928.01/930.48 c #Conflicts: 898000 | #Constraints: 131171
928.01/930.48 c #Conflicts: 899000 | #Constraints: 132171
928.01/930.48 c #Conflicts: 900000 | #Constraints: 133171
1025.06/1027.77 c #Conflicts: 901000 | #Constraints: 134171
1025.06/1027.77 c #Conflicts: 902000 | #Constraints: 135171
1025.06/1027.77 c #Conflicts: 903000 | #Constraints: 136171
1025.06/1027.77 c #Conflicts: 904000 | #Constraints: 137171
1025.06/1027.77 c #Conflicts: 905000 | #Constraints: 138171
1025.06/1027.77 c #Conflicts: 906000 | #Constraints: 139171
1025.06/1027.77 c #Conflicts: 907000 | #Constraints: 140171
1025.06/1027.77 c #Conflicts: 908000 | #Constraints: 141171
1025.06/1027.77 c #Conflicts: 909000 | #Constraints: 142171
1025.06/1027.77 c #Conflicts: 910000 | #Constraints: 143171
1025.06/1027.77 c #Conflicts: 911000 | #Constraints: 144171
1025.06/1027.77 c #Conflicts: 912000 | #Constraints: 145171
1025.06/1027.77 c #Conflicts: 913000 | #Constraints: 146171
1025.06/1027.77 c #Conflicts: 914000 | #Constraints: 147171
1025.06/1027.77 c #Conflicts: 915000 | #Constraints: 148171
1025.06/1027.77 c #Conflicts: 916000 | #Constraints: 149171
1025.06/1027.77 c INPROCESSING
1025.06/1027.77 c GARBAGE COLLECT
1025.06/1027.77 c #Conflicts: 917000 | #Constraints: 115703
1025.06/1027.77 c #Conflicts: 918000 | #Constraints: 116703
1025.06/1027.77 c #Conflicts: 919000 | #Constraints: 117703
1025.06/1027.77 c #Conflicts: 920000 | #Constraints: 118703
1025.06/1027.77 c #Conflicts: 921000 | #Constraints: 119703
1025.06/1027.77 c #Conflicts: 922000 | #Constraints: 120703
1025.06/1027.77 c #Conflicts: 923000 | #Constraints: 121703
1025.06/1027.77 c #Conflicts: 924000 | #Constraints: 122703
1025.06/1027.77 c #Conflicts: 925000 | #Constraints: 123703
1025.06/1027.77 c #Conflicts: 926000 | #Constraints: 124703
1025.06/1027.77 c #Conflicts: 927000 | #Constraints: 125703
1025.06/1027.77 c #Conflicts: 928000 | #Constraints: 126703
1025.06/1027.77 c #Conflicts: 929000 | #Constraints: 127703
1025.06/1027.77 c #Conflicts: 930000 | #Constraints: 128703
1025.06/1027.77 c #Conflicts: 931000 | #Constraints: 129703
1025.06/1027.77 c #Conflicts: 932000 | #Constraints: 130703
1025.06/1027.77 c #Conflicts: 933000 | #Constraints: 131703
1025.06/1027.77 c #Conflicts: 934000 | #Constraints: 132703
1025.06/1027.77 c #Conflicts: 935000 | #Constraints: 133703
1025.06/1027.77 c #Conflicts: 936000 | #Constraints: 134703
1025.06/1027.77 c #Conflicts: 937000 | #Constraints: 135703
1025.06/1027.77 c #Conflicts: 938000 | #Constraints: 136703
1025.06/1027.77 c INPROCESSING
1025.06/1027.77 c GARBAGE COLLECT
1025.06/1027.77 c #Conflicts: 939000 | #Constraints: 109657
1025.06/1027.77 c #Conflicts: 940000 | #Constraints: 110657
1025.06/1027.77 c #Conflicts: 941000 | #Constraints: 111657
1025.06/1027.77 c #Conflicts: 942000 | #Constraints: 112657
1025.06/1027.77 c #Conflicts: 943000 | #Constraints: 113657
1025.06/1027.77 c #Conflicts: 944000 | #Constraints: 114657
1025.06/1027.77 c #Conflicts: 945000 | #Constraints: 115657
1025.06/1027.77 c #Conflicts: 946000 | #Constraints: 116657
1025.06/1027.77 c #Conflicts: 947000 | #Constraints: 117657
1025.06/1027.77 c #Conflicts: 948000 | #Constraints: 118657
1025.06/1027.77 c #Conflicts: 949000 | #Constraints: 119657
1025.06/1027.77 c #Conflicts: 950000 | #Constraints: 120657
1025.06/1027.77 c #Conflicts: 951000 | #Constraints: 121657
1025.06/1027.77 c #Conflicts: 952000 | #Constraints: 122657
1025.06/1027.77 c #Conflicts: 953000 | #Constraints: 123657
1025.06/1027.77 c #Conflicts: 954000 | #Constraints: 124657
1025.06/1027.77 c #Conflicts: 955000 | #Constraints: 125657
1025.06/1027.77 c #Conflicts: 956000 | #Constraints: 126657
1025.06/1027.77 c #Conflicts: 957000 | #Constraints: 127657
1025.06/1027.77 c #Conflicts: 958000 | #Constraints: 128657
1025.06/1027.77 c #Conflicts: 959000 | #Constraints: 129657
1025.06/1027.77 c #Conflicts: 960000 | #Constraints: 130657
1025.06/1027.77 c INPROCESSING
1025.06/1027.77 c GARBAGE COLLECT
1025.06/1027.77 c #Conflicts: 961000 | #Constraints: 106694
1025.06/1027.77 c #Conflicts: 962000 | #Constraints: 107694
1025.06/1027.77 c #Conflicts: 963000 | #Constraints: 108694
1025.06/1027.77 c #Conflicts: 964000 | #Constraints: 109694
1025.06/1027.77 c #Conflicts: 965000 | #Constraints: 110694
1025.06/1027.77 c #Conflicts: 966000 | #Constraints: 111694
1025.06/1027.77 c #Conflicts: 967000 | #Constraints: 112694
1025.06/1027.77 c #Conflicts: 968000 | #Constraints: 113694
1025.06/1027.77 c #Conflicts: 969000 | #Constraints: 114694
1025.06/1027.77 c #Conflicts: 970000 | #Constraints: 115694
1025.06/1027.77 c #Conflicts: 971000 | #Constraints: 116694
1025.06/1027.77 c #Conflicts: 972000 | #Constraints: 117694
1025.06/1027.77 c #Conflicts: 973000 | #Constraints: 118694
1025.06/1027.77 c #Conflicts: 974000 | #Constraints: 119694
1025.06/1027.77 c #Conflicts: 975000 | #Constraints: 120694
1025.06/1027.77 c #Conflicts: 976000 | #Constraints: 121694
1025.06/1027.77 c #Conflicts: 977000 | #Constraints: 122694
1197.32/1200.42 c #Conflicts: 978000 | #Constraints: 123694
1197.32/1200.42 c #Conflicts: 979000 | #Constraints: 124694
1197.32/1200.42 c #Conflicts: 980000 | #Constraints: 125694
1197.32/1200.42 c #Conflicts: 981000 | #Constraints: 126694
1197.32/1200.42 c #Conflicts: 982000 | #Constraints: 127694
1197.32/1200.42 c #Conflicts: 983000 | #Constraints: 128694
1197.32/1200.42 c #Conflicts: 984000 | #Constraints: 129694
1197.32/1200.42 c #Conflicts: 985000 | #Constraints: 130694
1197.32/1200.42 c #Conflicts: 986000 | #Constraints: 131694
1197.32/1200.42 c #Conflicts: 987000 | #Constraints: 132694
1197.32/1200.42 c #Conflicts: 988000 | #Constraints: 133694
1197.32/1200.42 c #Conflicts: 989000 | #Constraints: 134694
1197.32/1200.42 c #Conflicts: 990000 | #Constraints: 135694
1197.32/1200.42 c #Conflicts: 991000 | #Constraints: 136694
1197.32/1200.42 c #Conflicts: 992000 | #Constraints: 137694
1197.32/1200.42 c #Conflicts: 993000 | #Constraints: 138694
1197.32/1200.42 c #Conflicts: 994000 | #Constraints: 139694
1197.32/1200.42 c #Conflicts: 995000 | #Constraints: 140694
1197.32/1200.42 c #Conflicts: 996000 | #Constraints: 141694
1197.32/1200.42 c #Conflicts: 997000 | #Constraints: 142694
1197.32/1200.42 c #Conflicts: 998000 | #Constraints: 143694
1197.32/1200.42 c #Conflicts: 999000 | #Constraints: 144694
1197.32/1200.42 c #Conflicts: 1000000 | #Constraints: 145694
1197.32/1200.42 c #Conflicts: 1001000 | #Constraints: 146694
1197.32/1200.42 c #Conflicts: 1002000 | #Constraints: 147694
1197.32/1200.42 c #Conflicts: 1003000 | #Constraints: 148694
1197.32/1200.42 c #Conflicts: 1004000 | #Constraints: 149694
1197.32/1200.42 c #Conflicts: 1005000 | #Constraints: 150694
1197.32/1200.42 c #Conflicts: 1006000 | #Constraints: 151694
1197.32/1200.42 c #Conflicts: 1007000 | #Constraints: 152694
1197.32/1200.42 c #Conflicts: 1008000 | #Constraints: 153694
1197.32/1200.42 c #Conflicts: 1009000 | #Constraints: 154694
1197.32/1200.42 c #Conflicts: 1010000 | #Constraints: 155694
1197.32/1200.42 c #Conflicts: 1011000 | #Constraints: 156694
1197.32/1200.42 c #Conflicts: 1012000 | #Constraints: 157694
1197.32/1200.42 c #Conflicts: 1013000 | #Constraints: 158694
1197.32/1200.42 c #Conflicts: 1014000 | #Constraints: 159694
1197.32/1200.42 c #Conflicts: 1015000 | #Constraints: 160694
1197.32/1200.42 c #Conflicts: 1016000 | #Constraints: 161694
1197.32/1200.42 c #Conflicts: 1017000 | #Constraints: 162694
1197.32/1200.42 c #Conflicts: 1018000 | #Constraints: 163694
1197.32/1200.42 c #Conflicts: 1019000 | #Constraints: 164694
1197.32/1200.42 c #Conflicts: 1020000 | #Constraints: 165694
1197.32/1200.42 c #Conflicts: 1021000 | #Constraints: 166694
1197.32/1200.42 c #Conflicts: 1022000 | #Constraints: 167694
1197.32/1200.42 c #Conflicts: 1023000 | #Constraints: 168694
1197.32/1200.42 c #Conflicts: 1024000 | #Constraints: 169694
1197.32/1200.42 c #Conflicts: 1025000 | #Constraints: 170694
1197.32/1200.42 c #Conflicts: 1026000 | #Constraints: 171694
1197.32/1200.42 c #Conflicts: 1027000 | #Constraints: 172694
1197.32/1200.42 c #Conflicts: 1028000 | #Constraints: 173694
1197.32/1200.42 c #Conflicts: 1029000 | #Constraints: 174694
1197.32/1200.42 c #Conflicts: 1030000 | #Constraints: 175694
1197.32/1200.42 c #Conflicts: 1031000 | #Constraints: 176694
1197.32/1200.42 c #Conflicts: 1032000 | #Constraints: 177694
1197.32/1200.42 c #Conflicts: 1033000 | #Constraints: 178694
1197.32/1200.42 c #Conflicts: 1034000 | #Constraints: 179694
1197.32/1200.42 c #Conflicts: 1035000 | #Constraints: 180694
1197.32/1200.42 c #Conflicts: 1036000 | #Constraints: 181694
1197.32/1200.42 c #Conflicts: 1037000 | #Constraints: 182694
1197.32/1200.42 c INPROCESSING
1197.32/1200.42 c GARBAGE COLLECT
1197.32/1200.42 c #Conflicts: 1038000 | #Constraints: 132670
1197.32/1200.42 c #Conflicts: 1039000 | #Constraints: 133670
1197.32/1200.42 c #Conflicts: 1040000 | #Constraints: 134670
1197.32/1200.42 c #Conflicts: 1041000 | #Constraints: 135670
1197.32/1200.42 c #Conflicts: 1042000 | #Constraints: 136670
1197.32/1200.42 c #Conflicts: 1043000 | #Constraints: 137670
1197.32/1200.42 c #Conflicts: 1044000 | #Constraints: 138670
1197.32/1200.42 c #Conflicts: 1045000 | #Constraints: 139670
1197.32/1200.42 c #Conflicts: 1046000 | #Constraints: 140670
1197.32/1200.42 c #Conflicts: 1047000 | #Constraints: 141670
1197.32/1200.42 c #Conflicts: 1048000 | #Constraints: 142670
1197.32/1200.42 c #Conflicts: 1049000 | #Constraints: 143670
1197.32/1200.42 c #Conflicts: 1050000 | #Constraints: 144670
1197.32/1200.42 c #Conflicts: 1051000 | #Constraints: 145670
1197.32/1200.42 c #Conflicts: 1052000 | #Constraints: 146670
1197.32/1200.42 c #Conflicts: 1053000 | #Constraints: 147670
1197.32/1200.42 c #Conflicts: 1054000 | #Constraints: 148670
1197.32/1200.42 c #Conflicts: 1055000 | #Constraints: 149670
1291.39/1294.72 c #Conflicts: 1056000 | #Constraints: 150670
1291.39/1294.72 c #Conflicts: 1057000 | #Constraints: 151670
1291.39/1294.72 c #Conflicts: 1058000 | #Constraints: 152670
1291.39/1294.72 c #Conflicts: 1059000 | #Constraints: 153670
1291.39/1294.72 c #Conflicts: 1060000 | #Constraints: 154670
1291.39/1294.72 c INPROCESSING
1291.39/1294.72 c GARBAGE COLLECT
1291.39/1294.72 c #Conflicts: 1061000 | #Constraints: 118558
1291.39/1294.72 c #Conflicts: 1062000 | #Constraints: 119558
1291.39/1294.72 c #Conflicts: 1063000 | #Constraints: 120558
1291.39/1294.72 c #Conflicts: 1064000 | #Constraints: 121558
1291.39/1294.72 c #Conflicts: 1065000 | #Constraints: 122558
1291.39/1294.72 c #Conflicts: 1066000 | #Constraints: 123558
1291.39/1294.72 c #Conflicts: 1067000 | #Constraints: 124558
1291.39/1294.72 c #Conflicts: 1068000 | #Constraints: 125558
1291.39/1294.72 c #Conflicts: 1069000 | #Constraints: 126558
1291.39/1294.72 c #Conflicts: 1070000 | #Constraints: 127558
1291.39/1294.72 c #Conflicts: 1071000 | #Constraints: 128558
1291.39/1294.72 c #Conflicts: 1072000 | #Constraints: 129558
1291.39/1294.72 c #Conflicts: 1073000 | #Constraints: 130558
1291.39/1294.72 c #Conflicts: 1074000 | #Constraints: 131558
1291.39/1294.72 c #Conflicts: 1075000 | #Constraints: 132558
1291.39/1294.72 c #Conflicts: 1076000 | #Constraints: 133558
1291.39/1294.72 c #Conflicts: 1077000 | #Constraints: 134558
1291.39/1294.72 c #Conflicts: 1078000 | #Constraints: 135558
1291.39/1294.72 c #Conflicts: 1079000 | #Constraints: 136558
1291.39/1294.72 c #Conflicts: 1080000 | #Constraints: 137558
1291.39/1294.72 c #Conflicts: 1081000 | #Constraints: 138558
1291.39/1294.72 c #Conflicts: 1082000 | #Constraints: 139558
1291.39/1294.72 c #Conflicts: 1083000 | #Constraints: 140558
1291.39/1294.72 c INPROCESSING
1291.39/1294.72 c GARBAGE COLLECT
1291.39/1294.72 c #Conflicts: 1084000 | #Constraints: 111319
1291.39/1294.72 c #Conflicts: 1085000 | #Constraints: 112319
1291.39/1294.72 c #Conflicts: 1086000 | #Constraints: 113319
1291.39/1294.72 c #Conflicts: 1087000 | #Constraints: 114319
1291.39/1294.72 c #Conflicts: 1088000 | #Constraints: 115319
1291.39/1294.72 c #Conflicts: 1089000 | #Constraints: 116319
1291.39/1294.72 c #Conflicts: 1090000 | #Constraints: 117319
1291.39/1294.72 c #Conflicts: 1091000 | #Constraints: 118319
1291.39/1294.72 c #Conflicts: 1092000 | #Constraints: 119319
1291.39/1294.72 c #Conflicts: 1093000 | #Constraints: 120319
1291.39/1294.72 c #Conflicts: 1094000 | #Constraints: 121319
1291.39/1294.72 c #Conflicts: 1095000 | #Constraints: 122319
1291.39/1294.72 c #Conflicts: 1096000 | #Constraints: 123319
1291.39/1294.72 c #Conflicts: 1097000 | #Constraints: 124319
1291.39/1294.72 c #Conflicts: 1098000 | #Constraints: 125319
1291.39/1294.72 c #Conflicts: 1099000 | #Constraints: 126319
1291.39/1294.72 c #Conflicts: 1100000 | #Constraints: 127319
1291.39/1294.72 c #Conflicts: 1101000 | #Constraints: 128319
1291.39/1294.72 c #Conflicts: 1102000 | #Constraints: 129319
1291.39/1294.72 c #Conflicts: 1103000 | #Constraints: 130319
1291.39/1294.72 c #Conflicts: 1104000 | #Constraints: 131319
1291.39/1294.72 c #Conflicts: 1105000 | #Constraints: 132319
1291.39/1294.72 c #Conflicts: 1106000 | #Constraints: 133319
1291.39/1294.72 c #Conflicts: 1107000 | #Constraints: 134319
1291.39/1294.72 c INPROCESSING
1291.39/1294.72 c GARBAGE COLLECT
1291.39/1294.72 c #Conflicts: 1108000 | #Constraints: 108402
1291.39/1294.72 c #Conflicts: 1109000 | #Constraints: 109402
1291.39/1294.72 c #Conflicts: 1110000 | #Constraints: 110402
1291.39/1294.72 c #Conflicts: 1111000 | #Constraints: 111402
1291.39/1294.72 c #Conflicts: 1112000 | #Constraints: 112402
1291.39/1294.72 c #Conflicts: 1113000 | #Constraints: 113402
1291.39/1294.72 c #Conflicts: 1114000 | #Constraints: 114402
1291.39/1294.72 c #Conflicts: 1115000 | #Constraints: 115402
1291.39/1294.72 c #Conflicts: 1116000 | #Constraints: 116402
1291.39/1294.72 c #Conflicts: 1117000 | #Constraints: 117402
1291.39/1294.72 c #Conflicts: 1118000 | #Constraints: 118402
1291.39/1294.72 c #Conflicts: 1119000 | #Constraints: 119402
1291.39/1294.72 c #Conflicts: 1120000 | #Constraints: 120402
1291.39/1294.72 c #Conflicts: 1121000 | #Constraints: 121402
1291.39/1294.72 c #Conflicts: 1122000 | #Constraints: 122402
1291.39/1294.72 c #Conflicts: 1123000 | #Constraints: 123402
1291.39/1294.72 c #Conflicts: 1124000 | #Constraints: 124402
1291.39/1294.72 c #Conflicts: 1125000 | #Constraints: 125402
1291.39/1294.72 c #Conflicts: 1126000 | #Constraints: 126402
1291.39/1294.72 c #Conflicts: 1127000 | #Constraints: 127402
1291.39/1294.72 c #Conflicts: 1128000 | #Constraints: 128402
1291.39/1294.72 c #Conflicts: 1129000 | #Constraints: 129402
1291.39/1294.72 c #Conflicts: 1130000 | #Constraints: 130402
1291.39/1294.72 c #Conflicts: 1131000 | #Constraints: 131402
1291.39/1294.72 c INPROCESSING
1291.39/1294.72 c GARBAGE COLLECT
1437.91/1441.63 c #Conflicts: 1132000 | #Constraints: 107009
1437.91/1441.63 c #Conflicts: 1133000 | #Constraints: 108009
1437.91/1441.63 c #Conflicts: 1134000 | #Constraints: 109009
1437.91/1441.63 c #Conflicts: 1135000 | #Constraints: 110009
1437.91/1441.63 c #Conflicts: 1136000 | #Constraints: 111009
1437.91/1441.63 c #Conflicts: 1137000 | #Constraints: 112009
1437.91/1441.63 c #Conflicts: 1138000 | #Constraints: 113009
1437.91/1441.63 c #Conflicts: 1139000 | #Constraints: 114009
1437.91/1441.63 c #Conflicts: 1140000 | #Constraints: 115009
1437.91/1441.63 c #Conflicts: 1141000 | #Constraints: 116009
1437.91/1441.63 c #Conflicts: 1142000 | #Constraints: 117009
1437.91/1441.63 c #Conflicts: 1143000 | #Constraints: 118009
1437.91/1441.63 c #Conflicts: 1144000 | #Constraints: 119009
1437.91/1441.63 c #Conflicts: 1145000 | #Constraints: 120009
1437.91/1441.63 c #Conflicts: 1146000 | #Constraints: 121009
1437.91/1441.63 c #Conflicts: 1147000 | #Constraints: 122009
1437.91/1441.63 c #Conflicts: 1148000 | #Constraints: 123009
1437.91/1441.63 c #Conflicts: 1149000 | #Constraints: 124009
1437.91/1441.63 c #Conflicts: 1150000 | #Constraints: 125009
1437.91/1441.63 c #Conflicts: 1151000 | #Constraints: 126009
1437.91/1441.63 c #Conflicts: 1152000 | #Constraints: 127009
1437.91/1441.63 c #Conflicts: 1153000 | #Constraints: 128009
1437.91/1441.63 c #Conflicts: 1154000 | #Constraints: 129009
1437.91/1441.63 c #Conflicts: 1155000 | #Constraints: 130009
1437.91/1441.63 c #Conflicts: 1156000 | #Constraints: 131009
1437.91/1441.63 c #Conflicts: 1157000 | #Constraints: 132009
1437.91/1441.63 c #Conflicts: 1158000 | #Constraints: 133009
1437.91/1441.63 c #Conflicts: 1159000 | #Constraints: 134009
1437.91/1441.63 c #Conflicts: 1160000 | #Constraints: 135009
1437.91/1441.63 c #Conflicts: 1161000 | #Constraints: 136009
1437.91/1441.63 c #Conflicts: 1162000 | #Constraints: 137009
1437.91/1441.63 c #Conflicts: 1163000 | #Constraints: 138009
1437.91/1441.63 c #Conflicts: 1164000 | #Constraints: 139009
1437.91/1441.63 c #Conflicts: 1165000 | #Constraints: 140009
1437.91/1441.63 c #Conflicts: 1166000 | #Constraints: 141009
1437.91/1441.63 c #Conflicts: 1167000 | #Constraints: 142009
1437.91/1441.63 c #Conflicts: 1168000 | #Constraints: 143009
1437.91/1441.63 c #Conflicts: 1169000 | #Constraints: 144009
1437.91/1441.63 c #Conflicts: 1170000 | #Constraints: 145009
1437.91/1441.63 c #Conflicts: 1171000 | #Constraints: 146009
1437.91/1441.63 c #Conflicts: 1172000 | #Constraints: 147009
1437.91/1441.63 c #Conflicts: 1173000 | #Constraints: 148009
1437.91/1441.63 c #Conflicts: 1174000 | #Constraints: 149009
1437.91/1441.63 c #Conflicts: 1175000 | #Constraints: 150009
1437.91/1441.63 c #Conflicts: 1176000 | #Constraints: 151009
1437.91/1441.63 c #Conflicts: 1177000 | #Constraints: 152009
1437.91/1441.63 c #Conflicts: 1178000 | #Constraints: 153009
1437.91/1441.63 c #Conflicts: 1179000 | #Constraints: 154009
1437.91/1441.63 c #Conflicts: 1180000 | #Constraints: 155009
1437.91/1441.63 c #Conflicts: 1181000 | #Constraints: 156009
1437.91/1441.63 c #Conflicts: 1182000 | #Constraints: 157009
1437.91/1441.63 c #Conflicts: 1183000 | #Constraints: 158009
1437.91/1441.63 c #Conflicts: 1184000 | #Constraints: 159009
1437.91/1441.63 c #Conflicts: 1185000 | #Constraints: 160009
1437.91/1441.63 c #Conflicts: 1186000 | #Constraints: 161009
1437.91/1441.63 c #Conflicts: 1187000 | #Constraints: 162009
1437.91/1441.63 c #Conflicts: 1188000 | #Constraints: 163009
1437.91/1441.63 c #Conflicts: 1189000 | #Constraints: 164009
1437.91/1441.63 c #Conflicts: 1190000 | #Constraints: 165009
1437.91/1441.63 c #Conflicts: 1191000 | #Constraints: 166009
1437.91/1441.63 c #Conflicts: 1192000 | #Constraints: 167009
1437.91/1441.63 c #Conflicts: 1193000 | #Constraints: 168009
1437.91/1441.63 c #Conflicts: 1194000 | #Constraints: 169009
1437.91/1441.63 c #Conflicts: 1195000 | #Constraints: 170009
1437.91/1441.63 c #Conflicts: 1196000 | #Constraints: 171009
1437.91/1441.63 c #Conflicts: 1197000 | #Constraints: 172009
1437.91/1441.63 c #Conflicts: 1198000 | #Constraints: 173009
1437.91/1441.63 c #Conflicts: 1199000 | #Constraints: 174009
1437.91/1441.63 c #Conflicts: 1200000 | #Constraints: 175009
1437.91/1441.63 c #Conflicts: 1201000 | #Constraints: 176009
1437.91/1441.63 c #Conflicts: 1202000 | #Constraints: 177009
1437.91/1441.63 c #Conflicts: 1203000 | #Constraints: 178009
1437.91/1441.63 c #Conflicts: 1204000 | #Constraints: 179009
1437.91/1441.63 c #Conflicts: 1205000 | #Constraints: 180009
1437.91/1441.63 c #Conflicts: 1206000 | #Constraints: 181009
1437.91/1441.63 c #Conflicts: 1207000 | #Constraints: 182009
1437.91/1441.63 c #Conflicts: 1208000 | #Constraints: 183009
1437.91/1441.63 c #Conflicts: 1209000 | #Constraints: 184009
1437.91/1441.63 c #Conflicts: 1210000 | #Constraints: 185009
1574.26/1578.39 c #Conflicts: 1211000 | #Constraints: 186009
1574.26/1578.39 c #Conflicts: 1212000 | #Constraints: 187009
1574.26/1578.39 c #Conflicts: 1213000 | #Constraints: 188009
1574.26/1578.39 c #Conflicts: 1214000 | #Constraints: 189009
1574.26/1578.39 c INPROCESSING
1574.26/1578.39 c GARBAGE COLLECT
1574.26/1578.39 c #Conflicts: 1215000 | #Constraints: 135671
1574.26/1578.39 c #Conflicts: 1216000 | #Constraints: 136671
1574.26/1578.39 c #Conflicts: 1217000 | #Constraints: 137671
1574.26/1578.39 c #Conflicts: 1218000 | #Constraints: 138671
1574.26/1578.39 c #Conflicts: 1219000 | #Constraints: 139671
1574.26/1578.39 c #Conflicts: 1220000 | #Constraints: 140671
1574.26/1578.39 c #Conflicts: 1221000 | #Constraints: 141671
1574.26/1578.39 c #Conflicts: 1222000 | #Constraints: 142671
1574.26/1578.39 c #Conflicts: 1223000 | #Constraints: 143671
1574.26/1578.39 c #Conflicts: 1224000 | #Constraints: 144671
1574.26/1578.39 c #Conflicts: 1225000 | #Constraints: 145671
1574.26/1578.39 c #Conflicts: 1226000 | #Constraints: 146671
1574.26/1578.39 c #Conflicts: 1227000 | #Constraints: 147671
1574.26/1578.39 c #Conflicts: 1228000 | #Constraints: 148671
1574.26/1578.39 c #Conflicts: 1229000 | #Constraints: 149671
1574.26/1578.39 c #Conflicts: 1230000 | #Constraints: 150671
1574.26/1578.39 c #Conflicts: 1231000 | #Constraints: 151671
1574.26/1578.39 c #Conflicts: 1232000 | #Constraints: 152671
1574.26/1578.39 c #Conflicts: 1233000 | #Constraints: 153671
1574.26/1578.39 c #Conflicts: 1234000 | #Constraints: 154671
1574.26/1578.39 c #Conflicts: 1235000 | #Constraints: 155671
1574.26/1578.39 c #Conflicts: 1236000 | #Constraints: 156671
1574.26/1578.39 c #Conflicts: 1237000 | #Constraints: 157671
1574.26/1578.39 c #Conflicts: 1238000 | #Constraints: 158671
1574.26/1578.39 c #Conflicts: 1239000 | #Constraints: 159671
1574.26/1578.39 c INPROCESSING
1574.26/1578.39 c GARBAGE COLLECT
1574.26/1578.39 c #Conflicts: 1240000 | #Constraints: 120910
1574.26/1578.39 c #Conflicts: 1241000 | #Constraints: 121910
1574.26/1578.39 c #Conflicts: 1242000 | #Constraints: 122910
1574.26/1578.39 c #Conflicts: 1243000 | #Constraints: 123910
1574.26/1578.39 c #Conflicts: 1244000 | #Constraints: 124910
1574.26/1578.39 c #Conflicts: 1245000 | #Constraints: 125910
1574.26/1578.39 c #Conflicts: 1246000 | #Constraints: 126910
1574.26/1578.39 c #Conflicts: 1247000 | #Constraints: 127910
1574.26/1578.39 c #Conflicts: 1248000 | #Constraints: 128910
1574.26/1578.39 c #Conflicts: 1249000 | #Constraints: 129910
1574.26/1578.39 c #Conflicts: 1250000 | #Constraints: 130910
1574.26/1578.39 c #Conflicts: 1251000 | #Constraints: 131910
1574.26/1578.39 c #Conflicts: 1252000 | #Constraints: 132910
1574.26/1578.39 c #Conflicts: 1253000 | #Constraints: 133910
1574.26/1578.39 c #Conflicts: 1254000 | #Constraints: 134910
1574.26/1578.39 c #Conflicts: 1255000 | #Constraints: 135910
1574.26/1578.39 c #Conflicts: 1256000 | #Constraints: 136910
1574.26/1578.39 c #Conflicts: 1257000 | #Constraints: 137910
1574.26/1578.39 c #Conflicts: 1258000 | #Constraints: 138910
1574.26/1578.39 c #Conflicts: 1259000 | #Constraints: 139910
1574.26/1578.39 c #Conflicts: 1260000 | #Constraints: 140910
1574.26/1578.39 c #Conflicts: 1261000 | #Constraints: 141910
1574.26/1578.39 c #Conflicts: 1262000 | #Constraints: 142910
1574.26/1578.39 c #Conflicts: 1263000 | #Constraints: 143910
1574.26/1578.39 c #Conflicts: 1264000 | #Constraints: 144910
1574.26/1578.39 c INPROCESSING
1574.26/1578.39 c GARBAGE COLLECT
1574.26/1578.39 c #Conflicts: 1265000 | #Constraints: 113392
1574.26/1578.39 c #Conflicts: 1266000 | #Constraints: 114392
1574.26/1578.39 c #Conflicts: 1267000 | #Constraints: 115392
1574.26/1578.39 c #Conflicts: 1268000 | #Constraints: 116392
1574.26/1578.39 c #Conflicts: 1269000 | #Constraints: 117392
1574.26/1578.39 c #Conflicts: 1270000 | #Constraints: 118392
1574.26/1578.39 c #Conflicts: 1271000 | #Constraints: 119392
1574.26/1578.39 c #Conflicts: 1272000 | #Constraints: 120392
1574.26/1578.39 c #Conflicts: 1273000 | #Constraints: 121392
1574.26/1578.39 c #Conflicts: 1274000 | #Constraints: 122392
1574.26/1578.39 c #Conflicts: 1275000 | #Constraints: 123392
1574.26/1578.39 c #Conflicts: 1276000 | #Constraints: 124392
1574.26/1578.39 c #Conflicts: 1277000 | #Constraints: 125392
1574.26/1578.39 c #Conflicts: 1278000 | #Constraints: 126392
1574.26/1578.39 c #Conflicts: 1279000 | #Constraints: 127392
1574.26/1578.39 c #Conflicts: 1280000 | #Constraints: 128392
1574.26/1578.39 c #Conflicts: 1281000 | #Constraints: 129392
1574.26/1578.39 c #Conflicts: 1282000 | #Constraints: 130392
1574.26/1578.39 c #Conflicts: 1283000 | #Constraints: 131392
1574.26/1578.39 c #Conflicts: 1284000 | #Constraints: 132392
1574.26/1578.39 c #Conflicts: 1285000 | #Constraints: 133392
1574.26/1578.39 c #Conflicts: 1286000 | #Constraints: 134392
1574.26/1578.39 c #Conflicts: 1287000 | #Constraints: 135392
1663.03/1667.38 c #Conflicts: 1288000 | #Constraints: 136392
1663.03/1667.38 c #Conflicts: 1289000 | #Constraints: 137392
1663.03/1667.38 c #Conflicts: 1290000 | #Constraints: 138392
1663.03/1667.38 c INPROCESSING
1663.03/1667.38 c GARBAGE COLLECT
1663.03/1667.38 c #Conflicts: 1291000 | #Constraints: 110415
1663.03/1667.38 c #Conflicts: 1292000 | #Constraints: 111415
1663.03/1667.38 c #Conflicts: 1293000 | #Constraints: 112415
1663.03/1667.38 c #Conflicts: 1294000 | #Constraints: 113415
1663.03/1667.38 c #Conflicts: 1295000 | #Constraints: 114415
1663.03/1667.38 c #Conflicts: 1296000 | #Constraints: 115415
1663.03/1667.38 c #Conflicts: 1297000 | #Constraints: 116415
1663.03/1667.38 c #Conflicts: 1298000 | #Constraints: 117415
1663.03/1667.38 c #Conflicts: 1299000 | #Constraints: 118415
1663.03/1667.38 c #Conflicts: 1300000 | #Constraints: 119415
1663.03/1667.38 c #Conflicts: 1301000 | #Constraints: 120415
1663.03/1667.38 c #Conflicts: 1302000 | #Constraints: 121415
1663.03/1667.38 c #Conflicts: 1303000 | #Constraints: 122415
1663.03/1667.38 c #Conflicts: 1304000 | #Constraints: 123415
1663.03/1667.38 c #Conflicts: 1305000 | #Constraints: 124415
1663.03/1667.38 c #Conflicts: 1306000 | #Constraints: 125415
1663.03/1667.38 c #Conflicts: 1307000 | #Constraints: 126415
1663.03/1667.38 c #Conflicts: 1308000 | #Constraints: 127415
1663.03/1667.38 c #Conflicts: 1309000 | #Constraints: 128415
1663.03/1667.38 c #Conflicts: 1310000 | #Constraints: 129415
1663.03/1667.38 c #Conflicts: 1311000 | #Constraints: 130415
1663.03/1667.38 c #Conflicts: 1312000 | #Constraints: 131415
1663.03/1667.38 c #Conflicts: 1313000 | #Constraints: 132415
1663.03/1667.38 c #Conflicts: 1314000 | #Constraints: 133415
1663.03/1667.38 c #Conflicts: 1315000 | #Constraints: 134415
1663.03/1667.38 c #Conflicts: 1316000 | #Constraints: 135415
1663.03/1667.38 c INPROCESSING
1663.03/1667.38 c GARBAGE COLLECT
1663.03/1667.38 c #Conflicts: 1317000 | #Constraints: 109052
1663.03/1667.38 c #Conflicts: 1318000 | #Constraints: 110052
1663.03/1667.38 c #Conflicts: 1319000 | #Constraints: 111052
1663.03/1667.38 c #Conflicts: 1320000 | #Constraints: 112052
1663.03/1667.38 c #Conflicts: 1321000 | #Constraints: 113052
1663.03/1667.38 c #Conflicts: 1322000 | #Constraints: 114052
1663.03/1667.38 c #Conflicts: 1323000 | #Constraints: 115052
1663.03/1667.38 c #Conflicts: 1324000 | #Constraints: 116052
1663.03/1667.38 c #Conflicts: 1325000 | #Constraints: 117052
1663.03/1667.38 c #Conflicts: 1326000 | #Constraints: 118052
1663.03/1667.38 c #Conflicts: 1327000 | #Constraints: 119052
1663.03/1667.38 c #Conflicts: 1328000 | #Constraints: 120052
1663.03/1667.38 c #Conflicts: 1329000 | #Constraints: 121052
1663.03/1667.38 c #Conflicts: 1330000 | #Constraints: 122052
1663.03/1667.38 c #Conflicts: 1331000 | #Constraints: 123052
1663.03/1667.38 c #Conflicts: 1332000 | #Constraints: 124052
1663.03/1667.38 c #Conflicts: 1333000 | #Constraints: 125052
1663.03/1667.38 c #Conflicts: 1334000 | #Constraints: 126052
1663.03/1667.38 c #Conflicts: 1335000 | #Constraints: 127052
1663.03/1667.38 c #Conflicts: 1336000 | #Constraints: 128052
1663.03/1667.38 c #Conflicts: 1337000 | #Constraints: 129052
1663.03/1667.38 c #Conflicts: 1338000 | #Constraints: 130052
1663.03/1667.38 c #Conflicts: 1339000 | #Constraints: 131052
1663.03/1667.38 c #Conflicts: 1340000 | #Constraints: 132052
1663.03/1667.38 c #Conflicts: 1341000 | #Constraints: 133052
1663.03/1667.38 c #Conflicts: 1342000 | #Constraints: 134052
1663.03/1667.38 c #Conflicts: 1343000 | #Constraints: 135052
1663.03/1667.38 c #Conflicts: 1344000 | #Constraints: 136052
1663.03/1667.38 c #Conflicts: 1345000 | #Constraints: 137052
1663.03/1667.38 c #Conflicts: 1346000 | #Constraints: 138052
1663.03/1667.38 c #Conflicts: 1347000 | #Constraints: 139052
1663.03/1667.38 c #Conflicts: 1348000 | #Constraints: 140052
1663.03/1667.38 c #Conflicts: 1349000 | #Constraints: 141052
1663.03/1667.38 c #Conflicts: 1350000 | #Constraints: 142052
1663.03/1667.38 c #Conflicts: 1351000 | #Constraints: 143052
1663.03/1667.38 c #Conflicts: 1352000 | #Constraints: 144052
1663.03/1667.38 c #Conflicts: 1353000 | #Constraints: 145052
1663.03/1667.38 c #Conflicts: 1354000 | #Constraints: 146052
1663.03/1667.38 c #Conflicts: 1355000 | #Constraints: 147052
1663.03/1667.38 c #Conflicts: 1356000 | #Constraints: 148052
1663.03/1667.38 c #Conflicts: 1357000 | #Constraints: 149052
1663.03/1667.38 c #Conflicts: 1358000 | #Constraints: 150052
1663.03/1667.38 c #Conflicts: 1359000 | #Constraints: 151052
1663.03/1667.38 c #Conflicts: 1360000 | #Constraints: 152052
1663.03/1667.38 c #Conflicts: 1361000 | #Constraints: 153052
1663.03/1667.38 c #Conflicts: 1362000 | #Constraints: 154052
1663.03/1667.38 c #Conflicts: 1363000 | #Constraints: 155052
1663.03/1667.38 c #Conflicts: 1364000 | #Constraints: 156052
1850.85/1855.62 c #Conflicts: 1365000 | #Constraints: 157052
1850.85/1855.62 c #Conflicts: 1366000 | #Constraints: 158052
1850.85/1855.62 c #Conflicts: 1367000 | #Constraints: 159052
1850.85/1855.62 c #Conflicts: 1368000 | #Constraints: 160052
1850.85/1855.62 c #Conflicts: 1369000 | #Constraints: 161052
1850.85/1855.62 c #Conflicts: 1370000 | #Constraints: 162052
1850.85/1855.62 c #Conflicts: 1371000 | #Constraints: 163052
1850.85/1855.62 c #Conflicts: 1372000 | #Constraints: 164052
1850.85/1855.62 c #Conflicts: 1373000 | #Constraints: 165052
1850.85/1855.62 c #Conflicts: 1374000 | #Constraints: 166052
1850.85/1855.62 c #Conflicts: 1375000 | #Constraints: 167052
1850.85/1855.62 c #Conflicts: 1376000 | #Constraints: 168052
1850.85/1855.62 c #Conflicts: 1377000 | #Constraints: 169052
1850.85/1855.62 c #Conflicts: 1378000 | #Constraints: 170052
1850.85/1855.62 c #Conflicts: 1379000 | #Constraints: 171052
1850.85/1855.62 c #Conflicts: 1380000 | #Constraints: 172052
1850.85/1855.62 c #Conflicts: 1381000 | #Constraints: 173052
1850.85/1855.62 c #Conflicts: 1382000 | #Constraints: 174052
1850.85/1855.62 c #Conflicts: 1383000 | #Constraints: 175052
1850.85/1855.62 c #Conflicts: 1384000 | #Constraints: 176052
1850.85/1855.62 c #Conflicts: 1385000 | #Constraints: 177052
1850.85/1855.62 c #Conflicts: 1386000 | #Constraints: 178052
1850.85/1855.62 c #Conflicts: 1387000 | #Constraints: 179052
1850.85/1855.62 c #Conflicts: 1388000 | #Constraints: 180052
1850.85/1855.62 c #Conflicts: 1389000 | #Constraints: 181052
1850.85/1855.62 c #Conflicts: 1390000 | #Constraints: 182052
1850.85/1855.62 c #Conflicts: 1391000 | #Constraints: 183052
1850.85/1855.62 c #Conflicts: 1392000 | #Constraints: 184052
1850.85/1855.62 c #Conflicts: 1393000 | #Constraints: 185052
1850.85/1855.62 c #Conflicts: 1394000 | #Constraints: 186052
1850.85/1855.62 c #Conflicts: 1395000 | #Constraints: 187052
1850.85/1855.62 c #Conflicts: 1396000 | #Constraints: 188052
1850.85/1855.62 c #Conflicts: 1397000 | #Constraints: 189052
1850.85/1855.62 c #Conflicts: 1398000 | #Constraints: 190052
1850.85/1855.62 c #Conflicts: 1399000 | #Constraints: 191052
1850.85/1855.62 c #Conflicts: 1400000 | #Constraints: 192052
1850.85/1855.62 c #Conflicts: 1401000 | #Constraints: 193052
1850.85/1855.62 c #Conflicts: 1402000 | #Constraints: 194052
1850.85/1855.62 c #Conflicts: 1403000 | #Constraints: 195052
1850.85/1855.62 c #Conflicts: 1404000 | #Constraints: 196052
1850.85/1855.62 c #Conflicts: 1405000 | #Constraints: 197052
1850.85/1855.62 c INPROCESSING
1850.85/1855.62 c GARBAGE COLLECT
1850.85/1855.62 c #Conflicts: 1406000 | #Constraints: 139495
1850.85/1855.62 c #Conflicts: 1407000 | #Constraints: 140495
1850.85/1855.62 c #Conflicts: 1408000 | #Constraints: 141495
1850.85/1855.62 c #Conflicts: 1409000 | #Constraints: 142495
1850.85/1855.62 c #Conflicts: 1410000 | #Constraints: 143495
1850.85/1855.62 c #Conflicts: 1411000 | #Constraints: 144495
1850.85/1855.62 c #Conflicts: 1412000 | #Constraints: 145495
1850.85/1855.62 c #Conflicts: 1413000 | #Constraints: 146495
1850.85/1855.62 c #Conflicts: 1414000 | #Constraints: 147495
1850.85/1855.62 c #Conflicts: 1415000 | #Constraints: 148495
1850.85/1855.62 c #Conflicts: 1416000 | #Constraints: 149495
1850.85/1855.62 c #Conflicts: 1417000 | #Constraints: 150495
1850.85/1855.62 c #Conflicts: 1418000 | #Constraints: 151495
1850.85/1855.62 c #Conflicts: 1419000 | #Constraints: 152495
1850.85/1855.62 c #Conflicts: 1420000 | #Constraints: 153495
1850.85/1855.62 c #Conflicts: 1421000 | #Constraints: 154495
1850.85/1855.62 c #Conflicts: 1422000 | #Constraints: 155495
1850.85/1855.62 c #Conflicts: 1423000 | #Constraints: 156495
1850.85/1855.62 c #Conflicts: 1424000 | #Constraints: 157495
1850.85/1855.62 c #Conflicts: 1425000 | #Constraints: 158495
1850.85/1855.62 c #Conflicts: 1426000 | #Constraints: 159495
1850.85/1855.62 c #Conflicts: 1427000 | #Constraints: 160495
1850.85/1855.62 c #Conflicts: 1428000 | #Constraints: 161495
1850.85/1855.62 c #Conflicts: 1429000 | #Constraints: 162495
1850.85/1855.62 c #Conflicts: 1430000 | #Constraints: 163495
1850.85/1855.62 c #Conflicts: 1431000 | #Constraints: 164495
1850.85/1855.62 c #Conflicts: 1432000 | #Constraints: 165495
1850.85/1855.62 c INPROCESSING
1850.85/1855.62 c GARBAGE COLLECT
1850.85/1855.62 c #Conflicts: 1433000 | #Constraints: 123715
1850.85/1855.62 c #Conflicts: 1434000 | #Constraints: 124715
1850.85/1855.62 c #Conflicts: 1435000 | #Constraints: 125715
1850.85/1855.62 c #Conflicts: 1436000 | #Constraints: 126715
1850.85/1855.62 c #Conflicts: 1437000 | #Constraints: 127715
1850.85/1855.62 c #Conflicts: 1438000 | #Constraints: 128715
1850.85/1855.62 c #Conflicts: 1439000 | #Constraints: 129715
1850.85/1855.62 c #Conflicts: 1440000 | #Constraints: 130715
1850.85/1855.62 c #Conflicts: 1441000 | #Constraints: 131715
1850.85/1855.62 c #Conflicts: 1442000 | #Constraints: 132715
1950.21/1955.28 c #Conflicts: 1443000 | #Constraints: 133715
1950.21/1955.28 c #Conflicts: 1444000 | #Constraints: 134715
1950.21/1955.28 c #Conflicts: 1445000 | #Constraints: 135715
1950.21/1955.28 c #Conflicts: 1446000 | #Constraints: 136715
1950.21/1955.28 c #Conflicts: 1447000 | #Constraints: 137715
1950.21/1955.28 c #Conflicts: 1448000 | #Constraints: 138715
1950.21/1955.28 c #Conflicts: 1449000 | #Constraints: 139715
1950.21/1955.28 c #Conflicts: 1450000 | #Constraints: 140715
1950.21/1955.28 c #Conflicts: 1451000 | #Constraints: 141715
1950.21/1955.28 c #Conflicts: 1452000 | #Constraints: 142715
1950.21/1955.28 c #Conflicts: 1453000 | #Constraints: 143715
1950.21/1955.28 c #Conflicts: 1454000 | #Constraints: 144715
1950.21/1955.28 c #Conflicts: 1455000 | #Constraints: 145715
1950.21/1955.28 c #Conflicts: 1456000 | #Constraints: 146715
1950.21/1955.28 c #Conflicts: 1457000 | #Constraints: 147715
1950.21/1955.28 c #Conflicts: 1458000 | #Constraints: 148715
1950.21/1955.28 c #Conflicts: 1459000 | #Constraints: 149715
1950.21/1955.28 c #Conflicts: 1460000 | #Constraints: 150715
1950.21/1955.28 c INPROCESSING
1950.21/1955.28 c GARBAGE COLLECT
1950.21/1955.28 c #Conflicts: 1461000 | #Constraints: 116724
1950.21/1955.28 c #Conflicts: 1462000 | #Constraints: 117724
1950.21/1955.28 c #Conflicts: 1463000 | #Constraints: 118724
1950.21/1955.28 c #Conflicts: 1464000 | #Constraints: 119724
1950.21/1955.28 c #Conflicts: 1465000 | #Constraints: 120724
1950.21/1955.28 c #Conflicts: 1466000 | #Constraints: 121724
1950.21/1955.28 c #Conflicts: 1467000 | #Constraints: 122724
1950.21/1955.28 c #Conflicts: 1468000 | #Constraints: 123724
1950.21/1955.28 c #Conflicts: 1469000 | #Constraints: 124724
1950.21/1955.28 c #Conflicts: 1470000 | #Constraints: 125724
1950.21/1955.28 c #Conflicts: 1471000 | #Constraints: 126724
1950.21/1955.28 c #Conflicts: 1472000 | #Constraints: 127724
1950.21/1955.28 c #Conflicts: 1473000 | #Constraints: 128724
1950.21/1955.28 c #Conflicts: 1474000 | #Constraints: 129724
1950.21/1955.28 c #Conflicts: 1475000 | #Constraints: 130724
1950.21/1955.28 c #Conflicts: 1476000 | #Constraints: 131724
1950.21/1955.28 c #Conflicts: 1477000 | #Constraints: 132724
1950.21/1955.28 c #Conflicts: 1478000 | #Constraints: 133724
1950.21/1955.28 c #Conflicts: 1479000 | #Constraints: 134724
1950.21/1955.28 c #Conflicts: 1480000 | #Constraints: 135724
1950.21/1955.28 c #Conflicts: 1481000 | #Constraints: 136724
1950.21/1955.28 c #Conflicts: 1482000 | #Constraints: 137724
1950.21/1955.28 c #Conflicts: 1483000 | #Constraints: 138724
1950.21/1955.28 c #Conflicts: 1484000 | #Constraints: 139724
1950.21/1955.28 c #Conflicts: 1485000 | #Constraints: 140724
1950.21/1955.28 c #Conflicts: 1486000 | #Constraints: 141724
1950.21/1955.28 c #Conflicts: 1487000 | #Constraints: 142724
1950.21/1955.28 c INPROCESSING
1950.21/1955.28 c GARBAGE COLLECT
1950.21/1955.28 c #Conflicts: 1488000 | #Constraints: 112520
1950.21/1955.28 c #Conflicts: 1489000 | #Constraints: 113520
1950.21/1955.28 c #Conflicts: 1490000 | #Constraints: 114520
1950.21/1955.28 c #Conflicts: 1491000 | #Constraints: 115520
1950.21/1955.28 c #Conflicts: 1492000 | #Constraints: 116520
1950.21/1955.28 c #Conflicts: 1493000 | #Constraints: 117520
1950.21/1955.28 c #Conflicts: 1494000 | #Constraints: 118520
1950.21/1955.28 c #Conflicts: 1495000 | #Constraints: 119520
1950.21/1955.28 c #Conflicts: 1496000 | #Constraints: 120520
1950.21/1955.28 c #Conflicts: 1497000 | #Constraints: 121520
1950.21/1955.28 c #Conflicts: 1498000 | #Constraints: 122520
1950.21/1955.28 c #Conflicts: 1499000 | #Constraints: 123520
1950.21/1955.28 c #Conflicts: 1500000 | #Constraints: 124520
1950.21/1955.28 c #Conflicts: 1501000 | #Constraints: 125520
1950.21/1955.28 c #Conflicts: 1502000 | #Constraints: 126520
1950.21/1955.28 c #Conflicts: 1503000 | #Constraints: 127520
1950.21/1955.28 c #Conflicts: 1504000 | #Constraints: 128520
1950.21/1955.28 c #Conflicts: 1505000 | #Constraints: 129520
1950.21/1955.28 c #Conflicts: 1506000 | #Constraints: 130520
1950.21/1955.28 c #Conflicts: 1507000 | #Constraints: 131520
1950.21/1955.28 c #Conflicts: 1508000 | #Constraints: 132520
1950.21/1955.28 c #Conflicts: 1509000 | #Constraints: 133520
1950.21/1955.28 c #Conflicts: 1510000 | #Constraints: 134520
1950.21/1955.28 c #Conflicts: 1511000 | #Constraints: 135520
1950.21/1955.28 c #Conflicts: 1512000 | #Constraints: 136520
1950.21/1955.28 c #Conflicts: 1513000 | #Constraints: 137520
1950.21/1955.28 c #Conflicts: 1514000 | #Constraints: 138520
1950.21/1955.28 c #Conflicts: 1515000 | #Constraints: 139520
1950.21/1955.28 c INPROCESSING
1950.21/1955.28 c GARBAGE COLLECT
1950.21/1955.28 c #Conflicts: 1516000 | #Constraints: 111111
1950.21/1955.28 c #Conflicts: 1517000 | #Constraints: 112111
1950.21/1955.28 c #Conflicts: 1518000 | #Constraints: 113111
1950.21/1955.28 c #Conflicts: 1519000 | #Constraints: 114111
2131.23/2136.78 c #Conflicts: 1520000 | #Constraints: 115111
2131.23/2136.78 c #Conflicts: 1521000 | #Constraints: 116111
2131.23/2136.78 c #Conflicts: 1522000 | #Constraints: 117111
2131.23/2136.78 c #Conflicts: 1523000 | #Constraints: 118111
2131.23/2136.78 c #Conflicts: 1524000 | #Constraints: 119111
2131.23/2136.78 c #Conflicts: 1525000 | #Constraints: 120111
2131.23/2136.78 c #Conflicts: 1526000 | #Constraints: 121111
2131.23/2136.78 c #Conflicts: 1527000 | #Constraints: 122111
2131.23/2136.78 c #Conflicts: 1528000 | #Constraints: 123111
2131.23/2136.78 c #Conflicts: 1529000 | #Constraints: 124111
2131.23/2136.78 c #Conflicts: 1530000 | #Constraints: 125111
2131.23/2136.78 c #Conflicts: 1531000 | #Constraints: 126111
2131.23/2136.78 c #Conflicts: 1532000 | #Constraints: 127111
2131.23/2136.78 c #Conflicts: 1533000 | #Constraints: 128111
2131.23/2136.78 c #Conflicts: 1534000 | #Constraints: 129111
2131.23/2136.78 c #Conflicts: 1535000 | #Constraints: 130111
2131.23/2136.78 c #Conflicts: 1536000 | #Constraints: 131111
2131.23/2136.78 c #Conflicts: 1537000 | #Constraints: 132111
2131.23/2136.78 c #Conflicts: 1538000 | #Constraints: 133111
2131.23/2136.78 c #Conflicts: 1539000 | #Constraints: 134111
2131.23/2136.78 c #Conflicts: 1540000 | #Constraints: 135111
2131.23/2136.78 c #Conflicts: 1541000 | #Constraints: 136111
2131.23/2136.78 c #Conflicts: 1542000 | #Constraints: 137111
2131.23/2136.78 c #Conflicts: 1543000 | #Constraints: 138111
2131.23/2136.78 c #Conflicts: 1544000 | #Constraints: 139111
2131.23/2136.78 c #Conflicts: 1545000 | #Constraints: 140111
2131.23/2136.78 c #Conflicts: 1546000 | #Constraints: 141111
2131.23/2136.78 c #Conflicts: 1547000 | #Constraints: 142111
2131.23/2136.78 c #Conflicts: 1548000 | #Constraints: 143111
2131.23/2136.78 c #Conflicts: 1549000 | #Constraints: 144111
2131.23/2136.78 c #Conflicts: 1550000 | #Constraints: 145111
2131.23/2136.78 c #Conflicts: 1551000 | #Constraints: 146111
2131.23/2136.78 c #Conflicts: 1552000 | #Constraints: 147111
2131.23/2136.78 c #Conflicts: 1553000 | #Constraints: 148111
2131.23/2136.78 c #Conflicts: 1554000 | #Constraints: 149111
2131.23/2136.78 c #Conflicts: 1555000 | #Constraints: 150111
2131.23/2136.78 c #Conflicts: 1556000 | #Constraints: 151111
2131.23/2136.78 c #Conflicts: 1557000 | #Constraints: 152111
2131.23/2136.78 c #Conflicts: 1558000 | #Constraints: 153111
2131.23/2136.78 c #Conflicts: 1559000 | #Constraints: 154111
2131.23/2136.78 c #Conflicts: 1560000 | #Constraints: 155111
2131.23/2136.78 c #Conflicts: 1561000 | #Constraints: 156111
2131.23/2136.78 c #Conflicts: 1562000 | #Constraints: 157111
2131.23/2136.78 c #Conflicts: 1563000 | #Constraints: 158111
2131.23/2136.78 c #Conflicts: 1564000 | #Constraints: 159111
2131.23/2136.78 c #Conflicts: 1565000 | #Constraints: 160111
2131.23/2136.78 c #Conflicts: 1566000 | #Constraints: 161111
2131.23/2136.78 c #Conflicts: 1567000 | #Constraints: 162111
2131.23/2136.78 c #Conflicts: 1568000 | #Constraints: 163111
2131.23/2136.78 c #Conflicts: 1569000 | #Constraints: 164111
2131.23/2136.78 c #Conflicts: 1570000 | #Constraints: 165111
2131.23/2136.78 c #Conflicts: 1571000 | #Constraints: 166111
2131.23/2136.78 c #Conflicts: 1572000 | #Constraints: 167111
2131.23/2136.78 c #Conflicts: 1573000 | #Constraints: 168111
2131.23/2136.78 c #Conflicts: 1574000 | #Constraints: 169111
2131.23/2136.78 c #Conflicts: 1575000 | #Constraints: 170111
2131.23/2136.78 c #Conflicts: 1576000 | #Constraints: 171111
2131.23/2136.78 c #Conflicts: 1577000 | #Constraints: 172111
2131.23/2136.78 c #Conflicts: 1578000 | #Constraints: 173111
2131.23/2136.78 c #Conflicts: 1579000 | #Constraints: 174111
2131.23/2136.78 c #Conflicts: 1580000 | #Constraints: 175111
2131.23/2136.78 c #Conflicts: 1581000 | #Constraints: 176111
2131.23/2136.78 c #Conflicts: 1582000 | #Constraints: 177111
2131.23/2136.78 c #Conflicts: 1583000 | #Constraints: 178111
2131.23/2136.78 c #Conflicts: 1584000 | #Constraints: 179111
2131.23/2136.78 c #Conflicts: 1585000 | #Constraints: 180111
2131.23/2136.78 c #Conflicts: 1586000 | #Constraints: 181111
2131.23/2136.78 c #Conflicts: 1587000 | #Constraints: 182111
2131.23/2136.78 c #Conflicts: 1588000 | #Constraints: 183111
2131.23/2136.78 c #Conflicts: 1589000 | #Constraints: 184111
2131.23/2136.78 c #Conflicts: 1590000 | #Constraints: 185111
2131.23/2136.78 c #Conflicts: 1591000 | #Constraints: 186111
2131.23/2136.78 c #Conflicts: 1592000 | #Constraints: 187111
2131.23/2136.78 c #Conflicts: 1593000 | #Constraints: 188111
2131.23/2136.78 c #Conflicts: 1594000 | #Constraints: 189111
2131.23/2136.78 c #Conflicts: 1595000 | #Constraints: 190111
2131.23/2136.78 c #Conflicts: 1596000 | #Constraints: 191111
2131.23/2136.78 c #Conflicts: 1597000 | #Constraints: 192111
2131.23/2136.78 c #Conflicts: 1598000 | #Constraints: 193111
2331.08/2337.14 c #Conflicts: 1599000 | #Constraints: 194111
2331.08/2337.14 c #Conflicts: 1600000 | #Constraints: 195111
2331.08/2337.14 c #Conflicts: 1601000 | #Constraints: 196111
2331.08/2337.14 c #Conflicts: 1602000 | #Constraints: 197111
2331.08/2337.14 c #Conflicts: 1603000 | #Constraints: 198111
2331.08/2337.14 c #Conflicts: 1604000 | #Constraints: 199111
2331.08/2337.14 c #Conflicts: 1605000 | #Constraints: 200111
2331.08/2337.14 c #Conflicts: 1606000 | #Constraints: 201111
2331.08/2337.14 c #Conflicts: 1607000 | #Constraints: 202111
2331.08/2337.14 c #Conflicts: 1608000 | #Constraints: 203111
2331.08/2337.14 c #Conflicts: 1609000 | #Constraints: 204111
2331.08/2337.14 c #Conflicts: 1610000 | #Constraints: 205111
2331.08/2337.14 c #Conflicts: 1611000 | #Constraints: 206111
2331.08/2337.14 c INPROCESSING
2331.08/2337.14 c GARBAGE COLLECT
2331.08/2337.14 c #Conflicts: 1612000 | #Constraints: 144311
2331.08/2337.14 c #Conflicts: 1613000 | #Constraints: 145311
2331.08/2337.14 c #Conflicts: 1614000 | #Constraints: 146311
2331.08/2337.14 c #Conflicts: 1615000 | #Constraints: 147311
2331.08/2337.14 c #Conflicts: 1616000 | #Constraints: 148311
2331.08/2337.14 c #Conflicts: 1617000 | #Constraints: 149311
2331.08/2337.14 c #Conflicts: 1618000 | #Constraints: 150311
2331.08/2337.14 c #Conflicts: 1619000 | #Constraints: 151311
2331.08/2337.14 c #Conflicts: 1620000 | #Constraints: 152311
2331.08/2337.14 c #Conflicts: 1621000 | #Constraints: 153311
2331.08/2337.14 c #Conflicts: 1622000 | #Constraints: 154311
2331.08/2337.14 c #Conflicts: 1623000 | #Constraints: 155311
2331.08/2337.14 c #Conflicts: 1624000 | #Constraints: 156311
2331.08/2337.14 c #Conflicts: 1625000 | #Constraints: 157311
2331.08/2337.14 c #Conflicts: 1626000 | #Constraints: 158311
2331.08/2337.14 c #Conflicts: 1627000 | #Constraints: 159311
2331.08/2337.14 c #Conflicts: 1628000 | #Constraints: 160311
2331.08/2337.14 c #Conflicts: 1629000 | #Constraints: 161311
2331.08/2337.14 c #Conflicts: 1630000 | #Constraints: 162311
2331.08/2337.14 c #Conflicts: 1631000 | #Constraints: 163311
2331.08/2337.14 c #Conflicts: 1632000 | #Constraints: 164311
2331.08/2337.14 c #Conflicts: 1633000 | #Constraints: 165311
2331.08/2337.14 c #Conflicts: 1634000 | #Constraints: 166311
2331.08/2337.14 c #Conflicts: 1635000 | #Constraints: 167311
2331.08/2337.14 c #Conflicts: 1636000 | #Constraints: 168311
2331.08/2337.14 c #Conflicts: 1637000 | #Constraints: 169311
2331.08/2337.14 c #Conflicts: 1638000 | #Constraints: 170311
2331.08/2337.14 c #Conflicts: 1639000 | #Constraints: 171311
2331.08/2337.14 c #Conflicts: 1640000 | #Constraints: 172311
2331.08/2337.14 c INPROCESSING
2331.08/2337.14 c GARBAGE COLLECT
2331.08/2337.14 c #Conflicts: 1641000 | #Constraints: 127486
2331.08/2337.14 c #Conflicts: 1642000 | #Constraints: 128486
2331.08/2337.14 c #Conflicts: 1643000 | #Constraints: 129486
2331.08/2337.14 c #Conflicts: 1644000 | #Constraints: 130486
2331.08/2337.14 c #Conflicts: 1645000 | #Constraints: 131486
2331.08/2337.14 c #Conflicts: 1646000 | #Constraints: 132486
2331.08/2337.14 c #Conflicts: 1647000 | #Constraints: 133486
2331.08/2337.14 c #Conflicts: 1648000 | #Constraints: 134486
2331.08/2337.14 c #Conflicts: 1649000 | #Constraints: 135486
2331.08/2337.14 c #Conflicts: 1650000 | #Constraints: 136486
2331.08/2337.14 c #Conflicts: 1651000 | #Constraints: 137486
2331.08/2337.14 c #Conflicts: 1652000 | #Constraints: 138486
2331.08/2337.14 c #Conflicts: 1653000 | #Constraints: 139486
2331.08/2337.14 c #Conflicts: 1654000 | #Constraints: 140486
2331.08/2337.14 c #Conflicts: 1655000 | #Constraints: 141486
2331.08/2337.14 c #Conflicts: 1656000 | #Constraints: 142486
2331.08/2337.14 c #Conflicts: 1657000 | #Constraints: 143486
2331.08/2337.14 c #Conflicts: 1658000 | #Constraints: 144486
2331.08/2337.14 c #Conflicts: 1659000 | #Constraints: 145486
2331.08/2337.14 c #Conflicts: 1660000 | #Constraints: 146486
2331.08/2337.14 c #Conflicts: 1661000 | #Constraints: 147486
2331.08/2337.14 c #Conflicts: 1662000 | #Constraints: 148486
2331.08/2337.14 c #Conflicts: 1663000 | #Constraints: 149486
2331.08/2337.14 c #Conflicts: 1664000 | #Constraints: 150486
2331.08/2337.14 c #Conflicts: 1665000 | #Constraints: 151486
2331.08/2337.14 c #Conflicts: 1666000 | #Constraints: 152486
2331.08/2337.14 c #Conflicts: 1667000 | #Constraints: 153486
2331.08/2337.14 c #Conflicts: 1668000 | #Constraints: 154486
2331.08/2337.14 c #Conflicts: 1669000 | #Constraints: 155486
2331.08/2337.14 c INPROCESSING
2331.08/2337.14 c GARBAGE COLLECT
2331.08/2337.14 c #Conflicts: 1670000 | #Constraints: 118984
2331.08/2337.14 c #Conflicts: 1671000 | #Constraints: 119984
2331.08/2337.14 c #Conflicts: 1672000 | #Constraints: 120984
2331.08/2337.14 c #Conflicts: 1673000 | #Constraints: 121984
2331.08/2337.14 c #Conflicts: 1674000 | #Constraints: 122984
2425.50/2431.82 c #Conflicts: 1675000 | #Constraints: 123984
2425.50/2431.82 c #Conflicts: 1676000 | #Constraints: 124984
2425.50/2431.82 c #Conflicts: 1677000 | #Constraints: 125984
2425.50/2431.82 c #Conflicts: 1678000 | #Constraints: 126984
2425.50/2431.82 c #Conflicts: 1679000 | #Constraints: 127984
2425.50/2431.82 c #Conflicts: 1680000 | #Constraints: 128984
2425.50/2431.82 c #Conflicts: 1681000 | #Constraints: 129984
2425.50/2431.82 c #Conflicts: 1682000 | #Constraints: 130984
2425.50/2431.82 c #Conflicts: 1683000 | #Constraints: 131984
2425.50/2431.82 c #Conflicts: 1684000 | #Constraints: 132984
2425.50/2431.82 c #Conflicts: 1685000 | #Constraints: 133984
2425.50/2431.82 c #Conflicts: 1686000 | #Constraints: 134984
2425.50/2431.82 c #Conflicts: 1687000 | #Constraints: 135984
2425.50/2431.82 c #Conflicts: 1688000 | #Constraints: 136984
2425.50/2431.82 c #Conflicts: 1689000 | #Constraints: 137984
2425.50/2431.82 c #Conflicts: 1690000 | #Constraints: 138984
2425.50/2431.82 c #Conflicts: 1691000 | #Constraints: 139984
2425.50/2431.82 c #Conflicts: 1692000 | #Constraints: 140984
2425.50/2431.82 c #Conflicts: 1693000 | #Constraints: 141984
2425.50/2431.82 c #Conflicts: 1694000 | #Constraints: 142984
2425.50/2431.82 c #Conflicts: 1695000 | #Constraints: 143984
2425.50/2431.82 c #Conflicts: 1696000 | #Constraints: 144984
2425.50/2431.82 c #Conflicts: 1697000 | #Constraints: 145984
2425.50/2431.82 c #Conflicts: 1698000 | #Constraints: 146984
2425.50/2431.82 c INPROCESSING
2425.50/2431.82 c GARBAGE COLLECT
2425.50/2431.82 c #Conflicts: 1699000 | #Constraints: 114592
2425.50/2431.82 c #Conflicts: 1700000 | #Constraints: 115592
2425.50/2431.82 c #Conflicts: 1701000 | #Constraints: 116592
2425.50/2431.82 c #Conflicts: 1702000 | #Constraints: 117592
2425.50/2431.82 c #Conflicts: 1703000 | #Constraints: 118592
2425.50/2431.82 c #Conflicts: 1704000 | #Constraints: 119592
2425.50/2431.82 c #Conflicts: 1705000 | #Constraints: 120592
2425.50/2431.82 c #Conflicts: 1706000 | #Constraints: 121592
2425.50/2431.82 c #Conflicts: 1707000 | #Constraints: 122592
2425.50/2431.82 c #Conflicts: 1708000 | #Constraints: 123592
2425.50/2431.82 c #Conflicts: 1709000 | #Constraints: 124592
2425.50/2431.82 c #Conflicts: 1710000 | #Constraints: 125592
2425.50/2431.82 c #Conflicts: 1711000 | #Constraints: 126592
2425.50/2431.82 c #Conflicts: 1712000 | #Constraints: 127592
2425.50/2431.82 c #Conflicts: 1713000 | #Constraints: 128592
2425.50/2431.82 c #Conflicts: 1714000 | #Constraints: 129592
2425.50/2431.82 c #Conflicts: 1715000 | #Constraints: 130592
2425.50/2431.82 c #Conflicts: 1716000 | #Constraints: 131592
2425.50/2431.82 c #Conflicts: 1717000 | #Constraints: 132592
2425.50/2431.82 c #Conflicts: 1718000 | #Constraints: 133592
2425.50/2431.82 c #Conflicts: 1719000 | #Constraints: 134592
2425.50/2431.82 c #Conflicts: 1720000 | #Constraints: 135592
2425.50/2431.82 c #Conflicts: 1721000 | #Constraints: 136592
2425.50/2431.82 c #Conflicts: 1722000 | #Constraints: 137592
2425.50/2431.82 c #Conflicts: 1723000 | #Constraints: 138592
2425.50/2431.82 c #Conflicts: 1724000 | #Constraints: 139592
2425.50/2431.82 c #Conflicts: 1725000 | #Constraints: 140592
2425.50/2431.82 c #Conflicts: 1726000 | #Constraints: 141592
2425.50/2431.82 c #Conflicts: 1727000 | #Constraints: 142592
2425.50/2431.82 c #Conflicts: 1728000 | #Constraints: 143592
2425.50/2431.82 c INPROCESSING
2425.50/2431.82 c GARBAGE COLLECT
2425.50/2431.82 c #Conflicts: 1729000 | #Constraints: 113132
2425.50/2431.82 c #Conflicts: 1730000 | #Constraints: 114132
2425.50/2431.82 c #Conflicts: 1731000 | #Constraints: 115132
2425.50/2431.82 c #Conflicts: 1732000 | #Constraints: 116132
2425.50/2431.82 c #Conflicts: 1733000 | #Constraints: 117132
2425.50/2431.82 c #Conflicts: 1734000 | #Constraints: 118132
2425.50/2431.82 c #Conflicts: 1735000 | #Constraints: 119132
2425.50/2431.82 c #Conflicts: 1736000 | #Constraints: 120132
2425.50/2431.82 c #Conflicts: 1737000 | #Constraints: 121132
2425.50/2431.82 c #Conflicts: 1738000 | #Constraints: 122132
2425.50/2431.82 c #Conflicts: 1739000 | #Constraints: 123132
2425.50/2431.82 c #Conflicts: 1740000 | #Constraints: 124132
2425.50/2431.82 c #Conflicts: 1741000 | #Constraints: 125132
2425.50/2431.82 c #Conflicts: 1742000 | #Constraints: 126132
2425.50/2431.82 c #Conflicts: 1743000 | #Constraints: 127132
2425.50/2431.82 c #Conflicts: 1744000 | #Constraints: 128132
2425.50/2431.82 c #Conflicts: 1745000 | #Constraints: 129132
2425.50/2431.82 c #Conflicts: 1746000 | #Constraints: 130132
2425.50/2431.82 c #Conflicts: 1747000 | #Constraints: 131132
2425.50/2431.82 c #Conflicts: 1748000 | #Constraints: 132132
2425.50/2431.82 c #Conflicts: 1749000 | #Constraints: 133132
2425.50/2431.82 c #Conflicts: 1750000 | #Constraints: 134132
2425.50/2431.82 c #Conflicts: 1751000 | #Constraints: 135132
2425.50/2431.82 c #Conflicts: 1752000 | #Constraints: 136132
2652.03/2659.10 c #Conflicts: 1753000 | #Constraints: 137132
2652.03/2659.10 c #Conflicts: 1754000 | #Constraints: 138132
2652.03/2659.10 c #Conflicts: 1755000 | #Constraints: 139132
2652.03/2659.10 c #Conflicts: 1756000 | #Constraints: 140132
2652.03/2659.10 c #Conflicts: 1757000 | #Constraints: 141132
2652.03/2659.10 c #Conflicts: 1758000 | #Constraints: 142132
2652.03/2659.10 c #Conflicts: 1759000 | #Constraints: 143132
2652.03/2659.10 c #Conflicts: 1760000 | #Constraints: 144132
2652.03/2659.10 c #Conflicts: 1761000 | #Constraints: 145132
2652.03/2659.10 c #Conflicts: 1762000 | #Constraints: 146132
2652.03/2659.10 c #Conflicts: 1763000 | #Constraints: 147132
2652.03/2659.10 c #Conflicts: 1764000 | #Constraints: 148132
2652.03/2659.10 c #Conflicts: 1765000 | #Constraints: 149132
2652.03/2659.10 c #Conflicts: 1766000 | #Constraints: 150132
2652.03/2659.10 c #Conflicts: 1767000 | #Constraints: 151132
2652.03/2659.10 c #Conflicts: 1768000 | #Constraints: 152132
2652.03/2659.10 c #Conflicts: 1769000 | #Constraints: 153132
2652.03/2659.10 c #Conflicts: 1770000 | #Constraints: 154132
2652.03/2659.10 c #Conflicts: 1771000 | #Constraints: 155132
2652.03/2659.10 c #Conflicts: 1772000 | #Constraints: 156132
2652.03/2659.10 c #Conflicts: 1773000 | #Constraints: 157132
2652.03/2659.10 c #Conflicts: 1774000 | #Constraints: 158132
2652.03/2659.10 c #Conflicts: 1775000 | #Constraints: 159132
2652.03/2659.10 c #Conflicts: 1776000 | #Constraints: 160132
2652.03/2659.10 c #Conflicts: 1777000 | #Constraints: 161132
2652.03/2659.10 c #Conflicts: 1778000 | #Constraints: 162132
2652.03/2659.10 c #Conflicts: 1779000 | #Constraints: 163132
2652.03/2659.10 c #Conflicts: 1780000 | #Constraints: 164132
2652.03/2659.10 c #Conflicts: 1781000 | #Constraints: 165132
2652.03/2659.10 c #Conflicts: 1782000 | #Constraints: 166132
2652.03/2659.10 c #Conflicts: 1783000 | #Constraints: 167132
2652.03/2659.10 c #Conflicts: 1784000 | #Constraints: 168132
2652.03/2659.10 c #Conflicts: 1785000 | #Constraints: 169132
2652.03/2659.10 c #Conflicts: 1786000 | #Constraints: 170132
2652.03/2659.10 c #Conflicts: 1787000 | #Constraints: 171132
2652.03/2659.10 c #Conflicts: 1788000 | #Constraints: 172132
2652.03/2659.10 c #Conflicts: 1789000 | #Constraints: 173132
2652.03/2659.10 c #Conflicts: 1790000 | #Constraints: 174132
2652.03/2659.10 c #Conflicts: 1791000 | #Constraints: 175132
2652.03/2659.10 c #Conflicts: 1792000 | #Constraints: 176132
2652.03/2659.10 c #Conflicts: 1793000 | #Constraints: 177132
2652.03/2659.10 c #Conflicts: 1794000 | #Constraints: 178132
2652.03/2659.10 c #Conflicts: 1795000 | #Constraints: 179132
2652.03/2659.10 c #Conflicts: 1796000 | #Constraints: 180132
2652.03/2659.10 c #Conflicts: 1797000 | #Constraints: 181132
2652.03/2659.10 c #Conflicts: 1798000 | #Constraints: 182132
2652.03/2659.10 c #Conflicts: 1799000 | #Constraints: 183132
2652.03/2659.10 c #Conflicts: 1800000 | #Constraints: 184132
2652.03/2659.10 c #Conflicts: 1801000 | #Constraints: 185132
2652.03/2659.10 c #Conflicts: 1802000 | #Constraints: 186132
2652.03/2659.10 c #Conflicts: 1803000 | #Constraints: 187132
2652.03/2659.10 c #Conflicts: 1804000 | #Constraints: 188132
2652.03/2659.10 c #Conflicts: 1805000 | #Constraints: 189132
2652.03/2659.10 c #Conflicts: 1806000 | #Constraints: 190132
2652.03/2659.10 c #Conflicts: 1807000 | #Constraints: 191132
2652.03/2659.10 c #Conflicts: 1808000 | #Constraints: 192132
2652.03/2659.10 c #Conflicts: 1809000 | #Constraints: 193132
2652.03/2659.10 c #Conflicts: 1810000 | #Constraints: 194132
2652.03/2659.10 c #Conflicts: 1811000 | #Constraints: 195132
2652.03/2659.10 c #Conflicts: 1812000 | #Constraints: 196132
2652.03/2659.10 c #Conflicts: 1813000 | #Constraints: 197132
2652.03/2659.10 c #Conflicts: 1814000 | #Constraints: 198132
2652.03/2659.10 c #Conflicts: 1815000 | #Constraints: 199132
2652.03/2659.10 c #Conflicts: 1816000 | #Constraints: 200132
2652.03/2659.10 c #Conflicts: 1817000 | #Constraints: 201132
2652.03/2659.10 c #Conflicts: 1818000 | #Constraints: 202132
2652.03/2659.10 c #Conflicts: 1819000 | #Constraints: 203132
2652.03/2659.10 c #Conflicts: 1820000 | #Constraints: 204132
2652.03/2659.10 c #Conflicts: 1821000 | #Constraints: 205132
2652.03/2659.10 c #Conflicts: 1822000 | #Constraints: 206132
2652.03/2659.10 c #Conflicts: 1823000 | #Constraints: 207132
2652.03/2659.10 c #Conflicts: 1824000 | #Constraints: 208132
2652.03/2659.10 c #Conflicts: 1825000 | #Constraints: 209132
2652.03/2659.10 c #Conflicts: 1826000 | #Constraints: 210132
2652.03/2659.10 c #Conflicts: 1827000 | #Constraints: 211132
2652.03/2659.10 c #Conflicts: 1828000 | #Constraints: 212132
2652.03/2659.10 c #Conflicts: 1829000 | #Constraints: 213132
2652.03/2659.10 c #Conflicts: 1830000 | #Constraints: 214132
2652.03/2659.10 c INPROCESSING
2835.97/2843.52 c GARBAGE COLLECT
2835.97/2843.52 c #Conflicts: 1831000 | #Constraints: 148090
2835.97/2843.52 c #Conflicts: 1832000 | #Constraints: 149090
2835.97/2843.52 c #Conflicts: 1833000 | #Constraints: 150090
2835.97/2843.52 c #Conflicts: 1834000 | #Constraints: 151090
2835.97/2843.52 c #Conflicts: 1835000 | #Constraints: 152090
2835.97/2843.52 c #Conflicts: 1836000 | #Constraints: 153090
2835.97/2843.52 c #Conflicts: 1837000 | #Constraints: 154090
2835.97/2843.52 c #Conflicts: 1838000 | #Constraints: 155090
2835.97/2843.52 c #Conflicts: 1839000 | #Constraints: 156090
2835.97/2843.52 c #Conflicts: 1840000 | #Constraints: 157090
2835.97/2843.52 c #Conflicts: 1841000 | #Constraints: 158090
2835.97/2843.52 c #Conflicts: 1842000 | #Constraints: 159090
2835.97/2843.52 c #Conflicts: 1843000 | #Constraints: 160090
2835.97/2843.52 c #Conflicts: 1844000 | #Constraints: 161090
2835.97/2843.52 c #Conflicts: 1845000 | #Constraints: 162090
2835.97/2843.52 c #Conflicts: 1846000 | #Constraints: 163090
2835.97/2843.52 c #Conflicts: 1847000 | #Constraints: 164090
2835.97/2843.52 c #Conflicts: 1848000 | #Constraints: 165090
2835.97/2843.52 c #Conflicts: 1849000 | #Constraints: 166090
2835.97/2843.52 c #Conflicts: 1850000 | #Constraints: 167090
2835.97/2843.52 c #Conflicts: 1851000 | #Constraints: 168090
2835.97/2843.52 c #Conflicts: 1852000 | #Constraints: 169090
2835.97/2843.52 c #Conflicts: 1853000 | #Constraints: 170090
2835.97/2843.52 c #Conflicts: 1854000 | #Constraints: 171090
2835.97/2843.52 c #Conflicts: 1855000 | #Constraints: 172090
2835.97/2843.52 c #Conflicts: 1856000 | #Constraints: 173090
2835.97/2843.52 c #Conflicts: 1857000 | #Constraints: 174090
2835.97/2843.52 c #Conflicts: 1858000 | #Constraints: 175090
2835.97/2843.52 c #Conflicts: 1859000 | #Constraints: 176090
2835.97/2843.52 c #Conflicts: 1860000 | #Constraints: 177090
2835.97/2843.52 c #Conflicts: 1861000 | #Constraints: 178090
2835.97/2843.52 c INPROCESSING
2835.97/2843.52 c GARBAGE COLLECT
2835.97/2843.52 c #Conflicts: 1862000 | #Constraints: 130165
2835.97/2843.52 c #Conflicts: 1863000 | #Constraints: 131165
2835.97/2843.52 c #Conflicts: 1864000 | #Constraints: 132165
2835.97/2843.52 c #Conflicts: 1865000 | #Constraints: 133165
2835.97/2843.52 c #Conflicts: 1866000 | #Constraints: 134165
2835.97/2843.52 c #Conflicts: 1867000 | #Constraints: 135165
2835.97/2843.52 c #Conflicts: 1868000 | #Constraints: 136165
2835.97/2843.52 c #Conflicts: 1869000 | #Constraints: 137165
2835.97/2843.52 c #Conflicts: 1870000 | #Constraints: 138165
2835.97/2843.52 c #Conflicts: 1871000 | #Constraints: 139165
2835.97/2843.52 c #Conflicts: 1872000 | #Constraints: 140165
2835.97/2843.52 c #Conflicts: 1873000 | #Constraints: 141165
2835.97/2843.52 c #Conflicts: 1874000 | #Constraints: 142165
2835.97/2843.52 c #Conflicts: 1875000 | #Constraints: 143165
2835.97/2843.52 c #Conflicts: 1876000 | #Constraints: 144165
2835.97/2843.52 c #Conflicts: 1877000 | #Constraints: 145165
2835.97/2843.52 c #Conflicts: 1878000 | #Constraints: 146165
2835.97/2843.52 c #Conflicts: 1879000 | #Constraints: 147165
2835.97/2843.52 c #Conflicts: 1880000 | #Constraints: 148165
2835.97/2843.52 c #Conflicts: 1881000 | #Constraints: 149165
2835.97/2843.52 c #Conflicts: 1882000 | #Constraints: 150165
2835.97/2843.52 c #Conflicts: 1883000 | #Constraints: 151165
2835.97/2843.52 c #Conflicts: 1884000 | #Constraints: 152165
2835.97/2843.52 c #Conflicts: 1885000 | #Constraints: 153165
2835.97/2843.52 c #Conflicts: 1886000 | #Constraints: 154165
2835.97/2843.52 c #Conflicts: 1887000 | #Constraints: 155165
2835.97/2843.52 c #Conflicts: 1888000 | #Constraints: 156165
2835.97/2843.52 c #Conflicts: 1889000 | #Constraints: 157165
2835.97/2843.52 c #Conflicts: 1890000 | #Constraints: 158165
2835.97/2843.52 c #Conflicts: 1891000 | #Constraints: 159165
2835.97/2843.52 c #Conflicts: 1892000 | #Constraints: 160165
2835.97/2843.52 c INPROCESSING
2835.97/2843.52 c GARBAGE COLLECT
2835.97/2843.52 c #Conflicts: 1893000 | #Constraints: 121253
2835.97/2843.52 c #Conflicts: 1894000 | #Constraints: 122253
2835.97/2843.52 c #Conflicts: 1895000 | #Constraints: 123253
2835.97/2843.52 c #Conflicts: 1896000 | #Constraints: 124253
2835.97/2843.52 c #Conflicts: 1897000 | #Constraints: 125253
2835.97/2843.52 c #Conflicts: 1898000 | #Constraints: 126253
2835.97/2843.52 c #Conflicts: 1899000 | #Constraints: 127253
2835.97/2843.52 c #Conflicts: 1900000 | #Constraints: 128253
2835.97/2843.52 c #Conflicts: 1901000 | #Constraints: 129253
2835.97/2843.52 c #Conflicts: 1902000 | #Constraints: 130253
2835.97/2843.52 c #Conflicts: 1903000 | #Constraints: 131253
2835.97/2843.52 c #Conflicts: 1904000 | #Constraints: 132253
2835.97/2843.52 c #Conflicts: 1905000 | #Constraints: 133253
2835.97/2843.52 c #Conflicts: 1906000 | #Constraints: 134253
2835.97/2843.52 c #Conflicts: 1907000 | #Constraints: 135253
2835.97/2843.52 c #Conflicts: 1908000 | #Constraints: 136253
2940.37/2948.29 c #Conflicts: 1909000 | #Constraints: 137253
2940.37/2948.29 c #Conflicts: 1910000 | #Constraints: 138253
2940.37/2948.29 c #Conflicts: 1911000 | #Constraints: 139253
2940.37/2948.29 c #Conflicts: 1912000 | #Constraints: 140253
2940.37/2948.29 c #Conflicts: 1913000 | #Constraints: 141253
2940.37/2948.29 c #Conflicts: 1914000 | #Constraints: 142253
2940.37/2948.29 c #Conflicts: 1915000 | #Constraints: 143253
2940.37/2948.29 c #Conflicts: 1916000 | #Constraints: 144253
2940.37/2948.29 c #Conflicts: 1917000 | #Constraints: 145253
2940.37/2948.29 c #Conflicts: 1918000 | #Constraints: 146253
2940.37/2948.29 c #Conflicts: 1919000 | #Constraints: 147253
2940.37/2948.29 c #Conflicts: 1920000 | #Constraints: 148253
2940.37/2948.29 c #Conflicts: 1921000 | #Constraints: 149253
2940.37/2948.29 c #Conflicts: 1922000 | #Constraints: 150253
2940.37/2948.29 c #Conflicts: 1923000 | #Constraints: 151253
2940.37/2948.29 c INPROCESSING
2940.37/2948.29 c GARBAGE COLLECT
2940.37/2948.29 c #Conflicts: 1924000 | #Constraints: 116671
2940.37/2948.29 c #Conflicts: 1925000 | #Constraints: 117671
2940.37/2948.29 c #Conflicts: 1926000 | #Constraints: 118671
2940.37/2948.29 c #Conflicts: 1927000 | #Constraints: 119671
2940.37/2948.29 c #Conflicts: 1928000 | #Constraints: 120671
2940.37/2948.29 c #Conflicts: 1929000 | #Constraints: 121671
2940.37/2948.29 c #Conflicts: 1930000 | #Constraints: 122671
2940.37/2948.29 c #Conflicts: 1931000 | #Constraints: 123671
2940.37/2948.29 c #Conflicts: 1932000 | #Constraints: 124671
2940.37/2948.29 c #Conflicts: 1933000 | #Constraints: 125671
2940.37/2948.29 c #Conflicts: 1934000 | #Constraints: 126671
2940.37/2948.29 c #Conflicts: 1935000 | #Constraints: 127671
2940.37/2948.29 c #Conflicts: 1936000 | #Constraints: 128671
2940.37/2948.29 c #Conflicts: 1937000 | #Constraints: 129671
2940.37/2948.29 c #Conflicts: 1938000 | #Constraints: 130671
2940.37/2948.29 c #Conflicts: 1939000 | #Constraints: 131671
2940.37/2948.29 c #Conflicts: 1940000 | #Constraints: 132671
2940.37/2948.29 c #Conflicts: 1941000 | #Constraints: 133671
2940.37/2948.29 c #Conflicts: 1942000 | #Constraints: 134671
2940.37/2948.29 c #Conflicts: 1943000 | #Constraints: 135671
2940.37/2948.29 c #Conflicts: 1944000 | #Constraints: 136671
2940.37/2948.29 c #Conflicts: 1945000 | #Constraints: 137671
2940.37/2948.29 c #Conflicts: 1946000 | #Constraints: 138671
2940.37/2948.29 c #Conflicts: 1947000 | #Constraints: 139671
2940.37/2948.29 c #Conflicts: 1948000 | #Constraints: 140671
2940.37/2948.29 c #Conflicts: 1949000 | #Constraints: 141671
2940.37/2948.29 c #Conflicts: 1950000 | #Constraints: 142671
2940.37/2948.29 c #Conflicts: 1951000 | #Constraints: 143671
2940.37/2948.29 c #Conflicts: 1952000 | #Constraints: 144671
2940.37/2948.29 c #Conflicts: 1953000 | #Constraints: 145671
2940.37/2948.29 c #Conflicts: 1954000 | #Constraints: 146671
2940.37/2948.29 c #Conflicts: 1955000 | #Constraints: 147671
2940.37/2948.29 c INPROCESSING
2940.37/2948.29 c GARBAGE COLLECT
2940.37/2948.29 c #Conflicts: 1956000 | #Constraints: 115188
2940.37/2948.29 c #Conflicts: 1957000 | #Constraints: 116188
2940.37/2948.29 c #Conflicts: 1958000 | #Constraints: 117188
2940.37/2948.29 c #Conflicts: 1959000 | #Constraints: 118188
2940.37/2948.29 c #Conflicts: 1960000 | #Constraints: 119188
2940.37/2948.29 c #Conflicts: 1961000 | #Constraints: 120188
2940.37/2948.29 c #Conflicts: 1962000 | #Constraints: 121188
2940.37/2948.29 c #Conflicts: 1963000 | #Constraints: 122188
2940.37/2948.29 c #Conflicts: 1964000 | #Constraints: 123188
2940.37/2948.29 c #Conflicts: 1965000 | #Constraints: 124188
2940.37/2948.29 c #Conflicts: 1966000 | #Constraints: 125188
2940.37/2948.29 c #Conflicts: 1967000 | #Constraints: 126188
2940.37/2948.29 c #Conflicts: 1968000 | #Constraints: 127188
2940.37/2948.29 c #Conflicts: 1969000 | #Constraints: 128188
2940.37/2948.29 c #Conflicts: 1970000 | #Constraints: 129188
2940.37/2948.29 c #Conflicts: 1971000 | #Constraints: 130188
2940.37/2948.29 c #Conflicts: 1972000 | #Constraints: 131188
2940.37/2948.29 c #Conflicts: 1973000 | #Constraints: 132188
2940.37/2948.29 c #Conflicts: 1974000 | #Constraints: 133188
2940.37/2948.29 c #Conflicts: 1975000 | #Constraints: 134188
2940.37/2948.29 c #Conflicts: 1976000 | #Constraints: 135188
2940.37/2948.29 c #Conflicts: 1977000 | #Constraints: 136188
2940.37/2948.29 c #Conflicts: 1978000 | #Constraints: 137188
2940.37/2948.29 c #Conflicts: 1979000 | #Constraints: 138188
2940.37/2948.29 c #Conflicts: 1980000 | #Constraints: 139188
2940.37/2948.29 c #Conflicts: 1981000 | #Constraints: 140188
2940.37/2948.29 c #Conflicts: 1982000 | #Constraints: 141188
2940.37/2948.29 c #Conflicts: 1983000 | #Constraints: 142188
2940.37/2948.29 c #Conflicts: 1984000 | #Constraints: 143188
2940.37/2948.29 c #Conflicts: 1985000 | #Constraints: 144188
3177.71/3186.20 c #Conflicts: 1986000 | #Constraints: 145188
3177.71/3186.20 c #Conflicts: 1987000 | #Constraints: 146188
3177.71/3186.20 c #Conflicts: 1988000 | #Constraints: 147188
3177.71/3186.20 c #Conflicts: 1989000 | #Constraints: 148188
3177.71/3186.20 c #Conflicts: 1990000 | #Constraints: 149188
3177.71/3186.20 c #Conflicts: 1991000 | #Constraints: 150188
3177.71/3186.20 c #Conflicts: 1992000 | #Constraints: 151188
3177.71/3186.20 c #Conflicts: 1993000 | #Constraints: 152188
3177.71/3186.20 c #Conflicts: 1994000 | #Constraints: 153188
3177.71/3186.20 c #Conflicts: 1995000 | #Constraints: 154188
3177.71/3186.20 c #Conflicts: 1996000 | #Constraints: 155188
3177.71/3186.20 c #Conflicts: 1997000 | #Constraints: 156188
3177.71/3186.20 c #Conflicts: 1998000 | #Constraints: 157188
3177.71/3186.20 c #Conflicts: 1999000 | #Constraints: 158188
3177.71/3186.20 c #Conflicts: 2000000 | #Constraints: 159188
3177.71/3186.20 c #Conflicts: 2001000 | #Constraints: 160188
3177.71/3186.20 c #Conflicts: 2002000 | #Constraints: 161188
3177.71/3186.20 c #Conflicts: 2003000 | #Constraints: 162188
3177.71/3186.20 c #Conflicts: 2004000 | #Constraints: 163188
3177.71/3186.20 c #Conflicts: 2005000 | #Constraints: 164188
3177.71/3186.20 c #Conflicts: 2006000 | #Constraints: 165188
3177.71/3186.20 c #Conflicts: 2007000 | #Constraints: 166188
3177.71/3186.20 c #Conflicts: 2008000 | #Constraints: 167188
3177.71/3186.20 c #Conflicts: 2009000 | #Constraints: 168188
3177.71/3186.20 c #Conflicts: 2010000 | #Constraints: 169188
3177.71/3186.20 c #Conflicts: 2011000 | #Constraints: 170188
3177.71/3186.20 c #Conflicts: 2012000 | #Constraints: 171188
3177.71/3186.20 c #Conflicts: 2013000 | #Constraints: 172188
3177.71/3186.20 c #Conflicts: 2014000 | #Constraints: 173188
3177.71/3186.20 c #Conflicts: 2015000 | #Constraints: 174188
3177.71/3186.20 c #Conflicts: 2016000 | #Constraints: 175188
3177.71/3186.20 c #Conflicts: 2017000 | #Constraints: 176188
3177.71/3186.20 c #Conflicts: 2018000 | #Constraints: 177188
3177.71/3186.20 c #Conflicts: 2019000 | #Constraints: 178188
3177.71/3186.20 c #Conflicts: 2020000 | #Constraints: 179188
3177.71/3186.20 c #Conflicts: 2021000 | #Constraints: 180188
3177.71/3186.20 c #Conflicts: 2022000 | #Constraints: 181188
3177.71/3186.20 c #Conflicts: 2023000 | #Constraints: 182188
3177.71/3186.20 c #Conflicts: 2024000 | #Constraints: 183188
3177.71/3186.20 c #Conflicts: 2025000 | #Constraints: 184188
3177.71/3186.20 c #Conflicts: 2026000 | #Constraints: 185188
3177.71/3186.20 c #Conflicts: 2027000 | #Constraints: 186188
3177.71/3186.20 c #Conflicts: 2028000 | #Constraints: 187188
3177.71/3186.20 c #Conflicts: 2029000 | #Constraints: 188188
3177.71/3186.20 c #Conflicts: 2030000 | #Constraints: 189188
3177.71/3186.20 c #Conflicts: 2031000 | #Constraints: 190188
3177.71/3186.20 c #Conflicts: 2032000 | #Constraints: 191188
3177.71/3186.20 c #Conflicts: 2033000 | #Constraints: 192188
3177.71/3186.20 c #Conflicts: 2034000 | #Constraints: 193188
3177.71/3186.20 c #Conflicts: 2035000 | #Constraints: 194188
3177.71/3186.20 c #Conflicts: 2036000 | #Constraints: 195188
3177.71/3186.20 c #Conflicts: 2037000 | #Constraints: 196188
3177.71/3186.20 c #Conflicts: 2038000 | #Constraints: 197188
3177.71/3186.20 c #Conflicts: 2039000 | #Constraints: 198188
3177.71/3186.20 c #Conflicts: 2040000 | #Constraints: 199188
3177.71/3186.20 c #Conflicts: 2041000 | #Constraints: 200188
3177.71/3186.20 c #Conflicts: 2042000 | #Constraints: 201188
3177.71/3186.20 c #Conflicts: 2043000 | #Constraints: 202188
3177.71/3186.20 c #Conflicts: 2044000 | #Constraints: 203188
3177.71/3186.20 c #Conflicts: 2045000 | #Constraints: 204188
3177.71/3186.20 c #Conflicts: 2046000 | #Constraints: 205188
3177.71/3186.20 c #Conflicts: 2047000 | #Constraints: 206188
3177.71/3186.20 c #Conflicts: 2048000 | #Constraints: 207188
3177.71/3186.20 c #Conflicts: 2049000 | #Constraints: 208188
3177.71/3186.20 c #Conflicts: 2050000 | #Constraints: 209188
3177.71/3186.20 c #Conflicts: 2051000 | #Constraints: 210188
3177.71/3186.20 c #Conflicts: 2052000 | #Constraints: 211188
3177.71/3186.20 c #Conflicts: 2053000 | #Constraints: 212188
3177.71/3186.20 c #Conflicts: 2054000 | #Constraints: 213188
3177.71/3186.20 c #Conflicts: 2055000 | #Constraints: 214188
3177.71/3186.20 c #Conflicts: 2056000 | #Constraints: 215188
3177.71/3186.20 c #Conflicts: 2057000 | #Constraints: 216188
3177.71/3186.20 c #Conflicts: 2058000 | #Constraints: 217188
3177.71/3186.20 c #Conflicts: 2059000 | #Constraints: 218188
3177.71/3186.20 c #Conflicts: 2060000 | #Constraints: 219188
3177.71/3186.20 c #Conflicts: 2061000 | #Constraints: 220188
3177.71/3186.20 c #Conflicts: 2062000 | #Constraints: 221188
3177.71/3186.20 c #Conflicts: 2063000 | #Constraints: 222188
3177.71/3186.20 c #Conflicts: 2064000 | #Constraints: 223188
3375.40/3384.47 c INPROCESSING
3375.40/3384.47 c GARBAGE COLLECT
3375.40/3384.47 c #Conflicts: 2065000 | #Constraints: 152937
3375.40/3384.47 c #Conflicts: 2066000 | #Constraints: 153937
3375.40/3384.47 c #Conflicts: 2067000 | #Constraints: 154937
3375.40/3384.47 c #Conflicts: 2068000 | #Constraints: 155937
3375.40/3384.47 c #Conflicts: 2069000 | #Constraints: 156937
3375.40/3384.47 c #Conflicts: 2070000 | #Constraints: 157937
3375.40/3384.47 c #Conflicts: 2071000 | #Constraints: 158937
3375.40/3384.47 c #Conflicts: 2072000 | #Constraints: 159937
3375.40/3384.47 c #Conflicts: 2073000 | #Constraints: 160937
3375.40/3384.47 c #Conflicts: 2074000 | #Constraints: 161937
3375.40/3384.47 c #Conflicts: 2075000 | #Constraints: 162937
3375.40/3384.47 c #Conflicts: 2076000 | #Constraints: 163937
3375.40/3384.47 c #Conflicts: 2077000 | #Constraints: 164937
3375.40/3384.47 c #Conflicts: 2078000 | #Constraints: 165937
3375.40/3384.47 c #Conflicts: 2079000 | #Constraints: 166937
3375.40/3384.47 c #Conflicts: 2080000 | #Constraints: 167937
3375.40/3384.47 c #Conflicts: 2081000 | #Constraints: 168937
3375.40/3384.47 c #Conflicts: 2082000 | #Constraints: 169937
3375.40/3384.47 c #Conflicts: 2083000 | #Constraints: 170937
3375.40/3384.47 c #Conflicts: 2084000 | #Constraints: 171937
3375.40/3384.47 c #Conflicts: 2085000 | #Constraints: 172937
3375.40/3384.47 c #Conflicts: 2086000 | #Constraints: 173937
3375.40/3384.47 c #Conflicts: 2087000 | #Constraints: 174937
3375.40/3384.47 c #Conflicts: 2088000 | #Constraints: 175937
3375.40/3384.47 c #Conflicts: 2089000 | #Constraints: 176937
3375.40/3384.47 c #Conflicts: 2090000 | #Constraints: 177937
3375.40/3384.47 c #Conflicts: 2091000 | #Constraints: 178937
3375.40/3384.47 c #Conflicts: 2092000 | #Constraints: 179937
3375.40/3384.47 c #Conflicts: 2093000 | #Constraints: 180937
3375.40/3384.47 c #Conflicts: 2094000 | #Constraints: 181937
3375.40/3384.47 c #Conflicts: 2095000 | #Constraints: 182937
3375.40/3384.47 c #Conflicts: 2096000 | #Constraints: 183937
3375.40/3384.47 c INPROCESSING
3375.40/3384.47 c GARBAGE COLLECT
3375.40/3384.47 c #Conflicts: 2097000 | #Constraints: 132994
3375.40/3384.47 c #Conflicts: 2098000 | #Constraints: 133994
3375.40/3384.47 c #Conflicts: 2099000 | #Constraints: 134994
3375.40/3384.47 c #Conflicts: 2100000 | #Constraints: 135994
3375.40/3384.47 c #Conflicts: 2101000 | #Constraints: 136994
3375.40/3384.47 c #Conflicts: 2102000 | #Constraints: 137994
3375.40/3384.47 c #Conflicts: 2103000 | #Constraints: 138994
3375.40/3384.47 c #Conflicts: 2104000 | #Constraints: 139994
3375.40/3384.47 c #Conflicts: 2105000 | #Constraints: 140994
3375.40/3384.47 c #Conflicts: 2106000 | #Constraints: 141994
3375.40/3384.47 c #Conflicts: 2107000 | #Constraints: 142994
3375.40/3384.47 c #Conflicts: 2108000 | #Constraints: 143994
3375.40/3384.47 c #Conflicts: 2109000 | #Constraints: 144994
3375.40/3384.47 c #Conflicts: 2110000 | #Constraints: 145994
3375.40/3384.47 c #Conflicts: 2111000 | #Constraints: 146994
3375.40/3384.47 c #Conflicts: 2112000 | #Constraints: 147994
3375.40/3384.47 c #Conflicts: 2113000 | #Constraints: 148994
3375.40/3384.47 c #Conflicts: 2114000 | #Constraints: 149994
3375.40/3384.47 c #Conflicts: 2115000 | #Constraints: 150994
3375.40/3384.47 c #Conflicts: 2116000 | #Constraints: 151994
3375.40/3384.47 c #Conflicts: 2117000 | #Constraints: 152994
3375.40/3384.47 c #Conflicts: 2118000 | #Constraints: 153994
3375.40/3384.47 c #Conflicts: 2119000 | #Constraints: 154994
3375.40/3384.47 c #Conflicts: 2120000 | #Constraints: 155994
3375.40/3384.47 c #Conflicts: 2121000 | #Constraints: 156994
3375.40/3384.47 c #Conflicts: 2122000 | #Constraints: 157994
3375.40/3384.47 c #Conflicts: 2123000 | #Constraints: 158994
3375.40/3384.47 c #Conflicts: 2124000 | #Constraints: 159994
3375.40/3384.47 c #Conflicts: 2125000 | #Constraints: 160994
3375.40/3384.47 c #Conflicts: 2126000 | #Constraints: 161994
3375.40/3384.47 c #Conflicts: 2127000 | #Constraints: 162994
3375.40/3384.47 c #Conflicts: 2128000 | #Constraints: 163994
3375.40/3384.47 c #Conflicts: 2129000 | #Constraints: 164994
3375.40/3384.47 c INPROCESSING
3375.40/3384.47 c GARBAGE COLLECT
3375.40/3384.47 c #Conflicts: 2130000 | #Constraints: 123570
3375.40/3384.47 c #Conflicts: 2131000 | #Constraints: 124570
3375.40/3384.47 c #Conflicts: 2132000 | #Constraints: 125570
3375.40/3384.47 c #Conflicts: 2133000 | #Constraints: 126570
3375.40/3384.47 c #Conflicts: 2134000 | #Constraints: 127570
3375.40/3384.47 c #Conflicts: 2135000 | #Constraints: 128570
3375.40/3384.47 c #Conflicts: 2136000 | #Constraints: 129570
3375.40/3384.47 c #Conflicts: 2137000 | #Constraints: 130570
3375.40/3384.47 c #Conflicts: 2138000 | #Constraints: 131570
3375.40/3384.47 c #Conflicts: 2139000 | #Constraints: 132570
3375.40/3384.47 c #Conflicts: 2140000 | #Constraints: 133570
3375.40/3384.47 c #Conflicts: 2141000 | #Constraints: 134570
3475.84/3485.13 c #Conflicts: 2142000 | #Constraints: 135570
3475.84/3485.13 c #Conflicts: 2143000 | #Constraints: 136570
3475.84/3485.13 c #Conflicts: 2144000 | #Constraints: 137570
3475.84/3485.13 c #Conflicts: 2145000 | #Constraints: 138570
3475.84/3485.13 c #Conflicts: 2146000 | #Constraints: 139570
3475.84/3485.13 c #Conflicts: 2147000 | #Constraints: 140570
3475.84/3485.13 c #Conflicts: 2148000 | #Constraints: 141570
3475.84/3485.13 c #Conflicts: 2149000 | #Constraints: 142570
3475.84/3485.13 c #Conflicts: 2150000 | #Constraints: 143570
3475.84/3485.13 c #Conflicts: 2151000 | #Constraints: 144570
3475.84/3485.13 c #Conflicts: 2152000 | #Constraints: 145570
3475.84/3485.13 c #Conflicts: 2153000 | #Constraints: 146570
3475.84/3485.13 c #Conflicts: 2154000 | #Constraints: 147570
3475.84/3485.13 c #Conflicts: 2155000 | #Constraints: 148570
3475.84/3485.13 c #Conflicts: 2156000 | #Constraints: 149570
3475.84/3485.13 c #Conflicts: 2157000 | #Constraints: 150570
3475.84/3485.13 c #Conflicts: 2158000 | #Constraints: 151570
3475.84/3485.13 c #Conflicts: 2159000 | #Constraints: 152570
3475.84/3485.13 c #Conflicts: 2160000 | #Constraints: 153570
3475.84/3485.13 c #Conflicts: 2161000 | #Constraints: 154570
3475.84/3485.13 c #Conflicts: 2162000 | #Constraints: 155570
3475.84/3485.13 c INPROCESSING
3475.84/3485.13 c GARBAGE COLLECT
3475.84/3485.13 c #Conflicts: 2163000 | #Constraints: 118793
3475.84/3485.13 c #Conflicts: 2164000 | #Constraints: 119793
3475.84/3485.13 c #Conflicts: 2165000 | #Constraints: 120793
3475.84/3485.13 c #Conflicts: 2166000 | #Constraints: 121793
3475.84/3485.13 c #Conflicts: 2167000 | #Constraints: 122793
3475.84/3485.13 c #Conflicts: 2168000 | #Constraints: 123793
3475.84/3485.13 c #Conflicts: 2169000 | #Constraints: 124793
3475.84/3485.13 c #Conflicts: 2170000 | #Constraints: 125793
3475.84/3485.13 c #Conflicts: 2171000 | #Constraints: 126793
3475.84/3485.13 c #Conflicts: 2172000 | #Constraints: 127793
3475.84/3485.13 c #Conflicts: 2173000 | #Constraints: 128793
3475.84/3485.13 c #Conflicts: 2174000 | #Constraints: 129793
3475.84/3485.13 c #Conflicts: 2175000 | #Constraints: 130793
3475.84/3485.13 c #Conflicts: 2176000 | #Constraints: 131793
3475.84/3485.13 c #Conflicts: 2177000 | #Constraints: 132793
3475.84/3485.13 c #Conflicts: 2178000 | #Constraints: 133793
3475.84/3485.13 c #Conflicts: 2179000 | #Constraints: 134793
3475.84/3485.13 c #Conflicts: 2180000 | #Constraints: 135793
3475.84/3485.13 c #Conflicts: 2181000 | #Constraints: 136793
3475.84/3485.13 c #Conflicts: 2182000 | #Constraints: 137793
3475.84/3485.13 c #Conflicts: 2183000 | #Constraints: 138793
3475.84/3485.13 c #Conflicts: 2184000 | #Constraints: 139793
3475.84/3485.13 c #Conflicts: 2185000 | #Constraints: 140793
3475.84/3485.13 c #Conflicts: 2186000 | #Constraints: 141793
3475.84/3485.13 c #Conflicts: 2187000 | #Constraints: 142793
3475.84/3485.13 c #Conflicts: 2188000 | #Constraints: 143793
3475.84/3485.13 c #Conflicts: 2189000 | #Constraints: 144793
3475.84/3485.13 c #Conflicts: 2190000 | #Constraints: 145793
3475.84/3485.13 c #Conflicts: 2191000 | #Constraints: 146793
3475.84/3485.13 c #Conflicts: 2192000 | #Constraints: 147793
3475.84/3485.13 c #Conflicts: 2193000 | #Constraints: 148793
3475.84/3485.13 c #Conflicts: 2194000 | #Constraints: 149793
3475.84/3485.13 c #Conflicts: 2195000 | #Constraints: 150793
3475.84/3485.13 c #Conflicts: 2196000 | #Constraints: 151793
3475.84/3485.13 c INPROCESSING
3475.84/3485.13 c GARBAGE COLLECT
3475.84/3485.13 c #Conflicts: 2197000 | #Constraints: 117248
3475.84/3485.13 c #Conflicts: 2198000 | #Constraints: 118248
3475.84/3485.13 c #Conflicts: 2199000 | #Constraints: 119248
3475.84/3485.13 c #Conflicts: 2200000 | #Constraints: 120248
3475.84/3485.13 c #Conflicts: 2201000 | #Constraints: 121248
3475.84/3485.13 c #Conflicts: 2202000 | #Constraints: 122248
3475.84/3485.13 c #Conflicts: 2203000 | #Constraints: 123248
3475.84/3485.13 c #Conflicts: 2204000 | #Constraints: 124248
3475.84/3485.13 c #Conflicts: 2205000 | #Constraints: 125248
3475.84/3485.13 c #Conflicts: 2206000 | #Constraints: 126248
3475.84/3485.13 c #Conflicts: 2207000 | #Constraints: 127248
3475.84/3485.13 c #Conflicts: 2208000 | #Constraints: 128248
3475.84/3485.13 c #Conflicts: 2209000 | #Constraints: 129248
3475.84/3485.13 c #Conflicts: 2210000 | #Constraints: 130248
3475.84/3485.13 c #Conflicts: 2211000 | #Constraints: 131248
3475.84/3485.13 c #Conflicts: 2212000 | #Constraints: 132248
3475.84/3485.13 c #Conflicts: 2213000 | #Constraints: 133248
3475.84/3485.13 c #Conflicts: 2214000 | #Constraints: 134248
3475.84/3485.13 c #Conflicts: 2215000 | #Constraints: 135248
3475.84/3485.13 c #Conflicts: 2216000 | #Constraints: 136248
3475.84/3485.13 c #Conflicts: 2217000 | #Constraints: 137248
3475.84/3485.13 c #Conflicts: 2218000 | #Constraints: 138248
3600.02/3609.60 c #Conflicts: 2219000 | #Constraints: 139248
3600.02/3609.60 c #Conflicts: 2220000 | #Constraints: 140248
3600.02/3609.60 c #Conflicts: 2221000 | #Constraints: 141248
3600.02/3609.60 c #Conflicts: 2222000 | #Constraints: 142248
3600.02/3609.60 c #Conflicts: 2223000 | #Constraints: 143248
3600.02/3609.60 c #Conflicts: 2224000 | #Constraints: 144248
3600.02/3609.60 c #Conflicts: 2225000 | #Constraints: 145248
3600.02/3609.60 c #Conflicts: 2226000 | #Constraints: 146248
3600.02/3609.60 c #Conflicts: 2227000 | #Constraints: 147248
3600.02/3609.60 c #Conflicts: 2228000 | #Constraints: 148248
3600.02/3609.60 c #Conflicts: 2229000 | #Constraints: 149248
3600.02/3609.60 c #Conflicts: 2230000 | #Constraints: 150248
3600.02/3609.60 c #Conflicts: 2231000 | #Constraints: 151248
3600.02/3609.60 c #Conflicts: 2232000 | #Constraints: 152248
3600.02/3609.60 c #Conflicts: 2233000 | #Constraints: 153248
3600.02/3609.60 c #Conflicts: 2234000 | #Constraints: 154248
3600.02/3609.60 c #Conflicts: 2235000 | #Constraints: 155248
3600.02/3609.60 c #Conflicts: 2236000 | #Constraints: 156248
3600.02/3609.60 c #Conflicts: 2237000 | #Constraints: 157248
3600.02/3609.60 c #Conflicts: 2238000 | #Constraints: 158248
3600.02/3609.60 c #Conflicts: 2239000 | #Constraints: 159248
3600.02/3609.60 c #Conflicts: 2240000 | #Constraints: 160248
3600.02/3609.60 c #Conflicts: 2241000 | #Constraints: 161248
3600.02/3609.60 c #Conflicts: 2242000 | #Constraints: 162248
3600.02/3609.60 c #Conflicts: 2243000 | #Constraints: 163248
3600.02/3609.60 c #Conflicts: 2244000 | #Constraints: 164248
3600.02/3609.60 c #Conflicts: 2245000 | #Constraints: 165248
3600.02/3609.60 c #Conflicts: 2246000 | #Constraints: 166248
3600.02/3609.60 c #Conflicts: 2247000 | #Constraints: 167248
3600.02/3609.60 c #Conflicts: 2248000 | #Constraints: 168248
3600.02/3609.60 c #Conflicts: 2249000 | #Constraints: 169248
3600.02/3609.60 c #Conflicts: 2250000 | #Constraints: 170248
3600.02/3609.60 c #Conflicts: 2251000 | #Constraints: 171248
3600.02/3609.60 c #Conflicts: 2252000 | #Constraints: 172248
3600.02/3609.60 c #Conflicts: 2253000 | #Constraints: 173248
3600.02/3609.60 c #Conflicts: 2254000 | #Constraints: 174248
3600.02/3609.60 c #Conflicts: 2255000 | #Constraints: 175248
3600.02/3609.60 c #Conflicts: 2256000 | #Constraints: 176248
3600.02/3609.60 c #Conflicts: 2257000 | #Constraints: 177248
3600.02/3609.60 c #Conflicts: 2258000 | #Constraints: 178248
3600.02/3609.60 c #Conflicts: 2259000 | #Constraints: 179248
3600.02/3609.60 c #Conflicts: 2260000 | #Constraints: 180248
3600.02/3609.60 c #Conflicts: 2261000 | #Constraints: 181248
3600.02/3609.60 c #Conflicts: 2262000 | #Constraints: 182248
3600.02/3609.60 c #Conflicts: 2263000 | #Constraints: 183248
3600.02/3609.60 c #Conflicts: 2264000 | #Constraints: 184248
3600.02/3609.60 c #Conflicts: 2265000 | #Constraints: 185248
3600.02/3609.60 c #Conflicts: 2266000 | #Constraints: 186248
3600.02/3609.60 c #Conflicts: 2267000 | #Constraints: 187248
3600.02/3609.60 c #Conflicts: 2268000 | #Constraints: 188248
3600.02/3609.60 c #Conflicts: 2269000 | #Constraints: 189248
3600.02/3609.60 c #Conflicts: 2270000 | #Constraints: 190248
3600.02/3609.60 c #Conflicts: 2271000 | #Constraints: 191248
3600.02/3609.60 c #Conflicts: 2272000 | #Constraints: 192248
3600.02/3609.60 c #Conflicts: 2273000 | #Constraints: 193248
3600.02/3609.60 c #Conflicts: 2274000 | #Constraints: 194248
3600.02/3609.60 c #Conflicts: 2275000 | #Constraints: 195248
3600.02/3609.60 c Program interrupted by user.
3600.02/3609.60 c cpu time 3590.22 s
3600.02/3609.60 c deterministic time 409649472403 4.10e+11
3600.02/3609.60 c optimization time 149.91 s
3600.02/3609.60 c total solve time 3440.2 s
3600.02/3609.60 c core-guided solve time 3440.2 s
3600.02/3609.60 c propagation time 3118.96 s
3600.02/3609.60 c conflict analysis time 450.599 s
3600.02/3609.60 c propagations 786165921
3600.02/3609.60 c resolve steps 49597622
3600.02/3609.60 c decisions 4727037
3600.02/3609.60 c conflicts 2275452
3600.02/3609.60 c restarts 4094
3600.02/3609.60 c inprocessing phases 90
3600.02/3609.60 c input clauses 80328
3600.02/3609.60 c input cardinalities 170
3600.02/3609.60 c input general constraints 108
3600.02/3609.60 c input average constraint length 2.67
3600.02/3609.60 c input average constraint degree 1.38
3600.02/3609.60 c learned clauses 1700083
3600.02/3609.60 c learned cardinalities 3914
3600.02/3609.60 c learned general constraints 571448
3600.02/3609.60 c learned average constraint length 75.67
3600.02/3609.60 c learned average constraint degree 657.61
3600.02/3609.60 c watched constraints 514505
3600.02/3609.60 c counting constraints 57051
3600.02/3609.60 c gcd simplifications 9923
3600.02/3609.60 c detected cardinalities 411
3600.02/3609.60 c weakened non-implied lits 11363634
3600.02/3609.60 c weakened non-implying lits 26621
3600.02/3609.60 c original variables 1150
3600.02/3609.60 c clausal propagations 744036433
3600.02/3609.60 c cardinality propagations 174521
3600.02/3609.60 c watched propagations 9027953
3600.02/3609.60 c counting propagations 31086520
3600.02/3609.60 c watch lookups 78423804989
3600.02/3609.60 c watch backjump lookups 58267456251
3600.02/3609.60 c watch checks 253801371847
3600.02/3609.60 c propagation checks 17041027890
3600.02/3609.60 c constraint additions 531750796
3600.02/3609.60 c trail pops 793167671
3600.02/3609.60 c formula constraints 80035
3600.02/3609.60 c learned constraints 2275445
3600.02/3609.60 c bound constraints 44
3600.02/3609.60 c core-guided constraints 527
3600.02/3609.60 c encountered formula constraints 22068004
3600.02/3609.60 c encountered learned constraints 28041801
3600.02/3609.60 c encountered bound constraints 269
3600.02/3609.60 c encountered core-guided constraints 1763000
3600.02/3609.60 c LP total time 0 s
3600.02/3609.60 c LP solve time 0 s
3600.02/3609.60 c LP constraints added 0
3600.02/3609.60 c LP constraints removed 0
3600.02/3609.60 c LP pivots internal 0
3600.02/3609.60 c LP pivots root 0
3600.02/3609.60 c LP calls 0
3600.02/3609.60 c LP optimalities 0
3600.02/3609.60 c LP no pivot count 0
3600.02/3609.60 c LP infeasibilities 0
3600.02/3609.60 c LP valid Farkas constraints 0
3600.02/3609.60 c LP learned Farkas constraints 0
3600.02/3609.60 c LP basis resets 0
3600.02/3609.60 c LP cycling count 0
3600.02/3609.60 c LP singular count 0
3600.02/3609.60 c LP no primal count 0
3600.02/3609.60 c LP no farkas count 0
3600.02/3609.60 c LP other issue count 0
3600.02/3609.60 c LP Gomory cuts 0
3600.02/3609.60 c LP learned cuts 0
3600.02/3609.60 c LP deleted cuts 0
3600.02/3609.60 c LP encountered Gomory constraints 0
3600.02/3609.60 c LP encountered Farkas constraints 0
3600.02/3609.60 c LP encountered learned Farkas constraints 0
3600.02/3609.60 c CG auxiliary variables introduced 315
3600.02/3609.60 c CG solutions found 1
3600.02/3609.60 c CG cores constructed 30
3600.02/3609.60 c CG core cardinality constraints returned 0
3600.02/3609.60 c CG unit cores 0
3600.02/3609.60 c CG single cores 30
3600.02/3609.60 c CG blocks removed during cardinality reduction 0
3600.02/3609.60 c CG first core best 0
3600.02/3609.60 c CG decision core best 0
3600.02/3609.60 c CG core reduction tie 0
3600.02/3609.60 c CG core degree average 1.00
3600.02/3609.60 c CG core slack average 8.73
3600.02/3609.60 c CG exhausted 8
3600.02/3609.60 c CG exhaust time 4.05963 s
3600.02/3609.60 c CG trimmed 4
3600.02/3609.60 c CG trim time 0.000488 s
3600.02/3609.60 c CG minimized 0
3600.02/3609.60 c CG minimize time 0 s
3600.02/3609.60 c CG am1 prop time 0.005068 s
3600.02/3609.60 c CG # am1s reformulated 198
3600.02/3609.60 c CG lower bound derived from am1s 951
3600.02/3609.60 c CG # clausal cores 30
3600.02/3609.60 c CG # cardinality cores 0
3600.02/3609.60 c CG # pb cores 0
3600.02/3609.60 c CG # pb reforms 0
3600.02/3609.60 c CG # cores discarded because of pb reform 0
3600.02/3609.60 d LOWERBOUND -161
3600.02/3609.60 d NCORES 30
3600.02/3609.60 d NPBCORES 0
3600.02/3609.60 d NPBREFORM 0
3600.02/3609.60 d NTRIMMED 4
3600.02/3609.60 d NEXHAUSTED 8
3600.02/3609.60 d NAM1S 198
3600.02/3609.60 d AM1LB 951
3600.02/3609.60 o -32
3600.02/3609.60 s SATISFIABLE
3600.02/3609.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150
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: 63665 MiB (62403 MiB free)
memory of node 1: 64507 MiB (63639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484948-1751299877/watcher-4484948-1751299877 -o /tmp/evaluation-result-4484948-1751299877/solver-4484948-1751299877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42305 --watchdog 3760 pb-oll-rs HOME/instance-4484948-1751299877.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=43101, runsolver pid=43098
[startup+0.100056 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129062100/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=21468 memory=9348 CPUtime=0.08 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 1070 0 0 0 5 3 0 0 20 0 1 0 45665358 21983232 2337 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 5367 2337 1120 243 0 1616 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21468 KiB
Current children cumulated memory: 9348 KiB
[startup+0.204673 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129049752/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=27008 memory=15492 CPUtime=0.19 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 2499 0 0 0 12 7 0 0 20 0 1 0 45665358 27656192 3873 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 6752 3873 1248 243 0 3001 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27008 KiB
Current children cumulated memory: 15492 KiB
[startup+0.305492 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129026504/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=30688 memory=19536 CPUtime=0.29 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 3534 0 0 0 21 8 0 0 20 0 1 0 45665358 31424512 4884 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 7672 4884 1312 243 0 3921 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 30688 KiB
Current children cumulated memory: 19536 KiB
[startup+0.700113 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129020456/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=40564 memory=26644 CPUtime=0.68 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 5058 0 0 0 59 9 0 0 20 0 1 0 45665358 41537536 6661 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 10141 6661 1312 243 0 6390 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40564 KiB
Current children cumulated memory: 26644 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129006532/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=50284 memory=35592 CPUtime=1.47 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 6278 0 0 0 137 10 0 0 20 0 1 0 45665358 51490816 8898 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 12571 8898 1312 243 0 8820 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50284 KiB
Current children cumulated memory: 35592 KiB
[startup+3.10518 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 43111
/proc/meminfo: memFree=128982712/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=64612 memory=46376 CPUtime=3.08 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 7439 0 0 0 295 13 0 0 20 0 1 0 45665358 66162688 11594 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 16153 11594 1312 243 0 12402 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64612 KiB
Current children cumulated memory: 46376 KiB
[startup+6.3001 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 43111
/proc/meminfo: memFree=128965700/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=66620 memory=50548 CPUtime=6.26 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 7972 0 0 0 607 19 0 0 20 0 1 0 45665358 68218880 12637 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 16655 12637 1312 243 0 12904 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66620 KiB
Current children cumulated memory: 50548 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 43111
/proc/meminfo: memFree=128961668/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=67148 memory=51092 CPUtime=12.65 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 8431 0 0 0 1234 31 0 0 20 0 1 0 45665358 68759552 12773 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 16787 12773 1312 243 0 13036 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67148 KiB
Current children cumulated memory: 51092 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 43111
/proc/meminfo: memFree=128958644/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=69340 memory=53140 CPUtime=25.42 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 8970 0 0 0 2492 50 0 0 20 0 1 0 45665358 71004160 13285 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 17335 13285 1312 243 0 13584 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 69340 KiB
Current children cumulated memory: 53140 KiB
[startup+51.105 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 43111
/proc/meminfo: memFree=128960856/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=68728 memory=52844 CPUtime=50.96 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 10822 0 0 0 5016 80 0 0 20 0 1 0 45665358 70377472 13211 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 17182 13211 1312 243 0 13431 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 68728 KiB
Current children cumulated memory: 52844 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 43115
/proc/meminfo: memFree=128940288/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=70612 memory=54676 CPUtime=102.01 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 12578 0 0 0 10086 115 0 0 20 0 1 0 45665358 72306688 13669 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 17653 13669 1312 243 0 13902 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 70612 KiB
Current children cumulated memory: 54676 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 43117
/proc/meminfo: memFree=128889424/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=75944 memory=59540 CPUtime=161.86 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 13801 0 0 0 16033 153 0 0 20 0 1 0 45665358 77766656 14885 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 18986 14885 1312 243 0 15235 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 75944 KiB
Current children cumulated memory: 59540 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 43126
/proc/meminfo: memFree=128905700/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=78328 memory=62484 CPUtime=221.7 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 14463 0 0 0 21996 174 0 0 20 0 1 0 45665358 80207872 15621 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 19582 15621 1312 243 0 15831 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 78328 KiB
Current children cumulated memory: 62484 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 43128
/proc/meminfo: memFree=128904788/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=78328 memory=62484 CPUtime=281.55 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 14476 0 0 0 27957 198 0 0 20 0 1 0 45665358 80207872 15621 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 19582 15621 1312 243 0 15831 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 78328 KiB
Current children cumulated memory: 62484 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 43130
/proc/meminfo: memFree=128912108/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=79092 memory=63252 CPUtime=341.41 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 14669 0 0 0 33924 217 0 0 20 0 1 0 45665358 80990208 15813 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 19773 15813 1312 243 0 16022 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 79092 KiB
Current children cumulated memory: 63252 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 43132
/proc/meminfo: memFree=128910488/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=79092 memory=65408 CPUtime=401.26 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 14688 0 0 0 39890 236 0 0 20 0 1 0 45665358 80990208 16352 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 19773 16352 1312 243 0 16022 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 79092 KiB
Current children cumulated memory: 65408 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 43135
/proc/meminfo: memFree=128911520/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=80348 memory=66560 CPUtime=461.11 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 15000 0 0 0 45848 263 0 0 20 0 1 0 45665358 82276352 16640 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 20087 16640 1312 243 0 16336 0
################
# More data... #
################
Current children cumulated memory: 100260 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 43300
/proc/meminfo: memFree=128836964/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=110928 memory=100260 CPUtime=2854.72 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 23366 0 0 0 284635 837 0 0 20 0 1 0 45665358 113590272 25065 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 27732 25065 1312 243 0 23981 0
Current children cumulated CPU time: 2854.72 s
Current children cumulated vsize: 110928 KiB
Current children cumulated memory: 100260 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 43302
/proc/meminfo: memFree=128829888/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=109376 memory=98676 CPUtime=2914.54 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 23895 0 0 0 290597 857 0 0 20 0 1 0 45665358 112001024 24669 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 27344 24669 1312 243 0 23593 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 98676 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 43305
/proc/meminfo: memFree=128839948/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=109376 memory=98676 CPUtime=2974.36 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 23895 0 0 0 296568 868 0 0 20 0 1 0 45665358 112001024 24669 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 27344 24669 1312 243 0 23593 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 98676 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 43318
/proc/meminfo: memFree=128835388/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=109376 memory=98676 CPUtime=3034.18 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 23895 0 0 0 302540 878 0 0 20 0 1 0 45665358 112001024 24669 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 27344 24669 1312 243 0 23593 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 98676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 43320
/proc/meminfo: memFree=128851104/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=109376 memory=98676 CPUtime=3094.02 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 23896 0 0 0 308517 885 0 0 20 0 1 0 45665358 112001024 24669 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 27344 24669 1312 243 0 23593 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 98676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 43322
/proc/meminfo: memFree=128850204/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=109376 memory=98676 CPUtime=3153.88 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 23896 0 0 0 314494 894 0 0 20 0 1 0 45665358 112001024 24669 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 27344 24669 1312 243 0 23593 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 98676 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 43331
/proc/meminfo: memFree=128838252/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=143028 memory=104320 CPUtime=3213.72 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 24797 0 0 0 320471 901 0 0 20 0 1 0 45665358 146460672 26080 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35757 26080 1312 243 0 32006 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 143028 KiB
Current children cumulated memory: 104320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 43333
/proc/meminfo: memFree=128838380/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=143028 memory=104320 CPUtime=3273.57 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 24797 0 0 0 326449 908 0 0 20 0 1 0 45665358 146460672 26080 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35757 26080 1312 243 0 32006 0
Current children cumulated CPU time: 3273.57 s
Current children cumulated vsize: 143028 KiB
Current children cumulated memory: 104320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 43336
/proc/meminfo: memFree=128839424/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=143028 memory=104320 CPUtime=3333.4 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 24797 0 0 0 332421 919 0 0 20 0 1 0 45665358 146460672 26080 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35757 26080 1312 243 0 32006 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 143028 KiB
Current children cumulated memory: 104320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 43338
/proc/meminfo: memFree=128838100/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=143028 memory=104320 CPUtime=3393.25 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 24797 0 0 0 338390 935 0 0 20 0 1 0 45665358 146460672 26080 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35757 26080 1312 243 0 32006 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 143028 KiB
Current children cumulated memory: 104320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 43340
/proc/meminfo: memFree=128824612/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=143028 memory=104320 CPUtime=3453.09 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 24798 0 0 0 344358 951 0 0 20 0 1 0 45665358 146460672 26080 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35757 26080 1312 243 0 32006 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 143028 KiB
Current children cumulated memory: 104320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 43342
/proc/meminfo: memFree=128826328/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=141436 memory=102548 CPUtime=3512.94 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 25358 0 0 0 350326 968 0 0 20 0 1 0 45665358 144830464 25637 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35359 25637 1312 243 0 31608 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 141436 KiB
Current children cumulated memory: 102548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 43344
/proc/meminfo: memFree=128826388/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=141436 memory=102548 CPUtime=3572.79 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 25376 0 0 0 356303 976 0 0 20 0 1 0 45665358 144830464 25637 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35359 25637 1312 243 0 31608 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 141436 KiB
Current children cumulated memory: 102548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.07 4.08 4.09 4/259 43352
/proc/meminfo: memFree=128907036/131249996 swapFree=33010684/33010684
[pid=43101] ppid=43098 vsize=141436 memory=102548 CPUtime=3600.02 cores=5,7
/proc/43101/stat : 43101 (pb-oll-rs) R 43098 43101 42292 0 -1 4194304 25378 0 0 0 359021 981 0 0 20 0 1 0 45665358 144830464 25637 18446744073709551615 4218880 5211445 140726602723536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 21041152 140726602725788 140726602725865 140726602725865 140726602731467 0
/proc/43101/statm: 35359 25637 1312 243 0 31608 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 141436 KiB
Current children cumulated memory: 102548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.61 s]
# the end of solver process 43101 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.23 s, system=9.81139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.61
CPU time (s): 3600.04
CPU user time (s): 3590.23
CPU system time (s): 9.81139
CPU usage (%): 99.7348
Max. virtual memory (cumulated for all children) (KiB): 143028
Max. memory (cumulated for all children) (KiB): 104320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.23
system time used= 9.81139
maximum resident set size= 104320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25393
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= 121
involuntary context switches= 18557
# summary of solver processes directly reported to runsolver:
# pid: 43101
# total CPU time (s): 3600.04
# total CPU user time (s): 3590.23
# total CPU system time (s): 9.81139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85705 second user time and 15.7054 second system time
The end
Begin job on nodeC021 at 2025-06-30 18:11:17
IDJOB=4484948
IDBENCH=146676
IDSOLVER=3345
FILE ID=nodeC021/4484948-1751299877
RUNJOBID= nodeC021-1751292654-42305
SLURM_JOB_ID= 9594264
Free space on /tmp= 432584 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484948-1751299877/watcher-4484948-1751299877 -o /tmp/evaluation-result-4484948-1751299877/solver-4484948-1751299877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42305 --watchdog 3760 pb-oll-rs HOME/instance-4484948-1751299877.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f
RANDOM SEED=1031270661
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.867
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3618.739
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3608.993
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.612
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.710
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.704
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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.789
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129048152 kB
MemAvailable: 129659368 kB
Buffers: 3280 kB
Cached: 1417768 kB
SwapCached: 0 kB
Active: 450936 kB
Inactive: 1148724 kB
Active(anon): 196672 kB
Inactive(anon): 0 kB
Active(file): 254264 kB
Inactive(file): 1148724 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7340 kB
Writeback: 0 kB
AnonPages: 176924 kB
Mapped: 105608 kB
Shmem: 18060 kB
KReclaimable: 94536 kB
Slab: 181792 kB
SReclaimable: 94536 kB
SUnreclaim: 87256 kB
KernelStack: 4164 kB
PageTables: 3096 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 473752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 112640 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432580 MiB
End job on nodeC021 at 2025-06-30 19:11:27