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.004196
0.00/0.00 c stratification level: 92700
0.00/0.01 c bounds 552637 >= 0 @ 0.006099
0.00/0.01 c stratification level: 90847
37.79/37.96 c #Conflicts: 1000 | #Constraints: 1500
37.79/37.96 c #Conflicts: 2000 | #Constraints: 2500
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 3000 | #Constraints: 2513
37.79/37.96 c #Conflicts: 4000 | #Constraints: 3513
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 5000 | #Constraints: 2921
37.79/37.96 c #Conflicts: 6000 | #Constraints: 3921
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 7000 | #Constraints: 2925
37.79/37.96 c #Conflicts: 8000 | #Constraints: 3925
37.79/37.96 c #Conflicts: 9000 | #Constraints: 4925
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 10000 | #Constraints: 3630
37.79/37.96 c #Conflicts: 11000 | #Constraints: 4630
37.79/37.96 c #Conflicts: 12000 | #Constraints: 5630
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 13000 | #Constraints: 4084
37.79/37.96 c #Conflicts: 14000 | #Constraints: 5084
37.79/37.96 c #Conflicts: 15000 | #Constraints: 6084
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 16000 | #Constraints: 4321
37.79/37.96 c #Conflicts: 17000 | #Constraints: 5321
37.79/37.96 c #Conflicts: 18000 | #Constraints: 6321
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 19000 | #Constraints: 4337
37.79/37.96 c #Conflicts: 20000 | #Constraints: 5337
37.79/37.96 c #Conflicts: 21000 | #Constraints: 6337
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 22000 | #Constraints: 4142
37.79/37.96 c #Conflicts: 23000 | #Constraints: 5142
37.79/37.96 c #Conflicts: 24000 | #Constraints: 6142
37.79/37.96 c #Conflicts: 25000 | #Constraints: 7142
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 26000 | #Constraints: 4744
37.79/37.96 c #Conflicts: 27000 | #Constraints: 5744
37.79/37.96 c #Conflicts: 28000 | #Constraints: 6744
37.79/37.96 c #Conflicts: 29000 | #Constraints: 7744
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 30000 | #Constraints: 5149
37.79/37.96 c #Conflicts: 31000 | #Constraints: 6149
37.79/37.96 c #Conflicts: 32000 | #Constraints: 7149
37.79/37.96 c #Conflicts: 33000 | #Constraints: 8149
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 34000 | #Constraints: 5350
37.79/37.96 c #Conflicts: 35000 | #Constraints: 6350
37.79/37.96 c #Conflicts: 36000 | #Constraints: 7350
37.79/37.96 c #Conflicts: 37000 | #Constraints: 8350
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 38000 | #Constraints: 5355
37.79/37.96 c #Conflicts: 39000 | #Constraints: 6355
37.79/37.96 c #Conflicts: 40000 | #Constraints: 7355
37.79/37.96 c #Conflicts: 41000 | #Constraints: 8355
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c #Conflicts: 42000 | #Constraints: 5154
37.79/37.96 c #Conflicts: 43000 | #Constraints: 6154
37.79/37.96 c #Conflicts: 44000 | #Constraints: 7154
37.79/37.96 c #Conflicts: 45000 | #Constraints: 8154
37.79/37.96 c #Conflicts: 46000 | #Constraints: 9154
37.79/37.96 c INPROCESSING
37.79/37.96 c GARBAGE COLLECT
37.79/37.96 c bounds 539257 >= 0 @ 36.5726
37.79/37.96 c stratification level: 89922
93.16/93.48 c #Conflicts: 47000 | #Constraints: 5756
93.16/93.48 c #Conflicts: 48000 | #Constraints: 6756
93.16/93.48 c #Conflicts: 49000 | #Constraints: 7756
93.16/93.48 c #Conflicts: 50000 | #Constraints: 8756
93.16/93.48 c #Conflicts: 51000 | #Constraints: 9756
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 52000 | #Constraints: 6165
93.16/93.48 c #Conflicts: 53000 | #Constraints: 7165
93.16/93.48 c #Conflicts: 54000 | #Constraints: 8165
93.16/93.48 c #Conflicts: 55000 | #Constraints: 9165
93.16/93.48 c #Conflicts: 56000 | #Constraints: 10165
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 57000 | #Constraints: 6366
93.16/93.48 c #Conflicts: 58000 | #Constraints: 7366
93.16/93.48 c #Conflicts: 59000 | #Constraints: 8366
93.16/93.48 c #Conflicts: 60000 | #Constraints: 9366
93.16/93.48 c #Conflicts: 61000 | #Constraints: 10366
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 62000 | #Constraints: 6369
93.16/93.48 c #Conflicts: 63000 | #Constraints: 7369
93.16/93.48 c #Conflicts: 64000 | #Constraints: 8369
93.16/93.48 c #Conflicts: 65000 | #Constraints: 9369
93.16/93.48 c #Conflicts: 66000 | #Constraints: 10369
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 67000 | #Constraints: 6168
93.16/93.48 c #Conflicts: 68000 | #Constraints: 7168
93.16/93.48 c #Conflicts: 69000 | #Constraints: 8168
93.16/93.48 c #Conflicts: 70000 | #Constraints: 9168
93.16/93.48 c #Conflicts: 71000 | #Constraints: 10168
93.16/93.48 c #Conflicts: 72000 | #Constraints: 11168
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 73000 | #Constraints: 6762
93.16/93.48 c #Conflicts: 74000 | #Constraints: 7762
93.16/93.48 c #Conflicts: 75000 | #Constraints: 8762
93.16/93.48 c #Conflicts: 76000 | #Constraints: 9762
93.16/93.48 c #Conflicts: 77000 | #Constraints: 10762
93.16/93.48 c #Conflicts: 78000 | #Constraints: 11762
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 79000 | #Constraints: 7159
93.16/93.48 c #Conflicts: 80000 | #Constraints: 8159
93.16/93.48 c #Conflicts: 81000 | #Constraints: 9159
93.16/93.48 c #Conflicts: 82000 | #Constraints: 10159
93.16/93.48 c #Conflicts: 83000 | #Constraints: 11159
93.16/93.48 c #Conflicts: 84000 | #Constraints: 12159
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 85000 | #Constraints: 7371
93.16/93.48 c #Conflicts: 86000 | #Constraints: 8371
93.16/93.48 c #Conflicts: 87000 | #Constraints: 9371
93.16/93.48 c #Conflicts: 88000 | #Constraints: 10371
93.16/93.48 c #Conflicts: 89000 | #Constraints: 11371
93.16/93.48 c #Conflicts: 90000 | #Constraints: 12371
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 91000 | #Constraints: 7370
93.16/93.48 c #Conflicts: 92000 | #Constraints: 8370
93.16/93.48 c #Conflicts: 93000 | #Constraints: 9370
93.16/93.48 c #Conflicts: 94000 | #Constraints: 10370
93.16/93.48 c #Conflicts: 95000 | #Constraints: 11370
93.16/93.48 c #Conflicts: 96000 | #Constraints: 12370
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 97000 | #Constraints: 7185
93.16/93.48 c #Conflicts: 98000 | #Constraints: 8185
93.16/93.48 c #Conflicts: 99000 | #Constraints: 9185
93.16/93.48 c #Conflicts: 100000 | #Constraints: 10185
93.16/93.48 c #Conflicts: 101000 | #Constraints: 11185
93.16/93.48 c #Conflicts: 102000 | #Constraints: 12185
93.16/93.48 c #Conflicts: 103000 | #Constraints: 13185
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 104000 | #Constraints: 7779
93.16/93.48 c #Conflicts: 105000 | #Constraints: 8779
93.16/93.48 c #Conflicts: 106000 | #Constraints: 9779
93.16/93.48 c #Conflicts: 107000 | #Constraints: 10779
93.16/93.48 c #Conflicts: 108000 | #Constraints: 11779
93.16/93.48 c #Conflicts: 109000 | #Constraints: 12779
93.16/93.48 c #Conflicts: 110000 | #Constraints: 13779
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 111000 | #Constraints: 8177
93.16/93.48 c #Conflicts: 112000 | #Constraints: 9177
93.16/93.48 c #Conflicts: 113000 | #Constraints: 10177
93.16/93.48 c #Conflicts: 114000 | #Constraints: 11177
93.16/93.48 c #Conflicts: 115000 | #Constraints: 12177
93.16/93.48 c #Conflicts: 116000 | #Constraints: 13177
93.16/93.48 c #Conflicts: 117000 | #Constraints: 14177
93.16/93.48 c INPROCESSING
93.16/93.48 c GARBAGE COLLECT
93.16/93.48 c #Conflicts: 118000 | #Constraints: 8372
159.60/160.01 c #Conflicts: 119000 | #Constraints: 9372
159.60/160.01 c #Conflicts: 120000 | #Constraints: 10372
159.60/160.01 c #Conflicts: 121000 | #Constraints: 11372
159.60/160.01 c #Conflicts: 122000 | #Constraints: 12372
159.60/160.01 c #Conflicts: 123000 | #Constraints: 13372
159.60/160.01 c #Conflicts: 124000 | #Constraints: 14372
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 125000 | #Constraints: 8371
159.60/160.01 c #Conflicts: 126000 | #Constraints: 9371
159.60/160.01 c #Conflicts: 127000 | #Constraints: 10371
159.60/160.01 c #Conflicts: 128000 | #Constraints: 11371
159.60/160.01 c #Conflicts: 129000 | #Constraints: 12371
159.60/160.01 c #Conflicts: 130000 | #Constraints: 13371
159.60/160.01 c #Conflicts: 131000 | #Constraints: 14371
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 132000 | #Constraints: 8173
159.60/160.01 c #Conflicts: 133000 | #Constraints: 9173
159.60/160.01 c #Conflicts: 134000 | #Constraints: 10173
159.60/160.01 c #Conflicts: 135000 | #Constraints: 11173
159.60/160.01 c #Conflicts: 136000 | #Constraints: 12173
159.60/160.01 c #Conflicts: 137000 | #Constraints: 13173
159.60/160.01 c #Conflicts: 138000 | #Constraints: 14173
159.60/160.01 c #Conflicts: 139000 | #Constraints: 15173
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 140000 | #Constraints: 8783
159.60/160.01 c #Conflicts: 141000 | #Constraints: 9783
159.60/160.01 c #Conflicts: 142000 | #Constraints: 10783
159.60/160.01 c #Conflicts: 143000 | #Constraints: 11783
159.60/160.01 c #Conflicts: 144000 | #Constraints: 12783
159.60/160.01 c #Conflicts: 145000 | #Constraints: 13783
159.60/160.01 c #Conflicts: 146000 | #Constraints: 14783
159.60/160.01 c #Conflicts: 147000 | #Constraints: 15783
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 148000 | #Constraints: 9181
159.60/160.01 c #Conflicts: 149000 | #Constraints: 10181
159.60/160.01 c #Conflicts: 150000 | #Constraints: 11181
159.60/160.01 c #Conflicts: 151000 | #Constraints: 12181
159.60/160.01 c #Conflicts: 152000 | #Constraints: 13181
159.60/160.01 c #Conflicts: 153000 | #Constraints: 14181
159.60/160.01 c #Conflicts: 154000 | #Constraints: 15181
159.60/160.01 c #Conflicts: 155000 | #Constraints: 16181
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 156000 | #Constraints: 9372
159.60/160.01 c #Conflicts: 157000 | #Constraints: 10372
159.60/160.01 c #Conflicts: 158000 | #Constraints: 11372
159.60/160.01 c #Conflicts: 159000 | #Constraints: 12372
159.60/160.01 c #Conflicts: 160000 | #Constraints: 13372
159.60/160.01 c #Conflicts: 161000 | #Constraints: 14372
159.60/160.01 c #Conflicts: 162000 | #Constraints: 15372
159.60/160.01 c #Conflicts: 163000 | #Constraints: 16372
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 164000 | #Constraints: 9371
159.60/160.01 c #Conflicts: 165000 | #Constraints: 10371
159.60/160.01 c #Conflicts: 166000 | #Constraints: 11371
159.60/160.01 c #Conflicts: 167000 | #Constraints: 12371
159.60/160.01 c #Conflicts: 168000 | #Constraints: 13371
159.60/160.01 c #Conflicts: 169000 | #Constraints: 14371
159.60/160.01 c #Conflicts: 170000 | #Constraints: 15371
159.60/160.01 c #Conflicts: 171000 | #Constraints: 16371
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 172000 | #Constraints: 9176
159.60/160.01 c #Conflicts: 173000 | #Constraints: 10176
159.60/160.01 c #Conflicts: 174000 | #Constraints: 11176
159.60/160.01 c #Conflicts: 175000 | #Constraints: 12176
159.60/160.01 c #Conflicts: 176000 | #Constraints: 13176
159.60/160.01 c #Conflicts: 177000 | #Constraints: 14176
159.60/160.01 c #Conflicts: 178000 | #Constraints: 15176
159.60/160.01 c #Conflicts: 179000 | #Constraints: 16176
159.60/160.01 c #Conflicts: 180000 | #Constraints: 17176
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 181000 | #Constraints: 9777
159.60/160.01 c #Conflicts: 182000 | #Constraints: 10777
159.60/160.01 c #Conflicts: 183000 | #Constraints: 11777
159.60/160.01 c #Conflicts: 184000 | #Constraints: 12777
159.60/160.01 c #Conflicts: 185000 | #Constraints: 13777
159.60/160.01 c #Conflicts: 186000 | #Constraints: 14777
159.60/160.01 c #Conflicts: 187000 | #Constraints: 15777
159.60/160.01 c #Conflicts: 188000 | #Constraints: 16777
159.60/160.01 c #Conflicts: 189000 | #Constraints: 17777
159.60/160.01 c INPROCESSING
159.60/160.01 c GARBAGE COLLECT
159.60/160.01 c #Conflicts: 190000 | #Constraints: 10177
159.60/160.01 c #Conflicts: 191000 | #Constraints: 11177
195.79/196.37 c #Conflicts: 192000 | #Constraints: 12177
195.79/196.37 c #Conflicts: 193000 | #Constraints: 13177
195.79/196.37 c #Conflicts: 194000 | #Constraints: 14177
195.79/196.37 c #Conflicts: 195000 | #Constraints: 15177
195.79/196.37 c #Conflicts: 196000 | #Constraints: 16177
195.79/196.37 c #Conflicts: 197000 | #Constraints: 17177
195.79/196.37 c #Conflicts: 198000 | #Constraints: 18177
195.79/196.37 c INPROCESSING
195.79/196.37 c GARBAGE COLLECT
195.79/196.37 c #Conflicts: 199000 | #Constraints: 10377
195.79/196.37 c #Conflicts: 200000 | #Constraints: 11377
195.79/196.37 c #Conflicts: 201000 | #Constraints: 12377
195.79/196.37 c #Conflicts: 202000 | #Constraints: 13377
195.79/196.37 c #Conflicts: 203000 | #Constraints: 14377
195.79/196.37 c #Conflicts: 204000 | #Constraints: 15377
195.79/196.37 c #Conflicts: 205000 | #Constraints: 16377
195.79/196.37 c #Conflicts: 206000 | #Constraints: 17377
195.79/196.37 c #Conflicts: 207000 | #Constraints: 18377
195.79/196.37 c INPROCESSING
195.79/196.37 c GARBAGE COLLECT
195.79/196.37 c #Conflicts: 208000 | #Constraints: 10378
195.79/196.37 c #Conflicts: 209000 | #Constraints: 11378
195.79/196.37 c #Conflicts: 210000 | #Constraints: 12378
195.79/196.37 c #Conflicts: 211000 | #Constraints: 13378
195.79/196.37 c #Conflicts: 212000 | #Constraints: 14378
195.79/196.37 c #Conflicts: 213000 | #Constraints: 15378
195.79/196.37 c #Conflicts: 214000 | #Constraints: 16378
195.79/196.37 c #Conflicts: 215000 | #Constraints: 17378
195.79/196.37 c #Conflicts: 216000 | #Constraints: 18378
195.79/196.37 c INPROCESSING
195.79/196.37 c GARBAGE COLLECT
195.79/196.37 c #Conflicts: 217000 | #Constraints: 10192
195.79/196.37 c #Conflicts: 218000 | #Constraints: 11192
195.79/196.37 c bounds 526189 >= 0 @ 190.993
195.79/196.37 c stratification level: 89565
297.82/298.60 c #Conflicts: 219000 | #Constraints: 12193
297.82/298.60 c #Conflicts: 220000 | #Constraints: 13193
297.82/298.60 c #Conflicts: 221000 | #Constraints: 14193
297.82/298.60 c #Conflicts: 222000 | #Constraints: 15193
297.82/298.60 c #Conflicts: 223000 | #Constraints: 16193
297.82/298.60 c #Conflicts: 224000 | #Constraints: 17193
297.82/298.60 c #Conflicts: 225000 | #Constraints: 18193
297.82/298.60 c #Conflicts: 226000 | #Constraints: 19193
297.82/298.60 c INPROCESSING
297.82/298.60 c GARBAGE COLLECT
297.82/298.60 c #Conflicts: 227000 | #Constraints: 10785
297.82/298.60 c #Conflicts: 228000 | #Constraints: 11785
297.82/298.60 c #Conflicts: 229000 | #Constraints: 12785
297.82/298.60 c #Conflicts: 230000 | #Constraints: 13785
297.82/298.60 c #Conflicts: 231000 | #Constraints: 14785
297.82/298.60 c #Conflicts: 232000 | #Constraints: 15785
297.82/298.60 c #Conflicts: 233000 | #Constraints: 16785
297.82/298.60 c #Conflicts: 234000 | #Constraints: 17785
297.82/298.60 c #Conflicts: 235000 | #Constraints: 18785
297.82/298.60 c #Conflicts: 236000 | #Constraints: 19785
297.82/298.60 c INPROCESSING
297.82/298.60 c GARBAGE COLLECT
297.82/298.60 c #Conflicts: 237000 | #Constraints: 11192
297.82/298.60 c #Conflicts: 238000 | #Constraints: 12192
297.82/298.60 c #Conflicts: 239000 | #Constraints: 13192
297.82/298.60 c #Conflicts: 240000 | #Constraints: 14192
297.82/298.60 c #Conflicts: 241000 | #Constraints: 15192
297.82/298.60 c #Conflicts: 242000 | #Constraints: 16192
297.82/298.60 c #Conflicts: 243000 | #Constraints: 17192
297.82/298.60 c #Conflicts: 244000 | #Constraints: 18192
297.82/298.60 c #Conflicts: 245000 | #Constraints: 19192
297.82/298.60 c #Conflicts: 246000 | #Constraints: 20192
297.82/298.60 c INPROCESSING
297.82/298.60 c GARBAGE COLLECT
297.82/298.60 c #Conflicts: 247000 | #Constraints: 11405
297.82/298.60 c #Conflicts: 248000 | #Constraints: 12405
297.82/298.60 c #Conflicts: 249000 | #Constraints: 13405
297.82/298.60 c #Conflicts: 250000 | #Constraints: 14405
297.82/298.60 c #Conflicts: 251000 | #Constraints: 15405
297.82/298.60 c #Conflicts: 252000 | #Constraints: 16405
297.82/298.60 c #Conflicts: 253000 | #Constraints: 17405
297.82/298.60 c #Conflicts: 254000 | #Constraints: 18405
297.82/298.60 c #Conflicts: 255000 | #Constraints: 19405
297.82/298.60 c #Conflicts: 256000 | #Constraints: 20405
297.82/298.60 c INPROCESSING
297.82/298.60 c GARBAGE COLLECT
297.82/298.60 c #Conflicts: 257000 | #Constraints: 11394
297.82/298.60 c #Conflicts: 258000 | #Constraints: 12394
297.82/298.60 c #Conflicts: 259000 | #Constraints: 13394
297.82/298.60 c #Conflicts: 260000 | #Constraints: 14394
297.82/298.60 c #Conflicts: 261000 | #Constraints: 15394
297.82/298.60 c #Conflicts: 262000 | #Constraints: 16394
297.82/298.60 c #Conflicts: 263000 | #Constraints: 17394
297.82/298.60 c #Conflicts: 264000 | #Constraints: 18394
297.82/298.60 c #Conflicts: 265000 | #Constraints: 19394
297.82/298.60 c #Conflicts: 266000 | #Constraints: 20394
297.82/298.60 c INPROCESSING
297.82/298.60 c GARBAGE COLLECT
297.82/298.60 c #Conflicts: 267000 | #Constraints: 11183
297.82/298.60 c #Conflicts: 268000 | #Constraints: 12183
297.82/298.60 c #Conflicts: 269000 | #Constraints: 13183
297.82/298.60 c #Conflicts: 270000 | #Constraints: 14183
297.82/298.60 c #Conflicts: 271000 | #Constraints: 15183
297.82/298.60 c #Conflicts: 272000 | #Constraints: 16183
297.82/298.60 c #Conflicts: 273000 | #Constraints: 17183
297.82/298.60 c #Conflicts: 274000 | #Constraints: 18183
297.82/298.60 c #Conflicts: 275000 | #Constraints: 19183
297.82/298.60 c #Conflicts: 276000 | #Constraints: 20183
297.82/298.60 c #Conflicts: 277000 | #Constraints: 21183
297.82/298.60 c INPROCESSING
297.82/298.60 c GARBAGE COLLECT
297.82/298.60 c #Conflicts: 278000 | #Constraints: 11778
297.82/298.60 c #Conflicts: 279000 | #Constraints: 12778
297.82/298.60 c #Conflicts: 280000 | #Constraints: 13778
297.82/298.60 c #Conflicts: 281000 | #Constraints: 14778
297.82/298.60 c #Conflicts: 282000 | #Constraints: 15778
297.82/298.60 c #Conflicts: 283000 | #Constraints: 16778
297.82/298.60 c #Conflicts: 284000 | #Constraints: 17778
297.82/298.60 c #Conflicts: 285000 | #Constraints: 18778
297.82/298.60 c #Conflicts: 286000 | #Constraints: 19778
297.82/298.60 c #Conflicts: 287000 | #Constraints: 20778
297.82/298.60 c #Conflicts: 288000 | #Constraints: 21778
297.82/298.60 c INPROCESSING
297.82/298.60 c GARBAGE COLLECT
297.82/298.60 c #Conflicts: 289000 | #Constraints: 12181
297.82/298.60 c #Conflicts: 290000 | #Constraints: 13181
297.82/298.60 c #Conflicts: 291000 | #Constraints: 14181
297.82/298.60 c #Conflicts: 292000 | #Constraints: 15181
297.82/298.60 c #Conflicts: 293000 | #Constraints: 16181
400.46/401.57 c #Conflicts: 294000 | #Constraints: 17181
400.46/401.57 c #Conflicts: 295000 | #Constraints: 18181
400.46/401.57 c #Conflicts: 296000 | #Constraints: 19181
400.46/401.57 c #Conflicts: 297000 | #Constraints: 20181
400.46/401.57 c #Conflicts: 298000 | #Constraints: 21181
400.46/401.57 c #Conflicts: 299000 | #Constraints: 22181
400.46/401.57 c INPROCESSING
400.46/401.57 c GARBAGE COLLECT
400.46/401.57 c #Conflicts: 300000 | #Constraints: 12379
400.46/401.57 c #Conflicts: 301000 | #Constraints: 13379
400.46/401.57 c #Conflicts: 302000 | #Constraints: 14379
400.46/401.57 c #Conflicts: 303000 | #Constraints: 15379
400.46/401.57 c #Conflicts: 304000 | #Constraints: 16379
400.46/401.57 c #Conflicts: 305000 | #Constraints: 17379
400.46/401.57 c #Conflicts: 306000 | #Constraints: 18379
400.46/401.57 c #Conflicts: 307000 | #Constraints: 19379
400.46/401.57 c #Conflicts: 308000 | #Constraints: 20379
400.46/401.57 c #Conflicts: 309000 | #Constraints: 21379
400.46/401.57 c #Conflicts: 310000 | #Constraints: 22379
400.46/401.57 c INPROCESSING
400.46/401.57 c GARBAGE COLLECT
400.46/401.57 c #Conflicts: 311000 | #Constraints: 12379
400.46/401.57 c #Conflicts: 312000 | #Constraints: 13379
400.46/401.57 c #Conflicts: 313000 | #Constraints: 14379
400.46/401.57 c #Conflicts: 314000 | #Constraints: 15379
400.46/401.57 c #Conflicts: 315000 | #Constraints: 16379
400.46/401.57 c #Conflicts: 316000 | #Constraints: 17379
400.46/401.57 c #Conflicts: 317000 | #Constraints: 18379
400.46/401.57 c #Conflicts: 318000 | #Constraints: 19379
400.46/401.57 c #Conflicts: 319000 | #Constraints: 20379
400.46/401.57 c #Conflicts: 320000 | #Constraints: 21379
400.46/401.57 c #Conflicts: 321000 | #Constraints: 22379
400.46/401.57 c INPROCESSING
400.46/401.57 c GARBAGE COLLECT
400.46/401.57 c #Conflicts: 322000 | #Constraints: 12174
400.46/401.57 c #Conflicts: 323000 | #Constraints: 13174
400.46/401.57 c #Conflicts: 324000 | #Constraints: 14174
400.46/401.57 c #Conflicts: 325000 | #Constraints: 15174
400.46/401.57 c #Conflicts: 326000 | #Constraints: 16174
400.46/401.57 c #Conflicts: 327000 | #Constraints: 17174
400.46/401.57 c #Conflicts: 328000 | #Constraints: 18174
400.46/401.57 c #Conflicts: 329000 | #Constraints: 19174
400.46/401.57 c #Conflicts: 330000 | #Constraints: 20174
400.46/401.57 c #Conflicts: 331000 | #Constraints: 21174
400.46/401.57 c #Conflicts: 332000 | #Constraints: 22174
400.46/401.57 c #Conflicts: 333000 | #Constraints: 23174
400.46/401.57 c INPROCESSING
400.46/401.57 c GARBAGE COLLECT
400.46/401.57 c #Conflicts: 334000 | #Constraints: 12775
400.46/401.57 c #Conflicts: 335000 | #Constraints: 13775
400.46/401.57 c #Conflicts: 336000 | #Constraints: 14775
400.46/401.57 c #Conflicts: 337000 | #Constraints: 15775
400.46/401.57 c #Conflicts: 338000 | #Constraints: 16775
400.46/401.57 c #Conflicts: 339000 | #Constraints: 17775
400.46/401.57 c #Conflicts: 340000 | #Constraints: 18775
400.46/401.57 c #Conflicts: 341000 | #Constraints: 19775
400.46/401.57 c #Conflicts: 342000 | #Constraints: 20775
400.46/401.57 c #Conflicts: 343000 | #Constraints: 21775
400.46/401.57 c #Conflicts: 344000 | #Constraints: 22775
400.46/401.57 c #Conflicts: 345000 | #Constraints: 23775
400.46/401.57 c INPROCESSING
400.46/401.57 c GARBAGE COLLECT
400.46/401.57 c #Conflicts: 346000 | #Constraints: 13181
400.46/401.57 c #Conflicts: 347000 | #Constraints: 14181
400.46/401.57 c #Conflicts: 348000 | #Constraints: 15181
400.46/401.57 c #Conflicts: 349000 | #Constraints: 16181
400.46/401.57 c #Conflicts: 350000 | #Constraints: 17181
400.46/401.57 c #Conflicts: 351000 | #Constraints: 18181
400.46/401.57 c #Conflicts: 352000 | #Constraints: 19181
400.46/401.57 c #Conflicts: 353000 | #Constraints: 20181
400.46/401.57 c #Conflicts: 354000 | #Constraints: 21181
400.46/401.57 c #Conflicts: 355000 | #Constraints: 22181
400.46/401.57 c #Conflicts: 356000 | #Constraints: 23181
400.46/401.57 c #Conflicts: 357000 | #Constraints: 24181
400.46/401.57 c INPROCESSING
400.46/401.57 c GARBAGE COLLECT
400.46/401.57 c #Conflicts: 358000 | #Constraints: 13374
400.46/401.57 c #Conflicts: 359000 | #Constraints: 14374
400.46/401.57 c #Conflicts: 360000 | #Constraints: 15374
400.46/401.57 c #Conflicts: 361000 | #Constraints: 16374
400.46/401.57 c #Conflicts: 362000 | #Constraints: 17374
400.46/401.57 c #Conflicts: 363000 | #Constraints: 18374
400.46/401.57 c #Conflicts: 364000 | #Constraints: 19374
400.46/401.57 c #Conflicts: 365000 | #Constraints: 20374
400.46/401.57 c #Conflicts: 366000 | #Constraints: 21374
400.46/401.57 c #Conflicts: 367000 | #Constraints: 22374
400.46/401.57 c #Conflicts: 368000 | #Constraints: 23374
517.48/518.88 c #Conflicts: 369000 | #Constraints: 24374
517.48/518.88 c INPROCESSING
517.48/518.88 c GARBAGE COLLECT
517.48/518.88 c #Conflicts: 370000 | #Constraints: 13383
517.48/518.88 c #Conflicts: 371000 | #Constraints: 14383
517.48/518.88 c #Conflicts: 372000 | #Constraints: 15383
517.48/518.88 c #Conflicts: 373000 | #Constraints: 16383
517.48/518.88 c #Conflicts: 374000 | #Constraints: 17383
517.48/518.88 c #Conflicts: 375000 | #Constraints: 18383
517.48/518.88 c #Conflicts: 376000 | #Constraints: 19383
517.48/518.88 c #Conflicts: 377000 | #Constraints: 20383
517.48/518.88 c #Conflicts: 378000 | #Constraints: 21383
517.48/518.88 c #Conflicts: 379000 | #Constraints: 22383
517.48/518.88 c #Conflicts: 380000 | #Constraints: 23383
517.48/518.88 c #Conflicts: 381000 | #Constraints: 24383
517.48/518.88 c INPROCESSING
517.48/518.88 c GARBAGE COLLECT
517.48/518.88 c #Conflicts: 382000 | #Constraints: 13179
517.48/518.88 c #Conflicts: 383000 | #Constraints: 14179
517.48/518.88 c #Conflicts: 384000 | #Constraints: 15179
517.48/518.88 c #Conflicts: 385000 | #Constraints: 16179
517.48/518.88 c #Conflicts: 386000 | #Constraints: 17179
517.48/518.88 c #Conflicts: 387000 | #Constraints: 18179
517.48/518.88 c #Conflicts: 388000 | #Constraints: 19179
517.48/518.88 c #Conflicts: 389000 | #Constraints: 20179
517.48/518.88 c #Conflicts: 390000 | #Constraints: 21179
517.48/518.88 c #Conflicts: 391000 | #Constraints: 22179
517.48/518.88 c #Conflicts: 392000 | #Constraints: 23179
517.48/518.88 c #Conflicts: 393000 | #Constraints: 24179
517.48/518.88 c #Conflicts: 394000 | #Constraints: 25179
517.48/518.88 c INPROCESSING
517.48/518.88 c GARBAGE COLLECT
517.48/518.88 c #Conflicts: 395000 | #Constraints: 13781
517.48/518.88 c #Conflicts: 396000 | #Constraints: 14781
517.48/518.88 c #Conflicts: 397000 | #Constraints: 15781
517.48/518.88 c #Conflicts: 398000 | #Constraints: 16781
517.48/518.88 c #Conflicts: 399000 | #Constraints: 17781
517.48/518.88 c #Conflicts: 400000 | #Constraints: 18781
517.48/518.88 c #Conflicts: 401000 | #Constraints: 19781
517.48/518.88 c #Conflicts: 402000 | #Constraints: 20781
517.48/518.88 c #Conflicts: 403000 | #Constraints: 21781
517.48/518.88 c #Conflicts: 404000 | #Constraints: 22781
517.48/518.88 c #Conflicts: 405000 | #Constraints: 23781
517.48/518.88 c #Conflicts: 406000 | #Constraints: 24781
517.48/518.88 c #Conflicts: 407000 | #Constraints: 25781
517.48/518.88 c INPROCESSING
517.48/518.88 c GARBAGE COLLECT
517.48/518.88 c #Conflicts: 408000 | #Constraints: 14181
517.48/518.88 c #Conflicts: 409000 | #Constraints: 15181
517.48/518.88 c #Conflicts: 410000 | #Constraints: 16181
517.48/518.88 c #Conflicts: 411000 | #Constraints: 17181
517.48/518.88 c #Conflicts: 412000 | #Constraints: 18181
517.48/518.88 c #Conflicts: 413000 | #Constraints: 19181
517.48/518.88 c #Conflicts: 414000 | #Constraints: 20181
517.48/518.88 c #Conflicts: 415000 | #Constraints: 21181
517.48/518.88 c #Conflicts: 416000 | #Constraints: 22181
517.48/518.88 c #Conflicts: 417000 | #Constraints: 23181
517.48/518.88 c #Conflicts: 418000 | #Constraints: 24181
517.48/518.88 c #Conflicts: 419000 | #Constraints: 25181
517.48/518.88 c #Conflicts: 420000 | #Constraints: 26181
517.48/518.88 c INPROCESSING
517.48/518.88 c GARBAGE COLLECT
517.48/518.88 c #Conflicts: 421000 | #Constraints: 14400
517.48/518.88 c #Conflicts: 422000 | #Constraints: 15400
517.48/518.88 c #Conflicts: 423000 | #Constraints: 16400
517.48/518.88 c #Conflicts: 424000 | #Constraints: 17400
517.48/518.88 c #Conflicts: 425000 | #Constraints: 18400
517.48/518.88 c #Conflicts: 426000 | #Constraints: 19400
517.48/518.88 c #Conflicts: 427000 | #Constraints: 20400
517.48/518.88 c #Conflicts: 428000 | #Constraints: 21400
517.48/518.88 c #Conflicts: 429000 | #Constraints: 22400
517.48/518.88 c #Conflicts: 430000 | #Constraints: 23400
517.48/518.88 c #Conflicts: 431000 | #Constraints: 24400
517.48/518.88 c #Conflicts: 432000 | #Constraints: 25400
517.48/518.88 c #Conflicts: 433000 | #Constraints: 26400
517.48/518.88 c INPROCESSING
517.48/518.88 c GARBAGE COLLECT
517.48/518.88 c #Conflicts: 434000 | #Constraints: 14395
517.48/518.88 c #Conflicts: 435000 | #Constraints: 15395
517.48/518.88 c #Conflicts: 436000 | #Constraints: 16395
517.48/518.88 c #Conflicts: 437000 | #Constraints: 17395
517.48/518.88 c #Conflicts: 438000 | #Constraints: 18395
517.48/518.88 c #Conflicts: 439000 | #Constraints: 19395
517.48/518.88 c #Conflicts: 440000 | #Constraints: 20395
517.48/518.88 c #Conflicts: 441000 | #Constraints: 21395
517.48/518.88 c #Conflicts: 442000 | #Constraints: 22395
517.48/518.88 c #Conflicts: 443000 | #Constraints: 23395
652.83/654.58 c #Conflicts: 444000 | #Constraints: 24395
652.83/654.58 c #Conflicts: 445000 | #Constraints: 25395
652.83/654.58 c #Conflicts: 446000 | #Constraints: 26395
652.83/654.58 c INPROCESSING
652.83/654.58 c GARBAGE COLLECT
652.83/654.58 c #Conflicts: 447000 | #Constraints: 14198
652.83/654.58 c #Conflicts: 448000 | #Constraints: 15198
652.83/654.58 c #Conflicts: 449000 | #Constraints: 16198
652.83/654.58 c #Conflicts: 450000 | #Constraints: 17198
652.83/654.58 c #Conflicts: 451000 | #Constraints: 18198
652.83/654.58 c #Conflicts: 452000 | #Constraints: 19198
652.83/654.58 c #Conflicts: 453000 | #Constraints: 20198
652.83/654.58 c #Conflicts: 454000 | #Constraints: 21198
652.83/654.58 c #Conflicts: 455000 | #Constraints: 22198
652.83/654.58 c #Conflicts: 456000 | #Constraints: 23198
652.83/654.58 c #Conflicts: 457000 | #Constraints: 24198
652.83/654.58 c #Conflicts: 458000 | #Constraints: 25198
652.83/654.58 c #Conflicts: 459000 | #Constraints: 26198
652.83/654.58 c #Conflicts: 460000 | #Constraints: 27198
652.83/654.58 c INPROCESSING
652.83/654.58 c GARBAGE COLLECT
652.83/654.58 c #Conflicts: 461000 | #Constraints: 14799
652.83/654.58 c #Conflicts: 462000 | #Constraints: 15799
652.83/654.58 c #Conflicts: 463000 | #Constraints: 16799
652.83/654.58 c #Conflicts: 464000 | #Constraints: 17799
652.83/654.58 c #Conflicts: 465000 | #Constraints: 18799
652.83/654.58 c #Conflicts: 466000 | #Constraints: 19799
652.83/654.58 c #Conflicts: 467000 | #Constraints: 20799
652.83/654.58 c #Conflicts: 468000 | #Constraints: 21799
652.83/654.58 c #Conflicts: 469000 | #Constraints: 22799
652.83/654.58 c #Conflicts: 470000 | #Constraints: 23799
652.83/654.58 c #Conflicts: 471000 | #Constraints: 24799
652.83/654.58 c #Conflicts: 472000 | #Constraints: 25799
652.83/654.58 c #Conflicts: 473000 | #Constraints: 26799
652.83/654.58 c #Conflicts: 474000 | #Constraints: 27799
652.83/654.58 c INPROCESSING
652.83/654.58 c GARBAGE COLLECT
652.83/654.58 c #Conflicts: 475000 | #Constraints: 15194
652.83/654.58 c #Conflicts: 476000 | #Constraints: 16194
652.83/654.58 c #Conflicts: 477000 | #Constraints: 17194
652.83/654.58 c #Conflicts: 478000 | #Constraints: 18194
652.83/654.58 c #Conflicts: 479000 | #Constraints: 19194
652.83/654.58 c #Conflicts: 480000 | #Constraints: 20194
652.83/654.58 c #Conflicts: 481000 | #Constraints: 21194
652.83/654.58 c #Conflicts: 482000 | #Constraints: 22194
652.83/654.58 c #Conflicts: 483000 | #Constraints: 23194
652.83/654.58 c #Conflicts: 484000 | #Constraints: 24194
652.83/654.58 c #Conflicts: 485000 | #Constraints: 25194
652.83/654.58 c #Conflicts: 486000 | #Constraints: 26194
652.83/654.58 c #Conflicts: 487000 | #Constraints: 27194
652.83/654.58 c #Conflicts: 488000 | #Constraints: 28194
652.83/654.58 c INPROCESSING
652.83/654.58 c GARBAGE COLLECT
652.83/654.58 c #Conflicts: 489000 | #Constraints: 15394
652.83/654.58 c #Conflicts: 490000 | #Constraints: 16394
652.83/654.58 c #Conflicts: 491000 | #Constraints: 17394
652.83/654.58 c #Conflicts: 492000 | #Constraints: 18394
652.83/654.58 c #Conflicts: 493000 | #Constraints: 19394
652.83/654.58 c #Conflicts: 494000 | #Constraints: 20394
652.83/654.58 c #Conflicts: 495000 | #Constraints: 21394
652.83/654.58 c #Conflicts: 496000 | #Constraints: 22394
652.83/654.58 c #Conflicts: 497000 | #Constraints: 23394
652.83/654.58 c #Conflicts: 498000 | #Constraints: 24394
652.83/654.58 c #Conflicts: 499000 | #Constraints: 25394
652.83/654.58 c #Conflicts: 500000 | #Constraints: 26394
652.83/654.58 c #Conflicts: 501000 | #Constraints: 27394
652.83/654.58 c #Conflicts: 502000 | #Constraints: 28394
652.83/654.58 c INPROCESSING
652.83/654.58 c GARBAGE COLLECT
652.83/654.58 c #Conflicts: 503000 | #Constraints: 15401
652.83/654.58 c #Conflicts: 504000 | #Constraints: 16401
652.83/654.58 c #Conflicts: 505000 | #Constraints: 17401
652.83/654.58 c #Conflicts: 506000 | #Constraints: 18401
652.83/654.58 c #Conflicts: 507000 | #Constraints: 19401
652.83/654.58 c #Conflicts: 508000 | #Constraints: 20401
652.83/654.58 c #Conflicts: 509000 | #Constraints: 21401
652.83/654.58 c #Conflicts: 510000 | #Constraints: 22401
652.83/654.58 c #Conflicts: 511000 | #Constraints: 23401
652.83/654.58 c #Conflicts: 512000 | #Constraints: 24401
652.83/654.58 c #Conflicts: 513000 | #Constraints: 25401
652.83/654.58 c #Conflicts: 514000 | #Constraints: 26401
652.83/654.58 c bounds 495693 >= 0 @ 641.857
652.83/654.58 c stratification level: 84602
684.56/686.31 c #Conflicts: 515000 | #Constraints: 27402
684.56/686.31 c #Conflicts: 516000 | #Constraints: 28402
684.56/686.31 c INPROCESSING
684.56/686.31 c GARBAGE COLLECT
684.56/686.31 c #Conflicts: 517000 | #Constraints: 15189
684.56/686.31 c #Conflicts: 518000 | #Constraints: 16189
684.56/686.31 c #Conflicts: 519000 | #Constraints: 17189
684.56/686.31 c #Conflicts: 520000 | #Constraints: 18189
684.56/686.31 c #Conflicts: 521000 | #Constraints: 19189
684.56/686.31 c #Conflicts: 522000 | #Constraints: 20189
684.56/686.31 c #Conflicts: 523000 | #Constraints: 21189
684.56/686.31 c #Conflicts: 524000 | #Constraints: 22189
684.56/686.31 c #Conflicts: 525000 | #Constraints: 23189
684.56/686.31 c #Conflicts: 526000 | #Constraints: 24189
684.56/686.31 c #Conflicts: 527000 | #Constraints: 25189
684.56/686.31 c #Conflicts: 528000 | #Constraints: 26189
684.56/686.31 c #Conflicts: 529000 | #Constraints: 27189
684.56/686.31 c #Conflicts: 530000 | #Constraints: 28189
684.56/686.31 c #Conflicts: 531000 | #Constraints: 29189
684.56/686.31 c INPROCESSING
684.56/686.31 c GARBAGE COLLECT
684.56/686.31 c #Conflicts: 532000 | #Constraints: 15790
684.56/686.31 c #Conflicts: 533000 | #Constraints: 16790
684.56/686.31 c #Conflicts: 534000 | #Constraints: 17790
684.56/686.31 c #Conflicts: 535000 | #Constraints: 18790
684.56/686.31 c #Conflicts: 536000 | #Constraints: 19790
684.56/686.31 c bounds 486797 >= 0 @ 672.998
684.56/686.31 c stratification level: 83916
833.58/835.72 c #Conflicts: 537000 | #Constraints: 20791
833.58/835.72 c #Conflicts: 538000 | #Constraints: 21791
833.58/835.72 c #Conflicts: 539000 | #Constraints: 22791
833.58/835.72 c #Conflicts: 540000 | #Constraints: 23791
833.58/835.72 c #Conflicts: 541000 | #Constraints: 24791
833.58/835.72 c #Conflicts: 542000 | #Constraints: 25791
833.58/835.72 c #Conflicts: 543000 | #Constraints: 26791
833.58/835.72 c #Conflicts: 544000 | #Constraints: 27791
833.58/835.72 c #Conflicts: 545000 | #Constraints: 28791
833.58/835.72 c #Conflicts: 546000 | #Constraints: 29791
833.58/835.72 c INPROCESSING
833.58/835.72 c GARBAGE COLLECT
833.58/835.72 c #Conflicts: 547000 | #Constraints: 16191
833.58/835.72 c #Conflicts: 548000 | #Constraints: 17191
833.58/835.72 c #Conflicts: 549000 | #Constraints: 18191
833.58/835.72 c #Conflicts: 550000 | #Constraints: 19191
833.58/835.72 c #Conflicts: 551000 | #Constraints: 20191
833.58/835.72 c #Conflicts: 552000 | #Constraints: 21191
833.58/835.72 c #Conflicts: 553000 | #Constraints: 22191
833.58/835.72 c #Conflicts: 554000 | #Constraints: 23191
833.58/835.72 c #Conflicts: 555000 | #Constraints: 24191
833.58/835.72 c #Conflicts: 556000 | #Constraints: 25191
833.58/835.72 c #Conflicts: 557000 | #Constraints: 26191
833.58/835.72 c #Conflicts: 558000 | #Constraints: 27191
833.58/835.72 c #Conflicts: 559000 | #Constraints: 28191
833.58/835.72 c #Conflicts: 560000 | #Constraints: 29191
833.58/835.72 c #Conflicts: 561000 | #Constraints: 30191
833.58/835.72 c INPROCESSING
833.58/835.72 c GARBAGE COLLECT
833.58/835.72 c #Conflicts: 562000 | #Constraints: 16385
833.58/835.72 c #Conflicts: 563000 | #Constraints: 17385
833.58/835.72 c #Conflicts: 564000 | #Constraints: 18385
833.58/835.72 c #Conflicts: 565000 | #Constraints: 19385
833.58/835.72 c #Conflicts: 566000 | #Constraints: 20385
833.58/835.72 c #Conflicts: 567000 | #Constraints: 21385
833.58/835.72 c #Conflicts: 568000 | #Constraints: 22385
833.58/835.72 c #Conflicts: 569000 | #Constraints: 23385
833.58/835.72 c #Conflicts: 570000 | #Constraints: 24385
833.58/835.72 c #Conflicts: 571000 | #Constraints: 25385
833.58/835.72 c #Conflicts: 572000 | #Constraints: 26385
833.58/835.72 c #Conflicts: 573000 | #Constraints: 27385
833.58/835.72 c #Conflicts: 574000 | #Constraints: 28385
833.58/835.72 c #Conflicts: 575000 | #Constraints: 29385
833.58/835.72 c #Conflicts: 576000 | #Constraints: 30385
833.58/835.72 c INPROCESSING
833.58/835.72 c GARBAGE COLLECT
833.58/835.72 c #Conflicts: 577000 | #Constraints: 16382
833.58/835.72 c #Conflicts: 578000 | #Constraints: 17382
833.58/835.72 c #Conflicts: 579000 | #Constraints: 18382
833.58/835.72 c #Conflicts: 580000 | #Constraints: 19382
833.58/835.72 c #Conflicts: 581000 | #Constraints: 20382
833.58/835.72 c #Conflicts: 582000 | #Constraints: 21382
833.58/835.72 c #Conflicts: 583000 | #Constraints: 22382
833.58/835.72 c #Conflicts: 584000 | #Constraints: 23382
833.58/835.72 c #Conflicts: 585000 | #Constraints: 24382
833.58/835.72 c #Conflicts: 586000 | #Constraints: 25382
833.58/835.72 c #Conflicts: 587000 | #Constraints: 26382
833.58/835.72 c #Conflicts: 588000 | #Constraints: 27382
833.58/835.72 c #Conflicts: 589000 | #Constraints: 28382
833.58/835.72 c #Conflicts: 590000 | #Constraints: 29382
833.58/835.72 c #Conflicts: 591000 | #Constraints: 30382
833.58/835.72 c INPROCESSING
833.58/835.72 c GARBAGE COLLECT
833.58/835.72 c #Conflicts: 592000 | #Constraints: 16194
833.58/835.72 c #Conflicts: 593000 | #Constraints: 17194
833.58/835.72 c #Conflicts: 594000 | #Constraints: 18194
833.58/835.72 c #Conflicts: 595000 | #Constraints: 19194
833.58/835.72 c #Conflicts: 596000 | #Constraints: 20194
833.58/835.72 c #Conflicts: 597000 | #Constraints: 21194
833.58/835.72 c #Conflicts: 598000 | #Constraints: 22194
833.58/835.72 c #Conflicts: 599000 | #Constraints: 23194
833.58/835.72 c #Conflicts: 600000 | #Constraints: 24194
833.58/835.72 c #Conflicts: 601000 | #Constraints: 25194
833.58/835.72 c #Conflicts: 602000 | #Constraints: 26194
833.58/835.72 c #Conflicts: 603000 | #Constraints: 27194
833.58/835.72 c #Conflicts: 604000 | #Constraints: 28194
833.58/835.72 c #Conflicts: 605000 | #Constraints: 29194
833.58/835.72 c #Conflicts: 606000 | #Constraints: 30194
833.58/835.72 c #Conflicts: 607000 | #Constraints: 31194
833.58/835.72 c INPROCESSING
833.58/835.72 c GARBAGE COLLECT
833.58/835.72 c #Conflicts: 608000 | #Constraints: 16799
833.58/835.72 c #Conflicts: 609000 | #Constraints: 17799
833.58/835.72 c #Conflicts: 610000 | #Constraints: 18799
833.58/835.72 c #Conflicts: 611000 | #Constraints: 19799
833.58/835.72 c #Conflicts: 612000 | #Constraints: 20799
1000.85/1003.41 c #Conflicts: 613000 | #Constraints: 21799
1000.85/1003.41 c #Conflicts: 614000 | #Constraints: 22799
1000.85/1003.41 c #Conflicts: 615000 | #Constraints: 23799
1000.85/1003.41 c #Conflicts: 616000 | #Constraints: 24799
1000.85/1003.41 c #Conflicts: 617000 | #Constraints: 25799
1000.85/1003.41 c #Conflicts: 618000 | #Constraints: 26799
1000.85/1003.41 c #Conflicts: 619000 | #Constraints: 27799
1000.85/1003.41 c #Conflicts: 620000 | #Constraints: 28799
1000.85/1003.41 c #Conflicts: 621000 | #Constraints: 29799
1000.85/1003.41 c #Conflicts: 622000 | #Constraints: 30799
1000.85/1003.41 c #Conflicts: 623000 | #Constraints: 31799
1000.85/1003.41 c INPROCESSING
1000.85/1003.41 c GARBAGE COLLECT
1000.85/1003.41 c #Conflicts: 624000 | #Constraints: 17201
1000.85/1003.41 c #Conflicts: 625000 | #Constraints: 18201
1000.85/1003.41 c #Conflicts: 626000 | #Constraints: 19201
1000.85/1003.41 c #Conflicts: 627000 | #Constraints: 20201
1000.85/1003.41 c #Conflicts: 628000 | #Constraints: 21201
1000.85/1003.41 c #Conflicts: 629000 | #Constraints: 22201
1000.85/1003.41 c #Conflicts: 630000 | #Constraints: 23201
1000.85/1003.41 c #Conflicts: 631000 | #Constraints: 24201
1000.85/1003.41 c #Conflicts: 632000 | #Constraints: 25201
1000.85/1003.41 c #Conflicts: 633000 | #Constraints: 26201
1000.85/1003.41 c #Conflicts: 634000 | #Constraints: 27201
1000.85/1003.41 c #Conflicts: 635000 | #Constraints: 28201
1000.85/1003.41 c #Conflicts: 636000 | #Constraints: 29201
1000.85/1003.41 c #Conflicts: 637000 | #Constraints: 30201
1000.85/1003.41 c #Conflicts: 638000 | #Constraints: 31201
1000.85/1003.41 c #Conflicts: 639000 | #Constraints: 32201
1000.85/1003.41 c INPROCESSING
1000.85/1003.41 c GARBAGE COLLECT
1000.85/1003.41 c #Conflicts: 640000 | #Constraints: 17393
1000.85/1003.41 c #Conflicts: 641000 | #Constraints: 18393
1000.85/1003.41 c #Conflicts: 642000 | #Constraints: 19393
1000.85/1003.41 c #Conflicts: 643000 | #Constraints: 20393
1000.85/1003.41 c #Conflicts: 644000 | #Constraints: 21393
1000.85/1003.41 c #Conflicts: 645000 | #Constraints: 22393
1000.85/1003.41 c #Conflicts: 646000 | #Constraints: 23393
1000.85/1003.41 c #Conflicts: 647000 | #Constraints: 24393
1000.85/1003.41 c #Conflicts: 648000 | #Constraints: 25393
1000.85/1003.41 c #Conflicts: 649000 | #Constraints: 26393
1000.85/1003.41 c #Conflicts: 650000 | #Constraints: 27393
1000.85/1003.41 c #Conflicts: 651000 | #Constraints: 28393
1000.85/1003.41 c #Conflicts: 652000 | #Constraints: 29393
1000.85/1003.41 c #Conflicts: 653000 | #Constraints: 30393
1000.85/1003.41 c #Conflicts: 654000 | #Constraints: 31393
1000.85/1003.41 c #Conflicts: 655000 | #Constraints: 32393
1000.85/1003.41 c INPROCESSING
1000.85/1003.41 c GARBAGE COLLECT
1000.85/1003.41 c #Conflicts: 656000 | #Constraints: 17388
1000.85/1003.41 c #Conflicts: 657000 | #Constraints: 18388
1000.85/1003.41 c #Conflicts: 658000 | #Constraints: 19388
1000.85/1003.41 c #Conflicts: 659000 | #Constraints: 20388
1000.85/1003.41 c #Conflicts: 660000 | #Constraints: 21388
1000.85/1003.41 c #Conflicts: 661000 | #Constraints: 22388
1000.85/1003.41 c #Conflicts: 662000 | #Constraints: 23388
1000.85/1003.41 c #Conflicts: 663000 | #Constraints: 24388
1000.85/1003.41 c #Conflicts: 664000 | #Constraints: 25388
1000.85/1003.41 c #Conflicts: 665000 | #Constraints: 26388
1000.85/1003.41 c #Conflicts: 666000 | #Constraints: 27388
1000.85/1003.41 c #Conflicts: 667000 | #Constraints: 28388
1000.85/1003.41 c #Conflicts: 668000 | #Constraints: 29388
1000.85/1003.41 c #Conflicts: 669000 | #Constraints: 30388
1000.85/1003.41 c #Conflicts: 670000 | #Constraints: 31388
1000.85/1003.41 c #Conflicts: 671000 | #Constraints: 32388
1000.85/1003.41 c INPROCESSING
1000.85/1003.41 c GARBAGE COLLECT
1000.85/1003.41 c #Conflicts: 672000 | #Constraints: 17185
1000.85/1003.41 c #Conflicts: 673000 | #Constraints: 18185
1000.85/1003.41 c #Conflicts: 674000 | #Constraints: 19185
1000.85/1003.41 c #Conflicts: 675000 | #Constraints: 20185
1000.85/1003.41 c #Conflicts: 676000 | #Constraints: 21185
1000.85/1003.41 c #Conflicts: 677000 | #Constraints: 22185
1000.85/1003.41 c #Conflicts: 678000 | #Constraints: 23185
1000.85/1003.41 c #Conflicts: 679000 | #Constraints: 24185
1000.85/1003.41 c #Conflicts: 680000 | #Constraints: 25185
1000.85/1003.41 c #Conflicts: 681000 | #Constraints: 26185
1000.85/1003.41 c #Conflicts: 682000 | #Constraints: 27185
1000.85/1003.41 c #Conflicts: 683000 | #Constraints: 28185
1000.85/1003.41 c #Conflicts: 684000 | #Constraints: 29185
1000.85/1003.41 c #Conflicts: 685000 | #Constraints: 30185
1000.85/1003.41 c #Conflicts: 686000 | #Constraints: 31185
1000.85/1003.41 c #Conflicts: 687000 | #Constraints: 32185
1000.85/1003.41 c #Conflicts: 688000 | #Constraints: 33185
1198.74/1201.89 c INPROCESSING
1198.74/1201.89 c GARBAGE COLLECT
1198.74/1201.89 c #Conflicts: 689000 | #Constraints: 17781
1198.74/1201.89 c #Conflicts: 690000 | #Constraints: 18781
1198.74/1201.89 c #Conflicts: 691000 | #Constraints: 19781
1198.74/1201.89 c #Conflicts: 692000 | #Constraints: 20781
1198.74/1201.89 c #Conflicts: 693000 | #Constraints: 21781
1198.74/1201.89 c #Conflicts: 694000 | #Constraints: 22781
1198.74/1201.89 c #Conflicts: 695000 | #Constraints: 23781
1198.74/1201.89 c #Conflicts: 696000 | #Constraints: 24781
1198.74/1201.89 c #Conflicts: 697000 | #Constraints: 25781
1198.74/1201.89 c #Conflicts: 698000 | #Constraints: 26781
1198.74/1201.89 c #Conflicts: 699000 | #Constraints: 27781
1198.74/1201.89 c #Conflicts: 700000 | #Constraints: 28781
1198.74/1201.89 c #Conflicts: 701000 | #Constraints: 29781
1198.74/1201.89 c #Conflicts: 702000 | #Constraints: 30781
1198.74/1201.89 c #Conflicts: 703000 | #Constraints: 31781
1198.74/1201.89 c #Conflicts: 704000 | #Constraints: 32781
1198.74/1201.89 c #Conflicts: 705000 | #Constraints: 33781
1198.74/1201.89 c INPROCESSING
1198.74/1201.89 c GARBAGE COLLECT
1198.74/1201.89 c #Conflicts: 706000 | #Constraints: 18188
1198.74/1201.89 c #Conflicts: 707000 | #Constraints: 19188
1198.74/1201.89 c #Conflicts: 708000 | #Constraints: 20188
1198.74/1201.89 c #Conflicts: 709000 | #Constraints: 21188
1198.74/1201.89 c #Conflicts: 710000 | #Constraints: 22188
1198.74/1201.89 c #Conflicts: 711000 | #Constraints: 23188
1198.74/1201.89 c #Conflicts: 712000 | #Constraints: 24188
1198.74/1201.89 c #Conflicts: 713000 | #Constraints: 25188
1198.74/1201.89 c #Conflicts: 714000 | #Constraints: 26188
1198.74/1201.89 c #Conflicts: 715000 | #Constraints: 27188
1198.74/1201.89 c #Conflicts: 716000 | #Constraints: 28188
1198.74/1201.89 c #Conflicts: 717000 | #Constraints: 29188
1198.74/1201.89 c #Conflicts: 718000 | #Constraints: 30188
1198.74/1201.89 c #Conflicts: 719000 | #Constraints: 31188
1198.74/1201.89 c #Conflicts: 720000 | #Constraints: 32188
1198.74/1201.89 c #Conflicts: 721000 | #Constraints: 33188
1198.74/1201.89 c #Conflicts: 722000 | #Constraints: 34188
1198.74/1201.89 c INPROCESSING
1198.74/1201.89 c GARBAGE COLLECT
1198.74/1201.89 c #Conflicts: 723000 | #Constraints: 18397
1198.74/1201.89 c #Conflicts: 724000 | #Constraints: 19397
1198.74/1201.89 c #Conflicts: 725000 | #Constraints: 20397
1198.74/1201.89 c #Conflicts: 726000 | #Constraints: 21397
1198.74/1201.89 c #Conflicts: 727000 | #Constraints: 22397
1198.74/1201.89 c #Conflicts: 728000 | #Constraints: 23397
1198.74/1201.89 c #Conflicts: 729000 | #Constraints: 24397
1198.74/1201.89 c #Conflicts: 730000 | #Constraints: 25397
1198.74/1201.89 c #Conflicts: 731000 | #Constraints: 26397
1198.74/1201.89 c #Conflicts: 732000 | #Constraints: 27397
1198.74/1201.89 c #Conflicts: 733000 | #Constraints: 28397
1198.74/1201.89 c #Conflicts: 734000 | #Constraints: 29397
1198.74/1201.89 c #Conflicts: 735000 | #Constraints: 30397
1198.74/1201.89 c #Conflicts: 736000 | #Constraints: 31397
1198.74/1201.89 c #Conflicts: 737000 | #Constraints: 32397
1198.74/1201.89 c #Conflicts: 738000 | #Constraints: 33397
1198.74/1201.89 c #Conflicts: 739000 | #Constraints: 34397
1198.74/1201.89 c INPROCESSING
1198.74/1201.89 c GARBAGE COLLECT
1198.74/1201.89 c #Conflicts: 740000 | #Constraints: 18410
1198.74/1201.89 c #Conflicts: 741000 | #Constraints: 19410
1198.74/1201.89 c #Conflicts: 742000 | #Constraints: 20410
1198.74/1201.89 c #Conflicts: 743000 | #Constraints: 21410
1198.74/1201.89 c #Conflicts: 744000 | #Constraints: 22410
1198.74/1201.89 c #Conflicts: 745000 | #Constraints: 23410
1198.74/1201.89 c #Conflicts: 746000 | #Constraints: 24410
1198.74/1201.89 c #Conflicts: 747000 | #Constraints: 25410
1198.74/1201.89 c #Conflicts: 748000 | #Constraints: 26410
1198.74/1201.89 c #Conflicts: 749000 | #Constraints: 27410
1198.74/1201.89 c #Conflicts: 750000 | #Constraints: 28410
1198.74/1201.89 c #Conflicts: 751000 | #Constraints: 29410
1198.74/1201.89 c #Conflicts: 752000 | #Constraints: 30410
1198.74/1201.89 c #Conflicts: 753000 | #Constraints: 31410
1198.74/1201.89 c #Conflicts: 754000 | #Constraints: 32410
1198.74/1201.89 c #Conflicts: 755000 | #Constraints: 33410
1198.74/1201.89 c #Conflicts: 756000 | #Constraints: 34410
1198.74/1201.89 c INPROCESSING
1198.74/1201.89 c GARBAGE COLLECT
1198.74/1201.89 c #Conflicts: 757000 | #Constraints: 18200
1198.74/1201.89 c #Conflicts: 758000 | #Constraints: 19200
1198.74/1201.89 c #Conflicts: 759000 | #Constraints: 20200
1198.74/1201.89 c #Conflicts: 760000 | #Constraints: 21200
1198.74/1201.89 c #Conflicts: 761000 | #Constraints: 22200
1198.74/1201.89 c #Conflicts: 762000 | #Constraints: 23200
1198.74/1201.89 c #Conflicts: 763000 | #Constraints: 24200
1198.74/1201.89 c #Conflicts: 764000 | #Constraints: 25200
1359.61/1363.12 c #Conflicts: 765000 | #Constraints: 26200
1359.61/1363.12 c #Conflicts: 766000 | #Constraints: 27200
1359.61/1363.12 c #Conflicts: 767000 | #Constraints: 28200
1359.61/1363.12 c #Conflicts: 768000 | #Constraints: 29200
1359.61/1363.12 c #Conflicts: 769000 | #Constraints: 30200
1359.61/1363.12 c #Conflicts: 770000 | #Constraints: 31200
1359.61/1363.12 c #Conflicts: 771000 | #Constraints: 32200
1359.61/1363.12 c #Conflicts: 772000 | #Constraints: 33200
1359.61/1363.12 c #Conflicts: 773000 | #Constraints: 34200
1359.61/1363.12 c #Conflicts: 774000 | #Constraints: 35200
1359.61/1363.12 c INPROCESSING
1359.61/1363.12 c GARBAGE COLLECT
1359.61/1363.12 c #Conflicts: 775000 | #Constraints: 18790
1359.61/1363.12 c #Conflicts: 776000 | #Constraints: 19790
1359.61/1363.12 c #Conflicts: 777000 | #Constraints: 20790
1359.61/1363.12 c #Conflicts: 778000 | #Constraints: 21790
1359.61/1363.12 c #Conflicts: 779000 | #Constraints: 22790
1359.61/1363.12 c #Conflicts: 780000 | #Constraints: 23790
1359.61/1363.12 c #Conflicts: 781000 | #Constraints: 24790
1359.61/1363.12 c #Conflicts: 782000 | #Constraints: 25790
1359.61/1363.12 c #Conflicts: 783000 | #Constraints: 26790
1359.61/1363.12 c #Conflicts: 784000 | #Constraints: 27790
1359.61/1363.12 c #Conflicts: 785000 | #Constraints: 28790
1359.61/1363.12 c #Conflicts: 786000 | #Constraints: 29790
1359.61/1363.12 c #Conflicts: 787000 | #Constraints: 30790
1359.61/1363.12 c #Conflicts: 788000 | #Constraints: 31790
1359.61/1363.12 c #Conflicts: 789000 | #Constraints: 32790
1359.61/1363.12 c #Conflicts: 790000 | #Constraints: 33790
1359.61/1363.12 c #Conflicts: 791000 | #Constraints: 34790
1359.61/1363.12 c #Conflicts: 792000 | #Constraints: 35790
1359.61/1363.12 c INPROCESSING
1359.61/1363.12 c GARBAGE COLLECT
1359.61/1363.12 c #Conflicts: 793000 | #Constraints: 19188
1359.61/1363.12 c #Conflicts: 794000 | #Constraints: 20188
1359.61/1363.12 c #Conflicts: 795000 | #Constraints: 21188
1359.61/1363.12 c #Conflicts: 796000 | #Constraints: 22188
1359.61/1363.12 c #Conflicts: 797000 | #Constraints: 23188
1359.61/1363.12 c #Conflicts: 798000 | #Constraints: 24188
1359.61/1363.12 c #Conflicts: 799000 | #Constraints: 25188
1359.61/1363.12 c #Conflicts: 800000 | #Constraints: 26188
1359.61/1363.12 c #Conflicts: 801000 | #Constraints: 27188
1359.61/1363.12 c #Conflicts: 802000 | #Constraints: 28188
1359.61/1363.12 c #Conflicts: 803000 | #Constraints: 29188
1359.61/1363.12 c #Conflicts: 804000 | #Constraints: 30188
1359.61/1363.12 c #Conflicts: 805000 | #Constraints: 31188
1359.61/1363.12 c #Conflicts: 806000 | #Constraints: 32188
1359.61/1363.12 c #Conflicts: 807000 | #Constraints: 33188
1359.61/1363.12 c #Conflicts: 808000 | #Constraints: 34188
1359.61/1363.12 c #Conflicts: 809000 | #Constraints: 35188
1359.61/1363.12 c #Conflicts: 810000 | #Constraints: 36188
1359.61/1363.12 c INPROCESSING
1359.61/1363.12 c GARBAGE COLLECT
1359.61/1363.12 c #Conflicts: 811000 | #Constraints: 19393
1359.61/1363.12 c #Conflicts: 812000 | #Constraints: 20393
1359.61/1363.12 c #Conflicts: 813000 | #Constraints: 21393
1359.61/1363.12 c #Conflicts: 814000 | #Constraints: 22393
1359.61/1363.12 c #Conflicts: 815000 | #Constraints: 23393
1359.61/1363.12 c #Conflicts: 816000 | #Constraints: 24393
1359.61/1363.12 c #Conflicts: 817000 | #Constraints: 25393
1359.61/1363.12 c #Conflicts: 818000 | #Constraints: 26393
1359.61/1363.12 c #Conflicts: 819000 | #Constraints: 27393
1359.61/1363.12 c #Conflicts: 820000 | #Constraints: 28393
1359.61/1363.12 c #Conflicts: 821000 | #Constraints: 29393
1359.61/1363.12 c #Conflicts: 822000 | #Constraints: 30393
1359.61/1363.12 c #Conflicts: 823000 | #Constraints: 31393
1359.61/1363.12 c #Conflicts: 824000 | #Constraints: 32393
1359.61/1363.12 c #Conflicts: 825000 | #Constraints: 33393
1359.61/1363.12 c #Conflicts: 826000 | #Constraints: 34393
1359.61/1363.12 c #Conflicts: 827000 | #Constraints: 35393
1359.61/1363.12 c #Conflicts: 828000 | #Constraints: 36393
1359.61/1363.12 c INPROCESSING
1359.61/1363.12 c GARBAGE COLLECT
1359.61/1363.12 c #Conflicts: 829000 | #Constraints: 19388
1359.61/1363.12 c #Conflicts: 830000 | #Constraints: 20388
1359.61/1363.12 c #Conflicts: 831000 | #Constraints: 21388
1359.61/1363.12 c #Conflicts: 832000 | #Constraints: 22388
1359.61/1363.12 c #Conflicts: 833000 | #Constraints: 23388
1359.61/1363.12 c #Conflicts: 834000 | #Constraints: 24388
1359.61/1363.12 c #Conflicts: 835000 | #Constraints: 25388
1359.61/1363.12 c #Conflicts: 836000 | #Constraints: 26388
1359.61/1363.12 c #Conflicts: 837000 | #Constraints: 27388
1359.61/1363.12 c #Conflicts: 838000 | #Constraints: 28388
1359.61/1363.12 c #Conflicts: 839000 | #Constraints: 29388
1359.61/1363.12 c #Conflicts: 840000 | #Constraints: 30388
1388.71/1392.33 c #Conflicts: 841000 | #Constraints: 31388
1388.71/1392.33 c #Conflicts: 842000 | #Constraints: 32388
1388.71/1392.33 c #Conflicts: 843000 | #Constraints: 33388
1388.71/1392.33 c #Conflicts: 844000 | #Constraints: 34388
1388.71/1392.33 c #Conflicts: 845000 | #Constraints: 35388
1388.71/1392.33 c #Conflicts: 846000 | #Constraints: 36388
1388.71/1392.33 c INPROCESSING
1388.71/1392.33 c GARBAGE COLLECT
1388.71/1392.33 c #Conflicts: 847000 | #Constraints: 19188
1388.71/1392.33 c #Conflicts: 848000 | #Constraints: 20188
1388.71/1392.33 c #Conflicts: 849000 | #Constraints: 21188
1388.71/1392.33 c #Conflicts: 850000 | #Constraints: 22188
1388.71/1392.33 c bounds 483778 >= 0 @ 1368.43
1388.71/1392.33 c stratification level: 83735
1551.48/1555.56 c #Conflicts: 851000 | #Constraints: 23189
1551.48/1555.56 c #Conflicts: 852000 | #Constraints: 24189
1551.48/1555.56 c #Conflicts: 853000 | #Constraints: 25189
1551.48/1555.56 c #Conflicts: 854000 | #Constraints: 26189
1551.48/1555.56 c #Conflicts: 855000 | #Constraints: 27189
1551.48/1555.56 c #Conflicts: 856000 | #Constraints: 28189
1551.48/1555.56 c #Conflicts: 857000 | #Constraints: 29189
1551.48/1555.56 c #Conflicts: 858000 | #Constraints: 30189
1551.48/1555.56 c #Conflicts: 859000 | #Constraints: 31189
1551.48/1555.56 c #Conflicts: 860000 | #Constraints: 32189
1551.48/1555.56 c #Conflicts: 861000 | #Constraints: 33189
1551.48/1555.56 c #Conflicts: 862000 | #Constraints: 34189
1551.48/1555.56 c #Conflicts: 863000 | #Constraints: 35189
1551.48/1555.56 c #Conflicts: 864000 | #Constraints: 36189
1551.48/1555.56 c #Conflicts: 865000 | #Constraints: 37189
1551.48/1555.56 c INPROCESSING
1551.48/1555.56 c GARBAGE COLLECT
1551.48/1555.56 c #Conflicts: 866000 | #Constraints: 19790
1551.48/1555.56 c #Conflicts: 867000 | #Constraints: 20790
1551.48/1555.56 c #Conflicts: 868000 | #Constraints: 21790
1551.48/1555.56 c #Conflicts: 869000 | #Constraints: 22790
1551.48/1555.56 c #Conflicts: 870000 | #Constraints: 23790
1551.48/1555.56 c #Conflicts: 871000 | #Constraints: 24790
1551.48/1555.56 c #Conflicts: 872000 | #Constraints: 25790
1551.48/1555.56 c #Conflicts: 873000 | #Constraints: 26790
1551.48/1555.56 c #Conflicts: 874000 | #Constraints: 27790
1551.48/1555.56 c #Conflicts: 875000 | #Constraints: 28790
1551.48/1555.56 c #Conflicts: 876000 | #Constraints: 29790
1551.48/1555.56 c #Conflicts: 877000 | #Constraints: 30790
1551.48/1555.56 c #Conflicts: 878000 | #Constraints: 31790
1551.48/1555.56 c #Conflicts: 879000 | #Constraints: 32790
1551.48/1555.56 c #Conflicts: 880000 | #Constraints: 33790
1551.48/1555.56 c #Conflicts: 881000 | #Constraints: 34790
1551.48/1555.56 c #Conflicts: 882000 | #Constraints: 35790
1551.48/1555.56 c #Conflicts: 883000 | #Constraints: 36790
1551.48/1555.56 c #Conflicts: 884000 | #Constraints: 37790
1551.48/1555.56 c INPROCESSING
1551.48/1555.56 c GARBAGE COLLECT
1551.48/1555.56 c #Conflicts: 885000 | #Constraints: 20198
1551.48/1555.56 c #Conflicts: 886000 | #Constraints: 21198
1551.48/1555.56 c #Conflicts: 887000 | #Constraints: 22198
1551.48/1555.56 c #Conflicts: 888000 | #Constraints: 23198
1551.48/1555.56 c #Conflicts: 889000 | #Constraints: 24198
1551.48/1555.56 c #Conflicts: 890000 | #Constraints: 25198
1551.48/1555.56 c #Conflicts: 891000 | #Constraints: 26198
1551.48/1555.56 c #Conflicts: 892000 | #Constraints: 27198
1551.48/1555.56 c #Conflicts: 893000 | #Constraints: 28198
1551.48/1555.56 c #Conflicts: 894000 | #Constraints: 29198
1551.48/1555.56 c #Conflicts: 895000 | #Constraints: 30198
1551.48/1555.56 c #Conflicts: 896000 | #Constraints: 31198
1551.48/1555.56 c #Conflicts: 897000 | #Constraints: 32198
1551.48/1555.56 c #Conflicts: 898000 | #Constraints: 33198
1551.48/1555.56 c #Conflicts: 899000 | #Constraints: 34198
1551.48/1555.56 c #Conflicts: 900000 | #Constraints: 35198
1551.48/1555.56 c #Conflicts: 901000 | #Constraints: 36198
1551.48/1555.56 c #Conflicts: 902000 | #Constraints: 37198
1551.48/1555.56 c #Conflicts: 903000 | #Constraints: 38198
1551.48/1555.56 c INPROCESSING
1551.48/1555.56 c GARBAGE COLLECT
1551.48/1555.56 c #Conflicts: 904000 | #Constraints: 20399
1551.48/1555.56 c #Conflicts: 905000 | #Constraints: 21399
1551.48/1555.56 c #Conflicts: 906000 | #Constraints: 22399
1551.48/1555.56 c #Conflicts: 907000 | #Constraints: 23399
1551.48/1555.56 c #Conflicts: 908000 | #Constraints: 24399
1551.48/1555.56 c #Conflicts: 909000 | #Constraints: 25399
1551.48/1555.56 c #Conflicts: 910000 | #Constraints: 26399
1551.48/1555.56 c #Conflicts: 911000 | #Constraints: 27399
1551.48/1555.56 c #Conflicts: 912000 | #Constraints: 28399
1551.48/1555.56 c #Conflicts: 913000 | #Constraints: 29399
1551.48/1555.56 c #Conflicts: 914000 | #Constraints: 30399
1551.48/1555.56 c #Conflicts: 915000 | #Constraints: 31399
1551.48/1555.56 c #Conflicts: 916000 | #Constraints: 32399
1551.48/1555.56 c #Conflicts: 917000 | #Constraints: 33399
1551.48/1555.56 c #Conflicts: 918000 | #Constraints: 34399
1551.48/1555.56 c #Conflicts: 919000 | #Constraints: 35399
1551.48/1555.56 c #Conflicts: 920000 | #Constraints: 36399
1551.48/1555.56 c #Conflicts: 921000 | #Constraints: 37399
1551.48/1555.56 c #Conflicts: 922000 | #Constraints: 38399
1551.48/1555.56 c INPROCESSING
1551.48/1555.56 c GARBAGE COLLECT
1551.48/1555.56 c #Conflicts: 923000 | #Constraints: 20390
1551.48/1555.56 c #Conflicts: 924000 | #Constraints: 21390
1551.48/1555.56 c #Conflicts: 925000 | #Constraints: 22390
1551.48/1555.56 c #Conflicts: 926000 | #Constraints: 23390
1551.48/1555.56 c #Conflicts: 927000 | #Constraints: 24390
1572.43/1576.57 c #Conflicts: 928000 | #Constraints: 25390
1572.43/1576.57 c #Conflicts: 929000 | #Constraints: 26390
1572.43/1576.57 c #Conflicts: 930000 | #Constraints: 27390
1572.43/1576.57 c #Conflicts: 931000 | #Constraints: 28390
1572.43/1576.57 c #Conflicts: 932000 | #Constraints: 29390
1572.43/1576.57 c #Conflicts: 933000 | #Constraints: 30390
1572.43/1576.57 c #Conflicts: 934000 | #Constraints: 31390
1572.43/1576.57 c #Conflicts: 935000 | #Constraints: 32390
1572.43/1576.57 c #Conflicts: 936000 | #Constraints: 33390
1572.43/1576.57 c #Conflicts: 937000 | #Constraints: 34390
1572.43/1576.57 c #Conflicts: 938000 | #Constraints: 35390
1572.43/1576.57 c bounds 475992 >= 0 @ 1549.56
1572.43/1576.57 c stratification level: 83675
1726.39/1730.97 c #Conflicts: 939000 | #Constraints: 36391
1726.39/1730.97 c #Conflicts: 940000 | #Constraints: 37391
1726.39/1730.97 c #Conflicts: 941000 | #Constraints: 38391
1726.39/1730.97 c INPROCESSING
1726.39/1730.97 c GARBAGE COLLECT
1726.39/1730.97 c #Conflicts: 942000 | #Constraints: 20191
1726.39/1730.97 c #Conflicts: 943000 | #Constraints: 21191
1726.39/1730.97 c #Conflicts: 944000 | #Constraints: 22191
1726.39/1730.97 c #Conflicts: 945000 | #Constraints: 23191
1726.39/1730.97 c #Conflicts: 946000 | #Constraints: 24191
1726.39/1730.97 c #Conflicts: 947000 | #Constraints: 25191
1726.39/1730.97 c #Conflicts: 948000 | #Constraints: 26191
1726.39/1730.97 c #Conflicts: 949000 | #Constraints: 27191
1726.39/1730.97 c #Conflicts: 950000 | #Constraints: 28191
1726.39/1730.97 c #Conflicts: 951000 | #Constraints: 29191
1726.39/1730.97 c #Conflicts: 952000 | #Constraints: 30191
1726.39/1730.97 c #Conflicts: 953000 | #Constraints: 31191
1726.39/1730.97 c #Conflicts: 954000 | #Constraints: 32191
1726.39/1730.97 c #Conflicts: 955000 | #Constraints: 33191
1726.39/1730.97 c #Conflicts: 956000 | #Constraints: 34191
1726.39/1730.97 c #Conflicts: 957000 | #Constraints: 35191
1726.39/1730.97 c #Conflicts: 958000 | #Constraints: 36191
1726.39/1730.97 c #Conflicts: 959000 | #Constraints: 37191
1726.39/1730.97 c #Conflicts: 960000 | #Constraints: 38191
1726.39/1730.97 c #Conflicts: 961000 | #Constraints: 39191
1726.39/1730.97 c INPROCESSING
1726.39/1730.97 c GARBAGE COLLECT
1726.39/1730.97 c #Conflicts: 962000 | #Constraints: 20789
1726.39/1730.97 c #Conflicts: 963000 | #Constraints: 21789
1726.39/1730.97 c #Conflicts: 964000 | #Constraints: 22789
1726.39/1730.97 c #Conflicts: 965000 | #Constraints: 23789
1726.39/1730.97 c #Conflicts: 966000 | #Constraints: 24789
1726.39/1730.97 c #Conflicts: 967000 | #Constraints: 25789
1726.39/1730.97 c #Conflicts: 968000 | #Constraints: 26789
1726.39/1730.97 c #Conflicts: 969000 | #Constraints: 27789
1726.39/1730.97 c #Conflicts: 970000 | #Constraints: 28789
1726.39/1730.97 c #Conflicts: 971000 | #Constraints: 29789
1726.39/1730.97 c #Conflicts: 972000 | #Constraints: 30789
1726.39/1730.97 c #Conflicts: 973000 | #Constraints: 31789
1726.39/1730.97 c #Conflicts: 974000 | #Constraints: 32789
1726.39/1730.97 c #Conflicts: 975000 | #Constraints: 33789
1726.39/1730.97 c #Conflicts: 976000 | #Constraints: 34789
1726.39/1730.97 c #Conflicts: 977000 | #Constraints: 35789
1726.39/1730.97 c #Conflicts: 978000 | #Constraints: 36789
1726.39/1730.97 c #Conflicts: 979000 | #Constraints: 37789
1726.39/1730.97 c #Conflicts: 980000 | #Constraints: 38789
1726.39/1730.97 c #Conflicts: 981000 | #Constraints: 39789
1726.39/1730.97 c INPROCESSING
1726.39/1730.97 c GARBAGE COLLECT
1726.39/1730.97 c #Conflicts: 982000 | #Constraints: 21195
1726.39/1730.97 c #Conflicts: 983000 | #Constraints: 22195
1726.39/1730.97 c #Conflicts: 984000 | #Constraints: 23195
1726.39/1730.97 c #Conflicts: 985000 | #Constraints: 24195
1726.39/1730.97 c #Conflicts: 986000 | #Constraints: 25195
1726.39/1730.97 c #Conflicts: 987000 | #Constraints: 26195
1726.39/1730.97 c #Conflicts: 988000 | #Constraints: 27195
1726.39/1730.97 c #Conflicts: 989000 | #Constraints: 28195
1726.39/1730.97 c #Conflicts: 990000 | #Constraints: 29195
1726.39/1730.97 c #Conflicts: 991000 | #Constraints: 30195
1726.39/1730.97 c #Conflicts: 992000 | #Constraints: 31195
1726.39/1730.97 c #Conflicts: 993000 | #Constraints: 32195
1726.39/1730.97 c #Conflicts: 994000 | #Constraints: 33195
1726.39/1730.97 c #Conflicts: 995000 | #Constraints: 34195
1726.39/1730.97 c #Conflicts: 996000 | #Constraints: 35195
1726.39/1730.97 c #Conflicts: 997000 | #Constraints: 36195
1726.39/1730.97 c #Conflicts: 998000 | #Constraints: 37195
1726.39/1730.97 c #Conflicts: 999000 | #Constraints: 38195
1726.39/1730.97 c #Conflicts: 1000000 | #Constraints: 39195
1726.39/1730.97 c #Conflicts: 1001000 | #Constraints: 40195
1726.39/1730.97 c INPROCESSING
1726.39/1730.97 c GARBAGE COLLECT
1726.39/1730.97 c #Conflicts: 1002000 | #Constraints: 21402
1726.39/1730.97 c #Conflicts: 1003000 | #Constraints: 22402
1726.39/1730.97 c #Conflicts: 1004000 | #Constraints: 23402
1726.39/1730.97 c #Conflicts: 1005000 | #Constraints: 24402
1726.39/1730.97 c #Conflicts: 1006000 | #Constraints: 25402
1726.39/1730.97 c #Conflicts: 1007000 | #Constraints: 26402
1726.39/1730.97 c #Conflicts: 1008000 | #Constraints: 27402
1726.39/1730.97 c #Conflicts: 1009000 | #Constraints: 28402
1726.39/1730.97 c #Conflicts: 1010000 | #Constraints: 29402
1726.39/1730.97 c #Conflicts: 1011000 | #Constraints: 30402
1726.39/1730.97 c #Conflicts: 1012000 | #Constraints: 31402
1726.39/1730.97 c #Conflicts: 1013000 | #Constraints: 32402
1726.39/1730.97 c #Conflicts: 1014000 | #Constraints: 33402
1726.39/1730.97 c #Conflicts: 1015000 | #Constraints: 34402
1912.64/1917.60 c #Conflicts: 1016000 | #Constraints: 35402
1912.64/1917.60 c #Conflicts: 1017000 | #Constraints: 36402
1912.64/1917.60 c #Conflicts: 1018000 | #Constraints: 37402
1912.64/1917.60 c #Conflicts: 1019000 | #Constraints: 38402
1912.64/1917.60 c #Conflicts: 1020000 | #Constraints: 39402
1912.64/1917.60 c #Conflicts: 1021000 | #Constraints: 40402
1912.64/1917.60 c INPROCESSING
1912.64/1917.60 c GARBAGE COLLECT
1912.64/1917.60 c #Conflicts: 1022000 | #Constraints: 21402
1912.64/1917.60 c #Conflicts: 1023000 | #Constraints: 22402
1912.64/1917.60 c #Conflicts: 1024000 | #Constraints: 23402
1912.64/1917.60 c #Conflicts: 1025000 | #Constraints: 24402
1912.64/1917.60 c #Conflicts: 1026000 | #Constraints: 25402
1912.64/1917.60 c #Conflicts: 1027000 | #Constraints: 26402
1912.64/1917.60 c #Conflicts: 1028000 | #Constraints: 27402
1912.64/1917.60 c #Conflicts: 1029000 | #Constraints: 28402
1912.64/1917.60 c #Conflicts: 1030000 | #Constraints: 29402
1912.64/1917.60 c #Conflicts: 1031000 | #Constraints: 30402
1912.64/1917.60 c #Conflicts: 1032000 | #Constraints: 31402
1912.64/1917.60 c #Conflicts: 1033000 | #Constraints: 32402
1912.64/1917.60 c #Conflicts: 1034000 | #Constraints: 33402
1912.64/1917.60 c #Conflicts: 1035000 | #Constraints: 34402
1912.64/1917.60 c #Conflicts: 1036000 | #Constraints: 35402
1912.64/1917.60 c #Conflicts: 1037000 | #Constraints: 36402
1912.64/1917.60 c #Conflicts: 1038000 | #Constraints: 37402
1912.64/1917.60 c #Conflicts: 1039000 | #Constraints: 38402
1912.64/1917.60 c #Conflicts: 1040000 | #Constraints: 39402
1912.64/1917.60 c #Conflicts: 1041000 | #Constraints: 40402
1912.64/1917.60 c INPROCESSING
1912.64/1917.60 c GARBAGE COLLECT
1912.64/1917.60 c #Conflicts: 1042000 | #Constraints: 21194
1912.64/1917.60 c #Conflicts: 1043000 | #Constraints: 22194
1912.64/1917.60 c #Conflicts: 1044000 | #Constraints: 23194
1912.64/1917.60 c #Conflicts: 1045000 | #Constraints: 24194
1912.64/1917.60 c #Conflicts: 1046000 | #Constraints: 25194
1912.64/1917.60 c #Conflicts: 1047000 | #Constraints: 26194
1912.64/1917.60 c #Conflicts: 1048000 | #Constraints: 27194
1912.64/1917.60 c #Conflicts: 1049000 | #Constraints: 28194
1912.64/1917.60 c #Conflicts: 1050000 | #Constraints: 29194
1912.64/1917.60 c #Conflicts: 1051000 | #Constraints: 30194
1912.64/1917.60 c #Conflicts: 1052000 | #Constraints: 31194
1912.64/1917.60 c #Conflicts: 1053000 | #Constraints: 32194
1912.64/1917.60 c #Conflicts: 1054000 | #Constraints: 33194
1912.64/1917.60 c #Conflicts: 1055000 | #Constraints: 34194
1912.64/1917.60 c #Conflicts: 1056000 | #Constraints: 35194
1912.64/1917.60 c #Conflicts: 1057000 | #Constraints: 36194
1912.64/1917.60 c #Conflicts: 1058000 | #Constraints: 37194
1912.64/1917.60 c #Conflicts: 1059000 | #Constraints: 38194
1912.64/1917.60 c #Conflicts: 1060000 | #Constraints: 39194
1912.64/1917.60 c #Conflicts: 1061000 | #Constraints: 40194
1912.64/1917.60 c #Conflicts: 1062000 | #Constraints: 41194
1912.64/1917.60 c INPROCESSING
1912.64/1917.60 c GARBAGE COLLECT
1912.64/1917.60 c #Conflicts: 1063000 | #Constraints: 21808
1912.64/1917.60 c #Conflicts: 1064000 | #Constraints: 22808
1912.64/1917.60 c #Conflicts: 1065000 | #Constraints: 23808
1912.64/1917.60 c #Conflicts: 1066000 | #Constraints: 24808
1912.64/1917.60 c #Conflicts: 1067000 | #Constraints: 25808
1912.64/1917.60 c #Conflicts: 1068000 | #Constraints: 26808
1912.64/1917.60 c #Conflicts: 1069000 | #Constraints: 27808
1912.64/1917.60 c #Conflicts: 1070000 | #Constraints: 28808
1912.64/1917.60 c #Conflicts: 1071000 | #Constraints: 29808
1912.64/1917.60 c #Conflicts: 1072000 | #Constraints: 30808
1912.64/1917.60 c #Conflicts: 1073000 | #Constraints: 31808
1912.64/1917.60 c #Conflicts: 1074000 | #Constraints: 32808
1912.64/1917.60 c #Conflicts: 1075000 | #Constraints: 33808
1912.64/1917.60 c #Conflicts: 1076000 | #Constraints: 34808
1912.64/1917.60 c #Conflicts: 1077000 | #Constraints: 35808
1912.64/1917.60 c #Conflicts: 1078000 | #Constraints: 36808
1912.64/1917.60 c #Conflicts: 1079000 | #Constraints: 37808
1912.64/1917.60 c #Conflicts: 1080000 | #Constraints: 38808
1912.64/1917.60 c #Conflicts: 1081000 | #Constraints: 39808
1912.64/1917.60 c #Conflicts: 1082000 | #Constraints: 40808
1912.64/1917.60 c #Conflicts: 1083000 | #Constraints: 41808
1912.64/1917.60 c INPROCESSING
1912.64/1917.60 c GARBAGE COLLECT
1912.64/1917.60 c #Conflicts: 1084000 | #Constraints: 22194
1912.64/1917.60 c #Conflicts: 1085000 | #Constraints: 23194
1912.64/1917.60 c #Conflicts: 1086000 | #Constraints: 24194
1912.64/1917.60 c #Conflicts: 1087000 | #Constraints: 25194
1912.64/1917.60 c #Conflicts: 1088000 | #Constraints: 26194
1912.64/1917.60 c #Conflicts: 1089000 | #Constraints: 27194
1912.64/1917.60 c #Conflicts: 1090000 | #Constraints: 28194
1912.64/1917.60 c #Conflicts: 1091000 | #Constraints: 29194
2046.49/2051.88 c #Conflicts: 1092000 | #Constraints: 30194
2046.49/2051.88 c #Conflicts: 1093000 | #Constraints: 31194
2046.49/2051.88 c #Conflicts: 1094000 | #Constraints: 32194
2046.49/2051.88 c #Conflicts: 1095000 | #Constraints: 33194
2046.49/2051.88 c #Conflicts: 1096000 | #Constraints: 34194
2046.49/2051.88 c #Conflicts: 1097000 | #Constraints: 35194
2046.49/2051.88 c #Conflicts: 1098000 | #Constraints: 36194
2046.49/2051.88 c #Conflicts: 1099000 | #Constraints: 37194
2046.49/2051.88 c #Conflicts: 1100000 | #Constraints: 38194
2046.49/2051.88 c #Conflicts: 1101000 | #Constraints: 39194
2046.49/2051.88 c #Conflicts: 1102000 | #Constraints: 40194
2046.49/2051.88 c #Conflicts: 1103000 | #Constraints: 41194
2046.49/2051.88 c #Conflicts: 1104000 | #Constraints: 42194
2046.49/2051.88 c INPROCESSING
2046.49/2051.88 c GARBAGE COLLECT
2046.49/2051.88 c #Conflicts: 1105000 | #Constraints: 22412
2046.49/2051.88 c #Conflicts: 1106000 | #Constraints: 23412
2046.49/2051.88 c #Conflicts: 1107000 | #Constraints: 24412
2046.49/2051.88 c #Conflicts: 1108000 | #Constraints: 25412
2046.49/2051.88 c #Conflicts: 1109000 | #Constraints: 26412
2046.49/2051.88 c #Conflicts: 1110000 | #Constraints: 27412
2046.49/2051.88 c #Conflicts: 1111000 | #Constraints: 28412
2046.49/2051.88 c #Conflicts: 1112000 | #Constraints: 29412
2046.49/2051.88 c #Conflicts: 1113000 | #Constraints: 30412
2046.49/2051.88 c #Conflicts: 1114000 | #Constraints: 31412
2046.49/2051.88 c #Conflicts: 1115000 | #Constraints: 32412
2046.49/2051.88 c #Conflicts: 1116000 | #Constraints: 33412
2046.49/2051.88 c #Conflicts: 1117000 | #Constraints: 34412
2046.49/2051.88 c #Conflicts: 1118000 | #Constraints: 35412
2046.49/2051.88 c #Conflicts: 1119000 | #Constraints: 36412
2046.49/2051.88 c bounds 467682 >= 0 @ 2019.81
2046.49/2051.88 c stratification level: 83594
2152.35/2157.99 c #Conflicts: 1120000 | #Constraints: 37413
2152.35/2157.99 c #Conflicts: 1121000 | #Constraints: 38413
2152.35/2157.99 c #Conflicts: 1122000 | #Constraints: 39413
2152.35/2157.99 c #Conflicts: 1123000 | #Constraints: 40413
2152.35/2157.99 c #Conflicts: 1124000 | #Constraints: 41413
2152.35/2157.99 c #Conflicts: 1125000 | #Constraints: 42413
2152.35/2157.99 c INPROCESSING
2152.35/2157.99 c GARBAGE COLLECT
2152.35/2157.99 c #Conflicts: 1126000 | #Constraints: 22406
2152.35/2157.99 c #Conflicts: 1127000 | #Constraints: 23406
2152.35/2157.99 c #Conflicts: 1128000 | #Constraints: 24406
2152.35/2157.99 c #Conflicts: 1129000 | #Constraints: 25406
2152.35/2157.99 c #Conflicts: 1130000 | #Constraints: 26406
2152.35/2157.99 c #Conflicts: 1131000 | #Constraints: 27406
2152.35/2157.99 c #Conflicts: 1132000 | #Constraints: 28406
2152.35/2157.99 c #Conflicts: 1133000 | #Constraints: 29406
2152.35/2157.99 c #Conflicts: 1134000 | #Constraints: 30406
2152.35/2157.99 c #Conflicts: 1135000 | #Constraints: 31406
2152.35/2157.99 c #Conflicts: 1136000 | #Constraints: 32406
2152.35/2157.99 c #Conflicts: 1137000 | #Constraints: 33406
2152.35/2157.99 c #Conflicts: 1138000 | #Constraints: 34406
2152.35/2157.99 c #Conflicts: 1139000 | #Constraints: 35406
2152.35/2157.99 c #Conflicts: 1140000 | #Constraints: 36406
2152.35/2157.99 c #Conflicts: 1141000 | #Constraints: 37406
2152.35/2157.99 c #Conflicts: 1142000 | #Constraints: 38406
2152.35/2157.99 c #Conflicts: 1143000 | #Constraints: 39406
2152.35/2157.99 c #Conflicts: 1144000 | #Constraints: 40406
2152.35/2157.99 c #Conflicts: 1145000 | #Constraints: 41406
2152.35/2157.99 c #Conflicts: 1146000 | #Constraints: 42406
2152.35/2157.99 c INPROCESSING
2152.35/2157.99 c GARBAGE COLLECT
2152.35/2157.99 c #Conflicts: 1147000 | #Constraints: 22195
2152.35/2157.99 c #Conflicts: 1148000 | #Constraints: 23195
2152.35/2157.99 c #Conflicts: 1149000 | #Constraints: 24195
2152.35/2157.99 c #Conflicts: 1150000 | #Constraints: 25195
2152.35/2157.99 c #Conflicts: 1151000 | #Constraints: 26195
2152.35/2157.99 c #Conflicts: 1152000 | #Constraints: 27195
2152.35/2157.99 c #Conflicts: 1153000 | #Constraints: 28195
2152.35/2157.99 c #Conflicts: 1154000 | #Constraints: 29195
2152.35/2157.99 c #Conflicts: 1155000 | #Constraints: 30195
2152.35/2157.99 c #Conflicts: 1156000 | #Constraints: 31195
2152.35/2157.99 c #Conflicts: 1157000 | #Constraints: 32195
2152.35/2157.99 c #Conflicts: 1158000 | #Constraints: 33195
2152.35/2157.99 c #Conflicts: 1159000 | #Constraints: 34195
2152.35/2157.99 c #Conflicts: 1160000 | #Constraints: 35195
2152.35/2157.99 c #Conflicts: 1161000 | #Constraints: 36195
2152.35/2157.99 c #Conflicts: 1162000 | #Constraints: 37195
2152.35/2157.99 c #Conflicts: 1163000 | #Constraints: 38195
2152.35/2157.99 c #Conflicts: 1164000 | #Constraints: 39195
2152.35/2157.99 c #Conflicts: 1165000 | #Constraints: 40195
2152.35/2157.99 c #Conflicts: 1166000 | #Constraints: 41195
2152.35/2157.99 c #Conflicts: 1167000 | #Constraints: 42195
2152.35/2157.99 c #Conflicts: 1168000 | #Constraints: 43195
2152.35/2157.99 c INPROCESSING
2152.35/2157.99 c GARBAGE COLLECT
2152.35/2157.99 c bounds 457916 >= 0 @ 2124.5
2152.35/2157.99 c stratification level: 82909
2241.34/2247.14 c #Conflicts: 1169000 | #Constraints: 22801
2241.34/2247.14 c #Conflicts: 1170000 | #Constraints: 23801
2241.34/2247.14 c #Conflicts: 1171000 | #Constraints: 24801
2241.34/2247.14 c #Conflicts: 1172000 | #Constraints: 25801
2241.34/2247.14 c #Conflicts: 1173000 | #Constraints: 26801
2241.34/2247.14 c #Conflicts: 1174000 | #Constraints: 27801
2241.34/2247.14 c #Conflicts: 1175000 | #Constraints: 28801
2241.34/2247.14 c #Conflicts: 1176000 | #Constraints: 29801
2241.34/2247.14 c #Conflicts: 1177000 | #Constraints: 30801
2241.34/2247.14 c #Conflicts: 1178000 | #Constraints: 31801
2241.34/2247.14 c #Conflicts: 1179000 | #Constraints: 32801
2241.34/2247.14 c #Conflicts: 1180000 | #Constraints: 33801
2241.34/2247.14 c #Conflicts: 1181000 | #Constraints: 34801
2241.34/2247.14 c #Conflicts: 1182000 | #Constraints: 35801
2241.34/2247.14 c #Conflicts: 1183000 | #Constraints: 36801
2241.34/2247.14 c #Conflicts: 1184000 | #Constraints: 37801
2241.34/2247.14 c #Conflicts: 1185000 | #Constraints: 38801
2241.34/2247.14 c #Conflicts: 1186000 | #Constraints: 39801
2241.34/2247.14 c #Conflicts: 1187000 | #Constraints: 40801
2241.34/2247.14 c #Conflicts: 1188000 | #Constraints: 41801
2241.34/2247.14 c #Conflicts: 1189000 | #Constraints: 42801
2241.34/2247.14 c #Conflicts: 1190000 | #Constraints: 43801
2241.34/2247.14 c INPROCESSING
2241.34/2247.14 c GARBAGE COLLECT
2241.34/2247.14 c #Conflicts: 1191000 | #Constraints: 23193
2241.34/2247.14 c #Conflicts: 1192000 | #Constraints: 24193
2241.34/2247.14 c #Conflicts: 1193000 | #Constraints: 25193
2241.34/2247.14 c #Conflicts: 1194000 | #Constraints: 26193
2241.34/2247.14 c #Conflicts: 1195000 | #Constraints: 27193
2241.34/2247.14 c bounds 453956 >= 0 @ 2212.6
2241.34/2247.14 c stratification level: 81076
2455.12/2461.49 c #Conflicts: 1196000 | #Constraints: 28194
2455.12/2461.49 c #Conflicts: 1197000 | #Constraints: 29194
2455.12/2461.49 c #Conflicts: 1198000 | #Constraints: 30194
2455.12/2461.49 c #Conflicts: 1199000 | #Constraints: 31194
2455.12/2461.49 c #Conflicts: 1200000 | #Constraints: 32194
2455.12/2461.49 c #Conflicts: 1201000 | #Constraints: 33194
2455.12/2461.49 c #Conflicts: 1202000 | #Constraints: 34194
2455.12/2461.49 c #Conflicts: 1203000 | #Constraints: 35194
2455.12/2461.49 c #Conflicts: 1204000 | #Constraints: 36194
2455.12/2461.49 c #Conflicts: 1205000 | #Constraints: 37194
2455.12/2461.49 c #Conflicts: 1206000 | #Constraints: 38194
2455.12/2461.49 c #Conflicts: 1207000 | #Constraints: 39194
2455.12/2461.49 c #Conflicts: 1208000 | #Constraints: 40194
2455.12/2461.49 c #Conflicts: 1209000 | #Constraints: 41194
2455.12/2461.49 c #Conflicts: 1210000 | #Constraints: 42194
2455.12/2461.49 c #Conflicts: 1211000 | #Constraints: 43194
2455.12/2461.49 c #Conflicts: 1212000 | #Constraints: 44194
2455.12/2461.49 c INPROCESSING
2455.12/2461.49 c GARBAGE COLLECT
2455.12/2461.49 c #Conflicts: 1213000 | #Constraints: 23398
2455.12/2461.49 c #Conflicts: 1214000 | #Constraints: 24398
2455.12/2461.49 c #Conflicts: 1215000 | #Constraints: 25398
2455.12/2461.49 c #Conflicts: 1216000 | #Constraints: 26398
2455.12/2461.49 c #Conflicts: 1217000 | #Constraints: 27398
2455.12/2461.49 c #Conflicts: 1218000 | #Constraints: 28398
2455.12/2461.49 c #Conflicts: 1219000 | #Constraints: 29398
2455.12/2461.49 c #Conflicts: 1220000 | #Constraints: 30398
2455.12/2461.49 c #Conflicts: 1221000 | #Constraints: 31398
2455.12/2461.49 c #Conflicts: 1222000 | #Constraints: 32398
2455.12/2461.49 c #Conflicts: 1223000 | #Constraints: 33398
2455.12/2461.49 c #Conflicts: 1224000 | #Constraints: 34398
2455.12/2461.49 c #Conflicts: 1225000 | #Constraints: 35398
2455.12/2461.49 c #Conflicts: 1226000 | #Constraints: 36398
2455.12/2461.49 c #Conflicts: 1227000 | #Constraints: 37398
2455.12/2461.49 c #Conflicts: 1228000 | #Constraints: 38398
2455.12/2461.49 c #Conflicts: 1229000 | #Constraints: 39398
2455.12/2461.49 c #Conflicts: 1230000 | #Constraints: 40398
2455.12/2461.49 c #Conflicts: 1231000 | #Constraints: 41398
2455.12/2461.49 c #Conflicts: 1232000 | #Constraints: 42398
2455.12/2461.49 c #Conflicts: 1233000 | #Constraints: 43398
2455.12/2461.49 c #Conflicts: 1234000 | #Constraints: 44398
2455.12/2461.49 c INPROCESSING
2455.12/2461.49 c GARBAGE COLLECT
2455.12/2461.49 c #Conflicts: 1235000 | #Constraints: 23396
2455.12/2461.49 c #Conflicts: 1236000 | #Constraints: 24396
2455.12/2461.49 c #Conflicts: 1237000 | #Constraints: 25396
2455.12/2461.49 c #Conflicts: 1238000 | #Constraints: 26396
2455.12/2461.49 c #Conflicts: 1239000 | #Constraints: 27396
2455.12/2461.49 c #Conflicts: 1240000 | #Constraints: 28396
2455.12/2461.49 c #Conflicts: 1241000 | #Constraints: 29396
2455.12/2461.49 c #Conflicts: 1242000 | #Constraints: 30396
2455.12/2461.49 c #Conflicts: 1243000 | #Constraints: 31396
2455.12/2461.49 c #Conflicts: 1244000 | #Constraints: 32396
2455.12/2461.49 c #Conflicts: 1245000 | #Constraints: 33396
2455.12/2461.49 c #Conflicts: 1246000 | #Constraints: 34396
2455.12/2461.49 c #Conflicts: 1247000 | #Constraints: 35396
2455.12/2461.49 c #Conflicts: 1248000 | #Constraints: 36396
2455.12/2461.49 c #Conflicts: 1249000 | #Constraints: 37396
2455.12/2461.49 c #Conflicts: 1250000 | #Constraints: 38396
2455.12/2461.49 c #Conflicts: 1251000 | #Constraints: 39396
2455.12/2461.49 c #Conflicts: 1252000 | #Constraints: 40396
2455.12/2461.49 c #Conflicts: 1253000 | #Constraints: 41396
2455.12/2461.49 c #Conflicts: 1254000 | #Constraints: 42396
2455.12/2461.49 c #Conflicts: 1255000 | #Constraints: 43396
2455.12/2461.49 c #Conflicts: 1256000 | #Constraints: 44396
2455.12/2461.49 c INPROCESSING
2455.12/2461.49 c GARBAGE COLLECT
2455.12/2461.49 c #Conflicts: 1257000 | #Constraints: 23192
2455.12/2461.49 c #Conflicts: 1258000 | #Constraints: 24192
2455.12/2461.49 c #Conflicts: 1259000 | #Constraints: 25192
2455.12/2461.49 c #Conflicts: 1260000 | #Constraints: 26192
2455.12/2461.49 c #Conflicts: 1261000 | #Constraints: 27192
2455.12/2461.49 c #Conflicts: 1262000 | #Constraints: 28192
2455.12/2461.49 c #Conflicts: 1263000 | #Constraints: 29192
2455.12/2461.49 c #Conflicts: 1264000 | #Constraints: 30192
2455.12/2461.49 c #Conflicts: 1265000 | #Constraints: 31192
2455.12/2461.49 c #Conflicts: 1266000 | #Constraints: 32192
2455.12/2461.49 c #Conflicts: 1267000 | #Constraints: 33192
2455.12/2461.49 c #Conflicts: 1268000 | #Constraints: 34192
2455.12/2461.49 c #Conflicts: 1269000 | #Constraints: 35192
2455.12/2461.49 c #Conflicts: 1270000 | #Constraints: 36192
2455.12/2461.49 c #Conflicts: 1271000 | #Constraints: 37192
2455.12/2461.49 c #Conflicts: 1272000 | #Constraints: 38192
2635.89/2642.69 c #Conflicts: 1273000 | #Constraints: 39192
2635.89/2642.69 c #Conflicts: 1274000 | #Constraints: 40192
2635.89/2642.69 c #Conflicts: 1275000 | #Constraints: 41192
2635.89/2642.69 c #Conflicts: 1276000 | #Constraints: 42192
2635.89/2642.69 c #Conflicts: 1277000 | #Constraints: 43192
2635.89/2642.69 c #Conflicts: 1278000 | #Constraints: 44192
2635.89/2642.69 c #Conflicts: 1279000 | #Constraints: 45192
2635.89/2642.69 c INPROCESSING
2635.89/2642.69 c GARBAGE COLLECT
2635.89/2642.69 c #Conflicts: 1280000 | #Constraints: 23793
2635.89/2642.69 c #Conflicts: 1281000 | #Constraints: 24793
2635.89/2642.69 c #Conflicts: 1282000 | #Constraints: 25793
2635.89/2642.69 c #Conflicts: 1283000 | #Constraints: 26793
2635.89/2642.69 c #Conflicts: 1284000 | #Constraints: 27793
2635.89/2642.69 c #Conflicts: 1285000 | #Constraints: 28793
2635.89/2642.69 c #Conflicts: 1286000 | #Constraints: 29793
2635.89/2642.69 c #Conflicts: 1287000 | #Constraints: 30793
2635.89/2642.69 c #Conflicts: 1288000 | #Constraints: 31793
2635.89/2642.69 c #Conflicts: 1289000 | #Constraints: 32793
2635.89/2642.69 c #Conflicts: 1290000 | #Constraints: 33793
2635.89/2642.69 c #Conflicts: 1291000 | #Constraints: 34793
2635.89/2642.69 c #Conflicts: 1292000 | #Constraints: 35793
2635.89/2642.69 c #Conflicts: 1293000 | #Constraints: 36793
2635.89/2642.69 c #Conflicts: 1294000 | #Constraints: 37793
2635.89/2642.69 c #Conflicts: 1295000 | #Constraints: 38793
2635.89/2642.69 c #Conflicts: 1296000 | #Constraints: 39793
2635.89/2642.69 c #Conflicts: 1297000 | #Constraints: 40793
2635.89/2642.69 c #Conflicts: 1298000 | #Constraints: 41793
2635.89/2642.69 c #Conflicts: 1299000 | #Constraints: 42793
2635.89/2642.69 c #Conflicts: 1300000 | #Constraints: 43793
2635.89/2642.69 c #Conflicts: 1301000 | #Constraints: 44793
2635.89/2642.69 c #Conflicts: 1302000 | #Constraints: 45793
2635.89/2642.69 c INPROCESSING
2635.89/2642.69 c GARBAGE COLLECT
2635.89/2642.69 c #Conflicts: 1303000 | #Constraints: 24189
2635.89/2642.69 c #Conflicts: 1304000 | #Constraints: 25189
2635.89/2642.69 c #Conflicts: 1305000 | #Constraints: 26189
2635.89/2642.69 c #Conflicts: 1306000 | #Constraints: 27189
2635.89/2642.69 c #Conflicts: 1307000 | #Constraints: 28189
2635.89/2642.69 c #Conflicts: 1308000 | #Constraints: 29189
2635.89/2642.69 c #Conflicts: 1309000 | #Constraints: 30189
2635.89/2642.69 c #Conflicts: 1310000 | #Constraints: 31189
2635.89/2642.69 c #Conflicts: 1311000 | #Constraints: 32189
2635.89/2642.69 c #Conflicts: 1312000 | #Constraints: 33189
2635.89/2642.69 c #Conflicts: 1313000 | #Constraints: 34189
2635.89/2642.69 c #Conflicts: 1314000 | #Constraints: 35189
2635.89/2642.69 c #Conflicts: 1315000 | #Constraints: 36189
2635.89/2642.69 c #Conflicts: 1316000 | #Constraints: 37189
2635.89/2642.69 c #Conflicts: 1317000 | #Constraints: 38189
2635.89/2642.69 c #Conflicts: 1318000 | #Constraints: 39189
2635.89/2642.69 c #Conflicts: 1319000 | #Constraints: 40189
2635.89/2642.69 c #Conflicts: 1320000 | #Constraints: 41189
2635.89/2642.69 c #Conflicts: 1321000 | #Constraints: 42189
2635.89/2642.69 c #Conflicts: 1322000 | #Constraints: 43189
2635.89/2642.69 c #Conflicts: 1323000 | #Constraints: 44189
2635.89/2642.69 c #Conflicts: 1324000 | #Constraints: 45189
2635.89/2642.69 c #Conflicts: 1325000 | #Constraints: 46189
2635.89/2642.69 c INPROCESSING
2635.89/2642.69 c GARBAGE COLLECT
2635.89/2642.69 c #Conflicts: 1326000 | #Constraints: 24398
2635.89/2642.69 c #Conflicts: 1327000 | #Constraints: 25398
2635.89/2642.69 c #Conflicts: 1328000 | #Constraints: 26398
2635.89/2642.69 c #Conflicts: 1329000 | #Constraints: 27398
2635.89/2642.69 c #Conflicts: 1330000 | #Constraints: 28398
2635.89/2642.69 c #Conflicts: 1331000 | #Constraints: 29398
2635.89/2642.69 c #Conflicts: 1332000 | #Constraints: 30398
2635.89/2642.69 c #Conflicts: 1333000 | #Constraints: 31398
2635.89/2642.69 c #Conflicts: 1334000 | #Constraints: 32398
2635.89/2642.69 c #Conflicts: 1335000 | #Constraints: 33398
2635.89/2642.69 c #Conflicts: 1336000 | #Constraints: 34398
2635.89/2642.69 c #Conflicts: 1337000 | #Constraints: 35398
2635.89/2642.69 c #Conflicts: 1338000 | #Constraints: 36398
2635.89/2642.69 c #Conflicts: 1339000 | #Constraints: 37398
2635.89/2642.69 c #Conflicts: 1340000 | #Constraints: 38398
2635.89/2642.69 c #Conflicts: 1341000 | #Constraints: 39398
2635.89/2642.69 c #Conflicts: 1342000 | #Constraints: 40398
2635.89/2642.69 c #Conflicts: 1343000 | #Constraints: 41398
2635.89/2642.69 c #Conflicts: 1344000 | #Constraints: 42398
2635.89/2642.69 c #Conflicts: 1345000 | #Constraints: 43398
2635.89/2642.69 c #Conflicts: 1346000 | #Constraints: 44398
2635.89/2642.69 c #Conflicts: 1347000 | #Constraints: 45398
2635.89/2642.69 c #Conflicts: 1348000 | #Constraints: 46398
2635.89/2642.69 c INPROCESSING
2635.89/2642.69 c GARBAGE COLLECT
2635.89/2642.69 c #Conflicts: 1349000 | #Constraints: 24401
2833.30/2840.56 c #Conflicts: 1350000 | #Constraints: 25401
2833.30/2840.56 c #Conflicts: 1351000 | #Constraints: 26401
2833.30/2840.56 c #Conflicts: 1352000 | #Constraints: 27401
2833.30/2840.56 c #Conflicts: 1353000 | #Constraints: 28401
2833.30/2840.56 c #Conflicts: 1354000 | #Constraints: 29401
2833.30/2840.56 c #Conflicts: 1355000 | #Constraints: 30401
2833.30/2840.56 c #Conflicts: 1356000 | #Constraints: 31401
2833.30/2840.56 c #Conflicts: 1357000 | #Constraints: 32401
2833.30/2840.56 c #Conflicts: 1358000 | #Constraints: 33401
2833.30/2840.56 c #Conflicts: 1359000 | #Constraints: 34401
2833.30/2840.56 c #Conflicts: 1360000 | #Constraints: 35401
2833.30/2840.56 c #Conflicts: 1361000 | #Constraints: 36401
2833.30/2840.56 c #Conflicts: 1362000 | #Constraints: 37401
2833.30/2840.56 c #Conflicts: 1363000 | #Constraints: 38401
2833.30/2840.56 c #Conflicts: 1364000 | #Constraints: 39401
2833.30/2840.56 c #Conflicts: 1365000 | #Constraints: 40401
2833.30/2840.56 c #Conflicts: 1366000 | #Constraints: 41401
2833.30/2840.56 c #Conflicts: 1367000 | #Constraints: 42401
2833.30/2840.56 c #Conflicts: 1368000 | #Constraints: 43401
2833.30/2840.56 c #Conflicts: 1369000 | #Constraints: 44401
2833.30/2840.56 c #Conflicts: 1370000 | #Constraints: 45401
2833.30/2840.56 c #Conflicts: 1371000 | #Constraints: 46401
2833.30/2840.56 c INPROCESSING
2833.30/2840.56 c GARBAGE COLLECT
2833.30/2840.56 c #Conflicts: 1372000 | #Constraints: 24196
2833.30/2840.56 c #Conflicts: 1373000 | #Constraints: 25196
2833.30/2840.56 c #Conflicts: 1374000 | #Constraints: 26196
2833.30/2840.56 c #Conflicts: 1375000 | #Constraints: 27196
2833.30/2840.56 c #Conflicts: 1376000 | #Constraints: 28196
2833.30/2840.56 c #Conflicts: 1377000 | #Constraints: 29196
2833.30/2840.56 c #Conflicts: 1378000 | #Constraints: 30196
2833.30/2840.56 c #Conflicts: 1379000 | #Constraints: 31196
2833.30/2840.56 c #Conflicts: 1380000 | #Constraints: 32196
2833.30/2840.56 c #Conflicts: 1381000 | #Constraints: 33196
2833.30/2840.56 c #Conflicts: 1382000 | #Constraints: 34196
2833.30/2840.56 c #Conflicts: 1383000 | #Constraints: 35196
2833.30/2840.56 c #Conflicts: 1384000 | #Constraints: 36196
2833.30/2840.56 c #Conflicts: 1385000 | #Constraints: 37196
2833.30/2840.56 c #Conflicts: 1386000 | #Constraints: 38196
2833.30/2840.56 c #Conflicts: 1387000 | #Constraints: 39196
2833.30/2840.56 c #Conflicts: 1388000 | #Constraints: 40196
2833.30/2840.56 c #Conflicts: 1389000 | #Constraints: 41196
2833.30/2840.56 c #Conflicts: 1390000 | #Constraints: 42196
2833.30/2840.56 c #Conflicts: 1391000 | #Constraints: 43196
2833.30/2840.56 c #Conflicts: 1392000 | #Constraints: 44196
2833.30/2840.56 c #Conflicts: 1393000 | #Constraints: 45196
2833.30/2840.56 c #Conflicts: 1394000 | #Constraints: 46196
2833.30/2840.56 c #Conflicts: 1395000 | #Constraints: 47196
2833.30/2840.56 c INPROCESSING
2833.30/2840.56 c GARBAGE COLLECT
2833.30/2840.56 c #Conflicts: 1396000 | #Constraints: 24804
2833.30/2840.56 c #Conflicts: 1397000 | #Constraints: 25804
2833.30/2840.56 c #Conflicts: 1398000 | #Constraints: 26804
2833.30/2840.56 c #Conflicts: 1399000 | #Constraints: 27804
2833.30/2840.56 c #Conflicts: 1400000 | #Constraints: 28804
2833.30/2840.56 c #Conflicts: 1401000 | #Constraints: 29804
2833.30/2840.56 c #Conflicts: 1402000 | #Constraints: 30804
2833.30/2840.56 c #Conflicts: 1403000 | #Constraints: 31804
2833.30/2840.56 c #Conflicts: 1404000 | #Constraints: 32804
2833.30/2840.56 c #Conflicts: 1405000 | #Constraints: 33804
2833.30/2840.56 c #Conflicts: 1406000 | #Constraints: 34804
2833.30/2840.56 c #Conflicts: 1407000 | #Constraints: 35804
2833.30/2840.56 c #Conflicts: 1408000 | #Constraints: 36804
2833.30/2840.56 c #Conflicts: 1409000 | #Constraints: 37804
2833.30/2840.56 c #Conflicts: 1410000 | #Constraints: 38804
2833.30/2840.56 c #Conflicts: 1411000 | #Constraints: 39804
2833.30/2840.56 c #Conflicts: 1412000 | #Constraints: 40804
2833.30/2840.56 c #Conflicts: 1413000 | #Constraints: 41804
2833.30/2840.56 c #Conflicts: 1414000 | #Constraints: 42804
2833.30/2840.56 c #Conflicts: 1415000 | #Constraints: 43804
2833.30/2840.56 c #Conflicts: 1416000 | #Constraints: 44804
2833.30/2840.56 c #Conflicts: 1417000 | #Constraints: 45804
2833.30/2840.56 c #Conflicts: 1418000 | #Constraints: 46804
2833.30/2840.56 c #Conflicts: 1419000 | #Constraints: 47804
2833.30/2840.56 c INPROCESSING
2833.30/2840.56 c GARBAGE COLLECT
2833.30/2840.56 c #Conflicts: 1420000 | #Constraints: 25199
2833.30/2840.56 c #Conflicts: 1421000 | #Constraints: 26199
2833.30/2840.56 c #Conflicts: 1422000 | #Constraints: 27199
2833.30/2840.56 c #Conflicts: 1423000 | #Constraints: 28199
2833.30/2840.56 c #Conflicts: 1424000 | #Constraints: 29199
2833.30/2840.56 c #Conflicts: 1425000 | #Constraints: 30199
3031.43/3039.14 c #Conflicts: 1426000 | #Constraints: 31199
3031.43/3039.14 c #Conflicts: 1427000 | #Constraints: 32199
3031.43/3039.14 c #Conflicts: 1428000 | #Constraints: 33199
3031.43/3039.14 c #Conflicts: 1429000 | #Constraints: 34199
3031.43/3039.14 c #Conflicts: 1430000 | #Constraints: 35199
3031.43/3039.14 c #Conflicts: 1431000 | #Constraints: 36199
3031.43/3039.14 c #Conflicts: 1432000 | #Constraints: 37199
3031.43/3039.14 c #Conflicts: 1433000 | #Constraints: 38199
3031.43/3039.14 c #Conflicts: 1434000 | #Constraints: 39199
3031.43/3039.14 c #Conflicts: 1435000 | #Constraints: 40199
3031.43/3039.14 c #Conflicts: 1436000 | #Constraints: 41199
3031.43/3039.14 c #Conflicts: 1437000 | #Constraints: 42199
3031.43/3039.14 c #Conflicts: 1438000 | #Constraints: 43199
3031.43/3039.14 c #Conflicts: 1439000 | #Constraints: 44199
3031.43/3039.14 c #Conflicts: 1440000 | #Constraints: 45199
3031.43/3039.14 c #Conflicts: 1441000 | #Constraints: 46199
3031.43/3039.14 c #Conflicts: 1442000 | #Constraints: 47199
3031.43/3039.14 c #Conflicts: 1443000 | #Constraints: 48199
3031.43/3039.14 c INPROCESSING
3031.43/3039.14 c GARBAGE COLLECT
3031.43/3039.14 c #Conflicts: 1444000 | #Constraints: 25395
3031.43/3039.14 c #Conflicts: 1445000 | #Constraints: 26395
3031.43/3039.14 c #Conflicts: 1446000 | #Constraints: 27395
3031.43/3039.14 c #Conflicts: 1447000 | #Constraints: 28395
3031.43/3039.14 c #Conflicts: 1448000 | #Constraints: 29395
3031.43/3039.14 c #Conflicts: 1449000 | #Constraints: 30395
3031.43/3039.14 c #Conflicts: 1450000 | #Constraints: 31395
3031.43/3039.14 c #Conflicts: 1451000 | #Constraints: 32395
3031.43/3039.14 c #Conflicts: 1452000 | #Constraints: 33395
3031.43/3039.14 c #Conflicts: 1453000 | #Constraints: 34395
3031.43/3039.14 c #Conflicts: 1454000 | #Constraints: 35395
3031.43/3039.14 c #Conflicts: 1455000 | #Constraints: 36395
3031.43/3039.14 c #Conflicts: 1456000 | #Constraints: 37395
3031.43/3039.14 c #Conflicts: 1457000 | #Constraints: 38395
3031.43/3039.14 c #Conflicts: 1458000 | #Constraints: 39395
3031.43/3039.14 c #Conflicts: 1459000 | #Constraints: 40395
3031.43/3039.14 c #Conflicts: 1460000 | #Constraints: 41395
3031.43/3039.14 c #Conflicts: 1461000 | #Constraints: 42395
3031.43/3039.14 c #Conflicts: 1462000 | #Constraints: 43395
3031.43/3039.14 c #Conflicts: 1463000 | #Constraints: 44395
3031.43/3039.14 c #Conflicts: 1464000 | #Constraints: 45395
3031.43/3039.14 c #Conflicts: 1465000 | #Constraints: 46395
3031.43/3039.14 c #Conflicts: 1466000 | #Constraints: 47395
3031.43/3039.14 c #Conflicts: 1467000 | #Constraints: 48395
3031.43/3039.14 c INPROCESSING
3031.43/3039.14 c GARBAGE COLLECT
3031.43/3039.14 c #Conflicts: 1468000 | #Constraints: 25394
3031.43/3039.14 c #Conflicts: 1469000 | #Constraints: 26394
3031.43/3039.14 c #Conflicts: 1470000 | #Constraints: 27394
3031.43/3039.14 c #Conflicts: 1471000 | #Constraints: 28394
3031.43/3039.14 c #Conflicts: 1472000 | #Constraints: 29394
3031.43/3039.14 c #Conflicts: 1473000 | #Constraints: 30394
3031.43/3039.14 c #Conflicts: 1474000 | #Constraints: 31394
3031.43/3039.14 c #Conflicts: 1475000 | #Constraints: 32394
3031.43/3039.14 c #Conflicts: 1476000 | #Constraints: 33394
3031.43/3039.14 c #Conflicts: 1477000 | #Constraints: 34394
3031.43/3039.14 c #Conflicts: 1478000 | #Constraints: 35394
3031.43/3039.14 c #Conflicts: 1479000 | #Constraints: 36394
3031.43/3039.14 c #Conflicts: 1480000 | #Constraints: 37394
3031.43/3039.14 c #Conflicts: 1481000 | #Constraints: 38394
3031.43/3039.14 c #Conflicts: 1482000 | #Constraints: 39394
3031.43/3039.14 c #Conflicts: 1483000 | #Constraints: 40394
3031.43/3039.14 c #Conflicts: 1484000 | #Constraints: 41394
3031.43/3039.14 c #Conflicts: 1485000 | #Constraints: 42394
3031.43/3039.14 c #Conflicts: 1486000 | #Constraints: 43394
3031.43/3039.14 c #Conflicts: 1487000 | #Constraints: 44394
3031.43/3039.14 c #Conflicts: 1488000 | #Constraints: 45394
3031.43/3039.14 c #Conflicts: 1489000 | #Constraints: 46394
3031.43/3039.14 c #Conflicts: 1490000 | #Constraints: 47394
3031.43/3039.14 c #Conflicts: 1491000 | #Constraints: 48394
3031.43/3039.14 c INPROCESSING
3031.43/3039.14 c GARBAGE COLLECT
3031.43/3039.14 c #Conflicts: 1492000 | #Constraints: 25186
3031.43/3039.14 c #Conflicts: 1493000 | #Constraints: 26186
3031.43/3039.14 c #Conflicts: 1494000 | #Constraints: 27186
3031.43/3039.14 c #Conflicts: 1495000 | #Constraints: 28186
3031.43/3039.14 c #Conflicts: 1496000 | #Constraints: 29186
3031.43/3039.14 c #Conflicts: 1497000 | #Constraints: 30186
3031.43/3039.14 c #Conflicts: 1498000 | #Constraints: 31186
3031.43/3039.14 c #Conflicts: 1499000 | #Constraints: 32186
3031.43/3039.14 c #Conflicts: 1500000 | #Constraints: 33186
3031.43/3039.14 c #Conflicts: 1501000 | #Constraints: 34186
3031.43/3039.14 c #Conflicts: 1502000 | #Constraints: 35186
3229.84/3238.03 c #Conflicts: 1503000 | #Constraints: 36186
3229.84/3238.03 c #Conflicts: 1504000 | #Constraints: 37186
3229.84/3238.03 c #Conflicts: 1505000 | #Constraints: 38186
3229.84/3238.03 c #Conflicts: 1506000 | #Constraints: 39186
3229.84/3238.03 c #Conflicts: 1507000 | #Constraints: 40186
3229.84/3238.03 c #Conflicts: 1508000 | #Constraints: 41186
3229.84/3238.03 c #Conflicts: 1509000 | #Constraints: 42186
3229.84/3238.03 c #Conflicts: 1510000 | #Constraints: 43186
3229.84/3238.03 c #Conflicts: 1511000 | #Constraints: 44186
3229.84/3238.03 c #Conflicts: 1512000 | #Constraints: 45186
3229.84/3238.03 c #Conflicts: 1513000 | #Constraints: 46186
3229.84/3238.03 c #Conflicts: 1514000 | #Constraints: 47186
3229.84/3238.03 c #Conflicts: 1515000 | #Constraints: 48186
3229.84/3238.03 c #Conflicts: 1516000 | #Constraints: 49186
3229.84/3238.03 c INPROCESSING
3229.84/3238.03 c GARBAGE COLLECT
3229.84/3238.03 c #Conflicts: 1517000 | #Constraints: 25786
3229.84/3238.03 c #Conflicts: 1518000 | #Constraints: 26786
3229.84/3238.03 c #Conflicts: 1519000 | #Constraints: 27786
3229.84/3238.03 c #Conflicts: 1520000 | #Constraints: 28786
3229.84/3238.03 c #Conflicts: 1521000 | #Constraints: 29786
3229.84/3238.03 c #Conflicts: 1522000 | #Constraints: 30786
3229.84/3238.03 c #Conflicts: 1523000 | #Constraints: 31786
3229.84/3238.03 c #Conflicts: 1524000 | #Constraints: 32786
3229.84/3238.03 c #Conflicts: 1525000 | #Constraints: 33786
3229.84/3238.03 c #Conflicts: 1526000 | #Constraints: 34786
3229.84/3238.03 c #Conflicts: 1527000 | #Constraints: 35786
3229.84/3238.03 c #Conflicts: 1528000 | #Constraints: 36786
3229.84/3238.03 c #Conflicts: 1529000 | #Constraints: 37786
3229.84/3238.03 c #Conflicts: 1530000 | #Constraints: 38786
3229.84/3238.03 c #Conflicts: 1531000 | #Constraints: 39786
3229.84/3238.03 c #Conflicts: 1532000 | #Constraints: 40786
3229.84/3238.03 c #Conflicts: 1533000 | #Constraints: 41786
3229.84/3238.03 c #Conflicts: 1534000 | #Constraints: 42786
3229.84/3238.03 c #Conflicts: 1535000 | #Constraints: 43786
3229.84/3238.03 c #Conflicts: 1536000 | #Constraints: 44786
3229.84/3238.03 c #Conflicts: 1537000 | #Constraints: 45786
3229.84/3238.03 c #Conflicts: 1538000 | #Constraints: 46786
3229.84/3238.03 c #Conflicts: 1539000 | #Constraints: 47786
3229.84/3238.03 c #Conflicts: 1540000 | #Constraints: 48786
3229.84/3238.03 c #Conflicts: 1541000 | #Constraints: 49786
3229.84/3238.03 c INPROCESSING
3229.84/3238.03 c GARBAGE COLLECT
3229.84/3238.03 c #Conflicts: 1542000 | #Constraints: 26184
3229.84/3238.03 c #Conflicts: 1543000 | #Constraints: 27184
3229.84/3238.03 c #Conflicts: 1544000 | #Constraints: 28184
3229.84/3238.03 c #Conflicts: 1545000 | #Constraints: 29184
3229.84/3238.03 c #Conflicts: 1546000 | #Constraints: 30184
3229.84/3238.03 c #Conflicts: 1547000 | #Constraints: 31184
3229.84/3238.03 c #Conflicts: 1548000 | #Constraints: 32184
3229.84/3238.03 c #Conflicts: 1549000 | #Constraints: 33184
3229.84/3238.03 c #Conflicts: 1550000 | #Constraints: 34184
3229.84/3238.03 c #Conflicts: 1551000 | #Constraints: 35184
3229.84/3238.03 c #Conflicts: 1552000 | #Constraints: 36184
3229.84/3238.03 c #Conflicts: 1553000 | #Constraints: 37184
3229.84/3238.03 c #Conflicts: 1554000 | #Constraints: 38184
3229.84/3238.03 c #Conflicts: 1555000 | #Constraints: 39184
3229.84/3238.03 c #Conflicts: 1556000 | #Constraints: 40184
3229.84/3238.03 c #Conflicts: 1557000 | #Constraints: 41184
3229.84/3238.03 c #Conflicts: 1558000 | #Constraints: 42184
3229.84/3238.03 c #Conflicts: 1559000 | #Constraints: 43184
3229.84/3238.03 c #Conflicts: 1560000 | #Constraints: 44184
3229.84/3238.03 c #Conflicts: 1561000 | #Constraints: 45184
3229.84/3238.03 c #Conflicts: 1562000 | #Constraints: 46184
3229.84/3238.03 c #Conflicts: 1563000 | #Constraints: 47184
3229.84/3238.03 c #Conflicts: 1564000 | #Constraints: 48184
3229.84/3238.03 c #Conflicts: 1565000 | #Constraints: 49184
3229.84/3238.03 c #Conflicts: 1566000 | #Constraints: 50184
3229.84/3238.03 c INPROCESSING
3229.84/3238.03 c GARBAGE COLLECT
3229.84/3238.03 c #Conflicts: 1567000 | #Constraints: 26388
3229.84/3238.03 c #Conflicts: 1568000 | #Constraints: 27388
3229.84/3238.03 c #Conflicts: 1569000 | #Constraints: 28388
3229.84/3238.03 c #Conflicts: 1570000 | #Constraints: 29388
3229.84/3238.03 c #Conflicts: 1571000 | #Constraints: 30388
3229.84/3238.03 c #Conflicts: 1572000 | #Constraints: 31388
3229.84/3238.03 c #Conflicts: 1573000 | #Constraints: 32388
3229.84/3238.03 c #Conflicts: 1574000 | #Constraints: 33388
3229.84/3238.03 c #Conflicts: 1575000 | #Constraints: 34388
3229.84/3238.03 c #Conflicts: 1576000 | #Constraints: 35388
3229.84/3238.03 c #Conflicts: 1577000 | #Constraints: 36388
3229.84/3238.03 c #Conflicts: 1578000 | #Constraints: 37388
3229.84/3238.03 c #Conflicts: 1579000 | #Constraints: 38388
3444.51/3453.38 c #Conflicts: 1580000 | #Constraints: 39388
3444.51/3453.38 c #Conflicts: 1581000 | #Constraints: 40388
3444.51/3453.38 c #Conflicts: 1582000 | #Constraints: 41388
3444.51/3453.38 c #Conflicts: 1583000 | #Constraints: 42388
3444.51/3453.38 c #Conflicts: 1584000 | #Constraints: 43388
3444.51/3453.38 c #Conflicts: 1585000 | #Constraints: 44388
3444.51/3453.38 c #Conflicts: 1586000 | #Constraints: 45388
3444.51/3453.38 c #Conflicts: 1587000 | #Constraints: 46388
3444.51/3453.38 c #Conflicts: 1588000 | #Constraints: 47388
3444.51/3453.38 c #Conflicts: 1589000 | #Constraints: 48388
3444.51/3453.38 c #Conflicts: 1590000 | #Constraints: 49388
3444.51/3453.38 c #Conflicts: 1591000 | #Constraints: 50388
3444.51/3453.38 c INPROCESSING
3444.51/3453.38 c GARBAGE COLLECT
3444.51/3453.38 c #Conflicts: 1592000 | #Constraints: 26394
3444.51/3453.38 c #Conflicts: 1593000 | #Constraints: 27394
3444.51/3453.38 c #Conflicts: 1594000 | #Constraints: 28394
3444.51/3453.38 c #Conflicts: 1595000 | #Constraints: 29394
3444.51/3453.38 c #Conflicts: 1596000 | #Constraints: 30394
3444.51/3453.38 c #Conflicts: 1597000 | #Constraints: 31394
3444.51/3453.38 c #Conflicts: 1598000 | #Constraints: 32394
3444.51/3453.38 c #Conflicts: 1599000 | #Constraints: 33394
3444.51/3453.38 c #Conflicts: 1600000 | #Constraints: 34394
3444.51/3453.38 c #Conflicts: 1601000 | #Constraints: 35394
3444.51/3453.38 c #Conflicts: 1602000 | #Constraints: 36394
3444.51/3453.38 c #Conflicts: 1603000 | #Constraints: 37394
3444.51/3453.38 c #Conflicts: 1604000 | #Constraints: 38394
3444.51/3453.38 c #Conflicts: 1605000 | #Constraints: 39394
3444.51/3453.38 c #Conflicts: 1606000 | #Constraints: 40394
3444.51/3453.38 c #Conflicts: 1607000 | #Constraints: 41394
3444.51/3453.38 c #Conflicts: 1608000 | #Constraints: 42394
3444.51/3453.38 c #Conflicts: 1609000 | #Constraints: 43394
3444.51/3453.38 c #Conflicts: 1610000 | #Constraints: 44394
3444.51/3453.38 c #Conflicts: 1611000 | #Constraints: 45394
3444.51/3453.38 c #Conflicts: 1612000 | #Constraints: 46394
3444.51/3453.38 c #Conflicts: 1613000 | #Constraints: 47394
3444.51/3453.38 c #Conflicts: 1614000 | #Constraints: 48394
3444.51/3453.38 c #Conflicts: 1615000 | #Constraints: 49394
3444.51/3453.38 c #Conflicts: 1616000 | #Constraints: 50394
3444.51/3453.38 c INPROCESSING
3444.51/3453.38 c GARBAGE COLLECT
3444.51/3453.38 c #Conflicts: 1617000 | #Constraints: 26195
3444.51/3453.38 c #Conflicts: 1618000 | #Constraints: 27195
3444.51/3453.38 c #Conflicts: 1619000 | #Constraints: 28195
3444.51/3453.38 c #Conflicts: 1620000 | #Constraints: 29195
3444.51/3453.38 c #Conflicts: 1621000 | #Constraints: 30195
3444.51/3453.38 c #Conflicts: 1622000 | #Constraints: 31195
3444.51/3453.38 c #Conflicts: 1623000 | #Constraints: 32195
3444.51/3453.38 c #Conflicts: 1624000 | #Constraints: 33195
3444.51/3453.38 c #Conflicts: 1625000 | #Constraints: 34195
3444.51/3453.38 c #Conflicts: 1626000 | #Constraints: 35195
3444.51/3453.38 c #Conflicts: 1627000 | #Constraints: 36195
3444.51/3453.38 c #Conflicts: 1628000 | #Constraints: 37195
3444.51/3453.38 c #Conflicts: 1629000 | #Constraints: 38195
3444.51/3453.38 c #Conflicts: 1630000 | #Constraints: 39195
3444.51/3453.38 c #Conflicts: 1631000 | #Constraints: 40195
3444.51/3453.38 c #Conflicts: 1632000 | #Constraints: 41195
3444.51/3453.38 c #Conflicts: 1633000 | #Constraints: 42195
3444.51/3453.38 c #Conflicts: 1634000 | #Constraints: 43195
3444.51/3453.38 c #Conflicts: 1635000 | #Constraints: 44195
3444.51/3453.38 c #Conflicts: 1636000 | #Constraints: 45195
3444.51/3453.38 c #Conflicts: 1637000 | #Constraints: 46195
3444.51/3453.38 c #Conflicts: 1638000 | #Constraints: 47195
3444.51/3453.38 c #Conflicts: 1639000 | #Constraints: 48195
3444.51/3453.38 c #Conflicts: 1640000 | #Constraints: 49195
3444.51/3453.38 c #Conflicts: 1641000 | #Constraints: 50195
3444.51/3453.38 c #Conflicts: 1642000 | #Constraints: 51195
3444.51/3453.38 c INPROCESSING
3444.51/3453.38 c GARBAGE COLLECT
3444.51/3453.38 c #Conflicts: 1643000 | #Constraints: 26795
3444.51/3453.38 c #Conflicts: 1644000 | #Constraints: 27795
3444.51/3453.38 c #Conflicts: 1645000 | #Constraints: 28795
3444.51/3453.38 c #Conflicts: 1646000 | #Constraints: 29795
3444.51/3453.38 c #Conflicts: 1647000 | #Constraints: 30795
3444.51/3453.38 c #Conflicts: 1648000 | #Constraints: 31795
3444.51/3453.38 c #Conflicts: 1649000 | #Constraints: 32795
3444.51/3453.38 c #Conflicts: 1650000 | #Constraints: 33795
3444.51/3453.38 c #Conflicts: 1651000 | #Constraints: 34795
3444.51/3453.38 c #Conflicts: 1652000 | #Constraints: 35795
3444.51/3453.38 c #Conflicts: 1653000 | #Constraints: 36795
3444.51/3453.38 c #Conflicts: 1654000 | #Constraints: 37795
3444.51/3453.38 c #Conflicts: 1655000 | #Constraints: 38795
3444.51/3453.38 c #Conflicts: 1656000 | #Constraints: 39795
3501.18/3510.15 c #Conflicts: 1657000 | #Constraints: 40795
3501.18/3510.15 c #Conflicts: 1658000 | #Constraints: 41795
3501.18/3510.15 c #Conflicts: 1659000 | #Constraints: 42795
3501.18/3510.15 c #Conflicts: 1660000 | #Constraints: 43795
3501.18/3510.15 c #Conflicts: 1661000 | #Constraints: 44795
3501.18/3510.15 c #Conflicts: 1662000 | #Constraints: 45795
3501.18/3510.15 c #Conflicts: 1663000 | #Constraints: 46795
3501.18/3510.15 c #Conflicts: 1664000 | #Constraints: 47795
3501.18/3510.15 c #Conflicts: 1665000 | #Constraints: 48795
3501.18/3510.15 c #Conflicts: 1666000 | #Constraints: 49795
3501.18/3510.15 c #Conflicts: 1667000 | #Constraints: 50795
3501.18/3510.15 c #Conflicts: 1668000 | #Constraints: 51795
3501.18/3510.15 c INPROCESSING
3501.18/3510.15 c GARBAGE COLLECT
3501.18/3510.15 c #Conflicts: 1669000 | #Constraints: 27184
3501.18/3510.15 c #Conflicts: 1670000 | #Constraints: 28184
3501.18/3510.15 c #Conflicts: 1671000 | #Constraints: 29184
3501.18/3510.15 c #Conflicts: 1672000 | #Constraints: 30184
3501.18/3510.15 c #Conflicts: 1673000 | #Constraints: 31184
3501.18/3510.15 c #Conflicts: 1674000 | #Constraints: 32184
3501.18/3510.15 c #Conflicts: 1675000 | #Constraints: 33184
3501.18/3510.15 c #Conflicts: 1676000 | #Constraints: 34184
3501.18/3510.15 c #Conflicts: 1677000 | #Constraints: 35184
3501.18/3510.15 c #Conflicts: 1678000 | #Constraints: 36184
3501.18/3510.15 c #Conflicts: 1679000 | #Constraints: 37184
3501.18/3510.15 c #Conflicts: 1680000 | #Constraints: 38184
3501.18/3510.15 c #Conflicts: 1681000 | #Constraints: 39184
3501.18/3510.15 c #Conflicts: 1682000 | #Constraints: 40184
3501.18/3510.15 c #Conflicts: 1683000 | #Constraints: 41184
3501.18/3510.15 c bounds 444349 >= 0 @ 3460.9
3501.18/3510.15 c stratification level: 80280
3600.04/3609.20 c #Conflicts: 1684000 | #Constraints: 42185
3600.04/3609.20 c #Conflicts: 1685000 | #Constraints: 43185
3600.04/3609.20 c #Conflicts: 1686000 | #Constraints: 44185
3600.04/3609.20 c #Conflicts: 1687000 | #Constraints: 45185
3600.04/3609.20 c #Conflicts: 1688000 | #Constraints: 46185
3600.04/3609.20 c #Conflicts: 1689000 | #Constraints: 47185
3600.04/3609.20 c #Conflicts: 1690000 | #Constraints: 48185
3600.04/3609.20 c #Conflicts: 1691000 | #Constraints: 49185
3600.04/3609.20 c #Conflicts: 1692000 | #Constraints: 50185
3600.04/3609.20 c #Conflicts: 1693000 | #Constraints: 51185
3600.04/3609.20 c #Conflicts: 1694000 | #Constraints: 52185
3600.04/3609.20 c INPROCESSING
3600.04/3609.20 c GARBAGE COLLECT
3600.04/3609.20 c #Conflicts: 1695000 | #Constraints: 27386
3600.04/3609.20 c #Conflicts: 1696000 | #Constraints: 28386
3600.04/3609.20 c #Conflicts: 1697000 | #Constraints: 29386
3600.04/3609.20 c #Conflicts: 1698000 | #Constraints: 30386
3600.04/3609.20 c #Conflicts: 1699000 | #Constraints: 31386
3600.04/3609.20 c #Conflicts: 1700000 | #Constraints: 32386
3600.04/3609.20 c #Conflicts: 1701000 | #Constraints: 33386
3600.04/3609.20 c #Conflicts: 1702000 | #Constraints: 34386
3600.04/3609.20 c #Conflicts: 1703000 | #Constraints: 35386
3600.04/3609.20 c #Conflicts: 1704000 | #Constraints: 36386
3600.04/3609.20 c #Conflicts: 1705000 | #Constraints: 37386
3600.04/3609.20 c #Conflicts: 1706000 | #Constraints: 38386
3600.04/3609.20 c #Conflicts: 1707000 | #Constraints: 39386
3600.04/3609.20 c #Conflicts: 1708000 | #Constraints: 40386
3600.04/3609.20 c #Conflicts: 1709000 | #Constraints: 41386
3600.04/3609.20 c #Conflicts: 1710000 | #Constraints: 42386
3600.04/3609.20 c #Conflicts: 1711000 | #Constraints: 43386
3600.04/3609.20 c #Conflicts: 1712000 | #Constraints: 44386
3600.04/3609.20 c #Conflicts: 1713000 | #Constraints: 45386
3600.04/3609.20 c #Conflicts: 1714000 | #Constraints: 46386
3600.04/3609.20 c #Conflicts: 1715000 | #Constraints: 47386
3600.04/3609.20 c #Conflicts: 1716000 | #Constraints: 48386
3600.04/3609.20 c #Conflicts: 1717000 | #Constraints: 49386
3600.04/3609.20 c #Conflicts: 1718000 | #Constraints: 50386
3600.04/3609.20 c #Conflicts: 1719000 | #Constraints: 51386
3600.04/3609.20 c #Conflicts: 1720000 | #Constraints: 52386
3600.04/3609.20 c INPROCESSING
3600.04/3609.20 c GARBAGE COLLECT
3600.04/3609.20 c #Conflicts: 1721000 | #Constraints: 27396
3600.04/3609.20 c #Conflicts: 1722000 | #Constraints: 28396
3600.04/3609.20 c #Conflicts: 1723000 | #Constraints: 29396
3600.04/3609.20 c #Conflicts: 1724000 | #Constraints: 30396
3600.04/3609.20 c #Conflicts: 1725000 | #Constraints: 31396
3600.04/3609.20 c #Conflicts: 1726000 | #Constraints: 32396
3600.04/3609.20 c Program interrupted by user.
3600.04/3609.20 c cpu time 3558.59 s
3600.04/3609.20 c deterministic time 462710800011 4.63e+11
3600.04/3609.20 c optimization time 7.12035 s
3600.04/3609.20 c total solve time 3551.46 s
3600.04/3609.20 c core-guided solve time 3551.46 s
3600.04/3609.20 c propagation time 2710.24 s
3600.04/3609.20 c conflict analysis time 676.884 s
3600.04/3609.20 c propagations 765590504
3600.04/3609.20 c resolve steps 4797231
3600.04/3609.20 c decisions 44514248
3600.04/3609.20 c conflicts 1726178
3600.04/3609.20 c restarts 3323
3600.04/3609.20 c inprocessing phases 122
3600.04/3609.20 c input clauses 2
3600.04/3609.20 c input cardinalities 302
3600.04/3609.20 c input general constraints 207
3600.04/3609.20 c input average constraint length 75.53
3600.04/3609.20 c input average constraint degree 1853993.50
3600.04/3609.20 c learned clauses 69913
3600.04/3609.20 c learned cardinalities 8049
3600.04/3609.20 c learned general constraints 1648215
3600.04/3609.20 c learned average constraint length 1088.50
3600.04/3609.20 c learned average constraint degree 8777147.99
3600.04/3609.20 c watched constraints 68861
3600.04/3609.20 c counting constraints 1579561
3600.04/3609.20 c gcd simplifications 1413
3600.04/3609.20 c detected cardinalities 5
3600.04/3609.20 c weakened non-implied lits 808010156
3600.04/3609.20 c weakened non-implying lits 37378
3600.04/3609.20 c original variables 2498
3600.04/3609.20 c clausal propagations 15048505
3600.04/3609.20 c cardinality propagations 2644518
3600.04/3609.20 c watched propagations 7118219
3600.04/3609.20 c counting propagations 733335604
3600.04/3609.20 c watch lookups 80995553623
3600.04/3609.20 c watch backjump lookups 80885280535
3600.04/3609.20 c watch checks 19099349142
3600.04/3609.20 c propagation checks 273976551895
3600.04/3609.20 c constraint additions 6132131117
3600.04/3609.20 c trail pops 811828946
3600.04/3609.20 c formula constraints 500
3600.04/3609.20 c learned constraints 1726177
3600.04/3609.20 c bound constraints 11
3600.04/3609.20 c core-guided constraints 0
3600.04/3609.20 c encountered formula constraints 722148
3600.04/3609.20 c encountered learned constraints 5692940
3600.04/3609.20 c encountered bound constraints 108321
3600.04/3609.20 c encountered core-guided constraints 0
3600.04/3609.20 c LP total time 0 s
3600.04/3609.20 c LP solve time 0 s
3600.04/3609.20 c LP constraints added 0
3600.04/3609.20 c LP constraints removed 0
3600.04/3609.20 c LP pivots internal 0
3600.04/3609.20 c LP pivots root 0
3600.04/3609.20 c LP calls 0
3600.04/3609.20 c LP optimalities 0
3600.04/3609.20 c LP no pivot count 0
3600.04/3609.20 c LP infeasibilities 0
3600.04/3609.20 c LP valid Farkas constraints 0
3600.04/3609.20 c LP learned Farkas constraints 0
3600.04/3609.20 c LP basis resets 0
3600.04/3609.20 c LP cycling count 0
3600.04/3609.20 c LP singular count 0
3600.04/3609.20 c LP no primal count 0
3600.04/3609.20 c LP no farkas count 0
3600.04/3609.20 c LP other issue count 0
3600.04/3609.20 c LP Gomory cuts 0
3600.04/3609.20 c LP learned cuts 0
3600.04/3609.20 c LP deleted cuts 0
3600.04/3609.20 c LP encountered Gomory constraints 0
3600.04/3609.20 c LP encountered Farkas constraints 0
3600.04/3609.20 c LP encountered learned Farkas constraints 0
3600.04/3609.20 c CG auxiliary variables introduced 0
3600.04/3609.20 c CG solutions found 11
3600.04/3609.20 c CG cores constructed 0
3600.04/3609.20 c CG core cardinality constraints returned 0
3600.04/3609.20 c CG unit cores 0
3600.04/3609.20 c CG single cores 0
3600.04/3609.20 c CG blocks removed during cardinality reduction 0
3600.04/3609.20 c CG first core best 0
3600.04/3609.20 c CG decision core best 0
3600.04/3609.20 c CG core reduction tie 0
3600.04/3609.20 c CG core degree average 0.00
3600.04/3609.20 c CG core slack average 0.00
3600.04/3609.20 c CG exhausted 0
3600.04/3609.20 c CG exhaust time 0 s
3600.04/3609.20 c CG trimmed 0
3600.04/3609.20 c CG trim time 0 s
3600.04/3609.20 c CG minimized 0
3600.04/3609.20 c CG minimize time 0 s
3600.04/3609.20 c CG am1 prop time 0.000176 s
3600.04/3609.20 c CG # am1s reformulated 0
3600.04/3609.20 c CG lower bound derived from am1s 0
3600.04/3609.20 c CG # clausal cores 0
3600.04/3609.20 c CG # cardinality cores 0
3600.04/3609.20 c CG # pb cores 0
3600.04/3609.20 c CG # pb reforms 0
3600.04/3609.20 c CG # cores discarded because of pb reform 0
3600.04/3609.20 d LOWERBOUND 0
3600.04/3609.20 d NCORES 0
3600.04/3609.20 d NPBCORES 0
3600.04/3609.20 d NPBREFORM 0
3600.04/3609.20 d NTRIMMED 0
3600.04/3609.20 d NEXHAUSTED 0
3600.04/3609.20 d NAM1S 0
3600.04/3609.20 d AM1LB 0
3600.04/3609.20 o 444349
3600.04/3609.20 s SATISFIABLE
3600.04/3609.20 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -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: 64059 MiB (62542 MiB free)
memory of node 1: 64510 MiB (62765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435981-1721111526/watcher-4435981-1721111526 -o /tmp/evaluation-result-4435981-1721111526/solver-4435981-1721111526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828397 --watchdog 3760 pb-oll-rs HOME/instance-4435981-1721111526.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=833620, runsolver pid=833617
[startup+0.100107 s]*
/proc/loadavg: 4.15 4.14 4.15 5/244 833621
/proc/meminfo: memFree=128307992/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=43864 memory=13464 CPUtime=0.1 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 1719 0 0 0 9 1 0 0 20 0 1 0 163309026 44916736 3366 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 10966 3366 1408 291 0 2500 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43864 KiB
Current children cumulated memory: 13464 KiB
[startup+0.212913 s]*
/proc/loadavg: 4.15 4.14 4.15 5/244 833621
/proc/meminfo: memFree=128301264/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=50596 memory=20004 CPUtime=0.21 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 3323 0 0 0 19 2 0 0 20 0 1 0 163309026 51810304 5001 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 12649 5001 1408 291 0 4183 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50596 KiB
Current children cumulated memory: 20004 KiB
[startup+0.31291 s]*
/proc/loadavg: 4.15 4.14 4.15 5/244 833621
/proc/meminfo: memFree=128296896/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=57720 memory=24800 CPUtime=0.31 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 4540 0 0 0 28 3 0 0 20 0 1 0 163309026 59105280 6200 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 14430 6200 1408 291 0 5964 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57720 KiB
Current children cumulated memory: 24800 KiB
[startup+0.700346 s]
/proc/loadavg: 4.15 4.14 4.15 5/244 833621
/proc/meminfo: memFree=128286180/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=77020 memory=43408 CPUtime=0.69 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 8191 0 0 0 62 7 0 0 20 0 1 0 163309026 78868480 10852 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 19255 10852 1408 291 0 10789 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77020 KiB
Current children cumulated memory: 43408 KiB
[startup+1.50034 s]
/proc/loadavg: 4.15 4.14 4.15 5/244 833621
/proc/meminfo: memFree=128261864/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=98452 memory=61552 CPUtime=1.49 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 11207 0 0 0 137 12 0 0 20 0 1 0 163309026 100814848 15388 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 24613 15388 1408 291 0 16147 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98452 KiB
Current children cumulated memory: 61552 KiB
[startup+3.11276 s]
/proc/loadavg: 4.22 4.16 4.16 5/244 833621
/proc/meminfo: memFree=128225996/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=139816 memory=93796 CPUtime=3.1 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 16121 0 0 0 289 21 0 0 20 0 1 0 163309026 143171584 23449 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 34954 23449 1462 291 0 26488 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 139816 KiB
Current children cumulated memory: 93796 KiB
[startup+6.30032 s]
/proc/loadavg: 4.22 4.16 4.16 5/244 833621
/proc/meminfo: memFree=128191784/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=162668 memory=124820 CPUtime=6.28 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 21369 0 0 0 596 32 0 0 20 0 1 0 163309026 166572032 31205 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 40667 31205 1462 291 0 32201 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 162668 KiB
Current children cumulated memory: 124820 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.15 5/244 833624
/proc/meminfo: memFree=128140344/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=224920 memory=172824 CPUtime=12.66 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 28274 0 0 0 1214 52 0 0 20 0 1 0 163309026 230318080 43206 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 56230 43206 1462 291 0 47764 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 224920 KiB
Current children cumulated memory: 172824 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.14 4.15 5/244 833625
/proc/meminfo: memFree=128098104/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=295940 memory=212312 CPUtime=25.43 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 34084 0 0 0 2444 99 0 0 20 0 1 0 163309026 303042560 53078 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 73985 53078 1462 291 0 65519 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 295940 KiB
Current children cumulated memory: 212312 KiB
[startup+51.1127 s]
/proc/loadavg: 4.16 4.15 4.15 5/244 833630
/proc/meminfo: memFree=128018208/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=340364 memory=271292 CPUtime=50.97 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 43226 0 0 0 4933 164 0 0 20 0 1 0 163309026 348532736 67823 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 85091 67823 1462 291 0 76625 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 340364 KiB
Current children cumulated memory: 271292 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/244 833638
/proc/meminfo: memFree=127951020/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=380816 memory=317708 CPUtime=102.04 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 51351 0 0 0 9909 295 0 0 20 0 1 0 163309026 389955584 79427 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 95204 79427 1462 291 0 86738 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 380816 KiB
Current children cumulated memory: 317708 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/243 833649
/proc/meminfo: memFree=127881888/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=492160 memory=377784 CPUtime=161.88 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 58766 0 0 0 15739 449 0 0 20 0 1 0 163309026 503971840 94446 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 123040 94446 1462 291 0 114574 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 492160 KiB
Current children cumulated memory: 377784 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/243 833660
/proc/meminfo: memFree=127784948/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=556420 memory=466896 CPUtime=221.73 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 71377 0 0 0 21661 512 0 0 20 0 1 0 163309026 569774080 116724 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 139105 116724 1462 291 0 130639 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 556420 KiB
Current children cumulated memory: 466896 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/241 833670
/proc/meminfo: memFree=127762796/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=578696 memory=483040 CPUtime=281.57 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 75413 0 0 0 27515 642 0 0 20 0 1 0 163309026 592584704 120760 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 144674 120760 1462 291 0 136208 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 578696 KiB
Current children cumulated memory: 483040 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/241 833680
/proc/meminfo: memFree=127719756/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=608008 memory=519804 CPUtime=341.41 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 81098 0 0 0 33404 737 0 0 20 0 1 0 163309026 622600192 129951 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 152002 129951 1462 291 0 143536 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 608008 KiB
Current children cumulated memory: 519804 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.14 5/241 833690
/proc/meminfo: memFree=127643172/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=613896 memory=526104 CPUtime=401.26 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 82740 0 0 0 39279 847 0 0 20 0 1 0 163309026 628629504 131526 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 153474 131526 1462 291 0 145008 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 613896 KiB
Current children cumulated memory: 526104 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/241 833701
/proc/meminfo: memFree=127596548/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=761772 memory=562024 CPUtime=461.12 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 87195 0 0 0 45181 931 0 0 20 0 1 0 163309026 780054528 140506 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 190443 140506 1462 291 0 181977 0
################
# More data... #
################
Current children cumulated memory: 1100768 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/242 834929
/proc/meminfo: memFree=127511760/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1345392 memory=1103764 CPUtime=2855.05 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 161948 0 0 0 282006 3499 0 0 20 0 1 0 163309026 1377681408 275941 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 336348 275941 1462 291 0 327882 0
Current children cumulated CPU time: 2855.05 s
Current children cumulated vsize: 1345392 KiB
Current children cumulated memory: 1103764 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/245 834944
/proc/meminfo: memFree=127510172/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1345392 memory=1103792 CPUtime=2914.9 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 162251 0 0 0 287952 3538 0 0 20 0 1 0 163309026 1377681408 275948 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 336348 275948 1462 291 0 327882 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 1345392 KiB
Current children cumulated memory: 1103792 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/245 834954
/proc/meminfo: memFree=127506740/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1345392 memory=1103932 CPUtime=2974.76 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 162674 0 0 0 293896 3580 0 0 20 0 1 0 163309026 1377681408 275983 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 336348 275983 1462 291 0 327882 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 1345392 KiB
Current children cumulated memory: 1103932 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.15 4.14 5/245 834965
/proc/meminfo: memFree=127497624/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1354164 memory=1110860 CPUtime=3034.62 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 164794 0 0 0 299817 3645 0 0 20 0 1 0 163309026 1386663936 277715 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 338541 277715 1462 291 0 330075 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 1354164 KiB
Current children cumulated memory: 1110860 KiB
[startup+3102.3 s]
/proc/loadavg: 5.18 4.41 4.22 5/244 834975
/proc/meminfo: memFree=127495968/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1354164 memory=1110860 CPUtime=3094.47 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 165064 0 0 0 305748 3699 0 0 20 0 1 0 163309026 1386663936 277715 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 338541 277715 1462 291 0 330075 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 1354164 KiB
Current children cumulated memory: 1110860 KiB
[startup+3162.3 s]
/proc/loadavg: 5.24 4.59 4.30 5/244 834986
/proc/meminfo: memFree=127486212/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1354164 memory=1112016 CPUtime=3154.32 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 165532 0 0 0 311671 3761 0 0 20 0 1 0 163309026 1386663936 278004 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 338541 278004 1462 291 0 330075 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 1354164 KiB
Current children cumulated memory: 1112016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.52 4.49 4.28 5/243 835380
/proc/meminfo: memFree=127451580/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1355712 memory=1143120 CPUtime=3214.16 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 166187 0 0 0 317608 3808 0 0 20 0 1 0 163309026 1388249088 285780 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 338928 285780 1462 291 0 330462 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 1355712 KiB
Current children cumulated memory: 1143120 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.42 4.27 5/243 835390
/proc/meminfo: memFree=127449596/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1355712 memory=1143120 CPUtime=3274 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 166546 0 0 0 323566 3834 0 0 20 0 1 0 163309026 1388249088 285780 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 338928 285780 1462 291 0 330462 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 1355712 KiB
Current children cumulated memory: 1143120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.35 4.26 5/243 835400
/proc/meminfo: memFree=127445452/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1356228 memory=1143580 CPUtime=3333.82 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 167131 0 0 0 329501 3881 0 0 20 0 1 0 163309026 1388777472 285895 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 339057 285895 1462 291 0 330591 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 1356228 KiB
Current children cumulated memory: 1143580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.32 4.25 5/245 835580
/proc/meminfo: memFree=127432380/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1365516 memory=1150748 CPUtime=3393.65 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 169355 0 0 0 335445 3920 0 0 20 0 1 0 163309026 1398288384 287687 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 341379 287687 1462 291 0 332913 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 1365516 KiB
Current children cumulated memory: 1150748 KiB
[startup+3462.3 s]
/proc/loadavg: 3.57 4.13 4.19 4/238 835621
/proc/meminfo: memFree=127884236/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1383576 memory=1162360 CPUtime=3453.49 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 172794 0 0 0 341366 3983 0 0 20 0 1 0 163309026 1416781824 290590 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 345894 290590 1462 291 0 337428 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 1383576 KiB
Current children cumulated memory: 1162360 KiB
[startup+3522.3 s]
/proc/loadavg: 3.33 3.97 4.13 4/239 835689
/proc/meminfo: memFree=127870024/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1383576 memory=1162420 CPUtime=3513.35 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 173297 0 0 0 347291 4044 0 0 20 0 1 0 163309026 1416781824 290605 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 345894 290605 1462 291 0 337428 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 1383576 KiB
Current children cumulated memory: 1162420 KiB
[startup+3582.3 s]
/proc/loadavg: 3.34 3.84 4.07 4/239 835699
/proc/meminfo: memFree=127855436/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1384092 memory=1172508 CPUtime=3573.21 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 173920 0 0 0 353203 4118 0 0 20 0 1 0 163309026 1417310208 293127 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 346023 293127 1462 291 0 337557 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 1384092 KiB
Current children cumulated memory: 1172508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 3.67 3.87 4.07 4/239 835706
/proc/meminfo: memFree=127843796/131655788 swapFree=131071996/131071996
[pid=833620] ppid=833617 vsize=1384092 memory=1181048 CPUtime=3600.04 cores=1,3
/proc/833620/stat : 833620 (pb-oll-rs) R 833617 833620 828344 0 -1 4194304 174176 0 0 0 355858 4146 0 0 20 0 1 0 163309026 1417310208 295262 134679101440 4194304 5384005 140726117219648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 35975168 140726117221399 140726117221476 140726117221476 140726117228491 0
/proc/833620/statm: 346023 295262 1462 291 0 337557 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1384092 KiB
Current children cumulated memory: 1181048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 833620 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.59 s, system=41.4722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.06
CPU user time (s): 3558.59
CPU system time (s): 41.4722
CPU usage (%): 99.7464
Max. virtual memory (cumulated for all children) (KiB): 1384092
Max. memory (cumulated for all children) (KiB): 1181048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.59
system time used= 41.4722
maximum resident set size= 1181048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174193
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= 343
involuntary context switches= 2700
# summary of solver processes directly reported to runsolver:
# pid: 833620
# total CPU time (s): 3600.06
# total CPU user time (s): 3558.59
# total CPU system time (s): 41.4722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2504 second user time and 35.3739 second system time
The end
Begin job on nodeC008 at 2024-07-16 08:32:18
IDJOB=4435981
IDBENCH=148704
IDSOLVER=3067
FILE ID=nodeC008/4435981-1721111526
RUNJOBID= nodeC008-1721103905-828397
SLURM_JOB_ID= 7505622
Free space on /tmp= 723756 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435981-1721111526/watcher-4435981-1721111526 -o /tmp/evaluation-result-4435981-1721111526/solver-4435981-1721111526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828397 --watchdog 3760 pb-oll-rs HOME/instance-4435981-1721111526.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2d146ebdf2817567f5780fc8d24c5107
RANDOM SEED=1945800667
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3549.705
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.978
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.454
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3529.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3644.893
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.471
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.369
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128315732 kB
MemAvailable: 128511100 kB
Buffers: 413660 kB
Cached: 625440 kB
SwapCached: 0 kB
Active: 651816 kB
Inactive: 2165368 kB
Active(anon): 1500 kB
Inactive(anon): 1813956 kB
Active(file): 650316 kB
Inactive(file): 351412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 1792 kB
Writeback: 0 kB
AnonPages: 1775880 kB
Mapped: 108032 kB
Shmem: 37704 kB
KReclaimable: 67340 kB
Slab: 161236 kB
SReclaimable: 67340 kB
SUnreclaim: 93896 kB
KernelStack: 4016 kB
PageTables: 12744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2608252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52064 kB
HardwareCorrupted: 0 kB
AnonHugePages: 735232 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-16 09:32:28