0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.09/0.11 c #variables 5916 #constraints 6092
41.46/41.68 c #Conflicts: 1000 | #Constraints: 7091
41.46/41.68 c #Conflicts: 2000 | #Constraints: 8091
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 3000 | #Constraints: 7722
41.46/41.68 c #Conflicts: 4000 | #Constraints: 8722
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 5000 | #Constraints: 8169
41.46/41.68 c #Conflicts: 6000 | #Constraints: 9169
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 7000 | #Constraints: 8233
41.46/41.68 c #Conflicts: 8000 | #Constraints: 9233
41.46/41.68 c #Conflicts: 9000 | #Constraints: 10233
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 10000 | #Constraints: 8968
41.46/41.68 c #Conflicts: 11000 | #Constraints: 9968
41.46/41.68 c #Conflicts: 12000 | #Constraints: 10968
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 13000 | #Constraints: 9438
41.46/41.68 c #Conflicts: 14000 | #Constraints: 10438
41.46/41.68 c #Conflicts: 15000 | #Constraints: 11438
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 16000 | #Constraints: 9699
41.46/41.68 c #Conflicts: 17000 | #Constraints: 10699
41.46/41.68 c #Conflicts: 18000 | #Constraints: 11699
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 19000 | #Constraints: 9722
41.46/41.68 c #Conflicts: 20000 | #Constraints: 10722
41.46/41.68 c #Conflicts: 21000 | #Constraints: 11722
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 22000 | #Constraints: 9579
41.46/41.68 c #Conflicts: 23000 | #Constraints: 10579
41.46/41.68 c #Conflicts: 24000 | #Constraints: 11579
41.46/41.68 c #Conflicts: 25000 | #Constraints: 12579
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 26000 | #Constraints: 10234
41.46/41.68 c #Conflicts: 27000 | #Constraints: 11234
41.46/41.68 c #Conflicts: 28000 | #Constraints: 12234
41.46/41.68 c #Conflicts: 29000 | #Constraints: 13234
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 30000 | #Constraints: 10616
41.46/41.68 c #Conflicts: 31000 | #Constraints: 11616
41.46/41.68 c #Conflicts: 32000 | #Constraints: 12616
41.46/41.68 c #Conflicts: 33000 | #Constraints: 13616
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 34000 | #Constraints: 10821
41.46/41.68 c #Conflicts: 35000 | #Constraints: 11821
41.46/41.68 c #Conflicts: 36000 | #Constraints: 12821
41.46/41.68 c #Conflicts: 37000 | #Constraints: 13821
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 38000 | #Constraints: 10861
41.46/41.68 c #Conflicts: 39000 | #Constraints: 11861
41.46/41.68 c #Conflicts: 40000 | #Constraints: 12861
41.46/41.68 c #Conflicts: 41000 | #Constraints: 13861
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 42000 | #Constraints: 10663
41.46/41.68 c #Conflicts: 43000 | #Constraints: 11663
41.46/41.68 c #Conflicts: 44000 | #Constraints: 12663
41.46/41.68 c #Conflicts: 45000 | #Constraints: 13663
41.46/41.68 c #Conflicts: 46000 | #Constraints: 14663
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 47000 | #Constraints: 11309
41.46/41.68 c #Conflicts: 48000 | #Constraints: 12309
41.46/41.68 c #Conflicts: 49000 | #Constraints: 13309
41.46/41.68 c #Conflicts: 50000 | #Constraints: 14309
41.46/41.68 c #Conflicts: 51000 | #Constraints: 15309
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 52000 | #Constraints: 11716
41.46/41.68 c #Conflicts: 53000 | #Constraints: 12716
41.46/41.68 c #Conflicts: 54000 | #Constraints: 13716
41.46/41.68 c #Conflicts: 55000 | #Constraints: 14716
41.46/41.68 c #Conflicts: 56000 | #Constraints: 15716
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 57000 | #Constraints: 11895
41.46/41.68 c #Conflicts: 58000 | #Constraints: 12895
41.46/41.68 c #Conflicts: 59000 | #Constraints: 13895
41.46/41.68 c #Conflicts: 60000 | #Constraints: 14895
41.46/41.68 c #Conflicts: 61000 | #Constraints: 15895
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 62000 | #Constraints: 11898
41.46/41.68 c #Conflicts: 63000 | #Constraints: 12898
41.46/41.68 c #Conflicts: 64000 | #Constraints: 13898
41.46/41.68 c #Conflicts: 65000 | #Constraints: 14898
41.46/41.68 c #Conflicts: 66000 | #Constraints: 15898
41.46/41.68 c INPROCESSING
41.46/41.68 c GARBAGE COLLECT
41.46/41.68 c #Conflicts: 67000 | #Constraints: 11725
41.46/41.68 c #Conflicts: 68000 | #Constraints: 12725
98.14/98.58 c #Conflicts: 69000 | #Constraints: 13725
98.14/98.58 c #Conflicts: 70000 | #Constraints: 14725
98.14/98.58 c #Conflicts: 71000 | #Constraints: 15725
98.14/98.58 c #Conflicts: 72000 | #Constraints: 16725
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 73000 | #Constraints: 12352
98.14/98.58 c #Conflicts: 74000 | #Constraints: 13352
98.14/98.58 c #Conflicts: 75000 | #Constraints: 14352
98.14/98.58 c #Conflicts: 76000 | #Constraints: 15352
98.14/98.58 c #Conflicts: 77000 | #Constraints: 16352
98.14/98.58 c #Conflicts: 78000 | #Constraints: 17352
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 79000 | #Constraints: 12821
98.14/98.58 c #Conflicts: 80000 | #Constraints: 13821
98.14/98.58 c #Conflicts: 81000 | #Constraints: 14821
98.14/98.58 c #Conflicts: 82000 | #Constraints: 15821
98.14/98.58 c #Conflicts: 83000 | #Constraints: 16821
98.14/98.58 c #Conflicts: 84000 | #Constraints: 17821
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 85000 | #Constraints: 13013
98.14/98.58 c #Conflicts: 86000 | #Constraints: 14013
98.14/98.58 c #Conflicts: 87000 | #Constraints: 15013
98.14/98.58 c #Conflicts: 88000 | #Constraints: 16013
98.14/98.58 c #Conflicts: 89000 | #Constraints: 17013
98.14/98.58 c #Conflicts: 90000 | #Constraints: 18013
98.14/98.58 c #Conflicts: 91000 | #Constraints: 19013
98.14/98.58 c #Conflicts: 92000 | #Constraints: 20013
98.14/98.58 c #Conflicts: 93000 | #Constraints: 21013
98.14/98.58 c #Conflicts: 94000 | #Constraints: 22013
98.14/98.58 c #Conflicts: 95000 | #Constraints: 23013
98.14/98.58 c #Conflicts: 96000 | #Constraints: 24013
98.14/98.58 c #Conflicts: 97000 | #Constraints: 25013
98.14/98.58 c #Conflicts: 98000 | #Constraints: 26013
98.14/98.58 c #Conflicts: 99000 | #Constraints: 27013
98.14/98.58 c #Conflicts: 100000 | #Constraints: 28013
98.14/98.58 c #Conflicts: 101000 | #Constraints: 29014
98.14/98.58 c #Conflicts: 102000 | #Constraints: 30014
98.14/98.58 c #Conflicts: 103000 | #Constraints: 31014
98.14/98.58 c #Conflicts: 104000 | #Constraints: 32014
98.14/98.58 c #Conflicts: 105000 | #Constraints: 33014
98.14/98.58 c #Conflicts: 106000 | #Constraints: 34014
98.14/98.58 c #Conflicts: 107000 | #Constraints: 35014
98.14/98.58 c #Conflicts: 108000 | #Constraints: 36014
98.14/98.58 c #Conflicts: 109000 | #Constraints: 37014
98.14/98.58 c #Conflicts: 110000 | #Constraints: 38014
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 111000 | #Constraints: 23124
98.14/98.58 c #Conflicts: 112000 | #Constraints: 24124
98.14/98.58 c #Conflicts: 113000 | #Constraints: 25124
98.14/98.58 c #Conflicts: 114000 | #Constraints: 26124
98.14/98.58 c #Conflicts: 115000 | #Constraints: 27124
98.14/98.58 c #Conflicts: 116000 | #Constraints: 28124
98.14/98.58 c #Conflicts: 117000 | #Constraints: 29124
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 118000 | #Constraints: 18567
98.14/98.58 c #Conflicts: 119000 | #Constraints: 19567
98.14/98.58 c #Conflicts: 120000 | #Constraints: 20567
98.14/98.58 c #Conflicts: 121000 | #Constraints: 21567
98.14/98.58 c #Conflicts: 122000 | #Constraints: 22567
98.14/98.58 c #Conflicts: 123000 | #Constraints: 23567
98.14/98.58 c #Conflicts: 124000 | #Constraints: 24567
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 125000 | #Constraints: 16033
98.14/98.58 c #Conflicts: 126000 | #Constraints: 17033
98.14/98.58 c #Conflicts: 127000 | #Constraints: 18033
98.14/98.58 c #Conflicts: 128000 | #Constraints: 19033
98.14/98.58 c #Conflicts: 129000 | #Constraints: 20033
98.14/98.58 c #Conflicts: 130000 | #Constraints: 21033
98.14/98.58 c #Conflicts: 131000 | #Constraints: 22033
98.14/98.58 c #Conflicts: 132000 | #Constraints: 23033
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 133000 | #Constraints: 15427
98.14/98.58 c #Conflicts: 134000 | #Constraints: 16427
98.14/98.58 c #Conflicts: 135000 | #Constraints: 17427
98.14/98.58 c #Conflicts: 136000 | #Constraints: 18427
98.14/98.58 c #Conflicts: 137000 | #Constraints: 19427
98.14/98.58 c #Conflicts: 138000 | #Constraints: 20427
98.14/98.58 c #Conflicts: 139000 | #Constraints: 21427
98.14/98.58 c #Conflicts: 140000 | #Constraints: 22427
98.14/98.58 c INPROCESSING
98.14/98.58 c GARBAGE COLLECT
98.14/98.58 c #Conflicts: 141000 | #Constraints: 15158
98.14/98.58 c #Conflicts: 142000 | #Constraints: 16158
169.42/170.03 c #Conflicts: 143000 | #Constraints: 17158
169.42/170.03 c #Conflicts: 144000 | #Constraints: 18158
169.42/170.03 c #Conflicts: 145000 | #Constraints: 19158
169.42/170.03 c #Conflicts: 146000 | #Constraints: 20158
169.42/170.03 c #Conflicts: 147000 | #Constraints: 21158
169.42/170.03 c #Conflicts: 148000 | #Constraints: 22158
169.42/170.03 c INPROCESSING
169.42/170.03 c GARBAGE COLLECT
169.42/170.03 c #Conflicts: 149000 | #Constraints: 14984
169.42/170.03 c #Conflicts: 150000 | #Constraints: 15984
169.42/170.03 c #Conflicts: 151000 | #Constraints: 16984
169.42/170.03 c #Conflicts: 152000 | #Constraints: 17984
169.42/170.03 c #Conflicts: 153000 | #Constraints: 18984
169.42/170.03 c #Conflicts: 154000 | #Constraints: 19984
169.42/170.03 c #Conflicts: 155000 | #Constraints: 20984
169.42/170.03 c #Conflicts: 156000 | #Constraints: 21984
169.42/170.03 c #Conflicts: 157000 | #Constraints: 22984
169.42/170.03 c #Conflicts: 158000 | #Constraints: 23984
169.42/170.03 c #Conflicts: 159000 | #Constraints: 24984
169.42/170.03 c #Conflicts: 160000 | #Constraints: 25984
169.42/170.03 c #Conflicts: 161000 | #Constraints: 26984
169.42/170.03 c #Conflicts: 162000 | #Constraints: 27984
169.42/170.03 c #Conflicts: 163000 | #Constraints: 28984
169.42/170.03 c #Conflicts: 164000 | #Constraints: 29984
169.42/170.03 c #Conflicts: 165000 | #Constraints: 30984
169.42/170.03 c #Conflicts: 166000 | #Constraints: 31984
169.42/170.03 c #Conflicts: 167000 | #Constraints: 32984
169.42/170.03 c #Conflicts: 168000 | #Constraints: 33984
169.42/170.03 c #Conflicts: 169000 | #Constraints: 34984
169.42/170.03 c #Conflicts: 170000 | #Constraints: 35984
169.42/170.03 c #Conflicts: 171000 | #Constraints: 36984
169.42/170.03 c #Conflicts: 172000 | #Constraints: 37984
169.42/170.03 c #Conflicts: 173000 | #Constraints: 38984
169.42/170.03 c #Conflicts: 174000 | #Constraints: 39984
169.42/170.03 c #Conflicts: 175000 | #Constraints: 40984
169.42/170.03 c #Conflicts: 176000 | #Constraints: 41984
169.42/170.03 c #Conflicts: 177000 | #Constraints: 42984
169.42/170.03 c #Conflicts: 178000 | #Constraints: 43984
169.42/170.03 c #Conflicts: 179000 | #Constraints: 44984
169.42/170.03 c #Conflicts: 180000 | #Constraints: 45984
169.42/170.03 c #Conflicts: 181000 | #Constraints: 46984
169.42/170.03 c #Conflicts: 182000 | #Constraints: 47984
169.42/170.03 c INPROCESSING
169.42/170.03 c GARBAGE COLLECT
169.42/170.03 c #Conflicts: 183000 | #Constraints: 28191
169.42/170.03 c #Conflicts: 184000 | #Constraints: 29191
169.42/170.03 c #Conflicts: 185000 | #Constraints: 30191
169.42/170.03 c #Conflicts: 186000 | #Constraints: 31191
169.42/170.03 c #Conflicts: 187000 | #Constraints: 32192
169.42/170.03 c #Conflicts: 188000 | #Constraints: 33192
169.42/170.03 c #Conflicts: 189000 | #Constraints: 34192
169.42/170.03 c #Conflicts: 190000 | #Constraints: 35192
169.42/170.03 c #Conflicts: 191000 | #Constraints: 36192
169.42/170.03 c INPROCESSING
169.42/170.03 c GARBAGE COLLECT
169.42/170.03 c #Conflicts: 192000 | #Constraints: 22100
169.42/170.03 c #Conflicts: 193000 | #Constraints: 23100
169.42/170.03 c #Conflicts: 194000 | #Constraints: 24100
169.42/170.03 c #Conflicts: 195000 | #Constraints: 25100
169.42/170.03 c #Conflicts: 196000 | #Constraints: 26100
169.42/170.03 c #Conflicts: 197000 | #Constraints: 27100
169.42/170.03 c #Conflicts: 198000 | #Constraints: 28100
169.42/170.03 c #Conflicts: 199000 | #Constraints: 29100
169.42/170.03 c #Conflicts: 200000 | #Constraints: 30100
169.42/170.03 c #Conflicts: 201000 | #Constraints: 31100
169.42/170.03 c INPROCESSING
169.42/170.03 c GARBAGE COLLECT
169.42/170.03 c #Conflicts: 202000 | #Constraints: 19801
169.42/170.03 c #Conflicts: 203000 | #Constraints: 20801
169.42/170.03 c #Conflicts: 204000 | #Constraints: 21801
169.42/170.03 c #Conflicts: 205000 | #Constraints: 22801
169.42/170.03 c #Conflicts: 206000 | #Constraints: 23801
169.42/170.03 c #Conflicts: 207000 | #Constraints: 24801
169.42/170.03 c #Conflicts: 208000 | #Constraints: 25801
169.42/170.03 c #Conflicts: 209000 | #Constraints: 26801
169.42/170.03 c #Conflicts: 210000 | #Constraints: 27801
169.42/170.03 c INPROCESSING
169.42/170.03 c GARBAGE COLLECT
169.42/170.03 c rational objective 87
262.78/263.70 c #Conflicts: 211000 | #Constraints: 17720
262.78/263.70 c #Conflicts: 212000 | #Constraints: 18720
262.78/263.70 c #Conflicts: 213000 | #Constraints: 19720
262.78/263.70 c #Conflicts: 214000 | #Constraints: 20720
262.78/263.70 c #Conflicts: 215000 | #Constraints: 21720
262.78/263.70 c #Conflicts: 216000 | #Constraints: 22721
262.78/263.70 c #Conflicts: 217000 | #Constraints: 23721
262.78/263.70 c #Conflicts: 218000 | #Constraints: 24721
262.78/263.70 c #Conflicts: 219000 | #Constraints: 25721
262.78/263.70 c #Conflicts: 220000 | #Constraints: 26721
262.78/263.70 c INPROCESSING
262.78/263.70 c GARBAGE COLLECT
262.78/263.70 c #Conflicts: 221000 | #Constraints: 17176
262.78/263.70 c #Conflicts: 222000 | #Constraints: 18176
262.78/263.70 c #Conflicts: 223000 | #Constraints: 19176
262.78/263.70 c #Conflicts: 224000 | #Constraints: 20176
262.78/263.70 c #Conflicts: 225000 | #Constraints: 21176
262.78/263.70 c #Conflicts: 226000 | #Constraints: 22176
262.78/263.70 c #Conflicts: 227000 | #Constraints: 23176
262.78/263.70 c #Conflicts: 228000 | #Constraints: 24176
262.78/263.70 c #Conflicts: 229000 | #Constraints: 25176
262.78/263.70 c #Conflicts: 230000 | #Constraints: 26176
262.78/263.70 c #Conflicts: 231000 | #Constraints: 27176
262.78/263.70 c INPROCESSING
262.78/263.70 c GARBAGE COLLECT
262.78/263.70 c #Conflicts: 232000 | #Constraints: 17793
262.78/263.70 c #Conflicts: 233000 | #Constraints: 18793
262.78/263.70 c #Conflicts: 234000 | #Constraints: 19793
262.78/263.70 c #Conflicts: 235000 | #Constraints: 20793
262.78/263.70 c #Conflicts: 236000 | #Constraints: 21793
262.78/263.70 c #Conflicts: 237000 | #Constraints: 22793
262.78/263.70 c #Conflicts: 238000 | #Constraints: 23793
262.78/263.70 c #Conflicts: 239000 | #Constraints: 24793
262.78/263.70 c #Conflicts: 240000 | #Constraints: 25793
262.78/263.70 c #Conflicts: 241000 | #Constraints: 26793
262.78/263.70 c #Conflicts: 242000 | #Constraints: 27793
262.78/263.70 c #Conflicts: 243000 | #Constraints: 28793
262.78/263.70 c #Conflicts: 244000 | #Constraints: 29793
262.78/263.70 c #Conflicts: 245000 | #Constraints: 30793
262.78/263.70 c #Conflicts: 246000 | #Constraints: 31793
262.78/263.70 c #Conflicts: 247000 | #Constraints: 32793
262.78/263.70 c #Conflicts: 248000 | #Constraints: 33793
262.78/263.70 c #Conflicts: 249000 | #Constraints: 34793
262.78/263.70 c #Conflicts: 250000 | #Constraints: 35793
262.78/263.70 c #Conflicts: 251000 | #Constraints: 36793
262.78/263.70 c #Conflicts: 252000 | #Constraints: 37793
262.78/263.70 c #Conflicts: 253000 | #Constraints: 38793
262.78/263.70 c #Conflicts: 254000 | #Constraints: 39793
262.78/263.70 c #Conflicts: 255000 | #Constraints: 40793
262.78/263.70 c #Conflicts: 256000 | #Constraints: 41793
262.78/263.70 c #Conflicts: 257000 | #Constraints: 42793
262.78/263.70 c #Conflicts: 258000 | #Constraints: 43793
262.78/263.70 c #Conflicts: 259000 | #Constraints: 44793
262.78/263.70 c #Conflicts: 260000 | #Constraints: 45793
262.78/263.70 c #Conflicts: 261000 | #Constraints: 46793
262.78/263.70 c #Conflicts: 262000 | #Constraints: 47793
262.78/263.70 c #Conflicts: 263000 | #Constraints: 48793
262.78/263.70 c #Conflicts: 264000 | #Constraints: 49793
262.78/263.70 c #Conflicts: 265000 | #Constraints: 50793
262.78/263.70 c #Conflicts: 266000 | #Constraints: 51793
262.78/263.70 c #Conflicts: 267000 | #Constraints: 52793
262.78/263.70 c #Conflicts: 268000 | #Constraints: 53793
262.78/263.70 c #Conflicts: 269000 | #Constraints: 54793
262.78/263.70 c #Conflicts: 270000 | #Constraints: 55793
262.78/263.70 c #Conflicts: 271000 | #Constraints: 56793
262.78/263.70 c #Conflicts: 272000 | #Constraints: 57793
262.78/263.70 c INPROCESSING
262.78/263.70 c GARBAGE COLLECT
262.78/263.70 c #Conflicts: 273000 | #Constraints: 33108
262.78/263.70 c #Conflicts: 274000 | #Constraints: 34108
262.78/263.70 c #Conflicts: 275000 | #Constraints: 35108
262.78/263.70 c #Conflicts: 276000 | #Constraints: 36108
262.78/263.70 c #Conflicts: 277000 | #Constraints: 37108
262.78/263.70 c #Conflicts: 278000 | #Constraints: 38108
262.78/263.70 c #Conflicts: 279000 | #Constraints: 39108
262.78/263.70 c #Conflicts: 280000 | #Constraints: 40108
262.78/263.70 c #Conflicts: 281000 | #Constraints: 41109
262.78/263.70 c #Conflicts: 282000 | #Constraints: 42109
262.78/263.70 c #Conflicts: 283000 | #Constraints: 43109
262.78/263.70 c INPROCESSING
262.78/263.70 c GARBAGE COLLECT
262.78/263.70 c #Conflicts: 284000 | #Constraints: 25540
262.78/263.70 c #Conflicts: 285000 | #Constraints: 26540
262.78/263.70 c #Conflicts: 286000 | #Constraints: 27540
262.78/263.70 c #Conflicts: 287000 | #Constraints: 28540
356.95/358.26 c #Conflicts: 288000 | #Constraints: 29540
356.95/358.26 c #Conflicts: 289000 | #Constraints: 30540
356.95/358.26 c #Conflicts: 290000 | #Constraints: 31540
356.95/358.26 c #Conflicts: 291000 | #Constraints: 32540
356.95/358.26 c #Conflicts: 292000 | #Constraints: 33540
356.95/358.26 c #Conflicts: 293000 | #Constraints: 34540
356.95/358.26 c #Conflicts: 294000 | #Constraints: 35540
356.95/358.26 c #Conflicts: 295000 | #Constraints: 36540
356.95/358.26 c INPROCESSING
356.95/358.26 c GARBAGE COLLECT
356.95/358.26 c #Conflicts: 296000 | #Constraints: 22407
356.95/358.26 c #Conflicts: 297000 | #Constraints: 23407
356.95/358.26 c #Conflicts: 298000 | #Constraints: 24407
356.95/358.26 c #Conflicts: 299000 | #Constraints: 25407
356.95/358.26 c #Conflicts: 300000 | #Constraints: 26407
356.95/358.26 c #Conflicts: 301000 | #Constraints: 27407
356.95/358.26 c #Conflicts: 302000 | #Constraints: 28407
356.95/358.26 c #Conflicts: 303000 | #Constraints: 29407
356.95/358.26 c #Conflicts: 304000 | #Constraints: 30407
356.95/358.26 c #Conflicts: 305000 | #Constraints: 31407
356.95/358.26 c #Conflicts: 306000 | #Constraints: 32407
356.95/358.26 c #Conflicts: 307000 | #Constraints: 33407
356.95/358.26 c INPROCESSING
356.95/358.26 c GARBAGE COLLECT
356.95/358.26 c #Conflicts: 308000 | #Constraints: 20912
356.95/358.26 c #Conflicts: 309000 | #Constraints: 21912
356.95/358.26 c #Conflicts: 310000 | #Constraints: 22912
356.95/358.26 c #Conflicts: 311000 | #Constraints: 23912
356.95/358.26 c #Conflicts: 312000 | #Constraints: 24912
356.95/358.26 c #Conflicts: 313000 | #Constraints: 25912
356.95/358.26 c #Conflicts: 314000 | #Constraints: 26912
356.95/358.26 c #Conflicts: 315000 | #Constraints: 27912
356.95/358.26 c #Conflicts: 316000 | #Constraints: 28912
356.95/358.26 c #Conflicts: 317000 | #Constraints: 29912
356.95/358.26 c #Conflicts: 318000 | #Constraints: 30912
356.95/358.26 c #Conflicts: 319000 | #Constraints: 31912
356.95/358.26 c INPROCESSING
356.95/358.26 c GARBAGE COLLECT
356.95/358.26 c #Conflicts: 320000 | #Constraints: 20128
356.95/358.26 c #Conflicts: 321000 | #Constraints: 21128
356.95/358.26 c #Conflicts: 322000 | #Constraints: 22128
356.95/358.26 c #Conflicts: 323000 | #Constraints: 23128
356.95/358.26 c #Conflicts: 324000 | #Constraints: 24128
356.95/358.26 c #Conflicts: 325000 | #Constraints: 25128
356.95/358.26 c #Conflicts: 326000 | #Constraints: 26128
356.95/358.26 c #Conflicts: 327000 | #Constraints: 27128
356.95/358.26 c #Conflicts: 328000 | #Constraints: 28128
356.95/358.26 c #Conflicts: 329000 | #Constraints: 29128
356.95/358.26 c #Conflicts: 330000 | #Constraints: 30128
356.95/358.26 c #Conflicts: 331000 | #Constraints: 31128
356.95/358.26 c #Conflicts: 332000 | #Constraints: 32128
356.95/358.26 c #Conflicts: 333000 | #Constraints: 33128
356.95/358.26 c #Conflicts: 334000 | #Constraints: 34128
356.95/358.26 c #Conflicts: 335000 | #Constraints: 35128
356.95/358.26 c #Conflicts: 336000 | #Constraints: 36128
356.95/358.26 c #Conflicts: 337000 | #Constraints: 37128
356.95/358.26 c #Conflicts: 338000 | #Constraints: 38128
356.95/358.26 c #Conflicts: 339000 | #Constraints: 39128
356.95/358.26 c #Conflicts: 340000 | #Constraints: 40128
356.95/358.26 c #Conflicts: 341000 | #Constraints: 41128
356.95/358.26 c #Conflicts: 342000 | #Constraints: 42128
356.95/358.26 c #Conflicts: 343000 | #Constraints: 43128
356.95/358.26 c #Conflicts: 344000 | #Constraints: 44128
356.95/358.26 c #Conflicts: 345000 | #Constraints: 45128
356.95/358.26 c #Conflicts: 346000 | #Constraints: 46128
356.95/358.26 c #Conflicts: 347000 | #Constraints: 47128
356.95/358.26 c #Conflicts: 348000 | #Constraints: 48128
356.95/358.26 c #Conflicts: 349000 | #Constraints: 49128
356.95/358.26 c #Conflicts: 350000 | #Constraints: 50128
356.95/358.26 c #Conflicts: 351000 | #Constraints: 51128
356.95/358.26 c #Conflicts: 352000 | #Constraints: 52128
356.95/358.26 c #Conflicts: 353000 | #Constraints: 53128
356.95/358.26 c #Conflicts: 354000 | #Constraints: 54128
356.95/358.26 c #Conflicts: 355000 | #Constraints: 55129
356.95/358.26 c #Conflicts: 356000 | #Constraints: 56129
356.95/358.26 c #Conflicts: 357000 | #Constraints: 57129
356.95/358.26 c #Conflicts: 358000 | #Constraints: 58129
356.95/358.26 c #Conflicts: 359000 | #Constraints: 59129
356.95/358.26 c #Conflicts: 360000 | #Constraints: 60129
356.95/358.26 c #Conflicts: 361000 | #Constraints: 61129
356.95/358.26 c #Conflicts: 362000 | #Constraints: 62129
356.95/358.26 c #Conflicts: 363000 | #Constraints: 63129
356.95/358.26 c #Conflicts: 364000 | #Constraints: 64129
367.51/368.85 c #Conflicts: 365000 | #Constraints: 65129
367.51/368.85 c #Conflicts: 366000 | #Constraints: 66129
367.51/368.85 c INPROCESSING
367.51/368.85 c GARBAGE COLLECT
367.51/368.85 c rational objective 87
455.10/456.77 c #Conflicts: 367000 | #Constraints: 36996
455.10/456.77 c #Conflicts: 368000 | #Constraints: 37996
455.10/456.77 c #Conflicts: 369000 | #Constraints: 38996
455.10/456.77 c #Conflicts: 370000 | #Constraints: 39996
455.10/456.77 c #Conflicts: 371000 | #Constraints: 40996
455.10/456.77 c #Conflicts: 372000 | #Constraints: 41996
455.10/456.77 c #Conflicts: 373000 | #Constraints: 42996
455.10/456.77 c #Conflicts: 374000 | #Constraints: 43996
455.10/456.77 c #Conflicts: 375000 | #Constraints: 44996
455.10/456.77 c #Conflicts: 376000 | #Constraints: 45996
455.10/456.77 c #Conflicts: 377000 | #Constraints: 46996
455.10/456.77 c #Conflicts: 378000 | #Constraints: 47996
455.10/456.77 c #Conflicts: 379000 | #Constraints: 48996
455.10/456.77 c #Conflicts: 380000 | #Constraints: 49996
455.10/456.77 c INPROCESSING
455.10/456.77 c GARBAGE COLLECT
455.10/456.77 c #Conflicts: 381000 | #Constraints: 29246
455.10/456.77 c #Conflicts: 382000 | #Constraints: 30246
455.10/456.77 c #Conflicts: 383000 | #Constraints: 31246
455.10/456.77 c #Conflicts: 384000 | #Constraints: 32246
455.10/456.77 c #Conflicts: 385000 | #Constraints: 33246
455.10/456.77 c #Conflicts: 386000 | #Constraints: 34246
455.10/456.77 c #Conflicts: 387000 | #Constraints: 35246
455.10/456.77 c #Conflicts: 388000 | #Constraints: 36246
455.10/456.77 c #Conflicts: 389000 | #Constraints: 37246
455.10/456.77 c #Conflicts: 390000 | #Constraints: 38246
455.10/456.77 c #Conflicts: 391000 | #Constraints: 39246
455.10/456.77 c #Conflicts: 392000 | #Constraints: 40246
455.10/456.77 c #Conflicts: 393000 | #Constraints: 41246
455.10/456.77 c INPROCESSING
455.10/456.77 c GARBAGE COLLECT
455.10/456.77 c #Conflicts: 394000 | #Constraints: 24659
455.10/456.77 c #Conflicts: 395000 | #Constraints: 25659
455.10/456.77 c #Conflicts: 396000 | #Constraints: 26659
455.10/456.77 c #Conflicts: 397000 | #Constraints: 27659
455.10/456.77 c #Conflicts: 398000 | #Constraints: 28659
455.10/456.77 c #Conflicts: 399000 | #Constraints: 29659
455.10/456.77 c #Conflicts: 400000 | #Constraints: 30659
455.10/456.77 c #Conflicts: 401000 | #Constraints: 31659
455.10/456.77 c #Conflicts: 402000 | #Constraints: 32659
455.10/456.77 c #Conflicts: 403000 | #Constraints: 33659
455.10/456.77 c #Conflicts: 404000 | #Constraints: 34659
455.10/456.77 c #Conflicts: 405000 | #Constraints: 35659
455.10/456.77 c #Conflicts: 406000 | #Constraints: 36659
455.10/456.77 c #Conflicts: 407000 | #Constraints: 37659
455.10/456.77 c INPROCESSING
455.10/456.77 c GARBAGE COLLECT
455.10/456.77 c #Conflicts: 408000 | #Constraints: 22921
455.10/456.77 c #Conflicts: 409000 | #Constraints: 23921
455.10/456.77 c #Conflicts: 410000 | #Constraints: 24922
455.10/456.77 c #Conflicts: 411000 | #Constraints: 25922
455.10/456.77 c #Conflicts: 412000 | #Constraints: 26922
455.10/456.77 c #Conflicts: 413000 | #Constraints: 27922
455.10/456.77 c #Conflicts: 414000 | #Constraints: 28922
455.10/456.77 c #Conflicts: 415000 | #Constraints: 29922
455.10/456.77 c #Conflicts: 416000 | #Constraints: 30922
455.10/456.77 c #Conflicts: 417000 | #Constraints: 31922
455.10/456.77 c #Conflicts: 418000 | #Constraints: 32922
455.10/456.77 c #Conflicts: 419000 | #Constraints: 33922
455.10/456.77 c #Conflicts: 420000 | #Constraints: 34922
455.10/456.77 c #Conflicts: 421000 | #Constraints: 35922
455.10/456.77 c INPROCESSING
455.10/456.77 c GARBAGE COLLECT
455.10/456.77 c #Conflicts: 422000 | #Constraints: 22032
455.10/456.77 c #Conflicts: 423000 | #Constraints: 23032
455.10/456.77 c #Conflicts: 424000 | #Constraints: 24032
455.10/456.77 c #Conflicts: 425000 | #Constraints: 25032
455.10/456.77 c #Conflicts: 426000 | #Constraints: 26032
455.10/456.77 c #Conflicts: 427000 | #Constraints: 27032
455.10/456.77 c #Conflicts: 428000 | #Constraints: 28032
455.10/456.77 c #Conflicts: 429000 | #Constraints: 29032
455.10/456.77 c #Conflicts: 430000 | #Constraints: 30032
455.10/456.77 c #Conflicts: 431000 | #Constraints: 31032
455.10/456.77 c #Conflicts: 432000 | #Constraints: 32032
455.10/456.77 c #Conflicts: 433000 | #Constraints: 33032
455.10/456.77 c #Conflicts: 434000 | #Constraints: 34032
455.10/456.77 c #Conflicts: 435000 | #Constraints: 35032
455.10/456.77 c #Conflicts: 436000 | #Constraints: 36032
455.10/456.77 c #Conflicts: 437000 | #Constraints: 37032
455.10/456.77 c #Conflicts: 438000 | #Constraints: 38032
455.10/456.77 c #Conflicts: 439000 | #Constraints: 39032
455.10/456.77 c #Conflicts: 440000 | #Constraints: 40032
455.10/456.77 c #Conflicts: 441000 | #Constraints: 41032
455.10/456.77 c #Conflicts: 442000 | #Constraints: 42032
455.10/456.77 c #Conflicts: 443000 | #Constraints: 43032
515.72/517.51 c #Conflicts: 444000 | #Constraints: 44032
515.72/517.51 c #Conflicts: 445000 | #Constraints: 45032
515.72/517.51 c #Conflicts: 446000 | #Constraints: 46032
515.72/517.51 c #Conflicts: 447000 | #Constraints: 47032
515.72/517.51 c #Conflicts: 448000 | #Constraints: 48032
515.72/517.51 c #Conflicts: 449000 | #Constraints: 49032
515.72/517.51 c #Conflicts: 450000 | #Constraints: 50032
515.72/517.51 c #Conflicts: 451000 | #Constraints: 51032
515.72/517.51 c #Conflicts: 452000 | #Constraints: 52032
515.72/517.51 c #Conflicts: 453000 | #Constraints: 53032
515.72/517.51 c #Conflicts: 454000 | #Constraints: 54032
515.72/517.51 c #Conflicts: 455000 | #Constraints: 55032
515.72/517.51 c #Conflicts: 456000 | #Constraints: 56032
515.72/517.51 c #Conflicts: 457000 | #Constraints: 57032
515.72/517.51 c #Conflicts: 458000 | #Constraints: 58032
515.72/517.51 c #Conflicts: 459000 | #Constraints: 59032
515.72/517.51 c #Conflicts: 460000 | #Constraints: 60032
515.72/517.51 c #Conflicts: 461000 | #Constraints: 61032
515.72/517.51 c #Conflicts: 462000 | #Constraints: 62032
515.72/517.51 c #Conflicts: 463000 | #Constraints: 63032
515.72/517.51 c #Conflicts: 464000 | #Constraints: 64032
515.72/517.51 c #Conflicts: 465000 | #Constraints: 65032
515.72/517.51 c #Conflicts: 466000 | #Constraints: 66032
515.72/517.51 c #Conflicts: 467000 | #Constraints: 67032
515.72/517.51 c #Conflicts: 468000 | #Constraints: 68032
515.72/517.51 c #Conflicts: 469000 | #Constraints: 69032
515.72/517.51 c #Conflicts: 470000 | #Constraints: 70032
515.72/517.51 c #Conflicts: 471000 | #Constraints: 71032
515.72/517.51 c #Conflicts: 472000 | #Constraints: 72032
515.72/517.51 c #Conflicts: 473000 | #Constraints: 73032
515.72/517.51 c #Conflicts: 474000 | #Constraints: 74032
515.72/517.51 c #Conflicts: 475000 | #Constraints: 75032
515.72/517.51 c INPROCESSING
515.72/517.51 c GARBAGE COLLECT
515.72/517.51 c rational objective 87
544.25/546.17 c #Conflicts: 476000 | #Constraints: 41684
544.25/546.17 c #Conflicts: 477000 | #Constraints: 42684
544.25/546.17 c #Conflicts: 478000 | #Constraints: 43684
544.25/546.17 c #Conflicts: 479000 | #Constraints: 44684
544.25/546.17 c #Conflicts: 480000 | #Constraints: 45684
544.25/546.17 c #Conflicts: 481000 | #Constraints: 46684
544.25/546.17 c #Conflicts: 482000 | #Constraints: 47684
544.25/546.17 c #Conflicts: 483000 | #Constraints: 48684
544.25/546.17 c #Conflicts: 484000 | #Constraints: 49684
544.25/546.17 c #Conflicts: 485000 | #Constraints: 50684
544.25/546.17 c #Conflicts: 486000 | #Constraints: 51684
544.25/546.17 c #Conflicts: 487000 | #Constraints: 52684
544.25/546.17 c #Conflicts: 488000 | #Constraints: 53684
544.25/546.17 c #Conflicts: 489000 | #Constraints: 54684
544.25/546.17 c #Conflicts: 490000 | #Constraints: 55684
544.25/546.17 c INPROCESSING
544.25/546.17 c GARBAGE COLLECT
544.25/546.17 c rational objective 87
625.40/627.55 c #Conflicts: 491000 | #Constraints: 31904
625.40/627.55 c #Conflicts: 492000 | #Constraints: 32904
625.40/627.55 c #Conflicts: 493000 | #Constraints: 33904
625.40/627.55 c #Conflicts: 494000 | #Constraints: 34904
625.40/627.55 c #Conflicts: 495000 | #Constraints: 35904
625.40/627.55 c #Conflicts: 496000 | #Constraints: 36904
625.40/627.55 c #Conflicts: 497000 | #Constraints: 37904
625.40/627.55 c #Conflicts: 498000 | #Constraints: 38904
625.40/627.55 c #Conflicts: 499000 | #Constraints: 39904
625.40/627.55 c #Conflicts: 500000 | #Constraints: 40904
625.40/627.55 c #Conflicts: 501000 | #Constraints: 41904
625.40/627.55 c #Conflicts: 502000 | #Constraints: 42904
625.40/627.55 c #Conflicts: 503000 | #Constraints: 43904
625.40/627.55 c #Conflicts: 504000 | #Constraints: 44904
625.40/627.55 c #Conflicts: 505000 | #Constraints: 45904
625.40/627.55 c #Conflicts: 506000 | #Constraints: 46904
625.40/627.55 c INPROCESSING
625.40/627.55 c GARBAGE COLLECT
625.40/627.55 c #Conflicts: 507000 | #Constraints: 27742
625.40/627.55 c #Conflicts: 508000 | #Constraints: 28742
625.40/627.55 c #Conflicts: 509000 | #Constraints: 29742
625.40/627.55 c #Conflicts: 510000 | #Constraints: 30742
625.40/627.55 c #Conflicts: 511000 | #Constraints: 31742
625.40/627.55 c #Conflicts: 512000 | #Constraints: 32742
625.40/627.55 c #Conflicts: 513000 | #Constraints: 33742
625.40/627.55 c #Conflicts: 514000 | #Constraints: 34742
625.40/627.55 c #Conflicts: 515000 | #Constraints: 35742
625.40/627.55 c #Conflicts: 516000 | #Constraints: 36742
625.40/627.55 c #Conflicts: 517000 | #Constraints: 37742
625.40/627.55 c #Conflicts: 518000 | #Constraints: 38742
625.40/627.55 c #Conflicts: 519000 | #Constraints: 39742
625.40/627.55 c #Conflicts: 520000 | #Constraints: 40742
625.40/627.55 c #Conflicts: 521000 | #Constraints: 41742
625.40/627.55 c INPROCESSING
625.40/627.55 c GARBAGE COLLECT
625.40/627.55 c #Conflicts: 522000 | #Constraints: 24757
625.40/627.55 c #Conflicts: 523000 | #Constraints: 25757
625.40/627.55 c #Conflicts: 524000 | #Constraints: 26757
625.40/627.55 c #Conflicts: 525000 | #Constraints: 27757
625.40/627.55 c #Conflicts: 526000 | #Constraints: 28757
625.40/627.55 c #Conflicts: 527000 | #Constraints: 29757
625.40/627.55 c #Conflicts: 528000 | #Constraints: 30757
625.40/627.55 c #Conflicts: 529000 | #Constraints: 31757
625.40/627.55 c #Conflicts: 530000 | #Constraints: 32757
625.40/627.55 c #Conflicts: 531000 | #Constraints: 33757
625.40/627.55 c #Conflicts: 532000 | #Constraints: 34757
625.40/627.55 c #Conflicts: 533000 | #Constraints: 35757
625.40/627.55 c #Conflicts: 534000 | #Constraints: 36757
625.40/627.55 c #Conflicts: 535000 | #Constraints: 37757
625.40/627.55 c #Conflicts: 536000 | #Constraints: 38757
625.40/627.55 c #Conflicts: 537000 | #Constraints: 39757
625.40/627.55 c INPROCESSING
625.40/627.55 c GARBAGE COLLECT
625.40/627.55 c #Conflicts: 538000 | #Constraints: 23897
625.40/627.55 c #Conflicts: 539000 | #Constraints: 24897
625.40/627.55 c #Conflicts: 540000 | #Constraints: 25897
625.40/627.55 c #Conflicts: 541000 | #Constraints: 26897
625.40/627.55 c #Conflicts: 542000 | #Constraints: 27897
625.40/627.55 c #Conflicts: 543000 | #Constraints: 28897
625.40/627.55 c #Conflicts: 544000 | #Constraints: 29897
625.40/627.55 c #Conflicts: 545000 | #Constraints: 30897
625.40/627.55 c #Conflicts: 546000 | #Constraints: 31897
625.40/627.55 c #Conflicts: 547000 | #Constraints: 32897
625.40/627.55 c #Conflicts: 548000 | #Constraints: 33897
625.40/627.55 c #Conflicts: 549000 | #Constraints: 34897
625.40/627.55 c #Conflicts: 550000 | #Constraints: 35897
625.40/627.55 c #Conflicts: 551000 | #Constraints: 36897
625.40/627.55 c #Conflicts: 552000 | #Constraints: 37897
625.40/627.55 c #Conflicts: 553000 | #Constraints: 38897
625.40/627.55 c INPROCESSING
625.40/627.55 c GARBAGE COLLECT
625.40/627.55 c #Conflicts: 554000 | #Constraints: 23364
625.40/627.55 c #Conflicts: 555000 | #Constraints: 24364
625.40/627.55 c #Conflicts: 556000 | #Constraints: 25364
625.40/627.55 c #Conflicts: 557000 | #Constraints: 26364
625.40/627.55 c #Conflicts: 558000 | #Constraints: 27364
625.40/627.55 c #Conflicts: 559000 | #Constraints: 28364
625.40/627.55 c #Conflicts: 560000 | #Constraints: 29364
625.40/627.55 c #Conflicts: 561000 | #Constraints: 30364
625.40/627.55 c #Conflicts: 562000 | #Constraints: 31364
625.40/627.55 c #Conflicts: 563000 | #Constraints: 32364
625.40/627.55 c #Conflicts: 564000 | #Constraints: 33364
625.40/627.55 c #Conflicts: 565000 | #Constraints: 34364
625.40/627.55 c #Conflicts: 566000 | #Constraints: 35364
625.40/627.55 c #Conflicts: 567000 | #Constraints: 36364
733.98/736.47 c #Conflicts: 568000 | #Constraints: 37364
733.98/736.47 c #Conflicts: 569000 | #Constraints: 38364
733.98/736.47 c #Conflicts: 570000 | #Constraints: 39364
733.98/736.47 c #Conflicts: 571000 | #Constraints: 40364
733.98/736.47 c #Conflicts: 572000 | #Constraints: 41364
733.98/736.47 c #Conflicts: 573000 | #Constraints: 42364
733.98/736.47 c #Conflicts: 574000 | #Constraints: 43364
733.98/736.47 c #Conflicts: 575000 | #Constraints: 44364
733.98/736.47 c #Conflicts: 576000 | #Constraints: 45364
733.98/736.47 c #Conflicts: 577000 | #Constraints: 46364
733.98/736.47 c #Conflicts: 578000 | #Constraints: 47364
733.98/736.47 c #Conflicts: 579000 | #Constraints: 48364
733.98/736.47 c #Conflicts: 580000 | #Constraints: 49364
733.98/736.47 c #Conflicts: 581000 | #Constraints: 50364
733.98/736.47 c #Conflicts: 582000 | #Constraints: 51364
733.98/736.47 c #Conflicts: 583000 | #Constraints: 52364
733.98/736.47 c #Conflicts: 584000 | #Constraints: 53364
733.98/736.47 c #Conflicts: 585000 | #Constraints: 54364
733.98/736.47 c #Conflicts: 586000 | #Constraints: 55364
733.98/736.47 c #Conflicts: 587000 | #Constraints: 56364
733.98/736.47 c #Conflicts: 588000 | #Constraints: 57364
733.98/736.47 c #Conflicts: 589000 | #Constraints: 58364
733.98/736.47 c #Conflicts: 590000 | #Constraints: 59364
733.98/736.47 c #Conflicts: 591000 | #Constraints: 60364
733.98/736.47 c #Conflicts: 592000 | #Constraints: 61364
733.98/736.47 c #Conflicts: 593000 | #Constraints: 62364
733.98/736.47 c #Conflicts: 594000 | #Constraints: 63364
733.98/736.47 c #Conflicts: 595000 | #Constraints: 64364
733.98/736.47 c #Conflicts: 596000 | #Constraints: 65364
733.98/736.47 c #Conflicts: 597000 | #Constraints: 66364
733.98/736.47 c #Conflicts: 598000 | #Constraints: 67364
733.98/736.47 c #Conflicts: 599000 | #Constraints: 68364
733.98/736.47 c #Conflicts: 600000 | #Constraints: 69364
733.98/736.47 c #Conflicts: 601000 | #Constraints: 70364
733.98/736.47 c #Conflicts: 602000 | #Constraints: 71364
733.98/736.47 c #Conflicts: 603000 | #Constraints: 72364
733.98/736.47 c #Conflicts: 604000 | #Constraints: 73364
733.98/736.47 c #Conflicts: 605000 | #Constraints: 74364
733.98/736.47 c #Conflicts: 606000 | #Constraints: 75364
733.98/736.47 c #Conflicts: 607000 | #Constraints: 76364
733.98/736.47 c #Conflicts: 608000 | #Constraints: 77364
733.98/736.47 c #Conflicts: 609000 | #Constraints: 78364
733.98/736.47 c #Conflicts: 610000 | #Constraints: 79364
733.98/736.47 c #Conflicts: 611000 | #Constraints: 80364
733.98/736.47 c #Conflicts: 612000 | #Constraints: 81364
733.98/736.47 c #Conflicts: 613000 | #Constraints: 82364
733.98/736.47 c #Conflicts: 614000 | #Constraints: 83364
733.98/736.47 c #Conflicts: 615000 | #Constraints: 84364
733.98/736.47 c INPROCESSING
733.98/736.47 c GARBAGE COLLECT
733.98/736.47 c rational objective 87
769.18/771.74 c #Conflicts: 616000 | #Constraints: 46521
769.18/771.74 c #Conflicts: 617000 | #Constraints: 47521
769.18/771.74 c #Conflicts: 618000 | #Constraints: 48521
769.18/771.74 c #Conflicts: 619000 | #Constraints: 49521
769.18/771.74 c #Conflicts: 620000 | #Constraints: 50521
769.18/771.74 c #Conflicts: 621000 | #Constraints: 51521
769.18/771.74 c #Conflicts: 622000 | #Constraints: 52521
769.18/771.74 c #Conflicts: 623000 | #Constraints: 53521
769.18/771.74 c #Conflicts: 624000 | #Constraints: 54521
769.18/771.74 c #Conflicts: 625000 | #Constraints: 55521
769.18/771.74 c #Conflicts: 626000 | #Constraints: 56521
769.18/771.74 c #Conflicts: 627000 | #Constraints: 57521
769.18/771.74 c #Conflicts: 628000 | #Constraints: 58521
769.18/771.74 c #Conflicts: 629000 | #Constraints: 59521
769.18/771.74 c #Conflicts: 630000 | #Constraints: 60521
769.18/771.74 c #Conflicts: 631000 | #Constraints: 61521
769.18/771.74 c #Conflicts: 632000 | #Constraints: 62521
769.18/771.74 c INPROCESSING
769.18/771.74 c GARBAGE COLLECT
769.18/771.74 c rational objective 87
797.10/799.74 c #Conflicts: 633000 | #Constraints: 35365
797.10/799.74 c #Conflicts: 634000 | #Constraints: 36365
797.10/799.74 c #Conflicts: 635000 | #Constraints: 37365
797.10/799.74 c #Conflicts: 636000 | #Constraints: 38365
797.10/799.74 c #Conflicts: 637000 | #Constraints: 39365
797.10/799.74 c #Conflicts: 638000 | #Constraints: 40365
797.10/799.74 c #Conflicts: 639000 | #Constraints: 41365
797.10/799.74 c #Conflicts: 640000 | #Constraints: 42365
797.10/799.74 c #Conflicts: 641000 | #Constraints: 43365
797.10/799.74 c #Conflicts: 642000 | #Constraints: 44365
797.10/799.74 c #Conflicts: 643000 | #Constraints: 45365
797.10/799.74 c #Conflicts: 644000 | #Constraints: 46365
797.10/799.74 c #Conflicts: 645000 | #Constraints: 47365
797.10/799.74 c #Conflicts: 646000 | #Constraints: 48365
797.10/799.74 c #Conflicts: 647000 | #Constraints: 49365
797.10/799.74 c #Conflicts: 648000 | #Constraints: 50365
797.10/799.74 c #Conflicts: 649000 | #Constraints: 51365
797.10/799.74 c #Conflicts: 650000 | #Constraints: 52365
797.10/799.74 c INPROCESSING
797.10/799.74 c GARBAGE COLLECT
797.10/799.74 c rational objective 87
887.44/890.39 c #Conflicts: 651000 | #Constraints: 30456
887.44/890.39 c #Conflicts: 652000 | #Constraints: 31456
887.44/890.39 c #Conflicts: 653000 | #Constraints: 32456
887.44/890.39 c #Conflicts: 654000 | #Constraints: 33456
887.44/890.39 c #Conflicts: 655000 | #Constraints: 34456
887.44/890.39 c #Conflicts: 656000 | #Constraints: 35456
887.44/890.39 c #Conflicts: 657000 | #Constraints: 36456
887.44/890.39 c #Conflicts: 658000 | #Constraints: 37456
887.44/890.39 c #Conflicts: 659000 | #Constraints: 38456
887.44/890.39 c #Conflicts: 660000 | #Constraints: 39456
887.44/890.39 c #Conflicts: 661000 | #Constraints: 40456
887.44/890.39 c #Conflicts: 662000 | #Constraints: 41456
887.44/890.39 c #Conflicts: 663000 | #Constraints: 42456
887.44/890.39 c #Conflicts: 664000 | #Constraints: 43456
887.44/890.39 c #Conflicts: 665000 | #Constraints: 44456
887.44/890.39 c #Conflicts: 666000 | #Constraints: 45456
887.44/890.39 c #Conflicts: 667000 | #Constraints: 46456
887.44/890.39 c INPROCESSING
887.44/890.39 c GARBAGE COLLECT
887.44/890.39 c #Conflicts: 668000 | #Constraints: 27125
887.44/890.39 c #Conflicts: 669000 | #Constraints: 28125
887.44/890.39 c #Conflicts: 670000 | #Constraints: 29125
887.44/890.39 c #Conflicts: 671000 | #Constraints: 30125
887.44/890.39 c #Conflicts: 672000 | #Constraints: 31125
887.44/890.39 c #Conflicts: 673000 | #Constraints: 32125
887.44/890.39 c #Conflicts: 674000 | #Constraints: 33125
887.44/890.39 c #Conflicts: 675000 | #Constraints: 34125
887.44/890.39 c #Conflicts: 676000 | #Constraints: 35125
887.44/890.39 c #Conflicts: 677000 | #Constraints: 36125
887.44/890.39 c #Conflicts: 678000 | #Constraints: 37125
887.44/890.39 c #Conflicts: 679000 | #Constraints: 38125
887.44/890.39 c #Conflicts: 680000 | #Constraints: 39125
887.44/890.39 c #Conflicts: 681000 | #Constraints: 40125
887.44/890.39 c #Conflicts: 682000 | #Constraints: 41125
887.44/890.39 c #Conflicts: 683000 | #Constraints: 42125
887.44/890.39 c #Conflicts: 684000 | #Constraints: 43125
887.44/890.39 c #Conflicts: 685000 | #Constraints: 44125
887.44/890.39 c INPROCESSING
887.44/890.39 c GARBAGE COLLECT
887.44/890.39 c #Conflicts: 686000 | #Constraints: 25942
887.44/890.39 c #Conflicts: 687000 | #Constraints: 26942
887.44/890.39 c #Conflicts: 688000 | #Constraints: 27942
887.44/890.39 c #Conflicts: 689000 | #Constraints: 28942
887.44/890.39 c #Conflicts: 690000 | #Constraints: 29942
887.44/890.39 c #Conflicts: 691000 | #Constraints: 30942
887.44/890.39 c #Conflicts: 692000 | #Constraints: 31942
887.44/890.39 c #Conflicts: 693000 | #Constraints: 32942
887.44/890.39 c #Conflicts: 694000 | #Constraints: 33942
887.44/890.39 c #Conflicts: 695000 | #Constraints: 34942
887.44/890.39 c #Conflicts: 696000 | #Constraints: 35942
887.44/890.39 c #Conflicts: 697000 | #Constraints: 36942
887.44/890.39 c #Conflicts: 698000 | #Constraints: 37942
887.44/890.39 c #Conflicts: 699000 | #Constraints: 38942
887.44/890.39 c #Conflicts: 700000 | #Constraints: 39942
887.44/890.39 c #Conflicts: 701000 | #Constraints: 40942
887.44/890.39 c #Conflicts: 702000 | #Constraints: 41942
887.44/890.39 c #Conflicts: 703000 | #Constraints: 42942
887.44/890.39 c #Conflicts: 704000 | #Constraints: 43942
887.44/890.39 c INPROCESSING
887.44/890.39 c GARBAGE COLLECT
887.44/890.39 c #Conflicts: 705000 | #Constraints: 26264
887.44/890.39 c #Conflicts: 706000 | #Constraints: 27264
887.44/890.39 c #Conflicts: 707000 | #Constraints: 28264
887.44/890.39 c #Conflicts: 708000 | #Constraints: 29264
887.44/890.39 c #Conflicts: 709000 | #Constraints: 30264
887.44/890.39 c #Conflicts: 710000 | #Constraints: 31264
887.44/890.39 c #Conflicts: 711000 | #Constraints: 32264
887.44/890.39 c #Conflicts: 712000 | #Constraints: 33264
887.44/890.39 c #Conflicts: 713000 | #Constraints: 34264
887.44/890.39 c #Conflicts: 714000 | #Constraints: 35264
887.44/890.39 c #Conflicts: 715000 | #Constraints: 36264
887.44/890.39 c #Conflicts: 716000 | #Constraints: 37264
887.44/890.39 c #Conflicts: 717000 | #Constraints: 38264
887.44/890.39 c #Conflicts: 718000 | #Constraints: 39264
887.44/890.39 c #Conflicts: 719000 | #Constraints: 40264
887.44/890.39 c #Conflicts: 720000 | #Constraints: 41264
887.44/890.39 c #Conflicts: 721000 | #Constraints: 42264
887.44/890.39 c #Conflicts: 722000 | #Constraints: 43264
887.44/890.39 c #Conflicts: 723000 | #Constraints: 44264
887.44/890.39 c #Conflicts: 724000 | #Constraints: 45264
887.44/890.39 c #Conflicts: 725000 | #Constraints: 46265
887.44/890.39 c #Conflicts: 726000 | #Constraints: 47265
887.44/890.39 c #Conflicts: 727000 | #Constraints: 48265
1016.06/1019.33 c #Conflicts: 728000 | #Constraints: 49265
1016.06/1019.33 c #Conflicts: 729000 | #Constraints: 50265
1016.06/1019.33 c #Conflicts: 730000 | #Constraints: 51265
1016.06/1019.33 c #Conflicts: 731000 | #Constraints: 52265
1016.06/1019.33 c #Conflicts: 732000 | #Constraints: 53265
1016.06/1019.33 c #Conflicts: 733000 | #Constraints: 54265
1016.06/1019.33 c #Conflicts: 734000 | #Constraints: 55265
1016.06/1019.33 c #Conflicts: 735000 | #Constraints: 56265
1016.06/1019.33 c #Conflicts: 736000 | #Constraints: 57265
1016.06/1019.33 c #Conflicts: 737000 | #Constraints: 58265
1016.06/1019.33 c #Conflicts: 738000 | #Constraints: 59265
1016.06/1019.33 c #Conflicts: 739000 | #Constraints: 60265
1016.06/1019.33 c #Conflicts: 740000 | #Constraints: 61265
1016.06/1019.33 c #Conflicts: 741000 | #Constraints: 62265
1016.06/1019.33 c #Conflicts: 742000 | #Constraints: 63265
1016.06/1019.33 c #Conflicts: 743000 | #Constraints: 64265
1016.06/1019.33 c #Conflicts: 744000 | #Constraints: 65265
1016.06/1019.33 c #Conflicts: 745000 | #Constraints: 66265
1016.06/1019.33 c #Conflicts: 746000 | #Constraints: 67265
1016.06/1019.33 c #Conflicts: 747000 | #Constraints: 68265
1016.06/1019.33 c #Conflicts: 748000 | #Constraints: 69265
1016.06/1019.33 c #Conflicts: 749000 | #Constraints: 70265
1016.06/1019.33 c #Conflicts: 750000 | #Constraints: 71265
1016.06/1019.33 c #Conflicts: 751000 | #Constraints: 72265
1016.06/1019.33 c #Conflicts: 752000 | #Constraints: 73265
1016.06/1019.33 c #Conflicts: 753000 | #Constraints: 74265
1016.06/1019.33 c #Conflicts: 754000 | #Constraints: 75265
1016.06/1019.33 c #Conflicts: 755000 | #Constraints: 76265
1016.06/1019.33 c #Conflicts: 756000 | #Constraints: 77265
1016.06/1019.33 c #Conflicts: 757000 | #Constraints: 78265
1016.06/1019.33 c #Conflicts: 758000 | #Constraints: 79265
1016.06/1019.33 c #Conflicts: 759000 | #Constraints: 80265
1016.06/1019.33 c #Conflicts: 760000 | #Constraints: 81265
1016.06/1019.33 c #Conflicts: 761000 | #Constraints: 82265
1016.06/1019.33 c #Conflicts: 762000 | #Constraints: 83266
1016.06/1019.33 c #Conflicts: 763000 | #Constraints: 84266
1016.06/1019.33 c #Conflicts: 764000 | #Constraints: 85266
1016.06/1019.33 c #Conflicts: 765000 | #Constraints: 86266
1016.06/1019.33 c #Conflicts: 766000 | #Constraints: 87266
1016.06/1019.33 c #Conflicts: 767000 | #Constraints: 88266
1016.06/1019.33 c #Conflicts: 768000 | #Constraints: 89266
1016.06/1019.33 c #Conflicts: 769000 | #Constraints: 90266
1016.06/1019.33 c #Conflicts: 770000 | #Constraints: 91266
1016.06/1019.33 c #Conflicts: 771000 | #Constraints: 92266
1016.06/1019.33 c #Conflicts: 772000 | #Constraints: 93266
1016.06/1019.33 c INPROCESSING
1016.06/1019.33 c GARBAGE COLLECT
1016.06/1019.33 c rational objective 87
1126.14/1129.75 c #Conflicts: 773000 | #Constraints: 50583
1126.14/1129.75 c #Conflicts: 774000 | #Constraints: 51583
1126.14/1129.75 c #Conflicts: 775000 | #Constraints: 52583
1126.14/1129.75 c #Conflicts: 776000 | #Constraints: 53583
1126.14/1129.75 c #Conflicts: 777000 | #Constraints: 54583
1126.14/1129.75 c #Conflicts: 778000 | #Constraints: 55583
1126.14/1129.75 c #Conflicts: 779000 | #Constraints: 56583
1126.14/1129.75 c #Conflicts: 780000 | #Constraints: 57583
1126.14/1129.75 c #Conflicts: 781000 | #Constraints: 58583
1126.14/1129.75 c #Conflicts: 782000 | #Constraints: 59583
1126.14/1129.75 c #Conflicts: 783000 | #Constraints: 60583
1126.14/1129.75 c #Conflicts: 784000 | #Constraints: 61583
1126.14/1129.75 c #Conflicts: 785000 | #Constraints: 62583
1126.14/1129.75 c #Conflicts: 786000 | #Constraints: 63583
1126.14/1129.75 c #Conflicts: 787000 | #Constraints: 64583
1126.14/1129.75 c #Conflicts: 788000 | #Constraints: 65583
1126.14/1129.75 c #Conflicts: 789000 | #Constraints: 66583
1126.14/1129.75 c #Conflicts: 790000 | #Constraints: 67583
1126.14/1129.75 c #Conflicts: 791000 | #Constraints: 68583
1126.14/1129.75 c #Conflicts: 792000 | #Constraints: 69583
1126.14/1129.75 c INPROCESSING
1126.14/1129.75 c GARBAGE COLLECT
1126.14/1129.75 c #Conflicts: 793000 | #Constraints: 38957
1126.14/1129.75 c #Conflicts: 794000 | #Constraints: 39957
1126.14/1129.75 c #Conflicts: 795000 | #Constraints: 40957
1126.14/1129.75 c #Conflicts: 796000 | #Constraints: 41957
1126.14/1129.75 c #Conflicts: 797000 | #Constraints: 42957
1126.14/1129.75 c #Conflicts: 798000 | #Constraints: 43957
1126.14/1129.75 c #Conflicts: 799000 | #Constraints: 44957
1126.14/1129.75 c #Conflicts: 800000 | #Constraints: 45957
1126.14/1129.75 c #Conflicts: 801000 | #Constraints: 46957
1126.14/1129.75 c #Conflicts: 802000 | #Constraints: 47957
1126.14/1129.75 c #Conflicts: 803000 | #Constraints: 48957
1126.14/1129.75 c #Conflicts: 804000 | #Constraints: 49957
1126.14/1129.75 c #Conflicts: 805000 | #Constraints: 50957
1126.14/1129.75 c #Conflicts: 806000 | #Constraints: 51957
1126.14/1129.75 c #Conflicts: 807000 | #Constraints: 52957
1126.14/1129.75 c #Conflicts: 808000 | #Constraints: 53957
1126.14/1129.75 c #Conflicts: 809000 | #Constraints: 54957
1126.14/1129.75 c #Conflicts: 810000 | #Constraints: 55957
1126.14/1129.75 c #Conflicts: 811000 | #Constraints: 56957
1126.14/1129.75 c #Conflicts: 812000 | #Constraints: 57957
1126.14/1129.75 c INPROCESSING
1126.14/1129.75 c GARBAGE COLLECT
1126.14/1129.75 c #Conflicts: 813000 | #Constraints: 33275
1126.14/1129.75 c #Conflicts: 814000 | #Constraints: 34275
1126.14/1129.75 c #Conflicts: 815000 | #Constraints: 35275
1126.14/1129.75 c #Conflicts: 816000 | #Constraints: 36275
1126.14/1129.75 c #Conflicts: 817000 | #Constraints: 37275
1126.14/1129.75 c #Conflicts: 818000 | #Constraints: 38275
1126.14/1129.75 c #Conflicts: 819000 | #Constraints: 39275
1126.14/1129.75 c #Conflicts: 820000 | #Constraints: 40275
1126.14/1129.75 c #Conflicts: 821000 | #Constraints: 41275
1126.14/1129.75 c #Conflicts: 822000 | #Constraints: 42275
1126.14/1129.75 c #Conflicts: 823000 | #Constraints: 43275
1126.14/1129.75 c #Conflicts: 824000 | #Constraints: 44275
1126.14/1129.75 c #Conflicts: 825000 | #Constraints: 45275
1126.14/1129.75 c #Conflicts: 826000 | #Constraints: 46275
1126.14/1129.75 c #Conflicts: 827000 | #Constraints: 47275
1126.14/1129.75 c #Conflicts: 828000 | #Constraints: 48275
1126.14/1129.75 c #Conflicts: 829000 | #Constraints: 49275
1126.14/1129.75 c #Conflicts: 830000 | #Constraints: 50275
1126.14/1129.75 c #Conflicts: 831000 | #Constraints: 51275
1126.14/1129.75 c INPROCESSING
1126.14/1129.75 c GARBAGE COLLECT
1126.14/1129.75 c #Conflicts: 832000 | #Constraints: 29495
1126.14/1129.75 c #Conflicts: 833000 | #Constraints: 30495
1126.14/1129.75 c #Conflicts: 834000 | #Constraints: 31495
1126.14/1129.75 c #Conflicts: 835000 | #Constraints: 32495
1126.14/1129.75 c #Conflicts: 836000 | #Constraints: 33495
1126.14/1129.75 c #Conflicts: 837000 | #Constraints: 34495
1126.14/1129.75 c #Conflicts: 838000 | #Constraints: 35495
1126.14/1129.75 c #Conflicts: 839000 | #Constraints: 36495
1126.14/1129.75 c #Conflicts: 840000 | #Constraints: 37495
1126.14/1129.75 c #Conflicts: 841000 | #Constraints: 38495
1126.14/1129.75 c #Conflicts: 842000 | #Constraints: 39495
1126.14/1129.75 c #Conflicts: 843000 | #Constraints: 40495
1126.14/1129.75 c #Conflicts: 844000 | #Constraints: 41495
1126.14/1129.75 c #Conflicts: 845000 | #Constraints: 42495
1126.14/1129.75 c #Conflicts: 846000 | #Constraints: 43495
1126.14/1129.75 c #Conflicts: 847000 | #Constraints: 44495
1126.14/1129.75 c #Conflicts: 848000 | #Constraints: 45495
1126.14/1129.75 c #Conflicts: 849000 | #Constraints: 46495
1135.11/1138.72 c #Conflicts: 850000 | #Constraints: 47495
1135.11/1138.72 c #Conflicts: 851000 | #Constraints: 48495
1135.11/1138.72 c #Conflicts: 852000 | #Constraints: 49495
1135.11/1138.72 c INPROCESSING
1135.11/1138.72 c GARBAGE COLLECT
1135.11/1138.72 c rational objective 87
1269.44/1273.51 c #Conflicts: 853000 | #Constraints: 29016
1269.44/1273.51 c #Conflicts: 854000 | #Constraints: 30016
1269.44/1273.51 c #Conflicts: 855000 | #Constraints: 31016
1269.44/1273.51 c #Conflicts: 856000 | #Constraints: 32016
1269.44/1273.51 c #Conflicts: 857000 | #Constraints: 33016
1269.44/1273.51 c #Conflicts: 858000 | #Constraints: 34016
1269.44/1273.51 c #Conflicts: 859000 | #Constraints: 35016
1269.44/1273.51 c #Conflicts: 860000 | #Constraints: 36016
1269.44/1273.51 c #Conflicts: 861000 | #Constraints: 37016
1269.44/1273.51 c #Conflicts: 862000 | #Constraints: 38016
1269.44/1273.51 c #Conflicts: 863000 | #Constraints: 39016
1269.44/1273.51 c #Conflicts: 864000 | #Constraints: 40016
1269.44/1273.51 c #Conflicts: 865000 | #Constraints: 41016
1269.44/1273.51 c #Conflicts: 866000 | #Constraints: 42016
1269.44/1273.51 c #Conflicts: 867000 | #Constraints: 43016
1269.44/1273.51 c #Conflicts: 868000 | #Constraints: 44016
1269.44/1273.51 c #Conflicts: 869000 | #Constraints: 45016
1269.44/1273.51 c #Conflicts: 870000 | #Constraints: 46016
1269.44/1273.51 c #Conflicts: 871000 | #Constraints: 47016
1269.44/1273.51 c #Conflicts: 872000 | #Constraints: 48016
1269.44/1273.51 c INPROCESSING
1269.44/1273.51 c GARBAGE COLLECT
1269.44/1273.51 c #Conflicts: 873000 | #Constraints: 28262
1269.44/1273.51 c #Conflicts: 874000 | #Constraints: 29262
1269.44/1273.51 c #Conflicts: 875000 | #Constraints: 30262
1269.44/1273.51 c #Conflicts: 876000 | #Constraints: 31262
1269.44/1273.51 c #Conflicts: 877000 | #Constraints: 32262
1269.44/1273.51 c #Conflicts: 878000 | #Constraints: 33262
1269.44/1273.51 c #Conflicts: 879000 | #Constraints: 34262
1269.44/1273.51 c #Conflicts: 880000 | #Constraints: 35262
1269.44/1273.51 c #Conflicts: 881000 | #Constraints: 36262
1269.44/1273.51 c #Conflicts: 882000 | #Constraints: 37262
1269.44/1273.51 c #Conflicts: 883000 | #Constraints: 38262
1269.44/1273.51 c #Conflicts: 884000 | #Constraints: 39262
1269.44/1273.51 c #Conflicts: 885000 | #Constraints: 40262
1269.44/1273.51 c #Conflicts: 886000 | #Constraints: 41262
1269.44/1273.51 c #Conflicts: 887000 | #Constraints: 42262
1269.44/1273.51 c #Conflicts: 888000 | #Constraints: 43262
1269.44/1273.51 c #Conflicts: 889000 | #Constraints: 44262
1269.44/1273.51 c #Conflicts: 890000 | #Constraints: 45262
1269.44/1273.51 c #Conflicts: 891000 | #Constraints: 46262
1269.44/1273.51 c #Conflicts: 892000 | #Constraints: 47262
1269.44/1273.51 c #Conflicts: 893000 | #Constraints: 48262
1269.44/1273.51 c #Conflicts: 894000 | #Constraints: 49262
1269.44/1273.51 c #Conflicts: 895000 | #Constraints: 50262
1269.44/1273.51 c #Conflicts: 896000 | #Constraints: 51262
1269.44/1273.51 c #Conflicts: 897000 | #Constraints: 52262
1269.44/1273.51 c #Conflicts: 898000 | #Constraints: 53262
1269.44/1273.51 c #Conflicts: 899000 | #Constraints: 54262
1269.44/1273.51 c #Conflicts: 900000 | #Constraints: 55262
1269.44/1273.51 c #Conflicts: 901000 | #Constraints: 56262
1269.44/1273.51 c #Conflicts: 902000 | #Constraints: 57262
1269.44/1273.51 c #Conflicts: 903000 | #Constraints: 58262
1269.44/1273.51 c #Conflicts: 904000 | #Constraints: 59262
1269.44/1273.51 c #Conflicts: 905000 | #Constraints: 60262
1269.44/1273.51 c #Conflicts: 906000 | #Constraints: 61262
1269.44/1273.51 c #Conflicts: 907000 | #Constraints: 62262
1269.44/1273.51 c #Conflicts: 908000 | #Constraints: 63262
1269.44/1273.51 c #Conflicts: 909000 | #Constraints: 64262
1269.44/1273.51 c #Conflicts: 910000 | #Constraints: 65262
1269.44/1273.51 c #Conflicts: 911000 | #Constraints: 66262
1269.44/1273.51 c #Conflicts: 912000 | #Constraints: 67262
1269.44/1273.51 c #Conflicts: 913000 | #Constraints: 68262
1269.44/1273.51 c #Conflicts: 914000 | #Constraints: 69262
1269.44/1273.51 c #Conflicts: 915000 | #Constraints: 70262
1269.44/1273.51 c #Conflicts: 916000 | #Constraints: 71262
1269.44/1273.51 c #Conflicts: 917000 | #Constraints: 72262
1269.44/1273.51 c #Conflicts: 918000 | #Constraints: 73262
1269.44/1273.51 c #Conflicts: 919000 | #Constraints: 74262
1269.44/1273.51 c #Conflicts: 920000 | #Constraints: 75262
1269.44/1273.51 c #Conflicts: 921000 | #Constraints: 76262
1269.44/1273.51 c #Conflicts: 922000 | #Constraints: 77262
1269.44/1273.51 c #Conflicts: 923000 | #Constraints: 78262
1269.44/1273.51 c #Conflicts: 924000 | #Constraints: 79262
1269.44/1273.51 c #Conflicts: 925000 | #Constraints: 80262
1269.44/1273.51 c #Conflicts: 926000 | #Constraints: 81262
1269.44/1273.51 c #Conflicts: 927000 | #Constraints: 82262
1269.44/1273.51 c #Conflicts: 928000 | #Constraints: 83262
1269.44/1273.51 c #Conflicts: 929000 | #Constraints: 84262
1269.44/1273.51 c #Conflicts: 930000 | #Constraints: 85262
1269.44/1273.51 c #Conflicts: 931000 | #Constraints: 86262
1384.43/1389.00 c #Conflicts: 932000 | #Constraints: 87262
1384.43/1389.00 c #Conflicts: 933000 | #Constraints: 88262
1384.43/1389.00 c #Conflicts: 934000 | #Constraints: 89262
1384.43/1389.00 c #Conflicts: 935000 | #Constraints: 90262
1384.43/1389.00 c #Conflicts: 936000 | #Constraints: 91262
1384.43/1389.00 c #Conflicts: 937000 | #Constraints: 92262
1384.43/1389.00 c #Conflicts: 938000 | #Constraints: 93262
1384.43/1389.00 c #Conflicts: 939000 | #Constraints: 94262
1384.43/1389.00 c #Conflicts: 940000 | #Constraints: 95262
1384.43/1389.00 c #Conflicts: 941000 | #Constraints: 96262
1384.43/1389.00 c #Conflicts: 942000 | #Constraints: 97262
1384.43/1389.00 c #Conflicts: 943000 | #Constraints: 98262
1384.43/1389.00 c #Conflicts: 944000 | #Constraints: 99262
1384.43/1389.00 c #Conflicts: 945000 | #Constraints: 100262
1384.43/1389.00 c #Conflicts: 946000 | #Constraints: 101262
1384.43/1389.00 c #Conflicts: 947000 | #Constraints: 102262
1384.43/1389.00 c #Conflicts: 948000 | #Constraints: 103262
1384.43/1389.00 c INPROCESSING
1384.43/1389.00 c GARBAGE COLLECT
1384.43/1389.00 c #Conflicts: 949000 | #Constraints: 55734
1384.43/1389.00 c #Conflicts: 950000 | #Constraints: 56734
1384.43/1389.00 c #Conflicts: 951000 | #Constraints: 57734
1384.43/1389.00 c #Conflicts: 952000 | #Constraints: 58734
1384.43/1389.00 c #Conflicts: 953000 | #Constraints: 59734
1384.43/1389.00 c #Conflicts: 954000 | #Constraints: 60734
1384.43/1389.00 c #Conflicts: 955000 | #Constraints: 61734
1384.43/1389.00 c #Conflicts: 956000 | #Constraints: 62734
1384.43/1389.00 c #Conflicts: 957000 | #Constraints: 63734
1384.43/1389.00 c #Conflicts: 958000 | #Constraints: 64734
1384.43/1389.00 c #Conflicts: 959000 | #Constraints: 65734
1384.43/1389.00 c #Conflicts: 960000 | #Constraints: 66734
1384.43/1389.00 c #Conflicts: 961000 | #Constraints: 67734
1384.43/1389.00 c #Conflicts: 962000 | #Constraints: 68734
1384.43/1389.00 c #Conflicts: 963000 | #Constraints: 69734
1384.43/1389.00 c #Conflicts: 964000 | #Constraints: 70734
1384.43/1389.00 c #Conflicts: 965000 | #Constraints: 71734
1384.43/1389.00 c #Conflicts: 966000 | #Constraints: 72734
1384.43/1389.00 c #Conflicts: 967000 | #Constraints: 73734
1384.43/1389.00 c #Conflicts: 968000 | #Constraints: 74734
1384.43/1389.00 c #Conflicts: 969000 | #Constraints: 75734
1384.43/1389.00 c #Conflicts: 970000 | #Constraints: 76734
1384.43/1389.00 c INPROCESSING
1384.43/1389.00 c GARBAGE COLLECT
1384.43/1389.00 c rational objective 87
1431.29/1435.94 c #Conflicts: 971000 | #Constraints: 42643
1431.29/1435.94 c #Conflicts: 972000 | #Constraints: 43643
1431.29/1435.94 c #Conflicts: 973000 | #Constraints: 44643
1431.29/1435.94 c #Conflicts: 974000 | #Constraints: 45643
1431.29/1435.94 c #Conflicts: 975000 | #Constraints: 46643
1431.29/1435.94 c #Conflicts: 976000 | #Constraints: 47643
1431.29/1435.94 c #Conflicts: 977000 | #Constraints: 48643
1431.29/1435.94 c #Conflicts: 978000 | #Constraints: 49643
1431.29/1435.94 c #Conflicts: 979000 | #Constraints: 50643
1431.29/1435.94 c #Conflicts: 980000 | #Constraints: 51643
1431.29/1435.94 c #Conflicts: 981000 | #Constraints: 52643
1431.29/1435.94 c #Conflicts: 982000 | #Constraints: 53643
1431.29/1435.94 c #Conflicts: 983000 | #Constraints: 54643
1431.29/1435.94 c #Conflicts: 984000 | #Constraints: 55643
1431.29/1435.94 c #Conflicts: 985000 | #Constraints: 56643
1431.29/1435.94 c #Conflicts: 986000 | #Constraints: 57643
1431.29/1435.94 c #Conflicts: 987000 | #Constraints: 58643
1431.29/1435.94 c #Conflicts: 988000 | #Constraints: 59643
1431.29/1435.94 c #Conflicts: 989000 | #Constraints: 60643
1431.29/1435.94 c #Conflicts: 990000 | #Constraints: 61643
1431.29/1435.94 c #Conflicts: 991000 | #Constraints: 62643
1431.29/1435.94 c #Conflicts: 992000 | #Constraints: 63643
1431.29/1435.94 c INPROCESSING
1431.29/1435.94 c GARBAGE COLLECT
1431.29/1435.94 c rational objective 87
1480.96/1485.73 c #Conflicts: 993000 | #Constraints: 36184
1480.96/1485.73 c #Conflicts: 994000 | #Constraints: 37184
1480.96/1485.73 c #Conflicts: 995000 | #Constraints: 38184
1480.96/1485.73 c #Conflicts: 996000 | #Constraints: 39184
1480.96/1485.73 c #Conflicts: 997000 | #Constraints: 40184
1480.96/1485.73 c #Conflicts: 998000 | #Constraints: 41184
1480.96/1485.73 c #Conflicts: 999000 | #Constraints: 42184
1480.96/1485.73 c #Conflicts: 1000000 | #Constraints: 43184
1480.96/1485.73 c #Conflicts: 1001000 | #Constraints: 44184
1480.96/1485.73 c #Conflicts: 1002000 | #Constraints: 45184
1480.96/1485.73 c #Conflicts: 1003000 | #Constraints: 46184
1480.96/1485.73 c #Conflicts: 1004000 | #Constraints: 47184
1480.96/1485.73 c #Conflicts: 1005000 | #Constraints: 48184
1480.96/1485.73 c #Conflicts: 1006000 | #Constraints: 49184
1480.96/1485.73 c #Conflicts: 1007000 | #Constraints: 50184
1480.96/1485.73 c #Conflicts: 1008000 | #Constraints: 51184
1480.96/1485.73 c #Conflicts: 1009000 | #Constraints: 52184
1480.96/1485.73 c #Conflicts: 1010000 | #Constraints: 53184
1480.96/1485.73 c #Conflicts: 1011000 | #Constraints: 54184
1480.96/1485.73 c #Conflicts: 1012000 | #Constraints: 55184
1480.96/1485.73 c #Conflicts: 1013000 | #Constraints: 56184
1480.96/1485.73 c #Conflicts: 1014000 | #Constraints: 57184
1480.96/1485.73 c INPROCESSING
1480.96/1485.73 c GARBAGE COLLECT
1480.96/1485.73 c rational objective 87
1586.66/1591.74 c #Conflicts: 1015000 | #Constraints: 32943
1586.66/1591.74 c #Conflicts: 1016000 | #Constraints: 33943
1586.66/1591.74 c #Conflicts: 1017000 | #Constraints: 34943
1586.66/1591.74 c #Conflicts: 1018000 | #Constraints: 35943
1586.66/1591.74 c #Conflicts: 1019000 | #Constraints: 36943
1586.66/1591.74 c #Conflicts: 1020000 | #Constraints: 37943
1586.66/1591.74 c #Conflicts: 1021000 | #Constraints: 38943
1586.66/1591.74 c #Conflicts: 1022000 | #Constraints: 39943
1586.66/1591.74 c #Conflicts: 1023000 | #Constraints: 40943
1586.66/1591.74 c #Conflicts: 1024000 | #Constraints: 41943
1586.66/1591.74 c #Conflicts: 1025000 | #Constraints: 42943
1586.66/1591.74 c #Conflicts: 1026000 | #Constraints: 43943
1586.66/1591.74 c #Conflicts: 1027000 | #Constraints: 44943
1586.66/1591.74 c #Conflicts: 1028000 | #Constraints: 45943
1586.66/1591.74 c #Conflicts: 1029000 | #Constraints: 46943
1586.66/1591.74 c #Conflicts: 1030000 | #Constraints: 47943
1586.66/1591.74 c #Conflicts: 1031000 | #Constraints: 48943
1586.66/1591.74 c #Conflicts: 1032000 | #Constraints: 49943
1586.66/1591.74 c #Conflicts: 1033000 | #Constraints: 50943
1586.66/1591.74 c #Conflicts: 1034000 | #Constraints: 51943
1586.66/1591.74 c #Conflicts: 1035000 | #Constraints: 52943
1586.66/1591.74 c #Conflicts: 1036000 | #Constraints: 53943
1586.66/1591.74 c INPROCESSING
1586.66/1591.74 c GARBAGE COLLECT
1586.66/1591.74 c #Conflicts: 1037000 | #Constraints: 31230
1586.66/1591.74 c #Conflicts: 1038000 | #Constraints: 32230
1586.66/1591.74 c #Conflicts: 1039000 | #Constraints: 33230
1586.66/1591.74 c #Conflicts: 1040000 | #Constraints: 34230
1586.66/1591.74 c #Conflicts: 1041000 | #Constraints: 35230
1586.66/1591.74 c #Conflicts: 1042000 | #Constraints: 36230
1586.66/1591.74 c #Conflicts: 1043000 | #Constraints: 37230
1586.66/1591.74 c #Conflicts: 1044000 | #Constraints: 38230
1586.66/1591.74 c #Conflicts: 1045000 | #Constraints: 39230
1586.66/1591.74 c #Conflicts: 1046000 | #Constraints: 40230
1586.66/1591.74 c #Conflicts: 1047000 | #Constraints: 41230
1586.66/1591.74 c #Conflicts: 1048000 | #Constraints: 42230
1586.66/1591.74 c #Conflicts: 1049000 | #Constraints: 43230
1586.66/1591.74 c #Conflicts: 1050000 | #Constraints: 44230
1586.66/1591.74 c #Conflicts: 1051000 | #Constraints: 45230
1586.66/1591.74 c #Conflicts: 1052000 | #Constraints: 46230
1586.66/1591.74 c #Conflicts: 1053000 | #Constraints: 47230
1586.66/1591.74 c #Conflicts: 1054000 | #Constraints: 48230
1586.66/1591.74 c #Conflicts: 1055000 | #Constraints: 49230
1586.66/1591.74 c #Conflicts: 1056000 | #Constraints: 50230
1586.66/1591.74 c #Conflicts: 1057000 | #Constraints: 51230
1586.66/1591.74 c #Conflicts: 1058000 | #Constraints: 52230
1586.66/1591.74 c INPROCESSING
1586.66/1591.74 c GARBAGE COLLECT
1586.66/1591.74 c #Conflicts: 1059000 | #Constraints: 30152
1586.66/1591.74 c #Conflicts: 1060000 | #Constraints: 31152
1586.66/1591.74 c #Conflicts: 1061000 | #Constraints: 32152
1586.66/1591.74 c #Conflicts: 1062000 | #Constraints: 33152
1586.66/1591.74 c #Conflicts: 1063000 | #Constraints: 34152
1586.66/1591.74 c #Conflicts: 1064000 | #Constraints: 35152
1586.66/1591.74 c #Conflicts: 1065000 | #Constraints: 36152
1586.66/1591.74 c #Conflicts: 1066000 | #Constraints: 37152
1586.66/1591.74 c #Conflicts: 1067000 | #Constraints: 38152
1586.66/1591.74 c #Conflicts: 1068000 | #Constraints: 39152
1586.66/1591.74 c #Conflicts: 1069000 | #Constraints: 40152
1586.66/1591.74 c #Conflicts: 1070000 | #Constraints: 41152
1586.66/1591.74 c #Conflicts: 1071000 | #Constraints: 42152
1586.66/1591.74 c #Conflicts: 1072000 | #Constraints: 43152
1586.66/1591.74 c #Conflicts: 1073000 | #Constraints: 44152
1586.66/1591.74 c #Conflicts: 1074000 | #Constraints: 45152
1586.66/1591.74 c #Conflicts: 1075000 | #Constraints: 46152
1586.66/1591.74 c #Conflicts: 1076000 | #Constraints: 47152
1586.66/1591.74 c #Conflicts: 1077000 | #Constraints: 48152
1586.66/1591.74 c #Conflicts: 1078000 | #Constraints: 49152
1586.66/1591.74 c #Conflicts: 1079000 | #Constraints: 50152
1586.66/1591.74 c #Conflicts: 1080000 | #Constraints: 51152
1586.66/1591.74 c #Conflicts: 1081000 | #Constraints: 52152
1586.66/1591.74 c INPROCESSING
1586.66/1591.74 c GARBAGE COLLECT
1586.66/1591.74 c #Conflicts: 1082000 | #Constraints: 30292
1586.66/1591.74 c #Conflicts: 1083000 | #Constraints: 31292
1586.66/1591.74 c #Conflicts: 1084000 | #Constraints: 32292
1586.66/1591.74 c #Conflicts: 1085000 | #Constraints: 33292
1586.66/1591.74 c #Conflicts: 1086000 | #Constraints: 34292
1586.66/1591.74 c #Conflicts: 1087000 | #Constraints: 35292
1586.66/1591.74 c #Conflicts: 1088000 | #Constraints: 36292
1586.66/1591.74 c #Conflicts: 1089000 | #Constraints: 37292
1586.66/1591.74 c #Conflicts: 1090000 | #Constraints: 38292
1586.66/1591.74 c #Conflicts: 1091000 | #Constraints: 39292
1768.63/1774.24 c #Conflicts: 1092000 | #Constraints: 40292
1768.63/1774.24 c #Conflicts: 1093000 | #Constraints: 41292
1768.63/1774.24 c #Conflicts: 1094000 | #Constraints: 42293
1768.63/1774.24 c #Conflicts: 1095000 | #Constraints: 43293
1768.63/1774.24 c #Conflicts: 1096000 | #Constraints: 44293
1768.63/1774.24 c #Conflicts: 1097000 | #Constraints: 45293
1768.63/1774.24 c #Conflicts: 1098000 | #Constraints: 46293
1768.63/1774.24 c #Conflicts: 1099000 | #Constraints: 47293
1768.63/1774.24 c #Conflicts: 1100000 | #Constraints: 48293
1768.63/1774.24 c #Conflicts: 1101000 | #Constraints: 49293
1768.63/1774.24 c #Conflicts: 1102000 | #Constraints: 50293
1768.63/1774.24 c #Conflicts: 1103000 | #Constraints: 51293
1768.63/1774.24 c #Conflicts: 1104000 | #Constraints: 52293
1768.63/1774.24 c #Conflicts: 1105000 | #Constraints: 53293
1768.63/1774.24 c #Conflicts: 1106000 | #Constraints: 54293
1768.63/1774.24 c #Conflicts: 1107000 | #Constraints: 55293
1768.63/1774.24 c #Conflicts: 1108000 | #Constraints: 56293
1768.63/1774.24 c #Conflicts: 1109000 | #Constraints: 57293
1768.63/1774.24 c #Conflicts: 1110000 | #Constraints: 58293
1768.63/1774.24 c #Conflicts: 1111000 | #Constraints: 59293
1768.63/1774.24 c #Conflicts: 1112000 | #Constraints: 60293
1768.63/1774.24 c #Conflicts: 1113000 | #Constraints: 61293
1768.63/1774.24 c #Conflicts: 1114000 | #Constraints: 62293
1768.63/1774.24 c #Conflicts: 1115000 | #Constraints: 63293
1768.63/1774.24 c #Conflicts: 1116000 | #Constraints: 64293
1768.63/1774.24 c #Conflicts: 1117000 | #Constraints: 65293
1768.63/1774.24 c #Conflicts: 1118000 | #Constraints: 66293
1768.63/1774.24 c #Conflicts: 1119000 | #Constraints: 67293
1768.63/1774.24 c #Conflicts: 1120000 | #Constraints: 68293
1768.63/1774.24 c #Conflicts: 1121000 | #Constraints: 69293
1768.63/1774.24 c #Conflicts: 1122000 | #Constraints: 70293
1768.63/1774.24 c #Conflicts: 1123000 | #Constraints: 71293
1768.63/1774.24 c #Conflicts: 1124000 | #Constraints: 72293
1768.63/1774.24 c #Conflicts: 1125000 | #Constraints: 73293
1768.63/1774.24 c #Conflicts: 1126000 | #Constraints: 74293
1768.63/1774.24 c #Conflicts: 1127000 | #Constraints: 75293
1768.63/1774.24 c #Conflicts: 1128000 | #Constraints: 76293
1768.63/1774.24 c #Conflicts: 1129000 | #Constraints: 77293
1768.63/1774.24 c #Conflicts: 1130000 | #Constraints: 78293
1768.63/1774.24 c #Conflicts: 1131000 | #Constraints: 79293
1768.63/1774.24 c #Conflicts: 1132000 | #Constraints: 80293
1768.63/1774.24 c #Conflicts: 1133000 | #Constraints: 81293
1768.63/1774.24 c #Conflicts: 1134000 | #Constraints: 82293
1768.63/1774.24 c #Conflicts: 1135000 | #Constraints: 83293
1768.63/1774.24 c #Conflicts: 1136000 | #Constraints: 84293
1768.63/1774.24 c #Conflicts: 1137000 | #Constraints: 85293
1768.63/1774.24 c #Conflicts: 1138000 | #Constraints: 86293
1768.63/1774.24 c #Conflicts: 1139000 | #Constraints: 87293
1768.63/1774.24 c #Conflicts: 1140000 | #Constraints: 88293
1768.63/1774.24 c #Conflicts: 1141000 | #Constraints: 89293
1768.63/1774.24 c #Conflicts: 1142000 | #Constraints: 90293
1768.63/1774.24 c #Conflicts: 1143000 | #Constraints: 91293
1768.63/1774.24 c #Conflicts: 1144000 | #Constraints: 92293
1768.63/1774.24 c #Conflicts: 1145000 | #Constraints: 93293
1768.63/1774.24 c #Conflicts: 1146000 | #Constraints: 94293
1768.63/1774.24 c #Conflicts: 1147000 | #Constraints: 95293
1768.63/1774.24 c #Conflicts: 1148000 | #Constraints: 96293
1768.63/1774.24 c #Conflicts: 1149000 | #Constraints: 97293
1768.63/1774.24 c #Conflicts: 1150000 | #Constraints: 98293
1768.63/1774.24 c #Conflicts: 1151000 | #Constraints: 99293
1768.63/1774.24 c #Conflicts: 1152000 | #Constraints: 100293
1768.63/1774.24 c #Conflicts: 1153000 | #Constraints: 101293
1768.63/1774.24 c #Conflicts: 1154000 | #Constraints: 102293
1768.63/1774.24 c #Conflicts: 1155000 | #Constraints: 103293
1768.63/1774.24 c #Conflicts: 1156000 | #Constraints: 104293
1768.63/1774.24 c #Conflicts: 1157000 | #Constraints: 105293
1768.63/1774.24 c #Conflicts: 1158000 | #Constraints: 106293
1768.63/1774.24 c #Conflicts: 1159000 | #Constraints: 107293
1768.63/1774.24 c #Conflicts: 1160000 | #Constraints: 108293
1768.63/1774.24 c #Conflicts: 1161000 | #Constraints: 109293
1768.63/1774.24 c #Conflicts: 1162000 | #Constraints: 110293
1768.63/1774.24 c #Conflicts: 1163000 | #Constraints: 111293
1768.63/1774.24 c #Conflicts: 1164000 | #Constraints: 112293
1768.63/1774.24 c #Conflicts: 1165000 | #Constraints: 113293
1768.63/1774.24 c #Conflicts: 1166000 | #Constraints: 114293
1768.63/1774.24 c INPROCESSING
1768.63/1774.24 c GARBAGE COLLECT
1768.63/1774.24 c rational objective 87
1896.46/1902.44 c #Conflicts: 1167000 | #Constraints: 61378
1896.46/1902.44 c #Conflicts: 1168000 | #Constraints: 62378
1896.46/1902.44 c #Conflicts: 1169000 | #Constraints: 63378
1896.46/1902.44 c #Conflicts: 1170000 | #Constraints: 64378
1896.46/1902.44 c #Conflicts: 1171000 | #Constraints: 65378
1896.46/1902.44 c #Conflicts: 1172000 | #Constraints: 66378
1896.46/1902.44 c #Conflicts: 1173000 | #Constraints: 67378
1896.46/1902.44 c #Conflicts: 1174000 | #Constraints: 68378
1896.46/1902.44 c #Conflicts: 1175000 | #Constraints: 69378
1896.46/1902.44 c #Conflicts: 1176000 | #Constraints: 70378
1896.46/1902.44 c #Conflicts: 1177000 | #Constraints: 71378
1896.46/1902.44 c #Conflicts: 1178000 | #Constraints: 72378
1896.46/1902.44 c #Conflicts: 1179000 | #Constraints: 73378
1896.46/1902.44 c #Conflicts: 1180000 | #Constraints: 74378
1896.46/1902.44 c #Conflicts: 1181000 | #Constraints: 75378
1896.46/1902.44 c #Conflicts: 1182000 | #Constraints: 76378
1896.46/1902.44 c #Conflicts: 1183000 | #Constraints: 77378
1896.46/1902.44 c #Conflicts: 1184000 | #Constraints: 78378
1896.46/1902.44 c #Conflicts: 1185000 | #Constraints: 79378
1896.46/1902.44 c #Conflicts: 1186000 | #Constraints: 80378
1896.46/1902.44 c #Conflicts: 1187000 | #Constraints: 81378
1896.46/1902.44 c #Conflicts: 1188000 | #Constraints: 82378
1896.46/1902.44 c #Conflicts: 1189000 | #Constraints: 83378
1896.46/1902.44 c #Conflicts: 1190000 | #Constraints: 84378
1896.46/1902.44 c INPROCESSING
1896.46/1902.44 c GARBAGE COLLECT
1896.46/1902.44 c #Conflicts: 1191000 | #Constraints: 46543
1896.46/1902.44 c #Conflicts: 1192000 | #Constraints: 47543
1896.46/1902.44 c #Conflicts: 1193000 | #Constraints: 48543
1896.46/1902.44 c #Conflicts: 1194000 | #Constraints: 49543
1896.46/1902.44 c #Conflicts: 1195000 | #Constraints: 50543
1896.46/1902.44 c #Conflicts: 1196000 | #Constraints: 51543
1896.46/1902.44 c #Conflicts: 1197000 | #Constraints: 52543
1896.46/1902.44 c #Conflicts: 1198000 | #Constraints: 53543
1896.46/1902.44 c #Conflicts: 1199000 | #Constraints: 54543
1896.46/1902.44 c #Conflicts: 1200000 | #Constraints: 55543
1896.46/1902.44 c #Conflicts: 1201000 | #Constraints: 56543
1896.46/1902.44 c #Conflicts: 1202000 | #Constraints: 57543
1896.46/1902.44 c #Conflicts: 1203000 | #Constraints: 58543
1896.46/1902.44 c #Conflicts: 1204000 | #Constraints: 59543
1896.46/1902.44 c #Conflicts: 1205000 | #Constraints: 60543
1896.46/1902.44 c #Conflicts: 1206000 | #Constraints: 61543
1896.46/1902.44 c #Conflicts: 1207000 | #Constraints: 62543
1896.46/1902.44 c #Conflicts: 1208000 | #Constraints: 63543
1896.46/1902.44 c #Conflicts: 1209000 | #Constraints: 64543
1896.46/1902.44 c #Conflicts: 1210000 | #Constraints: 65543
1896.46/1902.44 c #Conflicts: 1211000 | #Constraints: 66543
1896.46/1902.44 c #Conflicts: 1212000 | #Constraints: 67543
1896.46/1902.44 c #Conflicts: 1213000 | #Constraints: 68543
1896.46/1902.44 c #Conflicts: 1214000 | #Constraints: 69543
1896.46/1902.44 c INPROCESSING
1896.46/1902.44 c GARBAGE COLLECT
1896.46/1902.44 c #Conflicts: 1215000 | #Constraints: 39088
1896.46/1902.44 c #Conflicts: 1216000 | #Constraints: 40088
1896.46/1902.44 c #Conflicts: 1217000 | #Constraints: 41088
1896.46/1902.44 c #Conflicts: 1218000 | #Constraints: 42088
1896.46/1902.44 c #Conflicts: 1219000 | #Constraints: 43088
1896.46/1902.44 c #Conflicts: 1220000 | #Constraints: 44088
1896.46/1902.44 c #Conflicts: 1221000 | #Constraints: 45088
1896.46/1902.44 c #Conflicts: 1222000 | #Constraints: 46088
1896.46/1902.44 c #Conflicts: 1223000 | #Constraints: 47088
1896.46/1902.44 c #Conflicts: 1224000 | #Constraints: 48088
1896.46/1902.44 c #Conflicts: 1225000 | #Constraints: 49088
1896.46/1902.44 c #Conflicts: 1226000 | #Constraints: 50088
1896.46/1902.44 c #Conflicts: 1227000 | #Constraints: 51088
1896.46/1902.44 c #Conflicts: 1228000 | #Constraints: 52088
1896.46/1902.44 c #Conflicts: 1229000 | #Constraints: 53088
1896.46/1902.44 c #Conflicts: 1230000 | #Constraints: 54088
1896.46/1902.44 c #Conflicts: 1231000 | #Constraints: 55088
1896.46/1902.44 c #Conflicts: 1232000 | #Constraints: 56088
1896.46/1902.44 c #Conflicts: 1233000 | #Constraints: 57088
1896.46/1902.44 c #Conflicts: 1234000 | #Constraints: 58088
1896.46/1902.44 c #Conflicts: 1235000 | #Constraints: 59088
1896.46/1902.44 c #Conflicts: 1236000 | #Constraints: 60088
1896.46/1902.44 c #Conflicts: 1237000 | #Constraints: 61088
1896.46/1902.44 c #Conflicts: 1238000 | #Constraints: 62088
1896.46/1902.44 c INPROCESSING
1896.46/1902.44 c GARBAGE COLLECT
1896.46/1902.44 c #Conflicts: 1239000 | #Constraints: 35193
1896.46/1902.44 c #Conflicts: 1240000 | #Constraints: 36193
1896.46/1902.44 c #Conflicts: 1241000 | #Constraints: 37193
1896.46/1902.44 c #Conflicts: 1242000 | #Constraints: 38193
1896.46/1902.44 c #Conflicts: 1243000 | #Constraints: 39193
1955.19/1961.33 c #Conflicts: 1244000 | #Constraints: 40193
1955.19/1961.33 c #Conflicts: 1245000 | #Constraints: 41193
1955.19/1961.33 c #Conflicts: 1246000 | #Constraints: 42193
1955.19/1961.33 c #Conflicts: 1247000 | #Constraints: 43193
1955.19/1961.33 c #Conflicts: 1248000 | #Constraints: 44193
1955.19/1961.33 c #Conflicts: 1249000 | #Constraints: 45193
1955.19/1961.33 c #Conflicts: 1250000 | #Constraints: 46193
1955.19/1961.33 c #Conflicts: 1251000 | #Constraints: 47193
1955.19/1961.33 c #Conflicts: 1252000 | #Constraints: 48193
1955.19/1961.33 c #Conflicts: 1253000 | #Constraints: 49193
1955.19/1961.33 c #Conflicts: 1254000 | #Constraints: 50193
1955.19/1961.33 c #Conflicts: 1255000 | #Constraints: 51193
1955.19/1961.33 c #Conflicts: 1256000 | #Constraints: 52193
1955.19/1961.33 c #Conflicts: 1257000 | #Constraints: 53193
1955.19/1961.33 c #Conflicts: 1258000 | #Constraints: 54193
1955.19/1961.33 c #Conflicts: 1259000 | #Constraints: 55193
1955.19/1961.33 c #Conflicts: 1260000 | #Constraints: 56193
1955.19/1961.33 c #Conflicts: 1261000 | #Constraints: 57193
1955.19/1961.33 c #Conflicts: 1262000 | #Constraints: 58193
1955.19/1961.33 c INPROCESSING
1955.19/1961.33 c GARBAGE COLLECT
1955.19/1961.33 c #Conflicts: 1263000 | #Constraints: 32898
1955.19/1961.33 c #Conflicts: 1264000 | #Constraints: 33898
1955.19/1961.33 c #Conflicts: 1265000 | #Constraints: 34898
1955.19/1961.33 c #Conflicts: 1266000 | #Constraints: 35898
1955.19/1961.33 c #Conflicts: 1267000 | #Constraints: 36898
1955.19/1961.33 c #Conflicts: 1268000 | #Constraints: 37898
1955.19/1961.33 c #Conflicts: 1269000 | #Constraints: 38898
1955.19/1961.33 c #Conflicts: 1270000 | #Constraints: 39898
1955.19/1961.33 c #Conflicts: 1271000 | #Constraints: 40898
1955.19/1961.33 c #Conflicts: 1272000 | #Constraints: 41898
1955.19/1961.33 c #Conflicts: 1273000 | #Constraints: 42898
1955.19/1961.33 c #Conflicts: 1274000 | #Constraints: 43898
1955.19/1961.33 c #Conflicts: 1275000 | #Constraints: 44898
1955.19/1961.33 c #Conflicts: 1276000 | #Constraints: 45898
1955.19/1961.33 c #Conflicts: 1277000 | #Constraints: 46898
1955.19/1961.33 c #Conflicts: 1278000 | #Constraints: 47898
1955.19/1961.33 c #Conflicts: 1279000 | #Constraints: 48898
1955.19/1961.33 c #Conflicts: 1280000 | #Constraints: 49898
1955.19/1961.33 c #Conflicts: 1281000 | #Constraints: 50898
1955.19/1961.33 c #Conflicts: 1282000 | #Constraints: 51898
1955.19/1961.33 c #Conflicts: 1283000 | #Constraints: 52898
1955.19/1961.33 c #Conflicts: 1284000 | #Constraints: 53898
1955.19/1961.33 c #Conflicts: 1285000 | #Constraints: 54898
1955.19/1961.33 c #Conflicts: 1286000 | #Constraints: 55898
1955.19/1961.33 c #Conflicts: 1287000 | #Constraints: 56898
1955.19/1961.33 c INPROCESSING
1955.19/1961.33 c GARBAGE COLLECT
1955.19/1961.33 c rational objective 87
1990.39/1996.69 c #Conflicts: 1288000 | #Constraints: 32524
1990.39/1996.69 c #Conflicts: 1289000 | #Constraints: 33524
1990.39/1996.69 c #Conflicts: 1290000 | #Constraints: 34524
1990.39/1996.69 c #Conflicts: 1291000 | #Constraints: 35524
1990.39/1996.69 c #Conflicts: 1292000 | #Constraints: 36524
1990.39/1996.69 c #Conflicts: 1293000 | #Constraints: 37524
1990.39/1996.69 c #Conflicts: 1294000 | #Constraints: 38524
1990.39/1996.69 c #Conflicts: 1295000 | #Constraints: 39524
1990.39/1996.69 c #Conflicts: 1296000 | #Constraints: 40524
1990.39/1996.69 c #Conflicts: 1297000 | #Constraints: 41524
1990.39/1996.69 c #Conflicts: 1298000 | #Constraints: 42524
1990.39/1996.69 c #Conflicts: 1299000 | #Constraints: 43524
1990.39/1996.69 c #Conflicts: 1300000 | #Constraints: 44524
1990.39/1996.69 c #Conflicts: 1301000 | #Constraints: 45524
1990.39/1996.69 c #Conflicts: 1302000 | #Constraints: 46524
1990.39/1996.69 c #Conflicts: 1303000 | #Constraints: 47524
1990.39/1996.69 c #Conflicts: 1304000 | #Constraints: 48524
1990.39/1996.69 c #Conflicts: 1305000 | #Constraints: 49524
1990.39/1996.69 c #Conflicts: 1306000 | #Constraints: 50524
1990.39/1996.69 c #Conflicts: 1307000 | #Constraints: 51524
1990.39/1996.70 c #Conflicts: 1308000 | #Constraints: 52524
1990.39/1996.70 c #Conflicts: 1309000 | #Constraints: 53524
1990.39/1996.70 c #Conflicts: 1310000 | #Constraints: 54524
1990.39/1996.70 c #Conflicts: 1311000 | #Constraints: 55524
1990.39/1996.70 c #Conflicts: 1312000 | #Constraints: 56524
1990.39/1996.70 c INPROCESSING
1990.39/1996.70 c GARBAGE COLLECT
1990.39/1996.70 c rational objective 87
2197.58/2204.45 c #Conflicts: 1313000 | #Constraints: 32283
2197.58/2204.45 c #Conflicts: 1314000 | #Constraints: 33283
2197.58/2204.45 c #Conflicts: 1315000 | #Constraints: 34283
2197.58/2204.45 c #Conflicts: 1316000 | #Constraints: 35283
2197.58/2204.45 c #Conflicts: 1317000 | #Constraints: 36283
2197.58/2204.45 c #Conflicts: 1318000 | #Constraints: 37283
2197.58/2204.45 c #Conflicts: 1319000 | #Constraints: 38283
2197.58/2204.45 c #Conflicts: 1320000 | #Constraints: 39283
2197.58/2204.45 c #Conflicts: 1321000 | #Constraints: 40283
2197.58/2204.45 c #Conflicts: 1322000 | #Constraints: 41283
2197.58/2204.45 c #Conflicts: 1323000 | #Constraints: 42283
2197.58/2204.45 c #Conflicts: 1324000 | #Constraints: 43283
2197.58/2204.45 c #Conflicts: 1325000 | #Constraints: 44283
2197.58/2204.45 c #Conflicts: 1326000 | #Constraints: 45283
2197.58/2204.45 c #Conflicts: 1327000 | #Constraints: 46283
2197.58/2204.45 c #Conflicts: 1328000 | #Constraints: 47283
2197.58/2204.45 c #Conflicts: 1329000 | #Constraints: 48283
2197.58/2204.45 c #Conflicts: 1330000 | #Constraints: 49283
2197.58/2204.45 c #Conflicts: 1331000 | #Constraints: 50283
2197.58/2204.45 c #Conflicts: 1332000 | #Constraints: 51283
2197.58/2204.45 c #Conflicts: 1333000 | #Constraints: 52283
2197.58/2204.45 c #Conflicts: 1334000 | #Constraints: 53283
2197.58/2204.45 c #Conflicts: 1335000 | #Constraints: 54283
2197.58/2204.45 c #Conflicts: 1336000 | #Constraints: 55283
2197.58/2204.45 c #Conflicts: 1337000 | #Constraints: 56283
2197.58/2204.45 c #Conflicts: 1338000 | #Constraints: 57283
2197.58/2204.45 c #Conflicts: 1339000 | #Constraints: 58283
2197.58/2204.45 c #Conflicts: 1340000 | #Constraints: 59283
2197.58/2204.45 c #Conflicts: 1341000 | #Constraints: 60283
2197.58/2204.45 c #Conflicts: 1342000 | #Constraints: 61283
2197.58/2204.45 c #Conflicts: 1343000 | #Constraints: 62283
2197.58/2204.45 c #Conflicts: 1344000 | #Constraints: 63283
2197.58/2204.45 c #Conflicts: 1345000 | #Constraints: 64283
2197.58/2204.45 c #Conflicts: 1346000 | #Constraints: 65283
2197.58/2204.45 c #Conflicts: 1347000 | #Constraints: 66283
2197.58/2204.45 c #Conflicts: 1348000 | #Constraints: 67283
2197.58/2204.45 c #Conflicts: 1349000 | #Constraints: 68283
2197.58/2204.45 c #Conflicts: 1350000 | #Constraints: 69283
2197.58/2204.45 c #Conflicts: 1351000 | #Constraints: 70283
2197.58/2204.45 c #Conflicts: 1352000 | #Constraints: 71283
2197.58/2204.45 c #Conflicts: 1353000 | #Constraints: 72283
2197.58/2204.45 c #Conflicts: 1354000 | #Constraints: 73283
2197.58/2204.45 c #Conflicts: 1355000 | #Constraints: 74283
2197.58/2204.45 c #Conflicts: 1356000 | #Constraints: 75283
2197.58/2204.45 c #Conflicts: 1357000 | #Constraints: 76283
2197.58/2204.45 c #Conflicts: 1358000 | #Constraints: 77283
2197.58/2204.45 c #Conflicts: 1359000 | #Constraints: 78283
2197.58/2204.45 c #Conflicts: 1360000 | #Constraints: 79283
2197.58/2204.45 c #Conflicts: 1361000 | #Constraints: 80283
2197.58/2204.45 c #Conflicts: 1362000 | #Constraints: 81283
2197.58/2204.45 c #Conflicts: 1363000 | #Constraints: 82283
2197.58/2204.45 c #Conflicts: 1364000 | #Constraints: 83283
2197.58/2204.45 c #Conflicts: 1365000 | #Constraints: 84283
2197.58/2204.45 c #Conflicts: 1366000 | #Constraints: 85283
2197.58/2204.45 c #Conflicts: 1367000 | #Constraints: 86283
2197.58/2204.45 c #Conflicts: 1368000 | #Constraints: 87283
2197.58/2204.45 c #Conflicts: 1369000 | #Constraints: 88283
2197.58/2204.45 c #Conflicts: 1370000 | #Constraints: 89283
2197.58/2204.45 c #Conflicts: 1371000 | #Constraints: 90283
2197.58/2204.45 c #Conflicts: 1372000 | #Constraints: 91283
2197.58/2204.45 c #Conflicts: 1373000 | #Constraints: 92283
2197.58/2204.45 c #Conflicts: 1374000 | #Constraints: 93283
2197.58/2204.45 c #Conflicts: 1375000 | #Constraints: 94283
2197.58/2204.45 c #Conflicts: 1376000 | #Constraints: 95283
2197.58/2204.45 c #Conflicts: 1377000 | #Constraints: 96283
2197.58/2204.45 c #Conflicts: 1378000 | #Constraints: 97283
2197.58/2204.45 c #Conflicts: 1379000 | #Constraints: 98283
2197.58/2204.45 c #Conflicts: 1380000 | #Constraints: 99283
2197.58/2204.45 c #Conflicts: 1381000 | #Constraints: 100283
2197.58/2204.45 c #Conflicts: 1382000 | #Constraints: 101283
2197.58/2204.45 c #Conflicts: 1383000 | #Constraints: 102283
2197.58/2204.45 c #Conflicts: 1384000 | #Constraints: 103283
2197.58/2204.45 c #Conflicts: 1385000 | #Constraints: 104283
2197.58/2204.45 c #Conflicts: 1386000 | #Constraints: 105283
2197.58/2204.45 c #Conflicts: 1387000 | #Constraints: 106283
2197.58/2204.45 c #Conflicts: 1388000 | #Constraints: 107283
2197.58/2204.45 c #Conflicts: 1389000 | #Constraints: 108283
2197.58/2204.45 c #Conflicts: 1390000 | #Constraints: 109284
2197.58/2204.45 c #Conflicts: 1391000 | #Constraints: 110284
2338.91/2346.29 c #Conflicts: 1392000 | #Constraints: 111284
2338.91/2346.29 c #Conflicts: 1393000 | #Constraints: 112284
2338.91/2346.29 c #Conflicts: 1394000 | #Constraints: 113284
2338.91/2346.29 c #Conflicts: 1395000 | #Constraints: 114284
2338.91/2346.29 c #Conflicts: 1396000 | #Constraints: 115284
2338.91/2346.29 c #Conflicts: 1397000 | #Constraints: 116284
2338.91/2346.29 c #Conflicts: 1398000 | #Constraints: 117284
2338.91/2346.29 c #Conflicts: 1399000 | #Constraints: 118284
2338.91/2346.29 c #Conflicts: 1400000 | #Constraints: 119284
2338.91/2346.29 c #Conflicts: 1401000 | #Constraints: 120284
2338.91/2346.29 c #Conflicts: 1402000 | #Constraints: 121284
2338.91/2346.29 c #Conflicts: 1403000 | #Constraints: 122284
2338.91/2346.29 c #Conflicts: 1404000 | #Constraints: 123284
2338.91/2346.29 c #Conflicts: 1405000 | #Constraints: 124284
2338.91/2346.29 c #Conflicts: 1406000 | #Constraints: 125284
2338.91/2346.29 c INPROCESSING
2338.91/2346.29 c GARBAGE COLLECT
2338.91/2346.29 c #Conflicts: 1407000 | #Constraints: 66970
2338.91/2346.29 c #Conflicts: 1408000 | #Constraints: 67970
2338.91/2346.29 c #Conflicts: 1409000 | #Constraints: 68970
2338.91/2346.29 c #Conflicts: 1410000 | #Constraints: 69970
2338.91/2346.29 c #Conflicts: 1411000 | #Constraints: 70970
2338.91/2346.29 c #Conflicts: 1412000 | #Constraints: 71970
2338.91/2346.29 c #Conflicts: 1413000 | #Constraints: 72970
2338.91/2346.29 c #Conflicts: 1414000 | #Constraints: 73970
2338.91/2346.29 c #Conflicts: 1415000 | #Constraints: 74970
2338.91/2346.29 c #Conflicts: 1416000 | #Constraints: 75970
2338.91/2346.29 c #Conflicts: 1417000 | #Constraints: 76970
2338.91/2346.29 c #Conflicts: 1418000 | #Constraints: 77970
2338.91/2346.29 c #Conflicts: 1419000 | #Constraints: 78970
2338.91/2346.29 c #Conflicts: 1420000 | #Constraints: 79970
2338.91/2346.29 c #Conflicts: 1421000 | #Constraints: 80970
2338.91/2346.29 c #Conflicts: 1422000 | #Constraints: 81970
2338.91/2346.29 c #Conflicts: 1423000 | #Constraints: 82970
2338.91/2346.29 c #Conflicts: 1424000 | #Constraints: 83970
2338.91/2346.29 c #Conflicts: 1425000 | #Constraints: 84970
2338.91/2346.29 c #Conflicts: 1426000 | #Constraints: 85970
2338.91/2346.29 c #Conflicts: 1427000 | #Constraints: 86970
2338.91/2346.29 c #Conflicts: 1428000 | #Constraints: 87970
2338.91/2346.29 c #Conflicts: 1429000 | #Constraints: 88970
2338.91/2346.29 c #Conflicts: 1430000 | #Constraints: 89970
2338.91/2346.29 c #Conflicts: 1431000 | #Constraints: 90970
2338.91/2346.29 c #Conflicts: 1432000 | #Constraints: 91970
2338.91/2346.29 c INPROCESSING
2338.91/2346.29 c GARBAGE COLLECT
2338.91/2346.29 c rational objective 87
2443.38/2451.07 c #Conflicts: 1433000 | #Constraints: 50255
2443.38/2451.07 c #Conflicts: 1434000 | #Constraints: 51255
2443.38/2451.07 c #Conflicts: 1435000 | #Constraints: 52255
2443.38/2451.07 c #Conflicts: 1436000 | #Constraints: 53255
2443.38/2451.07 c #Conflicts: 1437000 | #Constraints: 54255
2443.38/2451.07 c #Conflicts: 1438000 | #Constraints: 55255
2443.38/2451.07 c #Conflicts: 1439000 | #Constraints: 56255
2443.38/2451.07 c #Conflicts: 1440000 | #Constraints: 57255
2443.38/2451.07 c #Conflicts: 1441000 | #Constraints: 58255
2443.38/2451.07 c #Conflicts: 1442000 | #Constraints: 59255
2443.38/2451.07 c #Conflicts: 1443000 | #Constraints: 60255
2443.38/2451.07 c #Conflicts: 1444000 | #Constraints: 61255
2443.38/2451.07 c #Conflicts: 1445000 | #Constraints: 62255
2443.38/2451.07 c #Conflicts: 1446000 | #Constraints: 63255
2443.38/2451.07 c #Conflicts: 1447000 | #Constraints: 64255
2443.38/2451.07 c #Conflicts: 1448000 | #Constraints: 65255
2443.38/2451.07 c #Conflicts: 1449000 | #Constraints: 66255
2443.38/2451.07 c #Conflicts: 1450000 | #Constraints: 67255
2443.38/2451.07 c #Conflicts: 1451000 | #Constraints: 68255
2443.38/2451.07 c #Conflicts: 1452000 | #Constraints: 69255
2443.38/2451.07 c #Conflicts: 1453000 | #Constraints: 70255
2443.38/2451.07 c #Conflicts: 1454000 | #Constraints: 71255
2443.38/2451.07 c #Conflicts: 1455000 | #Constraints: 72255
2443.38/2451.07 c #Conflicts: 1456000 | #Constraints: 73255
2443.38/2451.07 c #Conflicts: 1457000 | #Constraints: 74255
2443.38/2451.07 c #Conflicts: 1458000 | #Constraints: 75255
2443.38/2451.07 c INPROCESSING
2443.38/2451.07 c GARBAGE COLLECT
2443.38/2451.07 c #Conflicts: 1459000 | #Constraints: 41721
2443.38/2451.07 c #Conflicts: 1460000 | #Constraints: 42721
2443.38/2451.07 c #Conflicts: 1461000 | #Constraints: 43721
2443.38/2451.07 c #Conflicts: 1462000 | #Constraints: 44721
2443.38/2451.07 c #Conflicts: 1463000 | #Constraints: 45721
2443.38/2451.07 c #Conflicts: 1464000 | #Constraints: 46721
2443.38/2451.07 c #Conflicts: 1465000 | #Constraints: 47721
2443.38/2451.07 c #Conflicts: 1466000 | #Constraints: 48721
2443.38/2451.07 c #Conflicts: 1467000 | #Constraints: 49721
2443.38/2451.07 c #Conflicts: 1468000 | #Constraints: 50721
2443.38/2451.07 c #Conflicts: 1469000 | #Constraints: 51721
2443.38/2451.07 c #Conflicts: 1470000 | #Constraints: 52721
2443.38/2451.07 c #Conflicts: 1471000 | #Constraints: 53721
2443.38/2451.07 c #Conflicts: 1472000 | #Constraints: 54721
2443.38/2451.07 c #Conflicts: 1473000 | #Constraints: 55721
2443.38/2451.07 c #Conflicts: 1474000 | #Constraints: 56721
2443.38/2451.07 c #Conflicts: 1475000 | #Constraints: 57721
2443.38/2451.07 c #Conflicts: 1476000 | #Constraints: 58721
2443.38/2451.07 c #Conflicts: 1477000 | #Constraints: 59721
2443.38/2451.07 c #Conflicts: 1478000 | #Constraints: 60721
2443.38/2451.07 c #Conflicts: 1479000 | #Constraints: 61721
2443.38/2451.07 c #Conflicts: 1480000 | #Constraints: 62721
2443.38/2451.07 c #Conflicts: 1481000 | #Constraints: 63721
2443.38/2451.07 c #Conflicts: 1482000 | #Constraints: 64721
2443.38/2451.07 c #Conflicts: 1483000 | #Constraints: 65721
2443.38/2451.07 c #Conflicts: 1484000 | #Constraints: 66721
2443.38/2451.07 c #Conflicts: 1485000 | #Constraints: 67721
2443.38/2451.07 c INPROCESSING
2443.38/2451.07 c GARBAGE COLLECT
2443.38/2451.07 c rational objective 87
2489.02/2496.83 c #Conflicts: 1486000 | #Constraints: 38210
2489.02/2496.83 c #Conflicts: 1487000 | #Constraints: 39210
2489.02/2496.83 c #Conflicts: 1488000 | #Constraints: 40210
2489.02/2496.83 c #Conflicts: 1489000 | #Constraints: 41210
2489.02/2496.83 c #Conflicts: 1490000 | #Constraints: 42210
2489.02/2496.83 c #Conflicts: 1491000 | #Constraints: 43210
2489.02/2496.83 c #Conflicts: 1492000 | #Constraints: 44210
2489.02/2496.83 c #Conflicts: 1493000 | #Constraints: 45210
2489.02/2496.83 c #Conflicts: 1494000 | #Constraints: 46210
2489.02/2496.83 c #Conflicts: 1495000 | #Constraints: 47210
2489.02/2496.83 c #Conflicts: 1496000 | #Constraints: 48210
2489.02/2496.83 c #Conflicts: 1497000 | #Constraints: 49210
2489.02/2496.83 c #Conflicts: 1498000 | #Constraints: 50210
2489.02/2496.83 c #Conflicts: 1499000 | #Constraints: 51210
2489.02/2496.83 c #Conflicts: 1500000 | #Constraints: 52210
2489.02/2496.83 c #Conflicts: 1501000 | #Constraints: 53210
2489.02/2496.83 c #Conflicts: 1502000 | #Constraints: 54210
2489.02/2496.83 c #Conflicts: 1503000 | #Constraints: 55210
2489.02/2496.83 c #Conflicts: 1504000 | #Constraints: 56210
2489.02/2496.83 c #Conflicts: 1505000 | #Constraints: 57210
2489.02/2496.83 c #Conflicts: 1506000 | #Constraints: 58210
2489.02/2496.83 c #Conflicts: 1507000 | #Constraints: 59210
2489.02/2496.83 c #Conflicts: 1508000 | #Constraints: 60210
2489.02/2496.83 c #Conflicts: 1509000 | #Constraints: 61210
2489.02/2496.83 c #Conflicts: 1510000 | #Constraints: 62210
2489.02/2496.83 c #Conflicts: 1511000 | #Constraints: 63210
2489.02/2496.83 c #Conflicts: 1512000 | #Constraints: 64210
2489.02/2496.83 c INPROCESSING
2489.02/2496.83 c GARBAGE COLLECT
2489.02/2496.83 c rational objective 87
2596.15/2604.31 c #Conflicts: 1513000 | #Constraints: 36433
2596.15/2604.31 c #Conflicts: 1514000 | #Constraints: 37433
2596.15/2604.31 c #Conflicts: 1515000 | #Constraints: 38433
2596.15/2604.31 c #Conflicts: 1516000 | #Constraints: 39433
2596.15/2604.31 c #Conflicts: 1517000 | #Constraints: 40433
2596.15/2604.31 c #Conflicts: 1518000 | #Constraints: 41433
2596.15/2604.31 c #Conflicts: 1519000 | #Constraints: 42433
2596.15/2604.31 c #Conflicts: 1520000 | #Constraints: 43433
2596.15/2604.31 c #Conflicts: 1521000 | #Constraints: 44433
2596.15/2604.31 c #Conflicts: 1522000 | #Constraints: 45433
2596.15/2604.31 c #Conflicts: 1523000 | #Constraints: 46433
2596.15/2604.31 c #Conflicts: 1524000 | #Constraints: 47433
2596.15/2604.31 c #Conflicts: 1525000 | #Constraints: 48433
2596.15/2604.31 c #Conflicts: 1526000 | #Constraints: 49433
2596.15/2604.31 c #Conflicts: 1527000 | #Constraints: 50433
2596.15/2604.31 c #Conflicts: 1528000 | #Constraints: 51433
2596.15/2604.31 c #Conflicts: 1529000 | #Constraints: 52433
2596.15/2604.31 c #Conflicts: 1530000 | #Constraints: 53433
2596.15/2604.31 c #Conflicts: 1531000 | #Constraints: 54433
2596.15/2604.31 c #Conflicts: 1532000 | #Constraints: 55433
2596.15/2604.31 c #Conflicts: 1533000 | #Constraints: 56433
2596.15/2604.31 c #Conflicts: 1534000 | #Constraints: 57433
2596.15/2604.31 c #Conflicts: 1535000 | #Constraints: 58433
2596.15/2604.31 c #Conflicts: 1536000 | #Constraints: 59433
2596.15/2604.31 c #Conflicts: 1537000 | #Constraints: 60433
2596.15/2604.31 c #Conflicts: 1538000 | #Constraints: 61433
2596.15/2604.31 c #Conflicts: 1539000 | #Constraints: 62433
2596.15/2604.31 c INPROCESSING
2596.15/2604.31 c GARBAGE COLLECT
2596.15/2604.31 c #Conflicts: 1540000 | #Constraints: 35525
2596.15/2604.31 c #Conflicts: 1541000 | #Constraints: 36525
2596.15/2604.31 c #Conflicts: 1542000 | #Constraints: 37525
2596.15/2604.31 c #Conflicts: 1543000 | #Constraints: 38525
2596.15/2604.31 c #Conflicts: 1544000 | #Constraints: 39525
2596.15/2604.31 c #Conflicts: 1545000 | #Constraints: 40525
2596.15/2604.31 c #Conflicts: 1546000 | #Constraints: 41525
2596.15/2604.31 c #Conflicts: 1547000 | #Constraints: 42525
2596.15/2604.31 c #Conflicts: 1548000 | #Constraints: 43525
2596.15/2604.31 c #Conflicts: 1549000 | #Constraints: 44525
2596.15/2604.31 c #Conflicts: 1550000 | #Constraints: 45525
2596.15/2604.31 c #Conflicts: 1551000 | #Constraints: 46525
2596.15/2604.31 c #Conflicts: 1552000 | #Constraints: 47525
2596.15/2604.31 c #Conflicts: 1553000 | #Constraints: 48525
2596.15/2604.31 c #Conflicts: 1554000 | #Constraints: 49525
2596.15/2604.31 c #Conflicts: 1555000 | #Constraints: 50525
2596.15/2604.31 c #Conflicts: 1556000 | #Constraints: 51525
2596.15/2604.31 c #Conflicts: 1557000 | #Constraints: 52525
2596.15/2604.31 c #Conflicts: 1558000 | #Constraints: 53525
2596.15/2604.31 c #Conflicts: 1559000 | #Constraints: 54525
2596.15/2604.31 c #Conflicts: 1560000 | #Constraints: 55525
2596.15/2604.31 c #Conflicts: 1561000 | #Constraints: 56525
2596.15/2604.31 c #Conflicts: 1562000 | #Constraints: 57525
2596.15/2604.31 c #Conflicts: 1563000 | #Constraints: 58525
2596.15/2604.31 c #Conflicts: 1564000 | #Constraints: 59525
2596.15/2604.31 c #Conflicts: 1565000 | #Constraints: 60525
2596.15/2604.31 c #Conflicts: 1566000 | #Constraints: 61525
2596.15/2604.31 c INPROCESSING
2596.15/2604.31 c GARBAGE COLLECT
2596.15/2604.31 c #Conflicts: 1567000 | #Constraints: 35047
2596.15/2604.31 c #Conflicts: 1568000 | #Constraints: 36047
2596.15/2604.31 c #Conflicts: 1569000 | #Constraints: 37047
2596.15/2604.31 c #Conflicts: 1570000 | #Constraints: 38047
2596.15/2604.31 c #Conflicts: 1571000 | #Constraints: 39047
2596.15/2604.31 c #Conflicts: 1572000 | #Constraints: 40047
2596.15/2604.31 c #Conflicts: 1573000 | #Constraints: 41047
2596.15/2604.31 c #Conflicts: 1574000 | #Constraints: 42047
2596.15/2604.31 c #Conflicts: 1575000 | #Constraints: 43047
2596.15/2604.31 c #Conflicts: 1576000 | #Constraints: 44047
2596.15/2604.31 c #Conflicts: 1577000 | #Constraints: 45047
2596.15/2604.31 c #Conflicts: 1578000 | #Constraints: 46047
2596.15/2604.31 c #Conflicts: 1579000 | #Constraints: 47047
2596.15/2604.31 c #Conflicts: 1580000 | #Constraints: 48047
2596.15/2604.31 c #Conflicts: 1581000 | #Constraints: 49047
2596.15/2604.31 c #Conflicts: 1582000 | #Constraints: 50047
2596.15/2604.31 c #Conflicts: 1583000 | #Constraints: 51047
2596.15/2604.31 c #Conflicts: 1584000 | #Constraints: 52047
2596.15/2604.31 c #Conflicts: 1585000 | #Constraints: 53047
2596.15/2604.31 c #Conflicts: 1586000 | #Constraints: 54047
2596.15/2604.31 c #Conflicts: 1587000 | #Constraints: 55047
2596.15/2604.31 c #Conflicts: 1588000 | #Constraints: 56047
2596.15/2604.31 c #Conflicts: 1589000 | #Constraints: 57047
2596.15/2604.31 c #Conflicts: 1590000 | #Constraints: 58047
2866.57/2875.69 c #Conflicts: 1591000 | #Constraints: 59047
2866.57/2875.69 c #Conflicts: 1592000 | #Constraints: 60047
2866.57/2875.69 c #Conflicts: 1593000 | #Constraints: 61047
2866.57/2875.69 c #Conflicts: 1594000 | #Constraints: 62047
2866.57/2875.69 c #Conflicts: 1595000 | #Constraints: 63047
2866.57/2875.69 c #Conflicts: 1596000 | #Constraints: 64047
2866.57/2875.69 c #Conflicts: 1597000 | #Constraints: 65047
2866.57/2875.69 c #Conflicts: 1598000 | #Constraints: 66047
2866.57/2875.69 c #Conflicts: 1599000 | #Constraints: 67047
2866.57/2875.69 c #Conflicts: 1600000 | #Constraints: 68047
2866.57/2875.69 c #Conflicts: 1601000 | #Constraints: 69047
2866.57/2875.69 c #Conflicts: 1602000 | #Constraints: 70047
2866.57/2875.69 c #Conflicts: 1603000 | #Constraints: 71047
2866.57/2875.69 c #Conflicts: 1604000 | #Constraints: 72047
2866.57/2875.69 c #Conflicts: 1605000 | #Constraints: 73047
2866.57/2875.69 c #Conflicts: 1606000 | #Constraints: 74047
2866.57/2875.69 c #Conflicts: 1607000 | #Constraints: 75047
2866.57/2875.69 c #Conflicts: 1608000 | #Constraints: 76047
2866.57/2875.69 c #Conflicts: 1609000 | #Constraints: 77047
2866.57/2875.69 c #Conflicts: 1610000 | #Constraints: 78047
2866.57/2875.69 c #Conflicts: 1611000 | #Constraints: 79047
2866.57/2875.69 c #Conflicts: 1612000 | #Constraints: 80047
2866.57/2875.69 c #Conflicts: 1613000 | #Constraints: 81047
2866.57/2875.69 c #Conflicts: 1614000 | #Constraints: 82047
2866.57/2875.69 c #Conflicts: 1615000 | #Constraints: 83047
2866.57/2875.69 c #Conflicts: 1616000 | #Constraints: 84047
2866.57/2875.69 c #Conflicts: 1617000 | #Constraints: 85047
2866.57/2875.69 c #Conflicts: 1618000 | #Constraints: 86047
2866.57/2875.69 c #Conflicts: 1619000 | #Constraints: 87047
2866.57/2875.69 c #Conflicts: 1620000 | #Constraints: 88047
2866.57/2875.69 c #Conflicts: 1621000 | #Constraints: 89047
2866.57/2875.69 c #Conflicts: 1622000 | #Constraints: 90047
2866.57/2875.69 c #Conflicts: 1623000 | #Constraints: 91047
2866.57/2875.69 c #Conflicts: 1624000 | #Constraints: 92047
2866.57/2875.69 c #Conflicts: 1625000 | #Constraints: 93047
2866.57/2875.69 c #Conflicts: 1626000 | #Constraints: 94047
2866.57/2875.69 c #Conflicts: 1627000 | #Constraints: 95047
2866.57/2875.69 c #Conflicts: 1628000 | #Constraints: 96047
2866.57/2875.69 c #Conflicts: 1629000 | #Constraints: 97047
2866.57/2875.69 c #Conflicts: 1630000 | #Constraints: 98047
2866.57/2875.69 c #Conflicts: 1631000 | #Constraints: 99047
2866.57/2875.69 c #Conflicts: 1632000 | #Constraints: 100047
2866.57/2875.69 c #Conflicts: 1633000 | #Constraints: 101047
2866.57/2875.69 c #Conflicts: 1634000 | #Constraints: 102047
2866.57/2875.69 c #Conflicts: 1635000 | #Constraints: 103047
2866.57/2875.69 c #Conflicts: 1636000 | #Constraints: 104047
2866.57/2875.69 c #Conflicts: 1637000 | #Constraints: 105047
2866.57/2875.69 c #Conflicts: 1638000 | #Constraints: 106047
2866.57/2875.69 c #Conflicts: 1639000 | #Constraints: 107047
2866.57/2875.69 c #Conflicts: 1640000 | #Constraints: 108047
2866.57/2875.69 c #Conflicts: 1641000 | #Constraints: 109047
2866.57/2875.69 c #Conflicts: 1642000 | #Constraints: 110047
2866.57/2875.69 c #Conflicts: 1643000 | #Constraints: 111047
2866.57/2875.69 c #Conflicts: 1644000 | #Constraints: 112047
2866.57/2875.69 c #Conflicts: 1645000 | #Constraints: 113047
2866.57/2875.69 c #Conflicts: 1646000 | #Constraints: 114047
2866.57/2875.69 c #Conflicts: 1647000 | #Constraints: 115047
2866.57/2875.69 c #Conflicts: 1648000 | #Constraints: 116047
2866.57/2875.69 c #Conflicts: 1649000 | #Constraints: 117047
2866.57/2875.69 c #Conflicts: 1650000 | #Constraints: 118047
2866.57/2875.69 c #Conflicts: 1651000 | #Constraints: 119047
2866.57/2875.69 c #Conflicts: 1652000 | #Constraints: 120047
2866.57/2875.69 c #Conflicts: 1653000 | #Constraints: 121047
2866.57/2875.69 c #Conflicts: 1654000 | #Constraints: 122047
2866.57/2875.69 c #Conflicts: 1655000 | #Constraints: 123047
2866.57/2875.69 c #Conflicts: 1656000 | #Constraints: 124047
2866.57/2875.69 c #Conflicts: 1657000 | #Constraints: 125047
2866.57/2875.69 c #Conflicts: 1658000 | #Constraints: 126047
2866.57/2875.69 c #Conflicts: 1659000 | #Constraints: 127047
2866.57/2875.69 c #Conflicts: 1660000 | #Constraints: 128047
2866.57/2875.69 c #Conflicts: 1661000 | #Constraints: 129047
2866.57/2875.69 c #Conflicts: 1662000 | #Constraints: 130047
2866.57/2875.69 c #Conflicts: 1663000 | #Constraints: 131047
2866.57/2875.69 c #Conflicts: 1664000 | #Constraints: 132047
2866.57/2875.69 c #Conflicts: 1665000 | #Constraints: 133047
2866.57/2875.69 c #Conflicts: 1666000 | #Constraints: 134047
2866.57/2875.69 c #Conflicts: 1667000 | #Constraints: 135047
2866.57/2875.69 c #Conflicts: 1668000 | #Constraints: 136047
2866.57/2875.69 c INPROCESSING
2867.27/2876.33 c GARBAGE COLLECT
2867.27/2876.33 c rational objective 87
2938.07/2947.30 c #Conflicts: 1669000 | #Constraints: 72273
2938.07/2947.30 c #Conflicts: 1670000 | #Constraints: 73273
2938.07/2947.30 c #Conflicts: 1671000 | #Constraints: 74273
2938.07/2947.30 c #Conflicts: 1672000 | #Constraints: 75273
2938.07/2947.30 c #Conflicts: 1673000 | #Constraints: 76273
2938.07/2947.30 c #Conflicts: 1674000 | #Constraints: 77273
2938.07/2947.30 c #Conflicts: 1675000 | #Constraints: 78273
2938.07/2947.30 c #Conflicts: 1676000 | #Constraints: 79273
2938.07/2947.30 c #Conflicts: 1677000 | #Constraints: 80273
2938.07/2947.30 c #Conflicts: 1678000 | #Constraints: 81273
2938.07/2947.30 c #Conflicts: 1679000 | #Constraints: 82273
2938.07/2947.30 c #Conflicts: 1680000 | #Constraints: 83273
2938.07/2947.30 c #Conflicts: 1681000 | #Constraints: 84274
2938.07/2947.30 c #Conflicts: 1682000 | #Constraints: 85274
2938.07/2947.30 c #Conflicts: 1683000 | #Constraints: 86274
2938.07/2947.30 c #Conflicts: 1684000 | #Constraints: 87274
2938.07/2947.30 c #Conflicts: 1685000 | #Constraints: 88274
2938.07/2947.30 c #Conflicts: 1686000 | #Constraints: 89274
2938.07/2947.30 c #Conflicts: 1687000 | #Constraints: 90274
2938.07/2947.30 c #Conflicts: 1688000 | #Constraints: 91274
2938.07/2947.30 c #Conflicts: 1689000 | #Constraints: 92274
2938.07/2947.30 c #Conflicts: 1690000 | #Constraints: 93274
2938.07/2947.30 c #Conflicts: 1691000 | #Constraints: 94274
2938.07/2947.30 c #Conflicts: 1692000 | #Constraints: 95274
2938.07/2947.30 c #Conflicts: 1693000 | #Constraints: 96274
2938.07/2947.30 c #Conflicts: 1694000 | #Constraints: 97274
2938.07/2947.30 c #Conflicts: 1695000 | #Constraints: 98274
2938.07/2947.30 c #Conflicts: 1696000 | #Constraints: 99274
2938.07/2947.30 c INPROCESSING
2938.07/2947.30 c GARBAGE COLLECT
2938.07/2947.30 c rational objective 87
2999.48/3008.92 c #Conflicts: 1697000 | #Constraints: 53661
2999.48/3008.92 c #Conflicts: 1698000 | #Constraints: 54661
2999.48/3008.92 c #Conflicts: 1699000 | #Constraints: 55661
2999.48/3008.92 c #Conflicts: 1700000 | #Constraints: 56661
2999.48/3008.92 c #Conflicts: 1701000 | #Constraints: 57661
2999.48/3008.92 c #Conflicts: 1702000 | #Constraints: 58661
2999.48/3008.92 c #Conflicts: 1703000 | #Constraints: 59661
2999.48/3008.92 c #Conflicts: 1704000 | #Constraints: 60661
2999.48/3008.92 c #Conflicts: 1705000 | #Constraints: 61661
2999.48/3008.92 c #Conflicts: 1706000 | #Constraints: 62661
2999.48/3008.92 c #Conflicts: 1707000 | #Constraints: 63661
2999.48/3008.92 c #Conflicts: 1708000 | #Constraints: 64661
2999.48/3008.92 c #Conflicts: 1709000 | #Constraints: 65661
2999.48/3008.92 c #Conflicts: 1710000 | #Constraints: 66661
2999.48/3008.92 c #Conflicts: 1711000 | #Constraints: 67661
2999.48/3008.92 c #Conflicts: 1712000 | #Constraints: 68661
2999.48/3008.92 c #Conflicts: 1713000 | #Constraints: 69661
2999.48/3008.92 c #Conflicts: 1714000 | #Constraints: 70661
2999.48/3008.92 c #Conflicts: 1715000 | #Constraints: 71661
2999.48/3008.92 c #Conflicts: 1716000 | #Constraints: 72661
2999.48/3008.92 c #Conflicts: 1717000 | #Constraints: 73661
2999.48/3008.92 c #Conflicts: 1718000 | #Constraints: 74661
2999.48/3008.92 c #Conflicts: 1719000 | #Constraints: 75661
2999.48/3008.92 c #Conflicts: 1720000 | #Constraints: 76661
2999.48/3008.92 c #Conflicts: 1721000 | #Constraints: 77661
2999.48/3008.92 c #Conflicts: 1722000 | #Constraints: 78661
2999.48/3008.92 c #Conflicts: 1723000 | #Constraints: 79661
2999.48/3008.92 c #Conflicts: 1724000 | #Constraints: 80661
2999.48/3008.92 c #Conflicts: 1725000 | #Constraints: 81661
2999.48/3008.92 c INPROCESSING
2999.48/3008.92 c GARBAGE COLLECT
2999.48/3008.92 c rational objective 87
3054.03/3063.68 c #Conflicts: 1726000 | #Constraints: 45016
3054.03/3063.68 c #Conflicts: 1727000 | #Constraints: 46016
3054.03/3063.68 c #Conflicts: 1728000 | #Constraints: 47016
3054.03/3063.68 c #Conflicts: 1729000 | #Constraints: 48016
3054.03/3063.68 c #Conflicts: 1730000 | #Constraints: 49016
3054.03/3063.68 c #Conflicts: 1731000 | #Constraints: 50016
3054.03/3063.68 c #Conflicts: 1732000 | #Constraints: 51016
3054.03/3063.68 c #Conflicts: 1733000 | #Constraints: 52016
3054.03/3063.68 c #Conflicts: 1734000 | #Constraints: 53016
3054.03/3063.68 c #Conflicts: 1735000 | #Constraints: 54016
3054.03/3063.68 c #Conflicts: 1736000 | #Constraints: 55016
3054.03/3063.68 c #Conflicts: 1737000 | #Constraints: 56016
3054.03/3063.68 c #Conflicts: 1738000 | #Constraints: 57016
3054.03/3063.68 c #Conflicts: 1739000 | #Constraints: 58016
3054.03/3063.68 c #Conflicts: 1740000 | #Constraints: 59016
3054.03/3063.68 c #Conflicts: 1741000 | #Constraints: 60016
3054.03/3063.68 c #Conflicts: 1742000 | #Constraints: 61016
3054.03/3063.68 c #Conflicts: 1743000 | #Constraints: 62016
3054.03/3063.68 c #Conflicts: 1744000 | #Constraints: 63016
3054.03/3063.68 c #Conflicts: 1745000 | #Constraints: 64016
3054.03/3063.68 c #Conflicts: 1746000 | #Constraints: 65016
3054.03/3063.68 c #Conflicts: 1747000 | #Constraints: 66016
3054.03/3063.68 c #Conflicts: 1748000 | #Constraints: 67016
3054.03/3063.68 c #Conflicts: 1749000 | #Constraints: 68016
3054.03/3063.68 c #Conflicts: 1750000 | #Constraints: 69016
3054.03/3063.68 c #Conflicts: 1751000 | #Constraints: 70016
3054.03/3063.68 c #Conflicts: 1752000 | #Constraints: 71016
3054.03/3063.68 c #Conflicts: 1753000 | #Constraints: 72016
3054.03/3063.68 c #Conflicts: 1754000 | #Constraints: 73016
3054.03/3063.68 c INPROCESSING
3054.03/3063.68 c GARBAGE COLLECT
3054.03/3063.68 c rational objective 87
3105.28/3115.09 c #Conflicts: 1755000 | #Constraints: 40755
3105.28/3115.09 c #Conflicts: 1756000 | #Constraints: 41755
3105.28/3115.09 c #Conflicts: 1757000 | #Constraints: 42755
3105.28/3115.09 c #Conflicts: 1758000 | #Constraints: 43755
3105.28/3115.09 c #Conflicts: 1759000 | #Constraints: 44755
3105.28/3115.09 c #Conflicts: 1760000 | #Constraints: 45755
3105.28/3115.09 c #Conflicts: 1761000 | #Constraints: 46755
3105.28/3115.09 c #Conflicts: 1762000 | #Constraints: 47755
3105.28/3115.09 c #Conflicts: 1763000 | #Constraints: 48755
3105.28/3115.09 c #Conflicts: 1764000 | #Constraints: 49755
3105.28/3115.09 c #Conflicts: 1765000 | #Constraints: 50755
3105.28/3115.09 c #Conflicts: 1766000 | #Constraints: 51755
3105.28/3115.09 c #Conflicts: 1767000 | #Constraints: 52755
3105.28/3115.09 c #Conflicts: 1768000 | #Constraints: 53755
3105.28/3115.09 c #Conflicts: 1769000 | #Constraints: 54755
3105.28/3115.09 c #Conflicts: 1770000 | #Constraints: 55755
3105.28/3115.09 c #Conflicts: 1771000 | #Constraints: 56755
3105.28/3115.09 c #Conflicts: 1772000 | #Constraints: 57755
3105.28/3115.09 c #Conflicts: 1773000 | #Constraints: 58755
3105.28/3115.09 c #Conflicts: 1774000 | #Constraints: 59755
3105.28/3115.09 c #Conflicts: 1775000 | #Constraints: 60755
3105.28/3115.09 c #Conflicts: 1776000 | #Constraints: 61755
3105.28/3115.09 c #Conflicts: 1777000 | #Constraints: 62755
3105.28/3115.09 c #Conflicts: 1778000 | #Constraints: 63755
3105.28/3115.09 c #Conflicts: 1779000 | #Constraints: 64755
3105.28/3115.09 c #Conflicts: 1780000 | #Constraints: 65755
3105.28/3115.09 c #Conflicts: 1781000 | #Constraints: 66755
3105.28/3115.09 c #Conflicts: 1782000 | #Constraints: 67755
3105.28/3115.09 c #Conflicts: 1783000 | #Constraints: 68755
3105.28/3115.09 c INPROCESSING
3105.28/3115.09 c GARBAGE COLLECT
3105.28/3115.09 c rational objective 87
3213.84/3223.97 c #Conflicts: 1784000 | #Constraints: 38485
3213.84/3223.97 c #Conflicts: 1785000 | #Constraints: 39485
3213.84/3223.97 c #Conflicts: 1786000 | #Constraints: 40485
3213.84/3223.97 c #Conflicts: 1787000 | #Constraints: 41485
3213.84/3223.97 c #Conflicts: 1788000 | #Constraints: 42485
3213.84/3223.97 c #Conflicts: 1789000 | #Constraints: 43485
3213.84/3223.97 c #Conflicts: 1790000 | #Constraints: 44485
3213.84/3223.97 c #Conflicts: 1791000 | #Constraints: 45485
3213.84/3223.97 c #Conflicts: 1792000 | #Constraints: 46485
3213.84/3223.97 c #Conflicts: 1793000 | #Constraints: 47485
3213.84/3223.97 c #Conflicts: 1794000 | #Constraints: 48485
3213.84/3223.97 c #Conflicts: 1795000 | #Constraints: 49485
3213.84/3223.97 c #Conflicts: 1796000 | #Constraints: 50485
3213.84/3223.97 c #Conflicts: 1797000 | #Constraints: 51485
3213.84/3223.97 c #Conflicts: 1798000 | #Constraints: 52485
3213.84/3223.97 c #Conflicts: 1799000 | #Constraints: 53485
3213.84/3223.97 c #Conflicts: 1800000 | #Constraints: 54485
3213.84/3223.97 c #Conflicts: 1801000 | #Constraints: 55485
3213.84/3223.97 c #Conflicts: 1802000 | #Constraints: 56485
3213.84/3223.97 c #Conflicts: 1803000 | #Constraints: 57485
3213.84/3223.97 c #Conflicts: 1804000 | #Constraints: 58485
3213.84/3223.97 c #Conflicts: 1805000 | #Constraints: 59485
3213.84/3223.97 c #Conflicts: 1806000 | #Constraints: 60485
3213.84/3223.97 c #Conflicts: 1807000 | #Constraints: 61485
3213.84/3223.97 c #Conflicts: 1808000 | #Constraints: 62485
3213.84/3223.97 c #Conflicts: 1809000 | #Constraints: 63485
3213.84/3223.97 c #Conflicts: 1810000 | #Constraints: 64485
3213.84/3223.97 c #Conflicts: 1811000 | #Constraints: 65485
3213.84/3223.97 c #Conflicts: 1812000 | #Constraints: 66485
3213.84/3223.97 c INPROCESSING
3213.84/3223.97 c GARBAGE COLLECT
3213.84/3223.97 c #Conflicts: 1813000 | #Constraints: 37258
3213.84/3223.97 c #Conflicts: 1814000 | #Constraints: 38258
3213.84/3223.97 c #Conflicts: 1815000 | #Constraints: 39258
3213.84/3223.97 c #Conflicts: 1816000 | #Constraints: 40258
3213.84/3223.97 c #Conflicts: 1817000 | #Constraints: 41258
3213.84/3223.97 c #Conflicts: 1818000 | #Constraints: 42258
3213.84/3223.97 c #Conflicts: 1819000 | #Constraints: 43258
3213.84/3223.97 c #Conflicts: 1820000 | #Constraints: 44258
3213.84/3223.97 c #Conflicts: 1821000 | #Constraints: 45258
3213.84/3223.97 c #Conflicts: 1822000 | #Constraints: 46258
3213.84/3223.97 c #Conflicts: 1823000 | #Constraints: 47258
3213.84/3223.97 c #Conflicts: 1824000 | #Constraints: 48258
3213.84/3223.97 c #Conflicts: 1825000 | #Constraints: 49258
3213.84/3223.97 c #Conflicts: 1826000 | #Constraints: 50258
3213.84/3223.97 c #Conflicts: 1827000 | #Constraints: 51258
3213.84/3223.97 c #Conflicts: 1828000 | #Constraints: 52258
3213.84/3223.97 c #Conflicts: 1829000 | #Constraints: 53258
3213.84/3223.97 c #Conflicts: 1830000 | #Constraints: 54258
3213.84/3223.97 c #Conflicts: 1831000 | #Constraints: 55258
3213.84/3223.97 c #Conflicts: 1832000 | #Constraints: 56258
3213.84/3223.97 c #Conflicts: 1833000 | #Constraints: 57258
3213.84/3223.97 c #Conflicts: 1834000 | #Constraints: 58258
3213.84/3223.97 c #Conflicts: 1835000 | #Constraints: 59258
3213.84/3223.97 c #Conflicts: 1836000 | #Constraints: 60258
3213.84/3223.97 c #Conflicts: 1837000 | #Constraints: 61258
3213.84/3223.97 c #Conflicts: 1838000 | #Constraints: 62258
3213.84/3223.97 c #Conflicts: 1839000 | #Constraints: 63258
3213.84/3223.97 c #Conflicts: 1840000 | #Constraints: 64258
3213.84/3223.97 c #Conflicts: 1841000 | #Constraints: 65258
3213.84/3223.97 c #Conflicts: 1842000 | #Constraints: 66258
3213.84/3223.97 c INPROCESSING
3213.84/3223.97 c GARBAGE COLLECT
3213.84/3223.97 c #Conflicts: 1843000 | #Constraints: 37358
3213.84/3223.97 c #Conflicts: 1844000 | #Constraints: 38358
3213.84/3223.97 c #Conflicts: 1845000 | #Constraints: 39358
3213.84/3223.97 c #Conflicts: 1846000 | #Constraints: 40358
3213.84/3223.97 c #Conflicts: 1847000 | #Constraints: 41358
3213.84/3223.97 c #Conflicts: 1848000 | #Constraints: 42358
3213.84/3223.97 c #Conflicts: 1849000 | #Constraints: 43358
3213.84/3223.97 c #Conflicts: 1850000 | #Constraints: 44358
3213.84/3223.97 c #Conflicts: 1851000 | #Constraints: 45358
3213.84/3223.97 c #Conflicts: 1852000 | #Constraints: 46358
3213.84/3223.97 c #Conflicts: 1853000 | #Constraints: 47358
3213.84/3223.97 c #Conflicts: 1854000 | #Constraints: 48358
3213.84/3223.97 c #Conflicts: 1855000 | #Constraints: 49358
3213.84/3223.97 c #Conflicts: 1856000 | #Constraints: 50358
3213.84/3223.97 c #Conflicts: 1857000 | #Constraints: 51358
3213.84/3223.97 c #Conflicts: 1858000 | #Constraints: 52358
3213.84/3223.97 c #Conflicts: 1859000 | #Constraints: 53358
3213.84/3223.97 c #Conflicts: 1860000 | #Constraints: 54358
3213.84/3223.97 c #Conflicts: 1861000 | #Constraints: 55358
3459.81/3470.70 c #Conflicts: 1862000 | #Constraints: 56358
3459.81/3470.70 c #Conflicts: 1863000 | #Constraints: 57358
3459.81/3470.70 c #Conflicts: 1864000 | #Constraints: 58358
3459.81/3470.70 c #Conflicts: 1865000 | #Constraints: 59358
3459.81/3470.70 c #Conflicts: 1866000 | #Constraints: 60358
3459.81/3470.70 c #Conflicts: 1867000 | #Constraints: 61358
3459.81/3470.70 c #Conflicts: 1868000 | #Constraints: 62358
3459.81/3470.70 c #Conflicts: 1869000 | #Constraints: 63358
3459.81/3470.70 c #Conflicts: 1870000 | #Constraints: 64358
3459.81/3470.70 c #Conflicts: 1871000 | #Constraints: 65358
3459.81/3470.70 c #Conflicts: 1872000 | #Constraints: 66358
3459.81/3470.70 c #Conflicts: 1873000 | #Constraints: 67358
3459.81/3470.70 c #Conflicts: 1874000 | #Constraints: 68358
3459.81/3470.70 c #Conflicts: 1875000 | #Constraints: 69358
3459.81/3470.70 c #Conflicts: 1876000 | #Constraints: 70358
3459.81/3470.70 c #Conflicts: 1877000 | #Constraints: 71358
3459.81/3470.70 c #Conflicts: 1878000 | #Constraints: 72358
3459.81/3470.70 c #Conflicts: 1879000 | #Constraints: 73358
3459.81/3470.70 c #Conflicts: 1880000 | #Constraints: 74358
3459.81/3470.70 c #Conflicts: 1881000 | #Constraints: 75358
3459.91/3470.70 c #Conflicts: 1882000 | #Constraints: 76358
3459.91/3470.70 c #Conflicts: 1883000 | #Constraints: 77358
3459.91/3470.70 c #Conflicts: 1884000 | #Constraints: 78358
3459.91/3470.70 c #Conflicts: 1885000 | #Constraints: 79358
3459.91/3470.70 c #Conflicts: 1886000 | #Constraints: 80358
3459.91/3470.70 c #Conflicts: 1887000 | #Constraints: 81358
3459.91/3470.70 c #Conflicts: 1888000 | #Constraints: 82358
3459.91/3470.70 c #Conflicts: 1889000 | #Constraints: 83358
3459.91/3470.70 c #Conflicts: 1890000 | #Constraints: 84358
3459.91/3470.70 c #Conflicts: 1891000 | #Constraints: 85358
3459.91/3470.70 c #Conflicts: 1892000 | #Constraints: 86358
3459.91/3470.70 c #Conflicts: 1893000 | #Constraints: 87358
3459.91/3470.70 c #Conflicts: 1894000 | #Constraints: 88358
3459.91/3470.70 c #Conflicts: 1895000 | #Constraints: 89358
3459.91/3470.70 c #Conflicts: 1896000 | #Constraints: 90358
3459.91/3470.70 c #Conflicts: 1897000 | #Constraints: 91358
3459.91/3470.70 c #Conflicts: 1898000 | #Constraints: 92358
3459.91/3470.70 c #Conflicts: 1899000 | #Constraints: 93358
3459.91/3470.70 c #Conflicts: 1900000 | #Constraints: 94358
3459.91/3470.70 c #Conflicts: 1901000 | #Constraints: 95358
3459.91/3470.70 c #Conflicts: 1902000 | #Constraints: 96358
3459.91/3470.70 c #Conflicts: 1903000 | #Constraints: 97358
3459.91/3470.70 c #Conflicts: 1904000 | #Constraints: 98358
3459.91/3470.70 c #Conflicts: 1905000 | #Constraints: 99358
3459.91/3470.70 c #Conflicts: 1906000 | #Constraints: 100358
3459.91/3470.70 c #Conflicts: 1907000 | #Constraints: 101358
3459.91/3470.70 c #Conflicts: 1908000 | #Constraints: 102358
3459.91/3470.70 c #Conflicts: 1909000 | #Constraints: 103358
3459.91/3470.70 c #Conflicts: 1910000 | #Constraints: 104358
3459.91/3470.70 c #Conflicts: 1911000 | #Constraints: 105358
3459.91/3470.70 c #Conflicts: 1912000 | #Constraints: 106358
3459.91/3470.70 c #Conflicts: 1913000 | #Constraints: 107358
3459.91/3470.70 c #Conflicts: 1914000 | #Constraints: 108358
3459.91/3470.70 c #Conflicts: 1915000 | #Constraints: 109358
3459.91/3470.70 c #Conflicts: 1916000 | #Constraints: 110358
3459.91/3470.70 c #Conflicts: 1917000 | #Constraints: 111358
3459.91/3470.70 c #Conflicts: 1918000 | #Constraints: 112358
3459.91/3470.70 c #Conflicts: 1919000 | #Constraints: 113358
3459.91/3470.70 c #Conflicts: 1920000 | #Constraints: 114358
3459.91/3470.70 c #Conflicts: 1921000 | #Constraints: 115358
3459.91/3470.70 c #Conflicts: 1922000 | #Constraints: 116358
3459.91/3470.70 c #Conflicts: 1923000 | #Constraints: 117358
3459.91/3470.70 c #Conflicts: 1924000 | #Constraints: 118358
3459.91/3470.70 c #Conflicts: 1925000 | #Constraints: 119358
3459.91/3470.70 c #Conflicts: 1926000 | #Constraints: 120358
3459.91/3470.70 c #Conflicts: 1927000 | #Constraints: 121358
3459.91/3470.70 c #Conflicts: 1928000 | #Constraints: 122358
3459.91/3470.70 c #Conflicts: 1929000 | #Constraints: 123358
3459.91/3470.70 c #Conflicts: 1930000 | #Constraints: 124358
3459.91/3470.70 c #Conflicts: 1931000 | #Constraints: 125358
3459.91/3470.70 c #Conflicts: 1932000 | #Constraints: 126358
3459.91/3470.70 c #Conflicts: 1933000 | #Constraints: 127358
3459.91/3470.70 c #Conflicts: 1934000 | #Constraints: 128358
3459.91/3470.70 c #Conflicts: 1935000 | #Constraints: 129358
3459.91/3470.70 c #Conflicts: 1936000 | #Constraints: 130358
3459.91/3470.70 c #Conflicts: 1937000 | #Constraints: 131358
3459.91/3470.70 c #Conflicts: 1938000 | #Constraints: 132358
3459.91/3470.70 c #Conflicts: 1939000 | #Constraints: 133358
3459.91/3470.70 c #Conflicts: 1940000 | #Constraints: 134358
3528.90/3539.93 c #Conflicts: 1941000 | #Constraints: 135358
3528.90/3539.93 c #Conflicts: 1942000 | #Constraints: 136358
3528.90/3539.93 c #Conflicts: 1943000 | #Constraints: 137358
3528.90/3539.93 c #Conflicts: 1944000 | #Constraints: 138358
3528.90/3539.93 c #Conflicts: 1945000 | #Constraints: 139358
3528.90/3539.93 c #Conflicts: 1946000 | #Constraints: 140358
3528.90/3539.93 c #Conflicts: 1947000 | #Constraints: 141358
3528.90/3539.93 c #Conflicts: 1948000 | #Constraints: 142358
3528.90/3539.93 c #Conflicts: 1949000 | #Constraints: 143358
3528.90/3539.93 c #Conflicts: 1950000 | #Constraints: 144358
3528.90/3539.93 c #Conflicts: 1951000 | #Constraints: 145358
3528.90/3539.93 c #Conflicts: 1952000 | #Constraints: 146358
3528.90/3539.93 c #Conflicts: 1953000 | #Constraints: 147358
3528.90/3539.93 c INPROCESSING
3528.90/3539.93 c GARBAGE COLLECT
3528.90/3539.93 c rational objective 87
3600.03/3611.20 c #Conflicts: 1954000 | #Constraints: 78026
3600.03/3611.20 c #Conflicts: 1955000 | #Constraints: 79026
3600.03/3611.20 c #Conflicts: 1956000 | #Constraints: 80026
3600.03/3611.20 c #Conflicts: 1957000 | #Constraints: 81026
3600.03/3611.20 c #Conflicts: 1958000 | #Constraints: 82026
3600.03/3611.20 c #Conflicts: 1959000 | #Constraints: 83026
3600.03/3611.20 c #Conflicts: 1960000 | #Constraints: 84026
3600.03/3611.20 c #Conflicts: 1961000 | #Constraints: 85026
3600.03/3611.20 c #Conflicts: 1962000 | #Constraints: 86026
3600.03/3611.20 c #Conflicts: 1963000 | #Constraints: 87026
3600.03/3611.20 c #Conflicts: 1964000 | #Constraints: 88026
3600.03/3611.20 c #Conflicts: 1965000 | #Constraints: 89026
3600.03/3611.20 c #Conflicts: 1966000 | #Constraints: 90026
3600.03/3611.20 c #Conflicts: 1967000 | #Constraints: 91026
3600.03/3611.20 c #Conflicts: 1968000 | #Constraints: 92026
3600.03/3611.20 c #Conflicts: 1969000 | #Constraints: 93026
3600.03/3611.20 c #Conflicts: 1970000 | #Constraints: 94026
3600.03/3611.20 c #Conflicts: 1971000 | #Constraints: 95026
3600.03/3611.20 c #Conflicts: 1972000 | #Constraints: 96026
3600.03/3611.20 c #Conflicts: 1973000 | #Constraints: 97026
3600.03/3611.20 c #Conflicts: 1974000 | #Constraints: 98026
3600.03/3611.20 c #Conflicts: 1975000 | #Constraints: 99026
3600.03/3611.20 c #Conflicts: 1976000 | #Constraints: 100026
3600.03/3611.20 c #Conflicts: 1977000 | #Constraints: 101026
3600.03/3611.20 c #Conflicts: 1978000 | #Constraints: 102026
3600.03/3611.20 c #Conflicts: 1979000 | #Constraints: 103026
3600.03/3611.20 c cpu time 3582.87 s
3600.03/3611.20 c deterministic time 274952815164 2.75e+11
3600.03/3611.20 c optimization time 69.679 s
3600.03/3611.20 c total solve time 3513.12 s
3600.03/3611.20 c core-guided solve time 0 s
3600.03/3611.20 c propagation time 2021.9 s
3600.03/3611.20 c conflict analysis time 1386.75 s
3600.03/3611.20 c propagations 968123160
3600.03/3611.20 c resolve steps 89494197
3600.03/3611.20 c decisions 13106199
3600.03/3611.20 c conflicts 1979428
3600.03/3611.20 c restarts 3853
3600.03/3611.20 c inprocessing phases 90
3600.03/3611.20 c garbage collections 90 ,( 100.00 )
3600.03/3611.20 c input clauses 6005 ,( 98.57 )
3600.03/3611.20 c input cardinalities 87 ,( 1.43 )
3600.03/3611.20 c input general constraints 0 ,( 0.00 )
3600.03/3611.20 c input average constraint length 6.23
3600.03/3611.20 c input average constraint degree 1.94
3600.03/3611.20 c learned clauses 1544081 ,( 78.01 )
3600.03/3611.20 c learned cardinalities 30472 ,( 1.54 )
3600.03/3611.20 c learned general constraints 404905 ,( 20.46 )
3600.03/3611.20 c learned average constraint length 679.26
3600.03/3611.20 c learned average constraint degree 8846287.54
3600.03/3611.20 c watched CF 32, 64, 128, Arb: 135704 , 0 , 0 , 0
3600.03/3611.20 c counting CF 32, 64, 128, Arb: 269201 , 0 , 0 , 0
3600.03/3611.20 c watched constraints 135704 ,( 33.52 )
3600.03/3611.20 c counting constraints 269201 ,( 66.48 )
3600.03/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1685005379 , 683154776 , 3470606632 ,( 147500103 , 3323106529 )
3600.03/3611.20 c gcd simplifications 1321
3600.03/3611.20 c detected cardinalities 1780
3600.03/3611.20 c weakened non-implied lits 382425647
3600.03/3611.20 c weakened non-implying lits 268213
3600.03/3611.20 c original variables 5916
3600.03/3611.20 c clausal propagations 361542431
3600.03/3611.20 c cardinality propagations 362878921
3600.03/3611.20 c watched propagations 4824270
3600.03/3611.20 c counting propagations 232471263
3600.03/3611.20 c watch lookups 150655409735
3600.03/3611.20 c watch backjump lookups 0
3600.03/3611.20 c watch checks 42428634349
3600.03/3611.20 c propagation checks 75181447320
3600.03/3611.20 c constraint additions 4722497887
3600.03/3611.20 c trail pops 983203730
3600.03/3611.20 c formula constraints 6092
3600.03/3611.20 c learned constraints 1979416
3600.03/3611.20 c bound constraints 0
3600.03/3611.20 c core-guided constraints 0
3600.03/3611.20 c encountered formula constraints 53713557
3600.03/3611.20 c encountered learned constraints 37759584
3600.03/3611.20 c encountered bound constraints 0
3600.03/3611.20 c encountered core-guided constraints 0
3600.03/3611.20 c LP total time 149.231 s
3600.03/3611.20 c LP solve time 127.82 s
3600.03/3611.20 c LP constraints added 8111
3600.03/3611.20 c LP constraints removed 1851
3600.03/3611.20 c LP pivots internal 202284
3600.03/3611.20 c LP pivots root 190499
3600.03/3611.20 c LP calls 53
3600.03/3611.20 c LP optimalities 37
3600.03/3611.20 c LP no pivot count 5
3600.03/3611.20 c LP infeasibilities 11
3600.03/3611.20 c LP valid Farkas constraints 11
3600.03/3611.20 c LP learned Farkas constraints 11
3600.03/3611.20 c LP basis resets 0
3600.03/3611.20 c LP cycling count 0
3600.03/3611.20 c LP singular count 0
3600.03/3611.20 c LP no primal count 0
3600.03/3611.20 c LP no farkas count 0
3600.03/3611.20 c LP other issue count 0
3600.03/3611.20 c LP Gomory cuts 20
3600.03/3611.20 c LP learned cuts 2097
3600.03/3611.20 c LP deleted cuts 1992
3600.03/3611.20 c LP encountered Gomory constraints 162
3600.03/3611.20 c LP encountered Farkas constraints 291
3600.03/3611.20 c LP encountered learned Farkas constraints 20
3600.03/3611.20 c CG auxiliary variables introduced 0
3600.03/3611.20 c CG solutions found 0
3600.03/3611.20 c CG cores constructed 0
3600.03/3611.20 c CG core cardinality constraints returned 0
3600.03/3611.20 c CG unit cores 0
3600.03/3611.20 c CG single cores 0
3600.03/3611.20 c CG blocks removed during cardinality reduction 0
3600.03/3611.20 c CG first core best 0
3600.03/3611.20 c CG decision core best 0
3600.03/3611.20 c CG core reduction tie 0
3600.03/3611.20 c CG core degree average 0.00
3600.03/3611.20 c CG core slack average 0.00
3600.03/3611.20 c CG core upper bound improvements 0
3600.03/3611.20 c STR number of successful calls 0
3600.03/3611.20 c STR number of unsuccessful calls 0
3600.03/3611.20 c STR number of inconclusive calls 0
3600.03/3611.20 c STR number of successful attempts 0
3600.03/3611.20 c STR number of unsuccessful attempts 0
3600.03/3611.20 c STR number of inconclusive attempts 0
3600.03/3611.20 c STR average degree increase per successful call inf
3600.03/3611.20 c STR average degree increase per successful attempt inf
3600.03/3611.20 c STR total number of conflicts for successful attempts 0
3600.03/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.20 c STR average number of conflicts per successful attempt inf
3600.03/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.20 c AVG.sumWPerc 58.89
3600.03/3611.20 c bigint constraints 0
3600.03/3611.20 s UNKNOWN
3600.03/3611.20 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 (63226 MiB free)
memory of node 1: 64507 MiB (63949 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507480-1751187551/watcher-4507480-1751187551 -o /tmp/evaluation-result-4507480-1751187551/solver-4507480-1751187551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22851 --watchdog 3760 run-dec.sh HOME/instance-4507480-1751187551.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23649, runsolver pid=23646
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.11 4.14 4.15 5/255 23651
/proc/meminfo: memFree=130219152/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=63344 memory=16992 CPUtime=0.09 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 2788 0 0 0 7 2 0 0 20 0 1 0 34434825 64864256 4248 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 15836 4248 2208 1147 0 3263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67536 KiB
Current children cumulated memory: 19936 KiB
[startup+0.21361 s]*
/proc/loadavg: 4.11 4.14 4.15 5/255 23651
/proc/meminfo: memFree=130212852/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=70132 memory=22608 CPUtime=0.2 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 4268 0 0 0 17 3 0 0 20 0 1 0 34434825 71815168 5652 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 17533 5652 2208 1147 0 4960 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74324 KiB
Current children cumulated memory: 25552 KiB
[startup+0.31268 s]*
/proc/loadavg: 4.11 4.14 4.15 5/255 23651
/proc/meminfo: memFree=130212852/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=70132 memory=22736 CPUtime=0.29 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 4286 0 0 0 26 3 0 0 20 0 1 0 34434825 71815168 5684 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 17533 5684 2208 1147 0 4960 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74324 KiB
Current children cumulated memory: 25680 KiB
[startup+0.70033 s]
/proc/loadavg: 4.11 4.14 4.15 5/255 23651
/proc/meminfo: memFree=130212852/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=70948 memory=23632 CPUtime=0.67 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 4499 0 0 0 63 4 0 0 20 0 1 0 34434825 72650752 5908 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 17737 5908 2240 1147 0 5164 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75140 KiB
Current children cumulated memory: 26576 KiB
[startup+1.50038 s]
/proc/loadavg: 4.10 4.13 4.15 5/255 23651
/proc/meminfo: memFree=130211104/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=71508 memory=24144 CPUtime=1.47 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 4630 0 0 0 142 5 0 0 20 0 1 0 34434825 73224192 6036 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 17877 6036 2240 1147 0 5304 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75700 KiB
Current children cumulated memory: 27088 KiB
[startup+3.11276 s]
/proc/loadavg: 4.10 4.13 4.15 5/255 23651
/proc/meminfo: memFree=130179584/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=76084 memory=33228 CPUtime=3.08 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 6329 0 0 0 297 11 0 0 20 0 1 0 34434825 77910016 8307 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 19021 8307 2304 1147 0 6448 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80276 KiB
Current children cumulated memory: 36172 KiB
[startup+6.30035 s]
/proc/loadavg: 4.09 4.13 4.14 5/255 23651
/proc/meminfo: memFree=130161668/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=82916 memory=39348 CPUtime=6.25 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 7344 0 0 0 608 17 0 0 20 0 1 0 34434825 84905984 9837 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 20729 9837 2304 1147 0 8156 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 87108 KiB
Current children cumulated memory: 42292 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.13 4.14 5/255 23651
/proc/meminfo: memFree=130146752/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=90812 memory=45900 CPUtime=12.64 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 8474 0 0 0 1236 28 0 0 20 0 1 0 34434825 92991488 11475 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 22703 11475 2304 1147 0 10130 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 95004 KiB
Current children cumulated memory: 48844 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.14 4.15 5/254 23651
/proc/meminfo: memFree=130042792/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=102664 memory=52812 CPUtime=25.4 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 10199 0 0 0 2485 55 0 0 20 0 1 0 34434825 105127936 13203 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 25666 13203 2304 1147 0 13093 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 106856 KiB
Current children cumulated memory: 55756 KiB
[startup+51.1129 s]
/proc/loadavg: 4.15 4.14 4.15 5/254 23651
/proc/meminfo: memFree=129903388/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=112464 memory=64560 CPUtime=50.94 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 12648 0 0 0 4997 97 0 0 20 0 1 0 34434825 115163136 16140 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 28116 16140 2304 1147 0 15543 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 116656 KiB
Current children cumulated memory: 67504 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.17 4.16 5/254 23699
/proc/meminfo: memFree=129733208/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=194708 memory=139520 CPUtime=101.94 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 19107 0 0 0 10035 159 0 0 20 0 1 0 34434825 199380992 34880 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 48677 34880 2336 1147 0 36104 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 198900 KiB
Current children cumulated memory: 142464 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/254 23712
/proc/meminfo: memFree=129563140/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=223772 memory=165888 CPUtime=161.73 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 25704 0 0 0 15955 218 0 0 20 0 1 0 34434825 229142528 41472 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 55943 41472 2336 1147 0 43370 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 227964 KiB
Current children cumulated memory: 168832 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/254 23714
/proc/meminfo: memFree=129385960/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=244904 memory=187392 CPUtime=221.52 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 31097 0 0 0 21881 271 0 0 20 0 1 0 34434825 250781696 46848 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 61226 46848 2336 1147 0 48653 0
################
# More data... #
################
/proc/23651/statm: 228920 194634 2336 1147 0 216347 0
Current children cumulated CPU time: 3032.78 s
Current children cumulated vsize: 919872 KiB
Current children cumulated memory: 781480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/255 23964
/proc/meminfo: memFree=128077216/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=916448 memory=779304 CPUtime=3092.61 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 72847 0 0 0 307714 1547 0 0 20 0 1 0 34434825 938442752 194826 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 229112 194826 2336 1147 0 216539 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 920640 KiB
Current children cumulated memory: 782248 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/254 23966
/proc/meminfo: memFree=128076988/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=916776 memory=779560 CPUtime=3152.43 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 72929 0 0 0 313656 1587 0 0 20 0 1 0 34434825 938778624 194890 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 229194 194890 2336 1147 0 216621 0
Current children cumulated CPU time: 3152.43 s
Current children cumulated vsize: 920968 KiB
Current children cumulated memory: 782504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/254 23969
/proc/meminfo: memFree=128068948/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=916776 memory=779560 CPUtime=3212.25 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 72929 0 0 0 319606 1619 0 0 20 0 1 0 34434825 938778624 194890 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 229194 194890 2336 1147 0 216621 0
Current children cumulated CPU time: 3212.25 s
Current children cumulated vsize: 920968 KiB
Current children cumulated memory: 782504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/254 23971
/proc/meminfo: memFree=128060688/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=916776 memory=779560 CPUtime=3272.08 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 72929 0 0 0 325564 1644 0 0 20 0 1 0 34434825 938778624 194890 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 229194 194890 2336 1147 0 216621 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 920968 KiB
Current children cumulated memory: 782504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/255 23976
/proc/meminfo: memFree=128004616/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=916776 memory=779560 CPUtime=3331.89 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 72931 0 0 0 331528 1661 0 0 20 0 1 0 34434825 938778624 194890 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 229194 194890 2336 1147 0 216621 0
Current children cumulated CPU time: 3331.89 s
Current children cumulated vsize: 920968 KiB
Current children cumulated memory: 782504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/255 23978
/proc/meminfo: memFree=127989272/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=916908 memory=779688 CPUtime=3391.72 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 73187 0 0 0 337495 1677 0 0 20 0 1 0 34434825 938913792 194922 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 229227 194922 2336 1147 0 216654 0
Current children cumulated CPU time: 3391.72 s
Current children cumulated vsize: 921100 KiB
Current children cumulated memory: 782632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.15 4.16 5/256 23985
/proc/meminfo: memFree=128008648/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=919152 memory=781224 CPUtime=3451.53 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 73639 0 0 0 343465 1688 0 0 20 0 1 0 34434825 941211648 195306 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 229788 195306 2336 1147 0 217215 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 923344 KiB
Current children cumulated memory: 784168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/255 23987
/proc/meminfo: memFree=127978456/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=928112 memory=786600 CPUtime=3511.36 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 74985 0 0 0 349438 1698 0 0 20 0 1 0 34434825 950386688 196650 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 232028 196650 2336 1147 0 219455 0
Current children cumulated CPU time: 3511.36 s
Current children cumulated vsize: 932304 KiB
Current children cumulated memory: 789544 KiB
[startup+3582.3 s]
/proc/loadavg: 3.68 4.02 4.11 4/248 24019
/proc/meminfo: memFree=128685096/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=934148 memory=791080 CPUtime=3571.2 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 76122 0 0 0 355408 1712 0 0 20 0 1 0 34434825 956567552 197770 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 233537 197770 2336 1147 0 220964 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 938340 KiB
Current children cumulated memory: 794024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 3.50 3.95 4.08 4/248 24020
/proc/meminfo: memFree=128685600/131382116 swapFree=33010684/33010684
[pid=23649] ppid=23646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23649/stat : 23649 (run-dec.sh) S 23646 23649 22838 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34434824 4292608 736 18446744073709551615 94717491310592 94717492205125 140728922125552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94717492444176 94717492491920 94717503877120 140728922134893 140728922135016 140728922135016 140728922140618 0
/proc/23649/statm: 1048 736 672 219 0 110 0
[pid=23651] ppid=23649 vsize=934148 memory=791080 CPUtime=3600.03 cores=5,7
/proc/23651/stat : 23651 (roundingsat) R 23649 23649 22838 0 -1 4194304 76122 0 0 0 358287 1716 0 0 20 0 1 0 34434825 956567552 197770 18446744073709551615 4227072 8923433 140723265956320 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11374592 140723265964471 140723265964584 140723265964584 140723265970154 0
/proc/23651/statm: 233537 197770 2336 1147 0 220964 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 938340 KiB
Current children cumulated memory: 794024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.21 s]
# the end of solver process 23649 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001916 s, system=0.002874 s
[startup+3611.21 s]
# the end of solver process 23651 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.88 s, system=17.1685 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.21
CPU time (s): 3600.05
CPU user time (s): 3582.88
CPU system time (s): 17.1685
CPU usage (%): 99.691
Max. virtual memory (cumulated for all children) (KiB): 938340
Max. memory (cumulated for all children) (KiB): 794024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.88
system time used= 17.1685
maximum resident set size= 791464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76351
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= 294
involuntary context switches= 20895
# summary of solver processes directly reported to runsolver:
# pid: 23649,23651
# total CPU time (s): 3600.05
# total CPU user time (s): 3582.88
# total CPU system time (s): 17.1685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1755 second user time and 35.5311 second system time
The end
Begin job on nodeC011 at 2025-06-29 10:59:11
IDJOB=4507480
IDBENCH=158355
IDSOLVER=3349
FILE ID=nodeC011/4507480-1751187551
RUNJOBID= nodeC011-1751180326-22851
SLURM_JOB_ID= 9587547
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507480-1751187551/watcher-4507480-1751187551 -o /tmp/evaluation-result-4507480-1751187551/solver-4507480-1751187551 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22851 --watchdog 3760 run-dec.sh HOME/instance-4507480-1751187551.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=1378762539
nodeC011 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 : 1995.482
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 : 6984.20
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 : 2394.735
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 : 6984.20
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.313
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 : 6984.20
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.451
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 : 6984.20
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 : 2693.925
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 : 6984.20
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 : 1197.897
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 : 6984.20
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 : 1198.052
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 : 6984.20
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.290
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130227784 kB
MemAvailable: 129890400 kB
Buffers: 3280 kB
Cached: 473864 kB
SwapCached: 0 kB
Active: 382252 kB
Inactive: 226056 kB
Active(anon): 149124 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 226056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31296 kB
Writeback: 4 kB
AnonPages: 134420 kB
Mapped: 114692 kB
Shmem: 17960 kB
KReclaimable: 85732 kB
Slab: 165272 kB
SReclaimable: 85732 kB
SUnreclaim: 79540 kB
KernelStack: 4096 kB
PageTables: 3452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 481084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC011 at 2025-06-29 11:59:22