0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 5508 #constraints 5672
35.00/35.18 c #Conflicts: 1000 | #Constraints: 6671
35.00/35.18 c #Conflicts: 2000 | #Constraints: 7671
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 3000 | #Constraints: 7355
35.00/35.18 c #Conflicts: 4000 | #Constraints: 8355
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 5000 | #Constraints: 7808
35.00/35.18 c #Conflicts: 6000 | #Constraints: 8808
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 7000 | #Constraints: 7855
35.00/35.18 c #Conflicts: 8000 | #Constraints: 8855
35.00/35.18 c #Conflicts: 9000 | #Constraints: 9855
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 10000 | #Constraints: 8573
35.00/35.18 c #Conflicts: 11000 | #Constraints: 9573
35.00/35.18 c #Conflicts: 12000 | #Constraints: 10573
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 13000 | #Constraints: 9059
35.00/35.18 c #Conflicts: 14000 | #Constraints: 10059
35.00/35.18 c #Conflicts: 15000 | #Constraints: 11059
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 16000 | #Constraints: 9331
35.00/35.18 c #Conflicts: 17000 | #Constraints: 10331
35.00/35.18 c #Conflicts: 18000 | #Constraints: 11331
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 19000 | #Constraints: 9373
35.00/35.18 c #Conflicts: 20000 | #Constraints: 10373
35.00/35.18 c #Conflicts: 21000 | #Constraints: 11373
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 22000 | #Constraints: 9175
35.00/35.18 c #Conflicts: 23000 | #Constraints: 10175
35.00/35.18 c #Conflicts: 24000 | #Constraints: 11175
35.00/35.18 c #Conflicts: 25000 | #Constraints: 12175
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 26000 | #Constraints: 9803
35.00/35.18 c #Conflicts: 27000 | #Constraints: 10803
35.00/35.18 c #Conflicts: 28000 | #Constraints: 11803
35.00/35.18 c #Conflicts: 29000 | #Constraints: 12803
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 30000 | #Constraints: 10205
35.00/35.18 c #Conflicts: 31000 | #Constraints: 11205
35.00/35.18 c #Conflicts: 32000 | #Constraints: 12205
35.00/35.18 c #Conflicts: 33000 | #Constraints: 13205
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 34000 | #Constraints: 10420
35.00/35.18 c #Conflicts: 35000 | #Constraints: 11420
35.00/35.18 c #Conflicts: 36000 | #Constraints: 12420
35.00/35.18 c #Conflicts: 37000 | #Constraints: 13420
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 38000 | #Constraints: 10388
35.00/35.18 c #Conflicts: 39000 | #Constraints: 11388
35.00/35.18 c #Conflicts: 40000 | #Constraints: 12388
35.00/35.18 c #Conflicts: 41000 | #Constraints: 13388
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 42000 | #Constraints: 10211
35.00/35.18 c #Conflicts: 43000 | #Constraints: 11211
35.00/35.18 c #Conflicts: 44000 | #Constraints: 12211
35.00/35.18 c #Conflicts: 45000 | #Constraints: 13211
35.00/35.18 c #Conflicts: 46000 | #Constraints: 14211
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c #Conflicts: 47000 | #Constraints: 10826
35.00/35.18 c #Conflicts: 48000 | #Constraints: 11826
35.00/35.18 c #Conflicts: 49000 | #Constraints: 12826
35.00/35.18 c #Conflicts: 50000 | #Constraints: 13826
35.00/35.18 c #Conflicts: 51000 | #Constraints: 14826
35.00/35.18 c INPROCESSING
35.00/35.18 c GARBAGE COLLECT
35.00/35.18 c rational objective 81
88.66/88.90 c #Conflicts: 52000 | #Constraints: 11239
88.66/88.90 c #Conflicts: 53000 | #Constraints: 12239
88.66/88.90 c #Conflicts: 54000 | #Constraints: 13239
88.66/88.90 c #Conflicts: 55000 | #Constraints: 14239
88.66/88.90 c #Conflicts: 56000 | #Constraints: 15239
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 57000 | #Constraints: 11463
88.66/88.90 c #Conflicts: 58000 | #Constraints: 12463
88.66/88.90 c #Conflicts: 59000 | #Constraints: 13463
88.66/88.90 c #Conflicts: 60000 | #Constraints: 14463
88.66/88.90 c #Conflicts: 61000 | #Constraints: 15463
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 62000 | #Constraints: 11454
88.66/88.90 c #Conflicts: 63000 | #Constraints: 12454
88.66/88.90 c #Conflicts: 64000 | #Constraints: 13454
88.66/88.90 c #Conflicts: 65000 | #Constraints: 14454
88.66/88.90 c #Conflicts: 66000 | #Constraints: 15454
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 67000 | #Constraints: 11251
88.66/88.90 c #Conflicts: 68000 | #Constraints: 12251
88.66/88.90 c #Conflicts: 69000 | #Constraints: 13251
88.66/88.90 c #Conflicts: 70000 | #Constraints: 14251
88.66/88.90 c #Conflicts: 71000 | #Constraints: 15251
88.66/88.90 c #Conflicts: 72000 | #Constraints: 16251
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 73000 | #Constraints: 11851
88.66/88.90 c #Conflicts: 74000 | #Constraints: 12851
88.66/88.90 c #Conflicts: 75000 | #Constraints: 13851
88.66/88.90 c #Conflicts: 76000 | #Constraints: 14851
88.66/88.90 c #Conflicts: 77000 | #Constraints: 15851
88.66/88.90 c #Conflicts: 78000 | #Constraints: 16851
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 79000 | #Constraints: 12292
88.66/88.90 c #Conflicts: 80000 | #Constraints: 13292
88.66/88.90 c #Conflicts: 81000 | #Constraints: 14292
88.66/88.90 c #Conflicts: 82000 | #Constraints: 15292
88.66/88.90 c #Conflicts: 83000 | #Constraints: 16292
88.66/88.90 c #Conflicts: 84000 | #Constraints: 17292
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 85000 | #Constraints: 12490
88.66/88.90 c #Conflicts: 86000 | #Constraints: 13490
88.66/88.90 c #Conflicts: 87000 | #Constraints: 14490
88.66/88.90 c #Conflicts: 88000 | #Constraints: 15490
88.66/88.90 c #Conflicts: 89000 | #Constraints: 16490
88.66/88.90 c #Conflicts: 90000 | #Constraints: 17490
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 91000 | #Constraints: 12496
88.66/88.90 c #Conflicts: 92000 | #Constraints: 13496
88.66/88.90 c #Conflicts: 93000 | #Constraints: 14496
88.66/88.90 c #Conflicts: 94000 | #Constraints: 15496
88.66/88.90 c #Conflicts: 95000 | #Constraints: 16496
88.66/88.90 c #Conflicts: 96000 | #Constraints: 17496
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 97000 | #Constraints: 12311
88.66/88.90 c #Conflicts: 98000 | #Constraints: 13311
88.66/88.90 c #Conflicts: 99000 | #Constraints: 14311
88.66/88.90 c #Conflicts: 100000 | #Constraints: 15311
88.66/88.90 c #Conflicts: 101000 | #Constraints: 16312
88.66/88.90 c #Conflicts: 102000 | #Constraints: 17312
88.66/88.90 c #Conflicts: 103000 | #Constraints: 18312
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 104000 | #Constraints: 12926
88.66/88.90 c #Conflicts: 105000 | #Constraints: 13926
88.66/88.90 c #Conflicts: 106000 | #Constraints: 14926
88.66/88.90 c #Conflicts: 107000 | #Constraints: 15926
88.66/88.90 c #Conflicts: 108000 | #Constraints: 16926
88.66/88.90 c #Conflicts: 109000 | #Constraints: 17926
88.66/88.90 c #Conflicts: 110000 | #Constraints: 18926
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 111000 | #Constraints: 13339
88.66/88.90 c #Conflicts: 112000 | #Constraints: 14339
88.66/88.90 c #Conflicts: 113000 | #Constraints: 15339
88.66/88.90 c #Conflicts: 114000 | #Constraints: 16339
88.66/88.90 c #Conflicts: 115000 | #Constraints: 17339
88.66/88.90 c #Conflicts: 116000 | #Constraints: 18339
88.66/88.90 c #Conflicts: 117000 | #Constraints: 19339
88.66/88.90 c INPROCESSING
88.66/88.90 c GARBAGE COLLECT
88.66/88.90 c #Conflicts: 118000 | #Constraints: 13545
88.66/88.90 c #Conflicts: 119000 | #Constraints: 14545
88.66/88.90 c #Conflicts: 120000 | #Constraints: 15545
88.66/88.90 c #Conflicts: 121000 | #Constraints: 16545
88.66/88.90 c #Conflicts: 122000 | #Constraints: 17545
88.66/88.90 c #Conflicts: 123000 | #Constraints: 18545
162.68/163.16 c #Conflicts: 124000 | #Constraints: 19545
162.68/163.16 c INPROCESSING
162.68/163.16 c GARBAGE COLLECT
162.68/163.16 c #Conflicts: 125000 | #Constraints: 13536
162.68/163.16 c #Conflicts: 126000 | #Constraints: 14536
162.68/163.16 c #Conflicts: 127000 | #Constraints: 15536
162.68/163.16 c #Conflicts: 128000 | #Constraints: 16536
162.68/163.16 c #Conflicts: 129000 | #Constraints: 17536
162.68/163.16 c #Conflicts: 130000 | #Constraints: 18536
162.68/163.16 c #Conflicts: 131000 | #Constraints: 19536
162.68/163.16 c #Conflicts: 132000 | #Constraints: 20536
162.68/163.16 c #Conflicts: 133000 | #Constraints: 21536
162.68/163.16 c #Conflicts: 134000 | #Constraints: 22536
162.68/163.16 c #Conflicts: 135000 | #Constraints: 23536
162.68/163.16 c #Conflicts: 136000 | #Constraints: 24536
162.68/163.16 c #Conflicts: 137000 | #Constraints: 25536
162.68/163.16 c #Conflicts: 138000 | #Constraints: 26536
162.68/163.16 c #Conflicts: 139000 | #Constraints: 27536
162.68/163.16 c #Conflicts: 140000 | #Constraints: 28536
162.68/163.16 c #Conflicts: 141000 | #Constraints: 29536
162.68/163.16 c #Conflicts: 142000 | #Constraints: 30536
162.68/163.16 c #Conflicts: 143000 | #Constraints: 31536
162.68/163.16 c #Conflicts: 144000 | #Constraints: 32536
162.68/163.16 c #Conflicts: 145000 | #Constraints: 33536
162.68/163.16 c #Conflicts: 146000 | #Constraints: 34536
162.68/163.16 c #Conflicts: 147000 | #Constraints: 35536
162.68/163.16 c #Conflicts: 148000 | #Constraints: 36536
162.68/163.16 c #Conflicts: 149000 | #Constraints: 37536
162.68/163.16 c #Conflicts: 150000 | #Constraints: 38536
162.68/163.16 c #Conflicts: 151000 | #Constraints: 39536
162.68/163.16 c #Conflicts: 152000 | #Constraints: 40536
162.68/163.16 c #Conflicts: 153000 | #Constraints: 41536
162.68/163.16 c #Conflicts: 154000 | #Constraints: 42536
162.68/163.16 c #Conflicts: 155000 | #Constraints: 43536
162.68/163.16 c #Conflicts: 156000 | #Constraints: 44536
162.68/163.16 c INPROCESSING
162.68/163.16 c GARBAGE COLLECT
162.68/163.16 c #Conflicts: 157000 | #Constraints: 25800
162.68/163.16 c #Conflicts: 158000 | #Constraints: 26800
162.68/163.16 c #Conflicts: 159000 | #Constraints: 27800
162.68/163.16 c #Conflicts: 160000 | #Constraints: 28800
162.68/163.16 c #Conflicts: 161000 | #Constraints: 29800
162.68/163.16 c #Conflicts: 162000 | #Constraints: 30800
162.68/163.16 c #Conflicts: 163000 | #Constraints: 31800
162.68/163.16 c #Conflicts: 164000 | #Constraints: 32800
162.68/163.16 c #Conflicts: 165000 | #Constraints: 33800
162.68/163.16 c INPROCESSING
162.68/163.16 c GARBAGE COLLECT
162.68/163.16 c #Conflicts: 166000 | #Constraints: 20677
162.68/163.16 c #Conflicts: 167000 | #Constraints: 21677
162.68/163.16 c #Conflicts: 168000 | #Constraints: 22677
162.68/163.16 c #Conflicts: 169000 | #Constraints: 23677
162.68/163.16 c #Conflicts: 170000 | #Constraints: 24677
162.68/163.16 c #Conflicts: 171000 | #Constraints: 25677
162.68/163.16 c #Conflicts: 172000 | #Constraints: 26677
162.68/163.16 c #Conflicts: 173000 | #Constraints: 27677
162.68/163.16 c #Conflicts: 174000 | #Constraints: 28677
162.68/163.16 c INPROCESSING
162.68/163.16 c GARBAGE COLLECT
162.68/163.16 c #Conflicts: 175000 | #Constraints: 18281
162.68/163.16 c #Conflicts: 176000 | #Constraints: 19281
162.68/163.16 c #Conflicts: 177000 | #Constraints: 20281
162.68/163.16 c #Conflicts: 178000 | #Constraints: 21281
162.68/163.16 c #Conflicts: 179000 | #Constraints: 22281
162.68/163.16 c #Conflicts: 180000 | #Constraints: 23281
162.68/163.16 c #Conflicts: 181000 | #Constraints: 24281
162.68/163.16 c #Conflicts: 182000 | #Constraints: 25281
162.68/163.16 c INPROCESSING
162.68/163.16 c GARBAGE COLLECT
162.68/163.16 c #Conflicts: 183000 | #Constraints: 16184
162.68/163.16 c #Conflicts: 184000 | #Constraints: 17184
162.68/163.16 c #Conflicts: 185000 | #Constraints: 18184
162.68/163.16 c #Conflicts: 186000 | #Constraints: 19184
162.68/163.16 c #Conflicts: 187000 | #Constraints: 20184
162.68/163.16 c #Conflicts: 188000 | #Constraints: 21184
162.68/163.16 c #Conflicts: 189000 | #Constraints: 22184
162.68/163.16 c #Conflicts: 190000 | #Constraints: 23184
162.68/163.16 c #Conflicts: 191000 | #Constraints: 24184
162.68/163.16 c #Conflicts: 192000 | #Constraints: 25184
162.68/163.16 c INPROCESSING
162.68/163.16 c GARBAGE COLLECT
162.68/163.16 c rational objective 81
260.51/261.29 c #Conflicts: 193000 | #Constraints: 16540
260.51/261.29 c #Conflicts: 194000 | #Constraints: 17540
260.51/261.29 c #Conflicts: 195000 | #Constraints: 18540
260.51/261.29 c #Conflicts: 196000 | #Constraints: 19540
260.51/261.29 c #Conflicts: 197000 | #Constraints: 20540
260.51/261.29 c #Conflicts: 198000 | #Constraints: 21540
260.51/261.29 c #Conflicts: 199000 | #Constraints: 22540
260.51/261.29 c #Conflicts: 200000 | #Constraints: 23540
260.51/261.29 c #Conflicts: 201000 | #Constraints: 24540
260.51/261.29 c INPROCESSING
260.51/261.29 c GARBAGE COLLECT
260.51/261.29 c #Conflicts: 202000 | #Constraints: 16045
260.51/261.29 c #Conflicts: 203000 | #Constraints: 17045
260.51/261.29 c #Conflicts: 204000 | #Constraints: 18045
260.51/261.29 c #Conflicts: 205000 | #Constraints: 19045
260.51/261.29 c #Conflicts: 206000 | #Constraints: 20045
260.51/261.29 c #Conflicts: 207000 | #Constraints: 21045
260.51/261.29 c #Conflicts: 208000 | #Constraints: 22045
260.51/261.29 c #Conflicts: 209000 | #Constraints: 23045
260.51/261.29 c #Conflicts: 210000 | #Constraints: 24045
260.51/261.29 c #Conflicts: 211000 | #Constraints: 25045
260.51/261.29 c #Conflicts: 212000 | #Constraints: 26045
260.51/261.29 c #Conflicts: 213000 | #Constraints: 27045
260.51/261.29 c #Conflicts: 214000 | #Constraints: 28045
260.51/261.29 c #Conflicts: 215000 | #Constraints: 29045
260.51/261.29 c #Conflicts: 216000 | #Constraints: 30045
260.51/261.29 c #Conflicts: 217000 | #Constraints: 31045
260.51/261.29 c #Conflicts: 218000 | #Constraints: 32045
260.51/261.29 c #Conflicts: 219000 | #Constraints: 33045
260.51/261.29 c #Conflicts: 220000 | #Constraints: 34045
260.51/261.29 c #Conflicts: 221000 | #Constraints: 35045
260.51/261.29 c #Conflicts: 222000 | #Constraints: 36045
260.51/261.29 c #Conflicts: 223000 | #Constraints: 37045
260.51/261.29 c #Conflicts: 224000 | #Constraints: 38045
260.51/261.29 c #Conflicts: 225000 | #Constraints: 39045
260.51/261.29 c #Conflicts: 226000 | #Constraints: 40045
260.51/261.29 c #Conflicts: 227000 | #Constraints: 41045
260.51/261.29 c #Conflicts: 228000 | #Constraints: 42045
260.51/261.29 c #Conflicts: 229000 | #Constraints: 43045
260.51/261.29 c #Conflicts: 230000 | #Constraints: 44045
260.51/261.29 c #Conflicts: 231000 | #Constraints: 45045
260.51/261.29 c #Conflicts: 232000 | #Constraints: 46045
260.51/261.29 c #Conflicts: 233000 | #Constraints: 47045
260.51/261.29 c #Conflicts: 234000 | #Constraints: 48045
260.51/261.29 c #Conflicts: 235000 | #Constraints: 49045
260.51/261.29 c #Conflicts: 236000 | #Constraints: 50045
260.51/261.29 c #Conflicts: 237000 | #Constraints: 51045
260.51/261.29 c #Conflicts: 238000 | #Constraints: 52045
260.51/261.29 c #Conflicts: 239000 | #Constraints: 53045
260.51/261.29 c #Conflicts: 240000 | #Constraints: 54045
260.51/261.29 c #Conflicts: 241000 | #Constraints: 55045
260.51/261.29 c INPROCESSING
260.51/261.29 c GARBAGE COLLECT
260.51/261.29 c #Conflicts: 242000 | #Constraints: 31212
260.51/261.29 c #Conflicts: 243000 | #Constraints: 32212
260.51/261.29 c #Conflicts: 244000 | #Constraints: 33212
260.51/261.29 c #Conflicts: 245000 | #Constraints: 34212
260.51/261.29 c #Conflicts: 246000 | #Constraints: 35212
260.51/261.29 c #Conflicts: 247000 | #Constraints: 36212
260.51/261.29 c #Conflicts: 248000 | #Constraints: 37212
260.51/261.29 c #Conflicts: 249000 | #Constraints: 38212
260.51/261.29 c #Conflicts: 250000 | #Constraints: 39212
260.51/261.29 c #Conflicts: 251000 | #Constraints: 40213
260.51/261.29 c #Conflicts: 252000 | #Constraints: 41213
260.51/261.29 c INPROCESSING
260.51/261.29 c GARBAGE COLLECT
260.51/261.29 c #Conflicts: 253000 | #Constraints: 24549
260.51/261.29 c #Conflicts: 254000 | #Constraints: 25549
260.51/261.29 c #Conflicts: 255000 | #Constraints: 26549
260.51/261.29 c #Conflicts: 256000 | #Constraints: 27549
260.51/261.29 c #Conflicts: 257000 | #Constraints: 28549
260.51/261.29 c #Conflicts: 258000 | #Constraints: 29549
260.51/261.29 c #Conflicts: 259000 | #Constraints: 30549
260.51/261.29 c #Conflicts: 260000 | #Constraints: 31549
260.51/261.29 c #Conflicts: 261000 | #Constraints: 32549
260.51/261.29 c #Conflicts: 262000 | #Constraints: 33549
260.51/261.29 c INPROCESSING
260.51/261.29 c GARBAGE COLLECT
260.51/261.29 c #Conflicts: 263000 | #Constraints: 20304
260.51/261.29 c #Conflicts: 264000 | #Constraints: 21304
260.51/261.29 c #Conflicts: 265000 | #Constraints: 22304
260.51/261.29 c #Conflicts: 266000 | #Constraints: 23304
260.51/261.29 c #Conflicts: 267000 | #Constraints: 24304
260.51/261.29 c #Conflicts: 268000 | #Constraints: 25304
260.51/261.29 c #Conflicts: 269000 | #Constraints: 26304
302.19/303.02 c #Conflicts: 270000 | #Constraints: 27304
302.19/303.02 c #Conflicts: 271000 | #Constraints: 28304
302.19/303.02 c #Conflicts: 272000 | #Constraints: 29304
302.19/303.02 c #Conflicts: 273000 | #Constraints: 30304
302.19/303.02 c INPROCESSING
302.19/303.02 c GARBAGE COLLECT
302.19/303.02 c #Conflicts: 274000 | #Constraints: 18736
302.19/303.02 c #Conflicts: 275000 | #Constraints: 19736
302.19/303.02 c #Conflicts: 276000 | #Constraints: 20736
302.19/303.02 c #Conflicts: 277000 | #Constraints: 21736
302.19/303.02 c #Conflicts: 278000 | #Constraints: 22736
302.19/303.02 c #Conflicts: 279000 | #Constraints: 23736
302.19/303.02 c #Conflicts: 280000 | #Constraints: 24736
302.19/303.02 c #Conflicts: 281000 | #Constraints: 25736
302.19/303.02 c #Conflicts: 282000 | #Constraints: 26737
302.19/303.02 c #Conflicts: 283000 | #Constraints: 27737
302.19/303.02 c #Conflicts: 284000 | #Constraints: 28737
302.19/303.02 c #Conflicts: 285000 | #Constraints: 29737
302.19/303.02 c INPROCESSING
302.19/303.02 c GARBAGE COLLECT
302.19/303.02 c #Conflicts: 286000 | #Constraints: 18837
302.19/303.02 c #Conflicts: 287000 | #Constraints: 19837
302.19/303.02 c #Conflicts: 288000 | #Constraints: 20837
302.19/303.02 c #Conflicts: 289000 | #Constraints: 21837
302.19/303.02 c #Conflicts: 290000 | #Constraints: 22837
302.19/303.02 c #Conflicts: 291000 | #Constraints: 23837
302.19/303.02 c #Conflicts: 292000 | #Constraints: 24837
302.19/303.02 c #Conflicts: 293000 | #Constraints: 25837
302.19/303.02 c #Conflicts: 294000 | #Constraints: 26838
302.19/303.02 c #Conflicts: 295000 | #Constraints: 27838
302.19/303.02 c #Conflicts: 296000 | #Constraints: 28838
302.19/303.02 c INPROCESSING
302.19/303.02 c GARBAGE COLLECT
302.19/303.02 c #Conflicts: 297000 | #Constraints: 18248
302.19/303.02 c #Conflicts: 298000 | #Constraints: 19248
302.19/303.02 c #Conflicts: 299000 | #Constraints: 20248
302.19/303.02 c #Conflicts: 300000 | #Constraints: 21248
302.19/303.02 c #Conflicts: 301000 | #Constraints: 22248
302.19/303.02 c #Conflicts: 302000 | #Constraints: 23248
302.19/303.02 c #Conflicts: 303000 | #Constraints: 24248
302.19/303.02 c #Conflicts: 304000 | #Constraints: 25249
302.19/303.02 c #Conflicts: 305000 | #Constraints: 26249
302.19/303.02 c #Conflicts: 306000 | #Constraints: 27249
302.19/303.02 c #Conflicts: 307000 | #Constraints: 28249
302.19/303.02 c #Conflicts: 308000 | #Constraints: 29249
302.19/303.02 c INPROCESSING
302.19/303.02 c GARBAGE COLLECT
302.19/303.02 c rational objective 81
413.94/415.17 c #Conflicts: 309000 | #Constraints: 18585
413.94/415.17 c #Conflicts: 310000 | #Constraints: 19585
413.94/415.17 c #Conflicts: 311000 | #Constraints: 20585
413.94/415.17 c #Conflicts: 312000 | #Constraints: 21585
413.94/415.17 c #Conflicts: 313000 | #Constraints: 22585
413.94/415.17 c #Conflicts: 314000 | #Constraints: 23585
413.94/415.17 c #Conflicts: 315000 | #Constraints: 24585
413.94/415.17 c #Conflicts: 316000 | #Constraints: 25585
413.94/415.17 c #Conflicts: 317000 | #Constraints: 26585
413.94/415.17 c #Conflicts: 318000 | #Constraints: 27585
413.94/415.17 c #Conflicts: 319000 | #Constraints: 28585
413.94/415.17 c #Conflicts: 320000 | #Constraints: 29585
413.94/415.17 c #Conflicts: 321000 | #Constraints: 30585
413.94/415.17 c #Conflicts: 322000 | #Constraints: 31585
413.94/415.17 c #Conflicts: 323000 | #Constraints: 32585
413.94/415.17 c #Conflicts: 324000 | #Constraints: 33585
413.94/415.17 c #Conflicts: 325000 | #Constraints: 34585
413.94/415.17 c #Conflicts: 326000 | #Constraints: 35585
413.94/415.17 c #Conflicts: 327000 | #Constraints: 36585
413.94/415.17 c #Conflicts: 328000 | #Constraints: 37585
413.94/415.17 c #Conflicts: 329000 | #Constraints: 38585
413.94/415.17 c #Conflicts: 330000 | #Constraints: 39585
413.94/415.17 c #Conflicts: 331000 | #Constraints: 40585
413.94/415.17 c #Conflicts: 332000 | #Constraints: 41585
413.94/415.17 c #Conflicts: 333000 | #Constraints: 42585
413.94/415.17 c #Conflicts: 334000 | #Constraints: 43585
413.94/415.17 c #Conflicts: 335000 | #Constraints: 44585
413.94/415.17 c #Conflicts: 336000 | #Constraints: 45585
413.94/415.17 c #Conflicts: 337000 | #Constraints: 46585
413.94/415.17 c #Conflicts: 338000 | #Constraints: 47585
413.94/415.17 c #Conflicts: 339000 | #Constraints: 48585
413.94/415.17 c #Conflicts: 340000 | #Constraints: 49585
413.94/415.17 c #Conflicts: 341000 | #Constraints: 50585
413.94/415.17 c #Conflicts: 342000 | #Constraints: 51585
413.94/415.17 c #Conflicts: 343000 | #Constraints: 52585
413.94/415.17 c #Conflicts: 344000 | #Constraints: 53585
413.94/415.17 c #Conflicts: 345000 | #Constraints: 54585
413.94/415.17 c #Conflicts: 346000 | #Constraints: 55585
413.94/415.17 c #Conflicts: 347000 | #Constraints: 56585
413.94/415.17 c #Conflicts: 348000 | #Constraints: 57585
413.94/415.17 c #Conflicts: 349000 | #Constraints: 58585
413.94/415.17 c #Conflicts: 350000 | #Constraints: 59585
413.94/415.17 c #Conflicts: 351000 | #Constraints: 60585
413.94/415.17 c #Conflicts: 352000 | #Constraints: 61585
413.94/415.17 c #Conflicts: 353000 | #Constraints: 62585
413.94/415.17 c #Conflicts: 354000 | #Constraints: 63585
413.94/415.17 c #Conflicts: 355000 | #Constraints: 64585
413.94/415.17 c #Conflicts: 356000 | #Constraints: 65585
413.94/415.17 c INPROCESSING
413.94/415.17 c GARBAGE COLLECT
413.94/415.17 c #Conflicts: 357000 | #Constraints: 36428
413.94/415.17 c #Conflicts: 358000 | #Constraints: 37428
413.94/415.17 c #Conflicts: 359000 | #Constraints: 38428
413.94/415.17 c #Conflicts: 360000 | #Constraints: 39428
413.94/415.17 c #Conflicts: 361000 | #Constraints: 40428
413.94/415.17 c #Conflicts: 362000 | #Constraints: 41428
413.94/415.17 c #Conflicts: 363000 | #Constraints: 42428
413.94/415.17 c #Conflicts: 364000 | #Constraints: 43428
413.94/415.17 c #Conflicts: 365000 | #Constraints: 44428
413.94/415.17 c #Conflicts: 366000 | #Constraints: 45428
413.94/415.17 c #Conflicts: 367000 | #Constraints: 46428
413.94/415.17 c #Conflicts: 368000 | #Constraints: 47428
413.94/415.17 c #Conflicts: 369000 | #Constraints: 48428
413.94/415.17 c INPROCESSING
413.94/415.17 c GARBAGE COLLECT
413.94/415.17 c #Conflicts: 370000 | #Constraints: 27941
413.94/415.17 c #Conflicts: 371000 | #Constraints: 28941
413.94/415.17 c #Conflicts: 372000 | #Constraints: 29941
413.94/415.17 c #Conflicts: 373000 | #Constraints: 30941
413.94/415.17 c #Conflicts: 374000 | #Constraints: 31941
413.94/415.17 c #Conflicts: 375000 | #Constraints: 32941
413.94/415.17 c #Conflicts: 376000 | #Constraints: 33941
413.94/415.17 c #Conflicts: 377000 | #Constraints: 34941
413.94/415.17 c #Conflicts: 378000 | #Constraints: 35941
413.94/415.17 c #Conflicts: 379000 | #Constraints: 36941
413.94/415.17 c #Conflicts: 380000 | #Constraints: 37941
413.94/415.17 c #Conflicts: 381000 | #Constraints: 38941
413.94/415.17 c #Conflicts: 382000 | #Constraints: 39941
413.94/415.17 c INPROCESSING
413.94/415.17 c GARBAGE COLLECT
413.94/415.17 c rational objective 81
509.65/511.15 c #Conflicts: 383000 | #Constraints: 23597
509.65/511.15 c #Conflicts: 384000 | #Constraints: 24597
509.65/511.15 c #Conflicts: 385000 | #Constraints: 25597
509.65/511.15 c #Conflicts: 386000 | #Constraints: 26597
509.65/511.15 c #Conflicts: 387000 | #Constraints: 27597
509.65/511.15 c #Conflicts: 388000 | #Constraints: 28597
509.65/511.15 c #Conflicts: 389000 | #Constraints: 29597
509.65/511.15 c #Conflicts: 390000 | #Constraints: 30597
509.65/511.15 c #Conflicts: 391000 | #Constraints: 31597
509.65/511.15 c #Conflicts: 392000 | #Constraints: 32597
509.65/511.15 c #Conflicts: 393000 | #Constraints: 33597
509.65/511.15 c #Conflicts: 394000 | #Constraints: 34597
509.65/511.15 c #Conflicts: 395000 | #Constraints: 35597
509.65/511.15 c #Conflicts: 396000 | #Constraints: 36597
509.65/511.15 c INPROCESSING
509.65/511.15 c GARBAGE COLLECT
509.65/511.15 c #Conflicts: 397000 | #Constraints: 22283
509.65/511.15 c #Conflicts: 398000 | #Constraints: 23283
509.65/511.15 c #Conflicts: 399000 | #Constraints: 24283
509.65/511.15 c #Conflicts: 400000 | #Constraints: 25283
509.65/511.15 c #Conflicts: 401000 | #Constraints: 26283
509.65/511.15 c #Conflicts: 402000 | #Constraints: 27283
509.65/511.15 c #Conflicts: 403000 | #Constraints: 28283
509.65/511.15 c #Conflicts: 404000 | #Constraints: 29283
509.65/511.15 c #Conflicts: 405000 | #Constraints: 30283
509.65/511.15 c #Conflicts: 406000 | #Constraints: 31283
509.65/511.15 c #Conflicts: 407000 | #Constraints: 32283
509.65/511.15 c #Conflicts: 408000 | #Constraints: 33283
509.65/511.15 c #Conflicts: 409000 | #Constraints: 34283
509.65/511.15 c INPROCESSING
509.65/511.15 c GARBAGE COLLECT
509.65/511.15 c #Conflicts: 410000 | #Constraints: 20882
509.65/511.15 c #Conflicts: 411000 | #Constraints: 21882
509.65/511.15 c #Conflicts: 412000 | #Constraints: 22882
509.65/511.15 c #Conflicts: 413000 | #Constraints: 23882
509.65/511.15 c #Conflicts: 414000 | #Constraints: 24882
509.65/511.15 c #Conflicts: 415000 | #Constraints: 25882
509.65/511.15 c #Conflicts: 416000 | #Constraints: 26882
509.65/511.15 c #Conflicts: 417000 | #Constraints: 27882
509.65/511.15 c #Conflicts: 418000 | #Constraints: 28882
509.65/511.15 c #Conflicts: 419000 | #Constraints: 29882
509.65/511.15 c #Conflicts: 420000 | #Constraints: 30882
509.65/511.15 c #Conflicts: 421000 | #Constraints: 31882
509.65/511.15 c #Conflicts: 422000 | #Constraints: 32882
509.65/511.15 c #Conflicts: 423000 | #Constraints: 33882
509.65/511.15 c INPROCESSING
509.65/511.15 c GARBAGE COLLECT
509.65/511.15 c #Conflicts: 424000 | #Constraints: 20852
509.65/511.15 c #Conflicts: 425000 | #Constraints: 21852
509.65/511.15 c #Conflicts: 426000 | #Constraints: 22852
509.65/511.15 c #Conflicts: 427000 | #Constraints: 23852
509.65/511.15 c #Conflicts: 428000 | #Constraints: 24852
509.65/511.15 c #Conflicts: 429000 | #Constraints: 25852
509.65/511.15 c #Conflicts: 430000 | #Constraints: 26852
509.65/511.15 c #Conflicts: 431000 | #Constraints: 27852
509.65/511.15 c #Conflicts: 432000 | #Constraints: 28852
509.65/511.15 c #Conflicts: 433000 | #Constraints: 29852
509.65/511.15 c #Conflicts: 434000 | #Constraints: 30852
509.65/511.15 c #Conflicts: 435000 | #Constraints: 31852
509.65/511.15 c #Conflicts: 436000 | #Constraints: 32852
509.65/511.15 c #Conflicts: 437000 | #Constraints: 33852
509.65/511.15 c INPROCESSING
509.65/511.15 c GARBAGE COLLECT
509.65/511.15 c #Conflicts: 438000 | #Constraints: 20815
509.65/511.15 c #Conflicts: 439000 | #Constraints: 21815
509.65/511.15 c #Conflicts: 440000 | #Constraints: 22815
509.65/511.15 c #Conflicts: 441000 | #Constraints: 23815
509.65/511.15 c #Conflicts: 442000 | #Constraints: 24815
509.65/511.15 c #Conflicts: 443000 | #Constraints: 25815
509.65/511.15 c #Conflicts: 444000 | #Constraints: 26815
509.65/511.15 c #Conflicts: 445000 | #Constraints: 27815
509.65/511.15 c #Conflicts: 446000 | #Constraints: 28815
509.65/511.15 c #Conflicts: 447000 | #Constraints: 29815
509.65/511.15 c #Conflicts: 448000 | #Constraints: 30815
509.65/511.15 c #Conflicts: 449000 | #Constraints: 31815
509.65/511.15 c #Conflicts: 450000 | #Constraints: 32815
509.65/511.15 c #Conflicts: 451000 | #Constraints: 33815
509.65/511.15 c #Conflicts: 452000 | #Constraints: 34815
509.65/511.15 c #Conflicts: 453000 | #Constraints: 35815
509.65/511.15 c #Conflicts: 454000 | #Constraints: 36815
509.65/511.15 c #Conflicts: 455000 | #Constraints: 37815
509.65/511.15 c #Conflicts: 456000 | #Constraints: 38815
509.65/511.15 c #Conflicts: 457000 | #Constraints: 39815
509.65/511.15 c #Conflicts: 458000 | #Constraints: 40815
509.65/511.15 c #Conflicts: 459000 | #Constraints: 41815
649.92/651.85 c #Conflicts: 460000 | #Constraints: 42815
649.92/651.85 c #Conflicts: 461000 | #Constraints: 43815
649.92/651.85 c #Conflicts: 462000 | #Constraints: 44815
649.92/651.85 c #Conflicts: 463000 | #Constraints: 45815
649.92/651.85 c #Conflicts: 464000 | #Constraints: 46815
649.92/651.85 c #Conflicts: 465000 | #Constraints: 47815
649.92/651.85 c #Conflicts: 466000 | #Constraints: 48815
649.92/651.85 c #Conflicts: 467000 | #Constraints: 49815
649.92/651.85 c #Conflicts: 468000 | #Constraints: 50815
649.92/651.85 c #Conflicts: 469000 | #Constraints: 51815
649.92/651.85 c #Conflicts: 470000 | #Constraints: 52815
649.92/651.85 c #Conflicts: 471000 | #Constraints: 53815
649.92/651.85 c #Conflicts: 472000 | #Constraints: 54815
649.92/651.85 c #Conflicts: 473000 | #Constraints: 55815
649.92/651.85 c #Conflicts: 474000 | #Constraints: 56815
649.92/651.85 c #Conflicts: 475000 | #Constraints: 57815
649.92/651.85 c #Conflicts: 476000 | #Constraints: 58815
649.92/651.85 c #Conflicts: 477000 | #Constraints: 59815
649.92/651.85 c #Conflicts: 478000 | #Constraints: 60815
649.92/651.85 c #Conflicts: 479000 | #Constraints: 61815
649.92/651.85 c #Conflicts: 480000 | #Constraints: 62815
649.92/651.85 c #Conflicts: 481000 | #Constraints: 63815
649.92/651.85 c #Conflicts: 482000 | #Constraints: 64815
649.92/651.85 c #Conflicts: 483000 | #Constraints: 65815
649.92/651.85 c #Conflicts: 484000 | #Constraints: 66815
649.92/651.85 c #Conflicts: 485000 | #Constraints: 67815
649.92/651.85 c #Conflicts: 486000 | #Constraints: 68815
649.92/651.85 c #Conflicts: 487000 | #Constraints: 69815
649.92/651.85 c #Conflicts: 488000 | #Constraints: 70815
649.92/651.85 c #Conflicts: 489000 | #Constraints: 71815
649.92/651.85 c #Conflicts: 490000 | #Constraints: 72815
649.92/651.85 c #Conflicts: 491000 | #Constraints: 73815
649.92/651.85 c #Conflicts: 492000 | #Constraints: 74815
649.92/651.85 c #Conflicts: 493000 | #Constraints: 75815
649.92/651.85 c #Conflicts: 494000 | #Constraints: 76815
649.92/651.85 c INPROCESSING
649.92/651.85 c GARBAGE COLLECT
649.92/651.85 c #Conflicts: 495000 | #Constraints: 42247
649.92/651.85 c #Conflicts: 496000 | #Constraints: 43247
649.92/651.85 c #Conflicts: 497000 | #Constraints: 44247
649.92/651.85 c #Conflicts: 498000 | #Constraints: 45247
649.92/651.85 c #Conflicts: 499000 | #Constraints: 46247
649.92/651.85 c #Conflicts: 500000 | #Constraints: 47247
649.92/651.85 c #Conflicts: 501000 | #Constraints: 48247
649.92/651.85 c #Conflicts: 502000 | #Constraints: 49247
649.92/651.85 c #Conflicts: 503000 | #Constraints: 50247
649.92/651.85 c #Conflicts: 504000 | #Constraints: 51247
649.92/651.85 c #Conflicts: 505000 | #Constraints: 52247
649.92/651.85 c #Conflicts: 506000 | #Constraints: 53247
649.92/651.85 c #Conflicts: 507000 | #Constraints: 54247
649.92/651.85 c #Conflicts: 508000 | #Constraints: 55247
649.92/651.85 c #Conflicts: 509000 | #Constraints: 56247
649.92/651.85 c INPROCESSING
649.92/651.85 c GARBAGE COLLECT
649.92/651.85 c #Conflicts: 510000 | #Constraints: 31874
649.92/651.85 c #Conflicts: 511000 | #Constraints: 32874
649.92/651.85 c #Conflicts: 512000 | #Constraints: 33874
649.92/651.85 c #Conflicts: 513000 | #Constraints: 34874
649.92/651.85 c #Conflicts: 514000 | #Constraints: 35874
649.92/651.85 c #Conflicts: 515000 | #Constraints: 36874
649.92/651.85 c #Conflicts: 516000 | #Constraints: 37874
649.92/651.85 c #Conflicts: 517000 | #Constraints: 38874
649.92/651.85 c #Conflicts: 518000 | #Constraints: 39874
649.92/651.85 c #Conflicts: 519000 | #Constraints: 40874
649.92/651.85 c #Conflicts: 520000 | #Constraints: 41874
649.92/651.85 c #Conflicts: 521000 | #Constraints: 42874
649.92/651.85 c #Conflicts: 522000 | #Constraints: 43874
649.92/651.85 c #Conflicts: 523000 | #Constraints: 44874
649.92/651.85 c #Conflicts: 524000 | #Constraints: 45874
649.92/651.85 c #Conflicts: 525000 | #Constraints: 46874
649.92/651.85 c INPROCESSING
649.92/651.85 c GARBAGE COLLECT
649.92/651.85 c rational objective 81
738.04/740.27 c #Conflicts: 526000 | #Constraints: 27490
738.04/740.27 c #Conflicts: 527000 | #Constraints: 28490
738.04/740.27 c #Conflicts: 528000 | #Constraints: 29490
738.04/740.27 c #Conflicts: 529000 | #Constraints: 30490
738.04/740.27 c #Conflicts: 530000 | #Constraints: 31490
738.04/740.27 c #Conflicts: 531000 | #Constraints: 32490
738.04/740.27 c #Conflicts: 532000 | #Constraints: 33490
738.04/740.27 c #Conflicts: 533000 | #Constraints: 34490
738.04/740.27 c #Conflicts: 534000 | #Constraints: 35490
738.04/740.27 c #Conflicts: 535000 | #Constraints: 36490
738.04/740.27 c #Conflicts: 536000 | #Constraints: 37490
738.04/740.27 c #Conflicts: 537000 | #Constraints: 38490
738.04/740.27 c #Conflicts: 538000 | #Constraints: 39490
738.04/740.27 c #Conflicts: 539000 | #Constraints: 40490
738.04/740.27 c #Conflicts: 540000 | #Constraints: 41490
738.04/740.27 c INPROCESSING
738.04/740.27 c GARBAGE COLLECT
738.04/740.27 c #Conflicts: 541000 | #Constraints: 24471
738.04/740.27 c #Conflicts: 542000 | #Constraints: 25471
738.04/740.27 c #Conflicts: 543000 | #Constraints: 26471
738.04/740.27 c #Conflicts: 544000 | #Constraints: 27471
738.04/740.27 c #Conflicts: 545000 | #Constraints: 28471
738.04/740.27 c #Conflicts: 546000 | #Constraints: 29471
738.04/740.27 c #Conflicts: 547000 | #Constraints: 30471
738.04/740.27 c #Conflicts: 548000 | #Constraints: 31471
738.04/740.27 c #Conflicts: 549000 | #Constraints: 32471
738.04/740.27 c #Conflicts: 550000 | #Constraints: 33471
738.04/740.27 c #Conflicts: 551000 | #Constraints: 34471
738.04/740.27 c #Conflicts: 552000 | #Constraints: 35471
738.04/740.27 c #Conflicts: 553000 | #Constraints: 36471
738.04/740.27 c #Conflicts: 554000 | #Constraints: 37471
738.04/740.27 c #Conflicts: 555000 | #Constraints: 38471
738.04/740.27 c #Conflicts: 556000 | #Constraints: 39471
738.04/740.27 c INPROCESSING
738.04/740.27 c GARBAGE COLLECT
738.04/740.27 c #Conflicts: 557000 | #Constraints: 23562
738.04/740.27 c #Conflicts: 558000 | #Constraints: 24562
738.04/740.27 c #Conflicts: 559000 | #Constraints: 25562
738.04/740.27 c #Conflicts: 560000 | #Constraints: 26562
738.04/740.27 c #Conflicts: 561000 | #Constraints: 27562
738.04/740.27 c #Conflicts: 562000 | #Constraints: 28562
738.04/740.27 c #Conflicts: 563000 | #Constraints: 29562
738.04/740.27 c #Conflicts: 564000 | #Constraints: 30562
738.04/740.27 c #Conflicts: 565000 | #Constraints: 31562
738.04/740.27 c #Conflicts: 566000 | #Constraints: 32562
738.04/740.27 c #Conflicts: 567000 | #Constraints: 33562
738.04/740.27 c #Conflicts: 568000 | #Constraints: 34562
738.04/740.27 c #Conflicts: 569000 | #Constraints: 35562
738.04/740.27 c #Conflicts: 570000 | #Constraints: 36562
738.04/740.27 c #Conflicts: 571000 | #Constraints: 37562
738.04/740.27 c #Conflicts: 572000 | #Constraints: 38562
738.04/740.27 c INPROCESSING
738.04/740.27 c GARBAGE COLLECT
738.04/740.27 c #Conflicts: 573000 | #Constraints: 23123
738.04/740.27 c #Conflicts: 574000 | #Constraints: 24123
738.04/740.27 c #Conflicts: 575000 | #Constraints: 25123
738.04/740.27 c #Conflicts: 576000 | #Constraints: 26123
738.04/740.27 c #Conflicts: 577000 | #Constraints: 27123
738.04/740.27 c #Conflicts: 578000 | #Constraints: 28123
738.04/740.27 c #Conflicts: 579000 | #Constraints: 29123
738.04/740.27 c #Conflicts: 580000 | #Constraints: 30123
738.04/740.27 c #Conflicts: 581000 | #Constraints: 31123
738.04/740.27 c #Conflicts: 582000 | #Constraints: 32123
738.04/740.27 c #Conflicts: 583000 | #Constraints: 33123
738.04/740.27 c #Conflicts: 584000 | #Constraints: 34123
738.04/740.27 c #Conflicts: 585000 | #Constraints: 35123
738.04/740.27 c #Conflicts: 586000 | #Constraints: 36123
738.04/740.27 c #Conflicts: 587000 | #Constraints: 37123
738.04/740.27 c #Conflicts: 588000 | #Constraints: 38123
738.04/740.27 c INPROCESSING
738.04/740.27 c GARBAGE COLLECT
738.04/740.27 c #Conflicts: 589000 | #Constraints: 22823
738.04/740.27 c #Conflicts: 590000 | #Constraints: 23823
738.04/740.27 c #Conflicts: 591000 | #Constraints: 24824
738.04/740.27 c #Conflicts: 592000 | #Constraints: 25824
738.04/740.27 c #Conflicts: 593000 | #Constraints: 26824
738.04/740.27 c #Conflicts: 594000 | #Constraints: 27824
738.04/740.27 c #Conflicts: 595000 | #Constraints: 28824
738.04/740.27 c #Conflicts: 596000 | #Constraints: 29824
738.04/740.27 c #Conflicts: 597000 | #Constraints: 30824
738.04/740.27 c #Conflicts: 598000 | #Constraints: 31824
738.04/740.27 c #Conflicts: 599000 | #Constraints: 32824
738.04/740.27 c #Conflicts: 600000 | #Constraints: 33824
738.04/740.27 c #Conflicts: 601000 | #Constraints: 34824
738.04/740.27 c #Conflicts: 602000 | #Constraints: 35824
862.76/865.33 c #Conflicts: 603000 | #Constraints: 36824
862.76/865.33 c #Conflicts: 604000 | #Constraints: 37824
862.76/865.33 c #Conflicts: 605000 | #Constraints: 38824
862.76/865.33 c #Conflicts: 606000 | #Constraints: 39824
862.76/865.33 c #Conflicts: 607000 | #Constraints: 40824
862.76/865.33 c #Conflicts: 608000 | #Constraints: 41824
862.76/865.33 c #Conflicts: 609000 | #Constraints: 42824
862.76/865.33 c #Conflicts: 610000 | #Constraints: 43824
862.76/865.33 c #Conflicts: 611000 | #Constraints: 44824
862.76/865.33 c #Conflicts: 612000 | #Constraints: 45824
862.76/865.33 c #Conflicts: 613000 | #Constraints: 46824
862.76/865.33 c #Conflicts: 614000 | #Constraints: 47824
862.76/865.33 c #Conflicts: 615000 | #Constraints: 48824
862.76/865.33 c #Conflicts: 616000 | #Constraints: 49824
862.76/865.33 c #Conflicts: 617000 | #Constraints: 50824
862.76/865.33 c #Conflicts: 618000 | #Constraints: 51824
862.76/865.33 c #Conflicts: 619000 | #Constraints: 52824
862.76/865.33 c #Conflicts: 620000 | #Constraints: 53824
862.76/865.33 c #Conflicts: 621000 | #Constraints: 54824
862.76/865.33 c #Conflicts: 622000 | #Constraints: 55824
862.76/865.33 c #Conflicts: 623000 | #Constraints: 56824
862.76/865.33 c #Conflicts: 624000 | #Constraints: 57824
862.76/865.33 c #Conflicts: 625000 | #Constraints: 58824
862.76/865.33 c #Conflicts: 626000 | #Constraints: 59824
862.76/865.33 c #Conflicts: 627000 | #Constraints: 60824
862.76/865.33 c #Conflicts: 628000 | #Constraints: 61824
862.76/865.33 c #Conflicts: 629000 | #Constraints: 62824
862.76/865.33 c #Conflicts: 630000 | #Constraints: 63824
862.76/865.33 c #Conflicts: 631000 | #Constraints: 64824
862.76/865.33 c #Conflicts: 632000 | #Constraints: 65824
862.76/865.33 c #Conflicts: 633000 | #Constraints: 66824
862.76/865.33 c #Conflicts: 634000 | #Constraints: 67824
862.76/865.33 c #Conflicts: 635000 | #Constraints: 68824
862.76/865.33 c #Conflicts: 636000 | #Constraints: 69824
862.76/865.33 c #Conflicts: 637000 | #Constraints: 70824
862.76/865.33 c #Conflicts: 638000 | #Constraints: 71824
862.76/865.33 c #Conflicts: 639000 | #Constraints: 72824
862.76/865.33 c #Conflicts: 640000 | #Constraints: 73824
862.76/865.33 c #Conflicts: 641000 | #Constraints: 74824
862.76/865.33 c #Conflicts: 642000 | #Constraints: 75824
862.76/865.33 c #Conflicts: 643000 | #Constraints: 76824
862.76/865.33 c #Conflicts: 644000 | #Constraints: 77824
862.76/865.33 c #Conflicts: 645000 | #Constraints: 78824
862.76/865.33 c #Conflicts: 646000 | #Constraints: 79824
862.76/865.33 c #Conflicts: 647000 | #Constraints: 80824
862.76/865.33 c #Conflicts: 648000 | #Constraints: 81824
862.76/865.33 c #Conflicts: 649000 | #Constraints: 82824
862.76/865.33 c #Conflicts: 650000 | #Constraints: 83824
862.76/865.33 c #Conflicts: 651000 | #Constraints: 84824
862.76/865.33 c #Conflicts: 652000 | #Constraints: 85824
862.76/865.33 c #Conflicts: 653000 | #Constraints: 86824
862.76/865.33 c #Conflicts: 654000 | #Constraints: 87824
862.76/865.33 c INPROCESSING
862.76/865.33 c GARBAGE COLLECT
862.76/865.33 c rational objective 81
901.85/904.50 c #Conflicts: 655000 | #Constraints: 47653
901.85/904.50 c #Conflicts: 656000 | #Constraints: 48653
901.85/904.50 c #Conflicts: 657000 | #Constraints: 49653
901.85/904.50 c #Conflicts: 658000 | #Constraints: 50653
901.85/904.50 c #Conflicts: 659000 | #Constraints: 51653
901.85/904.50 c #Conflicts: 660000 | #Constraints: 52653
901.85/904.50 c #Conflicts: 661000 | #Constraints: 53653
901.85/904.50 c #Conflicts: 662000 | #Constraints: 54653
901.85/904.50 c #Conflicts: 663000 | #Constraints: 55653
901.85/904.50 c #Conflicts: 664000 | #Constraints: 56653
901.85/904.50 c #Conflicts: 665000 | #Constraints: 57653
901.85/904.50 c #Conflicts: 666000 | #Constraints: 58653
901.85/904.50 c #Conflicts: 667000 | #Constraints: 59653
901.85/904.50 c #Conflicts: 668000 | #Constraints: 60653
901.85/904.50 c #Conflicts: 669000 | #Constraints: 61653
901.85/904.50 c #Conflicts: 670000 | #Constraints: 62653
901.85/904.50 c #Conflicts: 671000 | #Constraints: 63653
901.85/904.50 c #Conflicts: 672000 | #Constraints: 64653
901.85/904.50 c INPROCESSING
901.85/904.50 c GARBAGE COLLECT
901.85/904.50 c rational objective 81
1014.07/1017.06 c #Conflicts: 673000 | #Constraints: 36406
1014.07/1017.06 c #Conflicts: 674000 | #Constraints: 37406
1014.07/1017.06 c #Conflicts: 675000 | #Constraints: 38406
1014.07/1017.06 c #Conflicts: 676000 | #Constraints: 39406
1014.07/1017.06 c #Conflicts: 677000 | #Constraints: 40406
1014.07/1017.06 c #Conflicts: 678000 | #Constraints: 41406
1014.07/1017.06 c #Conflicts: 679000 | #Constraints: 42406
1014.07/1017.06 c #Conflicts: 680000 | #Constraints: 43406
1014.07/1017.06 c #Conflicts: 681000 | #Constraints: 44406
1014.07/1017.06 c #Conflicts: 682000 | #Constraints: 45406
1014.07/1017.06 c #Conflicts: 683000 | #Constraints: 46406
1014.07/1017.06 c #Conflicts: 684000 | #Constraints: 47406
1014.07/1017.06 c #Conflicts: 685000 | #Constraints: 48406
1014.07/1017.06 c #Conflicts: 686000 | #Constraints: 49406
1014.07/1017.06 c #Conflicts: 687000 | #Constraints: 50406
1014.07/1017.06 c #Conflicts: 688000 | #Constraints: 51406
1014.07/1017.06 c #Conflicts: 689000 | #Constraints: 52406
1014.07/1017.06 c INPROCESSING
1014.07/1017.06 c GARBAGE COLLECT
1014.07/1017.06 c #Conflicts: 690000 | #Constraints: 29906
1014.07/1017.06 c #Conflicts: 691000 | #Constraints: 30906
1014.07/1017.06 c #Conflicts: 692000 | #Constraints: 31906
1014.07/1017.06 c #Conflicts: 693000 | #Constraints: 32906
1014.07/1017.06 c #Conflicts: 694000 | #Constraints: 33906
1014.07/1017.06 c #Conflicts: 695000 | #Constraints: 34906
1014.07/1017.06 c #Conflicts: 696000 | #Constraints: 35906
1014.07/1017.06 c #Conflicts: 697000 | #Constraints: 36906
1014.07/1017.06 c #Conflicts: 698000 | #Constraints: 37906
1014.07/1017.06 c #Conflicts: 699000 | #Constraints: 38906
1014.07/1017.06 c #Conflicts: 700000 | #Constraints: 39906
1014.07/1017.06 c #Conflicts: 701000 | #Constraints: 40906
1014.07/1017.06 c #Conflicts: 702000 | #Constraints: 41906
1014.07/1017.06 c #Conflicts: 703000 | #Constraints: 42906
1014.07/1017.06 c #Conflicts: 704000 | #Constraints: 43906
1014.07/1017.06 c #Conflicts: 705000 | #Constraints: 44906
1014.07/1017.06 c #Conflicts: 706000 | #Constraints: 45906
1014.07/1017.06 c #Conflicts: 707000 | #Constraints: 46906
1014.07/1017.06 c INPROCESSING
1014.07/1017.06 c GARBAGE COLLECT
1014.07/1017.06 c #Conflicts: 708000 | #Constraints: 27230
1014.07/1017.06 c #Conflicts: 709000 | #Constraints: 28230
1014.07/1017.06 c #Conflicts: 710000 | #Constraints: 29230
1014.07/1017.06 c #Conflicts: 711000 | #Constraints: 30230
1014.07/1017.06 c #Conflicts: 712000 | #Constraints: 31230
1014.07/1017.06 c #Conflicts: 713000 | #Constraints: 32230
1014.07/1017.06 c #Conflicts: 714000 | #Constraints: 33230
1014.07/1017.06 c #Conflicts: 715000 | #Constraints: 34230
1014.07/1017.06 c #Conflicts: 716000 | #Constraints: 35230
1014.07/1017.06 c #Conflicts: 717000 | #Constraints: 36230
1014.07/1017.06 c #Conflicts: 718000 | #Constraints: 37230
1014.07/1017.06 c #Conflicts: 719000 | #Constraints: 38230
1014.07/1017.06 c #Conflicts: 720000 | #Constraints: 39230
1014.07/1017.06 c #Conflicts: 721000 | #Constraints: 40230
1014.07/1017.06 c #Conflicts: 722000 | #Constraints: 41230
1014.07/1017.06 c #Conflicts: 723000 | #Constraints: 42230
1014.07/1017.06 c #Conflicts: 724000 | #Constraints: 43230
1014.07/1017.06 c #Conflicts: 725000 | #Constraints: 44230
1014.07/1017.06 c INPROCESSING
1014.07/1017.06 c GARBAGE COLLECT
1014.07/1017.06 c #Conflicts: 726000 | #Constraints: 25868
1014.07/1017.06 c #Conflicts: 727000 | #Constraints: 26868
1014.07/1017.06 c #Conflicts: 728000 | #Constraints: 27868
1014.07/1017.06 c #Conflicts: 729000 | #Constraints: 28868
1014.07/1017.06 c #Conflicts: 730000 | #Constraints: 29868
1014.07/1017.06 c #Conflicts: 731000 | #Constraints: 30868
1014.07/1017.06 c #Conflicts: 732000 | #Constraints: 31868
1014.07/1017.06 c #Conflicts: 733000 | #Constraints: 32868
1014.07/1017.06 c #Conflicts: 734000 | #Constraints: 33868
1014.07/1017.06 c #Conflicts: 735000 | #Constraints: 34868
1014.07/1017.06 c #Conflicts: 736000 | #Constraints: 35868
1014.07/1017.06 c #Conflicts: 737000 | #Constraints: 36868
1014.07/1017.06 c #Conflicts: 738000 | #Constraints: 37868
1014.07/1017.06 c #Conflicts: 739000 | #Constraints: 38868
1014.07/1017.06 c #Conflicts: 740000 | #Constraints: 39868
1014.07/1017.06 c #Conflicts: 741000 | #Constraints: 40868
1014.07/1017.06 c #Conflicts: 742000 | #Constraints: 41868
1014.07/1017.06 c #Conflicts: 743000 | #Constraints: 42868
1014.07/1017.06 c #Conflicts: 744000 | #Constraints: 43868
1014.07/1017.06 c INPROCESSING
1014.07/1017.06 c GARBAGE COLLECT
1014.07/1017.06 c #Conflicts: 745000 | #Constraints: 25969
1014.07/1017.06 c #Conflicts: 746000 | #Constraints: 26969
1014.07/1017.06 c #Conflicts: 747000 | #Constraints: 27969
1014.07/1017.06 c #Conflicts: 748000 | #Constraints: 28969
1014.07/1017.06 c #Conflicts: 749000 | #Constraints: 29969
1185.21/1188.62 c #Conflicts: 750000 | #Constraints: 30969
1185.21/1188.62 c #Conflicts: 751000 | #Constraints: 31969
1185.21/1188.62 c #Conflicts: 752000 | #Constraints: 32969
1185.21/1188.62 c #Conflicts: 753000 | #Constraints: 33969
1185.21/1188.62 c #Conflicts: 754000 | #Constraints: 34969
1185.21/1188.62 c #Conflicts: 755000 | #Constraints: 35969
1185.21/1188.62 c #Conflicts: 756000 | #Constraints: 36969
1185.21/1188.62 c #Conflicts: 757000 | #Constraints: 37969
1185.21/1188.62 c #Conflicts: 758000 | #Constraints: 38969
1185.21/1188.62 c #Conflicts: 759000 | #Constraints: 39969
1185.21/1188.62 c #Conflicts: 760000 | #Constraints: 40969
1185.21/1188.62 c #Conflicts: 761000 | #Constraints: 41969
1185.21/1188.62 c #Conflicts: 762000 | #Constraints: 42969
1185.21/1188.62 c #Conflicts: 763000 | #Constraints: 43969
1185.21/1188.62 c #Conflicts: 764000 | #Constraints: 44969
1185.21/1188.62 c #Conflicts: 765000 | #Constraints: 45969
1185.21/1188.62 c #Conflicts: 766000 | #Constraints: 46969
1185.21/1188.62 c #Conflicts: 767000 | #Constraints: 47969
1185.21/1188.62 c #Conflicts: 768000 | #Constraints: 48969
1185.21/1188.62 c #Conflicts: 769000 | #Constraints: 49969
1185.21/1188.62 c #Conflicts: 770000 | #Constraints: 50969
1185.21/1188.62 c #Conflicts: 771000 | #Constraints: 51969
1185.21/1188.62 c #Conflicts: 772000 | #Constraints: 52969
1185.21/1188.62 c #Conflicts: 773000 | #Constraints: 53969
1185.21/1188.62 c #Conflicts: 774000 | #Constraints: 54969
1185.21/1188.62 c #Conflicts: 775000 | #Constraints: 55969
1185.21/1188.62 c #Conflicts: 776000 | #Constraints: 56969
1185.21/1188.62 c #Conflicts: 777000 | #Constraints: 57969
1185.21/1188.62 c #Conflicts: 778000 | #Constraints: 58969
1185.21/1188.62 c #Conflicts: 779000 | #Constraints: 59969
1185.21/1188.62 c #Conflicts: 780000 | #Constraints: 60969
1185.21/1188.62 c #Conflicts: 781000 | #Constraints: 61969
1185.21/1188.62 c #Conflicts: 782000 | #Constraints: 62969
1185.21/1188.62 c #Conflicts: 783000 | #Constraints: 63969
1185.21/1188.62 c #Conflicts: 784000 | #Constraints: 64969
1185.21/1188.62 c #Conflicts: 785000 | #Constraints: 65969
1185.21/1188.62 c #Conflicts: 786000 | #Constraints: 66969
1185.21/1188.62 c #Conflicts: 787000 | #Constraints: 67969
1185.21/1188.62 c #Conflicts: 788000 | #Constraints: 68969
1185.21/1188.62 c #Conflicts: 789000 | #Constraints: 69969
1185.21/1188.62 c #Conflicts: 790000 | #Constraints: 70969
1185.21/1188.62 c #Conflicts: 791000 | #Constraints: 71969
1185.21/1188.62 c #Conflicts: 792000 | #Constraints: 72969
1185.21/1188.62 c #Conflicts: 793000 | #Constraints: 73969
1185.21/1188.62 c #Conflicts: 794000 | #Constraints: 74969
1185.21/1188.62 c #Conflicts: 795000 | #Constraints: 75969
1185.21/1188.62 c #Conflicts: 796000 | #Constraints: 76969
1185.21/1188.62 c #Conflicts: 797000 | #Constraints: 77969
1185.21/1188.62 c #Conflicts: 798000 | #Constraints: 78969
1185.21/1188.62 c #Conflicts: 799000 | #Constraints: 79969
1185.21/1188.62 c #Conflicts: 800000 | #Constraints: 80969
1185.21/1188.62 c #Conflicts: 801000 | #Constraints: 81969
1185.21/1188.62 c #Conflicts: 802000 | #Constraints: 82969
1185.21/1188.62 c #Conflicts: 803000 | #Constraints: 83969
1185.21/1188.62 c #Conflicts: 804000 | #Constraints: 84969
1185.21/1188.62 c #Conflicts: 805000 | #Constraints: 85969
1185.21/1188.62 c #Conflicts: 806000 | #Constraints: 86969
1185.21/1188.62 c #Conflicts: 807000 | #Constraints: 87969
1185.21/1188.62 c #Conflicts: 808000 | #Constraints: 88969
1185.21/1188.62 c #Conflicts: 809000 | #Constraints: 89969
1185.21/1188.62 c #Conflicts: 810000 | #Constraints: 90969
1185.21/1188.62 c #Conflicts: 811000 | #Constraints: 91969
1185.21/1188.62 c #Conflicts: 812000 | #Constraints: 92969
1185.21/1188.62 c #Conflicts: 813000 | #Constraints: 93969
1185.21/1188.62 c #Conflicts: 814000 | #Constraints: 94969
1185.21/1188.62 c #Conflicts: 815000 | #Constraints: 95969
1185.21/1188.62 c #Conflicts: 816000 | #Constraints: 96969
1185.21/1188.62 c #Conflicts: 817000 | #Constraints: 97969
1185.21/1188.62 c INPROCESSING
1185.21/1188.62 c GARBAGE COLLECT
1185.21/1188.62 c rational objective 81
1230.11/1233.63 c #Conflicts: 818000 | #Constraints: 52840
1230.11/1233.63 c #Conflicts: 819000 | #Constraints: 53840
1230.11/1233.63 c #Conflicts: 820000 | #Constraints: 54840
1230.11/1233.63 c #Conflicts: 821000 | #Constraints: 55840
1230.11/1233.63 c #Conflicts: 822000 | #Constraints: 56840
1230.11/1233.63 c #Conflicts: 823000 | #Constraints: 57840
1230.11/1233.63 c #Conflicts: 824000 | #Constraints: 58840
1230.11/1233.63 c #Conflicts: 825000 | #Constraints: 59840
1230.11/1233.63 c #Conflicts: 826000 | #Constraints: 60840
1230.11/1233.63 c #Conflicts: 827000 | #Constraints: 61840
1230.11/1233.63 c #Conflicts: 828000 | #Constraints: 62840
1230.11/1233.63 c #Conflicts: 829000 | #Constraints: 63840
1230.11/1233.63 c #Conflicts: 830000 | #Constraints: 64840
1230.11/1233.63 c #Conflicts: 831000 | #Constraints: 65840
1230.11/1233.63 c #Conflicts: 832000 | #Constraints: 66840
1230.11/1233.63 c #Conflicts: 833000 | #Constraints: 67840
1230.11/1233.63 c #Conflicts: 834000 | #Constraints: 68840
1230.11/1233.63 c #Conflicts: 835000 | #Constraints: 69840
1230.11/1233.63 c #Conflicts: 836000 | #Constraints: 70840
1230.11/1233.63 c #Conflicts: 837000 | #Constraints: 71840
1230.11/1233.63 c INPROCESSING
1230.11/1233.63 c GARBAGE COLLECT
1230.11/1233.63 c rational objective 81
1272.40/1276.09 c #Conflicts: 838000 | #Constraints: 40035
1272.40/1276.09 c #Conflicts: 839000 | #Constraints: 41035
1272.40/1276.09 c #Conflicts: 840000 | #Constraints: 42035
1272.40/1276.09 c #Conflicts: 841000 | #Constraints: 43035
1272.40/1276.09 c #Conflicts: 842000 | #Constraints: 44035
1272.40/1276.09 c #Conflicts: 843000 | #Constraints: 45035
1272.40/1276.09 c #Conflicts: 844000 | #Constraints: 46035
1272.40/1276.09 c #Conflicts: 845000 | #Constraints: 47035
1272.40/1276.09 c #Conflicts: 846000 | #Constraints: 48035
1272.40/1276.09 c #Conflicts: 847000 | #Constraints: 49035
1272.40/1276.09 c #Conflicts: 848000 | #Constraints: 50035
1272.40/1276.09 c #Conflicts: 849000 | #Constraints: 51035
1272.40/1276.09 c #Conflicts: 850000 | #Constraints: 52035
1272.40/1276.09 c #Conflicts: 851000 | #Constraints: 53035
1272.40/1276.09 c #Conflicts: 852000 | #Constraints: 54035
1272.40/1276.09 c #Conflicts: 853000 | #Constraints: 55035
1272.40/1276.09 c #Conflicts: 854000 | #Constraints: 56035
1272.40/1276.09 c #Conflicts: 855000 | #Constraints: 57035
1272.40/1276.09 c #Conflicts: 856000 | #Constraints: 58035
1272.40/1276.09 c INPROCESSING
1272.40/1276.09 c GARBAGE COLLECT
1272.40/1276.09 c rational objective 81
1332.66/1336.42 c #Conflicts: 857000 | #Constraints: 32808
1332.66/1336.42 c #Conflicts: 858000 | #Constraints: 33808
1332.66/1336.42 c #Conflicts: 859000 | #Constraints: 34808
1332.66/1336.42 c #Conflicts: 860000 | #Constraints: 35808
1332.66/1336.42 c #Conflicts: 861000 | #Constraints: 36808
1332.66/1336.42 c #Conflicts: 862000 | #Constraints: 37808
1332.66/1336.42 c #Conflicts: 863000 | #Constraints: 38808
1332.66/1336.42 c #Conflicts: 864000 | #Constraints: 39808
1332.66/1336.42 c #Conflicts: 865000 | #Constraints: 40808
1332.66/1336.42 c #Conflicts: 866000 | #Constraints: 41808
1332.66/1336.42 c #Conflicts: 867000 | #Constraints: 42808
1332.66/1336.42 c #Conflicts: 868000 | #Constraints: 43808
1332.66/1336.42 c #Conflicts: 869000 | #Constraints: 44808
1332.66/1336.42 c #Conflicts: 870000 | #Constraints: 45808
1332.66/1336.42 c #Conflicts: 871000 | #Constraints: 46808
1332.66/1336.42 c #Conflicts: 872000 | #Constraints: 47808
1332.66/1336.42 c #Conflicts: 873000 | #Constraints: 48808
1332.66/1336.42 c #Conflicts: 874000 | #Constraints: 49808
1332.66/1336.42 c #Conflicts: 875000 | #Constraints: 50808
1332.66/1336.42 c #Conflicts: 876000 | #Constraints: 51808
1332.66/1336.42 c INPROCESSING
1332.66/1336.42 c GARBAGE COLLECT
1332.66/1336.42 c #Conflicts: 877000 | #Constraints: 29573
1332.66/1336.42 c #Conflicts: 878000 | #Constraints: 30573
1332.66/1336.42 c #Conflicts: 879000 | #Constraints: 31573
1332.66/1336.42 c #Conflicts: 880000 | #Constraints: 32573
1332.66/1336.42 c #Conflicts: 881000 | #Constraints: 33573
1332.66/1336.42 c #Conflicts: 882000 | #Constraints: 34573
1332.66/1336.42 c #Conflicts: 883000 | #Constraints: 35573
1332.66/1336.42 c #Conflicts: 884000 | #Constraints: 36573
1332.66/1336.42 c #Conflicts: 885000 | #Constraints: 37573
1332.66/1336.42 c #Conflicts: 886000 | #Constraints: 38573
1332.66/1336.42 c #Conflicts: 887000 | #Constraints: 39573
1332.66/1336.42 c #Conflicts: 888000 | #Constraints: 40573
1332.66/1336.42 c #Conflicts: 889000 | #Constraints: 41573
1332.66/1336.42 c #Conflicts: 890000 | #Constraints: 42573
1332.66/1336.42 c #Conflicts: 891000 | #Constraints: 43573
1332.66/1336.42 c #Conflicts: 892000 | #Constraints: 44573
1332.66/1336.42 c #Conflicts: 893000 | #Constraints: 45573
1332.66/1336.42 c #Conflicts: 894000 | #Constraints: 46573
1332.66/1336.42 c #Conflicts: 895000 | #Constraints: 47573
1332.66/1336.42 c #Conflicts: 896000 | #Constraints: 48573
1332.66/1336.42 c #Conflicts: 897000 | #Constraints: 49573
1332.66/1336.42 c INPROCESSING
1332.66/1336.42 c GARBAGE COLLECT
1332.66/1336.42 c rational objective 81
1477.10/1481.21 c #Conflicts: 898000 | #Constraints: 28866
1477.10/1481.21 c #Conflicts: 899000 | #Constraints: 29866
1477.10/1481.21 c #Conflicts: 900000 | #Constraints: 30866
1477.10/1481.21 c #Conflicts: 901000 | #Constraints: 31866
1477.10/1481.21 c #Conflicts: 902000 | #Constraints: 32866
1477.10/1481.21 c #Conflicts: 903000 | #Constraints: 33866
1477.10/1481.21 c #Conflicts: 904000 | #Constraints: 34866
1477.10/1481.21 c #Conflicts: 905000 | #Constraints: 35866
1477.10/1481.21 c #Conflicts: 906000 | #Constraints: 36866
1477.10/1481.21 c #Conflicts: 907000 | #Constraints: 37866
1477.10/1481.21 c #Conflicts: 908000 | #Constraints: 38866
1477.10/1481.21 c #Conflicts: 909000 | #Constraints: 39866
1477.10/1481.21 c #Conflicts: 910000 | #Constraints: 40866
1477.10/1481.21 c #Conflicts: 911000 | #Constraints: 41866
1477.10/1481.21 c #Conflicts: 912000 | #Constraints: 42866
1477.10/1481.21 c #Conflicts: 913000 | #Constraints: 43866
1477.10/1481.21 c #Conflicts: 914000 | #Constraints: 44866
1477.10/1481.21 c #Conflicts: 915000 | #Constraints: 45866
1477.10/1481.21 c #Conflicts: 916000 | #Constraints: 46866
1477.10/1481.21 c #Conflicts: 917000 | #Constraints: 47866
1477.10/1481.21 c INPROCESSING
1477.10/1481.21 c GARBAGE COLLECT
1477.10/1481.21 c #Conflicts: 918000 | #Constraints: 27830
1477.10/1481.21 c #Conflicts: 919000 | #Constraints: 28830
1477.10/1481.21 c #Conflicts: 920000 | #Constraints: 29830
1477.10/1481.21 c #Conflicts: 921000 | #Constraints: 30830
1477.10/1481.21 c #Conflicts: 922000 | #Constraints: 31830
1477.10/1481.21 c #Conflicts: 923000 | #Constraints: 32830
1477.10/1481.21 c #Conflicts: 924000 | #Constraints: 33830
1477.10/1481.21 c #Conflicts: 925000 | #Constraints: 34830
1477.10/1481.21 c #Conflicts: 926000 | #Constraints: 35830
1477.10/1481.21 c #Conflicts: 927000 | #Constraints: 36831
1477.10/1481.21 c #Conflicts: 928000 | #Constraints: 37831
1477.10/1481.21 c #Conflicts: 929000 | #Constraints: 38831
1477.10/1481.21 c #Conflicts: 930000 | #Constraints: 39831
1477.10/1481.21 c #Conflicts: 931000 | #Constraints: 40831
1477.10/1481.21 c #Conflicts: 932000 | #Constraints: 41831
1477.10/1481.21 c #Conflicts: 933000 | #Constraints: 42831
1477.10/1481.21 c #Conflicts: 934000 | #Constraints: 43831
1477.10/1481.21 c #Conflicts: 935000 | #Constraints: 44831
1477.10/1481.21 c #Conflicts: 936000 | #Constraints: 45831
1477.10/1481.21 c #Conflicts: 937000 | #Constraints: 46831
1477.10/1481.21 c #Conflicts: 938000 | #Constraints: 47831
1477.10/1481.21 c #Conflicts: 939000 | #Constraints: 48831
1477.10/1481.21 c #Conflicts: 940000 | #Constraints: 49831
1477.10/1481.21 c #Conflicts: 941000 | #Constraints: 50831
1477.10/1481.21 c #Conflicts: 942000 | #Constraints: 51831
1477.10/1481.21 c #Conflicts: 943000 | #Constraints: 52831
1477.10/1481.21 c #Conflicts: 944000 | #Constraints: 53831
1477.10/1481.21 c #Conflicts: 945000 | #Constraints: 54831
1477.10/1481.21 c #Conflicts: 946000 | #Constraints: 55831
1477.10/1481.21 c #Conflicts: 947000 | #Constraints: 56831
1477.10/1481.21 c #Conflicts: 948000 | #Constraints: 57831
1477.10/1481.21 c #Conflicts: 949000 | #Constraints: 58831
1477.10/1481.21 c #Conflicts: 950000 | #Constraints: 59831
1477.10/1481.21 c #Conflicts: 951000 | #Constraints: 60831
1477.10/1481.21 c #Conflicts: 952000 | #Constraints: 61831
1477.10/1481.21 c #Conflicts: 953000 | #Constraints: 62831
1477.10/1481.21 c #Conflicts: 954000 | #Constraints: 63831
1477.10/1481.21 c #Conflicts: 955000 | #Constraints: 64831
1477.10/1481.21 c #Conflicts: 956000 | #Constraints: 65831
1477.10/1481.21 c #Conflicts: 957000 | #Constraints: 66831
1477.10/1481.21 c #Conflicts: 958000 | #Constraints: 67831
1477.10/1481.21 c #Conflicts: 959000 | #Constraints: 68831
1477.10/1481.21 c #Conflicts: 960000 | #Constraints: 69831
1477.10/1481.21 c #Conflicts: 961000 | #Constraints: 70831
1477.10/1481.21 c #Conflicts: 962000 | #Constraints: 71831
1477.10/1481.21 c #Conflicts: 963000 | #Constraints: 72831
1477.10/1481.21 c #Conflicts: 964000 | #Constraints: 73831
1477.10/1481.21 c #Conflicts: 965000 | #Constraints: 74831
1477.10/1481.21 c #Conflicts: 966000 | #Constraints: 75831
1477.10/1481.21 c #Conflicts: 967000 | #Constraints: 76831
1477.10/1481.21 c #Conflicts: 968000 | #Constraints: 77831
1477.10/1481.21 c #Conflicts: 969000 | #Constraints: 78831
1477.10/1481.21 c #Conflicts: 970000 | #Constraints: 79831
1477.10/1481.21 c #Conflicts: 971000 | #Constraints: 80831
1477.10/1481.21 c #Conflicts: 972000 | #Constraints: 81831
1477.10/1481.21 c #Conflicts: 973000 | #Constraints: 82831
1477.10/1481.21 c #Conflicts: 974000 | #Constraints: 83831
1477.10/1481.21 c #Conflicts: 975000 | #Constraints: 84831
1477.10/1481.21 c #Conflicts: 976000 | #Constraints: 85831
1559.17/1563.53 c #Conflicts: 977000 | #Constraints: 86831
1559.17/1563.53 c #Conflicts: 978000 | #Constraints: 87831
1559.17/1563.53 c #Conflicts: 979000 | #Constraints: 88831
1559.17/1563.53 c #Conflicts: 980000 | #Constraints: 89831
1559.17/1563.53 c #Conflicts: 981000 | #Constraints: 90831
1559.17/1563.53 c #Conflicts: 982000 | #Constraints: 91831
1559.17/1563.53 c #Conflicts: 983000 | #Constraints: 92831
1559.17/1563.53 c #Conflicts: 984000 | #Constraints: 93831
1559.17/1563.53 c #Conflicts: 985000 | #Constraints: 94831
1559.17/1563.53 c #Conflicts: 986000 | #Constraints: 95831
1559.17/1563.53 c #Conflicts: 987000 | #Constraints: 96831
1559.17/1563.53 c #Conflicts: 988000 | #Constraints: 97831
1559.17/1563.53 c #Conflicts: 989000 | #Constraints: 98831
1559.17/1563.53 c #Conflicts: 990000 | #Constraints: 99831
1559.17/1563.53 c #Conflicts: 991000 | #Constraints: 100831
1559.17/1563.53 c #Conflicts: 992000 | #Constraints: 101831
1559.17/1563.53 c #Conflicts: 993000 | #Constraints: 102831
1559.17/1563.53 c #Conflicts: 994000 | #Constraints: 103831
1559.17/1563.53 c #Conflicts: 995000 | #Constraints: 104831
1559.17/1563.53 c #Conflicts: 996000 | #Constraints: 105831
1559.17/1563.53 c #Conflicts: 997000 | #Constraints: 106831
1559.17/1563.53 c #Conflicts: 998000 | #Constraints: 107831
1559.17/1563.53 c INPROCESSING
1559.17/1563.53 c GARBAGE COLLECT
1559.17/1563.53 c rational objective 81
1618.11/1622.60 c #Conflicts: 999000 | #Constraints: 57912
1618.11/1622.60 c #Conflicts: 1000000 | #Constraints: 58912
1618.11/1622.60 c #Conflicts: 1001000 | #Constraints: 59912
1618.11/1622.60 c #Conflicts: 1002000 | #Constraints: 60912
1618.11/1622.60 c #Conflicts: 1003000 | #Constraints: 61912
1618.11/1622.60 c #Conflicts: 1004000 | #Constraints: 62912
1618.11/1622.60 c #Conflicts: 1005000 | #Constraints: 63912
1618.11/1622.60 c #Conflicts: 1006000 | #Constraints: 64912
1618.11/1622.60 c #Conflicts: 1007000 | #Constraints: 65912
1618.11/1622.60 c #Conflicts: 1008000 | #Constraints: 66912
1618.11/1622.60 c #Conflicts: 1009000 | #Constraints: 67912
1618.11/1622.60 c #Conflicts: 1010000 | #Constraints: 68912
1618.11/1622.60 c #Conflicts: 1011000 | #Constraints: 69912
1618.11/1622.60 c #Conflicts: 1012000 | #Constraints: 70912
1618.11/1622.60 c #Conflicts: 1013000 | #Constraints: 71912
1618.11/1622.60 c #Conflicts: 1014000 | #Constraints: 72912
1618.11/1622.60 c #Conflicts: 1015000 | #Constraints: 73912
1618.11/1622.60 c #Conflicts: 1016000 | #Constraints: 74912
1618.11/1622.60 c #Conflicts: 1017000 | #Constraints: 75912
1618.11/1622.60 c #Conflicts: 1018000 | #Constraints: 76912
1618.11/1622.60 c #Conflicts: 1019000 | #Constraints: 77912
1618.11/1622.60 c #Conflicts: 1020000 | #Constraints: 78912
1618.11/1622.60 c INPROCESSING
1618.11/1622.60 c GARBAGE COLLECT
1618.11/1622.60 c rational objective 81
1741.58/1746.40 c #Conflicts: 1021000 | #Constraints: 43582
1741.58/1746.40 c #Conflicts: 1022000 | #Constraints: 44582
1741.58/1746.40 c #Conflicts: 1023000 | #Constraints: 45582
1741.58/1746.40 c #Conflicts: 1024000 | #Constraints: 46582
1741.58/1746.40 c #Conflicts: 1025000 | #Constraints: 47582
1741.58/1746.40 c #Conflicts: 1026000 | #Constraints: 48582
1741.58/1746.40 c #Conflicts: 1027000 | #Constraints: 49582
1741.58/1746.40 c #Conflicts: 1028000 | #Constraints: 50582
1741.58/1746.40 c #Conflicts: 1029000 | #Constraints: 51582
1741.58/1746.40 c #Conflicts: 1030000 | #Constraints: 52582
1741.58/1746.40 c #Conflicts: 1031000 | #Constraints: 53582
1741.58/1746.40 c #Conflicts: 1032000 | #Constraints: 54582
1741.58/1746.40 c #Conflicts: 1033000 | #Constraints: 55582
1741.58/1746.40 c #Conflicts: 1034000 | #Constraints: 56582
1741.58/1746.40 c #Conflicts: 1035000 | #Constraints: 57582
1741.58/1746.40 c #Conflicts: 1036000 | #Constraints: 58582
1741.58/1746.40 c #Conflicts: 1037000 | #Constraints: 59582
1741.58/1746.40 c #Conflicts: 1038000 | #Constraints: 60582
1741.58/1746.40 c #Conflicts: 1039000 | #Constraints: 61582
1741.58/1746.40 c #Conflicts: 1040000 | #Constraints: 62582
1741.58/1746.40 c #Conflicts: 1041000 | #Constraints: 63582
1741.58/1746.40 c INPROCESSING
1741.58/1746.40 c GARBAGE COLLECT
1741.58/1746.40 c #Conflicts: 1042000 | #Constraints: 35390
1741.58/1746.40 c #Conflicts: 1043000 | #Constraints: 36390
1741.58/1746.40 c #Conflicts: 1044000 | #Constraints: 37390
1741.58/1746.40 c #Conflicts: 1045000 | #Constraints: 38390
1741.58/1746.40 c #Conflicts: 1046000 | #Constraints: 39390
1741.58/1746.40 c #Conflicts: 1047000 | #Constraints: 40390
1741.58/1746.40 c #Conflicts: 1048000 | #Constraints: 41390
1741.58/1746.40 c #Conflicts: 1049000 | #Constraints: 42390
1741.58/1746.40 c #Conflicts: 1050000 | #Constraints: 43390
1741.58/1746.40 c #Conflicts: 1051000 | #Constraints: 44390
1741.58/1746.40 c #Conflicts: 1052000 | #Constraints: 45390
1741.58/1746.40 c #Conflicts: 1053000 | #Constraints: 46390
1741.58/1746.40 c #Conflicts: 1054000 | #Constraints: 47390
1741.58/1746.40 c #Conflicts: 1055000 | #Constraints: 48390
1741.58/1746.40 c #Conflicts: 1056000 | #Constraints: 49390
1741.58/1746.40 c #Conflicts: 1057000 | #Constraints: 50390
1741.58/1746.40 c #Conflicts: 1058000 | #Constraints: 51390
1741.58/1746.40 c #Conflicts: 1059000 | #Constraints: 52390
1741.58/1746.40 c #Conflicts: 1060000 | #Constraints: 53390
1741.58/1746.40 c #Conflicts: 1061000 | #Constraints: 54390
1741.58/1746.40 c #Conflicts: 1062000 | #Constraints: 55390
1741.58/1746.40 c #Conflicts: 1063000 | #Constraints: 56390
1741.58/1746.40 c #Conflicts: 1064000 | #Constraints: 57390
1741.58/1746.40 c INPROCESSING
1741.58/1746.40 c GARBAGE COLLECT
1741.58/1746.40 c #Conflicts: 1065000 | #Constraints: 32793
1741.58/1746.40 c #Conflicts: 1066000 | #Constraints: 33793
1741.58/1746.40 c #Conflicts: 1067000 | #Constraints: 34793
1741.58/1746.40 c #Conflicts: 1068000 | #Constraints: 35793
1741.58/1746.40 c #Conflicts: 1069000 | #Constraints: 36793
1741.58/1746.40 c #Conflicts: 1070000 | #Constraints: 37793
1741.58/1746.40 c #Conflicts: 1071000 | #Constraints: 38793
1741.58/1746.40 c #Conflicts: 1072000 | #Constraints: 39793
1741.58/1746.40 c #Conflicts: 1073000 | #Constraints: 40793
1741.58/1746.40 c #Conflicts: 1074000 | #Constraints: 41793
1741.58/1746.40 c #Conflicts: 1075000 | #Constraints: 42793
1741.58/1746.40 c #Conflicts: 1076000 | #Constraints: 43793
1741.58/1746.40 c #Conflicts: 1077000 | #Constraints: 44793
1741.58/1746.40 c #Conflicts: 1078000 | #Constraints: 45793
1741.58/1746.40 c #Conflicts: 1079000 | #Constraints: 46793
1741.58/1746.40 c #Conflicts: 1080000 | #Constraints: 47793
1741.58/1746.40 c #Conflicts: 1081000 | #Constraints: 48793
1741.58/1746.40 c #Conflicts: 1082000 | #Constraints: 49793
1741.58/1746.40 c #Conflicts: 1083000 | #Constraints: 50793
1741.58/1746.40 c #Conflicts: 1084000 | #Constraints: 51793
1741.58/1746.40 c #Conflicts: 1085000 | #Constraints: 52793
1741.58/1746.40 c #Conflicts: 1086000 | #Constraints: 53793
1741.58/1746.40 c INPROCESSING
1741.58/1746.40 c GARBAGE COLLECT
1741.58/1746.40 c rational objective 81
1792.35/1797.32 c #Conflicts: 1087000 | #Constraints: 30914
1792.35/1797.32 c #Conflicts: 1088000 | #Constraints: 31914
1792.35/1797.32 c #Conflicts: 1089000 | #Constraints: 32914
1792.35/1797.32 c #Conflicts: 1090000 | #Constraints: 33914
1792.35/1797.32 c #Conflicts: 1091000 | #Constraints: 34914
1792.35/1797.32 c #Conflicts: 1092000 | #Constraints: 35914
1792.35/1797.32 c #Conflicts: 1093000 | #Constraints: 36914
1792.35/1797.32 c #Conflicts: 1094000 | #Constraints: 37914
1792.35/1797.32 c #Conflicts: 1095000 | #Constraints: 38914
1792.35/1797.32 c #Conflicts: 1096000 | #Constraints: 39914
1792.35/1797.32 c #Conflicts: 1097000 | #Constraints: 40914
1792.35/1797.32 c #Conflicts: 1098000 | #Constraints: 41914
1792.35/1797.32 c #Conflicts: 1099000 | #Constraints: 42914
1792.35/1797.32 c #Conflicts: 1100000 | #Constraints: 43914
1792.35/1797.32 c #Conflicts: 1101000 | #Constraints: 44914
1792.35/1797.32 c #Conflicts: 1102000 | #Constraints: 45914
1792.35/1797.32 c #Conflicts: 1103000 | #Constraints: 46914
1792.35/1797.32 c #Conflicts: 1104000 | #Constraints: 47914
1792.35/1797.32 c #Conflicts: 1105000 | #Constraints: 48914
1792.35/1797.32 c #Conflicts: 1106000 | #Constraints: 49914
1792.35/1797.32 c #Conflicts: 1107000 | #Constraints: 50914
1792.35/1797.32 c #Conflicts: 1108000 | #Constraints: 51914
1792.35/1797.32 c INPROCESSING
1792.35/1797.32 c GARBAGE COLLECT
1792.35/1797.32 c rational objective 81
1919.53/1924.88 c #Conflicts: 1109000 | #Constraints: 29589
1919.53/1924.88 c #Conflicts: 1110000 | #Constraints: 30589
1919.53/1924.88 c #Conflicts: 1111000 | #Constraints: 31589
1919.53/1924.88 c #Conflicts: 1112000 | #Constraints: 32589
1919.53/1924.88 c #Conflicts: 1113000 | #Constraints: 33589
1919.53/1924.88 c #Conflicts: 1114000 | #Constraints: 34589
1919.53/1924.88 c #Conflicts: 1115000 | #Constraints: 35589
1919.53/1924.88 c #Conflicts: 1116000 | #Constraints: 36589
1919.53/1924.88 c #Conflicts: 1117000 | #Constraints: 37589
1919.53/1924.88 c #Conflicts: 1118000 | #Constraints: 38589
1919.53/1924.88 c #Conflicts: 1119000 | #Constraints: 39589
1919.53/1924.88 c #Conflicts: 1120000 | #Constraints: 40589
1919.53/1924.88 c #Conflicts: 1121000 | #Constraints: 41589
1919.53/1924.88 c #Conflicts: 1122000 | #Constraints: 42589
1919.53/1924.88 c #Conflicts: 1123000 | #Constraints: 43589
1919.53/1924.88 c #Conflicts: 1124000 | #Constraints: 44589
1919.53/1924.88 c #Conflicts: 1125000 | #Constraints: 45589
1919.53/1924.88 c #Conflicts: 1126000 | #Constraints: 46589
1919.53/1924.88 c #Conflicts: 1127000 | #Constraints: 47589
1919.53/1924.88 c #Conflicts: 1128000 | #Constraints: 48589
1919.53/1924.88 c #Conflicts: 1129000 | #Constraints: 49589
1919.53/1924.88 c #Conflicts: 1130000 | #Constraints: 50589
1919.53/1924.88 c #Conflicts: 1131000 | #Constraints: 51589
1919.53/1924.88 c INPROCESSING
1919.53/1924.88 c GARBAGE COLLECT
1919.53/1924.88 c #Conflicts: 1132000 | #Constraints: 29639
1919.53/1924.88 c #Conflicts: 1133000 | #Constraints: 30639
1919.53/1924.88 c #Conflicts: 1134000 | #Constraints: 31639
1919.53/1924.88 c #Conflicts: 1135000 | #Constraints: 32640
1919.53/1924.88 c #Conflicts: 1136000 | #Constraints: 33640
1919.53/1924.88 c #Conflicts: 1137000 | #Constraints: 34640
1919.53/1924.88 c #Conflicts: 1138000 | #Constraints: 35640
1919.53/1924.88 c #Conflicts: 1139000 | #Constraints: 36640
1919.53/1924.88 c #Conflicts: 1140000 | #Constraints: 37640
1919.53/1924.88 c #Conflicts: 1141000 | #Constraints: 38640
1919.53/1924.88 c #Conflicts: 1142000 | #Constraints: 39640
1919.53/1924.88 c #Conflicts: 1143000 | #Constraints: 40640
1919.53/1924.88 c #Conflicts: 1144000 | #Constraints: 41640
1919.53/1924.88 c #Conflicts: 1145000 | #Constraints: 42640
1919.53/1924.88 c #Conflicts: 1146000 | #Constraints: 43640
1919.53/1924.88 c #Conflicts: 1147000 | #Constraints: 44640
1919.53/1924.88 c #Conflicts: 1148000 | #Constraints: 45640
1919.53/1924.88 c #Conflicts: 1149000 | #Constraints: 46640
1919.53/1924.88 c #Conflicts: 1150000 | #Constraints: 47640
1919.53/1924.88 c #Conflicts: 1151000 | #Constraints: 48640
1919.53/1924.88 c #Conflicts: 1152000 | #Constraints: 49640
1919.53/1924.88 c #Conflicts: 1153000 | #Constraints: 50640
1919.53/1924.88 c #Conflicts: 1154000 | #Constraints: 51640
1919.53/1924.88 c INPROCESSING
1919.53/1924.88 c GARBAGE COLLECT
1919.53/1924.88 c #Conflicts: 1155000 | #Constraints: 29696
1919.53/1924.88 c #Conflicts: 1156000 | #Constraints: 30696
1919.53/1924.88 c #Conflicts: 1157000 | #Constraints: 31696
1919.53/1924.88 c #Conflicts: 1158000 | #Constraints: 32696
1919.53/1924.88 c #Conflicts: 1159000 | #Constraints: 33696
1919.53/1924.88 c #Conflicts: 1160000 | #Constraints: 34696
1919.53/1924.88 c #Conflicts: 1161000 | #Constraints: 35696
1919.53/1924.88 c #Conflicts: 1162000 | #Constraints: 36696
1919.53/1924.88 c #Conflicts: 1163000 | #Constraints: 37696
1919.53/1924.88 c #Conflicts: 1164000 | #Constraints: 38696
1919.53/1924.88 c #Conflicts: 1165000 | #Constraints: 39696
1919.53/1924.88 c #Conflicts: 1166000 | #Constraints: 40696
1919.53/1924.88 c #Conflicts: 1167000 | #Constraints: 41696
1919.53/1924.88 c #Conflicts: 1168000 | #Constraints: 42696
1919.53/1924.88 c #Conflicts: 1169000 | #Constraints: 43696
1919.53/1924.88 c #Conflicts: 1170000 | #Constraints: 44696
1919.53/1924.88 c #Conflicts: 1171000 | #Constraints: 45696
1919.53/1924.88 c #Conflicts: 1172000 | #Constraints: 46696
1919.53/1924.88 c #Conflicts: 1173000 | #Constraints: 47696
1919.53/1924.88 c #Conflicts: 1174000 | #Constraints: 48696
1919.53/1924.88 c #Conflicts: 1175000 | #Constraints: 49696
1919.53/1924.88 c #Conflicts: 1176000 | #Constraints: 50696
1919.53/1924.88 c #Conflicts: 1177000 | #Constraints: 51696
1919.53/1924.88 c #Conflicts: 1178000 | #Constraints: 52696
1919.53/1924.88 c #Conflicts: 1179000 | #Constraints: 53696
1919.53/1924.88 c #Conflicts: 1180000 | #Constraints: 54696
1919.53/1924.88 c #Conflicts: 1181000 | #Constraints: 55696
1919.53/1924.88 c #Conflicts: 1182000 | #Constraints: 56696
1919.53/1924.88 c #Conflicts: 1183000 | #Constraints: 57696
1919.53/1924.88 c #Conflicts: 1184000 | #Constraints: 58696
1919.53/1924.88 c #Conflicts: 1185000 | #Constraints: 59696
1919.53/1924.88 c #Conflicts: 1186000 | #Constraints: 60696
2159.45/2165.47 c #Conflicts: 1187000 | #Constraints: 61696
2159.45/2165.47 c #Conflicts: 1188000 | #Constraints: 62696
2159.45/2165.47 c #Conflicts: 1189000 | #Constraints: 63696
2159.45/2165.47 c #Conflicts: 1190000 | #Constraints: 64696
2159.45/2165.47 c #Conflicts: 1191000 | #Constraints: 65696
2159.45/2165.47 c #Conflicts: 1192000 | #Constraints: 66696
2159.45/2165.47 c #Conflicts: 1193000 | #Constraints: 67696
2159.45/2165.47 c #Conflicts: 1194000 | #Constraints: 68696
2159.45/2165.47 c #Conflicts: 1195000 | #Constraints: 69696
2159.45/2165.47 c #Conflicts: 1196000 | #Constraints: 70696
2159.45/2165.47 c #Conflicts: 1197000 | #Constraints: 71696
2159.45/2165.47 c #Conflicts: 1198000 | #Constraints: 72696
2159.45/2165.47 c #Conflicts: 1199000 | #Constraints: 73696
2159.45/2165.47 c #Conflicts: 1200000 | #Constraints: 74696
2159.45/2165.47 c #Conflicts: 1201000 | #Constraints: 75696
2159.45/2165.47 c #Conflicts: 1202000 | #Constraints: 76696
2159.45/2165.47 c #Conflicts: 1203000 | #Constraints: 77696
2159.45/2165.47 c #Conflicts: 1204000 | #Constraints: 78696
2159.45/2165.47 c #Conflicts: 1205000 | #Constraints: 79696
2159.45/2165.47 c #Conflicts: 1206000 | #Constraints: 80696
2159.45/2165.47 c #Conflicts: 1207000 | #Constraints: 81696
2159.45/2165.47 c #Conflicts: 1208000 | #Constraints: 82696
2159.45/2165.47 c #Conflicts: 1209000 | #Constraints: 83696
2159.45/2165.47 c #Conflicts: 1210000 | #Constraints: 84696
2159.45/2165.47 c #Conflicts: 1211000 | #Constraints: 85696
2159.45/2165.47 c #Conflicts: 1212000 | #Constraints: 86696
2159.45/2165.47 c #Conflicts: 1213000 | #Constraints: 87696
2159.45/2165.47 c #Conflicts: 1214000 | #Constraints: 88696
2159.45/2165.47 c #Conflicts: 1215000 | #Constraints: 89696
2159.45/2165.47 c #Conflicts: 1216000 | #Constraints: 90696
2159.45/2165.47 c #Conflicts: 1217000 | #Constraints: 91696
2159.45/2165.47 c #Conflicts: 1218000 | #Constraints: 92696
2159.45/2165.47 c #Conflicts: 1219000 | #Constraints: 93696
2159.45/2165.47 c #Conflicts: 1220000 | #Constraints: 94696
2159.45/2165.47 c #Conflicts: 1221000 | #Constraints: 95696
2159.45/2165.47 c #Conflicts: 1222000 | #Constraints: 96696
2159.45/2165.47 c #Conflicts: 1223000 | #Constraints: 97696
2159.45/2165.47 c #Conflicts: 1224000 | #Constraints: 98696
2159.45/2165.47 c #Conflicts: 1225000 | #Constraints: 99696
2159.45/2165.47 c #Conflicts: 1226000 | #Constraints: 100696
2159.45/2165.47 c #Conflicts: 1227000 | #Constraints: 101696
2159.45/2165.47 c #Conflicts: 1228000 | #Constraints: 102696
2159.45/2165.47 c #Conflicts: 1229000 | #Constraints: 103696
2159.45/2165.47 c #Conflicts: 1230000 | #Constraints: 104696
2159.45/2165.47 c #Conflicts: 1231000 | #Constraints: 105696
2159.45/2165.47 c #Conflicts: 1232000 | #Constraints: 106696
2159.45/2165.47 c #Conflicts: 1233000 | #Constraints: 107696
2159.45/2165.47 c #Conflicts: 1234000 | #Constraints: 108696
2159.45/2165.47 c #Conflicts: 1235000 | #Constraints: 109696
2159.45/2165.47 c #Conflicts: 1236000 | #Constraints: 110696
2159.45/2165.47 c #Conflicts: 1237000 | #Constraints: 111696
2159.45/2165.47 c #Conflicts: 1238000 | #Constraints: 112696
2159.45/2165.47 c #Conflicts: 1239000 | #Constraints: 113696
2159.45/2165.47 c #Conflicts: 1240000 | #Constraints: 114696
2159.45/2165.47 c #Conflicts: 1241000 | #Constraints: 115696
2159.45/2165.47 c #Conflicts: 1242000 | #Constraints: 116696
2159.45/2165.47 c #Conflicts: 1243000 | #Constraints: 117696
2159.45/2165.47 c #Conflicts: 1244000 | #Constraints: 118696
2159.45/2165.47 c #Conflicts: 1245000 | #Constraints: 119696
2159.45/2165.47 c INPROCESSING
2159.45/2165.47 c GARBAGE COLLECT
2159.45/2165.47 c rational objective 81
2323.42/2329.80 c #Conflicts: 1246000 | #Constraints: 63909
2323.42/2329.80 c #Conflicts: 1247000 | #Constraints: 64909
2323.42/2329.80 c #Conflicts: 1248000 | #Constraints: 65909
2323.42/2329.80 c #Conflicts: 1249000 | #Constraints: 66909
2323.42/2329.80 c #Conflicts: 1250000 | #Constraints: 67909
2323.42/2329.80 c #Conflicts: 1251000 | #Constraints: 68909
2323.42/2329.80 c #Conflicts: 1252000 | #Constraints: 69909
2323.42/2329.80 c #Conflicts: 1253000 | #Constraints: 70909
2323.42/2329.80 c #Conflicts: 1254000 | #Constraints: 71909
2323.42/2329.80 c #Conflicts: 1255000 | #Constraints: 72909
2323.42/2329.80 c #Conflicts: 1256000 | #Constraints: 73909
2323.42/2329.80 c #Conflicts: 1257000 | #Constraints: 74910
2323.42/2329.80 c #Conflicts: 1258000 | #Constraints: 75910
2323.42/2329.80 c #Conflicts: 1259000 | #Constraints: 76910
2323.42/2329.80 c #Conflicts: 1260000 | #Constraints: 77910
2323.42/2329.80 c #Conflicts: 1261000 | #Constraints: 78910
2323.42/2329.80 c #Conflicts: 1262000 | #Constraints: 79910
2323.42/2329.80 c #Conflicts: 1263000 | #Constraints: 80910
2323.42/2329.80 c #Conflicts: 1264000 | #Constraints: 81910
2323.42/2329.80 c #Conflicts: 1265000 | #Constraints: 82910
2323.42/2329.80 c #Conflicts: 1266000 | #Constraints: 83910
2323.42/2329.80 c #Conflicts: 1267000 | #Constraints: 84910
2323.42/2329.80 c #Conflicts: 1268000 | #Constraints: 85910
2323.42/2329.80 c #Conflicts: 1269000 | #Constraints: 86910
2323.42/2329.80 c INPROCESSING
2323.42/2329.80 c GARBAGE COLLECT
2323.42/2329.80 c #Conflicts: 1270000 | #Constraints: 47499
2323.42/2329.80 c #Conflicts: 1271000 | #Constraints: 48499
2323.42/2329.80 c #Conflicts: 1272000 | #Constraints: 49499
2323.42/2329.80 c #Conflicts: 1273000 | #Constraints: 50499
2323.42/2329.80 c #Conflicts: 1274000 | #Constraints: 51499
2323.42/2329.80 c #Conflicts: 1275000 | #Constraints: 52499
2323.42/2329.80 c #Conflicts: 1276000 | #Constraints: 53499
2323.42/2329.80 c #Conflicts: 1277000 | #Constraints: 54499
2323.42/2329.80 c #Conflicts: 1278000 | #Constraints: 55499
2323.42/2329.80 c #Conflicts: 1279000 | #Constraints: 56499
2323.42/2329.80 c #Conflicts: 1280000 | #Constraints: 57499
2323.42/2329.80 c #Conflicts: 1281000 | #Constraints: 58499
2323.42/2329.80 c #Conflicts: 1282000 | #Constraints: 59499
2323.42/2329.80 c #Conflicts: 1283000 | #Constraints: 60499
2323.42/2329.80 c #Conflicts: 1284000 | #Constraints: 61499
2323.42/2329.80 c #Conflicts: 1285000 | #Constraints: 62499
2323.42/2329.80 c #Conflicts: 1286000 | #Constraints: 63499
2323.42/2329.80 c #Conflicts: 1287000 | #Constraints: 64499
2323.42/2329.80 c #Conflicts: 1288000 | #Constraints: 65499
2323.42/2329.80 c #Conflicts: 1289000 | #Constraints: 66499
2323.42/2329.80 c #Conflicts: 1290000 | #Constraints: 67499
2323.42/2329.80 c #Conflicts: 1291000 | #Constraints: 68499
2323.42/2329.80 c #Conflicts: 1292000 | #Constraints: 69499
2323.42/2329.80 c #Conflicts: 1293000 | #Constraints: 70499
2323.42/2329.80 c INPROCESSING
2323.42/2329.80 c GARBAGE COLLECT
2323.42/2329.80 c #Conflicts: 1294000 | #Constraints: 39034
2323.42/2329.80 c #Conflicts: 1295000 | #Constraints: 40034
2323.42/2329.80 c #Conflicts: 1296000 | #Constraints: 41034
2323.42/2329.80 c #Conflicts: 1297000 | #Constraints: 42034
2323.42/2329.80 c #Conflicts: 1298000 | #Constraints: 43034
2323.42/2329.80 c #Conflicts: 1299000 | #Constraints: 44034
2323.42/2329.80 c #Conflicts: 1300000 | #Constraints: 45034
2323.42/2329.80 c #Conflicts: 1301000 | #Constraints: 46034
2323.42/2329.80 c #Conflicts: 1302000 | #Constraints: 47034
2323.42/2329.80 c #Conflicts: 1303000 | #Constraints: 48034
2323.42/2329.80 c #Conflicts: 1304000 | #Constraints: 49034
2323.42/2329.80 c #Conflicts: 1305000 | #Constraints: 50034
2323.42/2329.80 c #Conflicts: 1306000 | #Constraints: 51034
2323.42/2329.80 c #Conflicts: 1307000 | #Constraints: 52034
2323.42/2329.80 c #Conflicts: 1308000 | #Constraints: 53034
2323.42/2329.80 c #Conflicts: 1309000 | #Constraints: 54034
2323.42/2329.80 c #Conflicts: 1310000 | #Constraints: 55034
2323.42/2329.80 c #Conflicts: 1311000 | #Constraints: 56034
2323.42/2329.80 c #Conflicts: 1312000 | #Constraints: 57034
2323.42/2329.80 c #Conflicts: 1313000 | #Constraints: 58034
2323.42/2329.80 c #Conflicts: 1314000 | #Constraints: 59034
2323.42/2329.80 c #Conflicts: 1315000 | #Constraints: 60034
2323.42/2329.80 c #Conflicts: 1316000 | #Constraints: 61034
2323.42/2329.80 c #Conflicts: 1317000 | #Constraints: 62034
2323.42/2329.80 c #Conflicts: 1318000 | #Constraints: 63034
2323.42/2329.80 c INPROCESSING
2323.42/2329.80 c GARBAGE COLLECT
2323.42/2329.80 c #Conflicts: 1319000 | #Constraints: 35483
2323.42/2329.80 c #Conflicts: 1320000 | #Constraints: 36483
2323.42/2329.80 c #Conflicts: 1321000 | #Constraints: 37483
2323.42/2329.80 c #Conflicts: 1322000 | #Constraints: 38483
2444.42/2451.13 c #Conflicts: 1323000 | #Constraints: 39483
2444.42/2451.13 c #Conflicts: 1324000 | #Constraints: 40483
2444.42/2451.13 c #Conflicts: 1325000 | #Constraints: 41483
2444.42/2451.13 c #Conflicts: 1326000 | #Constraints: 42483
2444.42/2451.13 c #Conflicts: 1327000 | #Constraints: 43483
2444.42/2451.13 c #Conflicts: 1328000 | #Constraints: 44483
2444.42/2451.13 c #Conflicts: 1329000 | #Constraints: 45483
2444.42/2451.13 c #Conflicts: 1330000 | #Constraints: 46483
2444.42/2451.13 c #Conflicts: 1331000 | #Constraints: 47483
2444.42/2451.13 c #Conflicts: 1332000 | #Constraints: 48483
2444.42/2451.13 c #Conflicts: 1333000 | #Constraints: 49483
2444.42/2451.13 c #Conflicts: 1334000 | #Constraints: 50483
2444.42/2451.13 c #Conflicts: 1335000 | #Constraints: 51483
2444.42/2451.13 c #Conflicts: 1336000 | #Constraints: 52483
2444.42/2451.13 c #Conflicts: 1337000 | #Constraints: 53483
2444.42/2451.13 c #Conflicts: 1338000 | #Constraints: 54483
2444.42/2451.13 c #Conflicts: 1339000 | #Constraints: 55483
2444.42/2451.13 c #Conflicts: 1340000 | #Constraints: 56483
2444.42/2451.13 c #Conflicts: 1341000 | #Constraints: 57483
2444.42/2451.13 c #Conflicts: 1342000 | #Constraints: 58483
2444.42/2451.14 c #Conflicts: 1343000 | #Constraints: 59483
2444.42/2451.14 c INPROCESSING
2444.42/2451.14 c GARBAGE COLLECT
2444.42/2451.14 c #Conflicts: 1344000 | #Constraints: 33880
2444.42/2451.14 c #Conflicts: 1345000 | #Constraints: 34880
2444.42/2451.14 c #Conflicts: 1346000 | #Constraints: 35880
2444.42/2451.14 c #Conflicts: 1347000 | #Constraints: 36880
2444.42/2451.14 c #Conflicts: 1348000 | #Constraints: 37880
2444.42/2451.14 c #Conflicts: 1349000 | #Constraints: 38881
2444.42/2451.14 c #Conflicts: 1350000 | #Constraints: 39881
2444.42/2451.14 c #Conflicts: 1351000 | #Constraints: 40881
2444.42/2451.14 c #Conflicts: 1352000 | #Constraints: 41881
2444.42/2451.14 c #Conflicts: 1353000 | #Constraints: 42881
2444.42/2451.14 c #Conflicts: 1354000 | #Constraints: 43881
2444.42/2451.14 c #Conflicts: 1355000 | #Constraints: 44881
2444.42/2451.14 c #Conflicts: 1356000 | #Constraints: 45881
2444.42/2451.14 c #Conflicts: 1357000 | #Constraints: 46881
2444.42/2451.14 c #Conflicts: 1358000 | #Constraints: 47881
2444.42/2451.14 c #Conflicts: 1359000 | #Constraints: 48881
2444.42/2451.14 c #Conflicts: 1360000 | #Constraints: 49881
2444.42/2451.14 c #Conflicts: 1361000 | #Constraints: 50881
2444.42/2451.14 c #Conflicts: 1362000 | #Constraints: 51881
2444.42/2451.14 c #Conflicts: 1363000 | #Constraints: 52881
2444.42/2451.14 c #Conflicts: 1364000 | #Constraints: 53881
2444.42/2451.14 c #Conflicts: 1365000 | #Constraints: 54881
2444.42/2451.14 c #Conflicts: 1366000 | #Constraints: 55881
2444.42/2451.14 c #Conflicts: 1367000 | #Constraints: 56881
2444.42/2451.14 c #Conflicts: 1368000 | #Constraints: 57881
2444.42/2451.14 c INPROCESSING
2444.42/2451.14 c GARBAGE COLLECT
2444.42/2451.14 c #Conflicts: 1369000 | #Constraints: 33016
2444.42/2451.14 c #Conflicts: 1370000 | #Constraints: 34016
2444.42/2451.14 c #Conflicts: 1371000 | #Constraints: 35016
2444.42/2451.14 c #Conflicts: 1372000 | #Constraints: 36016
2444.42/2451.14 c #Conflicts: 1373000 | #Constraints: 37016
2444.42/2451.14 c #Conflicts: 1374000 | #Constraints: 38016
2444.42/2451.14 c #Conflicts: 1375000 | #Constraints: 39017
2444.42/2451.14 c #Conflicts: 1376000 | #Constraints: 40017
2444.42/2451.14 c #Conflicts: 1377000 | #Constraints: 41017
2444.42/2451.14 c #Conflicts: 1378000 | #Constraints: 42017
2444.42/2451.14 c #Conflicts: 1379000 | #Constraints: 43017
2444.42/2451.14 c #Conflicts: 1380000 | #Constraints: 44017
2444.42/2451.14 c #Conflicts: 1381000 | #Constraints: 45018
2444.42/2451.14 c #Conflicts: 1382000 | #Constraints: 46018
2444.42/2451.14 c #Conflicts: 1383000 | #Constraints: 47018
2444.42/2451.14 c #Conflicts: 1384000 | #Constraints: 48019
2444.42/2451.14 c #Conflicts: 1385000 | #Constraints: 49019
2444.42/2451.14 c #Conflicts: 1386000 | #Constraints: 50019
2444.42/2451.14 c #Conflicts: 1387000 | #Constraints: 51020
2444.42/2451.14 c #Conflicts: 1388000 | #Constraints: 52020
2444.42/2451.14 c #Conflicts: 1389000 | #Constraints: 53020
2444.42/2451.14 c #Conflicts: 1390000 | #Constraints: 54021
2444.42/2451.14 c #Conflicts: 1391000 | #Constraints: 55021
2444.42/2451.14 c #Conflicts: 1392000 | #Constraints: 56021
2444.42/2451.14 c #Conflicts: 1393000 | #Constraints: 57021
2444.42/2451.14 c INPROCESSING
2444.42/2451.14 c GARBAGE COLLECT
2444.42/2451.14 c #Conflicts: 1394000 | #Constraints: 32461
2444.42/2451.14 c #Conflicts: 1395000 | #Constraints: 33462
2444.42/2451.14 c #Conflicts: 1396000 | #Constraints: 34462
2444.42/2451.14 c #Conflicts: 1397000 | #Constraints: 35462
2444.42/2451.14 c #Conflicts: 1398000 | #Constraints: 36462
2444.42/2451.14 c #Conflicts: 1399000 | #Constraints: 37462
2669.13/2676.48 c #Conflicts: 1400000 | #Constraints: 38462
2669.13/2676.48 c #Conflicts: 1401000 | #Constraints: 39462
2669.13/2676.48 c #Conflicts: 1402000 | #Constraints: 40462
2669.13/2676.48 c #Conflicts: 1403000 | #Constraints: 41462
2669.13/2676.48 c #Conflicts: 1404000 | #Constraints: 42463
2669.13/2676.48 c #Conflicts: 1405000 | #Constraints: 43463
2669.13/2676.48 c #Conflicts: 1406000 | #Constraints: 44463
2669.13/2676.48 c #Conflicts: 1407000 | #Constraints: 45464
2669.13/2676.48 c #Conflicts: 1408000 | #Constraints: 46464
2669.13/2676.48 c #Conflicts: 1409000 | #Constraints: 47464
2669.13/2676.48 c #Conflicts: 1410000 | #Constraints: 48464
2669.13/2676.48 c #Conflicts: 1411000 | #Constraints: 49465
2669.13/2676.48 c #Conflicts: 1412000 | #Constraints: 50465
2669.13/2676.48 c #Conflicts: 1413000 | #Constraints: 51465
2669.13/2676.48 c #Conflicts: 1414000 | #Constraints: 52465
2669.13/2676.48 c #Conflicts: 1415000 | #Constraints: 53465
2669.13/2676.48 c #Conflicts: 1416000 | #Constraints: 54465
2669.13/2676.48 c #Conflicts: 1417000 | #Constraints: 55465
2669.13/2676.48 c #Conflicts: 1418000 | #Constraints: 56465
2669.13/2676.48 c #Conflicts: 1419000 | #Constraints: 57465
2669.13/2676.48 c #Conflicts: 1420000 | #Constraints: 58465
2669.13/2676.48 c #Conflicts: 1421000 | #Constraints: 59465
2669.13/2676.48 c #Conflicts: 1422000 | #Constraints: 60465
2669.13/2676.48 c #Conflicts: 1423000 | #Constraints: 61465
2669.13/2676.48 c #Conflicts: 1424000 | #Constraints: 62465
2669.13/2676.48 c #Conflicts: 1425000 | #Constraints: 63465
2669.13/2676.48 c #Conflicts: 1426000 | #Constraints: 64465
2669.13/2676.48 c #Conflicts: 1427000 | #Constraints: 65465
2669.13/2676.48 c #Conflicts: 1428000 | #Constraints: 66465
2669.13/2676.48 c #Conflicts: 1429000 | #Constraints: 67465
2669.13/2676.48 c #Conflicts: 1430000 | #Constraints: 68465
2669.13/2676.48 c #Conflicts: 1431000 | #Constraints: 69465
2669.13/2676.48 c #Conflicts: 1432000 | #Constraints: 70465
2669.13/2676.48 c #Conflicts: 1433000 | #Constraints: 71465
2669.13/2676.48 c #Conflicts: 1434000 | #Constraints: 72465
2669.13/2676.48 c #Conflicts: 1435000 | #Constraints: 73465
2669.13/2676.48 c #Conflicts: 1436000 | #Constraints: 74465
2669.13/2676.48 c #Conflicts: 1437000 | #Constraints: 75465
2669.13/2676.48 c #Conflicts: 1438000 | #Constraints: 76465
2669.13/2676.48 c #Conflicts: 1439000 | #Constraints: 77465
2669.13/2676.48 c #Conflicts: 1440000 | #Constraints: 78465
2669.13/2676.48 c #Conflicts: 1441000 | #Constraints: 79465
2669.13/2676.48 c #Conflicts: 1442000 | #Constraints: 80465
2669.13/2676.48 c #Conflicts: 1443000 | #Constraints: 81465
2669.13/2676.48 c #Conflicts: 1444000 | #Constraints: 82465
2669.13/2676.48 c #Conflicts: 1445000 | #Constraints: 83465
2669.13/2676.48 c #Conflicts: 1446000 | #Constraints: 84465
2669.13/2676.48 c #Conflicts: 1447000 | #Constraints: 85465
2669.13/2676.48 c #Conflicts: 1448000 | #Constraints: 86465
2669.13/2676.48 c #Conflicts: 1449000 | #Constraints: 87465
2669.13/2676.48 c #Conflicts: 1450000 | #Constraints: 88465
2669.13/2676.48 c #Conflicts: 1451000 | #Constraints: 89465
2669.13/2676.48 c #Conflicts: 1452000 | #Constraints: 90465
2669.13/2676.48 c #Conflicts: 1453000 | #Constraints: 91465
2669.13/2676.48 c #Conflicts: 1454000 | #Constraints: 92465
2669.13/2676.48 c #Conflicts: 1455000 | #Constraints: 93465
2669.13/2676.48 c #Conflicts: 1456000 | #Constraints: 94465
2669.13/2676.48 c #Conflicts: 1457000 | #Constraints: 95465
2669.13/2676.48 c #Conflicts: 1458000 | #Constraints: 96465
2669.13/2676.48 c #Conflicts: 1459000 | #Constraints: 97465
2669.13/2676.48 c #Conflicts: 1460000 | #Constraints: 98465
2669.13/2676.48 c #Conflicts: 1461000 | #Constraints: 99465
2669.13/2676.48 c #Conflicts: 1462000 | #Constraints: 100465
2669.13/2676.48 c #Conflicts: 1463000 | #Constraints: 101465
2669.13/2676.48 c #Conflicts: 1464000 | #Constraints: 102465
2669.13/2676.48 c #Conflicts: 1465000 | #Constraints: 103465
2669.13/2676.48 c #Conflicts: 1466000 | #Constraints: 104465
2669.13/2676.48 c #Conflicts: 1467000 | #Constraints: 105465
2669.13/2676.48 c #Conflicts: 1468000 | #Constraints: 106465
2669.13/2676.48 c #Conflicts: 1469000 | #Constraints: 107465
2669.13/2676.48 c #Conflicts: 1470000 | #Constraints: 108465
2669.13/2676.48 c #Conflicts: 1471000 | #Constraints: 109465
2669.13/2676.48 c #Conflicts: 1472000 | #Constraints: 110465
2669.13/2676.48 c #Conflicts: 1473000 | #Constraints: 111465
2669.13/2676.48 c #Conflicts: 1474000 | #Constraints: 112465
2669.13/2676.48 c #Conflicts: 1475000 | #Constraints: 113465
2669.13/2676.48 c #Conflicts: 1476000 | #Constraints: 114465
2669.13/2676.48 c #Conflicts: 1477000 | #Constraints: 115465
2669.13/2676.48 c #Conflicts: 1478000 | #Constraints: 116465
2891.18/2899.02 c #Conflicts: 1479000 | #Constraints: 117465
2891.18/2899.02 c #Conflicts: 1480000 | #Constraints: 118465
2891.18/2899.02 c #Conflicts: 1481000 | #Constraints: 119465
2891.18/2899.02 c #Conflicts: 1482000 | #Constraints: 120465
2891.18/2899.02 c #Conflicts: 1483000 | #Constraints: 121465
2891.18/2899.02 c #Conflicts: 1484000 | #Constraints: 122465
2891.18/2899.02 c #Conflicts: 1485000 | #Constraints: 123465
2891.18/2899.02 c #Conflicts: 1486000 | #Constraints: 124465
2891.18/2899.02 c #Conflicts: 1487000 | #Constraints: 125465
2891.18/2899.02 c #Conflicts: 1488000 | #Constraints: 126465
2891.18/2899.02 c #Conflicts: 1489000 | #Constraints: 127465
2891.18/2899.02 c #Conflicts: 1490000 | #Constraints: 128465
2891.18/2899.02 c #Conflicts: 1491000 | #Constraints: 129465
2891.18/2899.02 c #Conflicts: 1492000 | #Constraints: 130465
2891.18/2899.02 c INPROCESSING
2891.18/2899.02 c GARBAGE COLLECT
2891.18/2899.02 c #Conflicts: 1493000 | #Constraints: 69142
2891.18/2899.02 c #Conflicts: 1494000 | #Constraints: 70142
2891.18/2899.02 c #Conflicts: 1495000 | #Constraints: 71142
2891.18/2899.02 c #Conflicts: 1496000 | #Constraints: 72142
2891.18/2899.02 c #Conflicts: 1497000 | #Constraints: 73142
2891.18/2899.02 c #Conflicts: 1498000 | #Constraints: 74142
2891.18/2899.02 c #Conflicts: 1499000 | #Constraints: 75142
2891.18/2899.02 c #Conflicts: 1500000 | #Constraints: 76142
2891.18/2899.02 c #Conflicts: 1501000 | #Constraints: 77142
2891.18/2899.02 c #Conflicts: 1502000 | #Constraints: 78142
2891.18/2899.02 c #Conflicts: 1503000 | #Constraints: 79142
2891.18/2899.02 c #Conflicts: 1504000 | #Constraints: 80142
2891.18/2899.02 c #Conflicts: 1505000 | #Constraints: 81142
2891.18/2899.02 c #Conflicts: 1506000 | #Constraints: 82142
2891.18/2899.02 c #Conflicts: 1507000 | #Constraints: 83142
2891.18/2899.02 c #Conflicts: 1508000 | #Constraints: 84142
2891.18/2899.02 c #Conflicts: 1509000 | #Constraints: 85142
2891.18/2899.02 c #Conflicts: 1510000 | #Constraints: 86142
2891.18/2899.02 c #Conflicts: 1511000 | #Constraints: 87142
2891.18/2899.02 c #Conflicts: 1512000 | #Constraints: 88142
2891.18/2899.02 c #Conflicts: 1513000 | #Constraints: 89142
2891.18/2899.02 c #Conflicts: 1514000 | #Constraints: 90142
2891.18/2899.02 c #Conflicts: 1515000 | #Constraints: 91142
2891.18/2899.02 c #Conflicts: 1516000 | #Constraints: 92142
2891.18/2899.02 c #Conflicts: 1517000 | #Constraints: 93142
2891.18/2899.02 c #Conflicts: 1518000 | #Constraints: 94142
2891.18/2899.02 c INPROCESSING
2891.18/2899.02 c GARBAGE COLLECT
2891.18/2899.02 c #Conflicts: 1519000 | #Constraints: 50736
2891.18/2899.02 c #Conflicts: 1520000 | #Constraints: 51736
2891.18/2899.02 c #Conflicts: 1521000 | #Constraints: 52736
2891.18/2899.02 c #Conflicts: 1522000 | #Constraints: 53736
2891.18/2899.02 c #Conflicts: 1523000 | #Constraints: 54736
2891.18/2899.02 c #Conflicts: 1524000 | #Constraints: 55736
2891.18/2899.02 c #Conflicts: 1525000 | #Constraints: 56736
2891.18/2899.02 c #Conflicts: 1526000 | #Constraints: 57736
2891.18/2899.02 c #Conflicts: 1527000 | #Constraints: 58736
2891.18/2899.02 c #Conflicts: 1528000 | #Constraints: 59736
2891.18/2899.02 c #Conflicts: 1529000 | #Constraints: 60736
2891.18/2899.02 c #Conflicts: 1530000 | #Constraints: 61736
2891.18/2899.02 c #Conflicts: 1531000 | #Constraints: 62736
2891.18/2899.02 c #Conflicts: 1532000 | #Constraints: 63736
2891.18/2899.02 c #Conflicts: 1533000 | #Constraints: 64736
2891.18/2899.02 c #Conflicts: 1534000 | #Constraints: 65736
2891.18/2899.02 c #Conflicts: 1535000 | #Constraints: 66736
2891.18/2899.02 c #Conflicts: 1536000 | #Constraints: 67736
2891.18/2899.02 c #Conflicts: 1537000 | #Constraints: 68736
2891.18/2899.02 c #Conflicts: 1538000 | #Constraints: 69736
2891.18/2899.02 c #Conflicts: 1539000 | #Constraints: 70736
2891.18/2899.02 c #Conflicts: 1540000 | #Constraints: 71736
2891.18/2899.02 c #Conflicts: 1541000 | #Constraints: 72736
2891.18/2899.02 c #Conflicts: 1542000 | #Constraints: 73736
2891.18/2899.02 c #Conflicts: 1543000 | #Constraints: 74736
2891.18/2899.02 c #Conflicts: 1544000 | #Constraints: 75736
2891.18/2899.02 c #Conflicts: 1545000 | #Constraints: 76736
2891.18/2899.02 c INPROCESSING
2891.18/2899.02 c GARBAGE COLLECT
2891.18/2899.02 c #Conflicts: 1546000 | #Constraints: 42236
2891.18/2899.02 c #Conflicts: 1547000 | #Constraints: 43236
2891.18/2899.02 c #Conflicts: 1548000 | #Constraints: 44236
2891.18/2899.02 c #Conflicts: 1549000 | #Constraints: 45236
2891.18/2899.02 c #Conflicts: 1550000 | #Constraints: 46236
2891.18/2899.02 c #Conflicts: 1551000 | #Constraints: 47236
2891.18/2899.02 c #Conflicts: 1552000 | #Constraints: 48236
2891.18/2899.02 c #Conflicts: 1553000 | #Constraints: 49236
2891.18/2899.02 c #Conflicts: 1554000 | #Constraints: 50236
2891.18/2899.02 c #Conflicts: 1555000 | #Constraints: 51236
3040.60/3048.85 c #Conflicts: 1556000 | #Constraints: 52236
3040.60/3048.85 c #Conflicts: 1557000 | #Constraints: 53236
3040.60/3048.85 c #Conflicts: 1558000 | #Constraints: 54236
3040.60/3048.85 c #Conflicts: 1559000 | #Constraints: 55236
3040.60/3048.85 c #Conflicts: 1560000 | #Constraints: 56236
3040.60/3048.85 c #Conflicts: 1561000 | #Constraints: 57236
3040.60/3048.85 c #Conflicts: 1562000 | #Constraints: 58236
3040.60/3048.85 c #Conflicts: 1563000 | #Constraints: 59236
3040.60/3048.85 c #Conflicts: 1564000 | #Constraints: 60236
3040.60/3048.85 c #Conflicts: 1565000 | #Constraints: 61236
3040.60/3048.85 c #Conflicts: 1566000 | #Constraints: 62236
3040.60/3048.85 c #Conflicts: 1567000 | #Constraints: 63236
3040.60/3048.85 c #Conflicts: 1568000 | #Constraints: 64236
3040.60/3048.85 c #Conflicts: 1569000 | #Constraints: 65236
3040.60/3048.85 c #Conflicts: 1570000 | #Constraints: 66236
3040.60/3048.85 c #Conflicts: 1571000 | #Constraints: 67236
3040.60/3048.85 c #Conflicts: 1572000 | #Constraints: 68236
3040.60/3048.85 c INPROCESSING
3040.60/3048.85 c GARBAGE COLLECT
3040.60/3048.85 c #Conflicts: 1573000 | #Constraints: 38071
3040.60/3048.85 c #Conflicts: 1574000 | #Constraints: 39071
3040.60/3048.85 c #Conflicts: 1575000 | #Constraints: 40071
3040.60/3048.85 c #Conflicts: 1576000 | #Constraints: 41071
3040.60/3048.85 c #Conflicts: 1577000 | #Constraints: 42071
3040.60/3048.85 c #Conflicts: 1578000 | #Constraints: 43071
3040.60/3048.85 c #Conflicts: 1579000 | #Constraints: 44071
3040.60/3048.85 c #Conflicts: 1580000 | #Constraints: 45071
3040.60/3048.85 c #Conflicts: 1581000 | #Constraints: 46071
3040.60/3048.85 c #Conflicts: 1582000 | #Constraints: 47071
3040.60/3048.85 c #Conflicts: 1583000 | #Constraints: 48071
3040.60/3048.85 c #Conflicts: 1584000 | #Constraints: 49071
3040.60/3048.85 c #Conflicts: 1585000 | #Constraints: 50071
3040.60/3048.85 c #Conflicts: 1586000 | #Constraints: 51071
3040.60/3048.85 c #Conflicts: 1587000 | #Constraints: 52071
3040.60/3048.85 c #Conflicts: 1588000 | #Constraints: 53071
3040.60/3048.85 c #Conflicts: 1589000 | #Constraints: 54071
3040.60/3048.85 c #Conflicts: 1590000 | #Constraints: 55071
3040.60/3048.85 c #Conflicts: 1591000 | #Constraints: 56071
3040.60/3048.85 c #Conflicts: 1592000 | #Constraints: 57071
3040.60/3048.85 c #Conflicts: 1593000 | #Constraints: 58071
3040.60/3048.85 c #Conflicts: 1594000 | #Constraints: 59071
3040.60/3048.85 c #Conflicts: 1595000 | #Constraints: 60071
3040.60/3048.85 c #Conflicts: 1596000 | #Constraints: 61071
3040.60/3048.85 c #Conflicts: 1597000 | #Constraints: 62071
3040.60/3048.85 c #Conflicts: 1598000 | #Constraints: 63071
3040.60/3048.85 c #Conflicts: 1599000 | #Constraints: 64071
3040.60/3048.85 c INPROCESSING
3040.60/3048.85 c GARBAGE COLLECT
3040.60/3048.85 c #Conflicts: 1600000 | #Constraints: 35841
3040.60/3048.85 c #Conflicts: 1601000 | #Constraints: 36841
3040.60/3048.85 c #Conflicts: 1602000 | #Constraints: 37841
3040.60/3048.85 c #Conflicts: 1603000 | #Constraints: 38841
3040.60/3048.85 c #Conflicts: 1604000 | #Constraints: 39841
3040.60/3048.85 c #Conflicts: 1605000 | #Constraints: 40841
3040.60/3048.85 c #Conflicts: 1606000 | #Constraints: 41841
3040.60/3048.85 c #Conflicts: 1607000 | #Constraints: 42841
3040.60/3048.85 c #Conflicts: 1608000 | #Constraints: 43841
3040.60/3048.85 c #Conflicts: 1609000 | #Constraints: 44841
3040.60/3048.85 c #Conflicts: 1610000 | #Constraints: 45841
3040.60/3048.85 c #Conflicts: 1611000 | #Constraints: 46841
3040.60/3048.85 c #Conflicts: 1612000 | #Constraints: 47841
3040.60/3048.85 c #Conflicts: 1613000 | #Constraints: 48841
3040.60/3048.85 c #Conflicts: 1614000 | #Constraints: 49841
3040.60/3048.85 c #Conflicts: 1615000 | #Constraints: 50841
3040.60/3048.85 c #Conflicts: 1616000 | #Constraints: 51841
3040.60/3048.85 c #Conflicts: 1617000 | #Constraints: 52841
3040.60/3048.85 c #Conflicts: 1618000 | #Constraints: 53841
3040.60/3048.85 c #Conflicts: 1619000 | #Constraints: 54841
3040.60/3048.85 c #Conflicts: 1620000 | #Constraints: 55841
3040.60/3048.85 c #Conflicts: 1621000 | #Constraints: 56841
3040.60/3048.85 c #Conflicts: 1622000 | #Constraints: 57841
3040.60/3048.85 c #Conflicts: 1623000 | #Constraints: 58841
3040.60/3048.85 c #Conflicts: 1624000 | #Constraints: 59841
3040.60/3048.85 c #Conflicts: 1625000 | #Constraints: 60841
3040.60/3048.85 c #Conflicts: 1626000 | #Constraints: 61841
3040.60/3048.85 c INPROCESSING
3040.60/3048.85 c GARBAGE COLLECT
3040.60/3048.85 c #Conflicts: 1627000 | #Constraints: 34633
3040.60/3048.85 c #Conflicts: 1628000 | #Constraints: 35633
3040.60/3048.85 c #Conflicts: 1629000 | #Constraints: 36633
3040.60/3048.85 c #Conflicts: 1630000 | #Constraints: 37633
3040.60/3048.85 c #Conflicts: 1631000 | #Constraints: 38633
3040.60/3048.85 c #Conflicts: 1632000 | #Constraints: 39633
3163.70/3172.24 c #Conflicts: 1633000 | #Constraints: 40633
3163.70/3172.24 c #Conflicts: 1634000 | #Constraints: 41633
3163.70/3172.24 c #Conflicts: 1635000 | #Constraints: 42633
3163.70/3172.24 c #Conflicts: 1636000 | #Constraints: 43633
3163.70/3172.24 c #Conflicts: 1637000 | #Constraints: 44633
3163.70/3172.24 c #Conflicts: 1638000 | #Constraints: 45633
3163.70/3172.24 c #Conflicts: 1639000 | #Constraints: 46633
3163.70/3172.24 c #Conflicts: 1640000 | #Constraints: 47634
3163.70/3172.24 c #Conflicts: 1641000 | #Constraints: 48634
3163.70/3172.24 c #Conflicts: 1642000 | #Constraints: 49634
3163.70/3172.24 c #Conflicts: 1643000 | #Constraints: 50634
3163.70/3172.24 c #Conflicts: 1644000 | #Constraints: 51634
3163.70/3172.24 c #Conflicts: 1645000 | #Constraints: 52634
3163.70/3172.24 c #Conflicts: 1646000 | #Constraints: 53634
3163.70/3172.24 c #Conflicts: 1647000 | #Constraints: 54634
3163.70/3172.24 c #Conflicts: 1648000 | #Constraints: 55634
3163.70/3172.24 c #Conflicts: 1649000 | #Constraints: 56634
3163.70/3172.24 c #Conflicts: 1650000 | #Constraints: 57634
3163.70/3172.24 c #Conflicts: 1651000 | #Constraints: 58634
3163.70/3172.24 c #Conflicts: 1652000 | #Constraints: 59634
3163.70/3172.24 c #Conflicts: 1653000 | #Constraints: 60634
3163.70/3172.24 c #Conflicts: 1654000 | #Constraints: 61634
3163.70/3172.24 c INPROCESSING
3163.70/3172.24 c GARBAGE COLLECT
3163.70/3172.24 c #Conflicts: 1655000 | #Constraints: 34731
3163.70/3172.24 c #Conflicts: 1656000 | #Constraints: 35731
3163.70/3172.24 c #Conflicts: 1657000 | #Constraints: 36731
3163.70/3172.24 c #Conflicts: 1658000 | #Constraints: 37731
3163.70/3172.24 c #Conflicts: 1659000 | #Constraints: 38731
3163.70/3172.24 c #Conflicts: 1660000 | #Constraints: 39731
3163.70/3172.24 c #Conflicts: 1661000 | #Constraints: 40731
3163.70/3172.24 c #Conflicts: 1662000 | #Constraints: 41731
3163.70/3172.24 c #Conflicts: 1663000 | #Constraints: 42731
3163.70/3172.24 c #Conflicts: 1664000 | #Constraints: 43731
3163.70/3172.24 c #Conflicts: 1665000 | #Constraints: 44731
3163.70/3172.24 c #Conflicts: 1666000 | #Constraints: 45731
3163.70/3172.24 c #Conflicts: 1667000 | #Constraints: 46731
3163.70/3172.24 c #Conflicts: 1668000 | #Constraints: 47731
3163.70/3172.24 c #Conflicts: 1669000 | #Constraints: 48731
3163.70/3172.24 c #Conflicts: 1670000 | #Constraints: 49731
3163.70/3172.24 c #Conflicts: 1671000 | #Constraints: 50731
3163.70/3172.24 c #Conflicts: 1672000 | #Constraints: 51731
3163.70/3172.24 c #Conflicts: 1673000 | #Constraints: 52731
3163.70/3172.24 c #Conflicts: 1674000 | #Constraints: 53731
3163.70/3172.24 c #Conflicts: 1675000 | #Constraints: 54731
3163.70/3172.24 c #Conflicts: 1676000 | #Constraints: 55731
3163.70/3172.24 c #Conflicts: 1677000 | #Constraints: 56731
3163.70/3172.24 c #Conflicts: 1678000 | #Constraints: 57731
3163.70/3172.24 c #Conflicts: 1679000 | #Constraints: 58731
3163.70/3172.24 c #Conflicts: 1680000 | #Constraints: 59731
3163.70/3172.24 c #Conflicts: 1681000 | #Constraints: 60731
3163.70/3172.24 c #Conflicts: 1682000 | #Constraints: 61731
3163.70/3172.24 c INPROCESSING
3163.70/3172.24 c GARBAGE COLLECT
3163.70/3172.24 c #Conflicts: 1683000 | #Constraints: 35001
3163.70/3172.24 c #Conflicts: 1684000 | #Constraints: 36001
3163.70/3172.24 c #Conflicts: 1685000 | #Constraints: 37001
3163.70/3172.24 c #Conflicts: 1686000 | #Constraints: 38001
3163.70/3172.24 c #Conflicts: 1687000 | #Constraints: 39001
3163.70/3172.24 c #Conflicts: 1688000 | #Constraints: 40001
3163.70/3172.24 c #Conflicts: 1689000 | #Constraints: 41001
3163.70/3172.24 c #Conflicts: 1690000 | #Constraints: 42001
3163.70/3172.24 c #Conflicts: 1691000 | #Constraints: 43001
3163.70/3172.24 c #Conflicts: 1692000 | #Constraints: 44001
3163.70/3172.24 c #Conflicts: 1693000 | #Constraints: 45001
3163.70/3172.24 c #Conflicts: 1694000 | #Constraints: 46001
3163.70/3172.24 c #Conflicts: 1695000 | #Constraints: 47001
3163.70/3172.24 c #Conflicts: 1696000 | #Constraints: 48001
3163.70/3172.24 c #Conflicts: 1697000 | #Constraints: 49001
3163.70/3172.24 c #Conflicts: 1698000 | #Constraints: 50001
3163.70/3172.24 c #Conflicts: 1699000 | #Constraints: 51001
3163.70/3172.24 c #Conflicts: 1700000 | #Constraints: 52001
3163.70/3172.24 c #Conflicts: 1701000 | #Constraints: 53001
3163.70/3172.24 c #Conflicts: 1702000 | #Constraints: 54001
3163.70/3172.24 c #Conflicts: 1703000 | #Constraints: 55001
3163.70/3172.24 c #Conflicts: 1704000 | #Constraints: 56001
3163.70/3172.24 c #Conflicts: 1705000 | #Constraints: 57001
3163.70/3172.24 c #Conflicts: 1706000 | #Constraints: 58001
3163.70/3172.24 c #Conflicts: 1707000 | #Constraints: 59001
3163.70/3172.24 c #Conflicts: 1708000 | #Constraints: 60001
3163.70/3172.24 c #Conflicts: 1709000 | #Constraints: 61001
3380.45/3389.58 c #Conflicts: 1710000 | #Constraints: 62001
3380.45/3389.58 c INPROCESSING
3380.45/3389.58 c GARBAGE COLLECT
3380.45/3389.58 c #Conflicts: 1711000 | #Constraints: 35084
3380.45/3389.58 c #Conflicts: 1712000 | #Constraints: 36084
3380.45/3389.58 c #Conflicts: 1713000 | #Constraints: 37084
3380.45/3389.58 c #Conflicts: 1714000 | #Constraints: 38084
3380.45/3389.58 c #Conflicts: 1715000 | #Constraints: 39084
3380.45/3389.58 c #Conflicts: 1716000 | #Constraints: 40084
3380.45/3389.58 c #Conflicts: 1717000 | #Constraints: 41084
3380.45/3389.58 c #Conflicts: 1718000 | #Constraints: 42084
3380.45/3389.58 c #Conflicts: 1719000 | #Constraints: 43084
3380.45/3389.58 c #Conflicts: 1720000 | #Constraints: 44084
3380.45/3389.58 c #Conflicts: 1721000 | #Constraints: 45084
3380.45/3389.58 c #Conflicts: 1722000 | #Constraints: 46084
3380.45/3389.58 c #Conflicts: 1723000 | #Constraints: 47084
3380.45/3389.58 c #Conflicts: 1724000 | #Constraints: 48084
3380.45/3389.58 c #Conflicts: 1725000 | #Constraints: 49084
3380.45/3389.58 c #Conflicts: 1726000 | #Constraints: 50084
3380.45/3389.58 c #Conflicts: 1727000 | #Constraints: 51084
3380.45/3389.58 c #Conflicts: 1728000 | #Constraints: 52084
3380.45/3389.58 c #Conflicts: 1729000 | #Constraints: 53084
3380.45/3389.58 c #Conflicts: 1730000 | #Constraints: 54084
3380.45/3389.58 c #Conflicts: 1731000 | #Constraints: 55084
3380.45/3389.58 c #Conflicts: 1732000 | #Constraints: 56084
3380.45/3389.58 c #Conflicts: 1733000 | #Constraints: 57084
3380.45/3389.58 c #Conflicts: 1734000 | #Constraints: 58084
3380.45/3389.58 c #Conflicts: 1735000 | #Constraints: 59084
3380.45/3389.58 c #Conflicts: 1736000 | #Constraints: 60084
3380.45/3389.58 c #Conflicts: 1737000 | #Constraints: 61084
3380.45/3389.58 c #Conflicts: 1738000 | #Constraints: 62084
3380.45/3389.58 c #Conflicts: 1739000 | #Constraints: 63084
3380.45/3389.58 c #Conflicts: 1740000 | #Constraints: 64084
3380.45/3389.58 c #Conflicts: 1741000 | #Constraints: 65084
3380.45/3389.58 c #Conflicts: 1742000 | #Constraints: 66084
3380.45/3389.58 c #Conflicts: 1743000 | #Constraints: 67084
3380.45/3389.58 c #Conflicts: 1744000 | #Constraints: 68084
3380.45/3389.58 c #Conflicts: 1745000 | #Constraints: 69084
3380.45/3389.58 c #Conflicts: 1746000 | #Constraints: 70084
3380.45/3389.58 c #Conflicts: 1747000 | #Constraints: 71084
3380.45/3389.58 c #Conflicts: 1748000 | #Constraints: 72084
3380.45/3389.58 c #Conflicts: 1749000 | #Constraints: 73085
3380.45/3389.58 c #Conflicts: 1750000 | #Constraints: 74085
3380.45/3389.58 c #Conflicts: 1751000 | #Constraints: 75085
3380.45/3389.58 c #Conflicts: 1752000 | #Constraints: 76085
3380.45/3389.58 c #Conflicts: 1753000 | #Constraints: 77085
3380.45/3389.58 c #Conflicts: 1754000 | #Constraints: 78085
3380.45/3389.58 c #Conflicts: 1755000 | #Constraints: 79086
3380.45/3389.58 c #Conflicts: 1756000 | #Constraints: 80086
3380.45/3389.58 c #Conflicts: 1757000 | #Constraints: 81086
3380.45/3389.58 c #Conflicts: 1758000 | #Constraints: 82086
3380.45/3389.58 c #Conflicts: 1759000 | #Constraints: 83086
3380.45/3389.58 c #Conflicts: 1760000 | #Constraints: 84086
3380.45/3389.58 c #Conflicts: 1761000 | #Constraints: 85086
3380.45/3389.58 c #Conflicts: 1762000 | #Constraints: 86086
3380.45/3389.58 c #Conflicts: 1763000 | #Constraints: 87086
3380.45/3389.58 c #Conflicts: 1764000 | #Constraints: 88086
3380.45/3389.58 c #Conflicts: 1765000 | #Constraints: 89086
3380.45/3389.58 c #Conflicts: 1766000 | #Constraints: 90086
3380.45/3389.58 c #Conflicts: 1767000 | #Constraints: 91086
3380.45/3389.58 c #Conflicts: 1768000 | #Constraints: 92086
3380.45/3389.58 c #Conflicts: 1769000 | #Constraints: 93086
3380.45/3389.58 c #Conflicts: 1770000 | #Constraints: 94086
3380.45/3389.58 c #Conflicts: 1771000 | #Constraints: 95086
3380.45/3389.58 c #Conflicts: 1772000 | #Constraints: 96086
3380.45/3389.58 c #Conflicts: 1773000 | #Constraints: 97086
3380.45/3389.58 c #Conflicts: 1774000 | #Constraints: 98086
3380.45/3389.58 c #Conflicts: 1775000 | #Constraints: 99086
3380.45/3389.58 c #Conflicts: 1776000 | #Constraints: 100086
3380.45/3389.58 c #Conflicts: 1777000 | #Constraints: 101086
3380.45/3389.58 c #Conflicts: 1778000 | #Constraints: 102086
3380.45/3389.58 c #Conflicts: 1779000 | #Constraints: 103086
3380.45/3389.58 c #Conflicts: 1780000 | #Constraints: 104086
3380.45/3389.58 c #Conflicts: 1781000 | #Constraints: 105086
3380.45/3389.58 c #Conflicts: 1782000 | #Constraints: 106086
3380.45/3389.58 c #Conflicts: 1783000 | #Constraints: 107086
3380.45/3389.58 c #Conflicts: 1784000 | #Constraints: 108086
3380.45/3389.58 c #Conflicts: 1785000 | #Constraints: 109086
3380.45/3389.58 c #Conflicts: 1786000 | #Constraints: 110086
3380.45/3389.58 c #Conflicts: 1787000 | #Constraints: 111086
3600.06/3609.70 c #Conflicts: 1788000 | #Constraints: 112086
3600.06/3609.70 c #Conflicts: 1789000 | #Constraints: 113086
3600.06/3609.70 c #Conflicts: 1790000 | #Constraints: 114086
3600.06/3609.70 c #Conflicts: 1791000 | #Constraints: 115086
3600.06/3609.70 c #Conflicts: 1792000 | #Constraints: 116086
3600.06/3609.70 c #Conflicts: 1793000 | #Constraints: 117086
3600.06/3609.70 c #Conflicts: 1794000 | #Constraints: 118086
3600.06/3609.70 c #Conflicts: 1795000 | #Constraints: 119086
3600.06/3609.70 c #Conflicts: 1796000 | #Constraints: 120086
3600.06/3609.70 c #Conflicts: 1797000 | #Constraints: 121086
3600.06/3609.70 c #Conflicts: 1798000 | #Constraints: 122086
3600.06/3609.70 c #Conflicts: 1799000 | #Constraints: 123086
3600.06/3609.70 c #Conflicts: 1800000 | #Constraints: 124086
3600.06/3609.70 c #Conflicts: 1801000 | #Constraints: 125086
3600.06/3609.70 c #Conflicts: 1802000 | #Constraints: 126086
3600.06/3609.70 c #Conflicts: 1803000 | #Constraints: 127086
3600.06/3609.70 c #Conflicts: 1804000 | #Constraints: 128086
3600.06/3609.70 c #Conflicts: 1805000 | #Constraints: 129086
3600.06/3609.70 c #Conflicts: 1806000 | #Constraints: 130086
3600.06/3609.70 c #Conflicts: 1807000 | #Constraints: 131086
3600.06/3609.70 c #Conflicts: 1808000 | #Constraints: 132086
3600.06/3609.70 c #Conflicts: 1809000 | #Constraints: 133086
3600.06/3609.70 c #Conflicts: 1810000 | #Constraints: 134086
3600.06/3609.70 c #Conflicts: 1811000 | #Constraints: 135086
3600.06/3609.70 c #Conflicts: 1812000 | #Constraints: 136086
3600.06/3609.70 c #Conflicts: 1813000 | #Constraints: 137086
3600.06/3609.70 c #Conflicts: 1814000 | #Constraints: 138086
3600.06/3609.70 c #Conflicts: 1815000 | #Constraints: 139086
3600.06/3609.70 c #Conflicts: 1816000 | #Constraints: 140086
3600.06/3609.70 c #Conflicts: 1817000 | #Constraints: 141086
3600.06/3609.70 c #Conflicts: 1818000 | #Constraints: 142086
3600.06/3609.70 c #Conflicts: 1819000 | #Constraints: 143086
3600.06/3609.70 c #Conflicts: 1820000 | #Constraints: 144086
3600.06/3609.70 c INPROCESSING
3600.06/3609.70 c GARBAGE COLLECT
3600.06/3609.70 c #Conflicts: 1821000 | #Constraints: 76113
3600.06/3609.70 c #Conflicts: 1822000 | #Constraints: 77113
3600.06/3609.70 c #Conflicts: 1823000 | #Constraints: 78113
3600.06/3609.70 c cpu time 3578.23 s
3600.06/3609.70 c deterministic time 247532570709 2.48e+11
3600.06/3609.70 c optimization time 7.375 s
3600.06/3609.70 c total solve time 3570.82 s
3600.06/3609.70 c core-guided solve time 0 s
3600.06/3609.70 c propagation time 1942.43 s
3600.06/3609.70 c conflict analysis time 1422.87 s
3600.06/3609.70 c propagations 939628986
3600.06/3609.70 c resolve steps 90960462
3600.06/3609.70 c decisions 11135153
3600.06/3609.70 c conflicts 1823255
3600.06/3609.70 c restarts 3575
3600.06/3609.70 c inprocessing phases 91
3600.06/3609.70 c garbage collections 91 ,( 100.00 )
3600.06/3609.70 c input clauses 5591 ,( 98.57 )
3600.06/3609.70 c input cardinalities 81 ,( 1.43 )
3600.06/3609.70 c input general constraints 0 ,( 0.00 )
3600.06/3609.70 c input average constraint length 6.23
3600.06/3609.70 c input average constraint degree 1.94
3600.06/3609.70 c learned clauses 1457142 ,( 79.92 )
3600.06/3609.70 c learned cardinalities 27304 ,( 1.50 )
3600.06/3609.70 c learned general constraints 338842 ,( 18.58 )
3600.06/3609.70 c learned average constraint length 655.14
3600.06/3609.70 c learned average constraint degree 8997062.09
3600.06/3609.70 c watched CF 32, 64, 128, Arb: 117705 , 0 , 0 , 0
3600.06/3609.70 c counting CF 32, 64, 128, Arb: 221137 , 0 , 0 , 0
3600.06/3609.70 c watched constraints 117705 ,( 34.74 )
3600.06/3609.70 c counting constraints 221137 ,( 65.26 )
3600.06/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1701768924 , 599547486 , 3034277577 ,( 128618053 , 2905659524 )
3600.06/3609.70 c gcd simplifications 1064
3600.06/3609.70 c detected cardinalities 1361
3600.06/3609.70 c weakened non-implied lits 352581787
3600.06/3609.70 c weakened non-implying lits 244382
3600.06/3609.70 c original variables 5508
3600.06/3609.70 c clausal propagations 360990560
3600.06/3609.70 c cardinality propagations 340182229
3600.06/3609.70 c watched propagations 4870894
3600.06/3609.70 c counting propagations 227934509
3600.06/3609.70 c watch lookups 141263848649
3600.06/3609.70 c watch backjump lookups 0
3600.06/3609.70 c watch checks 37971675948
3600.06/3609.70 c propagation checks 62003333013
3600.06/3609.70 c constraint additions 4389932402
3600.06/3609.70 c trail pops 952583833
3600.06/3609.70 c formula constraints 5672
3600.06/3609.70 c learned constraints 1823245
3600.06/3609.70 c bound constraints 0
3600.06/3609.70 c core-guided constraints 0
3600.06/3609.70 c encountered formula constraints 56651657
3600.06/3609.70 c encountered learned constraints 36131709
3600.06/3609.70 c encountered bound constraints 0
3600.06/3609.70 c encountered core-guided constraints 0
3600.06/3609.70 c LP total time 200.738 s
3600.06/3609.70 c LP solve time 167.28 s
3600.06/3609.70 c LP constraints added 6999
3600.06/3609.70 c LP constraints removed 1209
3600.06/3609.70 c LP pivots internal 187490
3600.06/3609.70 c LP pivots root 245234
3600.06/3609.70 c LP calls 52
3600.06/3609.70 c LP optimalities 22
3600.06/3609.70 c LP no pivot count 3
3600.06/3609.70 c LP infeasibilities 23
3600.06/3609.70 c LP valid Farkas constraints 23
3600.06/3609.70 c LP learned Farkas constraints 9
3600.06/3609.70 c LP basis resets 0
3600.06/3609.70 c LP cycling count 0
3600.06/3609.70 c LP singular count 0
3600.06/3609.70 c LP no primal count 0
3600.06/3609.70 c LP no farkas count 0
3600.06/3609.70 c LP other issue count 0
3600.06/3609.70 c LP Gomory cuts 11
3600.06/3609.70 c LP learned cuts 1316
3600.06/3609.70 c LP deleted cuts 1209
3600.06/3609.70 c LP encountered Gomory constraints 0
3600.06/3609.70 c LP encountered Farkas constraints 303
3600.06/3609.70 c LP encountered learned Farkas constraints 39
3600.06/3609.70 c CG auxiliary variables introduced 0
3600.06/3609.70 c CG solutions found 0
3600.06/3609.70 c CG cores constructed 0
3600.06/3609.70 c CG core cardinality constraints returned 0
3600.06/3609.70 c CG unit cores 0
3600.06/3609.70 c CG single cores 0
3600.06/3609.70 c CG blocks removed during cardinality reduction 0
3600.06/3609.70 c CG first core best 0
3600.06/3609.70 c CG decision core best 0
3600.06/3609.70 c CG core reduction tie 0
3600.06/3609.70 c CG core degree average 0.00
3600.06/3609.70 c CG core slack average 0.00
3600.06/3609.70 c CG core upper bound improvements 0
3600.06/3609.70 c STR number of successful calls 0
3600.06/3609.70 c STR number of unsuccessful calls 0
3600.06/3609.70 c STR number of inconclusive calls 0
3600.06/3609.70 c STR number of successful attempts 0
3600.06/3609.70 c STR number of unsuccessful attempts 0
3600.06/3609.70 c STR number of inconclusive attempts 0
3600.06/3609.70 c STR average degree increase per successful call inf
3600.06/3609.70 c STR average degree increase per successful attempt inf
3600.06/3609.70 c STR total number of conflicts for successful attempts 0
3600.06/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.70 c STR average number of conflicts per successful attempt inf
3600.06/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.70 c AVG.sumWPerc 58.15
3600.06/3609.70 c bigint constraints 0
3600.06/3609.70 s UNKNOWN
3600.06/3609.70 c Program interrupted by user.
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: 63665 MiB (62520 MiB free)
memory of node 1: 64507 MiB (63537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507517-1751186820/watcher-4507517-1751186820 -o /tmp/evaluation-result-4507517-1751186820/solver-4507517-1751186820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24186 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507517-1751186820.opb PROOFDIR/proof-4507517-1751186820
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24675, runsolver pid=24672
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.05 4.09 4.08 6/272 24677
/proc/meminfo: memFree=129076944/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=70248 memory=24876 CPUtime=0.09 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 4235 0 0 0 8 1 0 0 20 0 1 0 34362242 71933952 6219 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 17562 6219 2272 1147 0 4989 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74440 KiB
Current children cumulated memory: 27692 KiB
[startup+0.205578 s]*
/proc/loadavg: 4.05 4.09 4.08 5/272 24677
/proc/meminfo: memFree=129076188/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=70536 memory=25388 CPUtime=0.19 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 4350 0 0 0 18 1 0 0 20 0 1 0 34362242 72228864 6347 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 17634 6347 2304 1147 0 5061 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74728 KiB
Current children cumulated memory: 28204 KiB
[startup+0.305459 s]*
/proc/loadavg: 4.05 4.09 4.08 5/272 24677
/proc/meminfo: memFree=129075180/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=71172 memory=26284 CPUtime=0.29 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 4555 0 0 0 28 1 0 0 20 0 1 0 34362242 72880128 6571 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 17793 6571 2304 1147 0 5220 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75364 KiB
Current children cumulated memory: 29100 KiB
[startup+0.700183 s]
/proc/loadavg: 4.05 4.09 4.08 5/272 24677
/proc/meminfo: memFree=129069452/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=71352 memory=26540 CPUtime=0.67 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 4610 0 0 0 66 1 0 0 20 0 1 0 34362242 73064448 6635 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 17838 6635 2336 1147 0 5265 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75544 KiB
Current children cumulated memory: 29356 KiB
[startup+1.50016 s]
/proc/loadavg: 4.05 4.09 4.08 5/272 24677
/proc/meminfo: memFree=129057544/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=74268 memory=31756 CPUtime=1.47 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 5395 0 0 0 141 6 0 0 20 0 1 0 34362242 76050432 7939 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 18567 7939 2336 1147 0 5994 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78460 KiB
Current children cumulated memory: 34572 KiB
[startup+3.10542 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 24678
/proc/meminfo: memFree=129030124/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=80088 memory=37052 CPUtime=3.08 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 6194 0 0 0 296 12 0 0 20 0 1 0 34362242 82010112 9263 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 20022 9263 2336 1147 0 7449 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84280 KiB
Current children cumulated memory: 39868 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 24678
/proc/meminfo: memFree=128978108/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=84060 memory=40508 CPUtime=6.26 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 7078 0 0 0 608 18 0 0 20 0 1 0 34362242 86077440 10127 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 21015 10127 2336 1147 0 8442 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 88252 KiB
Current children cumulated memory: 43324 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 24678
/proc/meminfo: memFree=128901188/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=86464 memory=43068 CPUtime=12.65 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 7727 0 0 0 1237 28 0 0 20 0 1 0 34362242 88539136 10767 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 21616 10767 2336 1147 0 9043 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90656 KiB
Current children cumulated memory: 45884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 24678
/proc/meminfo: memFree=128684828/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=95272 memory=51496 CPUtime=25.42 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 9327 0 0 0 2493 49 0 0 20 0 1 0 34362242 97558528 12874 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 23818 12874 2336 1147 0 11245 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 99464 KiB
Current children cumulated memory: 54312 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.11 4.09 5/274 24680
/proc/meminfo: memFree=128252524/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=124764 memory=77168 CPUtime=50.96 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 15196 0 0 0 5006 90 0 0 20 0 1 0 34362242 127758336 19292 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 31191 19292 2368 1147 0 18618 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 128956 KiB
Current children cumulated memory: 79984 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 24684
/proc/meminfo: memFree=127551052/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=174628 memory=114644 CPUtime=102.03 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 21000 0 0 0 10041 162 0 0 20 0 1 0 34362242 178819072 28661 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 43657 28661 2368 1147 0 31084 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 178820 KiB
Current children cumulated memory: 117460 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/274 24686
/proc/meminfo: memFree=126836120/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=233600 memory=176236 CPUtime=161.88 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 27731 0 0 0 15960 228 0 0 20 0 1 0 34362242 239206400 44059 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 58400 44059 2368 1147 0 45827 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 237792 KiB
Current children cumulated memory: 179052 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/274 24690
/proc/meminfo: memFree=126242912/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=293832 memory=242112 CPUtime=221.73 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 30923 0 0 0 21897 276 0 0 20 0 1 0 34362242 300883968 60528 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 73458 60528 2368 1147 0 60885 0
################
# More data... #
################
/proc/24677/statm: 174469 160405 2464 1147 0 161896 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 702068 KiB
Current children cumulated memory: 644436 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 24955
/proc/meminfo: memFree=108839412/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=697876 memory=641620 CPUtime=3153.83 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 72143 0 0 0 313384 1999 0 0 20 0 1 0 34362242 714625024 160405 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 174469 160405 2464 1147 0 161896 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 702068 KiB
Current children cumulated memory: 644436 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/273 24957
/proc/meminfo: memFree=108478344/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=697876 memory=641620 CPUtime=3213.68 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 72193 0 0 0 319335 2033 0 0 20 0 1 0 34362242 714625024 160405 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 174469 160405 2464 1147 0 161896 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 702068 KiB
Current children cumulated memory: 644436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/273 24959
/proc/meminfo: memFree=108135080/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=697876 memory=641620 CPUtime=3273.52 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 72224 0 0 0 325288 2064 0 0 20 0 1 0 34362242 714625024 160405 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 174469 160405 2464 1147 0 161896 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 702068 KiB
Current children cumulated memory: 644436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/272 24963
/proc/meminfo: memFree=107854052/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=698328 memory=641876 CPUtime=3333.37 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 72322 0 0 0 331250 2087 0 0 20 0 1 0 34362242 715087872 160469 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 174582 160469 2464 1147 0 162009 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 702520 KiB
Current children cumulated memory: 644692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/271 24965
/proc/meminfo: memFree=107565140/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=700168 memory=643156 CPUtime=3393.22 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 72646 0 0 0 337214 2108 0 0 20 0 1 0 34362242 716972032 160789 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 175042 160789 2464 1147 0 162469 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 704360 KiB
Current children cumulated memory: 645972 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/270 24967
/proc/meminfo: memFree=107322452/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=706456 memory=647636 CPUtime=3453.07 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 73790 0 0 0 343184 2123 0 0 20 0 1 0 34362242 723410944 161909 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 176614 161909 2464 1147 0 164041 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 710648 KiB
Current children cumulated memory: 650452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/270 24969
/proc/meminfo: memFree=107146624/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=716376 memory=654676 CPUtime=3512.91 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 75582 0 0 0 349153 2138 0 0 20 0 1 0 34362242 733569024 163669 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 179094 163669 2464 1147 0 166521 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 720568 KiB
Current children cumulated memory: 657492 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/270 25109
/proc/meminfo: memFree=119979236/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=947276 memory=676452 CPUtime=3572.74 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 78984 0 0 0 355109 2165 0 0 20 0 1 0 34362242 970010624 169113 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 236819 169113 2464 1147 0 224246 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 951468 KiB
Current children cumulated memory: 679268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.14 4.10 5/271 25111
/proc/meminfo: memFree=119575440/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=947276 memory=676580 CPUtime=3600.06 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 79002 0 0 0 357822 2184 0 0 20 0 1 0 34362242 970010624 169145 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 236819 169145 2464 1147 0 224246 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 951468 KiB
Current children cumulated memory: 679396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 24675 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002018 s
[startup+3609.73 s]
# the end of solver process 24677 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.24 s, system=21.8563 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.15 4.14 4.10 5/271 25111
/proc/meminfo: memFree=119575440/131250000 swapFree=33010684/33010684
[pid=24675] ppid=24672 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24675/stat : 24675 (run-dec-log.sh) S 24672 24675 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34362241 4292608 704 18446744073709551615 94191707508736 94191708403269 140722660134752 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94191708642320 94191708690064 94191726026752 140722660141345 140722660141540 140722660141540 140722660147142 0
/proc/24675/statm: 1048 704 672 219 0 110 0
[pid=24677] ppid=24675 vsize=947276 memory=676580 CPUtime=3600.06 cores=4,6
/proc/24677/stat : 24677 (roundingsat) R 24675 24675 24175 0 -1 4194304 79002 0 0 0 357822 2184 0 0 20 0 1 0 34362242 970010624 169145 18446744073709551615 4227072 8923433 140722907223264 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11616256 140722907232615 140722907232808 140722907232808 140722907238378 0
/proc/24677/statm: 236819 169145 2464 1147 0 224246 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 951468 KiB
Current children cumulated memory: 679396 KiB
Child status: 2
Real time (s): 3609.73
CPU time (s): 3600.09
CPU user time (s): 3578.24
CPU system time (s): 21.8563
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 951468
Max. memory (cumulated for all children) (KiB): 679396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.24
system time used= 21.8563
maximum resident set size= 676708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11199056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398
involuntary context switches= 5362
# summary of solver processes directly reported to runsolver:
# pid: 24675,24677
# total CPU time (s): 3600.09
# total CPU user time (s): 3578.24
# total CPU system time (s): 21.8563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02499 second user time and 16.04 second system time
The end
Begin job on nodeC013 at 2025-06-29 10:47:00
IDJOB=4507517
IDBENCH=158357
IDSOLVER=3352
FILE ID=nodeC013/4507517-1751186820
RUNJOBID= nodeC013-1751183146-24186
SLURM_JOB_ID= 9587568
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507517-1751186820/watcher-4507517-1751186820 -o /tmp/evaluation-result-4507517-1751186820/solver-4507517-1751186820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24186 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507517-1751186820.opb PROOFDIR/proof-4507517-1751186820
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=229063087
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.857
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.352
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.978
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3536.666
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.203
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.138
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129082804 kB
MemAvailable: 129483124 kB
Buffers: 3280 kB
Cached: 1204256 kB
SwapCached: 0 kB
Active: 598068 kB
Inactive: 995344 kB
Active(anon): 399248 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 995344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 199480 kB
Writeback: 0 kB
AnonPages: 389080 kB
Mapped: 111560 kB
Shmem: 13284 kB
KReclaimable: 90392 kB
Slab: 182636 kB
SReclaimable: 90392 kB
SUnreclaim: 92244 kB
KernelStack: 4384 kB
PageTables: 3952 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 740968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC013 at 2025-06-29 11:47:10