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.10 c [STEP] preprocessing with Papilo
0.10/0.11 c Papilo could not simplify the problem
0.10/0.11 c [STEP] solving with SCIP
299.33/300.40 c [STEP] preprocessing done, loading into solver
299.33/300.41 c [STEP] solving
299.33/300.41 c #variables 215 #constraints 5375
299.33/300.41 c SMALL=int, LARGE=long long
299.33/300.41 d SCIPUB 22
299.33/300.41 c bounds - >= 0 @ 298.888
299.33/300.41 c stratification level: 0
318.07/319.22 c bounds - >= 1 @ 298.89
318.07/319.22 c bounds - >= 2 @ 298.89
318.07/319.22 c bounds - >= 3 @ 298.89
318.07/319.22 c bounds - >= 4 @ 298.89
318.07/319.22 c bounds - >= 5 @ 298.891
318.07/319.22 c bounds - >= 6 @ 298.891
318.07/319.22 c bounds - >= 7 @ 298.891
318.07/319.22 c bounds - >= 8 @ 298.899
318.07/319.22 c #Conflicts: 1000 | #Constraints: 6383
318.07/319.22 c #Conflicts: 2000 | #Constraints: 7383
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 3000 | #Constraints: 7380
318.07/319.22 c #Conflicts: 4000 | #Constraints: 8380
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 5000 | #Constraints: 7784
318.07/319.22 c #Conflicts: 6000 | #Constraints: 8784
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 7000 | #Constraints: 7784
318.07/319.22 c #Conflicts: 8000 | #Constraints: 8784
318.07/319.22 c #Conflicts: 9000 | #Constraints: 9784
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 10000 | #Constraints: 8486
318.07/319.22 c #Conflicts: 11000 | #Constraints: 9486
318.07/319.22 c #Conflicts: 12000 | #Constraints: 10486
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 13000 | #Constraints: 8938
318.07/319.22 c #Conflicts: 14000 | #Constraints: 9938
318.07/319.22 c #Conflicts: 15000 | #Constraints: 10938
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 16000 | #Constraints: 9162
318.07/319.22 c #Conflicts: 17000 | #Constraints: 10162
318.07/319.22 c #Conflicts: 18000 | #Constraints: 11162
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 19000 | #Constraints: 9176
318.07/319.22 c #Conflicts: 20000 | #Constraints: 10176
318.07/319.22 c #Conflicts: 21000 | #Constraints: 11176
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 22000 | #Constraints: 8982
318.07/319.22 c #Conflicts: 23000 | #Constraints: 9982
318.07/319.22 c #Conflicts: 24000 | #Constraints: 10982
318.07/319.22 c #Conflicts: 25000 | #Constraints: 11982
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 26000 | #Constraints: 9588
318.07/319.22 c #Conflicts: 27000 | #Constraints: 10588
318.07/319.22 c #Conflicts: 28000 | #Constraints: 11588
318.07/319.22 c #Conflicts: 29000 | #Constraints: 12588
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 30000 | #Constraints: 9987
318.07/319.22 c #Conflicts: 31000 | #Constraints: 10987
318.07/319.22 c #Conflicts: 32000 | #Constraints: 11987
318.07/319.22 c #Conflicts: 33000 | #Constraints: 12987
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 34000 | #Constraints: 10187
318.07/319.22 c #Conflicts: 35000 | #Constraints: 11187
318.07/319.22 c #Conflicts: 36000 | #Constraints: 12187
318.07/319.22 c #Conflicts: 37000 | #Constraints: 13187
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 38000 | #Constraints: 10191
318.07/319.22 c #Conflicts: 39000 | #Constraints: 11191
318.07/319.22 c #Conflicts: 40000 | #Constraints: 12191
318.07/319.22 c #Conflicts: 41000 | #Constraints: 13191
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 42000 | #Constraints: 9996
318.07/319.22 c #Conflicts: 43000 | #Constraints: 10996
318.07/319.22 c #Conflicts: 44000 | #Constraints: 11996
318.07/319.22 c #Conflicts: 45000 | #Constraints: 12996
318.07/319.22 c #Conflicts: 46000 | #Constraints: 13996
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 47000 | #Constraints: 10590
318.07/319.22 c #Conflicts: 48000 | #Constraints: 11590
318.07/319.22 c #Conflicts: 49000 | #Constraints: 12590
318.07/319.22 c #Conflicts: 50000 | #Constraints: 13590
318.07/319.22 c #Conflicts: 51000 | #Constraints: 14590
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 52000 | #Constraints: 10991
318.07/319.22 c #Conflicts: 53000 | #Constraints: 11991
318.07/319.22 c #Conflicts: 54000 | #Constraints: 12991
318.07/319.22 c #Conflicts: 55000 | #Constraints: 13991
318.07/319.22 c #Conflicts: 56000 | #Constraints: 14991
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 57000 | #Constraints: 11191
318.07/319.22 c #Conflicts: 58000 | #Constraints: 12191
318.07/319.22 c #Conflicts: 59000 | #Constraints: 13191
318.07/319.22 c #Conflicts: 60000 | #Constraints: 14191
318.07/319.22 c #Conflicts: 61000 | #Constraints: 15191
318.07/319.22 c INPROCESSING
318.07/319.22 c GARBAGE COLLECT
318.07/319.22 c #Conflicts: 62000 | #Constraints: 11195
318.07/319.22 c #Conflicts: 63000 | #Constraints: 12195
318.07/319.22 c #Conflicts: 64000 | #Constraints: 13195
318.07/319.22 c #Conflicts: 65000 | #Constraints: 14195
354.87/356.17 c #Conflicts: 66000 | #Constraints: 15195
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 67000 | #Constraints: 10995
354.87/356.17 c #Conflicts: 68000 | #Constraints: 11995
354.87/356.17 c #Conflicts: 69000 | #Constraints: 12995
354.87/356.17 c #Conflicts: 70000 | #Constraints: 13995
354.87/356.17 c #Conflicts: 71000 | #Constraints: 14995
354.87/356.17 c #Conflicts: 72000 | #Constraints: 15995
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 73000 | #Constraints: 11592
354.87/356.17 c #Conflicts: 74000 | #Constraints: 12592
354.87/356.17 c #Conflicts: 75000 | #Constraints: 13592
354.87/356.17 c #Conflicts: 76000 | #Constraints: 14592
354.87/356.17 c #Conflicts: 77000 | #Constraints: 15592
354.87/356.17 c #Conflicts: 78000 | #Constraints: 16592
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 79000 | #Constraints: 11993
354.87/356.17 c #Conflicts: 80000 | #Constraints: 12993
354.87/356.17 c #Conflicts: 81000 | #Constraints: 13993
354.87/356.17 c #Conflicts: 82000 | #Constraints: 14993
354.87/356.17 c #Conflicts: 83000 | #Constraints: 15993
354.87/356.17 c #Conflicts: 84000 | #Constraints: 16993
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 85000 | #Constraints: 12194
354.87/356.17 c #Conflicts: 86000 | #Constraints: 13194
354.87/356.17 c #Conflicts: 87000 | #Constraints: 14194
354.87/356.17 c #Conflicts: 88000 | #Constraints: 15194
354.87/356.17 c #Conflicts: 89000 | #Constraints: 16194
354.87/356.17 c #Conflicts: 90000 | #Constraints: 17194
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 91000 | #Constraints: 12195
354.87/356.17 c #Conflicts: 92000 | #Constraints: 13195
354.87/356.17 c #Conflicts: 93000 | #Constraints: 14195
354.87/356.17 c #Conflicts: 94000 | #Constraints: 15195
354.87/356.17 c #Conflicts: 95000 | #Constraints: 16195
354.87/356.17 c #Conflicts: 96000 | #Constraints: 17195
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 97000 | #Constraints: 11999
354.87/356.17 c #Conflicts: 98000 | #Constraints: 12999
354.87/356.17 c #Conflicts: 99000 | #Constraints: 13999
354.87/356.17 c #Conflicts: 100000 | #Constraints: 14999
354.87/356.17 c #Conflicts: 101000 | #Constraints: 15999
354.87/356.17 c #Conflicts: 102000 | #Constraints: 16999
354.87/356.17 c #Conflicts: 103000 | #Constraints: 17999
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 104000 | #Constraints: 12592
354.87/356.17 c #Conflicts: 105000 | #Constraints: 13592
354.87/356.17 c #Conflicts: 106000 | #Constraints: 14592
354.87/356.17 c #Conflicts: 107000 | #Constraints: 15592
354.87/356.17 c #Conflicts: 108000 | #Constraints: 16592
354.87/356.17 c #Conflicts: 109000 | #Constraints: 17592
354.87/356.17 c #Conflicts: 110000 | #Constraints: 18592
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 111000 | #Constraints: 12997
354.87/356.17 c #Conflicts: 112000 | #Constraints: 13997
354.87/356.17 c #Conflicts: 113000 | #Constraints: 14997
354.87/356.17 c #Conflicts: 114000 | #Constraints: 15997
354.87/356.17 c #Conflicts: 115000 | #Constraints: 16997
354.87/356.17 c #Conflicts: 116000 | #Constraints: 17997
354.87/356.17 c #Conflicts: 117000 | #Constraints: 18997
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 118000 | #Constraints: 13191
354.87/356.17 c #Conflicts: 119000 | #Constraints: 14191
354.87/356.17 c #Conflicts: 120000 | #Constraints: 15191
354.87/356.17 c #Conflicts: 121000 | #Constraints: 16191
354.87/356.17 c #Conflicts: 122000 | #Constraints: 17191
354.87/356.17 c #Conflicts: 123000 | #Constraints: 18191
354.87/356.17 c #Conflicts: 124000 | #Constraints: 19191
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 125000 | #Constraints: 13188
354.87/356.17 c #Conflicts: 126000 | #Constraints: 14188
354.87/356.17 c #Conflicts: 127000 | #Constraints: 15188
354.87/356.17 c #Conflicts: 128000 | #Constraints: 16188
354.87/356.17 c #Conflicts: 129000 | #Constraints: 17188
354.87/356.17 c #Conflicts: 130000 | #Constraints: 18188
354.87/356.17 c #Conflicts: 131000 | #Constraints: 19188
354.87/356.17 c INPROCESSING
354.87/356.17 c GARBAGE COLLECT
354.87/356.17 c #Conflicts: 132000 | #Constraints: 12989
354.87/356.17 c #Conflicts: 133000 | #Constraints: 13989
354.87/356.17 c #Conflicts: 134000 | #Constraints: 14989
354.87/356.17 c #Conflicts: 135000 | #Constraints: 15989
354.87/356.17 c #Conflicts: 136000 | #Constraints: 16989
403.61/405.04 c #Conflicts: 137000 | #Constraints: 17989
403.61/405.04 c #Conflicts: 138000 | #Constraints: 18989
403.61/405.04 c #Conflicts: 139000 | #Constraints: 19989
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 140000 | #Constraints: 13591
403.61/405.04 c #Conflicts: 141000 | #Constraints: 14591
403.61/405.04 c #Conflicts: 142000 | #Constraints: 15591
403.61/405.04 c #Conflicts: 143000 | #Constraints: 16591
403.61/405.04 c #Conflicts: 144000 | #Constraints: 17591
403.61/405.04 c #Conflicts: 145000 | #Constraints: 18591
403.61/405.04 c #Conflicts: 146000 | #Constraints: 19591
403.61/405.04 c #Conflicts: 147000 | #Constraints: 20591
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 148000 | #Constraints: 13994
403.61/405.04 c #Conflicts: 149000 | #Constraints: 14994
403.61/405.04 c #Conflicts: 150000 | #Constraints: 15994
403.61/405.04 c #Conflicts: 151000 | #Constraints: 16994
403.61/405.04 c #Conflicts: 152000 | #Constraints: 17994
403.61/405.04 c #Conflicts: 153000 | #Constraints: 18994
403.61/405.04 c #Conflicts: 154000 | #Constraints: 19994
403.61/405.04 c #Conflicts: 155000 | #Constraints: 20994
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 156000 | #Constraints: 14199
403.61/405.04 c #Conflicts: 157000 | #Constraints: 15199
403.61/405.04 c #Conflicts: 158000 | #Constraints: 16199
403.61/405.04 c #Conflicts: 159000 | #Constraints: 17199
403.61/405.04 c #Conflicts: 160000 | #Constraints: 18199
403.61/405.04 c #Conflicts: 161000 | #Constraints: 19199
403.61/405.04 c #Conflicts: 162000 | #Constraints: 20199
403.61/405.04 c #Conflicts: 163000 | #Constraints: 21199
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 164000 | #Constraints: 14197
403.61/405.04 c #Conflicts: 165000 | #Constraints: 15197
403.61/405.04 c #Conflicts: 166000 | #Constraints: 16197
403.61/405.04 c #Conflicts: 167000 | #Constraints: 17197
403.61/405.04 c #Conflicts: 168000 | #Constraints: 18197
403.61/405.04 c #Conflicts: 169000 | #Constraints: 19197
403.61/405.04 c #Conflicts: 170000 | #Constraints: 20197
403.61/405.04 c #Conflicts: 171000 | #Constraints: 21197
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 172000 | #Constraints: 13994
403.61/405.04 c #Conflicts: 173000 | #Constraints: 14994
403.61/405.04 c #Conflicts: 174000 | #Constraints: 15994
403.61/405.04 c #Conflicts: 175000 | #Constraints: 16994
403.61/405.04 c #Conflicts: 176000 | #Constraints: 17994
403.61/405.04 c #Conflicts: 177000 | #Constraints: 18994
403.61/405.04 c #Conflicts: 178000 | #Constraints: 19994
403.61/405.04 c #Conflicts: 179000 | #Constraints: 20994
403.61/405.04 c #Conflicts: 180000 | #Constraints: 21994
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 181000 | #Constraints: 14591
403.61/405.04 c #Conflicts: 182000 | #Constraints: 15591
403.61/405.04 c #Conflicts: 183000 | #Constraints: 16591
403.61/405.04 c #Conflicts: 184000 | #Constraints: 17591
403.61/405.04 c #Conflicts: 185000 | #Constraints: 18591
403.61/405.04 c #Conflicts: 186000 | #Constraints: 19591
403.61/405.04 c #Conflicts: 187000 | #Constraints: 20591
403.61/405.04 c #Conflicts: 188000 | #Constraints: 21591
403.61/405.04 c #Conflicts: 189000 | #Constraints: 22591
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 190000 | #Constraints: 14993
403.61/405.04 c #Conflicts: 191000 | #Constraints: 15993
403.61/405.04 c #Conflicts: 192000 | #Constraints: 16993
403.61/405.04 c #Conflicts: 193000 | #Constraints: 17993
403.61/405.04 c #Conflicts: 194000 | #Constraints: 18993
403.61/405.04 c #Conflicts: 195000 | #Constraints: 19993
403.61/405.04 c #Conflicts: 196000 | #Constraints: 20993
403.61/405.04 c #Conflicts: 197000 | #Constraints: 21993
403.61/405.04 c #Conflicts: 198000 | #Constraints: 22993
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 199000 | #Constraints: 15195
403.61/405.04 c #Conflicts: 200000 | #Constraints: 16195
403.61/405.04 c #Conflicts: 201000 | #Constraints: 17195
403.61/405.04 c #Conflicts: 202000 | #Constraints: 18195
403.61/405.04 c #Conflicts: 203000 | #Constraints: 19195
403.61/405.04 c #Conflicts: 204000 | #Constraints: 20195
403.61/405.04 c #Conflicts: 205000 | #Constraints: 21195
403.61/405.04 c #Conflicts: 206000 | #Constraints: 22195
403.61/405.04 c #Conflicts: 207000 | #Constraints: 23195
403.61/405.04 c INPROCESSING
403.61/405.04 c GARBAGE COLLECT
403.61/405.04 c #Conflicts: 208000 | #Constraints: 15198
403.61/405.04 c #Conflicts: 209000 | #Constraints: 16198
467.98/469.68 c #Conflicts: 210000 | #Constraints: 17198
467.98/469.68 c #Conflicts: 211000 | #Constraints: 18198
467.98/469.68 c #Conflicts: 212000 | #Constraints: 19198
467.98/469.68 c #Conflicts: 213000 | #Constraints: 20198
467.98/469.68 c #Conflicts: 214000 | #Constraints: 21198
467.98/469.68 c #Conflicts: 215000 | #Constraints: 22198
467.98/469.68 c #Conflicts: 216000 | #Constraints: 23198
467.98/469.68 c INPROCESSING
467.98/469.68 c GARBAGE COLLECT
467.98/469.68 c #Conflicts: 217000 | #Constraints: 14999
467.98/469.68 c #Conflicts: 218000 | #Constraints: 15999
467.98/469.68 c #Conflicts: 219000 | #Constraints: 16999
467.98/469.68 c #Conflicts: 220000 | #Constraints: 17999
467.98/469.68 c #Conflicts: 221000 | #Constraints: 18999
467.98/469.68 c #Conflicts: 222000 | #Constraints: 19999
467.98/469.68 c #Conflicts: 223000 | #Constraints: 20999
467.98/469.68 c #Conflicts: 224000 | #Constraints: 21999
467.98/469.68 c #Conflicts: 225000 | #Constraints: 22999
467.98/469.68 c #Conflicts: 226000 | #Constraints: 23999
467.98/469.68 c INPROCESSING
467.98/469.68 c GARBAGE COLLECT
467.98/469.68 c #Conflicts: 227000 | #Constraints: 15601
467.98/469.68 c #Conflicts: 228000 | #Constraints: 16601
467.98/469.68 c #Conflicts: 229000 | #Constraints: 17601
467.98/469.68 c #Conflicts: 230000 | #Constraints: 18601
467.98/469.68 c #Conflicts: 231000 | #Constraints: 19601
467.98/469.68 c #Conflicts: 232000 | #Constraints: 20601
467.98/469.68 c #Conflicts: 233000 | #Constraints: 21601
467.98/469.68 c #Conflicts: 234000 | #Constraints: 22601
467.98/469.68 c #Conflicts: 235000 | #Constraints: 23601
467.98/469.68 c #Conflicts: 236000 | #Constraints: 24601
467.98/469.68 c INPROCESSING
467.98/469.68 c GARBAGE COLLECT
467.98/469.68 c #Conflicts: 237000 | #Constraints: 15996
467.98/469.68 c #Conflicts: 238000 | #Constraints: 16996
467.98/469.68 c #Conflicts: 239000 | #Constraints: 17996
467.98/469.68 c #Conflicts: 240000 | #Constraints: 18996
467.98/469.68 c #Conflicts: 241000 | #Constraints: 19996
467.98/469.68 c #Conflicts: 242000 | #Constraints: 20996
467.98/469.68 c #Conflicts: 243000 | #Constraints: 21996
467.98/469.68 c #Conflicts: 244000 | #Constraints: 22996
467.98/469.68 c #Conflicts: 245000 | #Constraints: 23996
467.98/469.68 c #Conflicts: 246000 | #Constraints: 24996
467.98/469.68 c INPROCESSING
467.98/469.68 c GARBAGE COLLECT
467.98/469.68 c #Conflicts: 247000 | #Constraints: 16195
467.98/469.68 c #Conflicts: 248000 | #Constraints: 17195
467.98/469.68 c #Conflicts: 249000 | #Constraints: 18195
467.98/469.68 c #Conflicts: 250000 | #Constraints: 19195
467.98/469.68 c #Conflicts: 251000 | #Constraints: 20195
467.98/469.68 c #Conflicts: 252000 | #Constraints: 21195
467.98/469.68 c #Conflicts: 253000 | #Constraints: 22195
467.98/469.68 c #Conflicts: 254000 | #Constraints: 23195
467.98/469.68 c #Conflicts: 255000 | #Constraints: 24195
467.98/469.68 c #Conflicts: 256000 | #Constraints: 25195
467.98/469.68 c INPROCESSING
467.98/469.68 c GARBAGE COLLECT
467.98/469.68 c #Conflicts: 257000 | #Constraints: 16197
467.98/469.68 c #Conflicts: 258000 | #Constraints: 17197
467.98/469.68 c #Conflicts: 259000 | #Constraints: 18197
467.98/469.68 c #Conflicts: 260000 | #Constraints: 19197
467.98/469.68 c #Conflicts: 261000 | #Constraints: 20197
467.98/469.68 c #Conflicts: 262000 | #Constraints: 21197
467.98/469.68 c #Conflicts: 263000 | #Constraints: 22197
467.98/469.68 c #Conflicts: 264000 | #Constraints: 23197
467.98/469.68 c #Conflicts: 265000 | #Constraints: 24197
467.98/469.68 c #Conflicts: 266000 | #Constraints: 25197
467.98/469.68 c INPROCESSING
467.98/469.68 c GARBAGE COLLECT
467.98/469.68 c #Conflicts: 267000 | #Constraints: 15996
467.98/469.68 c #Conflicts: 268000 | #Constraints: 16996
467.98/469.68 c #Conflicts: 269000 | #Constraints: 17996
467.98/469.68 c #Conflicts: 270000 | #Constraints: 18996
467.98/469.68 c #Conflicts: 271000 | #Constraints: 19996
467.98/469.68 c #Conflicts: 272000 | #Constraints: 20996
467.98/469.68 c #Conflicts: 273000 | #Constraints: 21996
467.98/469.68 c #Conflicts: 274000 | #Constraints: 22996
467.98/469.68 c #Conflicts: 275000 | #Constraints: 23996
467.98/469.68 c #Conflicts: 276000 | #Constraints: 24996
467.98/469.68 c #Conflicts: 277000 | #Constraints: 25996
467.98/469.68 c INPROCESSING
467.98/469.68 c GARBAGE COLLECT
467.98/469.68 c #Conflicts: 278000 | #Constraints: 16592
467.98/469.68 c #Conflicts: 279000 | #Constraints: 17592
467.98/469.68 c #Conflicts: 280000 | #Constraints: 18592
467.98/469.68 c #Conflicts: 281000 | #Constraints: 19592
467.98/469.68 c #Conflicts: 282000 | #Constraints: 20592
467.98/469.68 c #Conflicts: 283000 | #Constraints: 21592
467.98/469.68 c #Conflicts: 284000 | #Constraints: 22592
541.43/543.35 c #Conflicts: 285000 | #Constraints: 23592
541.43/543.35 c #Conflicts: 286000 | #Constraints: 24592
541.43/543.35 c #Conflicts: 287000 | #Constraints: 25592
541.43/543.35 c #Conflicts: 288000 | #Constraints: 26592
541.43/543.35 c INPROCESSING
541.43/543.35 c GARBAGE COLLECT
541.43/543.35 c #Conflicts: 289000 | #Constraints: 16994
541.43/543.35 c #Conflicts: 290000 | #Constraints: 17994
541.43/543.35 c #Conflicts: 291000 | #Constraints: 18994
541.43/543.35 c #Conflicts: 292000 | #Constraints: 19994
541.43/543.35 c #Conflicts: 293000 | #Constraints: 20994
541.43/543.35 c #Conflicts: 294000 | #Constraints: 21994
541.43/543.35 c #Conflicts: 295000 | #Constraints: 22994
541.43/543.35 c #Conflicts: 296000 | #Constraints: 23994
541.43/543.35 c #Conflicts: 297000 | #Constraints: 24994
541.43/543.35 c #Conflicts: 298000 | #Constraints: 25994
541.43/543.35 c #Conflicts: 299000 | #Constraints: 26994
541.43/543.35 c INPROCESSING
541.43/543.35 c GARBAGE COLLECT
541.43/543.35 c #Conflicts: 300000 | #Constraints: 17192
541.43/543.35 c #Conflicts: 301000 | #Constraints: 18192
541.43/543.35 c #Conflicts: 302000 | #Constraints: 19192
541.43/543.35 c #Conflicts: 303000 | #Constraints: 20192
541.43/543.35 c #Conflicts: 304000 | #Constraints: 21192
541.43/543.35 c #Conflicts: 305000 | #Constraints: 22192
541.43/543.35 c #Conflicts: 306000 | #Constraints: 23192
541.43/543.35 c #Conflicts: 307000 | #Constraints: 24192
541.43/543.35 c #Conflicts: 308000 | #Constraints: 25192
541.43/543.35 c #Conflicts: 309000 | #Constraints: 26192
541.43/543.35 c #Conflicts: 310000 | #Constraints: 27192
541.43/543.35 c INPROCESSING
541.43/543.35 c GARBAGE COLLECT
541.43/543.35 c #Conflicts: 311000 | #Constraints: 17190
541.43/543.35 c #Conflicts: 312000 | #Constraints: 18190
541.43/543.35 c #Conflicts: 313000 | #Constraints: 19190
541.43/543.35 c #Conflicts: 314000 | #Constraints: 20190
541.43/543.35 c #Conflicts: 315000 | #Constraints: 21190
541.43/543.35 c #Conflicts: 316000 | #Constraints: 22190
541.43/543.35 c #Conflicts: 317000 | #Constraints: 23190
541.43/543.35 c #Conflicts: 318000 | #Constraints: 24190
541.43/543.35 c #Conflicts: 319000 | #Constraints: 25190
541.43/543.35 c #Conflicts: 320000 | #Constraints: 26190
541.43/543.35 c #Conflicts: 321000 | #Constraints: 27190
541.43/543.35 c INPROCESSING
541.43/543.35 c GARBAGE COLLECT
541.43/543.35 c #Conflicts: 322000 | #Constraints: 16992
541.43/543.35 c #Conflicts: 323000 | #Constraints: 17992
541.43/543.35 c #Conflicts: 324000 | #Constraints: 18992
541.43/543.35 c #Conflicts: 325000 | #Constraints: 19992
541.43/543.35 c #Conflicts: 326000 | #Constraints: 20992
541.43/543.35 c #Conflicts: 327000 | #Constraints: 21992
541.43/543.35 c #Conflicts: 328000 | #Constraints: 22992
541.43/543.35 c #Conflicts: 329000 | #Constraints: 23992
541.43/543.35 c #Conflicts: 330000 | #Constraints: 24992
541.43/543.35 c #Conflicts: 331000 | #Constraints: 25992
541.43/543.35 c #Conflicts: 332000 | #Constraints: 26992
541.43/543.35 c #Conflicts: 333000 | #Constraints: 27992
541.43/543.35 c INPROCESSING
541.43/543.35 c GARBAGE COLLECT
541.43/543.35 c #Conflicts: 334000 | #Constraints: 17591
541.43/543.35 c #Conflicts: 335000 | #Constraints: 18591
541.43/543.35 c #Conflicts: 336000 | #Constraints: 19591
541.43/543.35 c #Conflicts: 337000 | #Constraints: 20591
541.43/543.35 c #Conflicts: 338000 | #Constraints: 21591
541.43/543.35 c #Conflicts: 339000 | #Constraints: 22591
541.43/543.35 c #Conflicts: 340000 | #Constraints: 23591
541.43/543.35 c #Conflicts: 341000 | #Constraints: 24591
541.43/543.35 c #Conflicts: 342000 | #Constraints: 25591
541.43/543.35 c #Conflicts: 343000 | #Constraints: 26591
541.43/543.35 c #Conflicts: 344000 | #Constraints: 27591
541.43/543.35 c #Conflicts: 345000 | #Constraints: 28591
541.43/543.35 c INPROCESSING
541.43/543.35 c GARBAGE COLLECT
541.43/543.35 c #Conflicts: 346000 | #Constraints: 17987
541.43/543.35 c #Conflicts: 347000 | #Constraints: 18987
541.43/543.35 c #Conflicts: 348000 | #Constraints: 19987
541.43/543.35 c #Conflicts: 349000 | #Constraints: 20987
541.43/543.35 c #Conflicts: 350000 | #Constraints: 21987
541.43/543.35 c #Conflicts: 351000 | #Constraints: 22987
541.43/543.35 c #Conflicts: 352000 | #Constraints: 23987
541.43/543.35 c #Conflicts: 353000 | #Constraints: 24987
541.43/543.35 c #Conflicts: 354000 | #Constraints: 25987
541.43/543.35 c #Conflicts: 355000 | #Constraints: 26987
541.43/543.35 c #Conflicts: 356000 | #Constraints: 27987
541.43/543.35 c #Conflicts: 357000 | #Constraints: 28987
541.43/543.35 c INPROCESSING
541.43/543.35 c GARBAGE COLLECT
541.43/543.35 c #Conflicts: 358000 | #Constraints: 18186
631.02/633.23 c #Conflicts: 359000 | #Constraints: 19186
631.02/633.23 c #Conflicts: 360000 | #Constraints: 20186
631.02/633.23 c #Conflicts: 361000 | #Constraints: 21186
631.02/633.23 c #Conflicts: 362000 | #Constraints: 22186
631.02/633.23 c #Conflicts: 363000 | #Constraints: 23186
631.02/633.23 c #Conflicts: 364000 | #Constraints: 24186
631.02/633.23 c #Conflicts: 365000 | #Constraints: 25186
631.02/633.23 c #Conflicts: 366000 | #Constraints: 26186
631.02/633.23 c #Conflicts: 367000 | #Constraints: 27186
631.02/633.23 c #Conflicts: 368000 | #Constraints: 28186
631.02/633.23 c #Conflicts: 369000 | #Constraints: 29186
631.02/633.23 c INPROCESSING
631.02/633.23 c GARBAGE COLLECT
631.02/633.23 c #Conflicts: 370000 | #Constraints: 18191
631.02/633.23 c #Conflicts: 371000 | #Constraints: 19191
631.02/633.23 c #Conflicts: 372000 | #Constraints: 20191
631.02/633.23 c #Conflicts: 373000 | #Constraints: 21191
631.02/633.23 c #Conflicts: 374000 | #Constraints: 22191
631.02/633.23 c #Conflicts: 375000 | #Constraints: 23191
631.02/633.23 c #Conflicts: 376000 | #Constraints: 24191
631.02/633.23 c #Conflicts: 377000 | #Constraints: 25191
631.02/633.23 c #Conflicts: 378000 | #Constraints: 26191
631.02/633.23 c #Conflicts: 379000 | #Constraints: 27191
631.02/633.23 c #Conflicts: 380000 | #Constraints: 28191
631.02/633.23 c #Conflicts: 381000 | #Constraints: 29191
631.02/633.23 c INPROCESSING
631.02/633.23 c GARBAGE COLLECT
631.02/633.23 c #Conflicts: 382000 | #Constraints: 17993
631.02/633.23 c #Conflicts: 383000 | #Constraints: 18993
631.02/633.23 c #Conflicts: 384000 | #Constraints: 19993
631.02/633.23 c #Conflicts: 385000 | #Constraints: 20993
631.02/633.23 c #Conflicts: 386000 | #Constraints: 21993
631.02/633.23 c #Conflicts: 387000 | #Constraints: 22993
631.02/633.23 c #Conflicts: 388000 | #Constraints: 23993
631.02/633.23 c #Conflicts: 389000 | #Constraints: 24993
631.02/633.23 c #Conflicts: 390000 | #Constraints: 25993
631.02/633.23 c #Conflicts: 391000 | #Constraints: 26993
631.02/633.23 c #Conflicts: 392000 | #Constraints: 27993
631.02/633.23 c #Conflicts: 393000 | #Constraints: 28993
631.02/633.23 c #Conflicts: 394000 | #Constraints: 29993
631.02/633.23 c INPROCESSING
631.02/633.23 c GARBAGE COLLECT
631.02/633.23 c #Conflicts: 395000 | #Constraints: 18591
631.02/633.23 c #Conflicts: 396000 | #Constraints: 19591
631.02/633.23 c #Conflicts: 397000 | #Constraints: 20591
631.02/633.23 c #Conflicts: 398000 | #Constraints: 21591
631.02/633.23 c #Conflicts: 399000 | #Constraints: 22591
631.02/633.23 c #Conflicts: 400000 | #Constraints: 23591
631.02/633.23 c #Conflicts: 401000 | #Constraints: 24591
631.02/633.23 c #Conflicts: 402000 | #Constraints: 25591
631.02/633.23 c #Conflicts: 403000 | #Constraints: 26591
631.02/633.23 c #Conflicts: 404000 | #Constraints: 27591
631.02/633.23 c #Conflicts: 405000 | #Constraints: 28591
631.02/633.23 c #Conflicts: 406000 | #Constraints: 29591
631.02/633.23 c #Conflicts: 407000 | #Constraints: 30591
631.02/633.23 c INPROCESSING
631.02/633.23 c GARBAGE COLLECT
631.02/633.23 c #Conflicts: 408000 | #Constraints: 18988
631.02/633.23 c #Conflicts: 409000 | #Constraints: 19988
631.02/633.23 c #Conflicts: 410000 | #Constraints: 20988
631.02/633.23 c #Conflicts: 411000 | #Constraints: 21988
631.02/633.23 c #Conflicts: 412000 | #Constraints: 22988
631.02/633.23 c #Conflicts: 413000 | #Constraints: 23988
631.02/633.23 c #Conflicts: 414000 | #Constraints: 24988
631.02/633.23 c #Conflicts: 415000 | #Constraints: 25988
631.02/633.23 c #Conflicts: 416000 | #Constraints: 26988
631.02/633.23 c #Conflicts: 417000 | #Constraints: 27988
631.02/633.23 c #Conflicts: 418000 | #Constraints: 28988
631.02/633.23 c #Conflicts: 419000 | #Constraints: 29988
631.02/633.23 c #Conflicts: 420000 | #Constraints: 30988
631.02/633.23 c INPROCESSING
631.02/633.23 c GARBAGE COLLECT
631.02/633.23 c #Conflicts: 421000 | #Constraints: 19190
631.02/633.23 c #Conflicts: 422000 | #Constraints: 20190
631.02/633.23 c #Conflicts: 423000 | #Constraints: 21190
631.02/633.23 c #Conflicts: 424000 | #Constraints: 22190
631.02/633.23 c #Conflicts: 425000 | #Constraints: 23190
631.02/633.23 c #Conflicts: 426000 | #Constraints: 24190
631.02/633.23 c #Conflicts: 427000 | #Constraints: 25190
631.02/633.23 c #Conflicts: 428000 | #Constraints: 26190
631.02/633.23 c #Conflicts: 429000 | #Constraints: 27190
631.02/633.23 c #Conflicts: 430000 | #Constraints: 28190
631.02/633.23 c #Conflicts: 431000 | #Constraints: 29190
631.02/633.23 c #Conflicts: 432000 | #Constraints: 30190
631.02/633.23 c #Conflicts: 433000 | #Constraints: 31190
631.02/633.23 c INPROCESSING
721.42/723.91 c GARBAGE COLLECT
721.42/723.91 c #Conflicts: 434000 | #Constraints: 19198
721.42/723.91 c #Conflicts: 435000 | #Constraints: 20198
721.42/723.91 c #Conflicts: 436000 | #Constraints: 21198
721.42/723.91 c #Conflicts: 437000 | #Constraints: 22198
721.42/723.91 c #Conflicts: 438000 | #Constraints: 23198
721.42/723.91 c #Conflicts: 439000 | #Constraints: 24198
721.42/723.91 c #Conflicts: 440000 | #Constraints: 25198
721.42/723.91 c #Conflicts: 441000 | #Constraints: 26198
721.42/723.91 c #Conflicts: 442000 | #Constraints: 27198
721.42/723.91 c #Conflicts: 443000 | #Constraints: 28198
721.42/723.91 c #Conflicts: 444000 | #Constraints: 29198
721.42/723.91 c #Conflicts: 445000 | #Constraints: 30198
721.42/723.91 c #Conflicts: 446000 | #Constraints: 31198
721.42/723.91 c INPROCESSING
721.42/723.91 c GARBAGE COLLECT
721.42/723.91 c #Conflicts: 447000 | #Constraints: 18998
721.42/723.91 c #Conflicts: 448000 | #Constraints: 19998
721.42/723.91 c #Conflicts: 449000 | #Constraints: 20998
721.42/723.91 c #Conflicts: 450000 | #Constraints: 21998
721.42/723.91 c #Conflicts: 451000 | #Constraints: 22998
721.42/723.91 c #Conflicts: 452000 | #Constraints: 23998
721.42/723.91 c #Conflicts: 453000 | #Constraints: 24998
721.42/723.91 c #Conflicts: 454000 | #Constraints: 25998
721.42/723.91 c #Conflicts: 455000 | #Constraints: 26998
721.42/723.91 c #Conflicts: 456000 | #Constraints: 27998
721.42/723.91 c #Conflicts: 457000 | #Constraints: 28998
721.42/723.91 c #Conflicts: 458000 | #Constraints: 29998
721.42/723.91 c #Conflicts: 459000 | #Constraints: 30998
721.42/723.91 c #Conflicts: 460000 | #Constraints: 31998
721.42/723.91 c INPROCESSING
721.42/723.91 c GARBAGE COLLECT
721.42/723.91 c #Conflicts: 461000 | #Constraints: 19599
721.42/723.91 c #Conflicts: 462000 | #Constraints: 20599
721.42/723.91 c #Conflicts: 463000 | #Constraints: 21599
721.42/723.91 c #Conflicts: 464000 | #Constraints: 22599
721.42/723.91 c #Conflicts: 465000 | #Constraints: 23599
721.42/723.91 c #Conflicts: 466000 | #Constraints: 24599
721.42/723.91 c #Conflicts: 467000 | #Constraints: 25599
721.42/723.91 c #Conflicts: 468000 | #Constraints: 26599
721.42/723.91 c #Conflicts: 469000 | #Constraints: 27599
721.42/723.91 c #Conflicts: 470000 | #Constraints: 28599
721.42/723.91 c #Conflicts: 471000 | #Constraints: 29599
721.42/723.91 c #Conflicts: 472000 | #Constraints: 30599
721.42/723.91 c #Conflicts: 473000 | #Constraints: 31599
721.42/723.91 c #Conflicts: 474000 | #Constraints: 32599
721.42/723.91 c INPROCESSING
721.42/723.91 c GARBAGE COLLECT
721.42/723.91 c #Conflicts: 475000 | #Constraints: 20000
721.42/723.91 c #Conflicts: 476000 | #Constraints: 21000
721.42/723.91 c #Conflicts: 477000 | #Constraints: 22000
721.42/723.91 c #Conflicts: 478000 | #Constraints: 23000
721.42/723.91 c #Conflicts: 479000 | #Constraints: 24000
721.42/723.91 c #Conflicts: 480000 | #Constraints: 25000
721.42/723.91 c #Conflicts: 481000 | #Constraints: 26000
721.42/723.91 c #Conflicts: 482000 | #Constraints: 27000
721.42/723.91 c #Conflicts: 483000 | #Constraints: 28000
721.42/723.91 c #Conflicts: 484000 | #Constraints: 29000
721.42/723.91 c #Conflicts: 485000 | #Constraints: 30000
721.42/723.91 c #Conflicts: 486000 | #Constraints: 31000
721.42/723.91 c #Conflicts: 487000 | #Constraints: 32000
721.42/723.91 c #Conflicts: 488000 | #Constraints: 33000
721.42/723.91 c INPROCESSING
721.42/723.91 c GARBAGE COLLECT
721.42/723.91 c #Conflicts: 489000 | #Constraints: 20199
721.42/723.91 c #Conflicts: 490000 | #Constraints: 21199
721.42/723.91 c #Conflicts: 491000 | #Constraints: 22199
721.42/723.91 c #Conflicts: 492000 | #Constraints: 23199
721.42/723.91 c #Conflicts: 493000 | #Constraints: 24199
721.42/723.91 c #Conflicts: 494000 | #Constraints: 25199
721.42/723.91 c #Conflicts: 495000 | #Constraints: 26199
721.42/723.91 c #Conflicts: 496000 | #Constraints: 27199
721.42/723.91 c #Conflicts: 497000 | #Constraints: 28199
721.42/723.91 c #Conflicts: 498000 | #Constraints: 29199
721.42/723.91 c #Conflicts: 499000 | #Constraints: 30199
721.42/723.91 c #Conflicts: 500000 | #Constraints: 31199
721.42/723.91 c #Conflicts: 501000 | #Constraints: 32199
721.42/723.91 c #Conflicts: 502000 | #Constraints: 33199
721.42/723.91 c INPROCESSING
721.42/723.91 c GARBAGE COLLECT
721.42/723.91 c #Conflicts: 503000 | #Constraints: 20199
721.42/723.91 c #Conflicts: 504000 | #Constraints: 21199
721.42/723.91 c #Conflicts: 505000 | #Constraints: 22199
721.42/723.91 c #Conflicts: 506000 | #Constraints: 23199
721.42/723.91 c #Conflicts: 507000 | #Constraints: 24199
721.42/723.91 c #Conflicts: 508000 | #Constraints: 25199
721.42/723.91 c #Conflicts: 509000 | #Constraints: 26199
828.06/830.95 c #Conflicts: 510000 | #Constraints: 27199
828.06/830.95 c #Conflicts: 511000 | #Constraints: 28199
828.06/830.95 c #Conflicts: 512000 | #Constraints: 29199
828.06/830.95 c #Conflicts: 513000 | #Constraints: 30199
828.06/830.95 c #Conflicts: 514000 | #Constraints: 31199
828.06/830.95 c #Conflicts: 515000 | #Constraints: 32199
828.06/830.95 c #Conflicts: 516000 | #Constraints: 33199
828.06/830.95 c INPROCESSING
828.06/830.95 c GARBAGE COLLECT
828.06/830.95 c #Conflicts: 517000 | #Constraints: 19994
828.06/830.95 c #Conflicts: 518000 | #Constraints: 20994
828.06/830.95 c #Conflicts: 519000 | #Constraints: 21994
828.06/830.95 c #Conflicts: 520000 | #Constraints: 22994
828.06/830.95 c #Conflicts: 521000 | #Constraints: 23994
828.06/830.95 c #Conflicts: 522000 | #Constraints: 24994
828.06/830.95 c #Conflicts: 523000 | #Constraints: 25994
828.06/830.95 c #Conflicts: 524000 | #Constraints: 26994
828.06/830.95 c #Conflicts: 525000 | #Constraints: 27994
828.06/830.95 c #Conflicts: 526000 | #Constraints: 28994
828.06/830.95 c #Conflicts: 527000 | #Constraints: 29994
828.06/830.95 c #Conflicts: 528000 | #Constraints: 30994
828.06/830.95 c #Conflicts: 529000 | #Constraints: 31994
828.06/830.95 c #Conflicts: 530000 | #Constraints: 32994
828.06/830.95 c #Conflicts: 531000 | #Constraints: 33994
828.06/830.95 c INPROCESSING
828.06/830.95 c GARBAGE COLLECT
828.06/830.95 c #Conflicts: 532000 | #Constraints: 20594
828.06/830.95 c #Conflicts: 533000 | #Constraints: 21594
828.06/830.95 c #Conflicts: 534000 | #Constraints: 22594
828.06/830.95 c #Conflicts: 535000 | #Constraints: 23594
828.06/830.95 c #Conflicts: 536000 | #Constraints: 24594
828.06/830.95 c #Conflicts: 537000 | #Constraints: 25594
828.06/830.95 c #Conflicts: 538000 | #Constraints: 26594
828.06/830.95 c #Conflicts: 539000 | #Constraints: 27594
828.06/830.95 c #Conflicts: 540000 | #Constraints: 28594
828.06/830.95 c #Conflicts: 541000 | #Constraints: 29594
828.06/830.95 c #Conflicts: 542000 | #Constraints: 30594
828.06/830.95 c #Conflicts: 543000 | #Constraints: 31594
828.06/830.95 c #Conflicts: 544000 | #Constraints: 32594
828.06/830.95 c #Conflicts: 545000 | #Constraints: 33594
828.06/830.95 c #Conflicts: 546000 | #Constraints: 34594
828.06/830.95 c INPROCESSING
828.06/830.95 c GARBAGE COLLECT
828.06/830.95 c #Conflicts: 547000 | #Constraints: 20993
828.06/830.95 c #Conflicts: 548000 | #Constraints: 21993
828.06/830.95 c #Conflicts: 549000 | #Constraints: 22993
828.06/830.95 c #Conflicts: 550000 | #Constraints: 23993
828.06/830.95 c #Conflicts: 551000 | #Constraints: 24993
828.06/830.95 c #Conflicts: 552000 | #Constraints: 25993
828.06/830.95 c #Conflicts: 553000 | #Constraints: 26993
828.06/830.95 c #Conflicts: 554000 | #Constraints: 27993
828.06/830.95 c #Conflicts: 555000 | #Constraints: 28993
828.06/830.95 c #Conflicts: 556000 | #Constraints: 29993
828.06/830.95 c #Conflicts: 557000 | #Constraints: 30993
828.06/830.95 c #Conflicts: 558000 | #Constraints: 31993
828.06/830.95 c #Conflicts: 559000 | #Constraints: 32993
828.06/830.95 c #Conflicts: 560000 | #Constraints: 33993
828.06/830.95 c #Conflicts: 561000 | #Constraints: 34993
828.06/830.95 c INPROCESSING
828.06/830.95 c GARBAGE COLLECT
828.06/830.95 c #Conflicts: 562000 | #Constraints: 21192
828.06/830.95 c #Conflicts: 563000 | #Constraints: 22192
828.06/830.95 c #Conflicts: 564000 | #Constraints: 23192
828.06/830.95 c #Conflicts: 565000 | #Constraints: 24192
828.06/830.95 c #Conflicts: 566000 | #Constraints: 25192
828.06/830.95 c #Conflicts: 567000 | #Constraints: 26192
828.06/830.95 c #Conflicts: 568000 | #Constraints: 27192
828.06/830.95 c #Conflicts: 569000 | #Constraints: 28192
828.06/830.95 c #Conflicts: 570000 | #Constraints: 29192
828.06/830.95 c #Conflicts: 571000 | #Constraints: 30192
828.06/830.95 c #Conflicts: 572000 | #Constraints: 31192
828.06/830.95 c #Conflicts: 573000 | #Constraints: 32192
828.06/830.95 c #Conflicts: 574000 | #Constraints: 33192
828.06/830.95 c #Conflicts: 575000 | #Constraints: 34192
828.06/830.95 c #Conflicts: 576000 | #Constraints: 35192
828.06/830.95 c INPROCESSING
828.06/830.95 c GARBAGE COLLECT
828.06/830.95 c #Conflicts: 577000 | #Constraints: 21193
828.06/830.95 c #Conflicts: 578000 | #Constraints: 22193
828.06/830.95 c #Conflicts: 579000 | #Constraints: 23193
828.06/830.95 c #Conflicts: 580000 | #Constraints: 24193
828.06/830.95 c #Conflicts: 581000 | #Constraints: 25193
828.06/830.95 c #Conflicts: 582000 | #Constraints: 26193
828.06/830.95 c #Conflicts: 583000 | #Constraints: 27193
828.06/830.95 c #Conflicts: 584000 | #Constraints: 28193
952.74/956.07 c #Conflicts: 585000 | #Constraints: 29193
952.74/956.07 c #Conflicts: 586000 | #Constraints: 30193
952.74/956.07 c #Conflicts: 587000 | #Constraints: 31193
952.74/956.07 c #Conflicts: 588000 | #Constraints: 32193
952.74/956.07 c #Conflicts: 589000 | #Constraints: 33193
952.74/956.07 c #Conflicts: 590000 | #Constraints: 34193
952.74/956.07 c #Conflicts: 591000 | #Constraints: 35193
952.74/956.07 c INPROCESSING
952.74/956.07 c GARBAGE COLLECT
952.74/956.07 c #Conflicts: 592000 | #Constraints: 20995
952.74/956.07 c #Conflicts: 593000 | #Constraints: 21995
952.74/956.07 c #Conflicts: 594000 | #Constraints: 22995
952.74/956.07 c #Conflicts: 595000 | #Constraints: 23995
952.74/956.07 c #Conflicts: 596000 | #Constraints: 24995
952.74/956.07 c #Conflicts: 597000 | #Constraints: 25995
952.74/956.07 c #Conflicts: 598000 | #Constraints: 26995
952.74/956.07 c #Conflicts: 599000 | #Constraints: 27995
952.74/956.07 c #Conflicts: 600000 | #Constraints: 28995
952.74/956.07 c #Conflicts: 601000 | #Constraints: 29995
952.74/956.07 c #Conflicts: 602000 | #Constraints: 30995
952.74/956.07 c #Conflicts: 603000 | #Constraints: 31995
952.74/956.07 c #Conflicts: 604000 | #Constraints: 32995
952.74/956.07 c #Conflicts: 605000 | #Constraints: 33995
952.74/956.07 c #Conflicts: 606000 | #Constraints: 34995
952.74/956.07 c #Conflicts: 607000 | #Constraints: 35995
952.74/956.07 c INPROCESSING
952.74/956.07 c GARBAGE COLLECT
952.74/956.07 c #Conflicts: 608000 | #Constraints: 21600
952.74/956.07 c #Conflicts: 609000 | #Constraints: 22600
952.74/956.07 c #Conflicts: 610000 | #Constraints: 23600
952.74/956.07 c #Conflicts: 611000 | #Constraints: 24600
952.74/956.07 c #Conflicts: 612000 | #Constraints: 25600
952.74/956.07 c #Conflicts: 613000 | #Constraints: 26600
952.74/956.07 c #Conflicts: 614000 | #Constraints: 27600
952.74/956.07 c #Conflicts: 615000 | #Constraints: 28600
952.74/956.07 c #Conflicts: 616000 | #Constraints: 29600
952.74/956.07 c #Conflicts: 617000 | #Constraints: 30600
952.74/956.07 c #Conflicts: 618000 | #Constraints: 31600
952.74/956.07 c #Conflicts: 619000 | #Constraints: 32600
952.74/956.07 c #Conflicts: 620000 | #Constraints: 33600
952.74/956.07 c #Conflicts: 621000 | #Constraints: 34600
952.74/956.07 c #Conflicts: 622000 | #Constraints: 35600
952.74/956.07 c #Conflicts: 623000 | #Constraints: 36600
952.74/956.07 c INPROCESSING
952.74/956.07 c GARBAGE COLLECT
952.74/956.07 c #Conflicts: 624000 | #Constraints: 21997
952.74/956.07 c #Conflicts: 625000 | #Constraints: 22997
952.74/956.07 c #Conflicts: 626000 | #Constraints: 23997
952.74/956.07 c #Conflicts: 627000 | #Constraints: 24997
952.74/956.07 c #Conflicts: 628000 | #Constraints: 25997
952.74/956.07 c #Conflicts: 629000 | #Constraints: 26997
952.74/956.07 c #Conflicts: 630000 | #Constraints: 27997
952.74/956.07 c #Conflicts: 631000 | #Constraints: 28997
952.74/956.07 c #Conflicts: 632000 | #Constraints: 29997
952.74/956.07 c #Conflicts: 633000 | #Constraints: 30997
952.74/956.07 c #Conflicts: 634000 | #Constraints: 31997
952.74/956.07 c #Conflicts: 635000 | #Constraints: 32997
952.74/956.07 c #Conflicts: 636000 | #Constraints: 33997
952.74/956.07 c #Conflicts: 637000 | #Constraints: 34997
952.74/956.07 c #Conflicts: 638000 | #Constraints: 35997
952.74/956.07 c #Conflicts: 639000 | #Constraints: 36997
952.74/956.07 c INPROCESSING
952.74/956.07 c GARBAGE COLLECT
952.74/956.07 c #Conflicts: 640000 | #Constraints: 22193
952.74/956.07 c #Conflicts: 641000 | #Constraints: 23193
952.74/956.07 c #Conflicts: 642000 | #Constraints: 24193
952.74/956.07 c #Conflicts: 643000 | #Constraints: 25193
952.74/956.07 c #Conflicts: 644000 | #Constraints: 26193
952.74/956.07 c #Conflicts: 645000 | #Constraints: 27193
952.74/956.07 c #Conflicts: 646000 | #Constraints: 28193
952.74/956.07 c #Conflicts: 647000 | #Constraints: 29193
952.74/956.07 c #Conflicts: 648000 | #Constraints: 30193
952.74/956.07 c #Conflicts: 649000 | #Constraints: 31193
952.74/956.07 c #Conflicts: 650000 | #Constraints: 32193
952.74/956.07 c #Conflicts: 651000 | #Constraints: 33193
952.74/956.07 c #Conflicts: 652000 | #Constraints: 34193
952.74/956.07 c #Conflicts: 653000 | #Constraints: 35193
952.74/956.07 c #Conflicts: 654000 | #Constraints: 36193
952.74/956.07 c #Conflicts: 655000 | #Constraints: 37193
952.74/956.07 c INPROCESSING
952.74/956.07 c GARBAGE COLLECT
952.74/956.07 c #Conflicts: 656000 | #Constraints: 22193
952.74/956.07 c #Conflicts: 657000 | #Constraints: 23193
952.74/956.07 c #Conflicts: 658000 | #Constraints: 24193
952.74/956.07 c #Conflicts: 659000 | #Constraints: 25193
952.74/956.07 c #Conflicts: 660000 | #Constraints: 26193
1088.97/1092.77 c #Conflicts: 661000 | #Constraints: 27193
1088.97/1092.77 c #Conflicts: 662000 | #Constraints: 28193
1088.97/1092.77 c #Conflicts: 663000 | #Constraints: 29193
1088.97/1092.77 c #Conflicts: 664000 | #Constraints: 30193
1088.97/1092.77 c #Conflicts: 665000 | #Constraints: 31193
1088.97/1092.77 c #Conflicts: 666000 | #Constraints: 32193
1088.97/1092.77 c #Conflicts: 667000 | #Constraints: 33193
1088.97/1092.77 c #Conflicts: 668000 | #Constraints: 34193
1088.97/1092.77 c #Conflicts: 669000 | #Constraints: 35193
1088.97/1092.77 c #Conflicts: 670000 | #Constraints: 36193
1088.97/1092.77 c #Conflicts: 671000 | #Constraints: 37193
1088.97/1092.77 c INPROCESSING
1088.97/1092.77 c GARBAGE COLLECT
1088.97/1092.77 c #Conflicts: 672000 | #Constraints: 21990
1088.97/1092.77 c #Conflicts: 673000 | #Constraints: 22990
1088.97/1092.77 c #Conflicts: 674000 | #Constraints: 23990
1088.97/1092.77 c #Conflicts: 675000 | #Constraints: 24990
1088.97/1092.77 c #Conflicts: 676000 | #Constraints: 25990
1088.97/1092.77 c #Conflicts: 677000 | #Constraints: 26990
1088.97/1092.77 c #Conflicts: 678000 | #Constraints: 27990
1088.97/1092.77 c #Conflicts: 679000 | #Constraints: 28990
1088.97/1092.77 c #Conflicts: 680000 | #Constraints: 29990
1088.97/1092.77 c #Conflicts: 681000 | #Constraints: 30990
1088.97/1092.77 c #Conflicts: 682000 | #Constraints: 31990
1088.97/1092.77 c #Conflicts: 683000 | #Constraints: 32990
1088.97/1092.77 c #Conflicts: 684000 | #Constraints: 33990
1088.97/1092.77 c #Conflicts: 685000 | #Constraints: 34990
1088.97/1092.77 c #Conflicts: 686000 | #Constraints: 35990
1088.97/1092.77 c #Conflicts: 687000 | #Constraints: 36990
1088.97/1092.77 c #Conflicts: 688000 | #Constraints: 37990
1088.97/1092.77 c INPROCESSING
1088.97/1092.77 c GARBAGE COLLECT
1088.97/1092.77 c #Conflicts: 689000 | #Constraints: 22591
1088.97/1092.77 c #Conflicts: 690000 | #Constraints: 23591
1088.97/1092.77 c #Conflicts: 691000 | #Constraints: 24591
1088.97/1092.77 c #Conflicts: 692000 | #Constraints: 25591
1088.97/1092.77 c #Conflicts: 693000 | #Constraints: 26591
1088.97/1092.77 c #Conflicts: 694000 | #Constraints: 27591
1088.97/1092.77 c #Conflicts: 695000 | #Constraints: 28591
1088.97/1092.77 c #Conflicts: 696000 | #Constraints: 29591
1088.97/1092.77 c #Conflicts: 697000 | #Constraints: 30591
1088.97/1092.77 c #Conflicts: 698000 | #Constraints: 31591
1088.97/1092.77 c #Conflicts: 699000 | #Constraints: 32591
1088.97/1092.77 c #Conflicts: 700000 | #Constraints: 33591
1088.97/1092.77 c #Conflicts: 701000 | #Constraints: 34591
1088.97/1092.77 c #Conflicts: 702000 | #Constraints: 35591
1088.97/1092.77 c #Conflicts: 703000 | #Constraints: 36591
1088.97/1092.77 c #Conflicts: 704000 | #Constraints: 37591
1088.97/1092.77 c #Conflicts: 705000 | #Constraints: 38591
1088.97/1092.77 c INPROCESSING
1088.97/1092.77 c GARBAGE COLLECT
1088.97/1092.77 c #Conflicts: 706000 | #Constraints: 22994
1088.97/1092.77 c #Conflicts: 707000 | #Constraints: 23994
1088.97/1092.77 c #Conflicts: 708000 | #Constraints: 24994
1088.97/1092.77 c #Conflicts: 709000 | #Constraints: 25994
1088.97/1092.77 c #Conflicts: 710000 | #Constraints: 26994
1088.97/1092.77 c #Conflicts: 711000 | #Constraints: 27994
1088.97/1092.77 c #Conflicts: 712000 | #Constraints: 28994
1088.97/1092.77 c #Conflicts: 713000 | #Constraints: 29994
1088.97/1092.77 c #Conflicts: 714000 | #Constraints: 30994
1088.97/1092.77 c #Conflicts: 715000 | #Constraints: 31994
1088.97/1092.77 c #Conflicts: 716000 | #Constraints: 32994
1088.97/1092.77 c #Conflicts: 717000 | #Constraints: 33994
1088.97/1092.77 c #Conflicts: 718000 | #Constraints: 34994
1088.97/1092.77 c #Conflicts: 719000 | #Constraints: 35994
1088.97/1092.77 c #Conflicts: 720000 | #Constraints: 36994
1088.97/1092.77 c #Conflicts: 721000 | #Constraints: 37994
1088.97/1092.77 c #Conflicts: 722000 | #Constraints: 38994
1088.97/1092.77 c INPROCESSING
1088.97/1092.77 c GARBAGE COLLECT
1088.97/1092.77 c #Conflicts: 723000 | #Constraints: 23199
1088.97/1092.77 c #Conflicts: 724000 | #Constraints: 24199
1088.97/1092.77 c #Conflicts: 725000 | #Constraints: 25199
1088.97/1092.77 c #Conflicts: 726000 | #Constraints: 26199
1088.97/1092.77 c #Conflicts: 727000 | #Constraints: 27199
1088.97/1092.77 c #Conflicts: 728000 | #Constraints: 28199
1088.97/1092.77 c #Conflicts: 729000 | #Constraints: 29199
1088.97/1092.77 c #Conflicts: 730000 | #Constraints: 30199
1088.97/1092.77 c #Conflicts: 731000 | #Constraints: 31199
1088.97/1092.77 c #Conflicts: 732000 | #Constraints: 32199
1088.97/1092.77 c #Conflicts: 733000 | #Constraints: 33199
1088.97/1092.77 c #Conflicts: 734000 | #Constraints: 34199
1088.97/1092.77 c #Conflicts: 735000 | #Constraints: 35199
1088.97/1092.77 c #Conflicts: 736000 | #Constraints: 36199
1219.12/1223.35 c #Conflicts: 737000 | #Constraints: 37199
1219.12/1223.35 c #Conflicts: 738000 | #Constraints: 38199
1219.12/1223.35 c #Conflicts: 739000 | #Constraints: 39199
1219.12/1223.35 c INPROCESSING
1219.12/1223.35 c GARBAGE COLLECT
1219.12/1223.35 c #Conflicts: 740000 | #Constraints: 23198
1219.12/1223.35 c #Conflicts: 741000 | #Constraints: 24198
1219.12/1223.35 c #Conflicts: 742000 | #Constraints: 25198
1219.12/1223.35 c #Conflicts: 743000 | #Constraints: 26198
1219.12/1223.35 c #Conflicts: 744000 | #Constraints: 27198
1219.12/1223.35 c #Conflicts: 745000 | #Constraints: 28198
1219.12/1223.35 c #Conflicts: 746000 | #Constraints: 29198
1219.12/1223.35 c #Conflicts: 747000 | #Constraints: 30198
1219.12/1223.35 c #Conflicts: 748000 | #Constraints: 31198
1219.12/1223.35 c #Conflicts: 749000 | #Constraints: 32198
1219.12/1223.35 c #Conflicts: 750000 | #Constraints: 33198
1219.12/1223.35 c #Conflicts: 751000 | #Constraints: 34198
1219.12/1223.35 c #Conflicts: 752000 | #Constraints: 35198
1219.12/1223.35 c #Conflicts: 753000 | #Constraints: 36198
1219.12/1223.35 c #Conflicts: 754000 | #Constraints: 37198
1219.12/1223.35 c #Conflicts: 755000 | #Constraints: 38198
1219.12/1223.35 c #Conflicts: 756000 | #Constraints: 39198
1219.12/1223.35 c INPROCESSING
1219.12/1223.35 c GARBAGE COLLECT
1219.12/1223.35 c #Conflicts: 757000 | #Constraints: 22996
1219.12/1223.35 c #Conflicts: 758000 | #Constraints: 23996
1219.12/1223.35 c #Conflicts: 759000 | #Constraints: 24996
1219.12/1223.35 c #Conflicts: 760000 | #Constraints: 25996
1219.12/1223.35 c #Conflicts: 761000 | #Constraints: 26996
1219.12/1223.35 c #Conflicts: 762000 | #Constraints: 27996
1219.12/1223.35 c #Conflicts: 763000 | #Constraints: 28996
1219.12/1223.35 c #Conflicts: 764000 | #Constraints: 29996
1219.12/1223.35 c #Conflicts: 765000 | #Constraints: 30996
1219.12/1223.35 c #Conflicts: 766000 | #Constraints: 31996
1219.12/1223.35 c #Conflicts: 767000 | #Constraints: 32996
1219.12/1223.35 c #Conflicts: 768000 | #Constraints: 33996
1219.12/1223.35 c #Conflicts: 769000 | #Constraints: 34996
1219.12/1223.35 c #Conflicts: 770000 | #Constraints: 35996
1219.12/1223.35 c #Conflicts: 771000 | #Constraints: 36996
1219.12/1223.35 c #Conflicts: 772000 | #Constraints: 37996
1219.12/1223.35 c #Conflicts: 773000 | #Constraints: 38996
1219.12/1223.35 c #Conflicts: 774000 | #Constraints: 39996
1219.12/1223.35 c INPROCESSING
1219.12/1223.35 c GARBAGE COLLECT
1219.12/1223.35 c #Conflicts: 775000 | #Constraints: 23591
1219.12/1223.35 c #Conflicts: 776000 | #Constraints: 24591
1219.12/1223.35 c #Conflicts: 777000 | #Constraints: 25591
1219.12/1223.35 c #Conflicts: 778000 | #Constraints: 26591
1219.12/1223.35 c #Conflicts: 779000 | #Constraints: 27591
1219.12/1223.35 c #Conflicts: 780000 | #Constraints: 28591
1219.12/1223.35 c #Conflicts: 781000 | #Constraints: 29591
1219.12/1223.35 c #Conflicts: 782000 | #Constraints: 30591
1219.12/1223.35 c #Conflicts: 783000 | #Constraints: 31591
1219.12/1223.35 c #Conflicts: 784000 | #Constraints: 32591
1219.12/1223.35 c #Conflicts: 785000 | #Constraints: 33591
1219.12/1223.35 c #Conflicts: 786000 | #Constraints: 34591
1219.12/1223.35 c #Conflicts: 787000 | #Constraints: 35591
1219.12/1223.35 c #Conflicts: 788000 | #Constraints: 36591
1219.12/1223.35 c #Conflicts: 789000 | #Constraints: 37591
1219.12/1223.35 c #Conflicts: 790000 | #Constraints: 38591
1219.12/1223.35 c #Conflicts: 791000 | #Constraints: 39591
1219.12/1223.35 c #Conflicts: 792000 | #Constraints: 40591
1219.12/1223.35 c INPROCESSING
1219.12/1223.35 c GARBAGE COLLECT
1219.12/1223.35 c #Conflicts: 793000 | #Constraints: 23990
1219.12/1223.35 c #Conflicts: 794000 | #Constraints: 24990
1219.12/1223.35 c #Conflicts: 795000 | #Constraints: 25990
1219.12/1223.35 c #Conflicts: 796000 | #Constraints: 26990
1219.12/1223.35 c #Conflicts: 797000 | #Constraints: 27990
1219.12/1223.35 c #Conflicts: 798000 | #Constraints: 28990
1219.12/1223.35 c #Conflicts: 799000 | #Constraints: 29990
1219.12/1223.35 c #Conflicts: 800000 | #Constraints: 30990
1219.12/1223.35 c #Conflicts: 801000 | #Constraints: 31990
1219.12/1223.35 c #Conflicts: 802000 | #Constraints: 32990
1219.12/1223.35 c #Conflicts: 803000 | #Constraints: 33990
1219.12/1223.35 c #Conflicts: 804000 | #Constraints: 34990
1219.12/1223.35 c #Conflicts: 805000 | #Constraints: 35990
1219.12/1223.35 c #Conflicts: 806000 | #Constraints: 36990
1219.12/1223.35 c #Conflicts: 807000 | #Constraints: 37990
1219.12/1223.35 c #Conflicts: 808000 | #Constraints: 38990
1219.12/1223.35 c #Conflicts: 809000 | #Constraints: 39990
1219.12/1223.35 c #Conflicts: 810000 | #Constraints: 40990
1219.12/1223.35 c INPROCESSING
1219.12/1223.35 c GARBAGE COLLECT
1219.12/1223.35 c #Conflicts: 811000 | #Constraints: 24189
1219.12/1223.35 c #Conflicts: 812000 | #Constraints: 25189
1339.85/1344.41 c #Conflicts: 813000 | #Constraints: 26189
1339.85/1344.41 c #Conflicts: 814000 | #Constraints: 27189
1339.85/1344.41 c #Conflicts: 815000 | #Constraints: 28189
1339.85/1344.41 c #Conflicts: 816000 | #Constraints: 29189
1339.85/1344.41 c #Conflicts: 817000 | #Constraints: 30189
1339.85/1344.41 c #Conflicts: 818000 | #Constraints: 31189
1339.85/1344.41 c #Conflicts: 819000 | #Constraints: 32189
1339.85/1344.41 c #Conflicts: 820000 | #Constraints: 33189
1339.85/1344.41 c #Conflicts: 821000 | #Constraints: 34189
1339.85/1344.41 c #Conflicts: 822000 | #Constraints: 35189
1339.85/1344.41 c #Conflicts: 823000 | #Constraints: 36189
1339.85/1344.41 c #Conflicts: 824000 | #Constraints: 37189
1339.85/1344.41 c #Conflicts: 825000 | #Constraints: 38189
1339.85/1344.41 c #Conflicts: 826000 | #Constraints: 39189
1339.85/1344.41 c #Conflicts: 827000 | #Constraints: 40189
1339.85/1344.41 c #Conflicts: 828000 | #Constraints: 41189
1339.85/1344.41 c INPROCESSING
1339.85/1344.41 c GARBAGE COLLECT
1339.85/1344.41 c #Conflicts: 829000 | #Constraints: 24192
1339.85/1344.41 c #Conflicts: 830000 | #Constraints: 25192
1339.85/1344.41 c #Conflicts: 831000 | #Constraints: 26192
1339.85/1344.41 c #Conflicts: 832000 | #Constraints: 27192
1339.85/1344.41 c #Conflicts: 833000 | #Constraints: 28192
1339.85/1344.41 c #Conflicts: 834000 | #Constraints: 29192
1339.85/1344.41 c #Conflicts: 835000 | #Constraints: 30192
1339.85/1344.41 c #Conflicts: 836000 | #Constraints: 31192
1339.85/1344.41 c #Conflicts: 837000 | #Constraints: 32192
1339.85/1344.41 c #Conflicts: 838000 | #Constraints: 33192
1339.85/1344.41 c #Conflicts: 839000 | #Constraints: 34192
1339.85/1344.41 c #Conflicts: 840000 | #Constraints: 35192
1339.85/1344.41 c #Conflicts: 841000 | #Constraints: 36192
1339.85/1344.41 c #Conflicts: 842000 | #Constraints: 37192
1339.85/1344.41 c #Conflicts: 843000 | #Constraints: 38192
1339.85/1344.41 c #Conflicts: 844000 | #Constraints: 39192
1339.85/1344.41 c #Conflicts: 845000 | #Constraints: 40192
1339.85/1344.41 c #Conflicts: 846000 | #Constraints: 41192
1339.85/1344.41 c INPROCESSING
1339.85/1344.41 c GARBAGE COLLECT
1339.85/1344.41 c #Conflicts: 847000 | #Constraints: 23992
1339.85/1344.41 c #Conflicts: 848000 | #Constraints: 24992
1339.85/1344.41 c #Conflicts: 849000 | #Constraints: 25992
1339.85/1344.41 c #Conflicts: 850000 | #Constraints: 26992
1339.85/1344.41 c #Conflicts: 851000 | #Constraints: 27992
1339.85/1344.41 c #Conflicts: 852000 | #Constraints: 28992
1339.85/1344.41 c #Conflicts: 853000 | #Constraints: 29992
1339.85/1344.41 c #Conflicts: 854000 | #Constraints: 30992
1339.85/1344.41 c #Conflicts: 855000 | #Constraints: 31992
1339.85/1344.41 c #Conflicts: 856000 | #Constraints: 32992
1339.85/1344.41 c #Conflicts: 857000 | #Constraints: 33992
1339.85/1344.41 c #Conflicts: 858000 | #Constraints: 34992
1339.85/1344.41 c #Conflicts: 859000 | #Constraints: 35992
1339.85/1344.41 c #Conflicts: 860000 | #Constraints: 36992
1339.85/1344.41 c #Conflicts: 861000 | #Constraints: 37992
1339.85/1344.41 c #Conflicts: 862000 | #Constraints: 38992
1339.85/1344.41 c #Conflicts: 863000 | #Constraints: 39992
1339.85/1344.41 c #Conflicts: 864000 | #Constraints: 40992
1339.85/1344.41 c #Conflicts: 865000 | #Constraints: 41992
1339.85/1344.41 c INPROCESSING
1339.85/1344.41 c GARBAGE COLLECT
1339.85/1344.41 c #Conflicts: 866000 | #Constraints: 24591
1339.85/1344.41 c #Conflicts: 867000 | #Constraints: 25591
1339.85/1344.41 c #Conflicts: 868000 | #Constraints: 26591
1339.85/1344.41 c #Conflicts: 869000 | #Constraints: 27591
1339.85/1344.41 c #Conflicts: 870000 | #Constraints: 28591
1339.85/1344.41 c #Conflicts: 871000 | #Constraints: 29591
1339.85/1344.41 c #Conflicts: 872000 | #Constraints: 30591
1339.85/1344.41 c #Conflicts: 873000 | #Constraints: 31591
1339.85/1344.41 c #Conflicts: 874000 | #Constraints: 32591
1339.85/1344.41 c #Conflicts: 875000 | #Constraints: 33591
1339.85/1344.41 c #Conflicts: 876000 | #Constraints: 34591
1339.85/1344.41 c #Conflicts: 877000 | #Constraints: 35591
1339.85/1344.41 c #Conflicts: 878000 | #Constraints: 36591
1339.85/1344.41 c #Conflicts: 879000 | #Constraints: 37591
1339.85/1344.41 c #Conflicts: 880000 | #Constraints: 38591
1339.85/1344.41 c #Conflicts: 881000 | #Constraints: 39591
1339.85/1344.41 c #Conflicts: 882000 | #Constraints: 40591
1339.85/1344.41 c #Conflicts: 883000 | #Constraints: 41591
1339.85/1344.41 c #Conflicts: 884000 | #Constraints: 42591
1339.85/1344.41 c INPROCESSING
1339.85/1344.41 c GARBAGE COLLECT
1339.85/1344.41 c #Conflicts: 885000 | #Constraints: 24994
1339.85/1344.41 c #Conflicts: 886000 | #Constraints: 25994
1339.85/1344.41 c #Conflicts: 887000 | #Constraints: 26994
1339.85/1344.41 c #Conflicts: 888000 | #Constraints: 27994
1455.98/1460.96 c #Conflicts: 889000 | #Constraints: 28994
1455.98/1460.96 c #Conflicts: 890000 | #Constraints: 29994
1455.98/1460.96 c #Conflicts: 891000 | #Constraints: 30994
1455.98/1460.96 c #Conflicts: 892000 | #Constraints: 31994
1455.98/1460.96 c #Conflicts: 893000 | #Constraints: 32994
1455.98/1460.96 c #Conflicts: 894000 | #Constraints: 33994
1455.98/1460.96 c #Conflicts: 895000 | #Constraints: 34994
1455.98/1460.96 c #Conflicts: 896000 | #Constraints: 35994
1455.98/1460.96 c #Conflicts: 897000 | #Constraints: 36994
1455.98/1460.96 c #Conflicts: 898000 | #Constraints: 37994
1455.98/1460.96 c #Conflicts: 899000 | #Constraints: 38994
1455.98/1460.96 c #Conflicts: 900000 | #Constraints: 39994
1455.98/1460.96 c #Conflicts: 901000 | #Constraints: 40994
1455.98/1460.96 c #Conflicts: 902000 | #Constraints: 41994
1455.98/1460.96 c #Conflicts: 903000 | #Constraints: 42994
1455.98/1460.96 c INPROCESSING
1455.98/1460.96 c GARBAGE COLLECT
1455.98/1460.96 c #Conflicts: 904000 | #Constraints: 25193
1455.98/1460.96 c #Conflicts: 905000 | #Constraints: 26193
1455.98/1460.96 c #Conflicts: 906000 | #Constraints: 27193
1455.98/1460.96 c #Conflicts: 907000 | #Constraints: 28193
1455.98/1460.96 c #Conflicts: 908000 | #Constraints: 29193
1455.98/1460.96 c #Conflicts: 909000 | #Constraints: 30193
1455.98/1460.96 c #Conflicts: 910000 | #Constraints: 31193
1455.98/1460.96 c #Conflicts: 911000 | #Constraints: 32193
1455.98/1460.96 c #Conflicts: 912000 | #Constraints: 33193
1455.98/1460.96 c #Conflicts: 913000 | #Constraints: 34193
1455.98/1460.96 c #Conflicts: 914000 | #Constraints: 35193
1455.98/1460.96 c #Conflicts: 915000 | #Constraints: 36193
1455.98/1460.96 c #Conflicts: 916000 | #Constraints: 37193
1455.98/1460.96 c #Conflicts: 917000 | #Constraints: 38193
1455.98/1460.96 c #Conflicts: 918000 | #Constraints: 39193
1455.98/1460.96 c #Conflicts: 919000 | #Constraints: 40193
1455.98/1460.96 c #Conflicts: 920000 | #Constraints: 41193
1455.98/1460.96 c #Conflicts: 921000 | #Constraints: 42193
1455.98/1460.96 c #Conflicts: 922000 | #Constraints: 43193
1455.98/1460.96 c INPROCESSING
1455.98/1460.96 c GARBAGE COLLECT
1455.98/1460.96 c #Conflicts: 923000 | #Constraints: 25194
1455.98/1460.96 c #Conflicts: 924000 | #Constraints: 26194
1455.98/1460.96 c #Conflicts: 925000 | #Constraints: 27194
1455.98/1460.96 c #Conflicts: 926000 | #Constraints: 28194
1455.98/1460.96 c #Conflicts: 927000 | #Constraints: 29194
1455.98/1460.96 c #Conflicts: 928000 | #Constraints: 30194
1455.98/1460.96 c #Conflicts: 929000 | #Constraints: 31194
1455.98/1460.96 c #Conflicts: 930000 | #Constraints: 32194
1455.98/1460.96 c #Conflicts: 931000 | #Constraints: 33194
1455.98/1460.96 c #Conflicts: 932000 | #Constraints: 34194
1455.98/1460.96 c #Conflicts: 933000 | #Constraints: 35194
1455.98/1460.96 c #Conflicts: 934000 | #Constraints: 36194
1455.98/1460.96 c #Conflicts: 935000 | #Constraints: 37194
1455.98/1460.96 c #Conflicts: 936000 | #Constraints: 38194
1455.98/1460.96 c #Conflicts: 937000 | #Constraints: 39194
1455.98/1460.96 c #Conflicts: 938000 | #Constraints: 40194
1455.98/1460.96 c #Conflicts: 939000 | #Constraints: 41194
1455.98/1460.96 c #Conflicts: 940000 | #Constraints: 42194
1455.98/1460.96 c #Conflicts: 941000 | #Constraints: 43194
1455.98/1460.96 c INPROCESSING
1455.98/1460.96 c GARBAGE COLLECT
1455.98/1460.96 c #Conflicts: 942000 | #Constraints: 25002
1455.98/1460.96 c #Conflicts: 943000 | #Constraints: 26002
1455.98/1460.96 c #Conflicts: 944000 | #Constraints: 27002
1455.98/1460.96 c #Conflicts: 945000 | #Constraints: 28002
1455.98/1460.96 c #Conflicts: 946000 | #Constraints: 29002
1455.98/1460.96 c #Conflicts: 947000 | #Constraints: 30002
1455.98/1460.96 c #Conflicts: 948000 | #Constraints: 31002
1455.98/1460.96 c #Conflicts: 949000 | #Constraints: 32002
1455.98/1460.96 c #Conflicts: 950000 | #Constraints: 33002
1455.98/1460.96 c #Conflicts: 951000 | #Constraints: 34002
1455.98/1460.96 c #Conflicts: 952000 | #Constraints: 35002
1455.98/1460.96 c #Conflicts: 953000 | #Constraints: 36002
1455.98/1460.96 c #Conflicts: 954000 | #Constraints: 37002
1455.98/1460.96 c #Conflicts: 955000 | #Constraints: 38002
1455.98/1460.96 c #Conflicts: 956000 | #Constraints: 39002
1455.98/1460.96 c #Conflicts: 957000 | #Constraints: 40002
1455.98/1460.96 c #Conflicts: 958000 | #Constraints: 41002
1455.98/1460.96 c #Conflicts: 959000 | #Constraints: 42002
1455.98/1460.96 c #Conflicts: 960000 | #Constraints: 43002
1455.98/1460.96 c #Conflicts: 961000 | #Constraints: 44002
1455.98/1460.96 c INPROCESSING
1455.98/1460.96 c GARBAGE COLLECT
1455.98/1460.96 c #Conflicts: 962000 | #Constraints: 25597
1455.98/1460.96 c #Conflicts: 963000 | #Constraints: 26597
1455.98/1460.96 c #Conflicts: 964000 | #Constraints: 27597
1552.59/1557.86 c #Conflicts: 965000 | #Constraints: 28597
1552.59/1557.86 c #Conflicts: 966000 | #Constraints: 29597
1552.59/1557.86 c #Conflicts: 967000 | #Constraints: 30597
1552.59/1557.86 c #Conflicts: 968000 | #Constraints: 31597
1552.59/1557.86 c #Conflicts: 969000 | #Constraints: 32597
1552.59/1557.86 c #Conflicts: 970000 | #Constraints: 33597
1552.59/1557.86 c #Conflicts: 971000 | #Constraints: 34597
1552.59/1557.86 c #Conflicts: 972000 | #Constraints: 35597
1552.59/1557.86 c #Conflicts: 973000 | #Constraints: 36597
1552.59/1557.86 c #Conflicts: 974000 | #Constraints: 37597
1552.59/1557.86 c #Conflicts: 975000 | #Constraints: 38597
1552.59/1557.86 c #Conflicts: 976000 | #Constraints: 39597
1552.59/1557.86 c #Conflicts: 977000 | #Constraints: 40597
1552.59/1557.86 c #Conflicts: 978000 | #Constraints: 41597
1552.59/1557.86 c #Conflicts: 979000 | #Constraints: 42597
1552.59/1557.86 c #Conflicts: 980000 | #Constraints: 43597
1552.59/1557.86 c #Conflicts: 981000 | #Constraints: 44597
1552.59/1557.86 c INPROCESSING
1552.59/1557.86 c GARBAGE COLLECT
1552.59/1557.86 c #Conflicts: 982000 | #Constraints: 25997
1552.59/1557.86 c #Conflicts: 983000 | #Constraints: 26997
1552.59/1557.86 c #Conflicts: 984000 | #Constraints: 27997
1552.59/1557.86 c #Conflicts: 985000 | #Constraints: 28997
1552.59/1557.86 c #Conflicts: 986000 | #Constraints: 29997
1552.59/1557.86 c #Conflicts: 987000 | #Constraints: 30997
1552.59/1557.86 c #Conflicts: 988000 | #Constraints: 31997
1552.59/1557.86 c #Conflicts: 989000 | #Constraints: 32997
1552.59/1557.86 c #Conflicts: 990000 | #Constraints: 33997
1552.59/1557.86 c #Conflicts: 991000 | #Constraints: 34997
1552.59/1557.86 c #Conflicts: 992000 | #Constraints: 35997
1552.59/1557.86 c #Conflicts: 993000 | #Constraints: 36997
1552.59/1557.86 c #Conflicts: 994000 | #Constraints: 37997
1552.59/1557.86 c #Conflicts: 995000 | #Constraints: 38997
1552.59/1557.86 c #Conflicts: 996000 | #Constraints: 39997
1552.59/1557.86 c #Conflicts: 997000 | #Constraints: 40997
1552.59/1557.86 c #Conflicts: 998000 | #Constraints: 41997
1552.59/1557.86 c #Conflicts: 999000 | #Constraints: 42997
1552.59/1557.86 c #Conflicts: 1000000 | #Constraints: 43997
1552.59/1557.86 c #Conflicts: 1001000 | #Constraints: 44997
1552.59/1557.86 c INPROCESSING
1552.59/1557.86 c GARBAGE COLLECT
1552.59/1557.86 c #Conflicts: 1002000 | #Constraints: 26203
1552.59/1557.86 c #Conflicts: 1003000 | #Constraints: 27203
1552.59/1557.86 c #Conflicts: 1004000 | #Constraints: 28203
1552.59/1557.86 c #Conflicts: 1005000 | #Constraints: 29203
1552.59/1557.86 c #Conflicts: 1006000 | #Constraints: 30203
1552.59/1557.86 c #Conflicts: 1007000 | #Constraints: 31203
1552.59/1557.86 c #Conflicts: 1008000 | #Constraints: 32203
1552.59/1557.86 c #Conflicts: 1009000 | #Constraints: 33203
1552.59/1557.86 c #Conflicts: 1010000 | #Constraints: 34203
1552.59/1557.86 c #Conflicts: 1011000 | #Constraints: 35203
1552.59/1557.86 c #Conflicts: 1012000 | #Constraints: 36203
1552.59/1557.86 c #Conflicts: 1013000 | #Constraints: 37203
1552.59/1557.86 c #Conflicts: 1014000 | #Constraints: 38203
1552.59/1557.86 c #Conflicts: 1015000 | #Constraints: 39203
1552.59/1557.86 c #Conflicts: 1016000 | #Constraints: 40203
1552.59/1557.86 c #Conflicts: 1017000 | #Constraints: 41203
1552.59/1557.86 c #Conflicts: 1018000 | #Constraints: 42203
1552.59/1557.86 c #Conflicts: 1019000 | #Constraints: 43203
1552.59/1557.86 c #Conflicts: 1020000 | #Constraints: 44203
1552.59/1557.86 c #Conflicts: 1021000 | #Constraints: 45203
1552.59/1557.86 c INPROCESSING
1552.59/1557.86 c GARBAGE COLLECT
1552.59/1557.86 c #Conflicts: 1022000 | #Constraints: 26206
1552.59/1557.86 c #Conflicts: 1023000 | #Constraints: 27206
1552.59/1557.86 c #Conflicts: 1024000 | #Constraints: 28206
1552.59/1557.86 c #Conflicts: 1025000 | #Constraints: 29206
1552.59/1557.86 c #Conflicts: 1026000 | #Constraints: 30206
1552.59/1557.86 c #Conflicts: 1027000 | #Constraints: 31206
1552.59/1557.86 c #Conflicts: 1028000 | #Constraints: 32206
1552.59/1557.86 c #Conflicts: 1029000 | #Constraints: 33206
1552.59/1557.86 c #Conflicts: 1030000 | #Constraints: 34206
1552.59/1557.86 c #Conflicts: 1031000 | #Constraints: 35206
1552.59/1557.86 c #Conflicts: 1032000 | #Constraints: 36206
1552.59/1557.86 c #Conflicts: 1033000 | #Constraints: 37206
1552.59/1557.86 c #Conflicts: 1034000 | #Constraints: 38206
1552.59/1557.86 c #Conflicts: 1035000 | #Constraints: 39206
1552.59/1557.86 c #Conflicts: 1036000 | #Constraints: 40206
1552.59/1557.86 c #Conflicts: 1037000 | #Constraints: 41206
1552.59/1557.86 c #Conflicts: 1038000 | #Constraints: 42206
1552.59/1557.86 c #Conflicts: 1039000 | #Constraints: 43206
1552.59/1557.86 c #Conflicts: 1040000 | #Constraints: 44206
1552.59/1557.86 c #Conflicts: 1041000 | #Constraints: 45206
1649.01/1654.51 c INPROCESSING
1649.01/1654.51 c GARBAGE COLLECT
1649.01/1654.51 c #Conflicts: 1042000 | #Constraints: 26006
1649.01/1654.51 c #Conflicts: 1043000 | #Constraints: 27006
1649.01/1654.51 c #Conflicts: 1044000 | #Constraints: 28006
1649.01/1654.51 c #Conflicts: 1045000 | #Constraints: 29006
1649.01/1654.51 c #Conflicts: 1046000 | #Constraints: 30006
1649.01/1654.51 c #Conflicts: 1047000 | #Constraints: 31006
1649.01/1654.51 c #Conflicts: 1048000 | #Constraints: 32006
1649.01/1654.51 c #Conflicts: 1049000 | #Constraints: 33006
1649.01/1654.51 c #Conflicts: 1050000 | #Constraints: 34006
1649.01/1654.51 c #Conflicts: 1051000 | #Constraints: 35006
1649.01/1654.51 c #Conflicts: 1052000 | #Constraints: 36006
1649.01/1654.51 c #Conflicts: 1053000 | #Constraints: 37006
1649.01/1654.51 c #Conflicts: 1054000 | #Constraints: 38006
1649.01/1654.51 c #Conflicts: 1055000 | #Constraints: 39006
1649.01/1654.51 c #Conflicts: 1056000 | #Constraints: 40006
1649.01/1654.51 c #Conflicts: 1057000 | #Constraints: 41006
1649.01/1654.51 c #Conflicts: 1058000 | #Constraints: 42006
1649.01/1654.51 c #Conflicts: 1059000 | #Constraints: 43006
1649.01/1654.51 c #Conflicts: 1060000 | #Constraints: 44006
1649.01/1654.51 c #Conflicts: 1061000 | #Constraints: 45006
1649.01/1654.51 c #Conflicts: 1062000 | #Constraints: 46006
1649.01/1654.51 c INPROCESSING
1649.01/1654.51 c GARBAGE COLLECT
1649.01/1654.51 c #Conflicts: 1063000 | #Constraints: 26605
1649.01/1654.51 c #Conflicts: 1064000 | #Constraints: 27605
1649.01/1654.51 c #Conflicts: 1065000 | #Constraints: 28605
1649.01/1654.51 c #Conflicts: 1066000 | #Constraints: 29605
1649.01/1654.51 c #Conflicts: 1067000 | #Constraints: 30605
1649.01/1654.51 c #Conflicts: 1068000 | #Constraints: 31605
1649.01/1654.51 c #Conflicts: 1069000 | #Constraints: 32605
1649.01/1654.51 c #Conflicts: 1070000 | #Constraints: 33605
1649.01/1654.51 c #Conflicts: 1071000 | #Constraints: 34605
1649.01/1654.51 c #Conflicts: 1072000 | #Constraints: 35605
1649.01/1654.51 c #Conflicts: 1073000 | #Constraints: 36605
1649.01/1654.51 c #Conflicts: 1074000 | #Constraints: 37605
1649.01/1654.51 c #Conflicts: 1075000 | #Constraints: 38605
1649.01/1654.51 c #Conflicts: 1076000 | #Constraints: 39605
1649.01/1654.51 c #Conflicts: 1077000 | #Constraints: 40605
1649.01/1654.51 c #Conflicts: 1078000 | #Constraints: 41605
1649.01/1654.51 c #Conflicts: 1079000 | #Constraints: 42605
1649.01/1654.51 c #Conflicts: 1080000 | #Constraints: 43605
1649.01/1654.51 c #Conflicts: 1081000 | #Constraints: 44605
1649.01/1654.51 c #Conflicts: 1082000 | #Constraints: 45605
1649.01/1654.51 c #Conflicts: 1083000 | #Constraints: 46605
1649.01/1654.51 c INPROCESSING
1649.01/1654.51 c GARBAGE COLLECT
1649.01/1654.51 c #Conflicts: 1084000 | #Constraints: 27003
1649.01/1654.51 c #Conflicts: 1085000 | #Constraints: 28003
1649.01/1654.51 c #Conflicts: 1086000 | #Constraints: 29003
1649.01/1654.51 c #Conflicts: 1087000 | #Constraints: 30003
1649.01/1654.51 c #Conflicts: 1088000 | #Constraints: 31003
1649.01/1654.51 c #Conflicts: 1089000 | #Constraints: 32003
1649.01/1654.51 c #Conflicts: 1090000 | #Constraints: 33003
1649.01/1654.51 c #Conflicts: 1091000 | #Constraints: 34003
1649.01/1654.51 c #Conflicts: 1092000 | #Constraints: 35003
1649.01/1654.51 c #Conflicts: 1093000 | #Constraints: 36003
1649.01/1654.51 c #Conflicts: 1094000 | #Constraints: 37003
1649.01/1654.51 c #Conflicts: 1095000 | #Constraints: 38003
1649.01/1654.51 c #Conflicts: 1096000 | #Constraints: 39003
1649.01/1654.51 c #Conflicts: 1097000 | #Constraints: 40003
1649.01/1654.51 c #Conflicts: 1098000 | #Constraints: 41003
1649.01/1654.51 c #Conflicts: 1099000 | #Constraints: 42003
1649.01/1654.51 c #Conflicts: 1100000 | #Constraints: 43003
1649.01/1654.51 c #Conflicts: 1101000 | #Constraints: 44003
1649.01/1654.51 c #Conflicts: 1102000 | #Constraints: 45003
1649.01/1654.51 c #Conflicts: 1103000 | #Constraints: 46003
1649.01/1654.51 c #Conflicts: 1104000 | #Constraints: 47003
1649.01/1654.51 c INPROCESSING
1649.01/1654.51 c GARBAGE COLLECT
1649.01/1654.51 c #Conflicts: 1105000 | #Constraints: 27202
1649.01/1654.51 c #Conflicts: 1106000 | #Constraints: 28202
1649.01/1654.51 c #Conflicts: 1107000 | #Constraints: 29202
1649.01/1654.51 c #Conflicts: 1108000 | #Constraints: 30202
1649.01/1654.51 c #Conflicts: 1109000 | #Constraints: 31202
1649.01/1654.51 c #Conflicts: 1110000 | #Constraints: 32202
1649.01/1654.51 c #Conflicts: 1111000 | #Constraints: 33202
1649.01/1654.51 c #Conflicts: 1112000 | #Constraints: 34202
1649.01/1654.51 c #Conflicts: 1113000 | #Constraints: 35202
1649.01/1654.51 c #Conflicts: 1114000 | #Constraints: 36202
1649.01/1654.51 c #Conflicts: 1115000 | #Constraints: 37202
1649.01/1654.51 c #Conflicts: 1116000 | #Constraints: 38202
1649.01/1654.51 c #Conflicts: 1117000 | #Constraints: 39202
1764.28/1770.13 c #Conflicts: 1118000 | #Constraints: 40202
1764.28/1770.13 c #Conflicts: 1119000 | #Constraints: 41202
1764.28/1770.13 c #Conflicts: 1120000 | #Constraints: 42202
1764.28/1770.13 c #Conflicts: 1121000 | #Constraints: 43202
1764.28/1770.13 c #Conflicts: 1122000 | #Constraints: 44202
1764.28/1770.13 c #Conflicts: 1123000 | #Constraints: 45202
1764.28/1770.13 c #Conflicts: 1124000 | #Constraints: 46202
1764.28/1770.13 c #Conflicts: 1125000 | #Constraints: 47202
1764.28/1770.13 c INPROCESSING
1764.28/1770.13 c GARBAGE COLLECT
1764.28/1770.13 c #Conflicts: 1126000 | #Constraints: 27202
1764.28/1770.13 c #Conflicts: 1127000 | #Constraints: 28202
1764.28/1770.13 c #Conflicts: 1128000 | #Constraints: 29202
1764.28/1770.13 c #Conflicts: 1129000 | #Constraints: 30202
1764.28/1770.13 c #Conflicts: 1130000 | #Constraints: 31202
1764.28/1770.13 c #Conflicts: 1131000 | #Constraints: 32202
1764.28/1770.13 c #Conflicts: 1132000 | #Constraints: 33202
1764.28/1770.13 c #Conflicts: 1133000 | #Constraints: 34202
1764.28/1770.13 c #Conflicts: 1134000 | #Constraints: 35202
1764.28/1770.13 c #Conflicts: 1135000 | #Constraints: 36202
1764.28/1770.13 c #Conflicts: 1136000 | #Constraints: 37202
1764.28/1770.13 c #Conflicts: 1137000 | #Constraints: 38202
1764.28/1770.13 c #Conflicts: 1138000 | #Constraints: 39202
1764.28/1770.13 c #Conflicts: 1139000 | #Constraints: 40202
1764.28/1770.13 c #Conflicts: 1140000 | #Constraints: 41202
1764.28/1770.13 c #Conflicts: 1141000 | #Constraints: 42202
1764.28/1770.13 c #Conflicts: 1142000 | #Constraints: 43202
1764.28/1770.13 c #Conflicts: 1143000 | #Constraints: 44202
1764.28/1770.13 c #Conflicts: 1144000 | #Constraints: 45202
1764.28/1770.13 c #Conflicts: 1145000 | #Constraints: 46202
1764.28/1770.13 c #Conflicts: 1146000 | #Constraints: 47202
1764.28/1770.13 c INPROCESSING
1764.28/1770.13 c GARBAGE COLLECT
1764.28/1770.13 c #Conflicts: 1147000 | #Constraints: 26995
1764.28/1770.13 c #Conflicts: 1148000 | #Constraints: 27995
1764.28/1770.13 c #Conflicts: 1149000 | #Constraints: 28995
1764.28/1770.13 c #Conflicts: 1150000 | #Constraints: 29995
1764.28/1770.13 c #Conflicts: 1151000 | #Constraints: 30995
1764.28/1770.13 c #Conflicts: 1152000 | #Constraints: 31995
1764.28/1770.13 c #Conflicts: 1153000 | #Constraints: 32995
1764.28/1770.13 c #Conflicts: 1154000 | #Constraints: 33995
1764.28/1770.13 c #Conflicts: 1155000 | #Constraints: 34995
1764.28/1770.13 c #Conflicts: 1156000 | #Constraints: 35995
1764.28/1770.13 c #Conflicts: 1157000 | #Constraints: 36995
1764.28/1770.13 c #Conflicts: 1158000 | #Constraints: 37995
1764.28/1770.13 c #Conflicts: 1159000 | #Constraints: 38995
1764.28/1770.13 c #Conflicts: 1160000 | #Constraints: 39995
1764.28/1770.13 c #Conflicts: 1161000 | #Constraints: 40995
1764.28/1770.13 c #Conflicts: 1162000 | #Constraints: 41995
1764.28/1770.13 c #Conflicts: 1163000 | #Constraints: 42995
1764.28/1770.13 c #Conflicts: 1164000 | #Constraints: 43995
1764.28/1770.13 c #Conflicts: 1165000 | #Constraints: 44995
1764.28/1770.13 c #Conflicts: 1166000 | #Constraints: 45995
1764.28/1770.13 c #Conflicts: 1167000 | #Constraints: 46995
1764.28/1770.13 c #Conflicts: 1168000 | #Constraints: 47995
1764.28/1770.13 c INPROCESSING
1764.28/1770.13 c GARBAGE COLLECT
1764.28/1770.13 c #Conflicts: 1169000 | #Constraints: 27593
1764.28/1770.13 c #Conflicts: 1170000 | #Constraints: 28593
1764.28/1770.13 c #Conflicts: 1171000 | #Constraints: 29593
1764.28/1770.13 c #Conflicts: 1172000 | #Constraints: 30593
1764.28/1770.13 c #Conflicts: 1173000 | #Constraints: 31593
1764.28/1770.13 c #Conflicts: 1174000 | #Constraints: 32593
1764.28/1770.13 c #Conflicts: 1175000 | #Constraints: 33593
1764.28/1770.13 c #Conflicts: 1176000 | #Constraints: 34593
1764.28/1770.13 c #Conflicts: 1177000 | #Constraints: 35593
1764.28/1770.13 c #Conflicts: 1178000 | #Constraints: 36593
1764.28/1770.13 c #Conflicts: 1179000 | #Constraints: 37593
1764.28/1770.13 c #Conflicts: 1180000 | #Constraints: 38593
1764.28/1770.13 c #Conflicts: 1181000 | #Constraints: 39593
1764.28/1770.13 c #Conflicts: 1182000 | #Constraints: 40593
1764.28/1770.13 c #Conflicts: 1183000 | #Constraints: 41593
1764.28/1770.13 c #Conflicts: 1184000 | #Constraints: 42593
1764.28/1770.13 c #Conflicts: 1185000 | #Constraints: 43593
1764.28/1770.13 c #Conflicts: 1186000 | #Constraints: 44593
1764.28/1770.13 c #Conflicts: 1187000 | #Constraints: 45593
1764.28/1770.13 c #Conflicts: 1188000 | #Constraints: 46593
1764.28/1770.13 c #Conflicts: 1189000 | #Constraints: 47593
1764.28/1770.13 c #Conflicts: 1190000 | #Constraints: 48593
1764.28/1770.13 c INPROCESSING
1764.28/1770.13 c GARBAGE COLLECT
1764.28/1770.13 c #Conflicts: 1191000 | #Constraints: 27996
1764.28/1770.13 c #Conflicts: 1192000 | #Constraints: 28996
1764.28/1770.13 c #Conflicts: 1193000 | #Constraints: 29996
1881.73/1887.98 c #Conflicts: 1194000 | #Constraints: 30996
1881.73/1887.98 c #Conflicts: 1195000 | #Constraints: 31996
1881.73/1887.98 c #Conflicts: 1196000 | #Constraints: 32996
1881.73/1887.98 c #Conflicts: 1197000 | #Constraints: 33996
1881.73/1887.98 c #Conflicts: 1198000 | #Constraints: 34996
1881.73/1887.98 c #Conflicts: 1199000 | #Constraints: 35996
1881.73/1887.98 c #Conflicts: 1200000 | #Constraints: 36996
1881.73/1887.98 c #Conflicts: 1201000 | #Constraints: 37996
1881.73/1887.98 c #Conflicts: 1202000 | #Constraints: 38996
1881.73/1887.98 c #Conflicts: 1203000 | #Constraints: 39996
1881.73/1887.98 c #Conflicts: 1204000 | #Constraints: 40996
1881.73/1887.98 c #Conflicts: 1205000 | #Constraints: 41996
1881.73/1887.98 c #Conflicts: 1206000 | #Constraints: 42996
1881.73/1887.98 c #Conflicts: 1207000 | #Constraints: 43996
1881.73/1887.98 c #Conflicts: 1208000 | #Constraints: 44996
1881.73/1887.98 c #Conflicts: 1209000 | #Constraints: 45996
1881.73/1887.98 c #Conflicts: 1210000 | #Constraints: 46996
1881.73/1887.98 c #Conflicts: 1211000 | #Constraints: 47996
1881.73/1887.98 c #Conflicts: 1212000 | #Constraints: 48996
1881.73/1887.98 c INPROCESSING
1881.73/1887.98 c GARBAGE COLLECT
1881.73/1887.98 c #Conflicts: 1213000 | #Constraints: 28198
1881.73/1887.98 c #Conflicts: 1214000 | #Constraints: 29198
1881.73/1887.98 c #Conflicts: 1215000 | #Constraints: 30198
1881.73/1887.98 c #Conflicts: 1216000 | #Constraints: 31198
1881.73/1887.98 c #Conflicts: 1217000 | #Constraints: 32198
1881.73/1887.98 c #Conflicts: 1218000 | #Constraints: 33198
1881.73/1887.98 c #Conflicts: 1219000 | #Constraints: 34198
1881.73/1887.98 c #Conflicts: 1220000 | #Constraints: 35198
1881.73/1887.98 c #Conflicts: 1221000 | #Constraints: 36198
1881.73/1887.98 c #Conflicts: 1222000 | #Constraints: 37198
1881.73/1887.98 c #Conflicts: 1223000 | #Constraints: 38198
1881.73/1887.98 c #Conflicts: 1224000 | #Constraints: 39198
1881.73/1887.98 c #Conflicts: 1225000 | #Constraints: 40198
1881.73/1887.98 c #Conflicts: 1226000 | #Constraints: 41198
1881.73/1887.98 c #Conflicts: 1227000 | #Constraints: 42198
1881.73/1887.98 c #Conflicts: 1228000 | #Constraints: 43198
1881.73/1887.98 c #Conflicts: 1229000 | #Constraints: 44198
1881.73/1887.98 c #Conflicts: 1230000 | #Constraints: 45198
1881.73/1887.98 c #Conflicts: 1231000 | #Constraints: 46198
1881.73/1887.98 c #Conflicts: 1232000 | #Constraints: 47198
1881.73/1887.98 c #Conflicts: 1233000 | #Constraints: 48198
1881.73/1887.98 c #Conflicts: 1234000 | #Constraints: 49198
1881.73/1887.98 c INPROCESSING
1881.73/1887.98 c GARBAGE COLLECT
1881.73/1887.98 c #Conflicts: 1235000 | #Constraints: 28196
1881.73/1887.98 c #Conflicts: 1236000 | #Constraints: 29196
1881.73/1887.98 c #Conflicts: 1237000 | #Constraints: 30196
1881.73/1887.98 c #Conflicts: 1238000 | #Constraints: 31196
1881.73/1887.98 c #Conflicts: 1239000 | #Constraints: 32196
1881.73/1887.98 c #Conflicts: 1240000 | #Constraints: 33196
1881.73/1887.98 c #Conflicts: 1241000 | #Constraints: 34196
1881.73/1887.98 c #Conflicts: 1242000 | #Constraints: 35196
1881.73/1887.98 c #Conflicts: 1243000 | #Constraints: 36196
1881.73/1887.98 c #Conflicts: 1244000 | #Constraints: 37196
1881.73/1887.98 c #Conflicts: 1245000 | #Constraints: 38196
1881.73/1887.98 c #Conflicts: 1246000 | #Constraints: 39196
1881.73/1887.98 c #Conflicts: 1247000 | #Constraints: 40196
1881.73/1887.98 c #Conflicts: 1248000 | #Constraints: 41196
1881.73/1887.98 c #Conflicts: 1249000 | #Constraints: 42196
1881.73/1887.98 c #Conflicts: 1250000 | #Constraints: 43196
1881.73/1887.98 c #Conflicts: 1251000 | #Constraints: 44196
1881.73/1887.98 c #Conflicts: 1252000 | #Constraints: 45196
1881.73/1887.98 c #Conflicts: 1253000 | #Constraints: 46196
1881.73/1887.98 c #Conflicts: 1254000 | #Constraints: 47196
1881.73/1887.98 c #Conflicts: 1255000 | #Constraints: 48196
1881.73/1887.98 c #Conflicts: 1256000 | #Constraints: 49196
1881.73/1887.98 c INPROCESSING
1881.73/1887.98 c GARBAGE COLLECT
1881.73/1887.98 c #Conflicts: 1257000 | #Constraints: 27993
1881.73/1887.98 c #Conflicts: 1258000 | #Constraints: 28993
1881.73/1887.98 c #Conflicts: 1259000 | #Constraints: 29993
1881.73/1887.98 c #Conflicts: 1260000 | #Constraints: 30993
1881.73/1887.98 c #Conflicts: 1261000 | #Constraints: 31993
1881.73/1887.98 c #Conflicts: 1262000 | #Constraints: 32993
1881.73/1887.98 c #Conflicts: 1263000 | #Constraints: 33993
1881.73/1887.98 c #Conflicts: 1264000 | #Constraints: 34993
1881.73/1887.98 c #Conflicts: 1265000 | #Constraints: 35993
1881.73/1887.98 c #Conflicts: 1266000 | #Constraints: 36993
1881.73/1887.98 c #Conflicts: 1267000 | #Constraints: 37993
1881.73/1887.98 c #Conflicts: 1268000 | #Constraints: 38993
1881.73/1887.98 c #Conflicts: 1269000 | #Constraints: 39993
1881.73/1887.98 c #Conflicts: 1270000 | #Constraints: 40993
1997.38/2003.91 c #Conflicts: 1271000 | #Constraints: 41993
1997.38/2003.91 c #Conflicts: 1272000 | #Constraints: 42993
1997.38/2003.91 c #Conflicts: 1273000 | #Constraints: 43993
1997.38/2003.91 c #Conflicts: 1274000 | #Constraints: 44993
1997.38/2003.91 c #Conflicts: 1275000 | #Constraints: 45993
1997.38/2003.91 c #Conflicts: 1276000 | #Constraints: 46993
1997.38/2003.91 c #Conflicts: 1277000 | #Constraints: 47993
1997.38/2003.91 c #Conflicts: 1278000 | #Constraints: 48993
1997.38/2003.91 c #Conflicts: 1279000 | #Constraints: 49993
1997.38/2003.91 c INPROCESSING
1997.38/2003.91 c GARBAGE COLLECT
1997.38/2003.91 c #Conflicts: 1280000 | #Constraints: 28592
1997.38/2003.91 c #Conflicts: 1281000 | #Constraints: 29592
1997.38/2003.91 c #Conflicts: 1282000 | #Constraints: 30592
1997.38/2003.91 c #Conflicts: 1283000 | #Constraints: 31592
1997.38/2003.91 c #Conflicts: 1284000 | #Constraints: 32592
1997.38/2003.91 c #Conflicts: 1285000 | #Constraints: 33592
1997.38/2003.91 c #Conflicts: 1286000 | #Constraints: 34592
1997.38/2003.91 c #Conflicts: 1287000 | #Constraints: 35592
1997.38/2003.91 c #Conflicts: 1288000 | #Constraints: 36592
1997.38/2003.91 c #Conflicts: 1289000 | #Constraints: 37592
1997.38/2003.91 c #Conflicts: 1290000 | #Constraints: 38592
1997.38/2003.91 c #Conflicts: 1291000 | #Constraints: 39592
1997.38/2003.91 c #Conflicts: 1292000 | #Constraints: 40592
1997.38/2003.91 c #Conflicts: 1293000 | #Constraints: 41592
1997.38/2003.91 c #Conflicts: 1294000 | #Constraints: 42592
1997.38/2003.91 c #Conflicts: 1295000 | #Constraints: 43592
1997.38/2003.91 c #Conflicts: 1296000 | #Constraints: 44592
1997.38/2003.91 c #Conflicts: 1297000 | #Constraints: 45592
1997.38/2003.91 c #Conflicts: 1298000 | #Constraints: 46592
1997.38/2003.91 c #Conflicts: 1299000 | #Constraints: 47592
1997.38/2003.91 c #Conflicts: 1300000 | #Constraints: 48592
1997.38/2003.91 c #Conflicts: 1301000 | #Constraints: 49592
1997.38/2003.91 c #Conflicts: 1302000 | #Constraints: 50592
1997.38/2003.91 c INPROCESSING
1997.38/2003.91 c GARBAGE COLLECT
1997.38/2003.91 c #Conflicts: 1303000 | #Constraints: 28992
1997.38/2003.91 c #Conflicts: 1304000 | #Constraints: 29992
1997.38/2003.91 c #Conflicts: 1305000 | #Constraints: 30992
1997.38/2003.91 c #Conflicts: 1306000 | #Constraints: 31992
1997.38/2003.91 c #Conflicts: 1307000 | #Constraints: 32992
1997.38/2003.91 c #Conflicts: 1308000 | #Constraints: 33992
1997.38/2003.91 c #Conflicts: 1309000 | #Constraints: 34992
1997.38/2003.91 c #Conflicts: 1310000 | #Constraints: 35992
1997.38/2003.91 c #Conflicts: 1311000 | #Constraints: 36992
1997.38/2003.91 c #Conflicts: 1312000 | #Constraints: 37992
1997.38/2003.91 c #Conflicts: 1313000 | #Constraints: 38992
1997.38/2003.91 c #Conflicts: 1314000 | #Constraints: 39992
1997.38/2003.91 c #Conflicts: 1315000 | #Constraints: 40992
1997.38/2003.91 c #Conflicts: 1316000 | #Constraints: 41992
1997.38/2003.91 c #Conflicts: 1317000 | #Constraints: 42992
1997.38/2003.91 c #Conflicts: 1318000 | #Constraints: 43992
1997.38/2003.91 c #Conflicts: 1319000 | #Constraints: 44992
1997.38/2003.91 c #Conflicts: 1320000 | #Constraints: 45992
1997.38/2003.91 c #Conflicts: 1321000 | #Constraints: 46992
1997.38/2003.91 c #Conflicts: 1322000 | #Constraints: 47992
1997.38/2003.91 c #Conflicts: 1323000 | #Constraints: 48992
1997.38/2003.91 c #Conflicts: 1324000 | #Constraints: 49992
1997.38/2003.91 c #Conflicts: 1325000 | #Constraints: 50992
1997.38/2003.91 c INPROCESSING
1997.38/2003.91 c GARBAGE COLLECT
1997.38/2003.91 c #Conflicts: 1326000 | #Constraints: 29195
1997.38/2003.91 c #Conflicts: 1327000 | #Constraints: 30195
1997.38/2003.91 c #Conflicts: 1328000 | #Constraints: 31195
1997.38/2003.91 c #Conflicts: 1329000 | #Constraints: 32195
1997.38/2003.91 c #Conflicts: 1330000 | #Constraints: 33195
1997.38/2003.91 c #Conflicts: 1331000 | #Constraints: 34195
1997.38/2003.91 c #Conflicts: 1332000 | #Constraints: 35195
1997.38/2003.91 c #Conflicts: 1333000 | #Constraints: 36195
1997.38/2003.91 c #Conflicts: 1334000 | #Constraints: 37195
1997.38/2003.91 c #Conflicts: 1335000 | #Constraints: 38195
1997.38/2003.91 c #Conflicts: 1336000 | #Constraints: 39195
1997.38/2003.91 c #Conflicts: 1337000 | #Constraints: 40195
1997.38/2003.91 c #Conflicts: 1338000 | #Constraints: 41195
1997.38/2003.91 c #Conflicts: 1339000 | #Constraints: 42195
1997.38/2003.91 c #Conflicts: 1340000 | #Constraints: 43195
1997.38/2003.91 c #Conflicts: 1341000 | #Constraints: 44195
1997.38/2003.91 c #Conflicts: 1342000 | #Constraints: 45195
1997.38/2003.91 c #Conflicts: 1343000 | #Constraints: 46195
1997.38/2003.91 c #Conflicts: 1344000 | #Constraints: 47195
1997.38/2003.91 c #Conflicts: 1345000 | #Constraints: 48195
1997.38/2003.91 c #Conflicts: 1346000 | #Constraints: 49195
1997.38/2003.91 c #Conflicts: 1347000 | #Constraints: 50195
2125.99/2132.97 c #Conflicts: 1348000 | #Constraints: 51195
2125.99/2132.97 c INPROCESSING
2125.99/2132.97 c GARBAGE COLLECT
2125.99/2132.97 c #Conflicts: 1349000 | #Constraints: 29197
2125.99/2132.97 c #Conflicts: 1350000 | #Constraints: 30197
2125.99/2132.97 c #Conflicts: 1351000 | #Constraints: 31197
2125.99/2132.97 c #Conflicts: 1352000 | #Constraints: 32197
2125.99/2132.97 c #Conflicts: 1353000 | #Constraints: 33197
2125.99/2132.97 c #Conflicts: 1354000 | #Constraints: 34197
2125.99/2132.97 c #Conflicts: 1355000 | #Constraints: 35197
2125.99/2132.97 c #Conflicts: 1356000 | #Constraints: 36197
2125.99/2132.97 c #Conflicts: 1357000 | #Constraints: 37197
2125.99/2132.97 c #Conflicts: 1358000 | #Constraints: 38197
2125.99/2132.97 c #Conflicts: 1359000 | #Constraints: 39197
2125.99/2132.97 c #Conflicts: 1360000 | #Constraints: 40197
2125.99/2132.97 c #Conflicts: 1361000 | #Constraints: 41197
2125.99/2132.97 c #Conflicts: 1362000 | #Constraints: 42197
2125.99/2132.97 c #Conflicts: 1363000 | #Constraints: 43197
2125.99/2132.97 c #Conflicts: 1364000 | #Constraints: 44197
2125.99/2132.97 c #Conflicts: 1365000 | #Constraints: 45197
2125.99/2132.97 c #Conflicts: 1366000 | #Constraints: 46197
2125.99/2132.97 c #Conflicts: 1367000 | #Constraints: 47197
2125.99/2132.97 c #Conflicts: 1368000 | #Constraints: 48197
2125.99/2132.97 c #Conflicts: 1369000 | #Constraints: 49197
2125.99/2132.97 c #Conflicts: 1370000 | #Constraints: 50197
2125.99/2132.97 c #Conflicts: 1371000 | #Constraints: 51197
2125.99/2132.97 c INPROCESSING
2125.99/2132.97 c GARBAGE COLLECT
2125.99/2132.97 c #Conflicts: 1372000 | #Constraints: 28998
2125.99/2132.97 c #Conflicts: 1373000 | #Constraints: 29998
2125.99/2132.97 c #Conflicts: 1374000 | #Constraints: 30998
2125.99/2132.97 c #Conflicts: 1375000 | #Constraints: 31998
2125.99/2132.97 c #Conflicts: 1376000 | #Constraints: 32998
2125.99/2132.97 c #Conflicts: 1377000 | #Constraints: 33998
2125.99/2132.97 c #Conflicts: 1378000 | #Constraints: 34998
2125.99/2132.97 c #Conflicts: 1379000 | #Constraints: 35998
2125.99/2132.97 c #Conflicts: 1380000 | #Constraints: 36998
2125.99/2132.97 c #Conflicts: 1381000 | #Constraints: 37998
2125.99/2132.97 c #Conflicts: 1382000 | #Constraints: 38998
2125.99/2132.97 c #Conflicts: 1383000 | #Constraints: 39998
2125.99/2132.97 c #Conflicts: 1384000 | #Constraints: 40998
2125.99/2132.97 c #Conflicts: 1385000 | #Constraints: 41998
2125.99/2132.97 c #Conflicts: 1386000 | #Constraints: 42998
2125.99/2132.97 c #Conflicts: 1387000 | #Constraints: 43998
2125.99/2132.97 c #Conflicts: 1388000 | #Constraints: 44998
2125.99/2132.97 c #Conflicts: 1389000 | #Constraints: 45998
2125.99/2132.97 c #Conflicts: 1390000 | #Constraints: 46998
2125.99/2132.97 c #Conflicts: 1391000 | #Constraints: 47998
2125.99/2132.97 c #Conflicts: 1392000 | #Constraints: 48998
2125.99/2132.97 c #Conflicts: 1393000 | #Constraints: 49998
2125.99/2132.97 c #Conflicts: 1394000 | #Constraints: 50998
2125.99/2132.97 c #Conflicts: 1395000 | #Constraints: 51998
2125.99/2132.97 c INPROCESSING
2125.99/2132.97 c GARBAGE COLLECT
2125.99/2132.97 c #Conflicts: 1396000 | #Constraints: 29597
2125.99/2132.97 c #Conflicts: 1397000 | #Constraints: 30597
2125.99/2132.97 c #Conflicts: 1398000 | #Constraints: 31597
2125.99/2132.97 c #Conflicts: 1399000 | #Constraints: 32597
2125.99/2132.97 c #Conflicts: 1400000 | #Constraints: 33597
2125.99/2132.97 c #Conflicts: 1401000 | #Constraints: 34597
2125.99/2132.97 c #Conflicts: 1402000 | #Constraints: 35597
2125.99/2132.97 c #Conflicts: 1403000 | #Constraints: 36597
2125.99/2132.97 c #Conflicts: 1404000 | #Constraints: 37597
2125.99/2132.97 c #Conflicts: 1405000 | #Constraints: 38597
2125.99/2132.97 c #Conflicts: 1406000 | #Constraints: 39597
2125.99/2132.97 c #Conflicts: 1407000 | #Constraints: 40597
2125.99/2132.97 c #Conflicts: 1408000 | #Constraints: 41597
2125.99/2132.97 c #Conflicts: 1409000 | #Constraints: 42597
2125.99/2132.97 c #Conflicts: 1410000 | #Constraints: 43597
2125.99/2132.97 c #Conflicts: 1411000 | #Constraints: 44597
2125.99/2132.97 c #Conflicts: 1412000 | #Constraints: 45597
2125.99/2132.97 c #Conflicts: 1413000 | #Constraints: 46597
2125.99/2132.97 c #Conflicts: 1414000 | #Constraints: 47597
2125.99/2132.97 c #Conflicts: 1415000 | #Constraints: 48597
2125.99/2132.97 c #Conflicts: 1416000 | #Constraints: 49597
2125.99/2132.97 c #Conflicts: 1417000 | #Constraints: 50597
2125.99/2132.97 c #Conflicts: 1418000 | #Constraints: 51597
2125.99/2132.97 c #Conflicts: 1419000 | #Constraints: 52597
2125.99/2132.97 c INPROCESSING
2125.99/2132.97 c GARBAGE COLLECT
2125.99/2132.97 c #Conflicts: 1420000 | #Constraints: 29996
2125.99/2132.97 c #Conflicts: 1421000 | #Constraints: 30996
2125.99/2132.97 c #Conflicts: 1422000 | #Constraints: 31996
2125.99/2132.97 c #Conflicts: 1423000 | #Constraints: 32996
2264.58/2271.99 c #Conflicts: 1424000 | #Constraints: 33996
2264.58/2271.99 c #Conflicts: 1425000 | #Constraints: 34996
2264.58/2271.99 c #Conflicts: 1426000 | #Constraints: 35996
2264.58/2271.99 c #Conflicts: 1427000 | #Constraints: 36996
2264.58/2271.99 c #Conflicts: 1428000 | #Constraints: 37996
2264.58/2271.99 c #Conflicts: 1429000 | #Constraints: 38996
2264.58/2271.99 c #Conflicts: 1430000 | #Constraints: 39996
2264.58/2271.99 c #Conflicts: 1431000 | #Constraints: 40996
2264.58/2271.99 c #Conflicts: 1432000 | #Constraints: 41996
2264.58/2271.99 c #Conflicts: 1433000 | #Constraints: 42996
2264.58/2271.99 c #Conflicts: 1434000 | #Constraints: 43996
2264.58/2271.99 c #Conflicts: 1435000 | #Constraints: 44996
2264.58/2271.99 c #Conflicts: 1436000 | #Constraints: 45996
2264.58/2271.99 c #Conflicts: 1437000 | #Constraints: 46996
2264.58/2271.99 c #Conflicts: 1438000 | #Constraints: 47996
2264.58/2271.99 c #Conflicts: 1439000 | #Constraints: 48996
2264.58/2271.99 c #Conflicts: 1440000 | #Constraints: 49996
2264.58/2271.99 c #Conflicts: 1441000 | #Constraints: 50996
2264.58/2271.99 c #Conflicts: 1442000 | #Constraints: 51996
2264.58/2271.99 c #Conflicts: 1443000 | #Constraints: 52996
2264.58/2271.99 c INPROCESSING
2264.58/2271.99 c GARBAGE COLLECT
2264.58/2271.99 c #Conflicts: 1444000 | #Constraints: 30194
2264.58/2271.99 c #Conflicts: 1445000 | #Constraints: 31194
2264.58/2271.99 c #Conflicts: 1446000 | #Constraints: 32194
2264.58/2271.99 c #Conflicts: 1447000 | #Constraints: 33194
2264.58/2271.99 c #Conflicts: 1448000 | #Constraints: 34194
2264.58/2271.99 c #Conflicts: 1449000 | #Constraints: 35194
2264.58/2271.99 c #Conflicts: 1450000 | #Constraints: 36194
2264.58/2271.99 c #Conflicts: 1451000 | #Constraints: 37194
2264.58/2271.99 c #Conflicts: 1452000 | #Constraints: 38194
2264.58/2271.99 c #Conflicts: 1453000 | #Constraints: 39194
2264.58/2271.99 c #Conflicts: 1454000 | #Constraints: 40194
2264.58/2271.99 c #Conflicts: 1455000 | #Constraints: 41194
2264.58/2271.99 c #Conflicts: 1456000 | #Constraints: 42194
2264.58/2271.99 c #Conflicts: 1457000 | #Constraints: 43194
2264.58/2271.99 c #Conflicts: 1458000 | #Constraints: 44194
2264.58/2271.99 c #Conflicts: 1459000 | #Constraints: 45194
2264.58/2271.99 c #Conflicts: 1460000 | #Constraints: 46194
2264.58/2271.99 c #Conflicts: 1461000 | #Constraints: 47194
2264.58/2271.99 c #Conflicts: 1462000 | #Constraints: 48194
2264.58/2271.99 c #Conflicts: 1463000 | #Constraints: 49194
2264.58/2271.99 c #Conflicts: 1464000 | #Constraints: 50194
2264.58/2271.99 c #Conflicts: 1465000 | #Constraints: 51194
2264.58/2271.99 c #Conflicts: 1466000 | #Constraints: 52194
2264.58/2271.99 c #Conflicts: 1467000 | #Constraints: 53194
2264.58/2271.99 c INPROCESSING
2264.58/2271.99 c GARBAGE COLLECT
2264.58/2271.99 c #Conflicts: 1468000 | #Constraints: 30197
2264.58/2271.99 c #Conflicts: 1469000 | #Constraints: 31197
2264.58/2271.99 c #Conflicts: 1470000 | #Constraints: 32197
2264.58/2271.99 c #Conflicts: 1471000 | #Constraints: 33197
2264.58/2271.99 c #Conflicts: 1472000 | #Constraints: 34197
2264.58/2271.99 c #Conflicts: 1473000 | #Constraints: 35197
2264.58/2271.99 c #Conflicts: 1474000 | #Constraints: 36197
2264.58/2271.99 c #Conflicts: 1475000 | #Constraints: 37197
2264.58/2271.99 c #Conflicts: 1476000 | #Constraints: 38197
2264.58/2271.99 c #Conflicts: 1477000 | #Constraints: 39197
2264.58/2271.99 c #Conflicts: 1478000 | #Constraints: 40197
2264.58/2271.99 c #Conflicts: 1479000 | #Constraints: 41197
2264.58/2271.99 c #Conflicts: 1480000 | #Constraints: 42197
2264.58/2271.99 c #Conflicts: 1481000 | #Constraints: 43197
2264.58/2271.99 c #Conflicts: 1482000 | #Constraints: 44197
2264.58/2271.99 c #Conflicts: 1483000 | #Constraints: 45197
2264.58/2271.99 c #Conflicts: 1484000 | #Constraints: 46197
2264.58/2271.99 c #Conflicts: 1485000 | #Constraints: 47197
2264.58/2271.99 c #Conflicts: 1486000 | #Constraints: 48197
2264.58/2271.99 c #Conflicts: 1487000 | #Constraints: 49197
2264.58/2271.99 c #Conflicts: 1488000 | #Constraints: 50197
2264.58/2271.99 c #Conflicts: 1489000 | #Constraints: 51197
2264.58/2271.99 c #Conflicts: 1490000 | #Constraints: 52197
2264.58/2271.99 c #Conflicts: 1491000 | #Constraints: 53197
2264.58/2271.99 c INPROCESSING
2264.58/2271.99 c GARBAGE COLLECT
2264.58/2271.99 c #Conflicts: 1492000 | #Constraints: 29993
2264.58/2271.99 c #Conflicts: 1493000 | #Constraints: 30993
2264.58/2271.99 c #Conflicts: 1494000 | #Constraints: 31993
2264.58/2271.99 c #Conflicts: 1495000 | #Constraints: 32993
2264.58/2271.99 c #Conflicts: 1496000 | #Constraints: 33993
2264.58/2271.99 c #Conflicts: 1497000 | #Constraints: 34993
2264.58/2271.99 c #Conflicts: 1498000 | #Constraints: 35993
2264.58/2271.99 c #Conflicts: 1499000 | #Constraints: 36993
2264.58/2271.99 c #Conflicts: 1500000 | #Constraints: 37993
2400.77/2408.55 c #Conflicts: 1501000 | #Constraints: 38993
2400.77/2408.55 c #Conflicts: 1502000 | #Constraints: 39993
2400.77/2408.55 c #Conflicts: 1503000 | #Constraints: 40993
2400.77/2408.55 c #Conflicts: 1504000 | #Constraints: 41993
2400.77/2408.55 c #Conflicts: 1505000 | #Constraints: 42993
2400.77/2408.55 c #Conflicts: 1506000 | #Constraints: 43993
2400.77/2408.55 c #Conflicts: 1507000 | #Constraints: 44993
2400.77/2408.55 c #Conflicts: 1508000 | #Constraints: 45993
2400.77/2408.55 c #Conflicts: 1509000 | #Constraints: 46993
2400.77/2408.55 c #Conflicts: 1510000 | #Constraints: 47993
2400.77/2408.55 c #Conflicts: 1511000 | #Constraints: 48993
2400.77/2408.55 c #Conflicts: 1512000 | #Constraints: 49993
2400.77/2408.55 c #Conflicts: 1513000 | #Constraints: 50993
2400.77/2408.55 c #Conflicts: 1514000 | #Constraints: 51993
2400.77/2408.55 c #Conflicts: 1515000 | #Constraints: 52993
2400.77/2408.55 c #Conflicts: 1516000 | #Constraints: 53993
2400.77/2408.55 c INPROCESSING
2400.77/2408.55 c GARBAGE COLLECT
2400.77/2408.55 c #Conflicts: 1517000 | #Constraints: 30591
2400.77/2408.55 c #Conflicts: 1518000 | #Constraints: 31591
2400.77/2408.55 c #Conflicts: 1519000 | #Constraints: 32591
2400.77/2408.55 c #Conflicts: 1520000 | #Constraints: 33591
2400.77/2408.55 c #Conflicts: 1521000 | #Constraints: 34591
2400.77/2408.55 c #Conflicts: 1522000 | #Constraints: 35591
2400.77/2408.55 c #Conflicts: 1523000 | #Constraints: 36591
2400.77/2408.55 c #Conflicts: 1524000 | #Constraints: 37591
2400.77/2408.55 c #Conflicts: 1525000 | #Constraints: 38591
2400.77/2408.55 c #Conflicts: 1526000 | #Constraints: 39591
2400.77/2408.55 c #Conflicts: 1527000 | #Constraints: 40591
2400.77/2408.55 c #Conflicts: 1528000 | #Constraints: 41591
2400.77/2408.55 c #Conflicts: 1529000 | #Constraints: 42591
2400.77/2408.55 c #Conflicts: 1530000 | #Constraints: 43591
2400.77/2408.55 c #Conflicts: 1531000 | #Constraints: 44591
2400.77/2408.55 c #Conflicts: 1532000 | #Constraints: 45591
2400.77/2408.55 c #Conflicts: 1533000 | #Constraints: 46591
2400.77/2408.55 c #Conflicts: 1534000 | #Constraints: 47591
2400.77/2408.55 c #Conflicts: 1535000 | #Constraints: 48591
2400.77/2408.55 c #Conflicts: 1536000 | #Constraints: 49591
2400.77/2408.55 c #Conflicts: 1537000 | #Constraints: 50591
2400.77/2408.55 c #Conflicts: 1538000 | #Constraints: 51591
2400.77/2408.55 c #Conflicts: 1539000 | #Constraints: 52591
2400.77/2408.55 c #Conflicts: 1540000 | #Constraints: 53591
2400.77/2408.55 c #Conflicts: 1541000 | #Constraints: 54591
2400.77/2408.55 c INPROCESSING
2400.77/2408.55 c GARBAGE COLLECT
2400.77/2408.55 c #Conflicts: 1542000 | #Constraints: 30993
2400.77/2408.55 c #Conflicts: 1543000 | #Constraints: 31993
2400.77/2408.55 c #Conflicts: 1544000 | #Constraints: 32993
2400.77/2408.55 c #Conflicts: 1545000 | #Constraints: 33993
2400.77/2408.55 c #Conflicts: 1546000 | #Constraints: 34993
2400.77/2408.55 c #Conflicts: 1547000 | #Constraints: 35993
2400.77/2408.55 c #Conflicts: 1548000 | #Constraints: 36993
2400.77/2408.55 c #Conflicts: 1549000 | #Constraints: 37993
2400.77/2408.55 c #Conflicts: 1550000 | #Constraints: 38993
2400.77/2408.55 c #Conflicts: 1551000 | #Constraints: 39993
2400.77/2408.55 c #Conflicts: 1552000 | #Constraints: 40993
2400.77/2408.55 c #Conflicts: 1553000 | #Constraints: 41993
2400.77/2408.55 c #Conflicts: 1554000 | #Constraints: 42993
2400.77/2408.55 c #Conflicts: 1555000 | #Constraints: 43993
2400.77/2408.55 c #Conflicts: 1556000 | #Constraints: 44993
2400.77/2408.55 c #Conflicts: 1557000 | #Constraints: 45993
2400.77/2408.55 c #Conflicts: 1558000 | #Constraints: 46993
2400.77/2408.55 c #Conflicts: 1559000 | #Constraints: 47993
2400.77/2408.55 c #Conflicts: 1560000 | #Constraints: 48993
2400.77/2408.55 c #Conflicts: 1561000 | #Constraints: 49993
2400.77/2408.55 c #Conflicts: 1562000 | #Constraints: 50993
2400.77/2408.55 c #Conflicts: 1563000 | #Constraints: 51993
2400.77/2408.55 c #Conflicts: 1564000 | #Constraints: 52993
2400.77/2408.55 c #Conflicts: 1565000 | #Constraints: 53993
2400.77/2408.55 c #Conflicts: 1566000 | #Constraints: 54993
2400.77/2408.55 c INPROCESSING
2400.77/2408.55 c GARBAGE COLLECT
2400.77/2408.55 c #Conflicts: 1567000 | #Constraints: 31194
2400.77/2408.55 c #Conflicts: 1568000 | #Constraints: 32194
2400.77/2408.55 c #Conflicts: 1569000 | #Constraints: 33194
2400.77/2408.55 c #Conflicts: 1570000 | #Constraints: 34194
2400.77/2408.55 c #Conflicts: 1571000 | #Constraints: 35194
2400.77/2408.55 c #Conflicts: 1572000 | #Constraints: 36194
2400.77/2408.55 c #Conflicts: 1573000 | #Constraints: 37194
2400.77/2408.55 c #Conflicts: 1574000 | #Constraints: 38194
2400.77/2408.55 c #Conflicts: 1575000 | #Constraints: 39194
2400.77/2408.55 c #Conflicts: 1576000 | #Constraints: 40194
2400.77/2408.55 c #Conflicts: 1577000 | #Constraints: 41194
2545.12/2553.32 c #Conflicts: 1578000 | #Constraints: 42194
2545.12/2553.32 c #Conflicts: 1579000 | #Constraints: 43194
2545.12/2553.32 c #Conflicts: 1580000 | #Constraints: 44194
2545.12/2553.32 c #Conflicts: 1581000 | #Constraints: 45194
2545.12/2553.32 c #Conflicts: 1582000 | #Constraints: 46194
2545.12/2553.32 c #Conflicts: 1583000 | #Constraints: 47194
2545.12/2553.32 c #Conflicts: 1584000 | #Constraints: 48194
2545.12/2553.32 c #Conflicts: 1585000 | #Constraints: 49194
2545.12/2553.32 c #Conflicts: 1586000 | #Constraints: 50194
2545.12/2553.32 c #Conflicts: 1587000 | #Constraints: 51194
2545.12/2553.32 c #Conflicts: 1588000 | #Constraints: 52194
2545.12/2553.32 c #Conflicts: 1589000 | #Constraints: 53194
2545.12/2553.32 c #Conflicts: 1590000 | #Constraints: 54194
2545.12/2553.32 c #Conflicts: 1591000 | #Constraints: 55194
2545.12/2553.32 c INPROCESSING
2545.12/2553.32 c GARBAGE COLLECT
2545.12/2553.32 c #Conflicts: 1592000 | #Constraints: 31195
2545.12/2553.32 c #Conflicts: 1593000 | #Constraints: 32195
2545.12/2553.32 c #Conflicts: 1594000 | #Constraints: 33195
2545.12/2553.32 c #Conflicts: 1595000 | #Constraints: 34195
2545.12/2553.32 c #Conflicts: 1596000 | #Constraints: 35195
2545.12/2553.32 c #Conflicts: 1597000 | #Constraints: 36195
2545.12/2553.32 c #Conflicts: 1598000 | #Constraints: 37195
2545.12/2553.32 c #Conflicts: 1599000 | #Constraints: 38195
2545.12/2553.32 c #Conflicts: 1600000 | #Constraints: 39195
2545.12/2553.32 c #Conflicts: 1601000 | #Constraints: 40195
2545.12/2553.32 c #Conflicts: 1602000 | #Constraints: 41195
2545.12/2553.32 c #Conflicts: 1603000 | #Constraints: 42195
2545.12/2553.32 c #Conflicts: 1604000 | #Constraints: 43195
2545.12/2553.32 c #Conflicts: 1605000 | #Constraints: 44195
2545.12/2553.32 c #Conflicts: 1606000 | #Constraints: 45195
2545.12/2553.32 c #Conflicts: 1607000 | #Constraints: 46195
2545.12/2553.32 c #Conflicts: 1608000 | #Constraints: 47195
2545.12/2553.32 c #Conflicts: 1609000 | #Constraints: 48195
2545.12/2553.32 c #Conflicts: 1610000 | #Constraints: 49195
2545.12/2553.32 c #Conflicts: 1611000 | #Constraints: 50195
2545.12/2553.32 c #Conflicts: 1612000 | #Constraints: 51195
2545.12/2553.32 c #Conflicts: 1613000 | #Constraints: 52195
2545.12/2553.32 c #Conflicts: 1614000 | #Constraints: 53195
2545.12/2553.32 c #Conflicts: 1615000 | #Constraints: 54195
2545.12/2553.32 c #Conflicts: 1616000 | #Constraints: 55195
2545.12/2553.32 c INPROCESSING
2545.12/2553.32 c GARBAGE COLLECT
2545.12/2553.32 c #Conflicts: 1617000 | #Constraints: 30996
2545.12/2553.32 c #Conflicts: 1618000 | #Constraints: 31996
2545.12/2553.32 c #Conflicts: 1619000 | #Constraints: 32996
2545.12/2553.32 c #Conflicts: 1620000 | #Constraints: 33996
2545.12/2553.32 c #Conflicts: 1621000 | #Constraints: 34996
2545.12/2553.32 c #Conflicts: 1622000 | #Constraints: 35996
2545.12/2553.32 c #Conflicts: 1623000 | #Constraints: 36996
2545.12/2553.32 c #Conflicts: 1624000 | #Constraints: 37996
2545.12/2553.32 c #Conflicts: 1625000 | #Constraints: 38996
2545.12/2553.32 c #Conflicts: 1626000 | #Constraints: 39996
2545.12/2553.32 c #Conflicts: 1627000 | #Constraints: 40996
2545.12/2553.32 c #Conflicts: 1628000 | #Constraints: 41996
2545.12/2553.32 c #Conflicts: 1629000 | #Constraints: 42996
2545.12/2553.32 c #Conflicts: 1630000 | #Constraints: 43996
2545.12/2553.32 c #Conflicts: 1631000 | #Constraints: 44996
2545.12/2553.32 c #Conflicts: 1632000 | #Constraints: 45996
2545.12/2553.32 c #Conflicts: 1633000 | #Constraints: 46996
2545.12/2553.32 c #Conflicts: 1634000 | #Constraints: 47996
2545.12/2553.32 c #Conflicts: 1635000 | #Constraints: 48996
2545.12/2553.32 c #Conflicts: 1636000 | #Constraints: 49996
2545.12/2553.32 c #Conflicts: 1637000 | #Constraints: 50996
2545.12/2553.32 c #Conflicts: 1638000 | #Constraints: 51996
2545.12/2553.32 c #Conflicts: 1639000 | #Constraints: 52996
2545.12/2553.32 c #Conflicts: 1640000 | #Constraints: 53996
2545.12/2553.32 c #Conflicts: 1641000 | #Constraints: 54996
2545.12/2553.32 c #Conflicts: 1642000 | #Constraints: 55996
2545.12/2553.32 c INPROCESSING
2545.12/2553.32 c GARBAGE COLLECT
2545.12/2553.32 c #Conflicts: 1643000 | #Constraints: 31593
2545.12/2553.32 c #Conflicts: 1644000 | #Constraints: 32593
2545.12/2553.32 c #Conflicts: 1645000 | #Constraints: 33593
2545.12/2553.32 c #Conflicts: 1646000 | #Constraints: 34593
2545.12/2553.32 c #Conflicts: 1647000 | #Constraints: 35593
2545.12/2553.32 c #Conflicts: 1648000 | #Constraints: 36593
2545.12/2553.32 c #Conflicts: 1649000 | #Constraints: 37593
2545.12/2553.32 c #Conflicts: 1650000 | #Constraints: 38593
2545.12/2553.32 c #Conflicts: 1651000 | #Constraints: 39593
2545.12/2553.32 c #Conflicts: 1652000 | #Constraints: 40593
2545.12/2553.32 c #Conflicts: 1653000 | #Constraints: 41593
2545.12/2553.32 c #Conflicts: 1654000 | #Constraints: 42593
2696.38/2705.05 c #Conflicts: 1655000 | #Constraints: 43593
2696.38/2705.05 c #Conflicts: 1656000 | #Constraints: 44593
2696.38/2705.05 c #Conflicts: 1657000 | #Constraints: 45593
2696.38/2705.05 c #Conflicts: 1658000 | #Constraints: 46593
2696.38/2705.05 c #Conflicts: 1659000 | #Constraints: 47593
2696.38/2705.05 c #Conflicts: 1660000 | #Constraints: 48593
2696.38/2705.05 c #Conflicts: 1661000 | #Constraints: 49593
2696.38/2705.05 c #Conflicts: 1662000 | #Constraints: 50593
2696.38/2705.05 c #Conflicts: 1663000 | #Constraints: 51593
2696.38/2705.05 c #Conflicts: 1664000 | #Constraints: 52593
2696.38/2705.05 c #Conflicts: 1665000 | #Constraints: 53593
2696.38/2705.05 c #Conflicts: 1666000 | #Constraints: 54593
2696.38/2705.05 c #Conflicts: 1667000 | #Constraints: 55593
2696.38/2705.05 c #Conflicts: 1668000 | #Constraints: 56593
2696.38/2705.05 c INPROCESSING
2696.38/2705.05 c GARBAGE COLLECT
2696.38/2705.05 c #Conflicts: 1669000 | #Constraints: 31992
2696.38/2705.05 c #Conflicts: 1670000 | #Constraints: 32992
2696.38/2705.05 c #Conflicts: 1671000 | #Constraints: 33992
2696.38/2705.05 c #Conflicts: 1672000 | #Constraints: 34992
2696.38/2705.05 c #Conflicts: 1673000 | #Constraints: 35992
2696.38/2705.06 c #Conflicts: 1674000 | #Constraints: 36992
2696.38/2705.06 c #Conflicts: 1675000 | #Constraints: 37992
2696.38/2705.06 c #Conflicts: 1676000 | #Constraints: 38992
2696.38/2705.06 c #Conflicts: 1677000 | #Constraints: 39992
2696.38/2705.06 c #Conflicts: 1678000 | #Constraints: 40992
2696.38/2705.06 c #Conflicts: 1679000 | #Constraints: 41992
2696.38/2705.06 c #Conflicts: 1680000 | #Constraints: 42992
2696.38/2705.06 c #Conflicts: 1681000 | #Constraints: 43992
2696.38/2705.06 c #Conflicts: 1682000 | #Constraints: 44992
2696.38/2705.06 c #Conflicts: 1683000 | #Constraints: 45992
2696.38/2705.06 c #Conflicts: 1684000 | #Constraints: 46992
2696.38/2705.06 c #Conflicts: 1685000 | #Constraints: 47992
2696.38/2705.06 c #Conflicts: 1686000 | #Constraints: 48992
2696.38/2705.06 c #Conflicts: 1687000 | #Constraints: 49992
2696.38/2705.06 c #Conflicts: 1688000 | #Constraints: 50992
2696.38/2705.06 c #Conflicts: 1689000 | #Constraints: 51992
2696.38/2705.06 c #Conflicts: 1690000 | #Constraints: 52992
2696.38/2705.06 c #Conflicts: 1691000 | #Constraints: 53992
2696.38/2705.06 c #Conflicts: 1692000 | #Constraints: 54992
2696.38/2705.06 c #Conflicts: 1693000 | #Constraints: 55992
2696.38/2705.06 c #Conflicts: 1694000 | #Constraints: 56992
2696.38/2705.06 c INPROCESSING
2696.38/2705.06 c GARBAGE COLLECT
2696.38/2705.06 c #Conflicts: 1695000 | #Constraints: 32190
2696.38/2705.06 c #Conflicts: 1696000 | #Constraints: 33190
2696.38/2705.06 c #Conflicts: 1697000 | #Constraints: 34190
2696.38/2705.06 c #Conflicts: 1698000 | #Constraints: 35190
2696.38/2705.06 c #Conflicts: 1699000 | #Constraints: 36190
2696.38/2705.06 c #Conflicts: 1700000 | #Constraints: 37190
2696.38/2705.06 c #Conflicts: 1701000 | #Constraints: 38190
2696.38/2705.06 c #Conflicts: 1702000 | #Constraints: 39190
2696.38/2705.06 c #Conflicts: 1703000 | #Constraints: 40190
2696.38/2705.06 c #Conflicts: 1704000 | #Constraints: 41190
2696.38/2705.06 c #Conflicts: 1705000 | #Constraints: 42190
2696.38/2705.06 c #Conflicts: 1706000 | #Constraints: 43190
2696.38/2705.06 c #Conflicts: 1707000 | #Constraints: 44190
2696.38/2705.06 c #Conflicts: 1708000 | #Constraints: 45190
2696.38/2705.06 c #Conflicts: 1709000 | #Constraints: 46190
2696.38/2705.06 c #Conflicts: 1710000 | #Constraints: 47190
2696.38/2705.06 c #Conflicts: 1711000 | #Constraints: 48190
2696.38/2705.06 c #Conflicts: 1712000 | #Constraints: 49190
2696.38/2705.06 c #Conflicts: 1713000 | #Constraints: 50190
2696.38/2705.06 c #Conflicts: 1714000 | #Constraints: 51190
2696.38/2705.06 c #Conflicts: 1715000 | #Constraints: 52190
2696.38/2705.06 c #Conflicts: 1716000 | #Constraints: 53190
2696.38/2705.06 c #Conflicts: 1717000 | #Constraints: 54190
2696.38/2705.06 c #Conflicts: 1718000 | #Constraints: 55190
2696.38/2705.06 c #Conflicts: 1719000 | #Constraints: 56190
2696.38/2705.06 c #Conflicts: 1720000 | #Constraints: 57190
2696.38/2705.06 c INPROCESSING
2696.38/2705.06 c GARBAGE COLLECT
2696.38/2705.06 c #Conflicts: 1721000 | #Constraints: 32195
2696.38/2705.06 c #Conflicts: 1722000 | #Constraints: 33195
2696.38/2705.06 c #Conflicts: 1723000 | #Constraints: 34195
2696.38/2705.06 c #Conflicts: 1724000 | #Constraints: 35195
2696.38/2705.06 c #Conflicts: 1725000 | #Constraints: 36195
2696.38/2705.06 c #Conflicts: 1726000 | #Constraints: 37195
2696.38/2705.06 c #Conflicts: 1727000 | #Constraints: 38195
2696.38/2705.06 c #Conflicts: 1728000 | #Constraints: 39195
2696.38/2705.06 c #Conflicts: 1729000 | #Constraints: 40195
2696.38/2705.06 c #Conflicts: 1730000 | #Constraints: 41195
2696.38/2705.06 c #Conflicts: 1731000 | #Constraints: 42195
2857.46/2866.67 c #Conflicts: 1732000 | #Constraints: 43195
2857.46/2866.67 c #Conflicts: 1733000 | #Constraints: 44195
2857.46/2866.67 c #Conflicts: 1734000 | #Constraints: 45195
2857.46/2866.67 c #Conflicts: 1735000 | #Constraints: 46195
2857.46/2866.67 c #Conflicts: 1736000 | #Constraints: 47195
2857.46/2866.67 c #Conflicts: 1737000 | #Constraints: 48195
2857.46/2866.67 c #Conflicts: 1738000 | #Constraints: 49195
2857.46/2866.67 c #Conflicts: 1739000 | #Constraints: 50195
2857.46/2866.67 c #Conflicts: 1740000 | #Constraints: 51195
2857.46/2866.67 c #Conflicts: 1741000 | #Constraints: 52195
2857.46/2866.67 c #Conflicts: 1742000 | #Constraints: 53195
2857.46/2866.67 c #Conflicts: 1743000 | #Constraints: 54195
2857.46/2866.67 c #Conflicts: 1744000 | #Constraints: 55195
2857.46/2866.67 c #Conflicts: 1745000 | #Constraints: 56195
2857.46/2866.67 c #Conflicts: 1746000 | #Constraints: 57195
2857.46/2866.67 c INPROCESSING
2857.46/2866.67 c GARBAGE COLLECT
2857.46/2866.67 c #Conflicts: 1747000 | #Constraints: 31991
2857.46/2866.67 c #Conflicts: 1748000 | #Constraints: 32991
2857.46/2866.67 c #Conflicts: 1749000 | #Constraints: 33991
2857.46/2866.67 c #Conflicts: 1750000 | #Constraints: 34991
2857.46/2866.67 c #Conflicts: 1751000 | #Constraints: 35991
2857.46/2866.67 c #Conflicts: 1752000 | #Constraints: 36991
2857.46/2866.67 c #Conflicts: 1753000 | #Constraints: 37991
2857.46/2866.67 c #Conflicts: 1754000 | #Constraints: 38991
2857.46/2866.67 c #Conflicts: 1755000 | #Constraints: 39991
2857.46/2866.67 c #Conflicts: 1756000 | #Constraints: 40991
2857.46/2866.67 c #Conflicts: 1757000 | #Constraints: 41991
2857.46/2866.67 c #Conflicts: 1758000 | #Constraints: 42991
2857.46/2866.67 c #Conflicts: 1759000 | #Constraints: 43991
2857.46/2866.67 c #Conflicts: 1760000 | #Constraints: 44991
2857.46/2866.67 c #Conflicts: 1761000 | #Constraints: 45991
2857.46/2866.67 c #Conflicts: 1762000 | #Constraints: 46991
2857.46/2866.67 c #Conflicts: 1763000 | #Constraints: 47991
2857.46/2866.67 c #Conflicts: 1764000 | #Constraints: 48991
2857.46/2866.67 c #Conflicts: 1765000 | #Constraints: 49991
2857.46/2866.67 c #Conflicts: 1766000 | #Constraints: 50991
2857.46/2866.67 c #Conflicts: 1767000 | #Constraints: 51991
2857.46/2866.67 c #Conflicts: 1768000 | #Constraints: 52991
2857.46/2866.67 c #Conflicts: 1769000 | #Constraints: 53991
2857.46/2866.67 c #Conflicts: 1770000 | #Constraints: 54991
2857.46/2866.67 c #Conflicts: 1771000 | #Constraints: 55991
2857.46/2866.67 c #Conflicts: 1772000 | #Constraints: 56991
2857.46/2866.67 c #Conflicts: 1773000 | #Constraints: 57991
2857.46/2866.67 c INPROCESSING
2857.46/2866.67 c GARBAGE COLLECT
2857.46/2866.67 c #Conflicts: 1774000 | #Constraints: 32592
2857.46/2866.67 c #Conflicts: 1775000 | #Constraints: 33592
2857.46/2866.67 c #Conflicts: 1776000 | #Constraints: 34592
2857.46/2866.67 c #Conflicts: 1777000 | #Constraints: 35592
2857.46/2866.67 c #Conflicts: 1778000 | #Constraints: 36592
2857.46/2866.67 c #Conflicts: 1779000 | #Constraints: 37592
2857.46/2866.67 c #Conflicts: 1780000 | #Constraints: 38592
2857.46/2866.67 c #Conflicts: 1781000 | #Constraints: 39592
2857.46/2866.67 c #Conflicts: 1782000 | #Constraints: 40592
2857.46/2866.67 c #Conflicts: 1783000 | #Constraints: 41592
2857.46/2866.67 c #Conflicts: 1784000 | #Constraints: 42592
2857.46/2866.67 c #Conflicts: 1785000 | #Constraints: 43592
2857.46/2866.67 c #Conflicts: 1786000 | #Constraints: 44592
2857.46/2866.67 c #Conflicts: 1787000 | #Constraints: 45592
2857.46/2866.67 c #Conflicts: 1788000 | #Constraints: 46592
2857.46/2866.67 c #Conflicts: 1789000 | #Constraints: 47592
2857.46/2866.67 c #Conflicts: 1790000 | #Constraints: 48592
2857.46/2866.67 c #Conflicts: 1791000 | #Constraints: 49592
2857.46/2866.67 c #Conflicts: 1792000 | #Constraints: 50592
2857.46/2866.67 c #Conflicts: 1793000 | #Constraints: 51592
2857.46/2866.67 c #Conflicts: 1794000 | #Constraints: 52592
2857.46/2866.67 c #Conflicts: 1795000 | #Constraints: 53592
2857.46/2866.67 c #Conflicts: 1796000 | #Constraints: 54592
2857.46/2866.67 c #Conflicts: 1797000 | #Constraints: 55592
2857.46/2866.67 c #Conflicts: 1798000 | #Constraints: 56592
2857.46/2866.67 c #Conflicts: 1799000 | #Constraints: 57592
2857.46/2866.67 c #Conflicts: 1800000 | #Constraints: 58592
2857.46/2866.67 c INPROCESSING
2857.46/2866.67 c GARBAGE COLLECT
2857.46/2866.67 c #Conflicts: 1801000 | #Constraints: 32994
2857.46/2866.67 c #Conflicts: 1802000 | #Constraints: 33994
2857.46/2866.67 c #Conflicts: 1803000 | #Constraints: 34994
2857.46/2866.67 c #Conflicts: 1804000 | #Constraints: 35994
2857.46/2866.67 c #Conflicts: 1805000 | #Constraints: 36994
2857.46/2866.67 c #Conflicts: 1806000 | #Constraints: 37994
2857.46/2866.67 c #Conflicts: 1807000 | #Constraints: 38994
2857.46/2866.67 c #Conflicts: 1808000 | #Constraints: 39994
3024.37/3034.04 c #Conflicts: 1809000 | #Constraints: 40994
3024.37/3034.04 c #Conflicts: 1810000 | #Constraints: 41994
3024.37/3034.04 c #Conflicts: 1811000 | #Constraints: 42994
3024.37/3034.04 c #Conflicts: 1812000 | #Constraints: 43994
3024.37/3034.04 c #Conflicts: 1813000 | #Constraints: 44994
3024.37/3034.04 c #Conflicts: 1814000 | #Constraints: 45994
3024.37/3034.04 c #Conflicts: 1815000 | #Constraints: 46994
3024.37/3034.04 c #Conflicts: 1816000 | #Constraints: 47994
3024.37/3034.04 c #Conflicts: 1817000 | #Constraints: 48994
3024.37/3034.04 c #Conflicts: 1818000 | #Constraints: 49994
3024.37/3034.04 c #Conflicts: 1819000 | #Constraints: 50994
3024.37/3034.04 c #Conflicts: 1820000 | #Constraints: 51994
3024.37/3034.04 c #Conflicts: 1821000 | #Constraints: 52994
3024.37/3034.04 c #Conflicts: 1822000 | #Constraints: 53994
3024.37/3034.04 c #Conflicts: 1823000 | #Constraints: 54994
3024.37/3034.04 c #Conflicts: 1824000 | #Constraints: 55994
3024.37/3034.04 c #Conflicts: 1825000 | #Constraints: 56994
3024.37/3034.04 c #Conflicts: 1826000 | #Constraints: 57994
3024.37/3034.04 c #Conflicts: 1827000 | #Constraints: 58994
3024.37/3034.04 c INPROCESSING
3024.37/3034.04 c GARBAGE COLLECT
3024.37/3034.04 c #Conflicts: 1828000 | #Constraints: 33196
3024.37/3034.04 c #Conflicts: 1829000 | #Constraints: 34196
3024.37/3034.04 c #Conflicts: 1830000 | #Constraints: 35196
3024.37/3034.04 c #Conflicts: 1831000 | #Constraints: 36196
3024.37/3034.04 c #Conflicts: 1832000 | #Constraints: 37196
3024.37/3034.04 c #Conflicts: 1833000 | #Constraints: 38196
3024.37/3034.04 c #Conflicts: 1834000 | #Constraints: 39196
3024.37/3034.04 c #Conflicts: 1835000 | #Constraints: 40196
3024.37/3034.04 c #Conflicts: 1836000 | #Constraints: 41196
3024.37/3034.04 c #Conflicts: 1837000 | #Constraints: 42196
3024.37/3034.04 c #Conflicts: 1838000 | #Constraints: 43196
3024.37/3034.04 c #Conflicts: 1839000 | #Constraints: 44196
3024.37/3034.04 c #Conflicts: 1840000 | #Constraints: 45196
3024.37/3034.04 c #Conflicts: 1841000 | #Constraints: 46196
3024.37/3034.04 c #Conflicts: 1842000 | #Constraints: 47196
3024.37/3034.04 c #Conflicts: 1843000 | #Constraints: 48196
3024.37/3034.04 c #Conflicts: 1844000 | #Constraints: 49196
3024.37/3034.04 c #Conflicts: 1845000 | #Constraints: 50196
3024.37/3034.04 c #Conflicts: 1846000 | #Constraints: 51196
3024.37/3034.04 c #Conflicts: 1847000 | #Constraints: 52196
3024.37/3034.04 c #Conflicts: 1848000 | #Constraints: 53196
3024.37/3034.04 c #Conflicts: 1849000 | #Constraints: 54196
3024.37/3034.04 c #Conflicts: 1850000 | #Constraints: 55196
3024.37/3034.04 c #Conflicts: 1851000 | #Constraints: 56196
3024.37/3034.04 c #Conflicts: 1852000 | #Constraints: 57196
3024.37/3034.04 c #Conflicts: 1853000 | #Constraints: 58196
3024.37/3034.04 c #Conflicts: 1854000 | #Constraints: 59196
3024.37/3034.04 c INPROCESSING
3024.37/3034.04 c GARBAGE COLLECT
3024.37/3034.04 c #Conflicts: 1855000 | #Constraints: 33196
3024.37/3034.04 c #Conflicts: 1856000 | #Constraints: 34196
3024.37/3034.04 c #Conflicts: 1857000 | #Constraints: 35196
3024.37/3034.04 c #Conflicts: 1858000 | #Constraints: 36196
3024.37/3034.04 c #Conflicts: 1859000 | #Constraints: 37196
3024.37/3034.04 c #Conflicts: 1860000 | #Constraints: 38196
3024.37/3034.04 c #Conflicts: 1861000 | #Constraints: 39196
3024.37/3034.04 c #Conflicts: 1862000 | #Constraints: 40196
3024.37/3034.04 c #Conflicts: 1863000 | #Constraints: 41196
3024.37/3034.04 c #Conflicts: 1864000 | #Constraints: 42196
3024.37/3034.04 c #Conflicts: 1865000 | #Constraints: 43196
3024.37/3034.04 c #Conflicts: 1866000 | #Constraints: 44196
3024.37/3034.04 c #Conflicts: 1867000 | #Constraints: 45196
3024.37/3034.04 c #Conflicts: 1868000 | #Constraints: 46196
3024.37/3034.04 c #Conflicts: 1869000 | #Constraints: 47196
3024.37/3034.04 c #Conflicts: 1870000 | #Constraints: 48196
3024.37/3034.04 c #Conflicts: 1871000 | #Constraints: 49196
3024.37/3034.04 c #Conflicts: 1872000 | #Constraints: 50196
3024.37/3034.04 c #Conflicts: 1873000 | #Constraints: 51196
3024.37/3034.04 c #Conflicts: 1874000 | #Constraints: 52196
3024.37/3034.04 c #Conflicts: 1875000 | #Constraints: 53196
3024.37/3034.04 c #Conflicts: 1876000 | #Constraints: 54196
3024.37/3034.04 c #Conflicts: 1877000 | #Constraints: 55196
3024.37/3034.04 c #Conflicts: 1878000 | #Constraints: 56196
3024.37/3034.04 c #Conflicts: 1879000 | #Constraints: 57196
3024.37/3034.04 c #Conflicts: 1880000 | #Constraints: 58196
3024.37/3034.04 c #Conflicts: 1881000 | #Constraints: 59196
3024.37/3034.04 c INPROCESSING
3024.37/3034.04 c GARBAGE COLLECT
3024.37/3034.04 c #Conflicts: 1882000 | #Constraints: 32992
3024.37/3034.04 c #Conflicts: 1883000 | #Constraints: 33992
3024.37/3034.04 c #Conflicts: 1884000 | #Constraints: 34992
3024.37/3034.04 c #Conflicts: 1885000 | #Constraints: 35992
3196.33/3206.56 c #Conflicts: 1886000 | #Constraints: 36992
3196.33/3206.56 c #Conflicts: 1887000 | #Constraints: 37992
3196.33/3206.56 c #Conflicts: 1888000 | #Constraints: 38992
3196.33/3206.56 c #Conflicts: 1889000 | #Constraints: 39992
3196.33/3206.56 c #Conflicts: 1890000 | #Constraints: 40992
3196.33/3206.56 c #Conflicts: 1891000 | #Constraints: 41992
3196.33/3206.56 c #Conflicts: 1892000 | #Constraints: 42992
3196.33/3206.56 c #Conflicts: 1893000 | #Constraints: 43992
3196.33/3206.56 c #Conflicts: 1894000 | #Constraints: 44992
3196.33/3206.56 c #Conflicts: 1895000 | #Constraints: 45992
3196.33/3206.56 c #Conflicts: 1896000 | #Constraints: 46992
3196.33/3206.56 c #Conflicts: 1897000 | #Constraints: 47992
3196.33/3206.56 c #Conflicts: 1898000 | #Constraints: 48992
3196.33/3206.56 c #Conflicts: 1899000 | #Constraints: 49992
3196.33/3206.56 c #Conflicts: 1900000 | #Constraints: 50992
3196.33/3206.56 c #Conflicts: 1901000 | #Constraints: 51992
3196.33/3206.56 c #Conflicts: 1902000 | #Constraints: 52992
3196.33/3206.56 c #Conflicts: 1903000 | #Constraints: 53992
3196.33/3206.56 c #Conflicts: 1904000 | #Constraints: 54992
3196.33/3206.56 c #Conflicts: 1905000 | #Constraints: 55992
3196.33/3206.56 c #Conflicts: 1906000 | #Constraints: 56992
3196.33/3206.56 c #Conflicts: 1907000 | #Constraints: 57992
3196.33/3206.56 c #Conflicts: 1908000 | #Constraints: 58992
3196.33/3206.56 c #Conflicts: 1909000 | #Constraints: 59992
3196.33/3206.56 c INPROCESSING
3196.33/3206.56 c GARBAGE COLLECT
3196.33/3206.56 c #Conflicts: 1910000 | #Constraints: 33598
3196.33/3206.56 c #Conflicts: 1911000 | #Constraints: 34598
3196.33/3206.56 c #Conflicts: 1912000 | #Constraints: 35598
3196.33/3206.56 c #Conflicts: 1913000 | #Constraints: 36598
3196.33/3206.56 c #Conflicts: 1914000 | #Constraints: 37598
3196.33/3206.56 c #Conflicts: 1915000 | #Constraints: 38598
3196.33/3206.56 c #Conflicts: 1916000 | #Constraints: 39598
3196.33/3206.56 c #Conflicts: 1917000 | #Constraints: 40598
3196.33/3206.56 c #Conflicts: 1918000 | #Constraints: 41598
3196.33/3206.56 c #Conflicts: 1919000 | #Constraints: 42598
3196.33/3206.56 c #Conflicts: 1920000 | #Constraints: 43598
3196.33/3206.56 c #Conflicts: 1921000 | #Constraints: 44598
3196.33/3206.56 c #Conflicts: 1922000 | #Constraints: 45598
3196.33/3206.56 c #Conflicts: 1923000 | #Constraints: 46598
3196.33/3206.56 c #Conflicts: 1924000 | #Constraints: 47598
3196.33/3206.56 c #Conflicts: 1925000 | #Constraints: 48598
3196.33/3206.56 c #Conflicts: 1926000 | #Constraints: 49598
3196.33/3206.56 c #Conflicts: 1927000 | #Constraints: 50598
3196.33/3206.56 c #Conflicts: 1928000 | #Constraints: 51598
3196.33/3206.56 c #Conflicts: 1929000 | #Constraints: 52598
3196.33/3206.56 c #Conflicts: 1930000 | #Constraints: 53598
3196.33/3206.56 c #Conflicts: 1931000 | #Constraints: 54598
3196.33/3206.56 c #Conflicts: 1932000 | #Constraints: 55598
3196.33/3206.56 c #Conflicts: 1933000 | #Constraints: 56598
3196.33/3206.56 c #Conflicts: 1934000 | #Constraints: 57598
3196.33/3206.56 c #Conflicts: 1935000 | #Constraints: 58598
3196.33/3206.56 c #Conflicts: 1936000 | #Constraints: 59598
3196.33/3206.56 c #Conflicts: 1937000 | #Constraints: 60598
3196.33/3206.56 c INPROCESSING
3196.33/3206.56 c GARBAGE COLLECT
3196.33/3206.56 c #Conflicts: 1938000 | #Constraints: 33996
3196.33/3206.56 c #Conflicts: 1939000 | #Constraints: 34996
3196.33/3206.56 c #Conflicts: 1940000 | #Constraints: 35996
3196.33/3206.56 c #Conflicts: 1941000 | #Constraints: 36996
3196.33/3206.56 c #Conflicts: 1942000 | #Constraints: 37996
3196.33/3206.56 c #Conflicts: 1943000 | #Constraints: 38996
3196.33/3206.56 c #Conflicts: 1944000 | #Constraints: 39996
3196.33/3206.56 c #Conflicts: 1945000 | #Constraints: 40996
3196.33/3206.56 c #Conflicts: 1946000 | #Constraints: 41996
3196.33/3206.56 c #Conflicts: 1947000 | #Constraints: 42996
3196.33/3206.56 c #Conflicts: 1948000 | #Constraints: 43996
3196.33/3206.56 c #Conflicts: 1949000 | #Constraints: 44996
3196.33/3206.56 c #Conflicts: 1950000 | #Constraints: 45996
3196.33/3206.56 c #Conflicts: 1951000 | #Constraints: 46996
3196.33/3206.56 c #Conflicts: 1952000 | #Constraints: 47996
3196.33/3206.56 c #Conflicts: 1953000 | #Constraints: 48996
3196.33/3206.56 c #Conflicts: 1954000 | #Constraints: 49996
3196.33/3206.56 c #Conflicts: 1955000 | #Constraints: 50996
3196.33/3206.56 c #Conflicts: 1956000 | #Constraints: 51996
3196.33/3206.56 c #Conflicts: 1957000 | #Constraints: 52996
3196.33/3206.56 c #Conflicts: 1958000 | #Constraints: 53996
3196.33/3206.56 c #Conflicts: 1959000 | #Constraints: 54996
3196.33/3206.56 c #Conflicts: 1960000 | #Constraints: 55996
3196.33/3206.56 c #Conflicts: 1961000 | #Constraints: 56996
3196.33/3206.56 c #Conflicts: 1962000 | #Constraints: 57996
3372.89/3383.67 c #Conflicts: 1963000 | #Constraints: 58996
3372.89/3383.67 c #Conflicts: 1964000 | #Constraints: 59996
3372.89/3383.67 c #Conflicts: 1965000 | #Constraints: 60996
3372.89/3383.67 c INPROCESSING
3372.89/3383.67 c GARBAGE COLLECT
3372.89/3383.67 c #Conflicts: 1966000 | #Constraints: 34198
3372.89/3383.67 c #Conflicts: 1967000 | #Constraints: 35198
3372.89/3383.67 c #Conflicts: 1968000 | #Constraints: 36198
3372.89/3383.67 c #Conflicts: 1969000 | #Constraints: 37198
3372.89/3383.67 c #Conflicts: 1970000 | #Constraints: 38198
3372.89/3383.67 c #Conflicts: 1971000 | #Constraints: 39198
3372.89/3383.67 c #Conflicts: 1972000 | #Constraints: 40198
3372.89/3383.67 c #Conflicts: 1973000 | #Constraints: 41198
3372.89/3383.67 c #Conflicts: 1974000 | #Constraints: 42198
3372.89/3383.67 c #Conflicts: 1975000 | #Constraints: 43198
3372.89/3383.67 c #Conflicts: 1976000 | #Constraints: 44198
3372.89/3383.67 c #Conflicts: 1977000 | #Constraints: 45198
3372.89/3383.67 c #Conflicts: 1978000 | #Constraints: 46198
3372.89/3383.67 c #Conflicts: 1979000 | #Constraints: 47198
3372.89/3383.67 c #Conflicts: 1980000 | #Constraints: 48198
3372.89/3383.67 c #Conflicts: 1981000 | #Constraints: 49198
3372.89/3383.67 c #Conflicts: 1982000 | #Constraints: 50198
3372.89/3383.67 c #Conflicts: 1983000 | #Constraints: 51198
3372.89/3383.67 c #Conflicts: 1984000 | #Constraints: 52198
3372.89/3383.67 c #Conflicts: 1985000 | #Constraints: 53198
3372.89/3383.67 c #Conflicts: 1986000 | #Constraints: 54198
3372.89/3383.67 c #Conflicts: 1987000 | #Constraints: 55198
3372.89/3383.67 c #Conflicts: 1988000 | #Constraints: 56198
3372.89/3383.67 c #Conflicts: 1989000 | #Constraints: 57198
3372.89/3383.67 c #Conflicts: 1990000 | #Constraints: 58198
3372.89/3383.67 c #Conflicts: 1991000 | #Constraints: 59198
3372.89/3383.67 c #Conflicts: 1992000 | #Constraints: 60198
3372.89/3383.67 c #Conflicts: 1993000 | #Constraints: 61198
3372.89/3383.67 c INPROCESSING
3372.89/3383.67 c GARBAGE COLLECT
3372.89/3383.67 c #Conflicts: 1994000 | #Constraints: 34196
3372.89/3383.67 c #Conflicts: 1995000 | #Constraints: 35196
3372.89/3383.67 c #Conflicts: 1996000 | #Constraints: 36196
3372.89/3383.67 c #Conflicts: 1997000 | #Constraints: 37196
3372.89/3383.67 c #Conflicts: 1998000 | #Constraints: 38196
3372.89/3383.67 c #Conflicts: 1999000 | #Constraints: 39196
3372.89/3383.67 c #Conflicts: 2000000 | #Constraints: 40196
3372.89/3383.67 c #Conflicts: 2001000 | #Constraints: 41196
3372.89/3383.67 c #Conflicts: 2002000 | #Constraints: 42196
3372.89/3383.67 c #Conflicts: 2003000 | #Constraints: 43196
3372.89/3383.67 c #Conflicts: 2004000 | #Constraints: 44196
3372.89/3383.67 c #Conflicts: 2005000 | #Constraints: 45196
3372.89/3383.67 c #Conflicts: 2006000 | #Constraints: 46196
3372.89/3383.67 c #Conflicts: 2007000 | #Constraints: 47196
3372.89/3383.67 c #Conflicts: 2008000 | #Constraints: 48196
3372.89/3383.67 c #Conflicts: 2009000 | #Constraints: 49196
3372.89/3383.67 c #Conflicts: 2010000 | #Constraints: 50196
3372.89/3383.67 c #Conflicts: 2011000 | #Constraints: 51196
3372.89/3383.67 c #Conflicts: 2012000 | #Constraints: 52196
3372.89/3383.67 c #Conflicts: 2013000 | #Constraints: 53196
3372.89/3383.67 c #Conflicts: 2014000 | #Constraints: 54196
3372.89/3383.67 c #Conflicts: 2015000 | #Constraints: 55196
3372.89/3383.67 c #Conflicts: 2016000 | #Constraints: 56196
3372.89/3383.67 c #Conflicts: 2017000 | #Constraints: 57196
3372.89/3383.67 c #Conflicts: 2018000 | #Constraints: 58196
3372.89/3383.67 c #Conflicts: 2019000 | #Constraints: 59196
3372.89/3383.67 c #Conflicts: 2020000 | #Constraints: 60196
3372.89/3383.67 c #Conflicts: 2021000 | #Constraints: 61196
3372.89/3383.67 c INPROCESSING
3372.89/3383.67 c GARBAGE COLLECT
3372.89/3383.67 c #Conflicts: 2022000 | #Constraints: 33992
3372.89/3383.67 c #Conflicts: 2023000 | #Constraints: 34992
3372.89/3383.67 c #Conflicts: 2024000 | #Constraints: 35992
3372.89/3383.67 c #Conflicts: 2025000 | #Constraints: 36992
3372.89/3383.67 c #Conflicts: 2026000 | #Constraints: 37992
3372.89/3383.67 c #Conflicts: 2027000 | #Constraints: 38992
3372.89/3383.67 c #Conflicts: 2028000 | #Constraints: 39992
3372.89/3383.67 c #Conflicts: 2029000 | #Constraints: 40992
3372.89/3383.67 c #Conflicts: 2030000 | #Constraints: 41992
3372.89/3383.67 c #Conflicts: 2031000 | #Constraints: 42992
3372.89/3383.67 c #Conflicts: 2032000 | #Constraints: 43992
3372.89/3383.67 c #Conflicts: 2033000 | #Constraints: 44992
3372.89/3383.67 c #Conflicts: 2034000 | #Constraints: 45992
3372.89/3383.67 c #Conflicts: 2035000 | #Constraints: 46992
3372.89/3383.67 c #Conflicts: 2036000 | #Constraints: 47992
3372.89/3383.67 c #Conflicts: 2037000 | #Constraints: 48992
3372.89/3383.67 c #Conflicts: 2038000 | #Constraints: 49992
3372.89/3383.67 c #Conflicts: 2039000 | #Constraints: 50992
3540.97/3552.27 c #Conflicts: 2040000 | #Constraints: 51992
3540.97/3552.27 c #Conflicts: 2041000 | #Constraints: 52992
3540.97/3552.27 c #Conflicts: 2042000 | #Constraints: 53992
3540.97/3552.27 c #Conflicts: 2043000 | #Constraints: 54992
3540.97/3552.27 c #Conflicts: 2044000 | #Constraints: 55992
3540.97/3552.27 c #Conflicts: 2045000 | #Constraints: 56992
3540.97/3552.27 c #Conflicts: 2046000 | #Constraints: 57992
3540.97/3552.27 c #Conflicts: 2047000 | #Constraints: 58992
3540.97/3552.27 c #Conflicts: 2048000 | #Constraints: 59992
3540.97/3552.27 c #Conflicts: 2049000 | #Constraints: 60992
3540.97/3552.27 c #Conflicts: 2050000 | #Constraints: 61992
3540.97/3552.27 c INPROCESSING
3540.97/3552.27 c GARBAGE COLLECT
3540.97/3552.27 c #Conflicts: 2051000 | #Constraints: 34595
3540.97/3552.27 c #Conflicts: 2052000 | #Constraints: 35595
3540.97/3552.27 c #Conflicts: 2053000 | #Constraints: 36595
3540.97/3552.27 c #Conflicts: 2054000 | #Constraints: 37595
3540.97/3552.27 c #Conflicts: 2055000 | #Constraints: 38595
3540.97/3552.27 c #Conflicts: 2056000 | #Constraints: 39595
3540.97/3552.27 c #Conflicts: 2057000 | #Constraints: 40595
3540.97/3552.27 c #Conflicts: 2058000 | #Constraints: 41595
3540.97/3552.27 c #Conflicts: 2059000 | #Constraints: 42595
3540.97/3552.27 c #Conflicts: 2060000 | #Constraints: 43595
3540.97/3552.27 c #Conflicts: 2061000 | #Constraints: 44595
3540.97/3552.27 c #Conflicts: 2062000 | #Constraints: 45595
3540.97/3552.27 c #Conflicts: 2063000 | #Constraints: 46595
3540.97/3552.27 c #Conflicts: 2064000 | #Constraints: 47595
3540.97/3552.27 c #Conflicts: 2065000 | #Constraints: 48595
3540.97/3552.27 c #Conflicts: 2066000 | #Constraints: 49595
3540.97/3552.27 c #Conflicts: 2067000 | #Constraints: 50595
3540.97/3552.27 c #Conflicts: 2068000 | #Constraints: 51595
3540.97/3552.27 c #Conflicts: 2069000 | #Constraints: 52595
3540.97/3552.27 c #Conflicts: 2070000 | #Constraints: 53595
3540.97/3552.27 c #Conflicts: 2071000 | #Constraints: 54595
3540.97/3552.27 c #Conflicts: 2072000 | #Constraints: 55595
3540.97/3552.27 c #Conflicts: 2073000 | #Constraints: 56595
3540.97/3552.27 c #Conflicts: 2074000 | #Constraints: 57595
3540.97/3552.27 c #Conflicts: 2075000 | #Constraints: 58595
3540.97/3552.27 c #Conflicts: 2076000 | #Constraints: 59595
3540.97/3552.27 c #Conflicts: 2077000 | #Constraints: 60595
3540.97/3552.27 c #Conflicts: 2078000 | #Constraints: 61595
3540.97/3552.27 c #Conflicts: 2079000 | #Constraints: 62595
3540.97/3552.27 c INPROCESSING
3540.97/3552.27 c GARBAGE COLLECT
3540.97/3552.27 c #Conflicts: 2080000 | #Constraints: 34995
3540.97/3552.27 c #Conflicts: 2081000 | #Constraints: 35995
3540.97/3552.27 c #Conflicts: 2082000 | #Constraints: 36995
3540.97/3552.27 c #Conflicts: 2083000 | #Constraints: 37995
3540.97/3552.27 c #Conflicts: 2084000 | #Constraints: 38995
3540.97/3552.27 c #Conflicts: 2085000 | #Constraints: 39995
3540.97/3552.27 c #Conflicts: 2086000 | #Constraints: 40995
3540.97/3552.27 c #Conflicts: 2087000 | #Constraints: 41995
3540.97/3552.27 c #Conflicts: 2088000 | #Constraints: 42995
3540.97/3552.27 c #Conflicts: 2089000 | #Constraints: 43995
3540.97/3552.27 c #Conflicts: 2090000 | #Constraints: 44995
3540.97/3552.27 c #Conflicts: 2091000 | #Constraints: 45995
3540.97/3552.27 c #Conflicts: 2092000 | #Constraints: 46995
3540.97/3552.27 c #Conflicts: 2093000 | #Constraints: 47995
3540.97/3552.27 c #Conflicts: 2094000 | #Constraints: 48995
3540.97/3552.27 c #Conflicts: 2095000 | #Constraints: 49995
3540.97/3552.27 c #Conflicts: 2096000 | #Constraints: 50995
3540.97/3552.27 c #Conflicts: 2097000 | #Constraints: 51995
3540.97/3552.27 c #Conflicts: 2098000 | #Constraints: 52995
3540.97/3552.27 c #Conflicts: 2099000 | #Constraints: 53995
3540.97/3552.27 c #Conflicts: 2100000 | #Constraints: 54995
3540.97/3552.27 c #Conflicts: 2101000 | #Constraints: 55995
3540.97/3552.27 c #Conflicts: 2102000 | #Constraints: 56995
3540.97/3552.27 c #Conflicts: 2103000 | #Constraints: 57995
3540.97/3552.27 c #Conflicts: 2104000 | #Constraints: 58995
3540.97/3552.27 c #Conflicts: 2105000 | #Constraints: 59995
3540.97/3552.27 c #Conflicts: 2106000 | #Constraints: 60995
3540.97/3552.27 c #Conflicts: 2107000 | #Constraints: 61995
3540.97/3552.27 c #Conflicts: 2108000 | #Constraints: 62995
3540.97/3552.27 c INPROCESSING
3540.97/3552.27 c GARBAGE COLLECT
3540.97/3552.27 c #Conflicts: 2109000 | #Constraints: 35197
3540.97/3552.27 c #Conflicts: 2110000 | #Constraints: 36197
3540.97/3552.27 c #Conflicts: 2111000 | #Constraints: 37197
3540.97/3552.27 c #Conflicts: 2112000 | #Constraints: 38197
3540.97/3552.27 c #Conflicts: 2113000 | #Constraints: 39197
3540.97/3552.27 c #Conflicts: 2114000 | #Constraints: 40197
3540.97/3552.27 c #Conflicts: 2115000 | #Constraints: 41197
3540.97/3552.27 c #Conflicts: 2116000 | #Constraints: 42197
3600.00/3611.40 c #Conflicts: 2117000 | #Constraints: 43197
3600.00/3611.40 c #Conflicts: 2118000 | #Constraints: 44197
3600.00/3611.40 c #Conflicts: 2119000 | #Constraints: 45197
3600.00/3611.40 c #Conflicts: 2120000 | #Constraints: 46197
3600.00/3611.40 c #Conflicts: 2121000 | #Constraints: 47197
3600.00/3611.40 c #Conflicts: 2122000 | #Constraints: 48197
3600.00/3611.40 c #Conflicts: 2123000 | #Constraints: 49197
3600.00/3611.40 c #Conflicts: 2124000 | #Constraints: 50197
3600.00/3611.40 c #Conflicts: 2125000 | #Constraints: 51197
3600.00/3611.40 c #Conflicts: 2126000 | #Constraints: 52197
3600.00/3611.40 c #Conflicts: 2127000 | #Constraints: 53197
3600.00/3611.40 c #Conflicts: 2128000 | #Constraints: 54197
3600.00/3611.40 c #Conflicts: 2129000 | #Constraints: 55197
3600.00/3611.40 c #Conflicts: 2130000 | #Constraints: 56197
3600.00/3611.40 c #Conflicts: 2131000 | #Constraints: 57197
3600.00/3611.40 c #Conflicts: 2132000 | #Constraints: 58197
3600.00/3611.40 c #Conflicts: 2133000 | #Constraints: 59197
3600.00/3611.40 c #Conflicts: 2134000 | #Constraints: 60197
3600.00/3611.40 c #Conflicts: 2135000 | #Constraints: 61197
3600.00/3611.40 c #Conflicts: 2136000 | #Constraints: 62197
3600.00/3611.40 c #Conflicts: 2137000 | #Constraints: 63197
3600.00/3611.40 c INPROCESSING
3600.00/3611.40 c GARBAGE COLLECT
3600.00/3611.40 c #Conflicts: 2138000 | #Constraints: 35200
3600.00/3611.40 c #Conflicts: 2139000 | #Constraints: 36200
3600.00/3611.40 c #Conflicts: 2140000 | #Constraints: 37200
3600.00/3611.40 c #Conflicts: 2141000 | #Constraints: 38200
3600.00/3611.40 c #Conflicts: 2142000 | #Constraints: 39200
3600.00/3611.40 c #Conflicts: 2143000 | #Constraints: 40200
3600.00/3611.40 c Program interrupted by user.
3600.00/3611.40 c cpu time 3580.49 s
3600.00/3611.40 c deterministic time 217491163470 2.17e+11
3600.00/3611.40 c optimization time 10.0153 s
3600.00/3611.40 c total solve time 3271.59 s
3600.00/3611.40 c core-guided solve time 3271.59 s
3600.00/3611.40 c propagation time 2760.13 s
3600.00/3611.40 c conflict analysis time 475.932 s
3600.00/3611.40 c propagations 145787679
3600.00/3611.40 c resolve steps 8832114
3600.00/3611.40 c decisions 11502125
3600.00/3611.40 c conflicts 2143644
3600.00/3611.40 c restarts 4092
3600.00/3611.40 c inprocessing phases 137
3600.00/3611.40 c input clauses 5376
3600.00/3611.40 c input cardinalities 8
3600.00/3611.40 c input general constraints 0
3600.00/3611.40 c input average constraint length 10.78
3600.00/3611.40 c input average constraint degree 1.04
3600.00/3611.40 c learned clauses 656831
3600.00/3611.40 c learned cardinalities 17992
3600.00/3611.40 c learned general constraints 1468820
3600.00/3611.40 c learned average constraint length 117.99
3600.00/3611.40 c learned average constraint degree 354.50
3600.00/3611.40 c watched constraints 231153
3600.00/3611.40 c counting constraints 1237667
3600.00/3611.40 c gcd simplifications 61088
3600.00/3611.40 c detected cardinalities 342
3600.00/3611.40 c weakened non-implied lits 89822307
3600.00/3611.40 c weakened non-implying lits 90930
3600.00/3611.40 c original variables 214
3600.00/3611.40 c clausal propagations 9401921
3600.00/3611.40 c cardinality propagations 4541118
3600.00/3611.40 c watched propagations 2725055
3600.00/3611.40 c counting propagations 122262191
3600.00/3611.40 c watch lookups 97956545514
3600.00/3611.40 c watch backjump lookups 89104145781
3600.00/3611.40 c watch checks 25611460268
3600.00/3611.40 c propagation checks 3571046037
3600.00/3611.40 c constraint additions 931242808
3600.00/3611.40 c trail pops 159433257
3600.00/3611.40 c formula constraints 5375
3600.00/3611.40 c learned constraints 2143643
3600.00/3611.40 c bound constraints 9
3600.00/3611.40 c core-guided constraints 0
3600.00/3611.40 c encountered formula constraints 4735205
3600.00/3611.40 c encountered learned constraints 6240449
3600.00/3611.40 c encountered bound constraints 104
3600.00/3611.40 c encountered core-guided constraints 0
3600.00/3611.40 c LP total time 0 s
3600.00/3611.40 c LP solve time 0 s
3600.00/3611.40 c LP constraints added 0
3600.00/3611.40 c LP constraints removed 0
3600.00/3611.40 c LP pivots internal 0
3600.00/3611.40 c LP pivots root 0
3600.00/3611.40 c LP calls 0
3600.00/3611.40 c LP optimalities 0
3600.00/3611.40 c LP no pivot count 0
3600.00/3611.40 c LP infeasibilities 0
3600.00/3611.40 c LP valid Farkas constraints 0
3600.00/3611.40 c LP learned Farkas constraints 0
3600.00/3611.40 c LP basis resets 0
3600.00/3611.40 c LP cycling count 0
3600.00/3611.40 c LP singular count 0
3600.00/3611.40 c LP no primal count 0
3600.00/3611.40 c LP no farkas count 0
3600.00/3611.40 c LP other issue count 0
3600.00/3611.40 c LP Gomory cuts 0
3600.00/3611.40 c LP learned cuts 0
3600.00/3611.40 c LP deleted cuts 0
3600.00/3611.40 c LP encountered Gomory constraints 0
3600.00/3611.40 c LP encountered Farkas constraints 0
3600.00/3611.40 c LP encountered learned Farkas constraints 0
3600.00/3611.40 c CG auxiliary variables introduced 0
3600.00/3611.40 c CG solutions found 0
3600.00/3611.40 c CG cores constructed 8
3600.00/3611.40 c CG core cardinality constraints returned 0
3600.00/3611.40 c CG unit cores 0
3600.00/3611.40 c CG single cores 8
3600.00/3611.40 c CG blocks removed during cardinality reduction 0
3600.00/3611.40 c CG first core best 0
3600.00/3611.40 c CG decision core best 0
3600.00/3611.40 c CG core reduction tie 0
3600.00/3611.40 c CG core degree average 1.00
3600.00/3611.40 c CG core slack average 18.75
3600.00/3611.40 c CG exhausted 0
3600.00/3611.40 c CG exhaust time 0 s
3600.00/3611.40 c CG trimmed 0
3600.00/3611.40 c CG trim time 0.000228 s
3600.00/3611.40 c CG minimized 0
3600.00/3611.40 c CG minimize time 0 s
3600.00/3611.40 c CG am1 prop time 0.000707 s
3600.00/3611.40 c CG # am1s reformulated 0
3600.00/3611.40 c CG lower bound derived from am1s 0
3600.00/3611.40 c CG # clausal cores 8
3600.00/3611.40 c CG # cardinality cores 0
3600.00/3611.40 c CG # pb cores 0
3600.00/3611.40 c CG # pb reforms 0
3600.00/3611.40 c CG # cores discarded because of pb reform 0
3600.00/3611.40 d LOWERBOUND 8
3600.00/3611.40 d NCORES 8
3600.00/3611.40 d NPBCORES 0
3600.00/3611.40 d NPBREFORM 0
3600.00/3611.40 d NTRIMMED 0
3600.00/3611.40 d NEXHAUSTED 0
3600.00/3611.40 d NAM1S 0
3600.00/3611.40 d AM1LB 0
3600.00/3611.40 c [Papilo Statistics]
3600.00/3611.40 c prepro time 0.0088531s
3600.00/3611.40 c # tsx applied 0
3600.00/3611.40 c # tsx conflicts 0
3600.00/3611.40 c # bound changes 0
3600.00/3611.40 c # side changes 0
3600.00/3611.40 c # coef changes 0
3600.00/3611.40 c # rounds 1
3600.00/3611.40 c # deted vars 0
3600.00/3611.40 c # deted constrs 0
3600.00/3611.40 c # consecutive rounds of only bound changes 0
3600.00/3611.40 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: 64059 MiB (38073 MiB free)
memory of node 1: 64510 MiB (40564 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459219-1721883159/watcher-4459219-1721883159 -o /tmp/evaluation-result-4459219-1721883159/solver-4459219-1721883159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265040 --watchdog 3760 mixed-bag HOME/instance-4459219-1721883159.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=270640, runsolver pid=270637
[startup+0.100845 s]*
/proc/loadavg: 4.08 4.10 4.12 5/243 270641
/proc/meminfo: memFree=80520248/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=91116 memory=16892 CPUtime=0.1 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 3435 0 0 0 9 1 0 0 20 0 1 0 24305255 93302784 4223 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 22779 4223 1790 3002 0 6528 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91116 KiB
Current children cumulated memory: 16892 KiB
[startup+0.21326 s]*
/proc/loadavg: 4.08 4.10 4.12 7/243 270641
/proc/meminfo: memFree=80495636/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=111760 memory=44332 CPUtime=0.21 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 9900 0 0 0 19 2 0 0 20 0 1 0 24305255 114442240 11083 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 27940 11083 3883 3002 0 11689 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111760 KiB
Current children cumulated memory: 44332 KiB
[startup+0.313209 s]*
/proc/loadavg: 4.08 4.10 4.12 5/243 270641
/proc/meminfo: memFree=80470792/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=144868 memory=74396 CPUtime=0.31 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 16427 0 0 0 27 4 0 0 20 0 1 0 24305255 148344832 18599 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 36217 18599 3955 3002 0 19966 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 144868 KiB
Current children cumulated memory: 74396 KiB
[startup+0.700336 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 270641
/proc/meminfo: memFree=80459032/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=162956 memory=91568 CPUtime=0.69 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 20586 0 0 0 64 5 0 0 20 0 1 0 24305255 166866944 22892 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 40739 22892 4099 3002 0 24488 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 162956 KiB
Current children cumulated memory: 91568 KiB
[startup+1.50035 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 270641
/proc/meminfo: memFree=80428456/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=212448 memory=129320 CPUtime=1.48 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 30002 0 0 0 142 6 0 0 20 0 1 0 24305255 217546752 32330 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 53112 32330 4099 3002 0 36861 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 212448 KiB
Current children cumulated memory: 129320 KiB
[startup+3.11299 s]
/proc/loadavg: 4.15 4.12 4.12 5/243 270641
/proc/meminfo: memFree=80384160/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=241068 memory=156304 CPUtime=3.09 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 36789 0 0 0 301 8 0 0 20 0 1 0 24305255 246853632 39076 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 60267 39076 4114 3002 0 44016 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 241068 KiB
Current children cumulated memory: 156304 KiB
[startup+6.30033 s]
/proc/loadavg: 4.15 4.12 4.12 5/243 270642
/proc/meminfo: memFree=80383544/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=241068 memory=156568 CPUtime=6.26 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 36800 0 0 0 618 8 0 0 20 0 1 0 24305255 246853632 39142 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 60267 39142 4114 3002 0 44016 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 241068 KiB
Current children cumulated memory: 156568 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.12 5/243 270642
/proc/meminfo: memFree=80383008/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=241280 memory=156832 CPUtime=12.65 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 36901 0 0 0 1256 9 0 0 20 0 1 0 24305255 247070720 39208 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 60320 39208 4114 3002 0 44069 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 241280 KiB
Current children cumulated memory: 156832 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.12 5/243 270645
/proc/meminfo: memFree=80382164/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=241280 memory=157684 CPUtime=25.4 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 37105 0 0 0 2530 10 0 0 20 0 1 0 24305255 247070720 39421 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 60320 39421 4131 3002 0 44069 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 241280 KiB
Current children cumulated memory: 157684 KiB
[startup+51.113 s]
/proc/loadavg: 4.14 4.12 4.12 5/243 270649
/proc/meminfo: memFree=80353176/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=271696 memory=186452 CPUtime=50.93 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 44290 0 0 0 5079 14 0 0 20 0 1 0 24305255 278216704 46613 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 67924 46613 4131 3002 0 51673 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 271696 KiB
Current children cumulated memory: 186452 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/243 270658
/proc/meminfo: memFree=80321936/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=307492 memory=217248 CPUtime=101.94 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 52008 0 0 0 10174 20 0 0 20 0 1 0 24305255 314871808 54312 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 76873 54312 4131 3002 0 60622 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 307492 KiB
Current children cumulated memory: 217248 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/243 270668
/proc/meminfo: memFree=80318228/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=310064 memory=220680 CPUtime=161.72 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 52844 0 0 0 16145 27 0 0 20 0 1 0 24305255 317505536 55170 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 77516 55170 4131 3002 0 61265 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 310064 KiB
Current children cumulated memory: 220680 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.13 4.11 5/243 271063
/proc/meminfo: memFree=80299104/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=329992 memory=239424 CPUtime=221.51 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 57520 0 0 0 22116 35 0 0 20 0 1 0 24305255 337911808 59856 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 82498 59856 4131 3002 0 66247 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 329992 KiB
Current children cumulated memory: 239424 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/243 271074
/proc/meminfo: memFree=80278956/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=353824 memory=261592 CPUtime=281.29 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 63082 0 0 0 28086 43 0 0 20 0 1 0 24305255 362315776 65398 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 88456 65398 4131 3002 0 72205 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 353824 KiB
Current children cumulated memory: 261592 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/243 271177
/proc/meminfo: memFree=80076292/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=313708 memory=226796 CPUtime=341.1 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 66715 0 0 0 33971 139 0 0 20 0 1 0 24305255 321236992 56699 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 78427 56699 4243 3002 0 62176 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 313708 KiB
Current children cumulated memory: 226796 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/245 271357
/proc/meminfo: memFree=81989808/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=313708 memory=228844 CPUtime=400.91 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 66731 0 0 0 39862 229 0 0 20 0 1 0 24305255 321236992 57211 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 78427 57211 4243 3002 0 62176 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 313708 KiB
Current children cumulated memory: 228844 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/245 271367
/proc/meminfo: memFree=81002980/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=325384 memory=232952 CPUtime=460.7 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 67260 0 0 0 45771 299 0 0 20 0 1 0 24305255 333193216 58238 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 81346 58238 4243 3002 0 65095 0
################
# More data... #
################
Current children cumulated memory: 290360 KiB
[startup+2862.3 s]
/proc/loadavg: 3.05 3.10 3.35 4/234 272777
/proc/meminfo: memFree=106294064/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=290436 CPUtime=2853.17 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71180 0 0 0 283636 1681 0 0 20 0 1 0 24305255 384176128 72609 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 72609 4243 3002 0 77542 0
Current children cumulated CPU time: 2853.17 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 290436 KiB
[startup+2922.3 s]
/proc/loadavg: 3.18 3.12 3.34 4/236 272793
/proc/meminfo: memFree=106293636/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=290436 CPUtime=2912.99 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71264 0 0 0 289596 1703 0 0 20 0 1 0 24305255 384176128 72609 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 72609 4243 3002 0 77542 0
Current children cumulated CPU time: 2912.99 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 290436 KiB
[startup+2982.3 s]
/proc/loadavg: 3.13 3.11 3.33 4/236 272804
/proc/meminfo: memFree=106292368/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=290436 CPUtime=2972.81 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71348 0 0 0 295558 1723 0 0 20 0 1 0 24305255 384176128 72609 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 72609 4243 3002 0 77542 0
Current children cumulated CPU time: 2972.81 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 290436 KiB
[startup+3042.3 s]
/proc/loadavg: 3.09 3.11 3.31 4/236 272814
/proc/meminfo: memFree=106251944/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=290436 CPUtime=3032.63 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71432 0 0 0 301517 1746 0 0 20 0 1 0 24305255 384176128 72609 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 72609 4243 3002 0 77542 0
Current children cumulated CPU time: 3032.63 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 290436 KiB
[startup+3102.3 s]
/proc/loadavg: 3.10 3.10 3.29 4/236 272825
/proc/meminfo: memFree=106241184/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=292484 CPUtime=3092.45 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71516 0 0 0 307479 1766 0 0 20 0 1 0 24305255 384176128 73121 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73121 4243 3002 0 77542 0
Current children cumulated CPU time: 3092.45 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 292484 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.09 3.27 4/236 272835
/proc/meminfo: memFree=106224436/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=292484 CPUtime=3152.27 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71600 0 0 0 313438 1789 0 0 20 0 1 0 24305255 384176128 73121 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73121 4243 3002 0 77542 0
Current children cumulated CPU time: 3152.27 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 292484 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.09 3.26 4/234 272845
/proc/meminfo: memFree=106223904/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=292484 CPUtime=3212.08 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71683 0 0 0 319397 1811 0 0 20 0 1 0 24305255 384176128 73121 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73121 4243 3002 0 77542 0
Current children cumulated CPU time: 3212.08 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 292484 KiB
[startup+3282.3 s]
/proc/loadavg: 3.06 3.08 3.25 4/234 272856
/proc/meminfo: memFree=106207536/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=292484 CPUtime=3271.9 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71768 0 0 0 325355 1835 0 0 20 0 1 0 24305255 384176128 73121 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73121 4243 3002 0 77542 0
Current children cumulated CPU time: 3271.9 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 292484 KiB
[startup+3342.3 s]
/proc/loadavg: 3.06 3.08 3.24 4/234 272866
/proc/meminfo: memFree=106205280/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=292484 CPUtime=3331.72 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71852 0 0 0 331316 1856 0 0 20 0 1 0 24305255 384176128 73121 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73121 4243 3002 0 77542 0
Current children cumulated CPU time: 3331.72 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 292484 KiB
[startup+3402.3 s]
/proc/loadavg: 3.19 3.11 3.24 4/234 272876
/proc/meminfo: memFree=106189544/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=292484 CPUtime=3391.53 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 71936 0 0 0 337275 1878 0 0 20 0 1 0 24305255 384176128 73121 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73121 4243 3002 0 77542 0
Current children cumulated CPU time: 3391.53 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 292484 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.11 3.23 4/234 272887
/proc/meminfo: memFree=106171660/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=294532 CPUtime=3451.35 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 72024 0 0 0 343234 1901 0 0 20 0 1 0 24305255 384176128 73633 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73633 4243 3002 0 77542 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 294532 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.12 3.22 4/236 272901
/proc/meminfo: memFree=106141092/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=294532 CPUtime=3511.17 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 72110 0 0 0 349195 1922 0 0 20 0 1 0 24305255 384176128 73633 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73633 4243 3002 0 77542 0
Current children cumulated CPU time: 3511.17 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 294532 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.11 3.21 4/236 272912
/proc/meminfo: memFree=106101248/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=294532 CPUtime=3570.99 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 72195 0 0 0 355158 1941 0 0 20 0 1 0 24305255 384176128 73633 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73633 4243 3002 0 77542 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 294532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.08 3.10 3.20 4/236 272917
/proc/meminfo: memFree=106088052/131655788 swapFree=131070704/131071996
[pid=270640] ppid=270637 vsize=375172 memory=294532 CPUtime=3600 cores=5,7
/proc/270640/stat : 270640 (mixed-bag) R 270637 270640 265027 0 -1 4194304 72200 0 0 0 358049 1951 0 0 20 0 1 0 24305255 384176128 73633 134679101440 4194304 16488053 140727858185712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 25731072 140727858193431 140727858193508 140727858193508 140727858200523 0
/proc/270640/statm: 93793 73633 4243 3002 0 77542 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 375172 KiB
Current children cumulated memory: 294532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.4 s]
# the end of solver process 270640 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.49 s, system=19.5179 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.4
CPU time (s): 3600.01
CPU user time (s): 3580.49
CPU system time (s): 19.5179
CPU usage (%): 99.6846
Max. virtual memory (cumulated for all children) (KiB): 375172
Max. memory (cumulated for all children) (KiB): 294532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.49
system time used= 19.5179
maximum resident set size= 295380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72224
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= 69
involuntary context switches= 1317
# summary of solver processes directly reported to runsolver:
# pid: 270640
# total CPU time (s): 3600.01
# total CPU user time (s): 3580.49
# total CPU system time (s): 19.5179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8753 second user time and 35.8997 second system time
The end
Begin job on nodeC008 at 2024-07-25 06:52:39
IDJOB=4459219
IDBENCH=178614
IDSOLVER=3083
FILE ID=nodeC008/4459219-1721883159
RUNJOBID= nodeC008-1721875931-265040
SLURM_JOB_ID= 8089228
Free space on /tmp= 723524 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4459219-1721883159/watcher-4459219-1721883159 -o /tmp/evaluation-result-4459219-1721883159/solver-4459219-1721883159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265040 --watchdog 3760 mixed-bag HOME/instance-4459219-1721883159.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=635640382
nodeC008.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 : 3626.582
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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 : 3491.597
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.33
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.262
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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.186
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.33
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 : 3503.052
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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 : 3491.609
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.33
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.258
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.19
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.121
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 80525396 kB
MemAvailable: 100801752 kB
Buffers: 304148 kB
Cached: 20730780 kB
SwapCached: 732 kB
Active: 2935064 kB
Inactive: 47426136 kB
Active(anon): 1612 kB
Inactive(anon): 29378516 kB
Active(file): 2933452 kB
Inactive(file): 18047620 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 16776 kB
Writeback: 4 kB
AnonPages: 29324972 kB
Mapped: 151720 kB
Shmem: 53860 kB
KReclaimable: 270632 kB
Slab: 391116 kB
SReclaimable: 270632 kB
SUnreclaim: 120484 kB
KernelStack: 3936 kB
PageTables: 67264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 32653800 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 13285376 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: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723708 MiB
End job on nodeC008 at 2024-07-25 07:52:51