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.03 c [STEP] solving
0.00/0.03 c #variables 1945 #constraints 3355
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= 5621 @ 0.02404
0.00/0.03 c stratification level: 2034
0.00/0.03 c bounds 43695 >= 5621 @ 0.026976
0.00/0.03 c stratification level: 2031
32.51/32.73 c #Conflicts: 1000 | #Constraints: 4355
32.51/32.73 c #Conflicts: 2000 | #Constraints: 5355
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 3000 | #Constraints: 5356
32.51/32.73 c #Conflicts: 4000 | #Constraints: 6356
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 5000 | #Constraints: 5761
32.51/32.73 c #Conflicts: 6000 | #Constraints: 6761
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 7000 | #Constraints: 5761
32.51/32.73 c #Conflicts: 8000 | #Constraints: 6761
32.51/32.73 c #Conflicts: 9000 | #Constraints: 7761
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 10000 | #Constraints: 6463
32.51/32.73 c #Conflicts: 11000 | #Constraints: 7463
32.51/32.73 c #Conflicts: 12000 | #Constraints: 8463
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 13000 | #Constraints: 6919
32.51/32.73 c #Conflicts: 14000 | #Constraints: 7919
32.51/32.73 c #Conflicts: 15000 | #Constraints: 8919
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 16000 | #Constraints: 7147
32.51/32.73 c #Conflicts: 17000 | #Constraints: 8147
32.51/32.73 c #Conflicts: 18000 | #Constraints: 9147
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 19000 | #Constraints: 7156
32.51/32.73 c #Conflicts: 20000 | #Constraints: 8156
32.51/32.73 c #Conflicts: 21000 | #Constraints: 9156
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 22000 | #Constraints: 6967
32.51/32.73 c #Conflicts: 23000 | #Constraints: 7967
32.51/32.73 c #Conflicts: 24000 | #Constraints: 8967
32.51/32.73 c #Conflicts: 25000 | #Constraints: 9967
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 26000 | #Constraints: 7574
32.51/32.73 c #Conflicts: 27000 | #Constraints: 8574
32.51/32.73 c #Conflicts: 28000 | #Constraints: 9574
32.51/32.73 c #Conflicts: 29000 | #Constraints: 10574
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 30000 | #Constraints: 7971
32.51/32.73 c #Conflicts: 31000 | #Constraints: 8971
32.51/32.73 c #Conflicts: 32000 | #Constraints: 9971
32.51/32.73 c #Conflicts: 33000 | #Constraints: 10971
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 34000 | #Constraints: 8168
32.51/32.73 c #Conflicts: 35000 | #Constraints: 9168
32.51/32.73 c #Conflicts: 36000 | #Constraints: 10168
32.51/32.73 c #Conflicts: 37000 | #Constraints: 11168
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 38000 | #Constraints: 8176
32.51/32.73 c #Conflicts: 39000 | #Constraints: 9176
32.51/32.73 c #Conflicts: 40000 | #Constraints: 10176
32.51/32.73 c #Conflicts: 41000 | #Constraints: 11176
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 42000 | #Constraints: 7982
32.51/32.73 c #Conflicts: 43000 | #Constraints: 8982
32.51/32.73 c #Conflicts: 44000 | #Constraints: 9982
32.51/32.73 c #Conflicts: 45000 | #Constraints: 10982
32.51/32.73 c #Conflicts: 46000 | #Constraints: 11982
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 47000 | #Constraints: 8575
32.51/32.73 c #Conflicts: 48000 | #Constraints: 9575
32.51/32.73 c #Conflicts: 49000 | #Constraints: 10575
32.51/32.73 c #Conflicts: 50000 | #Constraints: 11575
32.51/32.73 c #Conflicts: 51000 | #Constraints: 12575
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 52000 | #Constraints: 8978
32.51/32.73 c #Conflicts: 53000 | #Constraints: 9978
32.51/32.73 c #Conflicts: 54000 | #Constraints: 10978
32.51/32.73 c #Conflicts: 55000 | #Constraints: 11978
32.51/32.73 c #Conflicts: 56000 | #Constraints: 12978
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 57000 | #Constraints: 9180
32.51/32.73 c #Conflicts: 58000 | #Constraints: 10180
32.51/32.73 c #Conflicts: 59000 | #Constraints: 11180
32.51/32.73 c #Conflicts: 60000 | #Constraints: 12180
32.51/32.73 c #Conflicts: 61000 | #Constraints: 13180
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 62000 | #Constraints: 9180
32.51/32.73 c #Conflicts: 63000 | #Constraints: 10180
32.51/32.73 c #Conflicts: 64000 | #Constraints: 11180
32.51/32.73 c #Conflicts: 65000 | #Constraints: 12180
32.51/32.73 c #Conflicts: 66000 | #Constraints: 13180
32.51/32.73 c INPROCESSING
32.51/32.73 c GARBAGE COLLECT
32.51/32.73 c #Conflicts: 67000 | #Constraints: 8978
32.51/32.73 c #Conflicts: 68000 | #Constraints: 9978
81.38/81.74 c #Conflicts: 69000 | #Constraints: 10978
81.38/81.74 c #Conflicts: 70000 | #Constraints: 11978
81.38/81.74 c #Conflicts: 71000 | #Constraints: 12978
81.38/81.74 c #Conflicts: 72000 | #Constraints: 13978
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 73000 | #Constraints: 9583
81.38/81.74 c #Conflicts: 74000 | #Constraints: 10583
81.38/81.74 c #Conflicts: 75000 | #Constraints: 11583
81.38/81.74 c #Conflicts: 76000 | #Constraints: 12583
81.38/81.74 c #Conflicts: 77000 | #Constraints: 13583
81.38/81.74 c #Conflicts: 78000 | #Constraints: 14583
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 79000 | #Constraints: 9991
81.38/81.74 c #Conflicts: 80000 | #Constraints: 10991
81.38/81.74 c #Conflicts: 81000 | #Constraints: 11991
81.38/81.74 c #Conflicts: 82000 | #Constraints: 12991
81.38/81.74 c #Conflicts: 83000 | #Constraints: 13991
81.38/81.74 c #Conflicts: 84000 | #Constraints: 14991
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 85000 | #Constraints: 10193
81.38/81.74 c #Conflicts: 86000 | #Constraints: 11193
81.38/81.74 c #Conflicts: 87000 | #Constraints: 12193
81.38/81.74 c #Conflicts: 88000 | #Constraints: 13193
81.38/81.74 c #Conflicts: 89000 | #Constraints: 14193
81.38/81.74 c #Conflicts: 90000 | #Constraints: 15193
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 91000 | #Constraints: 10197
81.38/81.74 c #Conflicts: 92000 | #Constraints: 11197
81.38/81.74 c #Conflicts: 93000 | #Constraints: 12197
81.38/81.74 c #Conflicts: 94000 | #Constraints: 13197
81.38/81.74 c #Conflicts: 95000 | #Constraints: 14197
81.38/81.74 c #Conflicts: 96000 | #Constraints: 15197
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 97000 | #Constraints: 9997
81.38/81.74 c #Conflicts: 98000 | #Constraints: 10997
81.38/81.74 c #Conflicts: 99000 | #Constraints: 11997
81.38/81.74 c #Conflicts: 100000 | #Constraints: 12997
81.38/81.74 c #Conflicts: 101000 | #Constraints: 13997
81.38/81.74 c #Conflicts: 102000 | #Constraints: 14997
81.38/81.74 c #Conflicts: 103000 | #Constraints: 15997
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 104000 | #Constraints: 10590
81.38/81.74 c #Conflicts: 105000 | #Constraints: 11590
81.38/81.74 c #Conflicts: 106000 | #Constraints: 12590
81.38/81.74 c #Conflicts: 107000 | #Constraints: 13590
81.38/81.74 c #Conflicts: 108000 | #Constraints: 14590
81.38/81.74 c #Conflicts: 109000 | #Constraints: 15590
81.38/81.74 c #Conflicts: 110000 | #Constraints: 16590
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 111000 | #Constraints: 10988
81.38/81.74 c #Conflicts: 112000 | #Constraints: 11988
81.38/81.74 c #Conflicts: 113000 | #Constraints: 12988
81.38/81.74 c #Conflicts: 114000 | #Constraints: 13988
81.38/81.74 c #Conflicts: 115000 | #Constraints: 14988
81.38/81.74 c #Conflicts: 116000 | #Constraints: 15988
81.38/81.74 c #Conflicts: 117000 | #Constraints: 16988
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 118000 | #Constraints: 11199
81.38/81.74 c #Conflicts: 119000 | #Constraints: 12199
81.38/81.74 c #Conflicts: 120000 | #Constraints: 13199
81.38/81.74 c #Conflicts: 121000 | #Constraints: 14199
81.38/81.74 c #Conflicts: 122000 | #Constraints: 15199
81.38/81.74 c #Conflicts: 123000 | #Constraints: 16199
81.38/81.74 c #Conflicts: 124000 | #Constraints: 17199
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 125000 | #Constraints: 11190
81.38/81.74 c #Conflicts: 126000 | #Constraints: 12190
81.38/81.74 c #Conflicts: 127000 | #Constraints: 13190
81.38/81.74 c #Conflicts: 128000 | #Constraints: 14190
81.38/81.74 c #Conflicts: 129000 | #Constraints: 15190
81.38/81.74 c #Conflicts: 130000 | #Constraints: 16190
81.38/81.74 c #Conflicts: 131000 | #Constraints: 17190
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 132000 | #Constraints: 10989
81.38/81.74 c #Conflicts: 133000 | #Constraints: 11989
81.38/81.74 c #Conflicts: 134000 | #Constraints: 12989
81.38/81.74 c #Conflicts: 135000 | #Constraints: 13989
81.38/81.74 c #Conflicts: 136000 | #Constraints: 14989
81.38/81.74 c #Conflicts: 137000 | #Constraints: 15989
81.38/81.74 c #Conflicts: 138000 | #Constraints: 16989
81.38/81.74 c #Conflicts: 139000 | #Constraints: 17989
81.38/81.74 c INPROCESSING
81.38/81.74 c GARBAGE COLLECT
81.38/81.74 c #Conflicts: 140000 | #Constraints: 11586
147.32/147.89 c #Conflicts: 141000 | #Constraints: 12586
147.32/147.89 c #Conflicts: 142000 | #Constraints: 13586
147.32/147.89 c #Conflicts: 143000 | #Constraints: 14586
147.32/147.89 c #Conflicts: 144000 | #Constraints: 15586
147.32/147.89 c #Conflicts: 145000 | #Constraints: 16586
147.32/147.89 c #Conflicts: 146000 | #Constraints: 17586
147.32/147.89 c #Conflicts: 147000 | #Constraints: 18586
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 148000 | #Constraints: 11994
147.32/147.89 c #Conflicts: 149000 | #Constraints: 12994
147.32/147.89 c #Conflicts: 150000 | #Constraints: 13994
147.32/147.89 c #Conflicts: 151000 | #Constraints: 14994
147.32/147.89 c #Conflicts: 152000 | #Constraints: 15994
147.32/147.89 c #Conflicts: 153000 | #Constraints: 16994
147.32/147.89 c #Conflicts: 154000 | #Constraints: 17994
147.32/147.89 c #Conflicts: 155000 | #Constraints: 18994
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 156000 | #Constraints: 12214
147.32/147.89 c #Conflicts: 157000 | #Constraints: 13214
147.32/147.89 c #Conflicts: 158000 | #Constraints: 14214
147.32/147.89 c #Conflicts: 159000 | #Constraints: 15214
147.32/147.89 c #Conflicts: 160000 | #Constraints: 16214
147.32/147.89 c #Conflicts: 161000 | #Constraints: 17214
147.32/147.89 c #Conflicts: 162000 | #Constraints: 18214
147.32/147.89 c #Conflicts: 163000 | #Constraints: 19214
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 164000 | #Constraints: 12216
147.32/147.89 c #Conflicts: 165000 | #Constraints: 13216
147.32/147.89 c #Conflicts: 166000 | #Constraints: 14216
147.32/147.89 c #Conflicts: 167000 | #Constraints: 15216
147.32/147.89 c #Conflicts: 168000 | #Constraints: 16216
147.32/147.89 c #Conflicts: 169000 | #Constraints: 17216
147.32/147.89 c #Conflicts: 170000 | #Constraints: 18216
147.32/147.89 c #Conflicts: 171000 | #Constraints: 19216
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 172000 | #Constraints: 12032
147.32/147.89 c #Conflicts: 173000 | #Constraints: 13032
147.32/147.89 c #Conflicts: 174000 | #Constraints: 14032
147.32/147.89 c #Conflicts: 175000 | #Constraints: 15032
147.32/147.89 c #Conflicts: 176000 | #Constraints: 16032
147.32/147.89 c #Conflicts: 177000 | #Constraints: 17032
147.32/147.89 c #Conflicts: 178000 | #Constraints: 18032
147.32/147.89 c #Conflicts: 179000 | #Constraints: 19032
147.32/147.89 c #Conflicts: 180000 | #Constraints: 20032
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 181000 | #Constraints: 12609
147.32/147.89 c #Conflicts: 182000 | #Constraints: 13609
147.32/147.89 c #Conflicts: 183000 | #Constraints: 14609
147.32/147.89 c #Conflicts: 184000 | #Constraints: 15609
147.32/147.89 c #Conflicts: 185000 | #Constraints: 16609
147.32/147.89 c #Conflicts: 186000 | #Constraints: 17609
147.32/147.89 c #Conflicts: 187000 | #Constraints: 18609
147.32/147.89 c #Conflicts: 188000 | #Constraints: 19609
147.32/147.89 c #Conflicts: 189000 | #Constraints: 20609
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 190000 | #Constraints: 13005
147.32/147.89 c #Conflicts: 191000 | #Constraints: 14005
147.32/147.89 c #Conflicts: 192000 | #Constraints: 15005
147.32/147.89 c #Conflicts: 193000 | #Constraints: 16005
147.32/147.89 c #Conflicts: 194000 | #Constraints: 17005
147.32/147.89 c #Conflicts: 195000 | #Constraints: 18005
147.32/147.89 c #Conflicts: 196000 | #Constraints: 19005
147.32/147.89 c #Conflicts: 197000 | #Constraints: 20005
147.32/147.89 c #Conflicts: 198000 | #Constraints: 21005
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 199000 | #Constraints: 13196
147.32/147.89 c #Conflicts: 200000 | #Constraints: 14196
147.32/147.89 c #Conflicts: 201000 | #Constraints: 15196
147.32/147.89 c #Conflicts: 202000 | #Constraints: 16196
147.32/147.89 c #Conflicts: 203000 | #Constraints: 17196
147.32/147.89 c #Conflicts: 204000 | #Constraints: 18196
147.32/147.89 c #Conflicts: 205000 | #Constraints: 19196
147.32/147.89 c #Conflicts: 206000 | #Constraints: 20196
147.32/147.89 c #Conflicts: 207000 | #Constraints: 21196
147.32/147.89 c INPROCESSING
147.32/147.89 c GARBAGE COLLECT
147.32/147.89 c #Conflicts: 208000 | #Constraints: 13198
147.32/147.89 c #Conflicts: 209000 | #Constraints: 14198
147.32/147.89 c #Conflicts: 210000 | #Constraints: 15198
147.32/147.89 c #Conflicts: 211000 | #Constraints: 16198
147.32/147.89 c #Conflicts: 212000 | #Constraints: 17198
147.32/147.89 c #Conflicts: 213000 | #Constraints: 18198
232.61/233.30 c #Conflicts: 214000 | #Constraints: 19198
232.61/233.30 c #Conflicts: 215000 | #Constraints: 20198
232.61/233.30 c #Conflicts: 216000 | #Constraints: 21198
232.61/233.30 c INPROCESSING
232.61/233.30 c GARBAGE COLLECT
232.61/233.30 c #Conflicts: 217000 | #Constraints: 13006
232.61/233.30 c #Conflicts: 218000 | #Constraints: 14006
232.61/233.30 c #Conflicts: 219000 | #Constraints: 15006
232.61/233.30 c #Conflicts: 220000 | #Constraints: 16006
232.61/233.30 c #Conflicts: 221000 | #Constraints: 17006
232.61/233.30 c #Conflicts: 222000 | #Constraints: 18006
232.61/233.30 c #Conflicts: 223000 | #Constraints: 19006
232.61/233.30 c #Conflicts: 224000 | #Constraints: 20006
232.61/233.30 c #Conflicts: 225000 | #Constraints: 21006
232.61/233.30 c #Conflicts: 226000 | #Constraints: 22006
232.61/233.30 c INPROCESSING
232.61/233.30 c GARBAGE COLLECT
232.61/233.30 c #Conflicts: 227000 | #Constraints: 13596
232.61/233.30 c #Conflicts: 228000 | #Constraints: 14596
232.61/233.30 c #Conflicts: 229000 | #Constraints: 15596
232.61/233.30 c #Conflicts: 230000 | #Constraints: 16596
232.61/233.30 c #Conflicts: 231000 | #Constraints: 17596
232.61/233.30 c #Conflicts: 232000 | #Constraints: 18596
232.61/233.30 c #Conflicts: 233000 | #Constraints: 19596
232.61/233.30 c #Conflicts: 234000 | #Constraints: 20596
232.61/233.30 c #Conflicts: 235000 | #Constraints: 21596
232.61/233.30 c #Conflicts: 236000 | #Constraints: 22596
232.61/233.30 c INPROCESSING
232.61/233.30 c GARBAGE COLLECT
232.61/233.30 c #Conflicts: 237000 | #Constraints: 13992
232.61/233.30 c #Conflicts: 238000 | #Constraints: 14992
232.61/233.30 c #Conflicts: 239000 | #Constraints: 15992
232.61/233.30 c #Conflicts: 240000 | #Constraints: 16992
232.61/233.30 c #Conflicts: 241000 | #Constraints: 17992
232.61/233.30 c #Conflicts: 242000 | #Constraints: 18992
232.61/233.30 c #Conflicts: 243000 | #Constraints: 19992
232.61/233.30 c #Conflicts: 244000 | #Constraints: 20992
232.61/233.30 c #Conflicts: 245000 | #Constraints: 21992
232.61/233.30 c #Conflicts: 246000 | #Constraints: 22992
232.61/233.30 c INPROCESSING
232.61/233.30 c GARBAGE COLLECT
232.61/233.30 c #Conflicts: 247000 | #Constraints: 14200
232.61/233.30 c #Conflicts: 248000 | #Constraints: 15200
232.61/233.30 c #Conflicts: 249000 | #Constraints: 16200
232.61/233.30 c #Conflicts: 250000 | #Constraints: 17200
232.61/233.30 c #Conflicts: 251000 | #Constraints: 18200
232.61/233.30 c #Conflicts: 252000 | #Constraints: 19200
232.61/233.30 c #Conflicts: 253000 | #Constraints: 20200
232.61/233.30 c #Conflicts: 254000 | #Constraints: 21200
232.61/233.30 c #Conflicts: 255000 | #Constraints: 22200
232.61/233.30 c #Conflicts: 256000 | #Constraints: 23200
232.61/233.30 c INPROCESSING
232.61/233.30 c GARBAGE COLLECT
232.61/233.30 c #Conflicts: 257000 | #Constraints: 14206
232.61/233.30 c #Conflicts: 258000 | #Constraints: 15206
232.61/233.30 c #Conflicts: 259000 | #Constraints: 16206
232.61/233.30 c #Conflicts: 260000 | #Constraints: 17206
232.61/233.30 c #Conflicts: 261000 | #Constraints: 18206
232.61/233.30 c #Conflicts: 262000 | #Constraints: 19206
232.61/233.30 c #Conflicts: 263000 | #Constraints: 20206
232.61/233.30 c #Conflicts: 264000 | #Constraints: 21206
232.61/233.30 c #Conflicts: 265000 | #Constraints: 22206
232.61/233.30 c #Conflicts: 266000 | #Constraints: 23206
232.61/233.30 c INPROCESSING
232.61/233.30 c GARBAGE COLLECT
232.61/233.30 c #Conflicts: 267000 | #Constraints: 14052
232.61/233.30 c #Conflicts: 268000 | #Constraints: 15052
232.61/233.30 c #Conflicts: 269000 | #Constraints: 16052
232.61/233.30 c #Conflicts: 270000 | #Constraints: 17052
232.61/233.30 c #Conflicts: 271000 | #Constraints: 18052
232.61/233.30 c #Conflicts: 272000 | #Constraints: 19052
232.61/233.30 c #Conflicts: 273000 | #Constraints: 20052
232.61/233.30 c #Conflicts: 274000 | #Constraints: 21052
232.61/233.30 c #Conflicts: 275000 | #Constraints: 22052
232.61/233.30 c #Conflicts: 276000 | #Constraints: 23052
232.61/233.30 c #Conflicts: 277000 | #Constraints: 24052
232.61/233.30 c INPROCESSING
232.61/233.30 c GARBAGE COLLECT
232.61/233.30 c #Conflicts: 278000 | #Constraints: 14617
232.61/233.30 c #Conflicts: 279000 | #Constraints: 15617
232.61/233.30 c #Conflicts: 280000 | #Constraints: 16617
232.61/233.30 c #Conflicts: 281000 | #Constraints: 17617
232.61/233.30 c #Conflicts: 282000 | #Constraints: 18617
232.61/233.30 c #Conflicts: 283000 | #Constraints: 19617
232.61/233.30 c #Conflicts: 284000 | #Constraints: 20617
232.61/233.30 c #Conflicts: 285000 | #Constraints: 21617
232.61/233.30 c #Conflicts: 286000 | #Constraints: 22617
232.61/233.30 c #Conflicts: 287000 | #Constraints: 23617
232.61/233.30 c #Conflicts: 288000 | #Constraints: 24617
334.76/335.79 c INPROCESSING
334.76/335.79 c GARBAGE COLLECT
334.76/335.79 c #Conflicts: 289000 | #Constraints: 15027
334.76/335.79 c #Conflicts: 290000 | #Constraints: 16027
334.76/335.79 c #Conflicts: 291000 | #Constraints: 17027
334.76/335.79 c #Conflicts: 292000 | #Constraints: 18027
334.76/335.79 c #Conflicts: 293000 | #Constraints: 19027
334.76/335.79 c #Conflicts: 294000 | #Constraints: 20027
334.76/335.79 c #Conflicts: 295000 | #Constraints: 21027
334.76/335.79 c #Conflicts: 296000 | #Constraints: 22027
334.76/335.79 c #Conflicts: 297000 | #Constraints: 23027
334.76/335.79 c #Conflicts: 298000 | #Constraints: 24027
334.76/335.79 c #Conflicts: 299000 | #Constraints: 25027
334.76/335.79 c INPROCESSING
334.76/335.79 c GARBAGE COLLECT
334.76/335.79 c #Conflicts: 300000 | #Constraints: 15218
334.76/335.79 c #Conflicts: 301000 | #Constraints: 16218
334.76/335.79 c #Conflicts: 302000 | #Constraints: 17218
334.76/335.79 c #Conflicts: 303000 | #Constraints: 18218
334.76/335.79 c #Conflicts: 304000 | #Constraints: 19218
334.76/335.79 c #Conflicts: 305000 | #Constraints: 20218
334.76/335.79 c #Conflicts: 306000 | #Constraints: 21218
334.76/335.80 c #Conflicts: 307000 | #Constraints: 22218
334.76/335.80 c #Conflicts: 308000 | #Constraints: 23218
334.76/335.80 c #Conflicts: 309000 | #Constraints: 24218
334.76/335.80 c #Conflicts: 310000 | #Constraints: 25218
334.76/335.80 c INPROCESSING
334.76/335.80 c GARBAGE COLLECT
334.76/335.80 c #Conflicts: 311000 | #Constraints: 15213
334.76/335.80 c #Conflicts: 312000 | #Constraints: 16213
334.76/335.80 c #Conflicts: 313000 | #Constraints: 17213
334.76/335.80 c #Conflicts: 314000 | #Constraints: 18213
334.76/335.80 c #Conflicts: 315000 | #Constraints: 19213
334.76/335.80 c #Conflicts: 316000 | #Constraints: 20213
334.76/335.80 c #Conflicts: 317000 | #Constraints: 21213
334.76/335.80 c #Conflicts: 318000 | #Constraints: 22213
334.76/335.80 c #Conflicts: 319000 | #Constraints: 23213
334.76/335.80 c #Conflicts: 320000 | #Constraints: 24213
334.76/335.80 c #Conflicts: 321000 | #Constraints: 25213
334.76/335.80 c INPROCESSING
334.76/335.80 c GARBAGE COLLECT
334.76/335.80 c #Conflicts: 322000 | #Constraints: 15019
334.76/335.80 c #Conflicts: 323000 | #Constraints: 16019
334.76/335.80 c #Conflicts: 324000 | #Constraints: 17019
334.76/335.80 c #Conflicts: 325000 | #Constraints: 18019
334.76/335.80 c #Conflicts: 326000 | #Constraints: 19019
334.76/335.80 c #Conflicts: 327000 | #Constraints: 20019
334.76/335.80 c #Conflicts: 328000 | #Constraints: 21019
334.76/335.80 c #Conflicts: 329000 | #Constraints: 22019
334.76/335.80 c #Conflicts: 330000 | #Constraints: 23019
334.76/335.80 c #Conflicts: 331000 | #Constraints: 24019
334.76/335.80 c #Conflicts: 332000 | #Constraints: 25019
334.76/335.80 c #Conflicts: 333000 | #Constraints: 26019
334.76/335.80 c INPROCESSING
334.76/335.80 c GARBAGE COLLECT
334.76/335.80 c #Conflicts: 334000 | #Constraints: 15612
334.76/335.80 c #Conflicts: 335000 | #Constraints: 16612
334.76/335.80 c #Conflicts: 336000 | #Constraints: 17612
334.76/335.80 c #Conflicts: 337000 | #Constraints: 18612
334.76/335.80 c #Conflicts: 338000 | #Constraints: 19612
334.76/335.80 c #Conflicts: 339000 | #Constraints: 20612
334.76/335.80 c #Conflicts: 340000 | #Constraints: 21612
334.76/335.80 c #Conflicts: 341000 | #Constraints: 22612
334.76/335.80 c #Conflicts: 342000 | #Constraints: 23612
334.76/335.80 c #Conflicts: 343000 | #Constraints: 24612
334.76/335.80 c #Conflicts: 344000 | #Constraints: 25612
334.76/335.80 c #Conflicts: 345000 | #Constraints: 26612
334.76/335.80 c INPROCESSING
334.76/335.80 c GARBAGE COLLECT
334.76/335.80 c #Conflicts: 346000 | #Constraints: 16007
334.76/335.80 c #Conflicts: 347000 | #Constraints: 17007
334.76/335.80 c #Conflicts: 348000 | #Constraints: 18007
334.76/335.80 c #Conflicts: 349000 | #Constraints: 19007
334.76/335.80 c #Conflicts: 350000 | #Constraints: 20007
334.76/335.80 c #Conflicts: 351000 | #Constraints: 21007
334.76/335.80 c #Conflicts: 352000 | #Constraints: 22007
334.76/335.80 c #Conflicts: 353000 | #Constraints: 23007
334.76/335.80 c #Conflicts: 354000 | #Constraints: 24007
334.76/335.80 c #Conflicts: 355000 | #Constraints: 25007
334.76/335.80 c #Conflicts: 356000 | #Constraints: 26007
334.76/335.80 c #Conflicts: 357000 | #Constraints: 27007
334.76/335.80 c INPROCESSING
334.76/335.80 c GARBAGE COLLECT
334.76/335.80 c #Conflicts: 358000 | #Constraints: 16199
334.76/335.80 c #Conflicts: 359000 | #Constraints: 17199
334.76/335.80 c #Conflicts: 360000 | #Constraints: 18199
334.76/335.80 c #Conflicts: 361000 | #Constraints: 19199
334.76/335.80 c #Conflicts: 362000 | #Constraints: 20199
441.70/442.95 c #Conflicts: 363000 | #Constraints: 21199
441.70/442.95 c #Conflicts: 364000 | #Constraints: 22199
441.70/442.95 c #Conflicts: 365000 | #Constraints: 23199
441.70/442.95 c #Conflicts: 366000 | #Constraints: 24199
441.70/442.95 c #Conflicts: 367000 | #Constraints: 25199
441.70/442.95 c #Conflicts: 368000 | #Constraints: 26199
441.70/442.95 c #Conflicts: 369000 | #Constraints: 27199
441.70/442.95 c INPROCESSING
441.70/442.95 c GARBAGE COLLECT
441.70/442.95 c #Conflicts: 370000 | #Constraints: 16208
441.70/442.95 c #Conflicts: 371000 | #Constraints: 17208
441.70/442.95 c #Conflicts: 372000 | #Constraints: 18208
441.70/442.95 c #Conflicts: 373000 | #Constraints: 19208
441.70/442.95 c #Conflicts: 374000 | #Constraints: 20208
441.70/442.95 c #Conflicts: 375000 | #Constraints: 21208
441.70/442.95 c #Conflicts: 376000 | #Constraints: 22208
441.70/442.95 c #Conflicts: 377000 | #Constraints: 23208
441.70/442.95 c #Conflicts: 378000 | #Constraints: 24208
441.70/442.95 c #Conflicts: 379000 | #Constraints: 25208
441.70/442.95 c #Conflicts: 380000 | #Constraints: 26208
441.70/442.95 c #Conflicts: 381000 | #Constraints: 27208
441.70/442.95 c INPROCESSING
441.70/442.95 c GARBAGE COLLECT
441.70/442.95 c #Conflicts: 382000 | #Constraints: 15999
441.70/442.95 c #Conflicts: 383000 | #Constraints: 16999
441.70/442.95 c #Conflicts: 384000 | #Constraints: 17999
441.70/442.95 c #Conflicts: 385000 | #Constraints: 18999
441.70/442.95 c #Conflicts: 386000 | #Constraints: 19999
441.70/442.95 c #Conflicts: 387000 | #Constraints: 20999
441.70/442.95 c #Conflicts: 388000 | #Constraints: 21999
441.70/442.95 c #Conflicts: 389000 | #Constraints: 22999
441.70/442.95 c #Conflicts: 390000 | #Constraints: 23999
441.70/442.95 c #Conflicts: 391000 | #Constraints: 24999
441.70/442.95 c #Conflicts: 392000 | #Constraints: 25999
441.70/442.95 c #Conflicts: 393000 | #Constraints: 26999
441.70/442.95 c #Conflicts: 394000 | #Constraints: 27999
441.70/442.95 c INPROCESSING
441.70/442.95 c GARBAGE COLLECT
441.70/442.95 c #Conflicts: 395000 | #Constraints: 16602
441.70/442.95 c #Conflicts: 396000 | #Constraints: 17602
441.70/442.95 c #Conflicts: 397000 | #Constraints: 18602
441.70/442.95 c #Conflicts: 398000 | #Constraints: 19602
441.70/442.95 c #Conflicts: 399000 | #Constraints: 20602
441.70/442.95 c #Conflicts: 400000 | #Constraints: 21602
441.70/442.95 c #Conflicts: 401000 | #Constraints: 22602
441.70/442.95 c #Conflicts: 402000 | #Constraints: 23602
441.70/442.95 c #Conflicts: 403000 | #Constraints: 24602
441.70/442.95 c #Conflicts: 404000 | #Constraints: 25602
441.70/442.95 c #Conflicts: 405000 | #Constraints: 26602
441.70/442.95 c #Conflicts: 406000 | #Constraints: 27602
441.70/442.95 c #Conflicts: 407000 | #Constraints: 28602
441.70/442.95 c INPROCESSING
441.70/442.95 c GARBAGE COLLECT
441.70/442.95 c #Conflicts: 408000 | #Constraints: 17005
441.70/442.95 c #Conflicts: 409000 | #Constraints: 18005
441.70/442.95 c #Conflicts: 410000 | #Constraints: 19005
441.70/442.95 c #Conflicts: 411000 | #Constraints: 20005
441.70/442.95 c #Conflicts: 412000 | #Constraints: 21005
441.70/442.95 c #Conflicts: 413000 | #Constraints: 22005
441.70/442.95 c #Conflicts: 414000 | #Constraints: 23005
441.70/442.95 c #Conflicts: 415000 | #Constraints: 24005
441.70/442.95 c #Conflicts: 416000 | #Constraints: 25005
441.70/442.95 c #Conflicts: 417000 | #Constraints: 26005
441.70/442.95 c #Conflicts: 418000 | #Constraints: 27005
441.70/442.95 c #Conflicts: 419000 | #Constraints: 28005
441.70/442.95 c #Conflicts: 420000 | #Constraints: 29005
441.70/442.95 c INPROCESSING
441.70/442.95 c GARBAGE COLLECT
441.70/442.95 c #Conflicts: 421000 | #Constraints: 17204
441.70/442.95 c #Conflicts: 422000 | #Constraints: 18204
441.70/442.95 c #Conflicts: 423000 | #Constraints: 19204
441.70/442.95 c #Conflicts: 424000 | #Constraints: 20204
441.70/442.95 c #Conflicts: 425000 | #Constraints: 21204
441.70/442.95 c #Conflicts: 426000 | #Constraints: 22204
441.70/442.95 c #Conflicts: 427000 | #Constraints: 23204
441.70/442.95 c #Conflicts: 428000 | #Constraints: 24204
441.70/442.95 c #Conflicts: 429000 | #Constraints: 25204
441.70/442.95 c #Conflicts: 430000 | #Constraints: 26204
441.70/442.95 c #Conflicts: 431000 | #Constraints: 27204
441.70/442.95 c #Conflicts: 432000 | #Constraints: 28204
441.70/442.95 c #Conflicts: 433000 | #Constraints: 29204
441.70/442.95 c INPROCESSING
441.70/442.95 c GARBAGE COLLECT
441.70/442.95 c #Conflicts: 434000 | #Constraints: 17214
441.70/442.95 c #Conflicts: 435000 | #Constraints: 18214
441.70/442.95 c #Conflicts: 436000 | #Constraints: 19214
441.70/442.95 c #Conflicts: 437000 | #Constraints: 20214
554.22/555.72 c #Conflicts: 438000 | #Constraints: 21214
554.22/555.72 c #Conflicts: 439000 | #Constraints: 22214
554.22/555.72 c #Conflicts: 440000 | #Constraints: 23214
554.22/555.72 c #Conflicts: 441000 | #Constraints: 24214
554.22/555.72 c #Conflicts: 442000 | #Constraints: 25214
554.22/555.72 c #Conflicts: 443000 | #Constraints: 26214
554.22/555.72 c #Conflicts: 444000 | #Constraints: 27214
554.22/555.72 c #Conflicts: 445000 | #Constraints: 28214
554.22/555.72 c #Conflicts: 446000 | #Constraints: 29214
554.22/555.72 c INPROCESSING
554.22/555.72 c GARBAGE COLLECT
554.22/555.72 c #Conflicts: 447000 | #Constraints: 17025
554.22/555.72 c #Conflicts: 448000 | #Constraints: 18025
554.22/555.72 c #Conflicts: 449000 | #Constraints: 19025
554.22/555.72 c #Conflicts: 450000 | #Constraints: 20025
554.22/555.72 c #Conflicts: 451000 | #Constraints: 21025
554.22/555.72 c #Conflicts: 452000 | #Constraints: 22025
554.22/555.72 c #Conflicts: 453000 | #Constraints: 23025
554.22/555.72 c #Conflicts: 454000 | #Constraints: 24025
554.22/555.72 c #Conflicts: 455000 | #Constraints: 25025
554.22/555.72 c #Conflicts: 456000 | #Constraints: 26025
554.22/555.72 c #Conflicts: 457000 | #Constraints: 27025
554.22/555.72 c #Conflicts: 458000 | #Constraints: 28025
554.22/555.72 c #Conflicts: 459000 | #Constraints: 29025
554.22/555.72 c #Conflicts: 460000 | #Constraints: 30025
554.22/555.72 c INPROCESSING
554.22/555.72 c GARBAGE COLLECT
554.22/555.72 c #Conflicts: 461000 | #Constraints: 17626
554.22/555.72 c #Conflicts: 462000 | #Constraints: 18626
554.22/555.72 c #Conflicts: 463000 | #Constraints: 19626
554.22/555.72 c #Conflicts: 464000 | #Constraints: 20626
554.22/555.72 c #Conflicts: 465000 | #Constraints: 21626
554.22/555.72 c #Conflicts: 466000 | #Constraints: 22626
554.22/555.72 c #Conflicts: 467000 | #Constraints: 23626
554.22/555.72 c #Conflicts: 468000 | #Constraints: 24626
554.22/555.72 c #Conflicts: 469000 | #Constraints: 25626
554.22/555.72 c #Conflicts: 470000 | #Constraints: 26626
554.22/555.72 c #Conflicts: 471000 | #Constraints: 27626
554.22/555.72 c #Conflicts: 472000 | #Constraints: 28626
554.22/555.72 c #Conflicts: 473000 | #Constraints: 29626
554.22/555.72 c #Conflicts: 474000 | #Constraints: 30626
554.22/555.72 c INPROCESSING
554.22/555.72 c GARBAGE COLLECT
554.22/555.72 c #Conflicts: 475000 | #Constraints: 18026
554.22/555.72 c #Conflicts: 476000 | #Constraints: 19026
554.22/555.72 c #Conflicts: 477000 | #Constraints: 20026
554.22/555.72 c #Conflicts: 478000 | #Constraints: 21026
554.22/555.72 c #Conflicts: 479000 | #Constraints: 22026
554.22/555.72 c #Conflicts: 480000 | #Constraints: 23026
554.22/555.72 c #Conflicts: 481000 | #Constraints: 24026
554.22/555.72 c #Conflicts: 482000 | #Constraints: 25026
554.22/555.72 c #Conflicts: 483000 | #Constraints: 26026
554.22/555.72 c #Conflicts: 484000 | #Constraints: 27026
554.22/555.72 c #Conflicts: 485000 | #Constraints: 28026
554.22/555.72 c #Conflicts: 486000 | #Constraints: 29026
554.22/555.72 c #Conflicts: 487000 | #Constraints: 30026
554.22/555.72 c #Conflicts: 488000 | #Constraints: 31026
554.22/555.72 c INPROCESSING
554.22/555.72 c GARBAGE COLLECT
554.22/555.72 c #Conflicts: 489000 | #Constraints: 18200
554.22/555.72 c #Conflicts: 490000 | #Constraints: 19200
554.22/555.72 c #Conflicts: 491000 | #Constraints: 20200
554.22/555.72 c #Conflicts: 492000 | #Constraints: 21200
554.22/555.72 c #Conflicts: 493000 | #Constraints: 22200
554.22/555.72 c #Conflicts: 494000 | #Constraints: 23200
554.22/555.72 c #Conflicts: 495000 | #Constraints: 24200
554.22/555.72 c #Conflicts: 496000 | #Constraints: 25200
554.22/555.72 c #Conflicts: 497000 | #Constraints: 26200
554.22/555.72 c #Conflicts: 498000 | #Constraints: 27200
554.22/555.72 c #Conflicts: 499000 | #Constraints: 28200
554.22/555.72 c #Conflicts: 500000 | #Constraints: 29200
554.22/555.72 c #Conflicts: 501000 | #Constraints: 30200
554.22/555.72 c #Conflicts: 502000 | #Constraints: 31200
554.22/555.72 c INPROCESSING
554.22/555.72 c GARBAGE COLLECT
554.22/555.72 c #Conflicts: 503000 | #Constraints: 18212
554.22/555.72 c #Conflicts: 504000 | #Constraints: 19212
554.22/555.72 c #Conflicts: 505000 | #Constraints: 20212
554.22/555.72 c #Conflicts: 506000 | #Constraints: 21212
554.22/555.72 c #Conflicts: 507000 | #Constraints: 22212
554.22/555.72 c #Conflicts: 508000 | #Constraints: 23212
554.22/555.72 c #Conflicts: 509000 | #Constraints: 24212
554.22/555.72 c #Conflicts: 510000 | #Constraints: 25212
554.22/555.72 c #Conflicts: 511000 | #Constraints: 26212
554.22/555.72 c #Conflicts: 512000 | #Constraints: 27212
554.22/555.72 c #Conflicts: 513000 | #Constraints: 28212
669.25/671.05 c #Conflicts: 514000 | #Constraints: 29212
669.25/671.05 c #Conflicts: 515000 | #Constraints: 30212
669.25/671.05 c #Conflicts: 516000 | #Constraints: 31212
669.25/671.05 c INPROCESSING
669.25/671.05 c GARBAGE COLLECT
669.25/671.05 c #Conflicts: 517000 | #Constraints: 18021
669.25/671.05 c #Conflicts: 518000 | #Constraints: 19021
669.25/671.05 c #Conflicts: 519000 | #Constraints: 20021
669.25/671.05 c #Conflicts: 520000 | #Constraints: 21021
669.25/671.05 c #Conflicts: 521000 | #Constraints: 22021
669.25/671.05 c #Conflicts: 522000 | #Constraints: 23021
669.25/671.05 c #Conflicts: 523000 | #Constraints: 24021
669.25/671.05 c #Conflicts: 524000 | #Constraints: 25021
669.25/671.05 c #Conflicts: 525000 | #Constraints: 26021
669.25/671.05 c #Conflicts: 526000 | #Constraints: 27021
669.25/671.05 c #Conflicts: 527000 | #Constraints: 28021
669.25/671.05 c #Conflicts: 528000 | #Constraints: 29021
669.25/671.05 c #Conflicts: 529000 | #Constraints: 30021
669.25/671.05 c #Conflicts: 530000 | #Constraints: 31021
669.25/671.05 c #Conflicts: 531000 | #Constraints: 32021
669.25/671.05 c INPROCESSING
669.25/671.05 c GARBAGE COLLECT
669.25/671.05 c #Conflicts: 532000 | #Constraints: 18638
669.25/671.05 c #Conflicts: 533000 | #Constraints: 19638
669.25/671.05 c #Conflicts: 534000 | #Constraints: 20638
669.25/671.05 c #Conflicts: 535000 | #Constraints: 21638
669.25/671.05 c #Conflicts: 536000 | #Constraints: 22638
669.25/671.05 c #Conflicts: 537000 | #Constraints: 23638
669.25/671.05 c #Conflicts: 538000 | #Constraints: 24638
669.25/671.05 c #Conflicts: 539000 | #Constraints: 25638
669.25/671.05 c #Conflicts: 540000 | #Constraints: 26638
669.25/671.05 c #Conflicts: 541000 | #Constraints: 27638
669.25/671.05 c #Conflicts: 542000 | #Constraints: 28638
669.25/671.05 c #Conflicts: 543000 | #Constraints: 29638
669.25/671.05 c #Conflicts: 544000 | #Constraints: 30638
669.25/671.05 c #Conflicts: 545000 | #Constraints: 31638
669.25/671.05 c #Conflicts: 546000 | #Constraints: 32638
669.25/671.05 c INPROCESSING
669.25/671.05 c GARBAGE COLLECT
669.25/671.05 c #Conflicts: 547000 | #Constraints: 19038
669.25/671.05 c #Conflicts: 548000 | #Constraints: 20038
669.25/671.05 c #Conflicts: 549000 | #Constraints: 21038
669.25/671.05 c #Conflicts: 550000 | #Constraints: 22038
669.25/671.05 c #Conflicts: 551000 | #Constraints: 23038
669.25/671.05 c #Conflicts: 552000 | #Constraints: 24038
669.25/671.05 c #Conflicts: 553000 | #Constraints: 25038
669.25/671.05 c #Conflicts: 554000 | #Constraints: 26038
669.25/671.05 c #Conflicts: 555000 | #Constraints: 27038
669.25/671.05 c #Conflicts: 556000 | #Constraints: 28038
669.25/671.05 c #Conflicts: 557000 | #Constraints: 29038
669.25/671.05 c #Conflicts: 558000 | #Constraints: 30038
669.25/671.05 c #Conflicts: 559000 | #Constraints: 31038
669.25/671.05 c #Conflicts: 560000 | #Constraints: 32038
669.25/671.05 c #Conflicts: 561000 | #Constraints: 33038
669.25/671.05 c INPROCESSING
669.25/671.05 c GARBAGE COLLECT
669.25/671.05 c #Conflicts: 562000 | #Constraints: 19217
669.25/671.05 c #Conflicts: 563000 | #Constraints: 20217
669.25/671.05 c #Conflicts: 564000 | #Constraints: 21217
669.25/671.05 c #Conflicts: 565000 | #Constraints: 22217
669.25/671.05 c #Conflicts: 566000 | #Constraints: 23217
669.25/671.05 c #Conflicts: 567000 | #Constraints: 24217
669.25/671.05 c #Conflicts: 568000 | #Constraints: 25217
669.25/671.05 c #Conflicts: 569000 | #Constraints: 26217
669.25/671.05 c #Conflicts: 570000 | #Constraints: 27217
669.25/671.05 c #Conflicts: 571000 | #Constraints: 28217
669.25/671.05 c #Conflicts: 572000 | #Constraints: 29217
669.25/671.05 c #Conflicts: 573000 | #Constraints: 30217
669.25/671.05 c #Conflicts: 574000 | #Constraints: 31217
669.25/671.05 c #Conflicts: 575000 | #Constraints: 32217
669.25/671.05 c #Conflicts: 576000 | #Constraints: 33217
669.25/671.05 c INPROCESSING
669.25/671.05 c GARBAGE COLLECT
669.25/671.05 c #Conflicts: 577000 | #Constraints: 19213
669.25/671.05 c #Conflicts: 578000 | #Constraints: 20213
669.25/671.05 c #Conflicts: 579000 | #Constraints: 21213
669.25/671.05 c #Conflicts: 580000 | #Constraints: 22213
669.25/671.05 c #Conflicts: 581000 | #Constraints: 23213
669.25/671.05 c #Conflicts: 582000 | #Constraints: 24213
669.25/671.05 c #Conflicts: 583000 | #Constraints: 25213
669.25/671.05 c #Conflicts: 584000 | #Constraints: 26213
669.25/671.05 c #Conflicts: 585000 | #Constraints: 27213
669.25/671.05 c #Conflicts: 586000 | #Constraints: 28213
669.25/671.05 c #Conflicts: 587000 | #Constraints: 29213
669.25/671.05 c #Conflicts: 588000 | #Constraints: 30213
774.27/776.35 c #Conflicts: 589000 | #Constraints: 31213
774.27/776.35 c #Conflicts: 590000 | #Constraints: 32213
774.27/776.35 c #Conflicts: 591000 | #Constraints: 33213
774.27/776.35 c INPROCESSING
774.27/776.35 c GARBAGE COLLECT
774.27/776.35 c #Conflicts: 592000 | #Constraints: 19013
774.27/776.35 c #Conflicts: 593000 | #Constraints: 20013
774.27/776.35 c #Conflicts: 594000 | #Constraints: 21013
774.27/776.35 c #Conflicts: 595000 | #Constraints: 22013
774.27/776.35 c #Conflicts: 596000 | #Constraints: 23013
774.27/776.35 c #Conflicts: 597000 | #Constraints: 24013
774.27/776.35 c #Conflicts: 598000 | #Constraints: 25013
774.27/776.35 c #Conflicts: 599000 | #Constraints: 26013
774.27/776.35 c #Conflicts: 600000 | #Constraints: 27013
774.27/776.35 c #Conflicts: 601000 | #Constraints: 28013
774.27/776.35 c #Conflicts: 602000 | #Constraints: 29013
774.27/776.35 c #Conflicts: 603000 | #Constraints: 30013
774.27/776.35 c #Conflicts: 604000 | #Constraints: 31013
774.27/776.35 c #Conflicts: 605000 | #Constraints: 32013
774.27/776.35 c #Conflicts: 606000 | #Constraints: 33013
774.27/776.35 c #Conflicts: 607000 | #Constraints: 34013
774.27/776.35 c INPROCESSING
774.27/776.35 c GARBAGE COLLECT
774.27/776.35 c #Conflicts: 608000 | #Constraints: 19611
774.27/776.35 c #Conflicts: 609000 | #Constraints: 20611
774.27/776.35 c #Conflicts: 610000 | #Constraints: 21611
774.27/776.35 c #Conflicts: 611000 | #Constraints: 22611
774.27/776.35 c #Conflicts: 612000 | #Constraints: 23611
774.27/776.35 c #Conflicts: 613000 | #Constraints: 24611
774.27/776.35 c #Conflicts: 614000 | #Constraints: 25611
774.27/776.35 c #Conflicts: 615000 | #Constraints: 26611
774.27/776.35 c #Conflicts: 616000 | #Constraints: 27611
774.27/776.35 c #Conflicts: 617000 | #Constraints: 28611
774.27/776.35 c #Conflicts: 618000 | #Constraints: 29611
774.27/776.35 c #Conflicts: 619000 | #Constraints: 30611
774.27/776.35 c #Conflicts: 620000 | #Constraints: 31611
774.27/776.35 c #Conflicts: 621000 | #Constraints: 32611
774.27/776.35 c #Conflicts: 622000 | #Constraints: 33611
774.27/776.35 c #Conflicts: 623000 | #Constraints: 34611
774.27/776.35 c INPROCESSING
774.27/776.35 c GARBAGE COLLECT
774.27/776.35 c #Conflicts: 624000 | #Constraints: 20023
774.27/776.35 c #Conflicts: 625000 | #Constraints: 21023
774.27/776.35 c #Conflicts: 626000 | #Constraints: 22023
774.27/776.35 c #Conflicts: 627000 | #Constraints: 23023
774.27/776.35 c #Conflicts: 628000 | #Constraints: 24023
774.27/776.35 c #Conflicts: 629000 | #Constraints: 25023
774.27/776.35 c #Conflicts: 630000 | #Constraints: 26023
774.27/776.35 c #Conflicts: 631000 | #Constraints: 27023
774.27/776.35 c #Conflicts: 632000 | #Constraints: 28023
774.27/776.35 c #Conflicts: 633000 | #Constraints: 29023
774.27/776.35 c #Conflicts: 634000 | #Constraints: 30023
774.27/776.35 c #Conflicts: 635000 | #Constraints: 31023
774.27/776.35 c #Conflicts: 636000 | #Constraints: 32023
774.27/776.35 c #Conflicts: 637000 | #Constraints: 33023
774.27/776.35 c #Conflicts: 638000 | #Constraints: 34023
774.27/776.35 c #Conflicts: 639000 | #Constraints: 35023
774.27/776.35 c INPROCESSING
774.27/776.35 c GARBAGE COLLECT
774.27/776.35 c #Conflicts: 640000 | #Constraints: 20198
774.27/776.35 c #Conflicts: 641000 | #Constraints: 21198
774.27/776.35 c #Conflicts: 642000 | #Constraints: 22198
774.27/776.35 c #Conflicts: 643000 | #Constraints: 23198
774.27/776.35 c #Conflicts: 644000 | #Constraints: 24198
774.27/776.35 c #Conflicts: 645000 | #Constraints: 25198
774.27/776.35 c #Conflicts: 646000 | #Constraints: 26198
774.27/776.35 c #Conflicts: 647000 | #Constraints: 27198
774.27/776.35 c #Conflicts: 648000 | #Constraints: 28198
774.27/776.35 c #Conflicts: 649000 | #Constraints: 29198
774.27/776.35 c #Conflicts: 650000 | #Constraints: 30198
774.27/776.35 c #Conflicts: 651000 | #Constraints: 31198
774.27/776.35 c #Conflicts: 652000 | #Constraints: 32198
774.27/776.35 c #Conflicts: 653000 | #Constraints: 33198
774.27/776.35 c #Conflicts: 654000 | #Constraints: 34198
774.27/776.35 c #Conflicts: 655000 | #Constraints: 35198
774.27/776.35 c INPROCESSING
774.27/776.35 c GARBAGE COLLECT
774.27/776.35 c #Conflicts: 656000 | #Constraints: 20208
774.27/776.35 c #Conflicts: 657000 | #Constraints: 21208
774.27/776.35 c #Conflicts: 658000 | #Constraints: 22208
774.27/776.35 c #Conflicts: 659000 | #Constraints: 23208
774.27/776.35 c #Conflicts: 660000 | #Constraints: 24208
774.27/776.35 c #Conflicts: 661000 | #Constraints: 25208
774.27/776.35 c #Conflicts: 662000 | #Constraints: 26208
774.27/776.35 c #Conflicts: 663000 | #Constraints: 27208
774.27/776.35 c #Conflicts: 664000 | #Constraints: 28208
880.50/882.81 c #Conflicts: 665000 | #Constraints: 29208
880.50/882.81 c #Conflicts: 666000 | #Constraints: 30208
880.50/882.81 c #Conflicts: 667000 | #Constraints: 31208
880.50/882.81 c #Conflicts: 668000 | #Constraints: 32208
880.50/882.81 c #Conflicts: 669000 | #Constraints: 33208
880.50/882.81 c #Conflicts: 670000 | #Constraints: 34208
880.50/882.81 c #Conflicts: 671000 | #Constraints: 35208
880.50/882.81 c INPROCESSING
880.50/882.81 c GARBAGE COLLECT
880.50/882.81 c #Conflicts: 672000 | #Constraints: 20003
880.50/882.81 c #Conflicts: 673000 | #Constraints: 21003
880.50/882.81 c #Conflicts: 674000 | #Constraints: 22003
880.50/882.81 c #Conflicts: 675000 | #Constraints: 23003
880.50/882.81 c #Conflicts: 676000 | #Constraints: 24003
880.50/882.81 c #Conflicts: 677000 | #Constraints: 25003
880.50/882.81 c #Conflicts: 678000 | #Constraints: 26003
880.50/882.81 c #Conflicts: 679000 | #Constraints: 27003
880.50/882.81 c #Conflicts: 680000 | #Constraints: 28003
880.50/882.81 c #Conflicts: 681000 | #Constraints: 29003
880.50/882.81 c #Conflicts: 682000 | #Constraints: 30003
880.50/882.81 c #Conflicts: 683000 | #Constraints: 31003
880.50/882.81 c #Conflicts: 684000 | #Constraints: 32003
880.50/882.81 c #Conflicts: 685000 | #Constraints: 33003
880.50/882.81 c #Conflicts: 686000 | #Constraints: 34003
880.50/882.81 c #Conflicts: 687000 | #Constraints: 35003
880.50/882.81 c #Conflicts: 688000 | #Constraints: 36003
880.50/882.81 c INPROCESSING
880.50/882.81 c GARBAGE COLLECT
880.50/882.81 c #Conflicts: 689000 | #Constraints: 20607
880.50/882.81 c #Conflicts: 690000 | #Constraints: 21607
880.50/882.81 c #Conflicts: 691000 | #Constraints: 22607
880.50/882.81 c #Conflicts: 692000 | #Constraints: 23607
880.50/882.81 c #Conflicts: 693000 | #Constraints: 24607
880.50/882.81 c #Conflicts: 694000 | #Constraints: 25607
880.50/882.81 c #Conflicts: 695000 | #Constraints: 26607
880.50/882.81 c #Conflicts: 696000 | #Constraints: 27607
880.50/882.81 c #Conflicts: 697000 | #Constraints: 28607
880.50/882.81 c #Conflicts: 698000 | #Constraints: 29607
880.50/882.81 c #Conflicts: 699000 | #Constraints: 30607
880.50/882.81 c #Conflicts: 700000 | #Constraints: 31607
880.50/882.81 c #Conflicts: 701000 | #Constraints: 32607
880.50/882.81 c #Conflicts: 702000 | #Constraints: 33607
880.50/882.81 c #Conflicts: 703000 | #Constraints: 34607
880.50/882.81 c #Conflicts: 704000 | #Constraints: 35607
880.50/882.81 c #Conflicts: 705000 | #Constraints: 36607
880.50/882.81 c INPROCESSING
880.50/882.81 c GARBAGE COLLECT
880.50/882.81 c #Conflicts: 706000 | #Constraints: 21007
880.50/882.81 c #Conflicts: 707000 | #Constraints: 22007
880.50/882.81 c #Conflicts: 708000 | #Constraints: 23007
880.50/882.81 c #Conflicts: 709000 | #Constraints: 24007
880.50/882.81 c #Conflicts: 710000 | #Constraints: 25007
880.50/882.81 c #Conflicts: 711000 | #Constraints: 26007
880.50/882.81 c #Conflicts: 712000 | #Constraints: 27007
880.50/882.81 c #Conflicts: 713000 | #Constraints: 28007
880.50/882.81 c #Conflicts: 714000 | #Constraints: 29007
880.50/882.81 c #Conflicts: 715000 | #Constraints: 30007
880.50/882.81 c #Conflicts: 716000 | #Constraints: 31007
880.50/882.81 c #Conflicts: 717000 | #Constraints: 32007
880.50/882.81 c #Conflicts: 718000 | #Constraints: 33007
880.50/882.81 c #Conflicts: 719000 | #Constraints: 34007
880.50/882.81 c #Conflicts: 720000 | #Constraints: 35007
880.50/882.81 c #Conflicts: 721000 | #Constraints: 36007
880.50/882.81 c #Conflicts: 722000 | #Constraints: 37007
880.50/882.81 c INPROCESSING
880.50/882.81 c GARBAGE COLLECT
880.50/882.81 c #Conflicts: 723000 | #Constraints: 21213
880.50/882.81 c #Conflicts: 724000 | #Constraints: 22213
880.50/882.81 c #Conflicts: 725000 | #Constraints: 23213
880.50/882.81 c #Conflicts: 726000 | #Constraints: 24213
880.50/882.81 c #Conflicts: 727000 | #Constraints: 25213
880.50/882.81 c #Conflicts: 728000 | #Constraints: 26213
880.50/882.81 c #Conflicts: 729000 | #Constraints: 27213
880.50/882.81 c #Conflicts: 730000 | #Constraints: 28213
880.50/882.81 c #Conflicts: 731000 | #Constraints: 29213
880.50/882.81 c #Conflicts: 732000 | #Constraints: 30213
880.50/882.81 c #Conflicts: 733000 | #Constraints: 31213
880.50/882.81 c #Conflicts: 734000 | #Constraints: 32213
880.50/882.81 c #Conflicts: 735000 | #Constraints: 33213
880.50/882.81 c #Conflicts: 736000 | #Constraints: 34213
880.50/882.81 c #Conflicts: 737000 | #Constraints: 35213
880.50/882.81 c #Conflicts: 738000 | #Constraints: 36213
880.50/882.81 c #Conflicts: 739000 | #Constraints: 37213
880.50/882.81 c INPROCESSING
880.50/882.81 c GARBAGE COLLECT
991.62/994.25 c #Conflicts: 740000 | #Constraints: 21213
991.62/994.25 c #Conflicts: 741000 | #Constraints: 22213
991.62/994.25 c #Conflicts: 742000 | #Constraints: 23213
991.62/994.25 c #Conflicts: 743000 | #Constraints: 24213
991.62/994.25 c #Conflicts: 744000 | #Constraints: 25213
991.62/994.25 c #Conflicts: 745000 | #Constraints: 26213
991.62/994.25 c #Conflicts: 746000 | #Constraints: 27213
991.62/994.25 c #Conflicts: 747000 | #Constraints: 28213
991.62/994.25 c #Conflicts: 748000 | #Constraints: 29213
991.62/994.25 c #Conflicts: 749000 | #Constraints: 30213
991.62/994.25 c #Conflicts: 750000 | #Constraints: 31213
991.62/994.25 c #Conflicts: 751000 | #Constraints: 32213
991.62/994.25 c #Conflicts: 752000 | #Constraints: 33213
991.62/994.25 c #Conflicts: 753000 | #Constraints: 34213
991.62/994.25 c #Conflicts: 754000 | #Constraints: 35213
991.62/994.25 c #Conflicts: 755000 | #Constraints: 36213
991.62/994.25 c #Conflicts: 756000 | #Constraints: 37213
991.62/994.25 c INPROCESSING
991.62/994.25 c GARBAGE COLLECT
991.62/994.25 c #Conflicts: 757000 | #Constraints: 21014
991.62/994.25 c #Conflicts: 758000 | #Constraints: 22014
991.62/994.25 c #Conflicts: 759000 | #Constraints: 23014
991.62/994.25 c #Conflicts: 760000 | #Constraints: 24014
991.62/994.25 c #Conflicts: 761000 | #Constraints: 25014
991.62/994.25 c #Conflicts: 762000 | #Constraints: 26014
991.62/994.25 c #Conflicts: 763000 | #Constraints: 27014
991.62/994.25 c #Conflicts: 764000 | #Constraints: 28014
991.62/994.25 c #Conflicts: 765000 | #Constraints: 29014
991.62/994.25 c #Conflicts: 766000 | #Constraints: 30014
991.62/994.25 c #Conflicts: 767000 | #Constraints: 31014
991.62/994.25 c #Conflicts: 768000 | #Constraints: 32014
991.62/994.25 c #Conflicts: 769000 | #Constraints: 33014
991.62/994.25 c #Conflicts: 770000 | #Constraints: 34014
991.62/994.25 c #Conflicts: 771000 | #Constraints: 35014
991.62/994.25 c #Conflicts: 772000 | #Constraints: 36014
991.62/994.25 c #Conflicts: 773000 | #Constraints: 37014
991.62/994.25 c #Conflicts: 774000 | #Constraints: 38014
991.62/994.25 c INPROCESSING
991.62/994.25 c GARBAGE COLLECT
991.62/994.25 c #Conflicts: 775000 | #Constraints: 21618
991.62/994.25 c #Conflicts: 776000 | #Constraints: 22618
991.62/994.25 c #Conflicts: 777000 | #Constraints: 23618
991.62/994.25 c #Conflicts: 778000 | #Constraints: 24618
991.62/994.25 c #Conflicts: 779000 | #Constraints: 25618
991.62/994.25 c #Conflicts: 780000 | #Constraints: 26618
991.62/994.25 c #Conflicts: 781000 | #Constraints: 27618
991.62/994.25 c #Conflicts: 782000 | #Constraints: 28618
991.62/994.25 c #Conflicts: 783000 | #Constraints: 29618
991.62/994.25 c #Conflicts: 784000 | #Constraints: 30618
991.62/994.25 c #Conflicts: 785000 | #Constraints: 31618
991.62/994.25 c #Conflicts: 786000 | #Constraints: 32618
991.62/994.25 c #Conflicts: 787000 | #Constraints: 33618
991.62/994.25 c #Conflicts: 788000 | #Constraints: 34618
991.62/994.25 c #Conflicts: 789000 | #Constraints: 35618
991.62/994.25 c #Conflicts: 790000 | #Constraints: 36618
991.62/994.25 c #Conflicts: 791000 | #Constraints: 37618
991.62/994.25 c #Conflicts: 792000 | #Constraints: 38618
991.62/994.25 c INPROCESSING
991.62/994.25 c GARBAGE COLLECT
991.62/994.25 c #Conflicts: 793000 | #Constraints: 22013
991.62/994.25 c #Conflicts: 794000 | #Constraints: 23013
991.62/994.25 c #Conflicts: 795000 | #Constraints: 24013
991.62/994.25 c #Conflicts: 796000 | #Constraints: 25013
991.62/994.25 c #Conflicts: 797000 | #Constraints: 26013
991.62/994.25 c #Conflicts: 798000 | #Constraints: 27013
991.62/994.25 c #Conflicts: 799000 | #Constraints: 28013
991.62/994.25 c #Conflicts: 800000 | #Constraints: 29013
991.62/994.25 c #Conflicts: 801000 | #Constraints: 30013
991.62/994.25 c #Conflicts: 802000 | #Constraints: 31013
991.62/994.25 c #Conflicts: 803000 | #Constraints: 32013
991.62/994.25 c #Conflicts: 804000 | #Constraints: 33013
991.62/994.25 c #Conflicts: 805000 | #Constraints: 34013
991.62/994.25 c #Conflicts: 806000 | #Constraints: 35013
991.62/994.25 c #Conflicts: 807000 | #Constraints: 36013
991.62/994.25 c #Conflicts: 808000 | #Constraints: 37013
991.62/994.25 c #Conflicts: 809000 | #Constraints: 38013
991.62/994.25 c #Conflicts: 810000 | #Constraints: 39013
991.62/994.25 c INPROCESSING
991.62/994.25 c GARBAGE COLLECT
991.62/994.25 c #Conflicts: 811000 | #Constraints: 22222
991.62/994.25 c #Conflicts: 812000 | #Constraints: 23222
991.62/994.25 c #Conflicts: 813000 | #Constraints: 24222
991.62/994.25 c #Conflicts: 814000 | #Constraints: 25222
991.62/994.25 c #Conflicts: 815000 | #Constraints: 26222
991.62/994.25 c #Conflicts: 816000 | #Constraints: 27222
1114.23/1117.18 c #Conflicts: 817000 | #Constraints: 28222
1114.23/1117.18 c #Conflicts: 818000 | #Constraints: 29222
1114.23/1117.18 c #Conflicts: 819000 | #Constraints: 30222
1114.23/1117.18 c #Conflicts: 820000 | #Constraints: 31222
1114.23/1117.18 c #Conflicts: 821000 | #Constraints: 32222
1114.23/1117.18 c #Conflicts: 822000 | #Constraints: 33222
1114.23/1117.18 c #Conflicts: 823000 | #Constraints: 34222
1114.23/1117.18 c #Conflicts: 824000 | #Constraints: 35222
1114.23/1117.18 c #Conflicts: 825000 | #Constraints: 36222
1114.23/1117.18 c #Conflicts: 826000 | #Constraints: 37222
1114.23/1117.18 c #Conflicts: 827000 | #Constraints: 38222
1114.23/1117.18 c #Conflicts: 828000 | #Constraints: 39222
1114.23/1117.18 c INPROCESSING
1114.23/1117.18 c GARBAGE COLLECT
1114.23/1117.18 c #Conflicts: 829000 | #Constraints: 22235
1114.23/1117.18 c #Conflicts: 830000 | #Constraints: 23235
1114.23/1117.18 c #Conflicts: 831000 | #Constraints: 24235
1114.23/1117.18 c #Conflicts: 832000 | #Constraints: 25235
1114.23/1117.18 c #Conflicts: 833000 | #Constraints: 26235
1114.23/1117.18 c #Conflicts: 834000 | #Constraints: 27235
1114.23/1117.18 c #Conflicts: 835000 | #Constraints: 28235
1114.23/1117.18 c #Conflicts: 836000 | #Constraints: 29235
1114.23/1117.18 c #Conflicts: 837000 | #Constraints: 30235
1114.23/1117.18 c #Conflicts: 838000 | #Constraints: 31235
1114.23/1117.18 c #Conflicts: 839000 | #Constraints: 32235
1114.23/1117.18 c #Conflicts: 840000 | #Constraints: 33235
1114.23/1117.18 c #Conflicts: 841000 | #Constraints: 34235
1114.23/1117.18 c #Conflicts: 842000 | #Constraints: 35235
1114.23/1117.18 c #Conflicts: 843000 | #Constraints: 36235
1114.23/1117.18 c #Conflicts: 844000 | #Constraints: 37235
1114.23/1117.18 c #Conflicts: 845000 | #Constraints: 38235
1114.23/1117.18 c #Conflicts: 846000 | #Constraints: 39235
1114.23/1117.18 c INPROCESSING
1114.23/1117.18 c GARBAGE COLLECT
1114.23/1117.18 c #Conflicts: 847000 | #Constraints: 22034
1114.23/1117.18 c #Conflicts: 848000 | #Constraints: 23034
1114.23/1117.18 c #Conflicts: 849000 | #Constraints: 24034
1114.23/1117.18 c #Conflicts: 850000 | #Constraints: 25034
1114.23/1117.18 c #Conflicts: 851000 | #Constraints: 26034
1114.23/1117.18 c #Conflicts: 852000 | #Constraints: 27034
1114.23/1117.18 c #Conflicts: 853000 | #Constraints: 28034
1114.23/1117.18 c #Conflicts: 854000 | #Constraints: 29034
1114.23/1117.18 c #Conflicts: 855000 | #Constraints: 30034
1114.23/1117.18 c #Conflicts: 856000 | #Constraints: 31034
1114.23/1117.18 c #Conflicts: 857000 | #Constraints: 32034
1114.23/1117.18 c #Conflicts: 858000 | #Constraints: 33034
1114.23/1117.18 c #Conflicts: 859000 | #Constraints: 34034
1114.23/1117.18 c #Conflicts: 860000 | #Constraints: 35034
1114.23/1117.18 c #Conflicts: 861000 | #Constraints: 36034
1114.23/1117.18 c #Conflicts: 862000 | #Constraints: 37034
1114.23/1117.18 c #Conflicts: 863000 | #Constraints: 38034
1114.23/1117.18 c #Conflicts: 864000 | #Constraints: 39034
1114.23/1117.18 c #Conflicts: 865000 | #Constraints: 40034
1114.23/1117.18 c INPROCESSING
1114.23/1117.18 c GARBAGE COLLECT
1114.23/1117.18 c #Conflicts: 866000 | #Constraints: 22627
1114.23/1117.18 c #Conflicts: 867000 | #Constraints: 23627
1114.23/1117.18 c #Conflicts: 868000 | #Constraints: 24627
1114.23/1117.18 c #Conflicts: 869000 | #Constraints: 25627
1114.23/1117.18 c #Conflicts: 870000 | #Constraints: 26627
1114.23/1117.18 c #Conflicts: 871000 | #Constraints: 27627
1114.23/1117.18 c #Conflicts: 872000 | #Constraints: 28627
1114.23/1117.18 c #Conflicts: 873000 | #Constraints: 29627
1114.23/1117.18 c #Conflicts: 874000 | #Constraints: 30627
1114.23/1117.18 c #Conflicts: 875000 | #Constraints: 31627
1114.23/1117.18 c #Conflicts: 876000 | #Constraints: 32627
1114.23/1117.18 c #Conflicts: 877000 | #Constraints: 33627
1114.23/1117.18 c #Conflicts: 878000 | #Constraints: 34627
1114.23/1117.18 c #Conflicts: 879000 | #Constraints: 35627
1114.23/1117.18 c #Conflicts: 880000 | #Constraints: 36627
1114.23/1117.18 c #Conflicts: 881000 | #Constraints: 37627
1114.23/1117.18 c #Conflicts: 882000 | #Constraints: 38627
1114.23/1117.18 c #Conflicts: 883000 | #Constraints: 39627
1114.23/1117.18 c #Conflicts: 884000 | #Constraints: 40627
1114.23/1117.18 c INPROCESSING
1114.23/1117.18 c GARBAGE COLLECT
1114.23/1117.18 c #Conflicts: 885000 | #Constraints: 23023
1114.23/1117.18 c #Conflicts: 886000 | #Constraints: 24023
1114.23/1117.18 c #Conflicts: 887000 | #Constraints: 25023
1114.23/1117.18 c #Conflicts: 888000 | #Constraints: 26023
1114.23/1117.18 c #Conflicts: 889000 | #Constraints: 27023
1114.23/1117.18 c #Conflicts: 890000 | #Constraints: 28023
1114.23/1117.18 c #Conflicts: 891000 | #Constraints: 29023
1114.23/1117.18 c #Conflicts: 892000 | #Constraints: 30023
1272.03/1275.32 c #Conflicts: 893000 | #Constraints: 31023
1272.03/1275.32 c #Conflicts: 894000 | #Constraints: 32023
1272.03/1275.32 c #Conflicts: 895000 | #Constraints: 33023
1272.03/1275.32 c #Conflicts: 896000 | #Constraints: 34023
1272.03/1275.32 c #Conflicts: 897000 | #Constraints: 35023
1272.03/1275.32 c #Conflicts: 898000 | #Constraints: 36023
1272.03/1275.32 c #Conflicts: 899000 | #Constraints: 37023
1272.03/1275.32 c #Conflicts: 900000 | #Constraints: 38023
1272.03/1275.32 c #Conflicts: 901000 | #Constraints: 39023
1272.03/1275.32 c #Conflicts: 902000 | #Constraints: 40023
1272.03/1275.32 c #Conflicts: 903000 | #Constraints: 41023
1272.03/1275.32 c INPROCESSING
1272.03/1275.32 c GARBAGE COLLECT
1272.03/1275.32 c #Conflicts: 904000 | #Constraints: 23215
1272.03/1275.32 c #Conflicts: 905000 | #Constraints: 24215
1272.03/1275.32 c #Conflicts: 906000 | #Constraints: 25215
1272.03/1275.32 c #Conflicts: 907000 | #Constraints: 26215
1272.03/1275.32 c #Conflicts: 908000 | #Constraints: 27215
1272.03/1275.32 c #Conflicts: 909000 | #Constraints: 28215
1272.03/1275.32 c #Conflicts: 910000 | #Constraints: 29215
1272.03/1275.32 c #Conflicts: 911000 | #Constraints: 30215
1272.03/1275.32 c #Conflicts: 912000 | #Constraints: 31215
1272.03/1275.32 c #Conflicts: 913000 | #Constraints: 32215
1272.03/1275.32 c #Conflicts: 914000 | #Constraints: 33215
1272.03/1275.32 c #Conflicts: 915000 | #Constraints: 34215
1272.03/1275.32 c #Conflicts: 916000 | #Constraints: 35215
1272.03/1275.32 c #Conflicts: 917000 | #Constraints: 36215
1272.03/1275.32 c #Conflicts: 918000 | #Constraints: 37215
1272.03/1275.32 c #Conflicts: 919000 | #Constraints: 38215
1272.03/1275.32 c #Conflicts: 920000 | #Constraints: 39215
1272.03/1275.32 c #Conflicts: 921000 | #Constraints: 40215
1272.03/1275.32 c #Conflicts: 922000 | #Constraints: 41215
1272.03/1275.32 c INPROCESSING
1272.03/1275.32 c GARBAGE COLLECT
1272.03/1275.32 c #Conflicts: 923000 | #Constraints: 23231
1272.03/1275.32 c #Conflicts: 924000 | #Constraints: 24231
1272.03/1275.32 c #Conflicts: 925000 | #Constraints: 25231
1272.03/1275.32 c #Conflicts: 926000 | #Constraints: 26231
1272.03/1275.32 c #Conflicts: 927000 | #Constraints: 27231
1272.03/1275.32 c #Conflicts: 928000 | #Constraints: 28231
1272.03/1275.32 c #Conflicts: 929000 | #Constraints: 29231
1272.03/1275.32 c #Conflicts: 930000 | #Constraints: 30231
1272.03/1275.32 c #Conflicts: 931000 | #Constraints: 31231
1272.03/1275.32 c #Conflicts: 932000 | #Constraints: 32231
1272.03/1275.32 c #Conflicts: 933000 | #Constraints: 33231
1272.03/1275.32 c #Conflicts: 934000 | #Constraints: 34231
1272.03/1275.32 c #Conflicts: 935000 | #Constraints: 35231
1272.03/1275.32 c #Conflicts: 936000 | #Constraints: 36231
1272.03/1275.32 c #Conflicts: 937000 | #Constraints: 37231
1272.03/1275.32 c #Conflicts: 938000 | #Constraints: 38231
1272.03/1275.32 c #Conflicts: 939000 | #Constraints: 39231
1272.03/1275.32 c #Conflicts: 940000 | #Constraints: 40231
1272.03/1275.32 c #Conflicts: 941000 | #Constraints: 41231
1272.03/1275.32 c INPROCESSING
1272.03/1275.32 c GARBAGE COLLECT
1272.03/1275.32 c #Conflicts: 942000 | #Constraints: 23053
1272.03/1275.32 c #Conflicts: 943000 | #Constraints: 24053
1272.03/1275.32 c #Conflicts: 944000 | #Constraints: 25053
1272.03/1275.32 c #Conflicts: 945000 | #Constraints: 26053
1272.03/1275.32 c #Conflicts: 946000 | #Constraints: 27053
1272.03/1275.32 c #Conflicts: 947000 | #Constraints: 28053
1272.03/1275.32 c #Conflicts: 948000 | #Constraints: 29053
1272.03/1275.32 c #Conflicts: 949000 | #Constraints: 30053
1272.03/1275.32 c #Conflicts: 950000 | #Constraints: 31053
1272.03/1275.32 c #Conflicts: 951000 | #Constraints: 32053
1272.03/1275.32 c #Conflicts: 952000 | #Constraints: 33053
1272.03/1275.32 c #Conflicts: 953000 | #Constraints: 34053
1272.03/1275.32 c #Conflicts: 954000 | #Constraints: 35053
1272.03/1275.32 c #Conflicts: 955000 | #Constraints: 36053
1272.03/1275.32 c #Conflicts: 956000 | #Constraints: 37053
1272.03/1275.32 c #Conflicts: 957000 | #Constraints: 38053
1272.03/1275.32 c #Conflicts: 958000 | #Constraints: 39053
1272.03/1275.32 c #Conflicts: 959000 | #Constraints: 40053
1272.03/1275.32 c #Conflicts: 960000 | #Constraints: 41053
1272.03/1275.32 c #Conflicts: 961000 | #Constraints: 42053
1272.03/1275.32 c INPROCESSING
1272.03/1275.32 c GARBAGE COLLECT
1272.03/1275.32 c #Conflicts: 962000 | #Constraints: 23635
1272.03/1275.32 c #Conflicts: 963000 | #Constraints: 24635
1272.03/1275.32 c #Conflicts: 964000 | #Constraints: 25635
1272.03/1275.32 c #Conflicts: 965000 | #Constraints: 26635
1272.03/1275.32 c #Conflicts: 966000 | #Constraints: 27635
1272.03/1275.32 c #Conflicts: 967000 | #Constraints: 28635
1272.03/1275.32 c #Conflicts: 968000 | #Constraints: 29635
1451.77/1455.51 c #Conflicts: 969000 | #Constraints: 30635
1451.77/1455.51 c #Conflicts: 970000 | #Constraints: 31635
1451.77/1455.51 c #Conflicts: 971000 | #Constraints: 32635
1451.77/1455.51 c #Conflicts: 972000 | #Constraints: 33635
1451.77/1455.51 c #Conflicts: 973000 | #Constraints: 34635
1451.77/1455.51 c #Conflicts: 974000 | #Constraints: 35635
1451.77/1455.51 c #Conflicts: 975000 | #Constraints: 36635
1451.77/1455.51 c #Conflicts: 976000 | #Constraints: 37635
1451.77/1455.51 c #Conflicts: 977000 | #Constraints: 38635
1451.77/1455.51 c #Conflicts: 978000 | #Constraints: 39635
1451.77/1455.51 c #Conflicts: 979000 | #Constraints: 40635
1451.77/1455.51 c #Conflicts: 980000 | #Constraints: 41635
1451.77/1455.51 c #Conflicts: 981000 | #Constraints: 42635
1451.77/1455.51 c INPROCESSING
1451.77/1455.51 c GARBAGE COLLECT
1451.77/1455.51 c #Conflicts: 982000 | #Constraints: 24040
1451.77/1455.51 c #Conflicts: 983000 | #Constraints: 25040
1451.77/1455.51 c #Conflicts: 984000 | #Constraints: 26040
1451.77/1455.51 c #Conflicts: 985000 | #Constraints: 27040
1451.77/1455.51 c #Conflicts: 986000 | #Constraints: 28040
1451.77/1455.51 c #Conflicts: 987000 | #Constraints: 29040
1451.77/1455.51 c #Conflicts: 988000 | #Constraints: 30040
1451.77/1455.51 c #Conflicts: 989000 | #Constraints: 31040
1451.77/1455.51 c #Conflicts: 990000 | #Constraints: 32040
1451.77/1455.51 c #Conflicts: 991000 | #Constraints: 33040
1451.77/1455.51 c #Conflicts: 992000 | #Constraints: 34040
1451.77/1455.51 c #Conflicts: 993000 | #Constraints: 35040
1451.77/1455.51 c #Conflicts: 994000 | #Constraints: 36040
1451.77/1455.51 c #Conflicts: 995000 | #Constraints: 37040
1451.77/1455.51 c #Conflicts: 996000 | #Constraints: 38040
1451.77/1455.51 c #Conflicts: 997000 | #Constraints: 39040
1451.77/1455.51 c #Conflicts: 998000 | #Constraints: 40040
1451.77/1455.51 c #Conflicts: 999000 | #Constraints: 41040
1451.77/1455.51 c #Conflicts: 1000000 | #Constraints: 42040
1451.77/1455.51 c #Conflicts: 1001000 | #Constraints: 43040
1451.77/1455.51 c INPROCESSING
1451.77/1455.51 c GARBAGE COLLECT
1451.77/1455.51 c #Conflicts: 1002000 | #Constraints: 24261
1451.77/1455.51 c #Conflicts: 1003000 | #Constraints: 25261
1451.77/1455.51 c #Conflicts: 1004000 | #Constraints: 26261
1451.77/1455.51 c #Conflicts: 1005000 | #Constraints: 27261
1451.77/1455.51 c #Conflicts: 1006000 | #Constraints: 28261
1451.77/1455.51 c #Conflicts: 1007000 | #Constraints: 29261
1451.77/1455.51 c #Conflicts: 1008000 | #Constraints: 30261
1451.77/1455.51 c #Conflicts: 1009000 | #Constraints: 31261
1451.77/1455.51 c #Conflicts: 1010000 | #Constraints: 32261
1451.77/1455.51 c #Conflicts: 1011000 | #Constraints: 33261
1451.77/1455.51 c #Conflicts: 1012000 | #Constraints: 34261
1451.77/1455.51 c #Conflicts: 1013000 | #Constraints: 35261
1451.77/1455.51 c #Conflicts: 1014000 | #Constraints: 36261
1451.77/1455.51 c #Conflicts: 1015000 | #Constraints: 37261
1451.77/1455.51 c #Conflicts: 1016000 | #Constraints: 38261
1451.77/1455.51 c #Conflicts: 1017000 | #Constraints: 39261
1451.77/1455.51 c #Conflicts: 1018000 | #Constraints: 40261
1451.77/1455.51 c #Conflicts: 1019000 | #Constraints: 41261
1451.77/1455.51 c #Conflicts: 1020000 | #Constraints: 42261
1451.77/1455.51 c #Conflicts: 1021000 | #Constraints: 43261
1451.77/1455.51 c INPROCESSING
1451.77/1455.51 c GARBAGE COLLECT
1451.77/1455.51 c #Conflicts: 1022000 | #Constraints: 24272
1451.77/1455.51 c #Conflicts: 1023000 | #Constraints: 25272
1451.77/1455.51 c #Conflicts: 1024000 | #Constraints: 26272
1451.77/1455.51 c #Conflicts: 1025000 | #Constraints: 27272
1451.77/1455.51 c #Conflicts: 1026000 | #Constraints: 28272
1451.77/1455.51 c #Conflicts: 1027000 | #Constraints: 29272
1451.77/1455.51 c #Conflicts: 1028000 | #Constraints: 30272
1451.77/1455.51 c #Conflicts: 1029000 | #Constraints: 31272
1451.77/1455.51 c #Conflicts: 1030000 | #Constraints: 32272
1451.77/1455.51 c #Conflicts: 1031000 | #Constraints: 33272
1451.77/1455.51 c #Conflicts: 1032000 | #Constraints: 34272
1451.77/1455.51 c #Conflicts: 1033000 | #Constraints: 35272
1451.77/1455.51 c #Conflicts: 1034000 | #Constraints: 36272
1451.77/1455.51 c #Conflicts: 1035000 | #Constraints: 37272
1451.77/1455.51 c #Conflicts: 1036000 | #Constraints: 38272
1451.77/1455.51 c #Conflicts: 1037000 | #Constraints: 39272
1451.77/1455.51 c #Conflicts: 1038000 | #Constraints: 40272
1451.77/1455.51 c #Conflicts: 1039000 | #Constraints: 41272
1451.77/1455.51 c #Conflicts: 1040000 | #Constraints: 42272
1451.77/1455.51 c #Conflicts: 1041000 | #Constraints: 43272
1451.77/1455.51 c INPROCESSING
1451.77/1455.51 c GARBAGE COLLECT
1451.77/1455.51 c #Conflicts: 1042000 | #Constraints: 24071
1451.77/1455.51 c #Conflicts: 1043000 | #Constraints: 25071
1451.77/1455.51 c #Conflicts: 1044000 | #Constraints: 26071
1699.55/1703.90 c #Conflicts: 1045000 | #Constraints: 27071
1699.55/1703.90 c #Conflicts: 1046000 | #Constraints: 28071
1699.55/1703.90 c #Conflicts: 1047000 | #Constraints: 29071
1699.55/1703.90 c #Conflicts: 1048000 | #Constraints: 30071
1699.55/1703.90 c #Conflicts: 1049000 | #Constraints: 31071
1699.55/1703.90 c #Conflicts: 1050000 | #Constraints: 32071
1699.55/1703.90 c #Conflicts: 1051000 | #Constraints: 33071
1699.55/1703.90 c #Conflicts: 1052000 | #Constraints: 34071
1699.55/1703.90 c #Conflicts: 1053000 | #Constraints: 35071
1699.55/1703.90 c #Conflicts: 1054000 | #Constraints: 36071
1699.55/1703.90 c #Conflicts: 1055000 | #Constraints: 37071
1699.55/1703.90 c #Conflicts: 1056000 | #Constraints: 38071
1699.55/1703.90 c #Conflicts: 1057000 | #Constraints: 39071
1699.55/1703.90 c #Conflicts: 1058000 | #Constraints: 40071
1699.55/1703.90 c #Conflicts: 1059000 | #Constraints: 41071
1699.55/1703.90 c #Conflicts: 1060000 | #Constraints: 42071
1699.55/1703.90 c #Conflicts: 1061000 | #Constraints: 43071
1699.55/1703.90 c #Conflicts: 1062000 | #Constraints: 44071
1699.55/1703.90 c INPROCESSING
1699.55/1703.90 c GARBAGE COLLECT
1699.55/1703.90 c #Conflicts: 1063000 | #Constraints: 24644
1699.55/1703.90 c #Conflicts: 1064000 | #Constraints: 25644
1699.55/1703.90 c #Conflicts: 1065000 | #Constraints: 26644
1699.55/1703.90 c #Conflicts: 1066000 | #Constraints: 27644
1699.55/1703.90 c #Conflicts: 1067000 | #Constraints: 28644
1699.55/1703.90 c #Conflicts: 1068000 | #Constraints: 29644
1699.55/1703.90 c #Conflicts: 1069000 | #Constraints: 30644
1699.55/1703.90 c #Conflicts: 1070000 | #Constraints: 31644
1699.55/1703.90 c #Conflicts: 1071000 | #Constraints: 32644
1699.55/1703.90 c #Conflicts: 1072000 | #Constraints: 33644
1699.55/1703.90 c #Conflicts: 1073000 | #Constraints: 34644
1699.55/1703.90 c #Conflicts: 1074000 | #Constraints: 35644
1699.55/1703.90 c #Conflicts: 1075000 | #Constraints: 36644
1699.55/1703.90 c #Conflicts: 1076000 | #Constraints: 37644
1699.55/1703.90 c #Conflicts: 1077000 | #Constraints: 38644
1699.55/1703.90 c #Conflicts: 1078000 | #Constraints: 39644
1699.55/1703.90 c #Conflicts: 1079000 | #Constraints: 40644
1699.55/1703.90 c #Conflicts: 1080000 | #Constraints: 41644
1699.55/1703.90 c #Conflicts: 1081000 | #Constraints: 42644
1699.55/1703.90 c #Conflicts: 1082000 | #Constraints: 43644
1699.55/1703.90 c #Conflicts: 1083000 | #Constraints: 44644
1699.55/1703.90 c INPROCESSING
1699.55/1703.90 c GARBAGE COLLECT
1699.55/1703.90 c #Conflicts: 1084000 | #Constraints: 25043
1699.55/1703.90 c #Conflicts: 1085000 | #Constraints: 26043
1699.55/1703.90 c #Conflicts: 1086000 | #Constraints: 27043
1699.55/1703.90 c #Conflicts: 1087000 | #Constraints: 28043
1699.55/1703.90 c #Conflicts: 1088000 | #Constraints: 29043
1699.55/1703.90 c #Conflicts: 1089000 | #Constraints: 30043
1699.55/1703.90 c #Conflicts: 1090000 | #Constraints: 31043
1699.55/1703.90 c #Conflicts: 1091000 | #Constraints: 32043
1699.55/1703.90 c #Conflicts: 1092000 | #Constraints: 33043
1699.55/1703.90 c #Conflicts: 1093000 | #Constraints: 34043
1699.55/1703.90 c #Conflicts: 1094000 | #Constraints: 35043
1699.55/1703.90 c #Conflicts: 1095000 | #Constraints: 36043
1699.55/1703.90 c #Conflicts: 1096000 | #Constraints: 37043
1699.55/1703.90 c #Conflicts: 1097000 | #Constraints: 38043
1699.55/1703.90 c #Conflicts: 1098000 | #Constraints: 39043
1699.55/1703.90 c #Conflicts: 1099000 | #Constraints: 40043
1699.55/1703.90 c #Conflicts: 1100000 | #Constraints: 41043
1699.55/1703.90 c #Conflicts: 1101000 | #Constraints: 42043
1699.55/1703.90 c #Conflicts: 1102000 | #Constraints: 43043
1699.55/1703.90 c #Conflicts: 1103000 | #Constraints: 44043
1699.55/1703.90 c #Conflicts: 1104000 | #Constraints: 45043
1699.55/1703.90 c INPROCESSING
1699.55/1703.90 c GARBAGE COLLECT
1699.55/1703.90 c #Conflicts: 1105000 | #Constraints: 25260
1699.55/1703.90 c #Conflicts: 1106000 | #Constraints: 26260
1699.55/1703.90 c #Conflicts: 1107000 | #Constraints: 27260
1699.55/1703.90 c #Conflicts: 1108000 | #Constraints: 28260
1699.55/1703.90 c #Conflicts: 1109000 | #Constraints: 29260
1699.55/1703.90 c #Conflicts: 1110000 | #Constraints: 30260
1699.55/1703.90 c #Conflicts: 1111000 | #Constraints: 31260
1699.55/1703.90 c #Conflicts: 1112000 | #Constraints: 32260
1699.55/1703.90 c #Conflicts: 1113000 | #Constraints: 33260
1699.55/1703.90 c #Conflicts: 1114000 | #Constraints: 34260
1699.55/1703.90 c #Conflicts: 1115000 | #Constraints: 35260
1699.55/1703.90 c #Conflicts: 1116000 | #Constraints: 36260
1699.55/1703.90 c #Conflicts: 1117000 | #Constraints: 37260
1699.55/1703.90 c #Conflicts: 1118000 | #Constraints: 38260
1699.55/1703.90 c #Conflicts: 1119000 | #Constraints: 39260
1699.55/1703.90 c #Conflicts: 1120000 | #Constraints: 40260
1699.55/1703.90 c #Conflicts: 1121000 | #Constraints: 41260
1909.73/1914.61 c #Conflicts: 1122000 | #Constraints: 42260
1909.73/1914.61 c #Conflicts: 1123000 | #Constraints: 43260
1909.73/1914.61 c #Conflicts: 1124000 | #Constraints: 44260
1909.73/1914.61 c #Conflicts: 1125000 | #Constraints: 45260
1909.73/1914.61 c INPROCESSING
1909.73/1914.61 c GARBAGE COLLECT
1909.73/1914.61 c #Conflicts: 1126000 | #Constraints: 25267
1909.73/1914.61 c #Conflicts: 1127000 | #Constraints: 26267
1909.73/1914.61 c #Conflicts: 1128000 | #Constraints: 27267
1909.73/1914.61 c #Conflicts: 1129000 | #Constraints: 28267
1909.73/1914.61 c #Conflicts: 1130000 | #Constraints: 29267
1909.73/1914.61 c #Conflicts: 1131000 | #Constraints: 30267
1909.73/1914.61 c #Conflicts: 1132000 | #Constraints: 31267
1909.73/1914.61 c #Conflicts: 1133000 | #Constraints: 32267
1909.73/1914.61 c #Conflicts: 1134000 | #Constraints: 33267
1909.73/1914.61 c #Conflicts: 1135000 | #Constraints: 34267
1909.73/1914.61 c #Conflicts: 1136000 | #Constraints: 35267
1909.73/1914.61 c #Conflicts: 1137000 | #Constraints: 36267
1909.73/1914.61 c #Conflicts: 1138000 | #Constraints: 37267
1909.73/1914.61 c #Conflicts: 1139000 | #Constraints: 38267
1909.73/1914.61 c #Conflicts: 1140000 | #Constraints: 39267
1909.73/1914.61 c #Conflicts: 1141000 | #Constraints: 40267
1909.73/1914.61 c #Conflicts: 1142000 | #Constraints: 41267
1909.73/1914.61 c #Conflicts: 1143000 | #Constraints: 42267
1909.73/1914.61 c #Conflicts: 1144000 | #Constraints: 43267
1909.73/1914.61 c #Conflicts: 1145000 | #Constraints: 44267
1909.73/1914.61 c #Conflicts: 1146000 | #Constraints: 45267
1909.73/1914.61 c INPROCESSING
1909.73/1914.61 c GARBAGE COLLECT
1909.73/1914.61 c #Conflicts: 1147000 | #Constraints: 25049
1909.73/1914.61 c #Conflicts: 1148000 | #Constraints: 26049
1909.73/1914.61 c #Conflicts: 1149000 | #Constraints: 27049
1909.73/1914.61 c #Conflicts: 1150000 | #Constraints: 28049
1909.73/1914.61 c #Conflicts: 1151000 | #Constraints: 29049
1909.73/1914.61 c #Conflicts: 1152000 | #Constraints: 30049
1909.73/1914.61 c #Conflicts: 1153000 | #Constraints: 31049
1909.73/1914.61 c #Conflicts: 1154000 | #Constraints: 32049
1909.73/1914.61 c #Conflicts: 1155000 | #Constraints: 33049
1909.73/1914.61 c #Conflicts: 1156000 | #Constraints: 34049
1909.73/1914.61 c #Conflicts: 1157000 | #Constraints: 35049
1909.73/1914.61 c #Conflicts: 1158000 | #Constraints: 36049
1909.73/1914.61 c #Conflicts: 1159000 | #Constraints: 37049
1909.73/1914.61 c #Conflicts: 1160000 | #Constraints: 38049
1909.73/1914.61 c #Conflicts: 1161000 | #Constraints: 39049
1909.73/1914.61 c #Conflicts: 1162000 | #Constraints: 40049
1909.73/1914.61 c #Conflicts: 1163000 | #Constraints: 41049
1909.73/1914.61 c #Conflicts: 1164000 | #Constraints: 42049
1909.73/1914.61 c #Conflicts: 1165000 | #Constraints: 43049
1909.73/1914.61 c #Conflicts: 1166000 | #Constraints: 44049
1909.73/1914.61 c #Conflicts: 1167000 | #Constraints: 45049
1909.73/1914.61 c #Conflicts: 1168000 | #Constraints: 46049
1909.73/1914.61 c INPROCESSING
1909.73/1914.61 c GARBAGE COLLECT
1909.73/1914.61 c #Conflicts: 1169000 | #Constraints: 25625
1909.73/1914.61 c #Conflicts: 1170000 | #Constraints: 26625
1909.73/1914.61 c #Conflicts: 1171000 | #Constraints: 27625
1909.73/1914.61 c #Conflicts: 1172000 | #Constraints: 28625
1909.73/1914.61 c #Conflicts: 1173000 | #Constraints: 29625
1909.73/1914.61 c #Conflicts: 1174000 | #Constraints: 30625
1909.73/1914.61 c #Conflicts: 1175000 | #Constraints: 31625
1909.73/1914.61 c #Conflicts: 1176000 | #Constraints: 32625
1909.73/1914.61 c #Conflicts: 1177000 | #Constraints: 33625
1909.73/1914.61 c #Conflicts: 1178000 | #Constraints: 34625
1909.73/1914.61 c #Conflicts: 1179000 | #Constraints: 35625
1909.73/1914.61 c #Conflicts: 1180000 | #Constraints: 36625
1909.73/1914.61 c #Conflicts: 1181000 | #Constraints: 37625
1909.73/1914.61 c #Conflicts: 1182000 | #Constraints: 38625
1909.73/1914.61 c #Conflicts: 1183000 | #Constraints: 39625
1909.73/1914.61 c #Conflicts: 1184000 | #Constraints: 40625
1909.73/1914.61 c #Conflicts: 1185000 | #Constraints: 41625
1909.73/1914.61 c #Conflicts: 1186000 | #Constraints: 42625
1909.73/1914.61 c #Conflicts: 1187000 | #Constraints: 43625
1909.73/1914.61 c #Conflicts: 1188000 | #Constraints: 44625
1909.73/1914.61 c #Conflicts: 1189000 | #Constraints: 45625
1909.73/1914.61 c #Conflicts: 1190000 | #Constraints: 46625
1909.73/1914.61 c INPROCESSING
1909.73/1914.61 c GARBAGE COLLECT
1909.73/1914.61 c #Conflicts: 1191000 | #Constraints: 26047
1909.73/1914.61 c #Conflicts: 1192000 | #Constraints: 27047
1909.73/1914.61 c #Conflicts: 1193000 | #Constraints: 28047
1909.73/1914.61 c #Conflicts: 1194000 | #Constraints: 29047
1909.73/1914.61 c #Conflicts: 1195000 | #Constraints: 30047
1909.73/1914.61 c #Conflicts: 1196000 | #Constraints: 31047
1909.73/1914.61 c #Conflicts: 1197000 | #Constraints: 32047
2086.29/2091.69 c #Conflicts: 1198000 | #Constraints: 33047
2086.29/2091.69 c #Conflicts: 1199000 | #Constraints: 34047
2086.29/2091.69 c #Conflicts: 1200000 | #Constraints: 35047
2086.29/2091.69 c #Conflicts: 1201000 | #Constraints: 36047
2086.29/2091.69 c #Conflicts: 1202000 | #Constraints: 37047
2086.29/2091.69 c #Conflicts: 1203000 | #Constraints: 38047
2086.29/2091.69 c #Conflicts: 1204000 | #Constraints: 39047
2086.29/2091.69 c #Conflicts: 1205000 | #Constraints: 40047
2086.29/2091.69 c #Conflicts: 1206000 | #Constraints: 41047
2086.29/2091.69 c #Conflicts: 1207000 | #Constraints: 42047
2086.29/2091.69 c #Conflicts: 1208000 | #Constraints: 43047
2086.29/2091.69 c #Conflicts: 1209000 | #Constraints: 44047
2086.29/2091.69 c #Conflicts: 1210000 | #Constraints: 45047
2086.29/2091.69 c #Conflicts: 1211000 | #Constraints: 46047
2086.29/2091.69 c #Conflicts: 1212000 | #Constraints: 47047
2086.29/2091.69 c INPROCESSING
2086.29/2091.69 c GARBAGE COLLECT
2086.29/2091.69 c #Conflicts: 1213000 | #Constraints: 26245
2086.29/2091.69 c #Conflicts: 1214000 | #Constraints: 27245
2086.29/2091.69 c #Conflicts: 1215000 | #Constraints: 28245
2086.29/2091.69 c #Conflicts: 1216000 | #Constraints: 29245
2086.29/2091.69 c #Conflicts: 1217000 | #Constraints: 30245
2086.29/2091.69 c #Conflicts: 1218000 | #Constraints: 31245
2086.29/2091.69 c #Conflicts: 1219000 | #Constraints: 32245
2086.29/2091.69 c #Conflicts: 1220000 | #Constraints: 33245
2086.29/2091.69 c #Conflicts: 1221000 | #Constraints: 34245
2086.29/2091.69 c #Conflicts: 1222000 | #Constraints: 35245
2086.29/2091.69 c #Conflicts: 1223000 | #Constraints: 36245
2086.29/2091.69 c #Conflicts: 1224000 | #Constraints: 37245
2086.29/2091.69 c #Conflicts: 1225000 | #Constraints: 38245
2086.29/2091.69 c #Conflicts: 1226000 | #Constraints: 39245
2086.29/2091.69 c #Conflicts: 1227000 | #Constraints: 40245
2086.29/2091.69 c #Conflicts: 1228000 | #Constraints: 41245
2086.29/2091.69 c #Conflicts: 1229000 | #Constraints: 42245
2086.29/2091.69 c #Conflicts: 1230000 | #Constraints: 43245
2086.29/2091.69 c #Conflicts: 1231000 | #Constraints: 44245
2086.29/2091.69 c #Conflicts: 1232000 | #Constraints: 45245
2086.29/2091.69 c #Conflicts: 1233000 | #Constraints: 46245
2086.29/2091.69 c #Conflicts: 1234000 | #Constraints: 47245
2086.29/2091.69 c INPROCESSING
2086.29/2091.69 c GARBAGE COLLECT
2086.29/2091.69 c #Conflicts: 1235000 | #Constraints: 26215
2086.29/2091.69 c #Conflicts: 1236000 | #Constraints: 27215
2086.29/2091.69 c #Conflicts: 1237000 | #Constraints: 28215
2086.29/2091.69 c #Conflicts: 1238000 | #Constraints: 29215
2086.29/2091.69 c #Conflicts: 1239000 | #Constraints: 30215
2086.29/2091.69 c #Conflicts: 1240000 | #Constraints: 31215
2086.29/2091.69 c #Conflicts: 1241000 | #Constraints: 32215
2086.29/2091.69 c #Conflicts: 1242000 | #Constraints: 33215
2086.29/2091.69 c #Conflicts: 1243000 | #Constraints: 34215
2086.29/2091.69 c #Conflicts: 1244000 | #Constraints: 35215
2086.29/2091.69 c #Conflicts: 1245000 | #Constraints: 36215
2086.29/2091.69 c #Conflicts: 1246000 | #Constraints: 37215
2086.29/2091.69 c #Conflicts: 1247000 | #Constraints: 38215
2086.29/2091.69 c #Conflicts: 1248000 | #Constraints: 39215
2086.29/2091.69 c #Conflicts: 1249000 | #Constraints: 40215
2086.29/2091.69 c #Conflicts: 1250000 | #Constraints: 41215
2086.29/2091.69 c #Conflicts: 1251000 | #Constraints: 42215
2086.29/2091.69 c #Conflicts: 1252000 | #Constraints: 43215
2086.29/2091.69 c #Conflicts: 1253000 | #Constraints: 44215
2086.29/2091.69 c #Conflicts: 1254000 | #Constraints: 45215
2086.29/2091.69 c #Conflicts: 1255000 | #Constraints: 46215
2086.29/2091.69 c #Conflicts: 1256000 | #Constraints: 47215
2086.29/2091.69 c INPROCESSING
2086.29/2091.69 c GARBAGE COLLECT
2086.29/2091.69 c #Conflicts: 1257000 | #Constraints: 26001
2086.29/2091.69 c #Conflicts: 1258000 | #Constraints: 27001
2086.29/2091.69 c #Conflicts: 1259000 | #Constraints: 28001
2086.29/2091.69 c #Conflicts: 1260000 | #Constraints: 29001
2086.29/2091.69 c #Conflicts: 1261000 | #Constraints: 30001
2086.29/2091.69 c #Conflicts: 1262000 | #Constraints: 31001
2086.29/2091.69 c #Conflicts: 1263000 | #Constraints: 32001
2086.29/2091.69 c #Conflicts: 1264000 | #Constraints: 33001
2086.29/2091.69 c #Conflicts: 1265000 | #Constraints: 34001
2086.29/2091.69 c #Conflicts: 1266000 | #Constraints: 35001
2086.29/2091.69 c #Conflicts: 1267000 | #Constraints: 36001
2086.29/2091.69 c #Conflicts: 1268000 | #Constraints: 37001
2086.29/2091.69 c #Conflicts: 1269000 | #Constraints: 38001
2086.29/2091.69 c #Conflicts: 1270000 | #Constraints: 39001
2086.29/2091.69 c #Conflicts: 1271000 | #Constraints: 40001
2086.29/2091.69 c #Conflicts: 1272000 | #Constraints: 41001
2086.29/2091.69 c #Conflicts: 1273000 | #Constraints: 42001
2086.29/2091.69 c #Conflicts: 1274000 | #Constraints: 43001
2296.30/2302.17 c #Conflicts: 1275000 | #Constraints: 44001
2296.30/2302.17 c #Conflicts: 1276000 | #Constraints: 45001
2296.30/2302.17 c #Conflicts: 1277000 | #Constraints: 46001
2296.30/2302.17 c #Conflicts: 1278000 | #Constraints: 47001
2296.30/2302.17 c #Conflicts: 1279000 | #Constraints: 48001
2296.30/2302.17 c INPROCESSING
2296.30/2302.17 c GARBAGE COLLECT
2296.30/2302.17 c #Conflicts: 1280000 | #Constraints: 26607
2296.30/2302.17 c #Conflicts: 1281000 | #Constraints: 27607
2296.30/2302.17 c #Conflicts: 1282000 | #Constraints: 28607
2296.30/2302.17 c #Conflicts: 1283000 | #Constraints: 29607
2296.30/2302.17 c #Conflicts: 1284000 | #Constraints: 30607
2296.30/2302.17 c #Conflicts: 1285000 | #Constraints: 31607
2296.30/2302.17 c #Conflicts: 1286000 | #Constraints: 32607
2296.30/2302.17 c #Conflicts: 1287000 | #Constraints: 33607
2296.30/2302.17 c #Conflicts: 1288000 | #Constraints: 34607
2296.30/2302.17 c #Conflicts: 1289000 | #Constraints: 35607
2296.30/2302.17 c #Conflicts: 1290000 | #Constraints: 36607
2296.30/2302.17 c #Conflicts: 1291000 | #Constraints: 37607
2296.30/2302.17 c #Conflicts: 1292000 | #Constraints: 38607
2296.30/2302.17 c #Conflicts: 1293000 | #Constraints: 39607
2296.30/2302.17 c #Conflicts: 1294000 | #Constraints: 40607
2296.30/2302.17 c #Conflicts: 1295000 | #Constraints: 41607
2296.30/2302.17 c #Conflicts: 1296000 | #Constraints: 42607
2296.30/2302.17 c #Conflicts: 1297000 | #Constraints: 43607
2296.30/2302.17 c #Conflicts: 1298000 | #Constraints: 44607
2296.30/2302.17 c #Conflicts: 1299000 | #Constraints: 45607
2296.30/2302.17 c #Conflicts: 1300000 | #Constraints: 46607
2296.30/2302.17 c #Conflicts: 1301000 | #Constraints: 47607
2296.30/2302.17 c #Conflicts: 1302000 | #Constraints: 48607
2296.30/2302.17 c INPROCESSING
2296.30/2302.17 c GARBAGE COLLECT
2296.30/2302.17 c #Conflicts: 1303000 | #Constraints: 26998
2296.30/2302.17 c #Conflicts: 1304000 | #Constraints: 27998
2296.30/2302.17 c #Conflicts: 1305000 | #Constraints: 28998
2296.30/2302.17 c #Conflicts: 1306000 | #Constraints: 29998
2296.30/2302.17 c #Conflicts: 1307000 | #Constraints: 30998
2296.30/2302.17 c #Conflicts: 1308000 | #Constraints: 31998
2296.30/2302.17 c #Conflicts: 1309000 | #Constraints: 32998
2296.30/2302.17 c #Conflicts: 1310000 | #Constraints: 33998
2296.30/2302.17 c #Conflicts: 1311000 | #Constraints: 34998
2296.30/2302.17 c #Conflicts: 1312000 | #Constraints: 35998
2296.30/2302.17 c #Conflicts: 1313000 | #Constraints: 36998
2296.30/2302.17 c #Conflicts: 1314000 | #Constraints: 37998
2296.30/2302.17 c #Conflicts: 1315000 | #Constraints: 38998
2296.30/2302.17 c #Conflicts: 1316000 | #Constraints: 39998
2296.30/2302.17 c #Conflicts: 1317000 | #Constraints: 40998
2296.30/2302.17 c #Conflicts: 1318000 | #Constraints: 41998
2296.30/2302.17 c #Conflicts: 1319000 | #Constraints: 42998
2296.30/2302.17 c #Conflicts: 1320000 | #Constraints: 43998
2296.30/2302.17 c #Conflicts: 1321000 | #Constraints: 44998
2296.30/2302.17 c #Conflicts: 1322000 | #Constraints: 45998
2296.30/2302.17 c #Conflicts: 1323000 | #Constraints: 46998
2296.30/2302.17 c #Conflicts: 1324000 | #Constraints: 47998
2296.30/2302.17 c #Conflicts: 1325000 | #Constraints: 48998
2296.30/2302.17 c INPROCESSING
2296.30/2302.17 c GARBAGE COLLECT
2296.30/2302.17 c #Conflicts: 1326000 | #Constraints: 27223
2296.30/2302.17 c #Conflicts: 1327000 | #Constraints: 28223
2296.30/2302.17 c #Conflicts: 1328000 | #Constraints: 29223
2296.30/2302.17 c #Conflicts: 1329000 | #Constraints: 30223
2296.30/2302.17 c #Conflicts: 1330000 | #Constraints: 31223
2296.30/2302.17 c #Conflicts: 1331000 | #Constraints: 32223
2296.30/2302.17 c #Conflicts: 1332000 | #Constraints: 33223
2296.30/2302.17 c #Conflicts: 1333000 | #Constraints: 34223
2296.30/2302.17 c #Conflicts: 1334000 | #Constraints: 35223
2296.30/2302.17 c #Conflicts: 1335000 | #Constraints: 36223
2296.30/2302.17 c #Conflicts: 1336000 | #Constraints: 37223
2296.30/2302.17 c #Conflicts: 1337000 | #Constraints: 38223
2296.30/2302.17 c #Conflicts: 1338000 | #Constraints: 39223
2296.30/2302.17 c #Conflicts: 1339000 | #Constraints: 40223
2296.30/2302.17 c #Conflicts: 1340000 | #Constraints: 41223
2296.30/2302.17 c #Conflicts: 1341000 | #Constraints: 42223
2296.30/2302.17 c #Conflicts: 1342000 | #Constraints: 43223
2296.30/2302.17 c #Conflicts: 1343000 | #Constraints: 44223
2296.30/2302.17 c #Conflicts: 1344000 | #Constraints: 45223
2296.30/2302.17 c #Conflicts: 1345000 | #Constraints: 46223
2296.30/2302.17 c #Conflicts: 1346000 | #Constraints: 47223
2296.30/2302.17 c #Conflicts: 1347000 | #Constraints: 48223
2296.30/2302.17 c #Conflicts: 1348000 | #Constraints: 49223
2296.30/2302.17 c INPROCESSING
2296.30/2302.17 c GARBAGE COLLECT
2296.30/2302.17 c #Conflicts: 1349000 | #Constraints: 27273
2296.30/2302.17 c #Conflicts: 1350000 | #Constraints: 28273
2479.91/2486.27 c #Conflicts: 1351000 | #Constraints: 29273
2479.91/2486.27 c #Conflicts: 1352000 | #Constraints: 30273
2479.91/2486.27 c #Conflicts: 1353000 | #Constraints: 31273
2479.91/2486.27 c #Conflicts: 1354000 | #Constraints: 32273
2479.91/2486.27 c #Conflicts: 1355000 | #Constraints: 33273
2479.91/2486.27 c #Conflicts: 1356000 | #Constraints: 34273
2479.91/2486.27 c #Conflicts: 1357000 | #Constraints: 35273
2479.91/2486.27 c #Conflicts: 1358000 | #Constraints: 36273
2479.91/2486.27 c #Conflicts: 1359000 | #Constraints: 37273
2479.91/2486.27 c #Conflicts: 1360000 | #Constraints: 38273
2479.91/2486.27 c #Conflicts: 1361000 | #Constraints: 39273
2479.91/2486.27 c #Conflicts: 1362000 | #Constraints: 40273
2479.91/2486.27 c #Conflicts: 1363000 | #Constraints: 41273
2479.91/2486.27 c #Conflicts: 1364000 | #Constraints: 42273
2479.91/2486.27 c #Conflicts: 1365000 | #Constraints: 43273
2479.91/2486.27 c #Conflicts: 1366000 | #Constraints: 44273
2479.91/2486.27 c #Conflicts: 1367000 | #Constraints: 45273
2479.91/2486.27 c #Conflicts: 1368000 | #Constraints: 46273
2479.91/2486.27 c #Conflicts: 1369000 | #Constraints: 47273
2479.91/2486.27 c #Conflicts: 1370000 | #Constraints: 48273
2479.91/2486.27 c #Conflicts: 1371000 | #Constraints: 49273
2479.91/2486.27 c INPROCESSING
2479.91/2486.27 c GARBAGE COLLECT
2479.91/2486.27 c #Conflicts: 1372000 | #Constraints: 27042
2479.91/2486.27 c #Conflicts: 1373000 | #Constraints: 28042
2479.91/2486.27 c #Conflicts: 1374000 | #Constraints: 29042
2479.91/2486.27 c #Conflicts: 1375000 | #Constraints: 30042
2479.91/2486.27 c #Conflicts: 1376000 | #Constraints: 31042
2479.91/2486.27 c #Conflicts: 1377000 | #Constraints: 32042
2479.91/2486.27 c #Conflicts: 1378000 | #Constraints: 33042
2479.91/2486.27 c #Conflicts: 1379000 | #Constraints: 34042
2479.91/2486.27 c #Conflicts: 1380000 | #Constraints: 35042
2479.91/2486.27 c #Conflicts: 1381000 | #Constraints: 36042
2479.91/2486.27 c #Conflicts: 1382000 | #Constraints: 37042
2479.91/2486.27 c #Conflicts: 1383000 | #Constraints: 38042
2479.91/2486.27 c #Conflicts: 1384000 | #Constraints: 39042
2479.91/2486.27 c #Conflicts: 1385000 | #Constraints: 40042
2479.91/2486.27 c #Conflicts: 1386000 | #Constraints: 41042
2479.91/2486.27 c #Conflicts: 1387000 | #Constraints: 42042
2479.91/2486.27 c #Conflicts: 1388000 | #Constraints: 43042
2479.91/2486.27 c #Conflicts: 1389000 | #Constraints: 44042
2479.91/2486.27 c #Conflicts: 1390000 | #Constraints: 45042
2479.91/2486.27 c #Conflicts: 1391000 | #Constraints: 46042
2479.91/2486.27 c #Conflicts: 1392000 | #Constraints: 47042
2479.91/2486.27 c #Conflicts: 1393000 | #Constraints: 48042
2479.91/2486.27 c #Conflicts: 1394000 | #Constraints: 49042
2479.91/2486.27 c #Conflicts: 1395000 | #Constraints: 50042
2479.91/2486.27 c INPROCESSING
2479.91/2486.27 c GARBAGE COLLECT
2479.91/2486.27 c #Conflicts: 1396000 | #Constraints: 27645
2479.91/2486.27 c #Conflicts: 1397000 | #Constraints: 28645
2479.91/2486.27 c #Conflicts: 1398000 | #Constraints: 29645
2479.91/2486.27 c #Conflicts: 1399000 | #Constraints: 30645
2479.91/2486.27 c #Conflicts: 1400000 | #Constraints: 31645
2479.91/2486.27 c #Conflicts: 1401000 | #Constraints: 32645
2479.91/2486.27 c #Conflicts: 1402000 | #Constraints: 33645
2479.91/2486.27 c #Conflicts: 1403000 | #Constraints: 34645
2479.91/2486.27 c #Conflicts: 1404000 | #Constraints: 35645
2479.91/2486.27 c #Conflicts: 1405000 | #Constraints: 36645
2479.91/2486.27 c #Conflicts: 1406000 | #Constraints: 37645
2479.91/2486.27 c #Conflicts: 1407000 | #Constraints: 38645
2479.91/2486.27 c #Conflicts: 1408000 | #Constraints: 39645
2479.91/2486.27 c #Conflicts: 1409000 | #Constraints: 40645
2479.91/2486.27 c #Conflicts: 1410000 | #Constraints: 41645
2479.91/2486.27 c #Conflicts: 1411000 | #Constraints: 42645
2479.91/2486.27 c #Conflicts: 1412000 | #Constraints: 43645
2479.91/2486.27 c #Conflicts: 1413000 | #Constraints: 44645
2479.91/2486.27 c #Conflicts: 1414000 | #Constraints: 45645
2479.91/2486.27 c #Conflicts: 1415000 | #Constraints: 46645
2479.91/2486.27 c #Conflicts: 1416000 | #Constraints: 47645
2479.91/2486.27 c #Conflicts: 1417000 | #Constraints: 48645
2479.91/2486.27 c #Conflicts: 1418000 | #Constraints: 49645
2479.91/2486.27 c #Conflicts: 1419000 | #Constraints: 50645
2479.91/2486.27 c INPROCESSING
2479.91/2486.27 c GARBAGE COLLECT
2479.91/2486.27 c #Conflicts: 1420000 | #Constraints: 28057
2479.91/2486.27 c #Conflicts: 1421000 | #Constraints: 29057
2479.91/2486.27 c #Conflicts: 1422000 | #Constraints: 30057
2479.91/2486.27 c #Conflicts: 1423000 | #Constraints: 31057
2479.91/2486.27 c #Conflicts: 1424000 | #Constraints: 32057
2479.91/2486.27 c #Conflicts: 1425000 | #Constraints: 33057
2479.91/2486.27 c #Conflicts: 1426000 | #Constraints: 34057
2479.91/2486.27 c #Conflicts: 1427000 | #Constraints: 35057
2651.51/2658.20 c #Conflicts: 1428000 | #Constraints: 36057
2651.51/2658.20 c #Conflicts: 1429000 | #Constraints: 37057
2651.51/2658.20 c #Conflicts: 1430000 | #Constraints: 38057
2651.51/2658.20 c #Conflicts: 1431000 | #Constraints: 39057
2651.51/2658.20 c #Conflicts: 1432000 | #Constraints: 40057
2651.51/2658.20 c #Conflicts: 1433000 | #Constraints: 41057
2651.51/2658.20 c #Conflicts: 1434000 | #Constraints: 42057
2651.51/2658.20 c #Conflicts: 1435000 | #Constraints: 43057
2651.51/2658.20 c #Conflicts: 1436000 | #Constraints: 44057
2651.51/2658.20 c #Conflicts: 1437000 | #Constraints: 45057
2651.51/2658.20 c #Conflicts: 1438000 | #Constraints: 46057
2651.51/2658.20 c #Conflicts: 1439000 | #Constraints: 47057
2651.51/2658.20 c #Conflicts: 1440000 | #Constraints: 48057
2651.51/2658.20 c #Conflicts: 1441000 | #Constraints: 49057
2651.51/2658.20 c #Conflicts: 1442000 | #Constraints: 50057
2651.51/2658.20 c #Conflicts: 1443000 | #Constraints: 51057
2651.51/2658.20 c INPROCESSING
2651.51/2658.20 c GARBAGE COLLECT
2651.51/2658.20 c #Conflicts: 1444000 | #Constraints: 28240
2651.51/2658.20 c #Conflicts: 1445000 | #Constraints: 29240
2651.51/2658.20 c #Conflicts: 1446000 | #Constraints: 30240
2651.51/2658.20 c #Conflicts: 1447000 | #Constraints: 31240
2651.51/2658.20 c #Conflicts: 1448000 | #Constraints: 32240
2651.51/2658.20 c #Conflicts: 1449000 | #Constraints: 33240
2651.51/2658.20 c #Conflicts: 1450000 | #Constraints: 34240
2651.51/2658.20 c #Conflicts: 1451000 | #Constraints: 35240
2651.51/2658.20 c #Conflicts: 1452000 | #Constraints: 36240
2651.51/2658.20 c #Conflicts: 1453000 | #Constraints: 37240
2651.51/2658.20 c #Conflicts: 1454000 | #Constraints: 38240
2651.51/2658.20 c #Conflicts: 1455000 | #Constraints: 39240
2651.51/2658.20 c #Conflicts: 1456000 | #Constraints: 40240
2651.51/2658.20 c #Conflicts: 1457000 | #Constraints: 41240
2651.51/2658.20 c #Conflicts: 1458000 | #Constraints: 42240
2651.51/2658.20 c #Conflicts: 1459000 | #Constraints: 43240
2651.51/2658.20 c #Conflicts: 1460000 | #Constraints: 44240
2651.51/2658.20 c #Conflicts: 1461000 | #Constraints: 45240
2651.51/2658.20 c #Conflicts: 1462000 | #Constraints: 46240
2651.51/2658.20 c #Conflicts: 1463000 | #Constraints: 47240
2651.51/2658.20 c #Conflicts: 1464000 | #Constraints: 48240
2651.51/2658.20 c #Conflicts: 1465000 | #Constraints: 49240
2651.51/2658.20 c #Conflicts: 1466000 | #Constraints: 50240
2651.51/2658.20 c #Conflicts: 1467000 | #Constraints: 51240
2651.51/2658.20 c INPROCESSING
2651.51/2658.20 c GARBAGE COLLECT
2651.51/2658.20 c #Conflicts: 1468000 | #Constraints: 28224
2651.51/2658.20 c #Conflicts: 1469000 | #Constraints: 29224
2651.51/2658.20 c #Conflicts: 1470000 | #Constraints: 30224
2651.51/2658.20 c #Conflicts: 1471000 | #Constraints: 31224
2651.51/2658.20 c #Conflicts: 1472000 | #Constraints: 32224
2651.51/2658.20 c #Conflicts: 1473000 | #Constraints: 33224
2651.51/2658.20 c #Conflicts: 1474000 | #Constraints: 34224
2651.51/2658.20 c #Conflicts: 1475000 | #Constraints: 35224
2651.51/2658.20 c #Conflicts: 1476000 | #Constraints: 36224
2651.51/2658.20 c #Conflicts: 1477000 | #Constraints: 37224
2651.51/2658.20 c #Conflicts: 1478000 | #Constraints: 38224
2651.51/2658.20 c #Conflicts: 1479000 | #Constraints: 39224
2651.51/2658.20 c #Conflicts: 1480000 | #Constraints: 40224
2651.51/2658.20 c #Conflicts: 1481000 | #Constraints: 41224
2651.51/2658.20 c #Conflicts: 1482000 | #Constraints: 42224
2651.51/2658.20 c #Conflicts: 1483000 | #Constraints: 43224
2651.51/2658.20 c #Conflicts: 1484000 | #Constraints: 44224
2651.51/2658.20 c #Conflicts: 1485000 | #Constraints: 45224
2651.51/2658.20 c #Conflicts: 1486000 | #Constraints: 46224
2651.51/2658.20 c #Conflicts: 1487000 | #Constraints: 47224
2651.51/2658.20 c #Conflicts: 1488000 | #Constraints: 48224
2651.51/2658.20 c #Conflicts: 1489000 | #Constraints: 49224
2651.51/2658.20 c #Conflicts: 1490000 | #Constraints: 50224
2651.51/2658.20 c #Conflicts: 1491000 | #Constraints: 51224
2651.51/2658.20 c INPROCESSING
2651.51/2658.20 c GARBAGE COLLECT
2651.51/2658.20 c #Conflicts: 1492000 | #Constraints: 28048
2651.51/2658.20 c #Conflicts: 1493000 | #Constraints: 29048
2651.51/2658.20 c #Conflicts: 1494000 | #Constraints: 30048
2651.51/2658.20 c #Conflicts: 1495000 | #Constraints: 31048
2651.51/2658.20 c #Conflicts: 1496000 | #Constraints: 32048
2651.51/2658.20 c #Conflicts: 1497000 | #Constraints: 33048
2651.51/2658.20 c #Conflicts: 1498000 | #Constraints: 34048
2651.51/2658.20 c #Conflicts: 1499000 | #Constraints: 35048
2651.51/2658.20 c #Conflicts: 1500000 | #Constraints: 36048
2651.51/2658.20 c #Conflicts: 1501000 | #Constraints: 37048
2651.51/2658.20 c #Conflicts: 1502000 | #Constraints: 38048
2651.51/2658.20 c #Conflicts: 1503000 | #Constraints: 39048
2651.51/2658.20 c #Conflicts: 1504000 | #Constraints: 40048
2870.92/2878.12 c #Conflicts: 1505000 | #Constraints: 41048
2870.92/2878.12 c #Conflicts: 1506000 | #Constraints: 42048
2870.92/2878.12 c #Conflicts: 1507000 | #Constraints: 43048
2870.92/2878.12 c #Conflicts: 1508000 | #Constraints: 44048
2870.92/2878.12 c #Conflicts: 1509000 | #Constraints: 45048
2870.92/2878.12 c #Conflicts: 1510000 | #Constraints: 46048
2870.92/2878.12 c #Conflicts: 1511000 | #Constraints: 47048
2870.92/2878.12 c #Conflicts: 1512000 | #Constraints: 48048
2870.92/2878.12 c #Conflicts: 1513000 | #Constraints: 49048
2870.92/2878.12 c #Conflicts: 1514000 | #Constraints: 50048
2870.92/2878.12 c #Conflicts: 1515000 | #Constraints: 51048
2870.92/2878.12 c #Conflicts: 1516000 | #Constraints: 52048
2870.92/2878.12 c INPROCESSING
2870.92/2878.12 c GARBAGE COLLECT
2870.92/2878.12 c #Conflicts: 1517000 | #Constraints: 28619
2870.92/2878.12 c #Conflicts: 1518000 | #Constraints: 29619
2870.92/2878.12 c #Conflicts: 1519000 | #Constraints: 30619
2870.92/2878.12 c #Conflicts: 1520000 | #Constraints: 31619
2870.92/2878.12 c #Conflicts: 1521000 | #Constraints: 32619
2870.92/2878.12 c #Conflicts: 1522000 | #Constraints: 33619
2870.92/2878.12 c #Conflicts: 1523000 | #Constraints: 34619
2870.92/2878.12 c #Conflicts: 1524000 | #Constraints: 35619
2870.92/2878.12 c #Conflicts: 1525000 | #Constraints: 36619
2870.92/2878.12 c #Conflicts: 1526000 | #Constraints: 37619
2870.92/2878.12 c #Conflicts: 1527000 | #Constraints: 38619
2870.92/2878.12 c #Conflicts: 1528000 | #Constraints: 39619
2870.92/2878.12 c #Conflicts: 1529000 | #Constraints: 40619
2870.92/2878.12 c #Conflicts: 1530000 | #Constraints: 41619
2870.92/2878.12 c #Conflicts: 1531000 | #Constraints: 42619
2870.92/2878.12 c #Conflicts: 1532000 | #Constraints: 43619
2870.92/2878.12 c #Conflicts: 1533000 | #Constraints: 44619
2870.92/2878.12 c #Conflicts: 1534000 | #Constraints: 45619
2870.92/2878.12 c #Conflicts: 1535000 | #Constraints: 46619
2870.92/2878.12 c #Conflicts: 1536000 | #Constraints: 47619
2870.92/2878.12 c #Conflicts: 1537000 | #Constraints: 48619
2870.92/2878.12 c #Conflicts: 1538000 | #Constraints: 49619
2870.92/2878.12 c #Conflicts: 1539000 | #Constraints: 50619
2870.92/2878.12 c #Conflicts: 1540000 | #Constraints: 51619
2870.92/2878.12 c #Conflicts: 1541000 | #Constraints: 52619
2870.92/2878.12 c INPROCESSING
2870.92/2878.12 c GARBAGE COLLECT
2870.92/2878.12 c #Conflicts: 1542000 | #Constraints: 29029
2870.92/2878.12 c #Conflicts: 1543000 | #Constraints: 30029
2870.92/2878.12 c #Conflicts: 1544000 | #Constraints: 31029
2870.92/2878.12 c #Conflicts: 1545000 | #Constraints: 32029
2870.92/2878.12 c #Conflicts: 1546000 | #Constraints: 33029
2870.92/2878.12 c #Conflicts: 1547000 | #Constraints: 34029
2870.92/2878.12 c #Conflicts: 1548000 | #Constraints: 35029
2870.92/2878.12 c #Conflicts: 1549000 | #Constraints: 36029
2870.92/2878.12 c #Conflicts: 1550000 | #Constraints: 37029
2870.92/2878.12 c #Conflicts: 1551000 | #Constraints: 38029
2870.92/2878.12 c #Conflicts: 1552000 | #Constraints: 39029
2870.92/2878.12 c #Conflicts: 1553000 | #Constraints: 40029
2870.92/2878.12 c #Conflicts: 1554000 | #Constraints: 41029
2870.92/2878.12 c #Conflicts: 1555000 | #Constraints: 42029
2870.92/2878.12 c #Conflicts: 1556000 | #Constraints: 43029
2870.92/2878.12 c #Conflicts: 1557000 | #Constraints: 44029
2870.92/2878.12 c #Conflicts: 1558000 | #Constraints: 45029
2870.92/2878.12 c #Conflicts: 1559000 | #Constraints: 46029
2870.92/2878.12 c #Conflicts: 1560000 | #Constraints: 47029
2870.92/2878.12 c #Conflicts: 1561000 | #Constraints: 48029
2870.92/2878.12 c #Conflicts: 1562000 | #Constraints: 49029
2870.92/2878.12 c #Conflicts: 1563000 | #Constraints: 50029
2870.92/2878.12 c #Conflicts: 1564000 | #Constraints: 51029
2870.92/2878.12 c #Conflicts: 1565000 | #Constraints: 52029
2870.92/2878.12 c #Conflicts: 1566000 | #Constraints: 53029
2870.92/2878.12 c INPROCESSING
2870.92/2878.12 c GARBAGE COLLECT
2870.92/2878.12 c #Conflicts: 1567000 | #Constraints: 29224
2870.92/2878.12 c #Conflicts: 1568000 | #Constraints: 30224
2870.92/2878.12 c #Conflicts: 1569000 | #Constraints: 31224
2870.92/2878.12 c #Conflicts: 1570000 | #Constraints: 32224
2870.92/2878.12 c #Conflicts: 1571000 | #Constraints: 33224
2870.92/2878.12 c #Conflicts: 1572000 | #Constraints: 34224
2870.92/2878.12 c #Conflicts: 1573000 | #Constraints: 35224
2870.92/2878.12 c #Conflicts: 1574000 | #Constraints: 36224
2870.92/2878.12 c #Conflicts: 1575000 | #Constraints: 37224
2870.92/2878.12 c #Conflicts: 1576000 | #Constraints: 38224
2870.92/2878.12 c #Conflicts: 1577000 | #Constraints: 39224
2870.92/2878.12 c #Conflicts: 1578000 | #Constraints: 40224
2870.92/2878.12 c #Conflicts: 1579000 | #Constraints: 41224
2870.92/2878.12 c #Conflicts: 1580000 | #Constraints: 42224
2870.92/2878.12 c #Conflicts: 1581000 | #Constraints: 43224
3088.61/3096.31 c #Conflicts: 1582000 | #Constraints: 44224
3088.61/3096.31 c #Conflicts: 1583000 | #Constraints: 45224
3088.61/3096.31 c #Conflicts: 1584000 | #Constraints: 46224
3088.61/3096.31 c #Conflicts: 1585000 | #Constraints: 47224
3088.61/3096.31 c #Conflicts: 1586000 | #Constraints: 48224
3088.61/3096.31 c #Conflicts: 1587000 | #Constraints: 49224
3088.61/3096.31 c #Conflicts: 1588000 | #Constraints: 50224
3088.61/3096.31 c #Conflicts: 1589000 | #Constraints: 51224
3088.61/3096.31 c #Conflicts: 1590000 | #Constraints: 52224
3088.61/3096.31 c #Conflicts: 1591000 | #Constraints: 53224
3088.61/3096.31 c INPROCESSING
3088.61/3096.31 c GARBAGE COLLECT
3088.61/3096.31 c #Conflicts: 1592000 | #Constraints: 29226
3088.61/3096.31 c #Conflicts: 1593000 | #Constraints: 30226
3088.61/3096.31 c #Conflicts: 1594000 | #Constraints: 31226
3088.61/3096.31 c #Conflicts: 1595000 | #Constraints: 32226
3088.61/3096.31 c #Conflicts: 1596000 | #Constraints: 33226
3088.61/3096.31 c #Conflicts: 1597000 | #Constraints: 34226
3088.61/3096.31 c #Conflicts: 1598000 | #Constraints: 35226
3088.61/3096.31 c #Conflicts: 1599000 | #Constraints: 36226
3088.61/3096.31 c #Conflicts: 1600000 | #Constraints: 37226
3088.61/3096.31 c #Conflicts: 1601000 | #Constraints: 38226
3088.61/3096.31 c #Conflicts: 1602000 | #Constraints: 39226
3088.61/3096.31 c #Conflicts: 1603000 | #Constraints: 40226
3088.61/3096.31 c #Conflicts: 1604000 | #Constraints: 41226
3088.61/3096.31 c #Conflicts: 1605000 | #Constraints: 42226
3088.61/3096.31 c #Conflicts: 1606000 | #Constraints: 43226
3088.61/3096.31 c #Conflicts: 1607000 | #Constraints: 44226
3088.61/3096.31 c #Conflicts: 1608000 | #Constraints: 45226
3088.61/3096.31 c #Conflicts: 1609000 | #Constraints: 46226
3088.61/3096.31 c #Conflicts: 1610000 | #Constraints: 47226
3088.61/3096.31 c #Conflicts: 1611000 | #Constraints: 48226
3088.61/3096.31 c #Conflicts: 1612000 | #Constraints: 49226
3088.61/3096.31 c #Conflicts: 1613000 | #Constraints: 50226
3088.61/3096.31 c #Conflicts: 1614000 | #Constraints: 51226
3088.61/3096.31 c #Conflicts: 1615000 | #Constraints: 52226
3088.61/3096.31 c #Conflicts: 1616000 | #Constraints: 53226
3088.61/3096.31 c INPROCESSING
3088.61/3096.31 c GARBAGE COLLECT
3088.61/3096.31 c #Conflicts: 1617000 | #Constraints: 29075
3088.61/3096.31 c #Conflicts: 1618000 | #Constraints: 30075
3088.61/3096.31 c #Conflicts: 1619000 | #Constraints: 31075
3088.61/3096.31 c #Conflicts: 1620000 | #Constraints: 32075
3088.61/3096.31 c #Conflicts: 1621000 | #Constraints: 33075
3088.61/3096.31 c #Conflicts: 1622000 | #Constraints: 34075
3088.61/3096.31 c #Conflicts: 1623000 | #Constraints: 35075
3088.61/3096.31 c #Conflicts: 1624000 | #Constraints: 36075
3088.61/3096.31 c #Conflicts: 1625000 | #Constraints: 37075
3088.61/3096.31 c #Conflicts: 1626000 | #Constraints: 38075
3088.61/3096.31 c #Conflicts: 1627000 | #Constraints: 39075
3088.61/3096.31 c #Conflicts: 1628000 | #Constraints: 40075
3088.61/3096.31 c #Conflicts: 1629000 | #Constraints: 41075
3088.61/3096.31 c #Conflicts: 1630000 | #Constraints: 42075
3088.61/3096.31 c #Conflicts: 1631000 | #Constraints: 43075
3088.61/3096.31 c #Conflicts: 1632000 | #Constraints: 44075
3088.61/3096.31 c #Conflicts: 1633000 | #Constraints: 45075
3088.61/3096.31 c #Conflicts: 1634000 | #Constraints: 46075
3088.61/3096.31 c #Conflicts: 1635000 | #Constraints: 47075
3088.61/3096.31 c #Conflicts: 1636000 | #Constraints: 48075
3088.61/3096.31 c #Conflicts: 1637000 | #Constraints: 49075
3088.61/3096.31 c #Conflicts: 1638000 | #Constraints: 50075
3088.61/3096.31 c #Conflicts: 1639000 | #Constraints: 51075
3088.61/3096.31 c #Conflicts: 1640000 | #Constraints: 52075
3088.61/3096.31 c #Conflicts: 1641000 | #Constraints: 53075
3088.61/3096.31 c #Conflicts: 1642000 | #Constraints: 54075
3088.61/3096.31 c INPROCESSING
3088.61/3096.31 c GARBAGE COLLECT
3088.61/3096.31 c #Conflicts: 1643000 | #Constraints: 29676
3088.61/3096.31 c #Conflicts: 1644000 | #Constraints: 30676
3088.61/3096.31 c #Conflicts: 1645000 | #Constraints: 31676
3088.61/3096.31 c #Conflicts: 1646000 | #Constraints: 32676
3088.61/3096.31 c #Conflicts: 1647000 | #Constraints: 33676
3088.61/3096.31 c #Conflicts: 1648000 | #Constraints: 34676
3088.61/3096.31 c #Conflicts: 1649000 | #Constraints: 35676
3088.61/3096.31 c #Conflicts: 1650000 | #Constraints: 36676
3088.61/3096.31 c #Conflicts: 1651000 | #Constraints: 37676
3088.61/3096.31 c #Conflicts: 1652000 | #Constraints: 38676
3088.61/3096.31 c #Conflicts: 1653000 | #Constraints: 39676
3088.61/3096.31 c #Conflicts: 1654000 | #Constraints: 40676
3088.61/3096.31 c #Conflicts: 1655000 | #Constraints: 41676
3088.61/3096.31 c #Conflicts: 1656000 | #Constraints: 42676
3088.61/3096.31 c #Conflicts: 1657000 | #Constraints: 43676
3088.61/3096.31 c #Conflicts: 1658000 | #Constraints: 44676
3259.71/3267.80 c #Conflicts: 1659000 | #Constraints: 45676
3259.71/3267.80 c #Conflicts: 1660000 | #Constraints: 46676
3259.71/3267.80 c #Conflicts: 1661000 | #Constraints: 47676
3259.71/3267.80 c #Conflicts: 1662000 | #Constraints: 48676
3259.71/3267.80 c #Conflicts: 1663000 | #Constraints: 49676
3259.71/3267.80 c #Conflicts: 1664000 | #Constraints: 50676
3259.71/3267.80 c #Conflicts: 1665000 | #Constraints: 51676
3259.71/3267.80 c #Conflicts: 1666000 | #Constraints: 52676
3259.71/3267.80 c #Conflicts: 1667000 | #Constraints: 53676
3259.71/3267.80 c #Conflicts: 1668000 | #Constraints: 54676
3259.71/3267.80 c INPROCESSING
3259.71/3267.80 c GARBAGE COLLECT
3259.71/3267.80 c #Conflicts: 1669000 | #Constraints: 30069
3259.71/3267.80 c #Conflicts: 1670000 | #Constraints: 31069
3259.71/3267.80 c #Conflicts: 1671000 | #Constraints: 32069
3259.71/3267.80 c #Conflicts: 1672000 | #Constraints: 33069
3259.71/3267.80 c #Conflicts: 1673000 | #Constraints: 34069
3259.71/3267.80 c #Conflicts: 1674000 | #Constraints: 35069
3259.71/3267.80 c #Conflicts: 1675000 | #Constraints: 36069
3259.71/3267.80 c #Conflicts: 1676000 | #Constraints: 37069
3259.71/3267.80 c #Conflicts: 1677000 | #Constraints: 38069
3259.71/3267.80 c #Conflicts: 1678000 | #Constraints: 39069
3259.71/3267.80 c #Conflicts: 1679000 | #Constraints: 40069
3259.71/3267.80 c #Conflicts: 1680000 | #Constraints: 41069
3259.71/3267.80 c #Conflicts: 1681000 | #Constraints: 42069
3259.71/3267.80 c #Conflicts: 1682000 | #Constraints: 43069
3259.71/3267.80 c #Conflicts: 1683000 | #Constraints: 44069
3259.71/3267.80 c #Conflicts: 1684000 | #Constraints: 45069
3259.71/3267.80 c #Conflicts: 1685000 | #Constraints: 46069
3259.71/3267.80 c #Conflicts: 1686000 | #Constraints: 47069
3259.71/3267.80 c #Conflicts: 1687000 | #Constraints: 48069
3259.71/3267.80 c #Conflicts: 1688000 | #Constraints: 49069
3259.71/3267.80 c #Conflicts: 1689000 | #Constraints: 50069
3259.71/3267.80 c #Conflicts: 1690000 | #Constraints: 51069
3259.71/3267.80 c #Conflicts: 1691000 | #Constraints: 52069
3259.71/3267.80 c #Conflicts: 1692000 | #Constraints: 53069
3259.71/3267.80 c #Conflicts: 1693000 | #Constraints: 54069
3259.71/3267.80 c #Conflicts: 1694000 | #Constraints: 55069
3259.71/3267.80 c INPROCESSING
3259.71/3267.80 c GARBAGE COLLECT
3259.71/3267.80 c #Conflicts: 1695000 | #Constraints: 30237
3259.71/3267.80 c #Conflicts: 1696000 | #Constraints: 31237
3259.71/3267.80 c #Conflicts: 1697000 | #Constraints: 32237
3259.71/3267.80 c #Conflicts: 1698000 | #Constraints: 33237
3259.71/3267.80 c #Conflicts: 1699000 | #Constraints: 34237
3259.71/3267.80 c #Conflicts: 1700000 | #Constraints: 35237
3259.71/3267.80 c #Conflicts: 1701000 | #Constraints: 36237
3259.71/3267.80 c #Conflicts: 1702000 | #Constraints: 37237
3259.71/3267.80 c #Conflicts: 1703000 | #Constraints: 38237
3259.71/3267.80 c #Conflicts: 1704000 | #Constraints: 39237
3259.71/3267.80 c #Conflicts: 1705000 | #Constraints: 40237
3259.71/3267.80 c #Conflicts: 1706000 | #Constraints: 41237
3259.71/3267.80 c #Conflicts: 1707000 | #Constraints: 42237
3259.71/3267.80 c #Conflicts: 1708000 | #Constraints: 43237
3259.71/3267.80 c #Conflicts: 1709000 | #Constraints: 44237
3259.71/3267.80 c #Conflicts: 1710000 | #Constraints: 45237
3259.71/3267.80 c #Conflicts: 1711000 | #Constraints: 46237
3259.71/3267.80 c #Conflicts: 1712000 | #Constraints: 47237
3259.71/3267.80 c #Conflicts: 1713000 | #Constraints: 48237
3259.71/3267.80 c #Conflicts: 1714000 | #Constraints: 49237
3259.71/3267.80 c #Conflicts: 1715000 | #Constraints: 50237
3259.71/3267.80 c #Conflicts: 1716000 | #Constraints: 51237
3259.71/3267.80 c #Conflicts: 1717000 | #Constraints: 52237
3259.71/3267.80 c #Conflicts: 1718000 | #Constraints: 53237
3259.71/3267.80 c #Conflicts: 1719000 | #Constraints: 54237
3259.71/3267.80 c #Conflicts: 1720000 | #Constraints: 55237
3259.71/3267.80 c INPROCESSING
3259.71/3267.80 c GARBAGE COLLECT
3259.71/3267.80 c #Conflicts: 1721000 | #Constraints: 30233
3259.71/3267.80 c #Conflicts: 1722000 | #Constraints: 31233
3259.71/3267.80 c #Conflicts: 1723000 | #Constraints: 32233
3259.71/3267.80 c #Conflicts: 1724000 | #Constraints: 33233
3259.71/3267.80 c #Conflicts: 1725000 | #Constraints: 34233
3259.71/3267.80 c #Conflicts: 1726000 | #Constraints: 35233
3259.71/3267.80 c #Conflicts: 1727000 | #Constraints: 36233
3259.71/3267.80 c #Conflicts: 1728000 | #Constraints: 37233
3259.71/3267.80 c #Conflicts: 1729000 | #Constraints: 38233
3259.71/3267.80 c #Conflicts: 1730000 | #Constraints: 39233
3259.71/3267.80 c #Conflicts: 1731000 | #Constraints: 40233
3259.71/3267.80 c #Conflicts: 1732000 | #Constraints: 41233
3259.71/3267.80 c #Conflicts: 1733000 | #Constraints: 42233
3259.71/3267.80 c #Conflicts: 1734000 | #Constraints: 43233
3259.71/3267.80 c #Conflicts: 1735000 | #Constraints: 44233
3434.01/3442.55 c #Conflicts: 1736000 | #Constraints: 45233
3434.01/3442.55 c #Conflicts: 1737000 | #Constraints: 46233
3434.01/3442.55 c #Conflicts: 1738000 | #Constraints: 47233
3434.01/3442.55 c #Conflicts: 1739000 | #Constraints: 48233
3434.01/3442.55 c #Conflicts: 1740000 | #Constraints: 49233
3434.01/3442.55 c #Conflicts: 1741000 | #Constraints: 50233
3434.01/3442.55 c #Conflicts: 1742000 | #Constraints: 51233
3434.01/3442.55 c #Conflicts: 1743000 | #Constraints: 52233
3434.01/3442.55 c #Conflicts: 1744000 | #Constraints: 53233
3434.01/3442.55 c #Conflicts: 1745000 | #Constraints: 54233
3434.01/3442.55 c #Conflicts: 1746000 | #Constraints: 55233
3434.01/3442.55 c INPROCESSING
3434.01/3442.55 c GARBAGE COLLECT
3434.01/3442.55 c #Conflicts: 1747000 | #Constraints: 30018
3434.01/3442.55 c #Conflicts: 1748000 | #Constraints: 31018
3434.01/3442.55 c #Conflicts: 1749000 | #Constraints: 32018
3434.01/3442.55 c #Conflicts: 1750000 | #Constraints: 33018
3434.01/3442.55 c #Conflicts: 1751000 | #Constraints: 34018
3434.01/3442.55 c #Conflicts: 1752000 | #Constraints: 35018
3434.01/3442.55 c #Conflicts: 1753000 | #Constraints: 36018
3434.01/3442.55 c #Conflicts: 1754000 | #Constraints: 37018
3434.01/3442.55 c #Conflicts: 1755000 | #Constraints: 38018
3434.01/3442.55 c #Conflicts: 1756000 | #Constraints: 39018
3434.01/3442.55 c #Conflicts: 1757000 | #Constraints: 40018
3434.01/3442.55 c #Conflicts: 1758000 | #Constraints: 41018
3434.01/3442.55 c #Conflicts: 1759000 | #Constraints: 42018
3434.01/3442.55 c #Conflicts: 1760000 | #Constraints: 43018
3434.01/3442.55 c #Conflicts: 1761000 | #Constraints: 44018
3434.01/3442.55 c #Conflicts: 1762000 | #Constraints: 45018
3434.01/3442.55 c #Conflicts: 1763000 | #Constraints: 46018
3434.01/3442.55 c #Conflicts: 1764000 | #Constraints: 47018
3434.01/3442.55 c #Conflicts: 1765000 | #Constraints: 48018
3434.01/3442.55 c #Conflicts: 1766000 | #Constraints: 49018
3434.01/3442.55 c #Conflicts: 1767000 | #Constraints: 50018
3434.01/3442.55 c #Conflicts: 1768000 | #Constraints: 51018
3434.01/3442.55 c #Conflicts: 1769000 | #Constraints: 52018
3434.01/3442.55 c #Conflicts: 1770000 | #Constraints: 53018
3434.01/3442.55 c #Conflicts: 1771000 | #Constraints: 54018
3434.01/3442.55 c #Conflicts: 1772000 | #Constraints: 55018
3434.01/3442.55 c #Conflicts: 1773000 | #Constraints: 56018
3434.01/3442.55 c INPROCESSING
3434.01/3442.55 c GARBAGE COLLECT
3434.01/3442.55 c #Conflicts: 1774000 | #Constraints: 30606
3434.01/3442.55 c #Conflicts: 1775000 | #Constraints: 31606
3434.01/3442.55 c #Conflicts: 1776000 | #Constraints: 32606
3434.01/3442.55 c #Conflicts: 1777000 | #Constraints: 33606
3434.01/3442.55 c #Conflicts: 1778000 | #Constraints: 34606
3434.01/3442.55 c #Conflicts: 1779000 | #Constraints: 35606
3434.01/3442.55 c #Conflicts: 1780000 | #Constraints: 36606
3434.01/3442.55 c #Conflicts: 1781000 | #Constraints: 37606
3434.01/3442.55 c #Conflicts: 1782000 | #Constraints: 38606
3434.01/3442.55 c #Conflicts: 1783000 | #Constraints: 39606
3434.01/3442.55 c #Conflicts: 1784000 | #Constraints: 40606
3434.01/3442.55 c #Conflicts: 1785000 | #Constraints: 41606
3434.01/3442.55 c #Conflicts: 1786000 | #Constraints: 42606
3434.01/3442.55 c #Conflicts: 1787000 | #Constraints: 43606
3434.01/3442.55 c #Conflicts: 1788000 | #Constraints: 44606
3434.01/3442.55 c #Conflicts: 1789000 | #Constraints: 45606
3434.01/3442.55 c #Conflicts: 1790000 | #Constraints: 46606
3434.01/3442.55 c #Conflicts: 1791000 | #Constraints: 47606
3434.01/3442.55 c #Conflicts: 1792000 | #Constraints: 48606
3434.01/3442.55 c #Conflicts: 1793000 | #Constraints: 49606
3434.01/3442.55 c #Conflicts: 1794000 | #Constraints: 50606
3434.01/3442.55 c #Conflicts: 1795000 | #Constraints: 51606
3434.01/3442.55 c #Conflicts: 1796000 | #Constraints: 52606
3434.01/3442.55 c #Conflicts: 1797000 | #Constraints: 53606
3434.01/3442.55 c #Conflicts: 1798000 | #Constraints: 54606
3434.01/3442.55 c #Conflicts: 1799000 | #Constraints: 55606
3434.01/3442.55 c #Conflicts: 1800000 | #Constraints: 56606
3434.01/3442.55 c INPROCESSING
3434.01/3442.55 c GARBAGE COLLECT
3434.01/3442.55 c #Conflicts: 1801000 | #Constraints: 31009
3434.01/3442.55 c #Conflicts: 1802000 | #Constraints: 32009
3434.01/3442.55 c #Conflicts: 1803000 | #Constraints: 33009
3434.01/3442.55 c #Conflicts: 1804000 | #Constraints: 34009
3434.01/3442.55 c #Conflicts: 1805000 | #Constraints: 35009
3434.01/3442.55 c #Conflicts: 1806000 | #Constraints: 36009
3434.01/3442.55 c #Conflicts: 1807000 | #Constraints: 37009
3434.01/3442.55 c #Conflicts: 1808000 | #Constraints: 38009
3434.01/3442.55 c #Conflicts: 1809000 | #Constraints: 39009
3434.01/3442.55 c #Conflicts: 1810000 | #Constraints: 40009
3434.01/3442.55 c #Conflicts: 1811000 | #Constraints: 41009
3434.01/3442.55 c #Conflicts: 1812000 | #Constraints: 42009
3600.02/3608.90 c #Conflicts: 1813000 | #Constraints: 43009
3600.02/3608.90 c #Conflicts: 1814000 | #Constraints: 44009
3600.02/3608.90 c #Conflicts: 1815000 | #Constraints: 45009
3600.02/3608.90 c #Conflicts: 1816000 | #Constraints: 46009
3600.02/3608.90 c #Conflicts: 1817000 | #Constraints: 47009
3600.02/3608.90 c #Conflicts: 1818000 | #Constraints: 48009
3600.02/3608.90 c #Conflicts: 1819000 | #Constraints: 49009
3600.02/3608.90 c #Conflicts: 1820000 | #Constraints: 50009
3600.02/3608.90 c #Conflicts: 1821000 | #Constraints: 51009
3600.02/3608.90 c #Conflicts: 1822000 | #Constraints: 52009
3600.02/3608.90 c #Conflicts: 1823000 | #Constraints: 53009
3600.02/3608.90 c #Conflicts: 1824000 | #Constraints: 54009
3600.02/3608.90 c #Conflicts: 1825000 | #Constraints: 55009
3600.02/3608.90 c #Conflicts: 1826000 | #Constraints: 56009
3600.02/3608.90 c #Conflicts: 1827000 | #Constraints: 57009
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 1828000 | #Constraints: 31206
3600.02/3608.90 c #Conflicts: 1829000 | #Constraints: 32206
3600.02/3608.90 c #Conflicts: 1830000 | #Constraints: 33206
3600.02/3608.90 c #Conflicts: 1831000 | #Constraints: 34206
3600.02/3608.90 c #Conflicts: 1832000 | #Constraints: 35206
3600.02/3608.90 c #Conflicts: 1833000 | #Constraints: 36206
3600.02/3608.90 c #Conflicts: 1834000 | #Constraints: 37206
3600.02/3608.90 c #Conflicts: 1835000 | #Constraints: 38206
3600.02/3608.90 c #Conflicts: 1836000 | #Constraints: 39206
3600.02/3608.90 c #Conflicts: 1837000 | #Constraints: 40206
3600.02/3608.90 c #Conflicts: 1838000 | #Constraints: 41206
3600.02/3608.90 c #Conflicts: 1839000 | #Constraints: 42206
3600.02/3608.90 c #Conflicts: 1840000 | #Constraints: 43206
3600.02/3608.90 c #Conflicts: 1841000 | #Constraints: 44206
3600.02/3608.90 c #Conflicts: 1842000 | #Constraints: 45206
3600.02/3608.90 c #Conflicts: 1843000 | #Constraints: 46206
3600.02/3608.90 c #Conflicts: 1844000 | #Constraints: 47206
3600.02/3608.90 c #Conflicts: 1845000 | #Constraints: 48206
3600.02/3608.90 c #Conflicts: 1846000 | #Constraints: 49206
3600.02/3608.90 c #Conflicts: 1847000 | #Constraints: 50206
3600.02/3608.90 c #Conflicts: 1848000 | #Constraints: 51206
3600.02/3608.90 c #Conflicts: 1849000 | #Constraints: 52206
3600.02/3608.90 c #Conflicts: 1850000 | #Constraints: 53206
3600.02/3608.90 c #Conflicts: 1851000 | #Constraints: 54206
3600.02/3608.90 c #Conflicts: 1852000 | #Constraints: 55206
3600.02/3608.90 c #Conflicts: 1853000 | #Constraints: 56206
3600.02/3608.90 c #Conflicts: 1854000 | #Constraints: 57206
3600.02/3608.90 c INPROCESSING
3600.02/3608.90 c GARBAGE COLLECT
3600.02/3608.90 c #Conflicts: 1855000 | #Constraints: 31216
3600.02/3608.90 c #Conflicts: 1856000 | #Constraints: 32216
3600.02/3608.90 c #Conflicts: 1857000 | #Constraints: 33216
3600.02/3608.90 c #Conflicts: 1858000 | #Constraints: 34216
3600.02/3608.90 c #Conflicts: 1859000 | #Constraints: 35216
3600.02/3608.90 c #Conflicts: 1860000 | #Constraints: 36216
3600.02/3608.90 c #Conflicts: 1861000 | #Constraints: 37216
3600.02/3608.90 c #Conflicts: 1862000 | #Constraints: 38216
3600.02/3608.90 c #Conflicts: 1863000 | #Constraints: 39216
3600.02/3608.90 c #Conflicts: 1864000 | #Constraints: 40216
3600.02/3608.90 c #Conflicts: 1865000 | #Constraints: 41216
3600.02/3608.90 c #Conflicts: 1866000 | #Constraints: 42216
3600.02/3608.90 c #Conflicts: 1867000 | #Constraints: 43216
3600.02/3608.90 c #Conflicts: 1868000 | #Constraints: 44216
3600.02/3608.90 c #Conflicts: 1869000 | #Constraints: 45216
3600.02/3608.90 c #Conflicts: 1870000 | #Constraints: 46216
3600.02/3608.90 c #Conflicts: 1871000 | #Constraints: 47216
3600.02/3608.90 c #Conflicts: 1872000 | #Constraints: 48216
3600.02/3608.90 c #Conflicts: 1873000 | #Constraints: 49216
3600.02/3608.90 c #Conflicts: 1874000 | #Constraints: 50216
3600.02/3608.90 c #Conflicts: 1875000 | #Constraints: 51216
3600.02/3608.90 c #Conflicts: 1876000 | #Constraints: 52216
3600.02/3608.90 c Program interrupted by user.
3600.02/3608.90 c cpu time 3562.29 s
3600.02/3608.90 c deterministic time 405189999111 4.05e+11
3600.02/3608.90 c optimization time 65.7041 s
3600.02/3608.90 c total solve time 3496.56 s
3600.02/3608.90 c core-guided solve time 3496.56 s
3600.02/3608.90 c propagation time 2513.34 s
3600.02/3608.90 c conflict analysis time 960.502 s
3600.02/3608.90 c propagations 1226198026
3600.02/3608.90 c resolve steps 19597903
3600.02/3608.90 c decisions 37417770
3600.02/3608.90 c conflicts 1876119
3600.02/3608.90 c restarts 3610
3600.02/3608.90 c inprocessing phases 127
3600.02/3608.90 c input clauses 3355
3600.02/3608.90 c input cardinalities 0
3600.02/3608.90 c input general constraints 1
3600.02/3608.90 c input average constraint length 2.84
3600.02/3608.90 c input average constraint degree 486.05
3600.02/3608.90 c learned clauses 596583
3600.02/3608.90 c learned cardinalities 151
3600.02/3608.90 c learned general constraints 1279384
3600.02/3608.90 c learned average constraint length 480.05
3600.02/3608.90 c learned average constraint degree 20610568.24
3600.02/3608.90 c watched constraints 453184
3600.02/3608.90 c counting constraints 826201
3600.02/3608.90 c gcd simplifications 74461
3600.02/3608.90 c detected cardinalities 102
3600.02/3608.90 c weakened non-implied lits 409842954
3600.02/3608.90 c weakened non-implying lits 322950
3600.02/3608.90 c original variables 1945
3600.02/3608.90 c clausal propagations 426745204
3600.02/3608.90 c cardinality propagations 204
3600.02/3608.90 c watched propagations 11306282
3600.02/3608.90 c counting propagations 783162077
3600.02/3608.90 c watch lookups 88749961438
3600.02/3608.90 c watch backjump lookups 87211162016
3600.02/3608.90 c watch checks 110849451545
3600.02/3608.90 c propagation checks 110929318203
3600.02/3608.90 c constraint additions 4920999651
3600.02/3608.90 c trail pops 1265490461
3600.02/3608.90 c formula constraints 3355
3600.02/3608.90 c learned constraints 1876118
3600.02/3608.90 c bound constraints 1
3600.02/3608.90 c core-guided constraints 0
3600.02/3608.90 c encountered formula constraints 14114209
3600.02/3608.90 c encountered learned constraints 7358764
3600.02/3608.90 c encountered bound constraints 1049
3600.02/3608.90 c encountered core-guided constraints 0
3600.02/3608.90 c LP total time 0 s
3600.02/3608.90 c LP solve time 0 s
3600.02/3608.90 c LP constraints added 0
3600.02/3608.90 c LP constraints removed 0
3600.02/3608.90 c LP pivots internal 0
3600.02/3608.90 c LP pivots root 0
3600.02/3608.90 c LP calls 0
3600.02/3608.90 c LP optimalities 0
3600.02/3608.90 c LP no pivot count 0
3600.02/3608.90 c LP infeasibilities 0
3600.02/3608.90 c LP valid Farkas constraints 0
3600.02/3608.90 c LP learned Farkas constraints 0
3600.02/3608.90 c LP basis resets 0
3600.02/3608.90 c LP cycling count 0
3600.02/3608.90 c LP singular count 0
3600.02/3608.90 c LP no primal count 0
3600.02/3608.90 c LP no farkas count 0
3600.02/3608.90 c LP other issue count 0
3600.02/3608.90 c LP Gomory cuts 0
3600.02/3608.90 c LP learned cuts 0
3600.02/3608.90 c LP deleted cuts 0
3600.02/3608.90 c LP encountered Gomory constraints 0
3600.02/3608.90 c LP encountered Farkas constraints 0
3600.02/3608.90 c LP encountered learned Farkas constraints 0
3600.02/3608.90 c CG auxiliary variables introduced 0
3600.02/3608.90 c CG solutions found 1
3600.02/3608.90 c CG cores constructed 0
3600.02/3608.90 c CG core cardinality constraints returned 0
3600.02/3608.90 c CG unit cores 0
3600.02/3608.90 c CG single cores 0
3600.02/3608.90 c CG blocks removed during cardinality reduction 0
3600.02/3608.90 c CG first core best 0
3600.02/3608.90 c CG decision core best 0
3600.02/3608.90 c CG core reduction tie 0
3600.02/3608.90 c CG core degree average 0.00
3600.02/3608.90 c CG core slack average 0.00
3600.02/3608.90 c CG exhausted 0
3600.02/3608.90 c CG exhaust time 0 s
3600.02/3608.90 c CG trimmed 0
3600.02/3608.90 c CG trim time 0 s
3600.02/3608.90 c CG minimized 0
3600.02/3608.90 c CG minimize time 0 s
3600.02/3608.90 c CG am1 prop time 5e-05 s
3600.02/3608.90 c CG # am1s reformulated 0
3600.02/3608.90 c CG lower bound derived from am1s 0
3600.02/3608.90 c CG # clausal cores 0
3600.02/3608.90 c CG # cardinality cores 0
3600.02/3608.90 c CG # pb cores 0
3600.02/3608.90 c CG # pb reforms 0
3600.02/3608.90 c CG # cores discarded because of pb reform 0
3600.02/3608.90 d LOWERBOUND 5621
3600.02/3608.90 d NCORES 0
3600.02/3608.90 d NPBCORES 0
3600.02/3608.90 d NPBREFORM 0
3600.02/3608.90 d NTRIMMED 0
3600.02/3608.90 d NEXHAUSTED 0
3600.02/3608.90 d NAM1S 0
3600.02/3608.90 d AM1LB 0
3600.02/3608.90 o 43695
3600.02/3608.90 s SATISFIABLE
3600.02/3608.90 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
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 (62288 MiB free)
memory of node 1: 64510 MiB (62216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454409-1721472256/watcher-4454409-1721472256 -o /tmp/evaluation-result-4454409-1721472256/solver-4454409-1721472256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056040 --watchdog 3760 pb-oll-rs HOME/instance-4454409-1721472256.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057978, runsolver pid=1057975
[startup+0.101055 s]*
/proc/loadavg: 4.38 4.64 4.34 4/242 1057979
/proc/meminfo: memFree=127490128/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=39852 memory=7360 CPUtime=0.09 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 659 0 0 0 9 0 0 0 20 0 1 0 199384337 40808448 1840 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 9963 1840 1378 291 0 1497 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39852 KiB
Current children cumulated memory: 7360 KiB
[startup+0.214055 s]*
/proc/loadavg: 4.38 4.64 4.34 5/239 1057987
/proc/meminfo: memFree=127487616/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=41564 memory=11608 CPUtime=0.19 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 1213 0 0 0 17 2 0 0 20 0 1 0 199384337 42561536 2902 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 10391 2902 1378 291 0 1925 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41564 KiB
Current children cumulated memory: 11608 KiB
[startup+0.316052 s]*
/proc/loadavg: 4.38 4.64 4.34 4/241 1057993
/proc/meminfo: memFree=127486096/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=41688 memory=11820 CPUtime=0.28 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 1244 0 0 0 25 3 0 0 20 0 1 0 199384337 42688512 2955 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 10422 2955 1378 291 0 1956 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41688 KiB
Current children cumulated memory: 11820 KiB
[startup+0.701059 s]
/proc/loadavg: 4.35 4.63 4.34 4/238 1058010
/proc/meminfo: memFree=127487376/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=45816 memory=16816 CPUtime=0.63 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 2491 0 0 0 56 7 0 0 20 0 1 0 199384337 46915584 4204 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 11454 4204 1378 291 0 2988 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 45816 KiB
Current children cumulated memory: 16816 KiB
[startup+1.50105 s]
/proc/loadavg: 4.35 4.63 4.34 6/244 1058025
/proc/meminfo: memFree=127460620/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=62080 memory=30596 CPUtime=1.41 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 5428 0 0 0 129 12 0 0 20 0 1 0 199384337 63569920 7649 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 15520 7649 1378 291 0 7054 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 62080 KiB
Current children cumulated memory: 30596 KiB
[startup+3.11228 s]
/proc/loadavg: 4.35 4.63 4.34 4/241 1058179
/proc/meminfo: memFree=128751832/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=73020 memory=40436 CPUtime=3.01 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 6813 0 0 0 283 18 0 0 20 0 1 0 199384337 74772480 10109 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 18255 10109 1433 291 0 9789 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 73020 KiB
Current children cumulated memory: 40436 KiB
[startup+6.30024 s]
/proc/loadavg: 4.32 4.62 4.33 5/244 1058211
/proc/meminfo: memFree=128594556/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=79252 memory=45068 CPUtime=6.19 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 7991 0 0 0 584 35 0 0 20 0 1 0 199384337 81154048 11267 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 19813 11267 1433 291 0 11347 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 79252 KiB
Current children cumulated memory: 45068 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 4.61 4.33 5/244 1058213
/proc/meminfo: memFree=128481180/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=101176 memory=60592 CPUtime=12.57 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 10900 0 0 0 1196 61 0 0 20 0 1 0 199384337 103604224 15148 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 25294 15148 1433 291 0 16828 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 60592 KiB
[startup+25.5003 s]
/proc/loadavg: 4.32 4.60 4.33 5/244 1058214
/proc/meminfo: memFree=127869860/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=126780 memory=87700 CPUtime=25.33 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 15645 0 0 0 2429 104 0 0 20 0 1 0 199384337 129822720 21925 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 31695 21925 1433 291 0 23229 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 126780 KiB
Current children cumulated memory: 87700 KiB
[startup+51.1131 s]
/proc/loadavg: 4.19 4.54 4.32 5/244 1058217
/proc/meminfo: memFree=127160428/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=154368 memory=116252 CPUtime=50.86 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 17955 0 0 0 4888 198 0 0 20 0 1 0 199384337 158072832 29063 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 38592 29063 1433 291 0 30126 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 154368 KiB
Current children cumulated memory: 116252 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.49 4.32 5/242 1058274
/proc/meminfo: memFree=126293852/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=156076 memory=123748 CPUtime=101.93 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 18624 0 0 0 9871 322 0 0 20 0 1 0 199384337 159821824 30937 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 39019 30937 1433 291 0 30553 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 156076 KiB
Current children cumulated memory: 123748 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.43 4.30 5/242 1058284
/proc/meminfo: memFree=126150144/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=192296 memory=133460 CPUtime=161.78 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 20162 0 0 0 15722 456 0 0 20 0 1 0 199384337 196911104 33365 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 48074 33365 1433 291 0 39608 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 192296 KiB
Current children cumulated memory: 133460 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.36 4.29 5/241 1058294
/proc/meminfo: memFree=125080672/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=224684 memory=165236 CPUtime=221.64 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 25079 0 0 0 21584 580 0 0 20 0 1 0 199384337 230076416 41309 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 56171 41309 1433 291 0 47705 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 224684 KiB
Current children cumulated memory: 165236 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.36 4.29 5/241 1058304
/proc/meminfo: memFree=124911096/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=229420 memory=173648 CPUtime=281.49 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 26208 0 0 0 27455 694 0 0 20 0 1 0 199384337 234926080 43412 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 57355 43412 1433 291 0 48889 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 229420 KiB
Current children cumulated memory: 173648 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.31 4.27 5/242 1058316
/proc/meminfo: memFree=124612960/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=240384 memory=187524 CPUtime=341.35 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 28238 0 0 0 33354 781 0 0 20 0 1 0 199384337 246153216 46881 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 60096 46881 1433 291 0 51630 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 240384 KiB
Current children cumulated memory: 187524 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.26 4.26 5/244 1058330
/proc/meminfo: memFree=124293220/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=240384 memory=188028 CPUtime=401.2 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 28363 0 0 0 39231 889 0 0 20 0 1 0 199384337 246153216 47007 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 60096 47007 1433 291 0 51630 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 240384 KiB
Current children cumulated memory: 188028 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.23 4.25 5/244 1058340
/proc/meminfo: memFree=124268932/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=291624 memory=200364 CPUtime=461.04 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 30035 0 0 0 45146 958 0 0 20 0 1 0 199384337 298622976 50091 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 72906 50091 1433 291 0 64440 0
################
# More data... #
################
Current children cumulated memory: 359988 KiB
[startup+2922.3 s]
/proc/loadavg: 4.70 4.36 4.24 5/247 1060054
/proc/meminfo: memFree=127388000/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=468892 memory=360024 CPUtime=2915.01 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 54755 0 0 0 288245 3256 0 0 20 0 1 0 199384337 480145408 90006 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 117223 90006 1433 291 0 108757 0
Current children cumulated CPU time: 2915.01 s
Current children cumulated vsize: 468892 KiB
Current children cumulated memory: 360024 KiB
[startup+2982.3 s]
/proc/loadavg: 4.45 4.37 4.25 5/245 1060064
/proc/meminfo: memFree=127380844/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=468892 memory=360032 CPUtime=2974.87 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 54921 0 0 0 294188 3299 0 0 20 0 1 0 199384337 480145408 90008 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 117223 90008 1433 291 0 108757 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 468892 KiB
Current children cumulated memory: 360032 KiB
[startup+3042.3 s]
/proc/loadavg: 4.26 4.33 4.25 5/245 1060075
/proc/meminfo: memFree=127372092/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=473408 memory=366700 CPUtime=3034.73 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 55778 0 0 0 300134 3339 0 0 20 0 1 0 199384337 484769792 91675 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118352 91675 1433 291 0 109886 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 473408 KiB
Current children cumulated memory: 366700 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.30 4.24 5/241 1060087
/proc/meminfo: memFree=127367512/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=473920 memory=367140 CPUtime=3094.59 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 56056 0 0 0 306076 3383 0 0 20 0 1 0 199384337 485294080 91785 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118480 91785 1433 291 0 110014 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 473920 KiB
Current children cumulated memory: 367140 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.27 4.23 5/241 1060097
/proc/meminfo: memFree=127347304/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=473920 memory=367196 CPUtime=3154.45 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 56212 0 0 0 312019 3426 0 0 20 0 1 0 199384337 485294080 91799 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118480 91799 1433 291 0 110014 0
Current children cumulated CPU time: 3154.45 s
Current children cumulated vsize: 473920 KiB
Current children cumulated memory: 367196 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.25 4.23 5/241 1060107
/proc/meminfo: memFree=127340336/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=473920 memory=367200 CPUtime=3214.32 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 56365 0 0 0 317961 3471 0 0 20 0 1 0 199384337 485294080 91800 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118480 91800 1433 291 0 110014 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 473920 KiB
Current children cumulated memory: 367200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.20 4.21 5/241 1060117
/proc/meminfo: memFree=127318600/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=473920 memory=367200 CPUtime=3274.18 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 56530 0 0 0 323900 3518 0 0 20 0 1 0 199384337 485294080 91800 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118480 91800 1433 291 0 110014 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 473920 KiB
Current children cumulated memory: 367200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.21 4.21 5/241 1060128
/proc/meminfo: memFree=127297528/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=473920 memory=367272 CPUtime=3334.04 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 56707 0 0 0 329835 3569 0 0 20 0 1 0 199384337 485294080 91818 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118480 91818 1433 291 0 110014 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 473920 KiB
Current children cumulated memory: 367272 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.19 4.20 5/243 1060142
/proc/meminfo: memFree=127280256/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=474584 memory=367736 CPUtime=3393.9 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 57122 0 0 0 335768 3622 0 0 20 0 1 0 199384337 485974016 91934 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118646 91934 1433 291 0 110180 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 474584 KiB
Current children cumulated memory: 367736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.61 4.31 4.24 5/244 1060153
/proc/meminfo: memFree=127234284/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=474584 memory=367752 CPUtime=3453.76 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 57429 0 0 0 341695 3681 0 0 20 0 1 0 199384337 485974016 91938 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 118646 91938 1433 291 0 110180 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 474584 KiB
Current children cumulated memory: 367752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.34 4.26 5/244 1060164
/proc/meminfo: memFree=127183900/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=479064 memory=370096 CPUtime=3513.62 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 58393 0 0 0 347639 3723 0 0 20 0 1 0 199384337 490561536 92524 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 119766 92524 1433 291 0 111300 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 479064 KiB
Current children cumulated memory: 370096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.29 4.24 5/244 1060174
/proc/meminfo: memFree=127129132/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=489304 memory=387876 CPUtime=3573.48 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 60240 0 0 0 353587 3761 0 0 20 0 1 0 199384337 501047296 96969 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 122326 96969 1433 291 0 113860 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 489304 KiB
Current children cumulated memory: 387876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.20 4.28 4.24 5/244 1060178
/proc/meminfo: memFree=127105900/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=489560 memory=387896 CPUtime=3600.02 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 60380 0 0 0 356228 3774 0 0 20 0 1 0 199384337 501309440 96974 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 122390 96974 1433 291 0 113924 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 489560 KiB
Current children cumulated memory: 387896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 1057978 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.29 s, system=37.7478 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.20 4.28 4.24 5/244 1060178
/proc/meminfo: memFree=127105900/131655788 swapFree=131071996/131071996
[pid=1057978] ppid=1057975 vsize=489560 memory=387896 CPUtime=3600.02 cores=4,6
/proc/1057978/stat : 1057978 (pb-oll-rs) R 1057975 1057978 1056029 0 -1 4194304 60380 0 0 0 356228 3774 0 0 20 0 1 0 199384337 501309440 96974 134679101440 4194304 5384485 140727275850864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31031296 140727275856917 140727275856994 140727275856994 140727275864011 0
/proc/1057978/statm: 122390 96974 1433 291 0 113924 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 489560 KiB
Current children cumulated memory: 387896 KiB
Child status: 0
Real time (s): 3608.91
CPU time (s): 3600.04
CPU user time (s): 3562.29
CPU system time (s): 37.7478
CPU usage (%): 99.7543
Max. virtual memory (cumulated for all children) (KiB): 489856
Max. memory (cumulated for all children) (KiB): 387896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.29
system time used= 37.7478
maximum resident set size= 387896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60394
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= 138
involuntary context switches= 1852
# summary of solver processes directly reported to runsolver:
# pid: 1057978
# total CPU time (s): 3600.04
# total CPU user time (s): 3562.29
# total CPU system time (s): 37.7478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7448 second user time and 34.2677 second system time
The end
Begin job on nodeC006 at 2024-07-20 12:44:28
IDJOB=4454409
IDBENCH=148154
IDSOLVER=3082
FILE ID=nodeC006/4454409-1721472256
RUNJOBID= nodeC006-1721468658-1056040
SLURM_JOB_ID= 7545725
Free space on /tmp= 723772 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454409-1721472256/watcher-4454409-1721472256 -o /tmp/evaluation-result-4454409-1721472256/solver-4454409-1721472256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056040 --watchdog 3760 pb-oll-rs HOME/instance-4454409-1721472256.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 206b08b420dad9af66531a7207372127
RANDOM SEED=1425330535
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3626.611
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.94
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 : 3531.051
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.26
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.395
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.94
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.342
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.26
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 : 3491.995
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.94
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 : 3516.451
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.26
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.253
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.94
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.347
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126763576 kB
MemAvailable: 127822068 kB
Buffers: 569808 kB
Cached: 1329944 kB
SwapCached: 0 kB
Active: 1060076 kB
Inactive: 3257880 kB
Active(anon): 1452 kB
Inactive(anon): 2462964 kB
Active(file): 1058624 kB
Inactive(file): 794916 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2020 kB
Writeback: 0 kB
AnonPages: 2411532 kB
Mapped: 111188 kB
Shmem: 45896 kB
KReclaimable: 89968 kB
Slab: 194192 kB
SReclaimable: 89968 kB
SUnreclaim: 104224 kB
KernelStack: 3900 kB
PageTables: 13832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3022876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2119680 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: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC006 at 2024-07-20 13:44:37