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