0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.04 c Papilo could not simplify the problem
0.00/0.04 c [STEP] solving with SCIP
299.36/300.29 c [STEP] preprocessing done, loading into solver
299.46/300.30 c [STEP] solving
299.46/300.30 c #variables 215 #constraints 5375
299.46/300.30 c SMALL=int, LARGE=long long
299.46/300.30 c bounds - >= 0 @ 299.12
299.46/300.30 c stratification level: 0
315.92/316.82 c bounds - >= 1 @ 299.121
315.92/316.82 c bounds - >= 2 @ 299.122
315.92/316.82 c bounds - >= 3 @ 299.122
315.92/316.82 c bounds - >= 4 @ 299.122
315.92/316.82 c bounds - >= 5 @ 299.122
315.92/316.82 c bounds - >= 6 @ 299.122
315.92/316.82 c bounds - >= 7 @ 299.122
315.92/316.82 c bounds - >= 8 @ 299.131
315.92/316.82 c #Conflicts: 1000 | #Constraints: 6383
315.92/316.82 c #Conflicts: 2000 | #Constraints: 7383
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 3000 | #Constraints: 7380
315.92/316.82 c #Conflicts: 4000 | #Constraints: 8380
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 5000 | #Constraints: 7784
315.92/316.82 c #Conflicts: 6000 | #Constraints: 8784
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 7000 | #Constraints: 7784
315.92/316.82 c #Conflicts: 8000 | #Constraints: 8784
315.92/316.82 c #Conflicts: 9000 | #Constraints: 9784
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 10000 | #Constraints: 8486
315.92/316.82 c #Conflicts: 11000 | #Constraints: 9486
315.92/316.82 c #Conflicts: 12000 | #Constraints: 10486
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 13000 | #Constraints: 8938
315.92/316.82 c #Conflicts: 14000 | #Constraints: 9938
315.92/316.82 c #Conflicts: 15000 | #Constraints: 10938
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 16000 | #Constraints: 9162
315.92/316.82 c #Conflicts: 17000 | #Constraints: 10162
315.92/316.82 c #Conflicts: 18000 | #Constraints: 11162
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 19000 | #Constraints: 9176
315.92/316.82 c #Conflicts: 20000 | #Constraints: 10176
315.92/316.82 c #Conflicts: 21000 | #Constraints: 11176
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 22000 | #Constraints: 8982
315.92/316.82 c #Conflicts: 23000 | #Constraints: 9982
315.92/316.82 c #Conflicts: 24000 | #Constraints: 10982
315.92/316.82 c #Conflicts: 25000 | #Constraints: 11982
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 26000 | #Constraints: 9588
315.92/316.82 c #Conflicts: 27000 | #Constraints: 10588
315.92/316.82 c #Conflicts: 28000 | #Constraints: 11588
315.92/316.82 c #Conflicts: 29000 | #Constraints: 12588
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 30000 | #Constraints: 9987
315.92/316.82 c #Conflicts: 31000 | #Constraints: 10987
315.92/316.82 c #Conflicts: 32000 | #Constraints: 11987
315.92/316.82 c #Conflicts: 33000 | #Constraints: 12987
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 34000 | #Constraints: 10187
315.92/316.82 c #Conflicts: 35000 | #Constraints: 11187
315.92/316.82 c #Conflicts: 36000 | #Constraints: 12187
315.92/316.82 c #Conflicts: 37000 | #Constraints: 13187
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 38000 | #Constraints: 10191
315.92/316.82 c #Conflicts: 39000 | #Constraints: 11191
315.92/316.82 c #Conflicts: 40000 | #Constraints: 12191
315.92/316.82 c #Conflicts: 41000 | #Constraints: 13191
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 42000 | #Constraints: 9996
315.92/316.82 c #Conflicts: 43000 | #Constraints: 10996
315.92/316.82 c #Conflicts: 44000 | #Constraints: 11996
315.92/316.82 c #Conflicts: 45000 | #Constraints: 12996
315.92/316.82 c #Conflicts: 46000 | #Constraints: 13996
315.92/316.82 c INPROCESSING
315.92/316.82 c GARBAGE COLLECT
315.92/316.82 c #Conflicts: 47000 | #Constraints: 10590
315.92/316.83 c #Conflicts: 48000 | #Constraints: 11590
315.92/316.83 c #Conflicts: 49000 | #Constraints: 12590
315.92/316.83 c #Conflicts: 50000 | #Constraints: 13590
315.92/316.83 c #Conflicts: 51000 | #Constraints: 14590
315.92/316.83 c INPROCESSING
315.92/316.83 c GARBAGE COLLECT
315.92/316.83 c #Conflicts: 52000 | #Constraints: 10991
315.92/316.83 c #Conflicts: 53000 | #Constraints: 11991
315.92/316.83 c #Conflicts: 54000 | #Constraints: 12991
315.92/316.83 c #Conflicts: 55000 | #Constraints: 13991
315.92/316.83 c #Conflicts: 56000 | #Constraints: 14991
315.92/316.83 c INPROCESSING
315.92/316.83 c GARBAGE COLLECT
315.92/316.83 c #Conflicts: 57000 | #Constraints: 11191
315.92/316.83 c #Conflicts: 58000 | #Constraints: 12191
315.92/316.83 c #Conflicts: 59000 | #Constraints: 13191
315.92/316.83 c #Conflicts: 60000 | #Constraints: 14191
315.92/316.83 c #Conflicts: 61000 | #Constraints: 15191
315.92/316.83 c INPROCESSING
315.92/316.83 c GARBAGE COLLECT
315.92/316.83 c #Conflicts: 62000 | #Constraints: 11195
315.92/316.83 c #Conflicts: 63000 | #Constraints: 12195
315.92/316.83 c #Conflicts: 64000 | #Constraints: 13195
348.02/349.04 c #Conflicts: 65000 | #Constraints: 14195
348.02/349.04 c #Conflicts: 66000 | #Constraints: 15195
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 67000 | #Constraints: 10995
348.02/349.04 c #Conflicts: 68000 | #Constraints: 11995
348.02/349.04 c #Conflicts: 69000 | #Constraints: 12995
348.02/349.04 c #Conflicts: 70000 | #Constraints: 13995
348.02/349.04 c #Conflicts: 71000 | #Constraints: 14995
348.02/349.04 c #Conflicts: 72000 | #Constraints: 15995
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 73000 | #Constraints: 11592
348.02/349.04 c #Conflicts: 74000 | #Constraints: 12592
348.02/349.04 c #Conflicts: 75000 | #Constraints: 13592
348.02/349.04 c #Conflicts: 76000 | #Constraints: 14592
348.02/349.04 c #Conflicts: 77000 | #Constraints: 15592
348.02/349.04 c #Conflicts: 78000 | #Constraints: 16592
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 79000 | #Constraints: 11993
348.02/349.04 c #Conflicts: 80000 | #Constraints: 12993
348.02/349.04 c #Conflicts: 81000 | #Constraints: 13993
348.02/349.04 c #Conflicts: 82000 | #Constraints: 14993
348.02/349.04 c #Conflicts: 83000 | #Constraints: 15993
348.02/349.04 c #Conflicts: 84000 | #Constraints: 16993
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 85000 | #Constraints: 12194
348.02/349.04 c #Conflicts: 86000 | #Constraints: 13194
348.02/349.04 c #Conflicts: 87000 | #Constraints: 14194
348.02/349.04 c #Conflicts: 88000 | #Constraints: 15194
348.02/349.04 c #Conflicts: 89000 | #Constraints: 16194
348.02/349.04 c #Conflicts: 90000 | #Constraints: 17194
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 91000 | #Constraints: 12195
348.02/349.04 c #Conflicts: 92000 | #Constraints: 13195
348.02/349.04 c #Conflicts: 93000 | #Constraints: 14195
348.02/349.04 c #Conflicts: 94000 | #Constraints: 15195
348.02/349.04 c #Conflicts: 95000 | #Constraints: 16195
348.02/349.04 c #Conflicts: 96000 | #Constraints: 17195
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 97000 | #Constraints: 11999
348.02/349.04 c #Conflicts: 98000 | #Constraints: 12999
348.02/349.04 c #Conflicts: 99000 | #Constraints: 13999
348.02/349.04 c #Conflicts: 100000 | #Constraints: 14999
348.02/349.04 c #Conflicts: 101000 | #Constraints: 15999
348.02/349.04 c #Conflicts: 102000 | #Constraints: 16999
348.02/349.04 c #Conflicts: 103000 | #Constraints: 17999
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 104000 | #Constraints: 12592
348.02/349.04 c #Conflicts: 105000 | #Constraints: 13592
348.02/349.04 c #Conflicts: 106000 | #Constraints: 14592
348.02/349.04 c #Conflicts: 107000 | #Constraints: 15592
348.02/349.04 c #Conflicts: 108000 | #Constraints: 16592
348.02/349.04 c #Conflicts: 109000 | #Constraints: 17592
348.02/349.04 c #Conflicts: 110000 | #Constraints: 18592
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 111000 | #Constraints: 12997
348.02/349.04 c #Conflicts: 112000 | #Constraints: 13997
348.02/349.04 c #Conflicts: 113000 | #Constraints: 14997
348.02/349.04 c #Conflicts: 114000 | #Constraints: 15997
348.02/349.04 c #Conflicts: 115000 | #Constraints: 16997
348.02/349.04 c #Conflicts: 116000 | #Constraints: 17997
348.02/349.04 c #Conflicts: 117000 | #Constraints: 18997
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 118000 | #Constraints: 13191
348.02/349.04 c #Conflicts: 119000 | #Constraints: 14191
348.02/349.04 c #Conflicts: 120000 | #Constraints: 15191
348.02/349.04 c #Conflicts: 121000 | #Constraints: 16191
348.02/349.04 c #Conflicts: 122000 | #Constraints: 17191
348.02/349.04 c #Conflicts: 123000 | #Constraints: 18191
348.02/349.04 c #Conflicts: 124000 | #Constraints: 19191
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 125000 | #Constraints: 13188
348.02/349.04 c #Conflicts: 126000 | #Constraints: 14188
348.02/349.04 c #Conflicts: 127000 | #Constraints: 15188
348.02/349.04 c #Conflicts: 128000 | #Constraints: 16188
348.02/349.04 c #Conflicts: 129000 | #Constraints: 17188
348.02/349.04 c #Conflicts: 130000 | #Constraints: 18188
348.02/349.04 c #Conflicts: 131000 | #Constraints: 19188
348.02/349.04 c INPROCESSING
348.02/349.04 c GARBAGE COLLECT
348.02/349.04 c #Conflicts: 132000 | #Constraints: 12989
348.02/349.04 c #Conflicts: 133000 | #Constraints: 13989
348.02/349.04 c #Conflicts: 134000 | #Constraints: 14989
348.02/349.04 c #Conflicts: 135000 | #Constraints: 15989
348.02/349.04 c #Conflicts: 136000 | #Constraints: 16989
394.86/396.09 c #Conflicts: 137000 | #Constraints: 17989
394.86/396.09 c #Conflicts: 138000 | #Constraints: 18989
394.86/396.09 c #Conflicts: 139000 | #Constraints: 19989
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 140000 | #Constraints: 13591
394.86/396.09 c #Conflicts: 141000 | #Constraints: 14591
394.86/396.09 c #Conflicts: 142000 | #Constraints: 15591
394.86/396.09 c #Conflicts: 143000 | #Constraints: 16591
394.86/396.09 c #Conflicts: 144000 | #Constraints: 17591
394.86/396.09 c #Conflicts: 145000 | #Constraints: 18591
394.86/396.09 c #Conflicts: 146000 | #Constraints: 19591
394.86/396.09 c #Conflicts: 147000 | #Constraints: 20591
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 148000 | #Constraints: 13994
394.86/396.09 c #Conflicts: 149000 | #Constraints: 14994
394.86/396.09 c #Conflicts: 150000 | #Constraints: 15994
394.86/396.09 c #Conflicts: 151000 | #Constraints: 16994
394.86/396.09 c #Conflicts: 152000 | #Constraints: 17994
394.86/396.09 c #Conflicts: 153000 | #Constraints: 18994
394.86/396.09 c #Conflicts: 154000 | #Constraints: 19994
394.86/396.09 c #Conflicts: 155000 | #Constraints: 20994
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 156000 | #Constraints: 14199
394.86/396.09 c #Conflicts: 157000 | #Constraints: 15199
394.86/396.09 c #Conflicts: 158000 | #Constraints: 16199
394.86/396.09 c #Conflicts: 159000 | #Constraints: 17199
394.86/396.09 c #Conflicts: 160000 | #Constraints: 18199
394.86/396.09 c #Conflicts: 161000 | #Constraints: 19199
394.86/396.09 c #Conflicts: 162000 | #Constraints: 20199
394.86/396.09 c #Conflicts: 163000 | #Constraints: 21199
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 164000 | #Constraints: 14197
394.86/396.09 c #Conflicts: 165000 | #Constraints: 15197
394.86/396.09 c #Conflicts: 166000 | #Constraints: 16197
394.86/396.09 c #Conflicts: 167000 | #Constraints: 17197
394.86/396.09 c #Conflicts: 168000 | #Constraints: 18197
394.86/396.09 c #Conflicts: 169000 | #Constraints: 19197
394.86/396.09 c #Conflicts: 170000 | #Constraints: 20197
394.86/396.09 c #Conflicts: 171000 | #Constraints: 21197
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 172000 | #Constraints: 13994
394.86/396.09 c #Conflicts: 173000 | #Constraints: 14994
394.86/396.09 c #Conflicts: 174000 | #Constraints: 15994
394.86/396.09 c #Conflicts: 175000 | #Constraints: 16994
394.86/396.09 c #Conflicts: 176000 | #Constraints: 17994
394.86/396.09 c #Conflicts: 177000 | #Constraints: 18994
394.86/396.09 c #Conflicts: 178000 | #Constraints: 19994
394.86/396.09 c #Conflicts: 179000 | #Constraints: 20994
394.86/396.09 c #Conflicts: 180000 | #Constraints: 21994
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 181000 | #Constraints: 14591
394.86/396.09 c #Conflicts: 182000 | #Constraints: 15591
394.86/396.09 c #Conflicts: 183000 | #Constraints: 16591
394.86/396.09 c #Conflicts: 184000 | #Constraints: 17591
394.86/396.09 c #Conflicts: 185000 | #Constraints: 18591
394.86/396.09 c #Conflicts: 186000 | #Constraints: 19591
394.86/396.09 c #Conflicts: 187000 | #Constraints: 20591
394.86/396.09 c #Conflicts: 188000 | #Constraints: 21591
394.86/396.09 c #Conflicts: 189000 | #Constraints: 22591
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 190000 | #Constraints: 14993
394.86/396.09 c #Conflicts: 191000 | #Constraints: 15993
394.86/396.09 c #Conflicts: 192000 | #Constraints: 16993
394.86/396.09 c #Conflicts: 193000 | #Constraints: 17993
394.86/396.09 c #Conflicts: 194000 | #Constraints: 18993
394.86/396.09 c #Conflicts: 195000 | #Constraints: 19993
394.86/396.09 c #Conflicts: 196000 | #Constraints: 20993
394.86/396.09 c #Conflicts: 197000 | #Constraints: 21993
394.86/396.09 c #Conflicts: 198000 | #Constraints: 22993
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 199000 | #Constraints: 15195
394.86/396.09 c #Conflicts: 200000 | #Constraints: 16195
394.86/396.09 c #Conflicts: 201000 | #Constraints: 17195
394.86/396.09 c #Conflicts: 202000 | #Constraints: 18195
394.86/396.09 c #Conflicts: 203000 | #Constraints: 19195
394.86/396.09 c #Conflicts: 204000 | #Constraints: 20195
394.86/396.09 c #Conflicts: 205000 | #Constraints: 21195
394.86/396.09 c #Conflicts: 206000 | #Constraints: 22195
394.86/396.09 c #Conflicts: 207000 | #Constraints: 23195
394.86/396.09 c INPROCESSING
394.86/396.09 c GARBAGE COLLECT
394.86/396.09 c #Conflicts: 208000 | #Constraints: 15198
394.86/396.09 c #Conflicts: 209000 | #Constraints: 16198
456.23/457.65 c #Conflicts: 210000 | #Constraints: 17198
456.23/457.65 c #Conflicts: 211000 | #Constraints: 18198
456.23/457.65 c #Conflicts: 212000 | #Constraints: 19198
456.23/457.65 c #Conflicts: 213000 | #Constraints: 20198
456.23/457.65 c #Conflicts: 214000 | #Constraints: 21198
456.23/457.65 c #Conflicts: 215000 | #Constraints: 22198
456.23/457.65 c #Conflicts: 216000 | #Constraints: 23198
456.23/457.65 c INPROCESSING
456.23/457.65 c GARBAGE COLLECT
456.23/457.65 c #Conflicts: 217000 | #Constraints: 14999
456.23/457.65 c #Conflicts: 218000 | #Constraints: 15999
456.23/457.65 c #Conflicts: 219000 | #Constraints: 16999
456.23/457.65 c #Conflicts: 220000 | #Constraints: 17999
456.23/457.65 c #Conflicts: 221000 | #Constraints: 18999
456.23/457.65 c #Conflicts: 222000 | #Constraints: 19999
456.23/457.65 c #Conflicts: 223000 | #Constraints: 20999
456.23/457.65 c #Conflicts: 224000 | #Constraints: 21999
456.23/457.65 c #Conflicts: 225000 | #Constraints: 22999
456.23/457.65 c #Conflicts: 226000 | #Constraints: 23999
456.23/457.65 c INPROCESSING
456.23/457.65 c GARBAGE COLLECT
456.23/457.65 c #Conflicts: 227000 | #Constraints: 15601
456.23/457.65 c #Conflicts: 228000 | #Constraints: 16601
456.23/457.65 c #Conflicts: 229000 | #Constraints: 17601
456.23/457.65 c #Conflicts: 230000 | #Constraints: 18601
456.23/457.65 c #Conflicts: 231000 | #Constraints: 19601
456.23/457.65 c #Conflicts: 232000 | #Constraints: 20601
456.23/457.65 c #Conflicts: 233000 | #Constraints: 21601
456.23/457.65 c #Conflicts: 234000 | #Constraints: 22601
456.23/457.65 c #Conflicts: 235000 | #Constraints: 23601
456.23/457.65 c #Conflicts: 236000 | #Constraints: 24601
456.23/457.65 c INPROCESSING
456.23/457.65 c GARBAGE COLLECT
456.23/457.65 c #Conflicts: 237000 | #Constraints: 15996
456.23/457.65 c #Conflicts: 238000 | #Constraints: 16996
456.23/457.65 c #Conflicts: 239000 | #Constraints: 17996
456.23/457.65 c #Conflicts: 240000 | #Constraints: 18996
456.23/457.65 c #Conflicts: 241000 | #Constraints: 19996
456.23/457.65 c #Conflicts: 242000 | #Constraints: 20996
456.23/457.65 c #Conflicts: 243000 | #Constraints: 21996
456.23/457.65 c #Conflicts: 244000 | #Constraints: 22996
456.23/457.65 c #Conflicts: 245000 | #Constraints: 23996
456.23/457.65 c #Conflicts: 246000 | #Constraints: 24996
456.23/457.65 c INPROCESSING
456.23/457.65 c GARBAGE COLLECT
456.23/457.65 c #Conflicts: 247000 | #Constraints: 16195
456.23/457.65 c #Conflicts: 248000 | #Constraints: 17195
456.23/457.65 c #Conflicts: 249000 | #Constraints: 18195
456.23/457.65 c #Conflicts: 250000 | #Constraints: 19195
456.23/457.65 c #Conflicts: 251000 | #Constraints: 20195
456.23/457.65 c #Conflicts: 252000 | #Constraints: 21195
456.23/457.65 c #Conflicts: 253000 | #Constraints: 22195
456.23/457.65 c #Conflicts: 254000 | #Constraints: 23195
456.23/457.65 c #Conflicts: 255000 | #Constraints: 24195
456.23/457.65 c #Conflicts: 256000 | #Constraints: 25195
456.23/457.65 c INPROCESSING
456.23/457.65 c GARBAGE COLLECT
456.23/457.65 c #Conflicts: 257000 | #Constraints: 16197
456.23/457.65 c #Conflicts: 258000 | #Constraints: 17197
456.23/457.65 c #Conflicts: 259000 | #Constraints: 18197
456.23/457.65 c #Conflicts: 260000 | #Constraints: 19197
456.23/457.65 c #Conflicts: 261000 | #Constraints: 20197
456.23/457.65 c #Conflicts: 262000 | #Constraints: 21197
456.23/457.65 c #Conflicts: 263000 | #Constraints: 22197
456.23/457.65 c #Conflicts: 264000 | #Constraints: 23197
456.23/457.65 c #Conflicts: 265000 | #Constraints: 24197
456.23/457.65 c #Conflicts: 266000 | #Constraints: 25197
456.23/457.65 c INPROCESSING
456.23/457.65 c GARBAGE COLLECT
456.23/457.65 c #Conflicts: 267000 | #Constraints: 15996
456.23/457.65 c #Conflicts: 268000 | #Constraints: 16996
456.23/457.65 c #Conflicts: 269000 | #Constraints: 17996
456.23/457.65 c #Conflicts: 270000 | #Constraints: 18996
456.23/457.65 c #Conflicts: 271000 | #Constraints: 19996
456.23/457.65 c #Conflicts: 272000 | #Constraints: 20996
456.23/457.65 c #Conflicts: 273000 | #Constraints: 21996
456.23/457.65 c #Conflicts: 274000 | #Constraints: 22996
456.23/457.65 c #Conflicts: 275000 | #Constraints: 23996
456.23/457.65 c #Conflicts: 276000 | #Constraints: 24996
456.23/457.65 c #Conflicts: 277000 | #Constraints: 25996
456.23/457.65 c INPROCESSING
456.23/457.65 c GARBAGE COLLECT
456.23/457.65 c #Conflicts: 278000 | #Constraints: 16592
456.23/457.65 c #Conflicts: 279000 | #Constraints: 17592
456.23/457.65 c #Conflicts: 280000 | #Constraints: 18592
456.23/457.65 c #Conflicts: 281000 | #Constraints: 19592
456.23/457.65 c #Conflicts: 282000 | #Constraints: 20592
456.23/457.65 c #Conflicts: 283000 | #Constraints: 21592
456.23/457.65 c #Conflicts: 284000 | #Constraints: 22592
517.32/518.92 c #Conflicts: 285000 | #Constraints: 23592
517.32/518.92 c #Conflicts: 286000 | #Constraints: 24592
517.32/518.92 c #Conflicts: 287000 | #Constraints: 25592
517.32/518.92 c #Conflicts: 288000 | #Constraints: 26592
517.32/518.92 c INPROCESSING
517.32/518.92 c GARBAGE COLLECT
517.32/518.92 c #Conflicts: 289000 | #Constraints: 16994
517.32/518.92 c #Conflicts: 290000 | #Constraints: 17994
517.32/518.92 c #Conflicts: 291000 | #Constraints: 18994
517.32/518.92 c #Conflicts: 292000 | #Constraints: 19994
517.32/518.92 c #Conflicts: 293000 | #Constraints: 20994
517.32/518.92 c #Conflicts: 294000 | #Constraints: 21994
517.32/518.92 c #Conflicts: 295000 | #Constraints: 22994
517.32/518.92 c #Conflicts: 296000 | #Constraints: 23994
517.32/518.92 c #Conflicts: 297000 | #Constraints: 24994
517.32/518.92 c #Conflicts: 298000 | #Constraints: 25994
517.32/518.92 c #Conflicts: 299000 | #Constraints: 26994
517.32/518.92 c INPROCESSING
517.32/518.92 c GARBAGE COLLECT
517.32/518.92 c #Conflicts: 300000 | #Constraints: 17192
517.32/518.92 c #Conflicts: 301000 | #Constraints: 18192
517.32/518.92 c #Conflicts: 302000 | #Constraints: 19192
517.32/518.92 c #Conflicts: 303000 | #Constraints: 20192
517.32/518.92 c #Conflicts: 304000 | #Constraints: 21192
517.32/518.92 c #Conflicts: 305000 | #Constraints: 22192
517.32/518.92 c #Conflicts: 306000 | #Constraints: 23192
517.32/518.92 c #Conflicts: 307000 | #Constraints: 24192
517.32/518.92 c #Conflicts: 308000 | #Constraints: 25192
517.32/518.92 c #Conflicts: 309000 | #Constraints: 26192
517.32/518.92 c #Conflicts: 310000 | #Constraints: 27192
517.32/518.92 c INPROCESSING
517.32/518.92 c GARBAGE COLLECT
517.32/518.92 c #Conflicts: 311000 | #Constraints: 17190
517.32/518.92 c #Conflicts: 312000 | #Constraints: 18190
517.32/518.92 c #Conflicts: 313000 | #Constraints: 19190
517.32/518.92 c #Conflicts: 314000 | #Constraints: 20190
517.32/518.92 c #Conflicts: 315000 | #Constraints: 21190
517.32/518.92 c #Conflicts: 316000 | #Constraints: 22190
517.32/518.92 c #Conflicts: 317000 | #Constraints: 23190
517.32/518.92 c #Conflicts: 318000 | #Constraints: 24190
517.32/518.92 c #Conflicts: 319000 | #Constraints: 25190
517.32/518.92 c #Conflicts: 320000 | #Constraints: 26190
517.32/518.92 c #Conflicts: 321000 | #Constraints: 27190
517.32/518.92 c INPROCESSING
517.32/518.92 c GARBAGE COLLECT
517.32/518.92 c #Conflicts: 322000 | #Constraints: 16992
517.32/518.92 c #Conflicts: 323000 | #Constraints: 17992
517.32/518.92 c #Conflicts: 324000 | #Constraints: 18992
517.32/518.92 c #Conflicts: 325000 | #Constraints: 19992
517.32/518.92 c #Conflicts: 326000 | #Constraints: 20992
517.32/518.92 c #Conflicts: 327000 | #Constraints: 21992
517.32/518.92 c #Conflicts: 328000 | #Constraints: 22992
517.32/518.92 c #Conflicts: 329000 | #Constraints: 23992
517.32/518.92 c #Conflicts: 330000 | #Constraints: 24992
517.32/518.92 c #Conflicts: 331000 | #Constraints: 25992
517.32/518.92 c #Conflicts: 332000 | #Constraints: 26992
517.32/518.92 c #Conflicts: 333000 | #Constraints: 27992
517.32/518.92 c INPROCESSING
517.32/518.92 c GARBAGE COLLECT
517.32/518.92 c #Conflicts: 334000 | #Constraints: 17591
517.32/518.92 c #Conflicts: 335000 | #Constraints: 18591
517.32/518.92 c #Conflicts: 336000 | #Constraints: 19591
517.32/518.92 c #Conflicts: 337000 | #Constraints: 20591
517.32/518.92 c #Conflicts: 338000 | #Constraints: 21591
517.32/518.92 c #Conflicts: 339000 | #Constraints: 22591
517.32/518.92 c #Conflicts: 340000 | #Constraints: 23591
517.32/518.92 c #Conflicts: 341000 | #Constraints: 24591
517.32/518.92 c #Conflicts: 342000 | #Constraints: 25591
517.32/518.92 c #Conflicts: 343000 | #Constraints: 26591
517.32/518.92 c #Conflicts: 344000 | #Constraints: 27591
517.32/518.92 c #Conflicts: 345000 | #Constraints: 28591
517.32/518.92 c INPROCESSING
517.32/518.92 c GARBAGE COLLECT
517.32/518.92 c #Conflicts: 346000 | #Constraints: 17987
517.32/518.92 c #Conflicts: 347000 | #Constraints: 18987
517.32/518.92 c #Conflicts: 348000 | #Constraints: 19987
517.32/518.92 c #Conflicts: 349000 | #Constraints: 20987
517.32/518.92 c #Conflicts: 350000 | #Constraints: 21987
517.32/518.92 c #Conflicts: 351000 | #Constraints: 22987
517.32/518.92 c #Conflicts: 352000 | #Constraints: 23987
517.32/518.92 c #Conflicts: 353000 | #Constraints: 24987
517.32/518.92 c #Conflicts: 354000 | #Constraints: 25987
517.32/518.92 c #Conflicts: 355000 | #Constraints: 26987
517.32/518.92 c #Conflicts: 356000 | #Constraints: 27987
517.32/518.92 c #Conflicts: 357000 | #Constraints: 28987
517.32/518.92 c INPROCESSING
517.32/518.92 c GARBAGE COLLECT
517.32/518.92 c #Conflicts: 358000 | #Constraints: 18186
593.57/595.40 c #Conflicts: 359000 | #Constraints: 19186
593.57/595.40 c #Conflicts: 360000 | #Constraints: 20186
593.57/595.40 c #Conflicts: 361000 | #Constraints: 21186
593.57/595.40 c #Conflicts: 362000 | #Constraints: 22186
593.57/595.40 c #Conflicts: 363000 | #Constraints: 23186
593.57/595.40 c #Conflicts: 364000 | #Constraints: 24186
593.57/595.40 c #Conflicts: 365000 | #Constraints: 25186
593.57/595.40 c #Conflicts: 366000 | #Constraints: 26186
593.57/595.40 c #Conflicts: 367000 | #Constraints: 27186
593.57/595.40 c #Conflicts: 368000 | #Constraints: 28186
593.57/595.40 c #Conflicts: 369000 | #Constraints: 29186
593.57/595.40 c INPROCESSING
593.57/595.40 c GARBAGE COLLECT
593.57/595.40 c #Conflicts: 370000 | #Constraints: 18191
593.57/595.40 c #Conflicts: 371000 | #Constraints: 19191
593.57/595.40 c #Conflicts: 372000 | #Constraints: 20191
593.57/595.40 c #Conflicts: 373000 | #Constraints: 21191
593.57/595.40 c #Conflicts: 374000 | #Constraints: 22191
593.57/595.40 c #Conflicts: 375000 | #Constraints: 23191
593.57/595.40 c #Conflicts: 376000 | #Constraints: 24191
593.57/595.40 c #Conflicts: 377000 | #Constraints: 25191
593.57/595.40 c #Conflicts: 378000 | #Constraints: 26191
593.57/595.40 c #Conflicts: 379000 | #Constraints: 27191
593.57/595.40 c #Conflicts: 380000 | #Constraints: 28191
593.57/595.40 c #Conflicts: 381000 | #Constraints: 29191
593.57/595.40 c INPROCESSING
593.57/595.40 c GARBAGE COLLECT
593.57/595.40 c #Conflicts: 382000 | #Constraints: 17993
593.57/595.40 c #Conflicts: 383000 | #Constraints: 18993
593.57/595.40 c #Conflicts: 384000 | #Constraints: 19993
593.57/595.40 c #Conflicts: 385000 | #Constraints: 20993
593.57/595.40 c #Conflicts: 386000 | #Constraints: 21993
593.57/595.40 c #Conflicts: 387000 | #Constraints: 22993
593.57/595.40 c #Conflicts: 388000 | #Constraints: 23993
593.57/595.40 c #Conflicts: 389000 | #Constraints: 24993
593.57/595.40 c #Conflicts: 390000 | #Constraints: 25993
593.57/595.40 c #Conflicts: 391000 | #Constraints: 26993
593.57/595.40 c #Conflicts: 392000 | #Constraints: 27993
593.57/595.40 c #Conflicts: 393000 | #Constraints: 28993
593.57/595.40 c #Conflicts: 394000 | #Constraints: 29993
593.57/595.40 c INPROCESSING
593.57/595.40 c GARBAGE COLLECT
593.57/595.40 c #Conflicts: 395000 | #Constraints: 18591
593.57/595.40 c #Conflicts: 396000 | #Constraints: 19591
593.57/595.40 c #Conflicts: 397000 | #Constraints: 20591
593.57/595.40 c #Conflicts: 398000 | #Constraints: 21591
593.57/595.40 c #Conflicts: 399000 | #Constraints: 22591
593.57/595.40 c #Conflicts: 400000 | #Constraints: 23591
593.57/595.40 c #Conflicts: 401000 | #Constraints: 24591
593.57/595.40 c #Conflicts: 402000 | #Constraints: 25591
593.57/595.40 c #Conflicts: 403000 | #Constraints: 26591
593.57/595.40 c #Conflicts: 404000 | #Constraints: 27591
593.57/595.40 c #Conflicts: 405000 | #Constraints: 28591
593.57/595.40 c #Conflicts: 406000 | #Constraints: 29591
593.57/595.40 c #Conflicts: 407000 | #Constraints: 30591
593.57/595.40 c INPROCESSING
593.57/595.40 c GARBAGE COLLECT
593.57/595.40 c #Conflicts: 408000 | #Constraints: 18988
593.57/595.40 c #Conflicts: 409000 | #Constraints: 19988
593.57/595.40 c #Conflicts: 410000 | #Constraints: 20988
593.57/595.40 c #Conflicts: 411000 | #Constraints: 21988
593.57/595.40 c #Conflicts: 412000 | #Constraints: 22988
593.57/595.40 c #Conflicts: 413000 | #Constraints: 23988
593.57/595.40 c #Conflicts: 414000 | #Constraints: 24988
593.57/595.40 c #Conflicts: 415000 | #Constraints: 25988
593.57/595.40 c #Conflicts: 416000 | #Constraints: 26988
593.57/595.40 c #Conflicts: 417000 | #Constraints: 27988
593.57/595.40 c #Conflicts: 418000 | #Constraints: 28988
593.57/595.40 c #Conflicts: 419000 | #Constraints: 29988
593.57/595.40 c #Conflicts: 420000 | #Constraints: 30988
593.57/595.40 c INPROCESSING
593.57/595.40 c GARBAGE COLLECT
593.57/595.40 c #Conflicts: 421000 | #Constraints: 19190
593.57/595.40 c #Conflicts: 422000 | #Constraints: 20190
593.57/595.40 c #Conflicts: 423000 | #Constraints: 21190
593.57/595.40 c #Conflicts: 424000 | #Constraints: 22190
593.57/595.40 c #Conflicts: 425000 | #Constraints: 23190
593.57/595.40 c #Conflicts: 426000 | #Constraints: 24190
593.57/595.40 c #Conflicts: 427000 | #Constraints: 25190
593.57/595.40 c #Conflicts: 428000 | #Constraints: 26190
593.57/595.40 c #Conflicts: 429000 | #Constraints: 27190
593.57/595.40 c #Conflicts: 430000 | #Constraints: 28190
593.57/595.40 c #Conflicts: 431000 | #Constraints: 29190
593.57/595.40 c #Conflicts: 432000 | #Constraints: 30190
593.57/595.40 c #Conflicts: 433000 | #Constraints: 31190
593.57/595.40 c INPROCESSING
662.85/664.99 c GARBAGE COLLECT
662.85/664.99 c #Conflicts: 434000 | #Constraints: 19198
662.85/664.99 c #Conflicts: 435000 | #Constraints: 20198
662.85/664.99 c #Conflicts: 436000 | #Constraints: 21198
662.85/664.99 c #Conflicts: 437000 | #Constraints: 22198
662.85/664.99 c #Conflicts: 438000 | #Constraints: 23198
662.85/664.99 c #Conflicts: 439000 | #Constraints: 24198
662.85/664.99 c #Conflicts: 440000 | #Constraints: 25198
662.85/664.99 c #Conflicts: 441000 | #Constraints: 26198
662.85/664.99 c #Conflicts: 442000 | #Constraints: 27198
662.85/664.99 c #Conflicts: 443000 | #Constraints: 28198
662.85/664.99 c #Conflicts: 444000 | #Constraints: 29198
662.85/664.99 c #Conflicts: 445000 | #Constraints: 30198
662.85/664.99 c #Conflicts: 446000 | #Constraints: 31198
662.85/664.99 c INPROCESSING
662.85/664.99 c GARBAGE COLLECT
662.85/664.99 c #Conflicts: 447000 | #Constraints: 18998
662.85/664.99 c #Conflicts: 448000 | #Constraints: 19998
662.85/664.99 c #Conflicts: 449000 | #Constraints: 20998
662.85/664.99 c #Conflicts: 450000 | #Constraints: 21998
662.85/664.99 c #Conflicts: 451000 | #Constraints: 22998
662.85/664.99 c #Conflicts: 452000 | #Constraints: 23998
662.85/664.99 c #Conflicts: 453000 | #Constraints: 24998
662.85/664.99 c #Conflicts: 454000 | #Constraints: 25998
662.85/664.99 c #Conflicts: 455000 | #Constraints: 26998
662.85/664.99 c #Conflicts: 456000 | #Constraints: 27998
662.85/664.99 c #Conflicts: 457000 | #Constraints: 28998
662.85/664.99 c #Conflicts: 458000 | #Constraints: 29998
662.85/664.99 c #Conflicts: 459000 | #Constraints: 30998
662.85/664.99 c #Conflicts: 460000 | #Constraints: 31998
662.85/664.99 c INPROCESSING
662.85/664.99 c GARBAGE COLLECT
662.85/664.99 c #Conflicts: 461000 | #Constraints: 19599
662.85/664.99 c #Conflicts: 462000 | #Constraints: 20599
662.85/664.99 c #Conflicts: 463000 | #Constraints: 21599
662.85/664.99 c #Conflicts: 464000 | #Constraints: 22599
662.85/664.99 c #Conflicts: 465000 | #Constraints: 23599
662.85/664.99 c #Conflicts: 466000 | #Constraints: 24599
662.85/664.99 c #Conflicts: 467000 | #Constraints: 25599
662.85/664.99 c #Conflicts: 468000 | #Constraints: 26599
662.85/664.99 c #Conflicts: 469000 | #Constraints: 27599
662.85/664.99 c #Conflicts: 470000 | #Constraints: 28599
662.85/664.99 c #Conflicts: 471000 | #Constraints: 29599
662.85/664.99 c #Conflicts: 472000 | #Constraints: 30599
662.85/664.99 c #Conflicts: 473000 | #Constraints: 31599
662.85/664.99 c #Conflicts: 474000 | #Constraints: 32599
662.85/664.99 c INPROCESSING
662.85/664.99 c GARBAGE COLLECT
662.85/664.99 c #Conflicts: 475000 | #Constraints: 20000
662.85/664.99 c #Conflicts: 476000 | #Constraints: 21000
662.85/664.99 c #Conflicts: 477000 | #Constraints: 22000
662.85/664.99 c #Conflicts: 478000 | #Constraints: 23000
662.85/664.99 c #Conflicts: 479000 | #Constraints: 24000
662.85/664.99 c #Conflicts: 480000 | #Constraints: 25000
662.85/664.99 c #Conflicts: 481000 | #Constraints: 26000
662.85/664.99 c #Conflicts: 482000 | #Constraints: 27000
662.85/664.99 c #Conflicts: 483000 | #Constraints: 28000
662.85/664.99 c #Conflicts: 484000 | #Constraints: 29000
662.85/664.99 c #Conflicts: 485000 | #Constraints: 30000
662.85/664.99 c #Conflicts: 486000 | #Constraints: 31000
662.85/664.99 c #Conflicts: 487000 | #Constraints: 32000
662.85/664.99 c #Conflicts: 488000 | #Constraints: 33000
662.85/664.99 c INPROCESSING
662.85/664.99 c GARBAGE COLLECT
662.85/664.99 c #Conflicts: 489000 | #Constraints: 20199
662.85/664.99 c #Conflicts: 490000 | #Constraints: 21199
662.85/664.99 c #Conflicts: 491000 | #Constraints: 22199
662.85/664.99 c #Conflicts: 492000 | #Constraints: 23199
662.85/664.99 c #Conflicts: 493000 | #Constraints: 24199
662.85/664.99 c #Conflicts: 494000 | #Constraints: 25199
662.85/664.99 c #Conflicts: 495000 | #Constraints: 26199
662.85/664.99 c #Conflicts: 496000 | #Constraints: 27199
662.85/664.99 c #Conflicts: 497000 | #Constraints: 28199
662.85/664.99 c #Conflicts: 498000 | #Constraints: 29199
662.85/664.99 c #Conflicts: 499000 | #Constraints: 30199
662.85/664.99 c #Conflicts: 500000 | #Constraints: 31199
662.85/664.99 c #Conflicts: 501000 | #Constraints: 32199
662.85/664.99 c #Conflicts: 502000 | #Constraints: 33199
662.85/664.99 c INPROCESSING
662.85/664.99 c GARBAGE COLLECT
662.85/664.99 c #Conflicts: 503000 | #Constraints: 20199
662.85/664.99 c #Conflicts: 504000 | #Constraints: 21199
662.85/664.99 c #Conflicts: 505000 | #Constraints: 22199
662.85/664.99 c #Conflicts: 506000 | #Constraints: 23199
662.85/664.99 c #Conflicts: 507000 | #Constraints: 24199
662.85/664.99 c #Conflicts: 508000 | #Constraints: 25199
662.85/664.99 c #Conflicts: 509000 | #Constraints: 26199
740.01/742.31 c #Conflicts: 510000 | #Constraints: 27199
740.01/742.31 c #Conflicts: 511000 | #Constraints: 28199
740.01/742.31 c #Conflicts: 512000 | #Constraints: 29199
740.01/742.31 c #Conflicts: 513000 | #Constraints: 30199
740.01/742.31 c #Conflicts: 514000 | #Constraints: 31199
740.01/742.31 c #Conflicts: 515000 | #Constraints: 32199
740.01/742.31 c #Conflicts: 516000 | #Constraints: 33199
740.01/742.31 c INPROCESSING
740.01/742.31 c GARBAGE COLLECT
740.01/742.31 c #Conflicts: 517000 | #Constraints: 19994
740.01/742.31 c #Conflicts: 518000 | #Constraints: 20994
740.01/742.31 c #Conflicts: 519000 | #Constraints: 21994
740.01/742.31 c #Conflicts: 520000 | #Constraints: 22994
740.01/742.31 c #Conflicts: 521000 | #Constraints: 23994
740.01/742.31 c #Conflicts: 522000 | #Constraints: 24994
740.01/742.31 c #Conflicts: 523000 | #Constraints: 25994
740.01/742.31 c #Conflicts: 524000 | #Constraints: 26994
740.01/742.31 c #Conflicts: 525000 | #Constraints: 27994
740.01/742.31 c #Conflicts: 526000 | #Constraints: 28994
740.01/742.31 c #Conflicts: 527000 | #Constraints: 29994
740.01/742.31 c #Conflicts: 528000 | #Constraints: 30994
740.01/742.31 c #Conflicts: 529000 | #Constraints: 31994
740.01/742.31 c #Conflicts: 530000 | #Constraints: 32994
740.01/742.31 c #Conflicts: 531000 | #Constraints: 33994
740.01/742.31 c INPROCESSING
740.01/742.31 c GARBAGE COLLECT
740.01/742.31 c #Conflicts: 532000 | #Constraints: 20594
740.01/742.31 c #Conflicts: 533000 | #Constraints: 21594
740.01/742.31 c #Conflicts: 534000 | #Constraints: 22594
740.01/742.31 c #Conflicts: 535000 | #Constraints: 23594
740.01/742.31 c #Conflicts: 536000 | #Constraints: 24594
740.01/742.31 c #Conflicts: 537000 | #Constraints: 25594
740.01/742.31 c #Conflicts: 538000 | #Constraints: 26594
740.01/742.31 c #Conflicts: 539000 | #Constraints: 27594
740.01/742.31 c #Conflicts: 540000 | #Constraints: 28594
740.01/742.31 c #Conflicts: 541000 | #Constraints: 29594
740.01/742.31 c #Conflicts: 542000 | #Constraints: 30594
740.01/742.31 c #Conflicts: 543000 | #Constraints: 31594
740.01/742.31 c #Conflicts: 544000 | #Constraints: 32594
740.01/742.31 c #Conflicts: 545000 | #Constraints: 33594
740.01/742.31 c #Conflicts: 546000 | #Constraints: 34594
740.01/742.31 c INPROCESSING
740.01/742.31 c GARBAGE COLLECT
740.01/742.31 c #Conflicts: 547000 | #Constraints: 20993
740.01/742.31 c #Conflicts: 548000 | #Constraints: 21993
740.01/742.31 c #Conflicts: 549000 | #Constraints: 22993
740.01/742.31 c #Conflicts: 550000 | #Constraints: 23993
740.01/742.31 c #Conflicts: 551000 | #Constraints: 24993
740.01/742.31 c #Conflicts: 552000 | #Constraints: 25993
740.01/742.31 c #Conflicts: 553000 | #Constraints: 26993
740.01/742.31 c #Conflicts: 554000 | #Constraints: 27993
740.01/742.31 c #Conflicts: 555000 | #Constraints: 28993
740.01/742.31 c #Conflicts: 556000 | #Constraints: 29993
740.01/742.31 c #Conflicts: 557000 | #Constraints: 30993
740.01/742.31 c #Conflicts: 558000 | #Constraints: 31993
740.01/742.31 c #Conflicts: 559000 | #Constraints: 32993
740.01/742.31 c #Conflicts: 560000 | #Constraints: 33993
740.01/742.31 c #Conflicts: 561000 | #Constraints: 34993
740.01/742.31 c INPROCESSING
740.01/742.31 c GARBAGE COLLECT
740.01/742.31 c #Conflicts: 562000 | #Constraints: 21192
740.01/742.31 c #Conflicts: 563000 | #Constraints: 22192
740.01/742.31 c #Conflicts: 564000 | #Constraints: 23192
740.01/742.31 c #Conflicts: 565000 | #Constraints: 24192
740.01/742.31 c #Conflicts: 566000 | #Constraints: 25192
740.01/742.31 c #Conflicts: 567000 | #Constraints: 26192
740.01/742.31 c #Conflicts: 568000 | #Constraints: 27192
740.01/742.31 c #Conflicts: 569000 | #Constraints: 28192
740.01/742.31 c #Conflicts: 570000 | #Constraints: 29192
740.01/742.31 c #Conflicts: 571000 | #Constraints: 30192
740.01/742.31 c #Conflicts: 572000 | #Constraints: 31192
740.01/742.31 c #Conflicts: 573000 | #Constraints: 32192
740.01/742.31 c #Conflicts: 574000 | #Constraints: 33192
740.01/742.31 c #Conflicts: 575000 | #Constraints: 34192
740.01/742.31 c #Conflicts: 576000 | #Constraints: 35192
740.01/742.31 c INPROCESSING
740.01/742.31 c GARBAGE COLLECT
740.01/742.31 c #Conflicts: 577000 | #Constraints: 21193
740.01/742.31 c #Conflicts: 578000 | #Constraints: 22193
740.01/742.31 c #Conflicts: 579000 | #Constraints: 23193
740.01/742.31 c #Conflicts: 580000 | #Constraints: 24193
740.01/742.31 c #Conflicts: 581000 | #Constraints: 25193
740.01/742.31 c #Conflicts: 582000 | #Constraints: 26193
740.01/742.31 c #Conflicts: 583000 | #Constraints: 27193
740.01/742.31 c #Conflicts: 584000 | #Constraints: 28193
826.24/828.81 c #Conflicts: 585000 | #Constraints: 29193
826.24/828.81 c #Conflicts: 586000 | #Constraints: 30193
826.24/828.81 c #Conflicts: 587000 | #Constraints: 31193
826.24/828.81 c #Conflicts: 588000 | #Constraints: 32193
826.24/828.81 c #Conflicts: 589000 | #Constraints: 33193
826.24/828.81 c #Conflicts: 590000 | #Constraints: 34193
826.24/828.81 c #Conflicts: 591000 | #Constraints: 35193
826.24/828.81 c INPROCESSING
826.24/828.81 c GARBAGE COLLECT
826.24/828.81 c #Conflicts: 592000 | #Constraints: 20995
826.24/828.81 c #Conflicts: 593000 | #Constraints: 21995
826.24/828.81 c #Conflicts: 594000 | #Constraints: 22995
826.24/828.81 c #Conflicts: 595000 | #Constraints: 23995
826.24/828.81 c #Conflicts: 596000 | #Constraints: 24995
826.24/828.81 c #Conflicts: 597000 | #Constraints: 25995
826.24/828.81 c #Conflicts: 598000 | #Constraints: 26995
826.24/828.81 c #Conflicts: 599000 | #Constraints: 27995
826.24/828.81 c #Conflicts: 600000 | #Constraints: 28995
826.24/828.81 c #Conflicts: 601000 | #Constraints: 29995
826.24/828.81 c #Conflicts: 602000 | #Constraints: 30995
826.24/828.81 c #Conflicts: 603000 | #Constraints: 31995
826.24/828.81 c #Conflicts: 604000 | #Constraints: 32995
826.24/828.81 c #Conflicts: 605000 | #Constraints: 33995
826.24/828.81 c #Conflicts: 606000 | #Constraints: 34995
826.24/828.81 c #Conflicts: 607000 | #Constraints: 35995
826.24/828.81 c INPROCESSING
826.24/828.81 c GARBAGE COLLECT
826.24/828.81 c #Conflicts: 608000 | #Constraints: 21600
826.24/828.81 c #Conflicts: 609000 | #Constraints: 22600
826.24/828.81 c #Conflicts: 610000 | #Constraints: 23600
826.24/828.81 c #Conflicts: 611000 | #Constraints: 24600
826.24/828.81 c #Conflicts: 612000 | #Constraints: 25600
826.24/828.81 c #Conflicts: 613000 | #Constraints: 26600
826.24/828.81 c #Conflicts: 614000 | #Constraints: 27600
826.24/828.81 c #Conflicts: 615000 | #Constraints: 28600
826.24/828.81 c #Conflicts: 616000 | #Constraints: 29600
826.24/828.81 c #Conflicts: 617000 | #Constraints: 30600
826.24/828.81 c #Conflicts: 618000 | #Constraints: 31600
826.24/828.81 c #Conflicts: 619000 | #Constraints: 32600
826.24/828.81 c #Conflicts: 620000 | #Constraints: 33600
826.24/828.81 c #Conflicts: 621000 | #Constraints: 34600
826.24/828.81 c #Conflicts: 622000 | #Constraints: 35600
826.24/828.81 c #Conflicts: 623000 | #Constraints: 36600
826.24/828.81 c INPROCESSING
826.24/828.81 c GARBAGE COLLECT
826.24/828.81 c #Conflicts: 624000 | #Constraints: 21997
826.24/828.81 c #Conflicts: 625000 | #Constraints: 22997
826.24/828.81 c #Conflicts: 626000 | #Constraints: 23997
826.24/828.81 c #Conflicts: 627000 | #Constraints: 24997
826.24/828.81 c #Conflicts: 628000 | #Constraints: 25997
826.24/828.81 c #Conflicts: 629000 | #Constraints: 26997
826.24/828.81 c #Conflicts: 630000 | #Constraints: 27997
826.24/828.81 c #Conflicts: 631000 | #Constraints: 28997
826.24/828.81 c #Conflicts: 632000 | #Constraints: 29997
826.24/828.81 c #Conflicts: 633000 | #Constraints: 30997
826.24/828.81 c #Conflicts: 634000 | #Constraints: 31997
826.24/828.81 c #Conflicts: 635000 | #Constraints: 32997
826.24/828.81 c #Conflicts: 636000 | #Constraints: 33997
826.24/828.81 c #Conflicts: 637000 | #Constraints: 34997
826.24/828.81 c #Conflicts: 638000 | #Constraints: 35997
826.24/828.81 c #Conflicts: 639000 | #Constraints: 36997
826.24/828.81 c INPROCESSING
826.24/828.81 c GARBAGE COLLECT
826.24/828.81 c #Conflicts: 640000 | #Constraints: 22193
826.24/828.81 c #Conflicts: 641000 | #Constraints: 23193
826.24/828.81 c #Conflicts: 642000 | #Constraints: 24193
826.24/828.81 c #Conflicts: 643000 | #Constraints: 25193
826.24/828.81 c #Conflicts: 644000 | #Constraints: 26193
826.24/828.81 c #Conflicts: 645000 | #Constraints: 27193
826.24/828.81 c #Conflicts: 646000 | #Constraints: 28193
826.24/828.81 c #Conflicts: 647000 | #Constraints: 29193
826.24/828.81 c #Conflicts: 648000 | #Constraints: 30193
826.24/828.81 c #Conflicts: 649000 | #Constraints: 31193
826.24/828.81 c #Conflicts: 650000 | #Constraints: 32193
826.24/828.81 c #Conflicts: 651000 | #Constraints: 33193
826.24/828.81 c #Conflicts: 652000 | #Constraints: 34193
826.24/828.81 c #Conflicts: 653000 | #Constraints: 35193
826.24/828.81 c #Conflicts: 654000 | #Constraints: 36193
826.24/828.81 c #Conflicts: 655000 | #Constraints: 37193
826.24/828.81 c INPROCESSING
826.24/828.81 c GARBAGE COLLECT
826.24/828.81 c #Conflicts: 656000 | #Constraints: 22193
826.24/828.81 c #Conflicts: 657000 | #Constraints: 23193
826.24/828.81 c #Conflicts: 658000 | #Constraints: 24193
826.24/828.81 c #Conflicts: 659000 | #Constraints: 25193
826.24/828.81 c #Conflicts: 660000 | #Constraints: 26193
920.44/923.36 c #Conflicts: 661000 | #Constraints: 27193
920.44/923.36 c #Conflicts: 662000 | #Constraints: 28193
920.44/923.36 c #Conflicts: 663000 | #Constraints: 29193
920.44/923.36 c #Conflicts: 664000 | #Constraints: 30193
920.44/923.36 c #Conflicts: 665000 | #Constraints: 31193
920.44/923.36 c #Conflicts: 666000 | #Constraints: 32193
920.44/923.36 c #Conflicts: 667000 | #Constraints: 33193
920.44/923.36 c #Conflicts: 668000 | #Constraints: 34193
920.44/923.36 c #Conflicts: 669000 | #Constraints: 35193
920.44/923.36 c #Conflicts: 670000 | #Constraints: 36193
920.44/923.36 c #Conflicts: 671000 | #Constraints: 37193
920.44/923.36 c INPROCESSING
920.44/923.36 c GARBAGE COLLECT
920.44/923.36 c #Conflicts: 672000 | #Constraints: 21990
920.44/923.36 c #Conflicts: 673000 | #Constraints: 22990
920.44/923.36 c #Conflicts: 674000 | #Constraints: 23990
920.44/923.36 c #Conflicts: 675000 | #Constraints: 24990
920.44/923.36 c #Conflicts: 676000 | #Constraints: 25990
920.44/923.36 c #Conflicts: 677000 | #Constraints: 26990
920.44/923.36 c #Conflicts: 678000 | #Constraints: 27990
920.44/923.36 c #Conflicts: 679000 | #Constraints: 28990
920.44/923.36 c #Conflicts: 680000 | #Constraints: 29990
920.44/923.36 c #Conflicts: 681000 | #Constraints: 30990
920.44/923.36 c #Conflicts: 682000 | #Constraints: 31990
920.44/923.36 c #Conflicts: 683000 | #Constraints: 32990
920.44/923.36 c #Conflicts: 684000 | #Constraints: 33990
920.44/923.36 c #Conflicts: 685000 | #Constraints: 34990
920.44/923.36 c #Conflicts: 686000 | #Constraints: 35990
920.44/923.36 c #Conflicts: 687000 | #Constraints: 36990
920.44/923.36 c #Conflicts: 688000 | #Constraints: 37990
920.44/923.36 c INPROCESSING
920.44/923.36 c GARBAGE COLLECT
920.44/923.36 c #Conflicts: 689000 | #Constraints: 22591
920.44/923.36 c #Conflicts: 690000 | #Constraints: 23591
920.44/923.36 c #Conflicts: 691000 | #Constraints: 24591
920.44/923.36 c #Conflicts: 692000 | #Constraints: 25591
920.44/923.36 c #Conflicts: 693000 | #Constraints: 26591
920.44/923.36 c #Conflicts: 694000 | #Constraints: 27591
920.44/923.36 c #Conflicts: 695000 | #Constraints: 28591
920.44/923.36 c #Conflicts: 696000 | #Constraints: 29591
920.44/923.36 c #Conflicts: 697000 | #Constraints: 30591
920.44/923.36 c #Conflicts: 698000 | #Constraints: 31591
920.44/923.36 c #Conflicts: 699000 | #Constraints: 32591
920.44/923.36 c #Conflicts: 700000 | #Constraints: 33591
920.44/923.36 c #Conflicts: 701000 | #Constraints: 34591
920.44/923.36 c #Conflicts: 702000 | #Constraints: 35591
920.44/923.36 c #Conflicts: 703000 | #Constraints: 36591
920.44/923.36 c #Conflicts: 704000 | #Constraints: 37591
920.44/923.36 c #Conflicts: 705000 | #Constraints: 38591
920.44/923.36 c INPROCESSING
920.44/923.36 c GARBAGE COLLECT
920.44/923.36 c #Conflicts: 706000 | #Constraints: 22994
920.44/923.36 c #Conflicts: 707000 | #Constraints: 23994
920.44/923.36 c #Conflicts: 708000 | #Constraints: 24994
920.44/923.36 c #Conflicts: 709000 | #Constraints: 25994
920.44/923.36 c #Conflicts: 710000 | #Constraints: 26994
920.44/923.36 c #Conflicts: 711000 | #Constraints: 27994
920.44/923.36 c #Conflicts: 712000 | #Constraints: 28994
920.44/923.36 c #Conflicts: 713000 | #Constraints: 29994
920.44/923.36 c #Conflicts: 714000 | #Constraints: 30994
920.44/923.36 c #Conflicts: 715000 | #Constraints: 31994
920.44/923.36 c #Conflicts: 716000 | #Constraints: 32994
920.44/923.36 c #Conflicts: 717000 | #Constraints: 33994
920.44/923.36 c #Conflicts: 718000 | #Constraints: 34994
920.44/923.36 c #Conflicts: 719000 | #Constraints: 35994
920.44/923.36 c #Conflicts: 720000 | #Constraints: 36994
920.44/923.36 c #Conflicts: 721000 | #Constraints: 37994
920.44/923.36 c #Conflicts: 722000 | #Constraints: 38994
920.44/923.36 c INPROCESSING
920.44/923.36 c GARBAGE COLLECT
920.44/923.36 c #Conflicts: 723000 | #Constraints: 23199
920.44/923.36 c #Conflicts: 724000 | #Constraints: 24199
920.44/923.36 c #Conflicts: 725000 | #Constraints: 25199
920.44/923.36 c #Conflicts: 726000 | #Constraints: 26199
920.44/923.36 c #Conflicts: 727000 | #Constraints: 27199
920.44/923.36 c #Conflicts: 728000 | #Constraints: 28199
920.44/923.36 c #Conflicts: 729000 | #Constraints: 29199
920.44/923.36 c #Conflicts: 730000 | #Constraints: 30199
920.44/923.36 c #Conflicts: 731000 | #Constraints: 31199
920.44/923.36 c #Conflicts: 732000 | #Constraints: 32199
920.44/923.36 c #Conflicts: 733000 | #Constraints: 33199
920.44/923.36 c #Conflicts: 734000 | #Constraints: 34199
920.44/923.36 c #Conflicts: 735000 | #Constraints: 35199
920.44/923.36 c #Conflicts: 736000 | #Constraints: 36199
1025.71/1028.99 c #Conflicts: 737000 | #Constraints: 37199
1025.71/1028.99 c #Conflicts: 738000 | #Constraints: 38199
1025.71/1028.99 c #Conflicts: 739000 | #Constraints: 39199
1025.71/1028.99 c INPROCESSING
1025.71/1028.99 c GARBAGE COLLECT
1025.71/1028.99 c #Conflicts: 740000 | #Constraints: 23198
1025.71/1028.99 c #Conflicts: 741000 | #Constraints: 24198
1025.71/1028.99 c #Conflicts: 742000 | #Constraints: 25198
1025.71/1028.99 c #Conflicts: 743000 | #Constraints: 26198
1025.71/1028.99 c #Conflicts: 744000 | #Constraints: 27198
1025.71/1028.99 c #Conflicts: 745000 | #Constraints: 28198
1025.71/1028.99 c #Conflicts: 746000 | #Constraints: 29198
1025.71/1028.99 c #Conflicts: 747000 | #Constraints: 30198
1025.71/1028.99 c #Conflicts: 748000 | #Constraints: 31198
1025.71/1028.99 c #Conflicts: 749000 | #Constraints: 32198
1025.71/1028.99 c #Conflicts: 750000 | #Constraints: 33198
1025.71/1028.99 c #Conflicts: 751000 | #Constraints: 34198
1025.71/1028.99 c #Conflicts: 752000 | #Constraints: 35198
1025.71/1028.99 c #Conflicts: 753000 | #Constraints: 36198
1025.71/1028.99 c #Conflicts: 754000 | #Constraints: 37198
1025.71/1028.99 c #Conflicts: 755000 | #Constraints: 38198
1025.71/1028.99 c #Conflicts: 756000 | #Constraints: 39198
1025.71/1028.99 c INPROCESSING
1025.71/1028.99 c GARBAGE COLLECT
1025.71/1028.99 c #Conflicts: 757000 | #Constraints: 22996
1025.71/1028.99 c #Conflicts: 758000 | #Constraints: 23996
1025.71/1028.99 c #Conflicts: 759000 | #Constraints: 24996
1025.71/1028.99 c #Conflicts: 760000 | #Constraints: 25996
1025.71/1028.99 c #Conflicts: 761000 | #Constraints: 26996
1025.71/1028.99 c #Conflicts: 762000 | #Constraints: 27996
1025.71/1028.99 c #Conflicts: 763000 | #Constraints: 28996
1025.71/1028.99 c #Conflicts: 764000 | #Constraints: 29996
1025.71/1028.99 c #Conflicts: 765000 | #Constraints: 30996
1025.71/1028.99 c #Conflicts: 766000 | #Constraints: 31996
1025.71/1028.99 c #Conflicts: 767000 | #Constraints: 32996
1025.71/1028.99 c #Conflicts: 768000 | #Constraints: 33996
1025.71/1028.99 c #Conflicts: 769000 | #Constraints: 34996
1025.71/1028.99 c #Conflicts: 770000 | #Constraints: 35996
1025.71/1028.99 c #Conflicts: 771000 | #Constraints: 36996
1025.71/1028.99 c #Conflicts: 772000 | #Constraints: 37996
1025.71/1028.99 c #Conflicts: 773000 | #Constraints: 38996
1025.71/1028.99 c #Conflicts: 774000 | #Constraints: 39996
1025.71/1028.99 c INPROCESSING
1025.71/1028.99 c GARBAGE COLLECT
1025.71/1028.99 c #Conflicts: 775000 | #Constraints: 23591
1025.71/1028.99 c #Conflicts: 776000 | #Constraints: 24591
1025.71/1028.99 c #Conflicts: 777000 | #Constraints: 25591
1025.71/1028.99 c #Conflicts: 778000 | #Constraints: 26591
1025.71/1028.99 c #Conflicts: 779000 | #Constraints: 27591
1025.71/1028.99 c #Conflicts: 780000 | #Constraints: 28591
1025.71/1028.99 c #Conflicts: 781000 | #Constraints: 29591
1025.71/1028.99 c #Conflicts: 782000 | #Constraints: 30591
1025.71/1028.99 c #Conflicts: 783000 | #Constraints: 31591
1025.71/1028.99 c #Conflicts: 784000 | #Constraints: 32591
1025.71/1028.99 c #Conflicts: 785000 | #Constraints: 33591
1025.71/1028.99 c #Conflicts: 786000 | #Constraints: 34591
1025.71/1028.99 c #Conflicts: 787000 | #Constraints: 35591
1025.71/1028.99 c #Conflicts: 788000 | #Constraints: 36591
1025.71/1028.99 c #Conflicts: 789000 | #Constraints: 37591
1025.71/1028.99 c #Conflicts: 790000 | #Constraints: 38591
1025.71/1028.99 c #Conflicts: 791000 | #Constraints: 39591
1025.71/1028.99 c #Conflicts: 792000 | #Constraints: 40591
1025.71/1028.99 c INPROCESSING
1025.71/1028.99 c GARBAGE COLLECT
1025.71/1028.99 c #Conflicts: 793000 | #Constraints: 23990
1025.71/1028.99 c #Conflicts: 794000 | #Constraints: 24990
1025.71/1028.99 c #Conflicts: 795000 | #Constraints: 25990
1025.71/1028.99 c #Conflicts: 796000 | #Constraints: 26990
1025.71/1028.99 c #Conflicts: 797000 | #Constraints: 27990
1025.71/1028.99 c #Conflicts: 798000 | #Constraints: 28990
1025.71/1028.99 c #Conflicts: 799000 | #Constraints: 29990
1025.71/1028.99 c #Conflicts: 800000 | #Constraints: 30990
1025.71/1028.99 c #Conflicts: 801000 | #Constraints: 31990
1025.71/1028.99 c #Conflicts: 802000 | #Constraints: 32990
1025.71/1028.99 c #Conflicts: 803000 | #Constraints: 33990
1025.71/1028.99 c #Conflicts: 804000 | #Constraints: 34990
1025.71/1028.99 c #Conflicts: 805000 | #Constraints: 35990
1025.71/1028.99 c #Conflicts: 806000 | #Constraints: 36990
1025.71/1028.99 c #Conflicts: 807000 | #Constraints: 37990
1025.71/1028.99 c #Conflicts: 808000 | #Constraints: 38990
1025.71/1028.99 c #Conflicts: 809000 | #Constraints: 39990
1025.71/1028.99 c #Conflicts: 810000 | #Constraints: 40990
1025.71/1028.99 c INPROCESSING
1025.71/1028.99 c GARBAGE COLLECT
1025.71/1028.99 c #Conflicts: 811000 | #Constraints: 24189
1025.71/1028.99 c #Conflicts: 812000 | #Constraints: 25189
1143.46/1147.07 c #Conflicts: 813000 | #Constraints: 26189
1143.46/1147.07 c #Conflicts: 814000 | #Constraints: 27189
1143.46/1147.07 c #Conflicts: 815000 | #Constraints: 28189
1143.46/1147.07 c #Conflicts: 816000 | #Constraints: 29189
1143.46/1147.07 c #Conflicts: 817000 | #Constraints: 30189
1143.46/1147.07 c #Conflicts: 818000 | #Constraints: 31189
1143.46/1147.07 c #Conflicts: 819000 | #Constraints: 32189
1143.46/1147.07 c #Conflicts: 820000 | #Constraints: 33189
1143.46/1147.07 c #Conflicts: 821000 | #Constraints: 34189
1143.46/1147.07 c #Conflicts: 822000 | #Constraints: 35189
1143.46/1147.07 c #Conflicts: 823000 | #Constraints: 36189
1143.46/1147.07 c #Conflicts: 824000 | #Constraints: 37189
1143.46/1147.07 c #Conflicts: 825000 | #Constraints: 38189
1143.46/1147.07 c #Conflicts: 826000 | #Constraints: 39189
1143.46/1147.07 c #Conflicts: 827000 | #Constraints: 40189
1143.46/1147.07 c #Conflicts: 828000 | #Constraints: 41189
1143.46/1147.07 c INPROCESSING
1143.46/1147.07 c GARBAGE COLLECT
1143.46/1147.07 c #Conflicts: 829000 | #Constraints: 24192
1143.46/1147.07 c #Conflicts: 830000 | #Constraints: 25192
1143.46/1147.07 c #Conflicts: 831000 | #Constraints: 26192
1143.46/1147.07 c #Conflicts: 832000 | #Constraints: 27192
1143.46/1147.07 c #Conflicts: 833000 | #Constraints: 28192
1143.46/1147.07 c #Conflicts: 834000 | #Constraints: 29192
1143.46/1147.07 c #Conflicts: 835000 | #Constraints: 30192
1143.46/1147.07 c #Conflicts: 836000 | #Constraints: 31192
1143.46/1147.07 c #Conflicts: 837000 | #Constraints: 32192
1143.46/1147.07 c #Conflicts: 838000 | #Constraints: 33192
1143.46/1147.07 c #Conflicts: 839000 | #Constraints: 34192
1143.46/1147.07 c #Conflicts: 840000 | #Constraints: 35192
1143.46/1147.07 c #Conflicts: 841000 | #Constraints: 36192
1143.46/1147.07 c #Conflicts: 842000 | #Constraints: 37192
1143.46/1147.07 c #Conflicts: 843000 | #Constraints: 38192
1143.46/1147.07 c #Conflicts: 844000 | #Constraints: 39192
1143.46/1147.07 c #Conflicts: 845000 | #Constraints: 40192
1143.46/1147.07 c #Conflicts: 846000 | #Constraints: 41192
1143.46/1147.07 c INPROCESSING
1143.46/1147.07 c GARBAGE COLLECT
1143.46/1147.07 c #Conflicts: 847000 | #Constraints: 23992
1143.46/1147.07 c #Conflicts: 848000 | #Constraints: 24992
1143.46/1147.07 c #Conflicts: 849000 | #Constraints: 25992
1143.46/1147.07 c #Conflicts: 850000 | #Constraints: 26992
1143.46/1147.07 c #Conflicts: 851000 | #Constraints: 27992
1143.46/1147.07 c #Conflicts: 852000 | #Constraints: 28992
1143.46/1147.07 c #Conflicts: 853000 | #Constraints: 29992
1143.46/1147.07 c #Conflicts: 854000 | #Constraints: 30992
1143.46/1147.07 c #Conflicts: 855000 | #Constraints: 31992
1143.46/1147.07 c #Conflicts: 856000 | #Constraints: 32992
1143.46/1147.07 c #Conflicts: 857000 | #Constraints: 33992
1143.46/1147.07 c #Conflicts: 858000 | #Constraints: 34992
1143.46/1147.07 c #Conflicts: 859000 | #Constraints: 35992
1143.46/1147.07 c #Conflicts: 860000 | #Constraints: 36992
1143.46/1147.07 c #Conflicts: 861000 | #Constraints: 37992
1143.46/1147.07 c #Conflicts: 862000 | #Constraints: 38992
1143.46/1147.07 c #Conflicts: 863000 | #Constraints: 39992
1143.46/1147.07 c #Conflicts: 864000 | #Constraints: 40992
1143.46/1147.07 c #Conflicts: 865000 | #Constraints: 41992
1143.46/1147.07 c INPROCESSING
1143.46/1147.07 c GARBAGE COLLECT
1143.46/1147.07 c #Conflicts: 866000 | #Constraints: 24591
1143.46/1147.07 c #Conflicts: 867000 | #Constraints: 25591
1143.46/1147.07 c #Conflicts: 868000 | #Constraints: 26591
1143.46/1147.07 c #Conflicts: 869000 | #Constraints: 27591
1143.46/1147.07 c #Conflicts: 870000 | #Constraints: 28591
1143.46/1147.07 c #Conflicts: 871000 | #Constraints: 29591
1143.46/1147.07 c #Conflicts: 872000 | #Constraints: 30591
1143.46/1147.07 c #Conflicts: 873000 | #Constraints: 31591
1143.46/1147.07 c #Conflicts: 874000 | #Constraints: 32591
1143.46/1147.07 c #Conflicts: 875000 | #Constraints: 33591
1143.46/1147.07 c #Conflicts: 876000 | #Constraints: 34591
1143.46/1147.07 c #Conflicts: 877000 | #Constraints: 35591
1143.46/1147.07 c #Conflicts: 878000 | #Constraints: 36591
1143.46/1147.07 c #Conflicts: 879000 | #Constraints: 37591
1143.46/1147.07 c #Conflicts: 880000 | #Constraints: 38591
1143.46/1147.07 c #Conflicts: 881000 | #Constraints: 39591
1143.46/1147.07 c #Conflicts: 882000 | #Constraints: 40591
1143.46/1147.07 c #Conflicts: 883000 | #Constraints: 41591
1143.46/1147.07 c #Conflicts: 884000 | #Constraints: 42591
1143.46/1147.07 c INPROCESSING
1143.46/1147.07 c GARBAGE COLLECT
1143.46/1147.07 c #Conflicts: 885000 | #Constraints: 24994
1143.46/1147.07 c #Conflicts: 886000 | #Constraints: 25994
1143.46/1147.07 c #Conflicts: 887000 | #Constraints: 26994
1143.46/1147.07 c #Conflicts: 888000 | #Constraints: 27994
1256.36/1260.35 c #Conflicts: 889000 | #Constraints: 28994
1256.36/1260.35 c #Conflicts: 890000 | #Constraints: 29994
1256.36/1260.35 c #Conflicts: 891000 | #Constraints: 30994
1256.36/1260.35 c #Conflicts: 892000 | #Constraints: 31994
1256.36/1260.35 c #Conflicts: 893000 | #Constraints: 32994
1256.36/1260.35 c #Conflicts: 894000 | #Constraints: 33994
1256.36/1260.35 c #Conflicts: 895000 | #Constraints: 34994
1256.36/1260.35 c #Conflicts: 896000 | #Constraints: 35994
1256.36/1260.35 c #Conflicts: 897000 | #Constraints: 36994
1256.36/1260.35 c #Conflicts: 898000 | #Constraints: 37994
1256.36/1260.35 c #Conflicts: 899000 | #Constraints: 38994
1256.36/1260.35 c #Conflicts: 900000 | #Constraints: 39994
1256.36/1260.35 c #Conflicts: 901000 | #Constraints: 40994
1256.36/1260.35 c #Conflicts: 902000 | #Constraints: 41994
1256.36/1260.35 c #Conflicts: 903000 | #Constraints: 42994
1256.36/1260.35 c INPROCESSING
1256.36/1260.35 c GARBAGE COLLECT
1256.36/1260.35 c #Conflicts: 904000 | #Constraints: 25193
1256.36/1260.35 c #Conflicts: 905000 | #Constraints: 26193
1256.36/1260.35 c #Conflicts: 906000 | #Constraints: 27193
1256.36/1260.35 c #Conflicts: 907000 | #Constraints: 28193
1256.36/1260.35 c #Conflicts: 908000 | #Constraints: 29193
1256.36/1260.35 c #Conflicts: 909000 | #Constraints: 30193
1256.36/1260.35 c #Conflicts: 910000 | #Constraints: 31193
1256.36/1260.35 c #Conflicts: 911000 | #Constraints: 32193
1256.36/1260.35 c #Conflicts: 912000 | #Constraints: 33193
1256.36/1260.35 c #Conflicts: 913000 | #Constraints: 34193
1256.36/1260.35 c #Conflicts: 914000 | #Constraints: 35193
1256.36/1260.35 c #Conflicts: 915000 | #Constraints: 36193
1256.36/1260.35 c #Conflicts: 916000 | #Constraints: 37193
1256.36/1260.35 c #Conflicts: 917000 | #Constraints: 38193
1256.36/1260.35 c #Conflicts: 918000 | #Constraints: 39193
1256.36/1260.35 c #Conflicts: 919000 | #Constraints: 40193
1256.36/1260.35 c #Conflicts: 920000 | #Constraints: 41193
1256.36/1260.35 c #Conflicts: 921000 | #Constraints: 42193
1256.36/1260.35 c #Conflicts: 922000 | #Constraints: 43193
1256.36/1260.35 c INPROCESSING
1256.36/1260.35 c GARBAGE COLLECT
1256.36/1260.35 c #Conflicts: 923000 | #Constraints: 25194
1256.36/1260.35 c #Conflicts: 924000 | #Constraints: 26194
1256.36/1260.35 c #Conflicts: 925000 | #Constraints: 27194
1256.36/1260.35 c #Conflicts: 926000 | #Constraints: 28194
1256.36/1260.35 c #Conflicts: 927000 | #Constraints: 29194
1256.36/1260.35 c #Conflicts: 928000 | #Constraints: 30194
1256.36/1260.35 c #Conflicts: 929000 | #Constraints: 31194
1256.36/1260.35 c #Conflicts: 930000 | #Constraints: 32194
1256.36/1260.35 c #Conflicts: 931000 | #Constraints: 33194
1256.36/1260.35 c #Conflicts: 932000 | #Constraints: 34194
1256.36/1260.35 c #Conflicts: 933000 | #Constraints: 35194
1256.36/1260.35 c #Conflicts: 934000 | #Constraints: 36194
1256.36/1260.35 c #Conflicts: 935000 | #Constraints: 37194
1256.36/1260.35 c #Conflicts: 936000 | #Constraints: 38194
1256.36/1260.35 c #Conflicts: 937000 | #Constraints: 39194
1256.36/1260.35 c #Conflicts: 938000 | #Constraints: 40194
1256.36/1260.35 c #Conflicts: 939000 | #Constraints: 41194
1256.36/1260.35 c #Conflicts: 940000 | #Constraints: 42194
1256.36/1260.35 c #Conflicts: 941000 | #Constraints: 43194
1256.36/1260.35 c INPROCESSING
1256.36/1260.35 c GARBAGE COLLECT
1256.36/1260.35 c #Conflicts: 942000 | #Constraints: 25002
1256.36/1260.35 c #Conflicts: 943000 | #Constraints: 26002
1256.36/1260.35 c #Conflicts: 944000 | #Constraints: 27002
1256.36/1260.35 c #Conflicts: 945000 | #Constraints: 28002
1256.36/1260.35 c #Conflicts: 946000 | #Constraints: 29002
1256.36/1260.35 c #Conflicts: 947000 | #Constraints: 30002
1256.36/1260.35 c #Conflicts: 948000 | #Constraints: 31002
1256.36/1260.35 c #Conflicts: 949000 | #Constraints: 32002
1256.36/1260.35 c #Conflicts: 950000 | #Constraints: 33002
1256.36/1260.35 c #Conflicts: 951000 | #Constraints: 34002
1256.36/1260.35 c #Conflicts: 952000 | #Constraints: 35002
1256.36/1260.35 c #Conflicts: 953000 | #Constraints: 36002
1256.36/1260.35 c #Conflicts: 954000 | #Constraints: 37002
1256.36/1260.35 c #Conflicts: 955000 | #Constraints: 38002
1256.36/1260.35 c #Conflicts: 956000 | #Constraints: 39002
1256.36/1260.35 c #Conflicts: 957000 | #Constraints: 40002
1256.36/1260.35 c #Conflicts: 958000 | #Constraints: 41002
1256.36/1260.35 c #Conflicts: 959000 | #Constraints: 42002
1256.36/1260.35 c #Conflicts: 960000 | #Constraints: 43002
1256.36/1260.35 c #Conflicts: 961000 | #Constraints: 44002
1256.36/1260.35 c INPROCESSING
1256.36/1260.35 c GARBAGE COLLECT
1256.36/1260.35 c #Conflicts: 962000 | #Constraints: 25597
1256.36/1260.35 c #Conflicts: 963000 | #Constraints: 26597
1256.36/1260.35 c #Conflicts: 964000 | #Constraints: 27597
1360.30/1364.66 c #Conflicts: 965000 | #Constraints: 28597
1360.30/1364.66 c #Conflicts: 966000 | #Constraints: 29597
1360.30/1364.66 c #Conflicts: 967000 | #Constraints: 30597
1360.30/1364.66 c #Conflicts: 968000 | #Constraints: 31597
1360.30/1364.66 c #Conflicts: 969000 | #Constraints: 32597
1360.30/1364.66 c #Conflicts: 970000 | #Constraints: 33597
1360.30/1364.66 c #Conflicts: 971000 | #Constraints: 34597
1360.30/1364.66 c #Conflicts: 972000 | #Constraints: 35597
1360.30/1364.66 c #Conflicts: 973000 | #Constraints: 36597
1360.30/1364.66 c #Conflicts: 974000 | #Constraints: 37597
1360.30/1364.66 c #Conflicts: 975000 | #Constraints: 38597
1360.30/1364.66 c #Conflicts: 976000 | #Constraints: 39597
1360.30/1364.66 c #Conflicts: 977000 | #Constraints: 40597
1360.30/1364.66 c #Conflicts: 978000 | #Constraints: 41597
1360.30/1364.66 c #Conflicts: 979000 | #Constraints: 42597
1360.30/1364.66 c #Conflicts: 980000 | #Constraints: 43597
1360.30/1364.66 c #Conflicts: 981000 | #Constraints: 44597
1360.30/1364.66 c INPROCESSING
1360.30/1364.66 c GARBAGE COLLECT
1360.30/1364.66 c #Conflicts: 982000 | #Constraints: 25997
1360.30/1364.66 c #Conflicts: 983000 | #Constraints: 26997
1360.30/1364.66 c #Conflicts: 984000 | #Constraints: 27997
1360.30/1364.66 c #Conflicts: 985000 | #Constraints: 28997
1360.30/1364.66 c #Conflicts: 986000 | #Constraints: 29997
1360.30/1364.66 c #Conflicts: 987000 | #Constraints: 30997
1360.30/1364.66 c #Conflicts: 988000 | #Constraints: 31997
1360.30/1364.66 c #Conflicts: 989000 | #Constraints: 32997
1360.30/1364.66 c #Conflicts: 990000 | #Constraints: 33997
1360.30/1364.66 c #Conflicts: 991000 | #Constraints: 34997
1360.30/1364.66 c #Conflicts: 992000 | #Constraints: 35997
1360.30/1364.66 c #Conflicts: 993000 | #Constraints: 36997
1360.30/1364.66 c #Conflicts: 994000 | #Constraints: 37997
1360.30/1364.66 c #Conflicts: 995000 | #Constraints: 38997
1360.30/1364.66 c #Conflicts: 996000 | #Constraints: 39997
1360.30/1364.66 c #Conflicts: 997000 | #Constraints: 40997
1360.30/1364.66 c #Conflicts: 998000 | #Constraints: 41997
1360.30/1364.66 c #Conflicts: 999000 | #Constraints: 42997
1360.30/1364.66 c #Conflicts: 1000000 | #Constraints: 43997
1360.30/1364.66 c #Conflicts: 1001000 | #Constraints: 44997
1360.30/1364.66 c INPROCESSING
1360.30/1364.66 c GARBAGE COLLECT
1360.30/1364.66 c #Conflicts: 1002000 | #Constraints: 26203
1360.30/1364.66 c #Conflicts: 1003000 | #Constraints: 27203
1360.30/1364.66 c #Conflicts: 1004000 | #Constraints: 28203
1360.30/1364.66 c #Conflicts: 1005000 | #Constraints: 29203
1360.30/1364.66 c #Conflicts: 1006000 | #Constraints: 30203
1360.30/1364.66 c #Conflicts: 1007000 | #Constraints: 31203
1360.30/1364.66 c #Conflicts: 1008000 | #Constraints: 32203
1360.30/1364.66 c #Conflicts: 1009000 | #Constraints: 33203
1360.30/1364.66 c #Conflicts: 1010000 | #Constraints: 34203
1360.30/1364.66 c #Conflicts: 1011000 | #Constraints: 35203
1360.30/1364.66 c #Conflicts: 1012000 | #Constraints: 36203
1360.30/1364.66 c #Conflicts: 1013000 | #Constraints: 37203
1360.30/1364.66 c #Conflicts: 1014000 | #Constraints: 38203
1360.30/1364.66 c #Conflicts: 1015000 | #Constraints: 39203
1360.30/1364.66 c #Conflicts: 1016000 | #Constraints: 40203
1360.30/1364.66 c #Conflicts: 1017000 | #Constraints: 41203
1360.30/1364.66 c #Conflicts: 1018000 | #Constraints: 42203
1360.30/1364.66 c #Conflicts: 1019000 | #Constraints: 43203
1360.30/1364.66 c #Conflicts: 1020000 | #Constraints: 44203
1360.30/1364.66 c #Conflicts: 1021000 | #Constraints: 45203
1360.30/1364.66 c INPROCESSING
1360.30/1364.66 c GARBAGE COLLECT
1360.30/1364.66 c #Conflicts: 1022000 | #Constraints: 26206
1360.30/1364.66 c #Conflicts: 1023000 | #Constraints: 27206
1360.30/1364.66 c #Conflicts: 1024000 | #Constraints: 28206
1360.30/1364.66 c #Conflicts: 1025000 | #Constraints: 29206
1360.30/1364.66 c #Conflicts: 1026000 | #Constraints: 30206
1360.30/1364.66 c #Conflicts: 1027000 | #Constraints: 31206
1360.30/1364.66 c #Conflicts: 1028000 | #Constraints: 32206
1360.30/1364.66 c #Conflicts: 1029000 | #Constraints: 33206
1360.30/1364.66 c #Conflicts: 1030000 | #Constraints: 34206
1360.30/1364.66 c #Conflicts: 1031000 | #Constraints: 35206
1360.30/1364.66 c #Conflicts: 1032000 | #Constraints: 36206
1360.30/1364.66 c #Conflicts: 1033000 | #Constraints: 37206
1360.30/1364.66 c #Conflicts: 1034000 | #Constraints: 38206
1360.30/1364.66 c #Conflicts: 1035000 | #Constraints: 39206
1360.30/1364.66 c #Conflicts: 1036000 | #Constraints: 40206
1360.30/1364.66 c #Conflicts: 1037000 | #Constraints: 41206
1360.30/1364.66 c #Conflicts: 1038000 | #Constraints: 42206
1360.30/1364.66 c #Conflicts: 1039000 | #Constraints: 43206
1360.30/1364.66 c #Conflicts: 1040000 | #Constraints: 44206
1360.30/1364.66 c #Conflicts: 1041000 | #Constraints: 45206
1475.64/1480.33 c INPROCESSING
1475.64/1480.33 c GARBAGE COLLECT
1475.64/1480.33 c #Conflicts: 1042000 | #Constraints: 26006
1475.64/1480.33 c #Conflicts: 1043000 | #Constraints: 27006
1475.64/1480.33 c #Conflicts: 1044000 | #Constraints: 28006
1475.64/1480.33 c #Conflicts: 1045000 | #Constraints: 29006
1475.64/1480.33 c #Conflicts: 1046000 | #Constraints: 30006
1475.64/1480.33 c #Conflicts: 1047000 | #Constraints: 31006
1475.64/1480.33 c #Conflicts: 1048000 | #Constraints: 32006
1475.64/1480.33 c #Conflicts: 1049000 | #Constraints: 33006
1475.64/1480.33 c #Conflicts: 1050000 | #Constraints: 34006
1475.64/1480.33 c #Conflicts: 1051000 | #Constraints: 35006
1475.64/1480.33 c #Conflicts: 1052000 | #Constraints: 36006
1475.64/1480.33 c #Conflicts: 1053000 | #Constraints: 37006
1475.64/1480.33 c #Conflicts: 1054000 | #Constraints: 38006
1475.64/1480.33 c #Conflicts: 1055000 | #Constraints: 39006
1475.64/1480.33 c #Conflicts: 1056000 | #Constraints: 40006
1475.64/1480.33 c #Conflicts: 1057000 | #Constraints: 41006
1475.64/1480.33 c #Conflicts: 1058000 | #Constraints: 42006
1475.64/1480.33 c #Conflicts: 1059000 | #Constraints: 43006
1475.64/1480.33 c #Conflicts: 1060000 | #Constraints: 44006
1475.64/1480.33 c #Conflicts: 1061000 | #Constraints: 45006
1475.64/1480.33 c #Conflicts: 1062000 | #Constraints: 46006
1475.64/1480.33 c INPROCESSING
1475.64/1480.33 c GARBAGE COLLECT
1475.64/1480.33 c #Conflicts: 1063000 | #Constraints: 26605
1475.64/1480.33 c #Conflicts: 1064000 | #Constraints: 27605
1475.64/1480.33 c #Conflicts: 1065000 | #Constraints: 28605
1475.64/1480.33 c #Conflicts: 1066000 | #Constraints: 29605
1475.64/1480.33 c #Conflicts: 1067000 | #Constraints: 30605
1475.64/1480.33 c #Conflicts: 1068000 | #Constraints: 31605
1475.64/1480.33 c #Conflicts: 1069000 | #Constraints: 32605
1475.64/1480.33 c #Conflicts: 1070000 | #Constraints: 33605
1475.64/1480.33 c #Conflicts: 1071000 | #Constraints: 34605
1475.64/1480.33 c #Conflicts: 1072000 | #Constraints: 35605
1475.64/1480.33 c #Conflicts: 1073000 | #Constraints: 36605
1475.64/1480.33 c #Conflicts: 1074000 | #Constraints: 37605
1475.64/1480.33 c #Conflicts: 1075000 | #Constraints: 38605
1475.64/1480.33 c #Conflicts: 1076000 | #Constraints: 39605
1475.64/1480.33 c #Conflicts: 1077000 | #Constraints: 40605
1475.64/1480.33 c #Conflicts: 1078000 | #Constraints: 41605
1475.64/1480.33 c #Conflicts: 1079000 | #Constraints: 42605
1475.64/1480.33 c #Conflicts: 1080000 | #Constraints: 43605
1475.64/1480.33 c #Conflicts: 1081000 | #Constraints: 44605
1475.64/1480.33 c #Conflicts: 1082000 | #Constraints: 45605
1475.64/1480.33 c #Conflicts: 1083000 | #Constraints: 46605
1475.64/1480.33 c INPROCESSING
1475.64/1480.33 c GARBAGE COLLECT
1475.64/1480.33 c #Conflicts: 1084000 | #Constraints: 27003
1475.64/1480.33 c #Conflicts: 1085000 | #Constraints: 28003
1475.64/1480.33 c #Conflicts: 1086000 | #Constraints: 29003
1475.64/1480.33 c #Conflicts: 1087000 | #Constraints: 30003
1475.64/1480.33 c #Conflicts: 1088000 | #Constraints: 31003
1475.64/1480.33 c #Conflicts: 1089000 | #Constraints: 32003
1475.64/1480.33 c #Conflicts: 1090000 | #Constraints: 33003
1475.64/1480.33 c #Conflicts: 1091000 | #Constraints: 34003
1475.64/1480.33 c #Conflicts: 1092000 | #Constraints: 35003
1475.64/1480.33 c #Conflicts: 1093000 | #Constraints: 36003
1475.64/1480.33 c #Conflicts: 1094000 | #Constraints: 37003
1475.64/1480.33 c #Conflicts: 1095000 | #Constraints: 38003
1475.64/1480.33 c #Conflicts: 1096000 | #Constraints: 39003
1475.64/1480.33 c #Conflicts: 1097000 | #Constraints: 40003
1475.64/1480.33 c #Conflicts: 1098000 | #Constraints: 41003
1475.64/1480.33 c #Conflicts: 1099000 | #Constraints: 42003
1475.64/1480.33 c #Conflicts: 1100000 | #Constraints: 43003
1475.64/1480.33 c #Conflicts: 1101000 | #Constraints: 44003
1475.64/1480.33 c #Conflicts: 1102000 | #Constraints: 45003
1475.64/1480.33 c #Conflicts: 1103000 | #Constraints: 46003
1475.64/1480.33 c #Conflicts: 1104000 | #Constraints: 47003
1475.64/1480.33 c INPROCESSING
1475.64/1480.33 c GARBAGE COLLECT
1475.64/1480.33 c #Conflicts: 1105000 | #Constraints: 27202
1475.64/1480.33 c #Conflicts: 1106000 | #Constraints: 28202
1475.64/1480.33 c #Conflicts: 1107000 | #Constraints: 29202
1475.64/1480.33 c #Conflicts: 1108000 | #Constraints: 30202
1475.64/1480.33 c #Conflicts: 1109000 | #Constraints: 31202
1475.64/1480.33 c #Conflicts: 1110000 | #Constraints: 32202
1475.64/1480.33 c #Conflicts: 1111000 | #Constraints: 33202
1475.64/1480.33 c #Conflicts: 1112000 | #Constraints: 34202
1475.64/1480.33 c #Conflicts: 1113000 | #Constraints: 35202
1475.64/1480.33 c #Conflicts: 1114000 | #Constraints: 36202
1475.64/1480.33 c #Conflicts: 1115000 | #Constraints: 37202
1475.64/1480.33 c #Conflicts: 1116000 | #Constraints: 38202
1475.64/1480.33 c #Conflicts: 1117000 | #Constraints: 39202
1601.59/1606.69 c #Conflicts: 1118000 | #Constraints: 40202
1601.59/1606.69 c #Conflicts: 1119000 | #Constraints: 41202
1601.59/1606.69 c #Conflicts: 1120000 | #Constraints: 42202
1601.59/1606.69 c #Conflicts: 1121000 | #Constraints: 43202
1601.59/1606.69 c #Conflicts: 1122000 | #Constraints: 44202
1601.59/1606.69 c #Conflicts: 1123000 | #Constraints: 45202
1601.59/1606.69 c #Conflicts: 1124000 | #Constraints: 46202
1601.59/1606.69 c #Conflicts: 1125000 | #Constraints: 47202
1601.59/1606.69 c INPROCESSING
1601.59/1606.69 c GARBAGE COLLECT
1601.59/1606.69 c #Conflicts: 1126000 | #Constraints: 27202
1601.59/1606.69 c #Conflicts: 1127000 | #Constraints: 28202
1601.59/1606.69 c #Conflicts: 1128000 | #Constraints: 29202
1601.59/1606.69 c #Conflicts: 1129000 | #Constraints: 30202
1601.59/1606.69 c #Conflicts: 1130000 | #Constraints: 31202
1601.59/1606.69 c #Conflicts: 1131000 | #Constraints: 32202
1601.59/1606.69 c #Conflicts: 1132000 | #Constraints: 33202
1601.59/1606.69 c #Conflicts: 1133000 | #Constraints: 34202
1601.59/1606.69 c #Conflicts: 1134000 | #Constraints: 35202
1601.59/1606.69 c #Conflicts: 1135000 | #Constraints: 36202
1601.59/1606.69 c #Conflicts: 1136000 | #Constraints: 37202
1601.59/1606.69 c #Conflicts: 1137000 | #Constraints: 38202
1601.59/1606.69 c #Conflicts: 1138000 | #Constraints: 39202
1601.59/1606.69 c #Conflicts: 1139000 | #Constraints: 40202
1601.59/1606.69 c #Conflicts: 1140000 | #Constraints: 41202
1601.59/1606.69 c #Conflicts: 1141000 | #Constraints: 42202
1601.59/1606.69 c #Conflicts: 1142000 | #Constraints: 43202
1601.59/1606.69 c #Conflicts: 1143000 | #Constraints: 44202
1601.59/1606.69 c #Conflicts: 1144000 | #Constraints: 45202
1601.59/1606.69 c #Conflicts: 1145000 | #Constraints: 46202
1601.59/1606.69 c #Conflicts: 1146000 | #Constraints: 47202
1601.59/1606.69 c INPROCESSING
1601.59/1606.69 c GARBAGE COLLECT
1601.59/1606.69 c #Conflicts: 1147000 | #Constraints: 26995
1601.59/1606.69 c #Conflicts: 1148000 | #Constraints: 27995
1601.59/1606.69 c #Conflicts: 1149000 | #Constraints: 28995
1601.59/1606.69 c #Conflicts: 1150000 | #Constraints: 29995
1601.59/1606.69 c #Conflicts: 1151000 | #Constraints: 30995
1601.59/1606.69 c #Conflicts: 1152000 | #Constraints: 31995
1601.59/1606.69 c #Conflicts: 1153000 | #Constraints: 32995
1601.59/1606.69 c #Conflicts: 1154000 | #Constraints: 33995
1601.59/1606.69 c #Conflicts: 1155000 | #Constraints: 34995
1601.59/1606.69 c #Conflicts: 1156000 | #Constraints: 35995
1601.59/1606.69 c #Conflicts: 1157000 | #Constraints: 36995
1601.59/1606.69 c #Conflicts: 1158000 | #Constraints: 37995
1601.59/1606.69 c #Conflicts: 1159000 | #Constraints: 38995
1601.59/1606.69 c #Conflicts: 1160000 | #Constraints: 39995
1601.59/1606.69 c #Conflicts: 1161000 | #Constraints: 40995
1601.59/1606.69 c #Conflicts: 1162000 | #Constraints: 41995
1601.59/1606.69 c #Conflicts: 1163000 | #Constraints: 42995
1601.59/1606.69 c #Conflicts: 1164000 | #Constraints: 43995
1601.59/1606.69 c #Conflicts: 1165000 | #Constraints: 44995
1601.59/1606.69 c #Conflicts: 1166000 | #Constraints: 45995
1601.59/1606.69 c #Conflicts: 1167000 | #Constraints: 46995
1601.59/1606.69 c #Conflicts: 1168000 | #Constraints: 47995
1601.59/1606.69 c INPROCESSING
1601.59/1606.69 c GARBAGE COLLECT
1601.59/1606.69 c #Conflicts: 1169000 | #Constraints: 27593
1601.59/1606.69 c #Conflicts: 1170000 | #Constraints: 28593
1601.59/1606.69 c #Conflicts: 1171000 | #Constraints: 29593
1601.59/1606.69 c #Conflicts: 1172000 | #Constraints: 30593
1601.59/1606.69 c #Conflicts: 1173000 | #Constraints: 31593
1601.59/1606.69 c #Conflicts: 1174000 | #Constraints: 32593
1601.59/1606.69 c #Conflicts: 1175000 | #Constraints: 33593
1601.59/1606.69 c #Conflicts: 1176000 | #Constraints: 34593
1601.59/1606.69 c #Conflicts: 1177000 | #Constraints: 35593
1601.59/1606.69 c #Conflicts: 1178000 | #Constraints: 36593
1601.59/1606.69 c #Conflicts: 1179000 | #Constraints: 37593
1601.59/1606.69 c #Conflicts: 1180000 | #Constraints: 38593
1601.59/1606.69 c #Conflicts: 1181000 | #Constraints: 39593
1601.59/1606.69 c #Conflicts: 1182000 | #Constraints: 40593
1601.59/1606.69 c #Conflicts: 1183000 | #Constraints: 41593
1601.59/1606.69 c #Conflicts: 1184000 | #Constraints: 42593
1601.59/1606.69 c #Conflicts: 1185000 | #Constraints: 43593
1601.59/1606.69 c #Conflicts: 1186000 | #Constraints: 44593
1601.59/1606.69 c #Conflicts: 1187000 | #Constraints: 45593
1601.59/1606.69 c #Conflicts: 1188000 | #Constraints: 46593
1601.59/1606.69 c #Conflicts: 1189000 | #Constraints: 47593
1601.59/1606.69 c #Conflicts: 1190000 | #Constraints: 48593
1601.59/1606.69 c INPROCESSING
1601.59/1606.69 c GARBAGE COLLECT
1601.59/1606.69 c #Conflicts: 1191000 | #Constraints: 27996
1601.59/1606.69 c #Conflicts: 1192000 | #Constraints: 28996
1601.59/1606.69 c #Conflicts: 1193000 | #Constraints: 29996
1712.34/1717.69 c #Conflicts: 1194000 | #Constraints: 30996
1712.34/1717.69 c #Conflicts: 1195000 | #Constraints: 31996
1712.34/1717.69 c #Conflicts: 1196000 | #Constraints: 32996
1712.34/1717.69 c #Conflicts: 1197000 | #Constraints: 33996
1712.34/1717.69 c #Conflicts: 1198000 | #Constraints: 34996
1712.34/1717.69 c #Conflicts: 1199000 | #Constraints: 35996
1712.34/1717.69 c #Conflicts: 1200000 | #Constraints: 36996
1712.34/1717.69 c #Conflicts: 1201000 | #Constraints: 37996
1712.34/1717.69 c #Conflicts: 1202000 | #Constraints: 38996
1712.34/1717.69 c #Conflicts: 1203000 | #Constraints: 39996
1712.34/1717.69 c #Conflicts: 1204000 | #Constraints: 40996
1712.34/1717.69 c #Conflicts: 1205000 | #Constraints: 41996
1712.34/1717.69 c #Conflicts: 1206000 | #Constraints: 42996
1712.34/1717.69 c #Conflicts: 1207000 | #Constraints: 43996
1712.34/1717.69 c #Conflicts: 1208000 | #Constraints: 44996
1712.34/1717.69 c #Conflicts: 1209000 | #Constraints: 45996
1712.34/1717.69 c #Conflicts: 1210000 | #Constraints: 46996
1712.34/1717.69 c #Conflicts: 1211000 | #Constraints: 47996
1712.34/1717.69 c #Conflicts: 1212000 | #Constraints: 48996
1712.34/1717.69 c INPROCESSING
1712.34/1717.69 c GARBAGE COLLECT
1712.34/1717.69 c #Conflicts: 1213000 | #Constraints: 28198
1712.34/1717.69 c #Conflicts: 1214000 | #Constraints: 29198
1712.34/1717.69 c #Conflicts: 1215000 | #Constraints: 30198
1712.34/1717.69 c #Conflicts: 1216000 | #Constraints: 31198
1712.34/1717.69 c #Conflicts: 1217000 | #Constraints: 32198
1712.34/1717.69 c #Conflicts: 1218000 | #Constraints: 33198
1712.34/1717.69 c #Conflicts: 1219000 | #Constraints: 34198
1712.34/1717.69 c #Conflicts: 1220000 | #Constraints: 35198
1712.34/1717.69 c #Conflicts: 1221000 | #Constraints: 36198
1712.34/1717.69 c #Conflicts: 1222000 | #Constraints: 37198
1712.34/1717.69 c #Conflicts: 1223000 | #Constraints: 38198
1712.34/1717.69 c #Conflicts: 1224000 | #Constraints: 39198
1712.34/1717.69 c #Conflicts: 1225000 | #Constraints: 40198
1712.34/1717.69 c #Conflicts: 1226000 | #Constraints: 41198
1712.34/1717.69 c #Conflicts: 1227000 | #Constraints: 42198
1712.34/1717.69 c #Conflicts: 1228000 | #Constraints: 43198
1712.34/1717.69 c #Conflicts: 1229000 | #Constraints: 44198
1712.34/1717.69 c #Conflicts: 1230000 | #Constraints: 45198
1712.34/1717.69 c #Conflicts: 1231000 | #Constraints: 46198
1712.34/1717.69 c #Conflicts: 1232000 | #Constraints: 47198
1712.34/1717.69 c #Conflicts: 1233000 | #Constraints: 48198
1712.34/1717.69 c #Conflicts: 1234000 | #Constraints: 49198
1712.34/1717.69 c INPROCESSING
1712.34/1717.69 c GARBAGE COLLECT
1712.34/1717.69 c #Conflicts: 1235000 | #Constraints: 28196
1712.34/1717.69 c #Conflicts: 1236000 | #Constraints: 29196
1712.34/1717.69 c #Conflicts: 1237000 | #Constraints: 30196
1712.34/1717.69 c #Conflicts: 1238000 | #Constraints: 31196
1712.34/1717.69 c #Conflicts: 1239000 | #Constraints: 32196
1712.34/1717.69 c #Conflicts: 1240000 | #Constraints: 33196
1712.34/1717.69 c #Conflicts: 1241000 | #Constraints: 34196
1712.34/1717.69 c #Conflicts: 1242000 | #Constraints: 35196
1712.34/1717.69 c #Conflicts: 1243000 | #Constraints: 36196
1712.34/1717.69 c #Conflicts: 1244000 | #Constraints: 37196
1712.34/1717.69 c #Conflicts: 1245000 | #Constraints: 38196
1712.34/1717.69 c #Conflicts: 1246000 | #Constraints: 39196
1712.34/1717.69 c #Conflicts: 1247000 | #Constraints: 40196
1712.34/1717.69 c #Conflicts: 1248000 | #Constraints: 41196
1712.34/1717.69 c #Conflicts: 1249000 | #Constraints: 42196
1712.34/1717.69 c #Conflicts: 1250000 | #Constraints: 43196
1712.34/1717.69 c #Conflicts: 1251000 | #Constraints: 44196
1712.34/1717.69 c #Conflicts: 1252000 | #Constraints: 45196
1712.34/1717.69 c #Conflicts: 1253000 | #Constraints: 46196
1712.34/1717.69 c #Conflicts: 1254000 | #Constraints: 47196
1712.34/1717.69 c #Conflicts: 1255000 | #Constraints: 48196
1712.34/1717.69 c #Conflicts: 1256000 | #Constraints: 49196
1712.34/1717.69 c INPROCESSING
1712.34/1717.69 c GARBAGE COLLECT
1712.34/1717.69 c #Conflicts: 1257000 | #Constraints: 27993
1712.34/1717.69 c #Conflicts: 1258000 | #Constraints: 28993
1712.34/1717.69 c #Conflicts: 1259000 | #Constraints: 29993
1712.34/1717.69 c #Conflicts: 1260000 | #Constraints: 30993
1712.34/1717.69 c #Conflicts: 1261000 | #Constraints: 31993
1712.34/1717.69 c #Conflicts: 1262000 | #Constraints: 32993
1712.34/1717.69 c #Conflicts: 1263000 | #Constraints: 33993
1712.34/1717.69 c #Conflicts: 1264000 | #Constraints: 34993
1712.34/1717.69 c #Conflicts: 1265000 | #Constraints: 35993
1712.34/1717.69 c #Conflicts: 1266000 | #Constraints: 36993
1712.34/1717.69 c #Conflicts: 1267000 | #Constraints: 37993
1712.34/1717.69 c #Conflicts: 1268000 | #Constraints: 38993
1712.34/1717.69 c #Conflicts: 1269000 | #Constraints: 39993
1712.34/1717.69 c #Conflicts: 1270000 | #Constraints: 40993
1821.50/1827.09 c #Conflicts: 1271000 | #Constraints: 41993
1821.50/1827.09 c #Conflicts: 1272000 | #Constraints: 42993
1821.50/1827.09 c #Conflicts: 1273000 | #Constraints: 43993
1821.50/1827.09 c #Conflicts: 1274000 | #Constraints: 44993
1821.50/1827.09 c #Conflicts: 1275000 | #Constraints: 45993
1821.50/1827.09 c #Conflicts: 1276000 | #Constraints: 46993
1821.50/1827.09 c #Conflicts: 1277000 | #Constraints: 47993
1821.50/1827.09 c #Conflicts: 1278000 | #Constraints: 48993
1821.50/1827.09 c #Conflicts: 1279000 | #Constraints: 49993
1821.50/1827.09 c INPROCESSING
1821.50/1827.09 c GARBAGE COLLECT
1821.50/1827.09 c #Conflicts: 1280000 | #Constraints: 28592
1821.50/1827.09 c #Conflicts: 1281000 | #Constraints: 29592
1821.50/1827.09 c #Conflicts: 1282000 | #Constraints: 30592
1821.50/1827.09 c #Conflicts: 1283000 | #Constraints: 31592
1821.50/1827.09 c #Conflicts: 1284000 | #Constraints: 32592
1821.50/1827.09 c #Conflicts: 1285000 | #Constraints: 33592
1821.50/1827.09 c #Conflicts: 1286000 | #Constraints: 34592
1821.50/1827.09 c #Conflicts: 1287000 | #Constraints: 35592
1821.50/1827.09 c #Conflicts: 1288000 | #Constraints: 36592
1821.50/1827.09 c #Conflicts: 1289000 | #Constraints: 37592
1821.50/1827.09 c #Conflicts: 1290000 | #Constraints: 38592
1821.50/1827.09 c #Conflicts: 1291000 | #Constraints: 39592
1821.50/1827.09 c #Conflicts: 1292000 | #Constraints: 40592
1821.50/1827.09 c #Conflicts: 1293000 | #Constraints: 41592
1821.50/1827.09 c #Conflicts: 1294000 | #Constraints: 42592
1821.50/1827.09 c #Conflicts: 1295000 | #Constraints: 43592
1821.50/1827.09 c #Conflicts: 1296000 | #Constraints: 44592
1821.50/1827.09 c #Conflicts: 1297000 | #Constraints: 45592
1821.50/1827.09 c #Conflicts: 1298000 | #Constraints: 46592
1821.50/1827.09 c #Conflicts: 1299000 | #Constraints: 47592
1821.50/1827.09 c #Conflicts: 1300000 | #Constraints: 48592
1821.50/1827.09 c #Conflicts: 1301000 | #Constraints: 49592
1821.50/1827.09 c #Conflicts: 1302000 | #Constraints: 50592
1821.50/1827.09 c INPROCESSING
1821.50/1827.09 c GARBAGE COLLECT
1821.50/1827.09 c #Conflicts: 1303000 | #Constraints: 28992
1821.50/1827.09 c #Conflicts: 1304000 | #Constraints: 29992
1821.50/1827.09 c #Conflicts: 1305000 | #Constraints: 30992
1821.50/1827.09 c #Conflicts: 1306000 | #Constraints: 31992
1821.50/1827.09 c #Conflicts: 1307000 | #Constraints: 32992
1821.50/1827.09 c #Conflicts: 1308000 | #Constraints: 33992
1821.50/1827.09 c #Conflicts: 1309000 | #Constraints: 34992
1821.50/1827.09 c #Conflicts: 1310000 | #Constraints: 35992
1821.50/1827.09 c #Conflicts: 1311000 | #Constraints: 36992
1821.50/1827.09 c #Conflicts: 1312000 | #Constraints: 37992
1821.50/1827.09 c #Conflicts: 1313000 | #Constraints: 38992
1821.50/1827.09 c #Conflicts: 1314000 | #Constraints: 39992
1821.50/1827.09 c #Conflicts: 1315000 | #Constraints: 40992
1821.50/1827.09 c #Conflicts: 1316000 | #Constraints: 41992
1821.50/1827.09 c #Conflicts: 1317000 | #Constraints: 42992
1821.50/1827.09 c #Conflicts: 1318000 | #Constraints: 43992
1821.50/1827.09 c #Conflicts: 1319000 | #Constraints: 44992
1821.50/1827.09 c #Conflicts: 1320000 | #Constraints: 45992
1821.50/1827.09 c #Conflicts: 1321000 | #Constraints: 46992
1821.50/1827.09 c #Conflicts: 1322000 | #Constraints: 47992
1821.50/1827.09 c #Conflicts: 1323000 | #Constraints: 48992
1821.50/1827.09 c #Conflicts: 1324000 | #Constraints: 49992
1821.50/1827.09 c #Conflicts: 1325000 | #Constraints: 50992
1821.50/1827.09 c INPROCESSING
1821.50/1827.09 c GARBAGE COLLECT
1821.50/1827.09 c #Conflicts: 1326000 | #Constraints: 29195
1821.50/1827.09 c #Conflicts: 1327000 | #Constraints: 30195
1821.50/1827.09 c #Conflicts: 1328000 | #Constraints: 31195
1821.50/1827.09 c #Conflicts: 1329000 | #Constraints: 32195
1821.50/1827.09 c #Conflicts: 1330000 | #Constraints: 33195
1821.50/1827.09 c #Conflicts: 1331000 | #Constraints: 34195
1821.50/1827.09 c #Conflicts: 1332000 | #Constraints: 35195
1821.50/1827.09 c #Conflicts: 1333000 | #Constraints: 36195
1821.50/1827.09 c #Conflicts: 1334000 | #Constraints: 37195
1821.50/1827.09 c #Conflicts: 1335000 | #Constraints: 38195
1821.50/1827.09 c #Conflicts: 1336000 | #Constraints: 39195
1821.50/1827.09 c #Conflicts: 1337000 | #Constraints: 40195
1821.50/1827.09 c #Conflicts: 1338000 | #Constraints: 41195
1821.50/1827.09 c #Conflicts: 1339000 | #Constraints: 42195
1821.50/1827.09 c #Conflicts: 1340000 | #Constraints: 43195
1821.50/1827.09 c #Conflicts: 1341000 | #Constraints: 44195
1821.50/1827.09 c #Conflicts: 1342000 | #Constraints: 45195
1821.50/1827.09 c #Conflicts: 1343000 | #Constraints: 46195
1821.50/1827.09 c #Conflicts: 1344000 | #Constraints: 47195
1821.50/1827.09 c #Conflicts: 1345000 | #Constraints: 48195
1821.50/1827.09 c #Conflicts: 1346000 | #Constraints: 49195
1821.50/1827.09 c #Conflicts: 1347000 | #Constraints: 50195
1940.62/1946.46 c #Conflicts: 1348000 | #Constraints: 51195
1940.62/1946.46 c INPROCESSING
1940.62/1946.46 c GARBAGE COLLECT
1940.62/1946.46 c #Conflicts: 1349000 | #Constraints: 29197
1940.62/1946.46 c #Conflicts: 1350000 | #Constraints: 30197
1940.62/1946.46 c #Conflicts: 1351000 | #Constraints: 31197
1940.62/1946.46 c #Conflicts: 1352000 | #Constraints: 32197
1940.62/1946.46 c #Conflicts: 1353000 | #Constraints: 33197
1940.62/1946.46 c #Conflicts: 1354000 | #Constraints: 34197
1940.62/1946.46 c #Conflicts: 1355000 | #Constraints: 35197
1940.62/1946.46 c #Conflicts: 1356000 | #Constraints: 36197
1940.62/1946.46 c #Conflicts: 1357000 | #Constraints: 37197
1940.62/1946.46 c #Conflicts: 1358000 | #Constraints: 38197
1940.62/1946.46 c #Conflicts: 1359000 | #Constraints: 39197
1940.62/1946.46 c #Conflicts: 1360000 | #Constraints: 40197
1940.62/1946.46 c #Conflicts: 1361000 | #Constraints: 41197
1940.62/1946.46 c #Conflicts: 1362000 | #Constraints: 42197
1940.62/1946.46 c #Conflicts: 1363000 | #Constraints: 43197
1940.62/1946.46 c #Conflicts: 1364000 | #Constraints: 44197
1940.62/1946.46 c #Conflicts: 1365000 | #Constraints: 45197
1940.62/1946.46 c #Conflicts: 1366000 | #Constraints: 46197
1940.62/1946.46 c #Conflicts: 1367000 | #Constraints: 47197
1940.62/1946.46 c #Conflicts: 1368000 | #Constraints: 48197
1940.62/1946.46 c #Conflicts: 1369000 | #Constraints: 49197
1940.62/1946.46 c #Conflicts: 1370000 | #Constraints: 50197
1940.62/1946.46 c #Conflicts: 1371000 | #Constraints: 51197
1940.62/1946.46 c INPROCESSING
1940.62/1946.46 c GARBAGE COLLECT
1940.62/1946.46 c #Conflicts: 1372000 | #Constraints: 28998
1940.62/1946.46 c #Conflicts: 1373000 | #Constraints: 29998
1940.62/1946.46 c #Conflicts: 1374000 | #Constraints: 30998
1940.62/1946.46 c #Conflicts: 1375000 | #Constraints: 31998
1940.62/1946.46 c #Conflicts: 1376000 | #Constraints: 32998
1940.62/1946.46 c #Conflicts: 1377000 | #Constraints: 33998
1940.62/1946.46 c #Conflicts: 1378000 | #Constraints: 34998
1940.62/1946.46 c #Conflicts: 1379000 | #Constraints: 35998
1940.62/1946.46 c #Conflicts: 1380000 | #Constraints: 36998
1940.62/1946.46 c #Conflicts: 1381000 | #Constraints: 37998
1940.62/1946.46 c #Conflicts: 1382000 | #Constraints: 38998
1940.62/1946.46 c #Conflicts: 1383000 | #Constraints: 39998
1940.62/1946.46 c #Conflicts: 1384000 | #Constraints: 40998
1940.62/1946.46 c #Conflicts: 1385000 | #Constraints: 41998
1940.62/1946.46 c #Conflicts: 1386000 | #Constraints: 42998
1940.62/1946.46 c #Conflicts: 1387000 | #Constraints: 43998
1940.62/1946.46 c #Conflicts: 1388000 | #Constraints: 44998
1940.62/1946.46 c #Conflicts: 1389000 | #Constraints: 45998
1940.62/1946.46 c #Conflicts: 1390000 | #Constraints: 46998
1940.62/1946.46 c #Conflicts: 1391000 | #Constraints: 47998
1940.62/1946.46 c #Conflicts: 1392000 | #Constraints: 48998
1940.62/1946.46 c #Conflicts: 1393000 | #Constraints: 49998
1940.62/1946.46 c #Conflicts: 1394000 | #Constraints: 50998
1940.62/1946.46 c #Conflicts: 1395000 | #Constraints: 51998
1940.62/1946.46 c INPROCESSING
1940.62/1946.46 c GARBAGE COLLECT
1940.62/1946.46 c #Conflicts: 1396000 | #Constraints: 29597
1940.62/1946.46 c #Conflicts: 1397000 | #Constraints: 30597
1940.62/1946.46 c #Conflicts: 1398000 | #Constraints: 31597
1940.62/1946.46 c #Conflicts: 1399000 | #Constraints: 32597
1940.62/1946.46 c #Conflicts: 1400000 | #Constraints: 33597
1940.62/1946.46 c #Conflicts: 1401000 | #Constraints: 34597
1940.62/1946.46 c #Conflicts: 1402000 | #Constraints: 35597
1940.62/1946.46 c #Conflicts: 1403000 | #Constraints: 36597
1940.62/1946.46 c #Conflicts: 1404000 | #Constraints: 37597
1940.62/1946.46 c #Conflicts: 1405000 | #Constraints: 38597
1940.62/1946.46 c #Conflicts: 1406000 | #Constraints: 39597
1940.62/1946.46 c #Conflicts: 1407000 | #Constraints: 40597
1940.62/1946.46 c #Conflicts: 1408000 | #Constraints: 41597
1940.62/1946.46 c #Conflicts: 1409000 | #Constraints: 42597
1940.62/1946.46 c #Conflicts: 1410000 | #Constraints: 43597
1940.62/1946.46 c #Conflicts: 1411000 | #Constraints: 44597
1940.62/1946.46 c #Conflicts: 1412000 | #Constraints: 45597
1940.62/1946.46 c #Conflicts: 1413000 | #Constraints: 46597
1940.62/1946.46 c #Conflicts: 1414000 | #Constraints: 47597
1940.62/1946.46 c #Conflicts: 1415000 | #Constraints: 48597
1940.62/1946.46 c #Conflicts: 1416000 | #Constraints: 49597
1940.62/1946.46 c #Conflicts: 1417000 | #Constraints: 50597
1940.62/1946.46 c #Conflicts: 1418000 | #Constraints: 51597
1940.62/1946.46 c #Conflicts: 1419000 | #Constraints: 52597
1940.62/1946.46 c INPROCESSING
1940.62/1946.46 c GARBAGE COLLECT
1940.62/1946.46 c #Conflicts: 1420000 | #Constraints: 29996
1940.62/1946.46 c #Conflicts: 1421000 | #Constraints: 30996
1940.62/1946.46 c #Conflicts: 1422000 | #Constraints: 31996
1940.62/1946.46 c #Conflicts: 1423000 | #Constraints: 32996
2068.95/2075.10 c #Conflicts: 1424000 | #Constraints: 33996
2068.95/2075.10 c #Conflicts: 1425000 | #Constraints: 34996
2068.95/2075.10 c #Conflicts: 1426000 | #Constraints: 35996
2068.95/2075.10 c #Conflicts: 1427000 | #Constraints: 36996
2068.95/2075.10 c #Conflicts: 1428000 | #Constraints: 37996
2068.95/2075.10 c #Conflicts: 1429000 | #Constraints: 38996
2068.95/2075.10 c #Conflicts: 1430000 | #Constraints: 39996
2068.95/2075.10 c #Conflicts: 1431000 | #Constraints: 40996
2068.95/2075.10 c #Conflicts: 1432000 | #Constraints: 41996
2068.95/2075.10 c #Conflicts: 1433000 | #Constraints: 42996
2068.95/2075.10 c #Conflicts: 1434000 | #Constraints: 43996
2068.95/2075.10 c #Conflicts: 1435000 | #Constraints: 44996
2068.95/2075.10 c #Conflicts: 1436000 | #Constraints: 45996
2068.95/2075.10 c #Conflicts: 1437000 | #Constraints: 46996
2068.95/2075.10 c #Conflicts: 1438000 | #Constraints: 47996
2068.95/2075.10 c #Conflicts: 1439000 | #Constraints: 48996
2068.95/2075.10 c #Conflicts: 1440000 | #Constraints: 49996
2068.95/2075.10 c #Conflicts: 1441000 | #Constraints: 50996
2068.95/2075.10 c #Conflicts: 1442000 | #Constraints: 51996
2068.95/2075.10 c #Conflicts: 1443000 | #Constraints: 52996
2068.95/2075.10 c INPROCESSING
2068.95/2075.10 c GARBAGE COLLECT
2068.95/2075.10 c #Conflicts: 1444000 | #Constraints: 30194
2068.95/2075.10 c #Conflicts: 1445000 | #Constraints: 31194
2068.95/2075.10 c #Conflicts: 1446000 | #Constraints: 32194
2068.95/2075.10 c #Conflicts: 1447000 | #Constraints: 33194
2068.95/2075.10 c #Conflicts: 1448000 | #Constraints: 34194
2068.95/2075.10 c #Conflicts: 1449000 | #Constraints: 35194
2068.95/2075.10 c #Conflicts: 1450000 | #Constraints: 36194
2068.95/2075.10 c #Conflicts: 1451000 | #Constraints: 37194
2068.95/2075.10 c #Conflicts: 1452000 | #Constraints: 38194
2068.95/2075.10 c #Conflicts: 1453000 | #Constraints: 39194
2068.95/2075.10 c #Conflicts: 1454000 | #Constraints: 40194
2068.95/2075.10 c #Conflicts: 1455000 | #Constraints: 41194
2068.95/2075.10 c #Conflicts: 1456000 | #Constraints: 42194
2068.95/2075.10 c #Conflicts: 1457000 | #Constraints: 43194
2068.95/2075.10 c #Conflicts: 1458000 | #Constraints: 44194
2068.95/2075.10 c #Conflicts: 1459000 | #Constraints: 45194
2068.95/2075.10 c #Conflicts: 1460000 | #Constraints: 46194
2068.95/2075.10 c #Conflicts: 1461000 | #Constraints: 47194
2068.95/2075.10 c #Conflicts: 1462000 | #Constraints: 48194
2068.95/2075.10 c #Conflicts: 1463000 | #Constraints: 49194
2068.95/2075.10 c #Conflicts: 1464000 | #Constraints: 50194
2068.95/2075.10 c #Conflicts: 1465000 | #Constraints: 51194
2068.95/2075.10 c #Conflicts: 1466000 | #Constraints: 52194
2068.95/2075.10 c #Conflicts: 1467000 | #Constraints: 53194
2068.95/2075.10 c INPROCESSING
2068.95/2075.10 c GARBAGE COLLECT
2068.95/2075.10 c #Conflicts: 1468000 | #Constraints: 30197
2068.95/2075.10 c #Conflicts: 1469000 | #Constraints: 31197
2068.95/2075.10 c #Conflicts: 1470000 | #Constraints: 32197
2068.95/2075.10 c #Conflicts: 1471000 | #Constraints: 33197
2068.95/2075.10 c #Conflicts: 1472000 | #Constraints: 34197
2068.95/2075.10 c #Conflicts: 1473000 | #Constraints: 35197
2068.95/2075.10 c #Conflicts: 1474000 | #Constraints: 36197
2068.95/2075.10 c #Conflicts: 1475000 | #Constraints: 37197
2068.95/2075.10 c #Conflicts: 1476000 | #Constraints: 38197
2068.95/2075.10 c #Conflicts: 1477000 | #Constraints: 39197
2068.95/2075.10 c #Conflicts: 1478000 | #Constraints: 40197
2068.95/2075.10 c #Conflicts: 1479000 | #Constraints: 41197
2068.95/2075.10 c #Conflicts: 1480000 | #Constraints: 42197
2068.95/2075.10 c #Conflicts: 1481000 | #Constraints: 43197
2068.95/2075.10 c #Conflicts: 1482000 | #Constraints: 44197
2068.95/2075.10 c #Conflicts: 1483000 | #Constraints: 45197
2068.95/2075.10 c #Conflicts: 1484000 | #Constraints: 46197
2068.95/2075.10 c #Conflicts: 1485000 | #Constraints: 47197
2068.95/2075.10 c #Conflicts: 1486000 | #Constraints: 48197
2068.95/2075.10 c #Conflicts: 1487000 | #Constraints: 49197
2068.95/2075.10 c #Conflicts: 1488000 | #Constraints: 50197
2068.95/2075.10 c #Conflicts: 1489000 | #Constraints: 51197
2068.95/2075.10 c #Conflicts: 1490000 | #Constraints: 52197
2068.95/2075.10 c #Conflicts: 1491000 | #Constraints: 53197
2068.95/2075.10 c INPROCESSING
2068.95/2075.10 c GARBAGE COLLECT
2068.95/2075.10 c #Conflicts: 1492000 | #Constraints: 29993
2068.95/2075.10 c #Conflicts: 1493000 | #Constraints: 30993
2068.95/2075.10 c #Conflicts: 1494000 | #Constraints: 31993
2068.95/2075.10 c #Conflicts: 1495000 | #Constraints: 32993
2068.95/2075.10 c #Conflicts: 1496000 | #Constraints: 33993
2068.95/2075.10 c #Conflicts: 1497000 | #Constraints: 34993
2068.95/2075.10 c #Conflicts: 1498000 | #Constraints: 35993
2068.95/2075.10 c #Conflicts: 1499000 | #Constraints: 36993
2068.95/2075.10 c #Conflicts: 1500000 | #Constraints: 37993
2194.84/2201.29 c #Conflicts: 1501000 | #Constraints: 38993
2194.84/2201.29 c #Conflicts: 1502000 | #Constraints: 39993
2194.84/2201.29 c #Conflicts: 1503000 | #Constraints: 40993
2194.84/2201.29 c #Conflicts: 1504000 | #Constraints: 41993
2194.84/2201.29 c #Conflicts: 1505000 | #Constraints: 42993
2194.84/2201.29 c #Conflicts: 1506000 | #Constraints: 43993
2194.84/2201.29 c #Conflicts: 1507000 | #Constraints: 44993
2194.84/2201.29 c #Conflicts: 1508000 | #Constraints: 45993
2194.84/2201.29 c #Conflicts: 1509000 | #Constraints: 46993
2194.84/2201.29 c #Conflicts: 1510000 | #Constraints: 47993
2194.84/2201.29 c #Conflicts: 1511000 | #Constraints: 48993
2194.84/2201.29 c #Conflicts: 1512000 | #Constraints: 49993
2194.84/2201.29 c #Conflicts: 1513000 | #Constraints: 50993
2194.84/2201.29 c #Conflicts: 1514000 | #Constraints: 51993
2194.84/2201.29 c #Conflicts: 1515000 | #Constraints: 52993
2194.84/2201.29 c #Conflicts: 1516000 | #Constraints: 53993
2194.84/2201.29 c INPROCESSING
2194.84/2201.29 c GARBAGE COLLECT
2194.84/2201.29 c #Conflicts: 1517000 | #Constraints: 30591
2194.84/2201.29 c #Conflicts: 1518000 | #Constraints: 31591
2194.84/2201.29 c #Conflicts: 1519000 | #Constraints: 32591
2194.84/2201.29 c #Conflicts: 1520000 | #Constraints: 33591
2194.84/2201.29 c #Conflicts: 1521000 | #Constraints: 34591
2194.84/2201.29 c #Conflicts: 1522000 | #Constraints: 35591
2194.84/2201.29 c #Conflicts: 1523000 | #Constraints: 36591
2194.84/2201.29 c #Conflicts: 1524000 | #Constraints: 37591
2194.84/2201.29 c #Conflicts: 1525000 | #Constraints: 38591
2194.84/2201.29 c #Conflicts: 1526000 | #Constraints: 39591
2194.84/2201.29 c #Conflicts: 1527000 | #Constraints: 40591
2194.84/2201.29 c #Conflicts: 1528000 | #Constraints: 41591
2194.84/2201.29 c #Conflicts: 1529000 | #Constraints: 42591
2194.84/2201.29 c #Conflicts: 1530000 | #Constraints: 43591
2194.84/2201.29 c #Conflicts: 1531000 | #Constraints: 44591
2194.84/2201.29 c #Conflicts: 1532000 | #Constraints: 45591
2194.84/2201.29 c #Conflicts: 1533000 | #Constraints: 46591
2194.84/2201.29 c #Conflicts: 1534000 | #Constraints: 47591
2194.84/2201.29 c #Conflicts: 1535000 | #Constraints: 48591
2194.84/2201.29 c #Conflicts: 1536000 | #Constraints: 49591
2194.84/2201.29 c #Conflicts: 1537000 | #Constraints: 50591
2194.84/2201.29 c #Conflicts: 1538000 | #Constraints: 51591
2194.84/2201.29 c #Conflicts: 1539000 | #Constraints: 52591
2194.84/2201.29 c #Conflicts: 1540000 | #Constraints: 53591
2194.84/2201.29 c #Conflicts: 1541000 | #Constraints: 54591
2194.84/2201.29 c INPROCESSING
2194.84/2201.29 c GARBAGE COLLECT
2194.84/2201.29 c #Conflicts: 1542000 | #Constraints: 30993
2194.84/2201.29 c #Conflicts: 1543000 | #Constraints: 31993
2194.84/2201.29 c #Conflicts: 1544000 | #Constraints: 32993
2194.84/2201.29 c #Conflicts: 1545000 | #Constraints: 33993
2194.84/2201.29 c #Conflicts: 1546000 | #Constraints: 34993
2194.84/2201.29 c #Conflicts: 1547000 | #Constraints: 35993
2194.84/2201.29 c #Conflicts: 1548000 | #Constraints: 36993
2194.84/2201.29 c #Conflicts: 1549000 | #Constraints: 37993
2194.84/2201.29 c #Conflicts: 1550000 | #Constraints: 38993
2194.84/2201.29 c #Conflicts: 1551000 | #Constraints: 39993
2194.84/2201.29 c #Conflicts: 1552000 | #Constraints: 40993
2194.84/2201.29 c #Conflicts: 1553000 | #Constraints: 41993
2194.84/2201.29 c #Conflicts: 1554000 | #Constraints: 42993
2194.84/2201.29 c #Conflicts: 1555000 | #Constraints: 43993
2194.84/2201.29 c #Conflicts: 1556000 | #Constraints: 44993
2194.84/2201.29 c #Conflicts: 1557000 | #Constraints: 45993
2194.84/2201.29 c #Conflicts: 1558000 | #Constraints: 46993
2194.84/2201.29 c #Conflicts: 1559000 | #Constraints: 47993
2194.84/2201.29 c #Conflicts: 1560000 | #Constraints: 48993
2194.84/2201.29 c #Conflicts: 1561000 | #Constraints: 49993
2194.84/2201.29 c #Conflicts: 1562000 | #Constraints: 50993
2194.84/2201.29 c #Conflicts: 1563000 | #Constraints: 51993
2194.84/2201.29 c #Conflicts: 1564000 | #Constraints: 52993
2194.84/2201.29 c #Conflicts: 1565000 | #Constraints: 53993
2194.84/2201.29 c #Conflicts: 1566000 | #Constraints: 54993
2194.84/2201.29 c INPROCESSING
2194.84/2201.29 c GARBAGE COLLECT
2194.84/2201.29 c #Conflicts: 1567000 | #Constraints: 31194
2194.84/2201.29 c #Conflicts: 1568000 | #Constraints: 32194
2194.84/2201.29 c #Conflicts: 1569000 | #Constraints: 33194
2194.84/2201.29 c #Conflicts: 1570000 | #Constraints: 34194
2194.84/2201.29 c #Conflicts: 1571000 | #Constraints: 35194
2194.84/2201.29 c #Conflicts: 1572000 | #Constraints: 36194
2194.84/2201.29 c #Conflicts: 1573000 | #Constraints: 37194
2194.84/2201.29 c #Conflicts: 1574000 | #Constraints: 38194
2194.84/2201.29 c #Conflicts: 1575000 | #Constraints: 39194
2194.84/2201.29 c #Conflicts: 1576000 | #Constraints: 40194
2194.84/2201.29 c #Conflicts: 1577000 | #Constraints: 41194
2332.43/2339.13 c #Conflicts: 1578000 | #Constraints: 42194
2332.43/2339.13 c #Conflicts: 1579000 | #Constraints: 43194
2332.43/2339.13 c #Conflicts: 1580000 | #Constraints: 44194
2332.43/2339.13 c #Conflicts: 1581000 | #Constraints: 45194
2332.43/2339.13 c #Conflicts: 1582000 | #Constraints: 46194
2332.43/2339.13 c #Conflicts: 1583000 | #Constraints: 47194
2332.43/2339.13 c #Conflicts: 1584000 | #Constraints: 48194
2332.43/2339.13 c #Conflicts: 1585000 | #Constraints: 49194
2332.43/2339.13 c #Conflicts: 1586000 | #Constraints: 50194
2332.43/2339.13 c #Conflicts: 1587000 | #Constraints: 51194
2332.43/2339.13 c #Conflicts: 1588000 | #Constraints: 52194
2332.43/2339.13 c #Conflicts: 1589000 | #Constraints: 53194
2332.43/2339.13 c #Conflicts: 1590000 | #Constraints: 54194
2332.43/2339.13 c #Conflicts: 1591000 | #Constraints: 55194
2332.43/2339.13 c INPROCESSING
2332.43/2339.13 c GARBAGE COLLECT
2332.43/2339.13 c #Conflicts: 1592000 | #Constraints: 31195
2332.43/2339.13 c #Conflicts: 1593000 | #Constraints: 32195
2332.43/2339.13 c #Conflicts: 1594000 | #Constraints: 33195
2332.43/2339.13 c #Conflicts: 1595000 | #Constraints: 34195
2332.43/2339.13 c #Conflicts: 1596000 | #Constraints: 35195
2332.43/2339.13 c #Conflicts: 1597000 | #Constraints: 36195
2332.43/2339.13 c #Conflicts: 1598000 | #Constraints: 37195
2332.43/2339.13 c #Conflicts: 1599000 | #Constraints: 38195
2332.43/2339.13 c #Conflicts: 1600000 | #Constraints: 39195
2332.43/2339.13 c #Conflicts: 1601000 | #Constraints: 40195
2332.43/2339.13 c #Conflicts: 1602000 | #Constraints: 41195
2332.43/2339.13 c #Conflicts: 1603000 | #Constraints: 42195
2332.43/2339.13 c #Conflicts: 1604000 | #Constraints: 43195
2332.43/2339.13 c #Conflicts: 1605000 | #Constraints: 44195
2332.43/2339.13 c #Conflicts: 1606000 | #Constraints: 45195
2332.43/2339.13 c #Conflicts: 1607000 | #Constraints: 46195
2332.43/2339.13 c #Conflicts: 1608000 | #Constraints: 47195
2332.43/2339.13 c #Conflicts: 1609000 | #Constraints: 48195
2332.43/2339.13 c #Conflicts: 1610000 | #Constraints: 49195
2332.43/2339.13 c #Conflicts: 1611000 | #Constraints: 50195
2332.43/2339.13 c #Conflicts: 1612000 | #Constraints: 51195
2332.43/2339.13 c #Conflicts: 1613000 | #Constraints: 52195
2332.43/2339.13 c #Conflicts: 1614000 | #Constraints: 53195
2332.43/2339.13 c #Conflicts: 1615000 | #Constraints: 54195
2332.43/2339.13 c #Conflicts: 1616000 | #Constraints: 55195
2332.43/2339.13 c INPROCESSING
2332.43/2339.13 c GARBAGE COLLECT
2332.43/2339.13 c #Conflicts: 1617000 | #Constraints: 30996
2332.43/2339.13 c #Conflicts: 1618000 | #Constraints: 31996
2332.43/2339.13 c #Conflicts: 1619000 | #Constraints: 32996
2332.43/2339.13 c #Conflicts: 1620000 | #Constraints: 33996
2332.43/2339.13 c #Conflicts: 1621000 | #Constraints: 34996
2332.43/2339.13 c #Conflicts: 1622000 | #Constraints: 35996
2332.43/2339.13 c #Conflicts: 1623000 | #Constraints: 36996
2332.43/2339.13 c #Conflicts: 1624000 | #Constraints: 37996
2332.43/2339.13 c #Conflicts: 1625000 | #Constraints: 38996
2332.43/2339.13 c #Conflicts: 1626000 | #Constraints: 39996
2332.43/2339.13 c #Conflicts: 1627000 | #Constraints: 40996
2332.43/2339.13 c #Conflicts: 1628000 | #Constraints: 41996
2332.43/2339.13 c #Conflicts: 1629000 | #Constraints: 42996
2332.43/2339.13 c #Conflicts: 1630000 | #Constraints: 43996
2332.43/2339.13 c #Conflicts: 1631000 | #Constraints: 44996
2332.43/2339.13 c #Conflicts: 1632000 | #Constraints: 45996
2332.43/2339.13 c #Conflicts: 1633000 | #Constraints: 46996
2332.43/2339.13 c #Conflicts: 1634000 | #Constraints: 47996
2332.43/2339.13 c #Conflicts: 1635000 | #Constraints: 48996
2332.43/2339.13 c #Conflicts: 1636000 | #Constraints: 49996
2332.43/2339.13 c #Conflicts: 1637000 | #Constraints: 50996
2332.43/2339.13 c #Conflicts: 1638000 | #Constraints: 51996
2332.43/2339.13 c #Conflicts: 1639000 | #Constraints: 52996
2332.43/2339.13 c #Conflicts: 1640000 | #Constraints: 53996
2332.43/2339.13 c #Conflicts: 1641000 | #Constraints: 54996
2332.43/2339.13 c #Conflicts: 1642000 | #Constraints: 55996
2332.43/2339.13 c INPROCESSING
2332.43/2339.13 c GARBAGE COLLECT
2332.43/2339.13 c #Conflicts: 1643000 | #Constraints: 31593
2332.43/2339.13 c #Conflicts: 1644000 | #Constraints: 32593
2332.43/2339.13 c #Conflicts: 1645000 | #Constraints: 33593
2332.43/2339.13 c #Conflicts: 1646000 | #Constraints: 34593
2332.43/2339.13 c #Conflicts: 1647000 | #Constraints: 35593
2332.43/2339.13 c #Conflicts: 1648000 | #Constraints: 36593
2332.43/2339.13 c #Conflicts: 1649000 | #Constraints: 37593
2332.43/2339.13 c #Conflicts: 1650000 | #Constraints: 38593
2332.43/2339.13 c #Conflicts: 1651000 | #Constraints: 39593
2332.43/2339.13 c #Conflicts: 1652000 | #Constraints: 40593
2332.43/2339.13 c #Conflicts: 1653000 | #Constraints: 41593
2332.43/2339.13 c #Conflicts: 1654000 | #Constraints: 42593
2472.59/2479.68 c #Conflicts: 1655000 | #Constraints: 43593
2472.59/2479.68 c #Conflicts: 1656000 | #Constraints: 44593
2472.59/2479.68 c #Conflicts: 1657000 | #Constraints: 45593
2472.59/2479.68 c #Conflicts: 1658000 | #Constraints: 46593
2472.59/2479.68 c #Conflicts: 1659000 | #Constraints: 47593
2472.59/2479.68 c #Conflicts: 1660000 | #Constraints: 48593
2472.59/2479.68 c #Conflicts: 1661000 | #Constraints: 49593
2472.59/2479.68 c #Conflicts: 1662000 | #Constraints: 50593
2472.59/2479.68 c #Conflicts: 1663000 | #Constraints: 51593
2472.59/2479.68 c #Conflicts: 1664000 | #Constraints: 52593
2472.59/2479.68 c #Conflicts: 1665000 | #Constraints: 53593
2472.59/2479.68 c #Conflicts: 1666000 | #Constraints: 54593
2472.59/2479.68 c #Conflicts: 1667000 | #Constraints: 55593
2472.59/2479.68 c #Conflicts: 1668000 | #Constraints: 56593
2472.59/2479.68 c INPROCESSING
2472.59/2479.68 c GARBAGE COLLECT
2472.59/2479.68 c #Conflicts: 1669000 | #Constraints: 31992
2472.59/2479.68 c #Conflicts: 1670000 | #Constraints: 32992
2472.59/2479.68 c #Conflicts: 1671000 | #Constraints: 33992
2472.59/2479.68 c #Conflicts: 1672000 | #Constraints: 34992
2472.59/2479.68 c #Conflicts: 1673000 | #Constraints: 35992
2472.59/2479.68 c #Conflicts: 1674000 | #Constraints: 36992
2472.59/2479.68 c #Conflicts: 1675000 | #Constraints: 37992
2472.59/2479.68 c #Conflicts: 1676000 | #Constraints: 38992
2472.59/2479.68 c #Conflicts: 1677000 | #Constraints: 39992
2472.59/2479.68 c #Conflicts: 1678000 | #Constraints: 40992
2472.59/2479.68 c #Conflicts: 1679000 | #Constraints: 41992
2472.59/2479.68 c #Conflicts: 1680000 | #Constraints: 42992
2472.59/2479.68 c #Conflicts: 1681000 | #Constraints: 43992
2472.59/2479.68 c #Conflicts: 1682000 | #Constraints: 44992
2472.59/2479.68 c #Conflicts: 1683000 | #Constraints: 45992
2472.59/2479.68 c #Conflicts: 1684000 | #Constraints: 46992
2472.59/2479.68 c #Conflicts: 1685000 | #Constraints: 47992
2472.59/2479.68 c #Conflicts: 1686000 | #Constraints: 48992
2472.59/2479.68 c #Conflicts: 1687000 | #Constraints: 49992
2472.59/2479.68 c #Conflicts: 1688000 | #Constraints: 50992
2472.59/2479.68 c #Conflicts: 1689000 | #Constraints: 51992
2472.59/2479.68 c #Conflicts: 1690000 | #Constraints: 52992
2472.59/2479.68 c #Conflicts: 1691000 | #Constraints: 53992
2472.59/2479.68 c #Conflicts: 1692000 | #Constraints: 54992
2472.59/2479.68 c #Conflicts: 1693000 | #Constraints: 55992
2472.59/2479.68 c #Conflicts: 1694000 | #Constraints: 56992
2472.59/2479.68 c INPROCESSING
2472.59/2479.68 c GARBAGE COLLECT
2472.59/2479.68 c #Conflicts: 1695000 | #Constraints: 32190
2472.59/2479.68 c #Conflicts: 1696000 | #Constraints: 33190
2472.59/2479.68 c #Conflicts: 1697000 | #Constraints: 34190
2472.59/2479.68 c #Conflicts: 1698000 | #Constraints: 35190
2472.59/2479.68 c #Conflicts: 1699000 | #Constraints: 36190
2472.59/2479.68 c #Conflicts: 1700000 | #Constraints: 37190
2472.59/2479.68 c #Conflicts: 1701000 | #Constraints: 38190
2472.59/2479.68 c #Conflicts: 1702000 | #Constraints: 39190
2472.59/2479.68 c #Conflicts: 1703000 | #Constraints: 40190
2472.59/2479.68 c #Conflicts: 1704000 | #Constraints: 41190
2472.59/2479.68 c #Conflicts: 1705000 | #Constraints: 42190
2472.59/2479.68 c #Conflicts: 1706000 | #Constraints: 43190
2472.59/2479.68 c #Conflicts: 1707000 | #Constraints: 44190
2472.59/2479.68 c #Conflicts: 1708000 | #Constraints: 45190
2472.59/2479.68 c #Conflicts: 1709000 | #Constraints: 46190
2472.59/2479.68 c #Conflicts: 1710000 | #Constraints: 47190
2472.59/2479.68 c #Conflicts: 1711000 | #Constraints: 48190
2472.59/2479.68 c #Conflicts: 1712000 | #Constraints: 49190
2472.59/2479.68 c #Conflicts: 1713000 | #Constraints: 50190
2472.59/2479.68 c #Conflicts: 1714000 | #Constraints: 51190
2472.59/2479.68 c #Conflicts: 1715000 | #Constraints: 52190
2472.59/2479.68 c #Conflicts: 1716000 | #Constraints: 53190
2472.59/2479.68 c #Conflicts: 1717000 | #Constraints: 54190
2472.59/2479.68 c #Conflicts: 1718000 | #Constraints: 55190
2472.59/2479.68 c #Conflicts: 1719000 | #Constraints: 56190
2472.59/2479.68 c #Conflicts: 1720000 | #Constraints: 57190
2472.59/2479.68 c INPROCESSING
2472.59/2479.68 c GARBAGE COLLECT
2472.59/2479.68 c #Conflicts: 1721000 | #Constraints: 32195
2472.59/2479.68 c #Conflicts: 1722000 | #Constraints: 33195
2472.59/2479.68 c #Conflicts: 1723000 | #Constraints: 34195
2472.59/2479.68 c #Conflicts: 1724000 | #Constraints: 35195
2472.59/2479.68 c #Conflicts: 1725000 | #Constraints: 36195
2472.59/2479.68 c #Conflicts: 1726000 | #Constraints: 37195
2472.59/2479.68 c #Conflicts: 1727000 | #Constraints: 38195
2472.59/2479.68 c #Conflicts: 1728000 | #Constraints: 39195
2472.59/2479.68 c #Conflicts: 1729000 | #Constraints: 40195
2472.59/2479.68 c #Conflicts: 1730000 | #Constraints: 41195
2472.59/2479.68 c #Conflicts: 1731000 | #Constraints: 42195
2626.52/2633.97 c #Conflicts: 1732000 | #Constraints: 43195
2626.52/2633.97 c #Conflicts: 1733000 | #Constraints: 44195
2626.52/2633.97 c #Conflicts: 1734000 | #Constraints: 45195
2626.52/2633.97 c #Conflicts: 1735000 | #Constraints: 46195
2626.52/2633.97 c #Conflicts: 1736000 | #Constraints: 47195
2626.52/2633.97 c #Conflicts: 1737000 | #Constraints: 48195
2626.52/2633.97 c #Conflicts: 1738000 | #Constraints: 49195
2626.52/2633.97 c #Conflicts: 1739000 | #Constraints: 50195
2626.52/2633.97 c #Conflicts: 1740000 | #Constraints: 51195
2626.52/2633.97 c #Conflicts: 1741000 | #Constraints: 52195
2626.52/2633.97 c #Conflicts: 1742000 | #Constraints: 53195
2626.52/2633.97 c #Conflicts: 1743000 | #Constraints: 54195
2626.52/2633.97 c #Conflicts: 1744000 | #Constraints: 55195
2626.52/2633.97 c #Conflicts: 1745000 | #Constraints: 56195
2626.52/2633.97 c #Conflicts: 1746000 | #Constraints: 57195
2626.52/2633.97 c INPROCESSING
2626.52/2633.97 c GARBAGE COLLECT
2626.52/2633.97 c #Conflicts: 1747000 | #Constraints: 31991
2626.52/2633.97 c #Conflicts: 1748000 | #Constraints: 32991
2626.52/2633.97 c #Conflicts: 1749000 | #Constraints: 33991
2626.52/2633.97 c #Conflicts: 1750000 | #Constraints: 34991
2626.52/2633.97 c #Conflicts: 1751000 | #Constraints: 35991
2626.52/2633.97 c #Conflicts: 1752000 | #Constraints: 36991
2626.52/2633.97 c #Conflicts: 1753000 | #Constraints: 37991
2626.52/2633.97 c #Conflicts: 1754000 | #Constraints: 38991
2626.52/2633.97 c #Conflicts: 1755000 | #Constraints: 39991
2626.52/2633.97 c #Conflicts: 1756000 | #Constraints: 40991
2626.52/2633.97 c #Conflicts: 1757000 | #Constraints: 41991
2626.52/2633.97 c #Conflicts: 1758000 | #Constraints: 42991
2626.52/2633.97 c #Conflicts: 1759000 | #Constraints: 43991
2626.52/2633.97 c #Conflicts: 1760000 | #Constraints: 44991
2626.52/2633.97 c #Conflicts: 1761000 | #Constraints: 45991
2626.52/2633.97 c #Conflicts: 1762000 | #Constraints: 46991
2626.52/2633.97 c #Conflicts: 1763000 | #Constraints: 47991
2626.52/2633.97 c #Conflicts: 1764000 | #Constraints: 48991
2626.52/2633.97 c #Conflicts: 1765000 | #Constraints: 49991
2626.52/2633.97 c #Conflicts: 1766000 | #Constraints: 50991
2626.52/2633.97 c #Conflicts: 1767000 | #Constraints: 51991
2626.52/2633.97 c #Conflicts: 1768000 | #Constraints: 52991
2626.52/2633.97 c #Conflicts: 1769000 | #Constraints: 53991
2626.52/2633.97 c #Conflicts: 1770000 | #Constraints: 54991
2626.52/2633.97 c #Conflicts: 1771000 | #Constraints: 55991
2626.52/2633.97 c #Conflicts: 1772000 | #Constraints: 56991
2626.52/2633.97 c #Conflicts: 1773000 | #Constraints: 57991
2626.52/2633.97 c INPROCESSING
2626.52/2633.97 c GARBAGE COLLECT
2626.52/2633.97 c #Conflicts: 1774000 | #Constraints: 32592
2626.52/2633.97 c #Conflicts: 1775000 | #Constraints: 33592
2626.52/2633.97 c #Conflicts: 1776000 | #Constraints: 34592
2626.52/2633.97 c #Conflicts: 1777000 | #Constraints: 35592
2626.52/2633.97 c #Conflicts: 1778000 | #Constraints: 36592
2626.52/2633.97 c #Conflicts: 1779000 | #Constraints: 37592
2626.52/2633.97 c #Conflicts: 1780000 | #Constraints: 38592
2626.52/2633.97 c #Conflicts: 1781000 | #Constraints: 39592
2626.52/2633.97 c #Conflicts: 1782000 | #Constraints: 40592
2626.52/2633.97 c #Conflicts: 1783000 | #Constraints: 41592
2626.52/2633.97 c #Conflicts: 1784000 | #Constraints: 42592
2626.52/2633.97 c #Conflicts: 1785000 | #Constraints: 43592
2626.52/2633.97 c #Conflicts: 1786000 | #Constraints: 44592
2626.52/2633.97 c #Conflicts: 1787000 | #Constraints: 45592
2626.52/2633.97 c #Conflicts: 1788000 | #Constraints: 46592
2626.52/2633.97 c #Conflicts: 1789000 | #Constraints: 47592
2626.52/2633.97 c #Conflicts: 1790000 | #Constraints: 48592
2626.52/2633.97 c #Conflicts: 1791000 | #Constraints: 49592
2626.52/2633.97 c #Conflicts: 1792000 | #Constraints: 50592
2626.52/2633.97 c #Conflicts: 1793000 | #Constraints: 51592
2626.52/2633.97 c #Conflicts: 1794000 | #Constraints: 52592
2626.52/2633.97 c #Conflicts: 1795000 | #Constraints: 53592
2626.52/2633.97 c #Conflicts: 1796000 | #Constraints: 54592
2626.52/2633.97 c #Conflicts: 1797000 | #Constraints: 55592
2626.52/2633.97 c #Conflicts: 1798000 | #Constraints: 56592
2626.52/2633.97 c #Conflicts: 1799000 | #Constraints: 57592
2626.52/2633.97 c #Conflicts: 1800000 | #Constraints: 58592
2626.52/2633.97 c INPROCESSING
2626.52/2633.97 c GARBAGE COLLECT
2626.52/2633.97 c #Conflicts: 1801000 | #Constraints: 32994
2626.52/2633.97 c #Conflicts: 1802000 | #Constraints: 33994
2626.52/2633.97 c #Conflicts: 1803000 | #Constraints: 34994
2626.52/2633.97 c #Conflicts: 1804000 | #Constraints: 35994
2626.52/2633.97 c #Conflicts: 1805000 | #Constraints: 36994
2626.52/2633.97 c #Conflicts: 1806000 | #Constraints: 37994
2626.52/2633.97 c #Conflicts: 1807000 | #Constraints: 38994
2626.52/2633.97 c #Conflicts: 1808000 | #Constraints: 39994
2789.35/2797.11 c #Conflicts: 1809000 | #Constraints: 40994
2789.35/2797.11 c #Conflicts: 1810000 | #Constraints: 41994
2789.35/2797.11 c #Conflicts: 1811000 | #Constraints: 42994
2789.35/2797.11 c #Conflicts: 1812000 | #Constraints: 43994
2789.35/2797.11 c #Conflicts: 1813000 | #Constraints: 44994
2789.35/2797.11 c #Conflicts: 1814000 | #Constraints: 45994
2789.35/2797.11 c #Conflicts: 1815000 | #Constraints: 46994
2789.35/2797.11 c #Conflicts: 1816000 | #Constraints: 47994
2789.35/2797.11 c #Conflicts: 1817000 | #Constraints: 48994
2789.35/2797.11 c #Conflicts: 1818000 | #Constraints: 49994
2789.35/2797.11 c #Conflicts: 1819000 | #Constraints: 50994
2789.35/2797.11 c #Conflicts: 1820000 | #Constraints: 51994
2789.35/2797.11 c #Conflicts: 1821000 | #Constraints: 52994
2789.35/2797.11 c #Conflicts: 1822000 | #Constraints: 53994
2789.35/2797.11 c #Conflicts: 1823000 | #Constraints: 54994
2789.35/2797.11 c #Conflicts: 1824000 | #Constraints: 55994
2789.35/2797.11 c #Conflicts: 1825000 | #Constraints: 56994
2789.35/2797.11 c #Conflicts: 1826000 | #Constraints: 57994
2789.35/2797.11 c #Conflicts: 1827000 | #Constraints: 58994
2789.35/2797.11 c INPROCESSING
2789.35/2797.11 c GARBAGE COLLECT
2789.35/2797.11 c #Conflicts: 1828000 | #Constraints: 33196
2789.35/2797.11 c #Conflicts: 1829000 | #Constraints: 34196
2789.35/2797.11 c #Conflicts: 1830000 | #Constraints: 35196
2789.35/2797.11 c #Conflicts: 1831000 | #Constraints: 36196
2789.35/2797.11 c #Conflicts: 1832000 | #Constraints: 37196
2789.35/2797.11 c #Conflicts: 1833000 | #Constraints: 38196
2789.35/2797.11 c #Conflicts: 1834000 | #Constraints: 39196
2789.35/2797.11 c #Conflicts: 1835000 | #Constraints: 40196
2789.35/2797.11 c #Conflicts: 1836000 | #Constraints: 41196
2789.35/2797.11 c #Conflicts: 1837000 | #Constraints: 42196
2789.35/2797.11 c #Conflicts: 1838000 | #Constraints: 43196
2789.35/2797.11 c #Conflicts: 1839000 | #Constraints: 44196
2789.35/2797.11 c #Conflicts: 1840000 | #Constraints: 45196
2789.35/2797.11 c #Conflicts: 1841000 | #Constraints: 46196
2789.35/2797.11 c #Conflicts: 1842000 | #Constraints: 47196
2789.35/2797.11 c #Conflicts: 1843000 | #Constraints: 48196
2789.35/2797.11 c #Conflicts: 1844000 | #Constraints: 49196
2789.35/2797.11 c #Conflicts: 1845000 | #Constraints: 50196
2789.35/2797.11 c #Conflicts: 1846000 | #Constraints: 51196
2789.35/2797.11 c #Conflicts: 1847000 | #Constraints: 52196
2789.35/2797.11 c #Conflicts: 1848000 | #Constraints: 53196
2789.35/2797.11 c #Conflicts: 1849000 | #Constraints: 54196
2789.35/2797.11 c #Conflicts: 1850000 | #Constraints: 55196
2789.35/2797.11 c #Conflicts: 1851000 | #Constraints: 56196
2789.35/2797.11 c #Conflicts: 1852000 | #Constraints: 57196
2789.35/2797.11 c #Conflicts: 1853000 | #Constraints: 58196
2789.35/2797.11 c #Conflicts: 1854000 | #Constraints: 59196
2789.35/2797.11 c INPROCESSING
2789.35/2797.11 c GARBAGE COLLECT
2789.35/2797.11 c #Conflicts: 1855000 | #Constraints: 33196
2789.35/2797.11 c #Conflicts: 1856000 | #Constraints: 34196
2789.35/2797.11 c #Conflicts: 1857000 | #Constraints: 35196
2789.35/2797.11 c #Conflicts: 1858000 | #Constraints: 36196
2789.35/2797.11 c #Conflicts: 1859000 | #Constraints: 37196
2789.35/2797.11 c #Conflicts: 1860000 | #Constraints: 38196
2789.35/2797.11 c #Conflicts: 1861000 | #Constraints: 39196
2789.35/2797.11 c #Conflicts: 1862000 | #Constraints: 40196
2789.35/2797.11 c #Conflicts: 1863000 | #Constraints: 41196
2789.35/2797.11 c #Conflicts: 1864000 | #Constraints: 42196
2789.35/2797.11 c #Conflicts: 1865000 | #Constraints: 43196
2789.35/2797.11 c #Conflicts: 1866000 | #Constraints: 44196
2789.35/2797.11 c #Conflicts: 1867000 | #Constraints: 45196
2789.35/2797.11 c #Conflicts: 1868000 | #Constraints: 46196
2789.35/2797.11 c #Conflicts: 1869000 | #Constraints: 47196
2789.35/2797.11 c #Conflicts: 1870000 | #Constraints: 48196
2789.35/2797.11 c #Conflicts: 1871000 | #Constraints: 49196
2789.35/2797.11 c #Conflicts: 1872000 | #Constraints: 50196
2789.35/2797.11 c #Conflicts: 1873000 | #Constraints: 51196
2789.35/2797.11 c #Conflicts: 1874000 | #Constraints: 52196
2789.35/2797.11 c #Conflicts: 1875000 | #Constraints: 53196
2789.35/2797.11 c #Conflicts: 1876000 | #Constraints: 54196
2789.35/2797.11 c #Conflicts: 1877000 | #Constraints: 55196
2789.35/2797.11 c #Conflicts: 1878000 | #Constraints: 56196
2789.35/2797.11 c #Conflicts: 1879000 | #Constraints: 57196
2789.35/2797.11 c #Conflicts: 1880000 | #Constraints: 58196
2789.35/2797.11 c #Conflicts: 1881000 | #Constraints: 59196
2789.35/2797.11 c INPROCESSING
2789.35/2797.11 c GARBAGE COLLECT
2789.35/2797.11 c #Conflicts: 1882000 | #Constraints: 32992
2789.35/2797.11 c #Conflicts: 1883000 | #Constraints: 33992
2789.35/2797.11 c #Conflicts: 1884000 | #Constraints: 34992
2954.64/2962.85 c #Conflicts: 1885000 | #Constraints: 35992
2954.64/2962.85 c #Conflicts: 1886000 | #Constraints: 36992
2954.64/2962.85 c #Conflicts: 1887000 | #Constraints: 37992
2954.64/2962.85 c #Conflicts: 1888000 | #Constraints: 38992
2954.64/2962.85 c #Conflicts: 1889000 | #Constraints: 39992
2954.64/2962.85 c #Conflicts: 1890000 | #Constraints: 40992
2954.64/2962.85 c #Conflicts: 1891000 | #Constraints: 41992
2954.64/2962.85 c #Conflicts: 1892000 | #Constraints: 42992
2954.64/2962.85 c #Conflicts: 1893000 | #Constraints: 43992
2954.64/2962.85 c #Conflicts: 1894000 | #Constraints: 44992
2954.64/2962.85 c #Conflicts: 1895000 | #Constraints: 45992
2954.64/2962.85 c #Conflicts: 1896000 | #Constraints: 46992
2954.64/2962.85 c #Conflicts: 1897000 | #Constraints: 47992
2954.64/2962.85 c #Conflicts: 1898000 | #Constraints: 48992
2954.64/2962.85 c #Conflicts: 1899000 | #Constraints: 49992
2954.64/2962.85 c #Conflicts: 1900000 | #Constraints: 50992
2954.64/2962.85 c #Conflicts: 1901000 | #Constraints: 51992
2954.64/2962.85 c #Conflicts: 1902000 | #Constraints: 52992
2954.64/2962.85 c #Conflicts: 1903000 | #Constraints: 53992
2954.64/2962.85 c #Conflicts: 1904000 | #Constraints: 54992
2954.64/2962.85 c #Conflicts: 1905000 | #Constraints: 55992
2954.64/2962.85 c #Conflicts: 1906000 | #Constraints: 56992
2954.64/2962.85 c #Conflicts: 1907000 | #Constraints: 57992
2954.64/2962.85 c #Conflicts: 1908000 | #Constraints: 58992
2954.64/2962.85 c #Conflicts: 1909000 | #Constraints: 59992
2954.64/2962.85 c INPROCESSING
2954.64/2962.85 c GARBAGE COLLECT
2954.64/2962.85 c #Conflicts: 1910000 | #Constraints: 33598
2954.64/2962.85 c #Conflicts: 1911000 | #Constraints: 34598
2954.64/2962.85 c #Conflicts: 1912000 | #Constraints: 35598
2954.64/2962.85 c #Conflicts: 1913000 | #Constraints: 36598
2954.64/2962.85 c #Conflicts: 1914000 | #Constraints: 37598
2954.64/2962.85 c #Conflicts: 1915000 | #Constraints: 38598
2954.64/2962.85 c #Conflicts: 1916000 | #Constraints: 39598
2954.64/2962.85 c #Conflicts: 1917000 | #Constraints: 40598
2954.64/2962.85 c #Conflicts: 1918000 | #Constraints: 41598
2954.64/2962.85 c #Conflicts: 1919000 | #Constraints: 42598
2954.64/2962.85 c #Conflicts: 1920000 | #Constraints: 43598
2954.64/2962.85 c #Conflicts: 1921000 | #Constraints: 44598
2954.64/2962.85 c #Conflicts: 1922000 | #Constraints: 45598
2954.64/2962.85 c #Conflicts: 1923000 | #Constraints: 46598
2954.64/2962.85 c #Conflicts: 1924000 | #Constraints: 47598
2954.64/2962.85 c #Conflicts: 1925000 | #Constraints: 48598
2954.64/2962.85 c #Conflicts: 1926000 | #Constraints: 49598
2954.64/2962.85 c #Conflicts: 1927000 | #Constraints: 50598
2954.64/2962.85 c #Conflicts: 1928000 | #Constraints: 51598
2954.64/2962.85 c #Conflicts: 1929000 | #Constraints: 52598
2954.64/2962.85 c #Conflicts: 1930000 | #Constraints: 53598
2954.64/2962.85 c #Conflicts: 1931000 | #Constraints: 54598
2954.64/2962.85 c #Conflicts: 1932000 | #Constraints: 55598
2954.64/2962.85 c #Conflicts: 1933000 | #Constraints: 56598
2954.64/2962.85 c #Conflicts: 1934000 | #Constraints: 57598
2954.64/2962.85 c #Conflicts: 1935000 | #Constraints: 58598
2954.64/2962.85 c #Conflicts: 1936000 | #Constraints: 59598
2954.64/2962.85 c #Conflicts: 1937000 | #Constraints: 60598
2954.64/2962.85 c INPROCESSING
2954.64/2962.85 c GARBAGE COLLECT
2954.64/2962.85 c #Conflicts: 1938000 | #Constraints: 33996
2954.64/2962.85 c #Conflicts: 1939000 | #Constraints: 34996
2954.64/2962.85 c #Conflicts: 1940000 | #Constraints: 35996
2954.64/2962.85 c #Conflicts: 1941000 | #Constraints: 36996
2954.64/2962.85 c #Conflicts: 1942000 | #Constraints: 37996
2954.64/2962.85 c #Conflicts: 1943000 | #Constraints: 38996
2954.64/2962.85 c #Conflicts: 1944000 | #Constraints: 39996
2954.64/2962.85 c #Conflicts: 1945000 | #Constraints: 40996
2954.64/2962.85 c #Conflicts: 1946000 | #Constraints: 41996
2954.64/2962.85 c #Conflicts: 1947000 | #Constraints: 42996
2954.64/2962.85 c #Conflicts: 1948000 | #Constraints: 43996
2954.64/2962.85 c #Conflicts: 1949000 | #Constraints: 44996
2954.64/2962.85 c #Conflicts: 1950000 | #Constraints: 45996
2954.64/2962.85 c #Conflicts: 1951000 | #Constraints: 46996
2954.64/2962.85 c #Conflicts: 1952000 | #Constraints: 47996
2954.64/2962.85 c #Conflicts: 1953000 | #Constraints: 48996
2954.64/2962.85 c #Conflicts: 1954000 | #Constraints: 49996
2954.64/2962.85 c #Conflicts: 1955000 | #Constraints: 50996
2954.64/2962.85 c #Conflicts: 1956000 | #Constraints: 51996
2954.64/2962.85 c #Conflicts: 1957000 | #Constraints: 52996
2954.64/2962.85 c #Conflicts: 1958000 | #Constraints: 53996
2954.64/2962.85 c #Conflicts: 1959000 | #Constraints: 54996
2954.64/2962.85 c #Conflicts: 1960000 | #Constraints: 55996
2954.64/2962.85 c #Conflicts: 1961000 | #Constraints: 56996
2954.64/2962.85 c #Conflicts: 1962000 | #Constraints: 57996
3117.14/3125.73 c #Conflicts: 1963000 | #Constraints: 58996
3117.14/3125.73 c #Conflicts: 1964000 | #Constraints: 59996
3117.14/3125.73 c #Conflicts: 1965000 | #Constraints: 60996
3117.14/3125.73 c INPROCESSING
3117.14/3125.73 c GARBAGE COLLECT
3117.14/3125.73 c #Conflicts: 1966000 | #Constraints: 34198
3117.14/3125.73 c #Conflicts: 1967000 | #Constraints: 35198
3117.14/3125.73 c #Conflicts: 1968000 | #Constraints: 36198
3117.14/3125.73 c #Conflicts: 1969000 | #Constraints: 37198
3117.14/3125.73 c #Conflicts: 1970000 | #Constraints: 38198
3117.14/3125.73 c #Conflicts: 1971000 | #Constraints: 39198
3117.14/3125.73 c #Conflicts: 1972000 | #Constraints: 40198
3117.14/3125.73 c #Conflicts: 1973000 | #Constraints: 41198
3117.14/3125.73 c #Conflicts: 1974000 | #Constraints: 42198
3117.14/3125.73 c #Conflicts: 1975000 | #Constraints: 43198
3117.14/3125.73 c #Conflicts: 1976000 | #Constraints: 44198
3117.14/3125.73 c #Conflicts: 1977000 | #Constraints: 45198
3117.14/3125.73 c #Conflicts: 1978000 | #Constraints: 46198
3117.14/3125.73 c #Conflicts: 1979000 | #Constraints: 47198
3117.14/3125.73 c #Conflicts: 1980000 | #Constraints: 48198
3117.14/3125.73 c #Conflicts: 1981000 | #Constraints: 49198
3117.14/3125.73 c #Conflicts: 1982000 | #Constraints: 50198
3117.14/3125.73 c #Conflicts: 1983000 | #Constraints: 51198
3117.14/3125.73 c #Conflicts: 1984000 | #Constraints: 52198
3117.14/3125.73 c #Conflicts: 1985000 | #Constraints: 53198
3117.14/3125.73 c #Conflicts: 1986000 | #Constraints: 54198
3117.14/3125.73 c #Conflicts: 1987000 | #Constraints: 55198
3117.14/3125.73 c #Conflicts: 1988000 | #Constraints: 56198
3117.14/3125.73 c #Conflicts: 1989000 | #Constraints: 57198
3117.14/3125.73 c #Conflicts: 1990000 | #Constraints: 58198
3117.14/3125.73 c #Conflicts: 1991000 | #Constraints: 59198
3117.14/3125.73 c #Conflicts: 1992000 | #Constraints: 60198
3117.14/3125.73 c #Conflicts: 1993000 | #Constraints: 61198
3117.14/3125.73 c INPROCESSING
3117.14/3125.73 c GARBAGE COLLECT
3117.14/3125.73 c #Conflicts: 1994000 | #Constraints: 34196
3117.14/3125.73 c #Conflicts: 1995000 | #Constraints: 35196
3117.14/3125.73 c #Conflicts: 1996000 | #Constraints: 36196
3117.14/3125.73 c #Conflicts: 1997000 | #Constraints: 37196
3117.14/3125.73 c #Conflicts: 1998000 | #Constraints: 38196
3117.14/3125.73 c #Conflicts: 1999000 | #Constraints: 39196
3117.14/3125.73 c #Conflicts: 2000000 | #Constraints: 40196
3117.14/3125.73 c #Conflicts: 2001000 | #Constraints: 41196
3117.14/3125.73 c #Conflicts: 2002000 | #Constraints: 42196
3117.14/3125.73 c #Conflicts: 2003000 | #Constraints: 43196
3117.14/3125.73 c #Conflicts: 2004000 | #Constraints: 44196
3117.14/3125.73 c #Conflicts: 2005000 | #Constraints: 45196
3117.14/3125.73 c #Conflicts: 2006000 | #Constraints: 46196
3117.14/3125.73 c #Conflicts: 2007000 | #Constraints: 47196
3117.14/3125.73 c #Conflicts: 2008000 | #Constraints: 48196
3117.14/3125.73 c #Conflicts: 2009000 | #Constraints: 49196
3117.14/3125.73 c #Conflicts: 2010000 | #Constraints: 50196
3117.14/3125.73 c #Conflicts: 2011000 | #Constraints: 51196
3117.14/3125.73 c #Conflicts: 2012000 | #Constraints: 52196
3117.14/3125.73 c #Conflicts: 2013000 | #Constraints: 53196
3117.14/3125.73 c #Conflicts: 2014000 | #Constraints: 54196
3117.14/3125.73 c #Conflicts: 2015000 | #Constraints: 55196
3117.14/3125.73 c #Conflicts: 2016000 | #Constraints: 56196
3117.14/3125.73 c #Conflicts: 2017000 | #Constraints: 57196
3117.14/3125.73 c #Conflicts: 2018000 | #Constraints: 58196
3117.14/3125.73 c #Conflicts: 2019000 | #Constraints: 59196
3117.14/3125.73 c #Conflicts: 2020000 | #Constraints: 60196
3117.14/3125.73 c #Conflicts: 2021000 | #Constraints: 61196
3117.14/3125.73 c INPROCESSING
3117.14/3125.73 c GARBAGE COLLECT
3117.14/3125.73 c #Conflicts: 2022000 | #Constraints: 33992
3117.14/3125.73 c #Conflicts: 2023000 | #Constraints: 34992
3117.14/3125.73 c #Conflicts: 2024000 | #Constraints: 35992
3117.14/3125.73 c #Conflicts: 2025000 | #Constraints: 36992
3117.14/3125.73 c #Conflicts: 2026000 | #Constraints: 37992
3117.14/3125.73 c #Conflicts: 2027000 | #Constraints: 38992
3117.14/3125.73 c #Conflicts: 2028000 | #Constraints: 39992
3117.14/3125.73 c #Conflicts: 2029000 | #Constraints: 40992
3117.14/3125.73 c #Conflicts: 2030000 | #Constraints: 41992
3117.14/3125.73 c #Conflicts: 2031000 | #Constraints: 42992
3117.14/3125.73 c #Conflicts: 2032000 | #Constraints: 43992
3117.14/3125.73 c #Conflicts: 2033000 | #Constraints: 44992
3117.14/3125.73 c #Conflicts: 2034000 | #Constraints: 45992
3117.14/3125.73 c #Conflicts: 2035000 | #Constraints: 46992
3117.14/3125.73 c #Conflicts: 2036000 | #Constraints: 47992
3117.14/3125.73 c #Conflicts: 2037000 | #Constraints: 48992
3117.14/3125.73 c #Conflicts: 2038000 | #Constraints: 49992
3117.14/3125.73 c #Conflicts: 2039000 | #Constraints: 50992
3279.00/3288.08 c #Conflicts: 2040000 | #Constraints: 51992
3279.00/3288.08 c #Conflicts: 2041000 | #Constraints: 52992
3279.00/3288.08 c #Conflicts: 2042000 | #Constraints: 53992
3279.00/3288.08 c #Conflicts: 2043000 | #Constraints: 54992
3279.00/3288.08 c #Conflicts: 2044000 | #Constraints: 55992
3279.00/3288.08 c #Conflicts: 2045000 | #Constraints: 56992
3279.00/3288.08 c #Conflicts: 2046000 | #Constraints: 57992
3279.00/3288.08 c #Conflicts: 2047000 | #Constraints: 58992
3279.00/3288.08 c #Conflicts: 2048000 | #Constraints: 59992
3279.00/3288.08 c #Conflicts: 2049000 | #Constraints: 60992
3279.00/3288.08 c #Conflicts: 2050000 | #Constraints: 61992
3279.00/3288.08 c INPROCESSING
3279.00/3288.08 c GARBAGE COLLECT
3279.00/3288.08 c #Conflicts: 2051000 | #Constraints: 34595
3279.00/3288.08 c #Conflicts: 2052000 | #Constraints: 35595
3279.00/3288.08 c #Conflicts: 2053000 | #Constraints: 36595
3279.00/3288.08 c #Conflicts: 2054000 | #Constraints: 37595
3279.00/3288.08 c #Conflicts: 2055000 | #Constraints: 38595
3279.00/3288.08 c #Conflicts: 2056000 | #Constraints: 39595
3279.00/3288.08 c #Conflicts: 2057000 | #Constraints: 40595
3279.00/3288.08 c #Conflicts: 2058000 | #Constraints: 41595
3279.00/3288.08 c #Conflicts: 2059000 | #Constraints: 42595
3279.00/3288.08 c #Conflicts: 2060000 | #Constraints: 43595
3279.00/3288.08 c #Conflicts: 2061000 | #Constraints: 44595
3279.00/3288.08 c #Conflicts: 2062000 | #Constraints: 45595
3279.00/3288.08 c #Conflicts: 2063000 | #Constraints: 46595
3279.00/3288.08 c #Conflicts: 2064000 | #Constraints: 47595
3279.00/3288.08 c #Conflicts: 2065000 | #Constraints: 48595
3279.00/3288.08 c #Conflicts: 2066000 | #Constraints: 49595
3279.00/3288.08 c #Conflicts: 2067000 | #Constraints: 50595
3279.00/3288.08 c #Conflicts: 2068000 | #Constraints: 51595
3279.00/3288.08 c #Conflicts: 2069000 | #Constraints: 52595
3279.00/3288.08 c #Conflicts: 2070000 | #Constraints: 53595
3279.00/3288.08 c #Conflicts: 2071000 | #Constraints: 54595
3279.00/3288.08 c #Conflicts: 2072000 | #Constraints: 55595
3279.00/3288.08 c #Conflicts: 2073000 | #Constraints: 56595
3279.00/3288.08 c #Conflicts: 2074000 | #Constraints: 57595
3279.00/3288.08 c #Conflicts: 2075000 | #Constraints: 58595
3279.00/3288.08 c #Conflicts: 2076000 | #Constraints: 59595
3279.00/3288.08 c #Conflicts: 2077000 | #Constraints: 60595
3279.00/3288.08 c #Conflicts: 2078000 | #Constraints: 61595
3279.00/3288.08 c #Conflicts: 2079000 | #Constraints: 62595
3279.00/3288.08 c INPROCESSING
3279.00/3288.08 c GARBAGE COLLECT
3279.00/3288.08 c #Conflicts: 2080000 | #Constraints: 34995
3279.00/3288.08 c #Conflicts: 2081000 | #Constraints: 35995
3279.00/3288.08 c #Conflicts: 2082000 | #Constraints: 36995
3279.00/3288.08 c #Conflicts: 2083000 | #Constraints: 37995
3279.00/3288.08 c #Conflicts: 2084000 | #Constraints: 38995
3279.00/3288.08 c #Conflicts: 2085000 | #Constraints: 39995
3279.00/3288.08 c #Conflicts: 2086000 | #Constraints: 40995
3279.00/3288.08 c #Conflicts: 2087000 | #Constraints: 41995
3279.00/3288.08 c #Conflicts: 2088000 | #Constraints: 42995
3279.00/3288.08 c #Conflicts: 2089000 | #Constraints: 43995
3279.00/3288.08 c #Conflicts: 2090000 | #Constraints: 44995
3279.00/3288.08 c #Conflicts: 2091000 | #Constraints: 45995
3279.00/3288.08 c #Conflicts: 2092000 | #Constraints: 46995
3279.00/3288.08 c #Conflicts: 2093000 | #Constraints: 47995
3279.00/3288.08 c #Conflicts: 2094000 | #Constraints: 48995
3279.00/3288.08 c #Conflicts: 2095000 | #Constraints: 49995
3279.00/3288.08 c #Conflicts: 2096000 | #Constraints: 50995
3279.00/3288.08 c #Conflicts: 2097000 | #Constraints: 51995
3279.00/3288.08 c #Conflicts: 2098000 | #Constraints: 52995
3279.00/3288.08 c #Conflicts: 2099000 | #Constraints: 53995
3279.00/3288.08 c #Conflicts: 2100000 | #Constraints: 54995
3279.00/3288.08 c #Conflicts: 2101000 | #Constraints: 55995
3279.00/3288.08 c #Conflicts: 2102000 | #Constraints: 56995
3279.00/3288.08 c #Conflicts: 2103000 | #Constraints: 57995
3279.00/3288.08 c #Conflicts: 2104000 | #Constraints: 58995
3279.00/3288.08 c #Conflicts: 2105000 | #Constraints: 59995
3279.00/3288.08 c #Conflicts: 2106000 | #Constraints: 60995
3279.00/3288.08 c #Conflicts: 2107000 | #Constraints: 61995
3279.00/3288.08 c #Conflicts: 2108000 | #Constraints: 62995
3279.00/3288.08 c INPROCESSING
3279.00/3288.08 c GARBAGE COLLECT
3279.00/3288.08 c #Conflicts: 2109000 | #Constraints: 35197
3279.00/3288.08 c #Conflicts: 2110000 | #Constraints: 36197
3279.00/3288.08 c #Conflicts: 2111000 | #Constraints: 37197
3279.00/3288.08 c #Conflicts: 2112000 | #Constraints: 38197
3279.00/3288.08 c #Conflicts: 2113000 | #Constraints: 39197
3279.00/3288.08 c #Conflicts: 2114000 | #Constraints: 40197
3279.00/3288.08 c #Conflicts: 2115000 | #Constraints: 41197
3279.00/3288.08 c #Conflicts: 2116000 | #Constraints: 42197
3436.58/3446.07 c #Conflicts: 2117000 | #Constraints: 43197
3436.58/3446.07 c #Conflicts: 2118000 | #Constraints: 44197
3436.58/3446.07 c #Conflicts: 2119000 | #Constraints: 45197
3436.58/3446.07 c #Conflicts: 2120000 | #Constraints: 46197
3436.58/3446.07 c #Conflicts: 2121000 | #Constraints: 47197
3436.58/3446.07 c #Conflicts: 2122000 | #Constraints: 48197
3436.58/3446.07 c #Conflicts: 2123000 | #Constraints: 49197
3436.58/3446.07 c #Conflicts: 2124000 | #Constraints: 50197
3436.58/3446.07 c #Conflicts: 2125000 | #Constraints: 51197
3436.58/3446.07 c #Conflicts: 2126000 | #Constraints: 52197
3436.58/3446.07 c #Conflicts: 2127000 | #Constraints: 53197
3436.58/3446.07 c #Conflicts: 2128000 | #Constraints: 54197
3436.58/3446.07 c #Conflicts: 2129000 | #Constraints: 55197
3436.58/3446.07 c #Conflicts: 2130000 | #Constraints: 56197
3436.58/3446.07 c #Conflicts: 2131000 | #Constraints: 57197
3436.58/3446.07 c #Conflicts: 2132000 | #Constraints: 58197
3436.58/3446.07 c #Conflicts: 2133000 | #Constraints: 59197
3436.58/3446.07 c #Conflicts: 2134000 | #Constraints: 60197
3436.58/3446.07 c #Conflicts: 2135000 | #Constraints: 61197
3436.58/3446.07 c #Conflicts: 2136000 | #Constraints: 62197
3436.58/3446.07 c #Conflicts: 2137000 | #Constraints: 63197
3436.58/3446.07 c INPROCESSING
3436.58/3446.07 c GARBAGE COLLECT
3436.58/3446.07 c #Conflicts: 2138000 | #Constraints: 35200
3436.58/3446.07 c #Conflicts: 2139000 | #Constraints: 36200
3436.58/3446.07 c #Conflicts: 2140000 | #Constraints: 37200
3436.58/3446.07 c #Conflicts: 2141000 | #Constraints: 38200
3436.58/3446.07 c #Conflicts: 2142000 | #Constraints: 39200
3436.58/3446.07 c #Conflicts: 2143000 | #Constraints: 40200
3436.58/3446.07 c #Conflicts: 2144000 | #Constraints: 41200
3436.58/3446.07 c #Conflicts: 2145000 | #Constraints: 42200
3436.58/3446.07 c #Conflicts: 2146000 | #Constraints: 43200
3436.58/3446.07 c #Conflicts: 2147000 | #Constraints: 44200
3436.58/3446.07 c #Conflicts: 2148000 | #Constraints: 45200
3436.58/3446.07 c #Conflicts: 2149000 | #Constraints: 46200
3436.58/3446.07 c #Conflicts: 2150000 | #Constraints: 47200
3436.58/3446.07 c #Conflicts: 2151000 | #Constraints: 48200
3436.58/3446.07 c #Conflicts: 2152000 | #Constraints: 49200
3436.58/3446.07 c #Conflicts: 2153000 | #Constraints: 50200
3436.58/3446.07 c #Conflicts: 2154000 | #Constraints: 51200
3436.58/3446.07 c #Conflicts: 2155000 | #Constraints: 52200
3436.58/3446.07 c #Conflicts: 2156000 | #Constraints: 53200
3436.58/3446.07 c #Conflicts: 2157000 | #Constraints: 54200
3436.58/3446.07 c #Conflicts: 2158000 | #Constraints: 55200
3436.58/3446.07 c #Conflicts: 2159000 | #Constraints: 56200
3436.58/3446.07 c #Conflicts: 2160000 | #Constraints: 57200
3436.58/3446.07 c #Conflicts: 2161000 | #Constraints: 58200
3436.58/3446.07 c #Conflicts: 2162000 | #Constraints: 59200
3436.58/3446.07 c #Conflicts: 2163000 | #Constraints: 60200
3436.58/3446.07 c #Conflicts: 2164000 | #Constraints: 61200
3436.58/3446.07 c #Conflicts: 2165000 | #Constraints: 62200
3436.58/3446.07 c #Conflicts: 2166000 | #Constraints: 63200
3436.58/3446.07 c INPROCESSING
3436.58/3446.07 c GARBAGE COLLECT
3436.58/3446.07 c #Conflicts: 2167000 | #Constraints: 34999
3436.58/3446.07 c #Conflicts: 2168000 | #Constraints: 35999
3436.58/3446.07 c #Conflicts: 2169000 | #Constraints: 36999
3436.58/3446.07 c #Conflicts: 2170000 | #Constraints: 37999
3436.58/3446.07 c #Conflicts: 2171000 | #Constraints: 38999
3436.58/3446.07 c #Conflicts: 2172000 | #Constraints: 39999
3436.58/3446.07 c #Conflicts: 2173000 | #Constraints: 40999
3436.58/3446.07 c #Conflicts: 2174000 | #Constraints: 41999
3436.58/3446.07 c #Conflicts: 2175000 | #Constraints: 42999
3436.58/3446.07 c #Conflicts: 2176000 | #Constraints: 43999
3436.58/3446.07 c #Conflicts: 2177000 | #Constraints: 44999
3436.58/3446.07 c #Conflicts: 2178000 | #Constraints: 45999
3436.58/3446.07 c #Conflicts: 2179000 | #Constraints: 46999
3436.58/3446.07 c #Conflicts: 2180000 | #Constraints: 47999
3436.58/3446.07 c #Conflicts: 2181000 | #Constraints: 48999
3436.58/3446.07 c #Conflicts: 2182000 | #Constraints: 49999
3436.58/3446.07 c #Conflicts: 2183000 | #Constraints: 50999
3436.58/3446.07 c #Conflicts: 2184000 | #Constraints: 51999
3436.58/3446.07 c #Conflicts: 2185000 | #Constraints: 52999
3436.58/3446.07 c #Conflicts: 2186000 | #Constraints: 53999
3436.58/3446.07 c #Conflicts: 2187000 | #Constraints: 54999
3436.58/3446.07 c #Conflicts: 2188000 | #Constraints: 55999
3436.58/3446.07 c #Conflicts: 2189000 | #Constraints: 56999
3436.58/3446.07 c #Conflicts: 2190000 | #Constraints: 57999
3436.58/3446.07 c #Conflicts: 2191000 | #Constraints: 58999
3436.58/3446.07 c #Conflicts: 2192000 | #Constraints: 59999
3436.58/3446.07 c #Conflicts: 2193000 | #Constraints: 60999
3586.85/3596.72 c #Conflicts: 2194000 | #Constraints: 61999
3586.85/3596.72 c #Conflicts: 2195000 | #Constraints: 62999
3586.85/3596.72 c #Conflicts: 2196000 | #Constraints: 63999
3586.85/3596.72 c INPROCESSING
3586.85/3596.72 c GARBAGE COLLECT
3586.85/3596.72 c #Conflicts: 2197000 | #Constraints: 35600
3586.85/3596.72 c #Conflicts: 2198000 | #Constraints: 36600
3586.85/3596.72 c #Conflicts: 2199000 | #Constraints: 37600
3586.85/3596.72 c #Conflicts: 2200000 | #Constraints: 38600
3586.85/3596.72 c #Conflicts: 2201000 | #Constraints: 39600
3586.85/3596.72 c #Conflicts: 2202000 | #Constraints: 40600
3586.85/3596.72 c #Conflicts: 2203000 | #Constraints: 41600
3586.85/3596.72 c #Conflicts: 2204000 | #Constraints: 42600
3586.85/3596.72 c #Conflicts: 2205000 | #Constraints: 43600
3586.85/3596.72 c #Conflicts: 2206000 | #Constraints: 44600
3586.85/3596.72 c #Conflicts: 2207000 | #Constraints: 45600
3586.85/3596.72 c #Conflicts: 2208000 | #Constraints: 46600
3586.85/3596.72 c #Conflicts: 2209000 | #Constraints: 47600
3586.85/3596.72 c #Conflicts: 2210000 | #Constraints: 48600
3586.85/3596.72 c #Conflicts: 2211000 | #Constraints: 49600
3586.85/3596.72 c #Conflicts: 2212000 | #Constraints: 50600
3586.85/3596.72 c #Conflicts: 2213000 | #Constraints: 51600
3586.85/3596.72 c #Conflicts: 2214000 | #Constraints: 52600
3586.85/3596.72 c #Conflicts: 2215000 | #Constraints: 53600
3586.85/3596.72 c #Conflicts: 2216000 | #Constraints: 54600
3586.85/3596.72 c #Conflicts: 2217000 | #Constraints: 55600
3586.85/3596.72 c #Conflicts: 2218000 | #Constraints: 56600
3586.85/3596.72 c #Conflicts: 2219000 | #Constraints: 57600
3586.85/3596.72 c #Conflicts: 2220000 | #Constraints: 58600
3586.85/3596.72 c #Conflicts: 2221000 | #Constraints: 59600
3586.85/3596.72 c #Conflicts: 2222000 | #Constraints: 60600
3586.85/3596.72 c #Conflicts: 2223000 | #Constraints: 61600
3586.85/3596.72 c #Conflicts: 2224000 | #Constraints: 62600
3586.85/3596.72 c #Conflicts: 2225000 | #Constraints: 63600
3586.85/3596.72 c #Conflicts: 2226000 | #Constraints: 64600
3586.85/3596.72 c INPROCESSING
3586.85/3596.72 c GARBAGE COLLECT
3586.85/3596.72 c #Conflicts: 2227000 | #Constraints: 35998
3586.85/3596.72 c #Conflicts: 2228000 | #Constraints: 36998
3586.85/3596.72 c #Conflicts: 2229000 | #Constraints: 37998
3586.85/3596.72 c #Conflicts: 2230000 | #Constraints: 38998
3586.85/3596.72 c #Conflicts: 2231000 | #Constraints: 39998
3586.85/3596.72 c #Conflicts: 2232000 | #Constraints: 40998
3586.85/3596.72 c #Conflicts: 2233000 | #Constraints: 41998
3586.85/3596.72 c #Conflicts: 2234000 | #Constraints: 42998
3586.85/3596.72 c #Conflicts: 2235000 | #Constraints: 43998
3586.85/3596.72 c #Conflicts: 2236000 | #Constraints: 44998
3586.85/3596.72 c #Conflicts: 2237000 | #Constraints: 45998
3586.85/3596.72 c #Conflicts: 2238000 | #Constraints: 46998
3586.85/3596.72 c #Conflicts: 2239000 | #Constraints: 47998
3586.85/3596.72 c #Conflicts: 2240000 | #Constraints: 48998
3586.85/3596.72 c #Conflicts: 2241000 | #Constraints: 49998
3586.85/3596.72 c #Conflicts: 2242000 | #Constraints: 50998
3586.85/3596.72 c #Conflicts: 2243000 | #Constraints: 51998
3586.85/3596.72 c #Conflicts: 2244000 | #Constraints: 52998
3586.85/3596.72 c #Conflicts: 2245000 | #Constraints: 53998
3586.85/3596.72 c #Conflicts: 2246000 | #Constraints: 54998
3586.85/3596.72 c #Conflicts: 2247000 | #Constraints: 55998
3586.85/3596.72 c #Conflicts: 2248000 | #Constraints: 56998
3586.85/3596.72 c #Conflicts: 2249000 | #Constraints: 57998
3586.85/3596.72 c #Conflicts: 2250000 | #Constraints: 58998
3586.85/3596.72 c #Conflicts: 2251000 | #Constraints: 59998
3586.85/3596.72 c #Conflicts: 2252000 | #Constraints: 60998
3586.85/3596.72 c #Conflicts: 2253000 | #Constraints: 61998
3586.85/3596.72 c #Conflicts: 2254000 | #Constraints: 62998
3586.85/3596.72 c #Conflicts: 2255000 | #Constraints: 63998
3586.85/3596.72 c #Conflicts: 2256000 | #Constraints: 64998
3586.85/3596.72 c INPROCESSING
3586.85/3596.72 c GARBAGE COLLECT
3586.85/3596.72 c #Conflicts: 2257000 | #Constraints: 36197
3586.85/3596.72 c #Conflicts: 2258000 | #Constraints: 37197
3586.85/3596.72 c #Conflicts: 2259000 | #Constraints: 38197
3586.85/3596.72 c #Conflicts: 2260000 | #Constraints: 39197
3586.85/3596.72 c #Conflicts: 2261000 | #Constraints: 40197
3586.85/3596.72 c #Conflicts: 2262000 | #Constraints: 41197
3586.85/3596.72 c #Conflicts: 2263000 | #Constraints: 42197
3586.85/3596.72 c #Conflicts: 2264000 | #Constraints: 43197
3586.85/3596.72 c #Conflicts: 2265000 | #Constraints: 44197
3586.85/3596.72 c #Conflicts: 2266000 | #Constraints: 45197
3586.85/3596.72 c #Conflicts: 2267000 | #Constraints: 46197
3586.85/3596.72 c #Conflicts: 2268000 | #Constraints: 47197
3586.85/3596.72 c #Conflicts: 2269000 | #Constraints: 48197
3586.85/3596.72 c #Conflicts: 2270000 | #Constraints: 49197
3600.02/3609.90 c #Conflicts: 2271000 | #Constraints: 50197
3600.02/3609.90 c #Conflicts: 2272000 | #Constraints: 51197
3600.02/3609.90 c #Conflicts: 2273000 | #Constraints: 52197
3600.02/3609.90 c #Conflicts: 2274000 | #Constraints: 53197
3600.02/3609.90 c #Conflicts: 2275000 | #Constraints: 54197
3600.02/3609.90 c #Conflicts: 2276000 | #Constraints: 55197
3600.02/3609.90 c Program interrupted by user.
3600.02/3609.90 c cpu time 3580.69 s
3600.02/3609.90 c deterministic time 236298306838 2.36e+11
3600.02/3609.90 c optimization time 34.2811 s
3600.02/3609.90 c total solve time 3247.29 s
3600.02/3609.90 c core-guided solve time 3247.29 s
3600.02/3609.90 c propagation time 2758.05 s
3600.02/3609.90 c conflict analysis time 477.59 s
3600.02/3609.90 c propagations 155840521
3600.02/3609.90 c resolve steps 9411487
3600.02/3609.90 c decisions 12109063
3600.02/3609.90 c conflicts 2276294
3600.02/3609.90 c restarts 4094
3600.02/3609.90 c inprocessing phases 141
3600.02/3609.90 c input clauses 5376
3600.02/3609.90 c input cardinalities 8
3600.02/3609.90 c input general constraints 0
3600.02/3609.90 c input average constraint length 10.78
3600.02/3609.90 c input average constraint degree 1.04
3600.02/3609.90 c learned clauses 702588
3600.02/3609.90 c learned cardinalities 18287
3600.02/3609.90 c learned general constraints 1555418
3600.02/3609.90 c learned average constraint length 117.75
3600.02/3609.90 c learned average constraint degree 361.58
3600.02/3609.90 c watched constraints 245373
3600.02/3609.90 c counting constraints 1310045
3600.02/3609.90 c gcd simplifications 66401
3600.02/3609.90 c detected cardinalities 345
3600.02/3609.90 c weakened non-implied lits 95983723
3600.02/3609.90 c weakened non-implying lits 97340
3600.02/3609.90 c original variables 214
3600.02/3609.90 c clausal propagations 9929341
3600.02/3609.90 c cardinality propagations 4721977
3600.02/3609.90 c watched propagations 2880069
3600.02/3609.90 c counting propagations 131134959
3600.02/3609.90 c watch lookups 106376532274
3600.02/3609.90 c watch backjump lookups 96823320800
3600.02/3609.90 c watch checks 27826750091
3600.02/3609.90 c propagation checks 3936074480
3600.02/3609.90 c constraint additions 997453942
3600.02/3609.90 c trail pops 170225666
3600.02/3609.90 c formula constraints 5375
3600.02/3609.90 c learned constraints 2276293
3600.02/3609.90 c bound constraints 9
3600.02/3609.90 c core-guided constraints 0
3600.02/3609.90 c encountered formula constraints 4994296
3600.02/3609.90 c encountered learned constraints 6693381
3600.02/3609.90 c encountered bound constraints 104
3600.02/3609.90 c encountered core-guided constraints 0
3600.02/3609.90 c LP total time 0 s
3600.02/3609.90 c LP solve time 0 s
3600.02/3609.90 c LP constraints added 0
3600.02/3609.90 c LP constraints removed 0
3600.02/3609.90 c LP pivots internal 0
3600.02/3609.90 c LP pivots root 0
3600.02/3609.90 c LP calls 0
3600.02/3609.90 c LP optimalities 0
3600.02/3609.90 c LP no pivot count 0
3600.02/3609.90 c LP infeasibilities 0
3600.02/3609.90 c LP valid Farkas constraints 0
3600.02/3609.90 c LP learned Farkas constraints 0
3600.02/3609.90 c LP basis resets 0
3600.02/3609.90 c LP cycling count 0
3600.02/3609.90 c LP singular count 0
3600.02/3609.90 c LP no primal count 0
3600.02/3609.90 c LP no farkas count 0
3600.02/3609.90 c LP other issue count 0
3600.02/3609.90 c LP Gomory cuts 0
3600.02/3609.90 c LP learned cuts 0
3600.02/3609.90 c LP deleted cuts 0
3600.02/3609.90 c LP encountered Gomory constraints 0
3600.02/3609.90 c LP encountered Farkas constraints 0
3600.02/3609.90 c LP encountered learned Farkas constraints 0
3600.02/3609.90 c CG auxiliary variables introduced 0
3600.02/3609.90 c CG solutions found 0
3600.02/3609.90 c CG cores constructed 8
3600.02/3609.90 c CG core cardinality constraints returned 0
3600.02/3609.90 c CG unit cores 0
3600.02/3609.90 c CG single cores 8
3600.02/3609.90 c CG blocks removed during cardinality reduction 0
3600.02/3609.90 c CG first core best 0
3600.02/3609.90 c CG decision core best 0
3600.02/3609.90 c CG core reduction tie 0
3600.02/3609.90 c CG core degree average 1.00
3600.02/3609.90 c CG core slack average 18.75
3600.02/3609.90 c CG exhausted 0
3600.02/3609.90 c CG exhaust time 0 s
3600.02/3609.90 c CG trimmed 0
3600.02/3609.90 c CG trim time 0.00019 s
3600.02/3609.90 c CG minimized 0
3600.02/3609.90 c CG minimize time 0 s
3600.02/3609.90 c CG am1 prop time 0.000354 s
3600.02/3609.90 c CG # am1s reformulated 0
3600.02/3609.90 c CG lower bound derived from am1s 0
3600.02/3609.90 c CG # clausal cores 8
3600.02/3609.90 c CG # cardinality cores 0
3600.02/3609.90 c CG # pb cores 0
3600.02/3609.90 c CG # pb reforms 0
3600.02/3609.90 c CG # cores discarded because of pb reform 0
3600.02/3609.90 d LOWERBOUND 8
3600.02/3609.90 d NCORES 8
3600.02/3609.90 d NPBCORES 0
3600.02/3609.90 d NPBREFORM 0
3600.02/3609.90 d NTRIMMED 0
3600.02/3609.90 d NEXHAUSTED 0
3600.02/3609.90 d NAM1S 0
3600.02/3609.90 d AM1LB 0
3600.02/3609.90 c [Papilo Statistics]
3600.02/3609.90 c prepro time 0.00806772s
3600.02/3609.90 c # tsx applied 0
3600.02/3609.90 c # tsx conflicts 0
3600.02/3609.90 c # bound changes 0
3600.02/3609.90 c # side changes 0
3600.02/3609.90 c # coef changes 0
3600.02/3609.90 c # rounds 1
3600.02/3609.90 c # deted vars 0
3600.02/3609.90 c # deted constrs 0
3600.02/3609.90 c # consecutive rounds of only bound changes 0
3600.02/3609.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60119 MiB free)
memory of node 1: 64473 MiB (31733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459203-1721872348/watcher-4459203-1721872348 -o /tmp/evaluation-result-4459203-1721872348/solver-4459203-1721872348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207852 --watchdog 3760 mixed-bag HOME/instance-4459203-1721872348.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=213485, runsolver pid=213482
[startup+0.100102 s]*
/proc/loadavg: 4.14 4.12 4.11 5/243 213486
/proc/meminfo: memFree=94029060/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=111588 memory=43948 CPUtime=0.11 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 9850 0 0 0 9 2 0 0 20 0 1 0 23223794 114266112 10987 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 27897 10987 3851 3002 0 11648 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 111588 KiB
Current children cumulated memory: 43948 KiB
[startup+0.213566 s]*
/proc/loadavg: 4.14 4.12 4.11 5/243 213486
/proc/meminfo: memFree=94002996/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=151292 memory=80272 CPUtime=0.21 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 18414 0 0 0 18 3 0 0 20 0 1 0 23223794 154923008 20068 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 37823 20068 3955 3002 0 21574 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 151292 KiB
Current children cumulated memory: 80272 KiB
[startup+0.313155 s]*
/proc/loadavg: 4.14 4.12 4.11 5/243 213486
/proc/meminfo: memFree=93991796/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=151292 memory=80272 CPUtime=0.31 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 18422 0 0 0 28 3 0 0 20 0 1 0 23223794 154923008 20068 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 37823 20068 3955 3002 0 21574 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 151292 KiB
Current children cumulated memory: 80272 KiB
[startup+0.700293 s]
/proc/loadavg: 4.14 4.12 4.11 5/243 213486
/proc/meminfo: memFree=93980568/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=183052 memory=107212 CPUtime=0.68 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 25001 0 0 0 64 4 0 0 20 0 1 0 23223794 187445248 26803 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 45763 26803 4099 3002 0 29514 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 183052 KiB
Current children cumulated memory: 107212 KiB
[startup+1.50035 s]
/proc/loadavg: 4.14 4.12 4.11 5/243 213486
/proc/meminfo: memFree=93944960/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=240112 memory=154788 CPUtime=1.48 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 36917 0 0 0 142 6 0 0 20 0 1 0 23223794 245874688 38697 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 60028 38697 4114 3002 0 43779 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 240112 KiB
Current children cumulated memory: 154788 KiB
[startup+3.113 s]
/proc/loadavg: 4.14 4.12 4.11 5/243 213487
/proc/meminfo: memFree=93916372/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=241060 memory=155844 CPUtime=3.1 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 37142 0 0 0 303 7 0 0 20 0 1 0 23223794 246845440 38961 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 60265 38961 4114 3002 0 44016 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 241060 KiB
Current children cumulated memory: 155844 KiB
[startup+6.30033 s]
/proc/loadavg: 4.13 4.11 4.10 5/243 213487
/proc/meminfo: memFree=93916344/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=241272 memory=156108 CPUtime=6.27 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 37214 0 0 0 620 7 0 0 20 0 1 0 23223794 247062528 39027 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 60318 39027 4114 3002 0 44069 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 241272 KiB
Current children cumulated memory: 156108 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.10 5/243 213487
/proc/meminfo: memFree=93915920/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=241272 memory=156108 CPUtime=12.65 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 37254 0 0 0 1257 8 0 0 20 0 1 0 23223794 247062528 39027 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 60318 39027 4114 3002 0 44069 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 241272 KiB
Current children cumulated memory: 156108 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.12 4.11 5/243 213490
/proc/meminfo: memFree=93914964/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=246184 memory=161968 CPUtime=25.42 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 38696 0 0 0 2532 10 0 0 20 0 1 0 23223794 252092416 40492 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 61546 40492 4131 3002 0 45297 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 246184 KiB
Current children cumulated memory: 161968 KiB
[startup+51.113 s]
/proc/loadavg: 4.11 4.11 4.10 5/243 213493
/proc/meminfo: memFree=93886072/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=271688 memory=185988 CPUtime=50.96 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 44675 0 0 0 5083 13 0 0 20 0 1 0 23223794 278208512 46497 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 67922 46497 4131 3002 0 51673 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 271688 KiB
Current children cumulated memory: 185988 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 213502
/proc/meminfo: memFree=93854948/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=307484 memory=216512 CPUtime=102.01 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 52364 0 0 0 10183 18 0 0 20 0 1 0 23223794 314863616 54128 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 76871 54128 4131 3002 0 60622 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 307484 KiB
Current children cumulated memory: 216512 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/243 213513
/proc/meminfo: memFree=93851184/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=310056 memory=219944 CPUtime=161.85 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 53200 0 0 0 16164 21 0 0 20 0 1 0 23223794 317497344 54986 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 77514 54986 4131 3002 0 61265 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 310056 KiB
Current children cumulated memory: 219944 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/245 213907
/proc/meminfo: memFree=93828828/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=334020 memory=241856 CPUtime=221.68 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 58691 0 0 0 22143 25 0 0 20 0 1 0 23223794 342036480 60464 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 83505 60464 4131 3002 0 67256 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 334020 KiB
Current children cumulated memory: 241856 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/243 213917
/proc/meminfo: memFree=93805528/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=358748 memory=264840 CPUtime=281.51 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 64412 0 0 0 28119 32 0 0 20 0 1 0 23223794 367357952 66210 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 89687 66210 4131 3002 0 73438 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 358748 KiB
Current children cumulated memory: 264840 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/243 214020
/proc/meminfo: memFree=93606956/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=313700 memory=226072 CPUtime=341.34 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 67153 0 0 0 33993 141 0 0 20 0 1 0 23223794 321228800 56518 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 78425 56518 4243 3002 0 62176 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 313700 KiB
Current children cumulated memory: 226072 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/243 214198
/proc/meminfo: memFree=93603204/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=313700 memory=228876 CPUtime=401.12 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 67369 0 0 0 39890 222 0 0 20 0 1 0 23223794 321228800 57219 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 78425 57219 4243 3002 0 62176 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 313700 KiB
Current children cumulated memory: 228876 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/243 214209
/proc/meminfo: memFree=92956528/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=325376 memory=232236 CPUtime=460.92 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 67695 0 0 0 45803 289 0 0 20 0 1 0 23223794 333185024 58059 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 81344 58059 4243 3002 0 65095 0
################
# More data... #
################
Current children cumulated memory: 291836 KiB
[startup+2922.3 s]
/proc/loadavg: 3.19 3.31 3.46 4/237 215628
/proc/meminfo: memFree=119690512/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=291836 CPUtime=2914.24 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 70667 0 0 0 289735 1689 0 0 20 0 1 0 23223794 384167936 72959 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 72959 4243 3002 0 77542 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 291836 KiB
[startup+2982.3 s]
/proc/loadavg: 3.13 3.27 3.44 4/237 215639
/proc/meminfo: memFree=119688156/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=291836 CPUtime=2974.09 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 70751 0 0 0 295697 1712 0 0 20 0 1 0 23223794 384167936 72959 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 72959 4243 3002 0 77542 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 291836 KiB
[startup+3042.3 s]
/proc/loadavg: 3.15 3.25 3.42 4/237 215650
/proc/meminfo: memFree=119644512/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=291836 CPUtime=3033.96 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 70837 0 0 0 301662 1734 0 0 20 0 1 0 23223794 384167936 72959 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 72959 4243 3002 0 77542 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 291836 KiB
[startup+3102.3 s]
/proc/loadavg: 3.11 3.22 3.40 4/236 215660
/proc/meminfo: memFree=119639648/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3093.8 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 70924 0 0 0 307622 1758 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.20 3.38 4/236 215670
/proc/meminfo: memFree=119637252/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3153.63 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71011 0 0 0 313585 1778 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.18 3.36 4/234 215681
/proc/meminfo: memFree=119633056/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3213.47 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71098 0 0 0 319545 1802 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3282.3 s]
/proc/loadavg: 3.25 3.21 3.36 4/234 215691
/proc/meminfo: memFree=119626616/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3273.31 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71185 0 0 0 325508 1823 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3342.3 s]
/proc/loadavg: 3.21 3.20 3.35 4/237 215706
/proc/meminfo: memFree=119618700/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3333.15 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71273 0 0 0 331470 1845 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.18 3.33 4/237 215716
/proc/meminfo: memFree=119601504/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3392.99 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71362 0 0 0 337439 1860 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.17 3.32 4/237 215727
/proc/meminfo: memFree=119583472/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3452.82 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71452 0 0 0 343397 1885 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.17 3.30 4/237 215739
/proc/meminfo: memFree=119552472/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=293884 CPUtime=3512.66 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71541 0 0 0 349359 1907 0 0 20 0 1 0 23223794 384167936 73471 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 73471 4243 3002 0 77542 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 293884 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.15 3.29 4/237 215751
/proc/meminfo: memFree=119513184/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=297980 CPUtime=3572.5 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71634 0 0 0 355324 1926 0 0 20 0 1 0 23223794 384167936 74495 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 74495 4243 3002 0 77542 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 297980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.14 3.15 3.28 4/237 215756
/proc/meminfo: memFree=119490896/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=297980 CPUtime=3600.02 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71635 0 0 0 358069 1933 0 0 20 0 1 0 23223794 384167936 74495 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 74495 4243 3002 0 77542 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 297980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 213485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.69 s, system=19.3418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.14 3.15 3.28 4/237 215756
/proc/meminfo: memFree=119490896/131655788 swapFree=131071472/131071996
[pid=213485] ppid=213482 vsize=375164 memory=297980 CPUtime=3600.02 cores=4,6
/proc/213485/stat : 213485 (mixed-bag) R 213482 213485 207841 0 -1 4194304 71635 0 0 0 358069 1933 0 0 20 0 1 0 23223794 384167936 74495 134679101440 4194304 16487941 140725767957392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38244352 140725767963671 140725767963748 140725767963748 140725767970763 0
/proc/213485/statm: 93791 74495 4243 3002 0 77542 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 375164 KiB
Current children cumulated memory: 297980 KiB
Child status: 0
Real time (s): 3609.9
CPU time (s): 3600.03
CPU user time (s): 3580.69
CPU system time (s): 19.3418
CPU usage (%): 99.7266
Max. virtual memory (cumulated for all children) (KiB): 375164
Max. memory (cumulated for all children) (KiB): 297980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.69
system time used= 19.3418
maximum resident set size= 298760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71659
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= 67
involuntary context switches= 1296
# summary of solver processes directly reported to runsolver:
# pid: 213485
# total CPU time (s): 3600.03
# total CPU user time (s): 3580.69
# total CPU system time (s): 19.3418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3885 second user time and 36.2552 second system time
The end
Begin job on nodeC004 at 2024-07-25 03:52:28
IDJOB=4459203
IDBENCH=178614
IDSOLVER=3066
FILE ID=nodeC004/4459203-1721872348
RUNJOBID= nodeC004-1721865123-207852
SLURM_JOB_ID= 8089202
Free space on /tmp= 723536 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459203-1721872348/watcher-4459203-1721872348 -o /tmp/evaluation-result-4459203-1721872348/solver-4459203-1721872348 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207852 --watchdog 3760 mixed-bag HOME/instance-4459203-1721872348.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=1891169554
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3516.458
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.065
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.454
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.369
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3523.330
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.281
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.472
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 94057648 kB
MemAvailable: 100842364 kB
Buffers: 293720 kB
Cached: 7285248 kB
SwapCached: 60 kB
Active: 2819556 kB
Inactive: 34089108 kB
Active(anon): 1436 kB
Inactive(anon): 29382128 kB
Active(file): 2818120 kB
Inactive(file): 4706980 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 16764 kB
Writeback: 0 kB
AnonPages: 29326172 kB
Mapped: 147252 kB
Shmem: 53860 kB
KReclaimable: 199628 kB
Slab: 311744 kB
SReclaimable: 199628 kB
SUnreclaim: 112116 kB
KernelStack: 3872 kB
PageTables: 67264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 32750520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12957696 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC004 at 2024-07-25 04:52:39