0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.10 c #variables 5916 #constraints 6092
47.96/48.15 c #Conflicts: 1000 | #Constraints: 7091
47.96/48.15 c #Conflicts: 2000 | #Constraints: 8091
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 3000 | #Constraints: 7722
47.96/48.15 c #Conflicts: 4000 | #Constraints: 8722
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 5000 | #Constraints: 8169
47.96/48.15 c #Conflicts: 6000 | #Constraints: 9169
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 7000 | #Constraints: 8233
47.96/48.15 c #Conflicts: 8000 | #Constraints: 9233
47.96/48.15 c #Conflicts: 9000 | #Constraints: 10233
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 10000 | #Constraints: 8968
47.96/48.15 c #Conflicts: 11000 | #Constraints: 9968
47.96/48.15 c #Conflicts: 12000 | #Constraints: 10968
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 13000 | #Constraints: 9438
47.96/48.15 c #Conflicts: 14000 | #Constraints: 10438
47.96/48.15 c #Conflicts: 15000 | #Constraints: 11438
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 16000 | #Constraints: 9699
47.96/48.15 c #Conflicts: 17000 | #Constraints: 10699
47.96/48.15 c #Conflicts: 18000 | #Constraints: 11699
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 19000 | #Constraints: 9722
47.96/48.15 c #Conflicts: 20000 | #Constraints: 10722
47.96/48.15 c #Conflicts: 21000 | #Constraints: 11722
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 22000 | #Constraints: 9579
47.96/48.15 c #Conflicts: 23000 | #Constraints: 10579
47.96/48.15 c #Conflicts: 24000 | #Constraints: 11579
47.96/48.15 c #Conflicts: 25000 | #Constraints: 12579
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 26000 | #Constraints: 10234
47.96/48.15 c #Conflicts: 27000 | #Constraints: 11234
47.96/48.15 c #Conflicts: 28000 | #Constraints: 12234
47.96/48.15 c #Conflicts: 29000 | #Constraints: 13234
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 30000 | #Constraints: 10616
47.96/48.15 c #Conflicts: 31000 | #Constraints: 11616
47.96/48.15 c #Conflicts: 32000 | #Constraints: 12616
47.96/48.15 c #Conflicts: 33000 | #Constraints: 13616
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 34000 | #Constraints: 10821
47.96/48.15 c #Conflicts: 35000 | #Constraints: 11821
47.96/48.15 c #Conflicts: 36000 | #Constraints: 12821
47.96/48.15 c #Conflicts: 37000 | #Constraints: 13821
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 38000 | #Constraints: 10861
47.96/48.15 c #Conflicts: 39000 | #Constraints: 11861
47.96/48.15 c #Conflicts: 40000 | #Constraints: 12861
47.96/48.15 c #Conflicts: 41000 | #Constraints: 13861
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 42000 | #Constraints: 10663
47.96/48.15 c #Conflicts: 43000 | #Constraints: 11663
47.96/48.15 c #Conflicts: 44000 | #Constraints: 12663
47.96/48.15 c #Conflicts: 45000 | #Constraints: 13663
47.96/48.15 c #Conflicts: 46000 | #Constraints: 14663
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 47000 | #Constraints: 11309
47.96/48.15 c #Conflicts: 48000 | #Constraints: 12309
47.96/48.15 c #Conflicts: 49000 | #Constraints: 13309
47.96/48.15 c #Conflicts: 50000 | #Constraints: 14309
47.96/48.15 c #Conflicts: 51000 | #Constraints: 15309
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 52000 | #Constraints: 11716
47.96/48.15 c #Conflicts: 53000 | #Constraints: 12716
47.96/48.15 c #Conflicts: 54000 | #Constraints: 13716
47.96/48.15 c #Conflicts: 55000 | #Constraints: 14716
47.96/48.15 c #Conflicts: 56000 | #Constraints: 15716
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 57000 | #Constraints: 11895
47.96/48.15 c #Conflicts: 58000 | #Constraints: 12895
47.96/48.15 c #Conflicts: 59000 | #Constraints: 13895
47.96/48.15 c #Conflicts: 60000 | #Constraints: 14895
47.96/48.15 c #Conflicts: 61000 | #Constraints: 15895
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 62000 | #Constraints: 11898
47.96/48.15 c #Conflicts: 63000 | #Constraints: 12898
47.96/48.15 c #Conflicts: 64000 | #Constraints: 13898
47.96/48.15 c #Conflicts: 65000 | #Constraints: 14898
47.96/48.15 c #Conflicts: 66000 | #Constraints: 15898
47.96/48.15 c INPROCESSING
47.96/48.15 c GARBAGE COLLECT
47.96/48.15 c #Conflicts: 67000 | #Constraints: 11725
47.96/48.15 c #Conflicts: 68000 | #Constraints: 12725
108.19/108.52 c #Conflicts: 69000 | #Constraints: 13725
108.19/108.52 c #Conflicts: 70000 | #Constraints: 14725
108.19/108.52 c #Conflicts: 71000 | #Constraints: 15725
108.19/108.52 c #Conflicts: 72000 | #Constraints: 16725
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 73000 | #Constraints: 12352
108.19/108.52 c #Conflicts: 74000 | #Constraints: 13352
108.19/108.52 c #Conflicts: 75000 | #Constraints: 14352
108.19/108.52 c #Conflicts: 76000 | #Constraints: 15352
108.19/108.52 c #Conflicts: 77000 | #Constraints: 16352
108.19/108.52 c #Conflicts: 78000 | #Constraints: 17352
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 79000 | #Constraints: 12821
108.19/108.52 c #Conflicts: 80000 | #Constraints: 13821
108.19/108.52 c #Conflicts: 81000 | #Constraints: 14821
108.19/108.52 c #Conflicts: 82000 | #Constraints: 15821
108.19/108.52 c #Conflicts: 83000 | #Constraints: 16821
108.19/108.52 c #Conflicts: 84000 | #Constraints: 17821
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 85000 | #Constraints: 13013
108.19/108.52 c #Conflicts: 86000 | #Constraints: 14013
108.19/108.52 c #Conflicts: 87000 | #Constraints: 15013
108.19/108.52 c #Conflicts: 88000 | #Constraints: 16013
108.19/108.52 c #Conflicts: 89000 | #Constraints: 17013
108.19/108.52 c #Conflicts: 90000 | #Constraints: 18013
108.19/108.52 c #Conflicts: 91000 | #Constraints: 19013
108.19/108.52 c #Conflicts: 92000 | #Constraints: 20013
108.19/108.52 c #Conflicts: 93000 | #Constraints: 21013
108.19/108.52 c #Conflicts: 94000 | #Constraints: 22013
108.19/108.52 c #Conflicts: 95000 | #Constraints: 23013
108.19/108.52 c #Conflicts: 96000 | #Constraints: 24013
108.19/108.52 c #Conflicts: 97000 | #Constraints: 25013
108.19/108.52 c #Conflicts: 98000 | #Constraints: 26013
108.19/108.52 c #Conflicts: 99000 | #Constraints: 27013
108.19/108.52 c #Conflicts: 100000 | #Constraints: 28013
108.19/108.52 c #Conflicts: 101000 | #Constraints: 29014
108.19/108.52 c #Conflicts: 102000 | #Constraints: 30014
108.19/108.52 c #Conflicts: 103000 | #Constraints: 31014
108.19/108.52 c #Conflicts: 104000 | #Constraints: 32014
108.19/108.52 c #Conflicts: 105000 | #Constraints: 33014
108.19/108.52 c #Conflicts: 106000 | #Constraints: 34014
108.19/108.52 c #Conflicts: 107000 | #Constraints: 35014
108.19/108.52 c #Conflicts: 108000 | #Constraints: 36014
108.19/108.52 c #Conflicts: 109000 | #Constraints: 37014
108.19/108.52 c #Conflicts: 110000 | #Constraints: 38014
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 111000 | #Constraints: 23124
108.19/108.52 c #Conflicts: 112000 | #Constraints: 24124
108.19/108.52 c #Conflicts: 113000 | #Constraints: 25124
108.19/108.52 c #Conflicts: 114000 | #Constraints: 26124
108.19/108.52 c #Conflicts: 115000 | #Constraints: 27124
108.19/108.52 c #Conflicts: 116000 | #Constraints: 28124
108.19/108.52 c #Conflicts: 117000 | #Constraints: 29124
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 118000 | #Constraints: 18567
108.19/108.52 c #Conflicts: 119000 | #Constraints: 19567
108.19/108.52 c #Conflicts: 120000 | #Constraints: 20567
108.19/108.52 c #Conflicts: 121000 | #Constraints: 21567
108.19/108.52 c #Conflicts: 122000 | #Constraints: 22567
108.19/108.52 c #Conflicts: 123000 | #Constraints: 23567
108.19/108.52 c #Conflicts: 124000 | #Constraints: 24567
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 125000 | #Constraints: 16033
108.19/108.52 c #Conflicts: 126000 | #Constraints: 17033
108.19/108.52 c #Conflicts: 127000 | #Constraints: 18033
108.19/108.52 c #Conflicts: 128000 | #Constraints: 19033
108.19/108.52 c #Conflicts: 129000 | #Constraints: 20033
108.19/108.52 c #Conflicts: 130000 | #Constraints: 21033
108.19/108.52 c #Conflicts: 131000 | #Constraints: 22033
108.19/108.52 c #Conflicts: 132000 | #Constraints: 23033
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 133000 | #Constraints: 15427
108.19/108.52 c #Conflicts: 134000 | #Constraints: 16427
108.19/108.52 c #Conflicts: 135000 | #Constraints: 17427
108.19/108.52 c #Conflicts: 136000 | #Constraints: 18427
108.19/108.52 c #Conflicts: 137000 | #Constraints: 19427
108.19/108.52 c #Conflicts: 138000 | #Constraints: 20427
108.19/108.52 c #Conflicts: 139000 | #Constraints: 21427
108.19/108.52 c #Conflicts: 140000 | #Constraints: 22427
108.19/108.52 c INPROCESSING
108.19/108.52 c GARBAGE COLLECT
108.19/108.52 c #Conflicts: 141000 | #Constraints: 15158
108.19/108.52 c #Conflicts: 142000 | #Constraints: 16158
181.50/182.02 c #Conflicts: 143000 | #Constraints: 17158
181.50/182.02 c #Conflicts: 144000 | #Constraints: 18158
181.50/182.02 c #Conflicts: 145000 | #Constraints: 19158
181.50/182.02 c #Conflicts: 146000 | #Constraints: 20158
181.50/182.02 c #Conflicts: 147000 | #Constraints: 21158
181.50/182.02 c #Conflicts: 148000 | #Constraints: 22158
181.50/182.02 c INPROCESSING
181.50/182.02 c GARBAGE COLLECT
181.50/182.02 c #Conflicts: 149000 | #Constraints: 14984
181.50/182.02 c #Conflicts: 150000 | #Constraints: 15984
181.50/182.02 c #Conflicts: 151000 | #Constraints: 16984
181.50/182.02 c #Conflicts: 152000 | #Constraints: 17984
181.50/182.02 c #Conflicts: 153000 | #Constraints: 18984
181.50/182.02 c #Conflicts: 154000 | #Constraints: 19984
181.50/182.02 c #Conflicts: 155000 | #Constraints: 20984
181.50/182.02 c #Conflicts: 156000 | #Constraints: 21984
181.50/182.02 c #Conflicts: 157000 | #Constraints: 22984
181.50/182.02 c #Conflicts: 158000 | #Constraints: 23984
181.50/182.02 c #Conflicts: 159000 | #Constraints: 24984
181.50/182.02 c #Conflicts: 160000 | #Constraints: 25984
181.50/182.02 c #Conflicts: 161000 | #Constraints: 26984
181.50/182.02 c #Conflicts: 162000 | #Constraints: 27984
181.50/182.02 c #Conflicts: 163000 | #Constraints: 28984
181.50/182.02 c #Conflicts: 164000 | #Constraints: 29984
181.50/182.02 c #Conflicts: 165000 | #Constraints: 30984
181.50/182.02 c #Conflicts: 166000 | #Constraints: 31984
181.50/182.02 c #Conflicts: 167000 | #Constraints: 32984
181.50/182.02 c #Conflicts: 168000 | #Constraints: 33984
181.50/182.02 c #Conflicts: 169000 | #Constraints: 34984
181.50/182.02 c #Conflicts: 170000 | #Constraints: 35984
181.50/182.02 c #Conflicts: 171000 | #Constraints: 36984
181.50/182.02 c #Conflicts: 172000 | #Constraints: 37984
181.50/182.02 c #Conflicts: 173000 | #Constraints: 38984
181.50/182.02 c #Conflicts: 174000 | #Constraints: 39984
181.50/182.02 c #Conflicts: 175000 | #Constraints: 40984
181.50/182.02 c #Conflicts: 176000 | #Constraints: 41984
181.50/182.02 c #Conflicts: 177000 | #Constraints: 42984
181.50/182.02 c #Conflicts: 178000 | #Constraints: 43984
181.50/182.02 c #Conflicts: 179000 | #Constraints: 44984
181.50/182.02 c #Conflicts: 180000 | #Constraints: 45984
181.50/182.02 c #Conflicts: 181000 | #Constraints: 46984
181.50/182.02 c #Conflicts: 182000 | #Constraints: 47984
181.50/182.02 c INPROCESSING
181.50/182.02 c GARBAGE COLLECT
181.50/182.02 c #Conflicts: 183000 | #Constraints: 28191
181.50/182.02 c #Conflicts: 184000 | #Constraints: 29191
181.50/182.02 c #Conflicts: 185000 | #Constraints: 30191
181.50/182.02 c #Conflicts: 186000 | #Constraints: 31191
181.50/182.02 c #Conflicts: 187000 | #Constraints: 32192
181.50/182.02 c #Conflicts: 188000 | #Constraints: 33192
181.50/182.02 c #Conflicts: 189000 | #Constraints: 34192
181.50/182.02 c #Conflicts: 190000 | #Constraints: 35192
181.50/182.02 c #Conflicts: 191000 | #Constraints: 36192
181.50/182.02 c INPROCESSING
181.50/182.02 c GARBAGE COLLECT
181.50/182.02 c #Conflicts: 192000 | #Constraints: 22100
181.50/182.02 c #Conflicts: 193000 | #Constraints: 23100
181.50/182.02 c #Conflicts: 194000 | #Constraints: 24100
181.50/182.02 c #Conflicts: 195000 | #Constraints: 25100
181.50/182.02 c #Conflicts: 196000 | #Constraints: 26100
181.50/182.02 c #Conflicts: 197000 | #Constraints: 27100
181.50/182.02 c #Conflicts: 198000 | #Constraints: 28100
181.50/182.02 c #Conflicts: 199000 | #Constraints: 29100
181.50/182.02 c #Conflicts: 200000 | #Constraints: 30100
181.50/182.02 c #Conflicts: 201000 | #Constraints: 31100
181.50/182.02 c INPROCESSING
181.50/182.02 c GARBAGE COLLECT
181.50/182.02 c #Conflicts: 202000 | #Constraints: 19801
181.50/182.02 c #Conflicts: 203000 | #Constraints: 20801
181.50/182.02 c #Conflicts: 204000 | #Constraints: 21801
181.50/182.02 c #Conflicts: 205000 | #Constraints: 22801
181.50/182.02 c #Conflicts: 206000 | #Constraints: 23801
181.50/182.02 c #Conflicts: 207000 | #Constraints: 24801
181.50/182.02 c #Conflicts: 208000 | #Constraints: 25801
181.50/182.02 c #Conflicts: 209000 | #Constraints: 26801
181.50/182.02 c #Conflicts: 210000 | #Constraints: 27801
181.50/182.02 c INPROCESSING
181.50/182.02 c GARBAGE COLLECT
181.50/182.02 c rational objective 87
277.72/278.54 c #Conflicts: 211000 | #Constraints: 17720
277.72/278.54 c #Conflicts: 212000 | #Constraints: 18720
277.72/278.54 c #Conflicts: 213000 | #Constraints: 19720
277.72/278.54 c #Conflicts: 214000 | #Constraints: 20720
277.72/278.54 c #Conflicts: 215000 | #Constraints: 21720
277.72/278.54 c #Conflicts: 216000 | #Constraints: 22721
277.72/278.54 c #Conflicts: 217000 | #Constraints: 23721
277.72/278.54 c #Conflicts: 218000 | #Constraints: 24721
277.72/278.54 c #Conflicts: 219000 | #Constraints: 25721
277.72/278.54 c #Conflicts: 220000 | #Constraints: 26721
277.72/278.54 c INPROCESSING
277.72/278.54 c GARBAGE COLLECT
277.72/278.54 c #Conflicts: 221000 | #Constraints: 17176
277.72/278.54 c #Conflicts: 222000 | #Constraints: 18176
277.72/278.54 c #Conflicts: 223000 | #Constraints: 19176
277.72/278.54 c #Conflicts: 224000 | #Constraints: 20176
277.72/278.54 c #Conflicts: 225000 | #Constraints: 21176
277.72/278.54 c #Conflicts: 226000 | #Constraints: 22176
277.72/278.54 c #Conflicts: 227000 | #Constraints: 23176
277.72/278.54 c #Conflicts: 228000 | #Constraints: 24176
277.72/278.54 c #Conflicts: 229000 | #Constraints: 25176
277.72/278.54 c #Conflicts: 230000 | #Constraints: 26176
277.72/278.54 c #Conflicts: 231000 | #Constraints: 27176
277.72/278.54 c INPROCESSING
277.72/278.54 c GARBAGE COLLECT
277.72/278.54 c #Conflicts: 232000 | #Constraints: 17793
277.72/278.54 c #Conflicts: 233000 | #Constraints: 18793
277.72/278.54 c #Conflicts: 234000 | #Constraints: 19793
277.72/278.54 c #Conflicts: 235000 | #Constraints: 20793
277.72/278.54 c #Conflicts: 236000 | #Constraints: 21793
277.72/278.54 c #Conflicts: 237000 | #Constraints: 22793
277.72/278.54 c #Conflicts: 238000 | #Constraints: 23793
277.72/278.54 c #Conflicts: 239000 | #Constraints: 24793
277.72/278.54 c #Conflicts: 240000 | #Constraints: 25793
277.72/278.54 c #Conflicts: 241000 | #Constraints: 26793
277.72/278.54 c #Conflicts: 242000 | #Constraints: 27793
277.72/278.54 c #Conflicts: 243000 | #Constraints: 28793
277.72/278.54 c #Conflicts: 244000 | #Constraints: 29793
277.72/278.54 c #Conflicts: 245000 | #Constraints: 30793
277.72/278.54 c #Conflicts: 246000 | #Constraints: 31793
277.72/278.54 c #Conflicts: 247000 | #Constraints: 32793
277.72/278.54 c #Conflicts: 248000 | #Constraints: 33793
277.72/278.54 c #Conflicts: 249000 | #Constraints: 34793
277.72/278.54 c #Conflicts: 250000 | #Constraints: 35793
277.72/278.54 c #Conflicts: 251000 | #Constraints: 36793
277.72/278.54 c #Conflicts: 252000 | #Constraints: 37793
277.72/278.54 c #Conflicts: 253000 | #Constraints: 38793
277.72/278.54 c #Conflicts: 254000 | #Constraints: 39793
277.72/278.54 c #Conflicts: 255000 | #Constraints: 40793
277.72/278.54 c #Conflicts: 256000 | #Constraints: 41793
277.72/278.54 c #Conflicts: 257000 | #Constraints: 42793
277.72/278.54 c #Conflicts: 258000 | #Constraints: 43793
277.72/278.54 c #Conflicts: 259000 | #Constraints: 44793
277.72/278.54 c #Conflicts: 260000 | #Constraints: 45793
277.72/278.54 c #Conflicts: 261000 | #Constraints: 46793
277.72/278.54 c #Conflicts: 262000 | #Constraints: 47793
277.72/278.54 c #Conflicts: 263000 | #Constraints: 48793
277.72/278.54 c #Conflicts: 264000 | #Constraints: 49793
277.72/278.54 c #Conflicts: 265000 | #Constraints: 50793
277.72/278.54 c #Conflicts: 266000 | #Constraints: 51793
277.72/278.54 c #Conflicts: 267000 | #Constraints: 52793
277.72/278.54 c #Conflicts: 268000 | #Constraints: 53793
277.72/278.54 c #Conflicts: 269000 | #Constraints: 54793
277.72/278.54 c #Conflicts: 270000 | #Constraints: 55793
277.72/278.54 c #Conflicts: 271000 | #Constraints: 56793
277.72/278.54 c #Conflicts: 272000 | #Constraints: 57793
277.72/278.54 c INPROCESSING
277.72/278.54 c GARBAGE COLLECT
277.72/278.54 c #Conflicts: 273000 | #Constraints: 33108
277.72/278.54 c #Conflicts: 274000 | #Constraints: 34108
277.72/278.54 c #Conflicts: 275000 | #Constraints: 35108
277.72/278.54 c #Conflicts: 276000 | #Constraints: 36108
277.72/278.54 c #Conflicts: 277000 | #Constraints: 37108
277.72/278.54 c #Conflicts: 278000 | #Constraints: 38108
277.72/278.54 c #Conflicts: 279000 | #Constraints: 39108
277.72/278.54 c #Conflicts: 280000 | #Constraints: 40108
277.72/278.54 c #Conflicts: 281000 | #Constraints: 41109
277.72/278.54 c #Conflicts: 282000 | #Constraints: 42109
277.72/278.54 c #Conflicts: 283000 | #Constraints: 43109
277.72/278.54 c INPROCESSING
277.72/278.54 c GARBAGE COLLECT
277.72/278.54 c #Conflicts: 284000 | #Constraints: 25540
277.72/278.54 c #Conflicts: 285000 | #Constraints: 26540
277.72/278.54 c #Conflicts: 286000 | #Constraints: 27540
277.72/278.54 c #Conflicts: 287000 | #Constraints: 28540
375.12/376.25 c #Conflicts: 288000 | #Constraints: 29540
375.12/376.25 c #Conflicts: 289000 | #Constraints: 30540
375.12/376.25 c #Conflicts: 290000 | #Constraints: 31540
375.12/376.25 c #Conflicts: 291000 | #Constraints: 32540
375.12/376.25 c #Conflicts: 292000 | #Constraints: 33540
375.12/376.25 c #Conflicts: 293000 | #Constraints: 34540
375.12/376.25 c #Conflicts: 294000 | #Constraints: 35540
375.12/376.25 c #Conflicts: 295000 | #Constraints: 36540
375.12/376.25 c INPROCESSING
375.12/376.25 c GARBAGE COLLECT
375.12/376.25 c #Conflicts: 296000 | #Constraints: 22407
375.12/376.25 c #Conflicts: 297000 | #Constraints: 23407
375.12/376.25 c #Conflicts: 298000 | #Constraints: 24407
375.12/376.25 c #Conflicts: 299000 | #Constraints: 25407
375.12/376.25 c #Conflicts: 300000 | #Constraints: 26407
375.12/376.25 c #Conflicts: 301000 | #Constraints: 27407
375.12/376.25 c #Conflicts: 302000 | #Constraints: 28407
375.12/376.25 c #Conflicts: 303000 | #Constraints: 29407
375.12/376.25 c #Conflicts: 304000 | #Constraints: 30407
375.12/376.25 c #Conflicts: 305000 | #Constraints: 31407
375.12/376.25 c #Conflicts: 306000 | #Constraints: 32407
375.12/376.25 c #Conflicts: 307000 | #Constraints: 33407
375.12/376.25 c INPROCESSING
375.12/376.25 c GARBAGE COLLECT
375.12/376.25 c #Conflicts: 308000 | #Constraints: 20912
375.12/376.25 c #Conflicts: 309000 | #Constraints: 21912
375.12/376.25 c #Conflicts: 310000 | #Constraints: 22912
375.12/376.25 c #Conflicts: 311000 | #Constraints: 23912
375.12/376.25 c #Conflicts: 312000 | #Constraints: 24912
375.12/376.25 c #Conflicts: 313000 | #Constraints: 25912
375.12/376.25 c #Conflicts: 314000 | #Constraints: 26912
375.12/376.25 c #Conflicts: 315000 | #Constraints: 27912
375.12/376.25 c #Conflicts: 316000 | #Constraints: 28912
375.12/376.25 c #Conflicts: 317000 | #Constraints: 29912
375.12/376.25 c #Conflicts: 318000 | #Constraints: 30912
375.12/376.25 c #Conflicts: 319000 | #Constraints: 31912
375.12/376.25 c INPROCESSING
375.12/376.25 c GARBAGE COLLECT
375.12/376.25 c #Conflicts: 320000 | #Constraints: 20128
375.12/376.25 c #Conflicts: 321000 | #Constraints: 21128
375.12/376.25 c #Conflicts: 322000 | #Constraints: 22128
375.12/376.25 c #Conflicts: 323000 | #Constraints: 23128
375.12/376.25 c #Conflicts: 324000 | #Constraints: 24128
375.12/376.25 c #Conflicts: 325000 | #Constraints: 25128
375.12/376.25 c #Conflicts: 326000 | #Constraints: 26128
375.12/376.25 c #Conflicts: 327000 | #Constraints: 27128
375.12/376.25 c #Conflicts: 328000 | #Constraints: 28128
375.12/376.25 c #Conflicts: 329000 | #Constraints: 29128
375.12/376.25 c #Conflicts: 330000 | #Constraints: 30128
375.12/376.25 c #Conflicts: 331000 | #Constraints: 31128
375.12/376.25 c #Conflicts: 332000 | #Constraints: 32128
375.12/376.25 c #Conflicts: 333000 | #Constraints: 33128
375.12/376.25 c #Conflicts: 334000 | #Constraints: 34128
375.12/376.25 c #Conflicts: 335000 | #Constraints: 35128
375.12/376.25 c #Conflicts: 336000 | #Constraints: 36128
375.12/376.25 c #Conflicts: 337000 | #Constraints: 37128
375.12/376.25 c #Conflicts: 338000 | #Constraints: 38128
375.12/376.25 c #Conflicts: 339000 | #Constraints: 39128
375.12/376.25 c #Conflicts: 340000 | #Constraints: 40128
375.12/376.25 c #Conflicts: 341000 | #Constraints: 41128
375.12/376.25 c #Conflicts: 342000 | #Constraints: 42128
375.12/376.25 c #Conflicts: 343000 | #Constraints: 43128
375.12/376.25 c #Conflicts: 344000 | #Constraints: 44128
375.12/376.25 c #Conflicts: 345000 | #Constraints: 45128
375.12/376.25 c #Conflicts: 346000 | #Constraints: 46128
375.12/376.25 c #Conflicts: 347000 | #Constraints: 47128
375.12/376.25 c #Conflicts: 348000 | #Constraints: 48128
375.12/376.25 c #Conflicts: 349000 | #Constraints: 49128
375.12/376.25 c #Conflicts: 350000 | #Constraints: 50128
375.12/376.25 c #Conflicts: 351000 | #Constraints: 51128
375.12/376.25 c #Conflicts: 352000 | #Constraints: 52128
375.12/376.25 c #Conflicts: 353000 | #Constraints: 53128
375.12/376.25 c #Conflicts: 354000 | #Constraints: 54128
375.12/376.25 c #Conflicts: 355000 | #Constraints: 55129
375.12/376.25 c #Conflicts: 356000 | #Constraints: 56129
375.12/376.25 c #Conflicts: 357000 | #Constraints: 57129
375.12/376.25 c #Conflicts: 358000 | #Constraints: 58129
375.12/376.25 c #Conflicts: 359000 | #Constraints: 59129
375.12/376.25 c #Conflicts: 360000 | #Constraints: 60129
375.12/376.25 c #Conflicts: 361000 | #Constraints: 61129
375.12/376.25 c #Conflicts: 362000 | #Constraints: 62129
375.12/376.25 c #Conflicts: 363000 | #Constraints: 63129
375.12/376.25 c #Conflicts: 364000 | #Constraints: 64129
385.90/387.04 c #Conflicts: 365000 | #Constraints: 65129
385.90/387.04 c #Conflicts: 366000 | #Constraints: 66129
385.90/387.04 c INPROCESSING
385.90/387.04 c GARBAGE COLLECT
385.90/387.04 c rational objective 87
478.30/479.77 c #Conflicts: 367000 | #Constraints: 36996
478.30/479.77 c #Conflicts: 368000 | #Constraints: 37996
478.30/479.77 c #Conflicts: 369000 | #Constraints: 38996
478.30/479.77 c #Conflicts: 370000 | #Constraints: 39996
478.30/479.77 c #Conflicts: 371000 | #Constraints: 40996
478.30/479.77 c #Conflicts: 372000 | #Constraints: 41996
478.30/479.77 c #Conflicts: 373000 | #Constraints: 42996
478.30/479.77 c #Conflicts: 374000 | #Constraints: 43996
478.30/479.77 c #Conflicts: 375000 | #Constraints: 44996
478.30/479.77 c #Conflicts: 376000 | #Constraints: 45996
478.30/479.77 c #Conflicts: 377000 | #Constraints: 46996
478.30/479.77 c #Conflicts: 378000 | #Constraints: 47996
478.30/479.77 c #Conflicts: 379000 | #Constraints: 48996
478.30/479.77 c #Conflicts: 380000 | #Constraints: 49996
478.30/479.77 c INPROCESSING
478.30/479.77 c GARBAGE COLLECT
478.30/479.77 c #Conflicts: 381000 | #Constraints: 29246
478.30/479.77 c #Conflicts: 382000 | #Constraints: 30246
478.30/479.77 c #Conflicts: 383000 | #Constraints: 31246
478.30/479.77 c #Conflicts: 384000 | #Constraints: 32246
478.30/479.77 c #Conflicts: 385000 | #Constraints: 33246
478.30/479.77 c #Conflicts: 386000 | #Constraints: 34246
478.30/479.77 c #Conflicts: 387000 | #Constraints: 35246
478.30/479.77 c #Conflicts: 388000 | #Constraints: 36246
478.30/479.77 c #Conflicts: 389000 | #Constraints: 37246
478.30/479.77 c #Conflicts: 390000 | #Constraints: 38246
478.30/479.77 c #Conflicts: 391000 | #Constraints: 39246
478.30/479.77 c #Conflicts: 392000 | #Constraints: 40246
478.30/479.77 c #Conflicts: 393000 | #Constraints: 41246
478.30/479.77 c INPROCESSING
478.30/479.77 c GARBAGE COLLECT
478.30/479.77 c #Conflicts: 394000 | #Constraints: 24659
478.30/479.77 c #Conflicts: 395000 | #Constraints: 25659
478.30/479.77 c #Conflicts: 396000 | #Constraints: 26659
478.30/479.77 c #Conflicts: 397000 | #Constraints: 27659
478.30/479.77 c #Conflicts: 398000 | #Constraints: 28659
478.30/479.77 c #Conflicts: 399000 | #Constraints: 29659
478.30/479.77 c #Conflicts: 400000 | #Constraints: 30659
478.30/479.77 c #Conflicts: 401000 | #Constraints: 31659
478.30/479.77 c #Conflicts: 402000 | #Constraints: 32659
478.30/479.77 c #Conflicts: 403000 | #Constraints: 33659
478.30/479.77 c #Conflicts: 404000 | #Constraints: 34659
478.30/479.77 c #Conflicts: 405000 | #Constraints: 35659
478.30/479.77 c #Conflicts: 406000 | #Constraints: 36659
478.30/479.77 c #Conflicts: 407000 | #Constraints: 37659
478.30/479.77 c INPROCESSING
478.30/479.77 c GARBAGE COLLECT
478.30/479.77 c #Conflicts: 408000 | #Constraints: 22921
478.30/479.77 c #Conflicts: 409000 | #Constraints: 23921
478.30/479.77 c #Conflicts: 410000 | #Constraints: 24922
478.30/479.77 c #Conflicts: 411000 | #Constraints: 25922
478.30/479.77 c #Conflicts: 412000 | #Constraints: 26922
478.30/479.77 c #Conflicts: 413000 | #Constraints: 27922
478.30/479.77 c #Conflicts: 414000 | #Constraints: 28922
478.30/479.77 c #Conflicts: 415000 | #Constraints: 29922
478.30/479.77 c #Conflicts: 416000 | #Constraints: 30922
478.30/479.77 c #Conflicts: 417000 | #Constraints: 31922
478.30/479.77 c #Conflicts: 418000 | #Constraints: 32922
478.30/479.77 c #Conflicts: 419000 | #Constraints: 33922
478.30/479.77 c #Conflicts: 420000 | #Constraints: 34922
478.30/479.77 c #Conflicts: 421000 | #Constraints: 35922
478.30/479.77 c INPROCESSING
478.30/479.77 c GARBAGE COLLECT
478.30/479.77 c #Conflicts: 422000 | #Constraints: 22032
478.30/479.77 c #Conflicts: 423000 | #Constraints: 23032
478.30/479.77 c #Conflicts: 424000 | #Constraints: 24032
478.30/479.77 c #Conflicts: 425000 | #Constraints: 25032
478.30/479.77 c #Conflicts: 426000 | #Constraints: 26032
478.30/479.77 c #Conflicts: 427000 | #Constraints: 27032
478.30/479.77 c #Conflicts: 428000 | #Constraints: 28032
478.30/479.77 c #Conflicts: 429000 | #Constraints: 29032
478.30/479.77 c #Conflicts: 430000 | #Constraints: 30032
478.30/479.77 c #Conflicts: 431000 | #Constraints: 31032
478.30/479.77 c #Conflicts: 432000 | #Constraints: 32032
478.30/479.77 c #Conflicts: 433000 | #Constraints: 33032
478.30/479.77 c #Conflicts: 434000 | #Constraints: 34032
478.30/479.77 c #Conflicts: 435000 | #Constraints: 35032
478.30/479.77 c #Conflicts: 436000 | #Constraints: 36032
478.30/479.77 c #Conflicts: 437000 | #Constraints: 37032
478.30/479.77 c #Conflicts: 438000 | #Constraints: 38032
478.30/479.77 c #Conflicts: 439000 | #Constraints: 39032
478.30/479.77 c #Conflicts: 440000 | #Constraints: 40032
478.30/479.77 c #Conflicts: 441000 | #Constraints: 41032
478.30/479.77 c #Conflicts: 442000 | #Constraints: 42032
478.30/479.77 c #Conflicts: 443000 | #Constraints: 43032
543.20/544.80 c #Conflicts: 444000 | #Constraints: 44032
543.20/544.80 c #Conflicts: 445000 | #Constraints: 45032
543.20/544.80 c #Conflicts: 446000 | #Constraints: 46032
543.20/544.80 c #Conflicts: 447000 | #Constraints: 47032
543.20/544.80 c #Conflicts: 448000 | #Constraints: 48032
543.20/544.80 c #Conflicts: 449000 | #Constraints: 49032
543.20/544.80 c #Conflicts: 450000 | #Constraints: 50032
543.20/544.80 c #Conflicts: 451000 | #Constraints: 51032
543.20/544.80 c #Conflicts: 452000 | #Constraints: 52032
543.20/544.80 c #Conflicts: 453000 | #Constraints: 53032
543.20/544.80 c #Conflicts: 454000 | #Constraints: 54032
543.20/544.80 c #Conflicts: 455000 | #Constraints: 55032
543.20/544.80 c #Conflicts: 456000 | #Constraints: 56032
543.20/544.80 c #Conflicts: 457000 | #Constraints: 57032
543.20/544.80 c #Conflicts: 458000 | #Constraints: 58032
543.20/544.80 c #Conflicts: 459000 | #Constraints: 59032
543.20/544.80 c #Conflicts: 460000 | #Constraints: 60032
543.20/544.80 c #Conflicts: 461000 | #Constraints: 61032
543.20/544.80 c #Conflicts: 462000 | #Constraints: 62032
543.20/544.80 c #Conflicts: 463000 | #Constraints: 63032
543.20/544.80 c #Conflicts: 464000 | #Constraints: 64032
543.20/544.80 c #Conflicts: 465000 | #Constraints: 65032
543.20/544.80 c #Conflicts: 466000 | #Constraints: 66032
543.20/544.80 c #Conflicts: 467000 | #Constraints: 67032
543.20/544.80 c #Conflicts: 468000 | #Constraints: 68032
543.20/544.80 c #Conflicts: 469000 | #Constraints: 69032
543.20/544.80 c #Conflicts: 470000 | #Constraints: 70032
543.20/544.80 c #Conflicts: 471000 | #Constraints: 71032
543.20/544.80 c #Conflicts: 472000 | #Constraints: 72032
543.20/544.80 c #Conflicts: 473000 | #Constraints: 73032
543.20/544.80 c #Conflicts: 474000 | #Constraints: 74032
543.20/544.80 c #Conflicts: 475000 | #Constraints: 75032
543.20/544.80 c INPROCESSING
543.20/544.80 c GARBAGE COLLECT
543.20/544.80 c rational objective 87
572.90/574.65 c #Conflicts: 476000 | #Constraints: 41684
572.90/574.65 c #Conflicts: 477000 | #Constraints: 42684
572.90/574.65 c #Conflicts: 478000 | #Constraints: 43684
572.90/574.65 c #Conflicts: 479000 | #Constraints: 44684
572.90/574.65 c #Conflicts: 480000 | #Constraints: 45684
572.90/574.65 c #Conflicts: 481000 | #Constraints: 46684
572.90/574.65 c #Conflicts: 482000 | #Constraints: 47684
572.90/574.65 c #Conflicts: 483000 | #Constraints: 48684
572.90/574.65 c #Conflicts: 484000 | #Constraints: 49684
572.90/574.65 c #Conflicts: 485000 | #Constraints: 50684
572.90/574.65 c #Conflicts: 486000 | #Constraints: 51684
572.90/574.65 c #Conflicts: 487000 | #Constraints: 52684
572.90/574.65 c #Conflicts: 488000 | #Constraints: 53684
572.90/574.65 c #Conflicts: 489000 | #Constraints: 54684
572.90/574.65 c #Conflicts: 490000 | #Constraints: 55684
572.90/574.65 c INPROCESSING
572.90/574.65 c GARBAGE COLLECT
572.90/574.65 c rational objective 87
659.44/661.46 c #Conflicts: 491000 | #Constraints: 31904
659.44/661.46 c #Conflicts: 492000 | #Constraints: 32904
659.44/661.46 c #Conflicts: 493000 | #Constraints: 33904
659.44/661.46 c #Conflicts: 494000 | #Constraints: 34904
659.44/661.46 c #Conflicts: 495000 | #Constraints: 35904
659.44/661.46 c #Conflicts: 496000 | #Constraints: 36904
659.44/661.46 c #Conflicts: 497000 | #Constraints: 37904
659.44/661.46 c #Conflicts: 498000 | #Constraints: 38904
659.44/661.46 c #Conflicts: 499000 | #Constraints: 39904
659.44/661.46 c #Conflicts: 500000 | #Constraints: 40904
659.44/661.46 c #Conflicts: 501000 | #Constraints: 41904
659.44/661.46 c #Conflicts: 502000 | #Constraints: 42904
659.44/661.46 c #Conflicts: 503000 | #Constraints: 43904
659.44/661.46 c #Conflicts: 504000 | #Constraints: 44904
659.44/661.46 c #Conflicts: 505000 | #Constraints: 45904
659.44/661.46 c #Conflicts: 506000 | #Constraints: 46904
659.44/661.46 c INPROCESSING
659.44/661.46 c GARBAGE COLLECT
659.44/661.46 c #Conflicts: 507000 | #Constraints: 27742
659.44/661.46 c #Conflicts: 508000 | #Constraints: 28742
659.44/661.46 c #Conflicts: 509000 | #Constraints: 29742
659.44/661.46 c #Conflicts: 510000 | #Constraints: 30742
659.44/661.46 c #Conflicts: 511000 | #Constraints: 31742
659.44/661.46 c #Conflicts: 512000 | #Constraints: 32742
659.44/661.46 c #Conflicts: 513000 | #Constraints: 33742
659.44/661.46 c #Conflicts: 514000 | #Constraints: 34742
659.44/661.46 c #Conflicts: 515000 | #Constraints: 35742
659.44/661.46 c #Conflicts: 516000 | #Constraints: 36742
659.44/661.46 c #Conflicts: 517000 | #Constraints: 37742
659.44/661.46 c #Conflicts: 518000 | #Constraints: 38742
659.44/661.46 c #Conflicts: 519000 | #Constraints: 39742
659.44/661.46 c #Conflicts: 520000 | #Constraints: 40742
659.44/661.46 c #Conflicts: 521000 | #Constraints: 41742
659.44/661.46 c INPROCESSING
659.44/661.46 c GARBAGE COLLECT
659.44/661.46 c #Conflicts: 522000 | #Constraints: 24757
659.44/661.46 c #Conflicts: 523000 | #Constraints: 25757
659.44/661.46 c #Conflicts: 524000 | #Constraints: 26757
659.44/661.46 c #Conflicts: 525000 | #Constraints: 27757
659.44/661.46 c #Conflicts: 526000 | #Constraints: 28757
659.44/661.46 c #Conflicts: 527000 | #Constraints: 29757
659.44/661.46 c #Conflicts: 528000 | #Constraints: 30757
659.44/661.46 c #Conflicts: 529000 | #Constraints: 31757
659.44/661.46 c #Conflicts: 530000 | #Constraints: 32757
659.44/661.46 c #Conflicts: 531000 | #Constraints: 33757
659.44/661.46 c #Conflicts: 532000 | #Constraints: 34757
659.44/661.46 c #Conflicts: 533000 | #Constraints: 35757
659.44/661.46 c #Conflicts: 534000 | #Constraints: 36757
659.44/661.46 c #Conflicts: 535000 | #Constraints: 37757
659.44/661.46 c #Conflicts: 536000 | #Constraints: 38757
659.44/661.46 c #Conflicts: 537000 | #Constraints: 39757
659.44/661.46 c INPROCESSING
659.44/661.46 c GARBAGE COLLECT
659.44/661.46 c #Conflicts: 538000 | #Constraints: 23897
659.44/661.46 c #Conflicts: 539000 | #Constraints: 24897
659.44/661.46 c #Conflicts: 540000 | #Constraints: 25897
659.44/661.46 c #Conflicts: 541000 | #Constraints: 26897
659.44/661.46 c #Conflicts: 542000 | #Constraints: 27897
659.44/661.46 c #Conflicts: 543000 | #Constraints: 28897
659.44/661.46 c #Conflicts: 544000 | #Constraints: 29897
659.44/661.46 c #Conflicts: 545000 | #Constraints: 30897
659.44/661.46 c #Conflicts: 546000 | #Constraints: 31897
659.44/661.46 c #Conflicts: 547000 | #Constraints: 32897
659.44/661.46 c #Conflicts: 548000 | #Constraints: 33897
659.44/661.46 c #Conflicts: 549000 | #Constraints: 34897
659.44/661.46 c #Conflicts: 550000 | #Constraints: 35897
659.44/661.46 c #Conflicts: 551000 | #Constraints: 36897
659.44/661.46 c #Conflicts: 552000 | #Constraints: 37897
659.44/661.46 c #Conflicts: 553000 | #Constraints: 38897
659.44/661.46 c INPROCESSING
659.44/661.46 c GARBAGE COLLECT
659.44/661.46 c #Conflicts: 554000 | #Constraints: 23364
659.44/661.46 c #Conflicts: 555000 | #Constraints: 24364
659.44/661.46 c #Conflicts: 556000 | #Constraints: 25364
659.44/661.46 c #Conflicts: 557000 | #Constraints: 26364
659.44/661.46 c #Conflicts: 558000 | #Constraints: 27364
659.44/661.46 c #Conflicts: 559000 | #Constraints: 28364
659.44/661.46 c #Conflicts: 560000 | #Constraints: 29364
659.44/661.46 c #Conflicts: 561000 | #Constraints: 30364
659.44/661.46 c #Conflicts: 562000 | #Constraints: 31364
659.44/661.46 c #Conflicts: 563000 | #Constraints: 32364
659.44/661.46 c #Conflicts: 564000 | #Constraints: 33364
659.44/661.46 c #Conflicts: 565000 | #Constraints: 34364
659.44/661.46 c #Conflicts: 566000 | #Constraints: 35364
659.44/661.46 c #Conflicts: 567000 | #Constraints: 36364
775.17/777.56 c #Conflicts: 568000 | #Constraints: 37364
775.17/777.56 c #Conflicts: 569000 | #Constraints: 38364
775.17/777.56 c #Conflicts: 570000 | #Constraints: 39364
775.17/777.56 c #Conflicts: 571000 | #Constraints: 40364
775.17/777.56 c #Conflicts: 572000 | #Constraints: 41364
775.17/777.56 c #Conflicts: 573000 | #Constraints: 42364
775.17/777.56 c #Conflicts: 574000 | #Constraints: 43364
775.17/777.56 c #Conflicts: 575000 | #Constraints: 44364
775.17/777.56 c #Conflicts: 576000 | #Constraints: 45364
775.17/777.56 c #Conflicts: 577000 | #Constraints: 46364
775.17/777.56 c #Conflicts: 578000 | #Constraints: 47364
775.17/777.56 c #Conflicts: 579000 | #Constraints: 48364
775.17/777.56 c #Conflicts: 580000 | #Constraints: 49364
775.17/777.56 c #Conflicts: 581000 | #Constraints: 50364
775.17/777.56 c #Conflicts: 582000 | #Constraints: 51364
775.17/777.56 c #Conflicts: 583000 | #Constraints: 52364
775.17/777.56 c #Conflicts: 584000 | #Constraints: 53364
775.17/777.56 c #Conflicts: 585000 | #Constraints: 54364
775.17/777.56 c #Conflicts: 586000 | #Constraints: 55364
775.17/777.56 c #Conflicts: 587000 | #Constraints: 56364
775.17/777.56 c #Conflicts: 588000 | #Constraints: 57364
775.17/777.56 c #Conflicts: 589000 | #Constraints: 58364
775.17/777.56 c #Conflicts: 590000 | #Constraints: 59364
775.17/777.56 c #Conflicts: 591000 | #Constraints: 60364
775.17/777.56 c #Conflicts: 592000 | #Constraints: 61364
775.17/777.56 c #Conflicts: 593000 | #Constraints: 62364
775.17/777.56 c #Conflicts: 594000 | #Constraints: 63364
775.17/777.56 c #Conflicts: 595000 | #Constraints: 64364
775.17/777.56 c #Conflicts: 596000 | #Constraints: 65364
775.17/777.56 c #Conflicts: 597000 | #Constraints: 66364
775.17/777.56 c #Conflicts: 598000 | #Constraints: 67364
775.17/777.56 c #Conflicts: 599000 | #Constraints: 68364
775.17/777.56 c #Conflicts: 600000 | #Constraints: 69364
775.17/777.56 c #Conflicts: 601000 | #Constraints: 70364
775.17/777.56 c #Conflicts: 602000 | #Constraints: 71364
775.17/777.56 c #Conflicts: 603000 | #Constraints: 72364
775.17/777.56 c #Conflicts: 604000 | #Constraints: 73364
775.17/777.56 c #Conflicts: 605000 | #Constraints: 74364
775.17/777.56 c #Conflicts: 606000 | #Constraints: 75364
775.17/777.56 c #Conflicts: 607000 | #Constraints: 76364
775.17/777.56 c #Conflicts: 608000 | #Constraints: 77364
775.17/777.56 c #Conflicts: 609000 | #Constraints: 78364
775.17/777.56 c #Conflicts: 610000 | #Constraints: 79364
775.17/777.56 c #Conflicts: 611000 | #Constraints: 80364
775.17/777.56 c #Conflicts: 612000 | #Constraints: 81364
775.17/777.56 c #Conflicts: 613000 | #Constraints: 82364
775.17/777.56 c #Conflicts: 614000 | #Constraints: 83364
775.17/777.56 c #Conflicts: 615000 | #Constraints: 84364
775.17/777.56 c INPROCESSING
775.17/777.56 c GARBAGE COLLECT
775.17/777.56 c rational objective 87
810.56/813.04 c #Conflicts: 616000 | #Constraints: 46521
810.56/813.04 c #Conflicts: 617000 | #Constraints: 47521
810.56/813.04 c #Conflicts: 618000 | #Constraints: 48521
810.56/813.04 c #Conflicts: 619000 | #Constraints: 49521
810.56/813.04 c #Conflicts: 620000 | #Constraints: 50521
810.56/813.04 c #Conflicts: 621000 | #Constraints: 51521
810.56/813.04 c #Conflicts: 622000 | #Constraints: 52521
810.56/813.04 c #Conflicts: 623000 | #Constraints: 53521
810.56/813.04 c #Conflicts: 624000 | #Constraints: 54521
810.56/813.04 c #Conflicts: 625000 | #Constraints: 55521
810.56/813.04 c #Conflicts: 626000 | #Constraints: 56521
810.56/813.04 c #Conflicts: 627000 | #Constraints: 57521
810.56/813.04 c #Conflicts: 628000 | #Constraints: 58521
810.56/813.04 c #Conflicts: 629000 | #Constraints: 59521
810.56/813.04 c #Conflicts: 630000 | #Constraints: 60521
810.56/813.04 c #Conflicts: 631000 | #Constraints: 61521
810.56/813.04 c #Conflicts: 632000 | #Constraints: 62521
810.56/813.04 c INPROCESSING
810.56/813.04 c GARBAGE COLLECT
810.56/813.04 c rational objective 87
838.86/841.44 c #Conflicts: 633000 | #Constraints: 35365
838.86/841.44 c #Conflicts: 634000 | #Constraints: 36365
838.86/841.44 c #Conflicts: 635000 | #Constraints: 37365
838.86/841.44 c #Conflicts: 636000 | #Constraints: 38365
838.86/841.44 c #Conflicts: 637000 | #Constraints: 39365
838.86/841.44 c #Conflicts: 638000 | #Constraints: 40365
838.86/841.44 c #Conflicts: 639000 | #Constraints: 41365
838.86/841.44 c #Conflicts: 640000 | #Constraints: 42365
838.86/841.44 c #Conflicts: 641000 | #Constraints: 43365
838.86/841.44 c #Conflicts: 642000 | #Constraints: 44365
838.86/841.44 c #Conflicts: 643000 | #Constraints: 45365
838.86/841.44 c #Conflicts: 644000 | #Constraints: 46365
838.86/841.44 c #Conflicts: 645000 | #Constraints: 47365
838.86/841.44 c #Conflicts: 646000 | #Constraints: 48365
838.86/841.44 c #Conflicts: 647000 | #Constraints: 49365
838.86/841.44 c #Conflicts: 648000 | #Constraints: 50365
838.86/841.44 c #Conflicts: 649000 | #Constraints: 51365
838.86/841.44 c #Conflicts: 650000 | #Constraints: 52365
838.86/841.44 c INPROCESSING
838.86/841.44 c GARBAGE COLLECT
838.86/841.44 c rational objective 87
933.19/936.01 c #Conflicts: 651000 | #Constraints: 30456
933.19/936.01 c #Conflicts: 652000 | #Constraints: 31456
933.19/936.01 c #Conflicts: 653000 | #Constraints: 32456
933.19/936.01 c #Conflicts: 654000 | #Constraints: 33456
933.19/936.01 c #Conflicts: 655000 | #Constraints: 34456
933.19/936.01 c #Conflicts: 656000 | #Constraints: 35456
933.19/936.01 c #Conflicts: 657000 | #Constraints: 36456
933.19/936.01 c #Conflicts: 658000 | #Constraints: 37456
933.19/936.01 c #Conflicts: 659000 | #Constraints: 38456
933.19/936.01 c #Conflicts: 660000 | #Constraints: 39456
933.19/936.01 c #Conflicts: 661000 | #Constraints: 40456
933.19/936.01 c #Conflicts: 662000 | #Constraints: 41456
933.19/936.01 c #Conflicts: 663000 | #Constraints: 42456
933.19/936.01 c #Conflicts: 664000 | #Constraints: 43456
933.19/936.01 c #Conflicts: 665000 | #Constraints: 44456
933.19/936.01 c #Conflicts: 666000 | #Constraints: 45456
933.19/936.01 c #Conflicts: 667000 | #Constraints: 46456
933.19/936.01 c INPROCESSING
933.19/936.01 c GARBAGE COLLECT
933.19/936.01 c #Conflicts: 668000 | #Constraints: 27125
933.19/936.01 c #Conflicts: 669000 | #Constraints: 28125
933.19/936.01 c #Conflicts: 670000 | #Constraints: 29125
933.19/936.01 c #Conflicts: 671000 | #Constraints: 30125
933.19/936.01 c #Conflicts: 672000 | #Constraints: 31125
933.19/936.01 c #Conflicts: 673000 | #Constraints: 32125
933.19/936.01 c #Conflicts: 674000 | #Constraints: 33125
933.19/936.01 c #Conflicts: 675000 | #Constraints: 34125
933.19/936.01 c #Conflicts: 676000 | #Constraints: 35125
933.19/936.01 c #Conflicts: 677000 | #Constraints: 36125
933.19/936.01 c #Conflicts: 678000 | #Constraints: 37125
933.19/936.01 c #Conflicts: 679000 | #Constraints: 38125
933.19/936.01 c #Conflicts: 680000 | #Constraints: 39125
933.19/936.01 c #Conflicts: 681000 | #Constraints: 40125
933.19/936.01 c #Conflicts: 682000 | #Constraints: 41125
933.19/936.01 c #Conflicts: 683000 | #Constraints: 42125
933.19/936.01 c #Conflicts: 684000 | #Constraints: 43125
933.19/936.01 c #Conflicts: 685000 | #Constraints: 44125
933.19/936.01 c INPROCESSING
933.19/936.01 c GARBAGE COLLECT
933.19/936.01 c #Conflicts: 686000 | #Constraints: 25942
933.19/936.01 c #Conflicts: 687000 | #Constraints: 26942
933.19/936.01 c #Conflicts: 688000 | #Constraints: 27942
933.19/936.01 c #Conflicts: 689000 | #Constraints: 28942
933.19/936.01 c #Conflicts: 690000 | #Constraints: 29942
933.19/936.01 c #Conflicts: 691000 | #Constraints: 30942
933.19/936.01 c #Conflicts: 692000 | #Constraints: 31942
933.19/936.01 c #Conflicts: 693000 | #Constraints: 32942
933.19/936.01 c #Conflicts: 694000 | #Constraints: 33942
933.19/936.01 c #Conflicts: 695000 | #Constraints: 34942
933.19/936.01 c #Conflicts: 696000 | #Constraints: 35942
933.19/936.01 c #Conflicts: 697000 | #Constraints: 36942
933.19/936.01 c #Conflicts: 698000 | #Constraints: 37942
933.19/936.01 c #Conflicts: 699000 | #Constraints: 38942
933.19/936.01 c #Conflicts: 700000 | #Constraints: 39942
933.19/936.01 c #Conflicts: 701000 | #Constraints: 40942
933.19/936.01 c #Conflicts: 702000 | #Constraints: 41942
933.19/936.01 c #Conflicts: 703000 | #Constraints: 42942
933.19/936.01 c #Conflicts: 704000 | #Constraints: 43942
933.19/936.01 c INPROCESSING
933.19/936.01 c GARBAGE COLLECT
933.19/936.01 c #Conflicts: 705000 | #Constraints: 26264
933.19/936.01 c #Conflicts: 706000 | #Constraints: 27264
933.19/936.01 c #Conflicts: 707000 | #Constraints: 28264
933.19/936.01 c #Conflicts: 708000 | #Constraints: 29264
933.19/936.01 c #Conflicts: 709000 | #Constraints: 30264
933.19/936.01 c #Conflicts: 710000 | #Constraints: 31264
933.19/936.01 c #Conflicts: 711000 | #Constraints: 32264
933.19/936.01 c #Conflicts: 712000 | #Constraints: 33264
933.19/936.01 c #Conflicts: 713000 | #Constraints: 34264
933.19/936.01 c #Conflicts: 714000 | #Constraints: 35264
933.19/936.01 c #Conflicts: 715000 | #Constraints: 36264
933.19/936.01 c #Conflicts: 716000 | #Constraints: 37264
933.19/936.01 c #Conflicts: 717000 | #Constraints: 38264
933.19/936.01 c #Conflicts: 718000 | #Constraints: 39264
933.19/936.01 c #Conflicts: 719000 | #Constraints: 40264
933.19/936.01 c #Conflicts: 720000 | #Constraints: 41264
933.19/936.01 c #Conflicts: 721000 | #Constraints: 42264
933.19/936.01 c #Conflicts: 722000 | #Constraints: 43264
933.19/936.01 c #Conflicts: 723000 | #Constraints: 44264
933.19/936.01 c #Conflicts: 724000 | #Constraints: 45264
933.19/936.01 c #Conflicts: 725000 | #Constraints: 46265
933.19/936.01 c #Conflicts: 726000 | #Constraints: 47265
933.19/936.01 c #Conflicts: 727000 | #Constraints: 48265
1063.89/1067.13 c #Conflicts: 728000 | #Constraints: 49265
1063.89/1067.13 c #Conflicts: 729000 | #Constraints: 50265
1063.89/1067.13 c #Conflicts: 730000 | #Constraints: 51265
1063.89/1067.13 c #Conflicts: 731000 | #Constraints: 52265
1063.89/1067.13 c #Conflicts: 732000 | #Constraints: 53265
1063.89/1067.13 c #Conflicts: 733000 | #Constraints: 54265
1063.89/1067.13 c #Conflicts: 734000 | #Constraints: 55265
1063.89/1067.13 c #Conflicts: 735000 | #Constraints: 56265
1063.89/1067.13 c #Conflicts: 736000 | #Constraints: 57265
1063.89/1067.13 c #Conflicts: 737000 | #Constraints: 58265
1063.89/1067.13 c #Conflicts: 738000 | #Constraints: 59265
1063.89/1067.13 c #Conflicts: 739000 | #Constraints: 60265
1063.89/1067.13 c #Conflicts: 740000 | #Constraints: 61265
1063.89/1067.13 c #Conflicts: 741000 | #Constraints: 62265
1063.89/1067.13 c #Conflicts: 742000 | #Constraints: 63265
1063.89/1067.13 c #Conflicts: 743000 | #Constraints: 64265
1063.89/1067.13 c #Conflicts: 744000 | #Constraints: 65265
1063.89/1067.13 c #Conflicts: 745000 | #Constraints: 66265
1063.89/1067.13 c #Conflicts: 746000 | #Constraints: 67265
1063.89/1067.13 c #Conflicts: 747000 | #Constraints: 68265
1063.89/1067.13 c #Conflicts: 748000 | #Constraints: 69265
1063.89/1067.13 c #Conflicts: 749000 | #Constraints: 70265
1063.89/1067.13 c #Conflicts: 750000 | #Constraints: 71265
1063.89/1067.13 c #Conflicts: 751000 | #Constraints: 72265
1063.89/1067.13 c #Conflicts: 752000 | #Constraints: 73265
1063.89/1067.13 c #Conflicts: 753000 | #Constraints: 74265
1063.89/1067.13 c #Conflicts: 754000 | #Constraints: 75265
1063.89/1067.13 c #Conflicts: 755000 | #Constraints: 76265
1063.89/1067.13 c #Conflicts: 756000 | #Constraints: 77265
1063.89/1067.13 c #Conflicts: 757000 | #Constraints: 78265
1063.89/1067.13 c #Conflicts: 758000 | #Constraints: 79265
1063.89/1067.13 c #Conflicts: 759000 | #Constraints: 80265
1063.89/1067.13 c #Conflicts: 760000 | #Constraints: 81265
1063.89/1067.13 c #Conflicts: 761000 | #Constraints: 82265
1063.89/1067.13 c #Conflicts: 762000 | #Constraints: 83266
1063.89/1067.13 c #Conflicts: 763000 | #Constraints: 84266
1063.89/1067.13 c #Conflicts: 764000 | #Constraints: 85266
1063.89/1067.13 c #Conflicts: 765000 | #Constraints: 86266
1063.89/1067.13 c #Conflicts: 766000 | #Constraints: 87266
1063.89/1067.13 c #Conflicts: 767000 | #Constraints: 88266
1063.89/1067.13 c #Conflicts: 768000 | #Constraints: 89266
1063.89/1067.13 c #Conflicts: 769000 | #Constraints: 90266
1063.89/1067.13 c #Conflicts: 770000 | #Constraints: 91266
1063.89/1067.13 c #Conflicts: 771000 | #Constraints: 92266
1063.89/1067.13 c #Conflicts: 772000 | #Constraints: 93266
1063.89/1067.13 c INPROCESSING
1063.89/1067.13 c GARBAGE COLLECT
1063.89/1067.13 c rational objective 87
1176.89/1180.57 c #Conflicts: 773000 | #Constraints: 50583
1176.89/1180.57 c #Conflicts: 774000 | #Constraints: 51583
1176.89/1180.57 c #Conflicts: 775000 | #Constraints: 52583
1176.89/1180.57 c #Conflicts: 776000 | #Constraints: 53583
1176.89/1180.57 c #Conflicts: 777000 | #Constraints: 54583
1176.89/1180.57 c #Conflicts: 778000 | #Constraints: 55583
1176.89/1180.57 c #Conflicts: 779000 | #Constraints: 56583
1176.89/1180.57 c #Conflicts: 780000 | #Constraints: 57583
1176.89/1180.57 c #Conflicts: 781000 | #Constraints: 58583
1176.89/1180.57 c #Conflicts: 782000 | #Constraints: 59583
1176.89/1180.57 c #Conflicts: 783000 | #Constraints: 60583
1176.89/1180.57 c #Conflicts: 784000 | #Constraints: 61583
1176.89/1180.57 c #Conflicts: 785000 | #Constraints: 62583
1176.89/1180.57 c #Conflicts: 786000 | #Constraints: 63583
1176.89/1180.57 c #Conflicts: 787000 | #Constraints: 64583
1176.89/1180.57 c #Conflicts: 788000 | #Constraints: 65583
1176.89/1180.57 c #Conflicts: 789000 | #Constraints: 66583
1176.89/1180.57 c #Conflicts: 790000 | #Constraints: 67583
1176.89/1180.57 c #Conflicts: 791000 | #Constraints: 68583
1176.89/1180.57 c #Conflicts: 792000 | #Constraints: 69583
1176.89/1180.57 c INPROCESSING
1176.89/1180.57 c GARBAGE COLLECT
1176.89/1180.57 c #Conflicts: 793000 | #Constraints: 38957
1176.89/1180.57 c #Conflicts: 794000 | #Constraints: 39957
1176.89/1180.57 c #Conflicts: 795000 | #Constraints: 40957
1176.89/1180.57 c #Conflicts: 796000 | #Constraints: 41957
1176.89/1180.57 c #Conflicts: 797000 | #Constraints: 42957
1176.89/1180.57 c #Conflicts: 798000 | #Constraints: 43957
1176.89/1180.57 c #Conflicts: 799000 | #Constraints: 44957
1176.89/1180.57 c #Conflicts: 800000 | #Constraints: 45957
1176.89/1180.57 c #Conflicts: 801000 | #Constraints: 46957
1176.89/1180.57 c #Conflicts: 802000 | #Constraints: 47957
1176.89/1180.57 c #Conflicts: 803000 | #Constraints: 48957
1176.89/1180.57 c #Conflicts: 804000 | #Constraints: 49957
1176.89/1180.57 c #Conflicts: 805000 | #Constraints: 50957
1176.89/1180.57 c #Conflicts: 806000 | #Constraints: 51957
1176.89/1180.57 c #Conflicts: 807000 | #Constraints: 52957
1176.89/1180.57 c #Conflicts: 808000 | #Constraints: 53957
1176.89/1180.57 c #Conflicts: 809000 | #Constraints: 54957
1176.89/1180.57 c #Conflicts: 810000 | #Constraints: 55957
1176.89/1180.57 c #Conflicts: 811000 | #Constraints: 56957
1176.89/1180.57 c #Conflicts: 812000 | #Constraints: 57957
1176.89/1180.57 c INPROCESSING
1176.89/1180.57 c GARBAGE COLLECT
1176.89/1180.57 c #Conflicts: 813000 | #Constraints: 33275
1176.89/1180.57 c #Conflicts: 814000 | #Constraints: 34275
1176.89/1180.57 c #Conflicts: 815000 | #Constraints: 35275
1176.89/1180.57 c #Conflicts: 816000 | #Constraints: 36275
1176.89/1180.57 c #Conflicts: 817000 | #Constraints: 37275
1176.89/1180.57 c #Conflicts: 818000 | #Constraints: 38275
1176.89/1180.57 c #Conflicts: 819000 | #Constraints: 39275
1176.89/1180.57 c #Conflicts: 820000 | #Constraints: 40275
1176.89/1180.57 c #Conflicts: 821000 | #Constraints: 41275
1176.89/1180.57 c #Conflicts: 822000 | #Constraints: 42275
1176.89/1180.57 c #Conflicts: 823000 | #Constraints: 43275
1176.89/1180.57 c #Conflicts: 824000 | #Constraints: 44275
1176.89/1180.57 c #Conflicts: 825000 | #Constraints: 45275
1176.89/1180.57 c #Conflicts: 826000 | #Constraints: 46275
1176.89/1180.57 c #Conflicts: 827000 | #Constraints: 47275
1176.89/1180.57 c #Conflicts: 828000 | #Constraints: 48275
1176.89/1180.57 c #Conflicts: 829000 | #Constraints: 49275
1176.89/1180.57 c #Conflicts: 830000 | #Constraints: 50275
1176.89/1180.57 c #Conflicts: 831000 | #Constraints: 51275
1176.89/1180.57 c INPROCESSING
1176.89/1180.57 c GARBAGE COLLECT
1176.89/1180.57 c #Conflicts: 832000 | #Constraints: 29495
1176.89/1180.57 c #Conflicts: 833000 | #Constraints: 30495
1176.89/1180.57 c #Conflicts: 834000 | #Constraints: 31495
1176.89/1180.57 c #Conflicts: 835000 | #Constraints: 32495
1176.89/1180.57 c #Conflicts: 836000 | #Constraints: 33495
1176.89/1180.57 c #Conflicts: 837000 | #Constraints: 34495
1176.89/1180.57 c #Conflicts: 838000 | #Constraints: 35495
1176.89/1180.57 c #Conflicts: 839000 | #Constraints: 36495
1176.89/1180.57 c #Conflicts: 840000 | #Constraints: 37495
1176.89/1180.57 c #Conflicts: 841000 | #Constraints: 38495
1176.89/1180.57 c #Conflicts: 842000 | #Constraints: 39495
1176.89/1180.57 c #Conflicts: 843000 | #Constraints: 40495
1176.89/1180.57 c #Conflicts: 844000 | #Constraints: 41495
1176.89/1180.57 c #Conflicts: 845000 | #Constraints: 42495
1176.89/1180.57 c #Conflicts: 846000 | #Constraints: 43495
1176.89/1180.57 c #Conflicts: 847000 | #Constraints: 44495
1176.89/1180.57 c #Conflicts: 848000 | #Constraints: 45495
1176.89/1180.57 c #Conflicts: 849000 | #Constraints: 46495
1185.76/1189.45 c #Conflicts: 850000 | #Constraints: 47495
1185.76/1189.45 c #Conflicts: 851000 | #Constraints: 48495
1185.76/1189.45 c #Conflicts: 852000 | #Constraints: 49495
1185.76/1189.45 c INPROCESSING
1185.76/1189.45 c GARBAGE COLLECT
1185.76/1189.45 c rational objective 87
1316.27/1320.32 c #Conflicts: 853000 | #Constraints: 29016
1316.27/1320.32 c #Conflicts: 854000 | #Constraints: 30016
1316.27/1320.32 c #Conflicts: 855000 | #Constraints: 31016
1316.27/1320.32 c #Conflicts: 856000 | #Constraints: 32016
1316.27/1320.32 c #Conflicts: 857000 | #Constraints: 33016
1316.27/1320.32 c #Conflicts: 858000 | #Constraints: 34016
1316.27/1320.32 c #Conflicts: 859000 | #Constraints: 35016
1316.27/1320.32 c #Conflicts: 860000 | #Constraints: 36016
1316.27/1320.32 c #Conflicts: 861000 | #Constraints: 37016
1316.27/1320.32 c #Conflicts: 862000 | #Constraints: 38016
1316.27/1320.32 c #Conflicts: 863000 | #Constraints: 39016
1316.27/1320.32 c #Conflicts: 864000 | #Constraints: 40016
1316.27/1320.32 c #Conflicts: 865000 | #Constraints: 41016
1316.27/1320.32 c #Conflicts: 866000 | #Constraints: 42016
1316.27/1320.32 c #Conflicts: 867000 | #Constraints: 43016
1316.27/1320.32 c #Conflicts: 868000 | #Constraints: 44016
1316.27/1320.32 c #Conflicts: 869000 | #Constraints: 45016
1316.27/1320.32 c #Conflicts: 870000 | #Constraints: 46016
1316.27/1320.32 c #Conflicts: 871000 | #Constraints: 47016
1316.27/1320.32 c #Conflicts: 872000 | #Constraints: 48016
1316.27/1320.32 c INPROCESSING
1316.27/1320.32 c GARBAGE COLLECT
1316.27/1320.32 c #Conflicts: 873000 | #Constraints: 28262
1316.27/1320.32 c #Conflicts: 874000 | #Constraints: 29262
1316.27/1320.32 c #Conflicts: 875000 | #Constraints: 30262
1316.27/1320.32 c #Conflicts: 876000 | #Constraints: 31262
1316.27/1320.32 c #Conflicts: 877000 | #Constraints: 32262
1316.27/1320.32 c #Conflicts: 878000 | #Constraints: 33262
1316.27/1320.32 c #Conflicts: 879000 | #Constraints: 34262
1316.27/1320.32 c #Conflicts: 880000 | #Constraints: 35262
1316.27/1320.32 c #Conflicts: 881000 | #Constraints: 36262
1316.27/1320.32 c #Conflicts: 882000 | #Constraints: 37262
1316.27/1320.32 c #Conflicts: 883000 | #Constraints: 38262
1316.27/1320.32 c #Conflicts: 884000 | #Constraints: 39262
1316.27/1320.32 c #Conflicts: 885000 | #Constraints: 40262
1316.27/1320.32 c #Conflicts: 886000 | #Constraints: 41262
1316.27/1320.32 c #Conflicts: 887000 | #Constraints: 42262
1316.27/1320.32 c #Conflicts: 888000 | #Constraints: 43262
1316.27/1320.32 c #Conflicts: 889000 | #Constraints: 44262
1316.27/1320.32 c #Conflicts: 890000 | #Constraints: 45262
1316.27/1320.32 c #Conflicts: 891000 | #Constraints: 46262
1316.27/1320.32 c #Conflicts: 892000 | #Constraints: 47262
1316.27/1320.32 c #Conflicts: 893000 | #Constraints: 48262
1316.27/1320.32 c #Conflicts: 894000 | #Constraints: 49262
1316.27/1320.32 c #Conflicts: 895000 | #Constraints: 50262
1316.27/1320.32 c #Conflicts: 896000 | #Constraints: 51262
1316.27/1320.32 c #Conflicts: 897000 | #Constraints: 52262
1316.27/1320.32 c #Conflicts: 898000 | #Constraints: 53262
1316.27/1320.32 c #Conflicts: 899000 | #Constraints: 54262
1316.27/1320.32 c #Conflicts: 900000 | #Constraints: 55262
1316.27/1320.32 c #Conflicts: 901000 | #Constraints: 56262
1316.27/1320.32 c #Conflicts: 902000 | #Constraints: 57262
1316.27/1320.32 c #Conflicts: 903000 | #Constraints: 58262
1316.27/1320.32 c #Conflicts: 904000 | #Constraints: 59262
1316.27/1320.32 c #Conflicts: 905000 | #Constraints: 60262
1316.27/1320.32 c #Conflicts: 906000 | #Constraints: 61262
1316.27/1320.32 c #Conflicts: 907000 | #Constraints: 62262
1316.27/1320.32 c #Conflicts: 908000 | #Constraints: 63262
1316.27/1320.32 c #Conflicts: 909000 | #Constraints: 64262
1316.27/1320.32 c #Conflicts: 910000 | #Constraints: 65262
1316.27/1320.32 c #Conflicts: 911000 | #Constraints: 66262
1316.27/1320.32 c #Conflicts: 912000 | #Constraints: 67262
1316.27/1320.32 c #Conflicts: 913000 | #Constraints: 68262
1316.27/1320.32 c #Conflicts: 914000 | #Constraints: 69262
1316.27/1320.32 c #Conflicts: 915000 | #Constraints: 70262
1316.27/1320.32 c #Conflicts: 916000 | #Constraints: 71262
1316.27/1320.32 c #Conflicts: 917000 | #Constraints: 72262
1316.27/1320.32 c #Conflicts: 918000 | #Constraints: 73262
1316.27/1320.32 c #Conflicts: 919000 | #Constraints: 74262
1316.27/1320.32 c #Conflicts: 920000 | #Constraints: 75262
1316.27/1320.32 c #Conflicts: 921000 | #Constraints: 76262
1316.27/1320.32 c #Conflicts: 922000 | #Constraints: 77262
1316.27/1320.32 c #Conflicts: 923000 | #Constraints: 78262
1316.27/1320.32 c #Conflicts: 924000 | #Constraints: 79262
1316.27/1320.32 c #Conflicts: 925000 | #Constraints: 80262
1316.27/1320.32 c #Conflicts: 926000 | #Constraints: 81262
1316.27/1320.32 c #Conflicts: 927000 | #Constraints: 82262
1316.27/1320.32 c #Conflicts: 928000 | #Constraints: 83262
1316.27/1320.32 c #Conflicts: 929000 | #Constraints: 84262
1316.27/1320.32 c #Conflicts: 930000 | #Constraints: 85262
1316.27/1320.32 c #Conflicts: 931000 | #Constraints: 86262
1428.27/1432.68 c #Conflicts: 932000 | #Constraints: 87262
1428.27/1432.68 c #Conflicts: 933000 | #Constraints: 88262
1428.27/1432.68 c #Conflicts: 934000 | #Constraints: 89262
1428.27/1432.68 c #Conflicts: 935000 | #Constraints: 90262
1428.27/1432.68 c #Conflicts: 936000 | #Constraints: 91262
1428.27/1432.68 c #Conflicts: 937000 | #Constraints: 92262
1428.27/1432.68 c #Conflicts: 938000 | #Constraints: 93262
1428.27/1432.68 c #Conflicts: 939000 | #Constraints: 94262
1428.27/1432.68 c #Conflicts: 940000 | #Constraints: 95262
1428.27/1432.68 c #Conflicts: 941000 | #Constraints: 96262
1428.27/1432.68 c #Conflicts: 942000 | #Constraints: 97262
1428.27/1432.68 c #Conflicts: 943000 | #Constraints: 98262
1428.27/1432.68 c #Conflicts: 944000 | #Constraints: 99262
1428.27/1432.68 c #Conflicts: 945000 | #Constraints: 100262
1428.27/1432.68 c #Conflicts: 946000 | #Constraints: 101262
1428.27/1432.68 c #Conflicts: 947000 | #Constraints: 102262
1428.27/1432.68 c #Conflicts: 948000 | #Constraints: 103262
1428.27/1432.68 c INPROCESSING
1428.27/1432.68 c GARBAGE COLLECT
1428.27/1432.68 c #Conflicts: 949000 | #Constraints: 55734
1428.27/1432.68 c #Conflicts: 950000 | #Constraints: 56734
1428.27/1432.68 c #Conflicts: 951000 | #Constraints: 57734
1428.27/1432.68 c #Conflicts: 952000 | #Constraints: 58734
1428.27/1432.68 c #Conflicts: 953000 | #Constraints: 59734
1428.27/1432.68 c #Conflicts: 954000 | #Constraints: 60734
1428.27/1432.68 c #Conflicts: 955000 | #Constraints: 61734
1428.27/1432.68 c #Conflicts: 956000 | #Constraints: 62734
1428.27/1432.68 c #Conflicts: 957000 | #Constraints: 63734
1428.27/1432.68 c #Conflicts: 958000 | #Constraints: 64734
1428.27/1432.68 c #Conflicts: 959000 | #Constraints: 65734
1428.27/1432.68 c #Conflicts: 960000 | #Constraints: 66734
1428.27/1432.68 c #Conflicts: 961000 | #Constraints: 67734
1428.27/1432.68 c #Conflicts: 962000 | #Constraints: 68734
1428.27/1432.68 c #Conflicts: 963000 | #Constraints: 69734
1428.27/1432.68 c #Conflicts: 964000 | #Constraints: 70734
1428.27/1432.68 c #Conflicts: 965000 | #Constraints: 71734
1428.27/1432.68 c #Conflicts: 966000 | #Constraints: 72734
1428.27/1432.68 c #Conflicts: 967000 | #Constraints: 73734
1428.27/1432.68 c #Conflicts: 968000 | #Constraints: 74734
1428.27/1432.68 c #Conflicts: 969000 | #Constraints: 75734
1428.27/1432.69 c #Conflicts: 970000 | #Constraints: 76734
1428.27/1432.69 c INPROCESSING
1428.27/1432.69 c GARBAGE COLLECT
1428.27/1432.69 c rational objective 87
1474.86/1479.39 c #Conflicts: 971000 | #Constraints: 42643
1474.86/1479.39 c #Conflicts: 972000 | #Constraints: 43643
1474.86/1479.39 c #Conflicts: 973000 | #Constraints: 44643
1474.86/1479.39 c #Conflicts: 974000 | #Constraints: 45643
1474.86/1479.39 c #Conflicts: 975000 | #Constraints: 46643
1474.86/1479.39 c #Conflicts: 976000 | #Constraints: 47643
1474.86/1479.39 c #Conflicts: 977000 | #Constraints: 48643
1474.86/1479.39 c #Conflicts: 978000 | #Constraints: 49643
1474.86/1479.39 c #Conflicts: 979000 | #Constraints: 50643
1474.86/1479.39 c #Conflicts: 980000 | #Constraints: 51643
1474.86/1479.39 c #Conflicts: 981000 | #Constraints: 52643
1474.86/1479.39 c #Conflicts: 982000 | #Constraints: 53643
1474.86/1479.39 c #Conflicts: 983000 | #Constraints: 54643
1474.86/1479.39 c #Conflicts: 984000 | #Constraints: 55643
1474.86/1479.39 c #Conflicts: 985000 | #Constraints: 56643
1474.86/1479.39 c #Conflicts: 986000 | #Constraints: 57643
1474.86/1479.39 c #Conflicts: 987000 | #Constraints: 58643
1474.86/1479.39 c #Conflicts: 988000 | #Constraints: 59643
1474.86/1479.39 c #Conflicts: 989000 | #Constraints: 60643
1474.86/1479.39 c #Conflicts: 990000 | #Constraints: 61643
1474.86/1479.39 c #Conflicts: 991000 | #Constraints: 62643
1474.86/1479.39 c #Conflicts: 992000 | #Constraints: 63643
1474.86/1479.39 c INPROCESSING
1474.86/1479.39 c GARBAGE COLLECT
1474.86/1479.39 c rational objective 87
1525.32/1530.00 c #Conflicts: 993000 | #Constraints: 36184
1525.32/1530.00 c #Conflicts: 994000 | #Constraints: 37184
1525.32/1530.00 c #Conflicts: 995000 | #Constraints: 38184
1525.32/1530.00 c #Conflicts: 996000 | #Constraints: 39184
1525.32/1530.00 c #Conflicts: 997000 | #Constraints: 40184
1525.32/1530.00 c #Conflicts: 998000 | #Constraints: 41184
1525.32/1530.00 c #Conflicts: 999000 | #Constraints: 42184
1525.32/1530.00 c #Conflicts: 1000000 | #Constraints: 43184
1525.32/1530.00 c #Conflicts: 1001000 | #Constraints: 44184
1525.32/1530.00 c #Conflicts: 1002000 | #Constraints: 45184
1525.32/1530.00 c #Conflicts: 1003000 | #Constraints: 46184
1525.32/1530.00 c #Conflicts: 1004000 | #Constraints: 47184
1525.32/1530.00 c #Conflicts: 1005000 | #Constraints: 48184
1525.32/1530.00 c #Conflicts: 1006000 | #Constraints: 49184
1525.32/1530.00 c #Conflicts: 1007000 | #Constraints: 50184
1525.32/1530.00 c #Conflicts: 1008000 | #Constraints: 51184
1525.32/1530.00 c #Conflicts: 1009000 | #Constraints: 52184
1525.32/1530.00 c #Conflicts: 1010000 | #Constraints: 53184
1525.32/1530.00 c #Conflicts: 1011000 | #Constraints: 54184
1525.32/1530.00 c #Conflicts: 1012000 | #Constraints: 55184
1525.32/1530.00 c #Conflicts: 1013000 | #Constraints: 56184
1525.32/1530.00 c #Conflicts: 1014000 | #Constraints: 57184
1525.32/1530.00 c INPROCESSING
1525.32/1530.00 c GARBAGE COLLECT
1525.32/1530.00 c rational objective 87
1634.26/1639.14 c #Conflicts: 1015000 | #Constraints: 32943
1634.26/1639.14 c #Conflicts: 1016000 | #Constraints: 33943
1634.26/1639.14 c #Conflicts: 1017000 | #Constraints: 34943
1634.26/1639.14 c #Conflicts: 1018000 | #Constraints: 35943
1634.26/1639.14 c #Conflicts: 1019000 | #Constraints: 36943
1634.26/1639.14 c #Conflicts: 1020000 | #Constraints: 37943
1634.26/1639.14 c #Conflicts: 1021000 | #Constraints: 38943
1634.26/1639.14 c #Conflicts: 1022000 | #Constraints: 39943
1634.26/1639.14 c #Conflicts: 1023000 | #Constraints: 40943
1634.26/1639.14 c #Conflicts: 1024000 | #Constraints: 41943
1634.26/1639.14 c #Conflicts: 1025000 | #Constraints: 42943
1634.26/1639.14 c #Conflicts: 1026000 | #Constraints: 43943
1634.26/1639.14 c #Conflicts: 1027000 | #Constraints: 44943
1634.26/1639.14 c #Conflicts: 1028000 | #Constraints: 45943
1634.26/1639.14 c #Conflicts: 1029000 | #Constraints: 46943
1634.26/1639.14 c #Conflicts: 1030000 | #Constraints: 47943
1634.26/1639.14 c #Conflicts: 1031000 | #Constraints: 48943
1634.26/1639.14 c #Conflicts: 1032000 | #Constraints: 49943
1634.26/1639.14 c #Conflicts: 1033000 | #Constraints: 50943
1634.26/1639.14 c #Conflicts: 1034000 | #Constraints: 51943
1634.26/1639.14 c #Conflicts: 1035000 | #Constraints: 52943
1634.26/1639.14 c #Conflicts: 1036000 | #Constraints: 53943
1634.26/1639.14 c INPROCESSING
1634.26/1639.14 c GARBAGE COLLECT
1634.26/1639.14 c #Conflicts: 1037000 | #Constraints: 31230
1634.26/1639.14 c #Conflicts: 1038000 | #Constraints: 32230
1634.26/1639.14 c #Conflicts: 1039000 | #Constraints: 33230
1634.26/1639.14 c #Conflicts: 1040000 | #Constraints: 34230
1634.26/1639.14 c #Conflicts: 1041000 | #Constraints: 35230
1634.26/1639.14 c #Conflicts: 1042000 | #Constraints: 36230
1634.26/1639.14 c #Conflicts: 1043000 | #Constraints: 37230
1634.26/1639.14 c #Conflicts: 1044000 | #Constraints: 38230
1634.26/1639.14 c #Conflicts: 1045000 | #Constraints: 39230
1634.26/1639.14 c #Conflicts: 1046000 | #Constraints: 40230
1634.26/1639.14 c #Conflicts: 1047000 | #Constraints: 41230
1634.26/1639.14 c #Conflicts: 1048000 | #Constraints: 42230
1634.26/1639.14 c #Conflicts: 1049000 | #Constraints: 43230
1634.26/1639.14 c #Conflicts: 1050000 | #Constraints: 44230
1634.26/1639.14 c #Conflicts: 1051000 | #Constraints: 45230
1634.26/1639.14 c #Conflicts: 1052000 | #Constraints: 46230
1634.26/1639.14 c #Conflicts: 1053000 | #Constraints: 47230
1634.26/1639.14 c #Conflicts: 1054000 | #Constraints: 48230
1634.26/1639.14 c #Conflicts: 1055000 | #Constraints: 49230
1634.26/1639.14 c #Conflicts: 1056000 | #Constraints: 50230
1634.26/1639.14 c #Conflicts: 1057000 | #Constraints: 51230
1634.26/1639.14 c #Conflicts: 1058000 | #Constraints: 52230
1634.26/1639.14 c INPROCESSING
1634.26/1639.14 c GARBAGE COLLECT
1634.26/1639.14 c #Conflicts: 1059000 | #Constraints: 30152
1634.26/1639.14 c #Conflicts: 1060000 | #Constraints: 31152
1634.26/1639.14 c #Conflicts: 1061000 | #Constraints: 32152
1634.26/1639.14 c #Conflicts: 1062000 | #Constraints: 33152
1634.26/1639.14 c #Conflicts: 1063000 | #Constraints: 34152
1634.26/1639.14 c #Conflicts: 1064000 | #Constraints: 35152
1634.26/1639.14 c #Conflicts: 1065000 | #Constraints: 36152
1634.26/1639.14 c #Conflicts: 1066000 | #Constraints: 37152
1634.26/1639.14 c #Conflicts: 1067000 | #Constraints: 38152
1634.26/1639.14 c #Conflicts: 1068000 | #Constraints: 39152
1634.26/1639.14 c #Conflicts: 1069000 | #Constraints: 40152
1634.26/1639.14 c #Conflicts: 1070000 | #Constraints: 41152
1634.26/1639.14 c #Conflicts: 1071000 | #Constraints: 42152
1634.26/1639.14 c #Conflicts: 1072000 | #Constraints: 43152
1634.26/1639.14 c #Conflicts: 1073000 | #Constraints: 44152
1634.26/1639.14 c #Conflicts: 1074000 | #Constraints: 45152
1634.26/1639.14 c #Conflicts: 1075000 | #Constraints: 46152
1634.26/1639.14 c #Conflicts: 1076000 | #Constraints: 47152
1634.26/1639.14 c #Conflicts: 1077000 | #Constraints: 48152
1634.26/1639.14 c #Conflicts: 1078000 | #Constraints: 49152
1634.26/1639.14 c #Conflicts: 1079000 | #Constraints: 50152
1634.26/1639.14 c #Conflicts: 1080000 | #Constraints: 51152
1634.26/1639.14 c #Conflicts: 1081000 | #Constraints: 52152
1634.26/1639.14 c INPROCESSING
1634.26/1639.14 c GARBAGE COLLECT
1634.26/1639.14 c #Conflicts: 1082000 | #Constraints: 30292
1634.26/1639.14 c #Conflicts: 1083000 | #Constraints: 31292
1634.26/1639.14 c #Conflicts: 1084000 | #Constraints: 32292
1634.26/1639.14 c #Conflicts: 1085000 | #Constraints: 33292
1634.26/1639.14 c #Conflicts: 1086000 | #Constraints: 34292
1634.26/1639.14 c #Conflicts: 1087000 | #Constraints: 35292
1634.26/1639.14 c #Conflicts: 1088000 | #Constraints: 36292
1634.26/1639.14 c #Conflicts: 1089000 | #Constraints: 37292
1634.26/1639.14 c #Conflicts: 1090000 | #Constraints: 38292
1634.26/1639.14 c #Conflicts: 1091000 | #Constraints: 39292
1813.01/1818.31 c #Conflicts: 1092000 | #Constraints: 40292
1813.01/1818.31 c #Conflicts: 1093000 | #Constraints: 41292
1813.01/1818.31 c #Conflicts: 1094000 | #Constraints: 42293
1813.01/1818.31 c #Conflicts: 1095000 | #Constraints: 43293
1813.01/1818.31 c #Conflicts: 1096000 | #Constraints: 44293
1813.01/1818.31 c #Conflicts: 1097000 | #Constraints: 45293
1813.01/1818.31 c #Conflicts: 1098000 | #Constraints: 46293
1813.01/1818.31 c #Conflicts: 1099000 | #Constraints: 47293
1813.01/1818.31 c #Conflicts: 1100000 | #Constraints: 48293
1813.01/1818.31 c #Conflicts: 1101000 | #Constraints: 49293
1813.01/1818.31 c #Conflicts: 1102000 | #Constraints: 50293
1813.01/1818.31 c #Conflicts: 1103000 | #Constraints: 51293
1813.01/1818.31 c #Conflicts: 1104000 | #Constraints: 52293
1813.01/1818.31 c #Conflicts: 1105000 | #Constraints: 53293
1813.01/1818.31 c #Conflicts: 1106000 | #Constraints: 54293
1813.01/1818.31 c #Conflicts: 1107000 | #Constraints: 55293
1813.01/1818.31 c #Conflicts: 1108000 | #Constraints: 56293
1813.01/1818.31 c #Conflicts: 1109000 | #Constraints: 57293
1813.01/1818.31 c #Conflicts: 1110000 | #Constraints: 58293
1813.01/1818.31 c #Conflicts: 1111000 | #Constraints: 59293
1813.01/1818.31 c #Conflicts: 1112000 | #Constraints: 60293
1813.01/1818.31 c #Conflicts: 1113000 | #Constraints: 61293
1813.01/1818.31 c #Conflicts: 1114000 | #Constraints: 62293
1813.01/1818.31 c #Conflicts: 1115000 | #Constraints: 63293
1813.01/1818.31 c #Conflicts: 1116000 | #Constraints: 64293
1813.01/1818.31 c #Conflicts: 1117000 | #Constraints: 65293
1813.01/1818.31 c #Conflicts: 1118000 | #Constraints: 66293
1813.01/1818.31 c #Conflicts: 1119000 | #Constraints: 67293
1813.01/1818.31 c #Conflicts: 1120000 | #Constraints: 68293
1813.01/1818.31 c #Conflicts: 1121000 | #Constraints: 69293
1813.01/1818.31 c #Conflicts: 1122000 | #Constraints: 70293
1813.01/1818.31 c #Conflicts: 1123000 | #Constraints: 71293
1813.01/1818.31 c #Conflicts: 1124000 | #Constraints: 72293
1813.01/1818.31 c #Conflicts: 1125000 | #Constraints: 73293
1813.01/1818.31 c #Conflicts: 1126000 | #Constraints: 74293
1813.01/1818.31 c #Conflicts: 1127000 | #Constraints: 75293
1813.01/1818.31 c #Conflicts: 1128000 | #Constraints: 76293
1813.01/1818.31 c #Conflicts: 1129000 | #Constraints: 77293
1813.01/1818.31 c #Conflicts: 1130000 | #Constraints: 78293
1813.01/1818.31 c #Conflicts: 1131000 | #Constraints: 79293
1813.01/1818.32 c #Conflicts: 1132000 | #Constraints: 80293
1813.01/1818.32 c #Conflicts: 1133000 | #Constraints: 81293
1813.01/1818.32 c #Conflicts: 1134000 | #Constraints: 82293
1813.01/1818.32 c #Conflicts: 1135000 | #Constraints: 83293
1813.01/1818.32 c #Conflicts: 1136000 | #Constraints: 84293
1813.01/1818.32 c #Conflicts: 1137000 | #Constraints: 85293
1813.01/1818.32 c #Conflicts: 1138000 | #Constraints: 86293
1813.01/1818.32 c #Conflicts: 1139000 | #Constraints: 87293
1813.01/1818.32 c #Conflicts: 1140000 | #Constraints: 88293
1813.01/1818.32 c #Conflicts: 1141000 | #Constraints: 89293
1813.01/1818.32 c #Conflicts: 1142000 | #Constraints: 90293
1813.01/1818.32 c #Conflicts: 1143000 | #Constraints: 91293
1813.01/1818.32 c #Conflicts: 1144000 | #Constraints: 92293
1813.01/1818.32 c #Conflicts: 1145000 | #Constraints: 93293
1813.01/1818.32 c #Conflicts: 1146000 | #Constraints: 94293
1813.01/1818.32 c #Conflicts: 1147000 | #Constraints: 95293
1813.01/1818.32 c #Conflicts: 1148000 | #Constraints: 96293
1813.01/1818.32 c #Conflicts: 1149000 | #Constraints: 97293
1813.01/1818.32 c #Conflicts: 1150000 | #Constraints: 98293
1813.01/1818.32 c #Conflicts: 1151000 | #Constraints: 99293
1813.01/1818.32 c #Conflicts: 1152000 | #Constraints: 100293
1813.01/1818.32 c #Conflicts: 1153000 | #Constraints: 101293
1813.01/1818.32 c #Conflicts: 1154000 | #Constraints: 102293
1813.01/1818.32 c #Conflicts: 1155000 | #Constraints: 103293
1813.01/1818.32 c #Conflicts: 1156000 | #Constraints: 104293
1813.01/1818.32 c #Conflicts: 1157000 | #Constraints: 105293
1813.01/1818.32 c #Conflicts: 1158000 | #Constraints: 106293
1813.01/1818.32 c #Conflicts: 1159000 | #Constraints: 107293
1813.01/1818.32 c #Conflicts: 1160000 | #Constraints: 108293
1813.01/1818.32 c #Conflicts: 1161000 | #Constraints: 109293
1813.01/1818.32 c #Conflicts: 1162000 | #Constraints: 110293
1813.01/1818.32 c #Conflicts: 1163000 | #Constraints: 111293
1813.01/1818.32 c #Conflicts: 1164000 | #Constraints: 112293
1813.01/1818.32 c #Conflicts: 1165000 | #Constraints: 113293
1813.01/1818.32 c #Conflicts: 1166000 | #Constraints: 114293
1813.01/1818.32 c INPROCESSING
1813.01/1818.32 c GARBAGE COLLECT
1813.01/1818.32 c rational objective 87
1944.77/1950.41 c #Conflicts: 1167000 | #Constraints: 61378
1944.77/1950.41 c #Conflicts: 1168000 | #Constraints: 62378
1944.77/1950.41 c #Conflicts: 1169000 | #Constraints: 63378
1944.77/1950.41 c #Conflicts: 1170000 | #Constraints: 64378
1944.77/1950.41 c #Conflicts: 1171000 | #Constraints: 65378
1944.77/1950.41 c #Conflicts: 1172000 | #Constraints: 66378
1944.77/1950.41 c #Conflicts: 1173000 | #Constraints: 67378
1944.77/1950.41 c #Conflicts: 1174000 | #Constraints: 68378
1944.77/1950.41 c #Conflicts: 1175000 | #Constraints: 69378
1944.77/1950.41 c #Conflicts: 1176000 | #Constraints: 70378
1944.77/1950.41 c #Conflicts: 1177000 | #Constraints: 71378
1944.77/1950.41 c #Conflicts: 1178000 | #Constraints: 72378
1944.77/1950.41 c #Conflicts: 1179000 | #Constraints: 73378
1944.77/1950.41 c #Conflicts: 1180000 | #Constraints: 74378
1944.77/1950.41 c #Conflicts: 1181000 | #Constraints: 75378
1944.77/1950.41 c #Conflicts: 1182000 | #Constraints: 76378
1944.77/1950.41 c #Conflicts: 1183000 | #Constraints: 77378
1944.77/1950.41 c #Conflicts: 1184000 | #Constraints: 78378
1944.77/1950.41 c #Conflicts: 1185000 | #Constraints: 79378
1944.77/1950.41 c #Conflicts: 1186000 | #Constraints: 80378
1944.77/1950.41 c #Conflicts: 1187000 | #Constraints: 81378
1944.77/1950.41 c #Conflicts: 1188000 | #Constraints: 82378
1944.77/1950.41 c #Conflicts: 1189000 | #Constraints: 83378
1944.77/1950.41 c #Conflicts: 1190000 | #Constraints: 84378
1944.77/1950.41 c INPROCESSING
1944.77/1950.41 c GARBAGE COLLECT
1944.77/1950.41 c #Conflicts: 1191000 | #Constraints: 46543
1944.77/1950.41 c #Conflicts: 1192000 | #Constraints: 47543
1944.77/1950.41 c #Conflicts: 1193000 | #Constraints: 48543
1944.77/1950.41 c #Conflicts: 1194000 | #Constraints: 49543
1944.77/1950.41 c #Conflicts: 1195000 | #Constraints: 50543
1944.77/1950.41 c #Conflicts: 1196000 | #Constraints: 51543
1944.77/1950.41 c #Conflicts: 1197000 | #Constraints: 52543
1944.77/1950.41 c #Conflicts: 1198000 | #Constraints: 53543
1944.77/1950.41 c #Conflicts: 1199000 | #Constraints: 54543
1944.77/1950.41 c #Conflicts: 1200000 | #Constraints: 55543
1944.77/1950.41 c #Conflicts: 1201000 | #Constraints: 56543
1944.77/1950.41 c #Conflicts: 1202000 | #Constraints: 57543
1944.77/1950.41 c #Conflicts: 1203000 | #Constraints: 58543
1944.77/1950.41 c #Conflicts: 1204000 | #Constraints: 59543
1944.77/1950.41 c #Conflicts: 1205000 | #Constraints: 60543
1944.77/1950.41 c #Conflicts: 1206000 | #Constraints: 61543
1944.77/1950.41 c #Conflicts: 1207000 | #Constraints: 62543
1944.77/1950.41 c #Conflicts: 1208000 | #Constraints: 63543
1944.77/1950.41 c #Conflicts: 1209000 | #Constraints: 64543
1944.77/1950.41 c #Conflicts: 1210000 | #Constraints: 65543
1944.77/1950.41 c #Conflicts: 1211000 | #Constraints: 66543
1944.77/1950.41 c #Conflicts: 1212000 | #Constraints: 67543
1944.77/1950.41 c #Conflicts: 1213000 | #Constraints: 68543
1944.77/1950.41 c #Conflicts: 1214000 | #Constraints: 69543
1944.77/1950.41 c INPROCESSING
1944.77/1950.41 c GARBAGE COLLECT
1944.77/1950.41 c #Conflicts: 1215000 | #Constraints: 39088
1944.77/1950.41 c #Conflicts: 1216000 | #Constraints: 40088
1944.77/1950.41 c #Conflicts: 1217000 | #Constraints: 41088
1944.77/1950.41 c #Conflicts: 1218000 | #Constraints: 42088
1944.77/1950.41 c #Conflicts: 1219000 | #Constraints: 43088
1944.77/1950.41 c #Conflicts: 1220000 | #Constraints: 44088
1944.77/1950.41 c #Conflicts: 1221000 | #Constraints: 45088
1944.77/1950.41 c #Conflicts: 1222000 | #Constraints: 46088
1944.77/1950.41 c #Conflicts: 1223000 | #Constraints: 47088
1944.77/1950.41 c #Conflicts: 1224000 | #Constraints: 48088
1944.77/1950.41 c #Conflicts: 1225000 | #Constraints: 49088
1944.77/1950.41 c #Conflicts: 1226000 | #Constraints: 50088
1944.77/1950.41 c #Conflicts: 1227000 | #Constraints: 51088
1944.77/1950.41 c #Conflicts: 1228000 | #Constraints: 52088
1944.77/1950.41 c #Conflicts: 1229000 | #Constraints: 53088
1944.77/1950.41 c #Conflicts: 1230000 | #Constraints: 54088
1944.77/1950.41 c #Conflicts: 1231000 | #Constraints: 55088
1944.77/1950.41 c #Conflicts: 1232000 | #Constraints: 56088
1944.77/1950.41 c #Conflicts: 1233000 | #Constraints: 57088
1944.77/1950.41 c #Conflicts: 1234000 | #Constraints: 58088
1944.77/1950.41 c #Conflicts: 1235000 | #Constraints: 59088
1944.77/1950.41 c #Conflicts: 1236000 | #Constraints: 60088
1944.77/1950.41 c #Conflicts: 1237000 | #Constraints: 61088
1944.77/1950.41 c #Conflicts: 1238000 | #Constraints: 62088
1944.77/1950.41 c INPROCESSING
1944.77/1950.41 c GARBAGE COLLECT
1944.77/1950.41 c #Conflicts: 1239000 | #Constraints: 35193
1944.77/1950.41 c #Conflicts: 1240000 | #Constraints: 36193
1944.77/1950.41 c #Conflicts: 1241000 | #Constraints: 37193
1944.77/1950.41 c #Conflicts: 1242000 | #Constraints: 38193
1944.77/1950.41 c #Conflicts: 1243000 | #Constraints: 39193
2003.42/2009.29 c #Conflicts: 1244000 | #Constraints: 40193
2003.42/2009.29 c #Conflicts: 1245000 | #Constraints: 41193
2003.42/2009.29 c #Conflicts: 1246000 | #Constraints: 42193
2003.42/2009.29 c #Conflicts: 1247000 | #Constraints: 43193
2003.42/2009.29 c #Conflicts: 1248000 | #Constraints: 44193
2003.42/2009.29 c #Conflicts: 1249000 | #Constraints: 45193
2003.42/2009.29 c #Conflicts: 1250000 | #Constraints: 46193
2003.42/2009.29 c #Conflicts: 1251000 | #Constraints: 47193
2003.42/2009.29 c #Conflicts: 1252000 | #Constraints: 48193
2003.42/2009.29 c #Conflicts: 1253000 | #Constraints: 49193
2003.42/2009.29 c #Conflicts: 1254000 | #Constraints: 50193
2003.42/2009.29 c #Conflicts: 1255000 | #Constraints: 51193
2003.42/2009.29 c #Conflicts: 1256000 | #Constraints: 52193
2003.42/2009.29 c #Conflicts: 1257000 | #Constraints: 53193
2003.42/2009.29 c #Conflicts: 1258000 | #Constraints: 54193
2003.42/2009.29 c #Conflicts: 1259000 | #Constraints: 55193
2003.42/2009.29 c #Conflicts: 1260000 | #Constraints: 56193
2003.42/2009.29 c #Conflicts: 1261000 | #Constraints: 57193
2003.42/2009.29 c #Conflicts: 1262000 | #Constraints: 58193
2003.42/2009.29 c INPROCESSING
2003.42/2009.29 c GARBAGE COLLECT
2003.42/2009.29 c #Conflicts: 1263000 | #Constraints: 32898
2003.42/2009.29 c #Conflicts: 1264000 | #Constraints: 33898
2003.42/2009.29 c #Conflicts: 1265000 | #Constraints: 34898
2003.42/2009.29 c #Conflicts: 1266000 | #Constraints: 35898
2003.42/2009.29 c #Conflicts: 1267000 | #Constraints: 36898
2003.42/2009.29 c #Conflicts: 1268000 | #Constraints: 37898
2003.42/2009.29 c #Conflicts: 1269000 | #Constraints: 38898
2003.42/2009.29 c #Conflicts: 1270000 | #Constraints: 39898
2003.42/2009.29 c #Conflicts: 1271000 | #Constraints: 40898
2003.42/2009.29 c #Conflicts: 1272000 | #Constraints: 41898
2003.42/2009.29 c #Conflicts: 1273000 | #Constraints: 42898
2003.42/2009.29 c #Conflicts: 1274000 | #Constraints: 43898
2003.42/2009.29 c #Conflicts: 1275000 | #Constraints: 44898
2003.42/2009.29 c #Conflicts: 1276000 | #Constraints: 45898
2003.42/2009.29 c #Conflicts: 1277000 | #Constraints: 46898
2003.42/2009.29 c #Conflicts: 1278000 | #Constraints: 47898
2003.42/2009.29 c #Conflicts: 1279000 | #Constraints: 48898
2003.42/2009.29 c #Conflicts: 1280000 | #Constraints: 49898
2003.42/2009.29 c #Conflicts: 1281000 | #Constraints: 50898
2003.42/2009.29 c #Conflicts: 1282000 | #Constraints: 51898
2003.42/2009.29 c #Conflicts: 1283000 | #Constraints: 52898
2003.42/2009.29 c #Conflicts: 1284000 | #Constraints: 53898
2003.42/2009.29 c #Conflicts: 1285000 | #Constraints: 54898
2003.42/2009.29 c #Conflicts: 1286000 | #Constraints: 55898
2003.42/2009.29 c #Conflicts: 1287000 | #Constraints: 56898
2003.42/2009.29 c INPROCESSING
2003.42/2009.29 c GARBAGE COLLECT
2003.42/2009.29 c rational objective 87
2038.44/2044.39 c #Conflicts: 1288000 | #Constraints: 32524
2038.44/2044.39 c #Conflicts: 1289000 | #Constraints: 33524
2038.44/2044.39 c #Conflicts: 1290000 | #Constraints: 34524
2038.44/2044.39 c #Conflicts: 1291000 | #Constraints: 35524
2038.44/2044.39 c #Conflicts: 1292000 | #Constraints: 36524
2038.44/2044.39 c #Conflicts: 1293000 | #Constraints: 37524
2038.44/2044.39 c #Conflicts: 1294000 | #Constraints: 38524
2038.44/2044.39 c #Conflicts: 1295000 | #Constraints: 39524
2038.44/2044.39 c #Conflicts: 1296000 | #Constraints: 40524
2038.44/2044.39 c #Conflicts: 1297000 | #Constraints: 41524
2038.44/2044.39 c #Conflicts: 1298000 | #Constraints: 42524
2038.44/2044.39 c #Conflicts: 1299000 | #Constraints: 43524
2038.44/2044.39 c #Conflicts: 1300000 | #Constraints: 44524
2038.44/2044.39 c #Conflicts: 1301000 | #Constraints: 45524
2038.44/2044.39 c #Conflicts: 1302000 | #Constraints: 46524
2038.44/2044.39 c #Conflicts: 1303000 | #Constraints: 47524
2038.44/2044.39 c #Conflicts: 1304000 | #Constraints: 48524
2038.44/2044.39 c #Conflicts: 1305000 | #Constraints: 49524
2038.44/2044.39 c #Conflicts: 1306000 | #Constraints: 50524
2038.44/2044.39 c #Conflicts: 1307000 | #Constraints: 51524
2038.44/2044.39 c #Conflicts: 1308000 | #Constraints: 52524
2038.44/2044.39 c #Conflicts: 1309000 | #Constraints: 53524
2038.44/2044.39 c #Conflicts: 1310000 | #Constraints: 54524
2038.44/2044.39 c #Conflicts: 1311000 | #Constraints: 55524
2038.44/2044.39 c #Conflicts: 1312000 | #Constraints: 56524
2038.44/2044.39 c INPROCESSING
2038.44/2044.39 c GARBAGE COLLECT
2038.44/2044.39 c rational objective 87
2244.22/2250.63 c #Conflicts: 1313000 | #Constraints: 32283
2244.22/2250.63 c #Conflicts: 1314000 | #Constraints: 33283
2244.22/2250.63 c #Conflicts: 1315000 | #Constraints: 34283
2244.22/2250.63 c #Conflicts: 1316000 | #Constraints: 35283
2244.22/2250.63 c #Conflicts: 1317000 | #Constraints: 36283
2244.22/2250.63 c #Conflicts: 1318000 | #Constraints: 37283
2244.22/2250.63 c #Conflicts: 1319000 | #Constraints: 38283
2244.22/2250.63 c #Conflicts: 1320000 | #Constraints: 39283
2244.22/2250.63 c #Conflicts: 1321000 | #Constraints: 40283
2244.22/2250.63 c #Conflicts: 1322000 | #Constraints: 41283
2244.22/2250.63 c #Conflicts: 1323000 | #Constraints: 42283
2244.22/2250.63 c #Conflicts: 1324000 | #Constraints: 43283
2244.22/2250.63 c #Conflicts: 1325000 | #Constraints: 44283
2244.22/2250.63 c #Conflicts: 1326000 | #Constraints: 45283
2244.22/2250.63 c #Conflicts: 1327000 | #Constraints: 46283
2244.22/2250.63 c #Conflicts: 1328000 | #Constraints: 47283
2244.22/2250.63 c #Conflicts: 1329000 | #Constraints: 48283
2244.22/2250.63 c #Conflicts: 1330000 | #Constraints: 49283
2244.22/2250.63 c #Conflicts: 1331000 | #Constraints: 50283
2244.22/2250.63 c #Conflicts: 1332000 | #Constraints: 51283
2244.22/2250.63 c #Conflicts: 1333000 | #Constraints: 52283
2244.22/2250.63 c #Conflicts: 1334000 | #Constraints: 53283
2244.22/2250.63 c #Conflicts: 1335000 | #Constraints: 54283
2244.22/2250.63 c #Conflicts: 1336000 | #Constraints: 55283
2244.22/2250.63 c #Conflicts: 1337000 | #Constraints: 56283
2244.22/2250.63 c #Conflicts: 1338000 | #Constraints: 57283
2244.22/2250.63 c #Conflicts: 1339000 | #Constraints: 58283
2244.22/2250.63 c #Conflicts: 1340000 | #Constraints: 59283
2244.22/2250.63 c #Conflicts: 1341000 | #Constraints: 60283
2244.22/2250.63 c #Conflicts: 1342000 | #Constraints: 61283
2244.22/2250.63 c #Conflicts: 1343000 | #Constraints: 62283
2244.22/2250.63 c #Conflicts: 1344000 | #Constraints: 63283
2244.22/2250.63 c #Conflicts: 1345000 | #Constraints: 64283
2244.22/2250.63 c #Conflicts: 1346000 | #Constraints: 65283
2244.22/2250.63 c #Conflicts: 1347000 | #Constraints: 66283
2244.22/2250.63 c #Conflicts: 1348000 | #Constraints: 67283
2244.22/2250.63 c #Conflicts: 1349000 | #Constraints: 68283
2244.22/2250.63 c #Conflicts: 1350000 | #Constraints: 69283
2244.22/2250.63 c #Conflicts: 1351000 | #Constraints: 70283
2244.22/2250.63 c #Conflicts: 1352000 | #Constraints: 71283
2244.22/2250.63 c #Conflicts: 1353000 | #Constraints: 72283
2244.22/2250.63 c #Conflicts: 1354000 | #Constraints: 73283
2244.22/2250.63 c #Conflicts: 1355000 | #Constraints: 74283
2244.22/2250.63 c #Conflicts: 1356000 | #Constraints: 75283
2244.22/2250.63 c #Conflicts: 1357000 | #Constraints: 76283
2244.22/2250.63 c #Conflicts: 1358000 | #Constraints: 77283
2244.22/2250.63 c #Conflicts: 1359000 | #Constraints: 78283
2244.22/2250.63 c #Conflicts: 1360000 | #Constraints: 79283
2244.22/2250.63 c #Conflicts: 1361000 | #Constraints: 80283
2244.22/2250.63 c #Conflicts: 1362000 | #Constraints: 81283
2244.22/2250.63 c #Conflicts: 1363000 | #Constraints: 82283
2244.22/2250.63 c #Conflicts: 1364000 | #Constraints: 83283
2244.22/2250.63 c #Conflicts: 1365000 | #Constraints: 84283
2244.22/2250.63 c #Conflicts: 1366000 | #Constraints: 85283
2244.22/2250.63 c #Conflicts: 1367000 | #Constraints: 86283
2244.22/2250.63 c #Conflicts: 1368000 | #Constraints: 87283
2244.22/2250.63 c #Conflicts: 1369000 | #Constraints: 88283
2244.22/2250.63 c #Conflicts: 1370000 | #Constraints: 89283
2244.22/2250.63 c #Conflicts: 1371000 | #Constraints: 90283
2244.22/2250.63 c #Conflicts: 1372000 | #Constraints: 91283
2244.22/2250.63 c #Conflicts: 1373000 | #Constraints: 92283
2244.22/2250.63 c #Conflicts: 1374000 | #Constraints: 93283
2244.22/2250.63 c #Conflicts: 1375000 | #Constraints: 94283
2244.22/2250.63 c #Conflicts: 1376000 | #Constraints: 95283
2244.22/2250.63 c #Conflicts: 1377000 | #Constraints: 96283
2244.22/2250.63 c #Conflicts: 1378000 | #Constraints: 97283
2244.22/2250.63 c #Conflicts: 1379000 | #Constraints: 98283
2244.22/2250.63 c #Conflicts: 1380000 | #Constraints: 99283
2244.22/2250.63 c #Conflicts: 1381000 | #Constraints: 100283
2244.22/2250.63 c #Conflicts: 1382000 | #Constraints: 101283
2244.22/2250.63 c #Conflicts: 1383000 | #Constraints: 102283
2244.22/2250.63 c #Conflicts: 1384000 | #Constraints: 103283
2244.22/2250.63 c #Conflicts: 1385000 | #Constraints: 104283
2244.22/2250.63 c #Conflicts: 1386000 | #Constraints: 105283
2244.22/2250.63 c #Conflicts: 1387000 | #Constraints: 106283
2244.22/2250.63 c #Conflicts: 1388000 | #Constraints: 107283
2244.22/2250.63 c #Conflicts: 1389000 | #Constraints: 108283
2244.22/2250.63 c #Conflicts: 1390000 | #Constraints: 109284
2244.22/2250.63 c #Conflicts: 1391000 | #Constraints: 110284
2386.06/2392.86 c #Conflicts: 1392000 | #Constraints: 111284
2386.06/2392.86 c #Conflicts: 1393000 | #Constraints: 112284
2386.06/2392.86 c #Conflicts: 1394000 | #Constraints: 113284
2386.06/2392.86 c #Conflicts: 1395000 | #Constraints: 114284
2386.06/2392.86 c #Conflicts: 1396000 | #Constraints: 115284
2386.06/2392.86 c #Conflicts: 1397000 | #Constraints: 116284
2386.06/2392.86 c #Conflicts: 1398000 | #Constraints: 117284
2386.06/2392.86 c #Conflicts: 1399000 | #Constraints: 118284
2386.06/2392.86 c #Conflicts: 1400000 | #Constraints: 119284
2386.06/2392.86 c #Conflicts: 1401000 | #Constraints: 120284
2386.06/2392.86 c #Conflicts: 1402000 | #Constraints: 121284
2386.06/2392.86 c #Conflicts: 1403000 | #Constraints: 122284
2386.06/2392.86 c #Conflicts: 1404000 | #Constraints: 123284
2386.06/2392.86 c #Conflicts: 1405000 | #Constraints: 124284
2386.06/2392.86 c #Conflicts: 1406000 | #Constraints: 125284
2386.06/2392.86 c INPROCESSING
2386.06/2392.86 c GARBAGE COLLECT
2386.06/2392.86 c #Conflicts: 1407000 | #Constraints: 66970
2386.06/2392.86 c #Conflicts: 1408000 | #Constraints: 67970
2386.06/2392.86 c #Conflicts: 1409000 | #Constraints: 68970
2386.06/2392.86 c #Conflicts: 1410000 | #Constraints: 69970
2386.06/2392.86 c #Conflicts: 1411000 | #Constraints: 70970
2386.06/2392.86 c #Conflicts: 1412000 | #Constraints: 71970
2386.06/2392.86 c #Conflicts: 1413000 | #Constraints: 72970
2386.06/2392.86 c #Conflicts: 1414000 | #Constraints: 73970
2386.06/2392.86 c #Conflicts: 1415000 | #Constraints: 74970
2386.06/2392.86 c #Conflicts: 1416000 | #Constraints: 75970
2386.06/2392.86 c #Conflicts: 1417000 | #Constraints: 76970
2386.06/2392.86 c #Conflicts: 1418000 | #Constraints: 77970
2386.06/2392.86 c #Conflicts: 1419000 | #Constraints: 78970
2386.06/2392.86 c #Conflicts: 1420000 | #Constraints: 79970
2386.06/2392.86 c #Conflicts: 1421000 | #Constraints: 80970
2386.06/2392.86 c #Conflicts: 1422000 | #Constraints: 81970
2386.06/2392.86 c #Conflicts: 1423000 | #Constraints: 82970
2386.06/2392.86 c #Conflicts: 1424000 | #Constraints: 83970
2386.06/2392.86 c #Conflicts: 1425000 | #Constraints: 84970
2386.06/2392.86 c #Conflicts: 1426000 | #Constraints: 85970
2386.06/2392.86 c #Conflicts: 1427000 | #Constraints: 86970
2386.06/2392.86 c #Conflicts: 1428000 | #Constraints: 87970
2386.06/2392.86 c #Conflicts: 1429000 | #Constraints: 88970
2386.06/2392.86 c #Conflicts: 1430000 | #Constraints: 89970
2386.06/2392.86 c #Conflicts: 1431000 | #Constraints: 90970
2386.06/2392.86 c #Conflicts: 1432000 | #Constraints: 91970
2386.06/2392.86 c INPROCESSING
2386.06/2392.86 c GARBAGE COLLECT
2386.06/2392.86 c rational objective 87
2490.02/2497.09 c #Conflicts: 1433000 | #Constraints: 50255
2490.02/2497.09 c #Conflicts: 1434000 | #Constraints: 51255
2490.02/2497.09 c #Conflicts: 1435000 | #Constraints: 52255
2490.02/2497.09 c #Conflicts: 1436000 | #Constraints: 53255
2490.02/2497.09 c #Conflicts: 1437000 | #Constraints: 54255
2490.02/2497.09 c #Conflicts: 1438000 | #Constraints: 55255
2490.02/2497.09 c #Conflicts: 1439000 | #Constraints: 56255
2490.02/2497.09 c #Conflicts: 1440000 | #Constraints: 57255
2490.02/2497.09 c #Conflicts: 1441000 | #Constraints: 58255
2490.02/2497.09 c #Conflicts: 1442000 | #Constraints: 59255
2490.02/2497.09 c #Conflicts: 1443000 | #Constraints: 60255
2490.02/2497.09 c #Conflicts: 1444000 | #Constraints: 61255
2490.02/2497.09 c #Conflicts: 1445000 | #Constraints: 62255
2490.02/2497.09 c #Conflicts: 1446000 | #Constraints: 63255
2490.02/2497.09 c #Conflicts: 1447000 | #Constraints: 64255
2490.02/2497.09 c #Conflicts: 1448000 | #Constraints: 65255
2490.02/2497.09 c #Conflicts: 1449000 | #Constraints: 66255
2490.02/2497.09 c #Conflicts: 1450000 | #Constraints: 67255
2490.02/2497.09 c #Conflicts: 1451000 | #Constraints: 68255
2490.02/2497.09 c #Conflicts: 1452000 | #Constraints: 69255
2490.02/2497.09 c #Conflicts: 1453000 | #Constraints: 70255
2490.02/2497.09 c #Conflicts: 1454000 | #Constraints: 71255
2490.02/2497.09 c #Conflicts: 1455000 | #Constraints: 72255
2490.02/2497.09 c #Conflicts: 1456000 | #Constraints: 73255
2490.02/2497.09 c #Conflicts: 1457000 | #Constraints: 74255
2490.02/2497.09 c #Conflicts: 1458000 | #Constraints: 75255
2490.02/2497.09 c INPROCESSING
2490.02/2497.09 c GARBAGE COLLECT
2490.02/2497.09 c #Conflicts: 1459000 | #Constraints: 41721
2490.02/2497.09 c #Conflicts: 1460000 | #Constraints: 42721
2490.02/2497.09 c #Conflicts: 1461000 | #Constraints: 43721
2490.02/2497.09 c #Conflicts: 1462000 | #Constraints: 44721
2490.02/2497.09 c #Conflicts: 1463000 | #Constraints: 45721
2490.02/2497.09 c #Conflicts: 1464000 | #Constraints: 46721
2490.02/2497.09 c #Conflicts: 1465000 | #Constraints: 47721
2490.02/2497.09 c #Conflicts: 1466000 | #Constraints: 48721
2490.02/2497.09 c #Conflicts: 1467000 | #Constraints: 49721
2490.02/2497.09 c #Conflicts: 1468000 | #Constraints: 50721
2490.02/2497.09 c #Conflicts: 1469000 | #Constraints: 51721
2490.02/2497.09 c #Conflicts: 1470000 | #Constraints: 52721
2490.02/2497.09 c #Conflicts: 1471000 | #Constraints: 53721
2490.02/2497.09 c #Conflicts: 1472000 | #Constraints: 54721
2490.02/2497.09 c #Conflicts: 1473000 | #Constraints: 55721
2490.02/2497.09 c #Conflicts: 1474000 | #Constraints: 56721
2490.02/2497.09 c #Conflicts: 1475000 | #Constraints: 57721
2490.02/2497.09 c #Conflicts: 1476000 | #Constraints: 58721
2490.02/2497.09 c #Conflicts: 1477000 | #Constraints: 59721
2490.02/2497.09 c #Conflicts: 1478000 | #Constraints: 60721
2490.02/2497.09 c #Conflicts: 1479000 | #Constraints: 61721
2490.02/2497.09 c #Conflicts: 1480000 | #Constraints: 62721
2490.02/2497.09 c #Conflicts: 1481000 | #Constraints: 63721
2490.02/2497.09 c #Conflicts: 1482000 | #Constraints: 64721
2490.02/2497.09 c #Conflicts: 1483000 | #Constraints: 65721
2490.02/2497.09 c #Conflicts: 1484000 | #Constraints: 66721
2490.02/2497.09 c #Conflicts: 1485000 | #Constraints: 67721
2490.02/2497.09 c INPROCESSING
2490.02/2497.09 c GARBAGE COLLECT
2490.02/2497.09 c rational objective 87
2535.01/2542.13 c #Conflicts: 1486000 | #Constraints: 38210
2535.01/2542.13 c #Conflicts: 1487000 | #Constraints: 39210
2535.01/2542.13 c #Conflicts: 1488000 | #Constraints: 40210
2535.01/2542.13 c #Conflicts: 1489000 | #Constraints: 41210
2535.01/2542.13 c #Conflicts: 1490000 | #Constraints: 42210
2535.01/2542.13 c #Conflicts: 1491000 | #Constraints: 43210
2535.01/2542.13 c #Conflicts: 1492000 | #Constraints: 44210
2535.01/2542.13 c #Conflicts: 1493000 | #Constraints: 45210
2535.01/2542.13 c #Conflicts: 1494000 | #Constraints: 46210
2535.01/2542.13 c #Conflicts: 1495000 | #Constraints: 47210
2535.01/2542.13 c #Conflicts: 1496000 | #Constraints: 48210
2535.01/2542.13 c #Conflicts: 1497000 | #Constraints: 49210
2535.01/2542.13 c #Conflicts: 1498000 | #Constraints: 50210
2535.01/2542.13 c #Conflicts: 1499000 | #Constraints: 51210
2535.01/2542.13 c #Conflicts: 1500000 | #Constraints: 52210
2535.01/2542.13 c #Conflicts: 1501000 | #Constraints: 53210
2535.01/2542.13 c #Conflicts: 1502000 | #Constraints: 54210
2535.01/2542.13 c #Conflicts: 1503000 | #Constraints: 55210
2535.01/2542.13 c #Conflicts: 1504000 | #Constraints: 56210
2535.01/2542.13 c #Conflicts: 1505000 | #Constraints: 57210
2535.01/2542.13 c #Conflicts: 1506000 | #Constraints: 58210
2535.01/2542.13 c #Conflicts: 1507000 | #Constraints: 59210
2535.01/2542.13 c #Conflicts: 1508000 | #Constraints: 60210
2535.01/2542.13 c #Conflicts: 1509000 | #Constraints: 61210
2535.01/2542.13 c #Conflicts: 1510000 | #Constraints: 62210
2535.01/2542.13 c #Conflicts: 1511000 | #Constraints: 63210
2535.01/2542.13 c #Conflicts: 1512000 | #Constraints: 64210
2535.01/2542.13 c INPROCESSING
2535.01/2542.13 c GARBAGE COLLECT
2535.01/2542.13 c rational objective 87
2641.42/2648.81 c #Conflicts: 1513000 | #Constraints: 36433
2641.42/2648.81 c #Conflicts: 1514000 | #Constraints: 37433
2641.42/2648.81 c #Conflicts: 1515000 | #Constraints: 38433
2641.42/2648.81 c #Conflicts: 1516000 | #Constraints: 39433
2641.42/2648.81 c #Conflicts: 1517000 | #Constraints: 40433
2641.42/2648.81 c #Conflicts: 1518000 | #Constraints: 41433
2641.42/2648.81 c #Conflicts: 1519000 | #Constraints: 42433
2641.42/2648.81 c #Conflicts: 1520000 | #Constraints: 43433
2641.42/2648.81 c #Conflicts: 1521000 | #Constraints: 44433
2641.42/2648.81 c #Conflicts: 1522000 | #Constraints: 45433
2641.42/2648.81 c #Conflicts: 1523000 | #Constraints: 46433
2641.42/2648.81 c #Conflicts: 1524000 | #Constraints: 47433
2641.42/2648.81 c #Conflicts: 1525000 | #Constraints: 48433
2641.42/2648.81 c #Conflicts: 1526000 | #Constraints: 49433
2641.42/2648.81 c #Conflicts: 1527000 | #Constraints: 50433
2641.42/2648.81 c #Conflicts: 1528000 | #Constraints: 51433
2641.42/2648.81 c #Conflicts: 1529000 | #Constraints: 52433
2641.42/2648.81 c #Conflicts: 1530000 | #Constraints: 53433
2641.42/2648.81 c #Conflicts: 1531000 | #Constraints: 54433
2641.42/2648.81 c #Conflicts: 1532000 | #Constraints: 55433
2641.42/2648.81 c #Conflicts: 1533000 | #Constraints: 56433
2641.42/2648.81 c #Conflicts: 1534000 | #Constraints: 57433
2641.42/2648.81 c #Conflicts: 1535000 | #Constraints: 58433
2641.42/2648.81 c #Conflicts: 1536000 | #Constraints: 59433
2641.42/2648.81 c #Conflicts: 1537000 | #Constraints: 60433
2641.42/2648.81 c #Conflicts: 1538000 | #Constraints: 61433
2641.42/2648.81 c #Conflicts: 1539000 | #Constraints: 62433
2641.42/2648.81 c INPROCESSING
2641.42/2648.81 c GARBAGE COLLECT
2641.42/2648.81 c #Conflicts: 1540000 | #Constraints: 35525
2641.42/2648.81 c #Conflicts: 1541000 | #Constraints: 36525
2641.42/2648.81 c #Conflicts: 1542000 | #Constraints: 37525
2641.42/2648.81 c #Conflicts: 1543000 | #Constraints: 38525
2641.42/2648.81 c #Conflicts: 1544000 | #Constraints: 39525
2641.42/2648.81 c #Conflicts: 1545000 | #Constraints: 40525
2641.42/2648.81 c #Conflicts: 1546000 | #Constraints: 41525
2641.42/2648.81 c #Conflicts: 1547000 | #Constraints: 42525
2641.42/2648.81 c #Conflicts: 1548000 | #Constraints: 43525
2641.42/2648.81 c #Conflicts: 1549000 | #Constraints: 44525
2641.42/2648.81 c #Conflicts: 1550000 | #Constraints: 45525
2641.42/2648.81 c #Conflicts: 1551000 | #Constraints: 46525
2641.42/2648.81 c #Conflicts: 1552000 | #Constraints: 47525
2641.42/2648.81 c #Conflicts: 1553000 | #Constraints: 48525
2641.42/2648.81 c #Conflicts: 1554000 | #Constraints: 49525
2641.42/2648.81 c #Conflicts: 1555000 | #Constraints: 50525
2641.42/2648.81 c #Conflicts: 1556000 | #Constraints: 51525
2641.42/2648.81 c #Conflicts: 1557000 | #Constraints: 52525
2641.42/2648.81 c #Conflicts: 1558000 | #Constraints: 53525
2641.42/2648.81 c #Conflicts: 1559000 | #Constraints: 54525
2641.42/2648.81 c #Conflicts: 1560000 | #Constraints: 55525
2641.42/2648.81 c #Conflicts: 1561000 | #Constraints: 56525
2641.42/2648.81 c #Conflicts: 1562000 | #Constraints: 57525
2641.42/2648.81 c #Conflicts: 1563000 | #Constraints: 58525
2641.42/2648.81 c #Conflicts: 1564000 | #Constraints: 59525
2641.42/2648.81 c #Conflicts: 1565000 | #Constraints: 60525
2641.42/2648.81 c #Conflicts: 1566000 | #Constraints: 61525
2641.42/2648.81 c INPROCESSING
2641.42/2648.81 c GARBAGE COLLECT
2641.42/2648.81 c #Conflicts: 1567000 | #Constraints: 35047
2641.42/2648.81 c #Conflicts: 1568000 | #Constraints: 36047
2641.42/2648.81 c #Conflicts: 1569000 | #Constraints: 37047
2641.42/2648.81 c #Conflicts: 1570000 | #Constraints: 38047
2641.42/2648.81 c #Conflicts: 1571000 | #Constraints: 39047
2641.42/2648.81 c #Conflicts: 1572000 | #Constraints: 40047
2641.42/2648.81 c #Conflicts: 1573000 | #Constraints: 41047
2641.42/2648.81 c #Conflicts: 1574000 | #Constraints: 42047
2641.42/2648.81 c #Conflicts: 1575000 | #Constraints: 43047
2641.42/2648.81 c #Conflicts: 1576000 | #Constraints: 44047
2641.42/2648.81 c #Conflicts: 1577000 | #Constraints: 45047
2641.42/2648.81 c #Conflicts: 1578000 | #Constraints: 46047
2641.42/2648.81 c #Conflicts: 1579000 | #Constraints: 47047
2641.42/2648.81 c #Conflicts: 1580000 | #Constraints: 48047
2641.42/2648.81 c #Conflicts: 1581000 | #Constraints: 49047
2641.42/2648.81 c #Conflicts: 1582000 | #Constraints: 50047
2641.42/2648.81 c #Conflicts: 1583000 | #Constraints: 51047
2641.42/2648.81 c #Conflicts: 1584000 | #Constraints: 52047
2641.42/2648.81 c #Conflicts: 1585000 | #Constraints: 53047
2641.42/2648.81 c #Conflicts: 1586000 | #Constraints: 54047
2641.42/2648.81 c #Conflicts: 1587000 | #Constraints: 55047
2641.42/2648.81 c #Conflicts: 1588000 | #Constraints: 56047
2641.42/2648.81 c #Conflicts: 1589000 | #Constraints: 57047
2641.42/2648.81 c #Conflicts: 1590000 | #Constraints: 58047
2914.53/2922.66 c #Conflicts: 1591000 | #Constraints: 59047
2914.53/2922.66 c #Conflicts: 1592000 | #Constraints: 60047
2914.53/2922.66 c #Conflicts: 1593000 | #Constraints: 61047
2914.53/2922.66 c #Conflicts: 1594000 | #Constraints: 62047
2914.53/2922.66 c #Conflicts: 1595000 | #Constraints: 63047
2914.53/2922.66 c #Conflicts: 1596000 | #Constraints: 64047
2914.53/2922.66 c #Conflicts: 1597000 | #Constraints: 65047
2914.53/2922.66 c #Conflicts: 1598000 | #Constraints: 66047
2914.53/2922.66 c #Conflicts: 1599000 | #Constraints: 67047
2914.53/2922.66 c #Conflicts: 1600000 | #Constraints: 68047
2914.53/2922.66 c #Conflicts: 1601000 | #Constraints: 69047
2914.53/2922.66 c #Conflicts: 1602000 | #Constraints: 70047
2914.53/2922.66 c #Conflicts: 1603000 | #Constraints: 71047
2914.53/2922.66 c #Conflicts: 1604000 | #Constraints: 72047
2914.53/2922.66 c #Conflicts: 1605000 | #Constraints: 73047
2914.53/2922.66 c #Conflicts: 1606000 | #Constraints: 74047
2914.53/2922.66 c #Conflicts: 1607000 | #Constraints: 75047
2914.53/2922.66 c #Conflicts: 1608000 | #Constraints: 76047
2914.53/2922.66 c #Conflicts: 1609000 | #Constraints: 77047
2914.53/2922.66 c #Conflicts: 1610000 | #Constraints: 78047
2914.53/2922.66 c #Conflicts: 1611000 | #Constraints: 79047
2914.53/2922.66 c #Conflicts: 1612000 | #Constraints: 80047
2914.53/2922.66 c #Conflicts: 1613000 | #Constraints: 81047
2914.53/2922.66 c #Conflicts: 1614000 | #Constraints: 82047
2914.53/2922.66 c #Conflicts: 1615000 | #Constraints: 83047
2914.53/2922.66 c #Conflicts: 1616000 | #Constraints: 84047
2914.53/2922.66 c #Conflicts: 1617000 | #Constraints: 85047
2914.53/2922.66 c #Conflicts: 1618000 | #Constraints: 86047
2914.53/2922.66 c #Conflicts: 1619000 | #Constraints: 87047
2914.53/2922.66 c #Conflicts: 1620000 | #Constraints: 88047
2914.53/2922.66 c #Conflicts: 1621000 | #Constraints: 89047
2914.53/2922.66 c #Conflicts: 1622000 | #Constraints: 90047
2914.53/2922.66 c #Conflicts: 1623000 | #Constraints: 91047
2914.53/2922.66 c #Conflicts: 1624000 | #Constraints: 92047
2914.53/2922.66 c #Conflicts: 1625000 | #Constraints: 93047
2914.53/2922.66 c #Conflicts: 1626000 | #Constraints: 94047
2914.53/2922.66 c #Conflicts: 1627000 | #Constraints: 95047
2914.53/2922.66 c #Conflicts: 1628000 | #Constraints: 96047
2914.53/2922.66 c #Conflicts: 1629000 | #Constraints: 97047
2914.53/2922.66 c #Conflicts: 1630000 | #Constraints: 98047
2914.53/2922.66 c #Conflicts: 1631000 | #Constraints: 99047
2914.53/2922.66 c #Conflicts: 1632000 | #Constraints: 100047
2914.53/2922.66 c #Conflicts: 1633000 | #Constraints: 101047
2914.53/2922.66 c #Conflicts: 1634000 | #Constraints: 102047
2914.53/2922.66 c #Conflicts: 1635000 | #Constraints: 103047
2914.53/2922.66 c #Conflicts: 1636000 | #Constraints: 104047
2914.53/2922.66 c #Conflicts: 1637000 | #Constraints: 105047
2914.53/2922.66 c #Conflicts: 1638000 | #Constraints: 106047
2914.53/2922.66 c #Conflicts: 1639000 | #Constraints: 107047
2914.53/2922.66 c #Conflicts: 1640000 | #Constraints: 108047
2914.53/2922.66 c #Conflicts: 1641000 | #Constraints: 109047
2914.53/2922.66 c #Conflicts: 1642000 | #Constraints: 110047
2914.53/2922.66 c #Conflicts: 1643000 | #Constraints: 111047
2914.53/2922.66 c #Conflicts: 1644000 | #Constraints: 112047
2914.53/2922.66 c #Conflicts: 1645000 | #Constraints: 113047
2914.53/2922.66 c #Conflicts: 1646000 | #Constraints: 114047
2914.53/2922.66 c #Conflicts: 1647000 | #Constraints: 115047
2914.53/2922.66 c #Conflicts: 1648000 | #Constraints: 116047
2914.53/2922.66 c #Conflicts: 1649000 | #Constraints: 117047
2914.53/2922.66 c #Conflicts: 1650000 | #Constraints: 118047
2914.53/2922.66 c #Conflicts: 1651000 | #Constraints: 119047
2914.53/2922.66 c #Conflicts: 1652000 | #Constraints: 120047
2914.53/2922.66 c #Conflicts: 1653000 | #Constraints: 121047
2914.53/2922.66 c #Conflicts: 1654000 | #Constraints: 122047
2914.53/2922.66 c #Conflicts: 1655000 | #Constraints: 123047
2914.53/2922.66 c #Conflicts: 1656000 | #Constraints: 124047
2914.53/2922.66 c #Conflicts: 1657000 | #Constraints: 125047
2914.53/2922.66 c #Conflicts: 1658000 | #Constraints: 126047
2914.53/2922.66 c #Conflicts: 1659000 | #Constraints: 127047
2914.53/2922.66 c #Conflicts: 1660000 | #Constraints: 128047
2914.53/2922.66 c #Conflicts: 1661000 | #Constraints: 129047
2914.53/2922.66 c #Conflicts: 1662000 | #Constraints: 130047
2914.53/2922.66 c #Conflicts: 1663000 | #Constraints: 131047
2914.53/2922.66 c #Conflicts: 1664000 | #Constraints: 132047
2914.53/2922.66 c #Conflicts: 1665000 | #Constraints: 133047
2914.53/2922.66 c #Conflicts: 1666000 | #Constraints: 134047
2914.53/2922.66 c #Conflicts: 1667000 | #Constraints: 135047
2914.53/2922.66 c #Conflicts: 1668000 | #Constraints: 136047
2914.53/2922.66 c INPROCESSING
2915.14/2923.29 c GARBAGE COLLECT
2915.14/2923.29 c rational objective 87
2986.96/2995.25 c #Conflicts: 1669000 | #Constraints: 72273
2986.96/2995.25 c #Conflicts: 1670000 | #Constraints: 73273
2986.96/2995.25 c #Conflicts: 1671000 | #Constraints: 74273
2986.96/2995.25 c #Conflicts: 1672000 | #Constraints: 75273
2986.96/2995.25 c #Conflicts: 1673000 | #Constraints: 76273
2986.96/2995.25 c #Conflicts: 1674000 | #Constraints: 77273
2986.96/2995.25 c #Conflicts: 1675000 | #Constraints: 78273
2986.96/2995.25 c #Conflicts: 1676000 | #Constraints: 79273
2986.96/2995.25 c #Conflicts: 1677000 | #Constraints: 80273
2986.96/2995.25 c #Conflicts: 1678000 | #Constraints: 81273
2986.96/2995.25 c #Conflicts: 1679000 | #Constraints: 82273
2986.96/2995.25 c #Conflicts: 1680000 | #Constraints: 83273
2986.96/2995.25 c #Conflicts: 1681000 | #Constraints: 84274
2986.96/2995.25 c #Conflicts: 1682000 | #Constraints: 85274
2986.96/2995.25 c #Conflicts: 1683000 | #Constraints: 86274
2986.96/2995.25 c #Conflicts: 1684000 | #Constraints: 87274
2986.96/2995.25 c #Conflicts: 1685000 | #Constraints: 88274
2986.96/2995.25 c #Conflicts: 1686000 | #Constraints: 89274
2986.96/2995.25 c #Conflicts: 1687000 | #Constraints: 90274
2986.96/2995.25 c #Conflicts: 1688000 | #Constraints: 91274
2986.96/2995.25 c #Conflicts: 1689000 | #Constraints: 92274
2986.96/2995.25 c #Conflicts: 1690000 | #Constraints: 93274
2986.96/2995.25 c #Conflicts: 1691000 | #Constraints: 94274
2986.96/2995.25 c #Conflicts: 1692000 | #Constraints: 95274
2986.96/2995.25 c #Conflicts: 1693000 | #Constraints: 96274
2986.96/2995.25 c #Conflicts: 1694000 | #Constraints: 97274
2986.96/2995.25 c #Conflicts: 1695000 | #Constraints: 98274
2986.96/2995.25 c #Conflicts: 1696000 | #Constraints: 99274
2986.96/2995.25 c INPROCESSING
2986.96/2995.25 c GARBAGE COLLECT
2986.96/2995.25 c rational objective 87
3048.31/3056.73 c #Conflicts: 1697000 | #Constraints: 53661
3048.31/3056.73 c #Conflicts: 1698000 | #Constraints: 54661
3048.31/3056.73 c #Conflicts: 1699000 | #Constraints: 55661
3048.31/3056.73 c #Conflicts: 1700000 | #Constraints: 56661
3048.31/3056.73 c #Conflicts: 1701000 | #Constraints: 57661
3048.31/3056.73 c #Conflicts: 1702000 | #Constraints: 58661
3048.31/3056.73 c #Conflicts: 1703000 | #Constraints: 59661
3048.31/3056.73 c #Conflicts: 1704000 | #Constraints: 60661
3048.31/3056.73 c #Conflicts: 1705000 | #Constraints: 61661
3048.31/3056.73 c #Conflicts: 1706000 | #Constraints: 62661
3048.31/3056.73 c #Conflicts: 1707000 | #Constraints: 63661
3048.31/3056.73 c #Conflicts: 1708000 | #Constraints: 64661
3048.31/3056.73 c #Conflicts: 1709000 | #Constraints: 65661
3048.31/3056.73 c #Conflicts: 1710000 | #Constraints: 66661
3048.31/3056.73 c #Conflicts: 1711000 | #Constraints: 67661
3048.31/3056.73 c #Conflicts: 1712000 | #Constraints: 68661
3048.31/3056.73 c #Conflicts: 1713000 | #Constraints: 69661
3048.31/3056.73 c #Conflicts: 1714000 | #Constraints: 70661
3048.31/3056.73 c #Conflicts: 1715000 | #Constraints: 71661
3048.31/3056.73 c #Conflicts: 1716000 | #Constraints: 72661
3048.31/3056.73 c #Conflicts: 1717000 | #Constraints: 73661
3048.31/3056.73 c #Conflicts: 1718000 | #Constraints: 74661
3048.31/3056.73 c #Conflicts: 1719000 | #Constraints: 75661
3048.31/3056.73 c #Conflicts: 1720000 | #Constraints: 76661
3048.31/3056.73 c #Conflicts: 1721000 | #Constraints: 77661
3048.31/3056.73 c #Conflicts: 1722000 | #Constraints: 78661
3048.31/3056.73 c #Conflicts: 1723000 | #Constraints: 79661
3048.31/3056.73 c #Conflicts: 1724000 | #Constraints: 80661
3048.31/3056.73 c #Conflicts: 1725000 | #Constraints: 81661
3048.31/3056.73 c INPROCESSING
3048.31/3056.73 c GARBAGE COLLECT
3048.31/3056.73 c rational objective 87
3101.98/3110.58 c #Conflicts: 1726000 | #Constraints: 45016
3101.98/3110.58 c #Conflicts: 1727000 | #Constraints: 46016
3101.98/3110.58 c #Conflicts: 1728000 | #Constraints: 47016
3101.98/3110.58 c #Conflicts: 1729000 | #Constraints: 48016
3101.98/3110.58 c #Conflicts: 1730000 | #Constraints: 49016
3101.98/3110.58 c #Conflicts: 1731000 | #Constraints: 50016
3101.98/3110.58 c #Conflicts: 1732000 | #Constraints: 51016
3101.98/3110.58 c #Conflicts: 1733000 | #Constraints: 52016
3101.98/3110.58 c #Conflicts: 1734000 | #Constraints: 53016
3101.98/3110.58 c #Conflicts: 1735000 | #Constraints: 54016
3101.98/3110.58 c #Conflicts: 1736000 | #Constraints: 55016
3101.98/3110.58 c #Conflicts: 1737000 | #Constraints: 56016
3101.98/3110.58 c #Conflicts: 1738000 | #Constraints: 57016
3101.98/3110.58 c #Conflicts: 1739000 | #Constraints: 58016
3101.98/3110.58 c #Conflicts: 1740000 | #Constraints: 59016
3101.98/3110.58 c #Conflicts: 1741000 | #Constraints: 60016
3101.98/3110.58 c #Conflicts: 1742000 | #Constraints: 61016
3101.98/3110.58 c #Conflicts: 1743000 | #Constraints: 62016
3101.98/3110.58 c #Conflicts: 1744000 | #Constraints: 63016
3101.98/3110.58 c #Conflicts: 1745000 | #Constraints: 64016
3101.98/3110.58 c #Conflicts: 1746000 | #Constraints: 65016
3101.98/3110.58 c #Conflicts: 1747000 | #Constraints: 66016
3101.98/3110.58 c #Conflicts: 1748000 | #Constraints: 67016
3101.98/3110.58 c #Conflicts: 1749000 | #Constraints: 68016
3101.98/3110.58 c #Conflicts: 1750000 | #Constraints: 69016
3101.98/3110.58 c #Conflicts: 1751000 | #Constraints: 70016
3101.98/3110.58 c #Conflicts: 1752000 | #Constraints: 71016
3101.98/3110.58 c #Conflicts: 1753000 | #Constraints: 72016
3101.98/3110.58 c #Conflicts: 1754000 | #Constraints: 73016
3101.98/3110.58 c INPROCESSING
3101.98/3110.58 c GARBAGE COLLECT
3101.98/3110.58 c rational objective 87
3152.64/3161.31 c #Conflicts: 1755000 | #Constraints: 40755
3152.64/3161.31 c #Conflicts: 1756000 | #Constraints: 41755
3152.64/3161.31 c #Conflicts: 1757000 | #Constraints: 42755
3152.64/3161.31 c #Conflicts: 1758000 | #Constraints: 43755
3152.64/3161.31 c #Conflicts: 1759000 | #Constraints: 44755
3152.64/3161.31 c #Conflicts: 1760000 | #Constraints: 45755
3152.64/3161.31 c #Conflicts: 1761000 | #Constraints: 46755
3152.64/3161.31 c #Conflicts: 1762000 | #Constraints: 47755
3152.64/3161.31 c #Conflicts: 1763000 | #Constraints: 48755
3152.64/3161.31 c #Conflicts: 1764000 | #Constraints: 49755
3152.64/3161.31 c #Conflicts: 1765000 | #Constraints: 50755
3152.64/3161.31 c #Conflicts: 1766000 | #Constraints: 51755
3152.64/3161.31 c #Conflicts: 1767000 | #Constraints: 52755
3152.64/3161.31 c #Conflicts: 1768000 | #Constraints: 53755
3152.64/3161.31 c #Conflicts: 1769000 | #Constraints: 54755
3152.64/3161.31 c #Conflicts: 1770000 | #Constraints: 55755
3152.64/3161.31 c #Conflicts: 1771000 | #Constraints: 56755
3152.64/3161.31 c #Conflicts: 1772000 | #Constraints: 57755
3152.64/3161.31 c #Conflicts: 1773000 | #Constraints: 58755
3152.64/3161.31 c #Conflicts: 1774000 | #Constraints: 59755
3152.64/3161.31 c #Conflicts: 1775000 | #Constraints: 60755
3152.64/3161.31 c #Conflicts: 1776000 | #Constraints: 61755
3152.64/3161.31 c #Conflicts: 1777000 | #Constraints: 62755
3152.64/3161.31 c #Conflicts: 1778000 | #Constraints: 63755
3152.64/3161.31 c #Conflicts: 1779000 | #Constraints: 64755
3152.64/3161.31 c #Conflicts: 1780000 | #Constraints: 65755
3152.64/3161.31 c #Conflicts: 1781000 | #Constraints: 66755
3152.64/3161.31 c #Conflicts: 1782000 | #Constraints: 67755
3152.64/3161.31 c #Conflicts: 1783000 | #Constraints: 68755
3152.64/3161.31 c INPROCESSING
3152.64/3161.31 c GARBAGE COLLECT
3152.64/3161.31 c rational objective 87
3260.88/3269.88 c #Conflicts: 1784000 | #Constraints: 38485
3260.88/3269.88 c #Conflicts: 1785000 | #Constraints: 39485
3260.88/3269.88 c #Conflicts: 1786000 | #Constraints: 40485
3260.88/3269.88 c #Conflicts: 1787000 | #Constraints: 41485
3260.88/3269.88 c #Conflicts: 1788000 | #Constraints: 42485
3260.88/3269.88 c #Conflicts: 1789000 | #Constraints: 43485
3260.88/3269.88 c #Conflicts: 1790000 | #Constraints: 44485
3260.88/3269.88 c #Conflicts: 1791000 | #Constraints: 45485
3260.88/3269.88 c #Conflicts: 1792000 | #Constraints: 46485
3260.88/3269.88 c #Conflicts: 1793000 | #Constraints: 47485
3260.88/3269.88 c #Conflicts: 1794000 | #Constraints: 48485
3260.88/3269.88 c #Conflicts: 1795000 | #Constraints: 49485
3260.88/3269.88 c #Conflicts: 1796000 | #Constraints: 50485
3260.88/3269.88 c #Conflicts: 1797000 | #Constraints: 51485
3260.88/3269.88 c #Conflicts: 1798000 | #Constraints: 52485
3260.88/3269.88 c #Conflicts: 1799000 | #Constraints: 53485
3260.88/3269.88 c #Conflicts: 1800000 | #Constraints: 54485
3260.88/3269.88 c #Conflicts: 1801000 | #Constraints: 55485
3260.88/3269.88 c #Conflicts: 1802000 | #Constraints: 56485
3260.88/3269.88 c #Conflicts: 1803000 | #Constraints: 57485
3260.88/3269.88 c #Conflicts: 1804000 | #Constraints: 58485
3260.88/3269.88 c #Conflicts: 1805000 | #Constraints: 59485
3260.88/3269.88 c #Conflicts: 1806000 | #Constraints: 60485
3260.88/3269.88 c #Conflicts: 1807000 | #Constraints: 61485
3260.88/3269.88 c #Conflicts: 1808000 | #Constraints: 62485
3260.88/3269.88 c #Conflicts: 1809000 | #Constraints: 63485
3260.88/3269.88 c #Conflicts: 1810000 | #Constraints: 64485
3260.88/3269.88 c #Conflicts: 1811000 | #Constraints: 65485
3260.88/3269.88 c #Conflicts: 1812000 | #Constraints: 66485
3260.88/3269.88 c INPROCESSING
3260.88/3269.88 c GARBAGE COLLECT
3260.88/3269.88 c #Conflicts: 1813000 | #Constraints: 37258
3260.88/3269.88 c #Conflicts: 1814000 | #Constraints: 38258
3260.88/3269.88 c #Conflicts: 1815000 | #Constraints: 39258
3260.88/3269.88 c #Conflicts: 1816000 | #Constraints: 40258
3260.88/3269.88 c #Conflicts: 1817000 | #Constraints: 41258
3260.88/3269.88 c #Conflicts: 1818000 | #Constraints: 42258
3260.88/3269.88 c #Conflicts: 1819000 | #Constraints: 43258
3260.88/3269.88 c #Conflicts: 1820000 | #Constraints: 44258
3260.88/3269.88 c #Conflicts: 1821000 | #Constraints: 45258
3260.88/3269.88 c #Conflicts: 1822000 | #Constraints: 46258
3260.88/3269.88 c #Conflicts: 1823000 | #Constraints: 47258
3260.88/3269.88 c #Conflicts: 1824000 | #Constraints: 48258
3260.88/3269.88 c #Conflicts: 1825000 | #Constraints: 49258
3260.88/3269.88 c #Conflicts: 1826000 | #Constraints: 50258
3260.88/3269.88 c #Conflicts: 1827000 | #Constraints: 51258
3260.88/3269.88 c #Conflicts: 1828000 | #Constraints: 52258
3260.88/3269.88 c #Conflicts: 1829000 | #Constraints: 53258
3260.88/3269.88 c #Conflicts: 1830000 | #Constraints: 54258
3260.88/3269.88 c #Conflicts: 1831000 | #Constraints: 55258
3260.88/3269.88 c #Conflicts: 1832000 | #Constraints: 56258
3260.88/3269.88 c #Conflicts: 1833000 | #Constraints: 57258
3260.88/3269.88 c #Conflicts: 1834000 | #Constraints: 58258
3260.88/3269.88 c #Conflicts: 1835000 | #Constraints: 59258
3260.88/3269.88 c #Conflicts: 1836000 | #Constraints: 60258
3260.88/3269.88 c #Conflicts: 1837000 | #Constraints: 61258
3260.88/3269.88 c #Conflicts: 1838000 | #Constraints: 62258
3260.88/3269.88 c #Conflicts: 1839000 | #Constraints: 63258
3260.88/3269.88 c #Conflicts: 1840000 | #Constraints: 64258
3260.88/3269.88 c #Conflicts: 1841000 | #Constraints: 65258
3260.88/3269.88 c #Conflicts: 1842000 | #Constraints: 66258
3260.88/3269.88 c INPROCESSING
3260.88/3269.88 c GARBAGE COLLECT
3260.88/3269.88 c #Conflicts: 1843000 | #Constraints: 37358
3260.88/3269.88 c #Conflicts: 1844000 | #Constraints: 38358
3260.88/3269.88 c #Conflicts: 1845000 | #Constraints: 39358
3260.88/3269.88 c #Conflicts: 1846000 | #Constraints: 40358
3260.88/3269.88 c #Conflicts: 1847000 | #Constraints: 41358
3260.88/3269.88 c #Conflicts: 1848000 | #Constraints: 42358
3260.88/3269.88 c #Conflicts: 1849000 | #Constraints: 43358
3260.88/3269.88 c #Conflicts: 1850000 | #Constraints: 44358
3260.88/3269.88 c #Conflicts: 1851000 | #Constraints: 45358
3260.88/3269.88 c #Conflicts: 1852000 | #Constraints: 46358
3260.88/3269.88 c #Conflicts: 1853000 | #Constraints: 47358
3260.88/3269.88 c #Conflicts: 1854000 | #Constraints: 48358
3260.88/3269.88 c #Conflicts: 1855000 | #Constraints: 49358
3260.88/3269.88 c #Conflicts: 1856000 | #Constraints: 50358
3260.88/3269.88 c #Conflicts: 1857000 | #Constraints: 51358
3260.88/3269.88 c #Conflicts: 1858000 | #Constraints: 52358
3260.88/3269.88 c #Conflicts: 1859000 | #Constraints: 53358
3260.88/3269.88 c #Conflicts: 1860000 | #Constraints: 54358
3260.88/3269.88 c #Conflicts: 1861000 | #Constraints: 55358
3506.93/3516.51 c #Conflicts: 1862000 | #Constraints: 56358
3506.93/3516.51 c #Conflicts: 1863000 | #Constraints: 57358
3506.93/3516.51 c #Conflicts: 1864000 | #Constraints: 58358
3506.93/3516.51 c #Conflicts: 1865000 | #Constraints: 59358
3506.93/3516.51 c #Conflicts: 1866000 | #Constraints: 60358
3506.93/3516.51 c #Conflicts: 1867000 | #Constraints: 61358
3506.93/3516.51 c #Conflicts: 1868000 | #Constraints: 62358
3506.93/3516.51 c #Conflicts: 1869000 | #Constraints: 63358
3506.93/3516.51 c #Conflicts: 1870000 | #Constraints: 64358
3506.93/3516.51 c #Conflicts: 1871000 | #Constraints: 65358
3506.93/3516.51 c #Conflicts: 1872000 | #Constraints: 66358
3506.93/3516.51 c #Conflicts: 1873000 | #Constraints: 67358
3506.93/3516.51 c #Conflicts: 1874000 | #Constraints: 68358
3506.93/3516.51 c #Conflicts: 1875000 | #Constraints: 69358
3506.93/3516.51 c #Conflicts: 1876000 | #Constraints: 70358
3506.93/3516.51 c #Conflicts: 1877000 | #Constraints: 71358
3506.93/3516.51 c #Conflicts: 1878000 | #Constraints: 72358
3506.93/3516.51 c #Conflicts: 1879000 | #Constraints: 73358
3506.93/3516.51 c #Conflicts: 1880000 | #Constraints: 74358
3506.93/3516.51 c #Conflicts: 1881000 | #Constraints: 75358
3506.93/3516.51 c #Conflicts: 1882000 | #Constraints: 76358
3506.93/3516.51 c #Conflicts: 1883000 | #Constraints: 77358
3506.93/3516.51 c #Conflicts: 1884000 | #Constraints: 78358
3506.93/3516.51 c #Conflicts: 1885000 | #Constraints: 79358
3506.93/3516.51 c #Conflicts: 1886000 | #Constraints: 80358
3506.93/3516.51 c #Conflicts: 1887000 | #Constraints: 81358
3506.93/3516.51 c #Conflicts: 1888000 | #Constraints: 82358
3506.93/3516.51 c #Conflicts: 1889000 | #Constraints: 83358
3506.93/3516.51 c #Conflicts: 1890000 | #Constraints: 84358
3506.93/3516.51 c #Conflicts: 1891000 | #Constraints: 85358
3506.93/3516.51 c #Conflicts: 1892000 | #Constraints: 86358
3506.93/3516.51 c #Conflicts: 1893000 | #Constraints: 87358
3506.93/3516.51 c #Conflicts: 1894000 | #Constraints: 88358
3506.93/3516.51 c #Conflicts: 1895000 | #Constraints: 89358
3506.93/3516.51 c #Conflicts: 1896000 | #Constraints: 90358
3506.93/3516.51 c #Conflicts: 1897000 | #Constraints: 91358
3506.93/3516.51 c #Conflicts: 1898000 | #Constraints: 92358
3506.93/3516.51 c #Conflicts: 1899000 | #Constraints: 93358
3506.93/3516.51 c #Conflicts: 1900000 | #Constraints: 94358
3506.93/3516.51 c #Conflicts: 1901000 | #Constraints: 95358
3506.93/3516.51 c #Conflicts: 1902000 | #Constraints: 96358
3506.93/3516.51 c #Conflicts: 1903000 | #Constraints: 97358
3506.93/3516.51 c #Conflicts: 1904000 | #Constraints: 98358
3506.93/3516.51 c #Conflicts: 1905000 | #Constraints: 99358
3506.93/3516.51 c #Conflicts: 1906000 | #Constraints: 100358
3506.93/3516.51 c #Conflicts: 1907000 | #Constraints: 101358
3506.93/3516.51 c #Conflicts: 1908000 | #Constraints: 102358
3506.93/3516.51 c #Conflicts: 1909000 | #Constraints: 103358
3506.93/3516.51 c #Conflicts: 1910000 | #Constraints: 104358
3506.93/3516.51 c #Conflicts: 1911000 | #Constraints: 105358
3506.93/3516.51 c #Conflicts: 1912000 | #Constraints: 106358
3506.93/3516.51 c #Conflicts: 1913000 | #Constraints: 107358
3506.93/3516.51 c #Conflicts: 1914000 | #Constraints: 108358
3506.93/3516.51 c #Conflicts: 1915000 | #Constraints: 109358
3506.93/3516.51 c #Conflicts: 1916000 | #Constraints: 110358
3506.93/3516.51 c #Conflicts: 1917000 | #Constraints: 111358
3506.93/3516.51 c #Conflicts: 1918000 | #Constraints: 112358
3506.93/3516.51 c #Conflicts: 1919000 | #Constraints: 113358
3506.93/3516.51 c #Conflicts: 1920000 | #Constraints: 114358
3506.93/3516.51 c #Conflicts: 1921000 | #Constraints: 115358
3506.93/3516.51 c #Conflicts: 1922000 | #Constraints: 116358
3506.93/3516.51 c #Conflicts: 1923000 | #Constraints: 117358
3506.93/3516.51 c #Conflicts: 1924000 | #Constraints: 118358
3506.93/3516.51 c #Conflicts: 1925000 | #Constraints: 119358
3506.93/3516.51 c #Conflicts: 1926000 | #Constraints: 120358
3506.93/3516.51 c #Conflicts: 1927000 | #Constraints: 121358
3506.93/3516.51 c #Conflicts: 1928000 | #Constraints: 122358
3506.93/3516.51 c #Conflicts: 1929000 | #Constraints: 123358
3506.93/3516.51 c #Conflicts: 1930000 | #Constraints: 124358
3506.93/3516.51 c #Conflicts: 1931000 | #Constraints: 125358
3506.93/3516.51 c #Conflicts: 1932000 | #Constraints: 126358
3506.93/3516.51 c #Conflicts: 1933000 | #Constraints: 127358
3506.93/3516.51 c #Conflicts: 1934000 | #Constraints: 128358
3506.93/3516.51 c #Conflicts: 1935000 | #Constraints: 129358
3506.93/3516.51 c #Conflicts: 1936000 | #Constraints: 130358
3506.93/3516.51 c #Conflicts: 1937000 | #Constraints: 131358
3506.93/3516.51 c #Conflicts: 1938000 | #Constraints: 132358
3506.93/3516.51 c #Conflicts: 1939000 | #Constraints: 133358
3506.93/3516.51 c #Conflicts: 1940000 | #Constraints: 134358
3575.63/3585.47 c #Conflicts: 1941000 | #Constraints: 135358
3575.63/3585.47 c #Conflicts: 1942000 | #Constraints: 136358
3575.63/3585.47 c #Conflicts: 1943000 | #Constraints: 137358
3575.63/3585.47 c #Conflicts: 1944000 | #Constraints: 138358
3575.63/3585.47 c #Conflicts: 1945000 | #Constraints: 139358
3575.63/3585.47 c #Conflicts: 1946000 | #Constraints: 140358
3575.63/3585.47 c #Conflicts: 1947000 | #Constraints: 141358
3575.63/3585.47 c #Conflicts: 1948000 | #Constraints: 142358
3575.63/3585.47 c #Conflicts: 1949000 | #Constraints: 143358
3575.63/3585.47 c #Conflicts: 1950000 | #Constraints: 144358
3575.63/3585.47 c #Conflicts: 1951000 | #Constraints: 145358
3575.63/3585.47 c #Conflicts: 1952000 | #Constraints: 146358
3575.63/3585.47 c #Conflicts: 1953000 | #Constraints: 147358
3575.63/3585.47 c INPROCESSING
3575.63/3585.47 c GARBAGE COLLECT
3575.63/3585.47 c rational objective 87
3600.06/3609.90 c #Conflicts: 1954000 | #Constraints: 78026
3600.06/3609.90 c #Conflicts: 1955000 | #Constraints: 79026
3600.06/3609.90 c #Conflicts: 1956000 | #Constraints: 80026
3600.06/3609.90 c #Conflicts: 1957000 | #Constraints: 81026
3600.06/3609.90 c #Conflicts: 1958000 | #Constraints: 82026
3600.06/3609.90 c #Conflicts: 1959000 | #Constraints: 83026
3600.06/3609.90 c #Conflicts: 1960000 | #Constraints: 84026
3600.06/3609.90 c #Conflicts: 1961000 | #Constraints: 85026
3600.06/3609.90 c #Conflicts: 1962000 | #Constraints: 86026
3600.06/3609.90 c #Conflicts: 1963000 | #Constraints: 87026
3600.06/3609.90 c #Conflicts: 1964000 | #Constraints: 88026
3600.06/3609.90 c cpu time 3582.7 s
3600.06/3609.90 c deterministic time 270587219264 2.71e+11
3600.06/3609.90 c optimization time 23.0235 s
3600.06/3609.90 c total solve time 3559.61 s
3600.06/3609.90 c core-guided solve time 0 s
3600.06/3609.90 c propagation time 2006.4 s
3600.06/3609.90 c conflict analysis time 1374.48 s
3600.06/3609.90 c propagations 960755097
3600.06/3609.90 c resolve steps 88832603
3600.06/3609.90 c decisions 13038044
3600.06/3609.90 c conflicts 1964221
3600.06/3609.90 c restarts 3835
3600.06/3609.90 c inprocessing phases 90
3600.06/3609.90 c garbage collections 90 ,( 100.00 )
3600.06/3609.90 c input clauses 6005 ,( 98.57 )
3600.06/3609.90 c input cardinalities 87 ,( 1.43 )
3600.06/3609.90 c input general constraints 0 ,( 0.00 )
3600.06/3609.90 c input average constraint length 6.23
3600.06/3609.90 c input average constraint degree 1.94
3600.06/3609.90 c learned clauses 1532529 ,( 78.02 )
3600.06/3609.90 c learned cardinalities 30359 ,( 1.55 )
3600.06/3609.90 c learned general constraints 401363 ,( 20.43 )
3600.06/3609.90 c learned average constraint length 675.59
3600.06/3609.90 c learned average constraint degree 8838864.19
3600.06/3609.90 c watched CF 32, 64, 128, Arb: 134456 , 0 , 0 , 0
3600.06/3609.90 c counting CF 32, 64, 128, Arb: 266907 , 0 , 0 , 0
3600.06/3609.90 c watched constraints 134456 ,( 33.50 )
3600.06/3609.90 c counting constraints 266907 ,( 66.50 )
3600.06/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1667378731 , 674449328 , 3384829310 ,( 144728942 , 3240100368 )
3600.06/3609.90 c gcd simplifications 1312
3600.06/3609.90 c detected cardinalities 1779
3600.06/3609.90 c weakened non-implied lits 378892846
3600.06/3609.90 c weakened non-implying lits 266363
3600.06/3609.90 c original variables 5916
3600.06/3609.90 c clausal propagations 359146447
3600.06/3609.90 c cardinality propagations 360053960
3600.06/3609.90 c watched propagations 4785127
3600.06/3609.90 c counting propagations 230396965
3600.06/3609.90 c watch lookups 148229538710
3600.06/3609.90 c watch backjump lookups 0
3600.06/3609.90 c watch checks 41692380040
3600.06/3609.90 c propagation checks 74046771154
3600.06/3609.90 c constraint additions 4668590492
3600.06/3609.90 c trail pops 975752943
3600.06/3609.90 c formula constraints 6092
3600.06/3609.90 c learned constraints 1964209
3600.06/3609.90 c bound constraints 0
3600.06/3609.90 c core-guided constraints 0
3600.06/3609.90 c encountered formula constraints 53378533
3600.06/3609.90 c encountered learned constraints 37417807
3600.06/3609.90 c encountered bound constraints 0
3600.06/3609.90 c encountered core-guided constraints 0
3600.06/3609.90 c LP total time 148.373 s
3600.06/3609.90 c LP solve time 126.94 s
3600.06/3609.90 c LP constraints added 8111
3600.06/3609.90 c LP constraints removed 1851
3600.06/3609.90 c LP pivots internal 202284
3600.06/3609.90 c LP pivots root 190499
3600.06/3609.90 c LP calls 53
3600.06/3609.90 c LP optimalities 37
3600.06/3609.90 c LP no pivot count 5
3600.06/3609.90 c LP infeasibilities 11
3600.06/3609.90 c LP valid Farkas constraints 11
3600.06/3609.90 c LP learned Farkas constraints 11
3600.06/3609.90 c LP basis resets 0
3600.06/3609.90 c LP cycling count 0
3600.06/3609.90 c LP singular count 0
3600.06/3609.90 c LP no primal count 0
3600.06/3609.90 c LP no farkas count 0
3600.06/3609.90 c LP other issue count 0
3600.06/3609.90 c LP Gomory cuts 20
3600.06/3609.90 c LP learned cuts 2097
3600.06/3609.90 c LP deleted cuts 1992
3600.06/3609.90 c LP encountered Gomory constraints 162
3600.06/3609.90 c LP encountered Farkas constraints 291
3600.06/3609.90 c LP encountered learned Farkas constraints 20
3600.06/3609.90 c CG auxiliary variables introduced 0
3600.06/3609.90 c CG solutions found 0
3600.06/3609.90 c CG cores constructed 0
3600.06/3609.90 c CG core cardinality constraints returned 0
3600.06/3609.90 c CG unit cores 0
3600.06/3609.90 c CG single cores 0
3600.06/3609.90 c CG blocks removed during cardinality reduction 0
3600.06/3609.90 c CG first core best 0
3600.06/3609.90 c CG decision core best 0
3600.06/3609.90 c CG core reduction tie 0
3600.06/3609.90 c CG core degree average 0.00
3600.06/3609.90 c CG core slack average 0.00
3600.06/3609.90 c CG core upper bound improvements 0
3600.06/3609.90 c STR number of successful calls 0
3600.06/3609.90 c STR number of unsuccessful calls 0
3600.06/3609.90 c STR number of inconclusive calls 0
3600.06/3609.90 c STR number of successful attempts 0
3600.06/3609.90 c STR number of unsuccessful attempts 0
3600.06/3609.90 c STR number of inconclusive attempts 0
3600.06/3609.90 c STR average degree increase per successful call inf
3600.06/3609.90 c STR average degree increase per successful attempt inf
3600.06/3609.90 c STR total number of conflicts for successful attempts 0
3600.06/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.90 c STR average number of conflicts per successful attempt inf
3600.06/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.90 c AVG.sumWPerc 58.89
3600.06/3609.90 c bigint constraints 0
3600.06/3609.90 s UNKNOWN
3600.06/3609.90 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: 63794 MiB (62660 MiB free)
memory of node 1: 64507 MiB (63058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507482-1751178553/watcher-4507482-1751178553 -o /tmp/evaluation-result-4507482-1751178553/solver-4507482-1751178553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20070 --watchdog 3760 run-dec-ls.sh HOME/instance-4507482-1751178553.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21124, runsolver pid=21121
[startup+0.100111 s]*
/proc/loadavg: 4.05 4.13 4.16 5/255 21126
/proc/meminfo: memFree=128730968/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=67952 memory=21512 CPUtime=0.07 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 3848 0 0 0 6 1 0 0 20 0 1 0 33534685 69582848 5378 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 16988 5378 2304 1147 0 4415 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72144 KiB
Current children cumulated memory: 24584 KiB
[startup+0.213656 s]*
/proc/loadavg: 4.05 4.13 4.16 6/255 21126
/proc/meminfo: memFree=128726180/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=72540 memory=24968 CPUtime=0.19 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 4757 0 0 0 17 2 0 0 20 0 1 0 33534685 74280960 6242 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 18135 6242 2304 1147 0 5562 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76732 KiB
Current children cumulated memory: 28040 KiB
[startup+0.313422 s]*
/proc/loadavg: 4.05 4.13 4.16 5/255 21126
/proc/meminfo: memFree=128726180/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=72540 memory=24968 CPUtime=0.29 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 4781 0 0 0 27 2 0 0 20 0 1 0 33534685 74280960 6242 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 18135 6242 2304 1147 0 5562 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76732 KiB
Current children cumulated memory: 28040 KiB
[startup+0.700399 s]
/proc/loadavg: 4.05 4.13 4.16 5/255 21126
/proc/meminfo: memFree=128724924/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=73240 memory=25864 CPUtime=0.65 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 4972 0 0 0 63 2 0 0 20 0 1 0 33534685 74997760 6466 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 18310 6466 2336 1147 0 5737 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 77432 KiB
Current children cumulated memory: 28936 KiB
[startup+1.50043 s]
/proc/loadavg: 4.05 4.13 4.16 6/255 21126
/proc/meminfo: memFree=128720828/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=73932 memory=26760 CPUtime=1.46 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 5174 0 0 0 143 3 0 0 20 0 1 0 33534685 75706368 6690 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 18483 6690 2336 1147 0 5910 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 78124 KiB
Current children cumulated memory: 29832 KiB
[startup+3.11308 s]
/proc/loadavg: 4.05 4.13 4.16 6/255 21126
/proc/meminfo: memFree=128710764/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=77380 memory=34560 CPUtime=3.07 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 6572 0 0 0 299 8 0 0 20 0 1 0 33534685 79237120 8640 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 19345 8640 2400 1147 0 6772 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 81572 KiB
Current children cumulated memory: 37632 KiB
[startup+6.30043 s]
/proc/loadavg: 4.04 4.13 4.15 6/255 21126
/proc/meminfo: memFree=128694636/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=84304 memory=39680 CPUtime=6.24 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 7861 0 0 0 610 14 0 0 20 0 1 0 33534685 86327296 9920 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 21076 9920 2400 1147 0 8503 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 88496 KiB
Current children cumulated memory: 42752 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.14 4.16 6/255 21126
/proc/meminfo: memFree=128691144/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=92948 memory=46592 CPUtime=12.63 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 9565 0 0 0 1238 25 0 0 20 0 1 0 33534685 95178752 11648 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 23237 11648 2400 1147 0 10664 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 97140 KiB
Current children cumulated memory: 49664 KiB
[startup+25.5005 s]
/proc/loadavg: 4.10 4.14 4.16 6/255 21126
/proc/meminfo: memFree=128685112/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=96344 memory=52624 CPUtime=25.4 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 10580 0 0 0 2492 48 0 0 20 0 1 0 33534685 98656256 13156 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 24086 13156 2400 1147 0 11513 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 55696 KiB
[startup+51.1133 s]
/proc/loadavg: 4.12 4.14 4.16 6/255 21127
/proc/meminfo: memFree=128673356/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=113904 memory=64144 CPUtime=50.94 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 13469 0 0 0 5011 83 0 0 20 0 1 0 33534685 116637696 16036 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 28476 16036 2400 1147 0 15903 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 118096 KiB
Current children cumulated memory: 67216 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.16 4.16 6/256 21132
/proc/meminfo: memFree=128583064/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=197544 memory=143300 CPUtime=102 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 21002 0 0 0 10052 148 0 0 20 0 1 0 33534685 202285056 35825 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 49386 35825 2400 1147 0 36813 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 201736 KiB
Current children cumulated memory: 146372 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.16 6/256 21137
/proc/meminfo: memFree=128446944/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=222888 memory=166084 CPUtime=161.83 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 26708 0 0 0 15979 204 0 0 20 0 1 0 33534685 228237312 41521 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 55722 41521 2400 1147 0 43149 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 227080 KiB
Current children cumulated memory: 169156 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.12 4.15 6/255 21139
/proc/meminfo: memFree=128398384/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=245876 memory=189124 CPUtime=221.68 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 32474 0 0 0 21913 255 0 0 20 0 1 0 33534685 251777024 47281 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 61469 47281 2400 1147 0 48896 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/21126/statm: 229648 194666 2400 1147 0 217075 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 922784 KiB
Current children cumulated memory: 781736 KiB
[startup+3162.3 s]
/proc/loadavg: 3.81 4.06 4.13 4/246 21457
/proc/meminfo: memFree=128477740/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=919624 memory=779688 CPUtime=3153.63 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 76114 0 0 0 313787 1576 0 0 20 0 1 0 33534685 941694976 194922 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 229906 194922 2400 1147 0 217333 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 923816 KiB
Current children cumulated memory: 782760 KiB
[startup+3222.3 s]
/proc/loadavg: 3.35 3.88 4.06 4/248 21463
/proc/meminfo: memFree=128460316/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=919624 memory=779688 CPUtime=3213.49 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 76114 0 0 0 319729 1620 0 0 20 0 1 0 33534685 941694976 194922 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 229906 194922 2400 1147 0 217333 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 923816 KiB
Current children cumulated memory: 782760 KiB
[startup+3282.3 s]
/proc/loadavg: 3.25 3.75 4.00 4/249 21467
/proc/meminfo: memFree=128463072/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=919624 memory=779688 CPUtime=3273.35 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 76114 0 0 0 325691 1644 0 0 20 0 1 0 33534685 941694976 194922 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 229906 194922 2400 1147 0 217333 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 923816 KiB
Current children cumulated memory: 782760 KiB
[startup+3342.3 s]
/proc/loadavg: 3.15 3.63 3.94 4/250 21472
/proc/meminfo: memFree=128395312/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=919624 memory=779688 CPUtime=3333.2 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 76114 0 0 0 331651 1669 0 0 20 0 1 0 33534685 941694976 194922 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 229906 194922 2400 1147 0 217333 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 923816 KiB
Current children cumulated memory: 782760 KiB
[startup+3402.3 s]
/proc/loadavg: 3.20 3.56 3.90 4/250 21474
/proc/meminfo: memFree=128385328/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=919624 memory=779688 CPUtime=3393.06 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 76116 0 0 0 337619 1687 0 0 20 0 1 0 33534685 941694976 194922 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 229906 194922 2400 1147 0 217333 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 923816 KiB
Current children cumulated memory: 782760 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.47 3.85 4/250 21476
/proc/meminfo: memFree=128361628/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=919836 memory=779944 CPUtime=3452.89 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 76408 0 0 0 343584 1705 0 0 20 0 1 0 33534685 941912064 194986 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 229959 194986 2400 1147 0 217386 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 924028 KiB
Current children cumulated memory: 783016 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.40 3.80 4/248 21478
/proc/meminfo: memFree=128330280/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=923932 memory=782504 CPUtime=3512.71 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 77114 0 0 0 349556 1715 0 0 20 0 1 0 33534685 946106368 195626 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 230983 195626 2400 1147 0 218410 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 928124 KiB
Current children cumulated memory: 785576 KiB
[startup+3582.3 s]
/proc/loadavg: 3.68 3.51 3.81 4/247 21480
/proc/meminfo: memFree=128313232/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=933916 memory=788520 CPUtime=3572.53 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 78634 0 0 0 355525 1728 0 0 20 0 1 0 33534685 956329984 197130 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 233479 197130 2400 1147 0 220906 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 938108 KiB
Current children cumulated memory: 791592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.62 3.51 3.81 4/247 21481
/proc/meminfo: memFree=128300580/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=937184 memory=791336 CPUtime=3600.06 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 79341 0 0 0 358269 1737 0 0 20 0 1 0 33534685 959676416 197834 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 234296 197834 2400 1147 0 221723 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 941376 KiB
Current children cumulated memory: 794408 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.91 s]
# the end of solver process 21124 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002693 s, system=0.002833 s
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 21126 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.7 s, system=17.3777 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 3.62 3.51 3.81 4/247 21481
/proc/meminfo: memFree=128300580/131382120 swapFree=33010684/33010684
[pid=21124] ppid=21121 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21124/stat : 21124 (run-dec-ls.sh) S 21121 21124 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33534683 4292608 768 18446744073709551615 94894413844480 94894414739013 140731402293760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94894414978064 94894415025808 94894436376576 140731402299751 140731402299877 140731402299877 140731402305479 0
/proc/21124/statm: 1048 768 704 219 0 110 0
[pid=21126] ppid=21124 vsize=937184 memory=791336 CPUtime=3600.06 cores=1,3
/proc/21126/stat : 21126 (roundingsat) R 21124 21124 20058 0 -1 4194304 79341 0 0 0 358269 1737 0 0 20 0 1 0 33534685 959676416 197834 18446744073709551615 4227072 8923433 140723034054896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38465536 140723034061216 140723034061352 140723034061352 140723034066922 0
/proc/21126/statm: 234296 197834 2400 1147 0 221723 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 941376 KiB
Current children cumulated memory: 794408 KiB
Child status: 2
Real time (s): 3609.91
CPU time (s): 3600.08
CPU user time (s): 3582.7
CPU system time (s): 17.3777
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 941376
Max. memory (cumulated for all children) (KiB): 794408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.7
system time used= 17.3777
maximum resident set size= 791720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313
involuntary context switches= 2446
# summary of solver processes directly reported to runsolver:
# pid: 21124,21126
# total CPU time (s): 3600.08
# total CPU user time (s): 3582.7
# total CPU system time (s): 17.3777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5438 second user time and 37.6738 second system time
The end
Begin job on nodeC006 at 2025-06-29 08:29:13
IDJOB=4507482
IDBENCH=158355
IDSOLVER=3353
FILE ID=nodeC006/4507482-1751178553
RUNJOBID= nodeC006-1751170846-20070
SLURM_JOB_ID= 9587530
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507482-1751178553/watcher-4507482-1751178553 -o /tmp/evaluation-result-4507482-1751178553/solver-4507482-1751178553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20070 --watchdog 3760 run-dec-ls.sh HOME/instance-4507482-1751178553.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=764484824
nodeC006 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 : 0xb00001f
cpu MHz : 3658.864
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.662
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.502
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.970
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.169
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.186
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.636
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.353
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128737016 kB
MemAvailable: 128382620 kB
Buffers: 3280 kB
Cached: 456008 kB
SwapCached: 0 kB
Active: 1902848 kB
Inactive: 208244 kB
Active(anon): 1669764 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 208244 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7488 kB
Writeback: 0 kB
AnonPages: 1653376 kB
Mapped: 115948 kB
Shmem: 17960 kB
KReclaimable: 85368 kB
Slab: 164364 kB
SReclaimable: 85368 kB
SUnreclaim: 78996 kB
KernelStack: 4108 kB
PageTables: 6516 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2130972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 718848 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433036 MiB
End job on nodeC006 at 2025-06-29 09:29:23