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