0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.04/1.90 c #variables 6664 #constraints 6862
36.23/38.29 c #Conflicts: 1000 | #Constraints: 7861
36.23/38.29 c #Conflicts: 2000 | #Constraints: 8861
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 3000 | #Constraints: 8552
36.23/38.29 c #Conflicts: 4000 | #Constraints: 9552
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 5000 | #Constraints: 9025
36.23/38.29 c #Conflicts: 6000 | #Constraints: 10025
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 7000 | #Constraints: 9062
36.23/38.29 c #Conflicts: 8000 | #Constraints: 10062
36.23/38.29 c #Conflicts: 9000 | #Constraints: 11062
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 10000 | #Constraints: 9805
36.23/38.29 c #Conflicts: 11000 | #Constraints: 10805
36.23/38.29 c #Conflicts: 12000 | #Constraints: 11805
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 13000 | #Constraints: 10297
36.23/38.29 c #Conflicts: 14000 | #Constraints: 11297
36.23/38.29 c #Conflicts: 15000 | #Constraints: 12297
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 16000 | #Constraints: 10578
36.23/38.29 c #Conflicts: 17000 | #Constraints: 11578
36.23/38.29 c #Conflicts: 18000 | #Constraints: 12578
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 19000 | #Constraints: 10626
36.23/38.29 c #Conflicts: 20000 | #Constraints: 11626
36.23/38.29 c #Conflicts: 21000 | #Constraints: 12626
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 22000 | #Constraints: 10442
36.23/38.29 c #Conflicts: 23000 | #Constraints: 11442
36.23/38.29 c #Conflicts: 24000 | #Constraints: 12442
36.23/38.29 c #Conflicts: 25000 | #Constraints: 13442
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 26000 | #Constraints: 11062
36.23/38.29 c #Conflicts: 27000 | #Constraints: 12062
36.23/38.29 c #Conflicts: 28000 | #Constraints: 13062
36.23/38.29 c #Conflicts: 29000 | #Constraints: 14062
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 30000 | #Constraints: 11479
36.23/38.29 c #Conflicts: 31000 | #Constraints: 12479
36.23/38.29 c #Conflicts: 32000 | #Constraints: 13479
36.23/38.29 c #Conflicts: 33000 | #Constraints: 14479
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 34000 | #Constraints: 11685
36.23/38.29 c #Conflicts: 35000 | #Constraints: 12685
36.23/38.29 c #Conflicts: 36000 | #Constraints: 13685
36.23/38.29 c #Conflicts: 37000 | #Constraints: 14685
36.23/38.29 c #Conflicts: 38000 | #Constraints: 15685
36.23/38.29 c #Conflicts: 39000 | #Constraints: 16685
36.23/38.29 c #Conflicts: 40000 | #Constraints: 17685
36.23/38.29 c #Conflicts: 41000 | #Constraints: 18685
36.23/38.29 c #Conflicts: 42000 | #Constraints: 19685
36.23/38.29 c #Conflicts: 43000 | #Constraints: 20685
36.23/38.29 c #Conflicts: 44000 | #Constraints: 21685
36.23/38.29 c #Conflicts: 45000 | #Constraints: 22685
36.23/38.29 c #Conflicts: 46000 | #Constraints: 23685
36.23/38.29 c #Conflicts: 47000 | #Constraints: 24685
36.23/38.29 c #Conflicts: 48000 | #Constraints: 25685
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c #Conflicts: 49000 | #Constraints: 17335
36.23/38.29 c #Conflicts: 50000 | #Constraints: 18335
36.23/38.29 c #Conflicts: 51000 | #Constraints: 19335
36.23/38.29 c #Conflicts: 52000 | #Constraints: 20335
36.23/38.29 c #Conflicts: 53000 | #Constraints: 21335
36.23/38.29 c INPROCESSING
36.23/38.29 c GARBAGE COLLECT
36.23/38.29 c rational objective 98
93.33/95.54 c #Conflicts: 54000 | #Constraints: 15068
93.33/95.54 c #Conflicts: 55000 | #Constraints: 16068
93.33/95.54 c #Conflicts: 56000 | #Constraints: 17068
93.33/95.54 c #Conflicts: 57000 | #Constraints: 18068
93.33/95.54 c #Conflicts: 58000 | #Constraints: 19068
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 59000 | #Constraints: 13669
93.33/95.54 c #Conflicts: 60000 | #Constraints: 14669
93.33/95.54 c #Conflicts: 61000 | #Constraints: 15669
93.33/95.54 c #Conflicts: 62000 | #Constraints: 16669
93.33/95.54 c #Conflicts: 63000 | #Constraints: 17669
93.33/95.54 c #Conflicts: 64000 | #Constraints: 18669
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 65000 | #Constraints: 13591
93.33/95.54 c #Conflicts: 66000 | #Constraints: 14591
93.33/95.54 c #Conflicts: 67000 | #Constraints: 15591
93.33/95.54 c #Conflicts: 68000 | #Constraints: 16591
93.33/95.54 c #Conflicts: 69000 | #Constraints: 17591
93.33/95.54 c #Conflicts: 70000 | #Constraints: 18591
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 71000 | #Constraints: 13667
93.33/95.54 c #Conflicts: 72000 | #Constraints: 14667
93.33/95.54 c #Conflicts: 73000 | #Constraints: 15667
93.33/95.54 c #Conflicts: 74000 | #Constraints: 16667
93.33/95.54 c #Conflicts: 75000 | #Constraints: 17667
93.33/95.54 c #Conflicts: 76000 | #Constraints: 18667
93.33/95.54 c #Conflicts: 77000 | #Constraints: 19667
93.33/95.54 c #Conflicts: 78000 | #Constraints: 20667
93.33/95.54 c #Conflicts: 79000 | #Constraints: 21667
93.33/95.54 c #Conflicts: 80000 | #Constraints: 22667
93.33/95.54 c #Conflicts: 81000 | #Constraints: 23667
93.33/95.54 c #Conflicts: 82000 | #Constraints: 24667
93.33/95.54 c #Conflicts: 83000 | #Constraints: 25667
93.33/95.54 c #Conflicts: 84000 | #Constraints: 26667
93.33/95.54 c #Conflicts: 85000 | #Constraints: 27667
93.33/95.54 c #Conflicts: 86000 | #Constraints: 28667
93.33/95.54 c #Conflicts: 87000 | #Constraints: 29667
93.33/95.54 c #Conflicts: 88000 | #Constraints: 30667
93.33/95.54 c #Conflicts: 89000 | #Constraints: 31667
93.33/95.54 c #Conflicts: 90000 | #Constraints: 32667
93.33/95.54 c #Conflicts: 91000 | #Constraints: 33667
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 92000 | #Constraints: 21037
93.33/95.54 c #Conflicts: 93000 | #Constraints: 22037
93.33/95.54 c #Conflicts: 94000 | #Constraints: 23037
93.33/95.54 c #Conflicts: 95000 | #Constraints: 24037
93.33/95.54 c #Conflicts: 96000 | #Constraints: 25037
93.33/95.54 c #Conflicts: 97000 | #Constraints: 26037
93.33/95.54 c #Conflicts: 98000 | #Constraints: 27037
93.33/95.54 c #Conflicts: 99000 | #Constraints: 28037
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 100000 | #Constraints: 18603
93.33/95.54 c #Conflicts: 101000 | #Constraints: 19603
93.33/95.54 c #Conflicts: 102000 | #Constraints: 20603
93.33/95.54 c #Conflicts: 103000 | #Constraints: 21603
93.33/95.54 c #Conflicts: 104000 | #Constraints: 22603
93.33/95.54 c #Conflicts: 105000 | #Constraints: 23603
93.33/95.54 c #Conflicts: 106000 | #Constraints: 24603
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 107000 | #Constraints: 16698
93.33/95.54 c #Conflicts: 108000 | #Constraints: 17698
93.33/95.54 c #Conflicts: 109000 | #Constraints: 18698
93.33/95.54 c #Conflicts: 110000 | #Constraints: 19698
93.33/95.54 c #Conflicts: 111000 | #Constraints: 20698
93.33/95.54 c #Conflicts: 112000 | #Constraints: 21698
93.33/95.54 c #Conflicts: 113000 | #Constraints: 22698
93.33/95.54 c #Conflicts: 114000 | #Constraints: 23698
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 115000 | #Constraints: 16466
93.33/95.54 c #Conflicts: 116000 | #Constraints: 17466
93.33/95.54 c #Conflicts: 117000 | #Constraints: 18466
93.33/95.54 c #Conflicts: 118000 | #Constraints: 19466
93.33/95.54 c #Conflicts: 119000 | #Constraints: 20466
93.33/95.54 c #Conflicts: 120000 | #Constraints: 21466
93.33/95.54 c #Conflicts: 121000 | #Constraints: 22466
93.33/95.54 c INPROCESSING
93.33/95.54 c GARBAGE COLLECT
93.33/95.54 c #Conflicts: 122000 | #Constraints: 15468
93.33/95.54 c #Conflicts: 123000 | #Constraints: 16468
93.33/95.54 c #Conflicts: 124000 | #Constraints: 17468
93.33/95.54 c #Conflicts: 125000 | #Constraints: 18468
93.33/95.54 c #Conflicts: 126000 | #Constraints: 19468
93.33/95.54 c #Conflicts: 127000 | #Constraints: 20468
136.49/138.85 c #Conflicts: 128000 | #Constraints: 21468
136.49/138.85 c #Conflicts: 129000 | #Constraints: 22468
136.49/138.85 c #Conflicts: 130000 | #Constraints: 23468
136.49/138.85 c #Conflicts: 131000 | #Constraints: 24468
136.49/138.85 c #Conflicts: 132000 | #Constraints: 25468
136.49/138.85 c #Conflicts: 133000 | #Constraints: 26468
136.49/138.85 c #Conflicts: 134000 | #Constraints: 27468
136.49/138.85 c #Conflicts: 135000 | #Constraints: 28468
136.49/138.85 c #Conflicts: 136000 | #Constraints: 29468
136.49/138.85 c #Conflicts: 137000 | #Constraints: 30468
136.49/138.85 c #Conflicts: 138000 | #Constraints: 31468
136.49/138.85 c #Conflicts: 139000 | #Constraints: 32468
136.49/138.85 c #Conflicts: 140000 | #Constraints: 33468
136.49/138.85 c #Conflicts: 141000 | #Constraints: 34468
136.49/138.85 c #Conflicts: 142000 | #Constraints: 35468
136.49/138.85 c #Conflicts: 143000 | #Constraints: 36468
136.49/138.85 c #Conflicts: 144000 | #Constraints: 37468
136.49/138.85 c #Conflicts: 145000 | #Constraints: 38468
136.49/138.85 c #Conflicts: 146000 | #Constraints: 39468
136.49/138.85 c #Conflicts: 147000 | #Constraints: 40468
136.49/138.85 c #Conflicts: 148000 | #Constraints: 41468
136.49/138.85 c #Conflicts: 149000 | #Constraints: 42468
136.49/138.85 c INPROCESSING
136.49/138.85 c GARBAGE COLLECT
136.49/138.85 c #Conflicts: 150000 | #Constraints: 25556
136.49/138.85 c #Conflicts: 151000 | #Constraints: 26556
136.49/138.85 c #Conflicts: 152000 | #Constraints: 27556
136.49/138.85 c #Conflicts: 153000 | #Constraints: 28556
136.49/138.85 c #Conflicts: 154000 | #Constraints: 29556
136.49/138.85 c #Conflicts: 155000 | #Constraints: 30556
136.49/138.85 c #Conflicts: 156000 | #Constraints: 31556
136.49/138.85 c #Conflicts: 157000 | #Constraints: 32556
136.49/138.85 c #Conflicts: 158000 | #Constraints: 33556
136.49/138.85 c INPROCESSING
136.49/138.85 c GARBAGE COLLECT
136.49/138.85 c #Conflicts: 159000 | #Constraints: 21077
136.49/138.85 c #Conflicts: 160000 | #Constraints: 22077
136.49/138.85 c #Conflicts: 161000 | #Constraints: 23077
136.49/138.85 c #Conflicts: 162000 | #Constraints: 24077
136.49/138.85 c #Conflicts: 163000 | #Constraints: 25077
136.49/138.85 c #Conflicts: 164000 | #Constraints: 26077
136.49/138.85 c #Conflicts: 165000 | #Constraints: 27077
136.49/138.85 c #Conflicts: 166000 | #Constraints: 28077
136.49/138.85 c #Conflicts: 167000 | #Constraints: 29077
136.49/138.85 c #Conflicts: 168000 | #Constraints: 30077
136.49/138.85 c INPROCESSING
136.49/138.85 c GARBAGE COLLECT
136.49/138.85 c rational objective 98
149.16/151.54 c #Conflicts: 169000 | #Constraints: 19716
149.16/151.54 c #Conflicts: 170000 | #Constraints: 20716
149.16/151.54 c #Conflicts: 171000 | #Constraints: 21716
149.16/151.54 c #Conflicts: 172000 | #Constraints: 22716
149.16/151.54 c #Conflicts: 173000 | #Constraints: 23716
149.16/151.54 c #Conflicts: 174000 | #Constraints: 24716
149.16/151.54 c #Conflicts: 175000 | #Constraints: 25716
149.16/151.54 c #Conflicts: 176000 | #Constraints: 26716
149.16/151.54 c #Conflicts: 177000 | #Constraints: 27716
149.16/151.54 c INPROCESSING
149.16/151.54 c GARBAGE COLLECT
149.16/151.54 c rational objective 98
238.62/241.27 c #Conflicts: 178000 | #Constraints: 18234
238.62/241.27 c #Conflicts: 179000 | #Constraints: 19234
238.62/241.27 c #Conflicts: 180000 | #Constraints: 20234
238.62/241.27 c #Conflicts: 181000 | #Constraints: 21234
238.62/241.27 c #Conflicts: 182000 | #Constraints: 22234
238.62/241.27 c #Conflicts: 183000 | #Constraints: 23234
238.62/241.27 c #Conflicts: 184000 | #Constraints: 24234
238.62/241.27 c #Conflicts: 185000 | #Constraints: 25234
238.62/241.27 c #Conflicts: 186000 | #Constraints: 26234
238.62/241.27 c #Conflicts: 187000 | #Constraints: 27234
238.62/241.27 c INPROCESSING
238.62/241.27 c GARBAGE COLLECT
238.62/241.27 c #Conflicts: 188000 | #Constraints: 18120
238.62/241.27 c #Conflicts: 189000 | #Constraints: 19120
238.62/241.27 c #Conflicts: 190000 | #Constraints: 20120
238.62/241.27 c #Conflicts: 191000 | #Constraints: 21120
238.62/241.27 c #Conflicts: 192000 | #Constraints: 22120
238.62/241.27 c #Conflicts: 193000 | #Constraints: 23120
238.62/241.27 c #Conflicts: 194000 | #Constraints: 24120
238.62/241.27 c #Conflicts: 195000 | #Constraints: 25120
238.62/241.27 c #Conflicts: 196000 | #Constraints: 26120
238.62/241.27 c #Conflicts: 197000 | #Constraints: 27120
238.62/241.27 c #Conflicts: 198000 | #Constraints: 28120
238.62/241.27 c #Conflicts: 199000 | #Constraints: 29120
238.62/241.27 c #Conflicts: 200000 | #Constraints: 30120
238.62/241.27 c #Conflicts: 201000 | #Constraints: 31120
238.62/241.27 c #Conflicts: 202000 | #Constraints: 32120
238.62/241.27 c #Conflicts: 203000 | #Constraints: 33120
238.62/241.27 c #Conflicts: 204000 | #Constraints: 34120
238.62/241.27 c #Conflicts: 205000 | #Constraints: 35120
238.62/241.27 c #Conflicts: 206000 | #Constraints: 36120
238.62/241.27 c #Conflicts: 207000 | #Constraints: 37120
238.62/241.27 c #Conflicts: 208000 | #Constraints: 38120
238.62/241.27 c #Conflicts: 209000 | #Constraints: 39120
238.62/241.27 c #Conflicts: 210000 | #Constraints: 40120
238.62/241.27 c #Conflicts: 211000 | #Constraints: 41120
238.62/241.27 c #Conflicts: 212000 | #Constraints: 42120
238.62/241.27 c #Conflicts: 213000 | #Constraints: 43120
238.62/241.27 c #Conflicts: 214000 | #Constraints: 44120
238.62/241.27 c #Conflicts: 215000 | #Constraints: 45120
238.62/241.27 c #Conflicts: 216000 | #Constraints: 46120
238.62/241.27 c #Conflicts: 217000 | #Constraints: 47120
238.62/241.27 c #Conflicts: 218000 | #Constraints: 48120
238.62/241.27 c #Conflicts: 219000 | #Constraints: 49120
238.62/241.27 c #Conflicts: 220000 | #Constraints: 50120
238.62/241.27 c #Conflicts: 221000 | #Constraints: 51120
238.62/241.27 c INPROCESSING
238.62/241.27 c GARBAGE COLLECT
238.62/241.27 c #Conflicts: 222000 | #Constraints: 30086
238.62/241.27 c #Conflicts: 223000 | #Constraints: 31086
238.62/241.27 c #Conflicts: 224000 | #Constraints: 32086
238.62/241.27 c #Conflicts: 225000 | #Constraints: 33086
238.62/241.27 c #Conflicts: 226000 | #Constraints: 34086
238.62/241.27 c #Conflicts: 227000 | #Constraints: 35086
238.62/241.27 c #Conflicts: 228000 | #Constraints: 36086
238.62/241.27 c #Conflicts: 229000 | #Constraints: 37086
238.62/241.27 c #Conflicts: 230000 | #Constraints: 38086
238.62/241.27 c #Conflicts: 231000 | #Constraints: 39086
238.62/241.27 c #Conflicts: 232000 | #Constraints: 40086
238.62/241.27 c INPROCESSING
238.62/241.27 c GARBAGE COLLECT
238.62/241.27 c #Conflicts: 233000 | #Constraints: 24524
238.62/241.27 c #Conflicts: 234000 | #Constraints: 25524
238.62/241.27 c #Conflicts: 235000 | #Constraints: 26524
238.62/241.27 c #Conflicts: 236000 | #Constraints: 27524
238.62/241.27 c #Conflicts: 237000 | #Constraints: 28524
238.62/241.27 c #Conflicts: 238000 | #Constraints: 29524
238.62/241.27 c #Conflicts: 239000 | #Constraints: 30524
238.62/241.27 c #Conflicts: 240000 | #Constraints: 31524
238.62/241.27 c #Conflicts: 241000 | #Constraints: 32524
238.62/241.27 c #Conflicts: 242000 | #Constraints: 33524
238.62/241.27 c #Conflicts: 243000 | #Constraints: 34524
238.62/241.27 c INPROCESSING
238.62/241.27 c GARBAGE COLLECT
238.62/241.27 c #Conflicts: 244000 | #Constraints: 21652
238.62/241.27 c #Conflicts: 245000 | #Constraints: 22652
238.62/241.27 c #Conflicts: 246000 | #Constraints: 23652
238.62/241.27 c #Conflicts: 247000 | #Constraints: 24652
238.62/241.27 c #Conflicts: 248000 | #Constraints: 25652
238.62/241.27 c #Conflicts: 249000 | #Constraints: 26652
238.62/241.27 c #Conflicts: 250000 | #Constraints: 27652
238.62/241.27 c #Conflicts: 251000 | #Constraints: 28652
238.62/241.27 c #Conflicts: 252000 | #Constraints: 29652
238.62/241.27 c #Conflicts: 253000 | #Constraints: 30652
238.62/241.27 c #Conflicts: 254000 | #Constraints: 31652
304.94/307.70 c #Conflicts: 255000 | #Constraints: 32652
304.94/307.70 c INPROCESSING
304.94/307.70 c GARBAGE COLLECT
304.94/307.70 c #Conflicts: 256000 | #Constraints: 20954
304.94/307.70 c #Conflicts: 257000 | #Constraints: 21954
304.94/307.70 c #Conflicts: 258000 | #Constraints: 22954
304.94/307.70 c #Conflicts: 259000 | #Constraints: 23954
304.94/307.70 c #Conflicts: 260000 | #Constraints: 24954
304.94/307.70 c #Conflicts: 261000 | #Constraints: 25954
304.94/307.70 c #Conflicts: 262000 | #Constraints: 26954
304.94/307.70 c #Conflicts: 263000 | #Constraints: 27954
304.94/307.70 c #Conflicts: 264000 | #Constraints: 28954
304.94/307.70 c #Conflicts: 265000 | #Constraints: 29954
304.94/307.70 c #Conflicts: 266000 | #Constraints: 30954
304.94/307.70 c INPROCESSING
304.94/307.70 c GARBAGE COLLECT
304.94/307.70 c #Conflicts: 267000 | #Constraints: 19837
304.94/307.70 c #Conflicts: 268000 | #Constraints: 20837
304.94/307.70 c #Conflicts: 269000 | #Constraints: 21837
304.94/307.70 c #Conflicts: 270000 | #Constraints: 22837
304.94/307.70 c #Conflicts: 271000 | #Constraints: 23837
304.94/307.70 c #Conflicts: 272000 | #Constraints: 24837
304.94/307.70 c #Conflicts: 273000 | #Constraints: 25837
304.94/307.70 c #Conflicts: 274000 | #Constraints: 26837
304.94/307.70 c #Conflicts: 275000 | #Constraints: 27837
304.94/307.70 c #Conflicts: 276000 | #Constraints: 28837
304.94/307.70 c #Conflicts: 277000 | #Constraints: 29837
304.94/307.70 c #Conflicts: 278000 | #Constraints: 30837
304.94/307.70 c #Conflicts: 279000 | #Constraints: 31837
304.94/307.70 c #Conflicts: 280000 | #Constraints: 32837
304.94/307.70 c #Conflicts: 281000 | #Constraints: 33837
304.94/307.70 c #Conflicts: 282000 | #Constraints: 34837
304.94/307.70 c #Conflicts: 283000 | #Constraints: 35837
304.94/307.70 c #Conflicts: 284000 | #Constraints: 36837
304.94/307.70 c #Conflicts: 285000 | #Constraints: 37837
304.94/307.70 c #Conflicts: 286000 | #Constraints: 38837
304.94/307.70 c #Conflicts: 287000 | #Constraints: 39837
304.94/307.70 c #Conflicts: 288000 | #Constraints: 40837
304.94/307.70 c #Conflicts: 289000 | #Constraints: 41837
304.94/307.70 c #Conflicts: 290000 | #Constraints: 42837
304.94/307.70 c #Conflicts: 291000 | #Constraints: 43837
304.94/307.70 c #Conflicts: 292000 | #Constraints: 44837
304.94/307.70 c #Conflicts: 293000 | #Constraints: 45837
304.94/307.70 c #Conflicts: 294000 | #Constraints: 46837
304.94/307.70 c #Conflicts: 295000 | #Constraints: 47837
304.94/307.70 c #Conflicts: 296000 | #Constraints: 48837
304.94/307.70 c #Conflicts: 297000 | #Constraints: 49837
304.94/307.70 c #Conflicts: 298000 | #Constraints: 50837
304.94/307.70 c #Conflicts: 299000 | #Constraints: 51837
304.94/307.70 c #Conflicts: 300000 | #Constraints: 52837
304.94/307.70 c #Conflicts: 301000 | #Constraints: 53837
304.94/307.70 c #Conflicts: 302000 | #Constraints: 54837
304.94/307.70 c #Conflicts: 303000 | #Constraints: 55837
304.94/307.70 c #Conflicts: 304000 | #Constraints: 56837
304.94/307.70 c #Conflicts: 305000 | #Constraints: 57837
304.94/307.70 c #Conflicts: 306000 | #Constraints: 58837
304.94/307.70 c #Conflicts: 307000 | #Constraints: 59837
304.94/307.70 c INPROCESSING
304.94/307.70 c GARBAGE COLLECT
304.94/307.70 c rational objective 98
327.59/330.48 c #Conflicts: 308000 | #Constraints: 34542
327.59/330.48 c #Conflicts: 309000 | #Constraints: 35542
327.59/330.48 c #Conflicts: 310000 | #Constraints: 36542
327.59/330.48 c #Conflicts: 311000 | #Constraints: 37542
327.59/330.48 c #Conflicts: 312000 | #Constraints: 38542
327.59/330.48 c #Conflicts: 313000 | #Constraints: 39542
327.59/330.48 c #Conflicts: 314000 | #Constraints: 40542
327.59/330.48 c #Conflicts: 315000 | #Constraints: 41542
327.59/330.48 c #Conflicts: 316000 | #Constraints: 42542
327.59/330.48 c #Conflicts: 317000 | #Constraints: 43542
327.59/330.48 c #Conflicts: 318000 | #Constraints: 44542
327.59/330.48 c #Conflicts: 319000 | #Constraints: 45542
327.59/330.48 c #Conflicts: 320000 | #Constraints: 46542
327.59/330.48 c INPROCESSING
327.59/330.48 c GARBAGE COLLECT
327.59/330.48 c rational objective 98
420.12/423.29 c #Conflicts: 321000 | #Constraints: 28031
420.12/423.29 c #Conflicts: 322000 | #Constraints: 29031
420.12/423.29 c #Conflicts: 323000 | #Constraints: 30031
420.12/423.29 c #Conflicts: 324000 | #Constraints: 31031
420.12/423.29 c #Conflicts: 325000 | #Constraints: 32031
420.12/423.29 c #Conflicts: 326000 | #Constraints: 33031
420.12/423.29 c #Conflicts: 327000 | #Constraints: 34031
420.12/423.29 c #Conflicts: 328000 | #Constraints: 35031
420.12/423.29 c #Conflicts: 329000 | #Constraints: 36031
420.12/423.29 c #Conflicts: 330000 | #Constraints: 37031
420.12/423.29 c #Conflicts: 331000 | #Constraints: 38031
420.12/423.29 c #Conflicts: 332000 | #Constraints: 39031
420.12/423.29 c #Conflicts: 333000 | #Constraints: 40031
420.12/423.29 c INPROCESSING
420.12/423.29 c GARBAGE COLLECT
420.12/423.29 c #Conflicts: 334000 | #Constraints: 24678
420.12/423.29 c #Conflicts: 335000 | #Constraints: 25678
420.12/423.29 c #Conflicts: 336000 | #Constraints: 26678
420.12/423.29 c #Conflicts: 337000 | #Constraints: 27678
420.12/423.29 c #Conflicts: 338000 | #Constraints: 28678
420.12/423.29 c #Conflicts: 339000 | #Constraints: 29678
420.12/423.29 c #Conflicts: 340000 | #Constraints: 30678
420.12/423.29 c #Conflicts: 341000 | #Constraints: 31678
420.12/423.29 c #Conflicts: 342000 | #Constraints: 32678
420.12/423.29 c #Conflicts: 343000 | #Constraints: 33678
420.12/423.29 c #Conflicts: 344000 | #Constraints: 34678
420.12/423.29 c #Conflicts: 345000 | #Constraints: 35678
420.12/423.29 c #Conflicts: 346000 | #Constraints: 36678
420.12/423.29 c INPROCESSING
420.12/423.29 c GARBAGE COLLECT
420.12/423.29 c #Conflicts: 347000 | #Constraints: 22884
420.12/423.29 c #Conflicts: 348000 | #Constraints: 23884
420.12/423.29 c #Conflicts: 349000 | #Constraints: 24884
420.12/423.29 c #Conflicts: 350000 | #Constraints: 25884
420.12/423.29 c #Conflicts: 351000 | #Constraints: 26884
420.12/423.29 c #Conflicts: 352000 | #Constraints: 27884
420.12/423.29 c #Conflicts: 353000 | #Constraints: 28884
420.12/423.29 c #Conflicts: 354000 | #Constraints: 29884
420.12/423.29 c #Conflicts: 355000 | #Constraints: 30884
420.12/423.29 c #Conflicts: 356000 | #Constraints: 31884
420.12/423.29 c #Conflicts: 357000 | #Constraints: 32884
420.12/423.29 c #Conflicts: 358000 | #Constraints: 33884
420.12/423.29 c #Conflicts: 359000 | #Constraints: 34884
420.12/423.29 c #Conflicts: 360000 | #Constraints: 35884
420.12/423.29 c INPROCESSING
420.12/423.29 c GARBAGE COLLECT
420.12/423.29 c #Conflicts: 361000 | #Constraints: 22711
420.12/423.29 c #Conflicts: 362000 | #Constraints: 23711
420.12/423.29 c #Conflicts: 363000 | #Constraints: 24711
420.12/423.29 c #Conflicts: 364000 | #Constraints: 25711
420.12/423.29 c #Conflicts: 365000 | #Constraints: 26711
420.12/423.29 c #Conflicts: 366000 | #Constraints: 27711
420.12/423.29 c #Conflicts: 367000 | #Constraints: 28711
420.12/423.29 c #Conflicts: 368000 | #Constraints: 29711
420.12/423.29 c #Conflicts: 369000 | #Constraints: 30711
420.12/423.29 c #Conflicts: 370000 | #Constraints: 31711
420.12/423.29 c #Conflicts: 371000 | #Constraints: 32711
420.12/423.29 c #Conflicts: 372000 | #Constraints: 33711
420.12/423.29 c #Conflicts: 373000 | #Constraints: 34711
420.12/423.29 c #Conflicts: 374000 | #Constraints: 35711
420.12/423.29 c #Conflicts: 375000 | #Constraints: 36711
420.12/423.29 c #Conflicts: 376000 | #Constraints: 37711
420.12/423.29 c #Conflicts: 377000 | #Constraints: 38711
420.12/423.29 c #Conflicts: 378000 | #Constraints: 39711
420.12/423.29 c #Conflicts: 379000 | #Constraints: 40711
420.12/423.29 c #Conflicts: 380000 | #Constraints: 41711
420.12/423.29 c #Conflicts: 381000 | #Constraints: 42711
420.12/423.29 c #Conflicts: 382000 | #Constraints: 43711
420.12/423.29 c #Conflicts: 383000 | #Constraints: 44711
420.12/423.29 c #Conflicts: 384000 | #Constraints: 45711
420.12/423.29 c #Conflicts: 385000 | #Constraints: 46711
420.12/423.29 c #Conflicts: 386000 | #Constraints: 47711
420.12/423.29 c #Conflicts: 387000 | #Constraints: 48711
420.12/423.29 c #Conflicts: 388000 | #Constraints: 49711
420.12/423.29 c #Conflicts: 389000 | #Constraints: 50711
420.12/423.29 c #Conflicts: 390000 | #Constraints: 51711
420.12/423.29 c #Conflicts: 391000 | #Constraints: 52711
420.12/423.29 c #Conflicts: 392000 | #Constraints: 53711
420.12/423.29 c #Conflicts: 393000 | #Constraints: 54711
420.12/423.29 c #Conflicts: 394000 | #Constraints: 55711
420.12/423.29 c #Conflicts: 395000 | #Constraints: 56711
420.12/423.29 c #Conflicts: 396000 | #Constraints: 57711
420.12/423.29 c #Conflicts: 397000 | #Constraints: 58711
483.05/486.35 c #Conflicts: 398000 | #Constraints: 59711
483.05/486.35 c #Conflicts: 399000 | #Constraints: 60711
483.05/486.35 c #Conflicts: 400000 | #Constraints: 61711
483.05/486.35 c #Conflicts: 401000 | #Constraints: 62711
483.05/486.35 c #Conflicts: 402000 | #Constraints: 63711
483.05/486.35 c #Conflicts: 403000 | #Constraints: 64711
483.05/486.35 c #Conflicts: 404000 | #Constraints: 65711
483.05/486.35 c #Conflicts: 405000 | #Constraints: 66711
483.05/486.35 c #Conflicts: 406000 | #Constraints: 67711
483.05/486.35 c #Conflicts: 407000 | #Constraints: 68711
483.05/486.35 c INPROCESSING
483.05/486.35 c GARBAGE COLLECT
483.05/486.35 c #Conflicts: 408000 | #Constraints: 39096
483.05/486.35 c #Conflicts: 409000 | #Constraints: 40096
483.05/486.35 c #Conflicts: 410000 | #Constraints: 41096
483.05/486.35 c #Conflicts: 411000 | #Constraints: 42096
483.05/486.35 c #Conflicts: 412000 | #Constraints: 43096
483.05/486.35 c #Conflicts: 413000 | #Constraints: 44096
483.05/486.35 c #Conflicts: 414000 | #Constraints: 45096
483.05/486.35 c #Conflicts: 415000 | #Constraints: 46096
483.05/486.35 c #Conflicts: 416000 | #Constraints: 47096
483.05/486.35 c #Conflicts: 417000 | #Constraints: 48096
483.05/486.35 c #Conflicts: 418000 | #Constraints: 49096
483.05/486.35 c #Conflicts: 419000 | #Constraints: 50096
483.05/486.35 c #Conflicts: 420000 | #Constraints: 51096
483.05/486.35 c #Conflicts: 421000 | #Constraints: 52096
483.05/486.35 c INPROCESSING
483.05/486.35 c GARBAGE COLLECT
483.05/486.35 c #Conflicts: 422000 | #Constraints: 30414
483.05/486.35 c #Conflicts: 423000 | #Constraints: 31414
483.05/486.35 c #Conflicts: 424000 | #Constraints: 32414
483.05/486.35 c #Conflicts: 425000 | #Constraints: 33414
483.05/486.35 c #Conflicts: 426000 | #Constraints: 34414
483.05/486.35 c #Conflicts: 427000 | #Constraints: 35414
483.05/486.35 c #Conflicts: 428000 | #Constraints: 36414
483.05/486.35 c #Conflicts: 429000 | #Constraints: 37414
483.05/486.35 c #Conflicts: 430000 | #Constraints: 38414
483.05/486.35 c #Conflicts: 431000 | #Constraints: 39414
483.05/486.35 c #Conflicts: 432000 | #Constraints: 40414
483.05/486.35 c #Conflicts: 433000 | #Constraints: 41414
483.05/486.35 c #Conflicts: 434000 | #Constraints: 42414
483.05/486.35 c #Conflicts: 435000 | #Constraints: 43414
483.05/486.35 c #Conflicts: 436000 | #Constraints: 44414
483.05/486.35 c INPROCESSING
483.05/486.35 c GARBAGE COLLECT
483.05/486.35 c rational objective 98
508.19/511.55 c #Conflicts: 437000 | #Constraints: 26653
508.19/511.55 c #Conflicts: 438000 | #Constraints: 27653
508.19/511.55 c #Conflicts: 439000 | #Constraints: 28653
508.19/511.55 c #Conflicts: 440000 | #Constraints: 29653
508.19/511.55 c #Conflicts: 441000 | #Constraints: 30653
508.19/511.55 c #Conflicts: 442000 | #Constraints: 31653
508.19/511.55 c #Conflicts: 443000 | #Constraints: 32653
508.19/511.55 c #Conflicts: 444000 | #Constraints: 33653
508.19/511.55 c #Conflicts: 445000 | #Constraints: 34653
508.19/511.55 c #Conflicts: 446000 | #Constraints: 35653
508.19/511.55 c #Conflicts: 447000 | #Constraints: 36653
508.19/511.55 c #Conflicts: 448000 | #Constraints: 37653
508.19/511.55 c #Conflicts: 449000 | #Constraints: 38653
508.19/511.55 c #Conflicts: 450000 | #Constraints: 39653
508.19/511.55 c #Conflicts: 451000 | #Constraints: 40653
508.19/511.55 c #Conflicts: 452000 | #Constraints: 41653
508.19/511.55 c INPROCESSING
508.19/511.55 c GARBAGE COLLECT
508.19/511.55 c rational objective 98
635.52/639.27 c #Conflicts: 453000 | #Constraints: 25583
635.52/639.27 c #Conflicts: 454000 | #Constraints: 26583
635.52/639.27 c #Conflicts: 455000 | #Constraints: 27583
635.52/639.27 c #Conflicts: 456000 | #Constraints: 28583
635.52/639.27 c #Conflicts: 457000 | #Constraints: 29583
635.52/639.27 c #Conflicts: 458000 | #Constraints: 30583
635.52/639.27 c #Conflicts: 459000 | #Constraints: 31583
635.52/639.27 c #Conflicts: 460000 | #Constraints: 32583
635.52/639.27 c #Conflicts: 461000 | #Constraints: 33583
635.52/639.27 c #Conflicts: 462000 | #Constraints: 34583
635.52/639.27 c #Conflicts: 463000 | #Constraints: 35583
635.52/639.27 c #Conflicts: 464000 | #Constraints: 36583
635.52/639.27 c #Conflicts: 465000 | #Constraints: 37583
635.52/639.27 c #Conflicts: 466000 | #Constraints: 38583
635.52/639.27 c #Conflicts: 467000 | #Constraints: 39583
635.52/639.27 c INPROCESSING
635.52/639.27 c GARBAGE COLLECT
635.52/639.27 c #Conflicts: 468000 | #Constraints: 24376
635.52/639.27 c #Conflicts: 469000 | #Constraints: 25376
635.52/639.27 c #Conflicts: 470000 | #Constraints: 26376
635.52/639.27 c #Conflicts: 471000 | #Constraints: 27376
635.52/639.27 c #Conflicts: 472000 | #Constraints: 28376
635.52/639.27 c #Conflicts: 473000 | #Constraints: 29376
635.52/639.27 c #Conflicts: 474000 | #Constraints: 30376
635.52/639.27 c #Conflicts: 475000 | #Constraints: 31376
635.52/639.27 c #Conflicts: 476000 | #Constraints: 32376
635.52/639.27 c #Conflicts: 477000 | #Constraints: 33376
635.52/639.27 c #Conflicts: 478000 | #Constraints: 34376
635.52/639.27 c #Conflicts: 479000 | #Constraints: 35376
635.52/639.27 c #Conflicts: 480000 | #Constraints: 36376
635.52/639.27 c #Conflicts: 481000 | #Constraints: 37376
635.52/639.27 c #Conflicts: 482000 | #Constraints: 38376
635.52/639.27 c #Conflicts: 483000 | #Constraints: 39376
635.52/639.27 c #Conflicts: 484000 | #Constraints: 40376
635.52/639.27 c #Conflicts: 485000 | #Constraints: 41376
635.52/639.27 c #Conflicts: 486000 | #Constraints: 42376
635.52/639.27 c #Conflicts: 487000 | #Constraints: 43376
635.52/639.27 c #Conflicts: 488000 | #Constraints: 44376
635.52/639.27 c #Conflicts: 489000 | #Constraints: 45376
635.52/639.27 c #Conflicts: 490000 | #Constraints: 46376
635.52/639.27 c #Conflicts: 491000 | #Constraints: 47376
635.52/639.27 c #Conflicts: 492000 | #Constraints: 48376
635.52/639.27 c #Conflicts: 493000 | #Constraints: 49376
635.52/639.27 c #Conflicts: 494000 | #Constraints: 50376
635.52/639.27 c #Conflicts: 495000 | #Constraints: 51376
635.52/639.27 c #Conflicts: 496000 | #Constraints: 52376
635.52/639.27 c #Conflicts: 497000 | #Constraints: 53376
635.52/639.27 c #Conflicts: 498000 | #Constraints: 54376
635.52/639.27 c #Conflicts: 499000 | #Constraints: 55376
635.52/639.27 c #Conflicts: 500000 | #Constraints: 56376
635.52/639.27 c #Conflicts: 501000 | #Constraints: 57376
635.52/639.27 c #Conflicts: 502000 | #Constraints: 58376
635.52/639.27 c #Conflicts: 503000 | #Constraints: 59376
635.52/639.27 c #Conflicts: 504000 | #Constraints: 60376
635.52/639.27 c #Conflicts: 505000 | #Constraints: 61376
635.52/639.27 c #Conflicts: 506000 | #Constraints: 62376
635.52/639.27 c #Conflicts: 507000 | #Constraints: 63376
635.52/639.27 c #Conflicts: 508000 | #Constraints: 64376
635.52/639.27 c #Conflicts: 509000 | #Constraints: 65376
635.52/639.27 c #Conflicts: 510000 | #Constraints: 66376
635.52/639.27 c #Conflicts: 511000 | #Constraints: 67376
635.52/639.27 c #Conflicts: 512000 | #Constraints: 68376
635.52/639.27 c #Conflicts: 513000 | #Constraints: 69376
635.52/639.27 c #Conflicts: 514000 | #Constraints: 70376
635.52/639.27 c #Conflicts: 515000 | #Constraints: 71376
635.52/639.27 c #Conflicts: 516000 | #Constraints: 72376
635.52/639.27 c #Conflicts: 517000 | #Constraints: 73376
635.52/639.27 c #Conflicts: 518000 | #Constraints: 74376
635.52/639.27 c #Conflicts: 519000 | #Constraints: 75376
635.52/639.27 c #Conflicts: 520000 | #Constraints: 76376
635.52/639.27 c INPROCESSING
635.52/639.27 c GARBAGE COLLECT
635.52/639.27 c #Conflicts: 521000 | #Constraints: 42523
635.52/639.27 c #Conflicts: 522000 | #Constraints: 43523
635.52/639.27 c #Conflicts: 523000 | #Constraints: 44523
635.52/639.27 c #Conflicts: 524000 | #Constraints: 45523
635.52/639.27 c #Conflicts: 525000 | #Constraints: 46523
635.52/639.27 c #Conflicts: 526000 | #Constraints: 47523
635.52/639.27 c #Conflicts: 527000 | #Constraints: 48523
635.52/639.27 c #Conflicts: 528000 | #Constraints: 49523
635.52/639.27 c #Conflicts: 529000 | #Constraints: 50523
635.52/639.27 c #Conflicts: 530000 | #Constraints: 51523
687.26/691.13 c #Conflicts: 531000 | #Constraints: 52523
687.26/691.13 c #Conflicts: 532000 | #Constraints: 53523
687.26/691.13 c #Conflicts: 533000 | #Constraints: 54523
687.26/691.13 c #Conflicts: 534000 | #Constraints: 55523
687.26/691.13 c #Conflicts: 535000 | #Constraints: 56523
687.26/691.13 c #Conflicts: 536000 | #Constraints: 57523
687.26/691.13 c #Conflicts: 537000 | #Constraints: 58523
687.26/691.13 c INPROCESSING
687.26/691.13 c GARBAGE COLLECT
687.26/691.13 c #Conflicts: 538000 | #Constraints: 33835
687.26/691.13 c #Conflicts: 539000 | #Constraints: 34835
687.26/691.13 c #Conflicts: 540000 | #Constraints: 35835
687.26/691.13 c #Conflicts: 541000 | #Constraints: 36835
687.26/691.13 c #Conflicts: 542000 | #Constraints: 37835
687.26/691.13 c #Conflicts: 543000 | #Constraints: 38835
687.26/691.13 c #Conflicts: 544000 | #Constraints: 39835
687.26/691.13 c #Conflicts: 545000 | #Constraints: 40835
687.26/691.13 c #Conflicts: 546000 | #Constraints: 41835
687.26/691.13 c #Conflicts: 547000 | #Constraints: 42835
687.26/691.13 c #Conflicts: 548000 | #Constraints: 43835
687.26/691.13 c #Conflicts: 549000 | #Constraints: 44835
687.26/691.13 c #Conflicts: 550000 | #Constraints: 45835
687.26/691.13 c #Conflicts: 551000 | #Constraints: 46835
687.26/691.13 c #Conflicts: 552000 | #Constraints: 47835
687.26/691.13 c #Conflicts: 553000 | #Constraints: 48835
687.26/691.13 c #Conflicts: 554000 | #Constraints: 49835
687.26/691.13 c INPROCESSING
687.26/691.13 c GARBAGE COLLECT
687.26/691.13 c #Conflicts: 555000 | #Constraints: 29537
687.26/691.13 c #Conflicts: 556000 | #Constraints: 30537
687.26/691.13 c #Conflicts: 557000 | #Constraints: 31537
687.26/691.13 c #Conflicts: 558000 | #Constraints: 32537
687.26/691.13 c #Conflicts: 559000 | #Constraints: 33537
687.26/691.13 c #Conflicts: 560000 | #Constraints: 34537
687.26/691.13 c #Conflicts: 561000 | #Constraints: 35537
687.26/691.13 c #Conflicts: 562000 | #Constraints: 36537
687.26/691.13 c #Conflicts: 563000 | #Constraints: 37537
687.26/691.13 c #Conflicts: 564000 | #Constraints: 38537
687.26/691.13 c #Conflicts: 565000 | #Constraints: 39537
687.26/691.13 c #Conflicts: 566000 | #Constraints: 40537
687.26/691.13 c #Conflicts: 567000 | #Constraints: 41537
687.26/691.13 c #Conflicts: 568000 | #Constraints: 42537
687.26/691.13 c #Conflicts: 569000 | #Constraints: 43537
687.26/691.13 c #Conflicts: 570000 | #Constraints: 44537
687.26/691.13 c #Conflicts: 571000 | #Constraints: 45537
687.26/691.13 c INPROCESSING
687.26/691.13 c GARBAGE COLLECT
687.26/691.13 c rational objective 98
713.98/717.99 c #Conflicts: 572000 | #Constraints: 27316
713.98/717.99 c #Conflicts: 573000 | #Constraints: 28316
713.98/717.99 c #Conflicts: 574000 | #Constraints: 29316
713.98/717.99 c #Conflicts: 575000 | #Constraints: 30316
713.98/717.99 c #Conflicts: 576000 | #Constraints: 31316
713.98/717.99 c #Conflicts: 577000 | #Constraints: 32316
713.98/717.99 c #Conflicts: 578000 | #Constraints: 33316
713.98/717.99 c #Conflicts: 579000 | #Constraints: 34316
713.98/717.99 c #Conflicts: 580000 | #Constraints: 35316
713.98/717.99 c #Conflicts: 581000 | #Constraints: 36316
713.98/717.99 c #Conflicts: 582000 | #Constraints: 37316
713.98/717.99 c #Conflicts: 583000 | #Constraints: 38316
713.98/717.99 c #Conflicts: 584000 | #Constraints: 39316
713.98/717.99 c #Conflicts: 585000 | #Constraints: 40316
713.98/717.99 c #Conflicts: 586000 | #Constraints: 41316
713.98/717.99 c #Conflicts: 587000 | #Constraints: 42317
713.98/717.99 c #Conflicts: 588000 | #Constraints: 43317
713.98/717.99 c INPROCESSING
713.98/717.99 c GARBAGE COLLECT
713.98/717.99 c rational objective 98
863.01/867.42 c #Conflicts: 589000 | #Constraints: 26088
863.01/867.42 c #Conflicts: 590000 | #Constraints: 27088
863.01/867.42 c #Conflicts: 591000 | #Constraints: 28088
863.01/867.42 c #Conflicts: 592000 | #Constraints: 29088
863.01/867.42 c #Conflicts: 593000 | #Constraints: 30088
863.01/867.42 c #Conflicts: 594000 | #Constraints: 31088
863.01/867.42 c #Conflicts: 595000 | #Constraints: 32088
863.01/867.42 c #Conflicts: 596000 | #Constraints: 33088
863.01/867.42 c #Conflicts: 597000 | #Constraints: 34088
863.01/867.42 c #Conflicts: 598000 | #Constraints: 35088
863.01/867.42 c #Conflicts: 599000 | #Constraints: 36088
863.01/867.42 c #Conflicts: 600000 | #Constraints: 37088
863.01/867.42 c #Conflicts: 601000 | #Constraints: 38088
863.01/867.42 c #Conflicts: 602000 | #Constraints: 39088
863.01/867.42 c #Conflicts: 603000 | #Constraints: 40088
863.01/867.42 c #Conflicts: 604000 | #Constraints: 41088
863.01/867.42 c #Conflicts: 605000 | #Constraints: 42088
863.01/867.42 c #Conflicts: 606000 | #Constraints: 43088
863.01/867.42 c #Conflicts: 607000 | #Constraints: 44088
863.01/867.42 c #Conflicts: 608000 | #Constraints: 45088
863.01/867.42 c #Conflicts: 609000 | #Constraints: 46088
863.01/867.42 c #Conflicts: 610000 | #Constraints: 47088
863.01/867.42 c #Conflicts: 611000 | #Constraints: 48088
863.01/867.42 c #Conflicts: 612000 | #Constraints: 49088
863.01/867.42 c #Conflicts: 613000 | #Constraints: 50088
863.01/867.42 c #Conflicts: 614000 | #Constraints: 51088
863.01/867.42 c #Conflicts: 615000 | #Constraints: 52088
863.01/867.42 c #Conflicts: 616000 | #Constraints: 53088
863.01/867.42 c #Conflicts: 617000 | #Constraints: 54088
863.01/867.42 c #Conflicts: 618000 | #Constraints: 55088
863.01/867.42 c #Conflicts: 619000 | #Constraints: 56088
863.01/867.42 c #Conflicts: 620000 | #Constraints: 57088
863.01/867.42 c #Conflicts: 621000 | #Constraints: 58088
863.01/867.42 c #Conflicts: 622000 | #Constraints: 59088
863.01/867.42 c #Conflicts: 623000 | #Constraints: 60088
863.01/867.42 c #Conflicts: 624000 | #Constraints: 61088
863.01/867.42 c #Conflicts: 625000 | #Constraints: 62088
863.01/867.42 c #Conflicts: 626000 | #Constraints: 63088
863.01/867.42 c #Conflicts: 627000 | #Constraints: 64088
863.01/867.42 c #Conflicts: 628000 | #Constraints: 65088
863.01/867.42 c #Conflicts: 629000 | #Constraints: 66088
863.01/867.42 c #Conflicts: 630000 | #Constraints: 67088
863.01/867.42 c #Conflicts: 631000 | #Constraints: 68088
863.01/867.42 c #Conflicts: 632000 | #Constraints: 69088
863.01/867.42 c #Conflicts: 633000 | #Constraints: 70088
863.01/867.42 c #Conflicts: 634000 | #Constraints: 71088
863.01/867.42 c #Conflicts: 635000 | #Constraints: 72088
863.01/867.42 c #Conflicts: 636000 | #Constraints: 73088
863.01/867.42 c #Conflicts: 637000 | #Constraints: 74088
863.01/867.42 c #Conflicts: 638000 | #Constraints: 75088
863.01/867.42 c #Conflicts: 639000 | #Constraints: 76088
863.01/867.42 c #Conflicts: 640000 | #Constraints: 77088
863.01/867.42 c #Conflicts: 641000 | #Constraints: 78088
863.01/867.42 c #Conflicts: 642000 | #Constraints: 79088
863.01/867.42 c #Conflicts: 643000 | #Constraints: 80088
863.01/867.42 c #Conflicts: 644000 | #Constraints: 81088
863.01/867.42 c #Conflicts: 645000 | #Constraints: 82088
863.01/867.42 c #Conflicts: 646000 | #Constraints: 83088
863.01/867.42 c #Conflicts: 647000 | #Constraints: 84088
863.01/867.42 c #Conflicts: 648000 | #Constraints: 85088
863.01/867.42 c INPROCESSING
863.01/867.42 c GARBAGE COLLECT
863.01/867.42 c #Conflicts: 649000 | #Constraints: 47019
863.01/867.42 c #Conflicts: 650000 | #Constraints: 48019
863.01/867.42 c #Conflicts: 651000 | #Constraints: 49019
863.01/867.42 c #Conflicts: 652000 | #Constraints: 50019
863.01/867.42 c #Conflicts: 653000 | #Constraints: 51019
863.01/867.42 c #Conflicts: 654000 | #Constraints: 52019
863.01/867.42 c #Conflicts: 655000 | #Constraints: 53019
863.01/867.42 c #Conflicts: 656000 | #Constraints: 54019
863.01/867.42 c #Conflicts: 657000 | #Constraints: 55019
863.01/867.42 c #Conflicts: 658000 | #Constraints: 56019
863.01/867.42 c #Conflicts: 659000 | #Constraints: 57019
863.01/867.42 c #Conflicts: 660000 | #Constraints: 58019
863.01/867.42 c #Conflicts: 661000 | #Constraints: 59019
863.01/867.42 c #Conflicts: 662000 | #Constraints: 60019
863.01/867.42 c #Conflicts: 663000 | #Constraints: 61019
863.01/867.42 c #Conflicts: 664000 | #Constraints: 62019
863.01/867.42 c #Conflicts: 665000 | #Constraints: 63019
863.01/867.42 c #Conflicts: 666000 | #Constraints: 64019
863.01/867.42 c #Conflicts: 667000 | #Constraints: 65019
931.20/935.88 c INPROCESSING
931.20/935.88 c GARBAGE COLLECT
931.20/935.88 c #Conflicts: 668000 | #Constraints: 37141
931.20/935.88 c #Conflicts: 669000 | #Constraints: 38141
931.20/935.88 c #Conflicts: 670000 | #Constraints: 39141
931.20/935.88 c #Conflicts: 671000 | #Constraints: 40141
931.20/935.88 c #Conflicts: 672000 | #Constraints: 41141
931.20/935.88 c #Conflicts: 673000 | #Constraints: 42141
931.20/935.88 c #Conflicts: 674000 | #Constraints: 43141
931.20/935.88 c #Conflicts: 675000 | #Constraints: 44141
931.20/935.88 c #Conflicts: 676000 | #Constraints: 45141
931.20/935.88 c #Conflicts: 677000 | #Constraints: 46141
931.20/935.88 c #Conflicts: 678000 | #Constraints: 47141
931.20/935.88 c #Conflicts: 679000 | #Constraints: 48141
931.20/935.88 c #Conflicts: 680000 | #Constraints: 49141
931.20/935.88 c #Conflicts: 681000 | #Constraints: 50141
931.20/935.88 c #Conflicts: 682000 | #Constraints: 51141
931.20/935.88 c #Conflicts: 683000 | #Constraints: 52141
931.20/935.88 c #Conflicts: 684000 | #Constraints: 53141
931.20/935.88 c #Conflicts: 685000 | #Constraints: 54141
931.20/935.88 c #Conflicts: 686000 | #Constraints: 55141
931.20/935.88 c INPROCESSING
931.20/935.88 c GARBAGE COLLECT
931.20/935.88 c #Conflicts: 687000 | #Constraints: 32315
931.20/935.88 c #Conflicts: 688000 | #Constraints: 33315
931.20/935.88 c #Conflicts: 689000 | #Constraints: 34315
931.20/935.88 c #Conflicts: 690000 | #Constraints: 35315
931.20/935.88 c #Conflicts: 691000 | #Constraints: 36315
931.20/935.88 c #Conflicts: 692000 | #Constraints: 37315
931.20/935.88 c #Conflicts: 693000 | #Constraints: 38315
931.20/935.88 c #Conflicts: 694000 | #Constraints: 39315
931.20/935.88 c #Conflicts: 695000 | #Constraints: 40315
931.20/935.88 c #Conflicts: 696000 | #Constraints: 41315
931.20/935.88 c #Conflicts: 697000 | #Constraints: 42315
931.20/935.88 c #Conflicts: 698000 | #Constraints: 43315
931.20/935.88 c #Conflicts: 699000 | #Constraints: 44315
931.20/935.88 c #Conflicts: 700000 | #Constraints: 45315
931.20/935.88 c #Conflicts: 701000 | #Constraints: 46315
931.20/935.88 c #Conflicts: 702000 | #Constraints: 47315
931.20/935.88 c #Conflicts: 703000 | #Constraints: 48315
931.20/935.88 c #Conflicts: 704000 | #Constraints: 49315
931.20/935.88 c #Conflicts: 705000 | #Constraints: 50315
931.20/935.88 c INPROCESSING
931.20/935.88 c GARBAGE COLLECT
931.20/935.88 c #Conflicts: 706000 | #Constraints: 29989
931.20/935.88 c #Conflicts: 707000 | #Constraints: 30989
931.20/935.88 c #Conflicts: 708000 | #Constraints: 31989
931.20/935.88 c #Conflicts: 709000 | #Constraints: 32989
931.20/935.88 c #Conflicts: 710000 | #Constraints: 33989
931.20/935.88 c #Conflicts: 711000 | #Constraints: 34989
931.20/935.88 c #Conflicts: 712000 | #Constraints: 35989
931.20/935.88 c #Conflicts: 713000 | #Constraints: 36989
931.20/935.88 c #Conflicts: 714000 | #Constraints: 37989
931.20/935.88 c #Conflicts: 715000 | #Constraints: 38989
931.20/935.88 c #Conflicts: 716000 | #Constraints: 39989
931.20/935.88 c #Conflicts: 717000 | #Constraints: 40989
931.20/935.88 c #Conflicts: 718000 | #Constraints: 41989
931.20/935.88 c #Conflicts: 719000 | #Constraints: 42989
931.20/935.88 c #Conflicts: 720000 | #Constraints: 43989
931.20/935.88 c #Conflicts: 721000 | #Constraints: 44989
931.20/935.88 c #Conflicts: 722000 | #Constraints: 45989
931.20/935.88 c #Conflicts: 723000 | #Constraints: 46989
931.20/935.88 c #Conflicts: 724000 | #Constraints: 47989
931.20/935.88 c INPROCESSING
931.20/935.88 c GARBAGE COLLECT
931.20/935.88 c rational objective 98
1077.35/1082.43 c #Conflicts: 725000 | #Constraints: 28770
1077.35/1082.43 c #Conflicts: 726000 | #Constraints: 29770
1077.35/1082.43 c #Conflicts: 727000 | #Constraints: 30770
1077.35/1082.43 c #Conflicts: 728000 | #Constraints: 31770
1077.35/1082.43 c #Conflicts: 729000 | #Constraints: 32770
1077.35/1082.43 c #Conflicts: 730000 | #Constraints: 33770
1077.35/1082.43 c #Conflicts: 731000 | #Constraints: 34770
1077.35/1082.43 c #Conflicts: 732000 | #Constraints: 35770
1077.35/1082.43 c #Conflicts: 733000 | #Constraints: 36770
1077.35/1082.43 c #Conflicts: 734000 | #Constraints: 37770
1077.35/1082.43 c #Conflicts: 735000 | #Constraints: 38770
1077.35/1082.43 c #Conflicts: 736000 | #Constraints: 39770
1077.35/1082.43 c #Conflicts: 737000 | #Constraints: 40770
1077.35/1082.43 c #Conflicts: 738000 | #Constraints: 41770
1077.35/1082.43 c #Conflicts: 739000 | #Constraints: 42770
1077.35/1082.43 c #Conflicts: 740000 | #Constraints: 43770
1077.35/1082.43 c #Conflicts: 741000 | #Constraints: 44770
1077.35/1082.43 c #Conflicts: 742000 | #Constraints: 45770
1077.35/1082.43 c #Conflicts: 743000 | #Constraints: 46770
1077.35/1082.43 c #Conflicts: 744000 | #Constraints: 47770
1077.35/1082.43 c #Conflicts: 745000 | #Constraints: 48770
1077.35/1082.43 c #Conflicts: 746000 | #Constraints: 49770
1077.35/1082.43 c #Conflicts: 747000 | #Constraints: 50770
1077.35/1082.43 c #Conflicts: 748000 | #Constraints: 51770
1077.35/1082.43 c #Conflicts: 749000 | #Constraints: 52770
1077.35/1082.43 c #Conflicts: 750000 | #Constraints: 53770
1077.35/1082.43 c #Conflicts: 751000 | #Constraints: 54770
1077.35/1082.43 c #Conflicts: 752000 | #Constraints: 55770
1077.35/1082.43 c #Conflicts: 753000 | #Constraints: 56770
1077.35/1082.43 c #Conflicts: 754000 | #Constraints: 57770
1077.35/1082.43 c #Conflicts: 755000 | #Constraints: 58770
1077.35/1082.43 c #Conflicts: 756000 | #Constraints: 59770
1077.35/1082.43 c #Conflicts: 757000 | #Constraints: 60770
1077.35/1082.43 c #Conflicts: 758000 | #Constraints: 61770
1077.35/1082.43 c #Conflicts: 759000 | #Constraints: 62770
1077.35/1082.43 c #Conflicts: 760000 | #Constraints: 63770
1077.35/1082.43 c #Conflicts: 761000 | #Constraints: 64770
1077.35/1082.43 c #Conflicts: 762000 | #Constraints: 65770
1077.35/1082.43 c #Conflicts: 763000 | #Constraints: 66770
1077.35/1082.43 c #Conflicts: 764000 | #Constraints: 67770
1077.35/1082.43 c #Conflicts: 765000 | #Constraints: 68770
1077.35/1082.43 c #Conflicts: 766000 | #Constraints: 69770
1077.35/1082.43 c #Conflicts: 767000 | #Constraints: 70770
1077.35/1082.43 c #Conflicts: 768000 | #Constraints: 71770
1077.35/1082.43 c #Conflicts: 769000 | #Constraints: 72770
1077.35/1082.43 c #Conflicts: 770000 | #Constraints: 73770
1077.35/1082.43 c #Conflicts: 771000 | #Constraints: 74770
1077.35/1082.43 c #Conflicts: 772000 | #Constraints: 75770
1077.35/1082.43 c #Conflicts: 773000 | #Constraints: 76770
1077.35/1082.43 c #Conflicts: 774000 | #Constraints: 77770
1077.35/1082.43 c #Conflicts: 775000 | #Constraints: 78770
1077.35/1082.43 c #Conflicts: 776000 | #Constraints: 79770
1077.35/1082.43 c #Conflicts: 777000 | #Constraints: 80770
1077.35/1082.43 c #Conflicts: 778000 | #Constraints: 81770
1077.35/1082.43 c #Conflicts: 779000 | #Constraints: 82770
1077.35/1082.43 c #Conflicts: 780000 | #Constraints: 83770
1077.35/1082.43 c #Conflicts: 781000 | #Constraints: 84770
1077.35/1082.43 c #Conflicts: 782000 | #Constraints: 85770
1077.35/1082.43 c #Conflicts: 783000 | #Constraints: 86770
1077.35/1082.43 c #Conflicts: 784000 | #Constraints: 87770
1077.35/1082.43 c #Conflicts: 785000 | #Constraints: 88770
1077.35/1082.43 c #Conflicts: 786000 | #Constraints: 89770
1077.35/1082.43 c #Conflicts: 787000 | #Constraints: 90770
1077.35/1082.43 c #Conflicts: 788000 | #Constraints: 91770
1077.35/1082.43 c #Conflicts: 789000 | #Constraints: 92770
1077.35/1082.43 c #Conflicts: 790000 | #Constraints: 93770
1077.35/1082.43 c INPROCESSING
1077.35/1082.43 c GARBAGE COLLECT
1077.35/1082.43 c rational objective 98
1209.24/1214.70 c #Conflicts: 791000 | #Constraints: 51458
1209.24/1214.70 c #Conflicts: 792000 | #Constraints: 52458
1209.24/1214.70 c #Conflicts: 793000 | #Constraints: 53458
1209.24/1214.70 c #Conflicts: 794000 | #Constraints: 54458
1209.24/1214.70 c #Conflicts: 795000 | #Constraints: 55458
1209.24/1214.70 c #Conflicts: 796000 | #Constraints: 56458
1209.24/1214.70 c #Conflicts: 797000 | #Constraints: 57458
1209.24/1214.70 c #Conflicts: 798000 | #Constraints: 58458
1209.24/1214.70 c #Conflicts: 799000 | #Constraints: 59459
1209.24/1214.70 c #Conflicts: 800000 | #Constraints: 60459
1209.24/1214.70 c #Conflicts: 801000 | #Constraints: 61459
1209.24/1214.70 c #Conflicts: 802000 | #Constraints: 62459
1209.24/1214.70 c #Conflicts: 803000 | #Constraints: 63459
1209.24/1214.70 c #Conflicts: 804000 | #Constraints: 64459
1209.24/1214.70 c #Conflicts: 805000 | #Constraints: 65459
1209.24/1214.70 c #Conflicts: 806000 | #Constraints: 66459
1209.24/1214.70 c #Conflicts: 807000 | #Constraints: 67459
1209.24/1214.70 c #Conflicts: 808000 | #Constraints: 68459
1209.24/1214.70 c #Conflicts: 809000 | #Constraints: 69459
1209.24/1214.70 c #Conflicts: 810000 | #Constraints: 70459
1209.24/1214.70 c INPROCESSING
1209.24/1214.70 c GARBAGE COLLECT
1209.24/1214.70 c #Conflicts: 811000 | #Constraints: 39657
1209.24/1214.70 c #Conflicts: 812000 | #Constraints: 40657
1209.24/1214.70 c #Conflicts: 813000 | #Constraints: 41657
1209.24/1214.70 c #Conflicts: 814000 | #Constraints: 42657
1209.24/1214.70 c #Conflicts: 815000 | #Constraints: 43657
1209.24/1214.70 c #Conflicts: 816000 | #Constraints: 44657
1209.24/1214.70 c #Conflicts: 817000 | #Constraints: 45657
1209.24/1214.70 c #Conflicts: 818000 | #Constraints: 46657
1209.24/1214.70 c #Conflicts: 819000 | #Constraints: 47657
1209.24/1214.70 c #Conflicts: 820000 | #Constraints: 48657
1209.24/1214.70 c #Conflicts: 821000 | #Constraints: 49657
1209.24/1214.70 c #Conflicts: 822000 | #Constraints: 50657
1209.24/1214.70 c #Conflicts: 823000 | #Constraints: 51657
1209.24/1214.70 c #Conflicts: 824000 | #Constraints: 52657
1209.24/1214.70 c #Conflicts: 825000 | #Constraints: 53657
1209.24/1214.70 c #Conflicts: 826000 | #Constraints: 54657
1209.24/1214.70 c #Conflicts: 827000 | #Constraints: 55657
1209.24/1214.70 c #Conflicts: 828000 | #Constraints: 56657
1209.24/1214.70 c #Conflicts: 829000 | #Constraints: 57657
1209.24/1214.70 c #Conflicts: 830000 | #Constraints: 58657
1209.24/1214.70 c #Conflicts: 831000 | #Constraints: 59657
1209.24/1214.70 c INPROCESSING
1209.24/1214.70 c GARBAGE COLLECT
1209.24/1214.70 c #Conflicts: 832000 | #Constraints: 34439
1209.24/1214.70 c #Conflicts: 833000 | #Constraints: 35439
1209.24/1214.70 c #Conflicts: 834000 | #Constraints: 36439
1209.24/1214.70 c #Conflicts: 835000 | #Constraints: 37439
1209.24/1214.70 c #Conflicts: 836000 | #Constraints: 38439
1209.24/1214.70 c #Conflicts: 837000 | #Constraints: 39439
1209.24/1214.70 c #Conflicts: 838000 | #Constraints: 40439
1209.24/1214.70 c #Conflicts: 839000 | #Constraints: 41439
1209.24/1214.70 c #Conflicts: 840000 | #Constraints: 42439
1209.24/1214.70 c #Conflicts: 841000 | #Constraints: 43439
1209.24/1214.70 c #Conflicts: 842000 | #Constraints: 44439
1209.24/1214.70 c #Conflicts: 843000 | #Constraints: 45439
1209.24/1214.70 c #Conflicts: 844000 | #Constraints: 46439
1209.24/1214.70 c #Conflicts: 845000 | #Constraints: 47439
1209.24/1214.70 c #Conflicts: 846000 | #Constraints: 48439
1209.24/1214.70 c #Conflicts: 847000 | #Constraints: 49439
1209.24/1214.70 c #Conflicts: 848000 | #Constraints: 50439
1209.24/1214.70 c #Conflicts: 849000 | #Constraints: 51439
1209.24/1214.70 c #Conflicts: 850000 | #Constraints: 52439
1209.24/1214.70 c #Conflicts: 851000 | #Constraints: 53439
1209.24/1214.70 c #Conflicts: 852000 | #Constraints: 54439
1209.24/1214.70 c INPROCESSING
1209.24/1214.70 c GARBAGE COLLECT
1209.24/1214.70 c #Conflicts: 853000 | #Constraints: 31829
1209.24/1214.70 c #Conflicts: 854000 | #Constraints: 32829
1209.24/1214.70 c #Conflicts: 855000 | #Constraints: 33829
1209.24/1214.70 c #Conflicts: 856000 | #Constraints: 34829
1209.24/1214.70 c #Conflicts: 857000 | #Constraints: 35829
1209.24/1214.70 c #Conflicts: 858000 | #Constraints: 36829
1209.24/1214.70 c #Conflicts: 859000 | #Constraints: 37829
1209.24/1214.70 c #Conflicts: 860000 | #Constraints: 38829
1209.24/1214.70 c #Conflicts: 861000 | #Constraints: 39829
1209.24/1214.70 c #Conflicts: 862000 | #Constraints: 40829
1209.24/1214.70 c #Conflicts: 863000 | #Constraints: 41829
1209.24/1214.70 c #Conflicts: 864000 | #Constraints: 42829
1209.24/1214.70 c #Conflicts: 865000 | #Constraints: 43829
1209.24/1214.70 c #Conflicts: 866000 | #Constraints: 44829
1209.24/1214.70 c #Conflicts: 867000 | #Constraints: 45829
1383.05/1389.10 c #Conflicts: 868000 | #Constraints: 46829
1383.05/1389.10 c #Conflicts: 869000 | #Constraints: 47829
1383.05/1389.10 c #Conflicts: 870000 | #Constraints: 48829
1383.05/1389.10 c #Conflicts: 871000 | #Constraints: 49829
1383.05/1389.10 c #Conflicts: 872000 | #Constraints: 50829
1383.05/1389.10 c #Conflicts: 873000 | #Constraints: 51829
1383.05/1389.10 c INPROCESSING
1383.05/1389.10 c GARBAGE COLLECT
1383.05/1389.10 c #Conflicts: 874000 | #Constraints: 30515
1383.05/1389.10 c #Conflicts: 875000 | #Constraints: 31515
1383.05/1389.10 c #Conflicts: 876000 | #Constraints: 32515
1383.05/1389.10 c #Conflicts: 877000 | #Constraints: 33515
1383.05/1389.10 c #Conflicts: 878000 | #Constraints: 34515
1383.05/1389.10 c #Conflicts: 879000 | #Constraints: 35515
1383.05/1389.10 c #Conflicts: 880000 | #Constraints: 36515
1383.05/1389.10 c #Conflicts: 881000 | #Constraints: 37515
1383.05/1389.10 c #Conflicts: 882000 | #Constraints: 38515
1383.05/1389.10 c #Conflicts: 883000 | #Constraints: 39515
1383.05/1389.10 c #Conflicts: 884000 | #Constraints: 40515
1383.05/1389.10 c #Conflicts: 885000 | #Constraints: 41515
1383.05/1389.10 c #Conflicts: 886000 | #Constraints: 42515
1383.05/1389.10 c #Conflicts: 887000 | #Constraints: 43515
1383.05/1389.10 c #Conflicts: 888000 | #Constraints: 44515
1383.05/1389.10 c #Conflicts: 889000 | #Constraints: 45515
1383.05/1389.10 c #Conflicts: 890000 | #Constraints: 46515
1383.05/1389.10 c #Conflicts: 891000 | #Constraints: 47515
1383.05/1389.10 c #Conflicts: 892000 | #Constraints: 48515
1383.05/1389.10 c #Conflicts: 893000 | #Constraints: 49515
1383.05/1389.10 c #Conflicts: 894000 | #Constraints: 50515
1383.05/1389.10 c #Conflicts: 895000 | #Constraints: 51515
1383.05/1389.10 c #Conflicts: 896000 | #Constraints: 52515
1383.05/1389.10 c #Conflicts: 897000 | #Constraints: 53515
1383.05/1389.10 c #Conflicts: 898000 | #Constraints: 54515
1383.05/1389.10 c #Conflicts: 899000 | #Constraints: 55515
1383.05/1389.10 c #Conflicts: 900000 | #Constraints: 56515
1383.05/1389.10 c #Conflicts: 901000 | #Constraints: 57515
1383.05/1389.10 c #Conflicts: 902000 | #Constraints: 58515
1383.05/1389.10 c #Conflicts: 903000 | #Constraints: 59515
1383.05/1389.10 c #Conflicts: 904000 | #Constraints: 60515
1383.05/1389.10 c #Conflicts: 905000 | #Constraints: 61515
1383.05/1389.10 c #Conflicts: 906000 | #Constraints: 62515
1383.05/1389.10 c #Conflicts: 907000 | #Constraints: 63515
1383.05/1389.10 c #Conflicts: 908000 | #Constraints: 64515
1383.05/1389.10 c #Conflicts: 909000 | #Constraints: 65515
1383.05/1389.10 c #Conflicts: 910000 | #Constraints: 66515
1383.05/1389.10 c #Conflicts: 911000 | #Constraints: 67515
1383.05/1389.10 c #Conflicts: 912000 | #Constraints: 68515
1383.05/1389.10 c #Conflicts: 913000 | #Constraints: 69515
1383.05/1389.10 c #Conflicts: 914000 | #Constraints: 70515
1383.05/1389.10 c #Conflicts: 915000 | #Constraints: 71515
1383.05/1389.10 c #Conflicts: 916000 | #Constraints: 72515
1383.05/1389.10 c #Conflicts: 917000 | #Constraints: 73515
1383.05/1389.10 c #Conflicts: 918000 | #Constraints: 74515
1383.05/1389.10 c #Conflicts: 919000 | #Constraints: 75515
1383.05/1389.10 c #Conflicts: 920000 | #Constraints: 76515
1383.05/1389.10 c #Conflicts: 921000 | #Constraints: 77515
1383.05/1389.10 c #Conflicts: 922000 | #Constraints: 78515
1383.05/1389.10 c #Conflicts: 923000 | #Constraints: 79515
1383.05/1389.10 c #Conflicts: 924000 | #Constraints: 80515
1383.05/1389.10 c #Conflicts: 925000 | #Constraints: 81515
1383.05/1389.10 c #Conflicts: 926000 | #Constraints: 82515
1383.05/1389.10 c #Conflicts: 927000 | #Constraints: 83515
1383.05/1389.10 c #Conflicts: 928000 | #Constraints: 84515
1383.05/1389.10 c #Conflicts: 929000 | #Constraints: 85515
1383.05/1389.10 c #Conflicts: 930000 | #Constraints: 86515
1383.05/1389.10 c #Conflicts: 931000 | #Constraints: 87515
1383.05/1389.10 c #Conflicts: 932000 | #Constraints: 88515
1383.05/1389.10 c #Conflicts: 933000 | #Constraints: 89515
1383.05/1389.10 c #Conflicts: 934000 | #Constraints: 90515
1383.05/1389.10 c #Conflicts: 935000 | #Constraints: 91515
1383.05/1389.10 c #Conflicts: 936000 | #Constraints: 92515
1383.05/1389.10 c #Conflicts: 937000 | #Constraints: 93515
1383.05/1389.10 c #Conflicts: 938000 | #Constraints: 94515
1383.05/1389.10 c #Conflicts: 939000 | #Constraints: 95515
1383.05/1389.10 c #Conflicts: 940000 | #Constraints: 96515
1383.05/1389.10 c #Conflicts: 941000 | #Constraints: 97515
1383.05/1389.10 c #Conflicts: 942000 | #Constraints: 98515
1383.05/1389.10 c #Conflicts: 943000 | #Constraints: 99515
1383.05/1389.10 c #Conflicts: 944000 | #Constraints: 100515
1383.05/1389.10 c #Conflicts: 945000 | #Constraints: 101515
1528.87/1535.29 c #Conflicts: 946000 | #Constraints: 102515
1528.87/1535.29 c INPROCESSING
1528.87/1535.29 c GARBAGE COLLECT
1528.87/1535.29 c #Conflicts: 947000 | #Constraints: 56058
1528.87/1535.29 c #Conflicts: 948000 | #Constraints: 57058
1528.87/1535.29 c #Conflicts: 949000 | #Constraints: 58058
1528.87/1535.29 c #Conflicts: 950000 | #Constraints: 59058
1528.87/1535.29 c #Conflicts: 951000 | #Constraints: 60058
1528.87/1535.29 c #Conflicts: 952000 | #Constraints: 61058
1528.87/1535.29 c #Conflicts: 953000 | #Constraints: 62058
1528.87/1535.29 c #Conflicts: 954000 | #Constraints: 63058
1528.87/1535.29 c #Conflicts: 955000 | #Constraints: 64058
1528.87/1535.29 c #Conflicts: 956000 | #Constraints: 65058
1528.87/1535.29 c #Conflicts: 957000 | #Constraints: 66058
1528.87/1535.29 c #Conflicts: 958000 | #Constraints: 67058
1528.87/1535.29 c #Conflicts: 959000 | #Constraints: 68058
1528.87/1535.29 c #Conflicts: 960000 | #Constraints: 69058
1528.87/1535.29 c #Conflicts: 961000 | #Constraints: 70058
1528.87/1535.29 c #Conflicts: 962000 | #Constraints: 71058
1528.87/1535.29 c #Conflicts: 963000 | #Constraints: 72058
1528.87/1535.29 c #Conflicts: 964000 | #Constraints: 73058
1528.87/1535.29 c #Conflicts: 965000 | #Constraints: 74058
1528.87/1535.29 c #Conflicts: 966000 | #Constraints: 75058
1528.87/1535.29 c #Conflicts: 967000 | #Constraints: 76058
1528.87/1535.29 c #Conflicts: 968000 | #Constraints: 77058
1528.87/1535.29 c INPROCESSING
1528.87/1535.29 c GARBAGE COLLECT
1528.87/1535.29 c #Conflicts: 969000 | #Constraints: 43122
1528.87/1535.29 c #Conflicts: 970000 | #Constraints: 44122
1528.87/1535.29 c #Conflicts: 971000 | #Constraints: 45122
1528.87/1535.29 c #Conflicts: 972000 | #Constraints: 46122
1528.87/1535.29 c #Conflicts: 973000 | #Constraints: 47122
1528.87/1535.29 c #Conflicts: 974000 | #Constraints: 48122
1528.87/1535.29 c #Conflicts: 975000 | #Constraints: 49122
1528.87/1535.29 c #Conflicts: 976000 | #Constraints: 50122
1528.87/1535.29 c #Conflicts: 977000 | #Constraints: 51122
1528.87/1535.29 c #Conflicts: 978000 | #Constraints: 52122
1528.87/1535.29 c #Conflicts: 979000 | #Constraints: 53122
1528.87/1535.29 c #Conflicts: 980000 | #Constraints: 54122
1528.87/1535.29 c #Conflicts: 981000 | #Constraints: 55122
1528.87/1535.29 c #Conflicts: 982000 | #Constraints: 56122
1528.87/1535.29 c #Conflicts: 983000 | #Constraints: 57122
1528.87/1535.29 c #Conflicts: 984000 | #Constraints: 58122
1528.87/1535.29 c #Conflicts: 985000 | #Constraints: 59122
1528.87/1535.29 c #Conflicts: 986000 | #Constraints: 60122
1528.87/1535.29 c #Conflicts: 987000 | #Constraints: 61122
1528.87/1535.29 c #Conflicts: 988000 | #Constraints: 62122
1528.87/1535.29 c #Conflicts: 989000 | #Constraints: 63122
1528.87/1535.29 c #Conflicts: 990000 | #Constraints: 64122
1528.87/1535.29 c #Conflicts: 991000 | #Constraints: 65122
1528.87/1535.29 c INPROCESSING
1528.87/1535.29 c GARBAGE COLLECT
1528.87/1535.29 c #Conflicts: 992000 | #Constraints: 37283
1528.87/1535.29 c #Conflicts: 993000 | #Constraints: 38283
1528.87/1535.29 c #Conflicts: 994000 | #Constraints: 39283
1528.87/1535.29 c #Conflicts: 995000 | #Constraints: 40283
1528.87/1535.29 c #Conflicts: 996000 | #Constraints: 41283
1528.87/1535.29 c #Conflicts: 997000 | #Constraints: 42283
1528.87/1535.29 c #Conflicts: 998000 | #Constraints: 43283
1528.87/1535.29 c #Conflicts: 999000 | #Constraints: 44283
1528.87/1535.29 c #Conflicts: 1000000 | #Constraints: 45283
1528.87/1535.29 c #Conflicts: 1001000 | #Constraints: 46283
1528.87/1535.29 c #Conflicts: 1002000 | #Constraints: 47283
1528.87/1535.29 c #Conflicts: 1003000 | #Constraints: 48283
1528.87/1535.29 c #Conflicts: 1004000 | #Constraints: 49283
1528.87/1535.29 c #Conflicts: 1005000 | #Constraints: 50283
1528.87/1535.29 c #Conflicts: 1006000 | #Constraints: 51283
1528.87/1535.29 c #Conflicts: 1007000 | #Constraints: 52283
1528.87/1535.29 c #Conflicts: 1008000 | #Constraints: 53283
1528.87/1535.29 c #Conflicts: 1009000 | #Constraints: 54283
1528.87/1535.29 c #Conflicts: 1010000 | #Constraints: 55283
1528.87/1535.29 c #Conflicts: 1011000 | #Constraints: 56283
1528.87/1535.29 c #Conflicts: 1012000 | #Constraints: 57283
1528.87/1535.29 c #Conflicts: 1013000 | #Constraints: 58283
1528.87/1535.29 c #Conflicts: 1014000 | #Constraints: 59283
1528.87/1535.29 c INPROCESSING
1528.87/1535.29 c GARBAGE COLLECT
1528.87/1535.29 c rational objective 98
1570.07/1576.59 c #Conflicts: 1015000 | #Constraints: 34559
1570.07/1576.59 c #Conflicts: 1016000 | #Constraints: 35559
1570.07/1576.59 c #Conflicts: 1017000 | #Constraints: 36559
1570.07/1576.59 c #Conflicts: 1018000 | #Constraints: 37559
1570.07/1576.59 c #Conflicts: 1019000 | #Constraints: 38559
1570.07/1576.59 c #Conflicts: 1020000 | #Constraints: 39559
1570.07/1576.59 c #Conflicts: 1021000 | #Constraints: 40559
1570.07/1576.59 c #Conflicts: 1022000 | #Constraints: 41559
1570.07/1576.59 c #Conflicts: 1023000 | #Constraints: 42559
1570.07/1576.59 c #Conflicts: 1024000 | #Constraints: 43559
1570.07/1576.59 c #Conflicts: 1025000 | #Constraints: 44559
1570.07/1576.59 c #Conflicts: 1026000 | #Constraints: 45559
1570.07/1576.59 c #Conflicts: 1027000 | #Constraints: 46559
1570.07/1576.59 c #Conflicts: 1028000 | #Constraints: 47559
1570.07/1576.59 c #Conflicts: 1029000 | #Constraints: 48559
1570.07/1576.59 c #Conflicts: 1030000 | #Constraints: 49559
1570.07/1576.59 c #Conflicts: 1031000 | #Constraints: 50559
1570.07/1576.59 c #Conflicts: 1032000 | #Constraints: 51559
1570.07/1576.59 c #Conflicts: 1033000 | #Constraints: 52559
1570.07/1576.59 c #Conflicts: 1034000 | #Constraints: 53559
1570.07/1576.59 c #Conflicts: 1035000 | #Constraints: 54559
1570.07/1576.59 c #Conflicts: 1036000 | #Constraints: 55559
1570.07/1576.59 c #Conflicts: 1037000 | #Constraints: 56559
1570.07/1576.59 c INPROCESSING
1570.07/1576.59 c GARBAGE COLLECT
1570.07/1576.59 c rational objective 98
1735.28/1742.21 c #Conflicts: 1038000 | #Constraints: 33145
1735.28/1742.21 c #Conflicts: 1039000 | #Constraints: 34145
1735.28/1742.21 c #Conflicts: 1040000 | #Constraints: 35145
1735.28/1742.21 c #Conflicts: 1041000 | #Constraints: 36145
1735.28/1742.21 c #Conflicts: 1042000 | #Constraints: 37145
1735.28/1742.21 c #Conflicts: 1043000 | #Constraints: 38145
1735.28/1742.21 c #Conflicts: 1044000 | #Constraints: 39145
1735.28/1742.21 c #Conflicts: 1045000 | #Constraints: 40145
1735.28/1742.21 c #Conflicts: 1046000 | #Constraints: 41145
1735.28/1742.21 c #Conflicts: 1047000 | #Constraints: 42145
1735.28/1742.21 c #Conflicts: 1048000 | #Constraints: 43145
1735.28/1742.21 c #Conflicts: 1049000 | #Constraints: 44145
1735.28/1742.21 c #Conflicts: 1050000 | #Constraints: 45145
1735.28/1742.21 c #Conflicts: 1051000 | #Constraints: 46145
1735.28/1742.21 c #Conflicts: 1052000 | #Constraints: 47145
1735.28/1742.21 c #Conflicts: 1053000 | #Constraints: 48145
1735.28/1742.21 c #Conflicts: 1054000 | #Constraints: 49145
1735.28/1742.21 c #Conflicts: 1055000 | #Constraints: 50145
1735.28/1742.21 c #Conflicts: 1056000 | #Constraints: 51145
1735.28/1742.21 c #Conflicts: 1057000 | #Constraints: 52145
1735.28/1742.21 c #Conflicts: 1058000 | #Constraints: 53145
1735.28/1742.21 c #Conflicts: 1059000 | #Constraints: 54145
1735.28/1742.21 c #Conflicts: 1060000 | #Constraints: 55145
1735.28/1742.21 c INPROCESSING
1735.28/1742.21 c GARBAGE COLLECT
1735.28/1742.21 c #Conflicts: 1061000 | #Constraints: 32372
1735.28/1742.21 c #Conflicts: 1062000 | #Constraints: 33372
1735.28/1742.21 c #Conflicts: 1063000 | #Constraints: 34372
1735.28/1742.21 c #Conflicts: 1064000 | #Constraints: 35372
1735.28/1742.21 c #Conflicts: 1065000 | #Constraints: 36372
1735.28/1742.21 c #Conflicts: 1066000 | #Constraints: 37372
1735.28/1742.21 c #Conflicts: 1067000 | #Constraints: 38372
1735.28/1742.21 c #Conflicts: 1068000 | #Constraints: 39372
1735.28/1742.21 c #Conflicts: 1069000 | #Constraints: 40372
1735.28/1742.21 c #Conflicts: 1070000 | #Constraints: 41372
1735.28/1742.21 c #Conflicts: 1071000 | #Constraints: 42372
1735.28/1742.21 c #Conflicts: 1072000 | #Constraints: 43372
1735.28/1742.21 c #Conflicts: 1073000 | #Constraints: 44372
1735.28/1742.21 c #Conflicts: 1074000 | #Constraints: 45372
1735.28/1742.21 c #Conflicts: 1075000 | #Constraints: 46372
1735.28/1742.21 c #Conflicts: 1076000 | #Constraints: 47372
1735.28/1742.21 c #Conflicts: 1077000 | #Constraints: 48372
1735.28/1742.21 c #Conflicts: 1078000 | #Constraints: 49372
1735.28/1742.21 c #Conflicts: 1079000 | #Constraints: 50372
1735.28/1742.21 c #Conflicts: 1080000 | #Constraints: 51372
1735.28/1742.21 c #Conflicts: 1081000 | #Constraints: 52372
1735.28/1742.21 c #Conflicts: 1082000 | #Constraints: 53372
1735.28/1742.21 c #Conflicts: 1083000 | #Constraints: 54372
1735.28/1742.21 c #Conflicts: 1084000 | #Constraints: 55372
1735.28/1742.21 c #Conflicts: 1085000 | #Constraints: 56372
1735.28/1742.21 c #Conflicts: 1086000 | #Constraints: 57372
1735.28/1742.21 c #Conflicts: 1087000 | #Constraints: 58372
1735.28/1742.21 c #Conflicts: 1088000 | #Constraints: 59372
1735.28/1742.21 c #Conflicts: 1089000 | #Constraints: 60372
1735.28/1742.21 c #Conflicts: 1090000 | #Constraints: 61372
1735.28/1742.21 c #Conflicts: 1091000 | #Constraints: 62372
1735.28/1742.21 c #Conflicts: 1092000 | #Constraints: 63372
1735.28/1742.21 c #Conflicts: 1093000 | #Constraints: 64372
1735.28/1742.21 c #Conflicts: 1094000 | #Constraints: 65372
1735.28/1742.21 c #Conflicts: 1095000 | #Constraints: 66372
1735.28/1742.21 c #Conflicts: 1096000 | #Constraints: 67372
1735.28/1742.21 c #Conflicts: 1097000 | #Constraints: 68372
1735.28/1742.21 c #Conflicts: 1098000 | #Constraints: 69372
1735.28/1742.21 c #Conflicts: 1099000 | #Constraints: 70372
1735.28/1742.21 c #Conflicts: 1100000 | #Constraints: 71372
1735.28/1742.21 c #Conflicts: 1101000 | #Constraints: 72372
1735.28/1742.21 c #Conflicts: 1102000 | #Constraints: 73372
1735.28/1742.21 c #Conflicts: 1103000 | #Constraints: 74372
1735.28/1742.21 c #Conflicts: 1104000 | #Constraints: 75372
1735.28/1742.21 c #Conflicts: 1105000 | #Constraints: 76372
1735.28/1742.21 c #Conflicts: 1106000 | #Constraints: 77372
1735.28/1742.21 c #Conflicts: 1107000 | #Constraints: 78372
1735.28/1742.21 c #Conflicts: 1108000 | #Constraints: 79372
1735.28/1742.21 c #Conflicts: 1109000 | #Constraints: 80372
1735.28/1742.21 c #Conflicts: 1110000 | #Constraints: 81372
1735.28/1742.21 c #Conflicts: 1111000 | #Constraints: 82372
1735.28/1742.21 c #Conflicts: 1112000 | #Constraints: 83372
1735.28/1742.21 c #Conflicts: 1113000 | #Constraints: 84372
1735.28/1742.21 c #Conflicts: 1114000 | #Constraints: 85372
1735.28/1742.21 c #Conflicts: 1115000 | #Constraints: 86372
1735.28/1742.21 c #Conflicts: 1116000 | #Constraints: 87372
1871.96/1879.35 c #Conflicts: 1117000 | #Constraints: 88372
1871.96/1879.35 c #Conflicts: 1118000 | #Constraints: 89372
1871.96/1879.35 c #Conflicts: 1119000 | #Constraints: 90372
1871.96/1879.35 c #Conflicts: 1120000 | #Constraints: 91372
1871.96/1879.35 c #Conflicts: 1121000 | #Constraints: 92372
1871.96/1879.35 c #Conflicts: 1122000 | #Constraints: 93372
1871.96/1879.35 c #Conflicts: 1123000 | #Constraints: 94372
1871.96/1879.35 c #Conflicts: 1124000 | #Constraints: 95372
1871.96/1879.35 c #Conflicts: 1125000 | #Constraints: 96372
1871.96/1879.35 c #Conflicts: 1126000 | #Constraints: 97372
1871.96/1879.35 c #Conflicts: 1127000 | #Constraints: 98372
1871.96/1879.35 c #Conflicts: 1128000 | #Constraints: 99372
1871.96/1879.35 c #Conflicts: 1129000 | #Constraints: 100372
1871.96/1879.35 c #Conflicts: 1130000 | #Constraints: 101372
1871.96/1879.35 c #Conflicts: 1131000 | #Constraints: 102372
1871.96/1879.35 c #Conflicts: 1132000 | #Constraints: 103372
1871.96/1879.35 c #Conflicts: 1133000 | #Constraints: 104372
1871.96/1879.35 c #Conflicts: 1134000 | #Constraints: 105372
1871.96/1879.35 c #Conflicts: 1135000 | #Constraints: 106372
1871.96/1879.35 c #Conflicts: 1136000 | #Constraints: 107372
1871.96/1879.35 c #Conflicts: 1137000 | #Constraints: 108372
1871.96/1879.35 c #Conflicts: 1138000 | #Constraints: 109372
1871.96/1879.35 c #Conflicts: 1139000 | #Constraints: 110372
1871.96/1879.35 c #Conflicts: 1140000 | #Constraints: 111372
1871.96/1879.35 c INPROCESSING
1871.96/1879.35 c GARBAGE COLLECT
1871.96/1879.35 c #Conflicts: 1141000 | #Constraints: 60389
1871.96/1879.35 c #Conflicts: 1142000 | #Constraints: 61389
1871.96/1879.35 c #Conflicts: 1143000 | #Constraints: 62389
1871.96/1879.35 c #Conflicts: 1144000 | #Constraints: 63389
1871.96/1879.35 c #Conflicts: 1145000 | #Constraints: 64389
1871.96/1879.35 c #Conflicts: 1146000 | #Constraints: 65389
1871.96/1879.35 c #Conflicts: 1147000 | #Constraints: 66389
1871.96/1879.35 c #Conflicts: 1148000 | #Constraints: 67389
1871.96/1879.35 c #Conflicts: 1149000 | #Constraints: 68389
1871.96/1879.35 c #Conflicts: 1150000 | #Constraints: 69389
1871.96/1879.35 c #Conflicts: 1151000 | #Constraints: 70389
1871.96/1879.35 c #Conflicts: 1152000 | #Constraints: 71389
1871.96/1879.35 c #Conflicts: 1153000 | #Constraints: 72389
1871.96/1879.35 c #Conflicts: 1154000 | #Constraints: 73389
1871.96/1879.35 c #Conflicts: 1155000 | #Constraints: 74389
1871.96/1879.35 c #Conflicts: 1156000 | #Constraints: 75389
1871.96/1879.35 c #Conflicts: 1157000 | #Constraints: 76389
1871.96/1879.35 c #Conflicts: 1158000 | #Constraints: 77389
1871.96/1879.35 c #Conflicts: 1159000 | #Constraints: 78389
1871.96/1879.35 c #Conflicts: 1160000 | #Constraints: 79389
1871.96/1879.35 c #Conflicts: 1161000 | #Constraints: 80389
1871.96/1879.35 c #Conflicts: 1162000 | #Constraints: 81389
1871.96/1879.35 c #Conflicts: 1163000 | #Constraints: 82389
1871.96/1879.35 c #Conflicts: 1164000 | #Constraints: 83389
1871.96/1879.35 c INPROCESSING
1871.96/1879.35 c GARBAGE COLLECT
1871.96/1879.35 c rational objective 98
1913.72/1921.23 c #Conflicts: 1165000 | #Constraints: 46130
1913.72/1921.23 c #Conflicts: 1166000 | #Constraints: 47130
1913.72/1921.23 c #Conflicts: 1167000 | #Constraints: 48130
1913.72/1921.23 c #Conflicts: 1168000 | #Constraints: 49130
1913.72/1921.23 c #Conflicts: 1169000 | #Constraints: 50130
1913.72/1921.23 c #Conflicts: 1170000 | #Constraints: 51130
1913.72/1921.23 c #Conflicts: 1171000 | #Constraints: 52130
1913.72/1921.23 c #Conflicts: 1172000 | #Constraints: 53130
1913.72/1921.23 c #Conflicts: 1173000 | #Constraints: 54130
1913.72/1921.23 c #Conflicts: 1174000 | #Constraints: 55130
1913.72/1921.23 c #Conflicts: 1175000 | #Constraints: 56130
1913.72/1921.23 c #Conflicts: 1176000 | #Constraints: 57130
1913.72/1921.23 c #Conflicts: 1177000 | #Constraints: 58130
1913.72/1921.23 c #Conflicts: 1178000 | #Constraints: 59130
1913.72/1921.23 c #Conflicts: 1179000 | #Constraints: 60130
1913.72/1921.23 c #Conflicts: 1180000 | #Constraints: 61130
1913.72/1921.23 c #Conflicts: 1181000 | #Constraints: 62130
1913.72/1921.23 c #Conflicts: 1182000 | #Constraints: 63130
1913.72/1921.23 c #Conflicts: 1183000 | #Constraints: 64130
1913.72/1921.23 c #Conflicts: 1184000 | #Constraints: 65130
1913.72/1921.23 c #Conflicts: 1185000 | #Constraints: 66130
1913.72/1921.23 c #Conflicts: 1186000 | #Constraints: 67130
1913.72/1921.23 c #Conflicts: 1187000 | #Constraints: 68130
1913.72/1921.23 c #Conflicts: 1188000 | #Constraints: 69130
1913.72/1921.23 c #Conflicts: 1189000 | #Constraints: 70130
1913.72/1921.23 c INPROCESSING
1913.72/1921.23 c GARBAGE COLLECT
1913.72/1921.23 c rational objective 98
1963.67/1971.37 c #Conflicts: 1190000 | #Constraints: 39724
1963.67/1971.37 c #Conflicts: 1191000 | #Constraints: 40724
1963.67/1971.37 c #Conflicts: 1192000 | #Constraints: 41725
1963.67/1971.37 c #Conflicts: 1193000 | #Constraints: 42725
1963.67/1971.37 c #Conflicts: 1194000 | #Constraints: 43725
1963.67/1971.37 c #Conflicts: 1195000 | #Constraints: 44725
1963.67/1971.37 c #Conflicts: 1196000 | #Constraints: 45725
1963.67/1971.37 c #Conflicts: 1197000 | #Constraints: 46725
1963.67/1971.37 c #Conflicts: 1198000 | #Constraints: 47725
1963.67/1971.37 c #Conflicts: 1199000 | #Constraints: 48725
1963.67/1971.37 c #Conflicts: 1200000 | #Constraints: 49725
1963.67/1971.37 c #Conflicts: 1201000 | #Constraints: 50725
1963.67/1971.37 c #Conflicts: 1202000 | #Constraints: 51725
1963.67/1971.37 c #Conflicts: 1203000 | #Constraints: 52725
1963.67/1971.37 c #Conflicts: 1204000 | #Constraints: 53725
1963.67/1971.37 c #Conflicts: 1205000 | #Constraints: 54725
1963.67/1971.37 c #Conflicts: 1206000 | #Constraints: 55725
1963.67/1971.37 c #Conflicts: 1207000 | #Constraints: 56725
1963.67/1971.37 c #Conflicts: 1208000 | #Constraints: 57725
1963.67/1971.37 c #Conflicts: 1209000 | #Constraints: 58725
1963.67/1971.37 c #Conflicts: 1210000 | #Constraints: 59725
1963.67/1971.37 c #Conflicts: 1211000 | #Constraints: 60725
1963.67/1971.37 c #Conflicts: 1212000 | #Constraints: 61725
1963.67/1971.37 c #Conflicts: 1213000 | #Constraints: 62725
1963.67/1971.37 c #Conflicts: 1214000 | #Constraints: 63725
1963.67/1971.37 c INPROCESSING
1963.67/1971.37 c GARBAGE COLLECT
1963.67/1971.37 c rational objective 98
2068.55/2076.57 c #Conflicts: 1215000 | #Constraints: 36592
2068.55/2076.57 c #Conflicts: 1216000 | #Constraints: 37592
2068.55/2076.57 c #Conflicts: 1217000 | #Constraints: 38592
2068.55/2076.57 c #Conflicts: 1218000 | #Constraints: 39592
2068.55/2076.57 c #Conflicts: 1219000 | #Constraints: 40592
2068.55/2076.57 c #Conflicts: 1220000 | #Constraints: 41592
2068.55/2076.57 c #Conflicts: 1221000 | #Constraints: 42592
2068.55/2076.57 c #Conflicts: 1222000 | #Constraints: 43592
2068.55/2076.57 c #Conflicts: 1223000 | #Constraints: 44592
2068.55/2076.57 c #Conflicts: 1224000 | #Constraints: 45592
2068.55/2076.57 c #Conflicts: 1225000 | #Constraints: 46592
2068.55/2076.57 c #Conflicts: 1226000 | #Constraints: 47592
2068.55/2076.57 c #Conflicts: 1227000 | #Constraints: 48592
2068.55/2076.57 c #Conflicts: 1228000 | #Constraints: 49592
2068.55/2076.57 c #Conflicts: 1229000 | #Constraints: 50592
2068.55/2076.57 c #Conflicts: 1230000 | #Constraints: 51592
2068.55/2076.57 c #Conflicts: 1231000 | #Constraints: 52592
2068.55/2076.57 c #Conflicts: 1232000 | #Constraints: 53592
2068.55/2076.57 c #Conflicts: 1233000 | #Constraints: 54592
2068.55/2076.57 c #Conflicts: 1234000 | #Constraints: 55592
2068.55/2076.57 c #Conflicts: 1235000 | #Constraints: 56592
2068.55/2076.57 c #Conflicts: 1236000 | #Constraints: 57592
2068.55/2076.57 c #Conflicts: 1237000 | #Constraints: 58592
2068.55/2076.57 c #Conflicts: 1238000 | #Constraints: 59592
2068.55/2076.57 c #Conflicts: 1239000 | #Constraints: 60592
2068.55/2076.57 c INPROCESSING
2068.55/2076.57 c GARBAGE COLLECT
2068.55/2076.57 c #Conflicts: 1240000 | #Constraints: 34901
2068.55/2076.57 c #Conflicts: 1241000 | #Constraints: 35901
2068.55/2076.57 c #Conflicts: 1242000 | #Constraints: 36901
2068.55/2076.57 c #Conflicts: 1243000 | #Constraints: 37901
2068.55/2076.57 c #Conflicts: 1244000 | #Constraints: 38901
2068.55/2076.57 c #Conflicts: 1245000 | #Constraints: 39901
2068.55/2076.57 c #Conflicts: 1246000 | #Constraints: 40901
2068.55/2076.57 c #Conflicts: 1247000 | #Constraints: 41901
2068.55/2076.57 c #Conflicts: 1248000 | #Constraints: 42901
2068.55/2076.57 c #Conflicts: 1249000 | #Constraints: 43901
2068.55/2076.57 c #Conflicts: 1250000 | #Constraints: 44901
2068.55/2076.57 c #Conflicts: 1251000 | #Constraints: 45901
2068.55/2076.57 c #Conflicts: 1252000 | #Constraints: 46901
2068.55/2076.57 c #Conflicts: 1253000 | #Constraints: 47901
2068.55/2076.57 c #Conflicts: 1254000 | #Constraints: 48901
2068.55/2076.57 c #Conflicts: 1255000 | #Constraints: 49901
2068.55/2076.57 c #Conflicts: 1256000 | #Constraints: 50901
2068.55/2076.57 c #Conflicts: 1257000 | #Constraints: 51901
2068.55/2076.57 c #Conflicts: 1258000 | #Constraints: 52901
2068.55/2076.57 c #Conflicts: 1259000 | #Constraints: 53901
2068.55/2076.57 c #Conflicts: 1260000 | #Constraints: 54901
2068.55/2076.57 c #Conflicts: 1261000 | #Constraints: 55901
2068.55/2076.57 c #Conflicts: 1262000 | #Constraints: 56901
2068.55/2076.57 c #Conflicts: 1263000 | #Constraints: 57901
2068.55/2076.57 c #Conflicts: 1264000 | #Constraints: 58901
2068.55/2076.57 c INPROCESSING
2068.55/2076.57 c GARBAGE COLLECT
2068.55/2076.57 c #Conflicts: 1265000 | #Constraints: 33913
2068.55/2076.57 c #Conflicts: 1266000 | #Constraints: 34913
2068.55/2076.57 c #Conflicts: 1267000 | #Constraints: 35913
2068.55/2076.57 c #Conflicts: 1268000 | #Constraints: 36913
2068.55/2076.57 c #Conflicts: 1269000 | #Constraints: 37913
2068.55/2076.57 c #Conflicts: 1270000 | #Constraints: 38913
2068.55/2076.57 c #Conflicts: 1271000 | #Constraints: 39913
2068.55/2076.57 c #Conflicts: 1272000 | #Constraints: 40913
2068.55/2076.57 c #Conflicts: 1273000 | #Constraints: 41913
2068.55/2076.57 c #Conflicts: 1274000 | #Constraints: 42913
2068.55/2076.57 c #Conflicts: 1275000 | #Constraints: 43913
2068.55/2076.57 c #Conflicts: 1276000 | #Constraints: 44913
2068.55/2076.57 c #Conflicts: 1277000 | #Constraints: 45913
2068.55/2076.57 c #Conflicts: 1278000 | #Constraints: 46913
2068.55/2076.57 c #Conflicts: 1279000 | #Constraints: 47913
2068.55/2076.57 c #Conflicts: 1280000 | #Constraints: 48913
2068.55/2076.57 c #Conflicts: 1281000 | #Constraints: 49913
2068.55/2076.57 c #Conflicts: 1282000 | #Constraints: 50913
2068.55/2076.57 c #Conflicts: 1283000 | #Constraints: 51913
2068.55/2076.57 c #Conflicts: 1284000 | #Constraints: 52913
2068.55/2076.57 c #Conflicts: 1285000 | #Constraints: 53914
2068.55/2076.57 c #Conflicts: 1286000 | #Constraints: 54914
2068.55/2076.57 c #Conflicts: 1287000 | #Constraints: 55914
2068.55/2076.57 c #Conflicts: 1288000 | #Constraints: 56914
2068.55/2076.57 c #Conflicts: 1289000 | #Constraints: 57914
2068.55/2076.57 c #Conflicts: 1290000 | #Constraints: 58914
2068.55/2076.57 c #Conflicts: 1291000 | #Constraints: 59914
2068.55/2076.57 c #Conflicts: 1292000 | #Constraints: 60914
2270.14/2278.71 c #Conflicts: 1293000 | #Constraints: 61914
2270.14/2278.71 c #Conflicts: 1294000 | #Constraints: 62914
2270.14/2278.71 c #Conflicts: 1295000 | #Constraints: 63914
2270.14/2278.71 c #Conflicts: 1296000 | #Constraints: 64914
2270.14/2278.71 c #Conflicts: 1297000 | #Constraints: 65914
2270.14/2278.71 c #Conflicts: 1298000 | #Constraints: 66915
2270.14/2278.71 c #Conflicts: 1299000 | #Constraints: 67915
2270.14/2278.71 c #Conflicts: 1300000 | #Constraints: 68915
2270.14/2278.71 c #Conflicts: 1301000 | #Constraints: 69915
2270.14/2278.71 c #Conflicts: 1302000 | #Constraints: 70915
2270.14/2278.71 c #Conflicts: 1303000 | #Constraints: 71915
2270.14/2278.71 c #Conflicts: 1304000 | #Constraints: 72915
2270.14/2278.71 c #Conflicts: 1305000 | #Constraints: 73915
2270.14/2278.71 c #Conflicts: 1306000 | #Constraints: 74915
2270.14/2278.71 c #Conflicts: 1307000 | #Constraints: 75915
2270.14/2278.71 c #Conflicts: 1308000 | #Constraints: 76915
2270.14/2278.71 c #Conflicts: 1309000 | #Constraints: 77915
2270.14/2278.71 c #Conflicts: 1310000 | #Constraints: 78915
2270.14/2278.71 c #Conflicts: 1311000 | #Constraints: 79915
2270.14/2278.71 c #Conflicts: 1312000 | #Constraints: 80915
2270.14/2278.71 c #Conflicts: 1313000 | #Constraints: 81915
2270.14/2278.71 c #Conflicts: 1314000 | #Constraints: 82915
2270.14/2278.71 c #Conflicts: 1315000 | #Constraints: 83915
2270.14/2278.71 c #Conflicts: 1316000 | #Constraints: 84915
2270.14/2278.71 c #Conflicts: 1317000 | #Constraints: 85915
2270.14/2278.71 c #Conflicts: 1318000 | #Constraints: 86915
2270.14/2278.71 c #Conflicts: 1319000 | #Constraints: 87915
2270.14/2278.71 c #Conflicts: 1320000 | #Constraints: 88915
2270.14/2278.71 c #Conflicts: 1321000 | #Constraints: 89915
2270.14/2278.71 c #Conflicts: 1322000 | #Constraints: 90915
2270.14/2278.71 c #Conflicts: 1323000 | #Constraints: 91915
2270.14/2278.71 c #Conflicts: 1324000 | #Constraints: 92915
2270.14/2278.71 c #Conflicts: 1325000 | #Constraints: 93915
2270.14/2278.71 c #Conflicts: 1326000 | #Constraints: 94915
2270.14/2278.71 c #Conflicts: 1327000 | #Constraints: 95915
2270.14/2278.71 c #Conflicts: 1328000 | #Constraints: 96915
2270.14/2278.71 c #Conflicts: 1329000 | #Constraints: 97915
2270.14/2278.71 c #Conflicts: 1330000 | #Constraints: 98915
2270.14/2278.71 c #Conflicts: 1331000 | #Constraints: 99915
2270.14/2278.71 c #Conflicts: 1332000 | #Constraints: 100915
2270.14/2278.71 c #Conflicts: 1333000 | #Constraints: 101915
2270.14/2278.71 c #Conflicts: 1334000 | #Constraints: 102915
2270.14/2278.71 c #Conflicts: 1335000 | #Constraints: 103915
2270.14/2278.71 c #Conflicts: 1336000 | #Constraints: 104915
2270.14/2278.71 c #Conflicts: 1337000 | #Constraints: 105915
2270.14/2278.71 c #Conflicts: 1338000 | #Constraints: 106915
2270.14/2278.71 c #Conflicts: 1339000 | #Constraints: 107915
2270.14/2278.71 c #Conflicts: 1340000 | #Constraints: 108915
2270.14/2278.71 c #Conflicts: 1341000 | #Constraints: 109915
2270.14/2278.71 c #Conflicts: 1342000 | #Constraints: 110915
2270.14/2278.71 c #Conflicts: 1343000 | #Constraints: 111915
2270.14/2278.71 c #Conflicts: 1344000 | #Constraints: 112915
2270.14/2278.71 c #Conflicts: 1345000 | #Constraints: 113915
2270.14/2278.71 c #Conflicts: 1346000 | #Constraints: 114915
2270.14/2278.71 c #Conflicts: 1347000 | #Constraints: 115915
2270.14/2278.71 c #Conflicts: 1348000 | #Constraints: 116915
2270.14/2278.71 c #Conflicts: 1349000 | #Constraints: 117915
2270.14/2278.71 c #Conflicts: 1350000 | #Constraints: 118915
2270.14/2278.71 c #Conflicts: 1351000 | #Constraints: 119915
2270.14/2278.71 c #Conflicts: 1352000 | #Constraints: 120915
2270.14/2278.71 c INPROCESSING
2270.14/2278.71 c GARBAGE COLLECT
2270.14/2278.71 c rational objective 98
2333.74/2342.57 c #Conflicts: 1353000 | #Constraints: 65141
2333.74/2342.57 c #Conflicts: 1354000 | #Constraints: 66141
2333.74/2342.57 c #Conflicts: 1355000 | #Constraints: 67141
2333.74/2342.57 c #Conflicts: 1356000 | #Constraints: 68141
2333.74/2342.57 c #Conflicts: 1357000 | #Constraints: 69141
2333.74/2342.57 c #Conflicts: 1358000 | #Constraints: 70141
2333.74/2342.57 c #Conflicts: 1359000 | #Constraints: 71141
2333.74/2342.57 c #Conflicts: 1360000 | #Constraints: 72141
2333.74/2342.57 c #Conflicts: 1361000 | #Constraints: 73141
2333.74/2342.57 c #Conflicts: 1362000 | #Constraints: 74141
2333.74/2342.57 c #Conflicts: 1363000 | #Constraints: 75141
2333.74/2342.57 c #Conflicts: 1364000 | #Constraints: 76141
2333.74/2342.57 c #Conflicts: 1365000 | #Constraints: 77141
2333.74/2342.57 c #Conflicts: 1366000 | #Constraints: 78141
2333.74/2342.57 c #Conflicts: 1367000 | #Constraints: 79141
2333.74/2342.57 c #Conflicts: 1368000 | #Constraints: 80141
2333.74/2342.57 c #Conflicts: 1369000 | #Constraints: 81141
2333.74/2342.57 c #Conflicts: 1370000 | #Constraints: 82141
2333.74/2342.57 c #Conflicts: 1371000 | #Constraints: 83141
2333.74/2342.57 c #Conflicts: 1372000 | #Constraints: 84141
2333.74/2342.57 c #Conflicts: 1373000 | #Constraints: 85141
2333.74/2342.57 c #Conflicts: 1374000 | #Constraints: 86141
2333.74/2342.57 c #Conflicts: 1375000 | #Constraints: 87141
2333.74/2342.57 c #Conflicts: 1376000 | #Constraints: 88141
2333.74/2342.57 c #Conflicts: 1377000 | #Constraints: 89141
2333.74/2342.57 c #Conflicts: 1378000 | #Constraints: 90141
2333.74/2342.57 c #Conflicts: 1379000 | #Constraints: 91141
2333.74/2342.57 c INPROCESSING
2333.74/2342.57 c GARBAGE COLLECT
2333.74/2342.57 c rational objective 98
2427.86/2436.97 c #Conflicts: 1380000 | #Constraints: 50358
2427.86/2436.97 c #Conflicts: 1381000 | #Constraints: 51358
2427.86/2436.97 c #Conflicts: 1382000 | #Constraints: 52358
2427.86/2436.97 c #Conflicts: 1383000 | #Constraints: 53358
2427.86/2436.97 c #Conflicts: 1384000 | #Constraints: 54358
2427.86/2436.97 c #Conflicts: 1385000 | #Constraints: 55358
2427.86/2436.97 c #Conflicts: 1386000 | #Constraints: 56358
2427.86/2436.97 c #Conflicts: 1387000 | #Constraints: 57358
2427.86/2436.97 c #Conflicts: 1388000 | #Constraints: 58358
2427.86/2436.97 c #Conflicts: 1389000 | #Constraints: 59358
2427.86/2436.97 c #Conflicts: 1390000 | #Constraints: 60358
2427.86/2436.97 c #Conflicts: 1391000 | #Constraints: 61358
2427.86/2436.97 c #Conflicts: 1392000 | #Constraints: 62358
2427.86/2436.97 c #Conflicts: 1393000 | #Constraints: 63358
2427.86/2436.97 c #Conflicts: 1394000 | #Constraints: 64358
2427.86/2436.97 c #Conflicts: 1395000 | #Constraints: 65358
2427.86/2436.97 c #Conflicts: 1396000 | #Constraints: 66358
2427.86/2436.97 c #Conflicts: 1397000 | #Constraints: 67358
2427.86/2436.97 c #Conflicts: 1398000 | #Constraints: 68358
2427.86/2436.97 c #Conflicts: 1399000 | #Constraints: 69358
2427.86/2436.97 c #Conflicts: 1400000 | #Constraints: 70358
2427.86/2436.97 c #Conflicts: 1401000 | #Constraints: 71358
2427.86/2436.97 c #Conflicts: 1402000 | #Constraints: 72358
2427.86/2436.97 c #Conflicts: 1403000 | #Constraints: 73358
2427.86/2436.97 c #Conflicts: 1404000 | #Constraints: 74358
2427.86/2436.97 c #Conflicts: 1405000 | #Constraints: 75358
2427.86/2436.97 c INPROCESSING
2427.86/2436.97 c GARBAGE COLLECT
2427.86/2436.97 c #Conflicts: 1406000 | #Constraints: 42140
2427.86/2436.97 c #Conflicts: 1407000 | #Constraints: 43140
2427.86/2436.97 c #Conflicts: 1408000 | #Constraints: 44140
2427.86/2436.97 c #Conflicts: 1409000 | #Constraints: 45140
2427.86/2436.97 c #Conflicts: 1410000 | #Constraints: 46140
2427.86/2436.97 c #Conflicts: 1411000 | #Constraints: 47140
2427.86/2436.97 c #Conflicts: 1412000 | #Constraints: 48140
2427.86/2436.97 c #Conflicts: 1413000 | #Constraints: 49140
2427.86/2436.97 c #Conflicts: 1414000 | #Constraints: 50140
2427.86/2436.97 c #Conflicts: 1415000 | #Constraints: 51140
2427.86/2436.97 c #Conflicts: 1416000 | #Constraints: 52140
2427.86/2436.97 c #Conflicts: 1417000 | #Constraints: 53140
2427.86/2436.97 c #Conflicts: 1418000 | #Constraints: 54140
2427.86/2436.97 c #Conflicts: 1419000 | #Constraints: 55140
2427.86/2436.97 c #Conflicts: 1420000 | #Constraints: 56140
2427.86/2436.97 c #Conflicts: 1421000 | #Constraints: 57140
2427.86/2436.97 c #Conflicts: 1422000 | #Constraints: 58140
2427.86/2436.97 c #Conflicts: 1423000 | #Constraints: 59140
2427.86/2436.97 c #Conflicts: 1424000 | #Constraints: 60140
2427.86/2436.97 c #Conflicts: 1425000 | #Constraints: 61140
2427.86/2436.97 c #Conflicts: 1426000 | #Constraints: 62140
2427.86/2436.97 c #Conflicts: 1427000 | #Constraints: 63140
2427.86/2436.97 c #Conflicts: 1428000 | #Constraints: 64140
2427.86/2436.97 c #Conflicts: 1429000 | #Constraints: 65140
2427.86/2436.97 c #Conflicts: 1430000 | #Constraints: 66140
2427.86/2436.97 c #Conflicts: 1431000 | #Constraints: 67140
2427.86/2436.97 c #Conflicts: 1432000 | #Constraints: 68140
2427.86/2436.97 c INPROCESSING
2427.86/2436.97 c GARBAGE COLLECT
2427.86/2436.97 c rational objective 98
2478.70/2487.99 c #Conflicts: 1433000 | #Constraints: 38586
2478.70/2487.99 c #Conflicts: 1434000 | #Constraints: 39586
2478.70/2487.99 c #Conflicts: 1435000 | #Constraints: 40586
2478.70/2487.99 c #Conflicts: 1436000 | #Constraints: 41586
2478.70/2487.99 c #Conflicts: 1437000 | #Constraints: 42586
2478.70/2487.99 c #Conflicts: 1438000 | #Constraints: 43586
2478.70/2487.99 c #Conflicts: 1439000 | #Constraints: 44586
2478.70/2487.99 c #Conflicts: 1440000 | #Constraints: 45586
2478.70/2487.99 c #Conflicts: 1441000 | #Constraints: 46586
2478.70/2487.99 c #Conflicts: 1442000 | #Constraints: 47586
2478.70/2487.99 c #Conflicts: 1443000 | #Constraints: 48586
2478.70/2487.99 c #Conflicts: 1444000 | #Constraints: 49586
2478.70/2487.99 c #Conflicts: 1445000 | #Constraints: 50586
2478.70/2487.99 c #Conflicts: 1446000 | #Constraints: 51586
2478.70/2487.99 c #Conflicts: 1447000 | #Constraints: 52586
2478.70/2487.99 c #Conflicts: 1448000 | #Constraints: 53586
2478.70/2487.99 c #Conflicts: 1449000 | #Constraints: 54586
2478.70/2487.99 c #Conflicts: 1450000 | #Constraints: 55586
2478.70/2487.99 c #Conflicts: 1451000 | #Constraints: 56586
2478.70/2487.99 c #Conflicts: 1452000 | #Constraints: 57586
2478.70/2487.99 c #Conflicts: 1453000 | #Constraints: 58586
2478.70/2487.99 c #Conflicts: 1454000 | #Constraints: 59586
2478.70/2487.99 c #Conflicts: 1455000 | #Constraints: 60586
2478.70/2487.99 c #Conflicts: 1456000 | #Constraints: 61586
2478.70/2487.99 c #Conflicts: 1457000 | #Constraints: 62586
2478.70/2487.99 c #Conflicts: 1458000 | #Constraints: 63586
2478.70/2487.99 c #Conflicts: 1459000 | #Constraints: 64586
2478.70/2487.99 c #Conflicts: 1460000 | #Constraints: 65586
2478.70/2487.99 c INPROCESSING
2478.70/2487.99 c GARBAGE COLLECT
2478.70/2487.99 c rational objective 98
2617.48/2627.16 c #Conflicts: 1461000 | #Constraints: 37726
2617.48/2627.16 c #Conflicts: 1462000 | #Constraints: 38726
2617.48/2627.16 c #Conflicts: 1463000 | #Constraints: 39726
2617.48/2627.16 c #Conflicts: 1464000 | #Constraints: 40726
2617.48/2627.16 c #Conflicts: 1465000 | #Constraints: 41726
2617.48/2627.16 c #Conflicts: 1466000 | #Constraints: 42726
2617.48/2627.16 c #Conflicts: 1467000 | #Constraints: 43726
2617.48/2627.16 c #Conflicts: 1468000 | #Constraints: 44726
2617.48/2627.16 c #Conflicts: 1469000 | #Constraints: 45726
2617.48/2627.16 c #Conflicts: 1470000 | #Constraints: 46726
2617.48/2627.16 c #Conflicts: 1471000 | #Constraints: 47726
2617.48/2627.16 c #Conflicts: 1472000 | #Constraints: 48726
2617.48/2627.16 c #Conflicts: 1473000 | #Constraints: 49726
2617.48/2627.16 c #Conflicts: 1474000 | #Constraints: 50726
2617.48/2627.16 c #Conflicts: 1475000 | #Constraints: 51726
2617.48/2627.16 c #Conflicts: 1476000 | #Constraints: 52726
2617.48/2627.16 c #Conflicts: 1477000 | #Constraints: 53726
2617.48/2627.16 c #Conflicts: 1478000 | #Constraints: 54726
2617.48/2627.16 c #Conflicts: 1479000 | #Constraints: 55726
2617.48/2627.16 c #Conflicts: 1480000 | #Constraints: 56726
2617.48/2627.16 c #Conflicts: 1481000 | #Constraints: 57726
2617.48/2627.16 c #Conflicts: 1482000 | #Constraints: 58726
2617.48/2627.16 c #Conflicts: 1483000 | #Constraints: 59726
2617.48/2627.16 c #Conflicts: 1484000 | #Constraints: 60726
2617.48/2627.16 c #Conflicts: 1485000 | #Constraints: 61727
2617.48/2627.16 c #Conflicts: 1486000 | #Constraints: 62727
2617.48/2627.16 c #Conflicts: 1487000 | #Constraints: 63727
2617.48/2627.16 c INPROCESSING
2617.48/2627.16 c GARBAGE COLLECT
2617.48/2627.16 c #Conflicts: 1488000 | #Constraints: 36493
2617.48/2627.16 c #Conflicts: 1489000 | #Constraints: 37493
2617.48/2627.16 c #Conflicts: 1490000 | #Constraints: 38493
2617.48/2627.16 c #Conflicts: 1491000 | #Constraints: 39493
2617.48/2627.16 c #Conflicts: 1492000 | #Constraints: 40493
2617.48/2627.16 c #Conflicts: 1493000 | #Constraints: 41493
2617.48/2627.16 c #Conflicts: 1494000 | #Constraints: 42493
2617.48/2627.16 c #Conflicts: 1495000 | #Constraints: 43493
2617.48/2627.16 c #Conflicts: 1496000 | #Constraints: 44493
2617.48/2627.16 c #Conflicts: 1497000 | #Constraints: 45493
2617.48/2627.16 c #Conflicts: 1498000 | #Constraints: 46493
2617.48/2627.16 c #Conflicts: 1499000 | #Constraints: 47493
2617.48/2627.16 c #Conflicts: 1500000 | #Constraints: 48493
2617.48/2627.16 c #Conflicts: 1501000 | #Constraints: 49493
2617.48/2627.16 c #Conflicts: 1502000 | #Constraints: 50493
2617.48/2627.16 c #Conflicts: 1503000 | #Constraints: 51493
2617.48/2627.16 c #Conflicts: 1504000 | #Constraints: 52493
2617.48/2627.16 c #Conflicts: 1505000 | #Constraints: 53493
2617.48/2627.16 c #Conflicts: 1506000 | #Constraints: 54493
2617.48/2627.16 c #Conflicts: 1507000 | #Constraints: 55493
2617.48/2627.16 c #Conflicts: 1508000 | #Constraints: 56493
2617.48/2627.16 c #Conflicts: 1509000 | #Constraints: 57493
2617.48/2627.16 c #Conflicts: 1510000 | #Constraints: 58493
2617.48/2627.16 c #Conflicts: 1511000 | #Constraints: 59493
2617.48/2627.16 c #Conflicts: 1512000 | #Constraints: 60493
2617.48/2627.16 c #Conflicts: 1513000 | #Constraints: 61493
2617.48/2627.16 c #Conflicts: 1514000 | #Constraints: 62493
2617.48/2627.16 c #Conflicts: 1515000 | #Constraints: 63493
2617.48/2627.16 c #Conflicts: 1516000 | #Constraints: 64493
2617.48/2627.16 c #Conflicts: 1517000 | #Constraints: 65493
2617.48/2627.16 c #Conflicts: 1518000 | #Constraints: 66493
2617.48/2627.16 c #Conflicts: 1519000 | #Constraints: 67493
2617.48/2627.16 c #Conflicts: 1520000 | #Constraints: 68493
2617.48/2627.16 c #Conflicts: 1521000 | #Constraints: 69493
2617.48/2627.16 c #Conflicts: 1522000 | #Constraints: 70493
2617.48/2627.16 c #Conflicts: 1523000 | #Constraints: 71493
2617.48/2627.16 c #Conflicts: 1524000 | #Constraints: 72493
2617.48/2627.16 c #Conflicts: 1525000 | #Constraints: 73493
2617.48/2627.16 c #Conflicts: 1526000 | #Constraints: 74493
2617.48/2627.16 c #Conflicts: 1527000 | #Constraints: 75493
2617.48/2627.16 c #Conflicts: 1528000 | #Constraints: 76493
2617.48/2627.16 c #Conflicts: 1529000 | #Constraints: 77493
2617.48/2627.16 c #Conflicts: 1530000 | #Constraints: 78493
2617.48/2627.16 c #Conflicts: 1531000 | #Constraints: 79493
2617.48/2627.16 c #Conflicts: 1532000 | #Constraints: 80493
2617.48/2627.16 c #Conflicts: 1533000 | #Constraints: 81493
2617.48/2627.16 c #Conflicts: 1534000 | #Constraints: 82493
2617.48/2627.16 c #Conflicts: 1535000 | #Constraints: 83493
2617.48/2627.16 c #Conflicts: 1536000 | #Constraints: 84493
2617.48/2627.16 c #Conflicts: 1537000 | #Constraints: 85493
2617.48/2627.16 c #Conflicts: 1538000 | #Constraints: 86493
2617.48/2627.16 c #Conflicts: 1539000 | #Constraints: 87493
2799.20/2809.49 c #Conflicts: 1540000 | #Constraints: 88493
2799.20/2809.49 c #Conflicts: 1541000 | #Constraints: 89493
2799.20/2809.49 c #Conflicts: 1542000 | #Constraints: 90493
2799.20/2809.49 c #Conflicts: 1543000 | #Constraints: 91493
2799.20/2809.49 c #Conflicts: 1544000 | #Constraints: 92493
2799.20/2809.49 c #Conflicts: 1545000 | #Constraints: 93493
2799.20/2809.49 c #Conflicts: 1546000 | #Constraints: 94493
2799.20/2809.49 c #Conflicts: 1547000 | #Constraints: 95493
2799.20/2809.49 c #Conflicts: 1548000 | #Constraints: 96493
2799.20/2809.49 c #Conflicts: 1549000 | #Constraints: 97493
2799.20/2809.49 c #Conflicts: 1550000 | #Constraints: 98493
2799.20/2809.49 c #Conflicts: 1551000 | #Constraints: 99493
2799.20/2809.49 c #Conflicts: 1552000 | #Constraints: 100493
2799.20/2809.49 c #Conflicts: 1553000 | #Constraints: 101493
2799.20/2809.49 c #Conflicts: 1554000 | #Constraints: 102493
2799.20/2809.49 c #Conflicts: 1555000 | #Constraints: 103493
2799.20/2809.49 c #Conflicts: 1556000 | #Constraints: 104493
2799.20/2809.49 c #Conflicts: 1557000 | #Constraints: 105493
2799.20/2809.49 c #Conflicts: 1558000 | #Constraints: 106493
2799.20/2809.49 c #Conflicts: 1559000 | #Constraints: 107493
2799.20/2809.49 c #Conflicts: 1560000 | #Constraints: 108493
2799.20/2809.49 c #Conflicts: 1561000 | #Constraints: 109493
2799.20/2809.49 c #Conflicts: 1562000 | #Constraints: 110493
2799.20/2809.49 c #Conflicts: 1563000 | #Constraints: 111493
2799.20/2809.49 c #Conflicts: 1564000 | #Constraints: 112493
2799.20/2809.49 c #Conflicts: 1565000 | #Constraints: 113493
2799.20/2809.49 c #Conflicts: 1566000 | #Constraints: 114493
2799.20/2809.49 c #Conflicts: 1567000 | #Constraints: 115493
2799.20/2809.49 c #Conflicts: 1568000 | #Constraints: 116493
2799.20/2809.49 c #Conflicts: 1569000 | #Constraints: 117493
2799.20/2809.49 c #Conflicts: 1570000 | #Constraints: 118493
2799.20/2809.49 c #Conflicts: 1571000 | #Constraints: 119493
2799.20/2809.49 c #Conflicts: 1572000 | #Constraints: 120493
2799.20/2809.49 c #Conflicts: 1573000 | #Constraints: 121493
2799.20/2809.49 c #Conflicts: 1574000 | #Constraints: 122493
2799.20/2809.49 c #Conflicts: 1575000 | #Constraints: 123493
2799.20/2809.49 c #Conflicts: 1576000 | #Constraints: 124493
2799.20/2809.49 c #Conflicts: 1577000 | #Constraints: 125493
2799.20/2809.49 c #Conflicts: 1578000 | #Constraints: 126493
2799.20/2809.49 c #Conflicts: 1579000 | #Constraints: 127493
2799.20/2809.49 c #Conflicts: 1580000 | #Constraints: 128493
2799.20/2809.49 c #Conflicts: 1581000 | #Constraints: 129493
2799.20/2809.49 c #Conflicts: 1582000 | #Constraints: 130493
2799.20/2809.49 c INPROCESSING
2799.20/2809.49 c GARBAGE COLLECT
2799.20/2809.49 c rational objective 98
2878.55/2889.04 c #Conflicts: 1583000 | #Constraints: 69905
2878.55/2889.04 c #Conflicts: 1584000 | #Constraints: 70905
2878.55/2889.04 c #Conflicts: 1585000 | #Constraints: 71905
2878.55/2889.04 c #Conflicts: 1586000 | #Constraints: 72905
2878.55/2889.04 c #Conflicts: 1587000 | #Constraints: 73905
2878.55/2889.04 c #Conflicts: 1588000 | #Constraints: 74905
2878.55/2889.04 c #Conflicts: 1589000 | #Constraints: 75905
2878.55/2889.04 c #Conflicts: 1590000 | #Constraints: 76905
2878.55/2889.04 c #Conflicts: 1591000 | #Constraints: 77905
2878.55/2889.04 c #Conflicts: 1592000 | #Constraints: 78905
2878.55/2889.04 c #Conflicts: 1593000 | #Constraints: 79905
2878.55/2889.04 c #Conflicts: 1594000 | #Constraints: 80905
2878.55/2889.04 c #Conflicts: 1595000 | #Constraints: 81905
2878.55/2889.04 c #Conflicts: 1596000 | #Constraints: 82905
2878.55/2889.04 c #Conflicts: 1597000 | #Constraints: 83905
2878.55/2889.04 c #Conflicts: 1598000 | #Constraints: 84905
2878.55/2889.04 c #Conflicts: 1599000 | #Constraints: 85905
2878.55/2889.04 c #Conflicts: 1600000 | #Constraints: 86905
2878.55/2889.04 c #Conflicts: 1601000 | #Constraints: 87905
2878.55/2889.04 c #Conflicts: 1602000 | #Constraints: 88905
2878.55/2889.04 c #Conflicts: 1603000 | #Constraints: 89905
2878.55/2889.04 c #Conflicts: 1604000 | #Constraints: 90905
2878.55/2889.04 c #Conflicts: 1605000 | #Constraints: 91905
2878.55/2889.04 c #Conflicts: 1606000 | #Constraints: 92905
2878.55/2889.04 c #Conflicts: 1607000 | #Constraints: 93905
2878.55/2889.04 c #Conflicts: 1608000 | #Constraints: 94905
2878.55/2889.04 c #Conflicts: 1609000 | #Constraints: 95905
2878.55/2889.04 c #Conflicts: 1610000 | #Constraints: 96905
2878.55/2889.04 c #Conflicts: 1611000 | #Constraints: 97905
2878.55/2889.04 c INPROCESSING
2878.55/2889.04 c GARBAGE COLLECT
2878.55/2889.04 c rational objective 98
3035.25/3046.15 c #Conflicts: 1612000 | #Constraints: 53708
3035.25/3046.15 c #Conflicts: 1613000 | #Constraints: 54708
3035.25/3046.15 c #Conflicts: 1614000 | #Constraints: 55708
3035.25/3046.15 c #Conflicts: 1615000 | #Constraints: 56709
3035.25/3046.15 c #Conflicts: 1616000 | #Constraints: 57709
3035.25/3046.15 c #Conflicts: 1617000 | #Constraints: 58709
3035.25/3046.15 c #Conflicts: 1618000 | #Constraints: 59709
3035.25/3046.15 c #Conflicts: 1619000 | #Constraints: 60709
3035.25/3046.15 c #Conflicts: 1620000 | #Constraints: 61709
3035.25/3046.15 c #Conflicts: 1621000 | #Constraints: 62709
3035.25/3046.15 c #Conflicts: 1622000 | #Constraints: 63709
3035.25/3046.15 c #Conflicts: 1623000 | #Constraints: 64709
3035.25/3046.15 c #Conflicts: 1624000 | #Constraints: 65709
3035.25/3046.15 c #Conflicts: 1625000 | #Constraints: 66709
3035.25/3046.15 c #Conflicts: 1626000 | #Constraints: 67709
3035.25/3046.15 c #Conflicts: 1627000 | #Constraints: 68709
3035.25/3046.15 c #Conflicts: 1628000 | #Constraints: 69709
3035.25/3046.15 c #Conflicts: 1629000 | #Constraints: 70709
3035.25/3046.15 c #Conflicts: 1630000 | #Constraints: 71709
3035.25/3046.15 c #Conflicts: 1631000 | #Constraints: 72709
3035.25/3046.15 c #Conflicts: 1632000 | #Constraints: 73709
3035.25/3046.15 c #Conflicts: 1633000 | #Constraints: 74709
3035.25/3046.15 c #Conflicts: 1634000 | #Constraints: 75709
3035.25/3046.15 c #Conflicts: 1635000 | #Constraints: 76709
3035.25/3046.15 c #Conflicts: 1636000 | #Constraints: 77709
3035.25/3046.15 c #Conflicts: 1637000 | #Constraints: 78709
3035.25/3046.15 c #Conflicts: 1638000 | #Constraints: 79709
3035.25/3046.15 c #Conflicts: 1639000 | #Constraints: 80709
3035.25/3046.15 c #Conflicts: 1640000 | #Constraints: 81709
3035.25/3046.15 c INPROCESSING
3035.25/3046.15 c GARBAGE COLLECT
3035.25/3046.15 c #Conflicts: 1641000 | #Constraints: 45806
3035.25/3046.15 c #Conflicts: 1642000 | #Constraints: 46806
3035.25/3046.15 c #Conflicts: 1643000 | #Constraints: 47806
3035.25/3046.15 c #Conflicts: 1644000 | #Constraints: 48806
3035.25/3046.15 c #Conflicts: 1645000 | #Constraints: 49806
3035.25/3046.15 c #Conflicts: 1646000 | #Constraints: 50806
3035.25/3046.15 c #Conflicts: 1647000 | #Constraints: 51806
3035.25/3046.15 c #Conflicts: 1648000 | #Constraints: 52806
3035.25/3046.15 c #Conflicts: 1649000 | #Constraints: 53806
3035.25/3046.15 c #Conflicts: 1650000 | #Constraints: 54806
3035.25/3046.15 c #Conflicts: 1651000 | #Constraints: 55806
3035.25/3046.15 c #Conflicts: 1652000 | #Constraints: 56806
3035.25/3046.15 c #Conflicts: 1653000 | #Constraints: 57806
3035.25/3046.15 c #Conflicts: 1654000 | #Constraints: 58806
3035.25/3046.15 c #Conflicts: 1655000 | #Constraints: 59806
3035.25/3046.15 c #Conflicts: 1656000 | #Constraints: 60806
3035.25/3046.15 c #Conflicts: 1657000 | #Constraints: 61806
3035.25/3046.15 c #Conflicts: 1658000 | #Constraints: 62806
3035.25/3046.15 c #Conflicts: 1659000 | #Constraints: 63806
3035.25/3046.15 c #Conflicts: 1660000 | #Constraints: 64806
3035.25/3046.15 c #Conflicts: 1661000 | #Constraints: 65806
3035.25/3046.15 c #Conflicts: 1662000 | #Constraints: 66806
3035.25/3046.15 c #Conflicts: 1663000 | #Constraints: 67806
3035.25/3046.15 c #Conflicts: 1664000 | #Constraints: 68806
3035.25/3046.15 c #Conflicts: 1665000 | #Constraints: 69806
3035.25/3046.15 c #Conflicts: 1666000 | #Constraints: 70806
3035.25/3046.15 c #Conflicts: 1667000 | #Constraints: 71806
3035.25/3046.15 c #Conflicts: 1668000 | #Constraints: 72806
3035.25/3046.15 c #Conflicts: 1669000 | #Constraints: 73806
3035.25/3046.15 c INPROCESSING
3035.25/3046.15 c GARBAGE COLLECT
3035.25/3046.15 c #Conflicts: 1670000 | #Constraints: 41750
3035.25/3046.15 c #Conflicts: 1671000 | #Constraints: 42750
3035.25/3046.15 c #Conflicts: 1672000 | #Constraints: 43750
3035.25/3046.15 c #Conflicts: 1673000 | #Constraints: 44750
3035.25/3046.15 c #Conflicts: 1674000 | #Constraints: 45750
3035.25/3046.15 c #Conflicts: 1675000 | #Constraints: 46750
3035.25/3046.15 c #Conflicts: 1676000 | #Constraints: 47750
3035.25/3046.15 c #Conflicts: 1677000 | #Constraints: 48750
3035.25/3046.15 c #Conflicts: 1678000 | #Constraints: 49750
3035.25/3046.15 c #Conflicts: 1679000 | #Constraints: 50750
3035.25/3046.15 c #Conflicts: 1680000 | #Constraints: 51750
3035.25/3046.15 c #Conflicts: 1681000 | #Constraints: 52750
3035.25/3046.15 c #Conflicts: 1682000 | #Constraints: 53750
3035.25/3046.15 c #Conflicts: 1683000 | #Constraints: 54750
3035.25/3046.15 c #Conflicts: 1684000 | #Constraints: 55750
3035.25/3046.15 c #Conflicts: 1685000 | #Constraints: 56750
3035.25/3046.15 c #Conflicts: 1686000 | #Constraints: 57750
3035.25/3046.15 c #Conflicts: 1687000 | #Constraints: 58750
3035.25/3046.15 c #Conflicts: 1688000 | #Constraints: 59750
3035.25/3046.15 c #Conflicts: 1689000 | #Constraints: 60750
3073.05/3084.04 c #Conflicts: 1690000 | #Constraints: 61750
3073.05/3084.04 c #Conflicts: 1691000 | #Constraints: 62750
3073.05/3084.04 c #Conflicts: 1692000 | #Constraints: 63750
3073.05/3084.04 c #Conflicts: 1693000 | #Constraints: 64750
3073.05/3084.04 c #Conflicts: 1694000 | #Constraints: 65750
3073.05/3084.04 c #Conflicts: 1695000 | #Constraints: 66750
3073.05/3084.04 c #Conflicts: 1696000 | #Constraints: 67750
3073.05/3084.04 c #Conflicts: 1697000 | #Constraints: 68750
3073.05/3084.04 c #Conflicts: 1698000 | #Constraints: 69750
3073.05/3084.04 c INPROCESSING
3073.05/3084.04 c GARBAGE COLLECT
3073.05/3084.04 c rational objective 98
3213.38/3224.79 c #Conflicts: 1699000 | #Constraints: 39494
3213.38/3224.79 c #Conflicts: 1700000 | #Constraints: 40494
3213.38/3224.79 c #Conflicts: 1701000 | #Constraints: 41494
3213.38/3224.79 c #Conflicts: 1702000 | #Constraints: 42494
3213.38/3224.79 c #Conflicts: 1703000 | #Constraints: 43494
3213.38/3224.79 c #Conflicts: 1704000 | #Constraints: 44494
3213.38/3224.79 c #Conflicts: 1705000 | #Constraints: 45494
3213.38/3224.79 c #Conflicts: 1706000 | #Constraints: 46494
3213.38/3224.79 c #Conflicts: 1707000 | #Constraints: 47494
3213.38/3224.79 c #Conflicts: 1708000 | #Constraints: 48494
3213.38/3224.79 c #Conflicts: 1709000 | #Constraints: 49494
3213.38/3224.79 c #Conflicts: 1710000 | #Constraints: 50494
3213.38/3224.79 c #Conflicts: 1711000 | #Constraints: 51494
3213.38/3224.79 c #Conflicts: 1712000 | #Constraints: 52494
3213.38/3224.79 c #Conflicts: 1713000 | #Constraints: 53494
3213.38/3224.79 c #Conflicts: 1714000 | #Constraints: 54494
3213.38/3224.79 c #Conflicts: 1715000 | #Constraints: 55494
3213.38/3224.79 c #Conflicts: 1716000 | #Constraints: 56494
3213.38/3224.79 c #Conflicts: 1717000 | #Constraints: 57494
3213.38/3224.79 c #Conflicts: 1718000 | #Constraints: 58494
3213.38/3224.79 c #Conflicts: 1719000 | #Constraints: 59494
3213.38/3224.79 c #Conflicts: 1720000 | #Constraints: 60494
3213.38/3224.79 c #Conflicts: 1721000 | #Constraints: 61494
3213.38/3224.79 c #Conflicts: 1722000 | #Constraints: 62494
3213.38/3224.79 c #Conflicts: 1723000 | #Constraints: 63494
3213.38/3224.79 c #Conflicts: 1724000 | #Constraints: 64494
3213.38/3224.79 c #Conflicts: 1725000 | #Constraints: 65494
3213.38/3224.79 c #Conflicts: 1726000 | #Constraints: 66494
3213.38/3224.79 c #Conflicts: 1727000 | #Constraints: 67494
3213.38/3224.79 c #Conflicts: 1728000 | #Constraints: 68494
3213.38/3224.79 c INPROCESSING
3213.38/3224.79 c GARBAGE COLLECT
3213.38/3224.79 c #Conflicts: 1729000 | #Constraints: 39226
3213.38/3224.79 c #Conflicts: 1730000 | #Constraints: 40226
3213.38/3224.79 c #Conflicts: 1731000 | #Constraints: 41226
3213.38/3224.79 c #Conflicts: 1732000 | #Constraints: 42226
3213.38/3224.79 c #Conflicts: 1733000 | #Constraints: 43226
3213.38/3224.79 c #Conflicts: 1734000 | #Constraints: 44226
3213.38/3224.79 c #Conflicts: 1735000 | #Constraints: 45226
3213.38/3224.79 c #Conflicts: 1736000 | #Constraints: 46226
3213.38/3224.79 c #Conflicts: 1737000 | #Constraints: 47226
3213.38/3224.79 c #Conflicts: 1738000 | #Constraints: 48226
3213.38/3224.79 c #Conflicts: 1739000 | #Constraints: 49226
3213.38/3224.79 c #Conflicts: 1740000 | #Constraints: 50226
3213.38/3224.79 c #Conflicts: 1741000 | #Constraints: 51226
3213.38/3224.79 c #Conflicts: 1742000 | #Constraints: 52226
3213.38/3224.79 c #Conflicts: 1743000 | #Constraints: 53226
3213.38/3224.79 c #Conflicts: 1744000 | #Constraints: 54226
3213.38/3224.79 c #Conflicts: 1745000 | #Constraints: 55226
3213.38/3224.79 c #Conflicts: 1746000 | #Constraints: 56226
3213.38/3224.79 c #Conflicts: 1747000 | #Constraints: 57226
3213.38/3224.79 c #Conflicts: 1748000 | #Constraints: 58226
3213.38/3224.79 c #Conflicts: 1749000 | #Constraints: 59226
3213.38/3224.79 c #Conflicts: 1750000 | #Constraints: 60226
3213.38/3224.79 c #Conflicts: 1751000 | #Constraints: 61226
3213.38/3224.79 c #Conflicts: 1752000 | #Constraints: 62226
3213.38/3224.79 c #Conflicts: 1753000 | #Constraints: 63226
3213.38/3224.79 c #Conflicts: 1754000 | #Constraints: 64226
3213.38/3224.79 c #Conflicts: 1755000 | #Constraints: 65226
3213.38/3224.79 c #Conflicts: 1756000 | #Constraints: 66226
3213.38/3224.79 c #Conflicts: 1757000 | #Constraints: 67226
3213.38/3224.79 c #Conflicts: 1758000 | #Constraints: 68226
3213.38/3224.79 c #Conflicts: 1759000 | #Constraints: 69226
3213.38/3224.79 c #Conflicts: 1760000 | #Constraints: 70226
3213.38/3224.79 c #Conflicts: 1761000 | #Constraints: 71226
3213.38/3224.79 c #Conflicts: 1762000 | #Constraints: 72226
3213.38/3224.79 c #Conflicts: 1763000 | #Constraints: 73226
3213.38/3224.79 c #Conflicts: 1764000 | #Constraints: 74226
3213.38/3224.79 c #Conflicts: 1765000 | #Constraints: 75226
3213.38/3224.79 c #Conflicts: 1766000 | #Constraints: 76226
3213.38/3224.79 c #Conflicts: 1767000 | #Constraints: 77226
3213.38/3224.79 c #Conflicts: 1768000 | #Constraints: 78226
3213.38/3224.79 c #Conflicts: 1769000 | #Constraints: 79226
3213.38/3224.79 c #Conflicts: 1770000 | #Constraints: 80226
3213.38/3224.79 c #Conflicts: 1771000 | #Constraints: 81226
3213.38/3224.79 c #Conflicts: 1772000 | #Constraints: 82226
3213.38/3224.79 c #Conflicts: 1773000 | #Constraints: 83226
3213.38/3224.79 c #Conflicts: 1774000 | #Constraints: 84226
3213.38/3224.79 c #Conflicts: 1775000 | #Constraints: 85226
3213.38/3224.79 c #Conflicts: 1776000 | #Constraints: 86226
3213.38/3224.79 c #Conflicts: 1777000 | #Constraints: 87226
3553.69/3565.98 c #Conflicts: 1778000 | #Constraints: 88226
3553.69/3565.98 c #Conflicts: 1779000 | #Constraints: 89226
3553.69/3565.98 c #Conflicts: 1780000 | #Constraints: 90226
3553.69/3565.98 c #Conflicts: 1781000 | #Constraints: 91226
3553.69/3565.98 c #Conflicts: 1782000 | #Constraints: 92226
3553.69/3565.98 c #Conflicts: 1783000 | #Constraints: 93226
3553.69/3565.98 c #Conflicts: 1784000 | #Constraints: 94226
3553.69/3565.98 c #Conflicts: 1785000 | #Constraints: 95227
3553.69/3565.98 c #Conflicts: 1786000 | #Constraints: 96227
3553.69/3565.98 c #Conflicts: 1787000 | #Constraints: 97227
3553.69/3565.98 c #Conflicts: 1788000 | #Constraints: 98227
3553.69/3565.98 c #Conflicts: 1789000 | #Constraints: 99227
3553.69/3565.98 c #Conflicts: 1790000 | #Constraints: 100227
3553.69/3565.98 c #Conflicts: 1791000 | #Constraints: 101227
3553.69/3565.98 c #Conflicts: 1792000 | #Constraints: 102227
3553.69/3565.98 c #Conflicts: 1793000 | #Constraints: 103227
3553.69/3565.98 c #Conflicts: 1794000 | #Constraints: 104227
3553.69/3565.98 c #Conflicts: 1795000 | #Constraints: 105227
3553.69/3565.98 c #Conflicts: 1796000 | #Constraints: 106227
3553.69/3565.98 c #Conflicts: 1797000 | #Constraints: 107227
3553.69/3565.98 c #Conflicts: 1798000 | #Constraints: 108227
3553.69/3565.98 c #Conflicts: 1799000 | #Constraints: 109227
3553.69/3565.98 c #Conflicts: 1800000 | #Constraints: 110227
3553.69/3565.98 c #Conflicts: 1801000 | #Constraints: 111227
3553.69/3565.98 c #Conflicts: 1802000 | #Constraints: 112227
3553.69/3565.98 c #Conflicts: 1803000 | #Constraints: 113227
3553.69/3565.98 c #Conflicts: 1804000 | #Constraints: 114227
3553.69/3565.98 c #Conflicts: 1805000 | #Constraints: 115227
3553.69/3565.98 c #Conflicts: 1806000 | #Constraints: 116227
3553.69/3565.98 c #Conflicts: 1807000 | #Constraints: 117227
3553.69/3565.98 c #Conflicts: 1808000 | #Constraints: 118227
3553.69/3565.98 c #Conflicts: 1809000 | #Constraints: 119227
3553.69/3565.98 c #Conflicts: 1810000 | #Constraints: 120227
3553.69/3565.98 c #Conflicts: 1811000 | #Constraints: 121227
3553.69/3565.98 c #Conflicts: 1812000 | #Constraints: 122227
3553.69/3565.98 c #Conflicts: 1813000 | #Constraints: 123227
3553.69/3565.98 c #Conflicts: 1814000 | #Constraints: 124227
3553.69/3565.98 c #Conflicts: 1815000 | #Constraints: 125227
3553.69/3565.98 c #Conflicts: 1816000 | #Constraints: 126227
3553.69/3565.98 c #Conflicts: 1817000 | #Constraints: 127227
3553.69/3565.98 c #Conflicts: 1818000 | #Constraints: 128227
3553.69/3565.98 c #Conflicts: 1819000 | #Constraints: 129227
3553.69/3565.98 c #Conflicts: 1820000 | #Constraints: 130227
3553.69/3565.98 c #Conflicts: 1821000 | #Constraints: 131227
3553.69/3565.98 c #Conflicts: 1822000 | #Constraints: 132227
3553.69/3565.98 c #Conflicts: 1823000 | #Constraints: 133227
3553.69/3565.98 c #Conflicts: 1824000 | #Constraints: 134227
3553.69/3565.98 c #Conflicts: 1825000 | #Constraints: 135227
3553.69/3565.98 c #Conflicts: 1826000 | #Constraints: 136227
3553.69/3565.98 c #Conflicts: 1827000 | #Constraints: 137227
3553.69/3565.98 c #Conflicts: 1828000 | #Constraints: 138227
3553.69/3565.98 c #Conflicts: 1829000 | #Constraints: 139227
3553.69/3565.98 c #Conflicts: 1830000 | #Constraints: 140227
3553.69/3565.98 c INPROCESSING
3553.69/3565.98 c GARBAGE COLLECT
3553.69/3565.98 c #Conflicts: 1831000 | #Constraints: 74714
3553.69/3565.98 c #Conflicts: 1832000 | #Constraints: 75714
3553.69/3565.98 c #Conflicts: 1833000 | #Constraints: 76714
3553.69/3565.98 c #Conflicts: 1834000 | #Constraints: 77714
3553.69/3565.98 c #Conflicts: 1835000 | #Constraints: 78714
3553.69/3565.98 c #Conflicts: 1836000 | #Constraints: 79714
3553.69/3565.98 c #Conflicts: 1837000 | #Constraints: 80714
3553.69/3565.98 c #Conflicts: 1838000 | #Constraints: 81714
3553.69/3565.98 c #Conflicts: 1839000 | #Constraints: 82714
3553.69/3565.98 c #Conflicts: 1840000 | #Constraints: 83714
3553.69/3565.98 c #Conflicts: 1841000 | #Constraints: 84714
3553.69/3565.98 c #Conflicts: 1842000 | #Constraints: 85714
3553.69/3565.98 c #Conflicts: 1843000 | #Constraints: 86714
3553.69/3565.98 c #Conflicts: 1844000 | #Constraints: 87714
3553.69/3565.98 c #Conflicts: 1845000 | #Constraints: 88714
3553.69/3565.98 c #Conflicts: 1846000 | #Constraints: 89714
3553.69/3565.98 c #Conflicts: 1847000 | #Constraints: 90714
3553.69/3565.98 c #Conflicts: 1848000 | #Constraints: 91714
3553.69/3565.98 c #Conflicts: 1849000 | #Constraints: 92714
3553.69/3565.98 c #Conflicts: 1850000 | #Constraints: 93714
3553.69/3565.98 c #Conflicts: 1851000 | #Constraints: 94714
3553.69/3565.98 c #Conflicts: 1852000 | #Constraints: 95714
3553.69/3565.98 c #Conflicts: 1853000 | #Constraints: 96714
3553.69/3565.98 c #Conflicts: 1854000 | #Constraints: 97714
3553.69/3565.98 c #Conflicts: 1855000 | #Constraints: 98714
3600.07/3612.40 c #Conflicts: 1856000 | #Constraints: 99714
3600.07/3612.40 c #Conflicts: 1857000 | #Constraints: 100714
3600.07/3612.40 c #Conflicts: 1858000 | #Constraints: 101714
3600.07/3612.40 c #Conflicts: 1859000 | #Constraints: 102714
3600.07/3612.40 c #Conflicts: 1860000 | #Constraints: 103714
3600.07/3612.40 c #Conflicts: 1861000 | #Constraints: 104714
3600.07/3612.40 c INPROCESSING
3600.07/3612.40 c GARBAGE COLLECT
3600.07/3612.40 c #Conflicts: 1862000 | #Constraints: 57056
3600.07/3612.40 c #Conflicts: 1863000 | #Constraints: 58056
3600.07/3612.40 c #Conflicts: 1864000 | #Constraints: 59056
3600.07/3612.40 c #Conflicts: 1865000 | #Constraints: 60056
3600.07/3612.40 c #Conflicts: 1866000 | #Constraints: 61056
3600.07/3612.40 c #Conflicts: 1867000 | #Constraints: 62056
3600.07/3612.40 c #Conflicts: 1868000 | #Constraints: 63056
3600.07/3612.40 c #Conflicts: 1869000 | #Constraints: 64056
3600.07/3612.40 c #Conflicts: 1870000 | #Constraints: 65056
3600.07/3612.40 c #Conflicts: 1871000 | #Constraints: 66056
3600.07/3612.40 c #Conflicts: 1872000 | #Constraints: 67056
3600.07/3612.40 c #Conflicts: 1873000 | #Constraints: 68056
3600.07/3612.40 c #Conflicts: 1874000 | #Constraints: 69056
3600.07/3612.40 c cpu time 3575.53 s
3600.07/3612.40 c deterministic time 263580043253 2.64e+11
3600.07/3612.40 c optimization time 23.8161 s
3600.07/3612.40 c total solve time 3551.68 s
3600.07/3612.40 c core-guided solve time 0 s
3600.07/3612.40 c propagation time 2009.12 s
3600.07/3612.40 c conflict analysis time 1345.11 s
3600.07/3612.40 c propagations 892038323
3600.07/3612.40 c resolve steps 80073589
3600.07/3612.40 c decisions 15311879
3600.07/3612.40 c conflicts 1874243
3600.07/3612.40 c restarts 3589
3600.07/3612.40 c inprocessing phases 82
3600.07/3612.40 c garbage collections 82 ,( 100.00 )
3600.07/3612.40 c input clauses 6764 ,( 98.57 )
3600.07/3612.40 c input cardinalities 98 ,( 1.43 )
3600.07/3612.40 c input general constraints 0 ,( 0.00 )
3600.07/3612.40 c input average constraint length 6.24
3600.07/3612.40 c input average constraint degree 1.94
3600.07/3612.40 c learned clauses 1416907 ,( 75.60 )
3600.07/3612.40 c learned cardinalities 31353 ,( 1.67 )
3600.07/3612.40 c learned general constraints 426012 ,( 22.73 )
3600.07/3612.40 c learned average constraint length 699.42
3600.07/3612.40 c learned average constraint degree 9594360.51
3600.07/3612.40 c watched CF 32, 64, 128, Arb: 135177 , 0 , 0 , 0
3600.07/3612.40 c counting CF 32, 64, 128, Arb: 290835 , 0 , 0 , 0
3600.07/3612.40 c watched constraints 135177 ,( 31.73 )
3600.07/3612.40 c counting constraints 290835 ,( 68.27 )
3600.07/3612.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1340988392 , 695829888 , 3370172131 ,( 144187502 , 3225984629 )
3600.07/3612.40 c gcd simplifications 1159
3600.07/3612.40 c detected cardinalities 2212
3600.07/3612.40 c weakened non-implied lits 362159370
3600.07/3612.40 c weakened non-implying lits 274796
3600.07/3612.40 c original variables 6664
3600.07/3612.40 c clausal propagations 328876522
3600.07/3612.40 c cardinality propagations 339954278
3600.07/3612.40 c watched propagations 4482818
3600.07/3612.40 c counting propagations 212181381
3600.07/3612.40 c watch lookups 138660817297
3600.07/3612.40 c watch backjump lookups 0
3600.07/3612.40 c watch checks 39116192120
3600.07/3612.40 c propagation checks 79502193788
3600.07/3612.40 c constraint additions 4483881205
3600.07/3612.40 c trail pops 909218315
3600.07/3612.40 c formula constraints 6862
3600.07/3612.40 c learned constraints 1874235
3600.07/3612.40 c bound constraints 0
3600.07/3612.40 c core-guided constraints 0
3600.07/3612.40 c encountered formula constraints 46471097
3600.07/3612.40 c encountered learned constraints 35475374
3600.07/3612.40 c encountered bound constraints 0
3600.07/3612.40 c encountered core-guided constraints 0
3600.07/3612.40 c LP total time 208.471 s
3600.07/3612.40 c LP solve time 161.31 s
3600.07/3612.40 c LP constraints added 9034
3600.07/3612.40 c LP constraints removed 2021
3600.07/3612.40 c LP pivots internal 190052
3600.07/3612.40 c LP pivots root 200273
3600.07/3612.40 c LP calls 47
3600.07/3612.40 c LP optimalities 34
3600.07/3612.40 c LP no pivot count 4
3600.07/3612.40 c LP infeasibilities 8
3600.07/3612.40 c LP valid Farkas constraints 8
3600.07/3612.40 c LP learned Farkas constraints 8
3600.07/3612.40 c LP basis resets 0
3600.07/3612.40 c LP cycling count 0
3600.07/3612.40 c LP singular count 0
3600.07/3612.40 c LP no primal count 0
3600.07/3612.40 c LP no farkas count 0
3600.07/3612.40 c LP other issue count 0
3600.07/3612.40 c LP Gomory cuts 21
3600.07/3612.40 c LP learned cuts 2151
3600.07/3612.40 c LP deleted cuts 2021
3600.07/3612.40 c LP encountered Gomory constraints 1221
3600.07/3612.40 c LP encountered Farkas constraints 121
3600.07/3612.40 c LP encountered learned Farkas constraints 11
3600.07/3612.40 c CG auxiliary variables introduced 0
3600.07/3612.40 c CG solutions found 0
3600.07/3612.40 c CG cores constructed 0
3600.07/3612.40 c CG core cardinality constraints returned 0
3600.07/3612.40 c CG unit cores 0
3600.07/3612.40 c CG single cores 0
3600.07/3612.40 c CG blocks removed during cardinality reduction 0
3600.07/3612.40 c CG first core best 0
3600.07/3612.40 c CG decision core best 0
3600.07/3612.40 c CG core reduction tie 0
3600.07/3612.40 c CG core degree average 0.00
3600.07/3612.40 c CG core slack average 0.00
3600.07/3612.40 c CG core upper bound improvements 0
3600.07/3612.40 c STR number of successful calls 0
3600.07/3612.40 c STR number of unsuccessful calls 0
3600.07/3612.40 c STR number of inconclusive calls 0
3600.07/3612.40 c STR number of successful attempts 0
3600.07/3612.40 c STR number of unsuccessful attempts 0
3600.07/3612.40 c STR number of inconclusive attempts 0
3600.07/3612.40 c STR average degree increase per successful call inf
3600.07/3612.40 c STR average degree increase per successful attempt inf
3600.07/3612.40 c STR total number of conflicts for successful attempts 0
3600.07/3612.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3612.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3612.40 c STR average number of conflicts per successful attempt inf
3600.07/3612.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3612.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3612.40 c AVG.sumWPerc 60.04
3600.07/3612.40 c bigint constraints 0
3600.07/3612.40 s UNKNOWN
3600.07/3612.40 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 (57168 MiB free)
memory of node 1: 64507 MiB (52692 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507373-1751186759/watcher-4507373-1751186759 -o /tmp/evaluation-result-4507373-1751186759/solver-4507373-1751186759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24185 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507373-1751186759.opb PROOFDIR/proof-4507373-1751186759
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=24563, runsolver pid=24560
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.02 4.10 4.08 1/252 24565
/proc/meminfo: memFree=112498072/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=50796 memory=7168 CPUtime=0 cores=0,2
/proc/24565/stat : 24565 (roundingsat) D 24563 24563 24175 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 34356113 52015104 1792 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 12699 1792 1696 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+0.204928 s]*
/proc/loadavg: 4.02 4.10 4.08 1/252 24565
/proc/meminfo: memFree=112498072/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=50796 memory=7168 CPUtime=0 cores=0,2
/proc/24565/stat : 24565 (roundingsat) D 24563 24563 24175 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 34356113 52015104 1792 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 12699 1792 1696 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+0.304354 s]*
/proc/loadavg: 4.02 4.10 4.08 1/252 24565
/proc/meminfo: memFree=112498072/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=50796 memory=7168 CPUtime=0 cores=0,2
/proc/24565/stat : 24565 (roundingsat) D 24563 24563 24175 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 34356113 52015104 1792 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 12699 1792 1696 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+0.700197 s]
/proc/loadavg: 4.02 4.10 4.08 2/252 24565
/proc/meminfo: memFree=115788348/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=50796 memory=7168 CPUtime=0 cores=0,2
/proc/24565/stat : 24565 (roundingsat) D 24563 24563 24175 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 34356113 52015104 1792 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 12699 1792 1696 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+1.50032 s]
/proc/loadavg: 4.02 4.10 4.08 1/258 24585
/proc/meminfo: memFree=118333304/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=50796 memory=7168 CPUtime=0 cores=0,2
/proc/24565/stat : 24565 (roundingsat) D 24563 24563 24175 0 -1 4194304 298 0 0 0 0 0 0 0 20 0 1 0 34356113 52015104 1792 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 12699 1792 1696 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10112 KiB
[startup+3.10504 s]
/proc/loadavg: 4.02 4.10 4.08 5/270 24625
/proc/meminfo: memFree=129898800/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=75308 memory=30248 CPUtime=1.24 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 5591 0 0 0 119 5 0 0 20 0 1 0 34356113 77115392 7562 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 18827 7562 2336 1147 0 6254 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 79500 KiB
Current children cumulated memory: 33192 KiB
heavy processes:
[startup+6.30015 s]
/proc/loadavg: 4.02 4.10 4.08 5/271 24627
/proc/meminfo: memFree=129762272/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=85976 memory=41420 CPUtime=4.42 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 7884 0 0 0 426 16 0 0 20 0 1 0 34356113 88039424 10355 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 21494 10355 2336 1147 0 8921 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 90168 KiB
Current children cumulated memory: 44364 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 4.02 4.09 4.08 5/271 24627
/proc/meminfo: memFree=129685164/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=95364 memory=48332 CPUtime=10.8 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 9615 0 0 0 1047 33 0 0 20 0 1 0 34356113 97652736 12083 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 23841 12083 2336 1147 0 11268 0
Current children cumulated CPU time: 10.8 s
Current children cumulated vsize: 99556 KiB
Current children cumulated memory: 51276 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 24627
/proc/meminfo: memFree=129417856/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=121796 memory=73816 CPUtime=23.57 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 12913 0 0 0 2297 60 0 0 20 0 1 0 34356113 124719104 18454 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 30449 18454 2336 1147 0 17876 0
Current children cumulated CPU time: 23.57 s
Current children cumulated vsize: 125988 KiB
Current children cumulated memory: 76760 KiB
[startup+51.1053 s]
/proc/loadavg: 4.06 4.09 4.09 5/271 24628
/proc/meminfo: memFree=128919588/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=200112 memory=142272 CPUtime=49.1 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 26983 0 0 0 4797 113 0 0 20 0 1 0 34356113 204914688 35568 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 50028 35568 2336 1147 0 37455 0
Current children cumulated CPU time: 49.1 s
Current children cumulated vsize: 204304 KiB
Current children cumulated memory: 145216 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 24680
/proc/meminfo: memFree=128474980/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=213148 memory=166796 CPUtime=100.11 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 30740 0 0 0 9820 191 0 0 20 0 1 0 34356113 218263552 41699 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 53287 41699 2336 1147 0 40714 0
Current children cumulated CPU time: 100.11 s
Current children cumulated vsize: 217340 KiB
Current children cumulated memory: 169740 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/274 24684
/proc/meminfo: memFree=127575228/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=332188 memory=246256 CPUtime=159.93 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 39606 0 0 0 15729 264 0 0 20 0 1 0 34356113 340160512 61564 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 83047 61564 2336 1147 0 70474 0
Current children cumulated CPU time: 159.93 s
Current children cumulated vsize: 336380 KiB
Current children cumulated memory: 249200 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/274 24686
/proc/meminfo: memFree=126849584/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=418708 memory=299928 CPUtime=219.77 cores=0,2
################
# More data... #
################
/proc/24565/statm: 244675 186033 2336 1147 0 232102 0
Current children cumulated CPU time: 3031.46 s
Current children cumulated vsize: 982892 KiB
Current children cumulated memory: 747076 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 24944
/proc/meminfo: memFree=109677264/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=978700 memory=744260 CPUtime=3091.31 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 88649 0 0 0 306894 2237 0 0 20 0 1 0 34356113 1002188800 186065 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 244675 186065 2336 1147 0 232102 0
Current children cumulated CPU time: 3091.31 s
Current children cumulated vsize: 982892 KiB
Current children cumulated memory: 747204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/274 24951
/proc/meminfo: memFree=109215132/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=978700 memory=744260 CPUtime=3151.15 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 88649 0 0 0 312833 2282 0 0 20 0 1 0 34356113 1002188800 186065 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 244675 186065 2336 1147 0 232102 0
Current children cumulated CPU time: 3151.15 s
Current children cumulated vsize: 982892 KiB
Current children cumulated memory: 747204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 24955
/proc/meminfo: memFree=108837052/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=978700 memory=744260 CPUtime=3211 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 88679 0 0 0 318789 2311 0 0 20 0 1 0 34356113 1002188800 186065 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 244675 186065 2336 1147 0 232102 0
Current children cumulated CPU time: 3211 s
Current children cumulated vsize: 982892 KiB
Current children cumulated memory: 747204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/273 24957
/proc/meminfo: memFree=108490504/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=978700 memory=744260 CPUtime=3270.84 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 88707 0 0 0 324749 2335 0 0 20 0 1 0 34356113 1002188800 186065 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 244675 186065 2336 1147 0 232102 0
Current children cumulated CPU time: 3270.84 s
Current children cumulated vsize: 982892 KiB
Current children cumulated memory: 747204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/273 24959
/proc/meminfo: memFree=108143048/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=978700 memory=744260 CPUtime=3330.68 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 88727 0 0 0 330711 2357 0 0 20 0 1 0 34356113 1002188800 186065 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 244675 186065 2336 1147 0 232102 0
Current children cumulated CPU time: 3330.68 s
Current children cumulated vsize: 982892 KiB
Current children cumulated memory: 747204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/272 24963
/proc/meminfo: memFree=107870432/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=985164 memory=747972 CPUtime=3390.52 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 89680 0 0 0 336676 2376 0 0 20 0 1 0 34356113 1008807936 186993 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 246291 186993 2336 1147 0 233718 0
Current children cumulated CPU time: 3390.52 s
Current children cumulated vsize: 989356 KiB
Current children cumulated memory: 750916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/271 24965
/proc/meminfo: memFree=107565140/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=1004748 memory=759492 CPUtime=3450.36 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 92561 0 0 0 342641 2395 0 0 20 0 1 0 34356113 1028861952 189873 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 251187 189873 2336 1147 0 238614 0
Current children cumulated CPU time: 3450.36 s
Current children cumulated vsize: 1008940 KiB
Current children cumulated memory: 762436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/270 24967
/proc/meminfo: memFree=107330284/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=1022684 memory=771012 CPUtime=3510.21 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 95462 0 0 0 348605 2416 0 0 20 0 1 0 34356113 1047228416 192753 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 255671 192753 2336 1147 0 243098 0
Current children cumulated CPU time: 3510.21 s
Current children cumulated vsize: 1026876 KiB
Current children cumulated memory: 773956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/270 24969
/proc/meminfo: memFree=107148892/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=1022684 memory=771012 CPUtime=3570.05 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 95695 0 0 0 354566 2439 0 0 20 0 1 0 34356113 1047228416 192753 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 255671 192753 2336 1147 0 243098 0
Current children cumulated CPU time: 3570.05 s
Current children cumulated vsize: 1026876 KiB
Current children cumulated memory: 773956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.12 4.13 4.10 5/270 24971
/proc/meminfo: memFree=107008232/131250000 swapFree=33010684/33010684
[pid=24563] ppid=24560 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/24563/stat : 24563 (run-dec-log.sh) S 24560 24563 24175 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34356112 4292608 736 18446744073709551615 94116158214144 94116159108677 140734903257824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94116159347728 94116159395472 94116184064000 140734903265569 140734903265764 140734903265764 140734903271366 0
/proc/24563/statm: 1048 736 672 219 0 110 0
[pid=24565] ppid=24563 vsize=1022684 memory=771012 CPUtime=3600.07 cores=0,2
/proc/24565/stat : 24565 (roundingsat) R 24563 24563 24175 0 -1 4194304 95695 0 0 0 357552 2455 0 0 20 0 1 0 34356113 1047228416 192753 18446744073709551615 4227072 8923433 140726672584848 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39411712 140726672587111 140726672587304 140726672587304 140726672592874 0
/proc/24565/statm: 255671 192753 2336 1147 0 243098 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1026876 KiB
Current children cumulated memory: 773956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 24563 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000932 s, system=0.000952 s
[startup+3612.45 s]
# the end of solver process 24565 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.54 s, system=24.5608 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
Child status: 2
Real time (s): 3612.45
CPU time (s): 3600.1
CPU user time (s): 3575.54
CPU system time (s): 24.5608
CPU usage (%): 99.658
Max. virtual memory (cumulated for all children) (KiB): 1026876
Max. memory (cumulated for all children) (KiB): 773956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.54
system time used= 24.5608
maximum resident set size= 771396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11560672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 997
involuntary context switches= 5061
# summary of solver processes directly reported to runsolver:
# pid: 24563,24565
# total CPU time (s): 3600.1
# total CPU user time (s): 3575.54
# total CPU system time (s): 24.5608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87776 second user time and 16.7026 second system time
The end
Begin job on nodeC013 at 2025-06-29 10:45:59
IDJOB=4507373
IDBENCH=158344
IDSOLVER=3352
FILE ID=nodeC013/4507373-1751186759
RUNJOBID= nodeC013-1751183146-24185
SLURM_JOB_ID= 9587568
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507373-1751186759/watcher-4507373-1751186759 -o /tmp/evaluation-result-4507373-1751186759/solver-4507373-1751186759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24185 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507373-1751186759.opb PROOFDIR/proof-4507373-1751186759
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=1717199562
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.850
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 : 1200.036
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.528
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 : 3700.000
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 : 3599.686
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 : 3700.000
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 : 3700.000
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 : 3700.000
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: 112498072 kB
MemAvailable: 129778496 kB
Buffers: 3280 kB
Cached: 18065812 kB
SwapCached: 0 kB
Active: 278164 kB
Inactive: 17856988 kB
Active(anon): 79344 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 17856988 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7664 kB
Writeback: 0 kB
AnonPages: 69128 kB
Mapped: 98364 kB
Shmem: 13284 kB
KReclaimable: 127312 kB
Slab: 213608 kB
SReclaimable: 127312 kB
SUnreclaim: 86296 kB
KernelStack: 4112 kB
PageTables: 2808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 316256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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:46:11