0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 5916 #constraints 6092
43.97/44.17 c #Conflicts: 1000 | #Constraints: 7091
43.97/44.17 c #Conflicts: 2000 | #Constraints: 8091
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 3000 | #Constraints: 7722
43.97/44.17 c #Conflicts: 4000 | #Constraints: 8722
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 5000 | #Constraints: 8169
43.97/44.17 c #Conflicts: 6000 | #Constraints: 9169
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 7000 | #Constraints: 8233
43.97/44.17 c #Conflicts: 8000 | #Constraints: 9233
43.97/44.17 c #Conflicts: 9000 | #Constraints: 10233
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 10000 | #Constraints: 8968
43.97/44.17 c #Conflicts: 11000 | #Constraints: 9968
43.97/44.17 c #Conflicts: 12000 | #Constraints: 10968
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 13000 | #Constraints: 9438
43.97/44.17 c #Conflicts: 14000 | #Constraints: 10438
43.97/44.17 c #Conflicts: 15000 | #Constraints: 11438
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 16000 | #Constraints: 9699
43.97/44.17 c #Conflicts: 17000 | #Constraints: 10699
43.97/44.17 c #Conflicts: 18000 | #Constraints: 11699
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 19000 | #Constraints: 9722
43.97/44.17 c #Conflicts: 20000 | #Constraints: 10722
43.97/44.17 c #Conflicts: 21000 | #Constraints: 11722
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 22000 | #Constraints: 9579
43.97/44.17 c #Conflicts: 23000 | #Constraints: 10579
43.97/44.17 c #Conflicts: 24000 | #Constraints: 11579
43.97/44.17 c #Conflicts: 25000 | #Constraints: 12579
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 26000 | #Constraints: 10234
43.97/44.17 c #Conflicts: 27000 | #Constraints: 11234
43.97/44.17 c #Conflicts: 28000 | #Constraints: 12234
43.97/44.17 c #Conflicts: 29000 | #Constraints: 13234
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 30000 | #Constraints: 10616
43.97/44.17 c #Conflicts: 31000 | #Constraints: 11616
43.97/44.17 c #Conflicts: 32000 | #Constraints: 12616
43.97/44.17 c #Conflicts: 33000 | #Constraints: 13616
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 34000 | #Constraints: 10821
43.97/44.17 c #Conflicts: 35000 | #Constraints: 11821
43.97/44.17 c #Conflicts: 36000 | #Constraints: 12821
43.97/44.17 c #Conflicts: 37000 | #Constraints: 13821
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 38000 | #Constraints: 10861
43.97/44.17 c #Conflicts: 39000 | #Constraints: 11861
43.97/44.17 c #Conflicts: 40000 | #Constraints: 12861
43.97/44.17 c #Conflicts: 41000 | #Constraints: 13861
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 42000 | #Constraints: 10663
43.97/44.17 c #Conflicts: 43000 | #Constraints: 11663
43.97/44.17 c #Conflicts: 44000 | #Constraints: 12663
43.97/44.17 c #Conflicts: 45000 | #Constraints: 13663
43.97/44.17 c #Conflicts: 46000 | #Constraints: 14663
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 47000 | #Constraints: 11309
43.97/44.17 c #Conflicts: 48000 | #Constraints: 12309
43.97/44.17 c #Conflicts: 49000 | #Constraints: 13309
43.97/44.17 c #Conflicts: 50000 | #Constraints: 14309
43.97/44.17 c #Conflicts: 51000 | #Constraints: 15309
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 52000 | #Constraints: 11716
43.97/44.17 c #Conflicts: 53000 | #Constraints: 12716
43.97/44.17 c #Conflicts: 54000 | #Constraints: 13716
43.97/44.17 c #Conflicts: 55000 | #Constraints: 14716
43.97/44.17 c #Conflicts: 56000 | #Constraints: 15716
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 57000 | #Constraints: 11895
43.97/44.17 c #Conflicts: 58000 | #Constraints: 12895
43.97/44.17 c #Conflicts: 59000 | #Constraints: 13895
43.97/44.17 c #Conflicts: 60000 | #Constraints: 14895
43.97/44.17 c #Conflicts: 61000 | #Constraints: 15895
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 62000 | #Constraints: 11898
43.97/44.17 c #Conflicts: 63000 | #Constraints: 12898
43.97/44.17 c #Conflicts: 64000 | #Constraints: 13898
43.97/44.17 c #Conflicts: 65000 | #Constraints: 14898
43.97/44.17 c #Conflicts: 66000 | #Constraints: 15898
43.97/44.17 c INPROCESSING
43.97/44.17 c GARBAGE COLLECT
43.97/44.17 c #Conflicts: 67000 | #Constraints: 11725
43.97/44.17 c #Conflicts: 68000 | #Constraints: 12725
105.20/105.57 c #Conflicts: 69000 | #Constraints: 13725
105.20/105.57 c #Conflicts: 70000 | #Constraints: 14725
105.20/105.57 c #Conflicts: 71000 | #Constraints: 15725
105.20/105.57 c #Conflicts: 72000 | #Constraints: 16725
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 73000 | #Constraints: 12352
105.20/105.57 c #Conflicts: 74000 | #Constraints: 13352
105.20/105.57 c #Conflicts: 75000 | #Constraints: 14352
105.20/105.57 c #Conflicts: 76000 | #Constraints: 15352
105.20/105.57 c #Conflicts: 77000 | #Constraints: 16352
105.20/105.57 c #Conflicts: 78000 | #Constraints: 17352
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 79000 | #Constraints: 12821
105.20/105.57 c #Conflicts: 80000 | #Constraints: 13821
105.20/105.57 c #Conflicts: 81000 | #Constraints: 14821
105.20/105.57 c #Conflicts: 82000 | #Constraints: 15821
105.20/105.57 c #Conflicts: 83000 | #Constraints: 16821
105.20/105.57 c #Conflicts: 84000 | #Constraints: 17821
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 85000 | #Constraints: 13013
105.20/105.57 c #Conflicts: 86000 | #Constraints: 14013
105.20/105.57 c #Conflicts: 87000 | #Constraints: 15013
105.20/105.57 c #Conflicts: 88000 | #Constraints: 16013
105.20/105.57 c #Conflicts: 89000 | #Constraints: 17013
105.20/105.57 c #Conflicts: 90000 | #Constraints: 18013
105.20/105.57 c #Conflicts: 91000 | #Constraints: 19013
105.20/105.57 c #Conflicts: 92000 | #Constraints: 20013
105.20/105.57 c #Conflicts: 93000 | #Constraints: 21013
105.20/105.57 c #Conflicts: 94000 | #Constraints: 22013
105.20/105.57 c #Conflicts: 95000 | #Constraints: 23013
105.20/105.57 c #Conflicts: 96000 | #Constraints: 24013
105.20/105.57 c #Conflicts: 97000 | #Constraints: 25013
105.20/105.57 c #Conflicts: 98000 | #Constraints: 26013
105.20/105.57 c #Conflicts: 99000 | #Constraints: 27013
105.20/105.57 c #Conflicts: 100000 | #Constraints: 28013
105.20/105.57 c #Conflicts: 101000 | #Constraints: 29014
105.20/105.57 c #Conflicts: 102000 | #Constraints: 30014
105.20/105.57 c #Conflicts: 103000 | #Constraints: 31014
105.20/105.57 c #Conflicts: 104000 | #Constraints: 32014
105.20/105.57 c #Conflicts: 105000 | #Constraints: 33014
105.20/105.57 c #Conflicts: 106000 | #Constraints: 34014
105.20/105.57 c #Conflicts: 107000 | #Constraints: 35014
105.20/105.57 c #Conflicts: 108000 | #Constraints: 36014
105.20/105.57 c #Conflicts: 109000 | #Constraints: 37014
105.20/105.57 c #Conflicts: 110000 | #Constraints: 38014
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 111000 | #Constraints: 23124
105.20/105.57 c #Conflicts: 112000 | #Constraints: 24124
105.20/105.57 c #Conflicts: 113000 | #Constraints: 25124
105.20/105.57 c #Conflicts: 114000 | #Constraints: 26124
105.20/105.57 c #Conflicts: 115000 | #Constraints: 27124
105.20/105.57 c #Conflicts: 116000 | #Constraints: 28124
105.20/105.57 c #Conflicts: 117000 | #Constraints: 29124
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 118000 | #Constraints: 18567
105.20/105.57 c #Conflicts: 119000 | #Constraints: 19567
105.20/105.57 c #Conflicts: 120000 | #Constraints: 20567
105.20/105.57 c #Conflicts: 121000 | #Constraints: 21567
105.20/105.57 c #Conflicts: 122000 | #Constraints: 22567
105.20/105.57 c #Conflicts: 123000 | #Constraints: 23567
105.20/105.57 c #Conflicts: 124000 | #Constraints: 24567
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 125000 | #Constraints: 16033
105.20/105.57 c #Conflicts: 126000 | #Constraints: 17033
105.20/105.57 c #Conflicts: 127000 | #Constraints: 18033
105.20/105.57 c #Conflicts: 128000 | #Constraints: 19033
105.20/105.57 c #Conflicts: 129000 | #Constraints: 20033
105.20/105.57 c #Conflicts: 130000 | #Constraints: 21033
105.20/105.57 c #Conflicts: 131000 | #Constraints: 22033
105.20/105.57 c #Conflicts: 132000 | #Constraints: 23033
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 133000 | #Constraints: 15427
105.20/105.57 c #Conflicts: 134000 | #Constraints: 16427
105.20/105.57 c #Conflicts: 135000 | #Constraints: 17427
105.20/105.57 c #Conflicts: 136000 | #Constraints: 18427
105.20/105.57 c #Conflicts: 137000 | #Constraints: 19427
105.20/105.57 c #Conflicts: 138000 | #Constraints: 20427
105.20/105.57 c #Conflicts: 139000 | #Constraints: 21427
105.20/105.57 c #Conflicts: 140000 | #Constraints: 22427
105.20/105.57 c INPROCESSING
105.20/105.57 c GARBAGE COLLECT
105.20/105.57 c #Conflicts: 141000 | #Constraints: 15158
105.20/105.57 c #Conflicts: 142000 | #Constraints: 16158
181.21/181.72 c #Conflicts: 143000 | #Constraints: 17158
181.21/181.72 c #Conflicts: 144000 | #Constraints: 18158
181.21/181.72 c #Conflicts: 145000 | #Constraints: 19158
181.21/181.72 c #Conflicts: 146000 | #Constraints: 20158
181.21/181.72 c #Conflicts: 147000 | #Constraints: 21158
181.21/181.72 c #Conflicts: 148000 | #Constraints: 22158
181.21/181.72 c INPROCESSING
181.21/181.72 c GARBAGE COLLECT
181.21/181.72 c #Conflicts: 149000 | #Constraints: 14984
181.21/181.72 c #Conflicts: 150000 | #Constraints: 15984
181.21/181.72 c #Conflicts: 151000 | #Constraints: 16984
181.21/181.72 c #Conflicts: 152000 | #Constraints: 17984
181.21/181.72 c #Conflicts: 153000 | #Constraints: 18984
181.21/181.72 c #Conflicts: 154000 | #Constraints: 19984
181.21/181.72 c #Conflicts: 155000 | #Constraints: 20984
181.21/181.72 c #Conflicts: 156000 | #Constraints: 21984
181.21/181.72 c #Conflicts: 157000 | #Constraints: 22984
181.21/181.72 c #Conflicts: 158000 | #Constraints: 23984
181.21/181.72 c #Conflicts: 159000 | #Constraints: 24984
181.21/181.72 c #Conflicts: 160000 | #Constraints: 25984
181.21/181.72 c #Conflicts: 161000 | #Constraints: 26984
181.21/181.72 c #Conflicts: 162000 | #Constraints: 27984
181.21/181.72 c #Conflicts: 163000 | #Constraints: 28984
181.21/181.72 c #Conflicts: 164000 | #Constraints: 29984
181.21/181.72 c #Conflicts: 165000 | #Constraints: 30984
181.21/181.72 c #Conflicts: 166000 | #Constraints: 31984
181.21/181.72 c #Conflicts: 167000 | #Constraints: 32984
181.21/181.72 c #Conflicts: 168000 | #Constraints: 33984
181.21/181.72 c #Conflicts: 169000 | #Constraints: 34984
181.21/181.72 c #Conflicts: 170000 | #Constraints: 35984
181.21/181.72 c #Conflicts: 171000 | #Constraints: 36984
181.21/181.72 c #Conflicts: 172000 | #Constraints: 37984
181.21/181.72 c #Conflicts: 173000 | #Constraints: 38984
181.21/181.72 c #Conflicts: 174000 | #Constraints: 39984
181.21/181.72 c #Conflicts: 175000 | #Constraints: 40984
181.21/181.72 c #Conflicts: 176000 | #Constraints: 41984
181.21/181.72 c #Conflicts: 177000 | #Constraints: 42984
181.21/181.72 c #Conflicts: 178000 | #Constraints: 43984
181.21/181.72 c #Conflicts: 179000 | #Constraints: 44984
181.21/181.72 c #Conflicts: 180000 | #Constraints: 45984
181.21/181.72 c #Conflicts: 181000 | #Constraints: 46984
181.21/181.72 c #Conflicts: 182000 | #Constraints: 47984
181.21/181.72 c INPROCESSING
181.21/181.72 c GARBAGE COLLECT
181.21/181.72 c #Conflicts: 183000 | #Constraints: 28191
181.21/181.72 c #Conflicts: 184000 | #Constraints: 29191
181.21/181.72 c #Conflicts: 185000 | #Constraints: 30191
181.21/181.72 c #Conflicts: 186000 | #Constraints: 31191
181.21/181.72 c #Conflicts: 187000 | #Constraints: 32192
181.21/181.72 c #Conflicts: 188000 | #Constraints: 33192
181.21/181.72 c #Conflicts: 189000 | #Constraints: 34192
181.21/181.72 c #Conflicts: 190000 | #Constraints: 35192
181.21/181.72 c #Conflicts: 191000 | #Constraints: 36192
181.21/181.72 c INPROCESSING
181.21/181.72 c GARBAGE COLLECT
181.21/181.72 c #Conflicts: 192000 | #Constraints: 22100
181.21/181.72 c #Conflicts: 193000 | #Constraints: 23100
181.21/181.72 c #Conflicts: 194000 | #Constraints: 24100
181.21/181.72 c #Conflicts: 195000 | #Constraints: 25100
181.21/181.72 c #Conflicts: 196000 | #Constraints: 26100
181.21/181.72 c #Conflicts: 197000 | #Constraints: 27100
181.21/181.72 c #Conflicts: 198000 | #Constraints: 28100
181.21/181.72 c #Conflicts: 199000 | #Constraints: 29100
181.21/181.72 c #Conflicts: 200000 | #Constraints: 30100
181.21/181.72 c #Conflicts: 201000 | #Constraints: 31100
181.21/181.72 c INPROCESSING
181.21/181.72 c GARBAGE COLLECT
181.21/181.72 c #Conflicts: 202000 | #Constraints: 19801
181.21/181.72 c #Conflicts: 203000 | #Constraints: 20801
181.21/181.72 c #Conflicts: 204000 | #Constraints: 21801
181.21/181.72 c #Conflicts: 205000 | #Constraints: 22801
181.21/181.72 c #Conflicts: 206000 | #Constraints: 23801
181.21/181.72 c #Conflicts: 207000 | #Constraints: 24801
181.21/181.72 c #Conflicts: 208000 | #Constraints: 25801
181.21/181.72 c #Conflicts: 209000 | #Constraints: 26801
181.21/181.72 c #Conflicts: 210000 | #Constraints: 27801
181.21/181.72 c INPROCESSING
181.21/181.72 c GARBAGE COLLECT
181.21/181.72 c rational objective 87
280.95/281.75 c #Conflicts: 211000 | #Constraints: 17720
280.95/281.75 c #Conflicts: 212000 | #Constraints: 18720
280.95/281.75 c #Conflicts: 213000 | #Constraints: 19720
280.95/281.75 c #Conflicts: 214000 | #Constraints: 20720
280.95/281.75 c #Conflicts: 215000 | #Constraints: 21720
280.95/281.75 c #Conflicts: 216000 | #Constraints: 22721
280.95/281.75 c #Conflicts: 217000 | #Constraints: 23721
280.95/281.75 c #Conflicts: 218000 | #Constraints: 24721
280.95/281.75 c #Conflicts: 219000 | #Constraints: 25721
280.95/281.75 c #Conflicts: 220000 | #Constraints: 26721
280.95/281.75 c INPROCESSING
280.95/281.75 c GARBAGE COLLECT
280.95/281.75 c #Conflicts: 221000 | #Constraints: 17176
280.95/281.75 c #Conflicts: 222000 | #Constraints: 18176
280.95/281.75 c #Conflicts: 223000 | #Constraints: 19176
280.95/281.75 c #Conflicts: 224000 | #Constraints: 20176
280.95/281.75 c #Conflicts: 225000 | #Constraints: 21176
280.95/281.75 c #Conflicts: 226000 | #Constraints: 22176
280.95/281.75 c #Conflicts: 227000 | #Constraints: 23176
280.95/281.75 c #Conflicts: 228000 | #Constraints: 24176
280.95/281.75 c #Conflicts: 229000 | #Constraints: 25176
280.95/281.75 c #Conflicts: 230000 | #Constraints: 26176
280.95/281.75 c #Conflicts: 231000 | #Constraints: 27176
280.95/281.75 c INPROCESSING
280.95/281.75 c GARBAGE COLLECT
280.95/281.75 c #Conflicts: 232000 | #Constraints: 17793
280.95/281.75 c #Conflicts: 233000 | #Constraints: 18793
280.95/281.75 c #Conflicts: 234000 | #Constraints: 19793
280.95/281.75 c #Conflicts: 235000 | #Constraints: 20793
280.95/281.75 c #Conflicts: 236000 | #Constraints: 21793
280.95/281.75 c #Conflicts: 237000 | #Constraints: 22793
280.95/281.75 c #Conflicts: 238000 | #Constraints: 23793
280.95/281.75 c #Conflicts: 239000 | #Constraints: 24793
280.95/281.75 c #Conflicts: 240000 | #Constraints: 25793
280.95/281.75 c #Conflicts: 241000 | #Constraints: 26793
280.95/281.75 c #Conflicts: 242000 | #Constraints: 27793
280.95/281.75 c #Conflicts: 243000 | #Constraints: 28793
280.95/281.75 c #Conflicts: 244000 | #Constraints: 29793
280.95/281.75 c #Conflicts: 245000 | #Constraints: 30793
280.95/281.75 c #Conflicts: 246000 | #Constraints: 31793
280.95/281.75 c #Conflicts: 247000 | #Constraints: 32793
280.95/281.75 c #Conflicts: 248000 | #Constraints: 33793
280.95/281.75 c #Conflicts: 249000 | #Constraints: 34793
280.95/281.75 c #Conflicts: 250000 | #Constraints: 35793
280.95/281.75 c #Conflicts: 251000 | #Constraints: 36793
280.95/281.75 c #Conflicts: 252000 | #Constraints: 37793
280.95/281.75 c #Conflicts: 253000 | #Constraints: 38793
280.95/281.75 c #Conflicts: 254000 | #Constraints: 39793
280.95/281.75 c #Conflicts: 255000 | #Constraints: 40793
280.95/281.75 c #Conflicts: 256000 | #Constraints: 41793
280.95/281.75 c #Conflicts: 257000 | #Constraints: 42793
280.95/281.75 c #Conflicts: 258000 | #Constraints: 43793
280.95/281.75 c #Conflicts: 259000 | #Constraints: 44793
280.95/281.75 c #Conflicts: 260000 | #Constraints: 45793
280.95/281.75 c #Conflicts: 261000 | #Constraints: 46793
280.95/281.75 c #Conflicts: 262000 | #Constraints: 47793
280.95/281.75 c #Conflicts: 263000 | #Constraints: 48793
280.95/281.75 c #Conflicts: 264000 | #Constraints: 49793
280.95/281.75 c #Conflicts: 265000 | #Constraints: 50793
280.95/281.75 c #Conflicts: 266000 | #Constraints: 51793
280.95/281.75 c #Conflicts: 267000 | #Constraints: 52793
280.95/281.75 c #Conflicts: 268000 | #Constraints: 53793
280.95/281.75 c #Conflicts: 269000 | #Constraints: 54793
280.95/281.75 c #Conflicts: 270000 | #Constraints: 55793
280.95/281.75 c #Conflicts: 271000 | #Constraints: 56793
280.95/281.75 c #Conflicts: 272000 | #Constraints: 57793
280.95/281.75 c INPROCESSING
280.95/281.75 c GARBAGE COLLECT
280.95/281.75 c #Conflicts: 273000 | #Constraints: 33108
280.95/281.75 c #Conflicts: 274000 | #Constraints: 34108
280.95/281.75 c #Conflicts: 275000 | #Constraints: 35108
280.95/281.75 c #Conflicts: 276000 | #Constraints: 36108
280.95/281.75 c #Conflicts: 277000 | #Constraints: 37108
280.95/281.75 c #Conflicts: 278000 | #Constraints: 38108
280.95/281.75 c #Conflicts: 279000 | #Constraints: 39108
280.95/281.75 c #Conflicts: 280000 | #Constraints: 40108
280.95/281.75 c #Conflicts: 281000 | #Constraints: 41109
280.95/281.75 c #Conflicts: 282000 | #Constraints: 42109
280.95/281.75 c #Conflicts: 283000 | #Constraints: 43109
280.95/281.75 c INPROCESSING
280.95/281.75 c GARBAGE COLLECT
280.95/281.75 c #Conflicts: 284000 | #Constraints: 25540
280.95/281.75 c #Conflicts: 285000 | #Constraints: 26540
280.95/281.75 c #Conflicts: 286000 | #Constraints: 27540
280.95/281.75 c #Conflicts: 287000 | #Constraints: 28540
381.19/382.22 c #Conflicts: 288000 | #Constraints: 29540
381.19/382.22 c #Conflicts: 289000 | #Constraints: 30540
381.19/382.22 c #Conflicts: 290000 | #Constraints: 31540
381.19/382.22 c #Conflicts: 291000 | #Constraints: 32540
381.19/382.22 c #Conflicts: 292000 | #Constraints: 33540
381.19/382.22 c #Conflicts: 293000 | #Constraints: 34540
381.19/382.22 c #Conflicts: 294000 | #Constraints: 35540
381.19/382.22 c #Conflicts: 295000 | #Constraints: 36540
381.19/382.22 c INPROCESSING
381.19/382.22 c GARBAGE COLLECT
381.19/382.22 c #Conflicts: 296000 | #Constraints: 22407
381.19/382.22 c #Conflicts: 297000 | #Constraints: 23407
381.19/382.22 c #Conflicts: 298000 | #Constraints: 24407
381.19/382.22 c #Conflicts: 299000 | #Constraints: 25407
381.19/382.22 c #Conflicts: 300000 | #Constraints: 26407
381.19/382.22 c #Conflicts: 301000 | #Constraints: 27407
381.19/382.22 c #Conflicts: 302000 | #Constraints: 28407
381.19/382.22 c #Conflicts: 303000 | #Constraints: 29407
381.19/382.22 c #Conflicts: 304000 | #Constraints: 30407
381.19/382.22 c #Conflicts: 305000 | #Constraints: 31407
381.19/382.22 c #Conflicts: 306000 | #Constraints: 32407
381.19/382.22 c #Conflicts: 307000 | #Constraints: 33407
381.19/382.22 c INPROCESSING
381.19/382.22 c GARBAGE COLLECT
381.19/382.22 c #Conflicts: 308000 | #Constraints: 20912
381.19/382.22 c #Conflicts: 309000 | #Constraints: 21912
381.19/382.22 c #Conflicts: 310000 | #Constraints: 22912
381.19/382.22 c #Conflicts: 311000 | #Constraints: 23912
381.19/382.22 c #Conflicts: 312000 | #Constraints: 24912
381.19/382.22 c #Conflicts: 313000 | #Constraints: 25912
381.19/382.22 c #Conflicts: 314000 | #Constraints: 26912
381.19/382.22 c #Conflicts: 315000 | #Constraints: 27912
381.19/382.22 c #Conflicts: 316000 | #Constraints: 28912
381.19/382.22 c #Conflicts: 317000 | #Constraints: 29912
381.19/382.22 c #Conflicts: 318000 | #Constraints: 30912
381.19/382.22 c #Conflicts: 319000 | #Constraints: 31912
381.19/382.22 c INPROCESSING
381.19/382.22 c GARBAGE COLLECT
381.19/382.22 c #Conflicts: 320000 | #Constraints: 20128
381.19/382.22 c #Conflicts: 321000 | #Constraints: 21128
381.19/382.22 c #Conflicts: 322000 | #Constraints: 22128
381.19/382.22 c #Conflicts: 323000 | #Constraints: 23128
381.19/382.22 c #Conflicts: 324000 | #Constraints: 24128
381.19/382.22 c #Conflicts: 325000 | #Constraints: 25128
381.19/382.22 c #Conflicts: 326000 | #Constraints: 26128
381.19/382.22 c #Conflicts: 327000 | #Constraints: 27128
381.19/382.22 c #Conflicts: 328000 | #Constraints: 28128
381.19/382.22 c #Conflicts: 329000 | #Constraints: 29128
381.19/382.22 c #Conflicts: 330000 | #Constraints: 30128
381.19/382.22 c #Conflicts: 331000 | #Constraints: 31128
381.19/382.22 c #Conflicts: 332000 | #Constraints: 32128
381.19/382.22 c #Conflicts: 333000 | #Constraints: 33128
381.19/382.22 c #Conflicts: 334000 | #Constraints: 34128
381.19/382.22 c #Conflicts: 335000 | #Constraints: 35128
381.19/382.22 c #Conflicts: 336000 | #Constraints: 36128
381.19/382.22 c #Conflicts: 337000 | #Constraints: 37128
381.19/382.22 c #Conflicts: 338000 | #Constraints: 38128
381.19/382.22 c #Conflicts: 339000 | #Constraints: 39128
381.19/382.22 c #Conflicts: 340000 | #Constraints: 40128
381.19/382.22 c #Conflicts: 341000 | #Constraints: 41128
381.19/382.22 c #Conflicts: 342000 | #Constraints: 42128
381.19/382.22 c #Conflicts: 343000 | #Constraints: 43128
381.19/382.22 c #Conflicts: 344000 | #Constraints: 44128
381.19/382.22 c #Conflicts: 345000 | #Constraints: 45128
381.19/382.22 c #Conflicts: 346000 | #Constraints: 46128
381.19/382.22 c #Conflicts: 347000 | #Constraints: 47128
381.19/382.22 c #Conflicts: 348000 | #Constraints: 48128
381.19/382.22 c #Conflicts: 349000 | #Constraints: 49128
381.19/382.22 c #Conflicts: 350000 | #Constraints: 50128
381.19/382.22 c #Conflicts: 351000 | #Constraints: 51128
381.19/382.22 c #Conflicts: 352000 | #Constraints: 52128
381.19/382.22 c #Conflicts: 353000 | #Constraints: 53128
381.19/382.22 c #Conflicts: 354000 | #Constraints: 54128
381.19/382.22 c #Conflicts: 355000 | #Constraints: 55129
381.19/382.22 c #Conflicts: 356000 | #Constraints: 56129
381.19/382.22 c #Conflicts: 357000 | #Constraints: 57129
381.19/382.22 c #Conflicts: 358000 | #Constraints: 58129
381.19/382.22 c #Conflicts: 359000 | #Constraints: 59129
381.19/382.22 c #Conflicts: 360000 | #Constraints: 60129
381.19/382.22 c #Conflicts: 361000 | #Constraints: 61129
381.19/382.22 c #Conflicts: 362000 | #Constraints: 62129
381.19/382.22 c #Conflicts: 363000 | #Constraints: 63129
381.19/382.22 c #Conflicts: 364000 | #Constraints: 64129
391.86/392.96 c #Conflicts: 365000 | #Constraints: 65129
391.86/392.96 c #Conflicts: 366000 | #Constraints: 66129
391.86/392.96 c INPROCESSING
391.86/392.96 c GARBAGE COLLECT
391.86/392.96 c rational objective 87
488.42/489.74 c #Conflicts: 367000 | #Constraints: 36996
488.42/489.74 c #Conflicts: 368000 | #Constraints: 37996
488.42/489.74 c #Conflicts: 369000 | #Constraints: 38996
488.42/489.74 c #Conflicts: 370000 | #Constraints: 39996
488.42/489.74 c #Conflicts: 371000 | #Constraints: 40996
488.42/489.74 c #Conflicts: 372000 | #Constraints: 41996
488.42/489.74 c #Conflicts: 373000 | #Constraints: 42996
488.42/489.74 c #Conflicts: 374000 | #Constraints: 43996
488.42/489.74 c #Conflicts: 375000 | #Constraints: 44996
488.42/489.74 c #Conflicts: 376000 | #Constraints: 45996
488.42/489.74 c #Conflicts: 377000 | #Constraints: 46996
488.42/489.74 c #Conflicts: 378000 | #Constraints: 47996
488.42/489.74 c #Conflicts: 379000 | #Constraints: 48996
488.42/489.74 c #Conflicts: 380000 | #Constraints: 49996
488.42/489.74 c INPROCESSING
488.42/489.74 c GARBAGE COLLECT
488.42/489.74 c #Conflicts: 381000 | #Constraints: 29246
488.42/489.74 c #Conflicts: 382000 | #Constraints: 30246
488.42/489.74 c #Conflicts: 383000 | #Constraints: 31246
488.42/489.74 c #Conflicts: 384000 | #Constraints: 32246
488.42/489.74 c #Conflicts: 385000 | #Constraints: 33246
488.42/489.74 c #Conflicts: 386000 | #Constraints: 34246
488.42/489.74 c #Conflicts: 387000 | #Constraints: 35246
488.42/489.74 c #Conflicts: 388000 | #Constraints: 36246
488.42/489.74 c #Conflicts: 389000 | #Constraints: 37246
488.42/489.74 c #Conflicts: 390000 | #Constraints: 38246
488.42/489.74 c #Conflicts: 391000 | #Constraints: 39246
488.42/489.74 c #Conflicts: 392000 | #Constraints: 40246
488.42/489.74 c #Conflicts: 393000 | #Constraints: 41246
488.42/489.74 c INPROCESSING
488.42/489.74 c GARBAGE COLLECT
488.42/489.74 c #Conflicts: 394000 | #Constraints: 24659
488.42/489.74 c #Conflicts: 395000 | #Constraints: 25659
488.42/489.74 c #Conflicts: 396000 | #Constraints: 26659
488.42/489.74 c #Conflicts: 397000 | #Constraints: 27659
488.42/489.74 c #Conflicts: 398000 | #Constraints: 28659
488.42/489.74 c #Conflicts: 399000 | #Constraints: 29659
488.42/489.74 c #Conflicts: 400000 | #Constraints: 30659
488.42/489.74 c #Conflicts: 401000 | #Constraints: 31659
488.42/489.74 c #Conflicts: 402000 | #Constraints: 32659
488.42/489.74 c #Conflicts: 403000 | #Constraints: 33659
488.42/489.74 c #Conflicts: 404000 | #Constraints: 34659
488.42/489.74 c #Conflicts: 405000 | #Constraints: 35659
488.42/489.74 c #Conflicts: 406000 | #Constraints: 36659
488.42/489.74 c #Conflicts: 407000 | #Constraints: 37659
488.42/489.74 c INPROCESSING
488.42/489.74 c GARBAGE COLLECT
488.42/489.74 c #Conflicts: 408000 | #Constraints: 22921
488.42/489.74 c #Conflicts: 409000 | #Constraints: 23921
488.42/489.74 c #Conflicts: 410000 | #Constraints: 24922
488.42/489.74 c #Conflicts: 411000 | #Constraints: 25922
488.42/489.74 c #Conflicts: 412000 | #Constraints: 26922
488.42/489.74 c #Conflicts: 413000 | #Constraints: 27922
488.42/489.74 c #Conflicts: 414000 | #Constraints: 28922
488.42/489.74 c #Conflicts: 415000 | #Constraints: 29922
488.42/489.74 c #Conflicts: 416000 | #Constraints: 30922
488.42/489.74 c #Conflicts: 417000 | #Constraints: 31922
488.42/489.74 c #Conflicts: 418000 | #Constraints: 32922
488.42/489.74 c #Conflicts: 419000 | #Constraints: 33922
488.42/489.74 c #Conflicts: 420000 | #Constraints: 34922
488.42/489.74 c #Conflicts: 421000 | #Constraints: 35922
488.42/489.74 c INPROCESSING
488.42/489.74 c GARBAGE COLLECT
488.42/489.74 c #Conflicts: 422000 | #Constraints: 22032
488.42/489.74 c #Conflicts: 423000 | #Constraints: 23032
488.42/489.74 c #Conflicts: 424000 | #Constraints: 24032
488.42/489.74 c #Conflicts: 425000 | #Constraints: 25032
488.42/489.74 c #Conflicts: 426000 | #Constraints: 26032
488.42/489.74 c #Conflicts: 427000 | #Constraints: 27032
488.42/489.74 c #Conflicts: 428000 | #Constraints: 28032
488.42/489.74 c #Conflicts: 429000 | #Constraints: 29032
488.42/489.74 c #Conflicts: 430000 | #Constraints: 30032
488.42/489.74 c #Conflicts: 431000 | #Constraints: 31032
488.42/489.74 c #Conflicts: 432000 | #Constraints: 32032
488.42/489.74 c #Conflicts: 433000 | #Constraints: 33032
488.42/489.74 c #Conflicts: 434000 | #Constraints: 34032
488.42/489.74 c #Conflicts: 435000 | #Constraints: 35032
488.42/489.74 c #Conflicts: 436000 | #Constraints: 36032
488.42/489.74 c #Conflicts: 437000 | #Constraints: 37032
488.42/489.74 c #Conflicts: 438000 | #Constraints: 38032
488.42/489.74 c #Conflicts: 439000 | #Constraints: 39032
488.42/489.74 c #Conflicts: 440000 | #Constraints: 40032
488.42/489.74 c #Conflicts: 441000 | #Constraints: 41032
488.42/489.74 c #Conflicts: 442000 | #Constraints: 42032
488.42/489.74 c #Conflicts: 443000 | #Constraints: 43032
554.55/556.02 c #Conflicts: 444000 | #Constraints: 44032
554.55/556.02 c #Conflicts: 445000 | #Constraints: 45032
554.55/556.02 c #Conflicts: 446000 | #Constraints: 46032
554.55/556.02 c #Conflicts: 447000 | #Constraints: 47032
554.55/556.02 c #Conflicts: 448000 | #Constraints: 48032
554.55/556.02 c #Conflicts: 449000 | #Constraints: 49032
554.55/556.02 c #Conflicts: 450000 | #Constraints: 50032
554.55/556.02 c #Conflicts: 451000 | #Constraints: 51032
554.55/556.02 c #Conflicts: 452000 | #Constraints: 52032
554.55/556.02 c #Conflicts: 453000 | #Constraints: 53032
554.55/556.02 c #Conflicts: 454000 | #Constraints: 54032
554.55/556.02 c #Conflicts: 455000 | #Constraints: 55032
554.55/556.02 c #Conflicts: 456000 | #Constraints: 56032
554.55/556.02 c #Conflicts: 457000 | #Constraints: 57032
554.55/556.02 c #Conflicts: 458000 | #Constraints: 58032
554.55/556.02 c #Conflicts: 459000 | #Constraints: 59032
554.55/556.02 c #Conflicts: 460000 | #Constraints: 60032
554.55/556.02 c #Conflicts: 461000 | #Constraints: 61032
554.55/556.02 c #Conflicts: 462000 | #Constraints: 62032
554.55/556.02 c #Conflicts: 463000 | #Constraints: 63032
554.55/556.02 c #Conflicts: 464000 | #Constraints: 64032
554.55/556.02 c #Conflicts: 465000 | #Constraints: 65032
554.55/556.02 c #Conflicts: 466000 | #Constraints: 66032
554.55/556.02 c #Conflicts: 467000 | #Constraints: 67032
554.55/556.02 c #Conflicts: 468000 | #Constraints: 68032
554.55/556.02 c #Conflicts: 469000 | #Constraints: 69032
554.55/556.02 c #Conflicts: 470000 | #Constraints: 70032
554.55/556.02 c #Conflicts: 471000 | #Constraints: 71032
554.55/556.02 c #Conflicts: 472000 | #Constraints: 72032
554.55/556.02 c #Conflicts: 473000 | #Constraints: 73032
554.55/556.02 c #Conflicts: 474000 | #Constraints: 74032
554.55/556.02 c #Conflicts: 475000 | #Constraints: 75032
554.55/556.02 c INPROCESSING
554.55/556.02 c GARBAGE COLLECT
554.55/556.02 c rational objective 87
585.16/586.79 c #Conflicts: 476000 | #Constraints: 41684
585.16/586.79 c #Conflicts: 477000 | #Constraints: 42684
585.16/586.79 c #Conflicts: 478000 | #Constraints: 43684
585.16/586.79 c #Conflicts: 479000 | #Constraints: 44684
585.16/586.79 c #Conflicts: 480000 | #Constraints: 45684
585.16/586.79 c #Conflicts: 481000 | #Constraints: 46684
585.16/586.79 c #Conflicts: 482000 | #Constraints: 47684
585.16/586.79 c #Conflicts: 483000 | #Constraints: 48684
585.16/586.79 c #Conflicts: 484000 | #Constraints: 49684
585.16/586.79 c #Conflicts: 485000 | #Constraints: 50684
585.16/586.79 c #Conflicts: 486000 | #Constraints: 51684
585.16/586.79 c #Conflicts: 487000 | #Constraints: 52684
585.16/586.79 c #Conflicts: 488000 | #Constraints: 53684
585.16/586.79 c #Conflicts: 489000 | #Constraints: 54684
585.16/586.79 c #Conflicts: 490000 | #Constraints: 55684
585.16/586.79 c INPROCESSING
585.16/586.79 c GARBAGE COLLECT
585.16/586.79 c rational objective 87
673.33/675.18 c #Conflicts: 491000 | #Constraints: 31904
673.33/675.18 c #Conflicts: 492000 | #Constraints: 32904
673.33/675.18 c #Conflicts: 493000 | #Constraints: 33904
673.33/675.18 c #Conflicts: 494000 | #Constraints: 34904
673.33/675.18 c #Conflicts: 495000 | #Constraints: 35904
673.33/675.18 c #Conflicts: 496000 | #Constraints: 36904
673.33/675.18 c #Conflicts: 497000 | #Constraints: 37904
673.33/675.18 c #Conflicts: 498000 | #Constraints: 38904
673.33/675.18 c #Conflicts: 499000 | #Constraints: 39904
673.33/675.18 c #Conflicts: 500000 | #Constraints: 40904
673.33/675.18 c #Conflicts: 501000 | #Constraints: 41904
673.33/675.18 c #Conflicts: 502000 | #Constraints: 42904
673.33/675.18 c #Conflicts: 503000 | #Constraints: 43904
673.33/675.18 c #Conflicts: 504000 | #Constraints: 44904
673.33/675.18 c #Conflicts: 505000 | #Constraints: 45904
673.33/675.18 c #Conflicts: 506000 | #Constraints: 46904
673.33/675.18 c INPROCESSING
673.33/675.18 c GARBAGE COLLECT
673.33/675.18 c #Conflicts: 507000 | #Constraints: 27742
673.33/675.18 c #Conflicts: 508000 | #Constraints: 28742
673.33/675.18 c #Conflicts: 509000 | #Constraints: 29742
673.33/675.18 c #Conflicts: 510000 | #Constraints: 30742
673.33/675.19 c #Conflicts: 511000 | #Constraints: 31742
673.33/675.19 c #Conflicts: 512000 | #Constraints: 32742
673.33/675.19 c #Conflicts: 513000 | #Constraints: 33742
673.33/675.19 c #Conflicts: 514000 | #Constraints: 34742
673.33/675.19 c #Conflicts: 515000 | #Constraints: 35742
673.33/675.19 c #Conflicts: 516000 | #Constraints: 36742
673.33/675.19 c #Conflicts: 517000 | #Constraints: 37742
673.33/675.19 c #Conflicts: 518000 | #Constraints: 38742
673.33/675.19 c #Conflicts: 519000 | #Constraints: 39742
673.33/675.19 c #Conflicts: 520000 | #Constraints: 40742
673.33/675.19 c #Conflicts: 521000 | #Constraints: 41742
673.33/675.19 c INPROCESSING
673.33/675.19 c GARBAGE COLLECT
673.33/675.19 c #Conflicts: 522000 | #Constraints: 24757
673.33/675.19 c #Conflicts: 523000 | #Constraints: 25757
673.33/675.19 c #Conflicts: 524000 | #Constraints: 26757
673.33/675.19 c #Conflicts: 525000 | #Constraints: 27757
673.33/675.19 c #Conflicts: 526000 | #Constraints: 28757
673.33/675.19 c #Conflicts: 527000 | #Constraints: 29757
673.33/675.19 c #Conflicts: 528000 | #Constraints: 30757
673.33/675.19 c #Conflicts: 529000 | #Constraints: 31757
673.33/675.19 c #Conflicts: 530000 | #Constraints: 32757
673.33/675.19 c #Conflicts: 531000 | #Constraints: 33757
673.33/675.19 c #Conflicts: 532000 | #Constraints: 34757
673.33/675.19 c #Conflicts: 533000 | #Constraints: 35757
673.33/675.19 c #Conflicts: 534000 | #Constraints: 36757
673.33/675.19 c #Conflicts: 535000 | #Constraints: 37757
673.33/675.19 c #Conflicts: 536000 | #Constraints: 38757
673.33/675.19 c #Conflicts: 537000 | #Constraints: 39757
673.33/675.19 c INPROCESSING
673.33/675.19 c GARBAGE COLLECT
673.33/675.19 c #Conflicts: 538000 | #Constraints: 23897
673.33/675.19 c #Conflicts: 539000 | #Constraints: 24897
673.33/675.19 c #Conflicts: 540000 | #Constraints: 25897
673.33/675.19 c #Conflicts: 541000 | #Constraints: 26897
673.33/675.19 c #Conflicts: 542000 | #Constraints: 27897
673.33/675.19 c #Conflicts: 543000 | #Constraints: 28897
673.33/675.19 c #Conflicts: 544000 | #Constraints: 29897
673.33/675.19 c #Conflicts: 545000 | #Constraints: 30897
673.33/675.19 c #Conflicts: 546000 | #Constraints: 31897
673.33/675.19 c #Conflicts: 547000 | #Constraints: 32897
673.33/675.19 c #Conflicts: 548000 | #Constraints: 33897
673.33/675.19 c #Conflicts: 549000 | #Constraints: 34897
673.33/675.19 c #Conflicts: 550000 | #Constraints: 35897
673.33/675.19 c #Conflicts: 551000 | #Constraints: 36897
673.33/675.19 c #Conflicts: 552000 | #Constraints: 37897
673.33/675.19 c #Conflicts: 553000 | #Constraints: 38897
673.33/675.19 c INPROCESSING
673.33/675.19 c GARBAGE COLLECT
673.33/675.19 c #Conflicts: 554000 | #Constraints: 23364
673.33/675.19 c #Conflicts: 555000 | #Constraints: 24364
673.33/675.19 c #Conflicts: 556000 | #Constraints: 25364
673.33/675.19 c #Conflicts: 557000 | #Constraints: 26364
673.33/675.19 c #Conflicts: 558000 | #Constraints: 27364
673.33/675.19 c #Conflicts: 559000 | #Constraints: 28364
673.33/675.19 c #Conflicts: 560000 | #Constraints: 29364
673.33/675.19 c #Conflicts: 561000 | #Constraints: 30364
673.33/675.19 c #Conflicts: 562000 | #Constraints: 31364
673.33/675.19 c #Conflicts: 563000 | #Constraints: 32364
673.33/675.19 c #Conflicts: 564000 | #Constraints: 33364
673.33/675.19 c #Conflicts: 565000 | #Constraints: 34364
673.33/675.19 c #Conflicts: 566000 | #Constraints: 35364
673.33/675.19 c #Conflicts: 567000 | #Constraints: 36364
785.85/787.92 c #Conflicts: 568000 | #Constraints: 37364
785.85/787.92 c #Conflicts: 569000 | #Constraints: 38364
785.85/787.92 c #Conflicts: 570000 | #Constraints: 39364
785.85/787.92 c #Conflicts: 571000 | #Constraints: 40364
785.85/787.92 c #Conflicts: 572000 | #Constraints: 41364
785.85/787.92 c #Conflicts: 573000 | #Constraints: 42364
785.85/787.92 c #Conflicts: 574000 | #Constraints: 43364
785.85/787.92 c #Conflicts: 575000 | #Constraints: 44364
785.85/787.92 c #Conflicts: 576000 | #Constraints: 45364
785.85/787.92 c #Conflicts: 577000 | #Constraints: 46364
785.85/787.92 c #Conflicts: 578000 | #Constraints: 47364
785.85/787.92 c #Conflicts: 579000 | #Constraints: 48364
785.85/787.92 c #Conflicts: 580000 | #Constraints: 49364
785.85/787.92 c #Conflicts: 581000 | #Constraints: 50364
785.85/787.92 c #Conflicts: 582000 | #Constraints: 51364
785.85/787.92 c #Conflicts: 583000 | #Constraints: 52364
785.85/787.92 c #Conflicts: 584000 | #Constraints: 53364
785.85/787.92 c #Conflicts: 585000 | #Constraints: 54364
785.85/787.92 c #Conflicts: 586000 | #Constraints: 55364
785.85/787.92 c #Conflicts: 587000 | #Constraints: 56364
785.85/787.92 c #Conflicts: 588000 | #Constraints: 57364
785.85/787.92 c #Conflicts: 589000 | #Constraints: 58364
785.85/787.92 c #Conflicts: 590000 | #Constraints: 59364
785.85/787.92 c #Conflicts: 591000 | #Constraints: 60364
785.85/787.92 c #Conflicts: 592000 | #Constraints: 61364
785.85/787.92 c #Conflicts: 593000 | #Constraints: 62364
785.85/787.92 c #Conflicts: 594000 | #Constraints: 63364
785.85/787.92 c #Conflicts: 595000 | #Constraints: 64364
785.85/787.92 c #Conflicts: 596000 | #Constraints: 65364
785.85/787.92 c #Conflicts: 597000 | #Constraints: 66364
785.85/787.92 c #Conflicts: 598000 | #Constraints: 67364
785.85/787.92 c #Conflicts: 599000 | #Constraints: 68364
785.85/787.92 c #Conflicts: 600000 | #Constraints: 69364
785.85/787.92 c #Conflicts: 601000 | #Constraints: 70364
785.85/787.92 c #Conflicts: 602000 | #Constraints: 71364
785.85/787.92 c #Conflicts: 603000 | #Constraints: 72364
785.85/787.92 c #Conflicts: 604000 | #Constraints: 73364
785.85/787.92 c #Conflicts: 605000 | #Constraints: 74364
785.85/787.92 c #Conflicts: 606000 | #Constraints: 75364
785.85/787.92 c #Conflicts: 607000 | #Constraints: 76364
785.85/787.92 c #Conflicts: 608000 | #Constraints: 77364
785.85/787.92 c #Conflicts: 609000 | #Constraints: 78364
785.85/787.92 c #Conflicts: 610000 | #Constraints: 79364
785.85/787.92 c #Conflicts: 611000 | #Constraints: 80364
785.85/787.92 c #Conflicts: 612000 | #Constraints: 81364
785.85/787.92 c #Conflicts: 613000 | #Constraints: 82364
785.85/787.92 c #Conflicts: 614000 | #Constraints: 83364
785.85/787.92 c #Conflicts: 615000 | #Constraints: 84364
785.85/787.92 c INPROCESSING
785.85/787.92 c GARBAGE COLLECT
785.85/787.92 c rational objective 87
823.25/825.47 c #Conflicts: 616000 | #Constraints: 46521
823.25/825.47 c #Conflicts: 617000 | #Constraints: 47521
823.25/825.47 c #Conflicts: 618000 | #Constraints: 48521
823.25/825.47 c #Conflicts: 619000 | #Constraints: 49521
823.25/825.47 c #Conflicts: 620000 | #Constraints: 50521
823.25/825.47 c #Conflicts: 621000 | #Constraints: 51521
823.25/825.47 c #Conflicts: 622000 | #Constraints: 52521
823.25/825.47 c #Conflicts: 623000 | #Constraints: 53521
823.25/825.47 c #Conflicts: 624000 | #Constraints: 54521
823.25/825.47 c #Conflicts: 625000 | #Constraints: 55521
823.25/825.47 c #Conflicts: 626000 | #Constraints: 56521
823.25/825.47 c #Conflicts: 627000 | #Constraints: 57521
823.25/825.47 c #Conflicts: 628000 | #Constraints: 58521
823.25/825.47 c #Conflicts: 629000 | #Constraints: 59521
823.25/825.47 c #Conflicts: 630000 | #Constraints: 60521
823.25/825.47 c #Conflicts: 631000 | #Constraints: 61521
823.25/825.47 c #Conflicts: 632000 | #Constraints: 62521
823.25/825.47 c INPROCESSING
823.25/825.47 c GARBAGE COLLECT
823.25/825.47 c rational objective 87
853.07/855.32 c #Conflicts: 633000 | #Constraints: 35365
853.07/855.32 c #Conflicts: 634000 | #Constraints: 36365
853.07/855.32 c #Conflicts: 635000 | #Constraints: 37365
853.07/855.32 c #Conflicts: 636000 | #Constraints: 38365
853.07/855.32 c #Conflicts: 637000 | #Constraints: 39365
853.07/855.32 c #Conflicts: 638000 | #Constraints: 40365
853.07/855.32 c #Conflicts: 639000 | #Constraints: 41365
853.07/855.32 c #Conflicts: 640000 | #Constraints: 42365
853.07/855.32 c #Conflicts: 641000 | #Constraints: 43365
853.07/855.32 c #Conflicts: 642000 | #Constraints: 44365
853.07/855.32 c #Conflicts: 643000 | #Constraints: 45365
853.07/855.32 c #Conflicts: 644000 | #Constraints: 46365
853.07/855.32 c #Conflicts: 645000 | #Constraints: 47365
853.07/855.32 c #Conflicts: 646000 | #Constraints: 48365
853.07/855.32 c #Conflicts: 647000 | #Constraints: 49365
853.07/855.32 c #Conflicts: 648000 | #Constraints: 50365
853.07/855.32 c #Conflicts: 649000 | #Constraints: 51365
853.07/855.32 c #Conflicts: 650000 | #Constraints: 52365
853.07/855.32 c INPROCESSING
853.07/855.32 c GARBAGE COLLECT
853.07/855.32 c rational objective 87
950.33/952.86 c #Conflicts: 651000 | #Constraints: 30456
950.33/952.86 c #Conflicts: 652000 | #Constraints: 31456
950.33/952.86 c #Conflicts: 653000 | #Constraints: 32456
950.33/952.86 c #Conflicts: 654000 | #Constraints: 33456
950.33/952.86 c #Conflicts: 655000 | #Constraints: 34456
950.33/952.86 c #Conflicts: 656000 | #Constraints: 35456
950.33/952.86 c #Conflicts: 657000 | #Constraints: 36456
950.33/952.86 c #Conflicts: 658000 | #Constraints: 37456
950.33/952.86 c #Conflicts: 659000 | #Constraints: 38456
950.33/952.86 c #Conflicts: 660000 | #Constraints: 39456
950.33/952.86 c #Conflicts: 661000 | #Constraints: 40456
950.33/952.86 c #Conflicts: 662000 | #Constraints: 41456
950.33/952.86 c #Conflicts: 663000 | #Constraints: 42456
950.33/952.86 c #Conflicts: 664000 | #Constraints: 43456
950.33/952.86 c #Conflicts: 665000 | #Constraints: 44456
950.33/952.86 c #Conflicts: 666000 | #Constraints: 45456
950.33/952.86 c #Conflicts: 667000 | #Constraints: 46456
950.33/952.86 c INPROCESSING
950.33/952.86 c GARBAGE COLLECT
950.33/952.86 c #Conflicts: 668000 | #Constraints: 27125
950.33/952.86 c #Conflicts: 669000 | #Constraints: 28125
950.33/952.86 c #Conflicts: 670000 | #Constraints: 29125
950.33/952.86 c #Conflicts: 671000 | #Constraints: 30125
950.33/952.86 c #Conflicts: 672000 | #Constraints: 31125
950.33/952.86 c #Conflicts: 673000 | #Constraints: 32125
950.33/952.86 c #Conflicts: 674000 | #Constraints: 33125
950.33/952.86 c #Conflicts: 675000 | #Constraints: 34125
950.33/952.86 c #Conflicts: 676000 | #Constraints: 35125
950.33/952.86 c #Conflicts: 677000 | #Constraints: 36125
950.33/952.86 c #Conflicts: 678000 | #Constraints: 37125
950.33/952.86 c #Conflicts: 679000 | #Constraints: 38125
950.33/952.86 c #Conflicts: 680000 | #Constraints: 39125
950.33/952.86 c #Conflicts: 681000 | #Constraints: 40125
950.33/952.86 c #Conflicts: 682000 | #Constraints: 41125
950.33/952.86 c #Conflicts: 683000 | #Constraints: 42125
950.33/952.86 c #Conflicts: 684000 | #Constraints: 43125
950.33/952.86 c #Conflicts: 685000 | #Constraints: 44125
950.33/952.86 c INPROCESSING
950.33/952.86 c GARBAGE COLLECT
950.33/952.86 c #Conflicts: 686000 | #Constraints: 25942
950.33/952.86 c #Conflicts: 687000 | #Constraints: 26942
950.33/952.86 c #Conflicts: 688000 | #Constraints: 27942
950.33/952.86 c #Conflicts: 689000 | #Constraints: 28942
950.33/952.86 c #Conflicts: 690000 | #Constraints: 29942
950.33/952.86 c #Conflicts: 691000 | #Constraints: 30942
950.33/952.86 c #Conflicts: 692000 | #Constraints: 31942
950.33/952.86 c #Conflicts: 693000 | #Constraints: 32942
950.33/952.86 c #Conflicts: 694000 | #Constraints: 33942
950.33/952.86 c #Conflicts: 695000 | #Constraints: 34942
950.33/952.86 c #Conflicts: 696000 | #Constraints: 35942
950.33/952.86 c #Conflicts: 697000 | #Constraints: 36942
950.33/952.86 c #Conflicts: 698000 | #Constraints: 37942
950.33/952.86 c #Conflicts: 699000 | #Constraints: 38942
950.33/952.86 c #Conflicts: 700000 | #Constraints: 39942
950.33/952.86 c #Conflicts: 701000 | #Constraints: 40942
950.33/952.86 c #Conflicts: 702000 | #Constraints: 41942
950.33/952.86 c #Conflicts: 703000 | #Constraints: 42942
950.33/952.86 c #Conflicts: 704000 | #Constraints: 43942
950.33/952.86 c INPROCESSING
950.33/952.86 c GARBAGE COLLECT
950.33/952.86 c #Conflicts: 705000 | #Constraints: 26264
950.33/952.86 c #Conflicts: 706000 | #Constraints: 27264
950.33/952.86 c #Conflicts: 707000 | #Constraints: 28264
950.33/952.86 c #Conflicts: 708000 | #Constraints: 29264
950.33/952.86 c #Conflicts: 709000 | #Constraints: 30264
950.33/952.86 c #Conflicts: 710000 | #Constraints: 31264
950.33/952.86 c #Conflicts: 711000 | #Constraints: 32264
950.33/952.86 c #Conflicts: 712000 | #Constraints: 33264
950.33/952.86 c #Conflicts: 713000 | #Constraints: 34264
950.33/952.86 c #Conflicts: 714000 | #Constraints: 35264
950.33/952.86 c #Conflicts: 715000 | #Constraints: 36264
950.33/952.86 c #Conflicts: 716000 | #Constraints: 37264
950.33/952.86 c #Conflicts: 717000 | #Constraints: 38264
950.33/952.86 c #Conflicts: 718000 | #Constraints: 39264
950.33/952.86 c #Conflicts: 719000 | #Constraints: 40264
950.33/952.86 c #Conflicts: 720000 | #Constraints: 41264
950.33/952.86 c #Conflicts: 721000 | #Constraints: 42264
950.33/952.86 c #Conflicts: 722000 | #Constraints: 43264
950.33/952.86 c #Conflicts: 723000 | #Constraints: 44264
950.33/952.86 c #Conflicts: 724000 | #Constraints: 45264
950.33/952.86 c #Conflicts: 725000 | #Constraints: 46265
950.33/952.86 c #Conflicts: 726000 | #Constraints: 47265
950.33/952.86 c #Conflicts: 727000 | #Constraints: 48265
1081.99/1084.86 c #Conflicts: 728000 | #Constraints: 49265
1081.99/1084.86 c #Conflicts: 729000 | #Constraints: 50265
1081.99/1084.86 c #Conflicts: 730000 | #Constraints: 51265
1081.99/1084.86 c #Conflicts: 731000 | #Constraints: 52265
1081.99/1084.86 c #Conflicts: 732000 | #Constraints: 53265
1081.99/1084.86 c #Conflicts: 733000 | #Constraints: 54265
1081.99/1084.86 c #Conflicts: 734000 | #Constraints: 55265
1081.99/1084.86 c #Conflicts: 735000 | #Constraints: 56265
1081.99/1084.86 c #Conflicts: 736000 | #Constraints: 57265
1081.99/1084.86 c #Conflicts: 737000 | #Constraints: 58265
1081.99/1084.86 c #Conflicts: 738000 | #Constraints: 59265
1081.99/1084.86 c #Conflicts: 739000 | #Constraints: 60265
1081.99/1084.86 c #Conflicts: 740000 | #Constraints: 61265
1081.99/1084.86 c #Conflicts: 741000 | #Constraints: 62265
1081.99/1084.86 c #Conflicts: 742000 | #Constraints: 63265
1081.99/1084.86 c #Conflicts: 743000 | #Constraints: 64265
1081.99/1084.86 c #Conflicts: 744000 | #Constraints: 65265
1081.99/1084.86 c #Conflicts: 745000 | #Constraints: 66265
1081.99/1084.86 c #Conflicts: 746000 | #Constraints: 67265
1081.99/1084.86 c #Conflicts: 747000 | #Constraints: 68265
1081.99/1084.86 c #Conflicts: 748000 | #Constraints: 69265
1081.99/1084.86 c #Conflicts: 749000 | #Constraints: 70265
1081.99/1084.86 c #Conflicts: 750000 | #Constraints: 71265
1081.99/1084.86 c #Conflicts: 751000 | #Constraints: 72265
1081.99/1084.86 c #Conflicts: 752000 | #Constraints: 73265
1081.99/1084.86 c #Conflicts: 753000 | #Constraints: 74265
1081.99/1084.86 c #Conflicts: 754000 | #Constraints: 75265
1081.99/1084.86 c #Conflicts: 755000 | #Constraints: 76265
1081.99/1084.86 c #Conflicts: 756000 | #Constraints: 77265
1081.99/1084.86 c #Conflicts: 757000 | #Constraints: 78265
1081.99/1084.86 c #Conflicts: 758000 | #Constraints: 79265
1081.99/1084.86 c #Conflicts: 759000 | #Constraints: 80265
1081.99/1084.86 c #Conflicts: 760000 | #Constraints: 81265
1081.99/1084.86 c #Conflicts: 761000 | #Constraints: 82265
1081.99/1084.86 c #Conflicts: 762000 | #Constraints: 83266
1081.99/1084.86 c #Conflicts: 763000 | #Constraints: 84266
1081.99/1084.86 c #Conflicts: 764000 | #Constraints: 85266
1081.99/1084.86 c #Conflicts: 765000 | #Constraints: 86266
1081.99/1084.86 c #Conflicts: 766000 | #Constraints: 87266
1081.99/1084.86 c #Conflicts: 767000 | #Constraints: 88266
1081.99/1084.86 c #Conflicts: 768000 | #Constraints: 89266
1081.99/1084.86 c #Conflicts: 769000 | #Constraints: 90266
1081.99/1084.86 c #Conflicts: 770000 | #Constraints: 91266
1081.99/1084.86 c #Conflicts: 771000 | #Constraints: 92266
1081.99/1084.86 c #Conflicts: 772000 | #Constraints: 93266
1081.99/1084.86 c INPROCESSING
1081.99/1084.86 c GARBAGE COLLECT
1081.99/1084.86 c rational objective 87
1198.39/1201.58 c #Conflicts: 773000 | #Constraints: 50583
1198.39/1201.58 c #Conflicts: 774000 | #Constraints: 51583
1198.39/1201.58 c #Conflicts: 775000 | #Constraints: 52583
1198.39/1201.58 c #Conflicts: 776000 | #Constraints: 53583
1198.39/1201.58 c #Conflicts: 777000 | #Constraints: 54583
1198.39/1201.58 c #Conflicts: 778000 | #Constraints: 55583
1198.39/1201.58 c #Conflicts: 779000 | #Constraints: 56583
1198.39/1201.58 c #Conflicts: 780000 | #Constraints: 57583
1198.39/1201.58 c #Conflicts: 781000 | #Constraints: 58583
1198.39/1201.58 c #Conflicts: 782000 | #Constraints: 59583
1198.39/1201.58 c #Conflicts: 783000 | #Constraints: 60583
1198.39/1201.58 c #Conflicts: 784000 | #Constraints: 61583
1198.39/1201.58 c #Conflicts: 785000 | #Constraints: 62583
1198.39/1201.58 c #Conflicts: 786000 | #Constraints: 63583
1198.39/1201.58 c #Conflicts: 787000 | #Constraints: 64583
1198.39/1201.58 c #Conflicts: 788000 | #Constraints: 65583
1198.39/1201.58 c #Conflicts: 789000 | #Constraints: 66583
1198.39/1201.58 c #Conflicts: 790000 | #Constraints: 67583
1198.39/1201.58 c #Conflicts: 791000 | #Constraints: 68583
1198.39/1201.58 c #Conflicts: 792000 | #Constraints: 69583
1198.39/1201.58 c INPROCESSING
1198.39/1201.58 c GARBAGE COLLECT
1198.39/1201.58 c #Conflicts: 793000 | #Constraints: 38957
1198.39/1201.58 c #Conflicts: 794000 | #Constraints: 39957
1198.39/1201.58 c #Conflicts: 795000 | #Constraints: 40957
1198.39/1201.58 c #Conflicts: 796000 | #Constraints: 41957
1198.39/1201.58 c #Conflicts: 797000 | #Constraints: 42957
1198.39/1201.58 c #Conflicts: 798000 | #Constraints: 43957
1198.39/1201.58 c #Conflicts: 799000 | #Constraints: 44957
1198.39/1201.58 c #Conflicts: 800000 | #Constraints: 45957
1198.39/1201.58 c #Conflicts: 801000 | #Constraints: 46957
1198.39/1201.58 c #Conflicts: 802000 | #Constraints: 47957
1198.39/1201.58 c #Conflicts: 803000 | #Constraints: 48957
1198.39/1201.58 c #Conflicts: 804000 | #Constraints: 49957
1198.39/1201.58 c #Conflicts: 805000 | #Constraints: 50957
1198.39/1201.58 c #Conflicts: 806000 | #Constraints: 51957
1198.39/1201.58 c #Conflicts: 807000 | #Constraints: 52957
1198.39/1201.58 c #Conflicts: 808000 | #Constraints: 53957
1198.39/1201.58 c #Conflicts: 809000 | #Constraints: 54957
1198.39/1201.58 c #Conflicts: 810000 | #Constraints: 55957
1198.39/1201.58 c #Conflicts: 811000 | #Constraints: 56957
1198.39/1201.58 c #Conflicts: 812000 | #Constraints: 57957
1198.39/1201.58 c INPROCESSING
1198.39/1201.58 c GARBAGE COLLECT
1198.39/1201.58 c #Conflicts: 813000 | #Constraints: 33275
1198.39/1201.58 c #Conflicts: 814000 | #Constraints: 34275
1198.39/1201.58 c #Conflicts: 815000 | #Constraints: 35275
1198.39/1201.58 c #Conflicts: 816000 | #Constraints: 36275
1198.39/1201.58 c #Conflicts: 817000 | #Constraints: 37275
1198.39/1201.58 c #Conflicts: 818000 | #Constraints: 38275
1198.39/1201.58 c #Conflicts: 819000 | #Constraints: 39275
1198.39/1201.58 c #Conflicts: 820000 | #Constraints: 40275
1198.39/1201.58 c #Conflicts: 821000 | #Constraints: 41275
1198.39/1201.58 c #Conflicts: 822000 | #Constraints: 42275
1198.39/1201.58 c #Conflicts: 823000 | #Constraints: 43275
1198.39/1201.58 c #Conflicts: 824000 | #Constraints: 44275
1198.39/1201.58 c #Conflicts: 825000 | #Constraints: 45275
1198.39/1201.58 c #Conflicts: 826000 | #Constraints: 46275
1198.39/1201.58 c #Conflicts: 827000 | #Constraints: 47275
1198.39/1201.58 c #Conflicts: 828000 | #Constraints: 48275
1198.39/1201.58 c #Conflicts: 829000 | #Constraints: 49275
1198.39/1201.58 c #Conflicts: 830000 | #Constraints: 50275
1198.39/1201.58 c #Conflicts: 831000 | #Constraints: 51275
1198.39/1201.58 c INPROCESSING
1198.39/1201.58 c GARBAGE COLLECT
1198.39/1201.58 c #Conflicts: 832000 | #Constraints: 29495
1198.39/1201.58 c #Conflicts: 833000 | #Constraints: 30495
1198.39/1201.58 c #Conflicts: 834000 | #Constraints: 31495
1198.39/1201.58 c #Conflicts: 835000 | #Constraints: 32495
1198.39/1201.58 c #Conflicts: 836000 | #Constraints: 33495
1198.39/1201.58 c #Conflicts: 837000 | #Constraints: 34495
1198.39/1201.58 c #Conflicts: 838000 | #Constraints: 35495
1198.39/1201.58 c #Conflicts: 839000 | #Constraints: 36495
1198.39/1201.58 c #Conflicts: 840000 | #Constraints: 37495
1198.39/1201.58 c #Conflicts: 841000 | #Constraints: 38495
1198.39/1201.58 c #Conflicts: 842000 | #Constraints: 39495
1198.39/1201.58 c #Conflicts: 843000 | #Constraints: 40495
1198.39/1201.58 c #Conflicts: 844000 | #Constraints: 41495
1198.39/1201.58 c #Conflicts: 845000 | #Constraints: 42495
1198.39/1201.58 c #Conflicts: 846000 | #Constraints: 43495
1198.39/1201.58 c #Conflicts: 847000 | #Constraints: 44495
1198.39/1201.58 c #Conflicts: 848000 | #Constraints: 45495
1198.39/1201.58 c #Conflicts: 849000 | #Constraints: 46495
1207.46/1210.65 c #Conflicts: 850000 | #Constraints: 47495
1207.46/1210.65 c #Conflicts: 851000 | #Constraints: 48495
1207.46/1210.65 c #Conflicts: 852000 | #Constraints: 49495
1207.46/1210.65 c INPROCESSING
1207.46/1210.65 c GARBAGE COLLECT
1207.46/1210.65 c rational objective 87
1345.16/1348.72 c #Conflicts: 853000 | #Constraints: 29016
1345.16/1348.72 c #Conflicts: 854000 | #Constraints: 30016
1345.16/1348.72 c #Conflicts: 855000 | #Constraints: 31016
1345.16/1348.72 c #Conflicts: 856000 | #Constraints: 32016
1345.16/1348.72 c #Conflicts: 857000 | #Constraints: 33016
1345.16/1348.72 c #Conflicts: 858000 | #Constraints: 34016
1345.16/1348.72 c #Conflicts: 859000 | #Constraints: 35016
1345.16/1348.72 c #Conflicts: 860000 | #Constraints: 36016
1345.16/1348.72 c #Conflicts: 861000 | #Constraints: 37016
1345.16/1348.72 c #Conflicts: 862000 | #Constraints: 38016
1345.16/1348.72 c #Conflicts: 863000 | #Constraints: 39016
1345.16/1348.72 c #Conflicts: 864000 | #Constraints: 40016
1345.16/1348.72 c #Conflicts: 865000 | #Constraints: 41016
1345.16/1348.72 c #Conflicts: 866000 | #Constraints: 42016
1345.16/1348.72 c #Conflicts: 867000 | #Constraints: 43016
1345.16/1348.72 c #Conflicts: 868000 | #Constraints: 44016
1345.16/1348.72 c #Conflicts: 869000 | #Constraints: 45016
1345.16/1348.72 c #Conflicts: 870000 | #Constraints: 46016
1345.16/1348.72 c #Conflicts: 871000 | #Constraints: 47016
1345.16/1348.72 c #Conflicts: 872000 | #Constraints: 48016
1345.16/1348.72 c INPROCESSING
1345.16/1348.72 c GARBAGE COLLECT
1345.16/1348.72 c #Conflicts: 873000 | #Constraints: 28262
1345.16/1348.72 c #Conflicts: 874000 | #Constraints: 29262
1345.16/1348.72 c #Conflicts: 875000 | #Constraints: 30262
1345.16/1348.72 c #Conflicts: 876000 | #Constraints: 31262
1345.16/1348.72 c #Conflicts: 877000 | #Constraints: 32262
1345.16/1348.72 c #Conflicts: 878000 | #Constraints: 33262
1345.16/1348.72 c #Conflicts: 879000 | #Constraints: 34262
1345.16/1348.72 c #Conflicts: 880000 | #Constraints: 35262
1345.16/1348.72 c #Conflicts: 881000 | #Constraints: 36262
1345.16/1348.72 c #Conflicts: 882000 | #Constraints: 37262
1345.16/1348.72 c #Conflicts: 883000 | #Constraints: 38262
1345.16/1348.72 c #Conflicts: 884000 | #Constraints: 39262
1345.16/1348.72 c #Conflicts: 885000 | #Constraints: 40262
1345.16/1348.72 c #Conflicts: 886000 | #Constraints: 41262
1345.16/1348.72 c #Conflicts: 887000 | #Constraints: 42262
1345.16/1348.72 c #Conflicts: 888000 | #Constraints: 43262
1345.16/1348.72 c #Conflicts: 889000 | #Constraints: 44262
1345.16/1348.72 c #Conflicts: 890000 | #Constraints: 45262
1345.16/1348.72 c #Conflicts: 891000 | #Constraints: 46262
1345.16/1348.72 c #Conflicts: 892000 | #Constraints: 47262
1345.16/1348.72 c #Conflicts: 893000 | #Constraints: 48262
1345.16/1348.72 c #Conflicts: 894000 | #Constraints: 49262
1345.16/1348.72 c #Conflicts: 895000 | #Constraints: 50262
1345.16/1348.72 c #Conflicts: 896000 | #Constraints: 51262
1345.16/1348.72 c #Conflicts: 897000 | #Constraints: 52262
1345.16/1348.72 c #Conflicts: 898000 | #Constraints: 53262
1345.16/1348.72 c #Conflicts: 899000 | #Constraints: 54262
1345.16/1348.72 c #Conflicts: 900000 | #Constraints: 55262
1345.16/1348.72 c #Conflicts: 901000 | #Constraints: 56262
1345.16/1348.72 c #Conflicts: 902000 | #Constraints: 57262
1345.16/1348.72 c #Conflicts: 903000 | #Constraints: 58262
1345.16/1348.72 c #Conflicts: 904000 | #Constraints: 59262
1345.16/1348.72 c #Conflicts: 905000 | #Constraints: 60262
1345.16/1348.72 c #Conflicts: 906000 | #Constraints: 61262
1345.16/1348.72 c #Conflicts: 907000 | #Constraints: 62262
1345.16/1348.72 c #Conflicts: 908000 | #Constraints: 63262
1345.16/1348.72 c #Conflicts: 909000 | #Constraints: 64262
1345.16/1348.72 c #Conflicts: 910000 | #Constraints: 65262
1345.16/1348.72 c #Conflicts: 911000 | #Constraints: 66262
1345.16/1348.72 c #Conflicts: 912000 | #Constraints: 67262
1345.16/1348.72 c #Conflicts: 913000 | #Constraints: 68262
1345.16/1348.72 c #Conflicts: 914000 | #Constraints: 69262
1345.16/1348.72 c #Conflicts: 915000 | #Constraints: 70262
1345.16/1348.72 c #Conflicts: 916000 | #Constraints: 71262
1345.16/1348.72 c #Conflicts: 917000 | #Constraints: 72262
1345.16/1348.72 c #Conflicts: 918000 | #Constraints: 73262
1345.16/1348.72 c #Conflicts: 919000 | #Constraints: 74262
1345.16/1348.72 c #Conflicts: 920000 | #Constraints: 75262
1345.16/1348.72 c #Conflicts: 921000 | #Constraints: 76262
1345.16/1348.72 c #Conflicts: 922000 | #Constraints: 77262
1345.16/1348.72 c #Conflicts: 923000 | #Constraints: 78262
1345.16/1348.72 c #Conflicts: 924000 | #Constraints: 79262
1345.16/1348.72 c #Conflicts: 925000 | #Constraints: 80262
1345.16/1348.72 c #Conflicts: 926000 | #Constraints: 81262
1345.16/1348.72 c #Conflicts: 927000 | #Constraints: 82262
1345.16/1348.72 c #Conflicts: 928000 | #Constraints: 83262
1345.16/1348.72 c #Conflicts: 929000 | #Constraints: 84262
1345.16/1348.72 c #Conflicts: 930000 | #Constraints: 85262
1345.16/1348.72 c #Conflicts: 931000 | #Constraints: 86262
1461.92/1465.86 c #Conflicts: 932000 | #Constraints: 87262
1461.92/1465.86 c #Conflicts: 933000 | #Constraints: 88262
1461.92/1465.86 c #Conflicts: 934000 | #Constraints: 89262
1461.92/1465.86 c #Conflicts: 935000 | #Constraints: 90262
1461.92/1465.86 c #Conflicts: 936000 | #Constraints: 91262
1461.92/1465.86 c #Conflicts: 937000 | #Constraints: 92262
1461.92/1465.86 c #Conflicts: 938000 | #Constraints: 93262
1461.92/1465.86 c #Conflicts: 939000 | #Constraints: 94262
1461.92/1465.86 c #Conflicts: 940000 | #Constraints: 95262
1461.92/1465.86 c #Conflicts: 941000 | #Constraints: 96262
1461.92/1465.86 c #Conflicts: 942000 | #Constraints: 97262
1461.92/1465.86 c #Conflicts: 943000 | #Constraints: 98262
1461.92/1465.86 c #Conflicts: 944000 | #Constraints: 99262
1461.92/1465.86 c #Conflicts: 945000 | #Constraints: 100262
1461.92/1465.86 c #Conflicts: 946000 | #Constraints: 101262
1461.92/1465.86 c #Conflicts: 947000 | #Constraints: 102262
1461.92/1465.86 c #Conflicts: 948000 | #Constraints: 103262
1461.92/1465.86 c INPROCESSING
1461.92/1465.86 c GARBAGE COLLECT
1461.92/1465.86 c #Conflicts: 949000 | #Constraints: 55734
1461.92/1465.86 c #Conflicts: 950000 | #Constraints: 56734
1461.92/1465.86 c #Conflicts: 951000 | #Constraints: 57734
1461.92/1465.86 c #Conflicts: 952000 | #Constraints: 58734
1461.92/1465.86 c #Conflicts: 953000 | #Constraints: 59734
1461.92/1465.86 c #Conflicts: 954000 | #Constraints: 60734
1461.92/1465.86 c #Conflicts: 955000 | #Constraints: 61734
1461.92/1465.86 c #Conflicts: 956000 | #Constraints: 62734
1461.92/1465.86 c #Conflicts: 957000 | #Constraints: 63734
1461.92/1465.86 c #Conflicts: 958000 | #Constraints: 64734
1461.92/1465.86 c #Conflicts: 959000 | #Constraints: 65734
1461.92/1465.86 c #Conflicts: 960000 | #Constraints: 66734
1461.92/1465.86 c #Conflicts: 961000 | #Constraints: 67734
1461.92/1465.86 c #Conflicts: 962000 | #Constraints: 68734
1461.92/1465.86 c #Conflicts: 963000 | #Constraints: 69734
1461.92/1465.86 c #Conflicts: 964000 | #Constraints: 70734
1461.92/1465.86 c #Conflicts: 965000 | #Constraints: 71734
1461.92/1465.86 c #Conflicts: 966000 | #Constraints: 72734
1461.92/1465.86 c #Conflicts: 967000 | #Constraints: 73734
1461.92/1465.86 c #Conflicts: 968000 | #Constraints: 74734
1461.92/1465.86 c #Conflicts: 969000 | #Constraints: 75734
1461.92/1465.87 c #Conflicts: 970000 | #Constraints: 76734
1461.92/1465.87 c INPROCESSING
1461.92/1465.87 c GARBAGE COLLECT
1461.92/1465.87 c rational objective 87
1512.67/1516.74 c #Conflicts: 971000 | #Constraints: 42643
1512.67/1516.74 c #Conflicts: 972000 | #Constraints: 43643
1512.67/1516.74 c #Conflicts: 973000 | #Constraints: 44643
1512.67/1516.74 c #Conflicts: 974000 | #Constraints: 45643
1512.67/1516.74 c #Conflicts: 975000 | #Constraints: 46643
1512.67/1516.74 c #Conflicts: 976000 | #Constraints: 47643
1512.67/1516.74 c #Conflicts: 977000 | #Constraints: 48643
1512.67/1516.74 c #Conflicts: 978000 | #Constraints: 49643
1512.67/1516.74 c #Conflicts: 979000 | #Constraints: 50643
1512.67/1516.74 c #Conflicts: 980000 | #Constraints: 51643
1512.67/1516.74 c #Conflicts: 981000 | #Constraints: 52643
1512.67/1516.74 c #Conflicts: 982000 | #Constraints: 53643
1512.67/1516.74 c #Conflicts: 983000 | #Constraints: 54643
1512.67/1516.74 c #Conflicts: 984000 | #Constraints: 55643
1512.67/1516.74 c #Conflicts: 985000 | #Constraints: 56643
1512.67/1516.74 c #Conflicts: 986000 | #Constraints: 57643
1512.67/1516.74 c #Conflicts: 987000 | #Constraints: 58643
1512.67/1516.74 c #Conflicts: 988000 | #Constraints: 59643
1512.67/1516.74 c #Conflicts: 989000 | #Constraints: 60643
1512.67/1516.74 c #Conflicts: 990000 | #Constraints: 61643
1512.67/1516.74 c #Conflicts: 991000 | #Constraints: 62643
1512.67/1516.74 c #Conflicts: 992000 | #Constraints: 63643
1512.67/1516.74 c INPROCESSING
1512.67/1516.74 c GARBAGE COLLECT
1512.67/1516.74 c rational objective 87
1565.91/1570.13 c #Conflicts: 993000 | #Constraints: 36184
1565.91/1570.13 c #Conflicts: 994000 | #Constraints: 37184
1565.91/1570.13 c #Conflicts: 995000 | #Constraints: 38184
1565.91/1570.13 c #Conflicts: 996000 | #Constraints: 39184
1565.91/1570.13 c #Conflicts: 997000 | #Constraints: 40184
1565.91/1570.13 c #Conflicts: 998000 | #Constraints: 41184
1565.91/1570.13 c #Conflicts: 999000 | #Constraints: 42184
1565.91/1570.13 c #Conflicts: 1000000 | #Constraints: 43184
1565.91/1570.13 c #Conflicts: 1001000 | #Constraints: 44184
1565.91/1570.13 c #Conflicts: 1002000 | #Constraints: 45184
1565.91/1570.13 c #Conflicts: 1003000 | #Constraints: 46184
1565.91/1570.13 c #Conflicts: 1004000 | #Constraints: 47184
1565.91/1570.13 c #Conflicts: 1005000 | #Constraints: 48184
1565.91/1570.13 c #Conflicts: 1006000 | #Constraints: 49184
1565.91/1570.13 c #Conflicts: 1007000 | #Constraints: 50184
1565.91/1570.13 c #Conflicts: 1008000 | #Constraints: 51184
1565.91/1570.13 c #Conflicts: 1009000 | #Constraints: 52184
1565.91/1570.13 c #Conflicts: 1010000 | #Constraints: 53184
1565.91/1570.13 c #Conflicts: 1011000 | #Constraints: 54184
1565.91/1570.13 c #Conflicts: 1012000 | #Constraints: 55184
1565.91/1570.13 c #Conflicts: 1013000 | #Constraints: 56184
1565.91/1570.13 c #Conflicts: 1014000 | #Constraints: 57184
1565.91/1570.13 c INPROCESSING
1565.91/1570.13 c GARBAGE COLLECT
1565.91/1570.13 c rational objective 87
1681.58/1686.18 c #Conflicts: 1015000 | #Constraints: 32943
1681.58/1686.18 c #Conflicts: 1016000 | #Constraints: 33943
1681.58/1686.18 c #Conflicts: 1017000 | #Constraints: 34943
1681.58/1686.18 c #Conflicts: 1018000 | #Constraints: 35943
1681.58/1686.18 c #Conflicts: 1019000 | #Constraints: 36943
1681.58/1686.18 c #Conflicts: 1020000 | #Constraints: 37943
1681.58/1686.18 c #Conflicts: 1021000 | #Constraints: 38943
1681.58/1686.18 c #Conflicts: 1022000 | #Constraints: 39943
1681.58/1686.18 c #Conflicts: 1023000 | #Constraints: 40943
1681.58/1686.18 c #Conflicts: 1024000 | #Constraints: 41943
1681.58/1686.18 c #Conflicts: 1025000 | #Constraints: 42943
1681.58/1686.18 c #Conflicts: 1026000 | #Constraints: 43943
1681.58/1686.18 c #Conflicts: 1027000 | #Constraints: 44943
1681.58/1686.18 c #Conflicts: 1028000 | #Constraints: 45943
1681.58/1686.18 c #Conflicts: 1029000 | #Constraints: 46943
1681.58/1686.18 c #Conflicts: 1030000 | #Constraints: 47943
1681.58/1686.18 c #Conflicts: 1031000 | #Constraints: 48943
1681.58/1686.18 c #Conflicts: 1032000 | #Constraints: 49943
1681.58/1686.18 c #Conflicts: 1033000 | #Constraints: 50943
1681.58/1686.18 c #Conflicts: 1034000 | #Constraints: 51943
1681.58/1686.18 c #Conflicts: 1035000 | #Constraints: 52943
1681.58/1686.18 c #Conflicts: 1036000 | #Constraints: 53943
1681.58/1686.18 c INPROCESSING
1681.58/1686.18 c GARBAGE COLLECT
1681.58/1686.18 c #Conflicts: 1037000 | #Constraints: 31230
1681.58/1686.18 c #Conflicts: 1038000 | #Constraints: 32230
1681.58/1686.18 c #Conflicts: 1039000 | #Constraints: 33230
1681.58/1686.18 c #Conflicts: 1040000 | #Constraints: 34230
1681.58/1686.18 c #Conflicts: 1041000 | #Constraints: 35230
1681.58/1686.18 c #Conflicts: 1042000 | #Constraints: 36230
1681.58/1686.18 c #Conflicts: 1043000 | #Constraints: 37230
1681.58/1686.18 c #Conflicts: 1044000 | #Constraints: 38230
1681.58/1686.18 c #Conflicts: 1045000 | #Constraints: 39230
1681.58/1686.18 c #Conflicts: 1046000 | #Constraints: 40230
1681.58/1686.18 c #Conflicts: 1047000 | #Constraints: 41230
1681.58/1686.18 c #Conflicts: 1048000 | #Constraints: 42230
1681.58/1686.18 c #Conflicts: 1049000 | #Constraints: 43230
1681.58/1686.18 c #Conflicts: 1050000 | #Constraints: 44230
1681.58/1686.18 c #Conflicts: 1051000 | #Constraints: 45230
1681.58/1686.18 c #Conflicts: 1052000 | #Constraints: 46230
1681.58/1686.18 c #Conflicts: 1053000 | #Constraints: 47230
1681.58/1686.18 c #Conflicts: 1054000 | #Constraints: 48230
1681.58/1686.18 c #Conflicts: 1055000 | #Constraints: 49230
1681.58/1686.18 c #Conflicts: 1056000 | #Constraints: 50230
1681.58/1686.18 c #Conflicts: 1057000 | #Constraints: 51230
1681.58/1686.18 c #Conflicts: 1058000 | #Constraints: 52230
1681.58/1686.18 c INPROCESSING
1681.58/1686.18 c GARBAGE COLLECT
1681.58/1686.18 c #Conflicts: 1059000 | #Constraints: 30152
1681.58/1686.18 c #Conflicts: 1060000 | #Constraints: 31152
1681.58/1686.18 c #Conflicts: 1061000 | #Constraints: 32152
1681.58/1686.18 c #Conflicts: 1062000 | #Constraints: 33152
1681.58/1686.18 c #Conflicts: 1063000 | #Constraints: 34152
1681.58/1686.18 c #Conflicts: 1064000 | #Constraints: 35152
1681.58/1686.18 c #Conflicts: 1065000 | #Constraints: 36152
1681.58/1686.18 c #Conflicts: 1066000 | #Constraints: 37152
1681.58/1686.18 c #Conflicts: 1067000 | #Constraints: 38152
1681.58/1686.18 c #Conflicts: 1068000 | #Constraints: 39152
1681.58/1686.18 c #Conflicts: 1069000 | #Constraints: 40152
1681.58/1686.18 c #Conflicts: 1070000 | #Constraints: 41152
1681.58/1686.18 c #Conflicts: 1071000 | #Constraints: 42152
1681.58/1686.18 c #Conflicts: 1072000 | #Constraints: 43152
1681.58/1686.18 c #Conflicts: 1073000 | #Constraints: 44152
1681.58/1686.18 c #Conflicts: 1074000 | #Constraints: 45152
1681.58/1686.18 c #Conflicts: 1075000 | #Constraints: 46152
1681.58/1686.18 c #Conflicts: 1076000 | #Constraints: 47152
1681.58/1686.18 c #Conflicts: 1077000 | #Constraints: 48152
1681.58/1686.18 c #Conflicts: 1078000 | #Constraints: 49152
1681.58/1686.18 c #Conflicts: 1079000 | #Constraints: 50152
1681.58/1686.18 c #Conflicts: 1080000 | #Constraints: 51152
1681.58/1686.18 c #Conflicts: 1081000 | #Constraints: 52152
1681.58/1686.18 c INPROCESSING
1681.58/1686.18 c GARBAGE COLLECT
1681.58/1686.18 c #Conflicts: 1082000 | #Constraints: 30292
1681.58/1686.18 c #Conflicts: 1083000 | #Constraints: 31292
1681.58/1686.18 c #Conflicts: 1084000 | #Constraints: 32292
1681.58/1686.18 c #Conflicts: 1085000 | #Constraints: 33292
1681.58/1686.18 c #Conflicts: 1086000 | #Constraints: 34292
1681.58/1686.18 c #Conflicts: 1087000 | #Constraints: 35292
1681.58/1686.18 c #Conflicts: 1088000 | #Constraints: 36292
1681.58/1686.18 c #Conflicts: 1089000 | #Constraints: 37292
1681.58/1686.18 c #Conflicts: 1090000 | #Constraints: 38292
1681.58/1686.18 c #Conflicts: 1091000 | #Constraints: 39292
1868.57/1873.63 c #Conflicts: 1092000 | #Constraints: 40292
1868.57/1873.63 c #Conflicts: 1093000 | #Constraints: 41292
1868.57/1873.63 c #Conflicts: 1094000 | #Constraints: 42293
1868.57/1873.63 c #Conflicts: 1095000 | #Constraints: 43293
1868.57/1873.63 c #Conflicts: 1096000 | #Constraints: 44293
1868.57/1873.63 c #Conflicts: 1097000 | #Constraints: 45293
1868.57/1873.63 c #Conflicts: 1098000 | #Constraints: 46293
1868.57/1873.63 c #Conflicts: 1099000 | #Constraints: 47293
1868.57/1873.63 c #Conflicts: 1100000 | #Constraints: 48293
1868.57/1873.63 c #Conflicts: 1101000 | #Constraints: 49293
1868.57/1873.63 c #Conflicts: 1102000 | #Constraints: 50293
1868.57/1873.63 c #Conflicts: 1103000 | #Constraints: 51293
1868.57/1873.63 c #Conflicts: 1104000 | #Constraints: 52293
1868.57/1873.63 c #Conflicts: 1105000 | #Constraints: 53293
1868.57/1873.63 c #Conflicts: 1106000 | #Constraints: 54293
1868.57/1873.63 c #Conflicts: 1107000 | #Constraints: 55293
1868.57/1873.63 c #Conflicts: 1108000 | #Constraints: 56293
1868.57/1873.63 c #Conflicts: 1109000 | #Constraints: 57293
1868.57/1873.63 c #Conflicts: 1110000 | #Constraints: 58293
1868.57/1873.63 c #Conflicts: 1111000 | #Constraints: 59293
1868.57/1873.63 c #Conflicts: 1112000 | #Constraints: 60293
1868.57/1873.63 c #Conflicts: 1113000 | #Constraints: 61293
1868.57/1873.63 c #Conflicts: 1114000 | #Constraints: 62293
1868.57/1873.63 c #Conflicts: 1115000 | #Constraints: 63293
1868.57/1873.63 c #Conflicts: 1116000 | #Constraints: 64293
1868.57/1873.63 c #Conflicts: 1117000 | #Constraints: 65293
1868.57/1873.63 c #Conflicts: 1118000 | #Constraints: 66293
1868.57/1873.63 c #Conflicts: 1119000 | #Constraints: 67293
1868.57/1873.63 c #Conflicts: 1120000 | #Constraints: 68293
1868.57/1873.63 c #Conflicts: 1121000 | #Constraints: 69293
1868.57/1873.63 c #Conflicts: 1122000 | #Constraints: 70293
1868.57/1873.63 c #Conflicts: 1123000 | #Constraints: 71293
1868.57/1873.63 c #Conflicts: 1124000 | #Constraints: 72293
1868.57/1873.63 c #Conflicts: 1125000 | #Constraints: 73293
1868.57/1873.63 c #Conflicts: 1126000 | #Constraints: 74293
1868.57/1873.63 c #Conflicts: 1127000 | #Constraints: 75293
1868.57/1873.63 c #Conflicts: 1128000 | #Constraints: 76293
1868.57/1873.63 c #Conflicts: 1129000 | #Constraints: 77293
1868.57/1873.63 c #Conflicts: 1130000 | #Constraints: 78293
1868.57/1873.63 c #Conflicts: 1131000 | #Constraints: 79293
1868.57/1873.63 c #Conflicts: 1132000 | #Constraints: 80293
1868.57/1873.63 c #Conflicts: 1133000 | #Constraints: 81293
1868.57/1873.63 c #Conflicts: 1134000 | #Constraints: 82293
1868.57/1873.63 c #Conflicts: 1135000 | #Constraints: 83293
1868.57/1873.63 c #Conflicts: 1136000 | #Constraints: 84293
1868.57/1873.63 c #Conflicts: 1137000 | #Constraints: 85293
1868.57/1873.63 c #Conflicts: 1138000 | #Constraints: 86293
1868.57/1873.63 c #Conflicts: 1139000 | #Constraints: 87293
1868.57/1873.63 c #Conflicts: 1140000 | #Constraints: 88293
1868.57/1873.63 c #Conflicts: 1141000 | #Constraints: 89293
1868.57/1873.63 c #Conflicts: 1142000 | #Constraints: 90293
1868.57/1873.63 c #Conflicts: 1143000 | #Constraints: 91293
1868.57/1873.63 c #Conflicts: 1144000 | #Constraints: 92293
1868.57/1873.63 c #Conflicts: 1145000 | #Constraints: 93293
1868.57/1873.63 c #Conflicts: 1146000 | #Constraints: 94293
1868.57/1873.63 c #Conflicts: 1147000 | #Constraints: 95293
1868.57/1873.63 c #Conflicts: 1148000 | #Constraints: 96293
1868.57/1873.63 c #Conflicts: 1149000 | #Constraints: 97293
1868.57/1873.63 c #Conflicts: 1150000 | #Constraints: 98293
1868.57/1873.63 c #Conflicts: 1151000 | #Constraints: 99293
1868.57/1873.63 c #Conflicts: 1152000 | #Constraints: 100293
1868.57/1873.63 c #Conflicts: 1153000 | #Constraints: 101293
1868.57/1873.63 c #Conflicts: 1154000 | #Constraints: 102293
1868.57/1873.63 c #Conflicts: 1155000 | #Constraints: 103293
1868.57/1873.63 c #Conflicts: 1156000 | #Constraints: 104293
1868.57/1873.63 c #Conflicts: 1157000 | #Constraints: 105293
1868.57/1873.63 c #Conflicts: 1158000 | #Constraints: 106293
1868.57/1873.63 c #Conflicts: 1159000 | #Constraints: 107293
1868.57/1873.63 c #Conflicts: 1160000 | #Constraints: 108293
1868.57/1873.63 c #Conflicts: 1161000 | #Constraints: 109293
1868.57/1873.63 c #Conflicts: 1162000 | #Constraints: 110293
1868.57/1873.63 c #Conflicts: 1163000 | #Constraints: 111293
1868.57/1873.63 c #Conflicts: 1164000 | #Constraints: 112293
1868.57/1873.63 c #Conflicts: 1165000 | #Constraints: 113293
1868.57/1873.63 c #Conflicts: 1166000 | #Constraints: 114293
1868.57/1873.63 c INPROCESSING
1868.57/1873.63 c GARBAGE COLLECT
1868.57/1873.63 c rational objective 87
2003.23/2008.62 c #Conflicts: 1167000 | #Constraints: 61378
2003.23/2008.62 c #Conflicts: 1168000 | #Constraints: 62378
2003.23/2008.62 c #Conflicts: 1169000 | #Constraints: 63378
2003.23/2008.62 c #Conflicts: 1170000 | #Constraints: 64378
2003.23/2008.62 c #Conflicts: 1171000 | #Constraints: 65378
2003.23/2008.62 c #Conflicts: 1172000 | #Constraints: 66378
2003.23/2008.62 c #Conflicts: 1173000 | #Constraints: 67378
2003.23/2008.62 c #Conflicts: 1174000 | #Constraints: 68378
2003.23/2008.62 c #Conflicts: 1175000 | #Constraints: 69378
2003.23/2008.62 c #Conflicts: 1176000 | #Constraints: 70378
2003.23/2008.62 c #Conflicts: 1177000 | #Constraints: 71378
2003.23/2008.62 c #Conflicts: 1178000 | #Constraints: 72378
2003.23/2008.62 c #Conflicts: 1179000 | #Constraints: 73378
2003.23/2008.62 c #Conflicts: 1180000 | #Constraints: 74378
2003.23/2008.62 c #Conflicts: 1181000 | #Constraints: 75378
2003.23/2008.62 c #Conflicts: 1182000 | #Constraints: 76378
2003.23/2008.62 c #Conflicts: 1183000 | #Constraints: 77378
2003.23/2008.62 c #Conflicts: 1184000 | #Constraints: 78378
2003.23/2008.62 c #Conflicts: 1185000 | #Constraints: 79378
2003.23/2008.62 c #Conflicts: 1186000 | #Constraints: 80378
2003.23/2008.62 c #Conflicts: 1187000 | #Constraints: 81378
2003.23/2008.62 c #Conflicts: 1188000 | #Constraints: 82378
2003.23/2008.62 c #Conflicts: 1189000 | #Constraints: 83378
2003.23/2008.62 c #Conflicts: 1190000 | #Constraints: 84378
2003.23/2008.62 c INPROCESSING
2003.23/2008.62 c GARBAGE COLLECT
2003.23/2008.62 c #Conflicts: 1191000 | #Constraints: 46543
2003.23/2008.62 c #Conflicts: 1192000 | #Constraints: 47543
2003.23/2008.62 c #Conflicts: 1193000 | #Constraints: 48543
2003.23/2008.62 c #Conflicts: 1194000 | #Constraints: 49543
2003.23/2008.62 c #Conflicts: 1195000 | #Constraints: 50543
2003.23/2008.62 c #Conflicts: 1196000 | #Constraints: 51543
2003.23/2008.62 c #Conflicts: 1197000 | #Constraints: 52543
2003.23/2008.62 c #Conflicts: 1198000 | #Constraints: 53543
2003.23/2008.62 c #Conflicts: 1199000 | #Constraints: 54543
2003.23/2008.62 c #Conflicts: 1200000 | #Constraints: 55543
2003.23/2008.62 c #Conflicts: 1201000 | #Constraints: 56543
2003.23/2008.62 c #Conflicts: 1202000 | #Constraints: 57543
2003.23/2008.62 c #Conflicts: 1203000 | #Constraints: 58543
2003.23/2008.62 c #Conflicts: 1204000 | #Constraints: 59543
2003.23/2008.62 c #Conflicts: 1205000 | #Constraints: 60543
2003.23/2008.62 c #Conflicts: 1206000 | #Constraints: 61543
2003.23/2008.62 c #Conflicts: 1207000 | #Constraints: 62543
2003.23/2008.62 c #Conflicts: 1208000 | #Constraints: 63543
2003.23/2008.62 c #Conflicts: 1209000 | #Constraints: 64543
2003.23/2008.62 c #Conflicts: 1210000 | #Constraints: 65543
2003.23/2008.62 c #Conflicts: 1211000 | #Constraints: 66543
2003.23/2008.62 c #Conflicts: 1212000 | #Constraints: 67543
2003.23/2008.62 c #Conflicts: 1213000 | #Constraints: 68543
2003.23/2008.62 c #Conflicts: 1214000 | #Constraints: 69543
2003.23/2008.62 c INPROCESSING
2003.23/2008.62 c GARBAGE COLLECT
2003.23/2008.62 c #Conflicts: 1215000 | #Constraints: 39088
2003.23/2008.62 c #Conflicts: 1216000 | #Constraints: 40088
2003.23/2008.62 c #Conflicts: 1217000 | #Constraints: 41088
2003.23/2008.62 c #Conflicts: 1218000 | #Constraints: 42088
2003.23/2008.62 c #Conflicts: 1219000 | #Constraints: 43088
2003.23/2008.62 c #Conflicts: 1220000 | #Constraints: 44088
2003.23/2008.62 c #Conflicts: 1221000 | #Constraints: 45088
2003.23/2008.62 c #Conflicts: 1222000 | #Constraints: 46088
2003.23/2008.62 c #Conflicts: 1223000 | #Constraints: 47088
2003.23/2008.62 c #Conflicts: 1224000 | #Constraints: 48088
2003.23/2008.62 c #Conflicts: 1225000 | #Constraints: 49088
2003.23/2008.62 c #Conflicts: 1226000 | #Constraints: 50088
2003.23/2008.62 c #Conflicts: 1227000 | #Constraints: 51088
2003.23/2008.62 c #Conflicts: 1228000 | #Constraints: 52088
2003.23/2008.62 c #Conflicts: 1229000 | #Constraints: 53088
2003.23/2008.62 c #Conflicts: 1230000 | #Constraints: 54088
2003.23/2008.62 c #Conflicts: 1231000 | #Constraints: 55088
2003.23/2008.62 c #Conflicts: 1232000 | #Constraints: 56088
2003.23/2008.62 c #Conflicts: 1233000 | #Constraints: 57088
2003.23/2008.62 c #Conflicts: 1234000 | #Constraints: 58088
2003.23/2008.62 c #Conflicts: 1235000 | #Constraints: 59088
2003.23/2008.62 c #Conflicts: 1236000 | #Constraints: 60088
2003.23/2008.62 c #Conflicts: 1237000 | #Constraints: 61088
2003.23/2008.62 c #Conflicts: 1238000 | #Constraints: 62088
2003.23/2008.62 c INPROCESSING
2003.23/2008.62 c GARBAGE COLLECT
2003.23/2008.62 c #Conflicts: 1239000 | #Constraints: 35193
2003.23/2008.62 c #Conflicts: 1240000 | #Constraints: 36193
2003.23/2008.62 c #Conflicts: 1241000 | #Constraints: 37193
2003.23/2008.62 c #Conflicts: 1242000 | #Constraints: 38193
2003.23/2008.62 c #Conflicts: 1243000 | #Constraints: 39193
2065.48/2071.02 c #Conflicts: 1244000 | #Constraints: 40193
2065.48/2071.02 c #Conflicts: 1245000 | #Constraints: 41193
2065.48/2071.02 c #Conflicts: 1246000 | #Constraints: 42193
2065.48/2071.02 c #Conflicts: 1247000 | #Constraints: 43193
2065.48/2071.02 c #Conflicts: 1248000 | #Constraints: 44193
2065.48/2071.02 c #Conflicts: 1249000 | #Constraints: 45193
2065.48/2071.02 c #Conflicts: 1250000 | #Constraints: 46193
2065.48/2071.02 c #Conflicts: 1251000 | #Constraints: 47193
2065.48/2071.02 c #Conflicts: 1252000 | #Constraints: 48193
2065.48/2071.02 c #Conflicts: 1253000 | #Constraints: 49193
2065.48/2071.02 c #Conflicts: 1254000 | #Constraints: 50193
2065.48/2071.02 c #Conflicts: 1255000 | #Constraints: 51193
2065.48/2071.02 c #Conflicts: 1256000 | #Constraints: 52193
2065.48/2071.02 c #Conflicts: 1257000 | #Constraints: 53193
2065.48/2071.02 c #Conflicts: 1258000 | #Constraints: 54193
2065.48/2071.02 c #Conflicts: 1259000 | #Constraints: 55193
2065.48/2071.02 c #Conflicts: 1260000 | #Constraints: 56193
2065.48/2071.02 c #Conflicts: 1261000 | #Constraints: 57193
2065.48/2071.02 c #Conflicts: 1262000 | #Constraints: 58193
2065.48/2071.02 c INPROCESSING
2065.48/2071.02 c GARBAGE COLLECT
2065.48/2071.02 c #Conflicts: 1263000 | #Constraints: 32898
2065.48/2071.02 c #Conflicts: 1264000 | #Constraints: 33898
2065.48/2071.02 c #Conflicts: 1265000 | #Constraints: 34898
2065.48/2071.02 c #Conflicts: 1266000 | #Constraints: 35898
2065.48/2071.02 c #Conflicts: 1267000 | #Constraints: 36898
2065.48/2071.02 c #Conflicts: 1268000 | #Constraints: 37898
2065.48/2071.02 c #Conflicts: 1269000 | #Constraints: 38898
2065.48/2071.02 c #Conflicts: 1270000 | #Constraints: 39898
2065.48/2071.02 c #Conflicts: 1271000 | #Constraints: 40898
2065.48/2071.02 c #Conflicts: 1272000 | #Constraints: 41898
2065.48/2071.02 c #Conflicts: 1273000 | #Constraints: 42898
2065.48/2071.02 c #Conflicts: 1274000 | #Constraints: 43898
2065.48/2071.02 c #Conflicts: 1275000 | #Constraints: 44898
2065.48/2071.02 c #Conflicts: 1276000 | #Constraints: 45898
2065.48/2071.02 c #Conflicts: 1277000 | #Constraints: 46898
2065.48/2071.02 c #Conflicts: 1278000 | #Constraints: 47898
2065.48/2071.02 c #Conflicts: 1279000 | #Constraints: 48898
2065.48/2071.02 c #Conflicts: 1280000 | #Constraints: 49898
2065.48/2071.02 c #Conflicts: 1281000 | #Constraints: 50898
2065.48/2071.02 c #Conflicts: 1282000 | #Constraints: 51898
2065.48/2071.02 c #Conflicts: 1283000 | #Constraints: 52898
2065.48/2071.02 c #Conflicts: 1284000 | #Constraints: 53898
2065.48/2071.02 c #Conflicts: 1285000 | #Constraints: 54898
2065.48/2071.02 c #Conflicts: 1286000 | #Constraints: 55898
2065.48/2071.02 c #Conflicts: 1287000 | #Constraints: 56898
2065.48/2071.02 c INPROCESSING
2065.48/2071.02 c GARBAGE COLLECT
2065.48/2071.02 c rational objective 87
2102.38/2108.04 c #Conflicts: 1288000 | #Constraints: 32524
2102.38/2108.04 c #Conflicts: 1289000 | #Constraints: 33524
2102.38/2108.04 c #Conflicts: 1290000 | #Constraints: 34524
2102.38/2108.04 c #Conflicts: 1291000 | #Constraints: 35524
2102.38/2108.04 c #Conflicts: 1292000 | #Constraints: 36524
2102.38/2108.04 c #Conflicts: 1293000 | #Constraints: 37524
2102.38/2108.04 c #Conflicts: 1294000 | #Constraints: 38524
2102.38/2108.04 c #Conflicts: 1295000 | #Constraints: 39524
2102.38/2108.04 c #Conflicts: 1296000 | #Constraints: 40524
2102.38/2108.04 c #Conflicts: 1297000 | #Constraints: 41524
2102.38/2108.04 c #Conflicts: 1298000 | #Constraints: 42524
2102.38/2108.04 c #Conflicts: 1299000 | #Constraints: 43524
2102.38/2108.04 c #Conflicts: 1300000 | #Constraints: 44524
2102.38/2108.04 c #Conflicts: 1301000 | #Constraints: 45524
2102.38/2108.04 c #Conflicts: 1302000 | #Constraints: 46524
2102.38/2108.04 c #Conflicts: 1303000 | #Constraints: 47524
2102.38/2108.04 c #Conflicts: 1304000 | #Constraints: 48524
2102.38/2108.04 c #Conflicts: 1305000 | #Constraints: 49524
2102.38/2108.04 c #Conflicts: 1306000 | #Constraints: 50524
2102.38/2108.04 c #Conflicts: 1307000 | #Constraints: 51524
2102.38/2108.04 c #Conflicts: 1308000 | #Constraints: 52524
2102.38/2108.04 c #Conflicts: 1309000 | #Constraints: 53524
2102.38/2108.04 c #Conflicts: 1310000 | #Constraints: 54524
2102.38/2108.04 c #Conflicts: 1311000 | #Constraints: 55524
2102.38/2108.04 c #Conflicts: 1312000 | #Constraints: 56524
2102.38/2108.04 c INPROCESSING
2102.38/2108.04 c GARBAGE COLLECT
2102.38/2108.04 c rational objective 87
2311.16/2317.39 c #Conflicts: 1313000 | #Constraints: 32283
2311.16/2317.39 c #Conflicts: 1314000 | #Constraints: 33283
2311.16/2317.39 c #Conflicts: 1315000 | #Constraints: 34283
2311.16/2317.39 c #Conflicts: 1316000 | #Constraints: 35283
2311.16/2317.39 c #Conflicts: 1317000 | #Constraints: 36283
2311.16/2317.39 c #Conflicts: 1318000 | #Constraints: 37283
2311.16/2317.39 c #Conflicts: 1319000 | #Constraints: 38283
2311.16/2317.39 c #Conflicts: 1320000 | #Constraints: 39283
2311.16/2317.39 c #Conflicts: 1321000 | #Constraints: 40283
2311.16/2317.39 c #Conflicts: 1322000 | #Constraints: 41283
2311.16/2317.39 c #Conflicts: 1323000 | #Constraints: 42283
2311.16/2317.39 c #Conflicts: 1324000 | #Constraints: 43283
2311.16/2317.39 c #Conflicts: 1325000 | #Constraints: 44283
2311.16/2317.39 c #Conflicts: 1326000 | #Constraints: 45283
2311.16/2317.39 c #Conflicts: 1327000 | #Constraints: 46283
2311.16/2317.39 c #Conflicts: 1328000 | #Constraints: 47283
2311.16/2317.39 c #Conflicts: 1329000 | #Constraints: 48283
2311.16/2317.39 c #Conflicts: 1330000 | #Constraints: 49283
2311.16/2317.39 c #Conflicts: 1331000 | #Constraints: 50283
2311.16/2317.39 c #Conflicts: 1332000 | #Constraints: 51283
2311.16/2317.39 c #Conflicts: 1333000 | #Constraints: 52283
2311.16/2317.39 c #Conflicts: 1334000 | #Constraints: 53283
2311.16/2317.39 c #Conflicts: 1335000 | #Constraints: 54283
2311.16/2317.39 c #Conflicts: 1336000 | #Constraints: 55283
2311.16/2317.39 c #Conflicts: 1337000 | #Constraints: 56283
2311.16/2317.39 c #Conflicts: 1338000 | #Constraints: 57283
2311.16/2317.39 c #Conflicts: 1339000 | #Constraints: 58283
2311.16/2317.39 c #Conflicts: 1340000 | #Constraints: 59283
2311.16/2317.39 c #Conflicts: 1341000 | #Constraints: 60283
2311.16/2317.39 c #Conflicts: 1342000 | #Constraints: 61283
2311.16/2317.39 c #Conflicts: 1343000 | #Constraints: 62283
2311.16/2317.39 c #Conflicts: 1344000 | #Constraints: 63283
2311.16/2317.39 c #Conflicts: 1345000 | #Constraints: 64283
2311.16/2317.39 c #Conflicts: 1346000 | #Constraints: 65283
2311.16/2317.39 c #Conflicts: 1347000 | #Constraints: 66283
2311.16/2317.39 c #Conflicts: 1348000 | #Constraints: 67283
2311.16/2317.39 c #Conflicts: 1349000 | #Constraints: 68283
2311.16/2317.39 c #Conflicts: 1350000 | #Constraints: 69283
2311.16/2317.39 c #Conflicts: 1351000 | #Constraints: 70283
2311.16/2317.39 c #Conflicts: 1352000 | #Constraints: 71283
2311.16/2317.39 c #Conflicts: 1353000 | #Constraints: 72283
2311.16/2317.39 c #Conflicts: 1354000 | #Constraints: 73283
2311.16/2317.39 c #Conflicts: 1355000 | #Constraints: 74283
2311.16/2317.39 c #Conflicts: 1356000 | #Constraints: 75283
2311.16/2317.39 c #Conflicts: 1357000 | #Constraints: 76283
2311.16/2317.39 c #Conflicts: 1358000 | #Constraints: 77283
2311.16/2317.39 c #Conflicts: 1359000 | #Constraints: 78283
2311.16/2317.39 c #Conflicts: 1360000 | #Constraints: 79283
2311.16/2317.39 c #Conflicts: 1361000 | #Constraints: 80283
2311.16/2317.39 c #Conflicts: 1362000 | #Constraints: 81283
2311.16/2317.39 c #Conflicts: 1363000 | #Constraints: 82283
2311.16/2317.39 c #Conflicts: 1364000 | #Constraints: 83283
2311.16/2317.39 c #Conflicts: 1365000 | #Constraints: 84283
2311.16/2317.39 c #Conflicts: 1366000 | #Constraints: 85283
2311.16/2317.39 c #Conflicts: 1367000 | #Constraints: 86283
2311.16/2317.39 c #Conflicts: 1368000 | #Constraints: 87283
2311.16/2317.39 c #Conflicts: 1369000 | #Constraints: 88283
2311.16/2317.39 c #Conflicts: 1370000 | #Constraints: 89283
2311.16/2317.39 c #Conflicts: 1371000 | #Constraints: 90283
2311.16/2317.39 c #Conflicts: 1372000 | #Constraints: 91283
2311.16/2317.39 c #Conflicts: 1373000 | #Constraints: 92283
2311.16/2317.39 c #Conflicts: 1374000 | #Constraints: 93283
2311.16/2317.39 c #Conflicts: 1375000 | #Constraints: 94283
2311.16/2317.39 c #Conflicts: 1376000 | #Constraints: 95283
2311.16/2317.39 c #Conflicts: 1377000 | #Constraints: 96283
2311.16/2317.39 c #Conflicts: 1378000 | #Constraints: 97283
2311.16/2317.39 c #Conflicts: 1379000 | #Constraints: 98283
2311.16/2317.39 c #Conflicts: 1380000 | #Constraints: 99283
2311.16/2317.39 c #Conflicts: 1381000 | #Constraints: 100283
2311.16/2317.39 c #Conflicts: 1382000 | #Constraints: 101283
2311.16/2317.39 c #Conflicts: 1383000 | #Constraints: 102283
2311.16/2317.39 c #Conflicts: 1384000 | #Constraints: 103283
2311.16/2317.39 c #Conflicts: 1385000 | #Constraints: 104283
2311.16/2317.39 c #Conflicts: 1386000 | #Constraints: 105283
2311.16/2317.39 c #Conflicts: 1387000 | #Constraints: 106283
2311.16/2317.39 c #Conflicts: 1388000 | #Constraints: 107283
2311.16/2317.39 c #Conflicts: 1389000 | #Constraints: 108283
2311.16/2317.39 c #Conflicts: 1390000 | #Constraints: 109284
2311.16/2317.39 c #Conflicts: 1391000 | #Constraints: 110284
2455.00/2461.56 c #Conflicts: 1392000 | #Constraints: 111284
2455.00/2461.56 c #Conflicts: 1393000 | #Constraints: 112284
2455.00/2461.56 c #Conflicts: 1394000 | #Constraints: 113284
2455.00/2461.56 c #Conflicts: 1395000 | #Constraints: 114284
2455.00/2461.56 c #Conflicts: 1396000 | #Constraints: 115284
2455.00/2461.56 c #Conflicts: 1397000 | #Constraints: 116284
2455.00/2461.56 c #Conflicts: 1398000 | #Constraints: 117284
2455.00/2461.56 c #Conflicts: 1399000 | #Constraints: 118284
2455.00/2461.56 c #Conflicts: 1400000 | #Constraints: 119284
2455.00/2461.56 c #Conflicts: 1401000 | #Constraints: 120284
2455.00/2461.56 c #Conflicts: 1402000 | #Constraints: 121284
2455.00/2461.56 c #Conflicts: 1403000 | #Constraints: 122284
2455.00/2461.56 c #Conflicts: 1404000 | #Constraints: 123284
2455.00/2461.56 c #Conflicts: 1405000 | #Constraints: 124284
2455.00/2461.56 c #Conflicts: 1406000 | #Constraints: 125284
2455.00/2461.56 c INPROCESSING
2455.00/2461.56 c GARBAGE COLLECT
2455.00/2461.56 c #Conflicts: 1407000 | #Constraints: 66970
2455.00/2461.56 c #Conflicts: 1408000 | #Constraints: 67970
2455.00/2461.56 c #Conflicts: 1409000 | #Constraints: 68970
2455.00/2461.56 c #Conflicts: 1410000 | #Constraints: 69970
2455.00/2461.56 c #Conflicts: 1411000 | #Constraints: 70970
2455.00/2461.56 c #Conflicts: 1412000 | #Constraints: 71970
2455.00/2461.56 c #Conflicts: 1413000 | #Constraints: 72970
2455.00/2461.56 c #Conflicts: 1414000 | #Constraints: 73970
2455.00/2461.56 c #Conflicts: 1415000 | #Constraints: 74970
2455.00/2461.56 c #Conflicts: 1416000 | #Constraints: 75970
2455.00/2461.56 c #Conflicts: 1417000 | #Constraints: 76970
2455.00/2461.56 c #Conflicts: 1418000 | #Constraints: 77970
2455.00/2461.56 c #Conflicts: 1419000 | #Constraints: 78970
2455.00/2461.56 c #Conflicts: 1420000 | #Constraints: 79970
2455.00/2461.56 c #Conflicts: 1421000 | #Constraints: 80970
2455.00/2461.56 c #Conflicts: 1422000 | #Constraints: 81970
2455.00/2461.56 c #Conflicts: 1423000 | #Constraints: 82970
2455.00/2461.56 c #Conflicts: 1424000 | #Constraints: 83970
2455.00/2461.56 c #Conflicts: 1425000 | #Constraints: 84970
2455.00/2461.56 c #Conflicts: 1426000 | #Constraints: 85970
2455.00/2461.56 c #Conflicts: 1427000 | #Constraints: 86970
2455.00/2461.56 c #Conflicts: 1428000 | #Constraints: 87970
2455.00/2461.56 c #Conflicts: 1429000 | #Constraints: 88970
2455.00/2461.56 c #Conflicts: 1430000 | #Constraints: 89970
2455.00/2461.56 c #Conflicts: 1431000 | #Constraints: 90970
2455.00/2461.56 c #Conflicts: 1432000 | #Constraints: 91970
2455.00/2461.56 c INPROCESSING
2455.00/2461.56 c GARBAGE COLLECT
2455.00/2461.56 c rational objective 87
2563.33/2570.18 c #Conflicts: 1433000 | #Constraints: 50255
2563.33/2570.18 c #Conflicts: 1434000 | #Constraints: 51255
2563.33/2570.18 c #Conflicts: 1435000 | #Constraints: 52255
2563.33/2570.18 c #Conflicts: 1436000 | #Constraints: 53255
2563.33/2570.18 c #Conflicts: 1437000 | #Constraints: 54255
2563.33/2570.18 c #Conflicts: 1438000 | #Constraints: 55255
2563.33/2570.18 c #Conflicts: 1439000 | #Constraints: 56255
2563.33/2570.18 c #Conflicts: 1440000 | #Constraints: 57255
2563.33/2570.18 c #Conflicts: 1441000 | #Constraints: 58255
2563.33/2570.18 c #Conflicts: 1442000 | #Constraints: 59255
2563.33/2570.18 c #Conflicts: 1443000 | #Constraints: 60255
2563.33/2570.18 c #Conflicts: 1444000 | #Constraints: 61255
2563.33/2570.18 c #Conflicts: 1445000 | #Constraints: 62255
2563.33/2570.18 c #Conflicts: 1446000 | #Constraints: 63255
2563.33/2570.18 c #Conflicts: 1447000 | #Constraints: 64255
2563.33/2570.18 c #Conflicts: 1448000 | #Constraints: 65255
2563.33/2570.18 c #Conflicts: 1449000 | #Constraints: 66255
2563.33/2570.18 c #Conflicts: 1450000 | #Constraints: 67255
2563.33/2570.18 c #Conflicts: 1451000 | #Constraints: 68255
2563.33/2570.18 c #Conflicts: 1452000 | #Constraints: 69255
2563.33/2570.18 c #Conflicts: 1453000 | #Constraints: 70255
2563.33/2570.18 c #Conflicts: 1454000 | #Constraints: 71255
2563.33/2570.18 c #Conflicts: 1455000 | #Constraints: 72255
2563.33/2570.18 c #Conflicts: 1456000 | #Constraints: 73255
2563.33/2570.18 c #Conflicts: 1457000 | #Constraints: 74255
2563.33/2570.18 c #Conflicts: 1458000 | #Constraints: 75255
2563.33/2570.18 c INPROCESSING
2563.33/2570.18 c GARBAGE COLLECT
2563.33/2570.18 c #Conflicts: 1459000 | #Constraints: 41721
2563.33/2570.18 c #Conflicts: 1460000 | #Constraints: 42721
2563.33/2570.18 c #Conflicts: 1461000 | #Constraints: 43721
2563.33/2570.18 c #Conflicts: 1462000 | #Constraints: 44721
2563.33/2570.18 c #Conflicts: 1463000 | #Constraints: 45721
2563.33/2570.18 c #Conflicts: 1464000 | #Constraints: 46721
2563.33/2570.18 c #Conflicts: 1465000 | #Constraints: 47721
2563.33/2570.18 c #Conflicts: 1466000 | #Constraints: 48721
2563.33/2570.18 c #Conflicts: 1467000 | #Constraints: 49721
2563.33/2570.18 c #Conflicts: 1468000 | #Constraints: 50721
2563.33/2570.18 c #Conflicts: 1469000 | #Constraints: 51721
2563.33/2570.18 c #Conflicts: 1470000 | #Constraints: 52721
2563.33/2570.18 c #Conflicts: 1471000 | #Constraints: 53721
2563.33/2570.18 c #Conflicts: 1472000 | #Constraints: 54721
2563.33/2570.18 c #Conflicts: 1473000 | #Constraints: 55721
2563.33/2570.18 c #Conflicts: 1474000 | #Constraints: 56721
2563.33/2570.18 c #Conflicts: 1475000 | #Constraints: 57721
2563.33/2570.18 c #Conflicts: 1476000 | #Constraints: 58721
2563.33/2570.18 c #Conflicts: 1477000 | #Constraints: 59721
2563.33/2570.18 c #Conflicts: 1478000 | #Constraints: 60721
2563.33/2570.18 c #Conflicts: 1479000 | #Constraints: 61721
2563.33/2570.18 c #Conflicts: 1480000 | #Constraints: 62721
2563.33/2570.18 c #Conflicts: 1481000 | #Constraints: 63721
2563.33/2570.18 c #Conflicts: 1482000 | #Constraints: 64721
2563.33/2570.18 c #Conflicts: 1483000 | #Constraints: 65721
2563.33/2570.18 c #Conflicts: 1484000 | #Constraints: 66721
2563.33/2570.18 c #Conflicts: 1485000 | #Constraints: 67721
2563.33/2570.18 c INPROCESSING
2563.33/2570.18 c GARBAGE COLLECT
2563.33/2570.18 c rational objective 87
2611.12/2618.05 c #Conflicts: 1486000 | #Constraints: 38210
2611.12/2618.05 c #Conflicts: 1487000 | #Constraints: 39210
2611.12/2618.05 c #Conflicts: 1488000 | #Constraints: 40210
2611.12/2618.05 c #Conflicts: 1489000 | #Constraints: 41210
2611.12/2618.05 c #Conflicts: 1490000 | #Constraints: 42210
2611.12/2618.05 c #Conflicts: 1491000 | #Constraints: 43210
2611.12/2618.05 c #Conflicts: 1492000 | #Constraints: 44210
2611.12/2618.05 c #Conflicts: 1493000 | #Constraints: 45210
2611.12/2618.05 c #Conflicts: 1494000 | #Constraints: 46210
2611.12/2618.05 c #Conflicts: 1495000 | #Constraints: 47210
2611.12/2618.05 c #Conflicts: 1496000 | #Constraints: 48210
2611.12/2618.05 c #Conflicts: 1497000 | #Constraints: 49210
2611.12/2618.05 c #Conflicts: 1498000 | #Constraints: 50210
2611.12/2618.05 c #Conflicts: 1499000 | #Constraints: 51210
2611.12/2618.05 c #Conflicts: 1500000 | #Constraints: 52210
2611.12/2618.05 c #Conflicts: 1501000 | #Constraints: 53210
2611.12/2618.05 c #Conflicts: 1502000 | #Constraints: 54210
2611.12/2618.05 c #Conflicts: 1503000 | #Constraints: 55210
2611.12/2618.05 c #Conflicts: 1504000 | #Constraints: 56210
2611.12/2618.05 c #Conflicts: 1505000 | #Constraints: 57210
2611.12/2618.05 c #Conflicts: 1506000 | #Constraints: 58210
2611.12/2618.05 c #Conflicts: 1507000 | #Constraints: 59210
2611.12/2618.05 c #Conflicts: 1508000 | #Constraints: 60210
2611.12/2618.05 c #Conflicts: 1509000 | #Constraints: 61210
2611.12/2618.05 c #Conflicts: 1510000 | #Constraints: 62210
2611.12/2618.05 c #Conflicts: 1511000 | #Constraints: 63210
2611.12/2618.05 c #Conflicts: 1512000 | #Constraints: 64210
2611.12/2618.05 c INPROCESSING
2611.12/2618.05 c GARBAGE COLLECT
2611.12/2618.05 c rational objective 87
2722.44/2729.61 c #Conflicts: 1513000 | #Constraints: 36433
2722.44/2729.61 c #Conflicts: 1514000 | #Constraints: 37433
2722.44/2729.61 c #Conflicts: 1515000 | #Constraints: 38433
2722.44/2729.61 c #Conflicts: 1516000 | #Constraints: 39433
2722.44/2729.61 c #Conflicts: 1517000 | #Constraints: 40433
2722.44/2729.61 c #Conflicts: 1518000 | #Constraints: 41433
2722.44/2729.61 c #Conflicts: 1519000 | #Constraints: 42433
2722.44/2729.61 c #Conflicts: 1520000 | #Constraints: 43433
2722.44/2729.61 c #Conflicts: 1521000 | #Constraints: 44433
2722.44/2729.61 c #Conflicts: 1522000 | #Constraints: 45433
2722.44/2729.61 c #Conflicts: 1523000 | #Constraints: 46433
2722.44/2729.61 c #Conflicts: 1524000 | #Constraints: 47433
2722.44/2729.61 c #Conflicts: 1525000 | #Constraints: 48433
2722.44/2729.61 c #Conflicts: 1526000 | #Constraints: 49433
2722.44/2729.61 c #Conflicts: 1527000 | #Constraints: 50433
2722.44/2729.61 c #Conflicts: 1528000 | #Constraints: 51433
2722.44/2729.61 c #Conflicts: 1529000 | #Constraints: 52433
2722.44/2729.61 c #Conflicts: 1530000 | #Constraints: 53433
2722.44/2729.61 c #Conflicts: 1531000 | #Constraints: 54433
2722.44/2729.61 c #Conflicts: 1532000 | #Constraints: 55433
2722.44/2729.61 c #Conflicts: 1533000 | #Constraints: 56433
2722.44/2729.61 c #Conflicts: 1534000 | #Constraints: 57433
2722.44/2729.61 c #Conflicts: 1535000 | #Constraints: 58433
2722.44/2729.61 c #Conflicts: 1536000 | #Constraints: 59433
2722.44/2729.61 c #Conflicts: 1537000 | #Constraints: 60433
2722.44/2729.61 c #Conflicts: 1538000 | #Constraints: 61433
2722.44/2729.61 c #Conflicts: 1539000 | #Constraints: 62433
2722.44/2729.61 c INPROCESSING
2722.44/2729.61 c GARBAGE COLLECT
2722.44/2729.61 c #Conflicts: 1540000 | #Constraints: 35525
2722.44/2729.61 c #Conflicts: 1541000 | #Constraints: 36525
2722.44/2729.61 c #Conflicts: 1542000 | #Constraints: 37525
2722.44/2729.61 c #Conflicts: 1543000 | #Constraints: 38525
2722.44/2729.61 c #Conflicts: 1544000 | #Constraints: 39525
2722.44/2729.61 c #Conflicts: 1545000 | #Constraints: 40525
2722.44/2729.61 c #Conflicts: 1546000 | #Constraints: 41525
2722.44/2729.61 c #Conflicts: 1547000 | #Constraints: 42525
2722.44/2729.61 c #Conflicts: 1548000 | #Constraints: 43525
2722.44/2729.61 c #Conflicts: 1549000 | #Constraints: 44525
2722.44/2729.61 c #Conflicts: 1550000 | #Constraints: 45525
2722.44/2729.61 c #Conflicts: 1551000 | #Constraints: 46525
2722.44/2729.61 c #Conflicts: 1552000 | #Constraints: 47525
2722.44/2729.61 c #Conflicts: 1553000 | #Constraints: 48525
2722.44/2729.61 c #Conflicts: 1554000 | #Constraints: 49525
2722.44/2729.61 c #Conflicts: 1555000 | #Constraints: 50525
2722.44/2729.61 c #Conflicts: 1556000 | #Constraints: 51525
2722.44/2729.61 c #Conflicts: 1557000 | #Constraints: 52525
2722.44/2729.61 c #Conflicts: 1558000 | #Constraints: 53525
2722.44/2729.61 c #Conflicts: 1559000 | #Constraints: 54525
2722.44/2729.61 c #Conflicts: 1560000 | #Constraints: 55525
2722.44/2729.61 c #Conflicts: 1561000 | #Constraints: 56525
2722.44/2729.61 c #Conflicts: 1562000 | #Constraints: 57525
2722.44/2729.61 c #Conflicts: 1563000 | #Constraints: 58525
2722.44/2729.61 c #Conflicts: 1564000 | #Constraints: 59525
2722.44/2729.61 c #Conflicts: 1565000 | #Constraints: 60525
2722.44/2729.61 c #Conflicts: 1566000 | #Constraints: 61525
2722.44/2729.61 c INPROCESSING
2722.44/2729.61 c GARBAGE COLLECT
2722.44/2729.61 c #Conflicts: 1567000 | #Constraints: 35047
2722.44/2729.61 c #Conflicts: 1568000 | #Constraints: 36047
2722.44/2729.61 c #Conflicts: 1569000 | #Constraints: 37047
2722.44/2729.61 c #Conflicts: 1570000 | #Constraints: 38047
2722.44/2729.61 c #Conflicts: 1571000 | #Constraints: 39047
2722.44/2729.61 c #Conflicts: 1572000 | #Constraints: 40047
2722.44/2729.61 c #Conflicts: 1573000 | #Constraints: 41047
2722.44/2729.61 c #Conflicts: 1574000 | #Constraints: 42047
2722.44/2729.61 c #Conflicts: 1575000 | #Constraints: 43047
2722.44/2729.61 c #Conflicts: 1576000 | #Constraints: 44047
2722.44/2729.61 c #Conflicts: 1577000 | #Constraints: 45047
2722.44/2729.61 c #Conflicts: 1578000 | #Constraints: 46047
2722.44/2729.61 c #Conflicts: 1579000 | #Constraints: 47047
2722.44/2729.61 c #Conflicts: 1580000 | #Constraints: 48047
2722.44/2729.61 c #Conflicts: 1581000 | #Constraints: 49047
2722.44/2729.61 c #Conflicts: 1582000 | #Constraints: 50047
2722.44/2729.61 c #Conflicts: 1583000 | #Constraints: 51047
2722.44/2729.61 c #Conflicts: 1584000 | #Constraints: 52047
2722.44/2729.61 c #Conflicts: 1585000 | #Constraints: 53047
2722.44/2729.61 c #Conflicts: 1586000 | #Constraints: 54047
2722.44/2729.61 c #Conflicts: 1587000 | #Constraints: 55047
2722.44/2729.61 c #Conflicts: 1588000 | #Constraints: 56047
2722.44/2729.61 c #Conflicts: 1589000 | #Constraints: 57047
2722.44/2729.61 c #Conflicts: 1590000 | #Constraints: 58047
2998.89/3006.86 c #Conflicts: 1591000 | #Constraints: 59047
2998.89/3006.86 c #Conflicts: 1592000 | #Constraints: 60047
2998.89/3006.86 c #Conflicts: 1593000 | #Constraints: 61047
2998.89/3006.86 c #Conflicts: 1594000 | #Constraints: 62047
2998.89/3006.86 c #Conflicts: 1595000 | #Constraints: 63047
2998.89/3006.86 c #Conflicts: 1596000 | #Constraints: 64047
2998.89/3006.86 c #Conflicts: 1597000 | #Constraints: 65047
2998.89/3006.86 c #Conflicts: 1598000 | #Constraints: 66047
2998.89/3006.86 c #Conflicts: 1599000 | #Constraints: 67047
2998.89/3006.86 c #Conflicts: 1600000 | #Constraints: 68047
2998.89/3006.86 c #Conflicts: 1601000 | #Constraints: 69047
2998.89/3006.86 c #Conflicts: 1602000 | #Constraints: 70047
2998.89/3006.86 c #Conflicts: 1603000 | #Constraints: 71047
2998.89/3006.86 c #Conflicts: 1604000 | #Constraints: 72047
2998.89/3006.86 c #Conflicts: 1605000 | #Constraints: 73047
2998.89/3006.86 c #Conflicts: 1606000 | #Constraints: 74047
2998.89/3006.86 c #Conflicts: 1607000 | #Constraints: 75047
2998.89/3006.86 c #Conflicts: 1608000 | #Constraints: 76047
2998.89/3006.86 c #Conflicts: 1609000 | #Constraints: 77047
2998.89/3006.86 c #Conflicts: 1610000 | #Constraints: 78047
2998.89/3006.86 c #Conflicts: 1611000 | #Constraints: 79047
2998.89/3006.86 c #Conflicts: 1612000 | #Constraints: 80047
2998.89/3006.86 c #Conflicts: 1613000 | #Constraints: 81047
2998.89/3006.86 c #Conflicts: 1614000 | #Constraints: 82047
2998.89/3006.86 c #Conflicts: 1615000 | #Constraints: 83047
2998.89/3006.86 c #Conflicts: 1616000 | #Constraints: 84047
2998.89/3006.86 c #Conflicts: 1617000 | #Constraints: 85047
2998.89/3006.86 c #Conflicts: 1618000 | #Constraints: 86047
2998.89/3006.86 c #Conflicts: 1619000 | #Constraints: 87047
2998.89/3006.86 c #Conflicts: 1620000 | #Constraints: 88047
2998.89/3006.86 c #Conflicts: 1621000 | #Constraints: 89047
2998.89/3006.86 c #Conflicts: 1622000 | #Constraints: 90047
2998.89/3006.86 c #Conflicts: 1623000 | #Constraints: 91047
2998.89/3006.86 c #Conflicts: 1624000 | #Constraints: 92047
2998.89/3006.86 c #Conflicts: 1625000 | #Constraints: 93047
2998.89/3006.86 c #Conflicts: 1626000 | #Constraints: 94047
2998.89/3006.86 c #Conflicts: 1627000 | #Constraints: 95047
2998.89/3006.86 c #Conflicts: 1628000 | #Constraints: 96047
2998.89/3006.86 c #Conflicts: 1629000 | #Constraints: 97047
2998.89/3006.86 c #Conflicts: 1630000 | #Constraints: 98047
2998.89/3006.86 c #Conflicts: 1631000 | #Constraints: 99047
2998.89/3006.86 c #Conflicts: 1632000 | #Constraints: 100047
2998.89/3006.86 c #Conflicts: 1633000 | #Constraints: 101047
2998.89/3006.86 c #Conflicts: 1634000 | #Constraints: 102047
2998.89/3006.86 c #Conflicts: 1635000 | #Constraints: 103047
2998.89/3006.86 c #Conflicts: 1636000 | #Constraints: 104047
2998.89/3006.86 c #Conflicts: 1637000 | #Constraints: 105047
2998.89/3006.86 c #Conflicts: 1638000 | #Constraints: 106047
2998.89/3006.86 c #Conflicts: 1639000 | #Constraints: 107047
2998.89/3006.86 c #Conflicts: 1640000 | #Constraints: 108047
2998.89/3006.86 c #Conflicts: 1641000 | #Constraints: 109047
2998.89/3006.86 c #Conflicts: 1642000 | #Constraints: 110047
2998.89/3006.86 c #Conflicts: 1643000 | #Constraints: 111047
2998.89/3006.86 c #Conflicts: 1644000 | #Constraints: 112047
2998.89/3006.86 c #Conflicts: 1645000 | #Constraints: 113047
2998.89/3006.86 c #Conflicts: 1646000 | #Constraints: 114047
2998.89/3006.86 c #Conflicts: 1647000 | #Constraints: 115047
2998.89/3006.86 c #Conflicts: 1648000 | #Constraints: 116047
2998.89/3006.86 c #Conflicts: 1649000 | #Constraints: 117047
2998.89/3006.86 c #Conflicts: 1650000 | #Constraints: 118047
2998.89/3006.86 c #Conflicts: 1651000 | #Constraints: 119047
2998.89/3006.86 c #Conflicts: 1652000 | #Constraints: 120047
2998.89/3006.86 c #Conflicts: 1653000 | #Constraints: 121047
2998.89/3006.86 c #Conflicts: 1654000 | #Constraints: 122047
2998.89/3006.86 c #Conflicts: 1655000 | #Constraints: 123047
2998.89/3006.86 c #Conflicts: 1656000 | #Constraints: 124047
2998.89/3006.86 c #Conflicts: 1657000 | #Constraints: 125047
2998.89/3006.86 c #Conflicts: 1658000 | #Constraints: 126047
2998.89/3006.86 c #Conflicts: 1659000 | #Constraints: 127047
2998.89/3006.86 c #Conflicts: 1660000 | #Constraints: 128047
2998.89/3006.86 c #Conflicts: 1661000 | #Constraints: 129047
2998.89/3006.86 c #Conflicts: 1662000 | #Constraints: 130047
2998.89/3006.86 c #Conflicts: 1663000 | #Constraints: 131047
2998.89/3006.86 c #Conflicts: 1664000 | #Constraints: 132047
2998.89/3006.86 c #Conflicts: 1665000 | #Constraints: 133047
2998.89/3006.86 c #Conflicts: 1666000 | #Constraints: 134047
2998.89/3006.86 c #Conflicts: 1667000 | #Constraints: 135047
2998.89/3006.86 c #Conflicts: 1668000 | #Constraints: 136047
2998.89/3006.86 c INPROCESSING
2999.58/3007.52 c GARBAGE COLLECT
2999.58/3007.52 c rational objective 87
3073.87/3082.07 c #Conflicts: 1669000 | #Constraints: 72273
3073.87/3082.07 c #Conflicts: 1670000 | #Constraints: 73273
3073.87/3082.07 c #Conflicts: 1671000 | #Constraints: 74273
3073.87/3082.07 c #Conflicts: 1672000 | #Constraints: 75273
3073.87/3082.07 c #Conflicts: 1673000 | #Constraints: 76273
3073.87/3082.07 c #Conflicts: 1674000 | #Constraints: 77273
3073.87/3082.07 c #Conflicts: 1675000 | #Constraints: 78273
3073.87/3082.07 c #Conflicts: 1676000 | #Constraints: 79273
3073.87/3082.07 c #Conflicts: 1677000 | #Constraints: 80273
3073.87/3082.07 c #Conflicts: 1678000 | #Constraints: 81273
3073.87/3082.07 c #Conflicts: 1679000 | #Constraints: 82273
3073.87/3082.07 c #Conflicts: 1680000 | #Constraints: 83273
3073.87/3082.07 c #Conflicts: 1681000 | #Constraints: 84274
3073.87/3082.07 c #Conflicts: 1682000 | #Constraints: 85274
3073.87/3082.07 c #Conflicts: 1683000 | #Constraints: 86274
3073.87/3082.07 c #Conflicts: 1684000 | #Constraints: 87274
3073.87/3082.07 c #Conflicts: 1685000 | #Constraints: 88274
3073.87/3082.07 c #Conflicts: 1686000 | #Constraints: 89274
3073.87/3082.07 c #Conflicts: 1687000 | #Constraints: 90274
3073.87/3082.07 c #Conflicts: 1688000 | #Constraints: 91274
3073.87/3082.07 c #Conflicts: 1689000 | #Constraints: 92274
3073.87/3082.07 c #Conflicts: 1690000 | #Constraints: 93274
3073.87/3082.07 c #Conflicts: 1691000 | #Constraints: 94274
3073.87/3082.07 c #Conflicts: 1692000 | #Constraints: 95274
3073.87/3082.07 c #Conflicts: 1693000 | #Constraints: 96274
3073.87/3082.07 c #Conflicts: 1694000 | #Constraints: 97274
3073.87/3082.07 c #Conflicts: 1695000 | #Constraints: 98274
3073.87/3082.07 c #Conflicts: 1696000 | #Constraints: 99274
3073.87/3082.07 c INPROCESSING
3073.87/3082.07 c GARBAGE COLLECT
3073.87/3082.07 c rational objective 87
3137.18/3145.51 c #Conflicts: 1697000 | #Constraints: 53661
3137.18/3145.51 c #Conflicts: 1698000 | #Constraints: 54661
3137.18/3145.51 c #Conflicts: 1699000 | #Constraints: 55661
3137.18/3145.51 c #Conflicts: 1700000 | #Constraints: 56661
3137.18/3145.51 c #Conflicts: 1701000 | #Constraints: 57661
3137.18/3145.51 c #Conflicts: 1702000 | #Constraints: 58661
3137.18/3145.51 c #Conflicts: 1703000 | #Constraints: 59661
3137.18/3145.51 c #Conflicts: 1704000 | #Constraints: 60661
3137.18/3145.51 c #Conflicts: 1705000 | #Constraints: 61661
3137.18/3145.51 c #Conflicts: 1706000 | #Constraints: 62661
3137.18/3145.51 c #Conflicts: 1707000 | #Constraints: 63661
3137.18/3145.51 c #Conflicts: 1708000 | #Constraints: 64661
3137.18/3145.51 c #Conflicts: 1709000 | #Constraints: 65661
3137.18/3145.51 c #Conflicts: 1710000 | #Constraints: 66661
3137.18/3145.51 c #Conflicts: 1711000 | #Constraints: 67661
3137.18/3145.51 c #Conflicts: 1712000 | #Constraints: 68661
3137.18/3145.51 c #Conflicts: 1713000 | #Constraints: 69661
3137.18/3145.51 c #Conflicts: 1714000 | #Constraints: 70661
3137.18/3145.51 c #Conflicts: 1715000 | #Constraints: 71661
3137.18/3145.51 c #Conflicts: 1716000 | #Constraints: 72661
3137.18/3145.51 c #Conflicts: 1717000 | #Constraints: 73661
3137.18/3145.51 c #Conflicts: 1718000 | #Constraints: 74661
3137.18/3145.51 c #Conflicts: 1719000 | #Constraints: 75661
3137.18/3145.51 c #Conflicts: 1720000 | #Constraints: 76661
3137.18/3145.51 c #Conflicts: 1721000 | #Constraints: 77661
3137.18/3145.51 c #Conflicts: 1722000 | #Constraints: 78661
3137.18/3145.51 c #Conflicts: 1723000 | #Constraints: 79661
3137.18/3145.51 c #Conflicts: 1724000 | #Constraints: 80661
3137.18/3145.51 c #Conflicts: 1725000 | #Constraints: 81661
3137.18/3145.51 c INPROCESSING
3137.18/3145.51 c GARBAGE COLLECT
3137.18/3145.51 c rational objective 87
3194.62/3203.17 c #Conflicts: 1726000 | #Constraints: 45016
3194.62/3203.17 c #Conflicts: 1727000 | #Constraints: 46016
3194.62/3203.17 c #Conflicts: 1728000 | #Constraints: 47016
3194.62/3203.17 c #Conflicts: 1729000 | #Constraints: 48016
3194.62/3203.17 c #Conflicts: 1730000 | #Constraints: 49016
3194.62/3203.17 c #Conflicts: 1731000 | #Constraints: 50016
3194.62/3203.17 c #Conflicts: 1732000 | #Constraints: 51016
3194.62/3203.17 c #Conflicts: 1733000 | #Constraints: 52016
3194.62/3203.17 c #Conflicts: 1734000 | #Constraints: 53016
3194.62/3203.17 c #Conflicts: 1735000 | #Constraints: 54016
3194.62/3203.17 c #Conflicts: 1736000 | #Constraints: 55016
3194.62/3203.17 c #Conflicts: 1737000 | #Constraints: 56016
3194.62/3203.17 c #Conflicts: 1738000 | #Constraints: 57016
3194.62/3203.17 c #Conflicts: 1739000 | #Constraints: 58016
3194.62/3203.17 c #Conflicts: 1740000 | #Constraints: 59016
3194.62/3203.17 c #Conflicts: 1741000 | #Constraints: 60016
3194.62/3203.17 c #Conflicts: 1742000 | #Constraints: 61016
3194.62/3203.17 c #Conflicts: 1743000 | #Constraints: 62016
3194.62/3203.17 c #Conflicts: 1744000 | #Constraints: 63016
3194.62/3203.17 c #Conflicts: 1745000 | #Constraints: 64016
3194.62/3203.17 c #Conflicts: 1746000 | #Constraints: 65016
3194.62/3203.17 c #Conflicts: 1747000 | #Constraints: 66016
3194.62/3203.17 c #Conflicts: 1748000 | #Constraints: 67016
3194.62/3203.17 c #Conflicts: 1749000 | #Constraints: 68016
3194.62/3203.17 c #Conflicts: 1750000 | #Constraints: 69016
3194.62/3203.17 c #Conflicts: 1751000 | #Constraints: 70016
3194.62/3203.17 c #Conflicts: 1752000 | #Constraints: 71016
3194.62/3203.17 c #Conflicts: 1753000 | #Constraints: 72016
3194.62/3203.17 c #Conflicts: 1754000 | #Constraints: 73016
3194.62/3203.17 c INPROCESSING
3194.62/3203.17 c GARBAGE COLLECT
3194.62/3203.17 c rational objective 87
3249.65/3258.32 c #Conflicts: 1755000 | #Constraints: 40755
3249.65/3258.32 c #Conflicts: 1756000 | #Constraints: 41755
3249.65/3258.32 c #Conflicts: 1757000 | #Constraints: 42755
3249.65/3258.32 c #Conflicts: 1758000 | #Constraints: 43755
3249.65/3258.32 c #Conflicts: 1759000 | #Constraints: 44755
3249.65/3258.32 c #Conflicts: 1760000 | #Constraints: 45755
3249.65/3258.32 c #Conflicts: 1761000 | #Constraints: 46755
3249.65/3258.32 c #Conflicts: 1762000 | #Constraints: 47755
3249.65/3258.32 c #Conflicts: 1763000 | #Constraints: 48755
3249.65/3258.32 c #Conflicts: 1764000 | #Constraints: 49755
3249.65/3258.32 c #Conflicts: 1765000 | #Constraints: 50755
3249.65/3258.32 c #Conflicts: 1766000 | #Constraints: 51755
3249.65/3258.32 c #Conflicts: 1767000 | #Constraints: 52755
3249.65/3258.32 c #Conflicts: 1768000 | #Constraints: 53755
3249.65/3258.32 c #Conflicts: 1769000 | #Constraints: 54755
3249.65/3258.32 c #Conflicts: 1770000 | #Constraints: 55755
3249.65/3258.32 c #Conflicts: 1771000 | #Constraints: 56755
3249.65/3258.32 c #Conflicts: 1772000 | #Constraints: 57755
3249.65/3258.32 c #Conflicts: 1773000 | #Constraints: 58755
3249.65/3258.32 c #Conflicts: 1774000 | #Constraints: 59755
3249.65/3258.32 c #Conflicts: 1775000 | #Constraints: 60755
3249.65/3258.32 c #Conflicts: 1776000 | #Constraints: 61755
3249.65/3258.32 c #Conflicts: 1777000 | #Constraints: 62755
3249.65/3258.32 c #Conflicts: 1778000 | #Constraints: 63755
3249.65/3258.32 c #Conflicts: 1779000 | #Constraints: 64755
3249.65/3258.32 c #Conflicts: 1780000 | #Constraints: 65755
3249.65/3258.32 c #Conflicts: 1781000 | #Constraints: 66755
3249.65/3258.32 c #Conflicts: 1782000 | #Constraints: 67755
3249.65/3258.32 c #Conflicts: 1783000 | #Constraints: 68755
3249.65/3258.32 c INPROCESSING
3249.65/3258.32 c GARBAGE COLLECT
3249.65/3258.32 c rational objective 87
3362.52/3371.58 c #Conflicts: 1784000 | #Constraints: 38485
3362.52/3371.58 c #Conflicts: 1785000 | #Constraints: 39485
3362.52/3371.58 c #Conflicts: 1786000 | #Constraints: 40485
3362.52/3371.58 c #Conflicts: 1787000 | #Constraints: 41485
3362.52/3371.58 c #Conflicts: 1788000 | #Constraints: 42485
3362.52/3371.58 c #Conflicts: 1789000 | #Constraints: 43485
3362.52/3371.58 c #Conflicts: 1790000 | #Constraints: 44485
3362.52/3371.58 c #Conflicts: 1791000 | #Constraints: 45485
3362.52/3371.58 c #Conflicts: 1792000 | #Constraints: 46485
3362.52/3371.58 c #Conflicts: 1793000 | #Constraints: 47485
3362.52/3371.58 c #Conflicts: 1794000 | #Constraints: 48485
3362.52/3371.58 c #Conflicts: 1795000 | #Constraints: 49485
3362.52/3371.58 c #Conflicts: 1796000 | #Constraints: 50485
3362.52/3371.58 c #Conflicts: 1797000 | #Constraints: 51485
3362.52/3371.58 c #Conflicts: 1798000 | #Constraints: 52485
3362.52/3371.58 c #Conflicts: 1799000 | #Constraints: 53485
3362.52/3371.58 c #Conflicts: 1800000 | #Constraints: 54485
3362.52/3371.58 c #Conflicts: 1801000 | #Constraints: 55485
3362.52/3371.58 c #Conflicts: 1802000 | #Constraints: 56485
3362.52/3371.58 c #Conflicts: 1803000 | #Constraints: 57485
3362.52/3371.58 c #Conflicts: 1804000 | #Constraints: 58485
3362.52/3371.58 c #Conflicts: 1805000 | #Constraints: 59485
3362.52/3371.58 c #Conflicts: 1806000 | #Constraints: 60485
3362.52/3371.58 c #Conflicts: 1807000 | #Constraints: 61485
3362.52/3371.58 c #Conflicts: 1808000 | #Constraints: 62485
3362.52/3371.58 c #Conflicts: 1809000 | #Constraints: 63485
3362.52/3371.58 c #Conflicts: 1810000 | #Constraints: 64485
3362.52/3371.58 c #Conflicts: 1811000 | #Constraints: 65485
3362.52/3371.58 c #Conflicts: 1812000 | #Constraints: 66485
3362.52/3371.58 c INPROCESSING
3362.52/3371.58 c GARBAGE COLLECT
3362.52/3371.58 c #Conflicts: 1813000 | #Constraints: 37258
3362.52/3371.58 c #Conflicts: 1814000 | #Constraints: 38258
3362.52/3371.58 c #Conflicts: 1815000 | #Constraints: 39258
3362.52/3371.58 c #Conflicts: 1816000 | #Constraints: 40258
3362.52/3371.58 c #Conflicts: 1817000 | #Constraints: 41258
3362.52/3371.58 c #Conflicts: 1818000 | #Constraints: 42258
3362.52/3371.58 c #Conflicts: 1819000 | #Constraints: 43258
3362.52/3371.58 c #Conflicts: 1820000 | #Constraints: 44258
3362.52/3371.58 c #Conflicts: 1821000 | #Constraints: 45258
3362.52/3371.58 c #Conflicts: 1822000 | #Constraints: 46258
3362.52/3371.58 c #Conflicts: 1823000 | #Constraints: 47258
3362.52/3371.58 c #Conflicts: 1824000 | #Constraints: 48258
3362.52/3371.58 c #Conflicts: 1825000 | #Constraints: 49258
3362.52/3371.58 c #Conflicts: 1826000 | #Constraints: 50258
3362.52/3371.58 c #Conflicts: 1827000 | #Constraints: 51258
3362.52/3371.58 c #Conflicts: 1828000 | #Constraints: 52258
3362.52/3371.58 c #Conflicts: 1829000 | #Constraints: 53258
3362.52/3371.58 c #Conflicts: 1830000 | #Constraints: 54258
3362.52/3371.58 c #Conflicts: 1831000 | #Constraints: 55258
3362.52/3371.58 c #Conflicts: 1832000 | #Constraints: 56258
3362.52/3371.58 c #Conflicts: 1833000 | #Constraints: 57258
3362.52/3371.58 c #Conflicts: 1834000 | #Constraints: 58258
3362.52/3371.58 c #Conflicts: 1835000 | #Constraints: 59258
3362.52/3371.58 c #Conflicts: 1836000 | #Constraints: 60258
3362.52/3371.58 c #Conflicts: 1837000 | #Constraints: 61258
3362.52/3371.58 c #Conflicts: 1838000 | #Constraints: 62258
3362.52/3371.58 c #Conflicts: 1839000 | #Constraints: 63258
3362.52/3371.58 c #Conflicts: 1840000 | #Constraints: 64258
3362.52/3371.58 c #Conflicts: 1841000 | #Constraints: 65258
3362.52/3371.58 c #Conflicts: 1842000 | #Constraints: 66258
3362.52/3371.58 c INPROCESSING
3362.52/3371.58 c GARBAGE COLLECT
3362.52/3371.58 c #Conflicts: 1843000 | #Constraints: 37358
3362.52/3371.58 c #Conflicts: 1844000 | #Constraints: 38358
3362.52/3371.58 c #Conflicts: 1845000 | #Constraints: 39358
3362.52/3371.58 c #Conflicts: 1846000 | #Constraints: 40358
3362.52/3371.58 c #Conflicts: 1847000 | #Constraints: 41358
3362.52/3371.58 c #Conflicts: 1848000 | #Constraints: 42358
3362.52/3371.58 c #Conflicts: 1849000 | #Constraints: 43358
3362.52/3371.58 c #Conflicts: 1850000 | #Constraints: 44358
3362.52/3371.58 c #Conflicts: 1851000 | #Constraints: 45358
3362.52/3371.58 c #Conflicts: 1852000 | #Constraints: 46358
3362.52/3371.58 c #Conflicts: 1853000 | #Constraints: 47358
3362.52/3371.58 c #Conflicts: 1854000 | #Constraints: 48358
3362.52/3371.58 c #Conflicts: 1855000 | #Constraints: 49358
3362.52/3371.58 c #Conflicts: 1856000 | #Constraints: 50358
3362.52/3371.58 c #Conflicts: 1857000 | #Constraints: 51358
3362.52/3371.58 c #Conflicts: 1858000 | #Constraints: 52358
3362.52/3371.58 c #Conflicts: 1859000 | #Constraints: 53358
3362.52/3371.58 c #Conflicts: 1860000 | #Constraints: 54358
3362.52/3371.58 c #Conflicts: 1861000 | #Constraints: 55358
3600.08/3609.70 c #Conflicts: 1862000 | #Constraints: 56358
3600.08/3609.70 c #Conflicts: 1863000 | #Constraints: 57358
3600.08/3609.70 c #Conflicts: 1864000 | #Constraints: 58358
3600.08/3609.70 c #Conflicts: 1865000 | #Constraints: 59358
3600.08/3609.70 c #Conflicts: 1866000 | #Constraints: 60358
3600.08/3609.70 c #Conflicts: 1867000 | #Constraints: 61358
3600.08/3609.70 c #Conflicts: 1868000 | #Constraints: 62358
3600.08/3609.70 c #Conflicts: 1869000 | #Constraints: 63358
3600.08/3609.70 c #Conflicts: 1870000 | #Constraints: 64358
3600.08/3609.70 c #Conflicts: 1871000 | #Constraints: 65358
3600.08/3609.70 c #Conflicts: 1872000 | #Constraints: 66358
3600.08/3609.70 c #Conflicts: 1873000 | #Constraints: 67358
3600.08/3609.70 c #Conflicts: 1874000 | #Constraints: 68358
3600.08/3609.70 c #Conflicts: 1875000 | #Constraints: 69358
3600.08/3609.70 c #Conflicts: 1876000 | #Constraints: 70358
3600.08/3609.70 c #Conflicts: 1877000 | #Constraints: 71358
3600.08/3609.70 c #Conflicts: 1878000 | #Constraints: 72358
3600.08/3609.70 c #Conflicts: 1879000 | #Constraints: 73358
3600.08/3609.70 c #Conflicts: 1880000 | #Constraints: 74358
3600.08/3609.70 c #Conflicts: 1881000 | #Constraints: 75358
3600.08/3609.70 c #Conflicts: 1882000 | #Constraints: 76358
3600.08/3609.70 c #Conflicts: 1883000 | #Constraints: 77358
3600.08/3609.70 c #Conflicts: 1884000 | #Constraints: 78358
3600.08/3609.70 c #Conflicts: 1885000 | #Constraints: 79358
3600.08/3609.70 c #Conflicts: 1886000 | #Constraints: 80358
3600.08/3609.70 c #Conflicts: 1887000 | #Constraints: 81358
3600.08/3609.70 c #Conflicts: 1888000 | #Constraints: 82358
3600.08/3609.70 c #Conflicts: 1889000 | #Constraints: 83358
3600.08/3609.70 c #Conflicts: 1890000 | #Constraints: 84358
3600.08/3609.70 c #Conflicts: 1891000 | #Constraints: 85358
3600.08/3609.70 c #Conflicts: 1892000 | #Constraints: 86358
3600.08/3609.70 c #Conflicts: 1893000 | #Constraints: 87358
3600.08/3609.70 c #Conflicts: 1894000 | #Constraints: 88358
3600.08/3609.70 c #Conflicts: 1895000 | #Constraints: 89358
3600.08/3609.70 c #Conflicts: 1896000 | #Constraints: 90358
3600.08/3609.70 c #Conflicts: 1897000 | #Constraints: 91358
3600.08/3609.70 c #Conflicts: 1898000 | #Constraints: 92358
3600.08/3609.70 c #Conflicts: 1899000 | #Constraints: 93358
3600.08/3609.70 c #Conflicts: 1900000 | #Constraints: 94358
3600.08/3609.70 c #Conflicts: 1901000 | #Constraints: 95358
3600.08/3609.70 c #Conflicts: 1902000 | #Constraints: 96358
3600.08/3609.70 c #Conflicts: 1903000 | #Constraints: 97358
3600.08/3609.70 c #Conflicts: 1904000 | #Constraints: 98358
3600.08/3609.70 c #Conflicts: 1905000 | #Constraints: 99358
3600.08/3609.70 c #Conflicts: 1906000 | #Constraints: 100358
3600.08/3609.70 c #Conflicts: 1907000 | #Constraints: 101358
3600.08/3609.70 c #Conflicts: 1908000 | #Constraints: 102358
3600.08/3609.70 c #Conflicts: 1909000 | #Constraints: 103358
3600.08/3609.70 c #Conflicts: 1910000 | #Constraints: 104358
3600.08/3609.70 c #Conflicts: 1911000 | #Constraints: 105358
3600.08/3609.70 c #Conflicts: 1912000 | #Constraints: 106358
3600.08/3609.70 c #Conflicts: 1913000 | #Constraints: 107358
3600.08/3609.70 c #Conflicts: 1914000 | #Constraints: 108358
3600.08/3609.70 c #Conflicts: 1915000 | #Constraints: 109358
3600.08/3609.70 c #Conflicts: 1916000 | #Constraints: 110358
3600.08/3609.70 c #Conflicts: 1917000 | #Constraints: 111358
3600.08/3609.70 c #Conflicts: 1918000 | #Constraints: 112358
3600.08/3609.70 c #Conflicts: 1919000 | #Constraints: 113358
3600.08/3609.70 c #Conflicts: 1920000 | #Constraints: 114358
3600.08/3609.70 c #Conflicts: 1921000 | #Constraints: 115358
3600.08/3609.70 c #Conflicts: 1922000 | #Constraints: 116358
3600.08/3609.70 c #Conflicts: 1923000 | #Constraints: 117358
3600.08/3609.70 c #Conflicts: 1924000 | #Constraints: 118358
3600.08/3609.70 c #Conflicts: 1925000 | #Constraints: 119358
3600.08/3609.70 c #Conflicts: 1926000 | #Constraints: 120358
3600.08/3609.70 c #Conflicts: 1927000 | #Constraints: 121358
3600.08/3609.70 c #Conflicts: 1928000 | #Constraints: 122358
3600.08/3609.70 c #Conflicts: 1929000 | #Constraints: 123358
3600.08/3609.70 c #Conflicts: 1930000 | #Constraints: 124358
3600.08/3609.70 c #Conflicts: 1931000 | #Constraints: 125358
3600.08/3609.70 c #Conflicts: 1932000 | #Constraints: 126358
3600.08/3609.70 c #Conflicts: 1933000 | #Constraints: 127358
3600.08/3609.70 c #Conflicts: 1934000 | #Constraints: 128358
3600.08/3609.70 c #Conflicts: 1935000 | #Constraints: 129358
3600.08/3609.70 c #Conflicts: 1936000 | #Constraints: 130358
3600.08/3609.70 c #Conflicts: 1937000 | #Constraints: 131358
3600.08/3609.70 c #Conflicts: 1938000 | #Constraints: 132358
3600.08/3609.70 c cpu time 3577.16 s
3600.08/3609.70 c deterministic time 262392648179 2.62e+11
3600.08/3609.70 c optimization time 261.151 s
3600.08/3609.70 c total solve time 3315.98 s
3600.08/3609.70 c core-guided solve time 0 s
3600.08/3609.70 c propagation time 1980.75 s
3600.08/3609.70 c conflict analysis time 1399.2 s
3600.08/3609.70 c propagations 947917998
3600.08/3609.70 c resolve steps 87740311
3600.08/3609.70 c decisions 12871647
3600.08/3609.70 c conflicts 1938015
3600.08/3609.70 c restarts 3775
3600.08/3609.70 c inprocessing phases 89
3600.08/3609.70 c garbage collections 89 ,( 100.00 )
3600.08/3609.70 c input clauses 6005 ,( 98.57 )
3600.08/3609.70 c input cardinalities 87 ,( 1.43 )
3600.08/3609.70 c input general constraints 0 ,( 0.00 )
3600.08/3609.70 c input average constraint length 6.23
3600.08/3609.70 c input average constraint degree 1.94
3600.08/3609.70 c learned clauses 1511663 ,( 78.00 )
3600.08/3609.70 c learned cardinalities 30086 ,( 1.55 )
3600.08/3609.70 c learned general constraints 396296 ,( 20.45 )
3600.08/3609.70 c learned average constraint length 675.02
3600.08/3609.70 c learned average constraint degree 8877955.41
3600.08/3609.70 c watched CF 32, 64, 128, Arb: 132837 , 0 , 0 , 0
3600.08/3609.70 c counting CF 32, 64, 128, Arb: 263459 , 0 , 0 , 0
3600.08/3609.70 c watched constraints 132837 ,( 33.52 )
3600.08/3609.70 c counting constraints 263459 ,( 66.48 )
3600.08/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1623764945 , 661965847 , 3300729457 ,( 140956078 , 3159773379 )
3600.08/3609.70 c gcd simplifications 1291
3600.08/3609.70 c detected cardinalities 1770
3600.08/3609.70 c weakened non-implied lits 373390745
3600.08/3609.70 c weakened non-implying lits 263541
3600.08/3609.70 c original variables 5916
3600.08/3609.70 c clausal propagations 354724548
3600.08/3609.70 c cardinality propagations 355197382
3600.08/3609.70 c watched propagations 4722555
3600.08/3609.70 c counting propagations 226966077
3600.08/3609.70 c watch lookups 142483154963
3600.08/3609.70 c watch backjump lookups 0
3600.08/3609.70 c watch checks 40778579019
3600.08/3609.70 c propagation checks 72603486813
3600.08/3609.70 c constraint additions 4603522150
3600.08/3609.70 c trail pops 962722805
3600.08/3609.70 c formula constraints 6092
3600.08/3609.70 c learned constraints 1938003
3600.08/3609.70 c bound constraints 0
3600.08/3609.70 c core-guided constraints 0
3600.08/3609.70 c encountered formula constraints 52801100
3600.08/3609.70 c encountered learned constraints 36876742
3600.08/3609.70 c encountered bound constraints 0
3600.08/3609.70 c encountered core-guided constraints 0
3600.08/3609.70 c LP total time 170.781 s
3600.08/3609.70 c LP solve time 127.2 s
3600.08/3609.70 c LP constraints added 8111
3600.08/3609.70 c LP constraints removed 1851
3600.08/3609.70 c LP pivots internal 202284
3600.08/3609.70 c LP pivots root 190499
3600.08/3609.70 c LP calls 52
3600.08/3609.70 c LP optimalities 36
3600.08/3609.70 c LP no pivot count 4
3600.08/3609.70 c LP infeasibilities 11
3600.08/3609.70 c LP valid Farkas constraints 11
3600.08/3609.70 c LP learned Farkas constraints 11
3600.08/3609.70 c LP basis resets 0
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 0
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 20
3600.08/3609.70 c LP learned cuts 1999
3600.08/3609.70 c LP deleted cuts 1851
3600.08/3609.70 c LP encountered Gomory constraints 162
3600.08/3609.70 c LP encountered Farkas constraints 291
3600.08/3609.70 c LP encountered learned Farkas constraints 20
3600.08/3609.70 c CG auxiliary variables introduced 0
3600.08/3609.70 c CG solutions found 0
3600.08/3609.70 c CG cores constructed 0
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 0
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 0.00
3600.08/3609.70 c CG core slack average 0.00
3600.08/3609.70 c CG core upper bound improvements 0
3600.08/3609.70 c STR number of successful calls 0
3600.08/3609.70 c STR number of unsuccessful calls 0
3600.08/3609.70 c STR number of inconclusive calls 0
3600.08/3609.70 c STR number of successful attempts 0
3600.08/3609.70 c STR number of unsuccessful attempts 0
3600.08/3609.70 c STR number of inconclusive attempts 0
3600.08/3609.70 c STR average degree increase per successful call inf
3600.08/3609.70 c STR average degree increase per successful attempt inf
3600.08/3609.70 c STR total number of conflicts for successful attempts 0
3600.08/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.70 c STR average number of conflicts per successful attempt inf
3600.08/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.70 c AVG.sumWPerc 58.89
3600.08/3609.70 c bigint constraints 0
3600.08/3609.70 s UNKNOWN
3600.08/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62826 MiB free)
memory of node 1: 64507 MiB (64046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507481-1751186761/watcher-4507481-1751186761 -o /tmp/evaluation-result-4507481-1751186761/solver-4507481-1751186761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24187 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507481-1751186761.opb PROOFDIR/proof-4507481-1751186761
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24623, runsolver pid=24620
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.02 4.10 4.08 5/270 24625
/proc/meminfo: memFree=129906672/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=70500 memory=23272 CPUtime=0.08 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 4383 0 0 0 7 1 0 0 20 0 1 0 34356352 72192000 5818 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 17625 5818 2272 1147 0 5052 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74692 KiB
Current children cumulated memory: 26344 KiB
[startup+0.205626 s]*
/proc/loadavg: 4.02 4.10 4.08 5/270 24625
/proc/meminfo: memFree=129904656/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=71200 memory=23912 CPUtime=0.18 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 4568 0 0 0 17 1 0 0 20 0 1 0 34356352 72908800 5978 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 17800 5978 2272 1147 0 5227 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75392 KiB
Current children cumulated memory: 26984 KiB
[startup+0.304786 s]*
/proc/loadavg: 4.02 4.10 4.08 5/270 24625
/proc/meminfo: memFree=129904596/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=71392 memory=24296 CPUtime=0.29 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 4659 0 0 0 27 2 0 0 20 0 1 0 34356352 73105408 6074 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 17848 6074 2272 1147 0 5275 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75584 KiB
Current children cumulated memory: 27368 KiB
[startup+0.700135 s]
/proc/loadavg: 4.02 4.10 4.08 5/270 24625
/proc/meminfo: memFree=129899808/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=72280 memory=25064 CPUtime=0.68 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 4840 0 0 0 66 2 0 0 20 0 1 0 34356352 74014720 6266 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 18070 6266 2272 1147 0 5497 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76472 KiB
Current children cumulated memory: 28136 KiB
[startup+1.50015 s]
/proc/loadavg: 4.02 4.10 4.08 5/270 24625
/proc/meminfo: memFree=129872528/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=74692 memory=31864 CPUtime=1.47 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 6011 0 0 0 141 6 0 0 20 0 1 0 34356352 76484608 7966 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 18673 7966 2304 1147 0 6100 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78884 KiB
Current children cumulated memory: 34936 KiB
[startup+3.10535 s]
/proc/loadavg: 4.02 4.10 4.08 5/270 24625
/proc/meminfo: memFree=129812856/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=77832 memory=34936 CPUtime=3.07 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 6788 0 0 0 297 10 0 0 20 0 1 0 34356352 79699968 8734 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 19458 8734 2304 1147 0 6885 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 82024 KiB
Current children cumulated memory: 38008 KiB
[startup+6.30013 s]
/proc/loadavg: 4.02 4.09 4.08 5/271 24627
/proc/meminfo: memFree=129724212/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=84048 memory=40520 CPUtime=6.26 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 7663 0 0 0 609 17 0 0 20 0 1 0 34356352 86065152 10130 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 21012 10130 2304 1147 0 8439 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 88240 KiB
Current children cumulated memory: 43592 KiB
[startup+12.7001 s]
/proc/loadavg: 4.02 4.09 4.08 5/271 24627
/proc/meminfo: memFree=129656876/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=92044 memory=47124 CPUtime=12.64 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 8816 0 0 0 1235 29 0 0 20 0 1 0 34356352 94253056 11781 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 23011 11781 2304 1147 0 10438 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 96236 KiB
Current children cumulated memory: 50196 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 24627
/proc/meminfo: memFree=129373380/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=103716 memory=53780 CPUtime=25.42 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 10469 0 0 0 2484 58 0 0 20 0 1 0 34356352 106205184 13445 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 25929 13445 2304 1147 0 13356 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 107908 KiB
Current children cumulated memory: 56852 KiB
[startup+51.1055 s]
/proc/loadavg: 4.05 4.09 4.08 5/271 24628
/proc/meminfo: memFree=128875792/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=112748 memory=64936 CPUtime=50.95 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 12749 0 0 0 4989 106 0 0 20 0 1 0 34356352 115453952 16234 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 28187 16234 2304 1147 0 15614 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 116940 KiB
Current children cumulated memory: 68008 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/274 24680
/proc/meminfo: memFree=128386276/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=196828 memory=141840 CPUtime=102.02 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 19697 0 0 0 10030 172 0 0 20 0 1 0 34356352 201551872 35460 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 49207 35460 2336 1147 0 36634 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 201020 KiB
Current children cumulated memory: 144912 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 24684
/proc/meminfo: memFree=127546956/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=223504 memory=166032 CPUtime=161.86 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 25747 0 0 0 15949 237 0 0 20 0 1 0 34356352 228868096 41508 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 55876 41508 2336 1147 0 43303 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 227696 KiB
Current children cumulated memory: 169104 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/274 24686
/proc/meminfo: memFree=126824076/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=260724 memory=202512 CPUtime=221.7 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 34879 0 0 0 21873 297 0 0 20 0 1 0 34356352 266981376 50628 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 65181 50628 2336 1147 0 52608 0
################
# More data... #
################
/proc/24625/statm: 239343 201849 2336 1147 0 226770 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 961564 KiB
Current children cumulated memory: 810468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/274 24951
/proc/meminfo: memFree=109207564/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=957372 memory=807524 CPUtime=3153.93 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 82698 0 0 0 313350 2043 0 0 20 0 1 0 34356352 980348928 201881 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 239343 201881 2336 1147 0 226770 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 961564 KiB
Current children cumulated memory: 810596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 24955
/proc/meminfo: memFree=108815128/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=957372 memory=807652 CPUtime=3213.75 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 82752 0 0 0 319295 2080 0 0 20 0 1 0 34356352 980348928 201913 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 239343 201913 2336 1147 0 226770 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 961564 KiB
Current children cumulated memory: 810724 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.18 4.12 5/273 24957
/proc/meminfo: memFree=108478896/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=961668 memory=811748 CPUtime=3273.58 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 83773 0 0 0 325229 2129 0 0 20 0 1 0 34356352 984748032 202937 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 240417 202937 2336 1147 0 227844 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 965860 KiB
Current children cumulated memory: 814820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/273 24959
/proc/meminfo: memFree=108127016/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=962464 memory=812516 CPUtime=3333.4 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 83959 0 0 0 331167 2173 0 0 20 0 1 0 34356352 985563136 203129 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 240616 203129 2336 1147 0 228043 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 966656 KiB
Current children cumulated memory: 815588 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/272 24963
/proc/meminfo: memFree=107846492/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=962464 memory=812516 CPUtime=3393.23 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 83961 0 0 0 337114 2209 0 0 20 0 1 0 34356352 985563136 203129 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 240616 203129 2336 1147 0 228043 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 966656 KiB
Current children cumulated memory: 815588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/271 24965
/proc/meminfo: memFree=107540200/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=962464 memory=823268 CPUtime=3453.05 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 84097 0 0 0 343068 2237 0 0 20 0 1 0 34356352 985563136 205817 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 240616 205817 2336 1147 0 228043 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 966656 KiB
Current children cumulated memory: 826340 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/270 24967
/proc/meminfo: memFree=107322452/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=962464 memory=829540 CPUtime=3512.9 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 84135 0 0 0 349030 2260 0 0 20 0 1 0 34356352 985563136 207385 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 240616 207385 2336 1147 0 228043 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 966656 KiB
Current children cumulated memory: 832612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/270 24969
/proc/meminfo: memFree=107142532/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=963576 memory=830308 CPUtime=3572.74 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 84328 0 0 0 354989 2285 0 0 20 0 1 0 34356352 986701824 207577 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 240894 207577 2336 1147 0 228321 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 967768 KiB
Current children cumulated memory: 833380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.10 5/270 24971
/proc/meminfo: memFree=107007792/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=965048 memory=831076 CPUtime=3600.08 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 84555 0 0 0 357716 2292 0 0 20 0 1 0 34356352 988209152 207769 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 241262 207769 2336 1147 0 228689 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 969240 KiB
Current children cumulated memory: 834148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 24623 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000633 s, system=0.001264 s
[startup+3609.74 s]
# the end of solver process 24625 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.17 s, system=22.9318 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.10 5/270 24971
/proc/meminfo: memFree=107007792/131250000 swapFree=33010684/33010684
[pid=24623] ppid=24620 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/24623/stat : 24623 (run-dec-log.sh) S 24620 24623 24175 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 34356351 4292608 768 18446744073709551615 94296600797184 94296601691717 140733460930096 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94296601930768 94296601978512 94296618364928 140733460936993 140733460937188 140733460937188 140733460942790 0
/proc/24623/statm: 1048 768 704 219 0 110 0
[pid=24625] ppid=24623 vsize=965048 memory=831076 CPUtime=3600.08 cores=1,3
/proc/24625/stat : 24625 (roundingsat) R 24623 24623 24175 0 -1 4194304 84555 0 0 0 357716 2292 0 0 20 0 1 0 34356352 988209152 207769 18446744073709551615 4227072 8923433 140731369370112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31956992 140731369372007 140731369372200 140731369372200 140731369377770 0
/proc/24625/statm: 241262 207769 2336 1147 0 228689 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 969240 KiB
Current children cumulated memory: 834148 KiB
Child status: 2
Real time (s): 3609.74
CPU time (s): 3600.1
CPU user time (s): 3577.17
CPU system time (s): 22.9318
CPU usage (%): 99.7331
Max. virtual memory (cumulated for all children) (KiB): 969240
Max. memory (cumulated for all children) (KiB): 834148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.17
system time used= 22.9318
maximum resident set size= 831332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11902672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 594
involuntary context switches= 8236
# summary of solver processes directly reported to runsolver:
# pid: 24623,24625
# total CPU time (s): 3600.1
# total CPU user time (s): 3577.17
# total CPU system time (s): 22.9318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25307 second user time and 16.7592 second system time
The end
Begin job on nodeC013 at 2025-06-29 10:46:01
IDJOB=4507481
IDBENCH=158355
IDSOLVER=3352
FILE ID=nodeC013/4507481-1751186761
RUNJOBID= nodeC013-1751183146-24187
SLURM_JOB_ID= 9587568
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507481-1751186761/watcher-4507481-1751186761 -o /tmp/evaluation-result-4507481-1751186761/solver-4507481-1751186761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24187 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507481-1751186761.opb PROOFDIR/proof-4507481-1751186761
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=1717199562
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.504
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.585
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.812
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129918636 kB
MemAvailable: 129754104 kB
Buffers: 3280 kB
Cached: 639316 kB
SwapCached: 0 kB
Active: 343044 kB
Inactive: 430492 kB
Active(anon): 144224 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 430492 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26236 kB
Writeback: 344 kB
AnonPages: 134280 kB
Mapped: 110808 kB
Shmem: 13284 kB
KReclaimable: 90388 kB
Slab: 175988 kB
SReclaimable: 90388 kB
SUnreclaim: 85600 kB
KernelStack: 4400 kB
PageTables: 3252 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 464352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC013 at 2025-06-29 11:46:11