0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 2498 #constraints 500
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.00373
0.00/0.00 c stratification level: 92700
0.00/0.01 c bounds 552637 >= 0 @ 0.008154
0.00/0.01 c stratification level: 90847
36.60/36.70 c #Conflicts: 1000 | #Constraints: 1500
36.60/36.70 c #Conflicts: 2000 | #Constraints: 2500
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 3000 | #Constraints: 2513
36.60/36.70 c #Conflicts: 4000 | #Constraints: 3513
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 5000 | #Constraints: 2921
36.60/36.70 c #Conflicts: 6000 | #Constraints: 3921
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 7000 | #Constraints: 2925
36.60/36.70 c #Conflicts: 8000 | #Constraints: 3925
36.60/36.70 c #Conflicts: 9000 | #Constraints: 4925
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 10000 | #Constraints: 3630
36.60/36.70 c #Conflicts: 11000 | #Constraints: 4630
36.60/36.70 c #Conflicts: 12000 | #Constraints: 5630
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 13000 | #Constraints: 4084
36.60/36.70 c #Conflicts: 14000 | #Constraints: 5084
36.60/36.70 c #Conflicts: 15000 | #Constraints: 6084
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 16000 | #Constraints: 4321
36.60/36.70 c #Conflicts: 17000 | #Constraints: 5321
36.60/36.70 c #Conflicts: 18000 | #Constraints: 6321
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 19000 | #Constraints: 4337
36.60/36.70 c #Conflicts: 20000 | #Constraints: 5337
36.60/36.70 c #Conflicts: 21000 | #Constraints: 6337
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 22000 | #Constraints: 4142
36.60/36.70 c #Conflicts: 23000 | #Constraints: 5142
36.60/36.70 c #Conflicts: 24000 | #Constraints: 6142
36.60/36.70 c #Conflicts: 25000 | #Constraints: 7142
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 26000 | #Constraints: 4744
36.60/36.70 c #Conflicts: 27000 | #Constraints: 5744
36.60/36.70 c #Conflicts: 28000 | #Constraints: 6744
36.60/36.70 c #Conflicts: 29000 | #Constraints: 7744
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 30000 | #Constraints: 5149
36.60/36.70 c #Conflicts: 31000 | #Constraints: 6149
36.60/36.70 c #Conflicts: 32000 | #Constraints: 7149
36.60/36.70 c #Conflicts: 33000 | #Constraints: 8149
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 34000 | #Constraints: 5350
36.60/36.70 c #Conflicts: 35000 | #Constraints: 6350
36.60/36.70 c #Conflicts: 36000 | #Constraints: 7350
36.60/36.70 c #Conflicts: 37000 | #Constraints: 8350
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 38000 | #Constraints: 5355
36.60/36.70 c #Conflicts: 39000 | #Constraints: 6355
36.60/36.70 c #Conflicts: 40000 | #Constraints: 7355
36.60/36.70 c #Conflicts: 41000 | #Constraints: 8355
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c #Conflicts: 42000 | #Constraints: 5154
36.60/36.70 c #Conflicts: 43000 | #Constraints: 6154
36.60/36.70 c #Conflicts: 44000 | #Constraints: 7154
36.60/36.70 c #Conflicts: 45000 | #Constraints: 8154
36.60/36.70 c #Conflicts: 46000 | #Constraints: 9154
36.60/36.70 c INPROCESSING
36.60/36.70 c GARBAGE COLLECT
36.60/36.70 c bounds 539257 >= 0 @ 35.2616
36.60/36.70 c stratification level: 89922
90.75/91.01 c #Conflicts: 47000 | #Constraints: 5756
90.75/91.01 c #Conflicts: 48000 | #Constraints: 6756
90.75/91.01 c #Conflicts: 49000 | #Constraints: 7756
90.75/91.01 c #Conflicts: 50000 | #Constraints: 8756
90.75/91.01 c #Conflicts: 51000 | #Constraints: 9756
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 52000 | #Constraints: 6165
90.75/91.01 c #Conflicts: 53000 | #Constraints: 7165
90.75/91.01 c #Conflicts: 54000 | #Constraints: 8165
90.75/91.01 c #Conflicts: 55000 | #Constraints: 9165
90.75/91.01 c #Conflicts: 56000 | #Constraints: 10165
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 57000 | #Constraints: 6366
90.75/91.01 c #Conflicts: 58000 | #Constraints: 7366
90.75/91.01 c #Conflicts: 59000 | #Constraints: 8366
90.75/91.01 c #Conflicts: 60000 | #Constraints: 9366
90.75/91.01 c #Conflicts: 61000 | #Constraints: 10366
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 62000 | #Constraints: 6369
90.75/91.01 c #Conflicts: 63000 | #Constraints: 7369
90.75/91.01 c #Conflicts: 64000 | #Constraints: 8369
90.75/91.01 c #Conflicts: 65000 | #Constraints: 9369
90.75/91.01 c #Conflicts: 66000 | #Constraints: 10369
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 67000 | #Constraints: 6168
90.75/91.01 c #Conflicts: 68000 | #Constraints: 7168
90.75/91.01 c #Conflicts: 69000 | #Constraints: 8168
90.75/91.01 c #Conflicts: 70000 | #Constraints: 9168
90.75/91.01 c #Conflicts: 71000 | #Constraints: 10168
90.75/91.01 c #Conflicts: 72000 | #Constraints: 11168
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 73000 | #Constraints: 6762
90.75/91.01 c #Conflicts: 74000 | #Constraints: 7762
90.75/91.01 c #Conflicts: 75000 | #Constraints: 8762
90.75/91.01 c #Conflicts: 76000 | #Constraints: 9762
90.75/91.01 c #Conflicts: 77000 | #Constraints: 10762
90.75/91.01 c #Conflicts: 78000 | #Constraints: 11762
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 79000 | #Constraints: 7159
90.75/91.01 c #Conflicts: 80000 | #Constraints: 8159
90.75/91.01 c #Conflicts: 81000 | #Constraints: 9159
90.75/91.01 c #Conflicts: 82000 | #Constraints: 10159
90.75/91.01 c #Conflicts: 83000 | #Constraints: 11159
90.75/91.01 c #Conflicts: 84000 | #Constraints: 12159
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 85000 | #Constraints: 7371
90.75/91.01 c #Conflicts: 86000 | #Constraints: 8371
90.75/91.01 c #Conflicts: 87000 | #Constraints: 9371
90.75/91.01 c #Conflicts: 88000 | #Constraints: 10371
90.75/91.01 c #Conflicts: 89000 | #Constraints: 11371
90.75/91.01 c #Conflicts: 90000 | #Constraints: 12371
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 91000 | #Constraints: 7370
90.75/91.01 c #Conflicts: 92000 | #Constraints: 8370
90.75/91.01 c #Conflicts: 93000 | #Constraints: 9370
90.75/91.01 c #Conflicts: 94000 | #Constraints: 10370
90.75/91.01 c #Conflicts: 95000 | #Constraints: 11370
90.75/91.01 c #Conflicts: 96000 | #Constraints: 12370
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 97000 | #Constraints: 7185
90.75/91.01 c #Conflicts: 98000 | #Constraints: 8185
90.75/91.01 c #Conflicts: 99000 | #Constraints: 9185
90.75/91.01 c #Conflicts: 100000 | #Constraints: 10185
90.75/91.01 c #Conflicts: 101000 | #Constraints: 11185
90.75/91.01 c #Conflicts: 102000 | #Constraints: 12185
90.75/91.01 c #Conflicts: 103000 | #Constraints: 13185
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 104000 | #Constraints: 7779
90.75/91.01 c #Conflicts: 105000 | #Constraints: 8779
90.75/91.01 c #Conflicts: 106000 | #Constraints: 9779
90.75/91.01 c #Conflicts: 107000 | #Constraints: 10779
90.75/91.01 c #Conflicts: 108000 | #Constraints: 11779
90.75/91.01 c #Conflicts: 109000 | #Constraints: 12779
90.75/91.01 c #Conflicts: 110000 | #Constraints: 13779
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 111000 | #Constraints: 8177
90.75/91.01 c #Conflicts: 112000 | #Constraints: 9177
90.75/91.01 c #Conflicts: 113000 | #Constraints: 10177
90.75/91.01 c #Conflicts: 114000 | #Constraints: 11177
90.75/91.01 c #Conflicts: 115000 | #Constraints: 12177
90.75/91.01 c #Conflicts: 116000 | #Constraints: 13177
90.75/91.01 c #Conflicts: 117000 | #Constraints: 14177
90.75/91.01 c INPROCESSING
90.75/91.01 c GARBAGE COLLECT
90.75/91.01 c #Conflicts: 118000 | #Constraints: 8372
155.08/155.50 c #Conflicts: 119000 | #Constraints: 9372
155.08/155.50 c #Conflicts: 120000 | #Constraints: 10372
155.08/155.50 c #Conflicts: 121000 | #Constraints: 11372
155.08/155.50 c #Conflicts: 122000 | #Constraints: 12372
155.08/155.50 c #Conflicts: 123000 | #Constraints: 13372
155.08/155.50 c #Conflicts: 124000 | #Constraints: 14372
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 125000 | #Constraints: 8371
155.08/155.50 c #Conflicts: 126000 | #Constraints: 9371
155.08/155.50 c #Conflicts: 127000 | #Constraints: 10371
155.08/155.50 c #Conflicts: 128000 | #Constraints: 11371
155.08/155.50 c #Conflicts: 129000 | #Constraints: 12371
155.08/155.50 c #Conflicts: 130000 | #Constraints: 13371
155.08/155.50 c #Conflicts: 131000 | #Constraints: 14371
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 132000 | #Constraints: 8173
155.08/155.50 c #Conflicts: 133000 | #Constraints: 9173
155.08/155.50 c #Conflicts: 134000 | #Constraints: 10173
155.08/155.50 c #Conflicts: 135000 | #Constraints: 11173
155.08/155.50 c #Conflicts: 136000 | #Constraints: 12173
155.08/155.50 c #Conflicts: 137000 | #Constraints: 13173
155.08/155.50 c #Conflicts: 138000 | #Constraints: 14173
155.08/155.50 c #Conflicts: 139000 | #Constraints: 15173
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 140000 | #Constraints: 8783
155.08/155.50 c #Conflicts: 141000 | #Constraints: 9783
155.08/155.50 c #Conflicts: 142000 | #Constraints: 10783
155.08/155.50 c #Conflicts: 143000 | #Constraints: 11783
155.08/155.50 c #Conflicts: 144000 | #Constraints: 12783
155.08/155.50 c #Conflicts: 145000 | #Constraints: 13783
155.08/155.50 c #Conflicts: 146000 | #Constraints: 14783
155.08/155.50 c #Conflicts: 147000 | #Constraints: 15783
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 148000 | #Constraints: 9181
155.08/155.50 c #Conflicts: 149000 | #Constraints: 10181
155.08/155.50 c #Conflicts: 150000 | #Constraints: 11181
155.08/155.50 c #Conflicts: 151000 | #Constraints: 12181
155.08/155.50 c #Conflicts: 152000 | #Constraints: 13181
155.08/155.50 c #Conflicts: 153000 | #Constraints: 14181
155.08/155.50 c #Conflicts: 154000 | #Constraints: 15181
155.08/155.50 c #Conflicts: 155000 | #Constraints: 16181
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 156000 | #Constraints: 9372
155.08/155.50 c #Conflicts: 157000 | #Constraints: 10372
155.08/155.50 c #Conflicts: 158000 | #Constraints: 11372
155.08/155.50 c #Conflicts: 159000 | #Constraints: 12372
155.08/155.50 c #Conflicts: 160000 | #Constraints: 13372
155.08/155.50 c #Conflicts: 161000 | #Constraints: 14372
155.08/155.50 c #Conflicts: 162000 | #Constraints: 15372
155.08/155.50 c #Conflicts: 163000 | #Constraints: 16372
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 164000 | #Constraints: 9371
155.08/155.50 c #Conflicts: 165000 | #Constraints: 10371
155.08/155.50 c #Conflicts: 166000 | #Constraints: 11371
155.08/155.50 c #Conflicts: 167000 | #Constraints: 12371
155.08/155.50 c #Conflicts: 168000 | #Constraints: 13371
155.08/155.50 c #Conflicts: 169000 | #Constraints: 14371
155.08/155.50 c #Conflicts: 170000 | #Constraints: 15371
155.08/155.50 c #Conflicts: 171000 | #Constraints: 16371
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 172000 | #Constraints: 9176
155.08/155.50 c #Conflicts: 173000 | #Constraints: 10176
155.08/155.50 c #Conflicts: 174000 | #Constraints: 11176
155.08/155.50 c #Conflicts: 175000 | #Constraints: 12176
155.08/155.50 c #Conflicts: 176000 | #Constraints: 13176
155.08/155.50 c #Conflicts: 177000 | #Constraints: 14176
155.08/155.50 c #Conflicts: 178000 | #Constraints: 15176
155.08/155.50 c #Conflicts: 179000 | #Constraints: 16176
155.08/155.50 c #Conflicts: 180000 | #Constraints: 17176
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 181000 | #Constraints: 9777
155.08/155.50 c #Conflicts: 182000 | #Constraints: 10777
155.08/155.50 c #Conflicts: 183000 | #Constraints: 11777
155.08/155.50 c #Conflicts: 184000 | #Constraints: 12777
155.08/155.50 c #Conflicts: 185000 | #Constraints: 13777
155.08/155.50 c #Conflicts: 186000 | #Constraints: 14777
155.08/155.50 c #Conflicts: 187000 | #Constraints: 15777
155.08/155.50 c #Conflicts: 188000 | #Constraints: 16777
155.08/155.50 c #Conflicts: 189000 | #Constraints: 17777
155.08/155.50 c INPROCESSING
155.08/155.50 c GARBAGE COLLECT
155.08/155.50 c #Conflicts: 190000 | #Constraints: 10177
155.08/155.50 c #Conflicts: 191000 | #Constraints: 11177
189.09/189.62 c #Conflicts: 192000 | #Constraints: 12177
189.09/189.62 c #Conflicts: 193000 | #Constraints: 13177
189.09/189.62 c #Conflicts: 194000 | #Constraints: 14177
189.09/189.62 c #Conflicts: 195000 | #Constraints: 15177
189.09/189.62 c #Conflicts: 196000 | #Constraints: 16177
189.09/189.62 c #Conflicts: 197000 | #Constraints: 17177
189.09/189.62 c #Conflicts: 198000 | #Constraints: 18177
189.09/189.62 c INPROCESSING
189.09/189.62 c GARBAGE COLLECT
189.09/189.62 c #Conflicts: 199000 | #Constraints: 10377
189.09/189.62 c #Conflicts: 200000 | #Constraints: 11377
189.09/189.62 c #Conflicts: 201000 | #Constraints: 12377
189.09/189.62 c #Conflicts: 202000 | #Constraints: 13377
189.09/189.62 c #Conflicts: 203000 | #Constraints: 14377
189.09/189.62 c #Conflicts: 204000 | #Constraints: 15377
189.09/189.62 c #Conflicts: 205000 | #Constraints: 16377
189.09/189.62 c #Conflicts: 206000 | #Constraints: 17377
189.09/189.62 c #Conflicts: 207000 | #Constraints: 18377
189.09/189.62 c INPROCESSING
189.09/189.62 c GARBAGE COLLECT
189.09/189.62 c #Conflicts: 208000 | #Constraints: 10378
189.09/189.62 c #Conflicts: 209000 | #Constraints: 11378
189.09/189.62 c #Conflicts: 210000 | #Constraints: 12378
189.09/189.62 c #Conflicts: 211000 | #Constraints: 13378
189.09/189.62 c #Conflicts: 212000 | #Constraints: 14378
189.09/189.62 c #Conflicts: 213000 | #Constraints: 15378
189.09/189.62 c #Conflicts: 214000 | #Constraints: 16378
189.09/189.62 c #Conflicts: 215000 | #Constraints: 17378
189.09/189.62 c #Conflicts: 216000 | #Constraints: 18378
189.09/189.62 c INPROCESSING
189.09/189.62 c GARBAGE COLLECT
189.09/189.62 c #Conflicts: 217000 | #Constraints: 10192
189.09/189.62 c #Conflicts: 218000 | #Constraints: 11192
189.09/189.62 c bounds 526189 >= 0 @ 184.115
189.09/189.62 c stratification level: 89565
281.64/282.44 c #Conflicts: 219000 | #Constraints: 12193
281.64/282.44 c #Conflicts: 220000 | #Constraints: 13193
281.64/282.44 c #Conflicts: 221000 | #Constraints: 14193
281.64/282.44 c #Conflicts: 222000 | #Constraints: 15193
281.64/282.44 c #Conflicts: 223000 | #Constraints: 16193
281.64/282.44 c #Conflicts: 224000 | #Constraints: 17193
281.64/282.44 c #Conflicts: 225000 | #Constraints: 18193
281.64/282.44 c #Conflicts: 226000 | #Constraints: 19193
281.64/282.44 c INPROCESSING
281.64/282.44 c GARBAGE COLLECT
281.64/282.44 c #Conflicts: 227000 | #Constraints: 10785
281.64/282.44 c #Conflicts: 228000 | #Constraints: 11785
281.64/282.44 c #Conflicts: 229000 | #Constraints: 12785
281.64/282.44 c #Conflicts: 230000 | #Constraints: 13785
281.64/282.44 c #Conflicts: 231000 | #Constraints: 14785
281.64/282.44 c #Conflicts: 232000 | #Constraints: 15785
281.64/282.44 c #Conflicts: 233000 | #Constraints: 16785
281.64/282.44 c #Conflicts: 234000 | #Constraints: 17785
281.64/282.44 c #Conflicts: 235000 | #Constraints: 18785
281.64/282.44 c #Conflicts: 236000 | #Constraints: 19785
281.64/282.44 c INPROCESSING
281.64/282.44 c GARBAGE COLLECT
281.64/282.44 c #Conflicts: 237000 | #Constraints: 11192
281.64/282.44 c #Conflicts: 238000 | #Constraints: 12192
281.64/282.44 c #Conflicts: 239000 | #Constraints: 13192
281.64/282.44 c #Conflicts: 240000 | #Constraints: 14192
281.64/282.44 c #Conflicts: 241000 | #Constraints: 15192
281.64/282.44 c #Conflicts: 242000 | #Constraints: 16192
281.64/282.44 c #Conflicts: 243000 | #Constraints: 17192
281.64/282.44 c #Conflicts: 244000 | #Constraints: 18192
281.64/282.44 c #Conflicts: 245000 | #Constraints: 19192
281.64/282.44 c #Conflicts: 246000 | #Constraints: 20192
281.64/282.44 c INPROCESSING
281.64/282.44 c GARBAGE COLLECT
281.64/282.44 c #Conflicts: 247000 | #Constraints: 11405
281.64/282.44 c #Conflicts: 248000 | #Constraints: 12405
281.64/282.44 c #Conflicts: 249000 | #Constraints: 13405
281.64/282.44 c #Conflicts: 250000 | #Constraints: 14405
281.64/282.44 c #Conflicts: 251000 | #Constraints: 15405
281.64/282.44 c #Conflicts: 252000 | #Constraints: 16405
281.64/282.44 c #Conflicts: 253000 | #Constraints: 17405
281.64/282.44 c #Conflicts: 254000 | #Constraints: 18405
281.64/282.44 c #Conflicts: 255000 | #Constraints: 19405
281.64/282.44 c #Conflicts: 256000 | #Constraints: 20405
281.64/282.44 c INPROCESSING
281.64/282.44 c GARBAGE COLLECT
281.64/282.44 c #Conflicts: 257000 | #Constraints: 11394
281.64/282.44 c #Conflicts: 258000 | #Constraints: 12394
281.64/282.44 c #Conflicts: 259000 | #Constraints: 13394
281.64/282.44 c #Conflicts: 260000 | #Constraints: 14394
281.64/282.44 c #Conflicts: 261000 | #Constraints: 15394
281.64/282.44 c #Conflicts: 262000 | #Constraints: 16394
281.64/282.44 c #Conflicts: 263000 | #Constraints: 17394
281.64/282.44 c #Conflicts: 264000 | #Constraints: 18394
281.64/282.44 c #Conflicts: 265000 | #Constraints: 19394
281.64/282.44 c #Conflicts: 266000 | #Constraints: 20394
281.64/282.44 c INPROCESSING
281.64/282.44 c GARBAGE COLLECT
281.64/282.44 c #Conflicts: 267000 | #Constraints: 11183
281.64/282.44 c #Conflicts: 268000 | #Constraints: 12183
281.64/282.44 c #Conflicts: 269000 | #Constraints: 13183
281.64/282.44 c #Conflicts: 270000 | #Constraints: 14183
281.64/282.44 c #Conflicts: 271000 | #Constraints: 15183
281.64/282.44 c #Conflicts: 272000 | #Constraints: 16183
281.64/282.44 c #Conflicts: 273000 | #Constraints: 17183
281.64/282.44 c #Conflicts: 274000 | #Constraints: 18183
281.64/282.44 c #Conflicts: 275000 | #Constraints: 19183
281.64/282.44 c #Conflicts: 276000 | #Constraints: 20183
281.64/282.44 c #Conflicts: 277000 | #Constraints: 21183
281.64/282.44 c INPROCESSING
281.64/282.44 c GARBAGE COLLECT
281.64/282.44 c #Conflicts: 278000 | #Constraints: 11778
281.64/282.44 c #Conflicts: 279000 | #Constraints: 12778
281.64/282.44 c #Conflicts: 280000 | #Constraints: 13778
281.64/282.44 c #Conflicts: 281000 | #Constraints: 14778
281.64/282.44 c #Conflicts: 282000 | #Constraints: 15778
281.64/282.44 c #Conflicts: 283000 | #Constraints: 16778
281.64/282.44 c #Conflicts: 284000 | #Constraints: 17778
281.64/282.44 c #Conflicts: 285000 | #Constraints: 18778
281.64/282.44 c #Conflicts: 286000 | #Constraints: 19778
281.64/282.44 c #Conflicts: 287000 | #Constraints: 20778
281.64/282.44 c #Conflicts: 288000 | #Constraints: 21778
281.64/282.44 c INPROCESSING
281.64/282.44 c GARBAGE COLLECT
281.64/282.44 c #Conflicts: 289000 | #Constraints: 12181
281.64/282.44 c #Conflicts: 290000 | #Constraints: 13181
281.64/282.44 c #Conflicts: 291000 | #Constraints: 14181
281.64/282.44 c #Conflicts: 292000 | #Constraints: 15181
281.64/282.44 c #Conflicts: 293000 | #Constraints: 16181
367.63/368.64 c #Conflicts: 294000 | #Constraints: 17181
367.63/368.64 c #Conflicts: 295000 | #Constraints: 18181
367.63/368.64 c #Conflicts: 296000 | #Constraints: 19181
367.63/368.64 c #Conflicts: 297000 | #Constraints: 20181
367.63/368.64 c #Conflicts: 298000 | #Constraints: 21181
367.63/368.64 c #Conflicts: 299000 | #Constraints: 22181
367.63/368.64 c INPROCESSING
367.63/368.64 c GARBAGE COLLECT
367.63/368.64 c #Conflicts: 300000 | #Constraints: 12379
367.63/368.64 c #Conflicts: 301000 | #Constraints: 13379
367.63/368.64 c #Conflicts: 302000 | #Constraints: 14379
367.63/368.64 c #Conflicts: 303000 | #Constraints: 15379
367.63/368.64 c #Conflicts: 304000 | #Constraints: 16379
367.63/368.64 c #Conflicts: 305000 | #Constraints: 17379
367.63/368.64 c #Conflicts: 306000 | #Constraints: 18379
367.63/368.64 c #Conflicts: 307000 | #Constraints: 19379
367.63/368.64 c #Conflicts: 308000 | #Constraints: 20379
367.63/368.64 c #Conflicts: 309000 | #Constraints: 21379
367.63/368.64 c #Conflicts: 310000 | #Constraints: 22379
367.63/368.64 c INPROCESSING
367.63/368.64 c GARBAGE COLLECT
367.63/368.64 c #Conflicts: 311000 | #Constraints: 12379
367.63/368.64 c #Conflicts: 312000 | #Constraints: 13379
367.63/368.64 c #Conflicts: 313000 | #Constraints: 14379
367.63/368.64 c #Conflicts: 314000 | #Constraints: 15379
367.63/368.64 c #Conflicts: 315000 | #Constraints: 16379
367.63/368.64 c #Conflicts: 316000 | #Constraints: 17379
367.63/368.64 c #Conflicts: 317000 | #Constraints: 18379
367.63/368.64 c #Conflicts: 318000 | #Constraints: 19379
367.63/368.64 c #Conflicts: 319000 | #Constraints: 20379
367.63/368.64 c #Conflicts: 320000 | #Constraints: 21379
367.63/368.64 c #Conflicts: 321000 | #Constraints: 22379
367.63/368.64 c INPROCESSING
367.63/368.64 c GARBAGE COLLECT
367.63/368.64 c #Conflicts: 322000 | #Constraints: 12174
367.63/368.64 c #Conflicts: 323000 | #Constraints: 13174
367.63/368.64 c #Conflicts: 324000 | #Constraints: 14174
367.63/368.64 c #Conflicts: 325000 | #Constraints: 15174
367.63/368.64 c #Conflicts: 326000 | #Constraints: 16174
367.63/368.64 c #Conflicts: 327000 | #Constraints: 17174
367.63/368.64 c #Conflicts: 328000 | #Constraints: 18174
367.63/368.64 c #Conflicts: 329000 | #Constraints: 19174
367.63/368.64 c #Conflicts: 330000 | #Constraints: 20174
367.63/368.64 c #Conflicts: 331000 | #Constraints: 21174
367.63/368.64 c #Conflicts: 332000 | #Constraints: 22174
367.63/368.64 c #Conflicts: 333000 | #Constraints: 23174
367.63/368.64 c INPROCESSING
367.63/368.64 c GARBAGE COLLECT
367.63/368.64 c #Conflicts: 334000 | #Constraints: 12775
367.63/368.64 c #Conflicts: 335000 | #Constraints: 13775
367.63/368.64 c #Conflicts: 336000 | #Constraints: 14775
367.63/368.64 c #Conflicts: 337000 | #Constraints: 15775
367.63/368.64 c #Conflicts: 338000 | #Constraints: 16775
367.63/368.64 c #Conflicts: 339000 | #Constraints: 17775
367.63/368.64 c #Conflicts: 340000 | #Constraints: 18775
367.63/368.64 c #Conflicts: 341000 | #Constraints: 19775
367.63/368.64 c #Conflicts: 342000 | #Constraints: 20775
367.63/368.64 c #Conflicts: 343000 | #Constraints: 21775
367.63/368.64 c #Conflicts: 344000 | #Constraints: 22775
367.63/368.64 c #Conflicts: 345000 | #Constraints: 23775
367.63/368.64 c INPROCESSING
367.63/368.64 c GARBAGE COLLECT
367.63/368.64 c #Conflicts: 346000 | #Constraints: 13181
367.63/368.64 c #Conflicts: 347000 | #Constraints: 14181
367.63/368.64 c #Conflicts: 348000 | #Constraints: 15181
367.63/368.64 c #Conflicts: 349000 | #Constraints: 16181
367.63/368.64 c #Conflicts: 350000 | #Constraints: 17181
367.63/368.64 c #Conflicts: 351000 | #Constraints: 18181
367.63/368.64 c #Conflicts: 352000 | #Constraints: 19181
367.63/368.64 c #Conflicts: 353000 | #Constraints: 20181
367.63/368.64 c #Conflicts: 354000 | #Constraints: 21181
367.63/368.64 c #Conflicts: 355000 | #Constraints: 22181
367.63/368.64 c #Conflicts: 356000 | #Constraints: 23181
367.63/368.64 c #Conflicts: 357000 | #Constraints: 24181
367.63/368.64 c INPROCESSING
367.63/368.64 c GARBAGE COLLECT
367.63/368.64 c #Conflicts: 358000 | #Constraints: 13374
367.63/368.64 c #Conflicts: 359000 | #Constraints: 14374
367.63/368.64 c #Conflicts: 360000 | #Constraints: 15374
367.63/368.64 c #Conflicts: 361000 | #Constraints: 16374
367.63/368.64 c #Conflicts: 362000 | #Constraints: 17374
367.63/368.64 c #Conflicts: 363000 | #Constraints: 18374
367.63/368.64 c #Conflicts: 364000 | #Constraints: 19374
367.63/368.64 c #Conflicts: 365000 | #Constraints: 20374
367.63/368.64 c #Conflicts: 366000 | #Constraints: 21374
367.63/368.64 c #Conflicts: 367000 | #Constraints: 22374
367.63/368.64 c #Conflicts: 368000 | #Constraints: 23374
468.66/469.91 c #Conflicts: 369000 | #Constraints: 24374
468.66/469.91 c INPROCESSING
468.66/469.91 c GARBAGE COLLECT
468.66/469.91 c #Conflicts: 370000 | #Constraints: 13383
468.66/469.91 c #Conflicts: 371000 | #Constraints: 14383
468.66/469.91 c #Conflicts: 372000 | #Constraints: 15383
468.66/469.91 c #Conflicts: 373000 | #Constraints: 16383
468.66/469.91 c #Conflicts: 374000 | #Constraints: 17383
468.66/469.91 c #Conflicts: 375000 | #Constraints: 18383
468.66/469.91 c #Conflicts: 376000 | #Constraints: 19383
468.66/469.91 c #Conflicts: 377000 | #Constraints: 20383
468.66/469.91 c #Conflicts: 378000 | #Constraints: 21383
468.66/469.91 c #Conflicts: 379000 | #Constraints: 22383
468.66/469.91 c #Conflicts: 380000 | #Constraints: 23383
468.66/469.91 c #Conflicts: 381000 | #Constraints: 24383
468.66/469.91 c INPROCESSING
468.66/469.91 c GARBAGE COLLECT
468.66/469.91 c #Conflicts: 382000 | #Constraints: 13179
468.66/469.91 c #Conflicts: 383000 | #Constraints: 14179
468.66/469.91 c #Conflicts: 384000 | #Constraints: 15179
468.66/469.91 c #Conflicts: 385000 | #Constraints: 16179
468.66/469.91 c #Conflicts: 386000 | #Constraints: 17179
468.66/469.91 c #Conflicts: 387000 | #Constraints: 18179
468.66/469.91 c #Conflicts: 388000 | #Constraints: 19179
468.66/469.91 c #Conflicts: 389000 | #Constraints: 20179
468.66/469.91 c #Conflicts: 390000 | #Constraints: 21179
468.66/469.91 c #Conflicts: 391000 | #Constraints: 22179
468.66/469.91 c #Conflicts: 392000 | #Constraints: 23179
468.66/469.91 c #Conflicts: 393000 | #Constraints: 24179
468.66/469.91 c #Conflicts: 394000 | #Constraints: 25179
468.66/469.91 c INPROCESSING
468.66/469.91 c GARBAGE COLLECT
468.66/469.91 c #Conflicts: 395000 | #Constraints: 13781
468.66/469.91 c #Conflicts: 396000 | #Constraints: 14781
468.66/469.91 c #Conflicts: 397000 | #Constraints: 15781
468.66/469.91 c #Conflicts: 398000 | #Constraints: 16781
468.66/469.91 c #Conflicts: 399000 | #Constraints: 17781
468.66/469.91 c #Conflicts: 400000 | #Constraints: 18781
468.66/469.91 c #Conflicts: 401000 | #Constraints: 19781
468.66/469.91 c #Conflicts: 402000 | #Constraints: 20781
468.66/469.91 c #Conflicts: 403000 | #Constraints: 21781
468.66/469.91 c #Conflicts: 404000 | #Constraints: 22781
468.66/469.91 c #Conflicts: 405000 | #Constraints: 23781
468.66/469.91 c #Conflicts: 406000 | #Constraints: 24781
468.66/469.91 c #Conflicts: 407000 | #Constraints: 25781
468.66/469.91 c INPROCESSING
468.66/469.91 c GARBAGE COLLECT
468.66/469.91 c #Conflicts: 408000 | #Constraints: 14181
468.66/469.91 c #Conflicts: 409000 | #Constraints: 15181
468.66/469.91 c #Conflicts: 410000 | #Constraints: 16181
468.66/469.91 c #Conflicts: 411000 | #Constraints: 17181
468.66/469.91 c #Conflicts: 412000 | #Constraints: 18181
468.66/469.91 c #Conflicts: 413000 | #Constraints: 19181
468.66/469.91 c #Conflicts: 414000 | #Constraints: 20181
468.66/469.91 c #Conflicts: 415000 | #Constraints: 21181
468.66/469.91 c #Conflicts: 416000 | #Constraints: 22181
468.66/469.91 c #Conflicts: 417000 | #Constraints: 23181
468.66/469.91 c #Conflicts: 418000 | #Constraints: 24181
468.66/469.91 c #Conflicts: 419000 | #Constraints: 25181
468.66/469.91 c #Conflicts: 420000 | #Constraints: 26181
468.66/469.91 c INPROCESSING
468.66/469.91 c GARBAGE COLLECT
468.66/469.91 c #Conflicts: 421000 | #Constraints: 14400
468.66/469.91 c #Conflicts: 422000 | #Constraints: 15400
468.66/469.91 c #Conflicts: 423000 | #Constraints: 16400
468.66/469.91 c #Conflicts: 424000 | #Constraints: 17400
468.66/469.91 c #Conflicts: 425000 | #Constraints: 18400
468.66/469.91 c #Conflicts: 426000 | #Constraints: 19400
468.66/469.91 c #Conflicts: 427000 | #Constraints: 20400
468.66/469.91 c #Conflicts: 428000 | #Constraints: 21400
468.66/469.91 c #Conflicts: 429000 | #Constraints: 22400
468.66/469.91 c #Conflicts: 430000 | #Constraints: 23400
468.66/469.91 c #Conflicts: 431000 | #Constraints: 24400
468.66/469.91 c #Conflicts: 432000 | #Constraints: 25400
468.66/469.91 c #Conflicts: 433000 | #Constraints: 26400
468.66/469.91 c INPROCESSING
468.66/469.91 c GARBAGE COLLECT
468.66/469.91 c #Conflicts: 434000 | #Constraints: 14395
468.66/469.91 c #Conflicts: 435000 | #Constraints: 15395
468.66/469.91 c #Conflicts: 436000 | #Constraints: 16395
468.66/469.91 c #Conflicts: 437000 | #Constraints: 17395
468.66/469.91 c #Conflicts: 438000 | #Constraints: 18395
468.66/469.91 c #Conflicts: 439000 | #Constraints: 19395
468.66/469.91 c #Conflicts: 440000 | #Constraints: 20395
468.66/469.91 c #Conflicts: 441000 | #Constraints: 21395
468.66/469.91 c #Conflicts: 442000 | #Constraints: 22395
468.66/469.91 c #Conflicts: 443000 | #Constraints: 23395
581.55/583.15 c #Conflicts: 444000 | #Constraints: 24395
581.55/583.15 c #Conflicts: 445000 | #Constraints: 25395
581.55/583.15 c #Conflicts: 446000 | #Constraints: 26395
581.55/583.15 c INPROCESSING
581.55/583.15 c GARBAGE COLLECT
581.55/583.15 c #Conflicts: 447000 | #Constraints: 14198
581.55/583.15 c #Conflicts: 448000 | #Constraints: 15198
581.55/583.15 c #Conflicts: 449000 | #Constraints: 16198
581.55/583.15 c #Conflicts: 450000 | #Constraints: 17198
581.55/583.15 c #Conflicts: 451000 | #Constraints: 18198
581.55/583.15 c #Conflicts: 452000 | #Constraints: 19198
581.55/583.15 c #Conflicts: 453000 | #Constraints: 20198
581.55/583.15 c #Conflicts: 454000 | #Constraints: 21198
581.55/583.15 c #Conflicts: 455000 | #Constraints: 22198
581.55/583.15 c #Conflicts: 456000 | #Constraints: 23198
581.55/583.15 c #Conflicts: 457000 | #Constraints: 24198
581.55/583.15 c #Conflicts: 458000 | #Constraints: 25198
581.55/583.15 c #Conflicts: 459000 | #Constraints: 26198
581.55/583.15 c #Conflicts: 460000 | #Constraints: 27198
581.55/583.15 c INPROCESSING
581.55/583.15 c GARBAGE COLLECT
581.55/583.15 c #Conflicts: 461000 | #Constraints: 14799
581.55/583.15 c #Conflicts: 462000 | #Constraints: 15799
581.55/583.15 c #Conflicts: 463000 | #Constraints: 16799
581.55/583.15 c #Conflicts: 464000 | #Constraints: 17799
581.55/583.15 c #Conflicts: 465000 | #Constraints: 18799
581.55/583.15 c #Conflicts: 466000 | #Constraints: 19799
581.55/583.15 c #Conflicts: 467000 | #Constraints: 20799
581.55/583.15 c #Conflicts: 468000 | #Constraints: 21799
581.55/583.15 c #Conflicts: 469000 | #Constraints: 22799
581.55/583.15 c #Conflicts: 470000 | #Constraints: 23799
581.55/583.15 c #Conflicts: 471000 | #Constraints: 24799
581.55/583.15 c #Conflicts: 472000 | #Constraints: 25799
581.55/583.15 c #Conflicts: 473000 | #Constraints: 26799
581.55/583.15 c #Conflicts: 474000 | #Constraints: 27799
581.55/583.15 c INPROCESSING
581.55/583.15 c GARBAGE COLLECT
581.55/583.15 c #Conflicts: 475000 | #Constraints: 15194
581.55/583.15 c #Conflicts: 476000 | #Constraints: 16194
581.55/583.15 c #Conflicts: 477000 | #Constraints: 17194
581.55/583.15 c #Conflicts: 478000 | #Constraints: 18194
581.55/583.15 c #Conflicts: 479000 | #Constraints: 19194
581.55/583.15 c #Conflicts: 480000 | #Constraints: 20194
581.55/583.15 c #Conflicts: 481000 | #Constraints: 21194
581.55/583.15 c #Conflicts: 482000 | #Constraints: 22194
581.55/583.15 c #Conflicts: 483000 | #Constraints: 23194
581.55/583.15 c #Conflicts: 484000 | #Constraints: 24194
581.55/583.15 c #Conflicts: 485000 | #Constraints: 25194
581.55/583.15 c #Conflicts: 486000 | #Constraints: 26194
581.55/583.15 c #Conflicts: 487000 | #Constraints: 27194
581.55/583.15 c #Conflicts: 488000 | #Constraints: 28194
581.55/583.15 c INPROCESSING
581.55/583.15 c GARBAGE COLLECT
581.55/583.15 c #Conflicts: 489000 | #Constraints: 15394
581.55/583.15 c #Conflicts: 490000 | #Constraints: 16394
581.55/583.15 c #Conflicts: 491000 | #Constraints: 17394
581.55/583.15 c #Conflicts: 492000 | #Constraints: 18394
581.55/583.15 c #Conflicts: 493000 | #Constraints: 19394
581.55/583.15 c #Conflicts: 494000 | #Constraints: 20394
581.55/583.15 c #Conflicts: 495000 | #Constraints: 21394
581.55/583.15 c #Conflicts: 496000 | #Constraints: 22394
581.55/583.15 c #Conflicts: 497000 | #Constraints: 23394
581.55/583.15 c #Conflicts: 498000 | #Constraints: 24394
581.55/583.15 c #Conflicts: 499000 | #Constraints: 25394
581.55/583.15 c #Conflicts: 500000 | #Constraints: 26394
581.55/583.15 c #Conflicts: 501000 | #Constraints: 27394
581.55/583.15 c #Conflicts: 502000 | #Constraints: 28394
581.55/583.15 c INPROCESSING
581.55/583.15 c GARBAGE COLLECT
581.55/583.15 c #Conflicts: 503000 | #Constraints: 15401
581.55/583.15 c #Conflicts: 504000 | #Constraints: 16401
581.55/583.15 c #Conflicts: 505000 | #Constraints: 17401
581.55/583.15 c #Conflicts: 506000 | #Constraints: 18401
581.55/583.15 c #Conflicts: 507000 | #Constraints: 19401
581.55/583.15 c #Conflicts: 508000 | #Constraints: 20401
581.55/583.15 c #Conflicts: 509000 | #Constraints: 21401
581.55/583.15 c #Conflicts: 510000 | #Constraints: 22401
581.55/583.15 c #Conflicts: 511000 | #Constraints: 23401
581.55/583.15 c #Conflicts: 512000 | #Constraints: 24401
581.55/583.15 c #Conflicts: 513000 | #Constraints: 25401
581.55/583.15 c #Conflicts: 514000 | #Constraints: 26401
581.55/583.15 c bounds 495693 >= 0 @ 570.748
581.55/583.15 c stratification level: 84602
608.68/610.31 c #Conflicts: 515000 | #Constraints: 27402
608.68/610.31 c #Conflicts: 516000 | #Constraints: 28402
608.68/610.31 c INPROCESSING
608.68/610.31 c GARBAGE COLLECT
608.68/610.31 c #Conflicts: 517000 | #Constraints: 15189
608.68/610.31 c #Conflicts: 518000 | #Constraints: 16189
608.68/610.31 c #Conflicts: 519000 | #Constraints: 17189
608.68/610.31 c #Conflicts: 520000 | #Constraints: 18189
608.68/610.31 c #Conflicts: 521000 | #Constraints: 19189
608.68/610.31 c #Conflicts: 522000 | #Constraints: 20189
608.68/610.31 c #Conflicts: 523000 | #Constraints: 21189
608.68/610.31 c #Conflicts: 524000 | #Constraints: 22189
608.68/610.31 c #Conflicts: 525000 | #Constraints: 23189
608.68/610.31 c #Conflicts: 526000 | #Constraints: 24189
608.68/610.31 c #Conflicts: 527000 | #Constraints: 25189
608.68/610.31 c #Conflicts: 528000 | #Constraints: 26189
608.68/610.31 c #Conflicts: 529000 | #Constraints: 27189
608.68/610.31 c #Conflicts: 530000 | #Constraints: 28189
608.68/610.31 c #Conflicts: 531000 | #Constraints: 29189
608.68/610.31 c INPROCESSING
608.68/610.31 c GARBAGE COLLECT
608.68/610.31 c #Conflicts: 532000 | #Constraints: 15790
608.68/610.31 c #Conflicts: 533000 | #Constraints: 16790
608.68/610.31 c #Conflicts: 534000 | #Constraints: 17790
608.68/610.31 c #Conflicts: 535000 | #Constraints: 18790
608.68/610.31 c #Conflicts: 536000 | #Constraints: 19790
608.68/610.31 c bounds 486797 >= 0 @ 597.336
608.68/610.31 c stratification level: 83916
729.25/731.21 c #Conflicts: 537000 | #Constraints: 20791
729.25/731.21 c #Conflicts: 538000 | #Constraints: 21791
729.25/731.21 c #Conflicts: 539000 | #Constraints: 22791
729.25/731.21 c #Conflicts: 540000 | #Constraints: 23791
729.25/731.21 c #Conflicts: 541000 | #Constraints: 24791
729.25/731.21 c #Conflicts: 542000 | #Constraints: 25791
729.25/731.21 c #Conflicts: 543000 | #Constraints: 26791
729.25/731.21 c #Conflicts: 544000 | #Constraints: 27791
729.25/731.21 c #Conflicts: 545000 | #Constraints: 28791
729.25/731.21 c #Conflicts: 546000 | #Constraints: 29791
729.25/731.21 c INPROCESSING
729.25/731.21 c GARBAGE COLLECT
729.25/731.21 c #Conflicts: 547000 | #Constraints: 16191
729.25/731.21 c #Conflicts: 548000 | #Constraints: 17191
729.25/731.21 c #Conflicts: 549000 | #Constraints: 18191
729.25/731.21 c #Conflicts: 550000 | #Constraints: 19191
729.25/731.21 c #Conflicts: 551000 | #Constraints: 20191
729.25/731.21 c #Conflicts: 552000 | #Constraints: 21191
729.25/731.21 c #Conflicts: 553000 | #Constraints: 22191
729.25/731.21 c #Conflicts: 554000 | #Constraints: 23191
729.25/731.21 c #Conflicts: 555000 | #Constraints: 24191
729.25/731.21 c #Conflicts: 556000 | #Constraints: 25191
729.25/731.21 c #Conflicts: 557000 | #Constraints: 26191
729.25/731.21 c #Conflicts: 558000 | #Constraints: 27191
729.25/731.21 c #Conflicts: 559000 | #Constraints: 28191
729.25/731.21 c #Conflicts: 560000 | #Constraints: 29191
729.25/731.21 c #Conflicts: 561000 | #Constraints: 30191
729.25/731.21 c INPROCESSING
729.25/731.21 c GARBAGE COLLECT
729.25/731.21 c #Conflicts: 562000 | #Constraints: 16385
729.25/731.21 c #Conflicts: 563000 | #Constraints: 17385
729.25/731.21 c #Conflicts: 564000 | #Constraints: 18385
729.25/731.21 c #Conflicts: 565000 | #Constraints: 19385
729.25/731.21 c #Conflicts: 566000 | #Constraints: 20385
729.25/731.21 c #Conflicts: 567000 | #Constraints: 21385
729.25/731.21 c #Conflicts: 568000 | #Constraints: 22385
729.25/731.21 c #Conflicts: 569000 | #Constraints: 23385
729.25/731.21 c #Conflicts: 570000 | #Constraints: 24385
729.25/731.21 c #Conflicts: 571000 | #Constraints: 25385
729.25/731.21 c #Conflicts: 572000 | #Constraints: 26385
729.25/731.21 c #Conflicts: 573000 | #Constraints: 27385
729.25/731.21 c #Conflicts: 574000 | #Constraints: 28385
729.25/731.21 c #Conflicts: 575000 | #Constraints: 29385
729.25/731.21 c #Conflicts: 576000 | #Constraints: 30385
729.25/731.21 c INPROCESSING
729.25/731.21 c GARBAGE COLLECT
729.25/731.21 c #Conflicts: 577000 | #Constraints: 16382
729.25/731.21 c #Conflicts: 578000 | #Constraints: 17382
729.25/731.21 c #Conflicts: 579000 | #Constraints: 18382
729.25/731.21 c #Conflicts: 580000 | #Constraints: 19382
729.25/731.21 c #Conflicts: 581000 | #Constraints: 20382
729.25/731.21 c #Conflicts: 582000 | #Constraints: 21382
729.25/731.21 c #Conflicts: 583000 | #Constraints: 22382
729.25/731.21 c #Conflicts: 584000 | #Constraints: 23382
729.25/731.21 c #Conflicts: 585000 | #Constraints: 24382
729.25/731.21 c #Conflicts: 586000 | #Constraints: 25382
729.25/731.21 c #Conflicts: 587000 | #Constraints: 26382
729.25/731.21 c #Conflicts: 588000 | #Constraints: 27382
729.25/731.21 c #Conflicts: 589000 | #Constraints: 28382
729.25/731.21 c #Conflicts: 590000 | #Constraints: 29382
729.25/731.21 c #Conflicts: 591000 | #Constraints: 30382
729.25/731.21 c INPROCESSING
729.25/731.21 c GARBAGE COLLECT
729.25/731.21 c #Conflicts: 592000 | #Constraints: 16194
729.25/731.21 c #Conflicts: 593000 | #Constraints: 17194
729.25/731.21 c #Conflicts: 594000 | #Constraints: 18194
729.25/731.21 c #Conflicts: 595000 | #Constraints: 19194
729.25/731.21 c #Conflicts: 596000 | #Constraints: 20194
729.25/731.21 c #Conflicts: 597000 | #Constraints: 21194
729.25/731.21 c #Conflicts: 598000 | #Constraints: 22194
729.25/731.21 c #Conflicts: 599000 | #Constraints: 23194
729.25/731.21 c #Conflicts: 600000 | #Constraints: 24194
729.25/731.21 c #Conflicts: 601000 | #Constraints: 25194
729.25/731.21 c #Conflicts: 602000 | #Constraints: 26194
729.25/731.21 c #Conflicts: 603000 | #Constraints: 27194
729.25/731.21 c #Conflicts: 604000 | #Constraints: 28194
729.25/731.21 c #Conflicts: 605000 | #Constraints: 29194
729.25/731.21 c #Conflicts: 606000 | #Constraints: 30194
729.25/731.21 c #Conflicts: 607000 | #Constraints: 31194
729.25/731.21 c INPROCESSING
729.25/731.21 c GARBAGE COLLECT
729.25/731.21 c #Conflicts: 608000 | #Constraints: 16799
729.25/731.21 c #Conflicts: 609000 | #Constraints: 17799
729.25/731.21 c #Conflicts: 610000 | #Constraints: 18799
729.25/731.21 c #Conflicts: 611000 | #Constraints: 19799
729.25/731.21 c #Conflicts: 612000 | #Constraints: 20799
866.96/869.30 c #Conflicts: 613000 | #Constraints: 21799
866.96/869.30 c #Conflicts: 614000 | #Constraints: 22799
866.96/869.30 c #Conflicts: 615000 | #Constraints: 23799
866.96/869.30 c #Conflicts: 616000 | #Constraints: 24799
866.96/869.30 c #Conflicts: 617000 | #Constraints: 25799
866.96/869.30 c #Conflicts: 618000 | #Constraints: 26799
866.96/869.30 c #Conflicts: 619000 | #Constraints: 27799
866.96/869.30 c #Conflicts: 620000 | #Constraints: 28799
866.96/869.30 c #Conflicts: 621000 | #Constraints: 29799
866.96/869.30 c #Conflicts: 622000 | #Constraints: 30799
866.96/869.30 c #Conflicts: 623000 | #Constraints: 31799
866.96/869.30 c INPROCESSING
866.96/869.30 c GARBAGE COLLECT
866.96/869.30 c #Conflicts: 624000 | #Constraints: 17201
866.96/869.30 c #Conflicts: 625000 | #Constraints: 18201
866.96/869.30 c #Conflicts: 626000 | #Constraints: 19201
866.96/869.30 c #Conflicts: 627000 | #Constraints: 20201
866.96/869.30 c #Conflicts: 628000 | #Constraints: 21201
866.96/869.30 c #Conflicts: 629000 | #Constraints: 22201
866.96/869.30 c #Conflicts: 630000 | #Constraints: 23201
866.96/869.30 c #Conflicts: 631000 | #Constraints: 24201
866.96/869.30 c #Conflicts: 632000 | #Constraints: 25201
866.96/869.30 c #Conflicts: 633000 | #Constraints: 26201
866.96/869.30 c #Conflicts: 634000 | #Constraints: 27201
866.96/869.30 c #Conflicts: 635000 | #Constraints: 28201
866.96/869.30 c #Conflicts: 636000 | #Constraints: 29201
866.96/869.30 c #Conflicts: 637000 | #Constraints: 30201
866.96/869.30 c #Conflicts: 638000 | #Constraints: 31201
866.96/869.30 c #Conflicts: 639000 | #Constraints: 32201
866.96/869.30 c INPROCESSING
866.96/869.30 c GARBAGE COLLECT
866.96/869.30 c #Conflicts: 640000 | #Constraints: 17393
866.96/869.30 c #Conflicts: 641000 | #Constraints: 18393
866.96/869.30 c #Conflicts: 642000 | #Constraints: 19393
866.96/869.30 c #Conflicts: 643000 | #Constraints: 20393
866.96/869.30 c #Conflicts: 644000 | #Constraints: 21393
866.96/869.30 c #Conflicts: 645000 | #Constraints: 22393
866.96/869.30 c #Conflicts: 646000 | #Constraints: 23393
866.96/869.30 c #Conflicts: 647000 | #Constraints: 24393
866.96/869.30 c #Conflicts: 648000 | #Constraints: 25393
866.96/869.30 c #Conflicts: 649000 | #Constraints: 26393
866.96/869.30 c #Conflicts: 650000 | #Constraints: 27393
866.96/869.30 c #Conflicts: 651000 | #Constraints: 28393
866.96/869.30 c #Conflicts: 652000 | #Constraints: 29393
866.96/869.30 c #Conflicts: 653000 | #Constraints: 30393
866.96/869.30 c #Conflicts: 654000 | #Constraints: 31393
866.96/869.30 c #Conflicts: 655000 | #Constraints: 32393
866.96/869.30 c INPROCESSING
866.96/869.30 c GARBAGE COLLECT
866.96/869.30 c #Conflicts: 656000 | #Constraints: 17388
866.96/869.30 c #Conflicts: 657000 | #Constraints: 18388
866.96/869.30 c #Conflicts: 658000 | #Constraints: 19388
866.96/869.30 c #Conflicts: 659000 | #Constraints: 20388
866.96/869.30 c #Conflicts: 660000 | #Constraints: 21388
866.96/869.30 c #Conflicts: 661000 | #Constraints: 22388
866.96/869.30 c #Conflicts: 662000 | #Constraints: 23388
866.96/869.30 c #Conflicts: 663000 | #Constraints: 24388
866.96/869.30 c #Conflicts: 664000 | #Constraints: 25388
866.96/869.30 c #Conflicts: 665000 | #Constraints: 26388
866.96/869.30 c #Conflicts: 666000 | #Constraints: 27388
866.96/869.30 c #Conflicts: 667000 | #Constraints: 28388
866.96/869.30 c #Conflicts: 668000 | #Constraints: 29388
866.96/869.30 c #Conflicts: 669000 | #Constraints: 30388
866.96/869.30 c #Conflicts: 670000 | #Constraints: 31388
866.96/869.30 c #Conflicts: 671000 | #Constraints: 32388
866.96/869.30 c INPROCESSING
866.96/869.30 c GARBAGE COLLECT
866.96/869.30 c #Conflicts: 672000 | #Constraints: 17185
866.96/869.30 c #Conflicts: 673000 | #Constraints: 18185
866.96/869.30 c #Conflicts: 674000 | #Constraints: 19185
866.96/869.30 c #Conflicts: 675000 | #Constraints: 20185
866.96/869.30 c #Conflicts: 676000 | #Constraints: 21185
866.96/869.30 c #Conflicts: 677000 | #Constraints: 22185
866.96/869.30 c #Conflicts: 678000 | #Constraints: 23185
866.96/869.30 c #Conflicts: 679000 | #Constraints: 24185
866.96/869.30 c #Conflicts: 680000 | #Constraints: 25185
866.96/869.30 c #Conflicts: 681000 | #Constraints: 26185
866.96/869.30 c #Conflicts: 682000 | #Constraints: 27185
866.96/869.30 c #Conflicts: 683000 | #Constraints: 28185
866.96/869.30 c #Conflicts: 684000 | #Constraints: 29185
866.96/869.30 c #Conflicts: 685000 | #Constraints: 30185
866.96/869.30 c #Conflicts: 686000 | #Constraints: 31185
866.96/869.30 c #Conflicts: 687000 | #Constraints: 32185
866.96/869.30 c #Conflicts: 688000 | #Constraints: 33185
1037.88/1040.72 c INPROCESSING
1037.88/1040.72 c GARBAGE COLLECT
1037.88/1040.72 c #Conflicts: 689000 | #Constraints: 17781
1037.88/1040.72 c #Conflicts: 690000 | #Constraints: 18781
1037.88/1040.72 c #Conflicts: 691000 | #Constraints: 19781
1037.88/1040.72 c #Conflicts: 692000 | #Constraints: 20781
1037.88/1040.72 c #Conflicts: 693000 | #Constraints: 21781
1037.88/1040.72 c #Conflicts: 694000 | #Constraints: 22781
1037.88/1040.72 c #Conflicts: 695000 | #Constraints: 23781
1037.88/1040.72 c #Conflicts: 696000 | #Constraints: 24781
1037.88/1040.72 c #Conflicts: 697000 | #Constraints: 25781
1037.88/1040.72 c #Conflicts: 698000 | #Constraints: 26781
1037.88/1040.72 c #Conflicts: 699000 | #Constraints: 27781
1037.88/1040.72 c #Conflicts: 700000 | #Constraints: 28781
1037.88/1040.72 c #Conflicts: 701000 | #Constraints: 29781
1037.88/1040.72 c #Conflicts: 702000 | #Constraints: 30781
1037.88/1040.72 c #Conflicts: 703000 | #Constraints: 31781
1037.88/1040.72 c #Conflicts: 704000 | #Constraints: 32781
1037.88/1040.72 c #Conflicts: 705000 | #Constraints: 33781
1037.88/1040.72 c INPROCESSING
1037.88/1040.72 c GARBAGE COLLECT
1037.88/1040.72 c #Conflicts: 706000 | #Constraints: 18188
1037.88/1040.72 c #Conflicts: 707000 | #Constraints: 19188
1037.88/1040.72 c #Conflicts: 708000 | #Constraints: 20188
1037.88/1040.72 c #Conflicts: 709000 | #Constraints: 21188
1037.88/1040.72 c #Conflicts: 710000 | #Constraints: 22188
1037.88/1040.72 c #Conflicts: 711000 | #Constraints: 23188
1037.88/1040.72 c #Conflicts: 712000 | #Constraints: 24188
1037.88/1040.72 c #Conflicts: 713000 | #Constraints: 25188
1037.88/1040.72 c #Conflicts: 714000 | #Constraints: 26188
1037.88/1040.72 c #Conflicts: 715000 | #Constraints: 27188
1037.88/1040.72 c #Conflicts: 716000 | #Constraints: 28188
1037.88/1040.72 c #Conflicts: 717000 | #Constraints: 29188
1037.88/1040.72 c #Conflicts: 718000 | #Constraints: 30188
1037.88/1040.72 c #Conflicts: 719000 | #Constraints: 31188
1037.88/1040.72 c #Conflicts: 720000 | #Constraints: 32188
1037.88/1040.72 c #Conflicts: 721000 | #Constraints: 33188
1037.88/1040.72 c #Conflicts: 722000 | #Constraints: 34188
1037.88/1040.72 c INPROCESSING
1037.88/1040.72 c GARBAGE COLLECT
1037.88/1040.72 c #Conflicts: 723000 | #Constraints: 18397
1037.88/1040.72 c #Conflicts: 724000 | #Constraints: 19397
1037.88/1040.72 c #Conflicts: 725000 | #Constraints: 20397
1037.88/1040.72 c #Conflicts: 726000 | #Constraints: 21397
1037.88/1040.72 c #Conflicts: 727000 | #Constraints: 22397
1037.88/1040.72 c #Conflicts: 728000 | #Constraints: 23397
1037.88/1040.72 c #Conflicts: 729000 | #Constraints: 24397
1037.88/1040.72 c #Conflicts: 730000 | #Constraints: 25397
1037.88/1040.72 c #Conflicts: 731000 | #Constraints: 26397
1037.88/1040.72 c #Conflicts: 732000 | #Constraints: 27397
1037.88/1040.72 c #Conflicts: 733000 | #Constraints: 28397
1037.88/1040.72 c #Conflicts: 734000 | #Constraints: 29397
1037.88/1040.72 c #Conflicts: 735000 | #Constraints: 30397
1037.88/1040.72 c #Conflicts: 736000 | #Constraints: 31397
1037.88/1040.72 c #Conflicts: 737000 | #Constraints: 32397
1037.88/1040.72 c #Conflicts: 738000 | #Constraints: 33397
1037.88/1040.72 c #Conflicts: 739000 | #Constraints: 34397
1037.88/1040.72 c INPROCESSING
1037.88/1040.72 c GARBAGE COLLECT
1037.88/1040.72 c #Conflicts: 740000 | #Constraints: 18410
1037.88/1040.72 c #Conflicts: 741000 | #Constraints: 19410
1037.88/1040.72 c #Conflicts: 742000 | #Constraints: 20410
1037.88/1040.72 c #Conflicts: 743000 | #Constraints: 21410
1037.88/1040.72 c #Conflicts: 744000 | #Constraints: 22410
1037.88/1040.72 c #Conflicts: 745000 | #Constraints: 23410
1037.88/1040.72 c #Conflicts: 746000 | #Constraints: 24410
1037.88/1040.72 c #Conflicts: 747000 | #Constraints: 25410
1037.88/1040.72 c #Conflicts: 748000 | #Constraints: 26410
1037.88/1040.72 c #Conflicts: 749000 | #Constraints: 27410
1037.88/1040.72 c #Conflicts: 750000 | #Constraints: 28410
1037.88/1040.72 c #Conflicts: 751000 | #Constraints: 29410
1037.88/1040.72 c #Conflicts: 752000 | #Constraints: 30410
1037.88/1040.72 c #Conflicts: 753000 | #Constraints: 31410
1037.88/1040.72 c #Conflicts: 754000 | #Constraints: 32410
1037.88/1040.72 c #Conflicts: 755000 | #Constraints: 33410
1037.88/1040.72 c #Conflicts: 756000 | #Constraints: 34410
1037.88/1040.72 c INPROCESSING
1037.88/1040.72 c GARBAGE COLLECT
1037.88/1040.72 c #Conflicts: 757000 | #Constraints: 18200
1037.88/1040.72 c #Conflicts: 758000 | #Constraints: 19200
1037.88/1040.72 c #Conflicts: 759000 | #Constraints: 20200
1037.88/1040.72 c #Conflicts: 760000 | #Constraints: 21200
1037.88/1040.72 c #Conflicts: 761000 | #Constraints: 22200
1037.88/1040.72 c #Conflicts: 762000 | #Constraints: 23200
1037.88/1040.72 c #Conflicts: 763000 | #Constraints: 24200
1037.88/1040.72 c #Conflicts: 764000 | #Constraints: 25200
1183.47/1186.72 c #Conflicts: 765000 | #Constraints: 26200
1183.47/1186.72 c #Conflicts: 766000 | #Constraints: 27200
1183.47/1186.72 c #Conflicts: 767000 | #Constraints: 28200
1183.47/1186.72 c #Conflicts: 768000 | #Constraints: 29200
1183.47/1186.72 c #Conflicts: 769000 | #Constraints: 30200
1183.47/1186.72 c #Conflicts: 770000 | #Constraints: 31200
1183.47/1186.72 c #Conflicts: 771000 | #Constraints: 32200
1183.47/1186.72 c #Conflicts: 772000 | #Constraints: 33200
1183.47/1186.72 c #Conflicts: 773000 | #Constraints: 34200
1183.47/1186.72 c #Conflicts: 774000 | #Constraints: 35200
1183.47/1186.72 c INPROCESSING
1183.47/1186.72 c GARBAGE COLLECT
1183.47/1186.72 c #Conflicts: 775000 | #Constraints: 18790
1183.47/1186.72 c #Conflicts: 776000 | #Constraints: 19790
1183.47/1186.72 c #Conflicts: 777000 | #Constraints: 20790
1183.47/1186.72 c #Conflicts: 778000 | #Constraints: 21790
1183.47/1186.72 c #Conflicts: 779000 | #Constraints: 22790
1183.47/1186.72 c #Conflicts: 780000 | #Constraints: 23790
1183.47/1186.72 c #Conflicts: 781000 | #Constraints: 24790
1183.47/1186.72 c #Conflicts: 782000 | #Constraints: 25790
1183.47/1186.72 c #Conflicts: 783000 | #Constraints: 26790
1183.47/1186.72 c #Conflicts: 784000 | #Constraints: 27790
1183.47/1186.72 c #Conflicts: 785000 | #Constraints: 28790
1183.47/1186.72 c #Conflicts: 786000 | #Constraints: 29790
1183.47/1186.72 c #Conflicts: 787000 | #Constraints: 30790
1183.47/1186.72 c #Conflicts: 788000 | #Constraints: 31790
1183.47/1186.72 c #Conflicts: 789000 | #Constraints: 32790
1183.47/1186.72 c #Conflicts: 790000 | #Constraints: 33790
1183.47/1186.72 c #Conflicts: 791000 | #Constraints: 34790
1183.47/1186.72 c #Conflicts: 792000 | #Constraints: 35790
1183.47/1186.72 c INPROCESSING
1183.47/1186.72 c GARBAGE COLLECT
1183.47/1186.72 c #Conflicts: 793000 | #Constraints: 19188
1183.47/1186.72 c #Conflicts: 794000 | #Constraints: 20188
1183.47/1186.72 c #Conflicts: 795000 | #Constraints: 21188
1183.47/1186.72 c #Conflicts: 796000 | #Constraints: 22188
1183.47/1186.72 c #Conflicts: 797000 | #Constraints: 23188
1183.47/1186.72 c #Conflicts: 798000 | #Constraints: 24188
1183.47/1186.72 c #Conflicts: 799000 | #Constraints: 25188
1183.47/1186.72 c #Conflicts: 800000 | #Constraints: 26188
1183.47/1186.72 c #Conflicts: 801000 | #Constraints: 27188
1183.47/1186.72 c #Conflicts: 802000 | #Constraints: 28188
1183.47/1186.72 c #Conflicts: 803000 | #Constraints: 29188
1183.47/1186.72 c #Conflicts: 804000 | #Constraints: 30188
1183.47/1186.72 c #Conflicts: 805000 | #Constraints: 31188
1183.47/1186.72 c #Conflicts: 806000 | #Constraints: 32188
1183.47/1186.72 c #Conflicts: 807000 | #Constraints: 33188
1183.47/1186.72 c #Conflicts: 808000 | #Constraints: 34188
1183.47/1186.72 c #Conflicts: 809000 | #Constraints: 35188
1183.47/1186.72 c #Conflicts: 810000 | #Constraints: 36188
1183.47/1186.72 c INPROCESSING
1183.47/1186.72 c GARBAGE COLLECT
1183.47/1186.72 c #Conflicts: 811000 | #Constraints: 19393
1183.47/1186.72 c #Conflicts: 812000 | #Constraints: 20393
1183.47/1186.72 c #Conflicts: 813000 | #Constraints: 21393
1183.47/1186.72 c #Conflicts: 814000 | #Constraints: 22393
1183.47/1186.72 c #Conflicts: 815000 | #Constraints: 23393
1183.47/1186.72 c #Conflicts: 816000 | #Constraints: 24393
1183.47/1186.72 c #Conflicts: 817000 | #Constraints: 25393
1183.47/1186.72 c #Conflicts: 818000 | #Constraints: 26393
1183.47/1186.72 c #Conflicts: 819000 | #Constraints: 27393
1183.47/1186.72 c #Conflicts: 820000 | #Constraints: 28393
1183.47/1186.72 c #Conflicts: 821000 | #Constraints: 29393
1183.47/1186.72 c #Conflicts: 822000 | #Constraints: 30393
1183.47/1186.72 c #Conflicts: 823000 | #Constraints: 31393
1183.47/1186.72 c #Conflicts: 824000 | #Constraints: 32393
1183.47/1186.72 c #Conflicts: 825000 | #Constraints: 33393
1183.47/1186.72 c #Conflicts: 826000 | #Constraints: 34393
1183.47/1186.72 c #Conflicts: 827000 | #Constraints: 35393
1183.47/1186.72 c #Conflicts: 828000 | #Constraints: 36393
1183.47/1186.72 c INPROCESSING
1183.47/1186.72 c GARBAGE COLLECT
1183.47/1186.72 c #Conflicts: 829000 | #Constraints: 19388
1183.47/1186.72 c #Conflicts: 830000 | #Constraints: 20388
1183.47/1186.72 c #Conflicts: 831000 | #Constraints: 21388
1183.47/1186.72 c #Conflicts: 832000 | #Constraints: 22388
1183.47/1186.72 c #Conflicts: 833000 | #Constraints: 23388
1183.47/1186.72 c #Conflicts: 834000 | #Constraints: 24388
1183.47/1186.72 c #Conflicts: 835000 | #Constraints: 25388
1183.47/1186.72 c #Conflicts: 836000 | #Constraints: 26388
1183.47/1186.72 c #Conflicts: 837000 | #Constraints: 27388
1183.47/1186.72 c #Conflicts: 838000 | #Constraints: 28388
1183.47/1186.72 c #Conflicts: 839000 | #Constraints: 29388
1183.47/1186.72 c #Conflicts: 840000 | #Constraints: 30388
1209.70/1213.00 c #Conflicts: 841000 | #Constraints: 31388
1209.70/1213.00 c #Conflicts: 842000 | #Constraints: 32388
1209.70/1213.00 c #Conflicts: 843000 | #Constraints: 33388
1209.70/1213.00 c #Conflicts: 844000 | #Constraints: 34388
1209.70/1213.00 c #Conflicts: 845000 | #Constraints: 35388
1209.70/1213.00 c #Conflicts: 846000 | #Constraints: 36388
1209.70/1213.00 c INPROCESSING
1209.70/1213.00 c GARBAGE COLLECT
1209.70/1213.00 c #Conflicts: 847000 | #Constraints: 19188
1209.70/1213.00 c #Conflicts: 848000 | #Constraints: 20188
1209.70/1213.00 c #Conflicts: 849000 | #Constraints: 21188
1209.70/1213.00 c #Conflicts: 850000 | #Constraints: 22188
1209.70/1213.00 c bounds 483778 >= 0 @ 1190.33
1209.70/1213.00 c stratification level: 83735
1354.79/1358.57 c #Conflicts: 851000 | #Constraints: 23189
1354.79/1358.57 c #Conflicts: 852000 | #Constraints: 24189
1354.79/1358.57 c #Conflicts: 853000 | #Constraints: 25189
1354.79/1358.57 c #Conflicts: 854000 | #Constraints: 26189
1354.79/1358.57 c #Conflicts: 855000 | #Constraints: 27189
1354.79/1358.57 c #Conflicts: 856000 | #Constraints: 28189
1354.79/1358.57 c #Conflicts: 857000 | #Constraints: 29189
1354.79/1358.57 c #Conflicts: 858000 | #Constraints: 30189
1354.79/1358.57 c #Conflicts: 859000 | #Constraints: 31189
1354.79/1358.57 c #Conflicts: 860000 | #Constraints: 32189
1354.79/1358.57 c #Conflicts: 861000 | #Constraints: 33189
1354.79/1358.57 c #Conflicts: 862000 | #Constraints: 34189
1354.79/1358.57 c #Conflicts: 863000 | #Constraints: 35189
1354.79/1358.57 c #Conflicts: 864000 | #Constraints: 36189
1354.79/1358.57 c #Conflicts: 865000 | #Constraints: 37189
1354.79/1358.57 c INPROCESSING
1354.79/1358.57 c GARBAGE COLLECT
1354.79/1358.57 c #Conflicts: 866000 | #Constraints: 19790
1354.79/1358.57 c #Conflicts: 867000 | #Constraints: 20790
1354.79/1358.57 c #Conflicts: 868000 | #Constraints: 21790
1354.79/1358.57 c #Conflicts: 869000 | #Constraints: 22790
1354.79/1358.57 c #Conflicts: 870000 | #Constraints: 23790
1354.79/1358.57 c #Conflicts: 871000 | #Constraints: 24790
1354.79/1358.57 c #Conflicts: 872000 | #Constraints: 25790
1354.79/1358.57 c #Conflicts: 873000 | #Constraints: 26790
1354.79/1358.57 c #Conflicts: 874000 | #Constraints: 27790
1354.79/1358.57 c #Conflicts: 875000 | #Constraints: 28790
1354.79/1358.57 c #Conflicts: 876000 | #Constraints: 29790
1354.79/1358.57 c #Conflicts: 877000 | #Constraints: 30790
1354.79/1358.57 c #Conflicts: 878000 | #Constraints: 31790
1354.79/1358.57 c #Conflicts: 879000 | #Constraints: 32790
1354.79/1358.57 c #Conflicts: 880000 | #Constraints: 33790
1354.79/1358.57 c #Conflicts: 881000 | #Constraints: 34790
1354.79/1358.57 c #Conflicts: 882000 | #Constraints: 35790
1354.79/1358.57 c #Conflicts: 883000 | #Constraints: 36790
1354.79/1358.57 c #Conflicts: 884000 | #Constraints: 37790
1354.79/1358.57 c INPROCESSING
1354.79/1358.57 c GARBAGE COLLECT
1354.79/1358.57 c #Conflicts: 885000 | #Constraints: 20198
1354.79/1358.57 c #Conflicts: 886000 | #Constraints: 21198
1354.79/1358.57 c #Conflicts: 887000 | #Constraints: 22198
1354.79/1358.57 c #Conflicts: 888000 | #Constraints: 23198
1354.79/1358.57 c #Conflicts: 889000 | #Constraints: 24198
1354.79/1358.57 c #Conflicts: 890000 | #Constraints: 25198
1354.79/1358.57 c #Conflicts: 891000 | #Constraints: 26198
1354.79/1358.57 c #Conflicts: 892000 | #Constraints: 27198
1354.79/1358.57 c #Conflicts: 893000 | #Constraints: 28198
1354.79/1358.57 c #Conflicts: 894000 | #Constraints: 29198
1354.79/1358.57 c #Conflicts: 895000 | #Constraints: 30198
1354.79/1358.57 c #Conflicts: 896000 | #Constraints: 31198
1354.79/1358.57 c #Conflicts: 897000 | #Constraints: 32198
1354.79/1358.57 c #Conflicts: 898000 | #Constraints: 33198
1354.79/1358.57 c #Conflicts: 899000 | #Constraints: 34198
1354.79/1358.57 c #Conflicts: 900000 | #Constraints: 35198
1354.79/1358.57 c #Conflicts: 901000 | #Constraints: 36198
1354.79/1358.57 c #Conflicts: 902000 | #Constraints: 37198
1354.79/1358.57 c #Conflicts: 903000 | #Constraints: 38198
1354.79/1358.57 c INPROCESSING
1354.79/1358.57 c GARBAGE COLLECT
1354.79/1358.57 c #Conflicts: 904000 | #Constraints: 20399
1354.79/1358.57 c #Conflicts: 905000 | #Constraints: 21399
1354.79/1358.57 c #Conflicts: 906000 | #Constraints: 22399
1354.79/1358.57 c #Conflicts: 907000 | #Constraints: 23399
1354.79/1358.57 c #Conflicts: 908000 | #Constraints: 24399
1354.79/1358.57 c #Conflicts: 909000 | #Constraints: 25399
1354.79/1358.57 c #Conflicts: 910000 | #Constraints: 26399
1354.79/1358.57 c #Conflicts: 911000 | #Constraints: 27399
1354.79/1358.57 c #Conflicts: 912000 | #Constraints: 28399
1354.79/1358.57 c #Conflicts: 913000 | #Constraints: 29399
1354.79/1358.57 c #Conflicts: 914000 | #Constraints: 30399
1354.79/1358.57 c #Conflicts: 915000 | #Constraints: 31399
1354.79/1358.57 c #Conflicts: 916000 | #Constraints: 32399
1354.79/1358.57 c #Conflicts: 917000 | #Constraints: 33399
1354.79/1358.57 c #Conflicts: 918000 | #Constraints: 34399
1354.79/1358.57 c #Conflicts: 919000 | #Constraints: 35399
1354.79/1358.57 c #Conflicts: 920000 | #Constraints: 36399
1354.79/1358.57 c #Conflicts: 921000 | #Constraints: 37399
1354.79/1358.57 c #Conflicts: 922000 | #Constraints: 38399
1354.79/1358.57 c INPROCESSING
1354.79/1358.57 c GARBAGE COLLECT
1354.79/1358.57 c #Conflicts: 923000 | #Constraints: 20390
1354.79/1358.57 c #Conflicts: 924000 | #Constraints: 21390
1354.79/1358.57 c #Conflicts: 925000 | #Constraints: 22390
1354.79/1358.57 c #Conflicts: 926000 | #Constraints: 23390
1354.79/1358.57 c #Conflicts: 927000 | #Constraints: 24390
1373.74/1377.55 c #Conflicts: 928000 | #Constraints: 25390
1373.74/1377.55 c #Conflicts: 929000 | #Constraints: 26390
1373.74/1377.55 c #Conflicts: 930000 | #Constraints: 27390
1373.74/1377.55 c #Conflicts: 931000 | #Constraints: 28390
1373.74/1377.55 c #Conflicts: 932000 | #Constraints: 29390
1373.74/1377.55 c #Conflicts: 933000 | #Constraints: 30390
1373.74/1377.55 c #Conflicts: 934000 | #Constraints: 31390
1373.74/1377.55 c #Conflicts: 935000 | #Constraints: 32390
1373.74/1377.55 c #Conflicts: 936000 | #Constraints: 33390
1373.74/1377.55 c #Conflicts: 937000 | #Constraints: 34390
1373.74/1377.55 c #Conflicts: 938000 | #Constraints: 35390
1373.74/1377.55 c bounds 475992 >= 0 @ 1351.96
1373.74/1377.55 c stratification level: 83675
1513.74/1517.94 c #Conflicts: 939000 | #Constraints: 36391
1513.74/1517.94 c #Conflicts: 940000 | #Constraints: 37391
1513.74/1517.94 c #Conflicts: 941000 | #Constraints: 38391
1513.74/1517.94 c INPROCESSING
1513.74/1517.94 c GARBAGE COLLECT
1513.74/1517.94 c #Conflicts: 942000 | #Constraints: 20191
1513.74/1517.94 c #Conflicts: 943000 | #Constraints: 21191
1513.74/1517.94 c #Conflicts: 944000 | #Constraints: 22191
1513.74/1517.94 c #Conflicts: 945000 | #Constraints: 23191
1513.74/1517.94 c #Conflicts: 946000 | #Constraints: 24191
1513.74/1517.94 c #Conflicts: 947000 | #Constraints: 25191
1513.74/1517.94 c #Conflicts: 948000 | #Constraints: 26191
1513.74/1517.94 c #Conflicts: 949000 | #Constraints: 27191
1513.74/1517.94 c #Conflicts: 950000 | #Constraints: 28191
1513.74/1517.94 c #Conflicts: 951000 | #Constraints: 29191
1513.74/1517.94 c #Conflicts: 952000 | #Constraints: 30191
1513.74/1517.94 c #Conflicts: 953000 | #Constraints: 31191
1513.74/1517.94 c #Conflicts: 954000 | #Constraints: 32191
1513.74/1517.94 c #Conflicts: 955000 | #Constraints: 33191
1513.74/1517.94 c #Conflicts: 956000 | #Constraints: 34191
1513.74/1517.94 c #Conflicts: 957000 | #Constraints: 35191
1513.74/1517.94 c #Conflicts: 958000 | #Constraints: 36191
1513.74/1517.94 c #Conflicts: 959000 | #Constraints: 37191
1513.74/1517.94 c #Conflicts: 960000 | #Constraints: 38191
1513.74/1517.94 c #Conflicts: 961000 | #Constraints: 39191
1513.74/1517.94 c INPROCESSING
1513.74/1517.94 c GARBAGE COLLECT
1513.74/1517.94 c #Conflicts: 962000 | #Constraints: 20789
1513.74/1517.94 c #Conflicts: 963000 | #Constraints: 21789
1513.74/1517.94 c #Conflicts: 964000 | #Constraints: 22789
1513.74/1517.94 c #Conflicts: 965000 | #Constraints: 23789
1513.74/1517.94 c #Conflicts: 966000 | #Constraints: 24789
1513.74/1517.94 c #Conflicts: 967000 | #Constraints: 25789
1513.74/1517.94 c #Conflicts: 968000 | #Constraints: 26789
1513.74/1517.94 c #Conflicts: 969000 | #Constraints: 27789
1513.74/1517.94 c #Conflicts: 970000 | #Constraints: 28789
1513.74/1517.94 c #Conflicts: 971000 | #Constraints: 29789
1513.74/1517.94 c #Conflicts: 972000 | #Constraints: 30789
1513.74/1517.94 c #Conflicts: 973000 | #Constraints: 31789
1513.74/1517.94 c #Conflicts: 974000 | #Constraints: 32789
1513.74/1517.94 c #Conflicts: 975000 | #Constraints: 33789
1513.74/1517.94 c #Conflicts: 976000 | #Constraints: 34789
1513.74/1517.94 c #Conflicts: 977000 | #Constraints: 35789
1513.74/1517.94 c #Conflicts: 978000 | #Constraints: 36789
1513.74/1517.94 c #Conflicts: 979000 | #Constraints: 37789
1513.74/1517.94 c #Conflicts: 980000 | #Constraints: 38789
1513.74/1517.94 c #Conflicts: 981000 | #Constraints: 39789
1513.74/1517.94 c INPROCESSING
1513.74/1517.94 c GARBAGE COLLECT
1513.74/1517.94 c #Conflicts: 982000 | #Constraints: 21195
1513.74/1517.94 c #Conflicts: 983000 | #Constraints: 22195
1513.74/1517.94 c #Conflicts: 984000 | #Constraints: 23195
1513.74/1517.94 c #Conflicts: 985000 | #Constraints: 24195
1513.74/1517.94 c #Conflicts: 986000 | #Constraints: 25195
1513.74/1517.94 c #Conflicts: 987000 | #Constraints: 26195
1513.74/1517.94 c #Conflicts: 988000 | #Constraints: 27195
1513.74/1517.94 c #Conflicts: 989000 | #Constraints: 28195
1513.74/1517.94 c #Conflicts: 990000 | #Constraints: 29195
1513.74/1517.94 c #Conflicts: 991000 | #Constraints: 30195
1513.74/1517.94 c #Conflicts: 992000 | #Constraints: 31195
1513.74/1517.94 c #Conflicts: 993000 | #Constraints: 32195
1513.74/1517.94 c #Conflicts: 994000 | #Constraints: 33195
1513.74/1517.94 c #Conflicts: 995000 | #Constraints: 34195
1513.74/1517.94 c #Conflicts: 996000 | #Constraints: 35195
1513.74/1517.94 c #Conflicts: 997000 | #Constraints: 36195
1513.74/1517.94 c #Conflicts: 998000 | #Constraints: 37195
1513.74/1517.94 c #Conflicts: 999000 | #Constraints: 38195
1513.74/1517.94 c #Conflicts: 1000000 | #Constraints: 39195
1513.74/1517.94 c #Conflicts: 1001000 | #Constraints: 40195
1513.74/1517.94 c INPROCESSING
1513.74/1517.94 c GARBAGE COLLECT
1513.74/1517.94 c #Conflicts: 1002000 | #Constraints: 21402
1513.74/1517.94 c #Conflicts: 1003000 | #Constraints: 22402
1513.74/1517.94 c #Conflicts: 1004000 | #Constraints: 23402
1513.74/1517.94 c #Conflicts: 1005000 | #Constraints: 24402
1513.74/1517.94 c #Conflicts: 1006000 | #Constraints: 25402
1513.74/1517.94 c #Conflicts: 1007000 | #Constraints: 26402
1513.74/1517.94 c #Conflicts: 1008000 | #Constraints: 27402
1513.74/1517.94 c #Conflicts: 1009000 | #Constraints: 28402
1513.74/1517.94 c #Conflicts: 1010000 | #Constraints: 29402
1513.74/1517.94 c #Conflicts: 1011000 | #Constraints: 30402
1513.74/1517.94 c #Conflicts: 1012000 | #Constraints: 31402
1513.74/1517.94 c #Conflicts: 1013000 | #Constraints: 32402
1513.74/1517.94 c #Conflicts: 1014000 | #Constraints: 33402
1513.74/1517.94 c #Conflicts: 1015000 | #Constraints: 34402
1692.82/1697.56 c #Conflicts: 1016000 | #Constraints: 35402
1692.82/1697.56 c #Conflicts: 1017000 | #Constraints: 36402
1692.82/1697.56 c #Conflicts: 1018000 | #Constraints: 37402
1692.82/1697.56 c #Conflicts: 1019000 | #Constraints: 38402
1692.82/1697.56 c #Conflicts: 1020000 | #Constraints: 39402
1692.82/1697.56 c #Conflicts: 1021000 | #Constraints: 40402
1692.82/1697.56 c INPROCESSING
1692.82/1697.56 c GARBAGE COLLECT
1692.82/1697.56 c #Conflicts: 1022000 | #Constraints: 21402
1692.82/1697.56 c #Conflicts: 1023000 | #Constraints: 22402
1692.82/1697.56 c #Conflicts: 1024000 | #Constraints: 23402
1692.82/1697.56 c #Conflicts: 1025000 | #Constraints: 24402
1692.82/1697.56 c #Conflicts: 1026000 | #Constraints: 25402
1692.82/1697.56 c #Conflicts: 1027000 | #Constraints: 26402
1692.82/1697.56 c #Conflicts: 1028000 | #Constraints: 27402
1692.82/1697.56 c #Conflicts: 1029000 | #Constraints: 28402
1692.82/1697.56 c #Conflicts: 1030000 | #Constraints: 29402
1692.82/1697.56 c #Conflicts: 1031000 | #Constraints: 30402
1692.82/1697.56 c #Conflicts: 1032000 | #Constraints: 31402
1692.82/1697.56 c #Conflicts: 1033000 | #Constraints: 32402
1692.82/1697.56 c #Conflicts: 1034000 | #Constraints: 33402
1692.82/1697.56 c #Conflicts: 1035000 | #Constraints: 34402
1692.82/1697.56 c #Conflicts: 1036000 | #Constraints: 35402
1692.82/1697.56 c #Conflicts: 1037000 | #Constraints: 36402
1692.82/1697.56 c #Conflicts: 1038000 | #Constraints: 37402
1692.82/1697.56 c #Conflicts: 1039000 | #Constraints: 38402
1692.82/1697.56 c #Conflicts: 1040000 | #Constraints: 39402
1692.82/1697.56 c #Conflicts: 1041000 | #Constraints: 40402
1692.82/1697.56 c INPROCESSING
1692.82/1697.56 c GARBAGE COLLECT
1692.82/1697.56 c #Conflicts: 1042000 | #Constraints: 21194
1692.82/1697.56 c #Conflicts: 1043000 | #Constraints: 22194
1692.82/1697.56 c #Conflicts: 1044000 | #Constraints: 23194
1692.82/1697.56 c #Conflicts: 1045000 | #Constraints: 24194
1692.82/1697.56 c #Conflicts: 1046000 | #Constraints: 25194
1692.82/1697.56 c #Conflicts: 1047000 | #Constraints: 26194
1692.82/1697.56 c #Conflicts: 1048000 | #Constraints: 27194
1692.82/1697.56 c #Conflicts: 1049000 | #Constraints: 28194
1692.82/1697.56 c #Conflicts: 1050000 | #Constraints: 29194
1692.82/1697.56 c #Conflicts: 1051000 | #Constraints: 30194
1692.82/1697.56 c #Conflicts: 1052000 | #Constraints: 31194
1692.82/1697.56 c #Conflicts: 1053000 | #Constraints: 32194
1692.82/1697.56 c #Conflicts: 1054000 | #Constraints: 33194
1692.82/1697.56 c #Conflicts: 1055000 | #Constraints: 34194
1692.82/1697.56 c #Conflicts: 1056000 | #Constraints: 35194
1692.82/1697.56 c #Conflicts: 1057000 | #Constraints: 36194
1692.82/1697.56 c #Conflicts: 1058000 | #Constraints: 37194
1692.82/1697.56 c #Conflicts: 1059000 | #Constraints: 38194
1692.82/1697.56 c #Conflicts: 1060000 | #Constraints: 39194
1692.82/1697.56 c #Conflicts: 1061000 | #Constraints: 40194
1692.82/1697.56 c #Conflicts: 1062000 | #Constraints: 41194
1692.82/1697.56 c INPROCESSING
1692.82/1697.56 c GARBAGE COLLECT
1692.82/1697.56 c #Conflicts: 1063000 | #Constraints: 21808
1692.82/1697.56 c #Conflicts: 1064000 | #Constraints: 22808
1692.82/1697.56 c #Conflicts: 1065000 | #Constraints: 23808
1692.82/1697.56 c #Conflicts: 1066000 | #Constraints: 24808
1692.82/1697.56 c #Conflicts: 1067000 | #Constraints: 25808
1692.82/1697.56 c #Conflicts: 1068000 | #Constraints: 26808
1692.82/1697.56 c #Conflicts: 1069000 | #Constraints: 27808
1692.82/1697.56 c #Conflicts: 1070000 | #Constraints: 28808
1692.82/1697.56 c #Conflicts: 1071000 | #Constraints: 29808
1692.82/1697.56 c #Conflicts: 1072000 | #Constraints: 30808
1692.82/1697.56 c #Conflicts: 1073000 | #Constraints: 31808
1692.82/1697.56 c #Conflicts: 1074000 | #Constraints: 32808
1692.82/1697.56 c #Conflicts: 1075000 | #Constraints: 33808
1692.82/1697.56 c #Conflicts: 1076000 | #Constraints: 34808
1692.82/1697.56 c #Conflicts: 1077000 | #Constraints: 35808
1692.82/1697.56 c #Conflicts: 1078000 | #Constraints: 36808
1692.82/1697.56 c #Conflicts: 1079000 | #Constraints: 37808
1692.82/1697.56 c #Conflicts: 1080000 | #Constraints: 38808
1692.82/1697.56 c #Conflicts: 1081000 | #Constraints: 39808
1692.82/1697.56 c #Conflicts: 1082000 | #Constraints: 40808
1692.82/1697.56 c #Conflicts: 1083000 | #Constraints: 41808
1692.82/1697.56 c INPROCESSING
1692.82/1697.56 c GARBAGE COLLECT
1692.82/1697.56 c #Conflicts: 1084000 | #Constraints: 22194
1692.82/1697.56 c #Conflicts: 1085000 | #Constraints: 23194
1692.82/1697.56 c #Conflicts: 1086000 | #Constraints: 24194
1692.82/1697.56 c #Conflicts: 1087000 | #Constraints: 25194
1692.82/1697.56 c #Conflicts: 1088000 | #Constraints: 26194
1692.82/1697.56 c #Conflicts: 1089000 | #Constraints: 27194
1692.82/1697.56 c #Conflicts: 1090000 | #Constraints: 28194
1692.82/1697.56 c #Conflicts: 1091000 | #Constraints: 29194
1817.84/1823.00 c #Conflicts: 1092000 | #Constraints: 30194
1817.84/1823.00 c #Conflicts: 1093000 | #Constraints: 31194
1817.84/1823.00 c #Conflicts: 1094000 | #Constraints: 32194
1817.84/1823.00 c #Conflicts: 1095000 | #Constraints: 33194
1817.84/1823.00 c #Conflicts: 1096000 | #Constraints: 34194
1817.84/1823.00 c #Conflicts: 1097000 | #Constraints: 35194
1817.84/1823.00 c #Conflicts: 1098000 | #Constraints: 36194
1817.84/1823.00 c #Conflicts: 1099000 | #Constraints: 37194
1817.84/1823.00 c #Conflicts: 1100000 | #Constraints: 38194
1817.84/1823.00 c #Conflicts: 1101000 | #Constraints: 39194
1817.84/1823.00 c #Conflicts: 1102000 | #Constraints: 40194
1817.84/1823.00 c #Conflicts: 1103000 | #Constraints: 41194
1817.84/1823.00 c #Conflicts: 1104000 | #Constraints: 42194
1817.84/1823.00 c INPROCESSING
1817.84/1823.00 c GARBAGE COLLECT
1817.84/1823.00 c #Conflicts: 1105000 | #Constraints: 22412
1817.84/1823.00 c #Conflicts: 1106000 | #Constraints: 23412
1817.84/1823.00 c #Conflicts: 1107000 | #Constraints: 24412
1817.84/1823.00 c #Conflicts: 1108000 | #Constraints: 25412
1817.84/1823.00 c #Conflicts: 1109000 | #Constraints: 26412
1817.84/1823.00 c #Conflicts: 1110000 | #Constraints: 27412
1817.84/1823.00 c #Conflicts: 1111000 | #Constraints: 28412
1817.84/1823.00 c #Conflicts: 1112000 | #Constraints: 29412
1817.84/1823.00 c #Conflicts: 1113000 | #Constraints: 30412
1817.84/1823.00 c #Conflicts: 1114000 | #Constraints: 31412
1817.84/1823.00 c #Conflicts: 1115000 | #Constraints: 32412
1817.84/1823.00 c #Conflicts: 1116000 | #Constraints: 33412
1817.84/1823.00 c #Conflicts: 1117000 | #Constraints: 34412
1817.84/1823.00 c #Conflicts: 1118000 | #Constraints: 35412
1817.84/1823.00 c #Conflicts: 1119000 | #Constraints: 36412
1817.84/1823.00 c bounds 467682 >= 0 @ 1792.11
1817.84/1823.00 c stratification level: 83594
1918.23/1923.67 c #Conflicts: 1120000 | #Constraints: 37413
1918.23/1923.67 c #Conflicts: 1121000 | #Constraints: 38413
1918.23/1923.67 c #Conflicts: 1122000 | #Constraints: 39413
1918.23/1923.67 c #Conflicts: 1123000 | #Constraints: 40413
1918.23/1923.67 c #Conflicts: 1124000 | #Constraints: 41413
1918.23/1923.67 c #Conflicts: 1125000 | #Constraints: 42413
1918.23/1923.67 c INPROCESSING
1918.23/1923.67 c GARBAGE COLLECT
1918.23/1923.67 c #Conflicts: 1126000 | #Constraints: 22406
1918.23/1923.67 c #Conflicts: 1127000 | #Constraints: 23406
1918.23/1923.67 c #Conflicts: 1128000 | #Constraints: 24406
1918.23/1923.67 c #Conflicts: 1129000 | #Constraints: 25406
1918.23/1923.67 c #Conflicts: 1130000 | #Constraints: 26406
1918.23/1923.67 c #Conflicts: 1131000 | #Constraints: 27406
1918.23/1923.67 c #Conflicts: 1132000 | #Constraints: 28406
1918.23/1923.67 c #Conflicts: 1133000 | #Constraints: 29406
1918.23/1923.67 c #Conflicts: 1134000 | #Constraints: 30406
1918.23/1923.67 c #Conflicts: 1135000 | #Constraints: 31406
1918.23/1923.67 c #Conflicts: 1136000 | #Constraints: 32406
1918.23/1923.67 c #Conflicts: 1137000 | #Constraints: 33406
1918.23/1923.67 c #Conflicts: 1138000 | #Constraints: 34406
1918.23/1923.67 c #Conflicts: 1139000 | #Constraints: 35406
1918.23/1923.67 c #Conflicts: 1140000 | #Constraints: 36406
1918.23/1923.67 c #Conflicts: 1141000 | #Constraints: 37406
1918.23/1923.67 c #Conflicts: 1142000 | #Constraints: 38406
1918.23/1923.67 c #Conflicts: 1143000 | #Constraints: 39406
1918.23/1923.67 c #Conflicts: 1144000 | #Constraints: 40406
1918.23/1923.67 c #Conflicts: 1145000 | #Constraints: 41406
1918.23/1923.67 c #Conflicts: 1146000 | #Constraints: 42406
1918.23/1923.67 c INPROCESSING
1918.23/1923.67 c GARBAGE COLLECT
1918.23/1923.67 c #Conflicts: 1147000 | #Constraints: 22195
1918.23/1923.67 c #Conflicts: 1148000 | #Constraints: 23195
1918.23/1923.67 c #Conflicts: 1149000 | #Constraints: 24195
1918.23/1923.67 c #Conflicts: 1150000 | #Constraints: 25195
1918.23/1923.67 c #Conflicts: 1151000 | #Constraints: 26195
1918.23/1923.67 c #Conflicts: 1152000 | #Constraints: 27195
1918.23/1923.67 c #Conflicts: 1153000 | #Constraints: 28195
1918.23/1923.67 c #Conflicts: 1154000 | #Constraints: 29195
1918.23/1923.67 c #Conflicts: 1155000 | #Constraints: 30195
1918.23/1923.67 c #Conflicts: 1156000 | #Constraints: 31195
1918.23/1923.67 c #Conflicts: 1157000 | #Constraints: 32195
1918.23/1923.67 c #Conflicts: 1158000 | #Constraints: 33195
1918.23/1923.67 c #Conflicts: 1159000 | #Constraints: 34195
1918.23/1923.67 c #Conflicts: 1160000 | #Constraints: 35195
1918.23/1923.67 c #Conflicts: 1161000 | #Constraints: 36195
1918.23/1923.67 c #Conflicts: 1162000 | #Constraints: 37195
1918.23/1923.67 c #Conflicts: 1163000 | #Constraints: 38195
1918.23/1923.67 c #Conflicts: 1164000 | #Constraints: 39195
1918.23/1923.67 c #Conflicts: 1165000 | #Constraints: 40195
1918.23/1923.67 c #Conflicts: 1166000 | #Constraints: 41195
1918.23/1923.67 c #Conflicts: 1167000 | #Constraints: 42195
1918.23/1923.67 c #Conflicts: 1168000 | #Constraints: 43195
1918.23/1923.67 c INPROCESSING
1918.23/1923.67 c GARBAGE COLLECT
1918.23/1923.67 c bounds 457916 >= 0 @ 1891.28
1918.23/1923.67 c stratification level: 82909
2002.88/2008.52 c #Conflicts: 1169000 | #Constraints: 22801
2002.88/2008.52 c #Conflicts: 1170000 | #Constraints: 23801
2002.88/2008.52 c #Conflicts: 1171000 | #Constraints: 24801
2002.88/2008.52 c #Conflicts: 1172000 | #Constraints: 25801
2002.88/2008.52 c #Conflicts: 1173000 | #Constraints: 26801
2002.88/2008.52 c #Conflicts: 1174000 | #Constraints: 27801
2002.88/2008.52 c #Conflicts: 1175000 | #Constraints: 28801
2002.88/2008.52 c #Conflicts: 1176000 | #Constraints: 29801
2002.88/2008.52 c #Conflicts: 1177000 | #Constraints: 30801
2002.88/2008.52 c #Conflicts: 1178000 | #Constraints: 31801
2002.88/2008.52 c #Conflicts: 1179000 | #Constraints: 32801
2002.88/2008.52 c #Conflicts: 1180000 | #Constraints: 33801
2002.88/2008.52 c #Conflicts: 1181000 | #Constraints: 34801
2002.88/2008.52 c #Conflicts: 1182000 | #Constraints: 35801
2002.88/2008.52 c #Conflicts: 1183000 | #Constraints: 36801
2002.88/2008.52 c #Conflicts: 1184000 | #Constraints: 37801
2002.88/2008.52 c #Conflicts: 1185000 | #Constraints: 38801
2002.88/2008.52 c #Conflicts: 1186000 | #Constraints: 39801
2002.88/2008.52 c #Conflicts: 1187000 | #Constraints: 40801
2002.88/2008.52 c #Conflicts: 1188000 | #Constraints: 41801
2002.88/2008.52 c #Conflicts: 1189000 | #Constraints: 42801
2002.88/2008.52 c #Conflicts: 1190000 | #Constraints: 43801
2002.88/2008.52 c INPROCESSING
2002.88/2008.52 c GARBAGE COLLECT
2002.88/2008.52 c #Conflicts: 1191000 | #Constraints: 23193
2002.88/2008.52 c #Conflicts: 1192000 | #Constraints: 24193
2002.88/2008.52 c #Conflicts: 1193000 | #Constraints: 25193
2002.88/2008.52 c #Conflicts: 1194000 | #Constraints: 26193
2002.88/2008.52 c #Conflicts: 1195000 | #Constraints: 27193
2002.88/2008.52 c bounds 453956 >= 0 @ 1975.01
2002.88/2008.52 c stratification level: 81076
2204.57/2210.84 c #Conflicts: 1196000 | #Constraints: 28194
2204.57/2210.84 c #Conflicts: 1197000 | #Constraints: 29194
2204.57/2210.84 c #Conflicts: 1198000 | #Constraints: 30194
2204.57/2210.84 c #Conflicts: 1199000 | #Constraints: 31194
2204.57/2210.84 c #Conflicts: 1200000 | #Constraints: 32194
2204.57/2210.84 c #Conflicts: 1201000 | #Constraints: 33194
2204.57/2210.84 c #Conflicts: 1202000 | #Constraints: 34194
2204.57/2210.84 c #Conflicts: 1203000 | #Constraints: 35194
2204.57/2210.84 c #Conflicts: 1204000 | #Constraints: 36194
2204.57/2210.84 c #Conflicts: 1205000 | #Constraints: 37194
2204.57/2210.84 c #Conflicts: 1206000 | #Constraints: 38194
2204.57/2210.84 c #Conflicts: 1207000 | #Constraints: 39194
2204.57/2210.84 c #Conflicts: 1208000 | #Constraints: 40194
2204.57/2210.84 c #Conflicts: 1209000 | #Constraints: 41194
2204.57/2210.84 c #Conflicts: 1210000 | #Constraints: 42194
2204.57/2210.84 c #Conflicts: 1211000 | #Constraints: 43194
2204.57/2210.84 c #Conflicts: 1212000 | #Constraints: 44194
2204.57/2210.84 c INPROCESSING
2204.57/2210.84 c GARBAGE COLLECT
2204.57/2210.84 c #Conflicts: 1213000 | #Constraints: 23398
2204.57/2210.84 c #Conflicts: 1214000 | #Constraints: 24398
2204.57/2210.84 c #Conflicts: 1215000 | #Constraints: 25398
2204.57/2210.84 c #Conflicts: 1216000 | #Constraints: 26398
2204.57/2210.84 c #Conflicts: 1217000 | #Constraints: 27398
2204.57/2210.84 c #Conflicts: 1218000 | #Constraints: 28398
2204.57/2210.84 c #Conflicts: 1219000 | #Constraints: 29398
2204.57/2210.84 c #Conflicts: 1220000 | #Constraints: 30398
2204.57/2210.84 c #Conflicts: 1221000 | #Constraints: 31398
2204.57/2210.84 c #Conflicts: 1222000 | #Constraints: 32398
2204.57/2210.84 c #Conflicts: 1223000 | #Constraints: 33398
2204.57/2210.84 c #Conflicts: 1224000 | #Constraints: 34398
2204.57/2210.84 c #Conflicts: 1225000 | #Constraints: 35398
2204.57/2210.84 c #Conflicts: 1226000 | #Constraints: 36398
2204.57/2210.84 c #Conflicts: 1227000 | #Constraints: 37398
2204.57/2210.84 c #Conflicts: 1228000 | #Constraints: 38398
2204.57/2210.84 c #Conflicts: 1229000 | #Constraints: 39398
2204.57/2210.84 c #Conflicts: 1230000 | #Constraints: 40398
2204.57/2210.84 c #Conflicts: 1231000 | #Constraints: 41398
2204.57/2210.84 c #Conflicts: 1232000 | #Constraints: 42398
2204.57/2210.84 c #Conflicts: 1233000 | #Constraints: 43398
2204.57/2210.84 c #Conflicts: 1234000 | #Constraints: 44398
2204.57/2210.84 c INPROCESSING
2204.57/2210.84 c GARBAGE COLLECT
2204.57/2210.84 c #Conflicts: 1235000 | #Constraints: 23396
2204.57/2210.84 c #Conflicts: 1236000 | #Constraints: 24396
2204.57/2210.84 c #Conflicts: 1237000 | #Constraints: 25396
2204.57/2210.84 c #Conflicts: 1238000 | #Constraints: 26396
2204.57/2210.84 c #Conflicts: 1239000 | #Constraints: 27396
2204.57/2210.84 c #Conflicts: 1240000 | #Constraints: 28396
2204.57/2210.84 c #Conflicts: 1241000 | #Constraints: 29396
2204.57/2210.84 c #Conflicts: 1242000 | #Constraints: 30396
2204.57/2210.84 c #Conflicts: 1243000 | #Constraints: 31396
2204.57/2210.84 c #Conflicts: 1244000 | #Constraints: 32396
2204.57/2210.84 c #Conflicts: 1245000 | #Constraints: 33396
2204.57/2210.84 c #Conflicts: 1246000 | #Constraints: 34396
2204.57/2210.84 c #Conflicts: 1247000 | #Constraints: 35396
2204.57/2210.84 c #Conflicts: 1248000 | #Constraints: 36396
2204.57/2210.84 c #Conflicts: 1249000 | #Constraints: 37396
2204.57/2210.84 c #Conflicts: 1250000 | #Constraints: 38396
2204.57/2210.84 c #Conflicts: 1251000 | #Constraints: 39396
2204.57/2210.84 c #Conflicts: 1252000 | #Constraints: 40396
2204.57/2210.84 c #Conflicts: 1253000 | #Constraints: 41396
2204.57/2210.84 c #Conflicts: 1254000 | #Constraints: 42396
2204.57/2210.84 c #Conflicts: 1255000 | #Constraints: 43396
2204.57/2210.84 c #Conflicts: 1256000 | #Constraints: 44396
2204.57/2210.84 c INPROCESSING
2204.57/2210.84 c GARBAGE COLLECT
2204.57/2210.84 c #Conflicts: 1257000 | #Constraints: 23192
2204.57/2210.84 c #Conflicts: 1258000 | #Constraints: 24192
2204.57/2210.84 c #Conflicts: 1259000 | #Constraints: 25192
2204.57/2210.84 c #Conflicts: 1260000 | #Constraints: 26192
2204.57/2210.84 c #Conflicts: 1261000 | #Constraints: 27192
2204.57/2210.84 c #Conflicts: 1262000 | #Constraints: 28192
2204.57/2210.84 c #Conflicts: 1263000 | #Constraints: 29192
2204.57/2210.84 c #Conflicts: 1264000 | #Constraints: 30192
2204.57/2210.84 c #Conflicts: 1265000 | #Constraints: 31192
2204.57/2210.84 c #Conflicts: 1266000 | #Constraints: 32192
2204.57/2210.84 c #Conflicts: 1267000 | #Constraints: 33192
2204.57/2210.84 c #Conflicts: 1268000 | #Constraints: 34192
2204.57/2210.84 c #Conflicts: 1269000 | #Constraints: 35192
2204.57/2210.84 c #Conflicts: 1270000 | #Constraints: 36192
2204.57/2210.84 c #Conflicts: 1271000 | #Constraints: 37192
2204.57/2210.84 c #Conflicts: 1272000 | #Constraints: 38192
2375.46/2382.29 c #Conflicts: 1273000 | #Constraints: 39192
2375.46/2382.29 c #Conflicts: 1274000 | #Constraints: 40192
2375.46/2382.29 c #Conflicts: 1275000 | #Constraints: 41192
2375.46/2382.29 c #Conflicts: 1276000 | #Constraints: 42192
2375.46/2382.29 c #Conflicts: 1277000 | #Constraints: 43192
2375.46/2382.29 c #Conflicts: 1278000 | #Constraints: 44192
2375.46/2382.29 c #Conflicts: 1279000 | #Constraints: 45192
2375.46/2382.29 c INPROCESSING
2375.46/2382.29 c GARBAGE COLLECT
2375.46/2382.29 c #Conflicts: 1280000 | #Constraints: 23793
2375.46/2382.29 c #Conflicts: 1281000 | #Constraints: 24793
2375.46/2382.29 c #Conflicts: 1282000 | #Constraints: 25793
2375.46/2382.29 c #Conflicts: 1283000 | #Constraints: 26793
2375.46/2382.29 c #Conflicts: 1284000 | #Constraints: 27793
2375.46/2382.29 c #Conflicts: 1285000 | #Constraints: 28793
2375.46/2382.29 c #Conflicts: 1286000 | #Constraints: 29793
2375.46/2382.29 c #Conflicts: 1287000 | #Constraints: 30793
2375.46/2382.29 c #Conflicts: 1288000 | #Constraints: 31793
2375.46/2382.29 c #Conflicts: 1289000 | #Constraints: 32793
2375.46/2382.29 c #Conflicts: 1290000 | #Constraints: 33793
2375.46/2382.29 c #Conflicts: 1291000 | #Constraints: 34793
2375.46/2382.29 c #Conflicts: 1292000 | #Constraints: 35793
2375.46/2382.29 c #Conflicts: 1293000 | #Constraints: 36793
2375.46/2382.29 c #Conflicts: 1294000 | #Constraints: 37793
2375.46/2382.29 c #Conflicts: 1295000 | #Constraints: 38793
2375.46/2382.29 c #Conflicts: 1296000 | #Constraints: 39793
2375.46/2382.29 c #Conflicts: 1297000 | #Constraints: 40793
2375.46/2382.29 c #Conflicts: 1298000 | #Constraints: 41793
2375.46/2382.29 c #Conflicts: 1299000 | #Constraints: 42793
2375.46/2382.29 c #Conflicts: 1300000 | #Constraints: 43793
2375.46/2382.29 c #Conflicts: 1301000 | #Constraints: 44793
2375.46/2382.29 c #Conflicts: 1302000 | #Constraints: 45793
2375.46/2382.29 c INPROCESSING
2375.46/2382.29 c GARBAGE COLLECT
2375.46/2382.29 c #Conflicts: 1303000 | #Constraints: 24189
2375.46/2382.29 c #Conflicts: 1304000 | #Constraints: 25189
2375.46/2382.29 c #Conflicts: 1305000 | #Constraints: 26189
2375.46/2382.29 c #Conflicts: 1306000 | #Constraints: 27189
2375.46/2382.29 c #Conflicts: 1307000 | #Constraints: 28189
2375.46/2382.29 c #Conflicts: 1308000 | #Constraints: 29189
2375.46/2382.29 c #Conflicts: 1309000 | #Constraints: 30189
2375.46/2382.29 c #Conflicts: 1310000 | #Constraints: 31189
2375.46/2382.29 c #Conflicts: 1311000 | #Constraints: 32189
2375.46/2382.29 c #Conflicts: 1312000 | #Constraints: 33189
2375.46/2382.29 c #Conflicts: 1313000 | #Constraints: 34189
2375.46/2382.29 c #Conflicts: 1314000 | #Constraints: 35189
2375.46/2382.29 c #Conflicts: 1315000 | #Constraints: 36189
2375.46/2382.29 c #Conflicts: 1316000 | #Constraints: 37189
2375.46/2382.29 c #Conflicts: 1317000 | #Constraints: 38189
2375.46/2382.29 c #Conflicts: 1318000 | #Constraints: 39189
2375.46/2382.29 c #Conflicts: 1319000 | #Constraints: 40189
2375.46/2382.29 c #Conflicts: 1320000 | #Constraints: 41189
2375.46/2382.29 c #Conflicts: 1321000 | #Constraints: 42189
2375.46/2382.29 c #Conflicts: 1322000 | #Constraints: 43189
2375.46/2382.29 c #Conflicts: 1323000 | #Constraints: 44189
2375.46/2382.29 c #Conflicts: 1324000 | #Constraints: 45189
2375.46/2382.29 c #Conflicts: 1325000 | #Constraints: 46189
2375.46/2382.29 c INPROCESSING
2375.46/2382.29 c GARBAGE COLLECT
2375.46/2382.29 c #Conflicts: 1326000 | #Constraints: 24398
2375.46/2382.29 c #Conflicts: 1327000 | #Constraints: 25398
2375.46/2382.29 c #Conflicts: 1328000 | #Constraints: 26398
2375.46/2382.29 c #Conflicts: 1329000 | #Constraints: 27398
2375.46/2382.29 c #Conflicts: 1330000 | #Constraints: 28398
2375.46/2382.29 c #Conflicts: 1331000 | #Constraints: 29398
2375.46/2382.29 c #Conflicts: 1332000 | #Constraints: 30398
2375.46/2382.29 c #Conflicts: 1333000 | #Constraints: 31398
2375.46/2382.29 c #Conflicts: 1334000 | #Constraints: 32398
2375.46/2382.29 c #Conflicts: 1335000 | #Constraints: 33398
2375.46/2382.29 c #Conflicts: 1336000 | #Constraints: 34398
2375.46/2382.29 c #Conflicts: 1337000 | #Constraints: 35398
2375.46/2382.29 c #Conflicts: 1338000 | #Constraints: 36398
2375.46/2382.29 c #Conflicts: 1339000 | #Constraints: 37398
2375.46/2382.29 c #Conflicts: 1340000 | #Constraints: 38398
2375.46/2382.29 c #Conflicts: 1341000 | #Constraints: 39398
2375.46/2382.29 c #Conflicts: 1342000 | #Constraints: 40398
2375.46/2382.29 c #Conflicts: 1343000 | #Constraints: 41398
2375.46/2382.29 c #Conflicts: 1344000 | #Constraints: 42398
2375.46/2382.29 c #Conflicts: 1345000 | #Constraints: 43398
2375.46/2382.29 c #Conflicts: 1346000 | #Constraints: 44398
2375.46/2382.29 c #Conflicts: 1347000 | #Constraints: 45398
2375.46/2382.29 c #Conflicts: 1348000 | #Constraints: 46398
2375.46/2382.29 c INPROCESSING
2375.46/2382.29 c GARBAGE COLLECT
2375.46/2382.29 c #Conflicts: 1349000 | #Constraints: 24401
2570.66/2578.05 c #Conflicts: 1350000 | #Constraints: 25401
2570.66/2578.05 c #Conflicts: 1351000 | #Constraints: 26401
2570.66/2578.05 c #Conflicts: 1352000 | #Constraints: 27401
2570.66/2578.05 c #Conflicts: 1353000 | #Constraints: 28401
2570.66/2578.05 c #Conflicts: 1354000 | #Constraints: 29401
2570.66/2578.05 c #Conflicts: 1355000 | #Constraints: 30401
2570.66/2578.05 c #Conflicts: 1356000 | #Constraints: 31401
2570.66/2578.05 c #Conflicts: 1357000 | #Constraints: 32401
2570.66/2578.05 c #Conflicts: 1358000 | #Constraints: 33401
2570.66/2578.05 c #Conflicts: 1359000 | #Constraints: 34401
2570.66/2578.05 c #Conflicts: 1360000 | #Constraints: 35401
2570.66/2578.05 c #Conflicts: 1361000 | #Constraints: 36401
2570.66/2578.05 c #Conflicts: 1362000 | #Constraints: 37401
2570.66/2578.05 c #Conflicts: 1363000 | #Constraints: 38401
2570.66/2578.05 c #Conflicts: 1364000 | #Constraints: 39401
2570.66/2578.05 c #Conflicts: 1365000 | #Constraints: 40401
2570.66/2578.05 c #Conflicts: 1366000 | #Constraints: 41401
2570.66/2578.05 c #Conflicts: 1367000 | #Constraints: 42401
2570.66/2578.05 c #Conflicts: 1368000 | #Constraints: 43401
2570.66/2578.05 c #Conflicts: 1369000 | #Constraints: 44401
2570.66/2578.05 c #Conflicts: 1370000 | #Constraints: 45401
2570.66/2578.05 c #Conflicts: 1371000 | #Constraints: 46401
2570.66/2578.05 c INPROCESSING
2570.66/2578.05 c GARBAGE COLLECT
2570.66/2578.05 c #Conflicts: 1372000 | #Constraints: 24196
2570.66/2578.05 c #Conflicts: 1373000 | #Constraints: 25196
2570.66/2578.05 c #Conflicts: 1374000 | #Constraints: 26196
2570.66/2578.05 c #Conflicts: 1375000 | #Constraints: 27196
2570.66/2578.05 c #Conflicts: 1376000 | #Constraints: 28196
2570.66/2578.05 c #Conflicts: 1377000 | #Constraints: 29196
2570.66/2578.05 c #Conflicts: 1378000 | #Constraints: 30196
2570.66/2578.05 c #Conflicts: 1379000 | #Constraints: 31196
2570.66/2578.05 c #Conflicts: 1380000 | #Constraints: 32196
2570.66/2578.05 c #Conflicts: 1381000 | #Constraints: 33196
2570.66/2578.05 c #Conflicts: 1382000 | #Constraints: 34196
2570.66/2578.05 c #Conflicts: 1383000 | #Constraints: 35196
2570.66/2578.05 c #Conflicts: 1384000 | #Constraints: 36196
2570.66/2578.05 c #Conflicts: 1385000 | #Constraints: 37196
2570.66/2578.05 c #Conflicts: 1386000 | #Constraints: 38196
2570.66/2578.05 c #Conflicts: 1387000 | #Constraints: 39196
2570.66/2578.05 c #Conflicts: 1388000 | #Constraints: 40196
2570.66/2578.05 c #Conflicts: 1389000 | #Constraints: 41196
2570.66/2578.05 c #Conflicts: 1390000 | #Constraints: 42196
2570.66/2578.05 c #Conflicts: 1391000 | #Constraints: 43196
2570.66/2578.05 c #Conflicts: 1392000 | #Constraints: 44196
2570.66/2578.05 c #Conflicts: 1393000 | #Constraints: 45196
2570.66/2578.05 c #Conflicts: 1394000 | #Constraints: 46196
2570.66/2578.05 c #Conflicts: 1395000 | #Constraints: 47196
2570.66/2578.05 c INPROCESSING
2570.66/2578.05 c GARBAGE COLLECT
2570.66/2578.05 c #Conflicts: 1396000 | #Constraints: 24804
2570.66/2578.05 c #Conflicts: 1397000 | #Constraints: 25804
2570.66/2578.05 c #Conflicts: 1398000 | #Constraints: 26804
2570.66/2578.05 c #Conflicts: 1399000 | #Constraints: 27804
2570.66/2578.05 c #Conflicts: 1400000 | #Constraints: 28804
2570.66/2578.05 c #Conflicts: 1401000 | #Constraints: 29804
2570.66/2578.05 c #Conflicts: 1402000 | #Constraints: 30804
2570.66/2578.05 c #Conflicts: 1403000 | #Constraints: 31804
2570.66/2578.05 c #Conflicts: 1404000 | #Constraints: 32804
2570.66/2578.05 c #Conflicts: 1405000 | #Constraints: 33804
2570.66/2578.05 c #Conflicts: 1406000 | #Constraints: 34804
2570.66/2578.05 c #Conflicts: 1407000 | #Constraints: 35804
2570.66/2578.05 c #Conflicts: 1408000 | #Constraints: 36804
2570.66/2578.05 c #Conflicts: 1409000 | #Constraints: 37804
2570.66/2578.05 c #Conflicts: 1410000 | #Constraints: 38804
2570.66/2578.05 c #Conflicts: 1411000 | #Constraints: 39804
2570.66/2578.05 c #Conflicts: 1412000 | #Constraints: 40804
2570.66/2578.05 c #Conflicts: 1413000 | #Constraints: 41804
2570.66/2578.05 c #Conflicts: 1414000 | #Constraints: 42804
2570.66/2578.05 c #Conflicts: 1415000 | #Constraints: 43804
2570.66/2578.05 c #Conflicts: 1416000 | #Constraints: 44804
2570.66/2578.05 c #Conflicts: 1417000 | #Constraints: 45804
2570.66/2578.05 c #Conflicts: 1418000 | #Constraints: 46804
2570.66/2578.05 c #Conflicts: 1419000 | #Constraints: 47804
2570.66/2578.05 c INPROCESSING
2570.66/2578.05 c GARBAGE COLLECT
2570.66/2578.05 c #Conflicts: 1420000 | #Constraints: 25199
2570.66/2578.05 c #Conflicts: 1421000 | #Constraints: 26199
2570.66/2578.05 c #Conflicts: 1422000 | #Constraints: 27199
2570.66/2578.05 c #Conflicts: 1423000 | #Constraints: 28199
2570.66/2578.05 c #Conflicts: 1424000 | #Constraints: 29199
2570.66/2578.05 c #Conflicts: 1425000 | #Constraints: 30199
2758.10/2766.02 c #Conflicts: 1426000 | #Constraints: 31199
2758.10/2766.02 c #Conflicts: 1427000 | #Constraints: 32199
2758.10/2766.02 c #Conflicts: 1428000 | #Constraints: 33199
2758.10/2766.02 c #Conflicts: 1429000 | #Constraints: 34199
2758.10/2766.02 c #Conflicts: 1430000 | #Constraints: 35199
2758.10/2766.02 c #Conflicts: 1431000 | #Constraints: 36199
2758.10/2766.02 c #Conflicts: 1432000 | #Constraints: 37199
2758.10/2766.02 c #Conflicts: 1433000 | #Constraints: 38199
2758.10/2766.02 c #Conflicts: 1434000 | #Constraints: 39199
2758.10/2766.02 c #Conflicts: 1435000 | #Constraints: 40199
2758.10/2766.02 c #Conflicts: 1436000 | #Constraints: 41199
2758.10/2766.02 c #Conflicts: 1437000 | #Constraints: 42199
2758.10/2766.02 c #Conflicts: 1438000 | #Constraints: 43199
2758.10/2766.02 c #Conflicts: 1439000 | #Constraints: 44199
2758.10/2766.02 c #Conflicts: 1440000 | #Constraints: 45199
2758.10/2766.02 c #Conflicts: 1441000 | #Constraints: 46199
2758.10/2766.02 c #Conflicts: 1442000 | #Constraints: 47199
2758.10/2766.02 c #Conflicts: 1443000 | #Constraints: 48199
2758.10/2766.02 c INPROCESSING
2758.10/2766.02 c GARBAGE COLLECT
2758.10/2766.02 c #Conflicts: 1444000 | #Constraints: 25395
2758.10/2766.02 c #Conflicts: 1445000 | #Constraints: 26395
2758.10/2766.02 c #Conflicts: 1446000 | #Constraints: 27395
2758.10/2766.02 c #Conflicts: 1447000 | #Constraints: 28395
2758.10/2766.02 c #Conflicts: 1448000 | #Constraints: 29395
2758.10/2766.02 c #Conflicts: 1449000 | #Constraints: 30395
2758.10/2766.02 c #Conflicts: 1450000 | #Constraints: 31395
2758.10/2766.02 c #Conflicts: 1451000 | #Constraints: 32395
2758.10/2766.02 c #Conflicts: 1452000 | #Constraints: 33395
2758.10/2766.02 c #Conflicts: 1453000 | #Constraints: 34395
2758.10/2766.02 c #Conflicts: 1454000 | #Constraints: 35395
2758.10/2766.02 c #Conflicts: 1455000 | #Constraints: 36395
2758.10/2766.02 c #Conflicts: 1456000 | #Constraints: 37395
2758.10/2766.02 c #Conflicts: 1457000 | #Constraints: 38395
2758.10/2766.02 c #Conflicts: 1458000 | #Constraints: 39395
2758.10/2766.02 c #Conflicts: 1459000 | #Constraints: 40395
2758.10/2766.02 c #Conflicts: 1460000 | #Constraints: 41395
2758.10/2766.02 c #Conflicts: 1461000 | #Constraints: 42395
2758.10/2766.02 c #Conflicts: 1462000 | #Constraints: 43395
2758.10/2766.02 c #Conflicts: 1463000 | #Constraints: 44395
2758.10/2766.02 c #Conflicts: 1464000 | #Constraints: 45395
2758.10/2766.02 c #Conflicts: 1465000 | #Constraints: 46395
2758.10/2766.02 c #Conflicts: 1466000 | #Constraints: 47395
2758.10/2766.02 c #Conflicts: 1467000 | #Constraints: 48395
2758.10/2766.02 c INPROCESSING
2758.10/2766.02 c GARBAGE COLLECT
2758.10/2766.02 c #Conflicts: 1468000 | #Constraints: 25394
2758.10/2766.02 c #Conflicts: 1469000 | #Constraints: 26394
2758.10/2766.02 c #Conflicts: 1470000 | #Constraints: 27394
2758.10/2766.02 c #Conflicts: 1471000 | #Constraints: 28394
2758.10/2766.02 c #Conflicts: 1472000 | #Constraints: 29394
2758.10/2766.02 c #Conflicts: 1473000 | #Constraints: 30394
2758.10/2766.02 c #Conflicts: 1474000 | #Constraints: 31394
2758.10/2766.02 c #Conflicts: 1475000 | #Constraints: 32394
2758.10/2766.02 c #Conflicts: 1476000 | #Constraints: 33394
2758.10/2766.02 c #Conflicts: 1477000 | #Constraints: 34394
2758.10/2766.02 c #Conflicts: 1478000 | #Constraints: 35394
2758.10/2766.02 c #Conflicts: 1479000 | #Constraints: 36394
2758.10/2766.02 c #Conflicts: 1480000 | #Constraints: 37394
2758.10/2766.02 c #Conflicts: 1481000 | #Constraints: 38394
2758.10/2766.02 c #Conflicts: 1482000 | #Constraints: 39394
2758.10/2766.02 c #Conflicts: 1483000 | #Constraints: 40394
2758.10/2766.02 c #Conflicts: 1484000 | #Constraints: 41394
2758.10/2766.02 c #Conflicts: 1485000 | #Constraints: 42394
2758.10/2766.02 c #Conflicts: 1486000 | #Constraints: 43394
2758.10/2766.02 c #Conflicts: 1487000 | #Constraints: 44394
2758.10/2766.02 c #Conflicts: 1488000 | #Constraints: 45394
2758.10/2766.02 c #Conflicts: 1489000 | #Constraints: 46394
2758.10/2766.02 c #Conflicts: 1490000 | #Constraints: 47394
2758.10/2766.02 c #Conflicts: 1491000 | #Constraints: 48394
2758.10/2766.02 c INPROCESSING
2758.10/2766.02 c GARBAGE COLLECT
2758.10/2766.02 c #Conflicts: 1492000 | #Constraints: 25186
2758.10/2766.02 c #Conflicts: 1493000 | #Constraints: 26186
2758.10/2766.02 c #Conflicts: 1494000 | #Constraints: 27186
2758.10/2766.02 c #Conflicts: 1495000 | #Constraints: 28186
2758.10/2766.02 c #Conflicts: 1496000 | #Constraints: 29186
2758.10/2766.02 c #Conflicts: 1497000 | #Constraints: 30186
2758.10/2766.02 c #Conflicts: 1498000 | #Constraints: 31186
2758.10/2766.02 c #Conflicts: 1499000 | #Constraints: 32186
2758.10/2766.02 c #Conflicts: 1500000 | #Constraints: 33186
2758.10/2766.02 c #Conflicts: 1501000 | #Constraints: 34186
2758.10/2766.02 c #Conflicts: 1502000 | #Constraints: 35186
2946.42/2954.95 c #Conflicts: 1503000 | #Constraints: 36186
2946.42/2954.95 c #Conflicts: 1504000 | #Constraints: 37186
2946.42/2954.95 c #Conflicts: 1505000 | #Constraints: 38186
2946.42/2954.95 c #Conflicts: 1506000 | #Constraints: 39186
2946.42/2954.95 c #Conflicts: 1507000 | #Constraints: 40186
2946.42/2954.95 c #Conflicts: 1508000 | #Constraints: 41186
2946.42/2954.95 c #Conflicts: 1509000 | #Constraints: 42186
2946.42/2954.95 c #Conflicts: 1510000 | #Constraints: 43186
2946.42/2954.95 c #Conflicts: 1511000 | #Constraints: 44186
2946.42/2954.95 c #Conflicts: 1512000 | #Constraints: 45186
2946.42/2954.95 c #Conflicts: 1513000 | #Constraints: 46186
2946.42/2954.95 c #Conflicts: 1514000 | #Constraints: 47186
2946.42/2954.95 c #Conflicts: 1515000 | #Constraints: 48186
2946.42/2954.95 c #Conflicts: 1516000 | #Constraints: 49186
2946.42/2954.95 c INPROCESSING
2946.42/2954.95 c GARBAGE COLLECT
2946.42/2954.95 c #Conflicts: 1517000 | #Constraints: 25786
2946.42/2954.95 c #Conflicts: 1518000 | #Constraints: 26786
2946.42/2954.95 c #Conflicts: 1519000 | #Constraints: 27786
2946.42/2954.95 c #Conflicts: 1520000 | #Constraints: 28786
2946.42/2954.95 c #Conflicts: 1521000 | #Constraints: 29786
2946.42/2954.95 c #Conflicts: 1522000 | #Constraints: 30786
2946.42/2954.95 c #Conflicts: 1523000 | #Constraints: 31786
2946.42/2954.95 c #Conflicts: 1524000 | #Constraints: 32786
2946.42/2954.95 c #Conflicts: 1525000 | #Constraints: 33786
2946.42/2954.95 c #Conflicts: 1526000 | #Constraints: 34786
2946.42/2954.95 c #Conflicts: 1527000 | #Constraints: 35786
2946.42/2954.95 c #Conflicts: 1528000 | #Constraints: 36786
2946.42/2954.95 c #Conflicts: 1529000 | #Constraints: 37786
2946.42/2954.95 c #Conflicts: 1530000 | #Constraints: 38786
2946.42/2954.95 c #Conflicts: 1531000 | #Constraints: 39786
2946.42/2954.95 c #Conflicts: 1532000 | #Constraints: 40786
2946.42/2954.95 c #Conflicts: 1533000 | #Constraints: 41786
2946.42/2954.95 c #Conflicts: 1534000 | #Constraints: 42786
2946.42/2954.95 c #Conflicts: 1535000 | #Constraints: 43786
2946.42/2954.95 c #Conflicts: 1536000 | #Constraints: 44786
2946.42/2954.95 c #Conflicts: 1537000 | #Constraints: 45786
2946.42/2954.95 c #Conflicts: 1538000 | #Constraints: 46786
2946.42/2954.95 c #Conflicts: 1539000 | #Constraints: 47786
2946.42/2954.95 c #Conflicts: 1540000 | #Constraints: 48786
2946.42/2954.95 c #Conflicts: 1541000 | #Constraints: 49786
2946.42/2954.95 c INPROCESSING
2946.42/2954.95 c GARBAGE COLLECT
2946.42/2954.95 c #Conflicts: 1542000 | #Constraints: 26184
2946.42/2954.95 c #Conflicts: 1543000 | #Constraints: 27184
2946.42/2954.95 c #Conflicts: 1544000 | #Constraints: 28184
2946.42/2954.95 c #Conflicts: 1545000 | #Constraints: 29184
2946.42/2954.95 c #Conflicts: 1546000 | #Constraints: 30184
2946.42/2954.95 c #Conflicts: 1547000 | #Constraints: 31184
2946.42/2954.95 c #Conflicts: 1548000 | #Constraints: 32184
2946.42/2954.95 c #Conflicts: 1549000 | #Constraints: 33184
2946.42/2954.95 c #Conflicts: 1550000 | #Constraints: 34184
2946.42/2954.95 c #Conflicts: 1551000 | #Constraints: 35184
2946.42/2954.95 c #Conflicts: 1552000 | #Constraints: 36184
2946.42/2954.95 c #Conflicts: 1553000 | #Constraints: 37184
2946.42/2954.95 c #Conflicts: 1554000 | #Constraints: 38184
2946.42/2954.95 c #Conflicts: 1555000 | #Constraints: 39184
2946.42/2954.95 c #Conflicts: 1556000 | #Constraints: 40184
2946.42/2954.95 c #Conflicts: 1557000 | #Constraints: 41184
2946.42/2954.95 c #Conflicts: 1558000 | #Constraints: 42184
2946.42/2954.95 c #Conflicts: 1559000 | #Constraints: 43184
2946.42/2954.95 c #Conflicts: 1560000 | #Constraints: 44184
2946.42/2954.95 c #Conflicts: 1561000 | #Constraints: 45184
2946.42/2954.95 c #Conflicts: 1562000 | #Constraints: 46184
2946.42/2954.95 c #Conflicts: 1563000 | #Constraints: 47184
2946.42/2954.95 c #Conflicts: 1564000 | #Constraints: 48184
2946.42/2954.95 c #Conflicts: 1565000 | #Constraints: 49184
2946.42/2954.95 c #Conflicts: 1566000 | #Constraints: 50184
2946.42/2954.95 c INPROCESSING
2946.42/2954.95 c GARBAGE COLLECT
2946.42/2954.95 c #Conflicts: 1567000 | #Constraints: 26388
2946.42/2954.95 c #Conflicts: 1568000 | #Constraints: 27388
2946.42/2954.95 c #Conflicts: 1569000 | #Constraints: 28388
2946.42/2954.95 c #Conflicts: 1570000 | #Constraints: 29388
2946.42/2954.95 c #Conflicts: 1571000 | #Constraints: 30388
2946.42/2954.95 c #Conflicts: 1572000 | #Constraints: 31388
2946.42/2954.95 c #Conflicts: 1573000 | #Constraints: 32388
2946.42/2954.95 c #Conflicts: 1574000 | #Constraints: 33388
2946.42/2954.95 c #Conflicts: 1575000 | #Constraints: 34388
2946.42/2954.95 c #Conflicts: 1576000 | #Constraints: 35388
2946.42/2954.95 c #Conflicts: 1577000 | #Constraints: 36388
2946.42/2954.95 c #Conflicts: 1578000 | #Constraints: 37388
2946.42/2954.95 c #Conflicts: 1579000 | #Constraints: 38388
3166.05/3175.24 c #Conflicts: 1580000 | #Constraints: 39388
3166.05/3175.24 c #Conflicts: 1581000 | #Constraints: 40388
3166.05/3175.24 c #Conflicts: 1582000 | #Constraints: 41388
3166.05/3175.24 c #Conflicts: 1583000 | #Constraints: 42388
3166.05/3175.24 c #Conflicts: 1584000 | #Constraints: 43388
3166.05/3175.24 c #Conflicts: 1585000 | #Constraints: 44388
3166.05/3175.24 c #Conflicts: 1586000 | #Constraints: 45388
3166.05/3175.24 c #Conflicts: 1587000 | #Constraints: 46388
3166.05/3175.24 c #Conflicts: 1588000 | #Constraints: 47388
3166.05/3175.24 c #Conflicts: 1589000 | #Constraints: 48388
3166.05/3175.24 c #Conflicts: 1590000 | #Constraints: 49388
3166.05/3175.24 c #Conflicts: 1591000 | #Constraints: 50388
3166.05/3175.24 c INPROCESSING
3166.05/3175.24 c GARBAGE COLLECT
3166.05/3175.24 c #Conflicts: 1592000 | #Constraints: 26394
3166.05/3175.24 c #Conflicts: 1593000 | #Constraints: 27394
3166.05/3175.24 c #Conflicts: 1594000 | #Constraints: 28394
3166.05/3175.24 c #Conflicts: 1595000 | #Constraints: 29394
3166.05/3175.24 c #Conflicts: 1596000 | #Constraints: 30394
3166.05/3175.24 c #Conflicts: 1597000 | #Constraints: 31394
3166.05/3175.24 c #Conflicts: 1598000 | #Constraints: 32394
3166.05/3175.24 c #Conflicts: 1599000 | #Constraints: 33394
3166.05/3175.24 c #Conflicts: 1600000 | #Constraints: 34394
3166.05/3175.24 c #Conflicts: 1601000 | #Constraints: 35394
3166.05/3175.24 c #Conflicts: 1602000 | #Constraints: 36394
3166.05/3175.24 c #Conflicts: 1603000 | #Constraints: 37394
3166.05/3175.24 c #Conflicts: 1604000 | #Constraints: 38394
3166.05/3175.24 c #Conflicts: 1605000 | #Constraints: 39394
3166.05/3175.24 c #Conflicts: 1606000 | #Constraints: 40394
3166.05/3175.24 c #Conflicts: 1607000 | #Constraints: 41394
3166.05/3175.24 c #Conflicts: 1608000 | #Constraints: 42394
3166.05/3175.24 c #Conflicts: 1609000 | #Constraints: 43394
3166.05/3175.24 c #Conflicts: 1610000 | #Constraints: 44394
3166.05/3175.24 c #Conflicts: 1611000 | #Constraints: 45394
3166.05/3175.24 c #Conflicts: 1612000 | #Constraints: 46394
3166.05/3175.24 c #Conflicts: 1613000 | #Constraints: 47394
3166.05/3175.24 c #Conflicts: 1614000 | #Constraints: 48394
3166.05/3175.24 c #Conflicts: 1615000 | #Constraints: 49394
3166.05/3175.24 c #Conflicts: 1616000 | #Constraints: 50394
3166.05/3175.24 c INPROCESSING
3166.05/3175.24 c GARBAGE COLLECT
3166.05/3175.24 c #Conflicts: 1617000 | #Constraints: 26195
3166.05/3175.24 c #Conflicts: 1618000 | #Constraints: 27195
3166.05/3175.24 c #Conflicts: 1619000 | #Constraints: 28195
3166.05/3175.24 c #Conflicts: 1620000 | #Constraints: 29195
3166.05/3175.24 c #Conflicts: 1621000 | #Constraints: 30195
3166.05/3175.24 c #Conflicts: 1622000 | #Constraints: 31195
3166.05/3175.24 c #Conflicts: 1623000 | #Constraints: 32195
3166.05/3175.24 c #Conflicts: 1624000 | #Constraints: 33195
3166.05/3175.24 c #Conflicts: 1625000 | #Constraints: 34195
3166.05/3175.24 c #Conflicts: 1626000 | #Constraints: 35195
3166.05/3175.24 c #Conflicts: 1627000 | #Constraints: 36195
3166.05/3175.24 c #Conflicts: 1628000 | #Constraints: 37195
3166.05/3175.24 c #Conflicts: 1629000 | #Constraints: 38195
3166.05/3175.24 c #Conflicts: 1630000 | #Constraints: 39195
3166.05/3175.24 c #Conflicts: 1631000 | #Constraints: 40195
3166.05/3175.24 c #Conflicts: 1632000 | #Constraints: 41195
3166.05/3175.24 c #Conflicts: 1633000 | #Constraints: 42195
3166.05/3175.24 c #Conflicts: 1634000 | #Constraints: 43195
3166.05/3175.24 c #Conflicts: 1635000 | #Constraints: 44195
3166.05/3175.24 c #Conflicts: 1636000 | #Constraints: 45195
3166.05/3175.24 c #Conflicts: 1637000 | #Constraints: 46195
3166.05/3175.24 c #Conflicts: 1638000 | #Constraints: 47195
3166.05/3175.24 c #Conflicts: 1639000 | #Constraints: 48195
3166.05/3175.24 c #Conflicts: 1640000 | #Constraints: 49195
3166.05/3175.24 c #Conflicts: 1641000 | #Constraints: 50195
3166.05/3175.24 c #Conflicts: 1642000 | #Constraints: 51195
3166.05/3175.24 c INPROCESSING
3166.05/3175.24 c GARBAGE COLLECT
3166.05/3175.24 c #Conflicts: 1643000 | #Constraints: 26795
3166.05/3175.24 c #Conflicts: 1644000 | #Constraints: 27795
3166.05/3175.24 c #Conflicts: 1645000 | #Constraints: 28795
3166.05/3175.24 c #Conflicts: 1646000 | #Constraints: 29795
3166.05/3175.24 c #Conflicts: 1647000 | #Constraints: 30795
3166.05/3175.24 c #Conflicts: 1648000 | #Constraints: 31795
3166.05/3175.24 c #Conflicts: 1649000 | #Constraints: 32795
3166.05/3175.24 c #Conflicts: 1650000 | #Constraints: 33795
3166.05/3175.24 c #Conflicts: 1651000 | #Constraints: 34795
3166.05/3175.24 c #Conflicts: 1652000 | #Constraints: 35795
3166.05/3175.24 c #Conflicts: 1653000 | #Constraints: 36795
3166.05/3175.24 c #Conflicts: 1654000 | #Constraints: 37795
3166.05/3175.24 c #Conflicts: 1655000 | #Constraints: 38795
3166.05/3175.24 c #Conflicts: 1656000 | #Constraints: 39795
3231.95/3241.39 c #Conflicts: 1657000 | #Constraints: 40795
3231.95/3241.39 c #Conflicts: 1658000 | #Constraints: 41795
3231.95/3241.39 c #Conflicts: 1659000 | #Constraints: 42795
3231.95/3241.39 c #Conflicts: 1660000 | #Constraints: 43795
3231.95/3241.39 c #Conflicts: 1661000 | #Constraints: 44795
3231.95/3241.39 c #Conflicts: 1662000 | #Constraints: 45795
3231.95/3241.39 c #Conflicts: 1663000 | #Constraints: 46795
3231.95/3241.39 c #Conflicts: 1664000 | #Constraints: 47795
3231.95/3241.39 c #Conflicts: 1665000 | #Constraints: 48795
3231.95/3241.39 c #Conflicts: 1666000 | #Constraints: 49795
3231.95/3241.39 c #Conflicts: 1667000 | #Constraints: 50795
3231.95/3241.39 c #Conflicts: 1668000 | #Constraints: 51795
3231.95/3241.39 c INPROCESSING
3231.95/3241.39 c GARBAGE COLLECT
3231.95/3241.39 c #Conflicts: 1669000 | #Constraints: 27184
3231.95/3241.39 c #Conflicts: 1670000 | #Constraints: 28184
3231.95/3241.39 c #Conflicts: 1671000 | #Constraints: 29184
3231.95/3241.39 c #Conflicts: 1672000 | #Constraints: 30184
3231.95/3241.39 c #Conflicts: 1673000 | #Constraints: 31184
3231.95/3241.39 c #Conflicts: 1674000 | #Constraints: 32184
3231.95/3241.39 c #Conflicts: 1675000 | #Constraints: 33184
3231.95/3241.39 c #Conflicts: 1676000 | #Constraints: 34184
3231.95/3241.39 c #Conflicts: 1677000 | #Constraints: 35184
3231.95/3241.39 c #Conflicts: 1678000 | #Constraints: 36184
3231.95/3241.39 c #Conflicts: 1679000 | #Constraints: 37184
3231.95/3241.39 c #Conflicts: 1680000 | #Constraints: 38184
3231.95/3241.39 c #Conflicts: 1681000 | #Constraints: 39184
3231.95/3241.39 c #Conflicts: 1682000 | #Constraints: 40184
3231.95/3241.39 c #Conflicts: 1683000 | #Constraints: 41184
3231.95/3241.39 c bounds 444349 >= 0 @ 3192.28
3231.95/3241.39 c stratification level: 80280
3465.63/3475.77 c #Conflicts: 1684000 | #Constraints: 42185
3465.63/3475.77 c #Conflicts: 1685000 | #Constraints: 43185
3465.63/3475.77 c #Conflicts: 1686000 | #Constraints: 44185
3465.63/3475.77 c #Conflicts: 1687000 | #Constraints: 45185
3465.63/3475.77 c #Conflicts: 1688000 | #Constraints: 46185
3465.63/3475.77 c #Conflicts: 1689000 | #Constraints: 47185
3465.63/3475.77 c #Conflicts: 1690000 | #Constraints: 48185
3465.63/3475.77 c #Conflicts: 1691000 | #Constraints: 49185
3465.63/3475.77 c #Conflicts: 1692000 | #Constraints: 50185
3465.63/3475.77 c #Conflicts: 1693000 | #Constraints: 51185
3465.63/3475.77 c #Conflicts: 1694000 | #Constraints: 52185
3465.63/3475.77 c INPROCESSING
3465.63/3475.77 c GARBAGE COLLECT
3465.63/3475.77 c #Conflicts: 1695000 | #Constraints: 27386
3465.63/3475.77 c #Conflicts: 1696000 | #Constraints: 28386
3465.63/3475.77 c #Conflicts: 1697000 | #Constraints: 29386
3465.63/3475.77 c #Conflicts: 1698000 | #Constraints: 30386
3465.63/3475.77 c #Conflicts: 1699000 | #Constraints: 31386
3465.63/3475.77 c #Conflicts: 1700000 | #Constraints: 32386
3465.63/3475.77 c #Conflicts: 1701000 | #Constraints: 33386
3465.63/3475.77 c #Conflicts: 1702000 | #Constraints: 34386
3465.63/3475.77 c #Conflicts: 1703000 | #Constraints: 35386
3465.63/3475.77 c #Conflicts: 1704000 | #Constraints: 36386
3465.63/3475.77 c #Conflicts: 1705000 | #Constraints: 37386
3465.63/3475.77 c #Conflicts: 1706000 | #Constraints: 38386
3465.63/3475.77 c #Conflicts: 1707000 | #Constraints: 39386
3465.63/3475.77 c #Conflicts: 1708000 | #Constraints: 40386
3465.63/3475.77 c #Conflicts: 1709000 | #Constraints: 41386
3465.63/3475.77 c #Conflicts: 1710000 | #Constraints: 42386
3465.63/3475.77 c #Conflicts: 1711000 | #Constraints: 43386
3465.63/3475.77 c #Conflicts: 1712000 | #Constraints: 44386
3465.63/3475.77 c #Conflicts: 1713000 | #Constraints: 45386
3465.63/3475.77 c #Conflicts: 1714000 | #Constraints: 46386
3465.63/3475.77 c #Conflicts: 1715000 | #Constraints: 47386
3465.63/3475.77 c #Conflicts: 1716000 | #Constraints: 48386
3465.63/3475.77 c #Conflicts: 1717000 | #Constraints: 49386
3465.63/3475.77 c #Conflicts: 1718000 | #Constraints: 50386
3465.63/3475.77 c #Conflicts: 1719000 | #Constraints: 51386
3465.63/3475.77 c #Conflicts: 1720000 | #Constraints: 52386
3465.63/3475.77 c INPROCESSING
3465.63/3475.77 c GARBAGE COLLECT
3465.63/3475.77 c #Conflicts: 1721000 | #Constraints: 27396
3465.63/3475.77 c #Conflicts: 1722000 | #Constraints: 28396
3465.63/3475.77 c #Conflicts: 1723000 | #Constraints: 29396
3465.63/3475.77 c #Conflicts: 1724000 | #Constraints: 30396
3465.63/3475.77 c #Conflicts: 1725000 | #Constraints: 31396
3465.63/3475.77 c #Conflicts: 1726000 | #Constraints: 32396
3465.63/3475.77 c #Conflicts: 1727000 | #Constraints: 33396
3465.63/3475.77 c #Conflicts: 1728000 | #Constraints: 34396
3465.63/3475.77 c #Conflicts: 1729000 | #Constraints: 35396
3465.63/3475.77 c #Conflicts: 1730000 | #Constraints: 36396
3465.63/3475.77 c #Conflicts: 1731000 | #Constraints: 37396
3465.63/3475.77 c #Conflicts: 1732000 | #Constraints: 38396
3465.63/3475.77 c #Conflicts: 1733000 | #Constraints: 39396
3465.63/3475.77 c #Conflicts: 1734000 | #Constraints: 40396
3465.63/3475.77 c #Conflicts: 1735000 | #Constraints: 41396
3465.63/3475.77 c #Conflicts: 1736000 | #Constraints: 42396
3465.63/3475.77 c #Conflicts: 1737000 | #Constraints: 43396
3465.63/3475.77 c #Conflicts: 1738000 | #Constraints: 44396
3465.63/3475.77 c #Conflicts: 1739000 | #Constraints: 45396
3465.63/3475.77 c #Conflicts: 1740000 | #Constraints: 46396
3465.63/3475.77 c #Conflicts: 1741000 | #Constraints: 47396
3465.63/3475.77 c #Conflicts: 1742000 | #Constraints: 48396
3465.63/3475.77 c #Conflicts: 1743000 | #Constraints: 49396
3465.63/3475.77 c #Conflicts: 1744000 | #Constraints: 50396
3465.63/3475.77 c #Conflicts: 1745000 | #Constraints: 51396
3465.63/3475.77 c #Conflicts: 1746000 | #Constraints: 52396
3465.63/3475.77 c INPROCESSING
3465.63/3475.77 c GARBAGE COLLECT
3465.63/3475.77 c #Conflicts: 1747000 | #Constraints: 27193
3465.63/3475.77 c #Conflicts: 1748000 | #Constraints: 28193
3465.63/3475.77 c #Conflicts: 1749000 | #Constraints: 29193
3465.63/3475.77 c #Conflicts: 1750000 | #Constraints: 30193
3465.63/3475.77 c #Conflicts: 1751000 | #Constraints: 31193
3465.63/3475.77 c #Conflicts: 1752000 | #Constraints: 32193
3465.63/3475.77 c #Conflicts: 1753000 | #Constraints: 33193
3465.63/3475.77 c #Conflicts: 1754000 | #Constraints: 34193
3465.63/3475.77 c #Conflicts: 1755000 | #Constraints: 35193
3465.63/3475.77 c #Conflicts: 1756000 | #Constraints: 36193
3465.63/3475.77 c #Conflicts: 1757000 | #Constraints: 37193
3465.63/3475.77 c #Conflicts: 1758000 | #Constraints: 38193
3465.63/3475.77 c #Conflicts: 1759000 | #Constraints: 39193
3465.63/3475.77 c #Conflicts: 1760000 | #Constraints: 40193
3600.02/3610.50 c #Conflicts: 1761000 | #Constraints: 41193
3600.02/3610.50 c #Conflicts: 1762000 | #Constraints: 42193
3600.02/3610.50 c #Conflicts: 1763000 | #Constraints: 43193
3600.02/3610.50 c #Conflicts: 1764000 | #Constraints: 44193
3600.02/3610.50 c #Conflicts: 1765000 | #Constraints: 45193
3600.02/3610.50 c #Conflicts: 1766000 | #Constraints: 46193
3600.02/3610.50 c #Conflicts: 1767000 | #Constraints: 47193
3600.02/3610.50 c #Conflicts: 1768000 | #Constraints: 48193
3600.02/3610.50 c #Conflicts: 1769000 | #Constraints: 49193
3600.02/3610.50 c #Conflicts: 1770000 | #Constraints: 50193
3600.02/3610.50 c #Conflicts: 1771000 | #Constraints: 51193
3600.02/3610.50 c #Conflicts: 1772000 | #Constraints: 52193
3600.02/3610.50 c #Conflicts: 1773000 | #Constraints: 53193
3600.02/3610.50 c INPROCESSING
3600.02/3610.50 c GARBAGE COLLECT
3600.02/3610.50 c #Conflicts: 1774000 | #Constraints: 27792
3600.02/3610.50 c #Conflicts: 1775000 | #Constraints: 28792
3600.02/3610.50 c #Conflicts: 1776000 | #Constraints: 29792
3600.02/3610.50 c #Conflicts: 1777000 | #Constraints: 30792
3600.02/3610.50 c #Conflicts: 1778000 | #Constraints: 31792
3600.02/3610.50 c #Conflicts: 1779000 | #Constraints: 32792
3600.02/3610.50 c #Conflicts: 1780000 | #Constraints: 33792
3600.02/3610.50 c #Conflicts: 1781000 | #Constraints: 34792
3600.02/3610.50 c #Conflicts: 1782000 | #Constraints: 35792
3600.02/3610.50 c #Conflicts: 1783000 | #Constraints: 36792
3600.02/3610.50 c #Conflicts: 1784000 | #Constraints: 37792
3600.02/3610.50 c #Conflicts: 1785000 | #Constraints: 38792
3600.02/3610.50 c #Conflicts: 1786000 | #Constraints: 39792
3600.02/3610.50 c #Conflicts: 1787000 | #Constraints: 40792
3600.02/3610.50 c #Conflicts: 1788000 | #Constraints: 41792
3600.02/3610.50 c #Conflicts: 1789000 | #Constraints: 42792
3600.02/3610.50 c #Conflicts: 1790000 | #Constraints: 43792
3600.02/3610.50 c #Conflicts: 1791000 | #Constraints: 44792
3600.02/3610.50 c #Conflicts: 1792000 | #Constraints: 45792
3600.02/3610.50 c #Conflicts: 1793000 | #Constraints: 46792
3600.02/3610.50 c #Conflicts: 1794000 | #Constraints: 47792
3600.02/3610.50 c #Conflicts: 1795000 | #Constraints: 48792
3600.02/3610.50 c #Conflicts: 1796000 | #Constraints: 49792
3600.02/3610.50 c #Conflicts: 1797000 | #Constraints: 50792
3600.02/3610.50 c #Conflicts: 1798000 | #Constraints: 51792
3600.02/3610.50 c #Conflicts: 1799000 | #Constraints: 52792
3600.02/3610.50 c #Conflicts: 1800000 | #Constraints: 53792
3600.02/3610.50 c INPROCESSING
3600.02/3610.50 c GARBAGE COLLECT
3600.02/3610.50 c #Conflicts: 1801000 | #Constraints: 28196
3600.02/3610.50 c #Conflicts: 1802000 | #Constraints: 29196
3600.02/3610.50 c #Conflicts: 1803000 | #Constraints: 30196
3600.02/3610.50 c #Conflicts: 1804000 | #Constraints: 31196
3600.02/3610.50 c #Conflicts: 1805000 | #Constraints: 32196
3600.02/3610.50 c Program interrupted by user.
3600.02/3610.50 c cpu time 3556.67 s
3600.02/3610.50 c deterministic time 486390471224 4.86e+11
3600.02/3610.50 c optimization time 6.88241 s
3600.02/3610.50 c total solve time 3549.79 s
3600.02/3610.50 c core-guided solve time 3549.79 s
3600.02/3610.50 c propagation time 2697.4 s
3600.02/3610.50 c conflict analysis time 685.244 s
3600.02/3610.50 c propagations 801558454
3600.02/3610.50 c resolve steps 5027915
3600.02/3610.50 c decisions 46817539
3600.02/3610.50 c conflicts 1805204
3600.02/3610.50 c restarts 3515
3600.02/3610.50 c inprocessing phases 125
3600.02/3610.50 c input clauses 2
3600.02/3610.50 c input cardinalities 302
3600.02/3610.50 c input general constraints 207
3600.02/3610.50 c input average constraint length 75.53
3600.02/3610.50 c input average constraint degree 1853993.50
3600.02/3610.50 c learned clauses 74405
3600.02/3610.50 c learned cardinalities 8556
3600.02/3610.50 c learned general constraints 1722242
3600.02/3610.50 c learned average constraint length 1085.63
3600.02/3610.50 c learned average constraint degree 8427871.91
3600.02/3610.50 c watched constraints 71716
3600.02/3610.50 c counting constraints 1650733
3600.02/3610.50 c gcd simplifications 1480
3600.02/3610.50 c detected cardinalities 8
3600.02/3610.50 c weakened non-implied lits 847242341
3600.02/3610.50 c weakened non-implying lits 38469
3600.02/3610.50 c original variables 2498
3600.02/3610.50 c clausal propagations 15823484
3600.02/3610.50 c cardinality propagations 2786139
3600.02/3610.50 c watched propagations 7373656
3600.02/3610.50 c counting propagations 767798040
3600.02/3610.50 c watch lookups 87008081145
3600.02/3610.50 c watch backjump lookups 86892489120
3600.02/3610.50 c watch checks 20056798743
3600.02/3610.50 c propagation checks 284329369514
3600.02/3610.50 c constraint additions 6405177795
3600.02/3610.50 c trail pops 850178913
3600.02/3610.50 c formula constraints 500
3600.02/3610.50 c learned constraints 1805203
3600.02/3610.50 c bound constraints 11
3600.02/3610.50 c core-guided constraints 0
3600.02/3610.50 c encountered formula constraints 751183
3600.02/3610.50 c encountered learned constraints 5971321
3600.02/3610.50 c encountered bound constraints 110615
3600.02/3610.50 c encountered core-guided constraints 0
3600.02/3610.50 c LP total time 0 s
3600.02/3610.50 c LP solve time 0 s
3600.02/3610.50 c LP constraints added 0
3600.02/3610.50 c LP constraints removed 0
3600.02/3610.50 c LP pivots internal 0
3600.02/3610.50 c LP pivots root 0
3600.02/3610.50 c LP calls 0
3600.02/3610.50 c LP optimalities 0
3600.02/3610.50 c LP no pivot count 0
3600.02/3610.50 c LP infeasibilities 0
3600.02/3610.50 c LP valid Farkas constraints 0
3600.02/3610.50 c LP learned Farkas constraints 0
3600.02/3610.50 c LP basis resets 0
3600.02/3610.50 c LP cycling count 0
3600.02/3610.50 c LP singular count 0
3600.02/3610.50 c LP no primal count 0
3600.02/3610.50 c LP no farkas count 0
3600.02/3610.50 c LP other issue count 0
3600.02/3610.50 c LP Gomory cuts 0
3600.02/3610.50 c LP learned cuts 0
3600.02/3610.50 c LP deleted cuts 0
3600.02/3610.50 c LP encountered Gomory constraints 0
3600.02/3610.50 c LP encountered Farkas constraints 0
3600.02/3610.50 c LP encountered learned Farkas constraints 0
3600.02/3610.50 c CG auxiliary variables introduced 0
3600.02/3610.50 c CG solutions found 11
3600.02/3610.50 c CG cores constructed 0
3600.02/3610.50 c CG core cardinality constraints returned 0
3600.02/3610.50 c CG unit cores 0
3600.02/3610.50 c CG single cores 0
3600.02/3610.50 c CG blocks removed during cardinality reduction 0
3600.02/3610.50 c CG first core best 0
3600.02/3610.50 c CG decision core best 0
3600.02/3610.50 c CG core reduction tie 0
3600.02/3610.50 c CG core degree average 0.00
3600.02/3610.50 c CG core slack average 0.00
3600.02/3610.50 c CG exhausted 0
3600.02/3610.50 c CG exhaust time 0 s
3600.02/3610.50 c CG trimmed 0
3600.02/3610.50 c CG trim time 0 s
3600.02/3610.50 c CG minimized 0
3600.02/3610.50 c CG minimize time 0 s
3600.02/3610.50 c CG am1 prop time 0.000167 s
3600.02/3610.50 c CG # am1s reformulated 0
3600.02/3610.50 c CG lower bound derived from am1s 0
3600.02/3610.50 c CG # clausal cores 0
3600.02/3610.50 c CG # cardinality cores 0
3600.02/3610.50 c CG # pb cores 0
3600.02/3610.50 c CG # pb reforms 0
3600.02/3610.50 c CG # cores discarded because of pb reform 0
3600.02/3610.50 d LOWERBOUND 0
3600.02/3610.50 d NCORES 0
3600.02/3610.50 d NPBCORES 0
3600.02/3610.50 d NPBREFORM 0
3600.02/3610.50 d NTRIMMED 0
3600.02/3610.50 d NEXHAUSTED 0
3600.02/3610.50 d NAM1S 0
3600.02/3610.50 d AM1LB 0
3600.02/3610.50 o 444349
3600.02/3610.50 s SATISFIABLE
3600.02/3610.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 x2406 -x2407 x2408 -x2409 -x2410 x2411 -x2412 x2413 x2414 -x2415 x2416 -x2417 x2418 x2419 x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498
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: 63931 MiB (60855 MiB free)
memory of node 1: 64510 MiB (59050 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454423-1721472692/watcher-4454423-1721472692 -o /tmp/evaluation-result-4454423-1721472692/solver-4454423-1721472692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077169 --watchdog 3760 pb-oll-rs HOME/instance-4454423-1721472692.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1079183, runsolver pid=1079180
[startup+0.100637 s]*
/proc/loadavg: 4.08 4.12 4.06 4/254 1079196
/proc/meminfo: memFree=122772080/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=43864 memory=14104 CPUtime=0.09 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 1881 0 0 0 9 0 0 0 20 0 1 0 199437449 44916736 3526 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 10966 3526 1371 291 0 2500 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43864 KiB
Current children cumulated memory: 14104 KiB
[startup+0.205339 s]*
/proc/loadavg: 4.08 4.12 4.06 5/251 1079214
/proc/meminfo: memFree=122767692/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=50596 memory=19592 CPUtime=0.19 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 3299 0 0 0 18 1 0 0 20 0 1 0 199437449 51810304 4898 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 12649 4898 1371 291 0 4183 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50596 KiB
Current children cumulated memory: 19592 KiB
[startup+0.305313 s]*
/proc/loadavg: 4.08 4.12 4.06 5/251 1079217
/proc/meminfo: memFree=122746820/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=58264 memory=25180 CPUtime=0.3 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 4704 0 0 0 28 2 0 0 20 0 1 0 199437449 59662336 6295 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 14566 6295 1371 291 0 6100 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58264 KiB
Current children cumulated memory: 25180 KiB
[startup+0.700233 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122619860/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=79744 memory=46360 CPUtime=0.68 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 8441 0 0 0 63 5 0 0 20 0 1 0 199437449 81657856 11590 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 19936 11590 1371 291 0 11470 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79744 KiB
Current children cumulated memory: 46360 KiB
[startup+1.50024 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079228
/proc/meminfo: memFree=122583192/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=98452 memory=62196 CPUtime=1.49 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 10866 0 0 0 137 12 0 0 20 0 1 0 199437449 100814848 15549 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 24613 15549 1371 291 0 16147 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98452 KiB
Current children cumulated memory: 62196 KiB
[startup+3.1057 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 1079274
/proc/meminfo: memFree=122639684/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=139816 memory=92408 CPUtime=3.09 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 15794 0 0 0 288 21 0 0 20 0 1 0 199437449 143171584 23102 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 34954 23102 1428 291 0 26488 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 139816 KiB
Current children cumulated memory: 92408 KiB
[startup+6.30023 s]
/proc/loadavg: 4.16 4.13 4.06 5/257 1079276
/proc/meminfo: memFree=122303188/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=162668 memory=124688 CPUtime=6.28 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 20856 0 0 0 595 33 0 0 20 0 1 0 199437449 166572032 31172 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 40667 31172 1428 291 0 32201 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 162668 KiB
Current children cumulated memory: 124688 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.06 5/257 1079276
/proc/meminfo: memFree=121860316/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=224920 memory=173484 CPUtime=12.65 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 27922 0 0 0 1212 53 0 0 20 0 1 0 199437449 230318080 43371 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 56230 43371 1428 291 0 47764 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 224920 KiB
Current children cumulated memory: 173484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.06 5/257 1079279
/proc/meminfo: memFree=120997716/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=297668 memory=219960 CPUtime=25.43 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 34441 0 0 0 2438 105 0 0 20 0 1 0 199437449 304812032 54990 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 74417 54990 1428 291 0 65951 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 297668 KiB
Current children cumulated memory: 219960 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.13 4.07 5/257 1079282
/proc/meminfo: memFree=119918256/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=341900 memory=271336 CPUtime=50.96 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 43281 0 0 0 4918 178 0 0 20 0 1 0 199437449 350105600 67834 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 85475 67834 1428 291 0 77009 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 341900 KiB
Current children cumulated memory: 271336 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.06 5/257 1079291
/proc/meminfo: memFree=117678196/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=380816 memory=321744 CPUtime=102.02 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 51615 0 0 0 9886 316 0 0 20 0 1 0 199437449 389955584 80436 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 95204 80436 1428 291 0 86738 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 380816 KiB
Current children cumulated memory: 321744 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/257 1079302
/proc/meminfo: memFree=114387812/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=494464 memory=390516 CPUtime=161.87 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 59143 0 0 0 15719 468 0 0 20 0 1 0 199437449 506331136 97629 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 123616 97629 1428 291 0 115150 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 494464 KiB
Current children cumulated memory: 390516 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/255 1079313
/proc/meminfo: memFree=112395920/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=556420 memory=504236 CPUtime=221.71 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 68134 0 0 0 21623 548 0 0 20 0 1 0 199437449 569774080 126059 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 139105 126059 1428 291 0 130639 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 556420 KiB
Current children cumulated memory: 504236 KiB
[startup+282.3 s]
/proc/loadavg: 4.53 4.22 4.10 5/257 1079711
/proc/meminfo: memFree=111777080/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=578696 memory=523976 CPUtime=281.54 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 71251 0 0 0 27475 679 0 0 20 0 1 0 199437449 592584704 130994 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 144674 130994 1428 291 0 136208 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 578696 KiB
Current children cumulated memory: 523976 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.17 4.09 5/258 1079722
/proc/meminfo: memFree=111579792/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=608264 memory=555568 CPUtime=341.39 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 75732 0 0 0 33347 792 0 0 20 0 1 0 199437449 622862336 138892 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 152066 138892 1428 291 0 143600 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 608264 KiB
Current children cumulated memory: 555568 KiB
[startup+402.3 s]
/proc/loadavg: 4.28 4.20 4.10 5/260 1079903
/proc/meminfo: memFree=111116828/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=761772 memory=589324 CPUtime=401.24 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 79819 0 0 0 39228 896 0 0 20 0 1 0 199437449 780054528 147331 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 190443 147331 1428 291 0 181977 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 761772 KiB
Current children cumulated memory: 589324 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.18 4.10 5/260 1079913
/proc/meminfo: memFree=108140396/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=784048 memory=610524 CPUtime=461.08 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 83327 0 0 0 45122 986 0 0 20 0 1 0 199437449 802865152 152631 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 196012 152631 1428 291 0 187546 0
################
# More data... #
################
Current children cumulated memory: 1069388 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 1080999
/proc/meminfo: memFree=87966392/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1354164 memory=1069732 CPUtime=2913.92 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 160565 0 0 0 287680 3712 0 0 20 0 1 0 199437449 1386663936 267433 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 338541 267433 1428 291 0 330075 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 1354164 KiB
Current children cumulated memory: 1069732 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/257 1081010
/proc/meminfo: memFree=87909436/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1355712 memory=1070628 CPUtime=2973.73 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 160934 0 0 0 293625 3748 0 0 20 0 1 0 199437449 1388249088 267657 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 338928 267657 1428 291 0 330462 0
Current children cumulated CPU time: 2973.73 s
Current children cumulated vsize: 1355712 KiB
Current children cumulated memory: 1070628 KiB
[startup+3042.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/259 1081076
/proc/meminfo: memFree=112683232/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1355712 memory=1070856 CPUtime=3033.56 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 161314 0 0 0 299555 3801 0 0 20 0 1 0 199437449 1388249088 267714 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 338928 267714 1428 291 0 330462 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 1355712 KiB
Current children cumulated memory: 1070856 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/259 1081087
/proc/meminfo: memFree=112194584/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1365516 memory=1081056 CPUtime=3093.37 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 164040 0 0 0 305496 3841 0 0 20 0 1 0 199437449 1398288384 270264 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 341379 270264 1428 291 0 332913 0
Current children cumulated CPU time: 3093.37 s
Current children cumulated vsize: 1365516 KiB
Current children cumulated memory: 1081056 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/259 1081098
/proc/meminfo: memFree=111744592/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1383576 memory=1094296 CPUtime=3153.19 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 167573 0 0 0 311431 3888 0 0 20 0 1 0 199437449 1416781824 273574 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 345894 273574 1428 291 0 337428 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 1383576 KiB
Current children cumulated memory: 1094296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/259 1081109
/proc/meminfo: memFree=111320348/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1383576 memory=1094432 CPUtime=3213.01 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 167772 0 0 0 317341 3960 0 0 20 0 1 0 199437449 1416781824 273608 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 345894 273608 1428 291 0 337428 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 1383576 KiB
Current children cumulated memory: 1094432 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/257 1081119
/proc/meminfo: memFree=111248532/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1383576 memory=1094544 CPUtime=3272.82 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 168102 0 0 0 323279 4003 0 0 20 0 1 0 199437449 1416781824 273636 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 345894 273636 1428 291 0 337428 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 1383576 KiB
Current children cumulated memory: 1094544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/257 1081130
/proc/meminfo: memFree=110967444/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1384092 memory=1095164 CPUtime=3332.64 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 168458 0 0 0 329183 4081 0 0 20 0 1 0 199437449 1417310208 273791 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 346023 273791 1428 291 0 337557 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 1384092 KiB
Current children cumulated memory: 1095164 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 1081142
/proc/meminfo: memFree=110637652/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1384092 memory=1095640 CPUtime=3392.46 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 168771 0 0 0 335110 4136 0 0 20 0 1 0 199437449 1417310208 273910 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 346023 273910 1428 291 0 337557 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 1384092 KiB
Current children cumulated memory: 1095640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/256 1081152
/proc/meminfo: memFree=110609900/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1393896 memory=1119008 CPUtime=3452.27 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 171252 0 0 0 341050 4177 0 0 20 0 1 0 199437449 1427349504 279752 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 348474 279752 1428 291 0 340008 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 1393896 KiB
Current children cumulated memory: 1119008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.22 4.14 5/258 1081167
/proc/meminfo: memFree=110598364/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1393896 memory=1119040 CPUtime=3512.09 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 171435 0 0 0 346961 4248 0 0 20 0 1 0 199437449 1427349504 279760 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 348474 279760 1428 291 0 340008 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 1393896 KiB
Current children cumulated memory: 1119040 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.28 4.16 5/258 1081178
/proc/meminfo: memFree=110488932/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1393896 memory=1119744 CPUtime=3571.91 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 171901 0 0 0 352879 4312 0 0 20 0 1 0 199437449 1427349504 279936 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 348474 279936 1428 291 0 340008 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 1393896 KiB
Current children cumulated memory: 1119744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.33 4.26 4.16 5/258 1081183
/proc/meminfo: memFree=110417620/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1393896 memory=1120068 CPUtime=3600.02 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 172082 0 0 0 355667 4335 0 0 20 0 1 0 199437449 1427349504 280017 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 348474 280017 1428 291 0 340008 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1393896 KiB
Current children cumulated memory: 1120068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.53 s]
# the end of solver process 1079183 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.68 s, system=43.3744 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.33 4.26 4.16 5/258 1081183
/proc/meminfo: memFree=110417620/131524600 swapFree=131071996/131071996
[pid=1079183] ppid=1079180 vsize=1393896 memory=1120068 CPUtime=3600.02 cores=1,3
/proc/1079183/stat : 1079183 (pb-oll-rs) R 1079180 1079183 1077157 0 -1 4194304 172082 0 0 0 355667 4335 0 0 20 0 1 0 199437449 1427349504 280017 134679101440 4194304 5384485 140731568474528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38912000 140731568477205 140731568477282 140731568477282 140731568484299 0
/proc/1079183/statm: 348474 280017 1428 291 0 340008 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1393896 KiB
Current children cumulated memory: 1120068 KiB
Child status: 0
Real time (s): 3610.53
CPU time (s): 3600.05
CPU user time (s): 3556.68
CPU system time (s): 43.3744
CPU usage (%): 99.7099
Max. virtual memory (cumulated for all children) (KiB): 1393896
Max. memory (cumulated for all children) (KiB): 1120068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.68
system time used= 43.3744
maximum resident set size= 1120244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172097
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= 144
involuntary context switches= 2857
# summary of solver processes directly reported to runsolver:
# pid: 1079183
# total CPU time (s): 3600.05
# total CPU user time (s): 3556.68
# total CPU system time (s): 43.3744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53725 second user time and 16.6589 second system time
The end
Begin job on nodeC031 at 2024-07-20 12:51:45
IDJOB=4454423
IDBENCH=148704
IDSOLVER=3082
FILE ID=nodeC031/4454423-1721472692
RUNJOBID= nodeC031-1721469094-1077169
SLURM_JOB_ID= 7545727
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454423-1721472692/watcher-4454423-1721472692 -o /tmp/evaluation-result-4454423-1721472692/solver-4454423-1721472692 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721469094-1077169 --watchdog 3760 pb-oll-rs HOME/instance-4454423-1721472692.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2d146ebdf2817567f5780fc8d24c5107
RANDOM SEED=942829975
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3634.012
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.392
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.735
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.220
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2444.270
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.051
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3580.852
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122788660 kB
MemAvailable: 129386500 kB
Buffers: 543252 kB
Cached: 6821040 kB
SwapCached: 0 kB
Active: 1091060 kB
Inactive: 6854980 kB
Active(anon): 1520 kB
Inactive(anon): 626132 kB
Active(file): 1089540 kB
Inactive(file): 6228848 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3244 kB
Writeback: 4 kB
AnonPages: 571624 kB
Mapped: 109704 kB
Shmem: 45912 kB
KReclaimable: 238872 kB
Slab: 368864 kB
SReclaimable: 238872 kB
SUnreclaim: 129992 kB
KernelStack: 3996 kB
PageTables: 10216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 945252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 714752 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC031 at 2024-07-20 13:51:55